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-3481380-1307577822/watcher-3481380-1307577822 -o /tmp/evaluation-result-3481380-1307577822/solver-3481380-1307577822 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481380-1307577822.opb -seed 1389788609 -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.13 2.12 1.64 2/717 24401
/proc/meminfo: memFree=18772976/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/24401/stat : 24401 (python) R 24399 24401 22387 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 948012947 16625664 869 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905054917 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24401/statm: 4059 869 368 364 0 546 0
[startup+0.0472811 s]
/proc/loadavg: 2.13 2.12 1.64 2/717 24401
/proc/meminfo: memFree=18772976/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=29784 CPUtime=0.02 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 1414 0 0 0 2 0 0 0 17 0 1 0 948012947 30498816 1257 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/24401/statm: 7446 1257 443 364 0 816 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29784
[startup+0.111833 s]
/proc/loadavg: 2.13 2.12 1.64 2/717 24401
/proc/meminfo: memFree=18772976/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/24401/stat : 24401 (python) R 24399 24401 22387 0 -1 4202496 3169 930 1 0 6 1 0 0 18 0 1 0 948012947 98430976 2483 33554432000 4194304 5683644 140735174500496 18446744073709551615 5170248 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24401/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300839 s]
/proc/loadavg: 2.13 2.12 1.64 2/717 24401
/proc/meminfo: memFree=18772976/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=173420 CPUtime=0.23 cores=0,2,4,6
/proc/24401/stat : 24401 (python) R 24399 24401 22387 0 -1 4202496 6233 930 1 0 17 6 0 0 17 0 1 0 948012947 177582080 4543 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905437319 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24401/statm: 43355 4543 1232 364 0 3533 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 173420
[startup+0.700787 s]
/proc/loadavg: 2.13 2.12 1.64 2/717 24401
/proc/meminfo: memFree=18772976/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293272
[startup+1.50064 s]
/proc/loadavg: 2.12 2.12 1.64 3/721 24411
/proc/meminfo: memFree=18732768/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 832 0 0 0 0 0 0 0 15 0 1 0 948013003 289820672 5618 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 2194528250154188800 0 0 17 0 0 0 0
/proc/24409/statm: 70757 5618 325 364 0 5644 0
[pid=24411] ppid=24409 vsize=25692 CPUtime=0.92 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 7488 0 0 0 89 3 0 0 19 0 1 0 948013003 26308608 4255 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 6423 4255 816 2317 0 4101 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 601992
[startup+3.10023 s]
/proc/loadavg: 2.12 2.12 1.64 3/721 24411
/proc/meminfo: memFree=18731528/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 1 0 948013003 289820672 5618 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 1334120187640676352 0 0 17 0 0 0 0
/proc/24409/statm: 70757 5618 325 364 0 5644 0
[pid=24411] ppid=24409 vsize=26612 CPUtime=2.53 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 7676 0 0 0 238 15 0 0 19 0 1 0 948013003 27250688 4443 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 6653 4443 817 2317 0 4331 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 602912
[startup+6.30076 s]
/proc/loadavg: 2.12 2.12 1.64 3/721 24411
/proc/meminfo: memFree=18728824/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.03 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 969 0 0 0 2 1 0 0 15 0 1 0 948013003 289820672 5641 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 2190598788870045696 0 0 17 0 0 0 0
/proc/24409/statm: 70757 5641 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=30828 CPUtime=5.73 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 8692 0 0 0 542 31 0 0 18 0 1 0 948013003 31567872 5459 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 7707 5459 817 2317 0 5385 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 607128
[startup+12.7005 s]
/proc/loadavg: 2.10 2.11 1.64 3/721 24411
/proc/meminfo: memFree=18717684/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.07 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 991 0 0 0 4 3 0 0 15 0 1 0 948013003 289820672 5644 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 3864908359475920896 0 0 17 6 0 0 0
/proc/24409/statm: 70757 5644 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=37020 CPUtime=12.13 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 10272 0 0 0 1146 67 0 0 18 0 1 0 948013003 37908480 7035 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 9255 7035 818 2317 0 6933 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 613320
Solver just ended. Dumping a history of the last processes samples
[startup+15.901 s]
/proc/loadavg: 2.10 2.11 1.64 3/721 24411
/proc/meminfo: memFree=18712740/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.1 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 999 0 0 0 5 5 0 0 15 0 1 0 948013003 289820672 5648 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 516597476656939008 0 0 17 6 0 0 0
/proc/24409/statm: 70757 5648 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=38652 CPUtime=15.33 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 10719 0 0 0 1453 80 0 0 18 0 1 0 948013003 39579648 7482 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 9663 7482 818 2317 0 7341 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 614952
[startup+16.7007 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24411
/proc/meminfo: memFree=18711252/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.1 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 999 0 0 0 5 5 0 0 15 0 1 0 948013003 289820672 5648 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 3874647330963587072 0 0 17 6 0 0 0
/proc/24409/statm: 70757 5648 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=38940 CPUtime=16.12 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 10781 0 0 0 1526 86 0 0 19 0 1 0 948013003 39874560 7544 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 9735 7544 818 2317 0 7413 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.66
Current children cumulated vsize (KiB) 615240
[startup+17.1007 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24411
/proc/meminfo: memFree=18711252/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.1 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 999 0 0 0 5 5 0 0 15 0 1 0 948013003 289820672 5648 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 1383236226751922176 0 0 17 6 0 0 0
/proc/24409/statm: 70757 5648 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=39492 CPUtime=16.52 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 10935 0 0 0 1564 88 0 0 19 0 1 0 948013003 40439808 7698 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 9873 7698 818 2317 0 7551 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 615792
[startup+17.5007 s]
/proc/loadavg: 2.09 2.11 1.65 3/721 24411
/proc/meminfo: memFree=18709144/32950928 swapFree=61542368/67111528
[pid=24401] ppid=24399 vsize=293272 CPUtime=0.44 cores=0,2,4,6
/proc/24401/stat : 24401 (python) S 24399 24401 22387 0 -1 4202496 10698 1321 1 0 35 9 0 0 19 0 2 0 948012947 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917220811 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/24401/statm: 73318 7168 1871 364 0 8205 0
[pid=24409] ppid=24401 vsize=283028 CPUtime=0.1 cores=0,2,4,6
/proc/24409/stat : 24409 (python) S 24401 24401 22387 0 -1 4202560 999 0 0 0 5 5 0 0 15 0 1 0 948013003 289820672 5648 33554432000 4194304 5683644 140735174500496 18446744073709551615 260905414159 0 0 16781312 33554946 2890493899078369280 0 0 17 6 0 0 0
/proc/24409/statm: 70757 5648 348 364 0 5644 0
[pid=24411] ppid=24409 vsize=39804 CPUtime=16.94 cores=0,2,4,6
/proc/24411/stat : 24411 (scip-2.0.1.linu) R 24409 24411 24411 0 -1 4202496 10963 0 0 0 1604 90 0 0 20 0 1 0 948013003 40759296 7726 33554432000 4194304 13684479 140736819968400 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/24411/statm: 9951 7726 818 2317 0 7629 0
[pid=24401/tid=24410] ppid=24399 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/24401/task/24410/stat : 24410 (python) S 24399 24401 22387 0 -1 4202560 26 1321 0 0 0 0 0 0 19 0 2 0 948013003 300310528 7168 33554432000 4194304 5683644 140735174500496 18446744073709551615 260917217713 0 0 16781312 33554434 18446604441414736000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 616104
Child status: 0
Real time (s): 17.6075
CPU time (s): 17.6233
CPU user time (s): 16.5505
CPU system time (s): 1.07284
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 616104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5505
system time used= 1.07284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28731
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= 1668
involuntary context switches= 49
runsolver used 0.108983 second user time and 0.215967 second system time
The end