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-3730429-1338715816/watcher-3730429-1338715816 -o /tmp/evaluation-result-3730429-1338715816/solver-3730429-1338715816 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730429-1338715816.opb -seed 1058362247 -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: 4.41 3.39 2.55 2/181 4931
/proc/meminfo: memFree=16538668/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/4931/stat : 4931 (runsolver) D 4929 4931 3958 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 1 0 337707764 12095488 56 33554432000 4194304 5436572 140736975010672 140736975006552 5057063 0 0 4096 24578 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/4931/statm: 2953 56 36 304 0 2645 0

[startup+0.085415 s]
/proc/loadavg: 4.41 3.39 2.55 2/181 4931
/proc/meminfo: memFree=16538668/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=19116 CPUtime=0.02 cores=1,3,5,7
/proc/4931/stat : 4931 (python) R 4929 4931 3958 0 -1 4202496 1344 0 0 0 2 0 0 0 20 0 1 0 337707764 19574784 1105 33554432000 4194304 5683644 140734337686880 140734337631112 217410560951 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4931/statm: 4771 1105 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19116

[startup+0.100169 s]
/proc/loadavg: 4.41 3.39 2.55 2/181 4931
/proc/meminfo: memFree=16538668/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=19084 CPUtime=0.03 cores=1,3,5,7
/proc/4931/stat : 4931 (python) R 4929 4931 3958 0 -1 4202496 1398 0 0 0 3 0 0 0 20 0 1 0 337707764 19542016 1152 33554432000 4194304 5683644 140734337686880 140734337617384 217410153232 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/4931/statm: 4771 1152 430 364 0 695 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19084

[startup+0.30023 s]
/proc/loadavg: 4.41 3.39 2.55 2/181 4931
/proc/meminfo: memFree=16538668/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=102080 CPUtime=0.11 cores=1,3,5,7
/proc/4931/stat : 4931 (python) D 4929 4931 3958 0 -1 4202496 4155 1008 1 0 9 2 0 0 20 0 1 0 337707764 104529920 2734 33554432000 4194304 5683644 140734337686880 140734337555240 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 25520 2734 876 364 0 1730 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 102080

[startup+0.700417 s]
/proc/loadavg: 4.41 3.39 2.55 2/181 4931
/proc/meminfo: memFree=16538668/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=166948 CPUtime=0.2 cores=1,3,5,7
/proc/4931/stat : 4931 (python) R 4929 4931 3958 0 -1 4202496 6550 1008 1 0 15 5 0 0 20 0 1 0 337707764 170954752 4342 33554432000 4194304 5683644 140734337686880 140734337591112 140671373620496 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 41737 4345 1220 364 0 3290 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 166948

[startup+1.50015 s]
/proc/loadavg: 4.41 3.39 2.55 2/182 4936
/proc/meminfo: memFree=16521484/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=358904 CPUtime=0.53 cores=1,3,5,7
/proc/4931/stat : 4931 (python) S 4929 4931 3958 0 -1 4202496 10779 1008 1 0 44 9 0 0 20 0 2 0 337707764 367517696 7587 33554432000 4194304 5683644 140734337686880 140734337681712 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 89726 7587 1900 364 0 24949 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 358904

[startup+3.10024 s]
/proc/loadavg: 4.41 3.39 2.55 1/186 4958
/proc/meminfo: memFree=16512520/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=358904 CPUtime=0.53 cores=1,3,5,7
/proc/4931/stat : 4931 (python) S 4929 4931 3958 0 -1 4202496 10779 1008 1 0 44 9 0 0 20 0 2 0 337707764 367517696 7587 33554432000 4194304 5683644 140734337686880 140734337681712 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 89726 7587 1900 364 0 24949 0
[pid=4937] ppid=4931 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/4937/stat : 4937 (python) S 4931 4931 3958 0 -1 4202560 798 0 0 0 0 0 0 0 20 0 1 0 337707896 289918976 6022 33554432000 4194304 5683644 140734337686880 140734337677968 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4937/statm: 70781 6022 341 364 0 6004 0
[pid=4939] ppid=4937 vsize=0 CPUtime=1.21 cores=1,3,5,7
/proc/4939/stat : 4939 (java) Z 4937 4939 4939 0 -1 4203532 9356 0 1 0 117 4 0 0 20 0 2 0 337707896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4939/statm: 0 0 0 0 0 0 0
[pid=4939/tid=4957] ppid=4937 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/4939/task/4957/stat : 4957 (java) D 4937 4939 4939 0 -1 4203588 12 0 0 0 0 0 0 0 20 0 2 0 337707926 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
[pid=4931/tid=4938] ppid=4929 vsize=358904 CPUtime=0 cores=1,3,5,7
/proc/4931/task/4938/stat : 4938 (python) S 4929 4931 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337707896 367517696 7587 33554432000 4194304 5683644 140734337686880 140671203009072 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 642028
heavy processes:
  %CPU=23 pid=4886 uid=0 cmd=
  %CPU=32 pid=4939 uid=0 cmd=

[startup+6.30025 s]
/proc/loadavg: 4.46 3.41 2.56 1/186 4958
/proc/meminfo: memFree=16514080/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=358904 CPUtime=0.53 cores=1,3,5,7
/proc/4931/stat : 4931 (python) S 4929 4931 3958 0 -1 4202496 10779 1008 1 0 44 9 0 0 20 0 2 0 337707764 367517696 7587 33554432000 4194304 5683644 140734337686880 140734337681712 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 89726 7587 1900 364 0 24949 0
[pid=4937] ppid=4931 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/4937/stat : 4937 (python) S 4931 4931 3958 0 -1 4202560 990 0 0 0 0 0 0 0 20 0 1 0 337707896 289918976 6050 33554432000 4194304 5683644 140734337686880 140734337677968 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4937/statm: 70781 6050 369 364 0 6004 0
[pid=4939] ppid=4937 vsize=0 CPUtime=1.21 cores=1,3,5,7
/proc/4939/stat : 4939 (java) Z 4937 4939 4939 0 -1 4203532 9356 0 1 0 117 4 0 0 20 0 2 0 337707896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4939/statm: 0 0 0 0 0 0 0
[pid=4939/tid=4957] ppid=4937 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/4939/task/4957/stat : 4957 (java) D 4937 4939 4939 0 -1 4203588 12 0 0 0 0 0 0 0 20 0 2 0 337707926 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
[pid=4931/tid=4938] ppid=4929 vsize=358904 CPUtime=0 cores=1,3,5,7
/proc/4931/task/4938/stat : 4938 (python) S 4929 4931 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337707896 367517696 7587 33554432000 4194304 5683644 140734337686880 140671203009072 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 642028
heavy processes:
  %CPU=22 pid=4886 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 4880 11 506 18446744073709551615 
  %CPU=24 pid=4939 uid=0 cmd=

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

[startup+6.50025 s]
/proc/loadavg: 4.46 3.41 2.56 1/186 4958
/proc/meminfo: memFree=16514080/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=358904 CPUtime=0.53 cores=1,3,5,7
/proc/4931/stat : 4931 (python) S 4929 4931 3958 0 -1 4202496 10779 1008 1 0 44 9 0 0 20 0 2 0 337707764 367517696 7587 33554432000 4194304 5683644 140734337686880 140734337681712 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 89726 7587 1900 364 0 24949 0
[pid=4937] ppid=4931 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/4937/stat : 4937 (python) S 4931 4931 3958 0 -1 4202560 990 0 0 0 0 0 0 0 20 0 1 0 337707896 289918976 6050 33554432000 4194304 5683644 140734337686880 140734337677968 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4937/statm: 70781 6050 369 364 0 6004 0
[pid=4939] ppid=4937 vsize=0 CPUtime=1.21 cores=1,3,5,7
/proc/4939/stat : 4939 (java) Z 4937 4939 4939 0 -1 4203532 9356 0 1 0 117 4 0 0 20 0 2 0 337707896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4939/statm: 0 0 0 0 0 0 0
[pid=4939/tid=4957] ppid=4937 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/4939/task/4957/stat : 4957 (java) D 4937 4939 4939 0 -1 4203588 12 0 0 0 0 0 0 0 20 0 2 0 337707926 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
[pid=4931/tid=4938] ppid=4929 vsize=358904 CPUtime=0 cores=1,3,5,7
/proc/4931/task/4938/stat : 4938 (python) S 4929 4931 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337707896 367517696 7587 33554432000 4194304 5683644 140734337686880 140671203009072 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 642028

[startup+6.60025 s]
/proc/loadavg: 4.46 3.41 2.56 1/186 4958
/proc/meminfo: memFree=16514080/32873648 swapFree=7628/7628
[pid=4931] ppid=4929 vsize=358904 CPUtime=0.53 cores=1,3,5,7
/proc/4931/stat : 4931 (python) S 4929 4931 3958 0 -1 4202496 10779 1008 1 0 44 9 0 0 20 0 2 0 337707764 367517696 7587 33554432000 4194304 5683644 140734337686880 140734337681712 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4931/statm: 89726 7587 1900 364 0 24949 0
[pid=4937] ppid=4931 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/4937/stat : 4937 (python) S 4931 4931 3958 0 -1 4202560 990 0 0 0 0 0 0 0 20 0 1 0 337707896 289918976 6050 33554432000 4194304 5683644 140734337686880 140734337677968 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/4937/statm: 70781 6050 369 364 0 6004 0
[pid=4939] ppid=4937 vsize=0 CPUtime=1.21 cores=1,3,5,7
/proc/4939/stat : 4939 (java) Z 4937 4939 4939 0 -1 4203532 9356 0 1 0 117 4 0 0 20 0 2 0 337707896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4939/statm: 0 0 0 0 0 0 0
[pid=4939/tid=4957] ppid=4937 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/4939/task/4957/stat : 4957 (java) D 4937 4939 4939 0 -1 4203588 12 0 0 0 0 0 0 0 20 0 2 0 337707926 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0
[pid=4931/tid=4938] ppid=4929 vsize=358904 CPUtime=0 cores=1,3,5,7
/proc/4931/task/4938/stat : 4938 (python) S 4929 4931 3958 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337707896 367517696 7587 33554432000 4194304 5683644 140734337686880 140671203009072 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 642028

Child status: 0
Real time (s): 6.63707
CPU time (s): 1.80172
CPU user time (s): 1.64875
CPU system time (s): 0.152976
CPU usage (%): 27.1464
Max. virtual memory (cumulated for all children) (KiB): 642028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64875
system time used= 0.152976
maximum resident set size= 47996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27296
page faults= 2
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2347
involuntary context switches= 27

runsolver used 0.000999 second user time and 0.034994 second system time

The end