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/201103031013/p2cudf-trendy-1.12/4092.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//4092.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/4092.cudf.caixa.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.74 1.64 1.63 5/37 11515
/proc/meminfo: memFree=295776/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2568 CPUtime=0
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 354 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 272 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/11512/statm: 642 272 231 194 0 29 0
[pid=11513] ppid=11512 vsize=2568 CPUtime=0
/proc/11513/stat : 11513 (p2cudf) R 11512 11511 29493 34817 29493 4202560 116 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 126 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/11513/statm: 642 126 84 194 0 29 0
[pid=11514] ppid=11513 vsize=1660 CPUtime=0
/proc/11514/stat : 11514 (java) R 11513 11511 29493 34817 29493 4194304 389 0 0 0 0 0 0 0 25 0 1 0 76223229 1699840 119 1283457024 134512640 134550932 4293929232 18446744073709551615 4159150092 0 0 0 0 0 0 0 17 0 0 0 0
/proc/11514/statm: 415 119 94 10 0 16 0
[pid=11515] ppid=11513 vsize=2568 CPUtime=0
/proc/11515/stat : 11515 (p2cudf) R 11513 11511 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76223230 2629632 42 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/11515/statm: 642 42 0 194 0 29 0

[startup+0.125688 s]
/proc/loadavg: 1.74 1.64 1.63 5/37 11515
/proc/meminfo: memFree=295776/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205688 s]
/proc/loadavg: 1.74 1.64 1.63 5/37 11515
/proc/meminfo: memFree=295776/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305697 s]
/proc/loadavg: 1.74 1.64 1.63 5/37 11515
/proc/meminfo: memFree=295776/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.705754 s]
/proc/loadavg: 1.74 1.64 1.63 5/37 11515
/proc/meminfo: memFree=295776/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50585 s]
/proc/loadavg: 1.84 1.66 1.64 5/45 11534
/proc/meminfo: memFree=249900/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=887816 CPUtime=1.46
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 21399 0 1 0 141 5 0 0 25 0 10 0 76223233 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221954 16779 1730 10 0 219045 0
[pid=11525/tid=11526] ppid=11512 vsize=887816 CPUtime=0.74
/proc/11525/task/11526/stat : 11526 (java) R 11512 11511 29493 34817 29493 4202560 8244 0 1 0 72 2 0 0 25 0 10 0 76223233 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4095445852 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76223235 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76223235 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76223235 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76223238 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=887816 CPUtime=0.36
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 6908 0 0 0 34 2 0 0 21 0 10 0 76223238 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=887816 CPUtime=0.35
/proc/11525/task/11532/stat : 11532 (java) R 11512 11511 29493 34817 29493 4202560 5165 0 0 0 35 0 0 0 25 0 10 0 76223238 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76223238 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=887816 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76223238 909123584 16779 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 892956

[startup+3.10622 s]
/proc/loadavg: 1.84 1.66 1.64 4/45 11534
/proc/meminfo: memFree=218652/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=885112 CPUtime=3.06
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 64591 0 1 0 286 20 0 0 25 0 10 0 76223233 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221278 57967 1744 10 0 218369 0
[pid=11525/tid=11526] ppid=11512 vsize=885112 CPUtime=1.63
/proc/11525/task/11526/stat : 11526 (java) R 11512 11511 29493 34817 29493 4202560 49280 0 1 0 148 15 0 0 25 0 10 0 76223233 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76223235 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76223235 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76223235 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76223238 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=885112 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 10 0 76223238 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=885112 CPUtime=0.64
/proc/11525/task/11532/stat : 11532 (java) R 11512 11511 29493 34817 29493 4202560 5237 0 0 0 62 2 0 0 21 0 10 0 76223238 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4150029721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76223238 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=885112 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76223238 906354688 57967 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 890252

[startup+6.30708 s]
/proc/loadavg: 1.77 1.65 1.63 2/46 11535
/proc/meminfo: memFree=6636/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=885324 CPUtime=6.23
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 85122 0 1 0 600 23 0 0 25 0 11 0 76223233 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221331 76890 1780 10 0 218422 0
[pid=11525/tid=11526] ppid=11512 vsize=885324 CPUtime=3.05
/proc/11525/task/11526/stat : 11526 (java) R 11512 11511 29493 34817 29493 4202560 50254 0 1 0 290 15 0 0 25 0 11 0 76223233 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4096318776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=885324 CPUtime=0.39
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 17825 0 0 0 37 2 0 0 16 0 11 0 76223235 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76223235 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76223235 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=885324 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 11 0 76223238 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=885324 CPUtime=1.99
/proc/11525/task/11532/stat : 11532 (java) S 11512 11511 29493 34817 29493 4202560 6970 0 0 0 196 3 0 0 16 0 11 0 76223238 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76223238 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11535] ppid=11512 vsize=885324 CPUtime=0
/proc/11525/task/11535/stat : 11535 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76223730 906571776 76890 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 890464

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

[startup+7.90765 s]
/proc/loadavg: 1.77 1.65 1.63 2/46 11535
/proc/meminfo: memFree=6892/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=884520 CPUtime=7.83
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 85122 0 1 0 760 23 0 0 25 0 11 0 76223233 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221130 76689 1780 10 0 218221 0
[pid=11525/tid=11526] ppid=11512 vsize=884520 CPUtime=4.65
/proc/11525/task/11526/stat : 11526 (java) R 11512 11511 29493 34817 29493 4202560 50254 0 1 0 450 15 0 0 25 0 11 0 76223233 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4096318776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=884520 CPUtime=0.39
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 17825 0 0 0 37 2 0 0 15 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=884520 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=884520 CPUtime=1.99
/proc/11525/task/11532/stat : 11532 (java) S 11512 11511 29493 34817 29493 4202560 6970 0 0 0 196 3 0 0 16 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11535] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11535/stat : 11535 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76223730 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 889660

[startup+8.70796 s]
/proc/loadavg: 1.77 1.65 1.63 2/46 11535
/proc/meminfo: memFree=6892/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=884520 CPUtime=8.63
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 85122 0 1 0 840 23 0 0 25 0 11 0 76223233 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221130 76689 1780 10 0 218221 0
[pid=11525/tid=11526] ppid=11512 vsize=884520 CPUtime=5.45
/proc/11525/task/11526/stat : 11526 (java) R 11512 11511 29493 34817 29493 4202560 50254 0 1 0 530 15 0 0 25 0 11 0 76223233 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4096318776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=884520 CPUtime=0.39
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 17825 0 0 0 37 2 0 0 15 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76223235 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=884520 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=884520 CPUtime=1.99
/proc/11525/task/11532/stat : 11532 (java) S 11512 11511 29493 34817 29493 4202560 6970 0 0 0 196 3 0 0 16 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76223238 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11535] ppid=11512 vsize=884520 CPUtime=0
/proc/11525/task/11535/stat : 11535 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76223730 905748480 76689 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 889660

[startup+9.40631 s]
/proc/loadavg: 1.77 1.65 1.63 2/46 11535
/proc/meminfo: memFree=6892/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=884844 CPUtime=8.84
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 85136 0 1 0 861 23 0 0 25 0 12 0 76223233 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221211 76703 1780 10 0 218302 0
[pid=11525/tid=11526] ppid=11512 vsize=884844 CPUtime=5.64
/proc/11525/task/11526/stat : 11526 (java) S 11512 11511 29493 34817 29493 4202560 50262 0 1 0 549 15 0 0 25 0 12 0 76223233 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=884844 CPUtime=0.39
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 17825 0 0 0 37 2 0 0 16 0 12 0 76223235 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76223235 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76223235 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76223238 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=884844 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 12 0 76223238 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=884844 CPUtime=2.01
/proc/11525/task/11532/stat : 11532 (java) S 11512 11511 29493 34817 29493 4202560 6972 0 0 0 198 3 0 0 15 0 12 0 76223238 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76223238 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76223238 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11535] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11535/stat : 11535 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 76223730 906080256 76703 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.87
Current children cumulated vsize (KiB) 889984

[startup+9.61428 s]
/proc/loadavg: 1.77 1.65 1.63 2/46 11535
/proc/meminfo: memFree=6892/1048576 swapFree=0/0
[pid=11511] ppid=11510 vsize=2568 CPUtime=0
/proc/11511/stat : 11511 (p2cudf-trendy-1) S 11510 11511 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 25 0 1 0 76223229 2629632 271 1283457024 134512640 135304128 4289742144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11511/statm: 642 271 230 194 0 29 0
[pid=11512] ppid=11511 vsize=2572 CPUtime=0.03
/proc/11512/stat : 11512 (p2cudf) S 11511 11511 29493 34817 29493 4202496 394 3012 0 1 0 0 2 1 25 0 1 0 76223229 2633728 281 1283457024 134512640 135304128 4288771136 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11512/statm: 643 281 239 194 0 30 0
[pid=11525] ppid=11512 vsize=884844 CPUtime=9.02
/proc/11525/stat : 11525 (java) S 11512 11511 29493 34817 29493 4202496 85148 0 1 0 876 26 0 0 25 0 12 0 76223233 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11525/statm: 221211 76715 1780 10 0 218302 0
[pid=11525/tid=11526] ppid=11512 vsize=884844 CPUtime=5.64
/proc/11525/task/11526/stat : 11526 (java) S 11512 11511 29493 34817 29493 4202560 50262 0 1 0 549 15 0 0 25 0 12 0 76223233 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11527] ppid=11512 vsize=884844 CPUtime=0.39
/proc/11525/task/11527/stat : 11527 (java) S 11512 11511 29493 34817 29493 4202560 17825 0 0 0 37 2 0 0 16 0 12 0 76223235 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11528] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11528/stat : 11528 (java) S 11512 11511 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 76223235 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11529] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11529/stat : 11529 (java) S 11512 11511 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 76223235 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11530] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11530/stat : 11530 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76223238 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11531] ppid=11512 vsize=884844 CPUtime=0.79
/proc/11525/task/11531/stat : 11531 (java) S 11512 11511 29493 34817 29493 4202560 8992 0 0 0 76 3 0 0 17 0 12 0 76223238 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11532] ppid=11512 vsize=884844 CPUtime=2.07
/proc/11525/task/11532/stat : 11532 (java) S 11512 11511 29493 34817 29493 4202560 6982 0 0 0 204 3 0 0 16 0 12 0 76223238 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11533] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11533/stat : 11533 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 76223238 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11534] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11534/stat : 11534 (java) S 11512 11511 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 12 0 76223238 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
[pid=11525/tid=11535] ppid=11512 vsize=884844 CPUtime=0
/proc/11525/task/11535/stat : 11535 (java) S 11512 11511 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 76223730 906080256 76715 1283457024 134512640 134550932 4288840432 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.05
Current children cumulated vsize (KiB) 889984

Child status: 0
Real time (s): 9.68347
CPU time (s): 9.12457
CPU user time (s): 8.80055
CPU system time (s): 0.32402
CPU usage (%): 94.2283
Max. virtual memory (cumulated for all children) (KiB): 895000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.80055
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88952
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 823
involuntary context switches= 860

runsolver used 0 second user time and 0.008 second system time

The end