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-3481496-1307577957/watcher-3481496-1307577957 -o /tmp/evaluation-result-3481496-1307577957/solver-3481496-1307577957 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481496-1307577957.opb -seed 1366286606 -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: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/22714/stat : 22714 (python) R 22712 22714 21589 0 -1 4202496 996 0 0 0 0 0 0 0 21 0 1 0 850212047 16625664 869 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039316165 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22714/statm: 4059 869 368 364 0 546 0
[startup+0.0878429 s]
/proc/loadavg: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=54500 CPUtime=0.05 cores=1,3,5,7
/proc/22714/stat : 22714 (python) R 22712 22714 21589 0 -1 4202496 2042 0 0 0 4 1 0 0 17 0 1 0 850212047 55808000 1801 33554432000 4194304 5683644 140734636044784 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22714/statm: 13625 1802 492 364 0 1275 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54500
[startup+0.100841 s]
/proc/loadavg: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=85616 CPUtime=0.06 cores=1,3,5,7
/proc/22714/stat : 22714 (python) R 22712 22714 21589 0 -1 4202496 2659 0 0 0 5 1 0 0 17 0 1 0 850212047 87670784 2379 33554432000 4194304 5683644 140734636044784 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/22714/statm: 21404 2380 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.300834 s]
/proc/loadavg: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=123736 CPUtime=0.17 cores=1,3,5,7
/proc/22714/stat : 22714 (python) R 22712 22714 21589 0 -1 4202496 5356 932 1 0 13 4 0 0 16 0 1 0 850212047 126705664 3743 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039651333 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/22714/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123736
[startup+0.700738 s]
/proc/loadavg: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=261404 CPUtime=0.39 cores=1,3,5,7
/proc/22714/stat : 22714 (python) D 22712 22714 21589 0 -1 4202496 8254 932 1 0 28 11 0 0 15 0 1 0 850212047 267677696 6351 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039661111 0 0 16781312 2 18446744071562154983 0 0 17 5 0 0 0
/proc/22714/statm: 65351 6351 1677 364 0 5067 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 261404
[startup+1.96947 s]
/proc/loadavg: 1.96 2.06 1.66 3/611 22714
/proc/meminfo: memFree=26929076/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 293380
[startup+3.10031 s]
/proc/loadavg: 1.96 2.06 1.66 3/615 22723
/proc/meminfo: memFree=26877580/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
[pid=22721] ppid=22714 vsize=283136 CPUtime=0 cores=1,3,5,7
/proc/22721/stat : 22721 (python) S 22714 22714 21589 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850212139 289931264 5645 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039675407 0 0 16781312 33554946 780880072943861760 0 0 17 5 0 0 0
/proc/22721/statm: 70784 5645 325 364 0 5671 0
[pid=22723] ppid=22721 vsize=32168 CPUtime=2.17 cores=1,3,5,7
/proc/22723/stat : 22723 (scip-2.0.1.linu) R 22721 22723 22723 0 -1 4202496 8095 0 0 0 202 15 0 0 18 0 1 0 850212139 32940032 5883 33554432000 4194304 13684479 140734513069120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22723/statm: 8042 5883 799 2317 0 5720 0
[pid=22714/tid=22722] ppid=22712 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/22714/task/22722/stat : 22722 (python) S 22712 22714 21589 0 -1 4202560 28 1328 0 0 0 0 0 0 18 0 2 0 850212139 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051478961 0 0 16781312 33554434 18446604462277760000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 608684
Solver just ended. Dumping a history of the last processes samples
[startup+4.20111 s]
/proc/loadavg: 1.96 2.06 1.66 3/615 22723
/proc/meminfo: memFree=26877332/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
[pid=22721] ppid=22714 vsize=283136 CPUtime=0 cores=1,3,5,7
/proc/22721/stat : 22721 (python) S 22714 22714 21589 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850212139 289931264 5645 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039675407 0 0 16781312 33554946 1011998439304593408 0 0 17 5 0 0 0
/proc/22721/statm: 70784 5645 325 364 0 5671 0
[pid=22723] ppid=22721 vsize=32168 CPUtime=3.26 cores=1,3,5,7
/proc/22723/stat : 22723 (scip-2.0.1.linu) R 22721 22723 22723 0 -1 4202496 8099 0 0 0 307 19 0 0 19 0 1 0 850212139 32940032 5887 33554432000 4194304 13684479 140734513069120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22723/statm: 8042 5887 801 2317 0 5720 0
[pid=22714/tid=22722] ppid=22712 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/22714/task/22722/stat : 22722 (python) S 22712 22714 21589 0 -1 4202560 28 1328 0 0 0 0 0 0 18 0 2 0 850212139 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051478961 0 0 16781312 33554434 18446604462277760000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 608684
[startup+4.60103 s]
/proc/loadavg: 1.97 2.06 1.66 3/615 22723
/proc/meminfo: memFree=26876100/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
[pid=22721] ppid=22714 vsize=283136 CPUtime=0 cores=1,3,5,7
/proc/22721/stat : 22721 (python) S 22714 22714 21589 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 1 0 850212139 289931264 5645 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039675407 0 0 16781312 33554946 1011998439304593408 0 0 17 5 0 0 0
/proc/22721/statm: 70784 5645 325 364 0 5671 0
[pid=22723] ppid=22721 vsize=32168 CPUtime=3.67 cores=1,3,5,7
/proc/22723/stat : 22723 (scip-2.0.1.linu) R 22721 22723 22723 0 -1 4202496 8099 0 0 0 346 21 0 0 20 0 1 0 850212139 32940032 5887 33554432000 4194304 13684479 140734513069120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22723/statm: 8042 5887 801 2317 0 5720 0
[pid=22714/tid=22722] ppid=22712 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/22714/task/22722/stat : 22722 (python) S 22712 22714 21589 0 -1 4202560 28 1328 0 0 0 0 0 0 18 0 2 0 850212139 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051478961 0 0 16781312 33554434 18446604462277760000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 608684
[startup+5.00096 s]
/proc/loadavg: 1.97 2.06 1.66 3/615 22723
/proc/meminfo: memFree=26876100/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
[pid=22721] ppid=22714 vsize=283136 CPUtime=0.02 cores=1,3,5,7
/proc/22721/stat : 22721 (python) S 22714 22714 21589 0 -1 4202560 978 0 0 0 1 1 0 0 15 0 1 0 850212139 289931264 5668 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039675407 0 0 16781312 33554946 8332971547698364680 0 0 17 7 0 0 0
/proc/22721/statm: 70784 5668 348 364 0 5671 0
[pid=22723] ppid=22721 vsize=32168 CPUtime=4.07 cores=1,3,5,7
/proc/22723/stat : 22723 (scip-2.0.1.linu) R 22721 22723 22723 0 -1 4202496 8099 0 0 0 385 22 0 0 21 0 1 0 850212139 32940032 5887 33554432000 4194304 13684479 140734513069120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22723/statm: 8042 5887 801 2317 0 5720 0
[pid=22714/tid=22722] ppid=22712 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/22714/task/22722/stat : 22722 (python) S 22712 22714 21589 0 -1 4202560 28 1328 0 0 0 0 0 0 18 0 2 0 850212139 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051478961 0 0 16781312 33554434 18446604462277760000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 608684
[startup+5.10096 s]
/proc/loadavg: 1.97 2.06 1.66 3/615 22723
/proc/meminfo: memFree=26876100/32951124 swapFree=39903648/67111528
[pid=22714] ppid=22712 vsize=293380 CPUtime=0.48 cores=1,3,5,7
/proc/22714/stat : 22714 (python) S 22712 22714 21589 0 -1 4202496 10727 1328 1 0 36 12 0 0 18 0 2 0 850212047 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 15
/proc/22714/statm: 73345 7195 1871 364 0 8232 0
[pid=22721] ppid=22714 vsize=283136 CPUtime=0.02 cores=1,3,5,7
/proc/22721/stat : 22721 (python) S 22714 22714 21589 0 -1 4202560 978 0 0 0 1 1 0 0 15 0 1 0 850212139 289931264 5668 33554432000 4194304 5683644 140734636044784 18446744073709551615 212039675407 0 0 16781312 33554946 8332971547698364680 0 0 17 7 0 0 0
/proc/22721/statm: 70784 5668 348 364 0 5671 0
[pid=22723] ppid=22721 vsize=32168 CPUtime=4.17 cores=1,3,5,7
/proc/22723/stat : 22723 (scip-2.0.1.linu) R 22721 22723 22723 0 -1 4202496 8099 0 0 0 394 23 0 0 21 0 1 0 850212139 32940032 5887 33554432000 4194304 13684479 140734513069120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/22723/statm: 8042 5887 801 2317 0 5720 0
[pid=22714/tid=22722] ppid=22712 vsize=293380 CPUtime=0 cores=1,3,5,7
/proc/22714/task/22722/stat : 22722 (python) S 22712 22714 21589 0 -1 4202560 28 1328 0 0 0 0 0 0 18 0 2 0 850212139 300421120 7195 33554432000 4194304 5683644 140734636044784 18446744073709551615 212051478961 0 0 16781312 33554434 18446604462277760000 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 608684
Child status: 0
Real time (s): 5.15584
CPU time (s): 4.77127
CPU user time (s): 4.38333
CPU system time (s): 0.387941
CPU usage (%): 92.5412
Max. virtual memory (cumulated for all children) (KiB): 609068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.38333
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3259
involuntary context switches= 24
runsolver used 0.035994 second user time and 0.044993 second system time
The end