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-3482044-1307576746/watcher-3482044-1307576746 -o /tmp/evaluation-result-3482044-1307576746/solver-3482044-1307576746 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482044-1307576746.opb -seed 1097835597 -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.14 1.47 0.67 2/621 30912
/proc/meminfo: memFree=29775900/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=16244 CPUtime=0.01 cores=1,3,5,7
/proc/30912/stat : 30912 (python) R 30910 30912 30488 0 -1 4202496 1052 0 0 0 1 0 0 0 25 0 1 0 869273486 16633856 923 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272688896 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30912/statm: 4061 923 381 364 0 548 0
[startup+0.0715819 s]
/proc/loadavg: 2.14 1.47 0.67 2/621 30912
/proc/meminfo: memFree=29775900/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=45816 CPUtime=0.05 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 1929 0 0 0 4 1 0 0 25 0 1 0 869273486 46915584 1701 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/30912/statm: 11454 1701 470 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 45816
[startup+0.100576 s]
/proc/loadavg: 2.14 1.47 0.67 2/621 30912
/proc/meminfo: memFree=29775900/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 3035 465 1 0 5 2 0 0 25 0 1 0 869273486 98435072 2483 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272688896 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/30912/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300541 s]
/proc/loadavg: 2.14 1.47 0.67 2/621 30912
/proc/meminfo: memFree=29775900/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=170748 CPUtime=0.23 cores=1,3,5,7
/proc/30912/stat : 30912 (python) R 30910 30912 30488 0 -1 4202496 6065 930 1 0 17 6 0 0 25 0 1 0 869273486 174845952 4380 33554432000 4194304 5683644 140736248826032 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/30912/statm: 42687 4382 1226 364 0 3386 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 170748
[startup+0.700469 s]
/proc/loadavg: 2.14 1.47 0.67 2/621 30912
/proc/meminfo: memFree=29775900/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293448
[startup+1.50032 s]
/proc/loadavg: 2.14 1.47 0.67 3/625 30920
/proc/meminfo: memFree=29729484/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869273542 290000896 5708 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 3901443395700129792 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5708 352 364 0 5688 0
[pid=30920] ppid=30918 vsize=32568 CPUtime=0.93 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 6629 0 0 0 87 6 0 0 21 0 1 0 869273542 33349632 5914 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 8142 5914 811 2317 0 5820 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 609220
[startup+3.10104 s]
/proc/loadavg: 2.14 1.47 0.67 3/625 30920
/proc/meminfo: memFree=29712496/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 1 0 869273542 290000896 5708 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 2633887538925797376 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5708 352 364 0 5688 0
[pid=30920] ppid=30918 vsize=32568 CPUtime=2.53 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 7491 0 0 0 240 13 0 0 25 0 1 0 869273542 33349632 6005 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 8142 6005 804 2317 0 5820 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 609220
[startup+6.30047 s]
/proc/loadavg: 2.29 1.51 0.69 3/625 30920
/proc/meminfo: memFree=29701724/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0.02 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 916 0 0 0 1 1 0 0 15 0 1 0 869273542 290000896 5732 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 11730251371293671688 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5732 376 364 0 5688 0
[pid=30920] ppid=30918 vsize=32776 CPUtime=5.73 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 7511 0 0 0 549 24 0 0 25 0 1 0 869273542 33562624 6025 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 8194 6025 804 2317 0 5872 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 609428
[startup+12.7003 s]
/proc/loadavg: 2.26 1.52 0.69 3/625 30920
/proc/meminfo: memFree=29686736/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0.05 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 919 0 0 0 2 3 0 0 15 0 1 0 869273542 290000896 5732 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 4154956189693640704 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5732 376 364 0 5688 0
[pid=30920] ppid=30918 vsize=33136 CPUtime=12.13 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 7620 0 0 0 1163 50 0 0 25 0 1 0 869273542 33931264 6134 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 8284 6134 807 2317 0 5962 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 609788
Solver just ended. Dumping a history of the last processes samples
[startup+14.1011 s]
/proc/loadavg: 2.26 1.52 0.69 3/625 30920
/proc/meminfo: memFree=29675956/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0.07 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 921 0 0 0 3 4 0 0 15 0 1 0 869273542 290000896 5732 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 2199561552393142272 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5732 376 364 0 5688 0
[pid=30920] ppid=30918 vsize=45340 CPUtime=13.53 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 10603 0 0 0 1296 57 0 0 25 0 1 0 869273542 46428160 9117 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 11335 9117 820 2317 0 9013 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 621992
[startup+14.501 s]
/proc/loadavg: 2.24 1.53 0.70 3/625 30920
/proc/meminfo: memFree=29675212/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0.07 cores=1,3,5,7
/proc/30918/stat : 30918 (python) R 30912 30912 30488 0 -1 4202560 921 0 0 0 3 4 0 0 15 0 1 0 869273542 290000896 5732 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 0 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5732 376 364 0 5688 0
[pid=30920] ppid=30918 vsize=45340 CPUtime=13.95 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 10603 0 0 0 1336 59 0 0 25 0 1 0 869273542 46428160 9117 33554432000 4194304 13684479 140737103150624 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/30920/statm: 11335 9117 820 2317 0 9013 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 621992
[startup+14.701 s]
/proc/loadavg: 2.24 1.53 0.70 3/625 30920
/proc/meminfo: memFree=29675212/32950928 swapFree=43925852/67111528
[pid=30912] ppid=30910 vsize=293448 CPUtime=0.45 cores=1,3,5,7
/proc/30912/stat : 30912 (python) S 30910 30912 30488 0 -1 4202496 9727 930 1 0 36 9 0 0 19 0 2 0 869273486 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284515787 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/30912/statm: 73362 7230 1870 364 0 8249 0
[pid=30918] ppid=30912 vsize=283204 CPUtime=0.07 cores=1,3,5,7
/proc/30918/stat : 30918 (python) S 30912 30912 30488 0 -1 4202560 940 0 0 0 3 4 0 0 16 0 1 0 869273542 290000896 5732 33554432000 4194304 5683644 140736248826032 18446744073709551615 268272709135 0 0 16781312 33554946 635705853306994688 0 0 17 7 0 0 0
/proc/30918/statm: 70801 5732 376 364 0 5688 0
[pid=30920] ppid=30918 vsize=45340 CPUtime=14.12 cores=1,3,5,7
/proc/30920/stat : 30920 (scip-2.0.1.linu) R 30918 30920 30920 0 -1 4202496 10604 0 0 0 1353 59 0 0 18 0 1 0 869273542 46428160 9118 33554432000 4194304 13684479 140737103150624 18446744073709551615 5095476 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30920/statm: 11335 9118 821 2317 0 9013 0
[pid=30912/tid=30919] ppid=30910 vsize=293448 CPUtime=0 cores=1,3,5,7
/proc/30912/task/30919/stat : 30919 (python) S 30910 30912 30488 0 -1 4202560 30 930 0 0 0 0 0 0 19 0 2 0 869273542 300490752 7230 33554432000 4194304 5683644 140736248826032 18446744073709551615 268284512689 0 0 16781312 33554434 18446604470075738048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.64
Current children cumulated vsize (KiB) 621992
Child status: 0
Real time (s): 14.7288
CPU time (s): 14.7138
CPU user time (s): 13.9619
CPU system time (s): 0.751885
CPU usage (%): 99.898
Max. virtual memory (cumulated for all children) (KiB): 621992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9619
system time used= 0.751885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27023
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= 1349
involuntary context switches= 51
runsolver used 0.080987 second user time and 0.197969 second system time
The end