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-3482354-1307576588/watcher-3482354-1307576588 -o /tmp/evaluation-result-3482354-1307576588/solver-3482354-1307576588 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482354-1307576588.opb -seed 997748722 -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: 4.93 2.59 1.03 2/525 2930
/proc/meminfo: memFree=17326972/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 712 0 0 0 0 0 0 0 18 0 1 0 869257551 15548416 603 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 3 0 0 0
/proc/2930/statm: 3796 603 319 364 0 283 0
[startup+0.07653 s]
/proc/loadavg: 4.93 2.59 1.03 2/525 2930
/proc/meminfo: memFree=17326972/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=36504 CPUtime=0.04 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 1577 0 0 0 3 1 0 0 17 0 1 0 869257551 37380096 1411 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2930/statm: 9126 1444 452 364 0 943 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36504
[startup+0.101533 s]
/proc/loadavg: 4.93 2.59 1.03 2/525 2930
/proc/meminfo: memFree=17326972/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=54632 CPUtime=0.05 cores=1,3,5,7
/proc/2930/stat : 2930 (python) D 2928 2930 2587 0 -1 4202496 2080 0 0 0 3 2 0 0 17 0 1 0 869257551 55943168 1835 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970548224 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2930/statm: 13658 1835 492 364 0 1308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 54632
[startup+0.300563 s]
/proc/loadavg: 4.93 2.59 1.03 2/525 2930
/proc/meminfo: memFree=17326972/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=123740 CPUtime=0.18 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 5354 928 1 0 11 7 0 0 17 0 1 0 869257551 126709760 3742 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970546181 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2930/statm: 30935 3742 987 364 0 2767 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 123740
[startup+0.70042 s]
/proc/loadavg: 4.93 2.59 1.03 2/525 2930
/proc/meminfo: memFree=17326972/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=250228 CPUtime=0.39 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 8090 928 1 0 24 15 0 0 16 0 1 0 869257551 256233472 6208 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970546021 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/2930/statm: 62557 6208 1620 364 0 5027 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 250228
[startup+1.50032 s]
/proc/loadavg: 4.93 2.59 1.03 3/530 2978
/proc/meminfo: memFree=17403524/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 664 0 0 0 0 0 0 0 18 0 1 0 869257640 290385920 5737 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 4376473581865894151 0 0 17 7 0 0 0
/proc/2952/statm: 70895 5737 316 364 0 5782 0
[pid=2954] ppid=2952 vsize=2928 CPUtime=0.61 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 742 0 0 0 61 0 0 0 20 0 1 0 869257640 2998272 471 33554432000 134512640 136139019 4289427360 18446744073709551615 134828798 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 732 471 183 398 0 332 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 580332
[startup+3.10106 s]
/proc/loadavg: 4.61 2.56 1.03 2/534 2987
/proc/meminfo: memFree=17278340/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 686 0 0 0 0 0 0 0 18 0 1 0 869257640 290385920 5740 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 4376476605522870535 0 0 17 7 0 0 0
/proc/2952/statm: 70895 5740 319 364 0 5782 0
[pid=2954] ppid=2952 vsize=3060 CPUtime=2.21 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 781 0 0 0 221 0 0 0 25 0 1 0 869257640 3133440 510 33554432000 134512640 136139019 4289427360 18446744073709551615 134875877 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 765 510 183 398 0 365 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 580464
[startup+6.30049 s]
/proc/loadavg: 4.61 2.56 1.03 3/537 3028
/proc/meminfo: memFree=17264284/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.01 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 849 0 0 0 0 1 0 0 18 0 1 0 869257640 290385920 5763 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 17677323536152101127 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5763 342 364 0 5782 0
[pid=2954] ppid=2952 vsize=3456 CPUtime=5.41 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 877 0 0 0 541 0 0 0 25 0 1 0 869257640 3538944 606 33554432000 134512640 136139019 4289427360 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 864 606 183 398 0 464 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 580860
[startup+13.2353 s]
/proc/loadavg: 4.61 2.56 1.03 3/537 3028
/proc/meminfo: memFree=17264284/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.03 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 855 0 0 0 1 2 0 0 18 0 1 0 869257640 290385920 5764 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251775 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5764 343 364 0 5782 0
[pid=2954] ppid=2952 vsize=3724 CPUtime=12.34 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 954 0 0 0 1234 0 0 0 25 0 1 0 869257640 3813376 683 33554432000 134512640 136139019 4289427360 18446744073709551615 134883415 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 931 683 183 398 0 531 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.94
Current children cumulated vsize (KiB) 581128
Solver just ended. Dumping a history of the last processes samples
[startup+14.701 s]
/proc/loadavg: 4.83 2.67 1.09 3/537 3028
/proc/meminfo: memFree=17262176/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.05 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 856 0 0 0 2 3 0 0 18 0 1 0 869257640 290385920 5764 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251775 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5764 343 364 0 5782 0
[pid=2954] ppid=2952 vsize=3724 CPUtime=13.81 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 955 0 0 0 1381 0 0 0 25 0 1 0 869257640 3813376 684 33554432000 134512640 136139019 4289427360 18446744073709551615 134828746 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 931 684 183 398 0 531 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 14.43
Current children cumulated vsize (KiB) 581128
[startup+15.5009 s]
/proc/loadavg: 4.83 2.67 1.09 3/537 3028
/proc/meminfo: memFree=17262948/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.05 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 856 0 0 0 2 3 0 0 18 0 1 0 869257640 290385920 5764 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251775 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5764 343 364 0 5782 0
[pid=2954] ppid=2952 vsize=3724 CPUtime=14.61 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 955 0 0 0 1461 0 0 0 25 0 1 0 869257640 3813376 684 33554432000 134512640 136139019 4289427360 18446744073709551615 134876801 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 931 684 183 398 0 531 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 581128
[startup+15.9008 s]
/proc/loadavg: 4.83 2.67 1.09 3/537 3028
/proc/meminfo: memFree=17262948/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.05 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 856 0 0 0 2 3 0 0 18 0 1 0 869257640 290385920 5764 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251775 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5764 343 364 0 5782 0
[pid=2954] ppid=2952 vsize=3724 CPUtime=15.01 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 955 0 0 0 1501 0 0 0 25 0 1 0 869257640 3813376 684 33554432000 134512640 136139019 4289427360 18446744073709551615 134634749 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 931 684 183 398 0 531 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15.63
Current children cumulated vsize (KiB) 581128
[startup+16.3008 s]
/proc/loadavg: 4.83 2.67 1.09 3/537 3028
/proc/meminfo: memFree=17262948/32951132 swapFree=45426552/67111528
[pid=2930] ppid=2928 vsize=293824 CPUtime=0.57 cores=1,3,5,7
/proc/2930/stat : 2930 (python) S 2928 2930 2587 0 -1 4202496 10821 1328 1 0 38 17 2 0 18 0 2 0 869257551 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982376907 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2930/statm: 73456 7296 1871 364 0 8343 0
[pid=2952] ppid=2930 vsize=283580 CPUtime=0.05 cores=1,3,5,7
/proc/2952/stat : 2952 (python) S 2930 2930 2587 0 -1 4202560 856 0 0 0 2 3 0 0 18 0 1 0 869257640 290385920 5764 33554432000 4194304 5683644 140735844838848 18446744073709551615 242970570255 0 0 16781312 33554946 5623606151888251775 0 0 17 5 0 0 0
/proc/2952/statm: 70895 5764 343 364 0 5782 0
[pid=2954] ppid=2952 vsize=3724 CPUtime=15.41 cores=1,3,5,7
/proc/2954/stat : 2954 (clasp-1.3.7-x86) R 2952 2954 2954 0 -1 4202496 955 0 0 0 1541 0 0 0 25 0 1 0 869257640 3813376 684 33554432000 134512640 136139019 4289427360 18446744073709551615 134828798 0 0 16781312 16386 0 0 0 17 3 0 0 0
/proc/2954/statm: 931 684 183 398 0 531 0
[pid=2930/tid=2953] ppid=2928 vsize=293824 CPUtime=0.02 cores=1,3,5,7
/proc/2930/task/2953/stat : 2953 (python) S 2928 2930 2587 0 -1 4202560 25 1328 0 0 0 0 2 0 18 0 2 0 869257640 300875776 7296 33554432000 4194304 5683644 140735844838848 18446744073709551615 242982373809 0 0 16781312 33554434 18446604467070700480 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16.03
Current children cumulated vsize (KiB) 581128
Child status: 0
Real time (s): 16.3879
CPU time (s): 16.1585
CPU user time (s): 15.9316
CPU system time (s): 0.226965
CPU usage (%): 98.6002
Max. virtual memory (cumulated for all children) (KiB): 581128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9316
system time used= 0.226965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18782
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= 12810
involuntary context switches= 43
runsolver used 0.042993 second user time and 0.136979 second system time
The end