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/201108241238/gj-trendy-solver-1.0/rand21.cudf.dudf-random.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-random//rand21.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand21.cudf.dudf-random.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.15 1.08 0.99 5/36 3599
/proc/meminfo: memFree=655472/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) R 3597 3598 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 268 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/3598/statm: 642 268 228 194 0 29 0
[pid=3599] ppid=3598 vsize=2568 CPUtime=0
/proc/3599/stat : 3599 (gj-trendy-solve) R 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 40 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/3599/statm: 642 40 0 194 0 29 0

[startup+0.157253 s]
/proc/loadavg: 1.15 1.08 0.99 5/36 3599
/proc/meminfo: memFree=655472/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=409796 CPUtime=0.08
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 3678 0 1 0 6 2 0 0 25 0 9 0 968343 419631104 3106 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102449 3106 1791 10 0 96597 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 412364

[startup+0.21458 s]
/proc/loadavg: 1.15 1.08 0.99 5/36 3599
/proc/meminfo: memFree=655472/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=409796 CPUtime=0.14
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 3799 0 1 0 12 2 0 0 25 0 9 0 968343 419631104 3227 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102449 3227 1791 10 0 96597 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412364

[startup+0.314597 s]
/proc/loadavg: 1.15 1.08 0.99 5/36 3599
/proc/meminfo: memFree=655472/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=409796 CPUtime=0.24
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 4009 0 1 0 22 2 0 0 25 0 9 0 968343 419631104 3437 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102449 3437 1791 10 0 96597 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 412364

[startup+0.714706 s]
/proc/loadavg: 1.15 1.08 0.99 5/36 3599
/proc/meminfo: memFree=655472/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=410644 CPUtime=0.64
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 11359 0 1 0 60 4 0 0 25 0 9 0 968343 420499456 10599 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102661 10599 2901 10 0 96809 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 413212

[startup+1.5149 s]
/proc/loadavg: 1.15 1.08 0.99 2/45 3608
/proc/meminfo: memFree=596800/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=410776 CPUtime=1.44
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 25102 0 1 0 136 8 0 0 25 0 9 0 968343 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102694 24342 2901 10 0 96842 0
[pid=3599/tid=3601] ppid=3598 vsize=410776 CPUtime=0.8
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 6761 0 1 0 78 2 0 0 25 0 9 0 968344 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=410776 CPUtime=0.59
/proc/3599/task/3602/stat : 3602 (java) R 3598 3598 1511 34817 1511 4202560 16961 0 0 0 54 5 0 0 18 0 9 0 968351 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4151044024 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 968351 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 968351 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=410776 CPUtime=0.03
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 440 0 0 0 3 0 0 0 16 0 9 0 968352 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 968352 420634624 24342 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 413344

[startup+3.12532 s]
/proc/loadavg: 1.14 1.08 0.99 3/45 3608
/proc/meminfo: memFree=524136/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=410776 CPUtime=3.05
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 48141 0 1 0 289 16 0 0 25 0 9 0 968343 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 102694 47381 2901 10 0 96842 0
[pid=3599/tid=3601] ppid=3598 vsize=410776 CPUtime=1.45
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 13945 0 1 0 140 5 0 0 25 0 9 0 968344 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=410776 CPUtime=1.56
/proc/3599/task/3602/stat : 3602 (java) R 3598 3598 1511 34817 1511 4202560 32811 0 0 0 146 10 0 0 16 0 9 0 968351 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4151041201 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 968351 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 968351 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=410776 CPUtime=0.03
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 445 0 0 0 3 0 0 0 16 0 9 0 968352 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=410776 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) R 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 968352 420634624 47381 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 413344

[startup+6.30624 s]
/proc/loadavg: 1.14 1.08 0.99 3/45 3608
/proc/meminfo: memFree=388488/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=438892 CPUtime=6.23
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 77986 0 1 0 596 27 0 0 25 0 9 0 968343 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 109723 77220 2903 10 0 103871 0
[pid=3599/tid=3601] ppid=3598 vsize=438892 CPUtime=2.35
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 13962 0 1 0 229 6 0 0 25 0 9 0 968344 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=438892 CPUtime=3.83
/proc/3599/task/3602/stat : 3602 (java) R 3598 3598 1511 34817 1511 4202560 62618 0 0 0 364 19 0 0 16 0 9 0 968351 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4153153956 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=438892 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 968351 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=438892 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 968351 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=438892 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=438892 CPUtime=0.03
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 466 0 0 0 3 0 0 0 16 0 9 0 968352 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=438892 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=438892 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 968352 449425408 77220 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 441460

[startup+12.7085 s]
/proc/loadavg: 1.21 1.09 1.00 3/45 3609
/proc/meminfo: memFree=356496/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414024 CPUtime=12.62
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104264 0 1 0 1228 34 0 0 25 0 9 0 968343 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103506 71199 2917 10 0 97651 0
[pid=3599/tid=3601] ppid=3598 vsize=414024 CPUtime=3.25
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 14191 0 1 0 318 7 0 0 25 0 9 0 968344 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414024 CPUtime=9.31
/proc/3599/task/3602/stat : 3602 (java) R 3598 3598 1511 34817 1511 4202560 88636 0 0 0 906 25 0 0 16 0 9 0 968351 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4153155241 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 968351 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 968351 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414024 CPUtime=0.04
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 497 0 0 0 4 0 0 0 15 0 9 0 968352 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 968352 423960576 71199 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 416592

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

[startup+12.8085 s]
/proc/loadavg: 1.21 1.09 1.00 3/45 3609
/proc/meminfo: memFree=356496/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414024 CPUtime=12.72
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104268 0 1 0 1238 34 0 0 25 0 9 0 968343 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103506 71203 2917 10 0 97651 0
[pid=3599/tid=3601] ppid=3598 vsize=414024 CPUtime=3.31
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 14195 0 1 0 324 7 0 0 25 0 9 0 968344 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4115575580 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414024 CPUtime=9.35
/proc/3599/task/3602/stat : 3602 (java) S 3598 3598 1511 34817 1511 4202560 88636 0 0 0 910 25 0 0 16 0 9 0 968351 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 968351 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 968351 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414024 CPUtime=0.04
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 497 0 0 0 4 0 0 0 15 0 9 0 968352 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 968352 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414024 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 968352 423960576 71203 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 416592

[startup+16.0099 s]
/proc/loadavg: 1.19 1.09 1.00 2/46 3610
/proc/meminfo: memFree=380916/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414348 CPUtime=15.92
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104345 0 1 0 1556 36 0 0 25 0 10 0 968343 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103587 71276 2918 10 0 97732 0
[pid=3599/tid=3601] ppid=3598 vsize=414348 CPUtime=6.43
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 14215 0 1 0 634 9 0 0 25 0 10 0 968344 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414348 CPUtime=9.35
/proc/3599/task/3602/stat : 3602 (java) S 3598 3598 1511 34817 1511 4202560 88636 0 0 0 910 25 0 0 16 0 10 0 968351 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414348 CPUtime=0.11
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 549 0 0 0 11 0 0 0 15 0 10 0 968352 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 968352 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3610] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3610/stat : 3610 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 969628 424292352 71276 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.92
Current children cumulated vsize (KiB) 416916

[startup+17.6104 s]
/proc/loadavg: 1.18 1.09 1.00 2/46 3610
/proc/meminfo: memFree=380916/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414348 CPUtime=17.52
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104350 0 1 0 1716 36 0 0 25 0 10 0 968343 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103587 71281 2920 10 0 97732 0
[pid=3599/tid=3601] ppid=3598 vsize=414348 CPUtime=7.97
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 14215 0 1 0 788 9 0 0 25 0 10 0 968344 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4114770160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414348 CPUtime=9.41
/proc/3599/task/3602/stat : 3602 (java) S 3598 3598 1511 34817 1511 4202560 88638 0 0 0 916 25 0 0 16 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414348 CPUtime=0.12
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 552 0 0 0 12 0 0 0 15 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3610] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3610/stat : 3610 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 969628 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.52
Current children cumulated vsize (KiB) 416916

[startup+18.4107 s]
/proc/loadavg: 1.18 1.09 1.00 2/46 3610
/proc/meminfo: memFree=380916/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414348 CPUtime=18.32
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104350 0 1 0 1796 36 0 0 25 0 10 0 968343 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103587 71281 2920 10 0 97732 0
[pid=3599/tid=3601] ppid=3598 vsize=414348 CPUtime=8.73
/proc/3599/task/3601/stat : 3601 (java) R 3598 3598 1511 34817 1511 4202560 14215 0 1 0 864 9 0 0 25 0 10 0 968344 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4115679184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414348 CPUtime=9.45
/proc/3599/task/3602/stat : 3602 (java) S 3598 3598 1511 34817 1511 4202560 88638 0 0 0 920 25 0 0 16 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414348 CPUtime=0.12
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 552 0 0 0 12 0 0 0 15 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 968352 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3610] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3610/stat : 3610 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 969628 424292352 71281 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.32
Current children cumulated vsize (KiB) 416916

[startup+18.8108 s]
/proc/loadavg: 1.18 1.09 1.00 2/46 3610
/proc/meminfo: memFree=380916/1048576 swapFree=0/0
[pid=3598] ppid=3597 vsize=2568 CPUtime=0
/proc/3598/stat : 3598 (gj-trendy-solve) S 3597 3598 1511 34817 1511 4202496 372 0 0 0 0 0 0 0 25 0 1 0 968343 2629632 269 1283457024 134512640 135304128 4294924816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3598/statm: 642 269 229 194 0 29 0
[pid=3599] ppid=3598 vsize=414348 CPUtime=18.72
/proc/3599/stat : 3599 (java) S 3598 3598 1511 34817 1511 4202496 104360 0 1 0 1836 36 0 0 25 0 10 0 968343 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3599/statm: 103587 71291 2921 10 0 97732 0
[pid=3599/tid=3601] ppid=3598 vsize=414348 CPUtime=9.07
/proc/3599/task/3601/stat : 3601 (java) S 3598 3598 1511 34817 1511 4202560 14215 0 1 0 898 9 0 0 25 0 10 0 968344 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3602] ppid=3598 vsize=414348 CPUtime=9.49
/proc/3599/task/3602/stat : 3602 (java) R 3598 3598 1511 34817 1511 4202560 88638 0 0 0 924 25 0 0 16 0 10 0 968351 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4150748371 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3599/tid=3603] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3603/stat : 3603 (java) S 3598 3598 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3604] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3604/stat : 3604 (java) S 3598 3598 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 968351 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3605] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3605/stat : 3605 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3606] ppid=3598 vsize=414348 CPUtime=0.13
/proc/3599/task/3606/stat : 3606 (java) S 3598 3598 1511 34817 1511 4202560 561 0 0 0 13 0 0 0 16 0 10 0 968352 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3607] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3607/stat : 3607 (java) S 3598 3598 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 968352 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=3599/tid=3608] ppid=3598 vsize=414348 CPUtime=0
/proc/3599/task/3608/stat : 3608 (java) S 3598 3598 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 968352 424292352 71291 1283457024 134512640 134550932 4290860384 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.72
Current children cumulated vsize (KiB) 416916

Child status: 0
Real time (s): 18.8629
CPU time (s): 18.7412
CPU user time (s): 18.3611
CPU system time (s): 0.380023
CPU usage (%): 99.3546
Max. virtual memory (cumulated for all children) (KiB): 441640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3611
system time used= 0.380023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104748
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= 1200
involuntary context switches= 1441

runsolver used 0 second user time and 0 second system time

The end