Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 164393 | 6.87295 | 6.87649 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb |
MD5SUM | ed5b5ce3af44efa2d285a6206b4187fd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 164393 |
Best CPU time to get the best result obtained on this benchmark | 0.118981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 164393 |
Optimality of the best value was proved | YES |
Number of variables | 48 |
Total number of constraints | 25 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 22495 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524314 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 22495 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 524314 |
Number of bits of the biggest sum of numbers | 20 |
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/432732-1177948376/instance-432732-1177948376.opb 0.00/0.00 c File size is 2496 bytes. 0.00/0.00 c Highest Coefficient sum: 524314 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 48 Constr: 41 16/16/9 Lit: 240 Watch. Lit: 145 0.00/0.00 c Obj. Vars: 48 (100 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 48 41 240 5 150 325 0 0 0.00 0.00/0.00 c Initial Lower Bound: 161367 0.00/0.00 c Initial Path Cost: 0 0.00/0.02 c 100 48 141 1348 9 355 358 100 20000 0.01 0.00/0.02 c 250 48 291 3518 12 664 394 250 27777 0.01 0.00/0.02 c 475 48 289 3987 13 663 434 248 29687 0.02 0.00/0.02 o 171438 0.018 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 524 48 339 4830 14 793 421 298 29111 0.02 0.09/0.19 c 624 48 439 6413 14 997 464 398 8547 0.07 0.09/0.19 o 169745 0.191 * 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 818 48 412 6012 14 976 421 371 4282 0.19 0.29/0.38 c 918 48 291 4096 14 699 464 250 3716 0.25 0.29/0.38 o 168804 0.383 * 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 1132 48 305 4282 14 758 421 264 2955 0.38 1.29/1.39 c 1232 48 427 6243 14 1003 464 386 2762 0.45 1.29/1.39 c 1482 48 449 6488 14 1014 511 408 2572 0.58 1.29/1.39 c 1959 48 319 4148 13 755 563 278 2131 0.92 1.29/1.39 o 167679 1.388 * 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 2699 48 382 5117 13 914 421 341 1944 1.39 1.39/1.47 c 2799 48 254 3274 12 624 464 213 1950 1.44 1.39/1.47 o 167610 1.469 * 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 2839 48 313 4073 13 771 421 272 1932 1.47 3.89/3.93 c 2940 48 425 5971 14 1000 464 384 1930 1.52 3.89/3.93 c 3190 48 503 7412 14 1119 511 462 1893 1.69 3.89/3.93 c 3665 48 408 6095 14 929 563 367 1927 1.90 3.89/3.93 c 4478 48 429 5980 13 972 620 388 1926 2.33 3.89/3.93 c 5798 48 507 6676 13 1130 683 466 1826 3.17 3.89/3.93 o 165789 3.927 * 5.09/5.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.12 c 6878 47 630 7773 12 1406 419 589 1751 3.93 5.09/5.12 c 6978 47 365 4403 12 844 461 324 1753 3.98 5.09/5.12 c 7228 47 399 5588 14 909 508 358 1756 4.12 5.09/5.12 c 7704 47 402 5486 13 919 559 361 1759 4.38 5.09/5.12 c 8518 44 473 4923 10 1059 615 432 1706 4.99 5.09/5.12 o 165022 5.116 * 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 8695 44 385 4237 11 910 413 344 1699 5.12 5.49/5.53 c 8796 44 290 3325 11 692 455 249 1697 5.18 5.49/5.53 c 9046 44 411 5012 12 935 501 370 1688 5.36 5.49/5.53 o 164419 5.529 * 6.79/6.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.80 c 9277 44 483 5816 12 1107 413 442 1677 5.53 6.79/6.80 c 9379 44 380 4358 11 871 455 339 1677 5.59 6.79/6.80 c 9630 44 315 3247 10 735 501 274 1654 5.82 6.79/6.80 c 10105 44 480 5457 11 1071 552 439 1638 6.17 6.79/6.80 c 10918 42 493 5266 10 1097 608 452 1618 6.75 6.79/6.80 o 164393 6.802 * 6.79/6.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.87 c 11007 42 610 6726 11 1358 409 569 1618 6.80 6.79/6.87 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 6.79/6.87 v x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 6.79/6.87 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 6.79/6.87 c 33 11091 332 11840 391 3533 350 1614 6.87 6.79/6.87 c Objective: 164393 6.79/6.87 s OPTIMUM FOUND 6.79/6.87 c Total time: 6.868 s
OK 164393
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-432732-1177948376 -o ROOT/results/node63/solver-432732-1177948376 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432732-1177948376/instance-432732-1177948376.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.91 0.97 0.90 3/64 13636 /proc/meminfo: memFree=1851716/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=19548 CPUtime=0 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 270827584 20017152 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3257708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 4887 350 297 324 0 3957 0 [startup+0.0505451 s] /proc/loadavg: 0.91 0.97 0.90 3/64 13636 /proc/meminfo: memFree=1851716/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12260 CPUtime=0.03 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 1732 0 0 0 3 0 0 0 18 0 1 0 270827584 12554240 561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3065 561 392 324 0 2135 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12260 [startup+0.101549 s] /proc/loadavg: 0.91 0.97 0.90 3/64 13636 /proc/meminfo: memFree=1851716/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12736 CPUtime=0.09 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 3252 0 0 0 8 1 0 0 18 0 1 0 270827584 13041664 625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316006 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3184 625 392 324 0 2254 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12736 [startup+0.301569 s] /proc/loadavg: 0.91 0.97 0.90 3/64 13636 /proc/meminfo: memFree=1851716/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12736 CPUtime=0.29 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 3275 0 0 0 28 1 0 0 19 0 1 0 270827584 13041664 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135332298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3184 633 393 324 0 2254 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12736 [startup+0.701611 s] /proc/loadavg: 0.91 0.97 0.90 3/64 13636 /proc/meminfo: memFree=1851716/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12736 CPUtime=0.69 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 3643 0 0 0 68 1 0 0 22 0 1 0 270827584 13041664 641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3184 641 393 324 0 2254 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12736 [startup+1.5017 s] /proc/loadavg: 0.91 0.97 0.90 2/65 13637 /proc/meminfo: memFree=1850620/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12736 CPUtime=1.49 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 6202 0 0 0 145 4 0 0 25 0 1 0 270827584 13041664 642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3224 643 393 324 0 2294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12736 [startup+3.10187 s] /proc/loadavg: 0.91 0.97 0.90 2/65 13637 /proc/meminfo: memFree=1850492/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12732 CPUtime=3.09 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 12918 0 0 0 298 11 0 0 25 0 1 0 270827584 13037568 649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3224 650 393 324 0 2294 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12732 [startup+6.3012 s] /proc/loadavg: 0.92 0.97 0.90 2/65 13637 /proc/meminfo: memFree=1850300/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12896 CPUtime=6.29 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 28276 0 0 0 603 26 0 0 25 0 1 0 270827584 13205504 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3183 653 393 324 0 2253 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12896 Solver just ended. Dumping a history of the last processes samples [startup+6.70124 s] /proc/loadavg: 0.92 0.97 0.90 2/65 13637 /proc/meminfo: memFree=1850300/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12896 CPUtime=6.69 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 29948 0 0 0 642 27 0 0 25 0 1 0 270827584 13205504 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3224 654 393 324 0 2294 0 Current children cumulated CPU time (s) 6.69 Current children cumulated vsize (KiB) 12896 [startup+6.80125 s] /proc/loadavg: 0.92 0.97 0.90 2/65 13637 /proc/meminfo: memFree=1850300/2055920 swapFree=4182900/4192956 [pid=13636] ppid=13634 vsize=12896 CPUtime=6.79 /proc/13636/stat : 13636 (bsolo3.0.17) R 13634 13636 13080 0 -1 4194304 30362 0 0 0 651 28 0 0 25 0 1 0 270827584 13205504 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13636/statm: 3224 654 393 324 0 2294 0 Current children cumulated CPU time (s) 6.79 Current children cumulated vsize (KiB) 12896 Child status: 0 Real time (s): 6.87649 CPU time (s): 6.87295 CPU user time (s): 6.588 CPU system time (s): 0.284956 CPU usage (%): 99.9485 Max. virtual memory (cumulated for all children) (KiB): 12904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.588 system time used= 0.284956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30669 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= 20 runsolver used 0.009998 second user time and 0.017997 second system time The end
Begin job on node63 on Mon Apr 30 15:52:57 UTC 2007 IDJOB= 432732 IDBENCH= 1733 IDSOLVER= 199 FILE ID= node63/432732-1177948376 PBS_JOBID= 4727808 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432732-1177948376/instance-432732-1177948376.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-432732-1177948376 -o ROOT/results/node63/solver-432732-1177948376 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432732-1177948376/instance-432732-1177948376.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ed5b5ce3af44efa2d285a6206b4187fd RANDOM SEED= 750135990 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1852124 kB Buffers: 11652 kB Cached: 114232 kB SwapCached: 3860 kB Active: 40404 kB Inactive: 97212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852124 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 6580 kB Writeback: 0 kB Mapped: 17664 kB Slab: 52124 kB Committed_AS: 2344124 kB PageTables: 1464 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 node63 on Mon Apr 30 15:53:04 UTC 2007