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-3482558-1307576441/watcher-3482558-1307576441 -o /tmp/evaluation-result-3482558-1307576441/solver-3482558-1307576441 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482558-1307576441.opb -seed 2078187392 -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.25 0.40 0.14 4/442 26010
/proc/meminfo: memFree=30039884/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=15384 CPUtime=0 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 795 0 0 0 0 0 0 0 17 0 1 0 947875247 15753216 681 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26010/statm: 3846 681 322 364 0 333 0
[startup+0.0244099 s]
/proc/loadavg: 1.25 0.40 0.14 4/442 26010
/proc/meminfo: memFree=30039884/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=16248 CPUtime=0 cores=0,2,4,6
/proc/26010/stat : 26010 (python) R 26008 26010 25621 0 -1 4202496 1052 0 0 0 0 0 0 0 17 0 1 0 947875247 16637952 923 33554432000 4194304 5683644 140734238103024 18446744073709551615 4379155 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26010/statm: 4062 923 381 364 0 549 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16248
[startup+0.100421 s]
/proc/loadavg: 1.25 0.40 0.14 4/442 26010
/proc/meminfo: memFree=30039884/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=45820 CPUtime=0.04 cores=0,2,4,6
/proc/26010/stat : 26010 (python) D 26008 26010 25621 0 -1 4202496 1925 0 0 0 3 1 0 0 17 0 1 0 947875247 46919680 1697 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26010/statm: 11455 1697 470 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45820
[startup+0.300458 s]
/proc/loadavg: 1.25 0.40 0.14 4/442 26010
/proc/meminfo: memFree=30039884/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=120688 CPUtime=0.12 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 5118 931 1 0 9 3 0 0 17 0 1 0 947875247 123584512 3532 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26010/statm: 30172 3532 925 364 0 2621 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 120688
[startup+0.970309 s]
/proc/loadavg: 1.25 0.40 0.14 4/442 26010
/proc/meminfo: memFree=30039884/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=123884 CPUtime=0.19 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 5396 931 1 0 13 6 0 0 15 0 1 0 947875247 126857216 3764 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26010/statm: 30971 3764 987 364 0 2803 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123884
[startup+1.50121 s]
/proc/loadavg: 1.25 0.40 0.14 1/444 26020
/proc/meminfo: memFree=30011108/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=163812 CPUtime=0.2 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 5870 931 1 0 14 6 0 0 16 0 1 0 947875247 167743488 4195 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26010/statm: 40953 4195 1165 364 0 3262 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 163812
[startup+3.10087 s]
/proc/loadavg: 1.25 0.40 0.14 1/444 26020
/proc/meminfo: memFree=30005640/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=210068 CPUtime=0.26 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 6837 931 1 0 18 8 0 0 15 0 1 0 947875247 215109632 5100 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/26010/statm: 52517 5100 1501 364 0 3816 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 210068
heavy processes:
[startup+6.30124 s]
/proc/loadavg: 1.23 0.41 0.14 3/450 26026
/proc/meminfo: memFree=29987124/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 947875759 289632256 5619 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 13839036745481421059 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5619 352 364 0 5598 0
[pid=26024] ppid=26021 vsize=7852 CPUtime=1.18 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1841 0 0 0 108 10 0 0 20 0 1 0 947875759 8040448 1584 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 1963 1584 213 467 0 1494 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 583784
heavy processes:
[startup+12.701 s]
/proc/loadavg: 1.29 0.44 0.15 3/450 26026
/proc/meminfo: memFree=29984248/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0.01 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 867 0 0 0 1 0 0 0 15 0 1 0 947875759 289632256 5643 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 13839042036881129731 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5643 376 364 0 5598 0
[pid=26024] ppid=26021 vsize=8108 CPUtime=7.58 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1912 0 0 0 695 63 0 0 25 0 1 0 947875759 8302592 1655 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 2027 1655 213 467 0 1558 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.04
Current children cumulated vsize (KiB) 584040
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+13.2009 s]
/proc/loadavg: 1.29 0.44 0.15 2/445 26027
/proc/meminfo: memFree=30010452/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 871 0 0 0 2 1 0 0 16 0 1 0 947875759 289632256 5643 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949330 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5643 376 364 0 5598 0
[pid=26024] ppid=26021 vsize=8108 CPUtime=8.08 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1912 0 0 0 742 66 0 0 25 0 1 0 947875759 8302592 1655 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 2027 1655 213 467 0 1558 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 584040
[startup+14.0008 s]
/proc/loadavg: 1.29 0.44 0.15 3/447 26058
/proc/meminfo: memFree=30001852/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 871 0 0 0 2 1 0 0 16 0 1 0 947875759 289632256 5643 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949330 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5643 376 364 0 5598 0
[pid=26024] ppid=26021 vsize=8108 CPUtime=8.88 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1912 0 0 0 815 73 0 0 25 0 1 0 947875759 8302592 1655 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 2027 1655 213 467 0 1558 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 584040
[startup+14.2007 s]
/proc/loadavg: 1.29 0.44 0.15 3/447 26058
/proc/meminfo: memFree=30001852/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 871 0 0 0 2 1 0 0 15 0 1 0 947875759 289632256 5643 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949330 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5643 376 364 0 5598 0
[pid=26024] ppid=26021 vsize=8108 CPUtime=9.08 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1912 0 0 0 834 74 0 0 25 0 1 0 947875759 8302592 1655 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 2027 1655 213 467 0 1558 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 584040
[startup+14.3007 s]
/proc/loadavg: 1.29 0.44 0.15 3/447 26058
/proc/meminfo: memFree=30001852/32950928 swapFree=52246700/67111528
[pid=26010] ppid=26008 vsize=293088 CPUtime=0.45 cores=0,2,4,6
/proc/26010/stat : 26010 (python) S 26008 26010 25621 0 -1 4202496 9631 931 1 0 33 12 0 0 18 0 2 0 947875247 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/26010/statm: 73272 7141 1870 364 0 8159 0
[pid=26021] ppid=26010 vsize=282844 CPUtime=0.03 cores=0,2,4,6
/proc/26021/stat : 26021 (python) S 26010 26010 25621 0 -1 4202560 871 0 0 0 2 1 0 0 15 0 1 0 947875759 289632256 5643 33554432000 4194304 5683644 140734238103024 18446744073709551615 231895510543 0 0 16781312 33554946 72556772316949330 0 0 17 6 0 0 0
/proc/26021/statm: 70711 5643 376 364 0 5598 0
[pid=26024] ppid=26021 vsize=8108 CPUtime=9.18 cores=0,2,4,6
/proc/26024/stat : 26024 (pbct-0.1.2-linu) R 26021 26024 26024 0 -1 4202496 1912 0 0 0 843 75 0 0 25 0 1 0 947875759 8302592 1655 33554432000 134512640 136422188 4288389472 18446744073709551615 135874785 0 0 16781312 16387 0 0 0 17 4 0 0 0
/proc/26024/statm: 2027 1655 213 467 0 1558 0
[pid=26010/tid=26022] ppid=26008 vsize=293088 CPUtime=0 cores=0,2,4,6
/proc/26010/task/26022/stat : 26022 (python) S 26008 26010 25621 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 2 0 947875759 300122112 7141 33554432000 4194304 5683644 140734238103024 18446744073709551615 231907314097 0 0 16781312 33554434 18446604446867443968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 584040
Child status: 0
Real time (s): 14.3382
CPU time (s): 9.72952
CPU user time (s): 8.81966
CPU system time (s): 0.909861
CPU usage (%): 67.8572
Max. virtual memory (cumulated for all children) (KiB): 584040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.81966
system time used= 0.909861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18064
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= 5797
involuntary context switches= 41
runsolver used 0.079987 second user time and 0.164974 second system time
The end