runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729272-1338713940/watcher-3729272-1338713940 -o /tmp/evaluation-result-3729272-1338713940/solver-3729272-1338713940 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729272-1338713940.opb -seed 1065949335 -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: 1.55 1.15 1.35 2/179 27235
/proc/meminfo: memFree=26428168/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/27235/stat : 27235 (python) D 27233 27235 27000 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337521482 15749120 631 33554432000 4194304 5683644 140735900845856 140735900786344 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 3845 631 334 364 0 287 0
[startup+0.030812 s]
/proc/loadavg: 1.55 1.15 1.35 2/179 27235
/proc/meminfo: memFree=26428168/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=17012 CPUtime=0.01 cores=0,2,4,6
/proc/27235/stat : 27235 (python) D 27233 27235 27000 0 -1 4202496 1313 0 0 0 1 0 0 0 20 0 1 0 337521482 17420288 1083 33554432000 4194304 5683644 140735900845856 140735900785848 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 4253 1083 426 364 0 695 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17012
[startup+0.100272 s]
/proc/loadavg: 1.55 1.15 1.35 2/179 27235
/proc/meminfo: memFree=26428168/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=36708 CPUtime=0.04 cores=0,2,4,6
/proc/27235/stat : 27235 (python) D 27233 27235 27000 0 -1 4202496 1768 0 0 0 3 1 0 0 20 0 1 0 337521482 37588992 1457 33554432000 4194304 5683644 140735900845856 140735900799576 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 9177 1457 461 364 0 949 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36708
[startup+0.300292 s]
/proc/loadavg: 1.55 1.15 1.35 2/179 27235
/proc/meminfo: memFree=26428168/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=107656 CPUtime=0.12 cores=0,2,4,6
/proc/27235/stat : 27235 (python) D 27233 27235 27000 0 -1 4202496 4834 1010 1 0 9 3 0 0 20 0 1 0 337521482 110239744 2998 33554432000 4194304 5683644 140735900845856 140735900678408 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 26914 2998 905 364 0 2021 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 107656
[startup+0.700158 s]
/proc/loadavg: 1.55 1.15 1.35 2/179 27235
/proc/meminfo: memFree=26428168/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=196276 CPUtime=0.26 cores=0,2,4,6
/proc/27235/stat : 27235 (python) R 27233 27235 27000 0 -1 4202496 7249 1010 1 0 18 8 0 0 20 0 1 0 337521482 200986624 4947 33554432000 4194304 5683644 140735900845856 140735900668840 219513963408 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 49069 4947 1463 364 0 3670 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 196276
[startup+1.50017 s]
/proc/loadavg: 1.59 1.17 1.36 3/175 27273
/proc/meminfo: memFree=26422952/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 734 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5638 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 4 0 0 0 0 0
/proc/27271/statm: 70365 5638 341 364 0 5588 0
[pid=27273] ppid=27271 vsize=7856 CPUtime=0.36 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1828 0 0 0 32 4 0 0 20 0 1 0 337521595 8044544 1579 33554432000 134512640 136422188 4293116400 4293114124 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 1964 1579 213 467 0 1495 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 646556
[startup+3.1003 s]
/proc/loadavg: 1.59 1.17 1.36 3/183 27289
/proc/meminfo: memFree=26397080/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5638 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5638 341 364 0 5588 0
[pid=27273] ppid=27271 vsize=7988 CPUtime=1.95 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1862 0 0 0 176 19 0 0 20 0 1 0 337521595 8179712 1613 33554432000 134512640 136422188 4293116400 4293114016 134857449 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 1997 1613 213 467 0 1528 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 646688
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 1.62 1.18 1.36 3/183 27289
/proc/meminfo: memFree=26395628/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 871 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8116 CPUtime=5.16 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1901 0 0 0 467 49 0 0 20 0 1 0 337521595 8310784 1652 33554432000 134512640 136422188 4293116400 4293113724 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2029 1652 213 467 0 1560 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 646816
Solver just ended. Dumping a history of the last processes samples
[startup+7.90027 s]
/proc/loadavg: 1.62 1.18 1.36 3/183 27289
/proc/meminfo: memFree=26395628/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 871 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8116 CPUtime=6.75 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1917 0 0 0 613 62 0 0 20 0 1 0 337521595 8310784 1668 33554432000 134512640 136422188 4293116400 4293113472 135025945 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2029 1668 213 467 0 1560 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 646816
[startup+11.1003 s]
/proc/loadavg: 1.65 1.19 1.36 3/175 27319
/proc/meminfo: memFree=26426200/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 877 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8240 CPUtime=9.95 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1919 0 0 0 906 89 0 0 20 0 1 0 337521595 8437760 1670 33554432000 134512640 136422188 4293116400 4293113852 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2060 1670 213 467 0 1591 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 10.41
Current children cumulated vsize (KiB) 646940
[startup+11.9003 s]
/proc/loadavg: 1.65 1.19 1.36 3/183 27335
/proc/meminfo: memFree=26396756/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 877 0 0 0 0 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8240 CPUtime=10.75 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1922 0 0 0 979 96 0 0 20 0 1 0 337521595 8437760 1673 33554432000 134512640 136422188 4293116400 4293114016 134862334 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2060 1673 213 467 0 1591 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 646940
[startup+12.3003 s]
/proc/loadavg: 1.65 1.19 1.36 3/183 27335
/proc/meminfo: memFree=26396756/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0.01 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 879 0 0 0 1 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8240 CPUtime=11.15 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1922 0 0 0 1015 100 0 0 20 0 1 0 337521595 8437760 1673 33554432000 134512640 136422188 4293116400 4293113724 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2060 1673 213 467 0 1591 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 646940
[startup+12.5003 s]
/proc/loadavg: 1.65 1.19 1.36 3/183 27335
/proc/meminfo: memFree=26392800/32873648 swapFree=7120/7120
[pid=27235] ppid=27233 vsize=357240 CPUtime=0.46 cores=0,2,4,6
/proc/27235/stat : 27235 (python) S 27233 27235 27000 0 -1 4202496 10520 1010 1 0 34 12 0 0 20 0 2 0 337521482 365813760 7203 33554432000 4194304 5683644 140735900845856 140735900840688 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27235/statm: 89310 7203 1900 364 0 24533 0
[pid=27271] ppid=27235 vsize=281460 CPUtime=0.01 cores=0,2,4,6
/proc/27271/stat : 27271 (python) S 27235 27235 27000 0 -1 4202560 879 0 0 0 1 0 0 0 20 0 1 0 337521595 288215040 5661 33554432000 4194304 5683644 140735900845856 140735900836944 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/27271/statm: 70365 5661 364 364 0 5588 0
[pid=27273] ppid=27271 vsize=8240 CPUtime=11.36 cores=0,2,4,6
/proc/27273/stat : 27273 (pbct-0.1.2-linu) R 27271 27273 27273 0 -1 4202496 1922 0 0 0 1034 102 0 0 20 0 1 0 337521595 8437760 1673 33554432000 134512640 136422188 4293116400 4293113724 135874785 0 0 16781312 16387 0 0 0 17 0 0 0 0 0 0
/proc/27273/statm: 2060 1673 213 467 0 1591 0
[pid=27235/tid=27272] ppid=27233 vsize=357240 CPUtime=0 cores=0,2,4,6
/proc/27235/task/27272/stat : 27272 (python) S 27233 27235 27000 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 337521595 365813760 7203 33554432000 4194304 5683644 140735900845856 139909894558256 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 646940
Child status: 0
Real time (s): 12.5701
CPU time (s): 11.9292
CPU user time (s): 10.7534
CPU system time (s): 1.17582
CPU usage (%): 94.9012
Max. virtual memory (cumulated for all children) (KiB): 646940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7534
system time used= 1.17582
maximum resident set size= 28956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19062
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1773
involuntary context switches= 30
runsolver used 0.020996 second user time and 0.074988 second system time
The end