runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3730039-1338715382/watcher-3730039-1338715382 -o /tmp/evaluation-result-3730039-1338715382/solver-3730039-1338715382 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730039-1338715382.opb -seed 179829796 -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.11 2.03 1.95 3/226 4643
/proc/meminfo: memFree=27959260/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/4643/stat : 4643 (python) D 4641 4643 3958 0 -1 4202496 670 0 0 0 0 0 0 0 20 0 1 0 337664352 15642624 558 33554432000 4194304 5683644 140734724284944 140734724252888 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/4643/statm: 3819 558 324 364 0 261 0

[startup+0.0713251 s]
/proc/loadavg: 2.11 2.03 1.95 3/226 4643
/proc/meminfo: memFree=27959260/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=16728 CPUtime=0.01 cores=1,3,5,7
/proc/4643/stat : 4643 (python) D 4641 4643 3958 0 -1 4202496 1274 0 0 0 1 0 0 0 20 0 1 0 337664352 17129472 1058 33554432000 4194304 5683644 140734724284944 140734724266120 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/4643/statm: 4182 1058 426 364 0 624 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16728

[startup+0.100255 s]
/proc/loadavg: 2.11 2.03 1.95 3/226 4643
/proc/meminfo: memFree=27959260/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=19080 CPUtime=0.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) R 4641 4643 3958 0 -1 4202496 1397 0 0 0 3 0 0 0 20 0 1 0 337664352 19537920 1152 33554432000 4194304 5683644 140734724284944 140734724215448 4864839 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4643/statm: 4770 1152 430 364 0 694 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19080

[startup+0.30021 s]
/proc/loadavg: 2.11 2.03 1.95 3/226 4643
/proc/meminfo: memFree=27959260/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=102044 CPUtime=0.1 cores=1,3,5,7
/proc/4643/stat : 4643 (python) R 4641 4643 3958 0 -1 4202496 4105 1008 1 0 9 1 0 0 20 0 1 0 337664352 104493056 2724 33554432000 4194304 5683644 140734724284944 140734724153304 217410519952 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 25511 2724 876 364 0 1721 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 102044

[startup+0.700251 s]
/proc/loadavg: 2.11 2.03 1.95 3/226 4643
/proc/meminfo: memFree=27959260/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=162436 CPUtime=0.22 cores=1,3,5,7
/proc/4643/stat : 4643 (python) D 4641 4643 3958 0 -1 4202496 6465 1008 1 0 15 7 0 0 20 0 1 0 337664352 166334464 4273 33554432000 4194304 5683644 140734724284944 140734724175448 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 40609 4273 1192 364 0 3254 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 162436

[startup+1.50019 s]
/proc/loadavg: 2.11 2.03 1.95 2/227 4648
/proc/meminfo: memFree=27942248/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=300064 CPUtime=0.7 cores=1,3,5,7
/proc/4643/stat : 4643 (python) R 4641 4643 3958 0 -1 4202496 12083 1008 1 0 58 12 0 0 20 0 1 0 337664352 307265536 11673 33554432000 4194304 5683644 140734724284944 140734724220744 217410146196 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 75016 11673 1811 364 0 10245 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 300064

[startup+3.10026 s]
/proc/loadavg: 2.10 2.03 1.95 3/227 4648
/proc/meminfo: memFree=27900148/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=365692 CPUtime=2.3 cores=1,3,5,7
/proc/4643/stat : 4643 (python) R 4641 4643 3958 0 -1 4202496 25112 1008 1 0 216 14 0 0 20 0 1 0 337664352 374468608 27257 33554432000 4194304 5683644 140734724284944 140734724277560 4455195 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 91423 27257 1811 364 0 26652 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 365692
heavy processes:

[startup+6.3001 s]
/proc/loadavg: 2.10 2.03 1.95 3/227 4648
/proc/meminfo: memFree=27857648/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=357988 CPUtime=5.51 cores=1,3,5,7
/proc/4643/stat : 4643 (python) R 4641 4643 3958 0 -1 4202496 30644 1008 1 0 534 17 0 0 20 0 1 0 337664352 366579712 26250 33554432000 4194304 5683644 140734724284944 140734724278120 140501892665047 0 0 16781312 33554434 0 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 89497 26250 1847 364 0 24726 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 357988

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

[startup+7.90039 s]
/proc/loadavg: 2.09 2.03 1.95 3/230 4651
/proc/meminfo: memFree=27834064/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=438932 CPUtime=6.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) S 4641 4643 3958 0 -1 4202496 32216 1008 1 0 585 18 0 0 20 0 2 0 337664352 449466368 27596 33554432000 4194304 5683644 140734724284944 140734724279776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 109733 27596 1902 364 0 44956 0
[pid=4649] ppid=4643 vsize=363152 CPUtime=0 cores=1,3,5,7
/proc/4649/stat : 4649 (python) S 4643 4643 3958 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 1 0 337665034 371867648 26028 33554432000 4194304 5683644 140734724284944 140734724276032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4649/statm: 90788 26028 340 364 0 26011 0
[pid=4651] ppid=4649 vsize=24576 CPUtime=1.06 cores=1,3,5,7
/proc/4651/stat : 4651 (clasp-1.3.7-x86) R 4649 4651 4651 0 -1 4202496 7354 0 0 0 105 1 0 0 20 0 1 0 337665034 25165824 5618 33554432000 134512640 136139019 4293800544 4293799648 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4651/statm: 6144 5618 171 398 0 5744 0
[pid=4643/tid=4650] ppid=4641 vsize=438932 CPUtime=0 cores=1,3,5,7
/proc/4643/task/4650/stat : 4650 (python) S 4641 4643 3958 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337665034 449466368 27596 33554432000 4194304 5683644 140734724284944 140501888221744 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 826660

[startup+9.50037 s]
/proc/loadavg: 2.09 2.03 1.95 3/230 4651
/proc/meminfo: memFree=27834204/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=438932 CPUtime=6.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) S 4641 4643 3958 0 -1 4202496 32216 1008 1 0 585 18 0 0 20 0 2 0 337664352 449466368 27596 33554432000 4194304 5683644 140734724284944 140734724279776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 109733 27596 1902 364 0 44956 0
[pid=4649] ppid=4643 vsize=363152 CPUtime=0 cores=1,3,5,7
/proc/4649/stat : 4649 (python) S 4643 4643 3958 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337665034 371867648 26028 33554432000 4194304 5683644 140734724284944 140734724276032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4649/statm: 90788 26028 340 364 0 26011 0
[pid=4651] ppid=4649 vsize=24576 CPUtime=2.66 cores=1,3,5,7
/proc/4651/stat : 4651 (clasp-1.3.7-x86) R 4649 4651 4651 0 -1 4202496 7354 0 0 0 265 1 0 0 20 0 1 0 337665034 25165824 5618 33554432000 134512640 136139019 4293800544 4293799648 134815784 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4651/statm: 6144 5618 171 398 0 5744 0
[pid=4643/tid=4650] ppid=4641 vsize=438932 CPUtime=0 cores=1,3,5,7
/proc/4643/task/4650/stat : 4650 (python) S 4641 4643 3958 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337665034 449466368 27596 33554432000 4194304 5683644 140734724284944 140501888221744 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 826660

[startup+9.90748 s]
/proc/loadavg: 2.09 2.03 1.95 3/230 4651
/proc/meminfo: memFree=27834080/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=438932 CPUtime=6.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) S 4641 4643 3958 0 -1 4202496 32216 1008 1 0 585 18 0 0 20 0 2 0 337664352 449466368 27596 33554432000 4194304 5683644 140734724284944 140734724279776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 109733 27596 1902 364 0 44956 0
[pid=4649] ppid=4643 vsize=363152 CPUtime=0 cores=1,3,5,7
/proc/4649/stat : 4649 (python) S 4643 4643 3958 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 1 0 337665034 371867648 26051 33554432000 4194304 5683644 140734724284944 140734724276032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4649/statm: 90788 26051 363 364 0 26011 0
[pid=4651] ppid=4649 vsize=24576 CPUtime=3.07 cores=1,3,5,7
/proc/4651/stat : 4651 (clasp-1.3.7-x86) R 4649 4651 4651 0 -1 4202496 7354 0 0 0 306 1 0 0 20 0 1 0 337665034 25165824 5618 33554432000 134512640 136139019 4293800544 4293799648 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4651/statm: 6144 5618 171 398 0 5744 0
[pid=4643/tid=4650] ppid=4641 vsize=438932 CPUtime=0 cores=1,3,5,7
/proc/4643/task/4650/stat : 4650 (python) S 4641 4643 3958 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337665034 449466368 27596 33554432000 4194304 5683644 140734724284944 140501888221744 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 826660

[startup+10.3004 s]
/proc/loadavg: 2.09 2.03 1.95 3/230 4651
/proc/meminfo: memFree=27834080/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=438932 CPUtime=6.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) S 4641 4643 3958 0 -1 4202496 32216 1008 1 0 585 18 0 0 20 0 2 0 337664352 449466368 27596 33554432000 4194304 5683644 140734724284944 140734724279776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 109733 27596 1902 364 0 44956 0
[pid=4649] ppid=4643 vsize=363152 CPUtime=0 cores=1,3,5,7
/proc/4649/stat : 4649 (python) S 4643 4643 3958 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 1 0 337665034 371867648 26051 33554432000 4194304 5683644 140734724284944 140734724276032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4649/statm: 90788 26051 363 364 0 26011 0
[pid=4651] ppid=4649 vsize=24576 CPUtime=3.46 cores=1,3,5,7
/proc/4651/stat : 4651 (clasp-1.3.7-x86) R 4649 4651 4651 0 -1 4202496 7354 0 0 0 345 1 0 0 20 0 1 0 337665034 25165824 5618 33554432000 134512640 136139019 4293800544 4293799648 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4651/statm: 6144 5618 171 398 0 5744 0
[pid=4643/tid=4650] ppid=4641 vsize=438932 CPUtime=0 cores=1,3,5,7
/proc/4643/task/4650/stat : 4650 (python) S 4641 4643 3958 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337665034 449466368 27596 33554432000 4194304 5683644 140734724284944 140501888221744 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 826660

[startup+10.4004 s]
/proc/loadavg: 2.09 2.03 1.95 3/230 4651
/proc/meminfo: memFree=27834080/32873648 swapFree=7628/7628
[pid=4643] ppid=4641 vsize=438932 CPUtime=6.03 cores=1,3,5,7
/proc/4643/stat : 4643 (python) S 4641 4643 3958 0 -1 4202496 32216 1008 1 0 585 18 0 0 20 0 2 0 337664352 449466368 27596 33554432000 4194304 5683644 140734724284944 140734724279776 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4643/statm: 109733 27596 1902 364 0 44956 0
[pid=4649] ppid=4643 vsize=363152 CPUtime=0 cores=1,3,5,7
/proc/4649/stat : 4649 (python) S 4643 4643 3958 0 -1 4202560 888 0 0 0 0 0 0 0 20 0 1 0 337665034 371867648 26051 33554432000 4194304 5683644 140734724284944 140734724276032 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4649/statm: 90788 26051 363 364 0 26011 0
[pid=4651] ppid=4649 vsize=24576 CPUtime=3.56 cores=1,3,5,7
/proc/4651/stat : 4651 (clasp-1.3.7-x86) R 4649 4651 4651 0 -1 4202496 7355 0 0 0 355 1 0 0 20 0 1 0 337665034 25165824 5619 33554432000 134512640 136139019 4293800544 4293799716 134619778 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4651/statm: 6144 5619 172 398 0 5744 0
[pid=4643/tid=4650] ppid=4641 vsize=438932 CPUtime=0 cores=1,3,5,7
/proc/4643/task/4650/stat : 4650 (python) S 4641 4643 3958 0 -1 4202560 25 1008 0 0 0 0 0 0 20 0 2 0 337665034 449466368 27596 33554432000 4194304 5683644 140734724284944 140501888221744 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 826660

Child status: 0
Real time (s): 10.4627
CPU time (s): 9.68153
CPU user time (s): 9.45356
CPU system time (s): 0.227965
CPU usage (%): 92.534
Max. virtual memory (cumulated for all children) (KiB): 826660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.45356
system time used= 0.227965
maximum resident set size= 120492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53825
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1957
involuntary context switches= 34

runsolver used 0.021996 second user time and 0.054991 second system time

The end