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-3481318-1307577810/watcher-3481318-1307577810 -o /tmp/evaluation-result-3481318-1307577810/solver-3481318-1307577810 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481318-1307577810.opb -seed 56408438 -budget 1800
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.23 2.10 1.60 2/700 19227
/proc/meminfo: memFree=19616768/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=15752 CPUtime=0 cores=0,2,4,6
/proc/19227/stat : 19227 (python) R 19225 19227 17566 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 1 0 948011589 16130048 723 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458063872 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/19227/statm: 3938 723 334 364 0 425 0
[startup+0.0954441 s]
/proc/loadavg: 2.23 2.10 1.60 2/700 19227
/proc/meminfo: memFree=19616768/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=94064 CPUtime=0.06 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 2808 0 1 0 5 1 0 0 18 0 1 0 948011589 96321536 2478 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458065664 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/19227/statm: 23516 2478 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.100441 s]
/proc/loadavg: 2.23 2.10 1.60 2/700 19227
/proc/meminfo: memFree=19616768/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/19227/stat : 19227 (python) R 19225 19227 17566 0 -1 4202496 3168 926 1 0 5 1 0 0 18 0 1 0 948011589 98430976 2482 33554432000 4194304 5683644 140733487235136 18446744073709551615 5178100 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/19227/statm: 24031 2482 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300365 s]
/proc/loadavg: 2.23 2.10 1.60 2/700 19227
/proc/meminfo: memFree=19616768/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=173424 CPUtime=0.22 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 6233 926 1 0 17 5 0 0 17 0 1 0 948011589 177586176 4544 33554432000 4194304 5683644 140733487235136 18446744073709551615 252453142151 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/19227/statm: 43356 4544 1232 364 0 3534 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 173424
[startup+0.700294 s]
/proc/loadavg: 2.23 2.10 1.60 2/700 19227
/proc/meminfo: memFree=19616768/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293420
[startup+1.50123 s]
/proc/loadavg: 2.23 2.10 1.60 3/704 19236
/proc/meminfo: memFree=19557720/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
[pid=19234] ppid=19227 vsize=283176 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (python) S 19227 19227 17566 0 -1 4202560 828 0 0 0 0 0 0 0 15 0 1 0 948011646 289972224 5655 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458085903 0 0 16781312 33554946 4209602033558224896 0 0 17 4 0 0 0
/proc/19234/statm: 70794 5655 325 364 0 5681 0
[pid=19236] ppid=19234 vsize=54488 CPUtime=0.92 cores=0,2,4,6
/proc/19236/stat : 19236 (scip-2.0.1.linu) R 19234 19236 19236 0 -1 4202496 14609 0 0 0 85 7 0 0 18 0 1 0 948011646 55795712 11231 33554432000 4194304 13684479 140736679310736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19236/statm: 13622 11231 837 2317 0 11300 0
[pid=19227/tid=19235] ppid=19225 vsize=293420 CPUtime=0 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) S 19225 19227 17566 0 -1 4202560 26 1320 0 0 0 0 0 0 20 0 2 0 948011646 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 33554434 18446604452992160896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 631084
[startup+3.10087 s]
/proc/loadavg: 2.23 2.10 1.60 3/704 19236
/proc/meminfo: memFree=19549364/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
[pid=19234] ppid=19227 vsize=283176 CPUtime=0 cores=0,2,4,6
/proc/19234/stat : 19234 (python) S 19227 19227 17566 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 948011646 289972224 5655 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458085903 0 0 16781312 33554946 17219974940069953794 0 0 17 4 0 0 0
/proc/19234/statm: 70794 5655 325 364 0 5681 0
[pid=19236] ppid=19234 vsize=54488 CPUtime=2.52 cores=0,2,4,6
/proc/19236/stat : 19236 (scip-2.0.1.linu) R 19234 19236 19236 0 -1 4202496 14610 0 0 0 242 10 0 0 18 0 1 0 948011646 55795712 11232 33554432000 4194304 13684479 140736679310736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19236/statm: 13622 11232 837 2317 0 11300 0
[pid=19227/tid=19235] ppid=19225 vsize=293420 CPUtime=0 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) S 19225 19227 17566 0 -1 4202560 26 1320 0 0 0 0 0 0 20 0 2 0 948011646 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 33554434 18446604452992160896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 631084
[startup+6.30029 s]
/proc/loadavg: 2.45 2.14 1.62 3/704 19236
/proc/meminfo: memFree=19550688/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
[pid=19234] ppid=19227 vsize=283176 CPUtime=0.02 cores=0,2,4,6
/proc/19234/stat : 19234 (python) S 19227 19227 17566 0 -1 4202560 965 0 0 0 1 1 0 0 15 0 1 0 948011646 289972224 5678 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458085903 0 0 16781312 33554946 4055305754356219904 0 0 17 4 0 0 0
/proc/19234/statm: 70794 5678 348 364 0 5681 0
[pid=19236] ppid=19234 vsize=54488 CPUtime=5.72 cores=0,2,4,6
/proc/19236/stat : 19236 (scip-2.0.1.linu) R 19234 19236 19236 0 -1 4202496 14614 0 0 0 551 21 0 0 18 0 1 0 948011646 55795712 11236 33554432000 4194304 13684479 140736679310736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19236/statm: 13622 11236 837 2317 0 11300 0
[pid=19227/tid=19235] ppid=19225 vsize=293420 CPUtime=0 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) S 19225 19227 17566 0 -1 4202560 26 1320 0 0 0 0 0 0 20 0 2 0 948011646 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 33554434 18446604452992160896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 631084
Solver just ended. Dumping a history of the last processes samples
[startup+6.40127 s]
/proc/loadavg: 2.45 2.14 1.62 3/704 19236
/proc/meminfo: memFree=19550688/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
[pid=19234] ppid=19227 vsize=283176 CPUtime=0.02 cores=0,2,4,6
/proc/19234/stat : 19234 (python) S 19227 19227 17566 0 -1 4202560 965 0 0 0 1 1 0 0 15 0 1 0 948011646 289972224 5678 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458085903 0 0 16781312 33554946 297109357747765248 0 0 17 4 0 0 0
/proc/19234/statm: 70794 5678 348 364 0 5681 0
[pid=19236] ppid=19234 vsize=54488 CPUtime=5.83 cores=0,2,4,6
/proc/19236/stat : 19236 (scip-2.0.1.linu) R 19234 19236 19236 0 -1 4202496 14614 0 0 0 561 22 0 0 18 0 1 0 948011646 55795712 11236 33554432000 4194304 13684479 140736679310736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19236/statm: 13622 11236 837 2317 0 11300 0
[pid=19227/tid=19235] ppid=19225 vsize=293420 CPUtime=0 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) S 19225 19227 17566 0 -1 4202560 26 1320 0 0 0 0 0 0 20 0 2 0 948011646 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 33554434 18446604452992160896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 631084
[startup+6.80121 s]
/proc/loadavg: 2.45 2.14 1.62 3/704 19236
/proc/meminfo: memFree=19550688/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293420 CPUtime=0.43 cores=0,2,4,6
/proc/19227/stat : 19227 (python) S 19225 19227 17566 0 -1 4202496 10748 1320 1 0 35 8 0 0 20 0 2 0 948011589 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73355 7205 1871 364 0 8242 0
[pid=19234] ppid=19227 vsize=283176 CPUtime=0.02 cores=0,2,4,6
/proc/19234/stat : 19234 (python) S 19227 19227 17566 0 -1 4202560 965 0 0 0 1 1 0 0 15 0 1 0 948011646 289972224 5678 33554432000 4194304 5683644 140733487235136 18446744073709551615 252458085903 0 0 16781312 33554946 1280473649521885184 0 0 17 4 0 0 0
/proc/19234/statm: 70794 5678 348 364 0 5681 0
[pid=19236] ppid=19234 vsize=54488 CPUtime=6.22 cores=0,2,4,6
/proc/19236/stat : 19236 (scip-2.0.1.linu) R 19234 19236 19236 0 -1 4202496 14616 0 0 0 600 22 0 0 18 0 1 0 948011646 55795712 11238 33554432000 4194304 13684479 140736679310736 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/19236/statm: 13622 11238 837 2317 0 11300 0
[pid=19227/tid=19235] ppid=19225 vsize=293420 CPUtime=0 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) S 19225 19227 17566 0 -1 4202560 26 1320 0 0 0 0 0 0 20 0 2 0 948011646 300462080 7205 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 33554434 18446604452992160896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 631084
[startup+6.90118 s]
/proc/loadavg: 2.45 2.14 1.62 3/704 19236
/proc/meminfo: memFree=19550688/32951124 swapFree=56297244/67111528
[pid=19227] ppid=19225 vsize=293400 CPUtime=6.79 cores=0,2,4,6
/proc/19227/stat : 19227 (python) R 19225 19227 17566 0 -1 4202496 11351 17244 1 0 35 8 611 25 18 0 2 0 948011589 300441600 7203 33554432000 4194304 5683644 140733487235136 18446744073709551615 4633744 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/19227/statm: 73350 7203 1869 364 0 8242 0
[pid=19227/tid=19235] ppid=19225 vsize=293400 CPUtime=6.36 cores=0,2,4,6
/proc/19227/task/19235/stat : 19235 (python) R 19225 19227 17566 0 -1 4202560 26 17244 0 0 0 0 611 25 18 0 2 0 948011646 300441600 7203 33554432000 4194304 5683644 140733487235136 18446744073709551615 252469889457 0 0 16781312 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 293400
Child status: 0
Real time (s): 6.92197
CPU time (s): 6.82796
CPU user time (s): 6.48601
CPU system time (s): 0.341948
CPU usage (%): 98.6419
Max. virtual memory (cumulated for all children) (KiB): 631084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.48601
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32452
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= 1505
involuntary context switches= 37
runsolver used 0.022996 second user time and 0.072988 second system time
The end