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-3481236-1307577789/watcher-3481236-1307577789 -o /tmp/evaluation-result-3481236-1307577789/solver-3481236-1307577789 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481236-1307577789.opb -seed 1151717765 -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.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 928 0 0 0 0 0 0 0 25 0 1 0 869378764 16154624 807 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12624/statm: 3945 807 356 364 0 432 0
[startup+0.0614801 s]
/proc/loadavg: 2.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=40972 CPUtime=0.03 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 1678 0 0 0 3 0 0 0 25 0 1 0 869378764 41955328 1502 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/12624/statm: 10243 1502 463 364 0 1026 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 40972
[startup+0.100453 s]
/proc/loadavg: 2.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/12624/stat : 12624 (python) R 12622 12624 11000 0 -1 4202496 3168 932 1 0 6 1 0 0 18 0 1 0 869378764 98430976 2483 33554432000 4194304 5683644 140733825684576 18446744073709551615 5170317 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12624/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300434 s]
/proc/loadavg: 2.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=200776 CPUtime=0.23 cores=0,2,4,6
/proc/12624/stat : 12624 (python) R 12622 12624 11000 0 -1 4202496 6638 932 1 0 18 5 0 0 17 0 1 0 869378764 205594624 4926 33554432000 4194304 5683644 140733825684576 18446744073709551615 46938973089264 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12624/statm: 50194 4934 1464 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 200776
[startup+0.700276 s]
/proc/loadavg: 2.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293320
[startup+1.50013 s]
/proc/loadavg: 2.17 2.08 1.60 3/618 12624
/proc/meminfo: memFree=22196928/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 293320
[startup+3.10085 s]
/proc/loadavg: 2.17 2.08 1.60 3/622 12633
/proc/meminfo: memFree=22127768/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
[pid=12631] ppid=12624 vsize=283076 CPUtime=0 cores=0,2,4,6
/proc/12631/stat : 12631 (python) S 12624 12624 11000 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 869378818 289869824 5652 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278899727 0 0 16781312 33554946 2158045238868836352 0 0 17 4 0 0 0
/proc/12631/statm: 70769 5652 325 364 0 5656 0
[pid=12633] ppid=12631 vsize=56848 CPUtime=2.53 cores=0,2,4,6
/proc/12633/stat : 12633 (scip-2.0.1.linu) R 12631 12633 12633 0 -1 4202496 18212 0 0 0 235 18 0 0 25 0 1 0 869378819 58212352 11763 33554432000 4194304 13684479 140733932128096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12633/statm: 14212 11763 881 2317 0 11890 0
[pid=12624/tid=12632] ppid=12622 vsize=293320 CPUtime=0.01 cores=0,2,4,6
/proc/12624/task/12632/stat : 12632 (python) S 12622 12624 11000 0 -1 4202560 26 1330 0 0 0 0 1 0 20 0 2 0 869378819 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290703281 0 0 16781312 33554434 18446604441501636800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 633244
Solver just ended. Dumping a history of the last processes samples
[startup+3.70087 s]
/proc/loadavg: 2.17 2.08 1.60 3/622 12633
/proc/meminfo: memFree=22127768/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
[pid=12631] ppid=12624 vsize=283076 CPUtime=0 cores=0,2,4,6
/proc/12631/stat : 12631 (python) S 12624 12624 11000 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 869378818 289869824 5652 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278899727 0 0 16781312 33554946 400951264554254336 0 0 17 4 0 0 0
/proc/12631/statm: 70769 5652 325 364 0 5656 0
[pid=12633] ppid=12631 vsize=56848 CPUtime=3.13 cores=0,2,4,6
/proc/12633/stat : 12633 (scip-2.0.1.linu) R 12631 12633 12633 0 -1 4202496 18212 0 0 0 294 19 0 0 18 0 1 0 869378819 58212352 11763 33554432000 4194304 13684479 140733932128096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12633/statm: 14212 11763 881 2317 0 11890 0
[pid=12624/tid=12632] ppid=12622 vsize=293320 CPUtime=0.01 cores=0,2,4,6
/proc/12624/task/12632/stat : 12632 (python) S 12622 12624 11000 0 -1 4202560 26 1330 0 0 0 0 1 0 20 0 2 0 869378819 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290703281 0 0 16781312 33554434 18446604441501636800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 633244
[startup+4.50073 s]
/proc/loadavg: 2.16 2.07 1.61 3/622 12633
/proc/meminfo: memFree=22127272/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
[pid=12631] ppid=12624 vsize=283076 CPUtime=0.02 cores=0,2,4,6
/proc/12631/stat : 12631 (python) S 12624 12624 11000 0 -1 4202560 962 0 0 0 1 1 0 0 15 0 1 0 869378818 289869824 5675 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278899727 0 0 16781312 33554946 340067040821772288 0 0 17 4 0 0 0
/proc/12631/statm: 70769 5675 348 364 0 5656 0
[pid=12633] ppid=12631 vsize=56848 CPUtime=3.93 cores=0,2,4,6
/proc/12633/stat : 12633 (scip-2.0.1.linu) R 12631 12633 12633 0 -1 4202496 18215 0 0 0 372 21 0 0 18 0 1 0 869378819 58212352 11766 33554432000 4194304 13684479 140733932128096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12633/statm: 14212 11766 881 2317 0 11890 0
[pid=12624/tid=12632] ppid=12622 vsize=293320 CPUtime=0.01 cores=0,2,4,6
/proc/12624/task/12632/stat : 12632 (python) S 12622 12624 11000 0 -1 4202560 26 1330 0 0 0 0 1 0 20 0 2 0 869378819 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290703281 0 0 16781312 33554434 18446604441501636800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 633244
[startup+5.30058 s]
/proc/loadavg: 2.16 2.07 1.61 3/622 12633
/proc/meminfo: memFree=22127520/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
[pid=12631] ppid=12624 vsize=283076 CPUtime=0.02 cores=0,2,4,6
/proc/12631/stat : 12631 (python) S 12624 12624 11000 0 -1 4202560 963 0 0 0 1 1 0 0 15 0 1 0 869378818 289869824 5675 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278899727 0 0 16781312 33554946 3951490837124218880 0 0 17 4 0 0 0
/proc/12631/statm: 70769 5675 348 364 0 5656 0
[pid=12633] ppid=12631 vsize=56848 CPUtime=4.74 cores=0,2,4,6
/proc/12633/stat : 12633 (scip-2.0.1.linu) R 12631 12633 12633 0 -1 4202496 18215 0 0 0 450 24 0 0 19 0 1 0 869378819 58212352 11766 33554432000 4194304 13684479 140733932128096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12633/statm: 14212 11766 881 2317 0 11890 0
[pid=12624/tid=12632] ppid=12622 vsize=293320 CPUtime=0.01 cores=0,2,4,6
/proc/12624/task/12632/stat : 12632 (python) S 12622 12624 11000 0 -1 4202560 26 1330 0 0 0 0 1 0 20 0 2 0 869378819 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290703281 0 0 16781312 33554434 18446604441501636800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 633244
[startup+5.70043 s]
/proc/loadavg: 2.16 2.07 1.61 3/622 12633
/proc/meminfo: memFree=22127520/32950904 swapFree=56615552/67111528
[pid=12624] ppid=12622 vsize=293320 CPUtime=0.45 cores=0,2,4,6
/proc/12624/stat : 12624 (python) S 12622 12624 11000 0 -1 4202496 10731 1330 1 0 36 8 1 0 20 0 2 0 869378764 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12624/statm: 73330 7202 1871 364 0 8217 0
[pid=12631] ppid=12624 vsize=283076 CPUtime=0.02 cores=0,2,4,6
/proc/12631/stat : 12631 (python) S 12624 12624 11000 0 -1 4202560 963 0 0 0 1 1 0 0 15 0 1 0 869378818 289869824 5675 33554432000 4194304 5683644 140733825684576 18446744073709551615 237278899727 0 0 16781312 33554946 4294934785 0 0 17 4 0 0 0
/proc/12631/statm: 70769 5675 348 364 0 5656 0
[pid=12633] ppid=12631 vsize=56848 CPUtime=5.14 cores=0,2,4,6
/proc/12633/stat : 12633 (scip-2.0.1.linu) R 12631 12633 12633 0 -1 4202496 18216 0 0 0 489 25 0 0 18 0 1 0 869378819 58212352 11767 33554432000 4194304 13684479 140733932128096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12633/statm: 14212 11767 881 2317 0 11890 0
[pid=12624/tid=12632] ppid=12622 vsize=293320 CPUtime=0.01 cores=0,2,4,6
/proc/12624/task/12632/stat : 12632 (python) S 12622 12624 11000 0 -1 4202560 26 1330 0 0 0 0 1 0 20 0 2 0 869378819 300359680 7202 33554432000 4194304 5683644 140733825684576 18446744073709551615 237290703281 0 0 16781312 33554434 18446604441501636800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 633244
Child status: 0
Real time (s): 5.79715
CPU time (s): 5.72413
CPU user time (s): 5.36019
CPU system time (s): 0.363944
CPU usage (%): 98.7404
Max. virtual memory (cumulated for all children) (KiB): 633244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.36018
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36055
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= 1680
involuntary context switches= 38
runsolver used 0.024996 second user time and 0.051992 second system time
The end