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-3730000-1338715321/watcher-3730000-1338715321 -o /tmp/evaluation-result-3730000-1338715321/solver-3730000-1338715321 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730000-1338715321.opb -seed 1722476254 -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: 1.92 1.98 1.94 3/226 4486
/proc/meminfo: memFree=27976516/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/4486/stat : 4486 (python) D 4484 4486 3958 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 337658290 15642624 527 33554432000 4194304 5683644 140733574414976 140733574400888 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 3819 527 312 364 0 261 0

[startup+0.0513631 s]
/proc/loadavg: 1.92 1.98 1.94 3/226 4486
/proc/meminfo: memFree=27976516/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=16468 CPUtime=0.01 cores=1,3,5,7
/proc/4486/stat : 4486 (python) R 4484 4486 3958 0 -1 4202496 1124 0 0 0 1 0 0 0 20 0 1 0 337658290 16863232 944 33554432000 4194304 5683644 140733574414976 140733574397608 217410520448 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 4117 944 392 364 0 559 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16468

[startup+0.100213 s]
/proc/loadavg: 1.92 1.98 1.94 3/226 4486
/proc/meminfo: memFree=27976516/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=19084 CPUtime=0.02 cores=1,3,5,7
/proc/4486/stat : 4486 (python) R 4484 4486 3958 0 -1 4202496 1397 0 0 0 2 0 0 0 20 0 1 0 337658290 19542016 1152 33554432000 4194304 5683644 140733574414976 140733574345480 4950224 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 4771 1152 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084

[startup+0.300277 s]
/proc/loadavg: 1.92 1.98 1.94 3/226 4486
/proc/meminfo: memFree=27976516/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=102052 CPUtime=0.12 cores=1,3,5,7
/proc/4486/stat : 4486 (python) D 4484 4486 3958 0 -1 4202496 4127 1010 1 0 9 3 0 0 20 0 1 0 337658290 104501248 2727 33554432000 4194304 5683644 140733574414976 140733574265432 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 25513 2727 876 364 0 1723 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 102052

[startup+0.700256 s]
/proc/loadavg: 1.92 1.98 1.94 3/226 4486
/proc/meminfo: memFree=27976516/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=155580 CPUtime=0.24 cores=1,3,5,7
/proc/4486/stat : 4486 (python) D 4484 4486 3958 0 -1 4202496 6355 1010 1 0 17 7 0 0 20 0 1 0 337658290 159313920 4173 33554432000 4194304 5683644 140733574414976 140733574305480 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 38895 4173 1160 364 0 3222 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 155580

[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.94 3/227 4491
/proc/meminfo: memFree=27959024/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=260632 CPUtime=0.4 cores=1,3,5,7
/proc/4486/stat : 4486 (python) D 4484 4486 3958 0 -1 4202496 9248 1010 1 0 29 11 0 0 20 0 1 0 337658290 266887168 6532 33554432000 4194304 5683644 140733574414976 140733574350968 217410525031 0 0 16781312 2 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/4486/statm: 65158 6532 1706 364 0 5210 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 260632

[startup+3.10011 s]
/proc/loadavg: 2.01 2.00 1.94 3/227 4491
/proc/meminfo: memFree=27918268/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=339132 CPUtime=1.86 cores=1,3,5,7
/proc/4486/stat : 4486 (python) R 4484 4486 3958 0 -1 4202496 21490 1010 1 0 172 14 0 0 20 0 1 0 337658290 347271168 21080 33554432000 4194304 5683644 140733574414976 140733574407592 217410146196 0 0 16781312 2 0 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 84783 21080 1811 364 0 20012 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 339132
heavy processes:

[startup+6.30012 s]
/proc/loadavg: 2.01 2.00 1.94 3/227 4491
/proc/meminfo: memFree=27879996/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=357972 CPUtime=5.06 cores=1,3,5,7
/proc/4486/stat : 4486 (python) R 4484 4486 3958 0 -1 4202496 30657 1010 1 0 490 16 0 0 20 0 1 0 337658290 366563328 26263 33554432000 4194304 5683644 140733574414976 140733574408152 4324486 0 0 16781312 33554434 0 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 89493 26263 1847 364 0 24722 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 357972

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

[startup+6.60016 s]
/proc/loadavg: 2.01 2.00 1.94 3/227 4491
/proc/meminfo: memFree=27879996/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=357972 CPUtime=5.36 cores=1,3,5,7
/proc/4486/stat : 4486 (python) R 4484 4486 3958 0 -1 4202496 30657 1010 1 0 520 16 0 0 20 0 1 0 337658290 366563328 26263 33554432000 4194304 5683644 140733574414976 140733574408152 140554077291896 0 0 16781312 33554434 0 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 89493 26263 1847 364 0 24722 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 357972

[startup+8.20038 s]
/proc/loadavg: 2.01 2.00 1.94 3/230 4494
/proc/meminfo: memFree=27849200/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=438916 CPUtime=5.84 cores=1,3,5,7
/proc/4486/stat : 4486 (python) S 4484 4486 3958 0 -1 4202496 31701 1010 1 0 567 17 0 0 20 0 2 0 337658290 449449984 27592 33554432000 4194304 5683644 140733574414976 140733574409808 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 109729 27592 1902 364 0 44952 0
[pid=4492] ppid=4486 vsize=363136 CPUtime=0 cores=1,3,5,7
/proc/4492/stat : 4492 (python) S 4486 4486 3958 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 1 0 337658998 371851264 26024 33554432000 4194304 5683644 140733574414976 140733574406064 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4492/statm: 90784 26024 340 364 0 26007 0
[pid=4494] ppid=4492 vsize=24720 CPUtime=1.11 cores=1,3,5,7
/proc/4494/stat : 4494 (clasp-1.3.7-x86) R 4492 4494 4494 0 -1 4202496 7365 0 0 0 110 1 0 0 20 0 1 0 337658998 25313280 5631 33554432000 134512640 136139019 4291554560 4291553664 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4494/statm: 6180 5631 171 398 0 5780 0
[pid=4486/tid=4493] ppid=4484 vsize=438916 CPUtime=0 cores=1,3,5,7
/proc/4486/task/4493/stat : 4493 (python) S 4484 4486 3958 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337658998 449449984 27592 33554432000 4194304 5683644 140733574414976 140553904132656 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 826772

[startup+9.8003 s]
/proc/loadavg: 2.01 2.00 1.94 3/230 4494
/proc/meminfo: memFree=27849324/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=438916 CPUtime=5.84 cores=1,3,5,7
/proc/4486/stat : 4486 (python) S 4484 4486 3958 0 -1 4202496 31701 1010 1 0 567 17 0 0 20 0 2 0 337658290 449449984 27592 33554432000 4194304 5683644 140733574414976 140733574409808 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 109729 27592 1902 364 0 44952 0
[pid=4492] ppid=4486 vsize=363136 CPUtime=0 cores=1,3,5,7
/proc/4492/stat : 4492 (python) S 4486 4486 3958 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337658998 371851264 26024 33554432000 4194304 5683644 140733574414976 140733574406064 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4492/statm: 90784 26024 340 364 0 26007 0
[pid=4494] ppid=4492 vsize=24720 CPUtime=2.71 cores=1,3,5,7
/proc/4494/stat : 4494 (clasp-1.3.7-x86) R 4492 4494 4494 0 -1 4202496 7365 0 0 0 270 1 0 0 20 0 1 0 337658998 25313280 5631 33554432000 134512640 136139019 4291554560 4291553664 134815750 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4494/statm: 6180 5631 171 398 0 5780 0
[pid=4486/tid=4493] ppid=4484 vsize=438916 CPUtime=0 cores=1,3,5,7
/proc/4486/task/4493/stat : 4493 (python) S 4484 4486 3958 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337658998 449449984 27592 33554432000 4194304 5683644 140733574414976 140553904132656 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.55
Current children cumulated vsize (KiB) 826772

[startup+10.2074 s]
/proc/loadavg: 2.01 2.00 1.94 3/230 4494
/proc/meminfo: memFree=27848952/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=438916 CPUtime=5.84 cores=1,3,5,7
/proc/4486/stat : 4486 (python) S 4484 4486 3958 0 -1 4202496 31701 1010 1 0 567 17 0 0 20 0 2 0 337658290 449449984 27592 33554432000 4194304 5683644 140733574414976 140733574409808 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 109729 27592 1902 364 0 44952 0
[pid=4492] ppid=4486 vsize=363136 CPUtime=0 cores=1,3,5,7
/proc/4492/stat : 4492 (python) S 4486 4486 3958 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337658998 371851264 26047 33554432000 4194304 5683644 140733574414976 140733574406064 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4492/statm: 90784 26047 363 364 0 26007 0
[pid=4494] ppid=4492 vsize=24720 CPUtime=3.12 cores=1,3,5,7
/proc/4494/stat : 4494 (clasp-1.3.7-x86) R 4492 4494 4494 0 -1 4202496 7365 0 0 0 311 1 0 0 20 0 1 0 337658998 25313280 5631 33554432000 134512640 136139019 4291554560 4291553664 134815847 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4494/statm: 6180 5631 171 398 0 5780 0
[pid=4486/tid=4493] ppid=4484 vsize=438916 CPUtime=0 cores=1,3,5,7
/proc/4486/task/4493/stat : 4493 (python) S 4484 4486 3958 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337658998 449449984 27592 33554432000 4194304 5683644 140733574414976 140553904132656 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 826772

[startup+10.6003 s]
/proc/loadavg: 2.01 2.00 1.94 3/230 4494
/proc/meminfo: memFree=27848952/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=438916 CPUtime=5.84 cores=1,3,5,7
/proc/4486/stat : 4486 (python) S 4484 4486 3958 0 -1 4202496 31701 1010 1 0 567 17 0 0 20 0 2 0 337658290 449449984 27592 33554432000 4194304 5683644 140733574414976 140733574409808 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 109729 27592 1902 364 0 44952 0
[pid=4492] ppid=4486 vsize=363136 CPUtime=0 cores=1,3,5,7
/proc/4492/stat : 4492 (python) S 4486 4486 3958 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337658998 371851264 26047 33554432000 4194304 5683644 140733574414976 140733574406064 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4492/statm: 90784 26047 363 364 0 26007 0
[pid=4494] ppid=4492 vsize=24720 CPUtime=3.51 cores=1,3,5,7
/proc/4494/stat : 4494 (clasp-1.3.7-x86) R 4492 4494 4494 0 -1 4202496 7365 0 0 0 350 1 0 0 20 0 1 0 337658998 25313280 5631 33554432000 134512640 136139019 4291554560 4291553664 134815804 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4494/statm: 6180 5631 171 398 0 5780 0
[pid=4486/tid=4493] ppid=4484 vsize=438916 CPUtime=0 cores=1,3,5,7
/proc/4486/task/4493/stat : 4493 (python) S 4484 4486 3958 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337658998 449449984 27592 33554432000 4194304 5683644 140733574414976 140553904132656 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 826772

[startup+10.7003 s]
/proc/loadavg: 2.01 2.00 1.94 3/230 4494
/proc/meminfo: memFree=27848952/32873648 swapFree=7628/7628
[pid=4486] ppid=4484 vsize=438916 CPUtime=5.84 cores=1,3,5,7
/proc/4486/stat : 4486 (python) S 4484 4486 3958 0 -1 4202496 31701 1010 1 0 567 17 0 0 20 0 2 0 337658290 449449984 27592 33554432000 4194304 5683644 140733574414976 140733574409808 217413903629 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 46 0 0
/proc/4486/statm: 109729 27592 1902 364 0 44952 0
[pid=4492] ppid=4486 vsize=363136 CPUtime=0 cores=1,3,5,7
/proc/4492/stat : 4492 (python) S 4486 4486 3958 0 -1 4202560 891 0 0 0 0 0 0 0 20 0 1 0 337658998 371851264 26047 33554432000 4194304 5683644 140733574414976 140733574406064 217410535848 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/4492/statm: 90784 26047 363 364 0 26007 0
[pid=4494] ppid=4492 vsize=24720 CPUtime=3.61 cores=1,3,5,7
/proc/4494/stat : 4494 (clasp-1.3.7-x86) R 4492 4494 4494 0 -1 4202496 7366 0 0 0 360 1 0 0 20 0 1 0 337658998 25313280 5632 33554432000 134512640 136139019 4291554560 4291553744 134621779 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0
/proc/4494/statm: 6180 5632 172 398 0 5780 0
[pid=4486/tid=4493] ppid=4484 vsize=438916 CPUtime=0 cores=1,3,5,7
/proc/4486/task/4493/stat : 4493 (python) S 4484 4486 3958 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 2 0 337658998 449449984 27592 33554432000 4194304 5683644 140733574414976 140553904132656 217413900064 0 0 16781312 33554434 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (KiB) 826772

Child status: 0
Real time (s): 10.7962
CPU time (s): 9.56754
CPU user time (s): 9.36358
CPU system time (s): 0.203968
CPU usage (%): 88.6192
Max. virtual memory (cumulated for all children) (KiB): 826772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.36358
system time used= 0.203968
maximum resident set size= 120476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53322
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= 2064
involuntary context switches= 22

runsolver used 0.020996 second user time and 0.057991 second system time

The end