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-3481998-1307576659/watcher-3481998-1307576659 -o /tmp/evaluation-result-3481998-1307576659/solver-3481998-1307576659 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481998-1307576659.opb -seed 754371084 -budget 1800
running on 4 cores: 1,3,5,7
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.23 1.15 0.45 2/372 16471
/proc/meminfo: memFree=27392456/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/16471/stat : 16471 (python) R 16469 16471 16077 0 -1 4202496 882 0 0 0 0 0 0 0 18 0 1 0 947896569 16154624 763 33554432000 4194304 5683644 140735569015264 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16471/statm: 3944 764 343 364 0 431 0
[startup+0.0271701 s]
/proc/loadavg: 2.23 1.15 0.45 2/372 16471
/proc/meminfo: memFree=27392456/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/16471/stat : 16471 (python) R 16469 16471 16077 0 -1 4202496 1124 0 0 0 1 0 0 0 17 0 1 0 947896569 16789504 990 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020393984 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16471/statm: 4099 990 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100112 s]
/proc/loadavg: 2.23 1.15 0.45 2/372 16471
/proc/meminfo: memFree=27392456/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=85620 CPUtime=0.05 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 2665 0 0 0 4 1 0 0 17 0 1 0 947896569 87674880 2382 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16471/statm: 21405 2382 715 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85620
[startup+0.301235 s]
/proc/loadavg: 2.23 1.15 0.45 2/372 16471
/proc/meminfo: memFree=27392456/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 5358 930 1 0 13 5 0 0 17 0 1 0 947896569 126709760 3744 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/16471/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.700993 s]
/proc/loadavg: 2.23 1.15 0.45 2/372 16471
/proc/meminfo: memFree=27392456/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=283216 CPUtime=0.45 cores=1,3,5,7
/proc/16471/stat : 16471 (python) R 16469 16471 16077 0 -1 4202496 9359 930 1 0 33 12 0 0 16 0 1 0 947896569 290013184 7207 33554432000 4194304 5683644 140735569015264 18446744073709551615 260023804597 0 0 16781312 33554434 0 0 0 17 7 0 0 0
/proc/16471/statm: 70804 7207 1852 364 0 5694 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 283216
[startup+1.50089 s]
/proc/loadavg: 2.23 1.15 0.45 3/376 16479
/proc/meminfo: memFree=27354596/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 760 0 0 0 0 0 0 0 16 0 1 0 947896641 289804288 5646 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 1551840772888723456 0 0 17 7 0 0 0
/proc/16477/statm: 70753 5646 352 364 0 5640 0
[pid=16479] ppid=16477 vsize=25604 CPUtime=0.76 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 4634 0 0 0 73 3 0 0 18 0 1 0 947896641 26218496 4013 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 6401 4013 748 2317 0 4079 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 601872
[startup+3.1006 s]
/proc/loadavg: 2.23 1.15 0.45 4/376 16479
/proc/meminfo: memFree=27348768/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 947896641 289804288 5646 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 2147161233395023872 0 0 17 7 0 0 0
/proc/16477/statm: 70753 5646 352 364 0 5640 0
[pid=16479] ppid=16477 vsize=46320 CPUtime=2.37 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 9919 0 0 0 228 9 0 0 18 0 1 0 947896641 47431680 9291 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 11580 9291 780 2317 0 9258 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 622588
[startup+6.301 s]
/proc/loadavg: 2.21 1.16 0.46 3/376 16479
/proc/meminfo: memFree=27299168/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0.01 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 895 0 0 0 1 0 0 0 15 0 1 0 947896641 289804288 5670 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 1431970804047806464 0 0 17 7 0 0 0
/proc/16477/statm: 70753 5670 376 364 0 5640 0
[pid=16479] ppid=16477 vsize=80988 CPUtime=5.57 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 19415 0 0 0 539 18 0 0 18 0 1 0 947896641 82931712 18030 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 20247 18030 795 2317 0 17925 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 657256
[startup+12.7008 s]
/proc/loadavg: 2.20 1.17 0.47 3/376 16537
/proc/meminfo: memFree=27354396/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0.03 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 907 0 0 0 2 1 0 0 15 0 1 0 947896641 289804288 5670 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 5623753486446373756 0 0 17 7 0 0 0
/proc/16477/statm: 70753 5670 376 364 0 5640 0
[pid=16479] ppid=16477 vsize=80988 CPUtime=11.96 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 19416 0 0 0 1162 34 0 0 21 0 1 0 947896641 82931712 18031 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 20247 18031 796 2317 0 17925 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 657256
[startup+25.5005 s]
/proc/loadavg: 2.15 1.21 0.49 3/394 16625
/proc/meminfo: memFree=27299016/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0.06 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 909 0 0 0 4 2 0 0 15 0 1 0 947896641 289804288 5670 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 5623753486446373756 0 0 17 7 0 0 0
/proc/16477/statm: 70753 5670 376 364 0 5640 0
[pid=16479] ppid=16477 vsize=80988 CPUtime=24.77 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 19416 0 0 0 2403 74 0 0 25 0 1 0 947896641 82931712 18031 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 20247 18031 796 2317 0 17925 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 657256
[startup+51.1008 s]
/proc/loadavg: 2.10 1.28 0.53 3/394 16626
/proc/meminfo: memFree=27273112/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=293256 CPUtime=0.47 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 9669 930 1 0 35 12 0 0 18 0 2 0 947896569 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/16471/statm: 73314 7168 1870 364 0 8201 0
[pid=16477] ppid=16471 vsize=283012 CPUtime=0.12 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 920 0 0 0 7 5 0 0 15 0 1 0 947896641 289804288 5670 33554432000 4194304 5683644 140735569015264 18446744073709551615 260020416015 0 0 16781312 33554946 5623606151888251772 0 0 17 5 0 0 0
/proc/16477/statm: 70753 5670 376 364 0 5640 0
[pid=16479] ppid=16477 vsize=81460 CPUtime=50.37 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) R 16477 16479 16479 0 -1 4202496 19456 0 0 0 4893 144 0 0 25 0 1 0 947896641 83415040 18071 33554432000 4194304 13684479 140734577874192 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16479/statm: 20365 18071 798 2317 0 18043 0
[pid=16471/tid=16478] ppid=16469 vsize=293256 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 2 0 947896641 300294144 7168 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 657728
Solver just ended. Dumping a history of the last processes samples
[startup+51.9007 s]
/proc/loadavg: 2.10 1.28 0.53 3/394 16626
/proc/meminfo: memFree=27273112/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=303996 CPUtime=0.49 cores=1,3,5,7
/proc/16471/stat : 16471 (python) S 16469 16471 16077 0 -1 4202496 10496 930 1 0 37 12 0 0 20 0 3 0 947896569 311291904 7297 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/16471/statm: 75999 7297 1873 364 0 10883 0
[pid=16477] ppid=16471 vsize=293256 CPUtime=0.13 cores=1,3,5,7
/proc/16477/stat : 16477 (python) S 16471 16471 16077 0 -1 4202560 1081 0 0 0 7 6 0 0 16 0 2 0 947896641 300294144 5706 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032222667 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/16477/statm: 73314 5706 407 364 0 8201 0
[pid=16479] ppid=16477 vsize=81460 CPUtime=51.03 cores=1,3,5,7
/proc/16479/stat : 16479 (scip-2.0.1.linu) T 16477 16479 16479 0 -1 4202496 19456 0 0 0 4957 146 0 0 25 0 1 0 947896641 83415040 18071 33554432000 4194304 13684479 140734577874192 18446744073709551615 7399142 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/16479/statm: 20365 18071 798 2317 0 18043 0
[pid=16471/tid=16478] ppid=16469 vsize=303996 CPUtime=0 cores=1,3,5,7
/proc/16471/task/16478/stat : 16478 (python) S 16469 16471 16077 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 3 0 947896641 311291904 7297 33554432000 4194304 5683644 140735569015264 18446744073709551615 260032219569 0 0 16781312 33554434 18446604455391578048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.65
Current children cumulated vsize (KiB) 678712
[startup+52.1006 s]
/proc/loadavg: 2.10 1.28 0.53 3/394 16626
/proc/meminfo: memFree=27273112/32951124 swapFree=67056304/67111528
[pid=16471] ppid=16469 vsize=303964 CPUtime=52.16 cores=1,3,5,7
/proc/16471/stat : 16471 (python) R 16469 16471 16077 0 -1 4202496 13038 31019 1 1 38 12 5010 156 17 0 2 0 947896569 311259136 7293 33554432000 4194304 5683644 140735569015264 18446744073709551615 5296949 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16471/statm: 75991 7293 1869 364 0 10883 0
Current children cumulated CPU time (s) 52.16
Current children cumulated vsize (KiB) 303964
Child status: 0
Real time (s): 52.1119
CPU time (s): 52.1941
CPU user time (s): 50.5023
CPU system time (s): 1.69174
CPU usage (%): 100.158
Max. virtual memory (cumulated for all children) (KiB): 678712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.5023
system time used= 1.69174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45963
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2993
involuntary context switches= 156
runsolver used 0.158975 second user time and 0.378942 second system time
The end