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-3741706-1338762509/watcher-3741706-1338762509 -o /tmp/evaluation-result-3741706-1338762509/solver-3741706-1338762509 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741706-1338762509.opb
running on 4 cores: 0,2,4,6
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: 4.39 2.82 2.29 2/177 7405
/proc/meminfo: memFree=15510648/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=15344 CPUtime=0 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 478 0 0 0 0 0 0 0 20 0 1 0 342376562 15712256 415 33554432000 134512640 135840783 4288368464 4288367168 1692967 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 3836 415 328 325 0 2063 0
[startup+0.0963739 s]
/proc/loadavg: 4.39 2.82 2.29 2/177 7405
/proc/meminfo: memFree=15510648/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=10628 CPUtime=0.09 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 1537 0 0 0 9 0 0 0 20 0 1 0 342376562 10883072 1474 33554432000 134512640 135840783 4288368464 4288366632 1166235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 2690 1476 588 325 0 917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10628
[startup+0.100226 s]
/proc/loadavg: 4.39 2.82 2.29 2/177 7405
/proc/meminfo: memFree=15510648/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=10900 CPUtime=0.09 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 1588 0 0 0 9 0 0 0 20 0 1 0 342376562 11161600 1525 33554432000 134512640 135840783 4288368464 4288367392 6861661 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 2725 1525 597 325 0 952 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900
[startup+0.300193 s]
/proc/loadavg: 4.39 2.82 2.29 2/177 7405
/proc/meminfo: memFree=15510648/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=20672 CPUtime=0.28 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 5198 0 0 0 28 0 0 0 20 0 1 0 342376562 21168128 4426 33554432000 134512640 135840783 4288368464 4288315168 134551119 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 5168 4426 344 325 0 4104 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20672
[startup+0.700218 s]
/proc/loadavg: 4.39 2.82 2.29 2/177 7405
/proc/meminfo: memFree=15510648/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=20672 CPUtime=0.68 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 5198 0 0 0 68 0 0 0 20 0 1 0 342376562 21168128 4426 33554432000 134512640 135840783 4288368464 4288315168 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 5168 4426 344 325 0 4104 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20672
[startup+1.50018 s]
/proc/loadavg: 4.39 2.82 2.29 2/178 7406
/proc/meminfo: memFree=15494000/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=20672 CPUtime=1.48 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 5198 0 0 0 148 0 0 0 20 0 1 0 342376562 21168128 4426 33554432000 134512640 135840783 4288368464 4288315168 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 5168 4426 344 325 0 4104 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20672
[startup+3.10018 s]
/proc/loadavg: 4.39 2.82 2.29 2/178 7406
/proc/meminfo: memFree=15493660/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=20672 CPUtime=3.08 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 5199 0 0 0 308 0 0 0 20 0 1 0 342376562 21168128 4427 33554432000 134512640 135840783 4288368464 4288315168 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 5168 4427 344 325 0 4104 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20672
[startup+6.30018 s]
/proc/loadavg: 4.44 2.86 2.30 2/178 7406
/proc/meminfo: memFree=15493520/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=20672 CPUtime=6.28 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 5205 0 0 0 628 0 0 0 20 0 1 0 342376562 21168128 4433 33554432000 134512640 135840783 4288368464 4288315168 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 5168 4433 344 325 0 4104 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20672
[startup+12.7002 s]
/proc/loadavg: 4.48 2.89 2.32 2/178 7406
/proc/meminfo: memFree=15482864/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=40904 CPUtime=12.68 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 11203 0 0 0 1265 3 0 0 20 0 1 0 342376562 41885696 9510 33554432000 134512640 135840783 4288368464 4288367824 134550913 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 10226 9510 351 325 0 9162 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 40904
[startup+25.5002 s]
/proc/loadavg: 4.60 3.00 2.36 2/178 7406
/proc/meminfo: memFree=15399380/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=115832 CPUtime=25.48 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 29910 0 0 0 2541 7 0 0 20 0 1 0 342376562 118611968 28217 33554432000 134512640 135840783 4288368464 4288367600 1690526 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 28958 28217 351 325 0 27894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115832
[startup+51.1002 s]
/proc/loadavg: 4.27 3.06 2.39 3/178 7483
/proc/meminfo: memFree=28073000/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=324120 CPUtime=51.07 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 81993 0 0 0 5091 16 0 0 20 0 1 0 342376562 331898880 80300 33554432000 134512640 135840783 4288368464 4288367824 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7405/statm: 81030 80300 351 325 0 79966 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 324120
[startup+102.306 s]
/proc/loadavg: 2.98 2.89 2.37 3/178 7485
/proc/meminfo: memFree=27182256/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=702816 CPUtime=102.23 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 176696 0 0 0 10192 31 0 0 20 0 1 0 342376562 719683584 174986 33554432000 134512640 135840783 4288368464 4288367824 134551368 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 175704 174986 351 325 0 174640 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 702816
[startup+162.3 s]
/proc/loadavg: 2.36 2.73 2.35 3/177 7485
/proc/meminfo: memFree=26385716/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=1208984 CPUtime=162.19 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 303260 0 0 0 16168 51 0 0 20 0 1 0 342376562 1237999616 301521 33554432000 134512640 135840783 4288368464 4288367776 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 302246 301521 351 325 0 301182 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1208984
[startup+222.3 s]
/proc/loadavg: 2.13 2.59 2.32 3/177 7485
/proc/meminfo: memFree=25594872/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=1801608 CPUtime=222.14 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 451431 0 0 0 22136 78 0 0 20 0 1 0 342376562 1844846592 449668 33554432000 134512640 135840783 4288368464 4288367824 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 450402 449668 351 325 0 449338 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 1801608
[startup+282.3 s]
/proc/loadavg: 2.05 2.48 2.30 3/177 7486
/proc/meminfo: memFree=25077820/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=2125212 CPUtime=282.09 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 532352 0 0 0 28117 92 0 0 20 0 1 0 342376562 2176217088 530567 33554432000 134512640 135840783 4288368464 4288358528 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 531303 530567 351 325 0 530239 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 2125212
[startup+342.3 s]
/proc/loadavg: 2.02 2.39 2.27 3/177 7486
/proc/meminfo: memFree=24556800/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=2422828 CPUtime=342.05 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 606772 0 0 0 34099 106 0 0 20 0 1 0 342376562 2480975872 604968 33554432000 134512640 135840783 4288368464 4288367824 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 605707 604968 351 325 0 604643 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 2422828
[startup+402.3 s]
/proc/loadavg: 2.00 2.32 2.26 3/177 7486
/proc/meminfo: memFree=24176768/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=2678384 CPUtime=402.01 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 670717 0 0 0 40085 116 0 0 20 0 1 0 342376562 2742665216 668880 33554432000 134512640 135840783 4288368464 4288367760 134571424 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 669596 668880 351 325 0 668532 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 2678384
[startup+462.3 s]
/proc/loadavg: 2.00 2.26 2.24 3/177 7486
/proc/meminfo: memFree=23679060/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=2910600 CPUtime=461.98 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 728781 0 0 0 46071 127 0 0 20 0 1 0 342376562 2980454400 726925 33554432000 134512640 135840783 4288368464 4288367824 134550887 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 727650 726925 351 325 0 726586 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 2910600
[startup+522.3 s]
/proc/loadavg: 2.08 2.22 2.23 3/177 7486
/proc/meminfo: memFree=23125056/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=3361476 CPUtime=521.94 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 841521 0 0 0 52047 147 0 0 20 0 1 0 342376562 3442151424 839640 33554432000 134512640 135840783 4288368464 4288343364 1687499 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 840369 839640 351 325 0 839305 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 3361476
[startup+582.3 s]
/proc/loadavg: 2.03 2.18 2.21 3/177 7487
/proc/meminfo: memFree=22577004/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=3832068 CPUtime=581.9 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4202496 959176 0 0 0 58022 168 0 0 20 0 1 0 342376562 3924037632 957282 33554432000 134512640 135840783 4288368464 4288367824 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 958017 957282 351 325 0 956953 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 3832068
[startup+642.3 s]
/proc/loadavg: 2.01 2.14 2.19 3/178 7488
/proc/meminfo: memFree=19577216/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=638.31 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 255 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 638.31
Current children cumulated vsize (KiB) 4188376
[startup+702.3 s]
/proc/loadavg: 4.19 2.73 2.39 2/181 7491
/proc/meminfo: memFree=13297288/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+762.307 s]
/proc/loadavg: 5.37 3.33 2.61 3/180 7491
/proc/meminfo: memFree=13297464/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 5.42 3.38 2.63 3/180 7491
/proc/meminfo: memFree=13297572/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+774.3 s]
/proc/loadavg: 5.51 3.46 2.67 3/180 7491
/proc/meminfo: memFree=13297432/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+777.5 s]
/proc/loadavg: 5.51 3.46 2.67 3/180 7491
/proc/meminfo: memFree=13297308/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+779.1 s]
/proc/loadavg: 5.51 3.46 2.67 3/180 7491
/proc/meminfo: memFree=13297308/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+779.907 s]
/proc/loadavg: 5.55 3.51 2.68 3/180 7491
/proc/meminfo: memFree=13298176/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+780.3 s]
/proc/loadavg: 5.55 3.51 2.68 3/180 7491
/proc/meminfo: memFree=13298176/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=4188376 CPUtime=640.02 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) S 7403 7405 5948 0 -1 4204032 1048322 0 0 0 63576 426 0 0 20 0 1 0 342376562 4288897024 1046412 33554432000 134512640 135840783 4288368464 4288342216 8483888 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7405/statm: 1047094 1046412 380 325 0 1046030 0
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (KiB) 4188376
[startup+780.7 s]
/proc/loadavg: 5.55 3.51 2.68 3/180 7491
/proc/meminfo: memFree=13298176/32873844 swapFree=7112/7112
[pid=7405] ppid=7403 vsize=0 CPUtime=640.12 cores=0,2,4,6
/proc/7405/stat : 7405 (bsolo3.0.17) R 7403 7405 5948 0 -1 4204036 1048322 0 0 0 63576 436 0 0 20 0 1 0 342376562 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/7405/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 640.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 780.786
CPU time (s): 640.212
CPU user time (s): 635.761
CPU system time (s): 4.45032
CPU usage (%): 81.9958
Max. virtual memory (cumulated for all children) (KiB): 4188376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 635.761
system time used= 4.45032
maximum resident set size= 4185648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1048322
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= 1027680
involuntary context switches= 683
runsolver used 1.58276 second user time and 3.70244 second system time
The end