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-3729835-1338680184/watcher-3729835-1338680184 -o /tmp/evaluation-result-3729835-1338680184/solver-3729835-1338680184 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729835-1338680184.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: 2.00 2.08 1.97 3/176 9699
/proc/meminfo: memFree=27386752/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=4772 CPUtime=0 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 334144493 4886528 401 33554432000 134512640 135840783 4290602240 4290600976 1207039 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 1193 402 328 325 0 108 0
[startup+0.0458549 s]
/proc/loadavg: 2.00 2.08 1.97 3/176 9699
/proc/meminfo: memFree=27386752/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=5348 CPUtime=0.03 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 690 0 0 0 3 0 0 0 20 0 1 0 334144493 5476352 605 33554432000 134512640 135840783 4290602240 4290600320 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 1337 605 348 325 0 273 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5348
[startup+0.100141 s]
/proc/loadavg: 2.00 2.08 1.97 3/176 9699
/proc/meminfo: memFree=27386752/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=5868 CPUtime=0.09 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 796 0 0 0 9 0 0 0 20 0 1 0 334144493 6008832 711 33554432000 134512640 135840783 4290602240 4290601536 134572684 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 1467 711 348 325 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5868
[startup+0.300104 s]
/proc/loadavg: 2.00 2.08 1.97 3/176 9699
/proc/meminfo: memFree=27386752/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=6780 CPUtime=0.29 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1041 0 0 0 29 0 0 0 20 0 1 0 334144493 6942720 956 33554432000 134512640 135840783 4290602240 4290601600 134551076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 1695 956 348 325 0 631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6780
[startup+0.700097 s]
/proc/loadavg: 2.00 2.08 1.97 3/176 9699
/proc/meminfo: memFree=27386752/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=7572 CPUtime=0.69 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1244 0 0 0 69 0 0 0 20 0 1 0 334144493 7753728 1159 33554432000 134512640 135840783 4290602240 4290601600 134550758 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 1893 1159 348 325 0 829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7572
[startup+1.5001 s]
/proc/loadavg: 2.00 2.08 1.97 3/177 9700
/proc/meminfo: memFree=27382380/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=8480 CPUtime=1.49 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1466 0 0 0 149 0 0 0 20 0 1 0 334144493 8683520 1381 33554432000 134512640 135840783 4290602240 4290601600 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 2120 1381 348 325 0 1056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8480
[startup+3.1001 s]
/proc/loadavg: 2.00 2.08 1.97 3/177 9700
/proc/meminfo: memFree=27380768/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=8864 CPUtime=3.09 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1564 0 0 0 309 0 0 0 20 0 1 0 334144493 9076736 1479 33554432000 134512640 135840783 4290602240 4290601552 10256937 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9699/statm: 2216 1479 348 325 0 1152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8864
[startup+6.30018 s]
/proc/loadavg: 2.00 2.08 1.97 3/177 9700
/proc/meminfo: memFree=27380060/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=8996 CPUtime=6.29 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1589 0 0 0 629 0 0 0 20 0 1 0 334144493 9211904 1504 33554432000 134512640 135840783 4290602240 4290601600 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9699/statm: 2249 1504 348 325 0 1185 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8996
[startup+12.7002 s]
/proc/loadavg: 2.00 2.07 1.97 3/177 9700
/proc/meminfo: memFree=27378160/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=9904 CPUtime=12.69 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1819 0 0 0 1269 0 0 0 20 0 1 0 334144493 10141696 1733 33554432000 134512640 135840783 4290602240 4290601600 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9699/statm: 2476 1733 348 325 0 1412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9904
[startup+25.5002 s]
/proc/loadavg: 2.00 2.07 1.97 3/177 9700
/proc/meminfo: memFree=27377756/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=10408 CPUtime=25.48 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 1959 0 0 0 2548 0 0 0 20 0 1 0 334144493 10657792 1872 33554432000 134512640 135840783 4290602240 4290601552 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9699/statm: 2602 1872 348 325 0 1538 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10408
[startup+51.1001 s]
/proc/loadavg: 2.00 2.06 1.97 3/177 9700
/proc/meminfo: memFree=27376352/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=11664 CPUtime=51.07 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 2254 0 0 0 5107 0 0 0 20 0 1 0 334144493 11943936 2167 33554432000 134512640 135840783 4290602240 4290601600 134551119 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 2916 2167 348 325 0 1852 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11664
[startup+102.306 s]
/proc/loadavg: 2.00 2.05 1.97 3/177 9700
/proc/meminfo: memFree=27373188/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=12292 CPUtime=102.27 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 2418 0 0 0 10227 0 0 0 20 0 1 0 334144493 12587008 2330 33554432000 134512640 135840783 4290602240 4290601596 9861312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3073 2330 348 325 0 2009 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12292
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 1.97 3/177 9700
/proc/meminfo: memFree=27372072/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=13512 CPUtime=162.25 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 2725 0 0 0 16225 0 0 0 20 0 1 0 334144493 13836288 2637 33554432000 134512640 135840783 4290602240 4290601600 134551368 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9699/statm: 3378 2637 348 325 0 2314 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13512
[startup+222.3 s]
/proc/loadavg: 1.96 2.02 1.96 3/178 9703
/proc/meminfo: memFree=27370164/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=14824 CPUtime=222.24 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3061 0 0 0 22224 0 0 0 20 0 1 0 334144493 15179776 2972 33554432000 134512640 135840783 4290602240 4290601600 134550782 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3706 2972 348 325 0 2642 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 14824
[startup+282.3 s]
/proc/loadavg: 1.98 2.01 1.96 3/177 9704
/proc/meminfo: memFree=27369716/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=14800 CPUtime=282.23 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3062 0 0 0 28223 0 0 0 20 0 1 0 334144493 15155200 2973 33554432000 134512640 135840783 4290602240 4290601536 134572646 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3700 2973 348 325 0 2636 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 14800
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/177 9704
/proc/meminfo: memFree=27369592/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=14764 CPUtime=342.22 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3062 0 0 0 34222 0 0 0 20 0 1 0 334144493 15118336 2965 33554432000 134512640 135840783 4290602240 4290601600 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3691 2965 348 325 0 2627 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 14764
[startup+402.3 s]
/proc/loadavg: 2.12 2.03 1.97 3/177 9704
/proc/meminfo: memFree=27369840/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=14752 CPUtime=402.2 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3062 0 0 0 40220 0 0 0 20 0 1 0 334144493 15106048 2962 33554432000 134512640 135840783 4290602240 4290601556 1576900 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3688 2962 348 325 0 2624 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 14752
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 9704
/proc/meminfo: memFree=27368908/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15352 CPUtime=462.19 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3201 0 0 0 46219 0 0 0 20 0 1 0 334144493 15720448 3095 33554432000 134512640 135840783 4290602240 4290601600 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3838 3095 348 325 0 2774 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 15352
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 9704
/proc/meminfo: memFree=27368784/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15352 CPUtime=522.18 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3218 0 0 0 52218 0 0 0 20 0 1 0 334144493 15720448 3112 33554432000 134512640 135840783 4290602240 4290601600 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3838 3112 348 325 0 2774 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 15352
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 9705
/proc/meminfo: memFree=27369288/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15352 CPUtime=582.17 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3218 0 0 0 58217 0 0 0 20 0 1 0 334144493 15720448 3112 33554432000 134512640 135840783 4290602240 4290601592 9861292 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3838 3112 348 325 0 2774 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 15352
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 9782
/proc/meminfo: memFree=27124228/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15352 CPUtime=642.17 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3218 0 0 0 64217 0 0 0 20 0 1 0 334144493 15720448 3112 33554432000 134512640 135840783 4290602240 4290601476 1587763 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3838 3112 348 325 0 2774 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 15352
Solver just ended. Dumping a history of the last processes samples
[startup+665.506 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=27012224/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15352 CPUtime=665.35 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3218 0 0 0 66535 0 0 0 20 0 1 0 334144493 15720448 3112 33554432000 134512640 135840783 4290602240 4290601516 1587728 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3838 3112 348 325 0 2774 0
Current children cumulated CPU time (s) 665.35
Current children cumulated vsize (KiB) 15352
[startup+678.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26969908/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=678.14 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 67814 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601552 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (KiB) 15360
[startup+681.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26959492/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=681.34 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 68134 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601600 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 681.34
Current children cumulated vsize (KiB) 15360
[startup+683.106 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26952672/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=682.95 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 68295 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601600 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 682.95
Current children cumulated vsize (KiB) 15360
[startup+683.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26952672/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=683.74 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 68374 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601600 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 683.74
Current children cumulated vsize (KiB) 15360
[startup+684.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26949076/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=684.14 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 68414 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601540 1587831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 684.14
Current children cumulated vsize (KiB) 15360
[startup+684.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9782
/proc/meminfo: memFree=26949076/32873648 swapFree=6860/6860
[pid=9699] ppid=9697 vsize=15360 CPUtime=684.54 cores=0,2,4,6
/proc/9699/stat : 9699 (bsolo3.0.17) R 9697 9699 9030 0 -1 4202496 3220 0 0 0 68454 0 0 0 20 0 1 0 334144493 15728640 3114 33554432000 134512640 135840783 4290602240 4290601136 134573437 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9699/statm: 3840 3114 348 325 0 2776 0
Current children cumulated CPU time (s) 684.54
Current children cumulated vsize (KiB) 15360
Child status: 0
Real time (s): 684.744
CPU time (s): 684.6
CPU user time (s): 684.591
CPU system time (s): 0.008998
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 15360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 684.591
system time used= 0.008998
maximum resident set size= 12456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3223
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= 11
involuntary context switches= 1275
runsolver used 1.56876 second user time and 3.67344 second system time
The end