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-3481539-1307578081/watcher-3481539-1307578081 -o /tmp/evaluation-result-3481539-1307578081/solver-3481539-1307578081 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481539-1307578081.opb -seed 1522333372 -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.03 2.05 1.70 3/532 32219
/proc/meminfo: memFree=28372952/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=16244 CPUtime=0.01 cores=0,2,4,6
/proc/32219/stat : 32219 (python) R 32217 32219 31366 0 -1 4202496 1063 0 0 0 1 0 0 0 25 0 1 0 869406160 16633856 934 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122713856 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32219/statm: 4061 934 381 364 0 548 0
[startup+0.116326 s]
/proc/loadavg: 2.03 2.05 1.70 3/532 32219
/proc/meminfo: memFree=28372952/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=98184 CPUtime=0.09 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 3306 933 1 0 7 2 0 0 18 0 1 0 869406160 100540416 2486 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/32219/statm: 24546 2486 794 364 0 1626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98184
[startup+0.201342 s]
/proc/loadavg: 2.03 2.05 1.70 3/532 32219
/proc/meminfo: memFree=28372952/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 5357 933 1 0 11 4 0 0 17 0 1 0 869406160 126709760 3743 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122710021 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/32219/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.30029 s]
/proc/loadavg: 2.03 2.05 1.70 3/532 32219
/proc/meminfo: memFree=28372952/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=123880 CPUtime=0.2 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 5396 933 1 0 14 6 0 0 17 0 1 0 869406160 126853120 3764 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/32219/statm: 30970 3764 987 364 0 2802 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123880
[startup+0.700252 s]
/proc/loadavg: 2.03 2.05 1.70 3/532 32219
/proc/meminfo: memFree=28372952/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293408
[startup+1.50113 s]
/proc/loadavg: 2.03 2.05 1.70 5/540 32232
/proc/meminfo: memFree=28291544/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
[pid=32226] ppid=32219 vsize=283164 CPUtime=0 cores=0,2,4,6
/proc/32226/stat : 32226 (python) S 32219 32219 31366 0 -1 4202560 826 0 0 0 0 0 0 0 15 0 1 0 869406222 289959936 5666 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122734095 0 0 16781312 33554946 2639298016602750976 0 0 17 6 0 0 0
/proc/32226/statm: 70791 5666 325 364 0 5678 0
[pid=32228] ppid=32226 vsize=36728 CPUtime=0.87 cores=0,2,4,6
/proc/32228/stat : 32228 (scip-2.0.1.linu) R 32226 32228 32228 0 -1 4202496 8377 0 0 0 83 4 0 0 18 0 1 0 869406222 37609472 6957 33554432000 4194304 13684479 140734905057392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32228/statm: 9182 6957 779 2317 0 6860 0
[pid=32219/tid=32227] ppid=32217 vsize=293408 CPUtime=0 cores=0,2,4,6
/proc/32219/task/32227/stat : 32227 (python) S 32217 32219 31366 0 -1 4202560 26 1328 0 0 0 0 0 0 20 0 2 0 869406222 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134537649 0 0 16781312 33554434 18446604446173664384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 613300
[startup+3.10082 s]
/proc/loadavg: 2.03 2.05 1.70 5/540 32232
/proc/meminfo: memFree=28269100/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
[pid=32226] ppid=32219 vsize=283164 CPUtime=0 cores=0,2,4,6
/proc/32226/stat : 32226 (python) S 32219 32219 31366 0 -1 4202560 831 0 0 0 0 0 0 0 15 0 1 0 869406222 289959936 5666 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122734095 0 0 16781312 33554946 2131023087053832192 0 0 17 6 0 0 0
/proc/32226/statm: 70791 5666 325 364 0 5678 0
[pid=32228] ppid=32226 vsize=36984 CPUtime=2.48 cores=0,2,4,6
/proc/32228/stat : 32228 (scip-2.0.1.linu) R 32226 32228 32228 0 -1 4202496 9178 0 0 0 236 12 0 0 18 0 1 0 869406222 37871616 6931 33554432000 4194304 13684479 140734905057392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32228/statm: 9246 6931 787 2317 0 6924 0
[pid=32219/tid=32227] ppid=32217 vsize=293408 CPUtime=0 cores=0,2,4,6
/proc/32219/task/32227/stat : 32227 (python) S 32217 32219 31366 0 -1 4202560 26 1328 0 0 0 0 0 0 20 0 2 0 869406222 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134537649 0 0 16781312 33554434 18446604446173664384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 613556
Solver just ended. Dumping a history of the last processes samples
[startup+3.96567 s]
/proc/loadavg: 2.03 2.05 1.70 5/540 32232
/proc/meminfo: memFree=28269100/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
[pid=32226] ppid=32219 vsize=283164 CPUtime=0.02 cores=0,2,4,6
/proc/32226/stat : 32226 (python) S 32219 32219 31366 0 -1 4202560 970 0 0 0 1 1 0 0 15 0 1 0 869406222 289959936 5689 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122734095 0 0 16781312 33554946 1520468115555614720 0 0 17 6 0 0 0
/proc/32226/statm: 70791 5689 348 364 0 5678 0
[pid=32228] ppid=32226 vsize=36984 CPUtime=3.34 cores=0,2,4,6
/proc/32228/stat : 32228 (scip-2.0.1.linu) R 32226 32228 32228 0 -1 4202496 9200 0 0 0 316 18 0 0 18 0 1 0 869406222 37871616 6953 33554432000 4194304 13684479 140734905057392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32228/statm: 9246 6953 787 2317 0 6924 0
[pid=32219/tid=32227] ppid=32217 vsize=293408 CPUtime=0 cores=0,2,4,6
/proc/32219/task/32227/stat : 32227 (python) S 32217 32219 31366 0 -1 4202560 26 1328 0 0 0 0 0 0 20 0 2 0 869406222 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134537649 0 0 16781312 33554434 18446604446173664384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 613556
[startup+4.70053 s]
/proc/loadavg: 2.18 2.09 1.72 3/540 32232
/proc/meminfo: memFree=28257372/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
[pid=32226] ppid=32219 vsize=283164 CPUtime=0.02 cores=0,2,4,6
/proc/32226/stat : 32226 (python) S 32219 32219 31366 0 -1 4202560 974 0 0 0 1 1 0 0 16 0 1 0 869406222 289959936 5689 33554432000 4194304 5683644 140737448785984 18446744073709551615 228122734095 0 0 16781312 33554946 394610716004319232 0 0 17 6 0 0 0
/proc/32226/statm: 70791 5689 348 364 0 5678 0
[pid=32228] ppid=32226 vsize=36984 CPUtime=4.08 cores=0,2,4,6
/proc/32228/stat : 32228 (scip-2.0.1.linu) R 32226 32228 32228 0 -1 4202496 9200 0 0 0 386 22 0 0 18 0 1 0 869406222 37871616 6953 33554432000 4194304 13684479 140734905057392 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32228/statm: 9246 6953 787 2317 0 6924 0
[pid=32219/tid=32227] ppid=32217 vsize=293408 CPUtime=0 cores=0,2,4,6
/proc/32219/task/32227/stat : 32227 (python) S 32217 32219 31366 0 -1 4202560 26 1328 0 0 0 0 0 0 20 0 2 0 869406222 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134537649 0 0 16781312 33554434 18446604446173664384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 613556
[startup+5.10048 s]
/proc/loadavg: 2.18 2.09 1.72 3/540 32232
/proc/meminfo: memFree=28256876/32951124 swapFree=41082008/67111528
[pid=32219] ppid=32217 vsize=293408 CPUtime=0.47 cores=0,2,4,6
/proc/32219/stat : 32219 (python) S 32217 32219 31366 0 -1 4202496 10825 1328 1 0 36 11 0 0 20 0 2 0 869406160 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134540747 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/32219/statm: 73352 7216 1871 364 0 8239 0
[pid=32226] ppid=32219 vsize=283164 CPUtime=0.03 cores=0,2,4,6
/proc/32226/stat : 32226 (python) R 32219 32219 31366 0 -1 4202560 1103 0 0 0 2 1 0 0 15 0 1 0 869406222 289959936 5711 33554432000 4194304 5683644 140737448785984 18446744073709551615 4539972 0 0 16781312 33554946 0 0 0 17 4 0 0 0
/proc/32226/statm: 70791 5711 370 364 0 5678 0
[pid=32228] ppid=32226 vsize=0 CPUtime=4.49 cores=0,2,4,6
/proc/32228/stat : 32228 (scip-2.0.1.linu) Z 32226 32228 32228 0 -1 4202524 9209 0 0 0 424 25 0 0 18 0 1 0 869406222 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32228/statm: 0 0 0 0 0 0 0
[pid=32219/tid=32227] ppid=32217 vsize=293408 CPUtime=0 cores=0,2,4,6
/proc/32219/task/32227/stat : 32227 (python) S 32217 32219 31366 0 -1 4202560 26 1328 0 0 0 0 0 0 20 0 2 0 869406222 300449792 7216 33554432000 4194304 5683644 140737448785984 18446744073709551615 228134537649 0 0 16781312 33554434 18446604446173664384 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 576572
Child status: 0
Real time (s): 5.14084
CPU time (s): 5.04223
CPU user time (s): 4.65429
CPU system time (s): 0.387941
CPU usage (%): 98.0819
Max. virtual memory (cumulated for all children) (KiB): 613556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.65429
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27099
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= 2329
involuntary context switches= 28
runsolver used 0.032994 second user time and 0.053991 second system time
The end