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-3736561-1338709792/watcher-3736561-1338709792 -o /tmp/evaluation-result-3736561-1338709792/solver-3736561-1338709792 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736561-1338709792.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: 2.13 2.04 2.01 3/176 13075
/proc/meminfo: memFree=27284728/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=4700 CPUtime=0 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 337105274 4812800 418 33554432000 134512640 135840783 4294097648 4294096320 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 1175 420 332 325 0 108 0
[startup+0.051242 s]
/proc/loadavg: 2.13 2.04 2.01 3/176 13075
/proc/meminfo: memFree=27284728/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=5344 CPUtime=0.04 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 652 0 0 0 4 0 0 0 20 0 1 0 337105274 5472256 585 33554432000 134512640 135840783 4294097648 4294097008 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 1336 585 347 325 0 272 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5344
[startup+0.100137 s]
/proc/loadavg: 2.13 2.04 2.01 3/176 13075
/proc/meminfo: memFree=27284728/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=5988 CPUtime=0.09 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 824 0 0 0 9 0 0 0 20 0 1 0 337105274 6131712 757 33554432000 134512640 135840783 4294097648 4294095680 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 1497 757 347 325 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5988
[startup+0.300105 s]
/proc/loadavg: 2.13 2.04 2.01 3/176 13075
/proc/meminfo: memFree=27284728/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=8568 CPUtime=0.29 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 1482 0 0 0 29 0 0 0 20 0 1 0 337105274 8773632 1415 33554432000 134512640 135840783 4294097648 4294095712 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 2142 1415 347 325 0 1078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8568
[startup+0.700098 s]
/proc/loadavg: 2.13 2.04 2.01 3/176 13075
/proc/meminfo: memFree=27284728/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=11024 CPUtime=0.69 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 2074 0 0 0 69 0 0 0 20 0 1 0 337105274 11288576 2007 33554432000 134512640 135840783 4294097648 4294097008 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 2756 2007 347 325 0 1692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11024
[startup+1.50011 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 13076
/proc/meminfo: memFree=27276644/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=17756 CPUtime=1.48 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 3759 0 0 0 148 0 0 0 20 0 1 0 337105274 18182144 3692 33554432000 134512640 135840783 4294097648 4294094960 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 4439 3692 347 325 0 3375 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17756
[startup+3.10013 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 13076
/proc/meminfo: memFree=27268956/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=22140 CPUtime=3.09 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 4870 0 0 0 308 1 0 0 20 0 1 0 337105274 22671360 4803 33554432000 134512640 135840783 4294097648 4294096960 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 5535 4803 347 325 0 4471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22140
[startup+6.30013 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 13076
/proc/meminfo: memFree=27265996/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=23300 CPUtime=6.29 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 5137 0 0 0 628 1 0 0 20 0 1 0 337105274 23859200 5070 33554432000 134512640 135840783 4294097648 4294095760 6063399 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 5825 5070 347 325 0 4761 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23300
[startup+12.7002 s]
/proc/loadavg: 2.10 2.04 2.00 3/178 13079
/proc/meminfo: memFree=27262564/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=25240 CPUtime=12.69 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 5643 0 0 0 1268 1 0 0 20 0 1 0 337105274 25845760 5576 33554432000 134512640 135840783 4294097648 4294097008 134551061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 6310 5576 347 325 0 5246 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25240
[startup+25.5002 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 13079
/proc/meminfo: memFree=27255716/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=33256 CPUtime=25.48 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 7650 0 0 0 2547 1 0 0 20 0 1 0 337105274 34054144 7580 33554432000 134512640 135840783 4294097648 4294097008 134550994 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 8314 7580 347 325 0 7250 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33256
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 13079
/proc/meminfo: memFree=27254268/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=34608 CPUtime=51.06 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 8007 0 0 0 5105 1 0 0 20 0 1 0 337105274 35438592 7926 33554432000 134512640 135840783 4294097648 4294097008 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 8652 7926 347 325 0 7588 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34608
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13079
/proc/meminfo: memFree=27244504/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=41676 CPUtime=102.26 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 9838 0 0 0 10224 2 0 0 20 0 1 0 337105274 42676224 9681 33554432000 134512640 135840783 4294097648 4294096944 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 10419 9681 347 325 0 9355 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41676
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13079
/proc/meminfo: memFree=27229116/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=41828 CPUtime=162.24 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 9878 0 0 0 16222 2 0 0 20 0 1 0 337105274 42831872 9700 33554432000 134512640 135840783 4294097648 4294096960 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 10457 9700 347 325 0 9393 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 41828
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 13079
/proc/meminfo: memFree=27225528/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=45472 CPUtime=222.23 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 10888 0 0 0 22221 2 0 0 20 0 1 0 337105274 46563328 10643 33554432000 134512640 135840783 4294097648 4294097008 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 11368 10643 347 325 0 10304 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45472
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13080
/proc/meminfo: memFree=27222548/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50728 CPUtime=282.23 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12229 0 0 0 28220 3 0 0 20 0 1 0 337105274 51945472 11938 33554432000 134512640 135840783 4294097648 4294097008 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12682 11938 347 325 0 11618 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 50728
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 13080
/proc/meminfo: memFree=27227944/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=342.21 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 34218 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50264
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13080
/proc/meminfo: memFree=27228264/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=402.2 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 40217 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 50264
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=462.2 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 46217 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 50264
Solver just ended. Dumping a history of the last processes samples
[startup+486.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217900/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=486.19 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 48616 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 486.19
Current children cumulated vsize (KiB) 50264
[startup+492.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=492.6 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 49257 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 492.6
Current children cumulated vsize (KiB) 50264
[startup+495.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=495.79 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 49576 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 495.79
Current children cumulated vsize (KiB) 50264
[startup+499.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=498.99 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 49896 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294096960 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 498.99
Current children cumulated vsize (KiB) 50264
[startup+499.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=499.79 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 49976 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 499.79
Current children cumulated vsize (KiB) 50264
[startup+500.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=500.59 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 50056 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 500.59
Current children cumulated vsize (KiB) 50264
[startup+500.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=500.79 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 50076 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 500.79
Current children cumulated vsize (KiB) 50264
[startup+501 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13080
/proc/meminfo: memFree=27217776/32873648 swapFree=6860/6860
[pid=13075] ppid=13073 vsize=50264 CPUtime=500.89 cores=1,3,5,7
/proc/13075/stat : 13075 (bsolo3.0.17) R 13073 13075 9030 0 -1 4202496 12269 0 0 0 50086 3 0 0 20 0 1 0 337105274 51470336 11843 33554432000 134512640 135840783 4294097648 4294097008 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13075/statm: 12566 11843 349 325 0 11502 0
Current children cumulated CPU time (s) 500.89
Current children cumulated vsize (KiB) 50264
Child status: 0
Real time (s): 501.01
CPU time (s): 500.909
CPU user time (s): 500.874
CPU system time (s): 0.034994
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 50920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 500.874
system time used= 0.034994
maximum resident set size= 47932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12272
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= 29
involuntary context switches= 517
runsolver used 0.816875 second user time and 1.9847 second system time
The end