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-3482005-1307576688/watcher-3482005-1307576688 -o /tmp/evaluation-result-3482005-1307576688/solver-3482005-1307576688 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482005-1307576688.opb -seed 683913730 -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: 2.20 1.37 0.59 3/563 15009
/proc/meminfo: memFree=20552864/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=15524 CPUtime=0 cores=1,3,5,7
/proc/15009/stat : 15009 (python) R 15007 15009 14716 0 -1 4202496 824 0 0 0 0 0 0 0 22 0 1 0 947899753 15896576 708 33554432000 4194304 5683644 140736930903280 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15009/statm: 3881 711 334 364 0 368 0
[startup+0.045895 s]
/proc/loadavg: 2.20 1.37 0.59 3/563 15009
/proc/meminfo: memFree=20552864/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=29792 CPUtime=0.03 cores=1,3,5,7
/proc/15009/stat : 15009 (python) R 15007 15009 14716 0 -1 4202496 1401 0 0 0 2 1 0 0 17 0 1 0 947899753 30507008 1244 33554432000 4194304 5683644 140736930903280 18446744073709551615 4902969 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/15009/statm: 7448 1245 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792
[startup+0.100888 s]
/proc/loadavg: 2.20 1.37 0.59 3/563 15009
/proc/meminfo: memFree=20552864/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/15009/stat : 15009 (python) R 15007 15009 14716 0 -1 4202496 3168 931 1 0 5 2 0 0 18 0 1 0 947899753 98435072 2483 33554432000 4194304 5683644 140736930903280 18446744073709551615 5177473 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15009/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300853 s]
/proc/loadavg: 2.20 1.37 0.59 3/563 15009
/proc/meminfo: memFree=20552864/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=195528 CPUtime=0.24 cores=1,3,5,7
/proc/15009/stat : 15009 (python) R 15007 15009 14716 0 -1 4202496 6579 931 1 0 16 8 0 0 17 0 1 0 947899753 200220672 4870 33554432000 4194304 5683644 140736930903280 18446744073709551615 215983630080 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/15009/statm: 48882 4876 1426 364 0 3677 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 195528
[startup+0.700781 s]
/proc/loadavg: 2.20 1.37 0.59 3/563 15009
/proc/meminfo: memFree=20552864/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293096
[startup+1.50064 s]
/proc/loadavg: 2.20 1.37 0.59 3/567 15017
/proc/meminfo: memFree=20503584/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
[pid=15015] ppid=15009 vsize=282852 CPUtime=0 cores=1,3,5,7
/proc/15015/stat : 15015 (python) S 15009 15009 14716 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 947899805 289640448 5621 33554432000 4194304 5683644 140736930903280 18446744073709551615 215988612623 0 0 16781312 33554946 2787199780990746624 0 0 17 1 0 0 0
/proc/15015/statm: 70713 5621 352 364 0 5600 0
[pid=15017] ppid=15015 vsize=39868 CPUtime=0.97 cores=1,3,5,7
/proc/15017/stat : 15017 (scip-2.0.1.linu) R 15015 15017 15017 0 -1 4202496 9137 0 0 0 91 6 0 0 18 0 1 0 947899805 40824832 7748 33554432000 4194304 13684479 140733771406400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15017/statm: 9967 7748 795 2317 0 7645 0
[pid=15009/tid=15016] ppid=15007 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15009/task/15016/stat : 15016 (python) S 15007 15009 14716 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947899805 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469177853120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 615816
[startup+3.10036 s]
/proc/loadavg: 2.18 1.38 0.59 2/562 15018
/proc/meminfo: memFree=20548636/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
[pid=15015] ppid=15009 vsize=282852 CPUtime=0 cores=1,3,5,7
/proc/15015/stat : 15015 (python) S 15009 15009 14716 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 947899805 289640448 5621 33554432000 4194304 5683644 140736930903280 18446744073709551615 215988612623 0 0 16781312 33554946 128328357174575104 0 0 17 1 0 0 0
/proc/15015/statm: 70713 5621 352 364 0 5600 0
[pid=15017] ppid=15015 vsize=39868 CPUtime=2.58 cores=1,3,5,7
/proc/15017/stat : 15017 (scip-2.0.1.linu) R 15015 15017 15017 0 -1 4202496 9138 0 0 0 242 16 0 0 22 0 1 0 947899805 40824832 7749 33554432000 4194304 13684479 140733771406400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15017/statm: 9967 7749 796 2317 0 7645 0
[pid=15009/tid=15016] ppid=15007 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15009/task/15016/stat : 15016 (python) S 15007 15009 14716 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947899805 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469177853120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 615816
Solver just ended. Dumping a history of the last processes samples
[startup+4.70108 s]
/proc/loadavg: 2.18 1.38 0.59 3/567 15052
/proc/meminfo: memFree=20499504/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
[pid=15015] ppid=15009 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/15015/stat : 15015 (python) S 15009 15009 14716 0 -1 4202560 903 0 0 0 1 1 0 0 15 0 1 0 947899805 289640448 5644 33554432000 4194304 5683644 140736930903280 18446744073709551615 215988612623 0 0 16781312 33554946 4347044878270562565 0 0 17 1 0 0 0
/proc/15015/statm: 70713 5644 375 364 0 5600 0
[pid=15017] ppid=15015 vsize=39868 CPUtime=4.18 cores=1,3,5,7
/proc/15017/stat : 15017 (scip-2.0.1.linu) R 15015 15017 15017 0 -1 4202496 9138 0 0 0 394 24 0 0 25 0 1 0 947899805 40824832 7749 33554432000 4194304 13684479 140733771406400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15017/statm: 9967 7749 796 2317 0 7645 0
[pid=15009/tid=15016] ppid=15007 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15009/task/15016/stat : 15016 (python) S 15007 15009 14716 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947899805 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469177853120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 615816
[startup+5.51994 s]
/proc/loadavg: 2.18 1.38 0.59 3/567 15052
/proc/meminfo: memFree=20484804/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
[pid=15015] ppid=15009 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/15015/stat : 15015 (python) S 15009 15009 14716 0 -1 4202560 903 0 0 0 1 1 0 0 15 0 1 0 947899805 289640448 5644 33554432000 4194304 5683644 140736930903280 18446744073709551615 215988612623 0 0 16781312 33554946 4347044878270562565 0 0 17 1 0 0 0
/proc/15015/statm: 70713 5644 375 364 0 5600 0
[pid=15017] ppid=15015 vsize=39868 CPUtime=4.99 cores=1,3,5,7
/proc/15017/stat : 15017 (scip-2.0.1.linu) R 15015 15017 15017 0 -1 4202496 9138 0 0 0 470 29 0 0 25 0 1 0 947899805 40824832 7749 33554432000 4194304 13684479 140733771406400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15017/statm: 9967 7749 796 2317 0 7645 0
[pid=15009/tid=15016] ppid=15007 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15009/task/15016/stat : 15016 (python) S 15007 15009 14716 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947899805 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469177853120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 615816
[startup+5.90087 s]
/proc/loadavg: 2.18 1.38 0.59 3/567 15052
/proc/meminfo: memFree=20484804/32950940 swapFree=67111360/67111528
[pid=15009] ppid=15007 vsize=293096 CPUtime=0.43 cores=1,3,5,7
/proc/15009/stat : 15009 (python) S 15007 15009 14716 0 -1 4202496 9638 931 1 0 31 12 0 0 19 0 2 0 947899753 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/15009/statm: 73274 7143 1870 364 0 8161 0
[pid=15015] ppid=15009 vsize=282852 CPUtime=0.02 cores=1,3,5,7
/proc/15015/stat : 15015 (python) S 15009 15009 14716 0 -1 4202560 904 0 0 0 1 1 0 0 15 0 1 0 947899805 289640448 5644 33554432000 4194304 5683644 140736930903280 18446744073709551615 215988612623 0 0 16781312 33554946 945513780081590272 0 0 17 1 0 0 0
/proc/15015/statm: 70713 5644 375 364 0 5600 0
[pid=15017] ppid=15015 vsize=39868 CPUtime=5.37 cores=1,3,5,7
/proc/15017/stat : 15017 (scip-2.0.1.linu) R 15015 15017 15017 0 -1 4202496 9141 0 0 0 505 32 0 0 25 0 1 0 947899805 40824832 7752 33554432000 4194304 13684479 140733771406400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/15017/statm: 9967 7752 799 2317 0 7645 0
[pid=15009/tid=15016] ppid=15007 vsize=293096 CPUtime=0 cores=1,3,5,7
/proc/15009/task/15016/stat : 15016 (python) S 15007 15009 14716 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 2 0 947899805 300130304 7143 33554432000 4194304 5683644 140736930903280 18446744073709551615 216000416177 0 0 16781312 33554434 18446604469177853120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 615816
Child status: 0
Real time (s): 5.96042
CPU time (s): 5.9201
CPU user time (s): 5.43917
CPU system time (s): 0.480926
CPU usage (%): 99.3235
Max. virtual memory (cumulated for all children) (KiB): 615816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.43917
system time used= 0.480926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25321
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= 1051
involuntary context switches= 26
runsolver used 0.030995 second user time and 0.083987 second system time
The end