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-3482107-1307577265/watcher-3482107-1307577265 -o /tmp/evaluation-result-3482107-1307577265/solver-3482107-1307577265 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482107-1307577265.opb -seed 1710174457 -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: 2.06 1.96 1.25 2/544 2054
/proc/meminfo: memFree=21854964/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2054/stat : 2054 (python) R 2051 2054 1406 0 -1 4202496 786 0 0 0 0 0 0 0 25 0 1 0 869324760 15753216 675 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516528109 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2054/statm: 3846 676 322 364 0 333 0
[startup+0.113563 s]
/proc/loadavg: 2.06 1.96 1.25 2/544 2054
/proc/meminfo: memFree=21854964/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=96128 CPUtime=0.08 cores=1,3,5,7
/proc/2054/stat : 2054 (python) R 2051 2054 1406 0 -1 4202496 3168 929 1 0 7 1 0 0 18 0 1 0 869324760 98435072 2483 33554432000 4194304 5683644 140735781118960 18446744073709551615 5168730 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2054/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96128
[startup+0.200537 s]
/proc/loadavg: 2.06 1.96 1.25 2/544 2054
/proc/meminfo: memFree=21854964/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/2054/stat : 2054 (python) R 2051 2054 1406 0 -1 4202496 5356 929 1 0 11 3 0 0 17 0 1 0 869324760 126713856 3744 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516830213 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2054/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300501 s]
/proc/loadavg: 2.06 1.96 1.25 2/544 2054
/proc/meminfo: memFree=21854964/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=184600 CPUtime=0.22 cores=1,3,5,7
/proc/2054/stat : 2054 (python) R 2051 2054 1406 0 -1 4202496 6372 929 1 0 17 5 0 0 17 0 1 0 869324760 189030400 4670 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516832256 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/2054/statm: 46150 4670 1251 364 0 3656 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 184600
[startup+0.700445 s]
/proc/loadavg: 2.06 1.96 1.25 2/544 2054
/proc/meminfo: memFree=21854964/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293084
[startup+1.50031 s]
/proc/loadavg: 2.06 1.96 1.25 3/552 2067
/proc/meminfo: memFree=21799224/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
[pid=2060] ppid=2054 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2060/stat : 2060 (python) S 2054 2054 1406 0 -1 4202560 821 0 0 0 0 0 0 0 15 0 1 0 869324812 289628160 5625 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516854287 0 0 16781312 33554946 13658888018742706440 0 0 17 3 0 0 0
/proc/2060/statm: 70710 5625 358 364 0 5597 0
[pid=2062] ppid=2060 vsize=23176 CPUtime=0.97 cores=1,3,5,7
/proc/2062/stat : 2062 (scip-2.0.1.linu) R 2060 2062 2062 0 -1 4202496 4972 0 0 0 84 13 0 0 19 0 1 0 869324813 23732224 3547 33554432000 4194304 13684479 140735808444016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2062/statm: 5794 3547 778 2317 0 3472 0
[pid=2054/tid=2061] ppid=2051 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2054/task/2061/stat : 2061 (python) S 2051 2054 1406 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869324813 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604458270827456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 599100
[startup+3.10102 s]
/proc/loadavg: 2.06 1.96 1.25 3/552 2067
/proc/meminfo: memFree=21655876/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
[pid=2060] ppid=2054 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2060/stat : 2060 (python) S 2054 2054 1406 0 -1 4202560 821 0 0 0 0 0 0 0 15 0 1 0 869324812 289628160 5625 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516854287 0 0 16781312 33554946 1166546588273737728 0 0 17 3 0 0 0
/proc/2060/statm: 70710 5625 358 364 0 5597 0
[pid=2062] ppid=2060 vsize=32248 CPUtime=2.56 cores=1,3,5,7
/proc/2062/stat : 2062 (scip-2.0.1.linu) R 2060 2062 2062 0 -1 4202496 6763 0 0 0 220 36 0 0 18 0 1 0 869324813 33021952 5338 33554432000 4194304 13684479 140735808444016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2062/statm: 8062 5338 802 2317 0 5740 0
[pid=2054/tid=2061] ppid=2051 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2054/task/2061/stat : 2061 (python) S 2051 2054 1406 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869324813 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604458270827456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 608172
Solver just ended. Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 2.06 1.96 1.25 3/552 2067
/proc/meminfo: memFree=21655876/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
[pid=2060] ppid=2054 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2060/stat : 2060 (python) S 2054 2054 1406 0 -1 4202560 821 0 0 0 0 0 0 0 15 0 1 0 869324812 289628160 5625 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516854287 0 0 16781312 33554946 1690437232931897344 0 0 17 3 0 0 0
/proc/2060/statm: 70710 5625 358 364 0 5597 0
[pid=2062] ppid=2060 vsize=32248 CPUtime=2.67 cores=1,3,5,7
/proc/2062/stat : 2062 (scip-2.0.1.linu) R 2060 2062 2062 0 -1 4202496 6764 0 0 0 229 38 0 0 18 0 1 0 869324813 33021952 5339 33554432000 4194304 13684479 140735808444016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2062/statm: 8062 5339 803 2317 0 5740 0
[pid=2054/tid=2061] ppid=2051 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2054/task/2061/stat : 2061 (python) S 2051 2054 1406 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869324813 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604458270827456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 608172
[startup+3.60093 s]
/proc/loadavg: 2.06 1.96 1.25 3/552 2067
/proc/meminfo: memFree=21631588/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
[pid=2060] ppid=2054 vsize=282840 CPUtime=0 cores=1,3,5,7
/proc/2060/stat : 2060 (python) S 2054 2054 1406 0 -1 4202560 821 0 0 0 0 0 0 0 16 0 1 0 869324812 289628160 5625 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516854287 0 0 16781312 33554946 3064576624461611008 0 0 17 3 0 0 0
/proc/2060/statm: 70710 5625 358 364 0 5597 0
[pid=2062] ppid=2060 vsize=32248 CPUtime=3.06 cores=1,3,5,7
/proc/2062/stat : 2062 (scip-2.0.1.linu) R 2060 2062 2062 0 -1 4202496 6764 0 0 0 263 43 0 0 18 0 1 0 869324813 33021952 5339 33554432000 4194304 13684479 140735808444016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2062/statm: 8062 5339 803 2317 0 5740 0
[pid=2054/tid=2061] ppid=2051 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2054/task/2061/stat : 2061 (python) S 2051 2054 1406 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869324813 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604458270827456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 608172
[startup+3.80089 s]
/proc/loadavg: 2.06 1.96 1.25 3/552 2067
/proc/meminfo: memFree=21631588/32951124 swapFree=43359760/67111528
[pid=2054] ppid=2051 vsize=293084 CPUtime=0.41 cores=1,3,5,7
/proc/2054/stat : 2054 (python) S 2051 2054 1406 0 -1 4202496 9679 929 1 0 33 8 0 0 19 0 2 0 869324760 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528660939 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2054/statm: 73271 7133 1862 364 0 8158 0
[pid=2060] ppid=2054 vsize=282840 CPUtime=0.02 cores=1,3,5,7
/proc/2060/stat : 2060 (python) S 2054 2054 1406 0 -1 4202560 950 0 0 0 1 1 0 0 15 0 1 0 869324812 289628160 5648 33554432000 4194304 5683644 140735781118960 18446744073709551615 246516854287 0 0 16781312 33554946 3936296299392925696 0 0 17 3 0 0 0
/proc/2060/statm: 70710 5648 381 364 0 5597 0
[pid=2062] ppid=2060 vsize=32248 CPUtime=3.26 cores=1,3,5,7
/proc/2062/stat : 2062 (scip-2.0.1.linu) R 2060 2062 2062 0 -1 4202496 6764 0 0 0 281 45 0 0 18 0 1 0 869324813 33021952 5339 33554432000 4194304 13684479 140735808444016 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2062/statm: 8062 5339 803 2317 0 5740 0
[pid=2054/tid=2061] ppid=2051 vsize=293084 CPUtime=0 cores=1,3,5,7
/proc/2054/task/2061/stat : 2061 (python) S 2051 2054 1406 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 869324813 300118016 7133 33554432000 4194304 5683644 140735781118960 18446744073709551615 246528657841 0 0 16781312 33554434 18446604458270827456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 608172
Child status: 0
Real time (s): 3.89019
CPU time (s): 3.80942
CPU user time (s): 3.23851
CPU system time (s): 0.570913
CPU usage (%): 97.9238
Max. virtual memory (cumulated for all children) (KiB): 608172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.23851
system time used= 0.570913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22961
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= 1077
involuntary context switches= 21
runsolver used 0.025996 second user time and 0.038994 second system time
The end