runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.dudf-real.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.99 4/36 27923
/proc/meminfo: memFree=330744/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=11040 CPUtime=0.01
/proc/27923/stat : 27923 (java) R 27922 27922 22717 34817 22717 4202496 646 0 0 0 0 1 0 0 25 0 1 0 72388373 11304960 383 1283457024 134512640 134550932 4294756528 18446744073709551615 4160108258 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27923/statm: 2760 383 176 10 0 1102 0

[startup+0.145369 s]
/proc/loadavg: 1.00 0.99 0.99 4/36 27923
/proc/meminfo: memFree=330744/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=409920 CPUtime=0.15
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 3920 0 1 0 14 1 0 0 25 0 9 0 72388373 419758080 3349 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102480 3349 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412484

[startup+0.205367 s]
/proc/loadavg: 1.00 0.99 0.99 4/36 27923
/proc/meminfo: memFree=330744/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=409920 CPUtime=0.21
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 4046 0 1 0 20 1 0 0 25 0 9 0 72388373 419758080 3475 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102480 3475 1906 10 0 96628 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412484

[startup+0.305401 s]
/proc/loadavg: 1.00 0.99 0.99 4/36 27923
/proc/meminfo: memFree=330744/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=410472 CPUtime=0.3
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 4404 0 1 0 29 1 0 0 25 0 9 0 72388373 420323328 3833 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102618 3833 1934 10 0 96766 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413036

[startup+0.705478 s]
/proc/loadavg: 1.00 0.99 0.99 4/36 27923
/proc/meminfo: memFree=330744/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=410620 CPUtime=0.7
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 12046 0 1 0 68 2 0 0 25 0 9 0 72388373 420474880 11290 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102655 11290 2896 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413184

[startup+1.50578 s]
/proc/loadavg: 1.00 0.99 0.99 2/45 27933
/proc/meminfo: memFree=272568/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=410752 CPUtime=1.5
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 25481 0 1 0 145 5 0 0 25 0 9 0 72388373 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102688 24725 2896 10 0 96836 0
[pid=27923/tid=27925] ppid=27922 vsize=410752 CPUtime=0.8
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 6744 0 1 0 80 0 0 0 25 0 9 0 72388373 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=410752 CPUtime=0.63
/proc/27923/task/27926/stat : 27926 (java) R 27922 27922 22717 34817 22717 4202560 17350 0 0 0 60 3 0 0 18 0 9 0 72388374 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4151284640 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=410752 CPUtime=0
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72388374 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=410752 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72388374 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=410752 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72388376 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=410752 CPUtime=0.04
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 447 0 0 0 4 0 0 0 16 0 9 0 72388376 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=410752 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72388376 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=410752 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72388376 420610048 24725 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10616 s]
/proc/loadavg: 1.08 1.01 1.00 3/46 27934
/proc/meminfo: memFree=198780/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=2.95
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 38715 0 1 0 268 27 0 0 25 0 10 0 72388373 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 37879 2918 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=1.7
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 154 16 0 0 25 0 10 0 72388373 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=1.11
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 27491 0 0 0 103 8 0 0 16 0 10 0 72388374 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 579 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 37879 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 413804

[startup+6.30701 s]
/proc/loadavg: 1.08 1.01 1.00 2/46 27934
/proc/meminfo: memFree=188496/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=5.6
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 39330 0 1 0 486 74 0 0 25 0 10 0 72388373 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 38494 2918 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=4.31
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 368 63 0 0 25 0 10 0 72388373 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=1.14
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 28103 0 0 0 106 8 0 0 16 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.02
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 2 0 0 0 15 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 582 0 0 0 9 1 0 0 15 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 413804

[startup+12.7081 s]
/proc/loadavg: 1.07 1.01 1.00 2/46 27935
/proc/meminfo: memFree=188372/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=10.73
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 39330 0 1 0 918 155 0 0 25 0 10 0 72388373 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 38494 2918 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=9.38
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 794 144 0 0 25 0 10 0 72388373 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4151092333 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=1.18
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 28103 0 0 0 110 8 0 0 16 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.03
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 3 0 0 0 15 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 582 0 0 0 9 1 0 0 15 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 38494 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.73
Current children cumulated vsize (KiB) 413804

[startup+25.5108 s]
/proc/loadavg: 1.06 1.01 1.00 2/46 27936
/proc/meminfo: memFree=185396/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=21.32
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 40071 0 1 0 1820 312 0 0 25 0 10 0 72388373 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 39235 2918 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=19.75
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 1675 300 0 0 25 0 10 0 72388373 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4151978480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=1.39
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 28844 0 0 0 130 9 0 0 16 0 10 0 72388374 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.05
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 5 0 0 0 15 0 10 0 72388374 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 582 0 0 0 9 1 0 0 15 0 10 0 72388376 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 39235 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.32
Current children cumulated vsize (KiB) 413804

[startup+51.1059 s]
/proc/loadavg: 1.04 1.00 1.00 2/45 27936
/proc/meminfo: memFree=176608/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=42.29
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 42334 0 1 0 3609 620 0 0 25 0 10 0 72388373 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 41498 2918 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=40.33
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 3427 606 0 0 25 0 10 0 72388373 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4150402441 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=1.78
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 31107 0 0 0 166 12 0 0 16 0 10 0 72388374 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.06
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 6 0 0 0 15 0 10 0 72388374 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 582 0 0 0 9 1 0 0 15 0 10 0 72388376 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 41498 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.29
Current children cumulated vsize (KiB) 413804

[startup+102.307 s]
/proc/loadavg: 1.09 1.02 1.00 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=84.17
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43812 0 1 0 7203 1214 0 0 25 0 10 0 72388373 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42221 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=81.3
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 6932 1198 0 0 25 0 10 0 72388373 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4151529536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=2.61
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 248 13 0 0 16 0 10 0 72388374 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.12
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 12 0 0 0 15 0 10 0 72388374 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 582 0 0 0 9 1 0 0 15 0 10 0 72388376 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42221 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84.17
Current children cumulated vsize (KiB) 413804

[startup+162.31 s]
/proc/loadavg: 1.14 1.04 1.01 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=133.06
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 11372 1934 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=129.45
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 11029 1916 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4152611780 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=3.33
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 318 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.15
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 15 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 133.06
Current children cumulated vsize (KiB) 413804

[startup+222.304 s]
/proc/loadavg: 1.14 1.06 1.01 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=182.2
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 15603 2617 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=177.68
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 15169 2599 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4151894944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.12
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 397 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.27
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 27 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 182.2
Current children cumulated vsize (KiB) 413804

[startup+282.311 s]
/proc/loadavg: 1.19 1.09 1.02 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=231.6
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 19834 3326 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=226.24
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 19316 3308 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4151386436 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.87
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 472 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.36
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 36 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) R 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 231.6
Current children cumulated vsize (KiB) 413804

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

[startup+282.612 s]
/proc/loadavg: 1.19 1.09 1.02 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=231.85
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 19856 3329 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=226.48
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 19337 3311 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4151077489 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.88
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 473 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.36
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 36 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) R 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 231.85
Current children cumulated vsize (KiB) 413804

[startup+284.213 s]
/proc/loadavg: 1.19 1.09 1.02 3/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=233.07
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 19960 3347 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=227.67
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 19438 3329 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4151512748 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.89
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 474 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.38
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 38 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 233.07
Current children cumulated vsize (KiB) 413804

[startup+284.613 s]
/proc/loadavg: 1.19 1.09 1.02 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=233.41
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 19990 3351 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=228.01
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 19468 3333 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4115524960 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.9
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 475 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.38
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 38 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 233.41
Current children cumulated vsize (KiB) 413804

[startup+285.013 s]
/proc/loadavg: 1.19 1.09 1.02 2/44 27936
/proc/meminfo: memFree=172896/1048576 swapFree=0/0
[pid=27922] ppid=27921 vsize=2564 CPUtime=0
/proc/27922/stat : 27922 (gj-user-solver-) S 27921 27922 22717 34817 22717 4202496 371 0 0 0 0 0 0 0 18 0 1 0 72388373 2625536 269 1283457024 134512640 135304128 4294658352 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27922/statm: 641 269 229 194 0 28 0
[pid=27923] ppid=27922 vsize=411240 CPUtime=233.74
/proc/27923/stat : 27923 (java) S 27922 27922 22717 34817 22717 4202496 43816 0 1 0 20020 3354 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27923/statm: 102810 42225 2913 10 0 96955 0
[pid=27923/tid=27925] ppid=27922 vsize=411240 CPUtime=228.32
/proc/27923/task/27925/stat : 27925 (java) R 27922 27922 22717 34817 22717 4202560 9700 0 1 0 19496 3336 0 0 25 0 10 0 72388373 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4153196403 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27926] ppid=27922 vsize=411240 CPUtime=4.91
/proc/27923/task/27926/stat : 27926 (java) S 27922 27922 22717 34817 22717 4202560 32585 0 0 0 476 15 0 0 16 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27927] ppid=27922 vsize=411240 CPUtime=0.38
/proc/27923/task/27927/stat : 27927 (java) S 27922 27922 22717 34817 22717 4202560 15 0 0 0 38 0 0 0 15 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27928] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27928/stat : 27928 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72388374 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27929] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27929/stat : 27929 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27930] ppid=27922 vsize=411240 CPUtime=0.1
/proc/27923/task/27930/stat : 27930 (java) S 27922 27922 22717 34817 22717 4202560 586 0 0 0 9 1 0 0 16 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27931] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27931/stat : 27931 (java) S 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=27923/tid=27932] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27932/stat : 27932 (java) R 27922 27922 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72388376 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27923/tid=27934] ppid=27922 vsize=411240 CPUtime=0
/proc/27923/task/27934/stat : 27934 (java) S 27922 27922 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72388590 421109760 42225 1283457024 134512640 134550932 4294756528 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 233.74
Current children cumulated vsize (KiB) 413804

Child status: 0
Real time (s): 285.079
CPU time (s): 233.791
CPU user time (s): 200.229
CPU system time (s): 33.5621
CPU usage (%): 82.009
Max. virtual memory (cumulated for all children) (KiB): 413804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.229
system time used= 33.5621
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44206
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= 9032
involuntary context switches= 4859764

runsolver used 0 second user time and 0 second system time

The end