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-3481925-1307576354/watcher-3481925-1307576354 -o /tmp/evaluation-result-3481925-1307576354/solver-3481925-1307576354 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481925-1307576354.opb -seed 150346422 -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: 0.00 0.00 0.00 4/520 30404
/proc/meminfo: memFree=23138788/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (runsolver) S 30402 30404 30366 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 850052042 12079104 53 33554432000 4194304 5432328 140735289370672 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699207358 0 0 17 4 0 0 0
/proc/30404/statm: 2949 53 34 303 0 2643 0

[startup+0.0709901 s]
/proc/loadavg: 0.00 0.00 0.00 4/520 30404
/proc/meminfo: memFree=23138788/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=6240 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (python) D 30402 30404 30366 0 -1 4194304 97 0 2 0 0 0 0 0 18 0 1 0 850052042 6389760 51 33554432000 4194304 5683644 140735566223520 18446744073709551615 228090527367 0 0 4096 0 0 0 0 17 6 0 0 3
/proc/30404/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240

[startup+0.100955 s]
/proc/loadavg: 0.00 0.00 0.00 4/520 30404
/proc/meminfo: memFree=23138788/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=14252 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (python) D 30402 30404 30366 0 -1 4194304 193 0 2 0 0 0 0 0 18 0 1 0 850052042 14594048 130 33554432000 4194304 5683644 140735566223520 18446744073709551615 5398816 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 3
/proc/30404/statm: 3563 130 102 364 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14252

[startup+0.300963 s]
/proc/loadavg: 0.00 0.00 0.00 4/520 30404
/proc/meminfo: memFree=23138788/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 610 0 7 0 0 0 0 0 17 0 1 0 850052042 15441920 513 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 8
/proc/30404/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080

[startup+0.700842 s]
/proc/loadavg: 0.00 0.00 0.00 4/520 30404
/proc/meminfo: memFree=23138788/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (python) D 30402 30404 30366 0 -1 4202496 718 0 7 0 0 0 0 0 15 0 1 0 850052042 15548416 615 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 4 0 0 13
/proc/30404/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+1.50069 s]
/proc/loadavg: 0.00 0.00 0.00 2/522 30406
/proc/meminfo: memFree=23131988/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 938 0 7 0 0 0 0 0 15 0 1 0 850052042 16289792 821 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 21
/proc/30404/statm: 3977 821 357 364 0 464 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15908

[startup+3.10036 s]
/proc/loadavg: 0.00 0.00 0.00 3/522 30406
/proc/meminfo: memFree=23127904/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=21128 CPUtime=0.04 cores=0,2,4,6
/proc/30404/stat : 30404 (python) D 30402 30404 30366 0 -1 4202496 1307 0 9 0 3 1 0 0 16 0 1 0 850052042 21635072 1166 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 6 0 0 37
/proc/30404/statm: 5282 1166 428 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21128
heavy processes:

[startup+6.30081 s]
/proc/loadavg: 0.08 0.02 0.01 2/522 30406
/proc/meminfo: memFree=23121700/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=36508 CPUtime=0.07 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 1565 0 13 0 5 2 0 0 16 0 1 0 850052042 37384192 1412 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 49
/proc/30404/statm: 9127 1412 452 364 0 944 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36508
heavy processes:

[startup+12.7006 s]
/proc/loadavg: 0.15 0.03 0.01 3/522 30406
/proc/meminfo: memFree=23116116/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=52380 CPUtime=0.08 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 1999 0 18 0 5 3 0 0 15 0 1 0 850052042 53637120 1776 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 114
/proc/30404/statm: 13095 1776 484 364 0 1276 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 52380
heavy processes:

[startup+25.5003 s]
/proc/loadavg: 0.34 0.08 0.02 3/522 30416
/proc/meminfo: memFree=23093340/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=124148 CPUtime=0.29 cores=0,2,4,6
/proc/30404/stat : 30404 (python) D 30402 30404 30366 0 -1 4202496 5464 919 38 9 18 11 0 0 16 0 1 0 850052042 127127552 3855 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095446885 0 0 16781312 2 0 0 0 17 4 0 0 231
/proc/30404/statm: 31037 3855 987 364 0 2869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 124148
heavy processes:

Solver just ended. Dumping a history of the last processes samples

[startup+31.9191 s]
/proc/loadavg: 0.47 0.11 0.04 4/522 30416
/proc/meminfo: memFree=23053928/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=271348 CPUtime=0.55 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 8649 919 110 9 37 18 0 0 15 0 1 0 850052042 277860352 6713 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 420
/proc/30404/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 271348

[startup+35.1005 s]
/proc/loadavg: 0.51 0.13 0.04 3/521 30449
/proc/meminfo: memFree=23133208/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=293648 CPUtime=0.64 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 9638 919 111 9 46 18 0 0 18 0 2 0 850052042 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 441
/proc/30404/statm: 73412 7252 1870 364 0 8299 0
[pid=30417] ppid=30404 vsize=283404 CPUtime=0 cores=0,2,4,6
/proc/30417/stat : 30417 (python) S 30404 30404 30366 0 -1 4202560 751 0 0 0 0 0 0 0 16 0 1 0 850055271 290205696 5730 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095471119 0 0 16781312 33554946 899363574802022400 0 0 17 4 0 0 0
/proc/30417/statm: 70851 5730 352 364 0 5738 0
[pid=30422] ppid=30417 vsize=33904 CPUtime=2.8 cores=0,2,4,6
/proc/30422/stat : 30422 (scip-2.0.1.linu) R 30417 30422 30422 0 -1 4202496 9837 0 0 0 276 4 0 0 20 0 1 0 850055273 34717696 6354 33554432000 4194304 13684479 140736552783408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30422/statm: 8476 6354 829 2317 0 6154 0
[pid=30404/tid=30419] ppid=30402 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/30404/task/30419/stat : 30419 (python) S 30402 30404 30366 0 -1 4202560 26 919 0 9 0 0 0 0 18 0 2 0 850055272 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450822989952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 610956

[startup+35.9004 s]
/proc/loadavg: 0.51 0.13 0.04 3/521 30449
/proc/meminfo: memFree=23133208/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=293648 CPUtime=0.64 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 9638 919 111 9 46 18 0 0 18 0 2 0 850052042 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 441
/proc/30404/statm: 73412 7252 1870 364 0 8299 0
[pid=30417] ppid=30404 vsize=283404 CPUtime=0 cores=0,2,4,6
/proc/30417/stat : 30417 (python) S 30404 30404 30366 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 850055271 290205696 5730 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095471119 0 0 16781312 33554946 2325031604537262080 0 0 17 4 0 0 0
/proc/30417/statm: 70851 5730 352 364 0 5738 0
[pid=30422] ppid=30417 vsize=33904 CPUtime=3.57 cores=0,2,4,6
/proc/30422/stat : 30422 (scip-2.0.1.linu) R 30417 30422 30422 0 -1 4202496 9837 0 0 0 353 4 0 0 22 0 1 0 850055273 34717696 6354 33554432000 4194304 13684479 140736552783408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30422/statm: 8476 6354 829 2317 0 6154 0
[pid=30404/tid=30419] ppid=30402 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/30404/task/30419/stat : 30419 (python) S 30402 30404 30366 0 -1 4202560 26 919 0 9 0 0 0 0 18 0 2 0 850055272 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450822989952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 610956

[startup+36.7013 s]
/proc/loadavg: 0.51 0.13 0.04 2/525 30458
/proc/meminfo: memFree=23016060/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=293648 CPUtime=0.64 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 9638 919 111 9 46 18 0 0 18 0 2 0 850052042 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 441
/proc/30404/statm: 73412 7252 1870 364 0 8299 0
[pid=30417] ppid=30404 vsize=283404 CPUtime=0.01 cores=0,2,4,6
/proc/30417/stat : 30417 (python) S 30404 30404 30366 0 -1 4202560 883 0 0 0 1 0 0 0 16 0 1 0 850055271 290205696 5754 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095471119 0 0 16781312 33554946 2719309752633917440 0 0 17 4 0 0 0
/proc/30417/statm: 70851 5754 376 364 0 5738 0
[pid=30422] ppid=30417 vsize=33904 CPUtime=4.38 cores=0,2,4,6
/proc/30422/stat : 30422 (scip-2.0.1.linu) R 30417 30422 30422 0 -1 4202496 9838 0 0 0 433 5 0 0 18 0 1 0 850055273 34717696 6355 33554432000 4194304 13684479 140736552783408 18446744073709551615 5490199 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30422/statm: 8476 6355 830 2317 0 6154 0
[pid=30404/tid=30419] ppid=30402 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/30404/task/30419/stat : 30419 (python) S 30402 30404 30366 0 -1 4202560 26 919 0 9 0 0 0 0 18 0 2 0 850055272 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450822989952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 610956

[startup+36.9012 s]
/proc/loadavg: 0.51 0.13 0.04 2/525 30458
/proc/meminfo: memFree=23016060/32951124 swapFree=57370024/67111528
[pid=30404] ppid=30402 vsize=293648 CPUtime=0.64 cores=0,2,4,6
/proc/30404/stat : 30404 (python) S 30402 30404 30366 0 -1 4202496 9638 919 111 9 46 18 0 0 18 0 2 0 850052042 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107277771 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 441
/proc/30404/statm: 73412 7252 1870 364 0 8299 0
[pid=30417] ppid=30404 vsize=283404 CPUtime=0.01 cores=0,2,4,6
/proc/30417/stat : 30417 (python) S 30404 30404 30366 0 -1 4202560 883 0 0 0 1 0 0 0 16 0 1 0 850055271 290205696 5754 33554432000 4194304 5683644 140735566223520 18446744073709551615 228095471119 0 0 16781312 33554946 2719309752633917440 0 0 17 4 0 0 0
/proc/30417/statm: 70851 5754 376 364 0 5738 0
[pid=30422] ppid=30417 vsize=33904 CPUtime=4.58 cores=0,2,4,6
/proc/30422/stat : 30422 (scip-2.0.1.linu) R 30417 30422 30422 0 -1 4202496 9838 0 0 0 453 5 0 0 18 0 1 0 850055273 34717696 6355 33554432000 4194304 13684479 140736552783408 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/30422/statm: 8476 6355 830 2317 0 6154 0
[pid=30404/tid=30419] ppid=30402 vsize=293648 CPUtime=0 cores=0,2,4,6
/proc/30404/task/30419/stat : 30419 (python) S 30402 30404 30366 0 -1 4202560 26 919 0 9 0 0 0 0 18 0 2 0 850055272 300695552 7252 33554432000 4194304 5683644 140735566223520 18446744073709551615 228107274673 0 0 16781312 33554434 18446604450822989952 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 610956

Child status: 0
Real time (s): 36.9665
CPU time (s): 5.33319
CPU user time (s): 5.07223
CPU system time (s): 0.26096
CPU usage (%): 14.4271
Max. virtual memory (cumulated for all children) (KiB): 610956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07223
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26413
page faults= 120
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19567
involuntary context switches= 37

runsolver used 0.238963 second user time and 0.45793 second system time

The end