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-3482023-1307576711/watcher-3482023-1307576711 -o /tmp/evaluation-result-3482023-1307576711/solver-3482023-1307576711 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482023-1307576711.opb -seed 127171270 -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: 2.29 1.44 0.63 2/581 15168
/proc/meminfo: memFree=20462676/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=15776 CPUtime=0 cores=0,2,4,6
/proc/15168/stat : 15168 (python) R 15166 15168 14716 0 -1 4202496 859 0 0 0 0 0 0 0 25 0 1 0 947901900 16154624 740 33554432000 4194304 5683644 140733966061920 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15168/statm: 3944 741 335 364 0 431 0
[startup+0.114891 s]
/proc/loadavg: 2.29 1.44 0.63 2/581 15168
/proc/meminfo: memFree=20462676/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=98188 CPUtime=0.08 cores=0,2,4,6
/proc/15168/stat : 15168 (python) R 15166 15168 14716 0 -1 4202496 3308 930 1 0 7 1 0 0 25 0 1 0 947901900 100544512 2487 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988590592 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/15168/statm: 24547 2487 794 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 98188
[startup+0.200893 s]
/proc/loadavg: 2.29 1.44 0.63 2/581 15168
/proc/meminfo: memFree=20462676/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=123740 CPUtime=0.14 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 5357 930 1 0 10 4 0 0 25 0 1 0 947901900 126709760 3743 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988588549 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15168/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.301359 s]
/proc/loadavg: 2.29 1.44 0.63 2/581 15168
/proc/meminfo: memFree=20462676/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=123880 CPUtime=0.19 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 5412 930 1 0 13 6 0 0 17 0 1 0 947901900 126853120 3778 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988590592 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/15168/statm: 30970 3778 987 364 0 2802 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123880
[startup+0.7008 s]
/proc/loadavg: 2.29 1.44 0.63 2/581 15168
/proc/meminfo: memFree=20462676/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293096
[startup+1.50066 s]
/proc/loadavg: 2.19 1.43 0.63 3/585 15176
/proc/meminfo: memFree=20414680/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 947901959 289640448 5622 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 1177493115586478080 0 0 17 6 0 0 0
/proc/15174/statm: 70713 5622 352 364 0 5600 0
[pid=15176] ppid=15174 vsize=37928 CPUtime=0.9 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 7752 0 0 0 88 2 0 0 21 0 1 0 947901959 38838272 7118 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9482 7118 775 2317 0 7160 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 613876
[startup+3.10041 s]
/proc/loadavg: 2.19 1.43 0.63 3/585 15176
/proc/meminfo: memFree=20408480/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 1 0 947901959 289640448 5622 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 2594584026912129024 0 0 17 6 0 0 0
/proc/15174/statm: 70713 5622 352 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=2.5 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8884 0 0 0 246 4 0 0 25 0 1 0 947901959 39743488 7497 33554432000 4194304 13684479 140737199284288 18446744073709551615 7430408 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7497 802 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 614760
[startup+6.30077 s]
/proc/loadavg: 2.33 1.47 0.65 3/585 15176
/proc/meminfo: memFree=20405380/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0.02 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 897 0 0 0 1 1 0 0 15 0 1 0 947901959 289640448 5646 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 2959716771751231747 0 0 17 4 0 0 0
/proc/15174/statm: 70713 5646 376 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=5.71 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8892 0 0 0 562 9 0 0 25 0 1 0 947901959 39743488 7498 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7498 796 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 614760
Solver just ended. Dumping a history of the last processes samples
[startup+6.40075 s]
/proc/loadavg: 2.33 1.47 0.65 3/585 15176
/proc/meminfo: memFree=20405380/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0.02 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 897 0 0 0 1 1 0 0 15 0 1 0 947901959 289640448 5646 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 2959716771751231747 0 0 17 4 0 0 0
/proc/15174/statm: 70713 5646 376 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=5.8 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8892 0 0 0 571 9 0 0 25 0 1 0 947901959 39743488 7498 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7498 796 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 614760
[startup+8.00054 s]
/proc/loadavg: 2.33 1.47 0.65 3/585 15176
/proc/meminfo: memFree=20408580/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0.02 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 897 0 0 0 1 1 0 0 15 0 1 0 947901959 289640448 5646 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 1908041828293148672 0 0 17 4 0 0 0
/proc/15174/statm: 70713 5646 376 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=7.41 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8893 0 0 0 729 12 0 0 25 0 1 0 947901959 39743488 7499 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7499 797 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 614760
[startup+8.80046 s]
/proc/loadavg: 2.33 1.47 0.65 3/585 15176
/proc/meminfo: memFree=20408456/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0.04 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 901 0 0 0 2 2 0 0 15 0 1 0 947901959 289640448 5646 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949217 0 0 17 6 0 0 0
/proc/15174/statm: 70713 5646 376 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=8.21 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8895 0 0 0 808 13 0 0 25 0 1 0 947901959 39743488 7501 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7501 799 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 614760
[startup+9.00042 s]
/proc/loadavg: 2.33 1.47 0.65 3/585 15176
/proc/meminfo: memFree=20408456/32950940 swapFree=67111360/67111528
[pid=15168] ppid=15166 vsize=293096 CPUtime=0.41 cores=0,2,4,6
/proc/15168/stat : 15168 (python) S 15166 15168 14716 0 -1 4202496 9641 930 1 0 32 9 0 0 19 0 2 0 947901900 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/15168/statm: 73274 7144 1870 364 0 8161 0
[pid=15174] ppid=15168 vsize=282852 CPUtime=0.04 cores=0,2,4,6
/proc/15174/stat : 15174 (python) S 15168 15168 14716 0 -1 4202560 901 0 0 0 2 2 0 0 15 0 1 0 947901959 289640448 5646 33554432000 4194304 5683644 140733966061920 18446744073709551615 215988612623 0 0 16781312 33554946 72556772316949217 0 0 17 6 0 0 0
/proc/15174/statm: 70713 5646 376 364 0 5600 0
[pid=15176] ppid=15174 vsize=38812 CPUtime=8.41 cores=0,2,4,6
/proc/15176/stat : 15176 (scip-2.0.1.linu) R 15174 15176 15176 0 -1 4202496 8895 0 0 0 827 14 0 0 25 0 1 0 947901959 39743488 7501 33554432000 4194304 13684479 140737199284288 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/15176/statm: 9703 7501 799 2317 0 7381 0
[pid=15168/tid=15175] ppid=15166 vsize=293096 CPUtime=0 cores=0,2,4,6
/proc/15168/task/15175/stat : 15175 (python) S 15166 15168 14716 0 -1 4202560 28 930 0 0 0 0 0 0 19 0 2 0 947901959 300130304 7144 33554432000 4194304 5683644 140733966061920 18446744073709551615 216000416177 0 0 16781312 33554434 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 614760
Child status: 0
Real time (s): 9.08744
CPU time (s): 8.96764
CPU user time (s): 8.69968
CPU system time (s): 0.267959
CPU usage (%): 98.6817
Max. virtual memory (cumulated for all children) (KiB): 614760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.69968
system time used= 0.267959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25076
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= 1736
involuntary context switches= 120
runsolver used 0.034994 second user time and 0.134979 second system time
The end