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

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


[startup+0 s]
/proc/loadavg: 0.84 0.97 0.88 5/38 20329
/proc/meminfo: memFree=830264/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=11360 CPUtime=0.01
/proc/20328/stat : 20328 (java) R 20327 20327 19908 34817 19908 4202496 918 0 0 0 0 1 0 0 25 0 2 0 60943405 11632640 651 1283457024 134512640 134550932 4292071072 18446744073709551615 4159696488 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 2840 651 285 10 0 1186 0
[pid=20328/tid=20329] ppid=20327 vsize=11360 CPUtime=0
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 60943405 11632640 651 1283457024 134512640 134550932 4292071072 18446744073709551615 4159696488 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.185264 s]
/proc/loadavg: 0.84 0.97 0.88 5/38 20329
/proc/meminfo: memFree=830264/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410068 CPUtime=0.18
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 4525 0 1 0 16 2 0 0 25 0 9 0 60943405 419909632 3955 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102517 3955 1940 10 0 96665 0
[pid=20328/tid=20329] ppid=20327 vsize=410068 CPUtime=0.17
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 3324 0 1 0 16 1 0 0 25 0 9 0 60943405 419909632 3955 1283457024 134512640 134550932 4292071072 18446744073709551615 4115055356 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412636

[startup+0.205273 s]
/proc/loadavg: 0.84 0.97 0.88 5/38 20329
/proc/meminfo: memFree=830264/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410068 CPUtime=0.2
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 4658 0 1 0 18 2 0 0 25 0 9 0 60943405 419909632 4088 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102517 4088 1940 10 0 96665 0
[pid=20328/tid=20329] ppid=20327 vsize=410068 CPUtime=0.19
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 3457 0 1 0 18 1 0 0 25 0 9 0 60943405 419909632 4088 1283457024 134512640 134550932 4292071072 18446744073709551615 4115036567 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412636

[startup+0.305288 s]
/proc/loadavg: 0.84 0.97 0.88 5/38 20329
/proc/meminfo: memFree=830264/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410068 CPUtime=0.3
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 5290 0 1 0 28 2 0 0 25 0 9 0 60943405 419909632 4719 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102517 4719 1946 10 0 96665 0
[pid=20328/tid=20329] ppid=20327 vsize=410068 CPUtime=0.28
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 3511 0 1 0 27 1 0 0 25 0 9 0 60943405 419909632 4719 1283457024 134512640 134550932 4292071072 18446744073709551615 4115053518 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412636

[startup+0.705371 s]
/proc/loadavg: 0.84 0.97 0.88 5/38 20329
/proc/meminfo: memFree=830264/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410752 CPUtime=0.71
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 12740 0 1 0 66 5 0 0 25 0 9 0 60943405 420610048 11985 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102688 11985 2900 10 0 96836 0
[pid=20328/tid=20329] ppid=20327 vsize=410752 CPUtime=0.47
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 4168 0 1 0 46 1 0 0 25 0 9 0 60943405 420610048 11985 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413320

[startup+1.50551 s]
/proc/loadavg: 0.84 0.97 0.88 2/46 20337
/proc/meminfo: memFree=773212/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410752 CPUtime=1.5
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 27357 0 1 0 141 9 0 0 25 0 9 0 60943405 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102688 26602 2900 10 0 96836 0
[pid=20328/tid=20329] ppid=20327 vsize=410752 CPUtime=0.8
/proc/20328/task/20329/stat : 20329 (java) S 20327 20327 19908 34817 19908 4202560 6680 0 1 0 78 2 0 0 25 0 9 0 60943405 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=410752 CPUtime=0.65
/proc/20328/task/20331/stat : 20331 (java) R 20327 20327 19908 34817 19908 4202560 19290 0 0 0 61 4 0 0 19 0 9 0 60943406 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4151680524 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=410752 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 60943406 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=410752 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 60943406 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=410752 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=410752 CPUtime=0.02
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 446 0 0 0 1 1 0 0 20 0 9 0 60943407 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=410752 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 420610048 26602 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=410752 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 60943407 420610048 26602 1283457024 134512640 134550932 4292071072 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) 413320

[startup+3.10577 s]
/proc/loadavg: 0.84 0.97 0.88 3/46 20337
/proc/meminfo: memFree=697696/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=410884 CPUtime=3.1
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 52829 0 1 0 297 13 0 0 25 0 9 0 60943405 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102721 52074 2900 10 0 96869 0
[pid=20328/tid=20329] ppid=20327 vsize=410884 CPUtime=1.39
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 13785 0 1 0 136 3 0 0 25 0 9 0 60943405 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=410884 CPUtime=1.66
/proc/20328/task/20331/stat : 20331 (java) R 20327 20327 19908 34817 19908 4202560 37654 0 0 0 158 8 0 0 16 0 9 0 60943406 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4153418204 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=410884 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 60943406 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=410884 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 60943406 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=410884 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=410884 CPUtime=0.03
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 449 0 0 0 2 1 0 0 15 0 9 0 60943407 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=410884 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=410884 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 60943407 420745216 52074 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413452

[startup+6.30668 s]
/proc/loadavg: 0.93 0.98 0.89 2/46 20337
/proc/meminfo: memFree=564644/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=439792 CPUtime=6.31
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 78192 0 1 0 611 20 0 0 25 0 9 0 60943405 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 109948 77431 2901 10 0 104096 0
[pid=20328/tid=20329] ppid=20327 vsize=439792 CPUtime=2.26
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 13802 0 1 0 222 4 0 0 25 0 9 0 60943405 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=439792 CPUtime=3.96
/proc/20328/task/20331/stat : 20331 (java) R 20327 20327 19908 34817 19908 4202560 62982 0 0 0 384 12 0 0 16 0 9 0 60943406 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4153006498 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=439792 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 60943406 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=439792 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 60943406 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=439792 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=439792 CPUtime=0.05
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 467 0 0 0 4 1 0 0 15 0 9 0 60943407 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=439792 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=439792 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 60943407 450347008 77431 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 442360

[startup+12.7286 s]
/proc/loadavg: 1.02 1.00 0.89 2/47 20338
/proc/meminfo: memFree=559800/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=12.72
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92679 0 1 0 1244 28 0 0 25 0 10 0 60943405 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 70545 2917 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=5.64
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 560 4 0 0 25 0 10 0 60943405 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=6.9
/proc/20328/task/20331/stat : 20331 (java) R 20327 20327 19908 34817 19908 4202560 77147 0 0 0 671 19 0 0 15 0 10 0 60943406 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4151680424 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 533 0 0 0 12 2 0 0 16 0 10 0 60943407 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 70545 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 414120

[startup+25.5106 s]
/proc/loadavg: 1.01 1.00 0.89 2/47 20338
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=25.48
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92680 0 1 0 2520 28 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48503 2917 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=17.84
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 1780 4 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4115847011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=7.48
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77147 0 0 0 728 20 0 0 15 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48503 1283457024 134512640 134550932 4292071072 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) 414120

[startup+51.1066 s]
/proc/loadavg: 1.01 1.00 0.89 2/47 20338
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=51.05
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92680 0 1 0 5077 28 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48503 2917 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=42.8
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 4276 4 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4115910563 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=8.09
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77147 0 0 0 789 20 0 0 15 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 414120

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.90 3/49 20345
/proc/meminfo: memFree=647692/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=102.23
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92680 0 1 0 10193 30 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48503 2917 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=93.04
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 9298 6 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4115956229 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=9.02
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77147 0 0 0 882 20 0 0 15 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 414120

[startup+162.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/48 20349
/proc/meminfo: memFree=647708/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=162.16
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92680 0 1 0 16185 31 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48503 2917 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=152.13
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 15206 7 0 0 25 0 10 0 60943405 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4115782139 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=9.86
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77147 0 0 0 966 20 0 0 15 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48503 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 414120

[startup+222.311 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=222.13
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92682 0 1 0 22181 32 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48505 2919 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=211.21
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 21114 7 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4115956216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=10.75
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1054 21 0 0 15 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 414120

[startup+282.307 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=282.06
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92682 0 1 0 28174 32 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48505 2919 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=270.39
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27032 7 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4115956233 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 414120

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

[startup+283.107 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=282.86
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92682 0 1 0 28254 32 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48505 2919 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=271.18
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27111 7 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4115847083 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.86
Current children cumulated vsize (KiB) 414120

[startup+283.907 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=283.65
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92682 0 1 0 28333 32 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48505 2919 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=271.98
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27191 7 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4115910585 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.65
Current children cumulated vsize (KiB) 414120

[startup+284.708 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=284.45
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92682 0 1 0 28413 32 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48505 2919 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=272.78
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27271 7 0 0 25 0 10 0 60943405 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4115974760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 60943406 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 60943407 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20338] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20338/stat : 20338 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 60944343 421429248 48505 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.45
Current children cumulated vsize (KiB) 414120

[startup+285.108 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=284.85
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92683 0 1 0 28453 32 0 0 25 0 9 0 60943405 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48506 2920 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=273.18
/proc/20328/task/20329/stat : 20329 (java) R 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27311 7 0 0 25 0 9 0 60943405 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4115996805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.14
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 12 2 0 0 15 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.85
Current children cumulated vsize (KiB) 414120

[startup+285.207 s]
/proc/loadavg: 1.00 1.00 0.91 2/47 20349
/proc/meminfo: memFree=647716/1048576 swapFree=0/0
[pid=20327] ppid=20326 vsize=2568 CPUtime=0
/proc/20327/stat : 20327 (gj-user-solver-) S 20326 20327 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 60943405 2629632 269 1283457024 134512640 135304128 4286626320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20327/statm: 642 269 229 194 0 29 0
[pid=20328] ppid=20327 vsize=411552 CPUtime=284.9
/proc/20328/stat : 20328 (java) S 20327 20327 19908 34817 19908 4202496 92683 0 1 0 28458 32 0 0 25 0 9 0 60943405 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20328/statm: 102888 48506 2920 10 0 97033 0
[pid=20328/tid=20329] ppid=20327 vsize=411552 CPUtime=273.22
/proc/20328/task/20329/stat : 20329 (java) S 20327 20327 19908 34817 19908 4202560 14053 0 1 0 27315 7 0 0 25 0 9 0 60943405 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20331] ppid=20327 vsize=411552 CPUtime=11.51
/proc/20328/task/20331/stat : 20331 (java) S 20327 20327 19908 34817 19908 4202560 77149 0 0 0 1130 21 0 0 15 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20332] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20332/stat : 20332 (java) S 20327 20327 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20333] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20333/stat : 20333 (java) S 20327 20327 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 60943406 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20334] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20334/stat : 20334 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20335] ppid=20327 vsize=411552 CPUtime=0.15
/proc/20328/task/20335/stat : 20335 (java) S 20327 20327 19908 34817 19908 4202560 534 0 0 0 13 2 0 0 15 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20336] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20336/stat : 20336 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=20328/tid=20337] ppid=20327 vsize=411552 CPUtime=0
/proc/20328/task/20337/stat : 20337 (java) S 20327 20327 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 60943407 421429248 48506 1283457024 134512640 134550932 4292071072 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (KiB) 414120

Child status: 0
Real time (s): 285.223
CPU time (s): 284.918
CPU user time (s): 284.586
CPU system time (s): 0.33202
CPU usage (%): 99.8929
Max. virtual memory (cumulated for all children) (KiB): 442360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.586
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93070
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= 5912
involuntary context switches= 8718

runsolver used 0 second user time and 0.008 second system time

The end