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-3482547-1307576440/watcher-3482547-1307576440 -o /tmp/evaluation-result-3482547-1307576440/solver-3482547-1307576440 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482547-1307576440.opb -seed 1919133569 -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: 0.00 0.00 0.00 3/272 28643
/proc/meminfo: memFree=32068068/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/28643/stat : 28643 (runsolver) S 28639 28643 28606 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 869245036 12079104 53 33554432000 4194304 5432328 140737369205888 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 4 0 0 0
/proc/28643/statm: 2949 53 34 303 0 2643 0
[startup+0.022834 s]
/proc/loadavg: 0.00 0.00 0.00 3/272 28643
/proc/meminfo: memFree=32068068/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=1840 CPUtime=0 cores=0,2,4,6
/proc/28643/stat : 28643 (python) D 28639 28643 28606 0 -1 4194304 47 0 0 0 0 0 0 0 22 0 1 0 869245036 1884160 1 33554432000 0 0 140733424363175 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 0 0 0 0
/proc/28643/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.100827 s]
/proc/loadavg: 0.00 0.00 0.00 3/272 28643
/proc/meminfo: memFree=32068068/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 506 0 6 0 0 0 0 0 22 0 1 0 869245036 15175680 419 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921772901 0 2147483391 4096 0 18446744071699945619 0 0 17 4 0 0 4
/proc/28643/statm: 3705 419 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820
[startup+0.300794 s]
/proc/loadavg: 0.00 0.00 0.00 3/272 28643
/proc/meminfo: memFree=32068068/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/28643/stat : 28643 (python) D 28639 28643 28606 0 -1 4202496 786 0 6 0 0 0 0 0 17 0 1 0 869245036 15749120 679 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921775104 0 0 16781312 2 0 0 0 17 4 0 0 6
/proc/28643/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.700693 s]
/proc/loadavg: 0.00 0.00 0.00 3/272 28643
/proc/meminfo: memFree=32068068/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=15756 CPUtime=0 cores=0,2,4,6
/proc/28643/stat : 28643 (python) D 28639 28643 28606 0 -1 4202496 834 0 6 0 0 0 0 0 16 0 1 0 869245036 16134144 723 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921776896 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 8
/proc/28643/statm: 3939 723 334 364 0 426 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15756
[startup+1.50062 s]
/proc/loadavg: 0.00 0.00 0.00 2/274 28645
/proc/meminfo: memFree=32061040/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/28643/stat : 28643 (python) D 28639 28643 28606 0 -1 4202496 1110 0 6 0 1 0 0 0 16 0 1 0 869245036 16789504 984 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921776896 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 66
/proc/28643/statm: 4099 984 408 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+3.10019 s]
/proc/loadavg: 0.16 0.03 0.01 2/274 28645
/proc/meminfo: memFree=32053632/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=43616 CPUtime=0.09 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 1863 0 16 0 7 2 0 0 15 0 1 0 869245036 44662784 1653 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921775104 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 114
/proc/28643/statm: 10904 1653 467 364 0 1169 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43616
heavy processes:
[startup+6.30069 s]
/proc/loadavg: 0.16 0.03 0.01 2/274 28645
/proc/meminfo: memFree=32048484/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=85616 CPUtime=0.13 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 2644 0 20 0 9 4 0 0 15 0 1 0 869245036 87670784 2381 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921772901 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 170
/proc/28643/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 85616
heavy processes:
[startup+12.7005 s]
/proc/loadavg: 0.29 0.06 0.02 5/280 28659
/proc/meminfo: memFree=31979744/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 730 0 0 0 0 0 0 0 17 0 1 0 869246286 289628160 5620 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090022555325006082 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5620 352 364 0 5597 0
[pid=28659] ppid=28655 vsize=7588 CPUtime=0.19 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1774 0 0 0 18 1 0 0 20 0 1 0 869246286 7770112 1517 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 1897 1517 213 467 0 1428 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 583512
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.2004 s]
/proc/loadavg: 0.29 0.06 0.02 4/280 28659
/proc/meminfo: memFree=31970444/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 730 0 0 0 0 0 0 0 17 0 1 0 869246286 289628160 5620 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090022555325006082 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5620 352 364 0 5597 0
[pid=28659] ppid=28655 vsize=7716 CPUtime=0.69 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1812 0 0 0 64 5 0 0 21 0 1 0 869246286 7901184 1555 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 1929 1555 213 467 0 1460 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 583640
[startup+16.4008 s]
/proc/loadavg: 0.29 0.06 0.02 2/272 28714
/proc/meminfo: memFree=32100140/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869246286 289628160 5644 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090016508011053314 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5644 376 364 0 5597 0
[pid=28659] ppid=28655 vsize=8100 CPUtime=3.89 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1894 0 0 0 356 33 0 0 25 0 1 0 869246286 8294400 1637 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 2025 1637 213 467 0 1556 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 584024
[startup+18.0005 s]
/proc/loadavg: 0.43 0.10 0.03 3/280 28729
/proc/meminfo: memFree=31965544/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869246286 289628160 5644 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090016508011053314 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5644 376 364 0 5597 0
[pid=28659] ppid=28655 vsize=8100 CPUtime=5.49 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1911 0 0 0 504 45 0 0 25 0 1 0 869246286 8294400 1654 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 2025 1654 213 467 0 1556 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 584024
[startup+18.8004 s]
/proc/loadavg: 0.43 0.10 0.03 3/280 28729
/proc/meminfo: memFree=31965544/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869246286 289628160 5644 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090016508011053314 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5644 376 364 0 5597 0
[pid=28659] ppid=28655 vsize=8228 CPUtime=6.28 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1930 0 0 0 576 52 0 0 25 0 1 0 869246286 8425472 1673 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 2057 1673 213 467 0 1588 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 584152
[startup+19.2103 s]
/proc/loadavg: 0.43 0.10 0.03 3/280 28729
/proc/meminfo: memFree=31969016/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293084 CPUtime=0.63 cores=0,2,4,6
/proc/28643/stat : 28643 (python) S 28639 28643 28606 0 -1 4202496 9523 919 112 9 43 20 0 0 18 0 2 0 869245036 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933603787 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 253
/proc/28643/statm: 73271 7142 1870 364 0 8158 0
[pid=28655] ppid=28643 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/28655/stat : 28655 (python) S 28643 28643 28606 0 -1 4202560 862 0 0 0 0 0 0 0 15 0 1 0 869246286 289628160 5644 33554432000 4194304 5683644 140733424361104 18446744073709551615 222921797135 0 0 16781312 33554946 13090016508011053314 0 0 17 4 0 0 0
/proc/28655/statm: 70710 5644 376 364 0 5597 0
[pid=28659] ppid=28655 vsize=8228 CPUtime=6.7 cores=0,2,4,6
/proc/28659/stat : 28659 (pbct-0.1.2-linu) R 28655 28659 28659 0 -1 4202496 1930 0 0 0 614 56 0 0 25 0 1 0 869246286 8425472 1673 33554432000 134512640 136422188 4291363952 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/28659/statm: 2057 1673 213 467 0 1588 0
[pid=28643/tid=28657] ppid=28639 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/28643/task/28657/stat : 28657 (python) S 28639 28643 28606 0 -1 4202560 29 919 0 9 0 0 0 0 18 0 2 0 869246286 300118016 7142 33554432000 4194304 5683644 140733424361104 18446744073709551615 222933600689 0 0 16781312 33554434 18446604441787900352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 584152
[startup+19.6012 s]
/proc/loadavg: 0.43 0.10 0.03 3/280 28729
/proc/meminfo: memFree=31969016/32951124 swapFree=53958412/67111528
[pid=28643] ppid=28639 vsize=293060 CPUtime=7.75 cores=0,2,4,6
/proc/28643/stat : 28643 (python) R 28639 28643 28606 0 -1 4202496 11691 4055 112 9 43 21 649 62 17 0 1 0 869245036 300093440 7140 33554432000 4194304 5683644 140733424361104 18446744073709551615 4516260 0 0 16781312 0 0 0 0 17 4 0 0 253
/proc/28643/statm: 73265 7140 1868 364 0 8158 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 293060
Child status: 0
Real time (s): 19.6158
CPU time (s): 7.77482
CPU user time (s): 6.93694
CPU system time (s): 0.837872
CPU usage (%): 39.6354
Max. virtual memory (cumulated for all children) (KiB): 584152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.93694
system time used= 0.837872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17981
page faults= 121
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20887
involuntary context switches= 38
runsolver used 0.06199 second user time and 0.136979 second system time
The end