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/201108291842/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/201108291842/gj-user-solver-1.0/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.dudf-real.result -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.12 1.06 1.00 4/35 19558
/proc/meminfo: memFree=680404/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=11044 CPUtime=0
/proc/19558/stat : 19558 (java) R 19557 19557 17511 34816 17511 4202496 712 0 0 0 0 0 0 0 25 0 1 0 46117804 11309056 449 1283457024 134512640 134550932 4288998256 18446744073709551615 4159997666 0 0 0 0 0 0 0 17 0 0 0 0
/proc/19558/statm: 2761 449 183 10 0 1103 0

[startup+0.125504 s]
/proc/loadavg: 1.12 1.06 1.00 4/35 19558
/proc/meminfo: memFree=680404/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=409924 CPUtime=0.12
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 3888 0 1 0 12 0 0 0 25 0 9 0 46117804 419762176 3316 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102481 3316 1917 10 0 96629 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412492

[startup+0.205511 s]
/proc/loadavg: 1.12 1.06 1.00 4/35 19558
/proc/meminfo: memFree=680404/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=409924 CPUtime=0.2
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 4063 0 1 0 19 1 0 0 25 0 9 0 46117804 419762176 3491 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102481 3491 1917 10 0 96629 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412492

[startup+0.305529 s]
/proc/loadavg: 1.12 1.06 1.00 4/35 19558
/proc/meminfo: memFree=680404/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=410340 CPUtime=0.3
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 4403 0 1 0 28 2 0 0 25 0 9 0 46117804 420188160 3831 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102585 3831 1944 10 0 96733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412908

[startup+0.705639 s]
/proc/loadavg: 1.12 1.06 1.00 4/35 19558
/proc/meminfo: memFree=680404/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=410624 CPUtime=0.7
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 12159 0 1 0 64 6 0 0 25 0 9 0 46117804 420478976 11400 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102656 11400 2901 10 0 96804 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413192

[startup+1.50582 s]
/proc/loadavg: 1.19 1.08 1.01 2/44 19567
/proc/meminfo: memFree=621792/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=410756 CPUtime=1.5
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 26233 0 1 0 137 13 0 0 25 0 9 0 46117804 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102689 25474 2901 10 0 96837 0
[pid=19558/tid=19560] ppid=19557 vsize=410756 CPUtime=0.8
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 6853 0 1 0 76 4 0 0 25 0 9 0 46117805 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=410756 CPUtime=0.62
/proc/19558/task/19561/stat : 19561 (java) R 19557 19557 17511 34816 17511 4202560 17995 0 0 0 54 8 0 0 18 0 9 0 46117806 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4150876179 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=410756 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46117806 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=410756 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46117806 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=410756 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46117807 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=410756 CPUtime=0.06
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 446 0 0 0 6 0 0 0 16 0 9 0 46117807 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=410756 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46117807 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=410756 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46117807 420614144 25474 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.1062 s]
/proc/loadavg: 1.19 1.08 1.01 2/44 19567
/proc/meminfo: memFree=546524/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=410888 CPUtime=3.1
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 47937 0 1 0 285 25 0 0 25 0 9 0 46117804 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102722 47178 2901 10 0 96870 0
[pid=19558/tid=19560] ppid=19557 vsize=410888 CPUtime=1.44
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 13019 0 1 0 136 8 0 0 25 0 9 0 46117805 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4115059281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=410888 CPUtime=1.57
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 33530 0 0 0 142 15 0 0 16 0 9 0 46117806 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=410888 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 46117806 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=410888 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 46117806 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=410888 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46117807 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=410888 CPUtime=0.07
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 449 0 0 0 7 0 0 0 15 0 9 0 46117807 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=410888 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 46117807 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=410888 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 46117807 420749312 47178 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.30793 s]
/proc/loadavg: 1.19 1.08 1.01 2/45 19568
/proc/meminfo: memFree=434420/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=6.3
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 65315 0 1 0 597 33 0 0 25 0 10 0 46117804 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 64471 2926 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=4.1
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14550 0 1 0 402 8 0 0 25 0 10 0 46117805 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4115459917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.01
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 49277 0 0 0 177 24 0 0 16 0 10 0 46117806 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 544 0 0 0 17 0 0 0 16 0 10 0 46117807 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 64471 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413792

[startup+12.7098 s]
/proc/loadavg: 1.16 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=12.69
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1235 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=10.09
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 999 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115148718 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.42
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 218 24 0 0 16 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413792

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

[startup+12.8099 s]
/proc/loadavg: 1.16 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=12.79
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1245 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=10.19
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 1009 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115400933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.42
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 218 24 0 0 15 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 413792

[startup+16.0108 s]
/proc/loadavg: 1.16 1.07 1.01 3/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=15.99
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1565 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=13.37
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 1327 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115446950 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.44
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 220 24 0 0 15 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) R 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 413792

[startup+17.6112 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=17.59
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1725 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=14.95
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 1485 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115598008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.46
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 222 24 0 0 16 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 413792

[startup+18.0113 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=17.99
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1765 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=15.35
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 1525 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115598021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.46
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 222 24 0 0 16 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.99
Current children cumulated vsize (KiB) 413792

[startup+18.2113 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=411224 CPUtime=18.19
/proc/19558/stat : 19558 (java) S 19557 19557 17511 34816 17511 4202496 66506 0 1 0 1785 34 0 0 25 0 10 0 46117804 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 102806 65653 2921 10 0 96951 0
[pid=19558/tid=19560] ppid=19557 vsize=411224 CPUtime=15.55
/proc/19558/task/19560/stat : 19560 (java) R 19557 19557 17511 34816 17511 4202560 14551 0 1 0 1545 10 0 0 25 0 10 0 46117805 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4115598021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19558/tid=19561] ppid=19557 vsize=411224 CPUtime=2.46
/proc/19558/task/19561/stat : 19561 (java) S 19557 19557 17511 34816 17511 4202560 50459 0 0 0 222 24 0 0 16 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19562] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19562/stat : 19562 (java) S 19557 19557 17511 34816 17511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19563] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19563/stat : 19563 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 46117806 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19564] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19564/stat : 19564 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19565] ppid=19557 vsize=411224 CPUtime=0.17
/proc/19558/task/19565/stat : 19565 (java) S 19557 19557 17511 34816 17511 4202560 552 0 0 0 17 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19566/stat : 19566 (java) S 19557 19557 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19567] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19567/stat : 19567 (java) S 19557 19557 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 46117807 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=19558/tid=19568] ppid=19557 vsize=411224 CPUtime=0
/proc/19558/task/19568/stat : 19568 (java) S 19557 19557 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 46118229 421093376 65653 1283457024 134512640 134550932 4288998256 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (KiB) 413792

[startup+18.3066 s]
/proc/loadavg: 1.15 1.07 1.01 2/45 19568
/proc/meminfo: memFree=429592/1048576 swapFree=0/0
[pid=19557] ppid=19556 vsize=2568 CPUtime=0
/proc/19557/stat : 19557 (gj-user-solver-) S 19556 19557 17511 34816 17511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 46117804 2629632 269 1283457024 134512640 135304128 4293548128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19557/statm: 642 269 229 194 0 29 0
[pid=19558] ppid=19557 vsize=0 CPUtime=18.23
/proc/19558/stat : 19558 (java) Z 19557 19557 17511 34816 17511 4202508 66520 0 1 0 1786 37 0 0 18 0 2 0 46117804 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19558/statm: 0 0 0 0 0 0 0
[pid=19558/tid=19566] ppid=19557 vsize=0 CPUtime=0.02
/proc/19558/task/19566/stat : 19566 (java) R 19557 19557 17511 34816 17511 4203588 1 0 0 0 0 2 0 0 18 0 2 0 46117807 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.23
Current children cumulated vsize (KiB) 2568

Child status: 0
Real time (s): 18.3113
CPU time (s): 18.2451
CPU user time (s): 17.8691
CPU system time (s): 0.376023
CPU usage (%): 99.6388
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8691
system time used= 0.376023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66903
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= 1098
involuntary context switches= 1302

runsolver used 0 second user time and 0 second system time

The end