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-3462776-1307182768/watcher-3462776-1307182768 -o /tmp/evaluation-result-3462776-1307182768/solver-3462776-1307182768 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462776-1307182768.opb
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: 1.95 2.03 2.00 2/554 12392
/proc/meminfo: memFree=24877844/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=12452 CPUtime=0.01 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 704 0 0 0 1 0 0 0 25 0 1 0 829873856 12750848 650 33554432000 134512640 137138936 4289004224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 3113 650 185 642 0 2469 0
[startup+0.0605181 s]
/proc/loadavg: 1.95 2.03 2.00 2/554 12392
/proc/meminfo: memFree=24877844/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=12452 CPUtime=0.05 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 737 0 0 0 5 0 0 0 25 0 1 0 829873856 12750848 683 33554432000 134512640 137138936 4289004224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 3113 683 192 642 0 2469 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12452
[startup+0.100505 s]
/proc/loadavg: 1.95 2.03 2.00 2/554 12392
/proc/meminfo: memFree=24877844/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=12660 CPUtime=0.09 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 783 0 0 0 9 0 0 0 25 0 1 0 829873856 12963840 729 33554432000 134512640 137138936 4289004224 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 3165 729 192 642 0 2521 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12660
[startup+0.300464 s]
/proc/loadavg: 1.95 2.03 2.00 2/554 12392
/proc/meminfo: memFree=24877844/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=13904 CPUtime=0.29 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 1100 0 0 0 29 0 0 0 25 0 1 0 829873856 14237696 1046 33554432000 134512640 137138936 4289004224 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 3476 1046 192 642 0 2832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13904
[startup+0.700397 s]
/proc/loadavg: 1.95 2.03 2.00 2/554 12392
/proc/meminfo: memFree=24877844/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=16092 CPUtime=0.69 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 1626 0 0 0 69 0 0 0 25 0 1 0 829873856 16478208 1572 33554432000 134512640 137138936 4289004224 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4023 1572 192 642 0 3379 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16092
[startup+1.50023 s]
/proc/loadavg: 1.95 2.03 2.00 3/555 12393
/proc/meminfo: memFree=24871264/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=16512 CPUtime=1.49 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 1754 0 0 0 148 1 0 0 25 0 1 0 829873856 16908288 1700 33554432000 134512640 137138936 4289004224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4128 1700 192 642 0 3484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16512
[startup+3.10093 s]
/proc/loadavg: 1.95 2.03 2.00 3/555 12393
/proc/meminfo: memFree=24869528/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17364 CPUtime=3.09 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 1954 0 0 0 307 2 0 0 25 0 1 0 829873856 17780736 1900 33554432000 134512640 137138936 4289004224 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4341 1900 192 642 0 3697 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17364
[startup+6.30032 s]
/proc/loadavg: 1.96 2.03 2.00 3/555 12393
/proc/meminfo: memFree=24868484/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17696 CPUtime=6.29 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2047 0 0 0 626 3 0 0 25 0 1 0 829873856 18120704 1993 33554432000 134512640 137138936 4289004224 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4424 1993 192 642 0 3780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17696
[startup+12.7011 s]
/proc/loadavg: 1.96 2.03 2.00 3/555 12393
/proc/meminfo: memFree=24867140/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17904 CPUtime=12.69 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2085 0 0 0 1265 4 0 0 25 0 1 0 829873856 18333696 2031 33554432000 134512640 137138936 4289004224 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4476 2031 192 642 0 3832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17904
[startup+25.5006 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867600/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17996 CPUtime=25.49 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2125 0 0 0 2540 9 0 0 25 0 1 0 829873856 18427904 2071 33554432000 134512640 137138936 4289004224 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4499 2071 192 642 0 3855 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17996
Solver just ended. Dumping a history of the last processes samples
[startup+28.701 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867104/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17984 CPUtime=28.69 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2126 0 0 0 2859 10 0 0 25 0 1 0 829873856 18415616 2071 33554432000 134512640 137138936 4289004224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4496 2071 192 642 0 3852 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 17984
[startup+31.9204 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867600/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17984 CPUtime=31.91 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2126 0 0 0 3180 11 0 0 25 0 1 0 829873856 18415616 2071 33554432000 134512640 137138936 4289004224 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4496 2071 192 642 0 3852 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 17984
[startup+32.7003 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867600/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17984 CPUtime=32.69 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2126 0 0 0 3258 11 0 0 25 0 1 0 829873856 18415616 2071 33554432000 134512640 137138936 4289004224 18446744073709551615 134552384 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4496 2071 192 642 0 3852 0
Current children cumulated CPU time (s) 32.69
Current children cumulated vsize (KiB) 17984
[startup+33.1002 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867476/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17976 CPUtime=33.09 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2126 0 0 0 3297 12 0 0 25 0 1 0 829873856 18407424 2069 33554432000 134512640 137138936 4289004224 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4494 2069 192 642 0 3850 0
Current children cumulated CPU time (s) 33.09
Current children cumulated vsize (KiB) 17976
[startup+33.3011 s]
/proc/loadavg: 1.97 2.03 2.00 3/555 12394
/proc/meminfo: memFree=24867476/32950928 swapFree=67056580/67111528
[pid=12392] ppid=12390 vsize=17976 CPUtime=33.29 cores=0,2,4,6
/proc/12392/stat : 12392 (bsolo) R 12390 12392 10194 0 -1 4202496 2126 0 0 0 3317 12 0 0 25 0 1 0 829873856 18407424 2069 33554432000 134512640 137138936 4289004224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12392/statm: 4494 2069 192 642 0 3850 0
Current children cumulated CPU time (s) 33.29
Current children cumulated vsize (KiB) 17976
Child status: 0
Real time (s): 33.3447
CPU time (s): 33.3459
CPU user time (s): 33.2209
CPU system time (s): 0.124981
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 18020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.2209
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 57
runsolver used 0.211967 second user time and 0.408937 second system time
The end
Begin job on node148 at 2011-06-04 12:19:28
IDJOB=3462776
IDBENCH=48192
IDSOLVER=1955
FILE ID=node148/3462776-1307182768
RUNJOBID= node148-1307175570-11800
PBS_JOBID= 13508860
Free space on /tmp= 73892 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462776-1307182768/watcher-3462776-1307182768 -o /tmp/evaluation-result-3462776-1307182768/solver-3462776-1307182768 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462776-1307182768.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7197f7f0f9b455050f9ff30066ca0a9a
RANDOM SEED=618388349
node148.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.854
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.70
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.854
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 : 5332.75
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.854
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.83
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.854
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.854
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.82
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.854
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.854
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.854
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24878008 kB
Buffers: 261600 kB
Cached: 635488 kB
SwapCached: 7908 kB
Active: 7256968 kB
Inactive: 508516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24878008 kB
SwapTotal: 67111528 kB
SwapFree: 67056580 kB
Dirty: 3916 kB
Writeback: 0 kB
AnonPages: 6866712 kB
Mapped: 44572 kB
Slab: 179092 kB
PageTables: 57620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 170431036 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= 73888 MiB
End job on node148 at 2011-06-04 12:20:01