runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand924.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand924.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand924.cudf.user-upgrades.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.11 1.11 5/36 26055
/proc/meminfo: memFree=315676/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2568 CPUtime=0
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 271 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/26053/statm: 642 271 231 194 0 29 0
[pid=26054] ppid=26053 vsize=2568 CPUtime=0
/proc/26054/stat : 26054 (p2cudf) R 26053 26052 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 4803550 2629632 118 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26054/statm: 642 118 77 194 0 29 0
[pid=26055] ppid=26054 vsize=2568 CPUtime=0
/proc/26055/stat : 26055 (p2cudf) R 26054 26052 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4803550 2629632 41 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/26055/statm: 642 41 0 194 0 29 0

[startup+0.106206 s]
/proc/loadavg: 1.08 1.11 1.11 5/36 26055
/proc/meminfo: memFree=315676/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.206207 s]
/proc/loadavg: 1.08 1.11 1.11 5/36 26055
/proc/meminfo: memFree=315676/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.30621 s]
/proc/loadavg: 1.08 1.11 1.11 5/36 26055
/proc/meminfo: memFree=315676/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.706265 s]
/proc/loadavg: 1.08 1.11 1.11 5/36 26055
/proc/meminfo: memFree=315676/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50637 s]
/proc/loadavg: 1.08 1.11 1.11 5/45 26075
/proc/meminfo: memFree=276356/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=879716 CPUtime=1.47
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 21420 0 1 0 139 8 0 0 25 0 10 0 4803553 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219929 18512 1724 10 0 217020 0
[pid=26066/tid=26067] ppid=26053 vsize=879716 CPUtime=0.76
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 11256 0 1 0 72 4 0 0 25 0 10 0 4803554 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4095375860 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4803555 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4803556 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4803556 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4803558 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=879716 CPUtime=0.55
/proc/26066/task/26072/stat : 26072 (java) R 26053 26052 1511 34817 1511 4202560 7818 0 0 0 54 1 0 0 22 0 10 0 4803558 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4149927425 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=879716 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 10 0 4803558 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4803558 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=879716 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4803558 900829184 18512 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884856

[startup+3.12677 s]
/proc/loadavg: 1.08 1.11 1.11 2/45 26075
/proc/meminfo: memFree=142312/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=878656 CPUtime=3.09
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 70954 0 1 0 285 24 0 0 25 0 10 0 4803553 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219664 67627 1743 10 0 216755 0
[pid=26066/tid=26067] ppid=26053 vsize=878656 CPUtime=1.91
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50091 0 1 0 172 19 0 0 25 0 10 0 4803554 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=878656 CPUtime=0.21
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 10471 0 0 0 20 1 0 0 16 0 10 0 4803555 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=878656 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4803556 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=878656 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4803556 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=878656 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4803558 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=878656 CPUtime=0.82
/proc/26066/task/26072/stat : 26072 (java) R 26053 26052 1511 34817 1511 4202560 8050 0 0 0 81 1 0 0 15 0 10 0 4803558 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4148943914 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=878656 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 10 0 4803558 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=878656 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4803558 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=878656 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4803558 899743744 67627 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 883796

[startup+6.3078 s]
/proc/loadavg: 1.16 1.13 1.12 3/46 26076
/proc/meminfo: memFree=6208/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=878980 CPUtime=6.28
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 87284 0 1 0 600 28 0 0 25 0 11 0 4803553 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219745 82855 1779 10 0 216836 0
[pid=26066/tid=26067] ppid=26053 vsize=878980 CPUtime=3.25
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50284 0 1 0 305 20 0 0 25 0 11 0 4803554 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=878980 CPUtime=0.56
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 25328 0 0 0 52 4 0 0 15 0 11 0 4803555 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=878980 CPUtime=2.31
/proc/26066/task/26072/stat : 26072 (java) R 26053 26052 1511 34817 1511 4202560 9326 0 0 0 230 1 0 0 16 0 11 0 4803558 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4148790112 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=878980 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26076] ppid=26053 vsize=878980 CPUtime=0
/proc/26066/task/26076/stat : 26076 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4804060 900075520 82855 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 884120

[startup+12.7096 s]
/proc/loadavg: 1.14 1.13 1.12 2/46 26076
/proc/meminfo: memFree=5256/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=875824 CPUtime=12.67
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93500 0 1 0 1237 30 0 0 25 0 11 0 4803553 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 218956 88303 1788 10 0 216047 0
[pid=26066/tid=26067] ppid=26053 vsize=875824 CPUtime=9.02
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50286 0 1 0 881 21 0 0 25 0 11 0 4803554 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4096210484 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=875824 CPUtime=0.88
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31499 0 0 0 82 6 0 0 16 0 11 0 4803555 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=875824 CPUtime=2.62
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9369 0 0 0 261 1 0 0 15 0 11 0 4803558 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=875824 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) R 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26076] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26076/stat : 26076 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4804060 896843776 88303 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 880964

Solver just ended. Dumping a history of the last processes samples

[startup+19.0112 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=875824 CPUtime=18.97
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93786 0 1 0 1867 30 0 0 25 0 11 0 4803553 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 218956 88589 1788 10 0 216047 0
[pid=26066/tid=26067] ppid=26053 vsize=875824 CPUtime=14.75
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50286 0 1 0 1454 21 0 0 25 0 11 0 4803554 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4095975368 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=875824 CPUtime=1.44
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31784 0 0 0 138 6 0 0 15 0 11 0 4803555 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=875824 CPUtime=2.63
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 262 1 0 0 15 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=875824 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26076] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26076/stat : 26076 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4804060 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.99
Current children cumulated vsize (KiB) 880964

[startup+20.612 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=875824 CPUtime=20.57
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93786 0 1 0 2027 30 0 0 25 0 11 0 4803553 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 218956 88589 1788 10 0 216047 0
[pid=26066/tid=26067] ppid=26053 vsize=875824 CPUtime=15.98
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50286 0 1 0 1577 21 0 0 25 0 11 0 4803554 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=875824 CPUtime=1.78
/proc/26066/task/26068/stat : 26068 (java) R 26053 26052 1511 34817 1511 4202560 31784 0 0 0 172 6 0 0 16 0 11 0 4803555 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4152622917 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=875824 CPUtime=2.67
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 266 1 0 0 16 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=875824 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26076] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26076/stat : 26076 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4804060 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.59
Current children cumulated vsize (KiB) 880964

[startup+21.4124 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=875824 CPUtime=21.37
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93786 0 1 0 2107 30 0 0 25 0 11 0 4803553 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 218956 88589 1788 10 0 216047 0
[pid=26066/tid=26067] ppid=26053 vsize=875824 CPUtime=16.76
/proc/26066/task/26067/stat : 26067 (java) R 26053 26052 1511 34817 1511 4202560 50286 0 1 0 1655 21 0 0 25 0 11 0 4803554 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4095975205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=875824 CPUtime=1.8
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31784 0 0 0 174 6 0 0 16 0 11 0 4803555 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=875824 CPUtime=2.67
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 266 1 0 0 16 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=875824 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26076] ppid=26053 vsize=875824 CPUtime=0
/proc/26066/task/26076/stat : 26076 (java) S 26053 26052 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4804060 896843776 88589 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.39
Current children cumulated vsize (KiB) 880964

[startup+22.2056 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=876148 CPUtime=21.97
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93799 0 1 0 2167 30 0 0 25 0 11 0 4803553 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219037 88602 1789 10 0 216128 0
[pid=26066/tid=26067] ppid=26053 vsize=876148 CPUtime=17.32
/proc/26066/task/26067/stat : 26067 (java) S 26053 26052 1511 34817 1511 4202560 50294 0 1 0 1711 21 0 0 25 0 11 0 4803554 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=876148 CPUtime=1.8
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31784 0 0 0 174 6 0 0 16 0 11 0 4803555 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=876148 CPUtime=2.71
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 270 1 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=876148 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 881288

[startup+22.4056 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=876148 CPUtime=21.97
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93799 0 1 0 2167 30 0 0 25 0 11 0 4803553 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219037 88602 1789 10 0 216128 0
[pid=26066/tid=26067] ppid=26053 vsize=876148 CPUtime=17.32
/proc/26066/task/26067/stat : 26067 (java) S 26053 26052 1511 34817 1511 4202560 50294 0 1 0 1711 21 0 0 25 0 11 0 4803554 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=876148 CPUtime=1.8
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31784 0 0 0 174 6 0 0 16 0 11 0 4803555 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=876148 CPUtime=2.71
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 270 1 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=876148 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 881288

[startup+22.5056 s]
/proc/loadavg: 1.12 1.12 1.11 2/46 26076
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=26052] ppid=26051 vsize=2568 CPUtime=0
/proc/26052/stat : 26052 (p2cudf-trendy-1) S 26051 26052 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4803550 2629632 269 1283457024 134512640 135304128 4291428032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26052/statm: 642 269 230 194 0 29 0
[pid=26053] ppid=26052 vsize=2572 CPUtime=0.02
/proc/26053/stat : 26053 (p2cudf) S 26052 26052 1511 34817 1511 4202496 391 3017 0 1 0 0 0 2 25 0 1 0 4803550 2633728 280 1283457024 134512640 135304128 4294654416 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26053/statm: 643 280 239 194 0 30 0
[pid=26066] ppid=26053 vsize=876148 CPUtime=21.97
/proc/26066/stat : 26066 (java) S 26053 26052 1511 34817 1511 4202496 93799 0 1 0 2167 30 0 0 25 0 11 0 4803553 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26066/statm: 219037 88602 1789 10 0 216128 0
[pid=26066/tid=26067] ppid=26053 vsize=876148 CPUtime=17.32
/proc/26066/task/26067/stat : 26067 (java) S 26053 26052 1511 34817 1511 4202560 50294 0 1 0 1711 21 0 0 25 0 11 0 4803554 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26068] ppid=26053 vsize=876148 CPUtime=1.8
/proc/26066/task/26068/stat : 26068 (java) S 26053 26052 1511 34817 1511 4202560 31784 0 0 0 174 6 0 0 16 0 11 0 4803555 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 0 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26069] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26069/stat : 26069 (java) S 26053 26052 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26070] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26070/stat : 26070 (java) S 26053 26052 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4803556 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26071] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26071/stat : 26071 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26072] ppid=26053 vsize=876148 CPUtime=2.71
/proc/26066/task/26072/stat : 26072 (java) S 26053 26052 1511 34817 1511 4202560 9370 0 0 0 270 1 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26073] ppid=26053 vsize=876148 CPUtime=0.13
/proc/26066/task/26073/stat : 26073 (java) S 26053 26052 1511 34817 1511 4202560 1265 0 0 0 12 1 0 0 22 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26074] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26074/stat : 26074 (java) S 26053 26052 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
[pid=26066/tid=26075] ppid=26053 vsize=876148 CPUtime=0
/proc/26066/task/26075/stat : 26075 (java) S 26053 26052 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4803558 897175552 88602 1283457024 134512640 134550932 4288914160 18446744073709551615 4294960130 0 4 0 16800975 18446612132974982976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 881288

Child status: 0
Real time (s): 22.6014
CPU time (s): 22.0774
CPU user time (s): 21.7214
CPU system time (s): 0.356022
CPU usage (%): 97.6813
Max. virtual memory (cumulated for all children) (KiB): 885332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7214
system time used= 0.356022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97606
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1282
involuntary context switches= 1457

runsolver used 0 second user time and 0 second system time

The end