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/201109011757/gj-user-solver-1.0/rand924.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand924.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand924.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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.01 1.02 1.00 4/34 31284
/proc/meminfo: memFree=511632/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=11044 CPUtime=0
/proc/31284/stat : 31284 (java) R 31283 31283 22717 34817 22717 4202496 564 0 0 0 0 0 0 0 25 0 1 0 72924089 11309056 300 1283457024 134512640 134550932 4289004384 18446744073709551615 4160575202 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31284/statm: 2761 300 168 10 0 1103 0

[startup+0.144916 s]
/proc/loadavg: 1.01 1.02 1.00 4/34 31284
/proc/meminfo: memFree=511632/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=409920 CPUtime=0.14
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 3947 0 1 0 14 0 0 0 25 0 9 0 72924089 419758080 3374 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102480 3374 1918 10 0 96628 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412484

[startup+0.204943 s]
/proc/loadavg: 1.01 1.02 1.00 4/34 31284
/proc/meminfo: memFree=511632/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=409920 CPUtime=0.2
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 4077 0 1 0 20 0 0 0 25 0 9 0 72924089 419758080 3504 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102480 3504 1918 10 0 96628 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412484

[startup+0.304949 s]
/proc/loadavg: 1.01 1.02 1.00 4/34 31284
/proc/meminfo: memFree=511632/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=410476 CPUtime=0.3
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 4449 0 1 0 30 0 0 0 25 0 9 0 72924089 420327424 3876 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102619 3876 1945 10 0 96767 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413040

[startup+0.705097 s]
/proc/loadavg: 1.01 1.02 1.00 4/34 31284
/proc/meminfo: memFree=511632/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=410612 CPUtime=0.7
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 12131 0 1 0 66 4 0 0 25 0 9 0 72924089 420466688 11371 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102653 11371 2901 10 0 96801 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413176

[startup+1.50537 s]
/proc/loadavg: 1.01 1.02 1.00 2/43 31293
/proc/meminfo: memFree=453704/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=410744 CPUtime=1.5
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 26977 0 1 0 140 10 0 0 25 0 9 0 72924089 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102686 26217 2901 10 0 96834 0
[pid=31284/tid=31286] ppid=31283 vsize=410744 CPUtime=0.8
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 6712 0 1 0 78 2 0 0 25 0 9 0 72924090 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=410744 CPUtime=0.64
/proc/31284/task/31287/stat : 31287 (java) R 31283 31283 22717 34817 22717 4202560 18880 0 0 0 56 8 0 0 18 0 9 0 72924091 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4151453624 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=410744 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72924091 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=410744 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72924091 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=410744 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72924092 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=410744 CPUtime=0.04
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 16 0 9 0 72924092 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=410744 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72924092 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=410744 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72924092 420601856 26217 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413308

[startup+3.10575 s]
/proc/loadavg: 1.01 1.02 1.00 2/43 31293
/proc/meminfo: memFree=381908/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=410876 CPUtime=3.1
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 49906 0 1 0 287 23 0 0 25 0 9 0 72924089 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102719 49146 2901 10 0 96867 0
[pid=31284/tid=31286] ppid=31283 vsize=410876 CPUtime=1.41
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 13865 0 1 0 135 6 0 0 25 0 9 0 72924090 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=410876 CPUtime=1.62
/proc/31284/task/31287/stat : 31287 (java) R 31283 31283 22717 34817 22717 4202560 34653 0 0 0 146 16 0 0 16 0 9 0 72924091 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4151751584 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=410876 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72924091 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=410876 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72924091 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=410876 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72924092 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=410876 CPUtime=0.05
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 449 0 0 0 5 0 0 0 15 0 9 0 72924092 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=410876 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72924092 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=410876 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72924092 420737024 49146 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413440

[startup+6.30685 s]
/proc/loadavg: 1.01 1.02 1.00 3/43 31293
/proc/meminfo: memFree=245020/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=439916 CPUtime=6.3
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 78234 0 1 0 602 28 0 0 25 0 9 0 72924089 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 109979 77468 2902 10 0 104127 0
[pid=31284/tid=31286] ppid=31283 vsize=439916 CPUtime=2.29
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 13882 0 1 0 222 7 0 0 25 0 9 0 72924090 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=439916 CPUtime=3.93
/proc/31284/task/31287/stat : 31287 (java) R 31283 31283 22717 34817 22717 4202560 62946 0 0 0 374 19 0 0 16 0 9 0 72924091 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4153062337 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=439916 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72924091 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=439916 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72924091 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=439916 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72924092 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=439916 CPUtime=0.05
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 467 0 0 0 5 0 0 0 15 0 9 0 72924092 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=439916 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72924092 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=439916 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72924092 450473984 77468 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442480

[startup+12.7096 s]
/proc/loadavg: 1.01 1.02 1.00 3/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=12.69
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99924 0 1 0 1233 36 0 0 25 0 10 0 72924089 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70649 2919 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=4.33
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14135 0 1 0 426 7 0 0 25 0 10 0 72924090 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4115971696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.26
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84296 0 0 0 798 28 0 0 16 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.08
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 549 0 0 0 8 0 0 0 15 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) R 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414416

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

[startup+12.8096 s]
/proc/loadavg: 1.01 1.02 1.00 3/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=12.79
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99924 0 1 0 1243 36 0 0 25 0 10 0 72924089 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70649 2919 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=4.43
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14135 0 1 0 436 7 0 0 25 0 10 0 72924090 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4116039140 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.26
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84296 0 0 0 798 28 0 0 16 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.08
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 549 0 0 0 8 0 0 0 16 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70649 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 414416

[startup+16.0107 s]
/proc/loadavg: 1.01 1.02 1.00 3/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=15.99
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99932 0 1 0 1561 38 0 0 25 0 10 0 72924089 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70657 2921 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=7.53
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14135 0 1 0 745 8 0 0 25 0 10 0 72924090 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4115728143 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.33
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84298 0 0 0 805 28 0 0 16 0 10 0 72924091 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.1
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 555 0 0 0 10 0 0 0 15 0 10 0 72924092 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) R 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70657 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 414416

[startup+16.8109 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=16.78
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99935 0 1 0 1640 38 0 0 25 0 10 0 72924089 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70660 2921 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=8.3
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14136 0 1 0 822 8 0 0 25 0 10 0 72924090 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4115728143 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.33
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84298 0 0 0 805 28 0 0 15 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.13
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 414416

[startup+17.6112 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=17.58
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99935 0 1 0 1720 38 0 0 25 0 10 0 72924089 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70660 2921 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=9.07
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14136 0 1 0 899 8 0 0 25 0 10 0 72924090 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4116193464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.36
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84298 0 0 0 808 28 0 0 16 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.13
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.58
Current children cumulated vsize (KiB) 414416

[startup+17.8112 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=17.78
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99935 0 1 0 1740 38 0 0 25 0 10 0 72924089 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70660 2921 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=9.27
/proc/31284/task/31286/stat : 31286 (java) R 31283 31283 22717 34817 22717 4202560 14136 0 1 0 919 8 0 0 25 0 10 0 72924090 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4116068120 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.36
/proc/31284/task/31287/stat : 31287 (java) S 31283 31283 22717 34817 22717 4202560 84298 0 0 0 808 28 0 0 16 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.13
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31294] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31294/stat : 31294 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72925228 421736448 70660 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.78
Current children cumulated vsize (KiB) 414416

[startup+17.9112 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 31294
/proc/meminfo: memFree=240052/1048576 swapFree=0/0
[pid=31283] ppid=31282 vsize=2564 CPUtime=0
/proc/31283/stat : 31283 (gj-user-solver-) S 31282 31283 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72924089 2625536 268 1283457024 134512640 135304128 4293578848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31283/statm: 641 268 229 194 0 28 0
[pid=31284] ppid=31283 vsize=411852 CPUtime=17.88
/proc/31284/stat : 31284 (java) S 31283 31283 22717 34817 22717 4202496 99936 0 1 0 1750 38 0 0 25 0 10 0 72924089 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31284/statm: 102963 70661 2922 10 0 97108 0
[pid=31284/tid=31286] ppid=31283 vsize=411852 CPUtime=9.34
/proc/31284/task/31286/stat : 31286 (java) S 31283 31283 22717 34817 22717 4202560 14136 0 1 0 926 8 0 0 25 0 10 0 72924090 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31287] ppid=31283 vsize=411852 CPUtime=8.38
/proc/31284/task/31287/stat : 31287 (java) R 31283 31283 22717 34817 22717 4202560 84298 0 0 0 810 28 0 0 16 0 10 0 72924091 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4153126140 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31284/tid=31288] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31288/stat : 31288 (java) S 31283 31283 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31289] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31289/stat : 31289 (java) S 31283 31283 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72924091 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31290] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31290/stat : 31290 (java) S 31283 31283 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31291] ppid=31283 vsize=411852 CPUtime=0.13
/proc/31284/task/31291/stat : 31291 (java) S 31283 31283 22717 34817 22717 4202560 557 0 0 0 13 0 0 0 15 0 10 0 72924092 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31292] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31292/stat : 31292 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72924092 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=31284/tid=31293] ppid=31283 vsize=411852 CPUtime=0
/proc/31284/task/31293/stat : 31293 (java) S 31283 31283 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72924092 421736448 70661 1283457024 134512640 134550932 4289004384 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.88
Current children cumulated vsize (KiB) 414416

Child status: 0
Real time (s): 17.9739
CPU time (s): 17.8971
CPU user time (s): 17.5051
CPU system time (s): 0.392024
CPU usage (%): 99.573
Max. virtual memory (cumulated for all children) (KiB): 442480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5051
system time used= 0.392024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100322
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1169
involuntary context switches= 1444

runsolver used 0 second user time and 0 second system time

The end