runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand450.cudf.s-e-l-s.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s/rand450.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand450.cudf.s-e-l-s.result 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 13623
/proc/meminfo: memFree=517412/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=1668 CPUtime=0.01
/proc/13623/stat : 13623 (java) R 13622 13622 1511 34817 1511 4194304 137 0 0 0 1 0 0 0 25 0 1 0 3193392 1708032 74 1283457024 134512640 134550932 4292945952 18446744073709551615 4159899471 0 0 0 0 0 0 0 17 0 0 0 0
/proc/13623/statm: 417 74 56 10 0 14 0

[startup+0.182498 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 13623
/proc/meminfo: memFree=517412/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=409796 CPUtime=0.19
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 3861 0 1 0 18 1 0 0 25 0 9 0 3193392 419631104 3293 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102449 3293 1787 10 0 96597 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412360

[startup+0.212497 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 13623
/proc/meminfo: memFree=517412/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=409796 CPUtime=0.21
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 3924 0 1 0 20 1 0 0 25 0 9 0 3193392 419631104 3356 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102449 3356 1787 10 0 96597 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412360

[startup+0.302525 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 13623
/proc/meminfo: memFree=517412/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=410240 CPUtime=0.31
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 4366 0 1 0 30 1 0 0 25 0 9 0 3193392 420085760 3798 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102560 3798 1925 10 0 96708 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412804

[startup+0.712685 s]
/proc/loadavg: 1.00 1.00 1.00 4/34 13623
/proc/meminfo: memFree=517412/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=410680 CPUtime=0.72
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 12894 0 1 0 70 2 0 0 25 0 9 0 3193392 420536320 12141 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102670 12141 2895 10 0 96818 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 413244

[startup+1.51296 s]
/proc/loadavg: 1.00 1.00 1.00 3/43 13632
/proc/meminfo: memFree=457824/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=410812 CPUtime=1.51
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 27353 0 1 0 143 8 0 0 25 0 9 0 3193392 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102703 26600 2896 10 0 96851 0
[pid=13623/tid=13625] ppid=13622 vsize=410812 CPUtime=0.8
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 6832 0 1 0 76 4 0 0 25 0 9 0 3193393 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=410812 CPUtime=0.66
/proc/13623/task/13626/stat : 13626 (java) R 13622 13622 1511 34817 1511 4202560 19152 0 0 0 62 4 0 0 19 0 9 0 3193393 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4151677047 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3193393 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3193393 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=410812 CPUtime=0.02
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 430 0 0 0 2 0 0 0 16 0 9 0 3193395 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3193395 420671488 26600 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413376

[startup+3.11355 s]
/proc/loadavg: 1.00 1.00 1.00 2/43 13632
/proc/meminfo: memFree=382556/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=410812 CPUtime=3.12
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 49190 0 1 0 294 18 0 0 25 0 9 0 3193392 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 102703 48437 2896 10 0 96851 0
[pid=13623/tid=13625] ppid=13622 vsize=410812 CPUtime=1.43
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14256 0 1 0 135 8 0 0 25 0 9 0 3193393 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4115463315 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=410812 CPUtime=1.63
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 33562 0 0 0 153 10 0 0 17 0 9 0 3193393 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 3193393 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 3193393 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=410812 CPUtime=0.04
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 433 0 0 0 4 0 0 0 16 0 9 0 3193395 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=410812 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3193395 420671488 48437 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413376

[startup+6.30475 s]
/proc/loadavg: 1.00 1.00 1.00 3/43 13632
/proc/meminfo: memFree=234136/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413408 CPUtime=6.31
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 77002 0 1 0 604 27 0 0 25 0 9 0 3193392 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103352 70999 2912 10 0 97497 0
[pid=13623/tid=13625] ppid=13622 vsize=413408 CPUtime=2.4
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14568 0 1 0 232 8 0 0 25 0 9 0 3193393 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4115542869 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413408 CPUtime=3.82
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 61023 0 0 0 365 17 0 0 17 0 9 0 3193393 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413408 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 3193393 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413408 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 3193393 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413408 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413408 CPUtime=0.04
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 472 0 0 0 4 0 0 0 15 0 9 0 3193395 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413408 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413408 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3193395 423329792 70999 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 415972

[startup+12.7068 s]
/proc/loadavg: 1.08 1.02 1.01 2/44 13633
/proc/meminfo: memFree=243676/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=12.71
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87287 0 1 0 1242 29 0 0 25 0 10 0 3193392 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71088 2913 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=5.88
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 580 8 0 0 25 0 10 0 3193393 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4115882916 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=6.66
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71208 0 0 0 647 19 0 0 16 0 10 0 3193393 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.13
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 537 0 0 0 13 0 0 0 16 0 10 0 3193395 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71088 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 416268

[startup+25.5102 s]
/proc/loadavg: 1.06 1.02 1.00 2/44 13633
/proc/meminfo: memFree=243676/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=25.49
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87295 0 1 0 2520 29 0 0 25 0 10 0 3193392 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71096 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=18.55
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 1847 8 0 0 25 0 10 0 3193393 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4115873680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=6.77
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 658 19 0 0 16 0 10 0 3193393 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 543 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71096 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 416268

[startup+51.1075 s]
/proc/loadavg: 1.04 1.01 1.00 2/44 13633
/proc/meminfo: memFree=243676/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=51.07
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87301 0 1 0 5077 30 0 0 25 0 10 0 3193392 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71102 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=43.52
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 4343 9 0 0 25 0 10 0 3193393 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4115910584 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=7.37
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 718 19 0 0 16 0 10 0 3193393 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 549 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71102 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 416268

[startup+102.313 s]
/proc/loadavg: 1.02 1.01 1.00 2/44 13633
/proc/meminfo: memFree=243552/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=102.24
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 10193 31 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=93.42
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 9332 10 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115916331 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=8.64
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 845 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 416268

[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 13633
/proc/meminfo: memFree=243428/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=162.12
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 16180 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=152.49
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 15238 11 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115805606 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=9.45
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 926 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 416268

[startup+222.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13635
/proc/meminfo: memFree=243280/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=222.05
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 22173 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=211.64
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 21152 12 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115908064 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=10.24
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1005 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 416268

[startup+282.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13641
/proc/meminfo: memFree=243280/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=281.99
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 28167 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=270.73
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 27061 12 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115864052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=11.1
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1091 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 416268

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

[startup+283.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13641
/proc/meminfo: memFree=243156/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=282.79
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 28247 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=271.53
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 27141 12 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4150771530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=11.1
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1091 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.79
Current children cumulated vsize (KiB) 416268

[startup+283.908 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13641
/proc/meminfo: memFree=243156/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=283.59
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 28327 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=272.32
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 27220 12 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115906858 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=11.1
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1091 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.59
Current children cumulated vsize (KiB) 416268

[startup+284.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13641
/proc/meminfo: memFree=243156/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=284.39
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87303 0 1 0 28407 32 0 0 25 0 10 0 3193392 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71104 2915 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=273.12
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 27300 12 0 0 25 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4115907795 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=11.1
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1091 19 0 0 15 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 3193393 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 3193395 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13633] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13633/stat : 13633 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 3194383 423632896 71104 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.39
Current children cumulated vsize (KiB) 416268

[startup+285.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 13642
/proc/meminfo: memFree=243156/1048576 swapFree=0/0
[pid=13622] ppid=13621 vsize=2564 CPUtime=0
/proc/13622/stat : 13622 (gj-trendy-solve) S 13621 13622 1511 34817 1511 4202496 371 0 0 0 0 0 0 0 18 0 1 0 3193392 2625536 268 1283457024 134512640 135304128 4290407872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13622/statm: 641 268 229 194 0 28 0
[pid=13623] ppid=13622 vsize=413704 CPUtime=284.79
/proc/13623/stat : 13623 (java) S 13622 13622 1511 34817 1511 4202496 87304 0 1 0 28447 32 0 0 25 0 9 0 3193392 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13623/statm: 103426 71105 2916 10 0 97571 0
[pid=13623/tid=13625] ppid=13622 vsize=413704 CPUtime=273.52
/proc/13623/task/13625/stat : 13625 (java) R 13622 13622 1511 34817 1511 4202560 14598 0 1 0 27340 12 0 0 25 0 9 0 3193393 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4115999493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13623/tid=13626] ppid=13622 vsize=413704 CPUtime=11.1
/proc/13623/task/13626/stat : 13626 (java) S 13622 13622 1511 34817 1511 4202560 71210 0 0 0 1091 19 0 0 15 0 9 0 3193393 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13627] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13627/stat : 13627 (java) S 13622 13622 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 3193393 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13628] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13628/stat : 13628 (java) S 13622 13622 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 3193393 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13629] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13629/stat : 13629 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13630] ppid=13622 vsize=413704 CPUtime=0.14
/proc/13623/task/13630/stat : 13630 (java) S 13622 13622 1511 34817 1511 4202560 551 0 0 0 14 0 0 0 15 0 9 0 3193395 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13631] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13631/stat : 13631 (java) S 13622 13622 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 3193395 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=13623/tid=13632] ppid=13622 vsize=413704 CPUtime=0
/proc/13623/task/13632/stat : 13632 (java) S 13622 13622 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 3193395 423632896 71105 1283457024 134512640 134550932 4290557200 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.79
Current children cumulated vsize (KiB) 416268

Child status: 0
Real time (s): 285.2
CPU time (s): 284.85
CPU user time (s): 284.514
CPU system time (s): 0.336021
CPU usage (%): 99.8772
Max. virtual memory (cumulated for all children) (KiB): 436752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.514
system time used= 0.336021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87698
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= 6010
involuntary context switches= 8956

runsolver used 0 second user time and 0 second system time

The end