runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3732879-1338691621/watcher-3732879-1338691621 -o /tmp/evaluation-result-3732879-1338691621/solver-3732879-1338691621 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732879-1338691621.opb
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: 1.92 1.98 1.99 3/176 11226
/proc/meminfo: memFree=26590344/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 335288135 4583424 150 33554432000 134512640 135840783 4293902416 4293901720 5551748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1119 154 133 325 0 39 0
[startup+0.0676289 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11226
/proc/meminfo: memFree=26590344/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=8188 CPUtime=0.06 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 1523 0 0 0 6 0 0 0 20 0 1 0 335288135 8384512 1315 33554432000 134512640 135840783 4293902416 4293772268 6923312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 2047 1315 344 325 0 983 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8188
[startup+0.100227 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11226
/proc/meminfo: memFree=26590344/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=8988 CPUtime=0.08 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 1793 0 0 0 8 0 0 0 20 0 1 0 335288135 9203712 1499 33554432000 134512640 135840783 4293902416 4293761244 6923312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 2247 1499 346 325 0 1183 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8988
[startup+0.300128 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11226
/proc/meminfo: memFree=26590344/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=9996 CPUtime=0.28 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 2046 0 0 0 28 0 0 0 20 0 1 0 335288135 10235904 1752 33554432000 134512640 135840783 4293902416 4293901776 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 2499 1752 351 325 0 1435 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9996
[startup+0.700178 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 11226
/proc/meminfo: memFree=26590344/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=10308 CPUtime=0.68 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 2134 0 0 0 68 0 0 0 20 0 1 0 335288135 10555392 1840 33554432000 134512640 135840783 4293902416 4293901776 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 2577 1840 351 325 0 1513 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10308
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26584384/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=10612 CPUtime=1.48 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 2228 0 0 0 148 0 0 0 20 0 1 0 335288135 10866688 1934 33554432000 134512640 135840783 4293902416 4293901776 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 2653 1934 351 325 0 1589 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10612
[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26581896/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=15680 CPUtime=3.08 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 3464 0 0 0 308 0 0 0 20 0 1 0 335288135 16056320 3170 33554432000 134512640 135840783 4293902416 4293868176 134547554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 3920 3170 351 325 0 2856 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15680
[startup+6.30018 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26553912/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=41640 CPUtime=6.28 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 9954 0 0 0 627 1 0 0 20 0 1 0 335288135 42639360 9660 33554432000 134512640 135840783 4293902416 4293867672 134585005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 10410 9660 351 325 0 9346 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 41640
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26489500/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=110924 CPUtime=12.69 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 27292 0 0 0 1264 5 0 0 20 0 1 0 335288135 113586176 26998 33554432000 134512640 135840783 4293902416 4293901776 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 27731 26998 351 325 0 26667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110924
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26347148/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=250656 CPUtime=25.48 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 62235 0 0 0 2536 12 0 0 20 0 1 0 335288135 256671744 61941 33554432000 134512640 135840783 4293902416 4293901776 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 62664 61941 351 325 0 61600 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 250656
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 11227
/proc/meminfo: memFree=26081120/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=519104 CPUtime=51.08 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 129330 0 0 0 5085 23 0 0 20 0 1 0 335288135 531562496 129036 33554432000 134512640 135840783 4293902416 4293901776 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 129776 129036 351 325 0 128712 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 519104
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 11228
/proc/meminfo: memFree=25702840/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=858080 CPUtime=102.27 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 214091 0 0 0 10191 36 0 0 20 0 1 0 335288135 878673920 213797 33554432000 134512640 135840783 4293902416 4293901776 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 214520 213797 351 325 0 213456 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 858080
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 11228
/proc/meminfo: memFree=25186160/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=1371736 CPUtime=162.24 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 342497 0 0 0 16166 58 0 0 20 0 1 0 335288135 1404657664 342196 33554432000 134512640 135840783 4293902416 4293865520 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 342934 342196 351 325 0 341870 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1371736
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 11231
/proc/meminfo: memFree=25069376/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=1864948 CPUtime=222.19 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 465841 0 0 0 22138 81 0 0 20 0 1 0 335288135 1909706752 465509 33554432000 134512640 135840783 4293902416 4293901776 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 466237 465509 351 325 0 465173 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1864948
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=24284244/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=2294548 CPUtime=282.15 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 573285 0 0 0 28115 100 0 0 20 0 1 0 335288135 2349617152 572918 33554432000 134512640 135840783 4293902416 4293867648 134547774 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 573637 572918 351 325 0 572573 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 2294548
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11231
/proc/meminfo: memFree=23971812/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=2532640 CPUtime=342.13 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 632821 0 0 0 34099 114 0 0 20 0 1 0 335288135 2593423360 632432 33554432000 134512640 135840783 4293902416 4293901488 4172702 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 633160 632432 351 325 0 632096 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 2532640
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11232
/proc/meminfo: memFree=23771452/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=2741732 CPUtime=402.1 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 685104 0 0 0 40085 125 0 0 20 0 1 0 335288135 2807533568 684696 33554432000 134512640 135840783 4293902416 4293901776 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 685433 684696 351 325 0 684369 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 2741732
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11232
/proc/meminfo: memFree=23270004/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=3234500 CPUtime=462.06 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 808329 0 0 0 46060 146 0 0 20 0 1 0 335288135 3312128000 807898 33554432000 134512640 135840783 4293902416 4293901776 134551182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 808625 807898 351 325 0 807561 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 3234500
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11232
/proc/meminfo: memFree=22824500/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=3683712 CPUtime=522.02 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 920654 0 0 0 52035 167 0 0 20 0 1 0 335288135 3772121088 920200 33554432000 134512640 135840783 4293902416 4293901776 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 920928 920200 351 325 0 919864 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 3683712
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11232
/proc/meminfo: memFree=22368924/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4084904 CPUtime=581.97 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4202496 1020964 0 0 0 58010 187 0 0 20 0 1 0 335288135 4182941696 1020493 33554432000 134512640 135840783 4293902416 4293868144 134586540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1021226 1020493 351 325 0 1020162 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 4084904
[startup+642.3 s]
/proc/loadavg: 3.45 2.37 2.12 2/178 11233
/proc/meminfo: memFree=13805380/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.55 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 450 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.55
Current children cumulated vsize (KiB) 4189364
[startup+702.3 s]
/proc/loadavg: 4.50 2.86 2.30 2/177 11233
/proc/meminfo: memFree=13536584/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
Solver just ended. Dumping a history of the last processes samples
[startup+717.7 s]
/proc/loadavg: 4.69 2.98 2.35 2/178 11234
/proc/meminfo: memFree=13535676/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+730.5 s]
/proc/loadavg: 4.76 3.08 2.39 2/178 11234
/proc/meminfo: memFree=13536776/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+743.3 s]
/proc/loadavg: 4.79 3.14 2.42 2/178 11234
/proc/meminfo: memFree=13537008/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+749.7 s]
/proc/loadavg: 4.81 3.18 2.43 2/178 11234
/proc/meminfo: memFree=13536620/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+752.9 s]
/proc/loadavg: 4.83 3.21 2.45 2/178 11234
/proc/meminfo: memFree=13536992/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+754.506 s]
/proc/loadavg: 4.76 3.22 2.46 1/176 11235
/proc/meminfo: memFree=14451992/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+755.3 s]
/proc/loadavg: 4.76 3.22 2.46 1/176 11235
/proc/meminfo: memFree=14451992/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=4189364 CPUtime=602.72 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) S 11224 11226 9030 0 -1 4204032 1047143 0 0 0 59805 467 0 0 20 0 1 0 335288135 4289908736 1046666 33554432000 134512640 135840783 4293902416 4293867416 6923312 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 1047341 1046666 380 325 0 1046277 0
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (KiB) 4189364
[startup+755.7 s]
/proc/loadavg: 4.76 3.22 2.46 4/174 11264
/proc/meminfo: memFree=14473420/32873648 swapFree=6860/6860
[pid=11226] ppid=11224 vsize=0 CPUtime=602.86 cores=1,3,5,7
/proc/11226/stat : 11226 (bsolo3.0.17) R 11224 11226 9030 0 -1 4204036 1047143 0 0 0 59805 481 0 0 20 0 1 0 335288135 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11226/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 602.86
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 755.766
CPU time (s): 602.933
CPU user time (s): 598.056
CPU system time (s): 4.87726
CPU usage (%): 79.7778
Max. virtual memory (cumulated for all children) (KiB): 4189364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.056
system time used= 4.87726
maximum resident set size= 4186664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047143
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1034641
involuntary context switches= 618
runsolver used 1.20882 second user time and 3.65044 second system time
The end