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/201108251442/gj-paranoid-solver-1.0/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//978532fa-c730-11df-b070-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/978532fa-c730-11df-b070-00163e3d3b7c.cudf.dudf-real.result 

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


[startup+0 s]
/proc/loadavg: 1.34 1.41 1.30 5/35 26529
/proc/meminfo: memFree=310992/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=11356 CPUtime=0
/proc/26528/stat : 26528 (java) R 26527 26527 4778 34817 4778 4202496 917 0 0 0 0 0 0 0 25 0 2 0 11216357 11628544 651 1283457024 134512640 134550932 4290526448 18446744073709551615 4159364712 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 2839 651 285 10 0 1185 0
[pid=26528/tid=26529] ppid=26527 vsize=11356 CPUtime=0
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 11216357 11628544 651 1283457024 134512640 134550932 4290526448 18446744073709551615 4159364712 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.217694 s]
/proc/loadavg: 1.34 1.41 1.30 5/35 26529
/proc/meminfo: memFree=310992/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410100 CPUtime=0.2
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 4310 0 1 0 20 0 0 0 25 0 9 0 11216357 419942400 3738 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102525 3738 1943 10 0 96673 0
[pid=26528/tid=26529] ppid=26527 vsize=410100 CPUtime=0.19
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 3117 0 1 0 19 0 0 0 25 0 9 0 11216357 419942400 3738 1283457024 134512640 134550932 4290526448 18446744073709551615 4114669159 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412668

[startup+0.307713 s]
/proc/loadavg: 1.34 1.41 1.30 5/35 26529
/proc/meminfo: memFree=310992/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410100 CPUtime=0.29
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 4728 0 1 0 29 0 0 0 25 0 9 0 11216357 419942400 4156 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102525 4156 1947 10 0 96673 0
[pid=26528/tid=26529] ppid=26527 vsize=410100 CPUtime=0.27
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 3524 0 1 0 27 0 0 0 25 0 9 0 11216357 419942400 4156 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 412668

[startup+0.407759 s]
/proc/loadavg: 1.34 1.41 1.30 5/35 26529
/proc/meminfo: memFree=310992/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410384 CPUtime=0.39
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 6173 0 1 0 39 0 0 0 25 0 9 0 11216357 420233216 5600 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102596 5600 1956 10 0 96744 0
[pid=26528/tid=26529] ppid=26527 vsize=410384 CPUtime=0.33
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 3526 0 1 0 33 0 0 0 25 0 9 0 11216357 420233216 5600 1283457024 134512640 134550932 4290526448 18446744073709551615 4115174324 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 412952

[startup+0.708209 s]
/proc/loadavg: 1.34 1.41 1.30 5/35 26529
/proc/meminfo: memFree=310992/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410684 CPUtime=0.7
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 12268 0 1 0 66 4 0 0 25 0 9 0 11216357 420540416 11509 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102671 11509 2901 10 0 96819 0
[pid=26528/tid=26529] ppid=26527 vsize=410684 CPUtime=0.5
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 4214 0 1 0 48 2 0 0 25 0 9 0 11216357 420540416 11509 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413252

[startup+1.50844 s]
/proc/loadavg: 1.34 1.41 1.30 2/43 26537
/proc/meminfo: memFree=252824/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410684 CPUtime=1.49
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 26430 0 1 0 143 6 0 0 25 0 9 0 11216357 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102671 25671 2901 10 0 96819 0
[pid=26528/tid=26529] ppid=26527 vsize=410684 CPUtime=0.8
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 6822 0 1 0 78 2 0 0 25 0 9 0 11216357 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=410684 CPUtime=0.63
/proc/26528/task/26531/stat : 26531 (java) R 26527 26527 4778 34817 4778 4202560 18224 0 0 0 60 3 0 0 18 0 9 0 11216358 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4151268259 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=410684 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11216358 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=410684 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11216358 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=410684 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11216360 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=410684 CPUtime=0.04
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 444 0 0 0 4 0 0 0 18 0 9 0 11216360 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=410684 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11216360 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=410684 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11216360 420540416 25671 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413252

[startup+3.11097 s]
/proc/loadavg: 1.34 1.41 1.30 3/43 26537
/proc/meminfo: memFree=178300/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=410816 CPUtime=3.09
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 48786 0 1 0 299 10 0 0 25 0 9 0 11216357 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102704 48027 2901 10 0 96852 0
[pid=26528/tid=26529] ppid=26527 vsize=410816 CPUtime=1.47
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14052 0 1 0 144 3 0 0 25 0 9 0 11216357 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4115176646 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=410816 CPUtime=1.56
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 33346 0 0 0 150 6 0 0 16 0 9 0 11216358 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=410816 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11216358 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=410816 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11216358 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=410816 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11216360 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=410816 CPUtime=0.04
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 448 0 0 0 4 0 0 0 15 0 9 0 11216360 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=410816 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11216360 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=410816 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11216360 420675584 48027 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413384

[startup+6.31216 s]
/proc/loadavg: 1.31 1.40 1.30 3/43 26537
/proc/meminfo: memFree=41528/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=6.3
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71319 0 1 0 614 16 0 0 25 0 10 0 11216357 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70467 2917 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=2.95
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14574 0 1 0 292 3 0 0 25 0 10 0 11216357 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4114696482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.26
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 314 12 0 0 16 0 10 0 11216358 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.06
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 514 0 0 0 6 0 0 0 15 0 10 0 11216360 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70467 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413984

[startup+12.7139 s]
/proc/loadavg: 1.29 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=12.69
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71355 0 1 0 1253 16 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70503 2918 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=9.33
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14581 0 1 0 930 3 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4115559275 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.26
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 314 12 0 0 16 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 543 0 0 0 8 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26538] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26538/stat : 26538 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11216930 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413984

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

[startup+12.914 s]
/proc/loadavg: 1.29 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=12.89
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71355 0 1 0 1273 16 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70503 2918 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=9.53
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14581 0 1 0 950 3 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4115549849 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.26
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 314 12 0 0 16 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 543 0 0 0 8 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26538] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26538/stat : 26538 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11216930 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 413984

[startup+14.5044 s]
/proc/loadavg: 1.27 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=14.48
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71355 0 1 0 1432 16 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70503 2918 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=11.12
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14581 0 1 0 1109 3 0 0 25 0 10 0 11216357 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4115593184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.26
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 314 12 0 0 15 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 543 0 0 0 8 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26538] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26538/stat : 26538 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11216930 421289984 70503 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.48
Current children cumulated vsize (KiB) 413984

[startup+16.1149 s]
/proc/loadavg: 1.27 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=16.08
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71356 0 1 0 1592 16 0 0 25 0 10 0 11216357 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70504 2918 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=12.3
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14581 0 1 0 1227 3 0 0 25 0 10 0 11216357 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4115564764 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.69
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 356 13 0 0 16 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 544 0 0 0 8 0 0 0 16 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26538] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26538/stat : 26538 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11216930 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 413984

[startup+16.515 s]
/proc/loadavg: 1.27 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=16.48
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71356 0 1 0 1632 16 0 0 25 0 10 0 11216357 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70504 2918 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=12.7
/proc/26528/task/26529/stat : 26529 (java) R 26527 26527 4778 34817 4778 4202560 14581 0 1 0 1267 3 0 0 25 0 10 0 11216357 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4115585353 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.69
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55286 0 0 0 356 13 0 0 15 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 544 0 0 0 8 0 0 0 16 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26538] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26538/stat : 26538 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11216930 421289984 70504 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.48
Current children cumulated vsize (KiB) 413984

[startup+16.9151 s]
/proc/loadavg: 1.27 1.39 1.30 2/44 26538
/proc/meminfo: memFree=41156/1048576 swapFree=0/0
[pid=26527] ppid=26526 vsize=2568 CPUtime=0
/proc/26527/stat : 26527 (gj-paranoid-sol) S 26526 26527 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 18 0 1 0 11216357 2629632 269 1283457024 134512640 135304128 4294412640 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26527/statm: 642 269 229 194 0 29 0
[pid=26528] ppid=26527 vsize=411416 CPUtime=16.88
/proc/26528/stat : 26528 (java) S 26527 26527 4778 34817 4778 4202496 71373 0 1 0 1672 16 0 0 25 0 10 0 11216357 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26528/statm: 102854 70521 2921 10 0 96999 0
[pid=26528/tid=26529] ppid=26527 vsize=411416 CPUtime=13.06
/proc/26528/task/26529/stat : 26529 (java) S 26527 26527 4778 34817 4778 4202560 14581 0 1 0 1303 3 0 0 25 0 10 0 11216357 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26531] ppid=26527 vsize=411416 CPUtime=3.71
/proc/26528/task/26531/stat : 26531 (java) S 26527 26527 4778 34817 4778 4202560 55288 0 0 0 358 13 0 0 15 0 10 0 11216358 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 0 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26532] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26532/stat : 26532 (java) S 26527 26527 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26533] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26533/stat : 26533 (java) S 26527 26527 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11216358 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26534] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26534/stat : 26534 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26535] ppid=26527 vsize=411416 CPUtime=0.08
/proc/26528/task/26535/stat : 26535 (java) S 26527 26527 4778 34817 4778 4202560 558 0 0 0 8 0 0 0 16 0 10 0 11216360 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26536] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26536/stat : 26536 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11216360 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
[pid=26528/tid=26537] ppid=26527 vsize=411416 CPUtime=0
/proc/26528/task/26537/stat : 26537 (java) S 26527 26527 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11216360 421289984 70521 1283457024 134512640 134550932 4290526448 18446744073709551615 4294960130 0 4 0 16800975 18446612133155120448 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.88
Current children cumulated vsize (KiB) 413984

Child status: 0
Real time (s): 16.9842
CPU time (s): 16.9091
CPU user time (s): 16.721
CPU system time (s): 0.188011
CPU usage (%): 99.5577
Max. virtual memory (cumulated for all children) (KiB): 413984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.721
system time used= 0.188011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71760
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= 1036
involuntary context switches= 1215

runsolver used 0.008 second user time and 0 second system time

The end