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-3481487-1307577896/watcher-3481487-1307577896 -o /tmp/evaluation-result-3481487-1307577896/solver-3481487-1307577896 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481487-1307577896.opb -seed 1342833978 -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.10 1.70 3/858 8417
/proc/meminfo: memFree=22342292/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 810 0 0 0 0 0 0 0 21 0 1 0 948020309 15749120 696 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/8417/statm: 3845 696 334 364 0 332 0
[startup+0.0981261 s]
/proc/loadavg: 2.04 2.10 1.70 3/858 8417
/proc/meminfo: memFree=22342292/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/8417/stat : 8417 (python) R 8415 8417 7156 0 -1 4202496 2661 0 0 0 5 1 0 0 21 0 1 0 948020309 87670784 2381 33554432000 4194304 5683644 140734499278832 18446744073709551615 5010970 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8417/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.101124 s]
/proc/loadavg: 2.04 2.10 1.70 3/858 8417
/proc/meminfo: memFree=22342292/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=87824 CPUtime=0.06 cores=0,2,4,6
/proc/8417/stat : 8417 (python) R 8415 8417 7156 0 -1 4202496 2683 0 0 0 5 1 0 0 21 0 1 0 948020309 89931776 2399 33554432000 4194304 5683644 140734499278832 18446744073709551615 4685280 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/8417/statm: 21956 2399 728 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87824
[startup+0.301069 s]
/proc/loadavg: 2.04 2.10 1.70 3/858 8417
/proc/meminfo: memFree=22342292/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=123740 CPUtime=0.18 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 5356 930 1 0 13 5 0 0 17 0 1 0 948020309 126709760 3744 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/8417/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700988 s]
/proc/loadavg: 2.04 2.10 1.70 3/858 8417
/proc/meminfo: memFree=22342292/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=282536 CPUtime=0.41 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 9237 930 1 0 30 11 0 0 17 0 1 0 948020309 289316864 6969 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 2 2901076067135520768 0 0 17 4 0 0 0
/proc/8417/statm: 70634 6969 1777 364 0 5527 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282536
[startup+1.5009 s]
/proc/loadavg: 2.04 2.10 1.70 3/862 8426
/proc/meminfo: memFree=22287824/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 794 0 0 0 0 0 0 0 15 0 1 0 948020395 291475456 6012 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 1951328815099674624 0 0 17 4 0 0 0
/proc/8424/statm: 71161 6012 325 364 0 6048 0
[pid=8426] ppid=8424 vsize=56732 CPUtime=0.61 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 13603 0 0 0 52 9 0 0 18 0 1 0 948020396 58093568 11661 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 14183 11661 774 2317 0 11861 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 636264
[startup+3.10064 s]
/proc/loadavg: 2.04 2.10 1.70 3/862 8426
/proc/meminfo: memFree=22287824/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 798 0 0 0 0 0 0 0 15 0 1 0 948020395 291475456 6012 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 3303299080096055296 0 0 17 4 0 0 0
/proc/8424/statm: 71161 6012 325 364 0 6048 0
[pid=8426] ppid=8424 vsize=60888 CPUtime=2.21 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 19868 0 0 0 208 13 0 0 18 0 1 0 948020396 62349312 13019 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15222 13019 935 2317 0 12900 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 640420
[startup+6.30112 s]
/proc/loadavg: 2.19 2.13 1.71 3/862 8426
/proc/meminfo: memFree=22265816/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0.02 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 937 0 0 0 1 1 0 0 15 0 1 0 948020395 291475456 6035 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 8800171767965384964 0 0 17 6 0 0 0
/proc/8424/statm: 71161 6035 348 364 0 6048 0
[pid=8426] ppid=8424 vsize=60888 CPUtime=5.42 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 19911 0 0 0 526 16 0 0 25 0 1 0 948020396 62349312 13019 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15222 13019 892 2317 0 12900 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 640420
[startup+12.7011 s]
/proc/loadavg: 2.16 2.13 1.71 3/862 8426
/proc/meminfo: memFree=22261248/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0.05 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 940 0 0 0 2 3 0 0 15 0 1 0 948020395 291475456 6035 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 2339935914148495360 0 0 17 6 0 0 0
/proc/8424/statm: 71161 6035 348 364 0 6048 0
[pid=8426] ppid=8424 vsize=60888 CPUtime=11.82 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 19967 0 0 0 1161 21 0 0 25 0 1 0 948020396 62349312 13020 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15222 13020 838 2317 0 12900 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 640420
[startup+25.5009 s]
/proc/loadavg: 2.36 2.17 1.73 3/862 8426
/proc/meminfo: memFree=22259648/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0.12 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 945 0 0 0 6 6 0 0 15 0 1 0 948020395 291475456 6035 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949226 0 0 17 6 0 0 0
/proc/8424/statm: 71161 6035 348 364 0 6048 0
[pid=8426] ppid=8424 vsize=61192 CPUtime=24.62 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 20080 0 0 0 2433 29 0 0 25 0 1 0 948020396 62660608 13102 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15298 13102 807 2317 0 12976 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 640724
Solver just ended. Dumping a history of the last processes samples
[startup+26.7007 s]
/proc/loadavg: 2.36 2.17 1.73 3/862 8426
/proc/meminfo: memFree=22259772/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0.12 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 945 0 0 0 6 6 0 0 15 0 1 0 948020395 291475456 6035 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949226 0 0 17 6 0 0 0
/proc/8424/statm: 71161 6035 348 364 0 6048 0
[pid=8426] ppid=8424 vsize=61192 CPUtime=25.82 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 20080 0 0 0 2553 29 0 0 25 0 1 0 948020396 62660608 13102 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15298 13102 807 2317 0 12976 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 26.54
Current children cumulated vsize (KiB) 640724
[startup+27.5006 s]
/proc/loadavg: 2.34 2.17 1.73 3/862 8426
/proc/meminfo: memFree=22259876/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) S 8415 8417 7156 0 -1 4202496 11057 1349 1 0 45 12 3 0 19 0 2 0 948020309 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296752587 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7562 1871 364 0 8609 0
[pid=8424] ppid=8417 vsize=284644 CPUtime=0.12 cores=0,2,4,6
/proc/8424/stat : 8424 (python) S 8417 8417 7156 0 -1 4202560 945 0 0 0 6 6 0 0 15 0 1 0 948020395 291475456 6035 33554432000 4194304 5683644 140734499278832 18446744073709551615 224284945935 0 0 16781312 33554946 72556772316949226 0 0 17 6 0 0 0
/proc/8424/statm: 71161 6035 348 364 0 6048 0
[pid=8426] ppid=8424 vsize=61192 CPUtime=26.63 cores=0,2,4,6
/proc/8426/stat : 8426 (scip-2.0.1.linu) R 8424 8426 8426 0 -1 4202496 20084 0 0 0 2633 30 0 0 25 0 1 0 948020396 62660608 13106 33554432000 4194304 13684479 140735064844096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8426/statm: 15298 13106 811 2317 0 12976 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7562 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 27.35
Current children cumulated vsize (KiB) 640724
[startup+27.9005 s]
/proc/loadavg: 2.34 2.17 1.73 3/862 8426
/proc/meminfo: memFree=22259876/32951124 swapFree=33333036/67111528
[pid=8417] ppid=8415 vsize=294888 CPUtime=0.6 cores=0,2,4,6
/proc/8417/stat : 8417 (python) R 8415 8417 7156 0 -1 4202496 11362 1349 1 0 45 12 3 0 18 0 2 0 948020309 301965312 7563 33554432000 4194304 5683644 140734499278832 18446744073709551615 5291642 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/8417/statm: 73722 7563 1872 364 0 8609 0
[pid=8424] ppid=8417 vsize=0 CPUtime=27.15 cores=0,2,4,6
/proc/8424/stat : 8424 (python) Z 8417 8417 7156 0 -1 4202588 1510 20090 0 0 8 7 2670 30 16 0 1 0 948020395 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/8424/statm: 0 0 0 0 0 0 0
[pid=8417/tid=8425] ppid=8415 vsize=294888 CPUtime=0.03 cores=0,2,4,6
/proc/8417/task/8425/stat : 8425 (python) S 8415 8417 7156 0 -1 4202560 26 1349 0 0 0 0 3 0 19 0 2 0 948020396 301965312 7563 33554432000 4194304 5683644 140734499278832 18446744073709551615 224296749489 0 0 16781312 33554434 18446604451561233280 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (KiB) 294888
Child status: 0
Real time (s): 27.9222
CPU time (s): 27.8128
CPU user time (s): 27.2938
CPU system time (s): 0.518921
CPU usage (%): 99.6082
Max. virtual memory (cumulated for all children) (KiB): 640724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2938
system time used= 0.518921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38562
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= 5098
involuntary context switches= 78
runsolver used 0.163975 second user time and 0.39194 second system time
The end