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/rand992.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand992.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand992.cudf.dudf-random.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: 0.85 0.97 0.99 4/35 31439
/proc/meminfo: memFree=625440/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=11040 CPUtime=0.01
/proc/31439/stat : 31439 (java) R 31438 31438 22717 34817 22717 4202496 493 0 0 0 0 1 0 0 25 0 1 0 72956431 11304960 230 1283457024 134512640 134550932 4290964800 18446744073709551615 4160042722 0 0 0 0 0 0 0 17 0 0 0 0
/proc/31439/statm: 2760 230 160 10 0 1102 0

[startup+0.114728 s]
/proc/loadavg: 0.85 0.97 0.99 4/35 31439
/proc/meminfo: memFree=625440/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=409920 CPUtime=0.11
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 3855 0 1 0 10 1 0 0 25 0 9 0 72956431 419758080 3284 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102480 3284 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 412488

[startup+0.204731 s]
/proc/loadavg: 0.85 0.97 0.99 4/35 31439
/proc/meminfo: memFree=625440/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=409920 CPUtime=0.21
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 4051 0 1 0 20 1 0 0 25 0 9 0 72956431 419758080 3480 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102480 3480 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412488

[startup+0.304751 s]
/proc/loadavg: 0.85 0.97 0.99 4/35 31439
/proc/meminfo: memFree=625440/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=410472 CPUtime=0.31
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 4419 0 1 0 30 1 0 0 25 0 9 0 72956431 420323328 3848 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102618 3848 1934 10 0 96766 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 413040

[startup+0.704862 s]
/proc/loadavg: 0.85 0.97 0.99 4/35 31439
/proc/meminfo: memFree=625440/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=410752 CPUtime=0.7
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 12063 0 1 0 67 3 0 0 25 0 9 0 72956431 420610048 11304 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102688 11304 2901 10 0 96836 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413320

[startup+1.50512 s]
/proc/loadavg: 0.85 0.97 0.99 3/44 31448
/proc/meminfo: memFree=566828/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=410752 CPUtime=1.5
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 25621 0 1 0 143 7 0 0 25 0 9 0 72956431 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102688 24862 2901 10 0 96836 0
[pid=31439/tid=31441] ppid=31438 vsize=410752 CPUtime=0.81
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 6759 0 1 0 80 1 0 0 25 0 9 0 72956432 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=410752 CPUtime=0.65
/proc/31439/task/31442/stat : 31442 (java) R 31438 31438 22717 34817 22717 4202560 17474 0 0 0 60 5 0 0 18 0 9 0 72956433 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4151219104 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72956433 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72956433 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=410752 CPUtime=0.03
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 449 0 0 0 3 0 0 0 16 0 9 0 72956434 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72956434 420610048 24862 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.10559 s]
/proc/loadavg: 0.94 0.98 0.99 2/44 31448
/proc/meminfo: memFree=494288/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=410752 CPUtime=3.09
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 47225 0 1 0 296 13 0 0 25 0 9 0 72956431 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 102688 46466 2901 10 0 96836 0
[pid=31439/tid=31441] ppid=31438 vsize=410752 CPUtime=1.43
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 13195 0 1 0 141 2 0 0 25 0 9 0 72956432 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4115120846 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=410752 CPUtime=1.61
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 32637 0 0 0 152 9 0 0 16 0 9 0 72956433 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72956433 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72956433 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=410752 CPUtime=0.03
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 454 0 0 0 3 0 0 0 16 0 9 0 72956434 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=410752 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72956434 420610048 46466 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413320

[startup+6.30667 s]
/proc/loadavg: 0.94 0.98 0.99 3/44 31448
/proc/meminfo: memFree=358640/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=437680 CPUtime=6.29
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 77682 0 1 0 602 27 0 0 25 0 9 0 72956431 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 109420 76917 2903 10 0 103568 0
[pid=31439/tid=31441] ppid=31438 vsize=437680 CPUtime=2.32
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 13961 0 1 0 230 2 0 0 25 0 9 0 72956432 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=437680 CPUtime=3.91
/proc/31439/task/31442/stat : 31442 (java) R 31438 31438 22717 34817 22717 4202560 62309 0 0 0 369 22 0 0 16 0 9 0 72956433 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4152412299 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=437680 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72956433 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=437680 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72956433 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=437680 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=437680 CPUtime=0.03
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 473 0 0 0 3 0 0 0 16 0 9 0 72956434 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=437680 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=437680 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72956434 448184320 76917 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 440248

[startup+12.7089 s]
/proc/loadavg: 1.10 1.02 1.01 3/44 31448
/proc/meminfo: memFree=326648/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=413980 CPUtime=12.68
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104255 0 1 0 1228 40 0 0 25 0 9 0 72956431 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103495 71198 2918 10 0 97640 0
[pid=31439/tid=31441] ppid=31438 vsize=413980 CPUtime=3.25
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14197 0 1 0 323 2 0 0 25 0 9 0 72956432 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=413980 CPUtime=9.37
/proc/31439/task/31442/stat : 31442 (java) R 31438 31438 22717 34817 22717 4202560 88612 0 0 0 902 35 0 0 16 0 9 0 72956433 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4153031266 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=413980 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 72956433 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=413980 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72956433 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=413980 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=413980 CPUtime=0.03
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 507 0 0 0 3 0 0 0 15 0 9 0 72956434 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=413980 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=413980 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72956434 423915520 71198 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 416548

[startup+25.5132 s]
/proc/loadavg: 1.09 1.02 1.00 3/44 31449
/proc/meminfo: memFree=351076/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=25.48
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104337 0 1 0 2508 40 0 0 25 0 10 0 72956431 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71279 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=15.34
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14213 0 1 0 1532 2 0 0 25 0 10 0 72956432 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4115661884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=10.03
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 968 35 0 0 15 0 10 0 72956433 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.07
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 566 0 0 0 7 0 0 0 15 0 10 0 72956434 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71279 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416872

[startup+51.1091 s]
/proc/loadavg: 1.06 1.01 1.00 2/44 31449
/proc/meminfo: memFree=351076/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=51.06
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104339 0 1 0 5065 41 0 0 25 0 10 0 72956431 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71281 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=39.86
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 3983 3 0 0 25 0 10 0 72956432 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=11.09
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1074 35 0 0 15 0 10 0 72956433 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.07
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 567 0 0 0 7 0 0 0 15 0 10 0 72956434 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71281 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 416872

[startup+102.312 s]
/proc/loadavg: 1.02 1.01 1.00 2/44 31449
/proc/meminfo: memFree=351076/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=102.22
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104341 0 1 0 10181 41 0 0 25 0 10 0 72956431 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71283 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=90.13
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 9010 3 0 0 25 0 10 0 72956432 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701673 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=11.98
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1163 35 0 0 16 0 10 0 72956433 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.08
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 569 0 0 0 8 0 0 0 15 0 10 0 72956434 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) R 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71283 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 416872

[startup+162.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/44 31449
/proc/meminfo: memFree=350952/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=162.16
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 16174 42 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=149.63
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 14958 5 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=12.4
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1205 35 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 416872

[startup+222.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 31449
/proc/meminfo: memFree=350952/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=222.1
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 22166 44 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=209.23
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 20917 6 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115661897 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=12.74
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1238 36 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 416872

[startup+282.312 s]
/proc/loadavg: 1.15 1.03 1.01 2/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=282.03
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 28158 45 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=268.78
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 26871 7 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=13.12
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1276 36 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 416872

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

[startup+282.802 s]
/proc/loadavg: 1.15 1.03 1.01 2/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=282.52
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 28207 45 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=269.26
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 26919 7 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115661897 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=13.14
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1278 36 0 0 16 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.52
Current children cumulated vsize (KiB) 416872

[startup+284.403 s]
/proc/loadavg: 1.15 1.03 1.01 2/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=284.12
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 28367 45 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=270.85
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 27078 7 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=13.14
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1278 36 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.12
Current children cumulated vsize (KiB) 416872

[startup+284.803 s]
/proc/loadavg: 1.15 1.03 1.01 3/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=284.52
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104349 0 1 0 28407 45 0 0 25 0 10 0 72956431 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71291 2921 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=271.25
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 27118 7 0 0 25 0 10 0 72956432 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=13.14
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1278 36 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72956433 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72956434 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31449] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31449/stat : 31449 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72957740 424247296 71291 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.52
Current children cumulated vsize (KiB) 416872

[startup+285.203 s]
/proc/loadavg: 1.15 1.03 1.01 3/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=414304 CPUtime=284.92
/proc/31439/stat : 31439 (java) S 31438 31438 22717 34817 22717 4202496 104350 0 1 0 28447 45 0 0 25 0 9 0 72956431 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 103576 71292 2922 10 0 97721 0
[pid=31439/tid=31441] ppid=31438 vsize=414304 CPUtime=271.65
/proc/31439/task/31441/stat : 31441 (java) R 31438 31438 22717 34817 22717 4202560 14214 0 1 0 27158 7 0 0 25 0 9 0 72956432 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4115701637 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31439/tid=31442] ppid=31438 vsize=414304 CPUtime=13.14
/proc/31439/task/31442/stat : 31442 (java) S 31438 31438 22717 34817 22717 4202560 88614 0 0 0 1278 36 0 0 16 0 9 0 72956433 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 0 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31443] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31443/stat : 31443 (java) S 31438 31438 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 9 0 72956433 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31444] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31444/stat : 31444 (java) S 31438 31438 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72956433 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31445] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31445/stat : 31445 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31446] ppid=31438 vsize=414304 CPUtime=0.1
/proc/31439/task/31446/stat : 31446 (java) S 31438 31438 22717 34817 22717 4202560 577 0 0 0 10 0 0 0 15 0 9 0 72956434 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31447/stat : 31447 (java) S 31438 31438 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72956434 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
[pid=31439/tid=31448] ppid=31438 vsize=414304 CPUtime=0
/proc/31439/task/31448/stat : 31448 (java) S 31438 31438 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72956434 424247296 71292 1283457024 134512640 134550932 4290964800 18446744073709551615 4294960130 0 4 0 16800975 18446612132933241536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.92
Current children cumulated vsize (KiB) 416872

[startup+285.307 s]
/proc/loadavg: 1.15 1.03 1.01 3/46 31452
/proc/meminfo: memFree=350680/1048576 swapFree=0/0
[pid=31438] ppid=31437 vsize=2568 CPUtime=0
/proc/31438/stat : 31438 (gj-user-solver-) S 31437 31438 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72956431 2629632 269 1283457024 134512640 135304128 4293470272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31438/statm: 642 269 229 194 0 29 0
[pid=31439] ppid=31438 vsize=0 CPUtime=285
/proc/31439/stat : 31439 (java) Z 31438 31438 22717 34817 22717 4202508 104354 0 1 0 28453 47 0 0 18 0 2 0 72956431 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31439/statm: 0 0 0 0 0 0 0
[pid=31439/tid=31447] ppid=31438 vsize=0 CPUtime=0.01
/proc/31439/task/31447/stat : 31447 (java) R 31438 31438 22717 34817 22717 4203588 1 0 0 0 0 1 0 0 18 0 2 0 72956434 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 285.31
CPU time (s): 285.006
CPU user time (s): 284.534
CPU system time (s): 0.472029
CPU usage (%): 99.8934
Max. virtual memory (cumulated for all children) (KiB): 441632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.534
system time used= 0.472029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104738
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= 6695
involuntary context switches= 9797

runsolver used 0 second user time and 0 second system time

The end