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 /var/tmp/evaluation-result-3500267-1307992896/watcher-3500267-1307992896 -o /var/tmp/evaluation-result-3500267-1307992896/solver-3500267-1307992896 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500267-1307992896.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: 3.68 3.90 3.61 1/172 17225
/proc/meminfo: memFree=14866108/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=69716 CPUtime=0 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 563 0 0 0 0 0 0 0 25 0 3 0 989520234 71389184 502 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 17429 504 172 372 0 17054 0
[pid=17225/tid=17226] ppid=17223 vsize=69716 CPUtime=0 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 3 0 989520235 71389184 508 33554432000 4194304 5714118 140736468882336 18446744073709551615 4336951 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=69716 CPUtime=0 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 989520235 71389184 508 33554432000 4194304 5714118 140736468882336 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.098692 s]
/proc/loadavg: 3.68 3.90 3.61 1/172 17225
/proc/meminfo: memFree=14866108/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=161420 CPUtime=0.18 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 9284 0 0 0 16 2 0 0 25 0 3 0 989520234 165294080 9168 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 40355 9172 179 372 0 39980 0
[pid=17225/tid=17226] ppid=17223 vsize=161420 CPUtime=0.09 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 295 0 0 0 9 0 0 0 18 0 3 0 989520235 165294080 9175 33554432000 4194304 5714118 140736468882336 18446744073709551615 4199344 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=161420 CPUtime=0.08 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 8542 0 0 0 7 1 0 0 25 0 3 0 989520235 165294080 9178 33554432000 4194304 5714118 140736468882336 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 161420
[startup+0.100688 s]
/proc/loadavg: 3.68 3.90 3.61 1/172 17225
/proc/meminfo: memFree=14866108/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=161960 CPUtime=0.19 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 9474 0 0 0 17 2 0 0 25 0 3 0 989520234 165847040 9358 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 40490 9361 179 372 0 40115 0
[pid=17225/tid=17226] ppid=17223 vsize=161960 CPUtime=0.09 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 295 0 0 0 9 0 0 0 18 0 3 0 989520235 165847040 9364 33554432000 4194304 5714118 140736468882336 18446744073709551615 4323281 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=161960 CPUtime=0.08 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 8730 0 0 0 7 1 0 0 25 0 3 0 989520235 165847040 9366 33554432000 4194304 5714118 140736468882336 18446744073709551615 4339342 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 161960
[startup+0.300635 s]
/proc/loadavg: 3.68 3.90 3.61 1/172 17225
/proc/meminfo: memFree=14866108/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=166112 CPUtime=0.58 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 16141 0 0 0 54 4 0 0 25 0 3 0 989520234 170098688 15928 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 41528 15928 179 372 0 41153 0
[pid=17225/tid=17226] ppid=17223 vsize=166112 CPUtime=0.28 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 761 0 0 0 28 0 0 0 18 0 3 0 989520235 170098688 15928 33554432000 4194304 5714118 140736468882336 18446744073709551615 4336902 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=166112 CPUtime=0.28 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 14923 0 0 0 25 3 0 0 25 0 3 0 989520235 170098688 15928 33554432000 4194304 5714118 140736468882336 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 166112
[startup+0.700568 s]
/proc/loadavg: 3.68 3.90 3.61 1/172 17225
/proc/meminfo: memFree=14866108/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=166112 CPUtime=1.38 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 16368 0 0 0 133 5 0 0 25 0 3 0 989520234 170098688 16139 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 41528 16139 179 372 0 41153 0
[pid=17225/tid=17226] ppid=17223 vsize=166112 CPUtime=0.69 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 988 0 0 0 68 1 0 0 18 0 3 0 989520235 170098688 16139 33554432000 4194304 5714118 140736468882336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=166112 CPUtime=0.68 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 14923 0 0 0 65 3 0 0 25 0 3 0 989520235 170098688 16139 33554432000 4194304 5714118 140736468882336 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 166112
[startup+1.5004 s]
/proc/loadavg: 3.68 3.90 3.61 4/180 17282
/proc/meminfo: memFree=14793008/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=166112 CPUtime=2.98 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 16557 0 0 0 291 7 0 0 25 0 3 0 989520234 170098688 16328 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 41528 16328 179 372 0 41153 0
[pid=17225/tid=17226] ppid=17223 vsize=166112 CPUtime=1.49 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 1167 0 0 0 146 3 0 0 19 0 3 0 989520235 170098688 16328 33554432000 4194304 5714118 140736468882336 18446744073709551615 4355537 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=166112 CPUtime=1.49 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 14933 0 0 0 145 4 0 0 25 0 3 0 989520235 170098688 16328 33554432000 4194304 5714118 140736468882336 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 166112
Solver just ended. Dumping a history of the last processes samples
[startup+1.90034 s]
/proc/loadavg: 3.68 3.90 3.61 4/180 17282
/proc/meminfo: memFree=14793008/32951124 swapFree=67054712/67111528
[pid=17225] ppid=17223 vsize=166112 CPUtime=3.78 cores=0,2,4,6
/proc/17225/stat : 17225 (pwbo1.1) S 17223 17225 16567 0 -1 4202496 16639 0 0 0 370 8 0 0 25 0 3 0 989520234 170098688 16410 33554432000 4194304 5714118 140736468882336 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/17225/statm: 41528 16410 179 372 0 41153 0
[pid=17225/tid=17226] ppid=17223 vsize=166112 CPUtime=1.89 cores=0,2,4,6
/proc/17225/task/17226/stat : 17226 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 1248 0 0 0 185 4 0 0 20 0 3 0 989520235 170098688 16410 33554432000 4194304 5714118 140736468882336 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=17225/tid=17227] ppid=17223 vsize=166112 CPUtime=1.89 cores=0,2,4,6
/proc/17225/task/17227/stat : 17227 (pwbo1.1) R 17223 17225 16567 0 -1 4202560 14934 0 0 0 185 4 0 0 25 0 3 0 989520235 170098688 16410 33554432000 4194304 5714118 140736468882336 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 166112
Child status: 0
Real time (s): 1.908
CPU time (s): 3.80442
CPU user time (s): 3.71743
CPU system time (s): 0.086986
CPU usage (%): 199.393
Max. virtual memory (cumulated for all children) (KiB): 166112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.71743
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16649
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= 56
involuntary context switches= 8
runsolver used 0.002999 second user time and 0.010998 second system time
The end
Begin job on node119 at 2011-06-13 21:21:36
IDJOB=3500267
IDBENCH=2179
IDSOLVER=1954
FILE ID=node119/3500267-1307992896
RUNJOBID= node119-1307991085-16870
PBS_JOBID= 13559741
Free space on /var/tmp= 2884 MiB
SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500267-1307992896/watcher-3500267-1307992896 -o /var/tmp/evaluation-result-3500267-1307992896/solver-3500267-1307992896 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500267-1307992896.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= e64a428c112076ceda9ede530f0c6582
RANDOM SEED=802551549
node119.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.815
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.63
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.815
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.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14866420 kB
Buffers: 113176 kB
Cached: 17327864 kB
SwapCached: 11032 kB
Active: 2025736 kB
Inactive: 15435884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14866420 kB
SwapTotal: 67111528 kB
SwapFree: 67054712 kB
Dirty: 4348 kB
Writeback: 0 kB
AnonPages: 17956 kB
Mapped: 13208 kB
Slab: 557540 kB
PageTables: 3900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 190100 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 /var/tmp at the end= 2872 MiB
End job on node119 at 2011-06-13 21:21:38