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-3482565-1307576443/watcher-3482565-1307576443 -o /tmp/evaluation-result-3482565-1307576443/solver-3482565-1307576443 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482565-1307576443.opb -seed 2078187392 -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: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 616 0 0 0 0 0 0 0 22 0 1 0 947875246 15441920 513 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 3 0 0 0
/proc/26006/statm: 3770 513 300 364 0 257 0
[startup+0.111855 s]
/proc/loadavg: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=43624 CPUtime=0.04 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 1879 0 0 0 3 1 0 0 17 0 1 0 947875246 44670976 1654 33554432000 4194304 5683644 140733502371344 18446744073709551615 231890566791 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26006/statm: 10906 1654 467 364 0 1171 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 43624
[startup+0.200935 s]
/proc/loadavg: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=103720 CPUtime=0.09 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 3807 929 1 0 6 3 0 0 17 0 1 0 947875246 106209280 2665 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26006/statm: 25930 2665 848 364 0 1729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 103720
[startup+0.30084 s]
/proc/loadavg: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=119988 CPUtime=0.13 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 4928 929 1 0 8 5 0 0 17 0 1 0 947875246 122867712 3351 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26006/statm: 29997 3351 919 364 0 2446 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 119988
[startup+0.907705 s]
/proc/loadavg: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=123884 CPUtime=0.19 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 5387 929 1 0 12 7 0 0 15 0 1 0 947875246 126857216 3758 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26006/statm: 30971 3758 987 364 0 2803 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123884
[startup+1.50067 s]
/proc/loadavg: 1.25 0.40 0.14 2/438 26006
/proc/meminfo: memFree=30041280/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=156952 CPUtime=0.21 cores=1,3,5,7
/proc/26006/stat : 26006 (python) R 26004 26006 25621 0 -1 4202496 5785 929 1 0 13 8 0 0 15 0 1 0 947875246 160718848 4114 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/26006/statm: 39238 4114 1133 364 0 3229 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 156952
[startup+3.10037 s]
/proc/loadavg: 1.25 0.40 0.14 1/444 26020
/proc/meminfo: memFree=30005632/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=208000 CPUtime=0.27 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 6830 929 1 0 17 10 0 0 15 0 1 0 947875246 212992000 5094 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26006/statm: 52000 5094 1498 364 0 3816 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 208000
heavy processes:
[startup+6.30073 s]
/proc/loadavg: 1.23 0.41 0.14 3/450 26026
/proc/meminfo: memFree=29987124/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 947875759 290033664 5691 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248920698876035333 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5691 352 364 0 5696 0
[pid=26026] ppid=26023 vsize=2520 CPUtime=1.17 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 624 0 0 0 117 0 0 0 19 0 1 0 947875759 2580480 367 33554432000 134512640 136139019 4287408640 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 630 367 184 398 0 230 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 579236
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+6.90063 s]
/proc/loadavg: 1.23 0.41 0.14 3/450 26026
/proc/meminfo: memFree=29987124/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 947875759 290033664 5691 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248920698876035333 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5691 352 364 0 5696 0
[pid=26026] ppid=26023 vsize=2520 CPUtime=1.77 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 648 0 0 0 177 0 0 0 20 0 1 0 947875759 2580480 391 33554432000 134512640 136139019 4287408640 18446744073709551615 134608352 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 630 391 184 398 0 230 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 579236
[startup+10.101 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29986092/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 1 0 947875759 290033664 5715 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248919187047547141 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5715 376 364 0 5696 0
[pid=26026] ppid=26023 vsize=3060 CPUtime=4.97 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 773 0 0 0 497 0 0 0 25 0 1 0 947875759 3133440 516 33554432000 134512640 136139019 4287408640 18446744073709551615 135547677 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 765 516 184 398 0 365 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 579776
[startup+11.7007 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29983860/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 1 0 947875759 290033664 5715 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248919187047547141 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5715 376 364 0 5696 0
[pid=26026] ppid=26023 vsize=3192 CPUtime=6.57 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 801 0 0 0 657 0 0 0 25 0 1 0 947875759 3268608 544 33554432000 134512640 136139019 4287408640 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 798 544 184 398 0 398 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 579908
[startup+12.1006 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29983860/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 1 0 947875759 290033664 5715 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248919187047547141 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5715 376 364 0 5696 0
[pid=26026] ppid=26023 vsize=3192 CPUtime=6.97 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 805 0 0 0 697 0 0 0 25 0 1 0 947875759 3268608 548 33554432000 134512640 136139019 4287408640 18446744073709551615 134883379 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 798 548 184 398 0 398 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 579908
[startup+12.5006 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29983860/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283236 CPUtime=0.01 cores=1,3,5,7
/proc/26023/stat : 26023 (python) S 26006 26006 25621 0 -1 4202560 887 0 0 0 1 0 0 0 15 0 1 0 947875759 290033664 5715 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895510543 0 0 16781312 33554946 16248919187047547141 0 0 17 7 0 0 0
/proc/26023/statm: 70809 5715 376 364 0 5696 0
[pid=26026] ppid=26023 vsize=3192 CPUtime=7.37 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) R 26023 26026 26026 0 -1 4202496 813 0 0 0 737 0 0 0 25 0 1 0 947875759 3268608 556 33554432000 134512640 136139019 4287408640 18446744073709551615 134883499 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26026/statm: 798 556 184 398 0 398 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 579908
[startup+12.6005 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29984248/32950928 swapFree=52246700/67111528
[pid=26006] ppid=26004 vsize=293480 CPUtime=0.5 cores=1,3,5,7
/proc/26006/stat : 26006 (python) S 26004 26006 25621 0 -1 4202496 9700 929 1 0 37 13 0 0 17 0 2 0 947875246 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26006/statm: 73370 7205 1862 364 0 8257 0
[pid=26023] ppid=26006 vsize=283240 CPUtime=0.02 cores=1,3,5,7
/proc/26023/stat : 26023 (python) R 26006 26006 25621 0 -1 4202560 892 0 0 0 1 1 0 0 16 0 1 0 947875759 290037760 5715 33554432000 4194304 5683644 140733502371344 18446744073709551615 231895490304 0 0 16781312 33554946 0 0 0 17 1 0 0 0
/proc/26023/statm: 70809 5715 376 364 0 5696 0
[pid=26026] ppid=26023 vsize=0 CPUtime=7.47 cores=1,3,5,7
/proc/26026/stat : 26026 (clasp-1.3.7-x86) Z 26023 26026 26026 0 -1 4202524 827 0 0 0 747 0 0 0 25 0 1 0 947875759 0 0 33554432000 0 0 0 0 0 0 0 16781312 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/26026/statm: 0 0 0 0 0 0 0
[pid=26006/tid=26025] ppid=26004 vsize=293480 CPUtime=0 cores=1,3,5,7
/proc/26006/task/26025/stat : 26025 (python) S 26004 26006 25621 0 -1 4202560 27 929 0 0 0 0 0 0 17 0 2 0 947875759 300523520 7205 33554432000 4194304 5683644 140733502371344 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463951960960 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.99
Current children cumulated vsize (KiB) 576720
Child status: 0
Real time (s): 12.647
CPU time (s): 8.05477
CPU user time (s): 7.8908
CPU system time (s): 0.163975
CPU usage (%): 63.6894
Max. virtual memory (cumulated for all children) (KiB): 579908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8908
system time used= 0.163975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17063
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= 5697
involuntary context switches= 29
runsolver used 0.06099 second user time and 0.157975 second system time
The end