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-3482098-1307577259/watcher-3482098-1307577259 -o /tmp/evaluation-result-3482098-1307577259/solver-3482098-1307577259 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482098-1307577259.opb -seed 696822104 -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.05 1.95 1.25 2/590 28499
/proc/meminfo: memFree=20360912/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/28499/stat : 28499 (python) R 28497 28499 27243 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 850141900 16629760 918 33554432000 4194304 5683644 140735418562240 18446744073709551615 5005972 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28499/statm: 4060 918 381 364 0 547 0
[startup+0.0947339 s]
/proc/loadavg: 2.05 1.95 1.25 2/590 28499
/proc/meminfo: memFree=20360912/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=96124 CPUtime=0.05 cores=1,3,5,7
/proc/28499/stat : 28499 (python) R 28497 28499 27243 0 -1 4202496 3002 464 1 0 4 1 0 0 18 0 1 0 850141900 98430976 2483 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816056725 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28499/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 96124
[startup+0.100682 s]
/proc/loadavg: 2.05 1.95 1.25 2/590 28499
/proc/meminfo: memFree=20360912/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/28499/stat : 28499 (python) R 28497 28499 27243 0 -1 4202496 3168 930 1 0 5 1 0 0 18 0 1 0 850141900 98430976 2483 33554432000 4194304 5683644 140735418562240 18446744073709551615 5170229 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28499/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300649 s]
/proc/loadavg: 2.05 1.95 1.25 2/590 28499
/proc/meminfo: memFree=20360912/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=184596 CPUtime=0.22 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 6359 930 1 0 17 5 0 0 17 0 1 0 850141900 189026304 4656 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28499/statm: 46149 4656 1251 364 0 3655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184596
[startup+0.700573 s]
/proc/loadavg: 2.05 1.95 1.25 2/590 28499
/proc/meminfo: memFree=20360912/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293088
[startup+1.50046 s]
/proc/loadavg: 2.05 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20312644/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 1 0 850141952 289632256 5620 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 3495013986259173376 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5620 352 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=0.96 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7180 0 0 0 86 10 0 0 18 0 1 0 850141952 37535744 6558 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6558 801 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 612588
[startup+3.10116 s]
/proc/loadavg: 2.05 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20311644/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 850141952 289632256 5620 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 4280848059165835264 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5620 352 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=2.56 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7180 0 0 0 234 22 0 0 22 0 1 0 850141952 37535744 6558 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6558 801 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 612588
[startup+6.30058 s]
/proc/loadavg: 2.04 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20308336/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0.02 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 905 0 0 0 1 1 0 0 15 0 1 0 850141952 289632256 5644 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5644 376 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=5.75 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7380 0 0 0 529 46 0 0 20 0 1 0 850141952 37535744 6758 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6758 805 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 612588
Solver just ended. Dumping a history of the last processes samples
[startup+6.7005 s]
/proc/loadavg: 2.04 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20311676/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0.02 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 907 0 0 0 1 1 0 0 15 0 1 0 850141952 289632256 5644 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 351219696499949568 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5644 376 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=6.15 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7380 0 0 0 565 50 0 0 21 0 1 0 850141952 37535744 6758 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6758 805 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 612588
[startup+7.10043 s]
/proc/loadavg: 2.04 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20311676/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 910 0 0 0 2 1 0 0 15 0 1 0 850141952 289632256 5644 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 2296481092904943616 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5644 376 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=6.54 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7380 0 0 0 602 52 0 0 22 0 1 0 850141952 37535744 6758 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6758 805 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 612588
[startup+7.20041 s]
/proc/loadavg: 2.04 1.95 1.25 3/594 28507
/proc/meminfo: memFree=20311676/32951124 swapFree=60476376/67111528
[pid=28499] ppid=28497 vsize=293088 CPUtime=0.4 cores=1,3,5,7
/proc/28499/stat : 28499 (python) S 28497 28499 27243 0 -1 4202496 9640 930 1 0 32 8 0 0 19 0 2 0 850141900 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28499/statm: 73272 7142 1870 364 0 8159 0
[pid=28505] ppid=28499 vsize=282844 CPUtime=0.03 cores=1,3,5,7
/proc/28505/stat : 28505 (python) S 28499 28499 27243 0 -1 4202560 910 0 0 0 2 1 0 0 15 0 1 0 850141952 289632256 5644 33554432000 4194304 5683644 140735418562240 18446744073709551615 220816256527 0 0 16781312 33554946 2296481092904943616 0 0 17 5 0 0 0
/proc/28505/statm: 70711 5644 376 364 0 5598 0
[pid=28507] ppid=28505 vsize=36656 CPUtime=6.65 cores=1,3,5,7
/proc/28507/stat : 28507 (scip-2.0.1.linu) R 28505 28507 28507 0 -1 4202496 7380 0 0 0 612 53 0 0 22 0 1 0 850141952 37535744 6758 33554432000 4194304 13684479 140734686900576 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28507/statm: 9164 6758 805 2317 0 6842 0
[pid=28499/tid=28506] ppid=28497 vsize=293088 CPUtime=0 cores=1,3,5,7
/proc/28499/task/28506/stat : 28506 (python) S 28497 28499 27243 0 -1 4202560 25 930 0 0 0 0 0 0 19 0 2 0 850141952 300122112 7142 33554432000 4194304 5683644 140735418562240 18446744073709551615 220828060081 0 0 16781312 33554434 18446604461076472256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 612588
Child status: 0
Real time (s): 7.29607
CPU time (s): 7.1989
CPU user time (s): 6.557
CPU system time (s): 0.641902
CPU usage (%): 98.6682
Max. virtual memory (cumulated for all children) (KiB): 612588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.557
system time used= 0.641902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23565
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= 1740
involuntary context switches= 748
runsolver used 0.029995 second user time and 0.090986 second system time
The end