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-3481492-1307577935/watcher-3481492-1307577935 -o /tmp/evaluation-result-3481492-1307577935/solver-3481492-1307577935 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481492-1307577935.opb -seed 1839330470 -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.19 2.14 1.66 2/653 28377
/proc/meminfo: memFree=15549588/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 1000 0 0 0 0 0 0 0 25 0 1 0 869396314 16625664 872 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/28377/statm: 4059 872 371 364 0 546 0
[startup+0.051685 s]
/proc/loadavg: 2.19 2.14 1.66 2/653 28377
/proc/meminfo: memFree=15549588/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=23204 CPUtime=0.03 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 1323 0 0 0 2 1 0 0 25 0 1 0 869396314 23760896 1172 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28377/statm: 5801 1172 432 364 0 728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23204
[startup+0.100734 s]
/proc/loadavg: 2.19 2.14 1.66 2/653 28377
/proc/meminfo: memFree=15549588/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=85620 CPUtime=0.06 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 2665 0 0 0 4 2 0 0 18 0 1 0 869396314 87674880 2382 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370955264 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28377/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620
[startup+0.300644 s]
/proc/loadavg: 2.19 2.14 1.66 2/653 28377
/proc/meminfo: memFree=15549588/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=123740 CPUtime=0.17 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 5357 930 1 0 11 6 0 0 17 0 1 0 869396314 126709760 3744 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370953221 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/28377/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700562 s]
/proc/loadavg: 2.19 2.14 1.66 2/653 28377
/proc/meminfo: memFree=15549588/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=282404 CPUtime=0.42 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 9207 930 1 0 30 12 0 0 16 0 1 0 869396314 289181696 6938 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 2 4294934786 0 0 17 6 0 0 0
/proc/28377/statm: 70601 6938 1777 364 0 5494 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282404
[startup+1.50045 s]
/proc/loadavg: 2.18 2.14 1.66 3/657 28386
/proc/meminfo: memFree=15496152/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 793 0 0 0 0 0 0 0 15 0 1 0 869396401 291438592 6003 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 2227962835386761216 0 0 17 6 0 0 0
/proc/28384/statm: 71152 6003 325 364 0 6039 0
[pid=28386] ppid=28384 vsize=56244 CPUtime=0.61 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 13498 0 0 0 51 10 0 0 18 0 1 0 869396402 57593856 11537 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 14061 11537 774 2317 0 11739 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 635704
[startup+3.10116 s]
/proc/loadavg: 2.18 2.14 1.66 3/657 28386
/proc/meminfo: memFree=15472844/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 869396401 291438592 6003 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 3532640682910941184 0 0 17 6 0 0 0
/proc/28384/statm: 71152 6003 325 364 0 6039 0
[pid=28386] ppid=28384 vsize=60124 CPUtime=2.21 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 19781 0 0 0 208 13 0 0 18 0 1 0 869396402 61566976 12827 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 15031 12827 934 2317 0 12709 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 639584
[startup+6.31661 s]
/proc/loadavg: 2.16 2.13 1.66 3/657 28386
/proc/meminfo: memFree=15474968/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 926 0 0 0 0 0 0 0 15 0 1 0 869396401 291438592 6026 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 4442606388778074371 0 0 17 2 0 0 0
/proc/28384/statm: 71152 6026 348 364 0 6039 0
[pid=28386] ppid=28384 vsize=60124 CPUtime=5.43 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 19781 0 0 0 527 16 0 0 25 0 1 0 869396402 61566976 12827 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 15031 12827 934 2317 0 12709 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 639584
[startup+12.7005 s]
/proc/loadavg: 2.15 2.13 1.67 3/657 28386
/proc/meminfo: memFree=15472016/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0.03 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 928 0 0 0 2 1 0 0 15 0 1 0 869396401 291438592 6026 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 4294934785 0 0 17 2 0 0 0
/proc/28384/statm: 71152 6026 348 364 0 6039 0
[pid=28386] ppid=28384 vsize=60420 CPUtime=11.82 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 19984 0 0 0 1162 20 0 0 25 0 1 0 869396402 61870080 12902 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 15105 12902 807 2317 0 12783 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 639880
[startup+25.5012 s]
/proc/loadavg: 2.13 2.13 1.67 3/657 28387
/proc/meminfo: memFree=15470316/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0.08 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 933 0 0 0 4 4 0 0 15 0 1 0 869396401 291438592 6026 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949309 0 0 17 6 0 0 0
/proc/28384/statm: 71152 6026 348 364 0 6039 0
[pid=28386] ppid=28384 vsize=61780 CPUtime=24.62 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 20283 0 0 0 2435 27 0 0 25 0 1 0 869396402 63262720 13201 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 15445 13201 813 2317 0 13123 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 641240
Solver just ended. Dumping a history of the last processes samples
[startup+25.9011 s]
/proc/loadavg: 2.13 2.13 1.67 3/657 28387
/proc/meminfo: memFree=15470316/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.59 cores=0,2,4,6
/proc/28377/stat : 28377 (python) S 28375 28377 26377 0 -1 4202496 11044 1349 1 0 44 12 3 0 19 0 2 0 869396314 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/28377/statm: 73713 7553 1871 364 0 8600 0
[pid=28384] ppid=28377 vsize=284608 CPUtime=0.08 cores=0,2,4,6
/proc/28384/stat : 28384 (python) S 28377 28377 26377 0 -1 4202560 933 0 0 0 4 4 0 0 15 0 1 0 869396401 291438592 6026 33554432000 4194304 5683644 140734883253264 18446744073709551615 218370977295 0 0 16781312 33554946 72556772316949309 0 0 17 6 0 0 0
/proc/28384/statm: 71152 6026 348 364 0 6039 0
[pid=28386] ppid=28384 vsize=61780 CPUtime=25.02 cores=0,2,4,6
/proc/28386/stat : 28386 (scip-2.0.1.linu) R 28384 28386 28386 0 -1 4202496 20294 0 0 0 2475 27 0 0 25 0 1 0 869396402 63262720 13212 33554432000 4194304 13684479 140737325731824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/28386/statm: 15445 13212 813 2317 0 13123 0
[pid=28377/tid=28385] ppid=28375 vsize=294852 CPUtime=0.03 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) S 28375 28377 26377 0 -1 4202560 23 1349 0 0 0 0 3 0 19 0 2 0 869396402 301928448 7553 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 18446604452318301120 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.69
Current children cumulated vsize (KiB) 641240
[startup+26.0011 s]
/proc/loadavg: 2.12 2.12 1.67 3/657 28387
/proc/meminfo: memFree=15472548/32951124 swapFree=49244124/67111528
[pid=28377] ppid=28375 vsize=294852 CPUtime=0.6 cores=0,2,4,6
/proc/28377/stat : 28377 (python) R 28375 28377 26377 0 -1 4202496 11453 1349 1 0 45 12 3 0 18 0 2 0 869396314 301928448 7554 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780802 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28377/statm: 73713 7554 1872 364 0 8600 0
[pid=28384] ppid=28377 vsize=0 CPUtime=25.22 cores=0,2,4,6
/proc/28384/stat : 28384 (python) Z 28377 28377 26377 0 -1 4202588 1526 20299 0 0 5 4 2485 28 15 0 1 0 869396401 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/28384/statm: 0 0 0 0 0 0 0
[pid=28377/tid=28385] ppid=28375 vsize=294848 CPUtime=25.26 cores=0,2,4,6
/proc/28377/task/28385/stat : 28385 (python) R 28375 28377 26377 0 -1 4202560 23 23174 0 0 0 0 2493 33 18 0 2 0 869396402 301924352 7552 33554432000 4194304 5683644 140734883253264 18446744073709551615 218382780849 0 0 16781312 33554434 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.82
Current children cumulated vsize (KiB) 294852
Child status: 0
Real time (s): 26.0385
CPU time (s): 25.8691
CPU user time (s): 25.4051
CPU system time (s): 0.463929
CPU usage (%): 99.3492
Max. virtual memory (cumulated for all children) (KiB): 641240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4051
system time used= 0.463929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38778
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= 5229
involuntary context switches= 70
runsolver used 0.108983 second user time and 0.263959 second system time
The end