Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 24 | 1.12983 | 1.13171 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir06_area_partials.opb |
MD5SUM | 65718755a88a1589573221eda1549993 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 0.061989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | YES |
Number of variables | 572 |
Total number of constraints | 1850 |
Number of constraints which are clauses | 1850 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 160 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 160 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 160 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433740-1177963153/instance-433740-1177963153.opb 0.00/0.00 c File size is 52971 bytes. 0.00/0.01 c Highest Coefficient sum: 160 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.01 s 0.00/0.01 c Var: 572 Constr: 1850 1850/0/0 Lit: 4821 Watch. Lit: 3679 0.00/0.01 c Obj. Vars: 160 (27.972 % of total variables) 0.00/0.03 c Formula reductions applied at preprocessing 0.00/0.03 c Pre-processing Time: 0.029 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 547 1829 4800 2 3658 609 0 0 0.03 0.09/0.15 c Initial Lower Bound: 24 0.09/0.15 c Initial Path Cost: 21 0.09/0.15 o 26 0.148 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 547 1830 4935 2 3790 1609 1 0 0.15 0.49/0.58 o 25 0.585 * 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 0 547 1831 5070 2 3923 2609 2 0 0.58 0.99/1.08 o 24 1.086 * 1.09/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.12 c 3 427 1838 5272 2 4055 2609 9 2 1.09 1.09/1.12 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x28 x35 x36 x37 x38 x39 x53 x97 x101 -x103 -x111 -x112 -x113 -x114 -x115 -x117 -x119 -x121 -x125 1.09/1.12 v -x127 -x134 -x135 -x137 -x139 -x140 -x142 -x146 -x148 -x149 -x151 -x158 -x161 -x162 -x163 x165 -x172 -x174 -x175 -x176 -x177 1.09/1.12 v -x179 -x182 -x184 -x189 -x191 -x192 x193 -x195 -x197 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x209 x211 -x212 -x213 1.09/1.12 v -x214 -x216 -x219 -x223 -x231 -x235 -x236 -x237 -x238 -x239 -x241 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x251 -x254 -x260 1.09/1.12 v -x261 -x262 -x264 -x268 -x269 -x270 -x272 -x279 -x282 -x289 -x297 -x300 -x302 -x306 -x309 -x311 -x313 -x316 -x319 -x320 -x322 1.09/1.12 v -x327 -x328 -x330 -x337 -x358 -x360 -x362 -x367 -x388 -x406 -x407 -x409 -x413 -x415 -x418 -x427 -x430 -x433 -x435 -x437 -x438 1.09/1.12 v -x439 -x441 -x444 -x452 -x459 -x462 -x463 -x464 -x465 -x467 -x469 -x471 -x474 -x492 -x511 -x519 -x529 -x537 -x540 -x561 -x569 1.09/1.12 v -x570 -x571 -x572 -x102 -x13 -x14 -x15 -x16 -x120 -x126 -x17 -x136 -x141 -x145 -x18 -x150 -x157 -x19 x164 -x171 -x20 -x21 -x22 1.09/1.12 v -x183 -x23 -x24 -x194 -x25 -x26 -x27 -x29 -x30 -x31 -x32 -x33 -x34 -x208 -x40 -x215 -x218 -x222 -x230 -x41 -x42 -x43 -x44 -x45 1.09/1.12 v -x46 -x47 -x48 -x49 -x50 -x253 -x51 -x263 -x52 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x315 -x66 -x67 -x68 1.09/1.12 v -x69 -x70 -x321 -x71 -x72 -x336 -x73 -x74 -x75 -x366 -x387 -x76 -x77 -x414 -x417 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x443 -x451 1.09/1.12 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x473 -x491 -x510 -x93 -x94 -x95 -x536 -x539 -x560 -x96 -x98 -x99 -x100 -x104 -x188 1.09/1.12 v -x105 -x106 -x107 -x108 -x109 -x110 -x116 -x118 -x122 -x123 -x124 -x128 -x129 -x130 -x198 -x131 -x132 -x133 -x138 -x143 -x144 1.09/1.12 v -x147 -x152 -x153 -x154 -x178 -x155 -x156 -x159 -x160 x166 -x167 -x168 -x169 -x170 -x173 -x180 -x181 -x185 -x186 -x187 -x190 1.09/1.12 v -x196 -x200 x210 -x217 -x220 -x221 -x250 -x224 -x225 -x226 -x227 -x228 -x229 x232 -x233 -x234 -x240 -x242 -x252 x255 -x256 1.09/1.12 v -x257 -x258 -x259 x265 -x266 -x267 -x271 -x273 -x274 -x466 -x275 -x276 -x434 -x277 -x278 -x280 -x281 -x283 -x308 -x284 -x285 1.09/1.12 v -x286 -x287 -x458 -x288 -x290 -x291 -x305 -x292 -x312 -x293 -x440 -x470 -x294 -x295 -x296 -x298 -x299 -x301 -x303 -x426 -x304 1.09/1.12 v -x307 -x310 -x314 -x317 -x318 -x323 -x324 -x325 -x326 -x329 -x331 -x332 -x333 -x334 -x335 -x338 -x339 -x340 -x341 -x342 -x343 1.09/1.12 v -x344 -x345 -x346 -x347 -x518 -x348 -x349 -x357 -x350 -x351 -x352 -x361 -x429 -x353 -x354 -x355 -x356 -x359 -x363 -x364 -x365 1.09/1.12 v x368 -x369 -x370 -x371 -x372 -x373 -x528 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x408 -x381 -x382 -x383 -x384 -x385 -x386 1.09/1.12 v -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x410 -x411 -x412 -x416 1.09/1.12 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x428 -x431 -x432 -x436 -x442 -x445 -x446 -x447 -x448 -x449 -x450 -x453 -x454 -x455 1.09/1.12 v -x456 -x457 -x460 -x461 -x468 -x472 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1.09/1.12 v -x490 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x512 -x513 -x514 1.09/1.12 v -x515 -x516 -x517 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x530 -x531 -x532 -x533 -x534 -x535 -x538 -x541 -x542 -x543 1.09/1.12 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x562 -x563 -x564 -x565 -x566 1.09/1.12 v -x567 -x568 1.09/1.12 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1.09/1.12 c 3 4 2 155 1841 5274 12 3 1.13 1.09/1.12 c Objective: 24 1.09/1.12 s OPTIMUM FOUND 1.09/1.12 c Total time: 1.126 s
OK 24
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-433740-1177963153 -o ROOT/results/node38/solver-433740-1177963153 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433740-1177963153/instance-433740-1177963153.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=11788 CPUtime=0 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 228481993 12070912 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 2947 335 280 324 0 2004 0 [startup+0.104184 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7208 CPUtime=0.09 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 228481993 7380992 876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9041477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1802 877 389 324 0 872 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7208 [startup+0.201202 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7256 CPUtime=0.19 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 1365 0 0 0 19 0 0 0 18 0 1 0 228481993 7430144 923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135227003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1814 923 394 324 0 884 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7256 [startup+0.301222 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7320 CPUtime=0.29 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 1786 0 0 0 29 0 0 0 19 0 1 0 228481993 7495680 911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1830 911 394 324 0 900 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7320 [startup+0.701299 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7432 CPUtime=0.69 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 4015 0 0 0 68 1 0 0 22 0 1 0 228481993 7610368 967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1858 967 394 324 0 928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7432 Solver just ended. Dumping a history of the last processes samples [startup+0.801317 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7260 CPUtime=0.79 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 4340 0 0 0 78 1 0 0 23 0 1 0 228481993 7434240 933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313327 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1815 933 395 324 0 885 0 Current children cumulated CPU time (s) 0.79 Current children cumulated vsize (KiB) 7260 [startup+1.00136 s] /proc/loadavg: 0.85 0.97 0.93 3/77 1706 /proc/meminfo: memFree=1849312/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7536 CPUtime=0.99 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 5023 0 0 0 98 1 0 0 25 0 1 0 228481993 7716864 932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1884 932 395 324 0 954 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 7536 [startup+1.10138 s] /proc/loadavg: 0.85 0.97 0.93 2/78 1707 /proc/meminfo: memFree=1847384/2055920 swapFree=4151324/4192956 [pid=1706] ppid=1704 vsize=7504 CPUtime=1.09 /proc/1706/stat : 1706 (bsolo3.0.17) R 1704 1706 696 0 -1 4194304 5581 0 0 0 108 1 0 0 25 0 1 0 228481993 7684096 857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1706/statm: 1876 857 395 324 0 946 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 7504 Child status: 0 Real time (s): 1.13171 CPU time (s): 1.12983 CPU user time (s): 1.10883 CPU system time (s): 0.020996 CPU usage (%): 99.8338 Max. virtual memory (cumulated for all children) (KiB): 7536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.10883 system time used= 0.020996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5719 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= 12 involuntary context switches= 5 runsolver used 0.002999 second user time and 0.008998 second system time The end
Begin job on node38 on Mon Apr 30 19:59:13 UTC 2007 IDJOB= 433740 IDBENCH= 25027 IDSOLVER= 199 FILE ID= node38/433740-1177963153 PBS_JOBID= 4727702 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir06_area_partials.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433740-1177963153/instance-433740-1177963153.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-433740-1177963153 -o ROOT/results/node38/solver-433740-1177963153 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433740-1177963153/instance-433740-1177963153.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 65718755a88a1589573221eda1549993 RANDOM SEED= 590754675 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1849728 kB Buffers: 10408 kB Cached: 110392 kB SwapCached: 6428 kB Active: 74024 kB Inactive: 78496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849728 kB SwapTotal: 4192956 kB SwapFree: 4151324 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 37980 kB Slab: 38872 kB Committed_AS: 1903672 kB PageTables: 2100 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node38 on Mon Apr 30 19:59:15 UTC 2007