Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 1.08383 | 1.08425 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb |
MD5SUM | 6b89f4f008f41d9515b4e0d45a9d302b |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.202968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 42 |
Total number of constraints | 5 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 98 |
Sum of products size (including duplicates) | 196 |
Number of different products | 98 |
Sum of products size | 196 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876608-1245188300.opb 0.00/0.00 c File size is 7140 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 140 Constr: 203 98/0/105 Lit: 847 Watch. Lit: 528 0.00/0.00 c Obj. Vars: 7 (5 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 140 203 847 4 727 1138 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.09/0.16 c 105 140 358 6493 18 1099 1252 155 6562 0.02 0.09/0.16 c 255 140 546 13857 25 1523 1378 343 7727 0.03 0.09/0.16 c 480 140 876 25603 29 2356 1516 673 7619 0.06 0.09/0.16 c 819 140 1264 42607 33 3182 1668 1061 7312 0.11 0.09/0.16 o 37 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 1132 140 1673 58229 34 4127 1152 1470 6819 0.17 0.09/0.17 o 27 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 1189 140 871 29673 34 2120 1152 668 6717 0.18 0.39/0.45 c 1289 132 1025 34739 33 2491 1268 822 6713 0.19 0.39/0.45 c 1539 122 1377 47255 34 3308 1395 1174 6576 0.23 0.39/0.45 c 2014 122 1258 42453 33 2972 1535 1055 6313 0.32 0.39/0.45 o 7 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 2705 122 1369 44972 32 3234 1148 1166 5971 0.45 0.69/0.76 c 2805 114 885 28231 31 2076 1263 682 5980 0.47 0.69/0.76 c 3055 113 1186 40841 34 2750 1390 983 5978 0.51 0.69/0.76 c 3531 113 1016 35551 34 2331 1530 813 5855 0.60 0.69/0.76 c 4344 103 1091 38649 35 2491 1684 888 5807 0.75 0.69/0.76 o 5 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 4431 103 1199 42066 35 2754 1144 996 5822 0.76 0.69/0.77 c 4531 102 1307 45555 34 2965 1259 1104 5838 0.78 0.69/0.77 o 3 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 4532 102 1309 45597 34 2981 1144 1106 5832 0.78 1.00/1.08 c 4634 94 783 23913 30 1866 1259 580 5821 0.80 1.00/1.08 c 4884 83 1121 34728 30 2641 1385 918 5835 0.84 1.00/1.08 c 5359 83 937 28150 30 2185 1524 734 5731 0.94 1.00/1.08 c 6172 66 983 27225 27 2247 1677 780 5762 1.07 1.00/1.08 v x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 -x19 -x20 -x21 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 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 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 -x36 -x37 -x38 -x39 -x40 -x41 -x42 1.00/1.08 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1.00/1.08 c 21 6238 137 7160 1055 28781 852 5770 1.08 1.00/1.08 c Objective: 3 1.00/1.08 s OPTIMUM FOUND 1.00/1.08 c Total time: 1.081 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876608-1245188300/watcher-1876608-1245188300 -o /tmp/evaluation-result-1876608-1245188300/solver-1876608-1245188300 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876608-1245188300.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=10708 CPUtime=0 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 186430152 10964992 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2677 250 197 640 0 2033 0 [startup+0.016814 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=10708 CPUtime=0.01 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 289 0 0 0 1 0 0 0 18 0 1 0 186430152 10964992 271 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2677 271 197 640 0 2033 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10708 [startup+0.101823 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=11228 CPUtime=0.09 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 186430152 11497472 402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2807 402 198 640 0 2163 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11228 [startup+0.301841 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=11612 CPUtime=0.29 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 186430152 11890688 478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2903 478 198 640 0 2259 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11612 [startup+0.70188 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=11612 CPUtime=0.69 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 512 0 0 0 69 0 0 0 22 0 1 0 186430152 11890688 494 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2903 494 198 640 0 2259 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11612 Solver just ended. Dumping a history of the last processes samples [startup+0.901899 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4410 /proc/meminfo: memFree=1897104/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=11740 CPUtime=0.89 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 533 0 0 0 88 1 0 0 24 0 1 0 186430152 12021760 515 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2935 515 198 640 0 2291 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 11740 [startup+1.00191 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4411 /proc/meminfo: memFree=1895816/2055920 swapFree=4181652/4192956 [pid=4410] ppid=4408 vsize=11740 CPUtime=1 /proc/4410/stat : 4410 (bsolo) R 4408 4410 3959 0 -1 4194304 533 0 0 0 99 1 0 0 25 0 1 0 186430152 12021760 515 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4410/statm: 2935 515 198 640 0 2291 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 11740 Child status: 0 Real time (s): 1.08425 CPU time (s): 1.08383 CPU user time (s): 1.07084 CPU system time (s): 0.012998 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 11740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.07084 system time used= 0.012998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 535 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= 2 runsolver used 0.003999 second user time and 0.010998 second system time The end
Begin job on node18 at 2009-06-16 23:38:20 IDJOB=1876608 IDBENCH=48018 IDSOLVER=699 FILE ID=node18/1876608-1245188300 PBS_JOBID= 9363939 Free space on /tmp= 66172 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=23-P1=29-P2=43-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876608-1245188300/watcher-1876608-1245188300 -o /tmp/evaluation-result-1876608-1245188300/solver-1876608-1245188300 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876608-1245188300.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6b89f4f008f41d9515b4e0d45a9d302b RANDOM SEED=1899353921 node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1897592 kB Buffers: 44248 kB Cached: 69688 kB SwapCached: 5540 kB Active: 59552 kB Inactive: 62276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1897592 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 4224 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22544 kB Committed_AS: 154816 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876608-1245188300.opb Free space on /tmp at the end= 66168 MiB End job on node18 at 2009-06-16 23:38:21