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-3481992-1307576629/watcher-3481992-1307576629 -o /tmp/evaluation-result-3481992-1307576629/solver-3481992-1307576629 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481992-1307576629.opb -seed 1199196665 -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.25 1.01 0.38 2/514 17960
/proc/meminfo: memFree=23591484/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 733 0 0 0 0 0 0 0 20 0 1 0 947893414 15548416 622 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17960/statm: 3796 622 322 364 0 283 0
[startup+0.0381161 s]
/proc/loadavg: 2.25 1.01 0.38 2/514 17960
/proc/meminfo: memFree=23591484/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/17960/stat : 17960 (python) R 17958 17960 17566 0 -1 4202496 1283 0 0 0 2 0 0 0 17 0 1 0 947893414 19337216 1136 33554432000 4194304 5683644 140736194358272 18446744073709551615 4509584 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17960/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.101098 s]
/proc/loadavg: 2.25 1.01 0.38 2/514 17960
/proc/meminfo: memFree=23591484/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=94060 CPUtime=0.06 cores=0,2,4,6
/proc/17960/stat : 17960 (python) R 17958 17960 17566 0 -1 4202496 2755 0 1 0 5 1 0 0 17 0 1 0 947893414 96317440 2466 33554432000 4194304 5683644 140736194358272 18446744073709551615 4480016 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17960/statm: 23515 2466 786 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94060
[startup+0.301062 s]
/proc/loadavg: 2.25 1.01 0.38 2/514 17960
/proc/meminfo: memFree=23591484/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=123740 CPUtime=0.16 cores=0,2,4,6
/proc/17960/stat : 17960 (python) R 17958 17960 17566 0 -1 4202496 5356 930 1 0 12 4 0 0 17 0 1 0 947893414 126709760 3744 33554432000 4194304 5683644 140736194358272 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17960/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 123740
[startup+0.701012 s]
/proc/loadavg: 2.25 1.01 0.38 2/514 17960
/proc/meminfo: memFree=23591484/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=282952 CPUtime=0.4 cores=0,2,4,6
/proc/17960/stat : 17960 (python) R 17958 17960 17566 0 -1 4202496 9420 930 1 0 31 9 0 0 16 0 1 0 947893414 289742848 7141 33554432000 4194304 5683644 140736194358272 18446744073709551615 252461504144 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/17960/statm: 70738 7141 1863 364 0 5628 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282952
[startup+1.50089 s]
/proc/loadavg: 2.23 1.03 0.39 3/518 17968
/proc/meminfo: memFree=23549176/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 947893485 289755136 5633 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 1719155424382418944 0 0 17 4 0 0 0
/proc/17966/statm: 70741 5633 352 364 0 5628 0
[pid=17968] ppid=17966 vsize=35564 CPUtime=0.77 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 7225 0 0 0 75 2 0 0 18 0 1 0 947893485 36417536 6603 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 8891 6603 774 2317 0 6569 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 611736
[startup+3.10059 s]
/proc/loadavg: 2.23 1.03 0.39 3/518 17968
/proc/meminfo: memFree=23521652/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 1 0 947893485 289755136 5633 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 3964204829378609152 0 0 17 4 0 0 0
/proc/17966/statm: 70741 5633 352 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=2.38 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13446 0 0 0 232 6 0 0 18 0 1 0 947893485 58552320 12057 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12057 795 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 633352
[startup+6.30095 s]
/proc/loadavg: 2.37 1.08 0.41 3/518 17968
/proc/meminfo: memFree=23493376/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.01 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 894 0 0 0 1 0 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 1582836009970696192 0 0 17 4 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=5.58 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13448 0 0 0 548 10 0 0 18 0 1 0 947893485 58552320 12059 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12059 796 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 633352
[startup+12.7008 s]
/proc/loadavg: 2.34 1.09 0.42 3/518 17968
/proc/meminfo: memFree=23467808/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.03 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 895 0 0 0 2 1 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949202 0 0 17 6 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=11.98 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13453 0 0 0 1178 20 0 0 25 0 1 0 947893485 58552320 12064 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12064 796 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 633352
Solver just ended. Dumping a history of the last processes samples
[startup+14.3175 s]
/proc/loadavg: 2.34 1.09 0.42 3/518 17968
/proc/meminfo: memFree=23465836/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.05 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 897 0 0 0 3 2 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949202 0 0 17 6 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=13.59 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13453 0 0 0 1336 23 0 0 25 0 1 0 947893485 58552320 12064 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12064 796 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 633352
[startup+15.1003 s]
/proc/loadavg: 2.34 1.09 0.42 3/518 17968
/proc/meminfo: memFree=23465836/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.05 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 897 0 0 0 3 2 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 72556772316949202 0 0 17 6 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=14.38 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13453 0 0 0 1414 24 0 0 25 0 1 0 947893485 58552320 12064 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12064 796 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 14.84
Current children cumulated vsize (KiB) 633352
[startup+15.9012 s]
/proc/loadavg: 2.34 1.09 0.42 3/518 17968
/proc/meminfo: memFree=23465588/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.05 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 897 0 0 0 3 2 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 698825315459268608 0 0 17 6 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=15.17 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13454 0 0 0 1492 25 0 0 18 0 1 0 947893485 58552320 12065 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12065 797 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15.63
Current children cumulated vsize (KiB) 633352
[startup+16.1011 s]
/proc/loadavg: 2.34 1.09 0.42 3/518 17968
/proc/meminfo: memFree=23465588/32951124 swapFree=56297244/67111528
[pid=17960] ppid=17958 vsize=293208 CPUtime=0.41 cores=0,2,4,6
/proc/17960/stat : 17960 (python) S 17958 17960 17566 0 -1 4202496 9646 930 1 0 32 9 0 0 18 0 2 0 947893414 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17960/statm: 73302 7155 1870 364 0 8189 0
[pid=17966] ppid=17960 vsize=282964 CPUtime=0.05 cores=0,2,4,6
/proc/17966/stat : 17966 (python) S 17960 17960 17566 0 -1 4202560 897 0 0 0 3 2 0 0 15 0 1 0 947893485 289755136 5657 33554432000 4194304 5683644 140736194358272 18446744073709551615 252458085903 0 0 16781312 33554946 698825315459268608 0 0 17 6 0 0 0
/proc/17966/statm: 70741 5657 376 364 0 5628 0
[pid=17968] ppid=17966 vsize=57180 CPUtime=15.38 cores=0,2,4,6
/proc/17968/stat : 17968 (scip-2.0.1.linu) R 17966 17968 17968 0 -1 4202496 13454 0 0 0 1512 26 0 0 19 0 1 0 947893485 58552320 12065 33554432000 4194304 13684479 140734934822448 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17968/statm: 14295 12065 797 2317 0 11973 0
[pid=17960/tid=17967] ppid=17958 vsize=293208 CPUtime=0 cores=0,2,4,6
/proc/17960/task/17967/stat : 17967 (python) S 17958 17960 17566 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 947893485 300244992 7155 33554432000 4194304 5683644 140736194358272 18446744073709551615 252469889457 0 0 16781312 33554434 18446604448385599488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (KiB) 633352
Child status: 0
Real time (s): 16.1904
CPU time (s): 15.9656
CPU user time (s): 15.5656
CPU system time (s): 0.399939
CPU usage (%): 98.6111
Max. virtual memory (cumulated for all children) (KiB): 633352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5656
system time used= 0.399939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29641
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= 2657
involuntary context switches= 38
runsolver used 0.084987 second user time and 0.163975 second system time
The end