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-3481282-1307577802/watcher-3481282-1307577802 -o /tmp/evaluation-result-3481282-1307577802/solver-3481282-1307577802 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481282-1307577802.opb -seed 453528138 -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.04 2.06 1.59 2/591 22238
/proc/meminfo: memFree=30336532/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/22238/stat : 22238 (python) R 22236 22238 21589 0 -1 4202496 1050 0 0 0 0 0 0 0 17 0 1 0 850196527 16625664 921 33554432000 4194304 5683644 140734079265808 18446744073709551615 5293775 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22238/statm: 4059 921 381 364 0 546 0
[startup+0.0895199 s]
/proc/loadavg: 2.04 2.06 1.59 2/591 22238
/proc/meminfo: memFree=30336532/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=87840 CPUtime=0.05 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 2707 0 1 0 4 1 0 0 17 0 1 0 850196527 89948160 2419 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039653376 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/22238/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87840
[startup+0.100515 s]
/proc/loadavg: 2.04 2.06 1.59 2/591 22238
/proc/meminfo: memFree=30336532/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=96124 CPUtime=0.06 cores=0,2,4,6
/proc/22238/stat : 22238 (python) R 22236 22238 21589 0 -1 4202496 3169 928 1 0 5 1 0 0 18 0 1 0 850196527 98430976 2483 33554432000 4194304 5683644 140734079265808 18446744073709551615 5178128 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22238/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.300482 s]
/proc/loadavg: 2.04 2.06 1.59 2/591 22238
/proc/meminfo: memFree=30336532/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=184248 CPUtime=0.22 cores=0,2,4,6
/proc/22238/stat : 22238 (python) R 22236 22238 21589 0 -1 4202496 6289 928 1 0 17 5 0 0 17 0 1 0 850196527 188669952 4595 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039349739 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/22238/statm: 46062 4608 1251 364 0 3568 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184248
[startup+0.70041 s]
/proc/loadavg: 2.04 2.06 1.59 2/591 22238
/proc/meminfo: memFree=30336532/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293272
[startup+1.50031 s]
/proc/loadavg: 2.04 2.06 1.59 3/595 22247
/proc/meminfo: memFree=30271052/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
[pid=22245] ppid=22238 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/22245/stat : 22245 (python) S 22238 22238 21589 0 -1 4202560 832 0 0 0 0 0 0 0 15 0 1 0 850196581 289820672 5635 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039675407 0 0 16781312 33554946 2679313397970894848 0 0 17 4 0 0 0
/proc/22245/statm: 70757 5635 325 364 0 5644 0
[pid=22247] ppid=22245 vsize=50580 CPUtime=0.94 cores=0,2,4,6
/proc/22247/stat : 22247 (scip-2.0.1.linu) R 22245 22247 22247 0 -1 4202496 13661 0 0 0 89 5 0 0 18 0 1 0 850196581 51793920 10252 33554432000 4194304 13684479 140734934958544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22247/statm: 12645 10252 837 2317 0 10323 0
[pid=22238/tid=22246] ppid=22236 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/22238/task/22246/stat : 22246 (python) S 22236 22238 21589 0 -1 4202560 26 1322 0 0 0 0 0 0 20 0 2 0 850196581 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447256344384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 626880
[startup+3.10099 s]
/proc/loadavg: 2.04 2.06 1.59 3/595 22247
/proc/meminfo: memFree=30266712/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
[pid=22245] ppid=22238 vsize=283028 CPUtime=0 cores=0,2,4,6
/proc/22245/stat : 22245 (python) S 22238 22238 21589 0 -1 4202560 836 0 0 0 0 0 0 0 15 0 1 0 850196581 289820672 5635 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039675407 0 0 16781312 33554946 899978291996262400 0 0 17 4 0 0 0
/proc/22245/statm: 70757 5635 325 364 0 5644 0
[pid=22247] ppid=22245 vsize=50580 CPUtime=2.55 cores=0,2,4,6
/proc/22247/stat : 22247 (scip-2.0.1.linu) R 22245 22247 22247 0 -1 4202496 13665 0 0 0 242 13 0 0 18 0 1 0 850196581 51793920 10256 33554432000 4194304 13684479 140734934958544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22247/statm: 12645 10256 837 2317 0 10323 0
[pid=22238/tid=22246] ppid=22236 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/22238/task/22246/stat : 22246 (python) S 22236 22238 21589 0 -1 4202560 26 1322 0 0 0 0 0 0 20 0 2 0 850196581 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447256344384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 626880
Solver just ended. Dumping a history of the last processes samples
[startup+4.70069 s]
/proc/loadavg: 2.04 2.06 1.59 3/595 22247
/proc/meminfo: memFree=30267952/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
[pid=22245] ppid=22238 vsize=283028 CPUtime=0.02 cores=0,2,4,6
/proc/22245/stat : 22245 (python) S 22238 22238 21589 0 -1 4202560 969 0 0 0 1 1 0 0 15 0 1 0 850196581 289820672 5658 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039675407 0 0 16781312 33554946 3690439220180025344 0 0 17 6 0 0 0
/proc/22245/statm: 70757 5658 348 364 0 5644 0
[pid=22247] ppid=22245 vsize=50580 CPUtime=4.14 cores=0,2,4,6
/proc/22247/stat : 22247 (scip-2.0.1.linu) R 22245 22247 22247 0 -1 4202496 13669 0 0 0 395 19 0 0 18 0 1 0 850196581 51793920 10260 33554432000 4194304 13684479 140734934958544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22247/statm: 12645 10260 837 2317 0 10323 0
[pid=22238/tid=22246] ppid=22236 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/22238/task/22246/stat : 22246 (python) S 22236 22238 21589 0 -1 4202560 26 1322 0 0 0 0 0 0 20 0 2 0 850196581 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447256344384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 626880
[startup+5.10065 s]
/proc/loadavg: 2.04 2.06 1.59 3/595 22247
/proc/meminfo: memFree=30267952/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
[pid=22245] ppid=22238 vsize=283028 CPUtime=0.02 cores=0,2,4,6
/proc/22245/stat : 22245 (python) S 22238 22238 21589 0 -1 4202560 971 0 0 0 1 1 0 0 15 0 1 0 850196581 289820672 5658 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039675407 0 0 16781312 33554946 1100268894934794240 0 0 17 6 0 0 0
/proc/22245/statm: 70757 5658 348 364 0 5644 0
[pid=22247] ppid=22245 vsize=50580 CPUtime=4.54 cores=0,2,4,6
/proc/22247/stat : 22247 (scip-2.0.1.linu) R 22245 22247 22247 0 -1 4202496 13669 0 0 0 434 20 0 0 18 0 1 0 850196581 51793920 10260 33554432000 4194304 13684479 140734934958544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22247/statm: 12645 10260 837 2317 0 10323 0
[pid=22238/tid=22246] ppid=22236 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/22238/task/22246/stat : 22246 (python) S 22236 22238 21589 0 -1 4202560 26 1322 0 0 0 0 0 0 20 0 2 0 850196581 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447256344384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 626880
[startup+5.52056 s]
/proc/loadavg: 2.04 2.06 1.59 3/595 22247
/proc/meminfo: memFree=30266356/32951124 swapFree=39903648/67111528
[pid=22238] ppid=22236 vsize=293272 CPUtime=0.41 cores=0,2,4,6
/proc/22238/stat : 22238 (python) S 22236 22238 21589 0 -1 4202496 10713 1322 1 0 33 8 0 0 20 0 2 0 850196527 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051482059 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/22238/statm: 73318 7185 1871 364 0 8205 0
[pid=22245] ppid=22238 vsize=283028 CPUtime=0.02 cores=0,2,4,6
/proc/22245/stat : 22245 (python) S 22238 22238 21589 0 -1 4202560 971 0 0 0 1 1 0 0 15 0 1 0 850196581 289820672 5658 33554432000 4194304 5683644 140734079265808 18446744073709551615 212039675407 0 0 16781312 33554946 2908126638203994112 0 0 17 6 0 0 0
/proc/22245/statm: 70757 5658 348 364 0 5644 0
[pid=22247] ppid=22245 vsize=50580 CPUtime=4.96 cores=0,2,4,6
/proc/22247/stat : 22247 (scip-2.0.1.linu) R 22245 22247 22247 0 -1 4202496 13669 0 0 0 474 22 0 0 18 0 1 0 850196581 51793920 10260 33554432000 4194304 13684479 140734934958544 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/22247/statm: 12645 10260 837 2317 0 10323 0
[pid=22238/tid=22246] ppid=22236 vsize=293272 CPUtime=0 cores=0,2,4,6
/proc/22238/task/22246/stat : 22246 (python) S 22236 22238 21589 0 -1 4202560 26 1322 0 0 0 0 0 0 20 0 2 0 850196581 300310528 7185 33554432000 4194304 5683644 140734079265808 18446744073709551615 212051478961 0 0 16781312 33554434 18446604447256344384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 626880
Child status: 0
Real time (s): 5.59229
CPU time (s): 5.51516
CPU user time (s): 5.17121
CPU system time (s): 0.343947
CPU usage (%): 98.6208
Max. virtual memory (cumulated for all children) (KiB): 626880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.17121
system time used= 0.343947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31453
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= 1450
involuntary context switches= 49
runsolver used 0.034994 second user time and 0.080987 second system time
The end