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-3481996-1307576646/watcher-3481996-1307576646 -o /tmp/evaluation-result-3481996-1307576646/solver-3481996-1307576646 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481996-1307576646.opb -seed 1359188933 -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.40 1.12 0.43 2/514 17996
/proc/meminfo: memFree=23523968/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 810 0 0 0 0 0 0 0 17 0 1 0 947895309 15753216 696 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17996/statm: 3846 696 334 364 0 333 0
[startup+0.0871349 s]
/proc/loadavg: 2.40 1.12 0.43 2/514 17996
/proc/meminfo: memFree=23523968/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=87832 CPUtime=0.05 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 2691 0 0 0 4 1 0 0 17 0 1 0 947895309 89939968 2407 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17996/statm: 21958 2407 735 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87832
[startup+0.101152 s]
/proc/loadavg: 2.40 1.12 0.43 2/514 17996
/proc/meminfo: memFree=23523968/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=96128 CPUtime=0.06 cores=0,2,4,6
/proc/17996/stat : 17996 (python) R 17994 17996 17566 0 -1 4202496 3169 933 1 0 5 1 0 0 18 0 1 0 947895309 98435072 2483 33554432000 4194304 5683644 140734876322624 18446744073709551615 5170272 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17996/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96128
[startup+0.301087 s]
/proc/loadavg: 2.40 1.12 0.43 2/514 17996
/proc/meminfo: memFree=23523968/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=184248 CPUtime=0.22 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 6328 933 1 0 16 6 0 0 17 0 1 0 947895309 188669952 4633 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458063872 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/17996/statm: 46062 4633 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.701008 s]
/proc/loadavg: 2.40 1.12 0.43 2/514 17996
/proc/meminfo: memFree=23523968/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293108
[startup+1.50083 s]
/proc/loadavg: 2.40 1.12 0.43 3/518 18004
/proc/meminfo: memFree=23477896/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 947895362 289652736 5625 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 1450598459462647808 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5625 352 364 0 5603 0
[pid=18004] ppid=18002 vsize=39472 CPUtime=0.95 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 7962 0 0 0 93 2 0 0 18 0 1 0 947895362 40419328 7344 33554432000 4194304 13684479 140737443830992 18446744073709551615 4900080 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18004/statm: 9868 7344 779 2317 0 7546 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 615444
[startup+3.10062 s]
/proc/loadavg: 2.36 1.14 0.44 3/518 18004
/proc/meminfo: memFree=23470456/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 947895362 289652736 5625 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 2614317778139611136 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5625 352 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=2.54 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8909 0 0 0 251 3 0 0 20 0 1 0 947895362 40058880 7551 33554432000 4194304 13684479 140737443830992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18004/statm: 9780 7551 796 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 615092
[startup+6.301 s]
/proc/loadavg: 2.36 1.14 0.44 3/518 18004
/proc/meminfo: memFree=23459648/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0.01 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 897 0 0 0 1 0 0 0 15 0 1 0 947895362 289652736 5648 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 4088768703552782594 0 0 17 2 0 0 0
/proc/18002/statm: 70716 5648 375 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=5.73 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8910 0 0 0 564 9 0 0 25 0 1 0 947895362 40058880 7552 33554432000 4194304 13684479 140737443830992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18004/statm: 9780 7552 797 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 615092
Solver just ended. Dumping a history of the last processes samples
[startup+9.50034 s]
/proc/loadavg: 2.33 1.15 0.45 3/518 18004
/proc/meminfo: memFree=23458176/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 900 0 0 0 2 1 0 0 15 0 1 0 947895362 289652736 5649 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 72114768642583372 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5649 376 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=8.92 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8910 0 0 0 878 14 0 0 25 0 1 0 947895362 40058880 7552 33554432000 4194304 13684479 140737443830992 18446744073709551615 7390431 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18004/statm: 9780 7552 797 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 615092
[startup+11.1011 s]
/proc/loadavg: 2.33 1.15 0.45 3/518 18004
/proc/meminfo: memFree=23451532/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 900 0 0 0 2 1 0 0 15 0 1 0 947895362 289652736 5649 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 72114768642583372 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5649 376 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=10.53 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8910 0 0 0 1036 17 0 0 25 0 1 0 947895362 40058880 7552 33554432000 4194304 13684479 140737443830992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18004/statm: 9780 7552 797 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 615092
[startup+11.501 s]
/proc/loadavg: 2.33 1.15 0.45 3/518 18004
/proc/meminfo: memFree=23451532/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 900 0 0 0 2 1 0 0 15 0 1 0 947895362 289652736 5649 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 72114768642583372 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5649 376 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=10.92 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8910 0 0 0 1075 17 0 0 25 0 1 0 947895362 40058880 7552 33554432000 4194304 13684479 140737443830992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18004/statm: 9780 7552 797 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 615092
[startup+11.701 s]
/proc/loadavg: 2.33 1.15 0.45 3/518 18004
/proc/meminfo: memFree=23451532/32951124 swapFree=56297244/67111528
[pid=17996] ppid=17994 vsize=293108 CPUtime=0.41 cores=0,2,4,6
/proc/17996/stat : 17996 (python) S 17994 17996 17566 0 -1 4202496 9641 933 1 0 31 10 0 0 19 0 2 0 947895309 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469892555 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/17996/statm: 73277 7147 1870 364 0 8164 0
[pid=18002] ppid=17996 vsize=282864 CPUtime=0.03 cores=0,2,4,6
/proc/18002/stat : 18002 (python) S 17996 17996 17566 0 -1 4202560 900 0 0 0 2 1 0 0 15 0 1 0 947895362 289652736 5649 33554432000 4194304 5683644 140734876322624 18446744073709551615 252458085903 0 0 16781312 33554946 72114768642583372 0 0 17 0 0 0 0
/proc/18002/statm: 70716 5649 376 364 0 5603 0
[pid=18004] ppid=18002 vsize=39120 CPUtime=11.13 cores=0,2,4,6
/proc/18004/stat : 18004 (scip-2.0.1.linu) R 18002 18004 18004 0 -1 4202496 8910 0 0 0 1095 18 0 0 25 0 1 0 947895362 40058880 7552 33554432000 4194304 13684479 140737443830992 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/18004/statm: 9780 7552 797 2317 0 7458 0
[pid=17996/tid=18003] ppid=17994 vsize=293108 CPUtime=0 cores=0,2,4,6
/proc/17996/task/18003/stat : 18003 (python) S 17994 17996 17566 0 -1 4202560 28 933 0 0 0 0 0 0 19 0 2 0 947895362 300142592 7147 33554432000 4194304 5683644 140734876322624 18446744073709551615 252469889457 0 0 16781312 33554434 18446604447982700544 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 615092
Child status: 0
Real time (s): 11.7759
CPU time (s): 11.6822
CPU user time (s): 11.3653
CPU system time (s): 0.316951
CPU usage (%): 99.2042
Max. virtual memory (cumulated for all children) (KiB): 615444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3653
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25104
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= 1448
involuntary context switches= 482
runsolver used 0.067989 second user time and 0.116982 second system time
The end