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-3482076-1307576895/watcher-3482076-1307576895 -o /tmp/evaluation-result-3482076-1307576895/solver-3482076-1307576895 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482076-1307576895.opb -seed 1592117790 -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.17 1.76 0.91 2/531 2892
/proc/meminfo: memFree=29215740/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2892/stat : 2892 (python) R 2890 2892 2236 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 869288463 15753216 633 33554432000 4194304 5683644 140735553542016 18446744073709551615 235594560493 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2892/statm: 3846 651 322 364 0 333 0
[startup+0.0522039 s]
/proc/loadavg: 2.17 1.76 0.91 2/531 2892
/proc/meminfo: memFree=29215740/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=30124 CPUtime=0.03 cores=1,3,5,7
/proc/2892/stat : 2892 (python) R 2890 2892 2236 0 -1 4202496 1491 0 0 0 3 0 0 0 18 0 1 0 869288463 30846976 1329 33554432000 4194304 5683644 140735553542016 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2892/statm: 7531 1333 443 364 0 901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30124
[startup+0.100215 s]
/proc/loadavg: 2.17 1.76 0.91 2/531 2892
/proc/meminfo: memFree=29215740/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/2892/stat : 2892 (python) R 2890 2892 2236 0 -1 4202496 3169 930 1 0 6 1 0 0 18 0 1 0 869288463 98435072 2483 33554432000 4194304 5683644 140735553542016 18446744073709551615 5170208 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2892/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.300224 s]
/proc/loadavg: 2.17 1.76 0.91 2/531 2892
/proc/meminfo: memFree=29215740/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=175632 CPUtime=0.24 cores=1,3,5,7
/proc/2892/stat : 2892 (python) R 2890 2892 2236 0 -1 4202496 6236 930 1 0 18 6 0 0 17 0 1 0 869288463 179847168 4546 33554432000 4194304 5683644 140735553542016 18446744073709551615 235589896992 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2892/statm: 43908 4550 1236 364 0 3535 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 175632
[startup+0.701059 s]
/proc/loadavg: 2.17 1.76 0.91 2/531 2892
/proc/meminfo: memFree=29215740/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=293392 CPUtime=0.44 cores=1,3,5,7
/proc/2892/stat : 2892 (python) S 2890 2892 2236 0 -1 4202496 9692 930 1 0 34 10 0 0 19 0 2 0 869288463 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2892/statm: 73348 7196 1870 364 0 8235 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293392
[startup+1.50091 s]
/proc/loadavg: 2.17 1.76 0.91 3/543 2913
/proc/meminfo: memFree=29104964/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=293392 CPUtime=0.44 cores=1,3,5,7
/proc/2892/stat : 2892 (python) S 2890 2892 2236 0 -1 4202496 9692 930 1 0 34 10 0 0 19 0 2 0 869288463 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2892/statm: 73348 7196 1870 364 0 8235 0
[pid=2907] ppid=2892 vsize=283148 CPUtime=0 cores=1,3,5,7
/proc/2907/stat : 2907 (python) S 2892 2892 2236 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869288518 289943552 5674 33554432000 4194304 5683644 140735553542016 18446744073709551615 235594886671 0 0 16781312 33554946 3594129109757722624 0 0 17 7 0 0 0
/proc/2907/statm: 70787 5674 352 364 0 5674 0
[pid=2909] ppid=2907 vsize=46020 CPUtime=0.93 cores=1,3,5,7
/proc/2909/stat : 2909 (scip-2.0.1.linu) R 2907 2909 2909 0 -1 4202496 9921 0 0 0 90 3 0 0 21 0 1 0 869288518 47124480 9266 33554432000 4194304 13684479 140736752297472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2909/statm: 11505 9266 791 2317 0 9183 0
[pid=2892/tid=2908] ppid=2890 vsize=293392 CPUtime=0 cores=1,3,5,7
/proc/2892/task/2908/stat : 2908 (python) S 2890 2892 2236 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 2 0 869288518 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606690225 0 0 16781312 33554434 18446604460564632704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 622560
Solver just ended. Dumping a history of the last processes samples
[startup+1.70087 s]
/proc/loadavg: 2.17 1.76 0.91 3/543 2913
/proc/meminfo: memFree=29104964/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=293392 CPUtime=0.44 cores=1,3,5,7
/proc/2892/stat : 2892 (python) S 2890 2892 2236 0 -1 4202496 9692 930 1 0 34 10 0 0 19 0 2 0 869288463 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2892/statm: 73348 7196 1870 364 0 8235 0
[pid=2907] ppid=2892 vsize=283148 CPUtime=0 cores=1,3,5,7
/proc/2907/stat : 2907 (python) S 2892 2892 2236 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 869288518 289943552 5674 33554432000 4194304 5683644 140735553542016 18446744073709551615 235594886671 0 0 16781312 33554946 205240127545409536 0 0 17 7 0 0 0
/proc/2907/statm: 70787 5674 352 364 0 5674 0
[pid=2909] ppid=2907 vsize=46676 CPUtime=1.14 cores=1,3,5,7
/proc/2909/stat : 2909 (scip-2.0.1.linu) R 2907 2909 2909 0 -1 4202496 10009 0 0 0 110 4 0 0 22 0 1 0 869288518 47796224 9350 33554432000 4194304 13684479 140736752297472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2909/statm: 11669 9350 787 2317 0 9347 0
[pid=2892/tid=2908] ppid=2890 vsize=293392 CPUtime=0 cores=1,3,5,7
/proc/2892/task/2908/stat : 2908 (python) S 2890 2892 2236 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 2 0 869288518 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606690225 0 0 16781312 33554434 18446604460564632704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 623216
[startup+1.80086 s]
/proc/loadavg: 2.17 1.76 0.91 3/543 2913
/proc/meminfo: memFree=29104964/32950928 swapFree=34366004/67111528
[pid=2892] ppid=2890 vsize=293392 CPUtime=0.44 cores=1,3,5,7
/proc/2892/stat : 2892 (python) S 2890 2892 2236 0 -1 4202496 9692 930 1 0 34 10 0 0 19 0 2 0 869288463 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606693323 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2892/statm: 73348 7196 1870 364 0 8235 0
[pid=2907] ppid=2892 vsize=283148 CPUtime=0 cores=1,3,5,7
/proc/2907/stat : 2907 (python) S 2892 2892 2236 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 1 0 869288518 289943552 5674 33554432000 4194304 5683644 140735553542016 18446744073709551615 235594886671 0 0 16781312 33554946 1381853663894437888 0 0 17 7 0 0 0
/proc/2907/statm: 70787 5674 352 364 0 5674 0
[pid=2909] ppid=2907 vsize=58632 CPUtime=1.23 cores=1,3,5,7
/proc/2909/stat : 2909 (scip-2.0.1.linu) R 2907 2909 2909 0 -1 4202496 12785 0 0 0 119 4 0 0 22 0 1 0 869288518 60039168 12077 33554432000 4194304 13684479 140736752297472 18446744073709551615 6733904 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2909/statm: 14658 12078 792 2317 0 12336 0
[pid=2892/tid=2908] ppid=2890 vsize=293392 CPUtime=0 cores=1,3,5,7
/proc/2892/task/2908/stat : 2908 (python) S 2890 2892 2236 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 2 0 869288518 300433408 7196 33554432000 4194304 5683644 140735553542016 18446744073709551615 235606690225 0 0 16781312 33554434 18446604460564632704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 635172
Child status: 0
Real time (s): 1.88949
CPU time (s): 1.79972
CPU user time (s): 1.62775
CPU system time (s): 0.171973
CPU usage (%): 95.2493
Max. virtual memory (cumulated for all children) (KiB): 635172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62775
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29978
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= 3276
involuntary context switches= 26
runsolver used 0.013997 second user time and 0.019996 second system time
The end
Begin job on node120 at 2011-06-09 01:48:16
IDJOB=3482076
IDBENCH=2227
IDSOLVER=1970
FILE ID=node120/3482076-1307576895
RUNJOBID= node120-1307576358-2264
PBS_JOBID= 13547679
Free space on /tmp= 73744 MiB
SOLVER NAME= borg pb-opt-11.04.03
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.opt.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482076-1307576895/watcher-3482076-1307576895 -o /tmp/evaluation-result-3482076-1307576895/solver-3482076-1307576895 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482076-1307576895.opb -seed 1592117790 -budget 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c
RANDOM SEED=1592117790
node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.78
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29216020 kB
Buffers: 150700 kB
Cached: 643272 kB
SwapCached: 12060 kB
Active: 3195348 kB
Inactive: 224904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29216020 kB
SwapTotal: 67111528 kB
SwapFree: 34366004 kB
Dirty: 205192 kB
Writeback: 0 kB
AnonPages: 2624452 kB
Mapped: 48608 kB
Slab: 148004 kB
PageTables: 97976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 109665752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73552 MiB
End job on node120 at 2011-06-09 01:48:19