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/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//adf7b774-9af8-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.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.97 0.99 5/34 32676
/proc/meminfo: memFree=715568/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) R 32674 32675 19908 34817 19908 4202496 354 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 268 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32675/statm: 642 268 228 194 0 29 0
[pid=32676] ppid=32675 vsize=2568 CPUtime=0
/proc/32676/stat : 32676 (gj-user-solver-) R 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 40 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32676/statm: 642 40 0 194 0 29 0

[startup+0.146837 s]
/proc/loadavg: 0.85 0.97 0.99 5/34 32676
/proc/meminfo: memFree=715568/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410060 CPUtime=0.14
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 4058 0 1 0 10 4 0 0 25 0 9 0 67196327 419901440 3489 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102515 3489 1935 10 0 96663 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412628

[startup+0.206839 s]
/proc/loadavg: 0.85 0.97 0.99 5/34 32676
/proc/meminfo: memFree=715568/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410060 CPUtime=0.2
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 4231 0 1 0 16 4 0 0 25 0 9 0 67196327 419901440 3662 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102515 3662 1935 10 0 96663 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412628

[startup+0.306876 s]
/proc/loadavg: 0.85 0.97 0.99 5/34 32676
/proc/meminfo: memFree=715568/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410344 CPUtime=0.3
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 4547 0 1 0 26 4 0 0 25 0 9 0 67196327 420192256 3978 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102586 3978 1938 10 0 96734 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412912

[startup+0.70699 s]
/proc/loadavg: 0.85 0.97 0.99 5/34 32676
/proc/meminfo: memFree=715568/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410624 CPUtime=0.71
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 11555 0 1 0 64 7 0 0 25 0 9 0 67196327 420478976 10801 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102656 10801 2899 10 0 96804 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413192

[startup+1.50719 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 32685
/proc/meminfo: memFree=655880/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410756 CPUtime=1.5
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 24453 0 1 0 135 15 0 0 25 0 9 0 67196327 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102689 23699 2900 10 0 96837 0
[pid=32676/tid=32678] ppid=32675 vsize=410756 CPUtime=0.86
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 6823 0 1 0 78 8 0 0 25 0 9 0 67196327 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=410756 CPUtime=0.58
/proc/32676/task/32679/stat : 32679 (java) R 32675 32675 19908 34817 19908 4202560 16246 0 0 0 52 6 0 0 18 0 9 0 67196328 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4150507448 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=410756 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 67196328 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=410756 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 67196328 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=410756 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 67196329 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=410756 CPUtime=0.04
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 445 0 0 0 4 0 0 0 17 0 9 0 67196329 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=410756 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 67196329 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=410756 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 67196329 420614144 23699 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.10818 s]
/proc/loadavg: 0.85 0.97 0.99 2/43 32685
/proc/meminfo: memFree=580860/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=410888 CPUtime=3.09
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 45089 0 1 0 284 25 0 0 25 0 9 0 67196327 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102722 44335 2900 10 0 96870 0
[pid=32676/tid=32678] ppid=32675 vsize=410888 CPUtime=1.45
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 10197 0 1 0 135 10 0 0 25 0 9 0 67196327 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4114673081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=410888 CPUtime=1.57
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 33504 0 0 0 144 13 0 0 16 0 9 0 67196328 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=410888 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 67196328 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=410888 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 67196328 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=410888 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 67196329 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=410888 CPUtime=0.04
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 449 0 0 0 4 0 0 0 15 0 9 0 67196329 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=410888 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 67196329 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=410888 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 67196329 420749312 44335 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413456

[startup+6.30878 s]
/proc/loadavg: 0.94 0.98 0.99 2/44 32686
/proc/meminfo: memFree=479800/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=6.28
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62495 0 1 0 596 32 0 0 25 0 10 0 67196327 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 61656 2924 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=4.26
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14531 0 1 0 414 12 0 0 25 0 10 0 67196327 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4114992421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=1.92
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46491 0 0 0 173 19 0 0 16 0 10 0 67196328 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.08
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 530 0 0 0 8 0 0 0 16 0 10 0 67196329 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 61656 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413792

[startup+12.7108 s]
/proc/loadavg: 0.94 0.98 0.99 2/44 32686
/proc/meminfo: memFree=479676/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=12.68
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62512 0 1 0 1236 32 0 0 25 0 10 0 67196327 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 61665 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=10.45
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 1033 12 0 0 25 0 10 0 67196327 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4114992437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=2.11
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 192 19 0 0 16 0 10 0 67196328 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 535 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 61665 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413792

[startup+25.5037 s]
/proc/loadavg: 0.95 0.98 0.99 2/44 32686
/proc/meminfo: memFree=493440/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=25.48
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 2514 34 0 0 25 0 10 0 67196327 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 58063 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=22.96
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 2284 12 0 0 25 0 10 0 67196327 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4114992421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=2.4
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 220 20 0 0 15 0 10 0 67196328 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 58063 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413792

[startup+51.1093 s]
/proc/loadavg: 0.97 0.98 0.99 3/44 32686
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=51.04
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 5070 34 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=48.12
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 4800 12 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115181467 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=2.81
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 260 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 413792

[startup+102.31 s]
/proc/loadavg: 0.98 0.98 0.99 3/46 32688
/proc/meminfo: memFree=522184/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=102.21
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 10187 34 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=98.72
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 9860 12 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115151420 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=3.38
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 317 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) R 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 413792

[startup+162.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/46 32693
/proc/meminfo: memFree=522184/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=162.19
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 16183 36 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=158.05
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 15792 13 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4114992421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=4.01
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 380 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 413792

[startup+222.304 s]
/proc/loadavg: 0.99 0.98 0.99 2/45 32697
/proc/meminfo: memFree=522200/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=222.14
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 22176 38 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=217.47
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 21731 16 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115177577 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=4.55
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 434 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 413792

[startup+282.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 32697
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=282.1
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 28170 40 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=276.99
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 27682 17 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115044713 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=4.99
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 478 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 413792

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

[startup+283.208 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 32697
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=283
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 28260 40 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=277.89
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 27772 17 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115207433 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=4.99
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 478 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283
Current children cumulated vsize (KiB) 413792

[startup+284.008 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 32697
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=283.8
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 28340 40 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=278.56
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 27839 17 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4115168985 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=5.12
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 491 21 0 0 16 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.8
Current children cumulated vsize (KiB) 413792

[startup+284.808 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 32697
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=284.6
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62514 0 1 0 28420 40 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50875 2919 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=279.36
/proc/32676/task/32678/stat : 32678 (java) R 32675 32675 19908 34817 19908 4202560 14532 0 1 0 27919 17 0 0 25 0 10 0 67196327 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4114992421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=5.12
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 491 21 0 0 15 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 67196328 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 537 0 0 0 10 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 67196329 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32686] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32686/stat : 32686 (java) S 32675 32675 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 67196709 421093376 50875 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.6
Current children cumulated vsize (KiB) 413792

[startup+285.203 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 32697
/proc/meminfo: memFree=522208/1048576 swapFree=0/0
[pid=32675] ppid=32674 vsize=2568 CPUtime=0
/proc/32675/stat : 32675 (gj-user-solver-) S 32674 32675 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 25 0 1 0 67196327 2629632 269 1283457024 134512640 135304128 4293152784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32675/statm: 642 269 229 194 0 29 0
[pid=32676] ppid=32675 vsize=411224 CPUtime=284.95
/proc/32676/stat : 32676 (java) S 32675 32675 19908 34817 19908 4202496 62516 0 1 0 28455 40 0 0 25 0 9 0 67196327 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32676/statm: 102806 50877 2920 10 0 96951 0
[pid=32676/tid=32678] ppid=32675 vsize=411224 CPUtime=279.7
/proc/32676/task/32678/stat : 32678 (java) S 32675 32675 19908 34817 19908 4202560 14532 0 1 0 27953 17 0 0 25 0 9 0 67196327 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32679] ppid=32675 vsize=411224 CPUtime=5.12
/proc/32676/task/32679/stat : 32679 (java) S 32675 32675 19908 34817 19908 4202560 46502 0 0 0 491 21 0 0 15 0 9 0 67196328 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32680] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32680/stat : 32680 (java) S 32675 32675 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 67196328 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32681] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32681/stat : 32681 (java) S 32675 32675 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 67196328 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32682] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32682/stat : 32682 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 67196329 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32683] ppid=32675 vsize=411224 CPUtime=0.1
/proc/32676/task/32683/stat : 32683 (java) S 32675 32675 19908 34817 19908 4202560 538 0 0 0 10 0 0 0 15 0 9 0 67196329 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32684] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32684/stat : 32684 (java) S 32675 32675 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 9 0 67196329 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=32676/tid=32685] ppid=32675 vsize=411224 CPUtime=0
/proc/32676/task/32685/stat : 32685 (java) S 32675 32675 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 67196329 421093376 50877 1283457024 134512640 134550932 4288650016 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.95
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 285.226
CPU time (s): 284.97
CPU user time (s): 284.554
CPU system time (s): 0.416026
CPU usage (%): 99.9103
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.554
system time used= 0.416026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62902
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= 5945
involuntary context switches= 8623

runsolver used 0.008 second user time and 0 second system time

The end