0.00/0.00 c pwbo 1.1 beta - 20110321
0.00/0.00 c Parsing opb file format. File HOME/instance-3500163-1307992059.opb.
0.00/0.00 c Instance file HOME/instance-3500163-1307992059.opb
0.00/0.00 c File size is 181431 bytes.
0.00/0.01 c Highest Coefficient sum: 88
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Parsing time: 0.01 s |
0.00/0.01 c | Number Variables: 309 |
0.00/0.01 c | Number Clauses: 963 |
0.00/0.01 c | Number Cardinality: 0 |
0.00/0.01 c | Number PB Constraints: 0 |
0.00/0.01 c init lb 0
0.00/0.01 c init ub 310
0.00/0.01 c lb 1 (thread 0)
0.00/0.01 c ub 8 (thread 1)
0.00/0.01 o 8
0.00/0.01 c lb 2 (thread 0)
0.00/0.01 c lb 3 (thread 0)
0.00/0.05 c ub 7 (thread 1)
0.00/0.05 o 7
0.00/0.05 c lb 4 (thread 0)
0.17/0.13 c ub 6 (thread 1)
0.77/0.40 o 6
0.77/0.40 c ub 5 (thread 1)
0.77/0.43 o 5
0.77/0.43 s OPTIMUM FOUND
0.77/0.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
0.77/0.43 c Memory used : 132.30 MB
0.77/0.43 c CPU time : 0.814876 s
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-3500163-1307992059/watcher-3500163-1307992059 -o /var/tmp/evaluation-result-3500163-1307992059/solver-3500163-1307992059 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500163-1307992059.opb
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: 3.84 3.87 3.22 2/174 11392
/proc/meminfo: memFree=12341948/32951124 swapFree=67055716/67111528
[pid=11392] ppid=11390 vsize=2284 CPUtime=0 cores=1,3,5,7
/proc/11392/stat : 11392 (pwbo1.1) R 11390 11392 11028 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 643397218 2338816 262 33554432000 4194304 5714118 140734813318048 18446744073709551615 4222928 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11392/statm: 571 263 169 372 0 151 0
[startup+0.068552 s]
/proc/loadavg: 3.84 3.87 3.22 2/174 11392
/proc/meminfo: memFree=12341948/32951124 swapFree=67055716/67111528
[pid=11392] ppid=11390 vsize=135476 CPUtime=0.11 cores=1,3,5,7
/proc/11392/stat : 11392 (pwbo1.1) S 11390 11392 11028 0 -1 4202496 1070 0 0 0 11 0 0 0 25 0 3 0 643397218 138727424 978 33554432000 4194304 5714118 140734813318048 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11392/statm: 33869 978 181 372 0 33494 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 135476
[startup+0.100548 s]
/proc/loadavg: 3.84 3.87 3.22 2/174 11392
/proc/meminfo: memFree=12341948/32951124 swapFree=67055716/67111528
[pid=11392] ppid=11390 vsize=135476 CPUtime=0.17 cores=1,3,5,7
/proc/11392/stat : 11392 (pwbo1.1) S 11390 11392 11028 0 -1 4202496 1120 0 0 0 17 0 0 0 25 0 3 0 643397218 138727424 1028 33554432000 4194304 5714118 140734813318048 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11392/statm: 33869 1028 181 372 0 33494 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135476
[startup+0.300613 s]
/proc/loadavg: 3.84 3.87 3.22 2/174 11392
/proc/meminfo: memFree=12341948/32951124 swapFree=67055716/67111528
[pid=11392] ppid=11390 vsize=135476 CPUtime=0.57 cores=1,3,5,7
/proc/11392/stat : 11392 (pwbo1.1) S 11390 11392 11028 0 -1 4202496 1644 0 0 0 56 1 0 0 25 0 3 0 643397218 138727424 1552 33554432000 4194304 5714118 140734813318048 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11392/statm: 33869 1552 181 372 0 33494 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 135476
Solver just ended. Dumping a history of the last processes samples
[startup+0.400508 s]
/proc/loadavg: 3.84 3.87 3.22 2/174 11392
/proc/meminfo: memFree=12341948/32951124 swapFree=67055716/67111528
[pid=11392] ppid=11390 vsize=135476 CPUtime=0.77 cores=1,3,5,7
/proc/11392/stat : 11392 (pwbo1.1) S 11390 11392 11028 0 -1 4202496 1942 0 0 0 75 2 0 0 25 0 3 0 643397218 138727424 1850 33554432000 4194304 5714118 140734813318048 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11392/statm: 33869 1850 181 372 0 33494 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 135476
Child status: 0
Real time (s): 0.435826
CPU time (s): 0.845871
CPU user time (s): 0.814876
CPU system time (s): 0.030995
CPU usage (%): 194.085
Max. virtual memory (cumulated for all children) (KiB): 135476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.814876
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2043
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= 29
involuntary context switches= 3
runsolver used 0.003999 second user time and 0.003999 second system time
The end
Begin job on node107 at 2011-06-13 21:07:40
IDJOB=3500163
IDBENCH=2054
IDSOLVER=1954
FILE ID=node107/3500163-1307992059
RUNJOBID= node107-1307991152-11278
PBS_JOBID= 13559743
Free space on /var/tmp= 2872 MiB
SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-9sym.b.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500163-1307992059/watcher-3500163-1307992059 -o /var/tmp/evaluation-result-3500163-1307992059/solver-3500163-1307992059 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500163-1307992059.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 62bf49287e0493f2a3b22f3319db306d
RANDOM SEED=1680489185
node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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 : 5359.47
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.829
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.75
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.829
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: 12342632 kB
Buffers: 113444 kB
Cached: 19776232 kB
SwapCached: 20168 kB
Active: 4540396 kB
Inactive: 15378052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12342632 kB
SwapTotal: 67111528 kB
SwapFree: 67055716 kB
Dirty: 4468 kB
Writeback: 0 kB
AnonPages: 26772 kB
Mapped: 12720 kB
Slab: 624056 kB
PageTables: 4620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 182268 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= 2884 MiB
End job on node107 at 2011-06-13 21:07:40