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-3481950-1307576354/watcher-3481950-1307576354 -o /tmp/evaluation-result-3481950-1307576354/solver-3481950-1307576354 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481950-1307576354.opb -seed 150346422 -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: 0.00 0.00 0.00 2/516 30400
/proc/meminfo: memFree=23139092/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (runsolver) S 30398 30400 30366 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 850052041 12079104 53 33554432000 4194304 5432328 140735318867088 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 5 0 0 0
/proc/30400/statm: 2949 53 34 303 0 2643 0
[startup+0.0616081 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 30400
/proc/meminfo: memFree=23139092/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (python) D 30398 30400 30366 0 -1 4194304 75 0 1 0 0 0 0 0 18 0 1 0 850052041 2011136 28 33554432000 4194304 5683644 140734850595744 18446744073709551615 228090528784 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 2
/proc/30400/statm: 491 28 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.100659 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 30400
/proc/meminfo: memFree=23139092/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4194304 97 0 2 0 0 0 0 0 17 0 1 0 850052041 6389760 51 33554432000 4194304 5683644 140734850595744 18446744073709551615 228090527367 0 2147483391 4096 0 18446744071699207358 0 0 17 7 0 0 4
/proc/30400/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.300611 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 30400
/proc/meminfo: memFree=23139092/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 610 0 7 0 0 0 0 0 16 0 1 0 850052041 15441920 513 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 8
/proc/30400/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700542 s]
/proc/loadavg: 0.00 0.00 0.00 2/516 30400
/proc/meminfo: memFree=23139092/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 717 0 7 0 0 0 0 0 15 0 1 0 850052041 15548416 614 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095446885 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 17
/proc/30400/statm: 3796 614 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184
[startup+1.50039 s]
/proc/loadavg: 0.00 0.00 0.00 1/522 30406
/proc/meminfo: memFree=23132608/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/30400/stat : 30400 (python) D 30398 30400 30366 0 -1 4202496 937 0 7 0 0 0 0 0 16 0 1 0 850052041 16289792 820 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 7 0 0 25
/proc/30400/statm: 3977 820 357 364 0 464 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908
[startup+3.10105 s]
/proc/loadavg: 0.00 0.00 0.00 1/522 30406
/proc/meminfo: memFree=23127656/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=20980 CPUtime=0.04 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 1293 0 9 0 3 1 0 0 16 0 1 0 850052041 21483520 1153 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095446964 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 41
/proc/30400/statm: 5245 1153 428 364 0 692 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20980
heavy processes:
[startup+6.30054 s]
/proc/loadavg: 0.08 0.02 0.01 1/522 30406
/proc/meminfo: memFree=23121452/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=36512 CPUtime=0.05 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 1564 0 14 0 4 1 0 0 15 0 1 0 850052041 37388288 1412 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 58
/proc/30400/statm: 9128 1412 452 364 0 945 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 36512
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.15 0.03 0.01 1/522 30406
/proc/meminfo: memFree=23116116/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=52384 CPUtime=0.07 cores=1,3,5,7
/proc/30400/stat : 30400 (python) D 30398 30400 30366 0 -1 4202496 1998 0 19 0 5 2 0 0 16 0 1 0 850052041 53641216 1776 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095446885 0 0 16781312 2 0 0 0 17 7 0 0 121
/proc/30400/statm: 13096 1776 484 364 0 1277 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 52384
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 0.34 0.08 0.02 1/522 30416
/proc/meminfo: memFree=23093340/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=124024 CPUtime=0.26 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 5403 921 39 9 16 10 0 0 16 0 1 0 850052041 127000576 3796 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095446964 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 248
/proc/30400/statm: 31006 3796 987 364 0 2838 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 124024
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 0.47 0.11 0.04 1/522 30416
/proc/meminfo: memFree=23061868/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=240448 CPUtime=0.43 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 7607 921 99 9 29 14 0 0 16 0 1 0 850052041 246218752 5883 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 347
/proc/30400/statm: 60112 5883 1590 364 0 4705 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 240448
[startup+31.9198 s]
/proc/loadavg: 0.47 0.11 0.04 1/522 30416
/proc/meminfo: memFree=23053680/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=271352 CPUtime=0.5 cores=1,3,5,7
/proc/30400/stat : 30400 (python) D 30398 30400 30366 0 -1 4202496 8649 921 111 9 33 17 0 0 16 0 1 0 850052041 277864448 6713 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 7 0 0 448
/proc/30400/statm: 67838 6713 1716 364 0 5389 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 271352
[startup+33.5005 s]
/proc/loadavg: 0.51 0.13 0.04 3/528 30422
/proc/meminfo: memFree=23006456/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=293100 CPUtime=0.56 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 9523 921 112 9 38 18 0 0 18 0 2 0 850052041 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 470
/proc/30400/statm: 73275 7143 1870 364 0 8162 0
[pid=30418] ppid=30400 vsize=282856 CPUtime=0 cores=1,3,5,7
/proc/30418/stat : 30418 (python) S 30400 30400 30366 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 850055272 289644544 5621 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095471119 0 0 16781312 33554946 3168264015524659200 0 0 17 7 0 0 0
/proc/30418/statm: 70714 5621 352 364 0 5601 0
[pid=30421] ppid=30418 vsize=38688 CPUtime=1.17 cores=1,3,5,7
/proc/30421/stat : 30421 (scip-2.0.1.linu) R 30418 30421 30421 0 -1 4202496 7723 0 0 0 103 14 0 0 18 0 1 0 850055273 39616512 7078 33554432000 4194304 13684479 140736140645264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30421/statm: 9672 7078 827 2317 0 7350 0
[pid=30400/tid=30420] ppid=30398 vsize=293100 CPUtime=0 cores=1,3,5,7
/proc/30400/task/30420/stat : 30420 (python) S 30398 30400 30366 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 850055272 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107274673 0 0 16781312 33554434 18446604461275000896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 614644
[startup+33.9004 s]
/proc/loadavg: 0.51 0.13 0.04 3/528 30422
/proc/meminfo: memFree=23006456/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=293100 CPUtime=0.56 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 9523 921 112 9 38 18 0 0 18 0 2 0 850052041 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 470
/proc/30400/statm: 73275 7143 1870 364 0 8162 0
[pid=30418] ppid=30400 vsize=282856 CPUtime=0 cores=1,3,5,7
/proc/30418/stat : 30418 (python) S 30400 30400 30366 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 850055272 289644544 5621 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095471119 0 0 16781312 33554946 3885392209561780224 0 0 17 7 0 0 0
/proc/30418/statm: 70714 5621 352 364 0 5601 0
[pid=30421] ppid=30418 vsize=38688 CPUtime=1.57 cores=1,3,5,7
/proc/30421/stat : 30421 (scip-2.0.1.linu) R 30418 30421 30421 0 -1 4202496 7723 0 0 0 138 19 0 0 18 0 1 0 850055273 39616512 7078 33554432000 4194304 13684479 140736140645264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30421/statm: 9672 7078 827 2317 0 7350 0
[pid=30400/tid=30420] ppid=30398 vsize=293100 CPUtime=0 cores=1,3,5,7
/proc/30400/task/30420/stat : 30420 (python) S 30398 30400 30366 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 850055272 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107274673 0 0 16781312 33554434 18446604461275000896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 614644
[startup+34.1204 s]
/proc/loadavg: 0.51 0.13 0.04 3/528 30423
/proc/meminfo: memFree=22999192/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=293100 CPUtime=0.56 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 9523 921 112 9 38 18 0 0 18 0 2 0 850052041 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 470
/proc/30400/statm: 73275 7143 1870 364 0 8162 0
[pid=30418] ppid=30400 vsize=282856 CPUtime=0 cores=1,3,5,7
/proc/30418/stat : 30418 (python) S 30400 30400 30366 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 850055272 289644544 5621 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095471119 0 0 16781312 33554946 986033678373093376 0 0 17 7 0 0 0
/proc/30418/statm: 70714 5621 352 364 0 5601 0
[pid=30421] ppid=30418 vsize=38688 CPUtime=1.79 cores=1,3,5,7
/proc/30421/stat : 30421 (scip-2.0.1.linu) R 30418 30421 30421 0 -1 4202496 7724 0 0 0 158 21 0 0 18 0 1 0 850055273 39616512 7079 33554432000 4194304 13684479 140736140645264 18446744073709551615 6051749 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30421/statm: 9672 7079 828 2317 0 7350 0
[pid=30400/tid=30420] ppid=30398 vsize=293100 CPUtime=0 cores=1,3,5,7
/proc/30400/task/30420/stat : 30420 (python) S 30398 30400 30366 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 850055272 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107274673 0 0 16781312 33554434 18446604461275000896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 614644
[startup+34.2004 s]
/proc/loadavg: 0.51 0.13 0.04 3/528 30423
/proc/meminfo: memFree=22999192/32951124 swapFree=57370024/67111528
[pid=30400] ppid=30398 vsize=293100 CPUtime=0.56 cores=1,3,5,7
/proc/30400/stat : 30400 (python) S 30398 30400 30366 0 -1 4202496 9523 921 112 9 38 18 0 0 18 0 2 0 850052041 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 470
/proc/30400/statm: 73275 7143 1870 364 0 8162 0
[pid=30418] ppid=30400 vsize=282856 CPUtime=0 cores=1,3,5,7
/proc/30418/stat : 30418 (python) S 30400 30400 30366 0 -1 4202560 756 0 0 0 0 0 0 0 15 0 1 0 850055272 289644544 5621 33554432000 4194304 5683644 140734850595744 18446744073709551615 228095471119 0 0 16781312 33554946 986033678373093376 0 0 17 7 0 0 0
/proc/30418/statm: 70714 5621 352 364 0 5601 0
[pid=30421] ppid=30418 vsize=38688 CPUtime=1.87 cores=1,3,5,7
/proc/30421/stat : 30421 (scip-2.0.1.linu) R 30418 30421 30421 0 -1 4202496 7724 0 0 0 165 22 0 0 18 0 1 0 850055273 39616512 7079 33554432000 4194304 13684479 140736140645264 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/30421/statm: 9672 7079 828 2317 0 7350 0
[pid=30400/tid=30420] ppid=30398 vsize=293100 CPUtime=0 cores=1,3,5,7
/proc/30400/task/30420/stat : 30420 (python) S 30398 30400 30366 0 -1 4202560 27 921 0 9 0 0 0 0 18 0 2 0 850055272 300134400 7143 33554432000 4194304 5683644 140734850595744 18446744073709551615 228107274673 0 0 16781312 33554434 18446604461275000896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 614644
Child status: 0
Real time (s): 34.2617
CPU time (s): 2.51562
CPU user time (s): 2.09068
CPU system time (s): 0.424935
CPU usage (%): 7.34237
Max. virtual memory (cumulated for all children) (KiB): 614644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.09068
system time used= 0.424935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23671
page faults= 121
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17336
involuntary context switches= 70
runsolver used 0.172973 second user time and 0.499924 second system time
The end