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/rand796.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand796.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand796.cudf.user-upgrades.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.32 1.39 1.26 5/38 23506
/proc/meminfo: memFree=284344/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=11356 CPUtime=0
/proc/23505/stat : 23505 (java) R 23504 23504 4778 34817 4778 4202496 919 0 0 0 0 0 0 0 25 0 2 0 11169611 11628544 651 1283457024 134512640 134550932 4290700624 18446744073709551615 4159241832 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 2839 651 285 10 0 1185 0
[pid=23505/tid=23506] ppid=23504 vsize=11356 CPUtime=0
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 11169612 11628544 651 1283457024 134512640 134550932 4290700624 18446744073709551615 4159241832 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.175491 s]
/proc/loadavg: 1.32 1.39 1.26 5/38 23506
/proc/meminfo: memFree=284344/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410100 CPUtime=0.16
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 4131 0 1 0 14 2 0 0 25 0 9 0 11169611 419942400 3557 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102525 3557 1944 10 0 96673 0
[pid=23505/tid=23506] ppid=23504 vsize=410100 CPUtime=0.14
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 2934 0 1 0 12 2 0 0 25 0 9 0 11169612 419942400 3557 1283457024 134512640 134550932 4290700624 18446744073709551615 4114599928 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412672

[startup+0.205493 s]
/proc/loadavg: 1.32 1.39 1.26 5/38 23506
/proc/meminfo: memFree=284344/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410100 CPUtime=0.18
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 4280 0 1 0 16 2 0 0 25 0 9 0 11169611 419942400 3706 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102525 3706 1944 10 0 96673 0
[pid=23505/tid=23506] ppid=23504 vsize=410100 CPUtime=0.17
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 3083 0 1 0 15 2 0 0 25 0 9 0 11169612 419942400 3706 1283457024 134512640 134550932 4290700624 18446744073709551615 4151343092 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412672

[startup+0.305524 s]
/proc/loadavg: 1.32 1.39 1.26 5/38 23506
/proc/meminfo: memFree=284344/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410100 CPUtime=0.27
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 4721 0 1 0 24 3 0 0 25 0 9 0 11169611 419942400 4147 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102525 4147 1945 10 0 96673 0
[pid=23505/tid=23506] ppid=23504 vsize=410100 CPUtime=0.25
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 3524 0 1 0 23 2 0 0 25 0 9 0 11169612 419942400 4147 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 412672

[startup+0.705661 s]
/proc/loadavg: 1.32 1.39 1.26 5/38 23506
/proc/meminfo: memFree=284344/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410684 CPUtime=0.67
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 12549 0 1 0 61 6 0 0 25 0 9 0 11169611 420540416 11788 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102671 11788 2901 10 0 96819 0
[pid=23505/tid=23506] ppid=23504 vsize=410684 CPUtime=0.45
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 4181 0 1 0 42 3 0 0 25 0 9 0 11169612 420540416 11788 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 413256

[startup+1.50591 s]
/proc/loadavg: 1.37 1.40 1.26 3/46 23514
/proc/meminfo: memFree=227228/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410684 CPUtime=1.48
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 27416 0 1 0 132 16 0 0 25 0 9 0 11169611 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102671 26655 2901 10 0 96819 0
[pid=23505/tid=23506] ppid=23504 vsize=410684 CPUtime=0.77
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 6709 0 1 0 74 3 0 0 25 0 9 0 11169612 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=410684 CPUtime=0.66
/proc/23505/task/23508/stat : 23508 (java) R 23504 23504 4778 34817 4778 4202560 19321 0 0 0 54 12 0 0 18 0 9 0 11169613 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4151225874 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=410684 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11169613 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=410684 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11169613 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=410684 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=410684 CPUtime=0.03
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 444 0 0 0 3 0 0 0 16 0 9 0 11169614 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=410684 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=410684 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11169614 420540416 26655 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 413256

[startup+3.12634 s]
/proc/loadavg: 1.37 1.40 1.26 2/46 23514
/proc/meminfo: memFree=155432/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=410816 CPUtime=3.09
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 52166 0 1 0 285 24 0 0 25 0 9 0 11169611 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102704 51405 2901 10 0 96852 0
[pid=23505/tid=23506] ppid=23504 vsize=410816 CPUtime=1.39
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 13862 0 1 0 132 7 0 0 25 0 9 0 11169612 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=410816 CPUtime=1.66
/proc/23505/task/23508/stat : 23508 (java) R 23504 23504 4778 34817 4778 4202560 36915 0 0 0 150 16 0 0 15 0 9 0 11169613 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4151226487 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=410816 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11169613 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=410816 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11169613 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=410816 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=410816 CPUtime=0.03
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 447 0 0 0 3 0 0 0 15 0 9 0 11169614 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=410816 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=410816 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) R 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11169614 420675584 51405 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413388

[startup+6.30743 s]
/proc/loadavg: 1.37 1.40 1.26 2/46 23514
/proc/meminfo: memFree=18428/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=439988 CPUtime=6.27
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 78233 0 1 0 593 34 0 0 25 0 9 0 11169611 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 109997 77466 2902 10 0 104145 0
[pid=23505/tid=23506] ppid=23504 vsize=439988 CPUtime=2.26
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 13879 0 1 0 217 9 0 0 25 0 9 0 11169612 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=439988 CPUtime=3.93
/proc/23505/task/23508/stat : 23508 (java) R 23504 23504 4778 34817 4778 4202560 62947 0 0 0 370 23 0 0 16 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4152338971 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=439988 CPUtime=0.05
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 465 0 0 0 5 0 0 0 15 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 442560

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

[startup+6.40742 s]
/proc/loadavg: 1.37 1.40 1.26 2/46 23514
/proc/meminfo: memFree=18428/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=439988 CPUtime=6.37
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 78233 0 1 0 603 34 0 0 25 0 9 0 11169611 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 109997 77466 2902 10 0 104145 0
[pid=23505/tid=23506] ppid=23504 vsize=439988 CPUtime=2.26
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 13879 0 1 0 217 9 0 0 25 0 9 0 11169612 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=439988 CPUtime=4.03
/proc/23505/task/23508/stat : 23508 (java) R 23504 23504 4778 34817 4778 4202560 62947 0 0 0 380 23 0 0 16 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4151239380 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11169613 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=439988 CPUtime=0.05
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 465 0 0 0 5 0 0 0 15 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=439988 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11169614 450547712 77466 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 442560

[startup+9.61829 s]
/proc/loadavg: 1.42 1.41 1.27 4/45 23515
/proc/meminfo: memFree=5872/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=411444 CPUtime=9.56
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 92738 0 1 0 915 41 0 0 25 0 9 0 11169611 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102861 70538 2916 10 0 97006 0
[pid=23505/tid=23506] ppid=23504 vsize=411444 CPUtime=2.78
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 14107 0 1 0 268 10 0 0 25 0 9 0 11169612 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=411444 CPUtime=6.72
/proc/23505/task/23508/stat : 23508 (java) R 23504 23504 4778 34817 4778 4202560 77203 0 0 0 642 30 0 0 15 0 9 0 11169613 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4151225762 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=411444 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11169613 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=411444 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11169613 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=411444 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=411444 CPUtime=0.05
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 486 0 0 0 5 0 0 0 15 0 9 0 11169614 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=411444 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11169614 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=411444 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) R 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11169614 421318656 70538 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 414016

[startup+11.2088 s]
/proc/loadavg: 1.39 1.40 1.26 2/47 23517
/proc/meminfo: memFree=33376/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=411768 CPUtime=11.14
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 92806 0 1 0 1073 41 0 0 25 0 10 0 11169611 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102942 70602 2917 10 0 97087 0
[pid=23505/tid=23506] ppid=23504 vsize=411768 CPUtime=4.03
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 14131 0 1 0 393 10 0 0 25 0 10 0 11169612 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4115431605 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=411768 CPUtime=6.98
/proc/23505/task/23508/stat : 23508 (java) S 23504 23504 4778 34817 4778 4202560 77203 0 0 0 668 30 0 0 16 0 10 0 11169613 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=411768 CPUtime=0.11
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 525 0 0 0 11 0 0 0 15 0 10 0 11169614 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11169614 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23517] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23517/stat : 23517 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11170604 421650432 70602 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 414340

[startup+11.6088 s]
/proc/loadavg: 1.39 1.40 1.26 2/47 23517
/proc/meminfo: memFree=33376/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=411768 CPUtime=11.54
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 92808 0 1 0 1113 41 0 0 25 0 10 0 11169611 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102942 70604 2917 10 0 97087 0
[pid=23505/tid=23506] ppid=23504 vsize=411768 CPUtime=4.43
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 14132 0 1 0 433 10 0 0 25 0 10 0 11169612 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4115396789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=411768 CPUtime=6.98
/proc/23505/task/23508/stat : 23508 (java) S 23504 23504 4778 34817 4778 4202560 77203 0 0 0 668 30 0 0 16 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=411768 CPUtime=0.11
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 526 0 0 0 11 0 0 0 15 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23517] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23517/stat : 23517 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11170604 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 414340

[startup+12.0089 s]
/proc/loadavg: 1.39 1.40 1.26 2/47 23517
/proc/meminfo: memFree=33376/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=411768 CPUtime=11.94
/proc/23505/stat : 23505 (java) S 23504 23504 4778 34817 4778 4202496 92808 0 1 0 1153 41 0 0 25 0 10 0 11169611 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 102942 70604 2917 10 0 97087 0
[pid=23505/tid=23506] ppid=23504 vsize=411768 CPUtime=4.83
/proc/23505/task/23506/stat : 23506 (java) R 23504 23504 4778 34817 4778 4202560 14132 0 1 0 473 10 0 0 25 0 10 0 11169612 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4115069036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23505/tid=23508] ppid=23504 vsize=411768 CPUtime=6.98
/proc/23505/task/23508/stat : 23508 (java) S 23504 23504 4778 34817 4778 4202560 77203 0 0 0 668 30 0 0 16 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23509] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23509/stat : 23509 (java) S 23504 23504 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23510] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23510/stat : 23510 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11169613 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23511] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23511/stat : 23511 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23512] ppid=23504 vsize=411768 CPUtime=0.11
/proc/23505/task/23512/stat : 23512 (java) S 23504 23504 4778 34817 4778 4202560 526 0 0 0 11 0 0 0 15 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23513/stat : 23513 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23514] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23514/stat : 23514 (java) S 23504 23504 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11169614 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=23505/tid=23517] ppid=23504 vsize=411768 CPUtime=0
/proc/23505/task/23517/stat : 23517 (java) S 23504 23504 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11170604 421650432 70604 1283457024 134512640 134550932 4290700624 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 414340

[startup+12.1023 s]
/proc/loadavg: 1.39 1.40 1.26 2/39 23518
/proc/meminfo: memFree=270364/1048576 swapFree=0/0
[pid=23504] ppid=23503 vsize=2572 CPUtime=0
/proc/23504/stat : 23504 (gj-paranoid-sol) S 23503 23504 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11169611 2633728 270 1283457024 134512640 135304128 4287288000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23504/statm: 643 270 229 194 0 30 0
[pid=23505] ppid=23504 vsize=0 CPUtime=12.01
/proc/23505/stat : 23505 (java) Z 23504 23504 4778 34817 4778 4202508 92816 0 1 0 1158 43 0 0 18 0 2 0 11169611 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23505/statm: 0 0 0 0 0 0 0
[pid=23505/tid=23513] ppid=23504 vsize=0 CPUtime=0.02
/proc/23505/task/23513/stat : 23513 (java) R 23504 23504 4778 34817 4778 4203588 1 0 0 0 0 2 0 0 18 0 2 0 11169614 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 12.1074
CPU time (s): 12.0168
CPU user time (s): 11.5847
CPU system time (s): 0.432027
CPU usage (%): 99.2515
Max. virtual memory (cumulated for all children) (KiB): 442560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5847
system time used= 0.432027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93200
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= 930
involuntary context switches= 1124

runsolver used 0.012 second user time and 0 second system time

The end