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-3482483-1307576406/watcher-3482483-1307576406 -o /tmp/evaluation-result-3482483-1307576406/solver-3482483-1307576406 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482483-1307576406.opb -seed 784734656 -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: 0.86 0.22 0.07 3/446 25702
/proc/meminfo: memFree=30020152/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 957 0 0 0 0 0 0 0 22 0 1 0 947871344 16285696 833 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 3 0 0 0
/proc/25702/statm: 3977 834 357 364 0 464 0
[startup+0.0932741 s]
/proc/loadavg: 0.86 0.22 0.07 3/446 25702
/proc/meminfo: memFree=30020152/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=85616 CPUtime=0.05 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 2664 0 0 0 4 1 0 0 18 0 1 0 947871344 87670784 2381 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/25702/statm: 21404 2381 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.100247 s]
/proc/loadavg: 0.86 0.22 0.07 3/446 25702
/proc/meminfo: memFree=30020152/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=92000 CPUtime=0.06 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 2750 0 1 0 4 2 0 0 17 0 1 0 947871344 94208000 2461 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/25702/statm: 23000 2461 782 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 92000
[startup+0.300944 s]
/proc/loadavg: 0.86 0.22 0.07 3/446 25702
/proc/meminfo: memFree=30020152/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=123736 CPUtime=0.15 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 5356 929 1 0 11 4 0 0 17 0 1 0 947871344 126705664 3743 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/25702/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123736
[startup+0.700133 s]
/proc/loadavg: 0.86 0.22 0.07 3/446 25702
/proc/meminfo: memFree=30020152/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 293084
[startup+1.50105 s]
/proc/loadavg: 0.86 0.22 0.07 3/450 25710
/proc/meminfo: memFree=29989244/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 947871414 289628160 5619 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 12013910802730811654 0 0 17 7 0 0 0
/proc/25708/statm: 70710 5619 352 364 0 5597 0
[pid=25710] ppid=25708 vsize=7820 CPUtime=0.8 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1828 0 0 0 59 21 0 0 21 0 1 0 947871414 8007680 1573 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0
/proc/25710/statm: 1955 1573 213 467 0 1486 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 583744
[startup+3.10067 s]
/proc/loadavg: 0.86 0.22 0.07 3/442 25733
/proc/meminfo: memFree=30017896/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 947871414 289628160 5619 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 12013910802730811654 0 0 17 7 0 0 0
/proc/25708/statm: 70710 5619 352 364 0 5597 0
[pid=25710] ppid=25708 vsize=7948 CPUtime=2.39 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1863 0 0 0 183 56 0 0 25 0 1 0 947871414 8138752 1608 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 7 0 0 0
/proc/25710/statm: 1987 1608 213 467 0 1518 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 583872
[startup+6.30114 s]
/proc/loadavg: 0.95 0.25 0.08 3/450 25745
/proc/meminfo: memFree=29982452/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 947871414 289628160 5642 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 4487342561974780166 0 0 17 7 0 0 0
/proc/25708/statm: 70710 5642 375 364 0 5597 0
[pid=25710] ppid=25708 vsize=8076 CPUtime=5.6 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1905 0 0 0 428 132 0 0 25 0 1 0 947871414 8269824 1650 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2019 1650 213 467 0 1550 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 584000
Solver just ended. Dumping a history of the last processes samples
[startup+6.70105 s]
/proc/loadavg: 0.95 0.25 0.08 3/450 25745
/proc/meminfo: memFree=29982452/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.01 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 871 0 0 0 0 1 0 0 18 0 1 0 947871414 289628160 5642 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 4487342561974780166 0 0 17 7 0 0 0
/proc/25708/statm: 70710 5642 375 364 0 5597 0
[pid=25710] ppid=25708 vsize=8076 CPUtime=5.99 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1905 0 0 0 458 141 0 0 25 0 1 0 947871414 8269824 1650 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2019 1650 213 467 0 1550 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 584000
[startup+9.90039 s]
/proc/loadavg: 1.03 0.27 0.09 3/443 25768
/proc/meminfo: memFree=30064928/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 891 0 0 0 1 2 0 0 18 0 1 0 947871414 289628160 5652 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007697 0 0 17 1 0 0 0
/proc/25708/statm: 70710 5652 385 364 0 5597 0
[pid=25710] ppid=25708 vsize=8204 CPUtime=9.19 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1921 0 0 0 709 210 0 0 25 0 1 0 947871414 8400896 1666 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2051 1666 213 467 0 1582 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (KiB) 584128
[startup+10.7003 s]
/proc/loadavg: 1.03 0.27 0.09 3/450 25780
/proc/meminfo: memFree=29987696/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 891 0 0 0 1 2 0 0 18 0 1 0 947871414 289628160 5652 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007697 0 0 17 1 0 0 0
/proc/25708/statm: 70710 5652 385 364 0 5597 0
[pid=25710] ppid=25708 vsize=8204 CPUtime=10 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1931 0 0 0 774 226 0 0 25 0 1 0 947871414 8400896 1676 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2051 1676 213 467 0 1582 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.45
Current children cumulated vsize (KiB) 584128
[startup+11.1012 s]
/proc/loadavg: 1.03 0.27 0.09 3/450 25780
/proc/meminfo: memFree=29987696/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 891 0 0 0 1 2 0 0 18 0 1 0 947871414 289628160 5652 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007697 0 0 17 1 0 0 0
/proc/25708/statm: 70710 5652 385 364 0 5597 0
[pid=25710] ppid=25708 vsize=8204 CPUtime=10.39 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1931 0 0 0 804 235 0 0 25 0 1 0 947871414 8400896 1676 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2051 1676 213 467 0 1582 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 584128
[startup+11.3012 s]
/proc/loadavg: 1.03 0.27 0.09 3/450 25780
/proc/meminfo: memFree=29985340/32950928 swapFree=52246700/67111528
[pid=25702] ppid=25700 vsize=293084 CPUtime=0.42 cores=1,3,5,7
/proc/25702/stat : 25702 (python) S 25700 25702 25621 0 -1 4202496 9632 929 1 0 32 10 0 0 18 0 2 0 947871344 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/25702/statm: 73271 7141 1870 364 0 8158 0
[pid=25708] ppid=25702 vsize=282840 CPUtime=0.03 cores=1,3,5,7
/proc/25708/stat : 25708 (python) S 25702 25702 25621 0 -1 4202560 891 0 0 0 1 2 0 0 18 0 1 0 947871414 289628160 5652 33554432000 4194304 5683644 140733682991552 18446744073709551615 231895510543 0 0 16781312 33554946 5623311482772007697 0 0 17 1 0 0 0
/proc/25708/statm: 70710 5652 385 364 0 5597 0
[pid=25710] ppid=25708 vsize=8204 CPUtime=10.6 cores=1,3,5,7
/proc/25710/stat : 25710 (pbct-0.1.2-linu) R 25708 25710 25710 0 -1 4202496 1931 0 0 0 820 240 0 0 25 0 1 0 947871414 8400896 1676 33554432000 134512640 136422188 4291077968 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 5 0 0 0
/proc/25710/statm: 2051 1676 213 467 0 1582 0
[pid=25702/tid=25709] ppid=25700 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/25702/task/25709/stat : 25709 (python) S 25700 25702 25621 0 -1 4202560 25 929 0 0 0 0 0 0 18 0 2 0 947871414 300118016 7141 33554432000 4194304 5683644 140733682991552 18446744073709551615 231907314097 0 0 16781312 33554434 18446604463741719872 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 584128
Child status: 0
Real time (s): 11.3772
CPU time (s): 11.1493
CPU user time (s): 8.60169
CPU system time (s): 2.54761
CPU usage (%): 97.9969
Max. virtual memory (cumulated for all children) (KiB): 584128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.60169
system time used= 2.54761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18099
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= 2534
involuntary context switches= 37
runsolver used 0.046992 second user time and 0.123981 second system time
The end