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-3481981-1307576608/watcher-3481981-1307576608 -o /tmp/evaluation-result-3481981-1307576608/solver-3481981-1307576608 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481981-1307576608.opb -seed 696044499 -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.98 0.89 0.34 2/372 16329
/proc/meminfo: memFree=27455240/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 959 0 0 0 0 0 0 0 25 0 1 0 947891411 16289792 834 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/16329/statm: 3978 835 357 364 0 465 0
[startup+0.050245 s]
/proc/loadavg: 1.98 0.89 0.34 2/372 16329
/proc/meminfo: memFree=27455240/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=29788 CPUtime=0.03 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 1457 0 0 0 2 1 0 0 25 0 1 0 947891411 30502912 1297 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16329/statm: 7447 1297 443 364 0 817 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29788
[startup+0.105126 s]
/proc/loadavg: 1.98 0.89 0.34 2/372 16329
/proc/meminfo: memFree=27455240/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/16329/stat : 16329 (python) R 16327 16329 16077 0 -1 4202496 3169 928 1 0 6 2 0 0 18 0 1 0 947891411 98430976 2483 33554432000 4194304 5683644 140737452532880 18446744073709551615 5170029 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16329/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124
[startup+0.301099 s]
/proc/loadavg: 1.98 0.89 0.34 2/372 16329
/proc/meminfo: memFree=27455240/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=202856 CPUtime=0.23 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 6657 928 1 0 17 6 0 0 17 0 1 0 947891411 207724544 4944 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020393984 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/16329/statm: 50714 4944 1472 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202856
[startup+0.701027 s]
/proc/loadavg: 1.98 0.89 0.34 2/372 16329
/proc/meminfo: memFree=27455240/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 294984
[startup+1.50082 s]
/proc/loadavg: 1.98 0.89 0.34 3/368 16360
/proc/meminfo: memFree=27443984/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
[pid=16358] ppid=16329 vsize=284740 CPUtime=0 cores=0,2,4,6
/proc/16358/stat : 16358 (python) S 16329 16329 16077 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 947891476 291573760 6059 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020416015 0 0 16781312 33554946 4294934787 0 0 17 6 0 0 0
/proc/16358/statm: 71185 6059 351 364 0 6072 0
[pid=16360] ppid=16358 vsize=55540 CPUtime=0.84 cores=0,2,4,6
/proc/16360/stat : 16360 (scip-2.0.1.linu) R 16358 16360 16360 0 -1 4202496 12142 0 0 0 82 2 0 0 18 0 1 0 947891476 56872960 11400 33554432000 4194304 13684479 140736024045808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16360/statm: 13885 11400 764 2317 0 11563 0
[pid=16329/tid=16359] ppid=16327 vsize=294984 CPUtime=0 cores=0,2,4,6
/proc/16329/task/16359/stat : 16359 (python) S 16327 16329 16077 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947891476 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446957024192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 635264
[startup+3.10056 s]
/proc/loadavg: 1.98 0.89 0.34 3/376 16372
/proc/meminfo: memFree=27377580/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
[pid=16358] ppid=16329 vsize=284740 CPUtime=0 cores=0,2,4,6
/proc/16358/stat : 16358 (python) S 16329 16329 16077 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 947891476 291573760 6059 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020416015 0 0 16781312 33554946 3081192379756052480 0 0 17 6 0 0 0
/proc/16358/statm: 71185 6059 351 364 0 6072 0
[pid=16360] ppid=16358 vsize=71492 CPUtime=2.43 cores=0,2,4,6
/proc/16360/stat : 16360 (scip-2.0.1.linu) R 16358 16360 16360 0 -1 4202496 16262 0 0 0 239 4 0 0 20 0 1 0 947891476 73207808 14842 33554432000 4194304 13684479 140736024045808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16360/statm: 17873 14842 809 2317 0 15551 0
[pid=16329/tid=16359] ppid=16327 vsize=294984 CPUtime=0 cores=0,2,4,6
/proc/16329/task/16359/stat : 16359 (python) S 16327 16329 16077 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947891476 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446957024192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 651216
[startup+6.301 s]
/proc/loadavg: 2.22 0.96 0.36 2/369 16389
/proc/meminfo: memFree=27424264/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
[pid=16358] ppid=16329 vsize=284740 CPUtime=0.01 cores=0,2,4,6
/proc/16358/stat : 16358 (python) S 16329 16329 16077 0 -1 4202560 911 0 0 0 1 0 0 0 15 0 1 0 947891476 291573760 6092 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020416015 0 0 16781312 33554946 90870968133615616 0 0 17 6 0 0 0
/proc/16358/statm: 71185 6092 384 364 0 6072 0
[pid=16360] ppid=16358 vsize=71492 CPUtime=5.63 cores=0,2,4,6
/proc/16360/stat : 16360 (scip-2.0.1.linu) R 16358 16360 16360 0 -1 4202496 16262 0 0 0 555 8 0 0 21 0 1 0 947891476 73207808 14842 33554432000 4194304 13684479 140736024045808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16360/statm: 17873 14842 809 2317 0 15551 0
[pid=16329/tid=16359] ppid=16327 vsize=294984 CPUtime=0 cores=0,2,4,6
/proc/16329/task/16359/stat : 16359 (python) S 16327 16329 16077 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947891476 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446957024192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 651216
Solver just ended. Dumping a history of the last processes samples
[startup+7.30083 s]
/proc/loadavg: 2.22 0.96 0.36 2/369 16389
/proc/meminfo: memFree=27431160/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
[pid=16358] ppid=16329 vsize=284740 CPUtime=0.01 cores=0,2,4,6
/proc/16358/stat : 16358 (python) S 16329 16329 16077 0 -1 4202560 911 0 0 0 1 0 0 0 15 0 1 0 947891476 291573760 6092 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020416015 0 0 16781312 33554946 90870968133615616 0 0 17 6 0 0 0
/proc/16358/statm: 71185 6092 384 364 0 6072 0
[pid=16360] ppid=16358 vsize=71492 CPUtime=6.64 cores=0,2,4,6
/proc/16360/stat : 16360 (scip-2.0.1.linu) R 16358 16360 16360 0 -1 4202496 16262 0 0 0 655 9 0 0 25 0 1 0 947891476 73207808 14842 33554432000 4194304 13684479 140736024045808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16360/statm: 17873 14842 809 2317 0 15551 0
[pid=16329/tid=16359] ppid=16327 vsize=294984 CPUtime=0 cores=0,2,4,6
/proc/16329/task/16359/stat : 16359 (python) S 16327 16329 16077 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947891476 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446957024192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 651216
[startup+8.10067 s]
/proc/loadavg: 2.22 0.96 0.36 3/369 16395
/proc/meminfo: memFree=27482992/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=294984 CPUtime=0.56 cores=0,2,4,6
/proc/16329/stat : 16329 (python) S 16327 16329 16077 0 -1 4202496 9949 928 1 0 46 10 0 0 18 0 2 0 947891411 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032222667 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/16329/statm: 73746 7582 1870 364 0 8633 0
[pid=16358] ppid=16329 vsize=284740 CPUtime=0.01 cores=0,2,4,6
/proc/16358/stat : 16358 (python) S 16329 16329 16077 0 -1 4202560 911 0 0 0 1 0 0 0 15 0 1 0 947891476 291573760 6092 33554432000 4194304 5683644 140737452532880 18446744073709551615 260020416015 0 0 16781312 33554946 90870968133615616 0 0 17 6 0 0 0
/proc/16358/statm: 71185 6092 384 364 0 6072 0
[pid=16360] ppid=16358 vsize=71492 CPUtime=7.43 cores=0,2,4,6
/proc/16360/stat : 16360 (scip-2.0.1.linu) R 16358 16360 16360 0 -1 4202496 16262 0 0 0 733 10 0 0 25 0 1 0 947891476 73207808 14842 33554432000 4194304 13684479 140736024045808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/16360/statm: 17873 14842 809 2317 0 15551 0
[pid=16329/tid=16359] ppid=16327 vsize=294984 CPUtime=0 cores=0,2,4,6
/proc/16329/task/16359/stat : 16359 (python) S 16327 16329 16077 0 -1 4202560 29 928 0 0 0 0 0 0 19 0 2 0 947891476 302063616 7582 33554432000 4194304 5683644 140737452532880 18446744073709551615 260032219569 0 0 16781312 33554434 18446604446957024192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 651216
[startup+8.5006 s]
/proc/loadavg: 2.22 0.96 0.36 3/369 16395
/proc/meminfo: memFree=27482992/32951124 swapFree=67056304/67111528
[pid=16329] ppid=16327 vsize=293568 CPUtime=8.43 cores=0,2,4,6
/proc/16329/stat : 16329 (python) R 16327 16329 16077 0 -1 4202496 11080 18528 1 0 46 10 774 13 18 0 1 0 947891411 300613632 7267 33554432000 4194304 5683644 140737452532880 18446744073709551615 5116756 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16329/statm: 73392 7267 1868 364 0 8285 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 293568
Child status: 0
Real time (s): 8.5196
CPU time (s): 8.47771
CPU user time (s): 8.22275
CPU system time (s): 0.254961
CPU usage (%): 99.5083
Max. virtual memory (cumulated for all children) (KiB): 651216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.22275
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33010
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= 1166
involuntary context switches= 39
runsolver used 0.032994 second user time and 0.057991 second system time
The end