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/201108300820/gj-user-solver-1.0/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.dudf-real.result +sum(installedsize) 

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


[startup+0 s]
/proc/loadavg: 1.10 1.04 1.01 1/38 4459
/proc/meminfo: memFree=978916/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=3024 CPUtime=0
/proc/4459/stat : 4459 (runsolver) D 4458 4459 2160 34817 2160 4202560 73 0 0 0 0 0 0 0 21 0 1 0 52085779 3096576 94 1283457024 134512640 134586868 4293445504 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/4459/statm: 756 94 62 19 0 55 0

[startup+0.115392 s]
/proc/loadavg: 1.10 1.04 1.01 1/38 4459
/proc/meminfo: memFree=978916/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.207439 s]
/proc/loadavg: 1.10 1.04 1.01 1/38 4459
/proc/meminfo: memFree=978916/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.307378 s]
/proc/loadavg: 1.10 1.04 1.01 1/38 4459
/proc/meminfo: memFree=978916/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.707426 s]
/proc/loadavg: 1.10 1.04 1.01 1/38 4459
/proc/meminfo: memFree=978916/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.5075 s]
/proc/loadavg: 1.10 1.04 1.01 1/48 4469
/proc/meminfo: memFree=957660/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=411556 CPUtime=0.23
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 8442 0 236 0 21 2 0 0 21 0 9 0 52085780 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 102889 8061 2343 10 0 97037 0
[pid=4461/tid=4462] ppid=4459 vsize=411556 CPUtime=0.12
/proc/4461/task/4462/stat : 4462 (java) S 4459 4459 2160 34817 2160 4202560 3363 0 150 0 12 0 0 0 18 0 9 0 52085803 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=411556 CPUtime=0.09
/proc/4461/task/4463/stat : 4463 (java) D 4459 4459 2160 34817 2160 4202560 3758 0 24 0 7 2 0 0 16 0 9 0 52085829 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4152441085 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=411556 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 9 0 52085833 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=411556 CPUtime=0
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 11 0 0 0 0 0 0 0 21 0 9 0 52085833 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=411556 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 9 0 52085857 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=411556 CPUtime=0.02
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 438 0 5 0 2 0 0 0 15 0 9 0 52085857 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=411556 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 9 0 52085857 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=411556 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52085857 421433344 8061 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 414124

[startup+3.10986 s]
/proc/loadavg: 1.10 1.04 1.01 2/48 4469
/proc/meminfo: memFree=888336/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=411688 CPUtime=1.72
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 34330 0 240 0 157 15 0 0 21 0 9 0 52085780 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 102922 33815 2900 10 0 97070 0
[pid=4461/tid=4462] ppid=4459 vsize=411688 CPUtime=0.66
/proc/4461/task/4462/stat : 4462 (java) S 4459 4459 2160 34817 2160 4202560 9427 0 150 0 59 7 0 0 16 0 9 0 52085803 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=411688 CPUtime=1.01
/proc/4461/task/4463/stat : 4463 (java) R 4459 4459 2160 34817 2160 4202560 23574 0 28 0 94 7 0 0 16 0 9 0 52085829 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4153064304 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=411688 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 9 0 52085833 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=411688 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 9 0 52085833 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=411688 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 9 0 52085857 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=411688 CPUtime=0.03
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 445 0 5 0 3 0 0 0 15 0 9 0 52085857 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=411688 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 9 0 52085857 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=411688 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52085857 421568512 33815 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 414256
heavy processes:

[startup+6.30987 s]
/proc/loadavg: 1.10 1.04 1.00 2/49 4470
/proc/meminfo: memFree=697076/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=4.69
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 64045 0 247 0 443 26 0 0 21 0 10 0 52085780 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 63452 2925 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=2.62
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 248 14 0 0 17 0 10 0 52085803 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4115628472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=1.97
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 48276 0 28 0 186 11 0 0 15 0 10 0 52085829 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.08
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 531 0 5 0 8 0 0 0 15 0 10 0 52085857 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 63452 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 414592
heavy processes:

[startup+12.711 s]
/proc/loadavg: 1.09 1.04 1.00 2/49 4471
/proc/meminfo: memFree=696952/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=11.09
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 64050 0 247 0 1083 26 0 0 21 0 10 0 52085780 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 63457 2925 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=9.01
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 887 14 0 0 25 0 10 0 52085803 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442652 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=1.97
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 48276 0 28 0 186 11 0 0 15 0 10 0 52085829 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.09
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 536 0 5 0 9 0 0 0 15 0 10 0 52085857 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 63457 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 414592

[startup+25.5135 s]
/proc/loadavg: 1.07 1.04 1.00 2/49 4472
/proc/meminfo: memFree=693356/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=23.88
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 64920 0 247 0 2361 27 0 0 21 0 10 0 52085780 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 64319 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=21.49
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 2135 14 0 0 25 0 10 0 52085803 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4115502836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=2.29
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 49145 0 28 0 217 12 0 0 15 0 10 0 52085829 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.09
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 537 0 5 0 9 0 0 0 16 0 10 0 52085857 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 64319 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 414592

[startup+51.1111 s]
/proc/loadavg: 1.04 1.03 1.00 2/49 4475
/proc/meminfo: memFree=691124/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=49.47
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 65475 0 247 0 4919 28 0 0 21 0 10 0 52085780 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 64874 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=47.05
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 4691 14 0 0 25 0 10 0 52085803 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442661 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=2.31
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 49699 0 28 0 219 12 0 0 15 0 10 0 52085829 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.09
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 538 0 5 0 9 0 0 0 15 0 10 0 52085857 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) R 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 64874 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (KiB) 414592

[startup+102.311 s]
/proc/loadavg: 1.02 1.03 1.00 2/48 4476
/proc/meminfo: memFree=690656/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=100.64
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 65477 0 247 0 10036 28 0 0 21 0 10 0 52085780 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 64876 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=97.97
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 9783 14 0 0 25 0 10 0 52085803 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=2.55
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 49699 0 28 0 243 12 0 0 15 0 10 0 52085829 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.09
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 540 0 5 0 9 0 0 0 16 0 10 0 52085857 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 64876 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.64
Current children cumulated vsize (KiB) 414592

[startup+162.313 s]
/proc/loadavg: 1.00 1.02 1.00 3/47 4476
/proc/meminfo: memFree=690604/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=160.61
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 65478 0 247 0 16032 29 0 0 21 0 10 0 52085780 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 64877 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=157.9
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 15774 16 0 0 25 0 10 0 52085803 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442661 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=2.6
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 49699 0 28 0 248 12 0 0 15 0 10 0 52085829 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.09
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 541 0 5 0 9 0 0 0 15 0 10 0 52085857 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) R 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 64877 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.61
Current children cumulated vsize (KiB) 414592

[startup+222.314 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=690604/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=220.57
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 65480 0 247 0 22028 29 0 0 21 0 10 0 52085780 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 64879 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=217.59
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 21743 16 0 0 25 0 10 0 52085803 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=2.86
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 49700 0 28 0 274 12 0 0 15 0 10 0 52085829 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 10 0 52085857 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 64879 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 414592

[startup+282.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=682172/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=280.54
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 67600 0 247 0 28024 30 0 0 21 0 10 0 52085780 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 66999 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=277.29
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 27713 16 0 0 25 0 10 0 52085803 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=3.12
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 51820 0 28 0 300 12 0 0 15 0 10 0 52085829 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.54
Current children cumulated vsize (KiB) 414592

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

[startup+284.807 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=682048/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=283.04
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 67600 0 247 0 28274 30 0 0 21 0 10 0 52085780 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 66999 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=279.79
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 27963 16 0 0 25 0 10 0 52085803 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442677 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=3.12
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 51820 0 28 0 300 12 0 0 15 0 10 0 52085829 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.04
Current children cumulated vsize (KiB) 414592

[startup+285.607 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=682048/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=283.84
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 67600 0 247 0 28354 30 0 0 21 0 10 0 52085780 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 66999 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=280.59
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 28043 16 0 0 25 0 10 0 52085803 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4115442677 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=3.12
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 51820 0 28 0 300 12 0 0 15 0 10 0 52085829 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.84
Current children cumulated vsize (KiB) 414592

[startup+286.007 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=682048/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=284.24
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 67600 0 247 0 28394 30 0 0 21 0 10 0 52085780 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 66999 2920 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=280.99
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 28083 16 0 0 25 0 10 0 52085803 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4115654955 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=3.12
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 51820 0 28 0 300 12 0 0 15 0 10 0 52085829 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 10 0 52085833 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 52085857 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4470] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4470/stat : 4470 (java) S 4459 4459 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 17 0 10 0 52086305 421912576 66999 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.24
Current children cumulated vsize (KiB) 414592

[startup+286.207 s]
/proc/loadavg: 1.00 1.01 1.00 2/47 4476
/proc/meminfo: memFree=682048/1048576 swapFree=0/0
[pid=4459] ppid=4458 vsize=2568 CPUtime=0
/proc/4459/stat : 4459 (gj-user-solver-) S 4458 4459 2160 34817 2160 4202496 372 0 0 0 0 0 0 0 22 0 1 0 52085779 2629632 269 1283457024 134512640 135304128 4287765232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4459/statm: 642 269 229 194 0 29 0
[pid=4461] ppid=4459 vsize=412024 CPUtime=284.44
/proc/4461/stat : 4461 (java) S 4459 4459 2160 34817 2160 4202496 67601 0 247 0 28414 30 0 0 21 0 9 0 52085780 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4461/statm: 103006 67000 2921 10 0 97151 0
[pid=4461/tid=4462] ppid=4459 vsize=412024 CPUtime=281.19
/proc/4461/task/4462/stat : 4462 (java) R 4459 4459 2160 34817 2160 4202560 14349 0 157 0 28103 16 0 0 25 0 9 0 52085803 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4115672389 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4461/tid=4463] ppid=4459 vsize=412024 CPUtime=3.12
/proc/4461/task/4463/stat : 4463 (java) S 4459 4459 2160 34817 2160 4202560 51820 0 28 0 300 12 0 0 15 0 9 0 52085829 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4464] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4464/stat : 4464 (java) S 4459 4459 2160 34817 2160 4202560 8 0 1 0 0 0 0 0 15 0 9 0 52085833 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4465] ppid=4459 vsize=412024 CPUtime=0.01
/proc/4461/task/4465/stat : 4465 (java) S 4459 4459 2160 34817 2160 4202560 12 0 0 0 0 1 0 0 18 0 9 0 52085833 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4466] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4466/stat : 4466 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 19 0 9 0 52085857 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4467] ppid=4459 vsize=412024 CPUtime=0.1
/proc/4461/task/4467/stat : 4467 (java) S 4459 4459 2160 34817 2160 4202560 542 0 5 0 10 0 0 0 15 0 9 0 52085857 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4468] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4468/stat : 4468 (java) S 4459 4459 2160 34817 2160 4202560 0 0 0 0 0 0 0 0 20 0 9 0 52085857 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=4461/tid=4469] ppid=4459 vsize=412024 CPUtime=0
/proc/4461/task/4469/stat : 4469 (java) S 4459 4459 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 52085857 421912576 67000 1283457024 134512640 134550932 4293943344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.44
Current children cumulated vsize (KiB) 414592

Child status: 0
Real time (s): 286.267
CPU time (s): 284.482
CPU user time (s): 284.162
CPU system time (s): 0.32002
CPU usage (%): 99.3765
Max. virtual memory (cumulated for all children) (KiB): 414592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.162
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67998
page faults= 247
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6158
involuntary context switches= 8493

runsolver used 0 second user time and 0 second system time

The end