runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3481845-1307576357/watcher-3481845-1307576357 -o /tmp/evaluation-result-3481845-1307576357/solver-3481845-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481845-1307576357.opb -seed 611056974 -budget 1800 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.80 0.18 0.06 4/457 14975
/proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/14973/stat : 14973 (runsolver) S 14971 14973 14938 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 1 0 869236870 12079104 53 33554432000 4194304 5432328 140735445111216 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699453118 0 0 17 1 0 0 0
/proc/14973/statm: 2949 53 34 303 0 2643 0

[startup+0.029143 s]
/proc/loadavg: 0.80 0.18 0.06 4/457 14975
/proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/14973/stat : 14973 (runsolver) S 14971 14973 14938 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 1 0 869236870 12079104 53 33554432000 4194304 5432328 140735445111216 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699453118 0 0 17 7 0 0 0
/proc/14973/statm: 2949 53 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796

[startup+0.101082 s]
/proc/loadavg: 0.80 0.18 0.06 4/457 14975
/proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=14384 CPUtime=0 cores=1,3,5,7
/proc/14973/stat : 14973 (python) D 14971 14973 14938 0 -1 4194304 232 0 5 0 0 0 0 0 17 0 1 0 869236870 14729216 169 33554432000 4194304 5683644 140733957166256 18446744073709551615 4689677 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 3
/proc/14973/statm: 3596 169 135 364 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384

[startup+0.301094 s]
/proc/loadavg: 0.80 0.18 0.06 4/457 14975
/proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 705 0 6 0 0 0 0 0 16 0 1 0 869236870 15548416 603 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 7
/proc/14973/statm: 3796 603 319 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.701014 s]
/proc/loadavg: 0.80 0.18 0.06 4/457 14975
/proc/meminfo: memFree=32155600/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=15756 CPUtime=0 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 833 0 6 0 0 0 0 0 15 0 1 0 869236870 16134144 723 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 11
/proc/14973/statm: 3939 723 334 364 0 426 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15756

[startup+1.50083 s]
/proc/loadavg: 0.80 0.18 0.06 2/459 14978
/proc/meminfo: memFree=32149484/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=16400 CPUtime=0.02 cores=1,3,5,7
/proc/14973/stat : 14973 (python) D 14971 14973 14938 0 -1 4202496 1115 0 6 0 1 1 0 0 16 0 1 0 869236870 16793600 989 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335890432 0 0 16781312 2 0 0 0 17 7 0 0 19
/proc/14973/statm: 4100 989 413 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400

[startup+3.1006 s]
/proc/loadavg: 0.80 0.18 0.06 1/459 14978
/proc/meminfo: memFree=32146320/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=29792 CPUtime=0.06 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 1450 0 11 0 4 2 0 0 15 0 1 0 869236870 30507008 1301 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 58
/proc/14973/statm: 7448 1301 443 364 0 818 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29792
heavy processes:

[startup+6.30103 s]
/proc/loadavg: 0.98 0.22 0.07 2/463 14982
/proc/meminfo: memFree=32131084/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=94068 CPUtime=0.12 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 2773 0 23 0 7 5 0 0 15 0 1 0 869236870 96325632 2468 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335892224 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 64
/proc/14973/statm: 23517 2468 788 364 0 1628 0
[pid=14979] ppid=14973 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/14979/stat : 14979 (sh) S 14973 14973 14938 0 -1 4202496 306 0 0 0 0 0 0 0 17 0 1 0 869237305 8908800 246 33554432000 4194304 4922060 140733509938816 18446744073709551615 232335711365 0 65536 16781316 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/14979/statm: 2175 246 206 178 0 68 0
[pid=14982] ppid=14979 vsize=788 CPUtime=0 cores=1,3,5,7
/proc/14982/stat : 14982 (ldconfig) D 14979 14973 14938 0 -1 4194304 65 0 0 0 0 0 0 0 18 0 1 0 869237305 806912 1 33554432000 0 0 140735717476297 18446744073709551615 232335713271 0 0 16781312 0 18446744071562154983 0 0 17 1 0 0 15
/proc/14982/statm: 197 1 0 0 0 24 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 103556
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 0.90 0.22 0.07 2/459 14986
/proc/meminfo: memFree=32102164/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=217788 CPUtime=0.4 cores=1,3,5,7
/proc/14973/stat : 14973 (python) D 14971 14973 14938 0 -1 4202496 7004 919 83 9 25 15 0 0 15 0 1 0 869236870 223014912 5306 33554432000 4194304 5683644 140733957166256 18446744073709551615 232330972694 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 205
/proc/14973/statm: 54447 5306 1523 364 0 3950 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 217788
heavy processes:

[startup+25.5006 s]
/proc/loadavg: 1.14 0.31 0.10 3/462 15024
/proc/meminfo: memFree=31898344/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.03 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 916 0 0 0 2 1 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 2933220615991066624 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=11.56 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9842 0 0 0 1121 35 0 0 25 0 1 0 869238260 47783936 9182 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9182 830 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 623684
heavy processes:

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

[startup+25.6166 s]
/proc/loadavg: 1.14 0.31 0.10 3/462 15024
/proc/meminfo: memFree=31898592/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.03 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 916 0 0 0 2 1 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 2933220615991066624 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=11.68 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9842 0 0 0 1132 36 0 0 25 0 1 0 869238260 47783936 9182 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9182 830 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 623684

[startup+28.801 s]
/proc/loadavg: 1.14 0.31 0.10 3/465 15027
/proc/meminfo: memFree=31873528/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.04 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 924 0 0 0 2 2 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 5623753486446373625 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=14.86 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9843 0 0 0 1441 45 0 0 25 0 1 0 869238260 47783936 9183 33554432000 4194304 13684479 140736264204704 18446744073709551615 4520368 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9183 831 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (KiB) 623684

[startup+30.4007 s]
/proc/loadavg: 1.21 0.33 0.11 3/465 15027
/proc/meminfo: memFree=31833108/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.07 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=16.46 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9843 0 0 0 1593 53 0 0 20 0 1 0 869238260 47783936 9183 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9183 831 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 623684

[startup+32.0174 s]
/proc/loadavg: 1.21 0.33 0.11 3/465 15027
/proc/meminfo: memFree=31833000/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.07 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 1403425128548663296 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=18.08 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9844 0 0 0 1748 60 0 0 18 0 1 0 869238260 47783936 9183 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9183 830 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.8
Current children cumulated vsize (KiB) 623684

[startup+32.4004 s]
/proc/loadavg: 1.21 0.33 0.11 3/465 15027
/proc/meminfo: memFree=31833000/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.07 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 1403425128548663296 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=18.46 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9844 0 0 0 1784 62 0 0 18 0 1 0 869238260 47783936 9183 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9183 830 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 623684

[startup+32.6003 s]
/proc/loadavg: 1.21 0.33 0.11 3/465 15027
/proc/meminfo: memFree=31833000/32951124 swapFree=57654872/67111528
[pid=14973] ppid=14971 vsize=293632 CPUtime=0.65 cores=1,3,5,7
/proc/14973/stat : 14973 (python) S 14971 14973 14938 0 -1 4202496 9666 919 109 9 43 22 0 0 17 0 2 0 869236870 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347719115 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 248
/proc/14973/statm: 73408 7277 1870 364 0 8295 0
[pid=14988] ppid=14973 vsize=283388 CPUtime=0.07 cores=1,3,5,7
/proc/14988/stat : 14988 (python) S 14973 14973 14938 0 -1 4202560 925 0 0 0 3 4 0 0 15 0 1 0 869238260 290189312 5779 33554432000 4194304 5683644 140733957166256 18446744073709551615 232335912463 0 0 16781312 33554946 204577830703464448 0 0 17 7 0 0 0
/proc/14988/statm: 70847 5779 376 364 0 5734 0
[pid=14992] ppid=14988 vsize=46664 CPUtime=18.66 cores=1,3,5,7
/proc/14992/stat : 14992 (scip-2.0.1.linu) R 14988 14992 14992 0 -1 4202496 9844 0 0 0 1804 62 0 0 18 0 1 0 869238260 47783936 9183 33554432000 4194304 13684479 140736264204704 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14992/statm: 11666 9183 830 2317 0 9344 0
[pid=14973/tid=14990] ppid=14971 vsize=293632 CPUtime=0 cores=1,3,5,7
/proc/14973/task/14990/stat : 14990 (python) S 14971 14973 14938 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869238260 300679168 7277 33554432000 4194304 5683644 140733957166256 18446744073709551615 232347716017 0 0 16781312 33554434 18446604469855892672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.38
Current children cumulated vsize (KiB) 623684

Child status: 0
Real time (s): 32.6849
CPU time (s): 19.498
CPU user time (s): 18.5912
CPU system time (s): 0.906862
CPU usage (%): 59.6547
Max. virtual memory (cumulated for all children) (KiB): 623684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5912
system time used= 0.906862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26441
page faults= 118
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18235
involuntary context switches= 201

runsolver used 0.162975 second user time and 0.419936 second system time

The end