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-3482540-1307576436/watcher-3482540-1307576436 -o /tmp/evaluation-result-3482540-1307576436/solver-3482540-1307576436 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482540-1307576436.opb -seed 852816353 -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.14 0.32 0.11 1/464 12134
/proc/meminfo: memFree=30146276/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=15760 CPUtime=0 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 845 0 0 0 0 0 0 0 17 0 1 0 869243491 16138240 727 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/12134/statm: 3941 727 334 364 0 428 0
[startup+0.0883509 s]
/proc/loadavg: 1.14 0.32 0.11 1/464 12134
/proc/meminfo: memFree=30146276/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=85616 CPUtime=0.06 cores=0,2,4,6
/proc/12134/stat : 12134 (python) R 12132 12134 11775 0 -1 4202496 2662 0 0 0 5 1 0 0 17 0 1 0 869243491 87670784 2381 33554432000 4194304 5683644 140736928337488 18446744073709551615 5371716 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12134/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85616
[startup+0.10055 s]
/proc/loadavg: 1.14 0.32 0.11 1/464 12134
/proc/meminfo: memFree=30146276/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=94064 CPUtime=0.06 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 2809 0 1 0 5 1 0 0 18 0 1 0 869243491 96321536 2479 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089698048 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/12134/statm: 23516 2479 788 364 0 1627 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 94064
[startup+0.300302 s]
/proc/loadavg: 1.14 0.32 0.11 1/464 12134
/proc/meminfo: memFree=30146276/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=168308 CPUtime=0.2 cores=0,2,4,6
/proc/12134/stat : 12134 (python) R 12132 12134 11775 0 -1 4202496 5975 929 1 0 15 5 0 0 17 0 1 0 869243491 172347392 4292 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089346988 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/12134/statm: 42077 4292 1200 364 0 3294 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 168308
[startup+0.700291 s]
/proc/loadavg: 1.14 0.32 0.11 1/464 12134
/proc/meminfo: memFree=30146276/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 293084
[startup+1.50115 s]
/proc/loadavg: 1.14 0.32 0.11 4/471 12145
/proc/meminfo: memFree=30093148/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 724 0 0 0 0 0 0 0 18 0 1 0 869243545 289628160 5619 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093517353033892100 0 0 17 2 0 0 0
/proc/12143/statm: 70710 5619 352 364 0 5597 0
[pid=12145] ppid=12143 vsize=7716 CPUtime=0.95 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1826 0 0 0 87 8 0 0 21 0 1 0 869243545 7901184 1568 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 1929 1568 213 467 0 1460 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 583640
[startup+3.10076 s]
/proc/loadavg: 1.14 0.32 0.11 3/471 12145
/proc/meminfo: memFree=30092344/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 869243545 289628160 5619 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093517353033892100 0 0 17 2 0 0 0
/proc/12143/statm: 70710 5619 352 364 0 5597 0
[pid=12145] ppid=12143 vsize=7844 CPUtime=2.55 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1855 0 0 0 225 30 0 0 25 0 1 0 869243545 8032256 1597 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 1961 1597 213 467 0 1492 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 583768
[startup+6.30019 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30089884/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 869243545 289628160 5643 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093518108948136196 0 0 17 0 0 0 0
/proc/12143/statm: 70710 5643 376 364 0 5597 0
[pid=12145] ppid=12143 vsize=7972 CPUtime=5.75 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1893 0 0 0 501 74 0 0 25 0 1 0 869243545 8163328 1635 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 1993 1635 213 467 0 1524 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 583896
Solver just ended. Dumping a history of the last processes samples
[startup+6.80122 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30089884/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 869243545 289628160 5643 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093518108948136196 0 0 17 0 0 0 0
/proc/12143/statm: 70710 5643 376 364 0 5597 0
[pid=12145] ppid=12143 vsize=8100 CPUtime=6.25 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1901 0 0 0 547 78 0 0 25 0 1 0 869243545 8294400 1643 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 2025 1643 213 467 0 1556 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 584024
[startup+7.60108 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30094472/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 869243545 289628160 5643 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093518108948136196 0 0 17 0 0 0 0
/proc/12143/statm: 70710 5643 376 364 0 5597 0
[pid=12145] ppid=12143 vsize=8100 CPUtime=7.05 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1903 0 0 0 621 84 0 0 25 0 1 0 869243545 8294400 1645 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 2025 1645 213 467 0 1556 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 584024
[startup+8.40094 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30095124/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0.01 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 869243545 289628160 5643 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 13093518108948136196 0 0 17 0 0 0 0
/proc/12143/statm: 70710 5643 376 364 0 5597 0
[pid=12145] ppid=12143 vsize=8100 CPUtime=7.85 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1903 0 0 0 694 91 0 0 25 0 1 0 869243545 8294400 1645 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 2025 1645 213 467 0 1556 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 584024
[startup+8.6009 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30095124/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293084 CPUtime=0.4 cores=0,2,4,6
/proc/12134/stat : 12134 (python) S 12132 12134 11775 0 -1 4202496 9631 929 1 0 32 8 0 0 19 0 2 0 869243491 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101524939 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12134/statm: 73271 7141 1870 364 0 8158 0
[pid=12143] ppid=12134 vsize=282840 CPUtime=0.03 cores=0,2,4,6
/proc/12143/stat : 12143 (python) S 12134 12134 11775 0 -1 4202560 875 0 0 0 1 2 0 0 18 0 1 0 869243545 289628160 5643 33554432000 4194304 5683644 140736928337488 18446744073709551615 248089718287 0 0 16781312 33554946 72262103200705397 0 0 17 2 0 0 0
/proc/12143/statm: 70710 5643 376 364 0 5597 0
[pid=12145] ppid=12143 vsize=8100 CPUtime=8.05 cores=0,2,4,6
/proc/12145/stat : 12145 (pbct-0.1.2-linu) R 12143 12145 12145 0 -1 4202496 1903 0 0 0 713 92 0 0 25 0 1 0 869243545 8294400 1645 33554432000 134512640 136422188 4290982240 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/12145/statm: 2025 1645 213 467 0 1556 0
[pid=12134/tid=12144] ppid=12132 vsize=293084 CPUtime=0 cores=0,2,4,6
/proc/12134/task/12144/stat : 12144 (python) S 12132 12134 11775 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869243545 300118016 7141 33554432000 4194304 5683644 140736928337488 18446744073709551615 248101521841 0 0 16781312 33554434 18446604453474821952 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.48
Current children cumulated vsize (KiB) 584024
[startup+8.70088 s]
/proc/loadavg: 1.29 0.36 0.12 3/471 12145
/proc/meminfo: memFree=30095124/32950928 swapFree=45617076/67111528
[pid=12134] ppid=12132 vsize=293060 CPUtime=8.6 cores=0,2,4,6
/proc/12134/stat : 12134 (python) R 12132 12134 11775 0 -1 4202496 11026 4027 1 0 33 8 723 96 18 0 1 0 869243491 300093440 7139 33554432000 4194304 5683644 140736928337488 18446744073709551615 5116756 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/12134/statm: 73265 7139 1868 364 0 8158 0
Current children cumulated CPU time (s) 8.6
Current children cumulated vsize (KiB) 293060
Child status: 0
Real time (s): 8.71948
CPU time (s): 8.63269
CPU user time (s): 7.58485
CPU system time (s): 1.04784
CPU usage (%): 99.0046
Max. virtual memory (cumulated for all children) (KiB): 584024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.58485
system time used= 1.04784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18057
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= 3631
involuntary context switches= 24
runsolver used 0.042993 second user time and 0.085986 second system time
The end