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/201108311143/gj-user-solver-1.0/rand994.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand994.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand994.cudf.user-upgrades.result -sum(installedsize) 

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.98 0.99 4/36 30619
/proc/meminfo: memFree=713900/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=1800 CPUtime=0
/proc/30619/stat : 30619 (java) R 30618 30618 19908 34817 19908 4202496 241 0 0 0 0 0 0 0 25 0 1 0 66088864 1843200 172 1283457024 134512640 134550932 4286603824 18446744073709551615 4159387472 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30619/statm: 450 172 133 10 0 51 0

[startup+0.162995 s]
/proc/loadavg: 0.85 0.98 0.99 4/36 30619
/proc/meminfo: memFree=713900/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=409920 CPUtime=0.16
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 3959 0 1 0 14 2 0 0 25 0 9 0 66088864 419758080 3389 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102480 3389 1912 10 0 96628 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412484

[startup+0.212999 s]
/proc/loadavg: 0.85 0.98 0.99 4/36 30619
/proc/meminfo: memFree=713900/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=409920 CPUtime=0.22
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 4068 0 1 0 20 2 0 0 25 0 9 0 66088864 419758080 3498 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102480 3498 1912 10 0 96628 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 412484

[startup+0.303023 s]
/proc/loadavg: 0.85 0.98 0.99 4/36 30619
/proc/meminfo: memFree=713900/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=410476 CPUtime=0.3
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 4419 0 1 0 28 2 0 0 25 0 9 0 66088864 420327424 3849 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102619 3849 1939 10 0 96767 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413040

[startup+0.703112 s]
/proc/loadavg: 0.85 0.98 0.99 4/36 30619
/proc/meminfo: memFree=713900/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=410616 CPUtime=0.7
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 12010 0 1 0 67 3 0 0 25 0 9 0 66088864 420470784 11255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102654 11255 2900 10 0 96802 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413180

[startup+1.50336 s]
/proc/loadavg: 0.85 0.98 0.99 2/45 30628
/proc/meminfo: memFree=655636/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=410748 CPUtime=1.49
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 26686 0 1 0 139 10 0 0 25 0 9 0 66088864 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102687 25931 2900 10 0 96835 0
[pid=30619/tid=30621] ppid=30618 vsize=410748 CPUtime=0.83
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 6679 0 1 0 80 3 0 0 25 0 9 0 66088865 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=410748 CPUtime=0.63
/proc/30619/task/30622/stat : 30622 (java) R 30618 30618 19908 34817 19908 4202560 18620 0 0 0 56 7 0 0 18 0 9 0 66088865 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4151343032 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=410748 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66088865 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=410748 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66088865 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=410748 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=410748 CPUtime=0.02
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 446 0 0 0 2 0 0 0 16 0 9 0 66088867 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=410748 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=410748 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66088867 420605952 25931 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413312

[startup+3.11381 s]
/proc/loadavg: 0.85 0.98 0.99 2/45 30628
/proc/meminfo: memFree=584088/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=410880 CPUtime=3.11
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 51010 0 1 0 289 22 0 0 25 0 9 0 66088864 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102720 50255 2900 10 0 96868 0
[pid=30619/tid=30621] ppid=30618 vsize=410880 CPUtime=1.44
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 13784 0 1 0 138 6 0 0 25 0 9 0 66088865 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=410880 CPUtime=1.63
/proc/30619/task/30622/stat : 30622 (java) R 30618 30618 19908 34817 19908 4202560 35836 0 0 0 147 16 0 0 16 0 9 0 66088865 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4151343032 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=410880 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66088865 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=410880 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66088865 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=410880 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=410880 CPUtime=0.02
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 449 0 0 0 2 0 0 0 15 0 9 0 66088867 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=410880 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=410880 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66088867 420741120 50255 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413444

[startup+6.31477 s]
/proc/loadavg: 0.94 1.00 0.99 2/45 30629
/proc/meminfo: memFree=446944/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=439788 CPUtime=6.31
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 78193 0 1 0 603 28 0 0 25 0 9 0 66088864 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 109947 77432 2901 10 0 104095 0
[pid=30619/tid=30621] ppid=30618 vsize=439788 CPUtime=2.32
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 13801 0 1 0 224 8 0 0 25 0 9 0 66088865 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=439788 CPUtime=3.95
/proc/30619/task/30622/stat : 30622 (java) R 30618 30618 19908 34817 19908 4202560 62984 0 0 0 376 19 0 0 16 0 9 0 66088865 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4152834587 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=439788 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 66088865 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=439788 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 66088865 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=439788 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=439788 CPUtime=0.02
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 467 0 0 0 2 0 0 0 15 0 9 0 66088867 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=439788 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=439788 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66088867 450342912 77432 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 442352

[startup+12.7064 s]
/proc/loadavg: 1.02 1.02 1.00 2/46 30630
/proc/meminfo: memFree=442108/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=12.7
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92685 0 1 0 1240 30 0 0 25 0 10 0 66088864 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 70551 2917 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=5.7
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 562 8 0 0 25 0 10 0 66088865 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4115904248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=6.84
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77157 0 0 0 663 21 0 0 16 0 10 0 66088865 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.14
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 530 0 0 0 14 0 0 0 16 0 10 0 66088867 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 70551 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414148

[startup+25.5101 s]
/proc/loadavg: 1.02 1.02 1.00 2/46 30632
/proc/meminfo: memFree=525932/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=25.49
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92689 0 1 0 2518 31 0 0 25 0 10 0 66088864 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49522 2917 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=17.85
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 1777 8 0 0 25 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4115919260 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=7.48
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77157 0 0 0 725 23 0 0 16 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) R 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 414148

[startup+51.1076 s]
/proc/loadavg: 1.01 1.01 1.00 2/45 30633
/proc/meminfo: memFree=525948/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=51.06
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92689 0 1 0 5074 32 0 0 25 0 10 0 66088864 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49522 2917 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=42.82
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 4273 9 0 0 25 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4116001093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=8.08
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77157 0 0 0 785 23 0 0 16 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49522 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 414148

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 30633
/proc/meminfo: memFree=525948/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=102.24
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 10190 34 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=93.15
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 9305 10 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4115826954 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=8.91
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 868 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 414148

[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=162.2
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 16186 34 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=152.26
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 15215 11 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4116014468 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=9.78
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 955 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 414148

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=222.15
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 22180 35 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=211.48
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 21136 12 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4116014454 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=10.51
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1028 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 414148

[startup+282.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=282.11
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 28175 36 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=270.69
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27056 13 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4115891300 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 414148

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

[startup+283.212 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=283.01
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 28265 36 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=271.59
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27146 13 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4115919236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.01
Current children cumulated vsize (KiB) 414148

[startup+284.012 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=283.81
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 28345 36 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=272.39
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27226 13 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4116014432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.81
Current children cumulated vsize (KiB) 414148

[startup+284.812 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=284.61
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92691 0 1 0 28425 36 0 0 25 0 10 0 66088864 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49524 2919 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=273.19
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27306 13 0 0 25 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4116014412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 66088865 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 66088867 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30630] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30630/stat : 30630 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 66089804 421462016 49524 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (KiB) 414148

[startup+285.212 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=285.01
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92692 0 1 0 28465 36 0 0 25 0 9 0 66088864 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49525 2920 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=273.59
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27346 13 0 0 25 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4116041669 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.01
Current children cumulated vsize (KiB) 414148

[startup+285.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 30633
/proc/meminfo: memFree=525956/1048576 swapFree=0/0
[pid=30618] ppid=30617 vsize=2564 CPUtime=0
/proc/30618/stat : 30618 (gj-user-solver-) S 30617 30618 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 23 0 1 0 66088864 2625536 269 1283457024 134512640 135304128 4289621216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30618/statm: 641 269 229 194 0 28 0
[pid=30619] ppid=30618 vsize=411584 CPUtime=285.11
/proc/30619/stat : 30619 (java) S 30618 30618 19908 34817 19908 4202496 92692 0 1 0 28475 36 0 0 25 0 9 0 66088864 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30619/statm: 102896 49525 2920 10 0 97041 0
[pid=30619/tid=30621] ppid=30618 vsize=411584 CPUtime=273.69
/proc/30619/task/30621/stat : 30621 (java) R 30618 30618 19908 34817 19908 4202560 14052 0 1 0 27356 13 0 0 25 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4150758920 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30619/tid=30622] ppid=30618 vsize=411584 CPUtime=11.26
/proc/30619/task/30622/stat : 30622 (java) S 30618 30618 19908 34817 19908 4202560 77159 0 0 0 1103 23 0 0 15 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 0 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30623] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30623/stat : 30623 (java) S 30618 30618 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30624] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30624/stat : 30624 (java) S 30618 30618 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 66088865 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30625] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30625/stat : 30625 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30626] ppid=30618 vsize=411584 CPUtime=0.15
/proc/30619/task/30626/stat : 30626 (java) S 30618 30618 19908 34817 19908 4202560 534 0 0 0 15 0 0 0 15 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30627] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30627/stat : 30627 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
[pid=30619/tid=30628] ppid=30618 vsize=411584 CPUtime=0
/proc/30619/task/30628/stat : 30628 (java) S 30618 30618 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 66088867 421462016 49525 1283457024 134512640 134550932 4290821488 18446744073709551615 4294960130 0 4 0 16800975 18446612132933239744 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.11
Current children cumulated vsize (KiB) 414148

Child status: 0
Real time (s): 285.37
CPU time (s): 285.146
CPU user time (s): 284.778
CPU system time (s): 0.368023
CPU usage (%): 99.9215
Max. virtual memory (cumulated for all children) (KiB): 442352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.778
system time used= 0.368023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93079
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= 5984
involuntary context switches= 8809

runsolver used 0 second user time and 0 second system time

The end