Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 6.68298 | 6.68405 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=19-P1=211-P2=79-B.opb |
MD5SUM | 0c673f0c3da238041c664ce1ed7ea38e |
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.378942 |
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 | 48 |
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 | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 128 |
Sum of products size (including duplicates) | 256 |
Number of different products | 128 |
Sum of products size | 256 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670768-1276706036.opb 0.00/0.00 c File size is 9361 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 176 Constr: 263 128/0/135 Lit: 1096 Watch. Lit: 678 0.00/0.00 c Obj. Vars: 8 (4.54545 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 176 263 1096 4 942 1466 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.06 c 100 176 363 7187 19 1129 1613 100 7142 0.01 0.00/0.06 c 250 176 513 16790 32 1407 1775 250 8928 0.03 0.00/0.06 c 476 176 739 30399 41 1878 1953 476 8500 0.06 0.00/0.06 o 27 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 581 176 845 36200 42 2105 1482 582 8544 0.07 0.29/0.37 c 681 176 945 41947 44 2285 1631 682 8512 0.08 0.29/0.37 c 932 167 1196 56546 47 2780 1795 933 8247 0.11 0.29/0.37 c 1408 158 1672 84379 50 3723 1975 1409 7257 0.19 0.29/0.37 c 2222 158 1424 68439 48 3236 2173 1161 6206 0.36 0.29/0.37 o 19 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 2325 158 1528 73090 47 3447 1478 1265 6283 0.37 0.29/0.37 o 7 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 2374 158 1578 75480 47 3564 1478 1315 6297 0.38 0.59/0.64 c 2474 158 1678 81849 48 3713 1626 1415 6279 0.39 0.59/0.64 c 2726 126 1930 94764 49 4253 1789 1667 6266 0.43 0.59/0.64 c 3202 126 1408 62951 44 3190 1968 1145 6030 0.53 0.59/0.64 o 3 6.60/6.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.60/6.68 c 3841 126 2048 100829 49 4479 1472 1785 5982 0.64 6.60/6.68 c 3943 126 1107 49492 44 2597 1620 844 5974 0.66 6.60/6.68 c 4193 126 1357 63332 46 3082 1783 1094 5964 0.70 6.60/6.68 c 4668 126 1832 89277 48 4043 1962 1569 5827 0.80 6.60/6.68 c 5482 105 1533 67667 44 3445 2159 1270 5801 0.94 6.60/6.68 c 6803 105 1648 80812 49 3662 2375 1385 5731 1.19 6.60/6.68 c 8885 105 2432 127106 52 5229 2613 2169 5634 1.58 6.60/6.68 c 12110 105 2807 143945 51 5985 2875 2544 5482 2.21 6.60/6.68 c 17046 105 3087 164174 53 6544 3163 2824 5134 3.32 6.60/6.68 c 24552 105 2142 101846 47 4657 3480 1879 5045 4.87 6.60/6.68 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 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 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 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 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 6.60/6.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 6.60/6.68 c 23 32636 373 34259 2866 126153 2603 4885 6.68 6.60/6.68 c Objective: 3 6.60/6.68 s OPTIMUM FOUND 6.60/6.68 c Total time: 6.68 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-2670768-1276706036/watcher-2670768-1276706036 -o /tmp/evaluation-result-2670768-1276706036/solver-2670768-1276706036 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670768-1276706036.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 0.99 3/106 16453 /proc/meminfo: memFree=1678696/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=10792 CPUtime=0 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 11895531 11051008 255 1992294400 134512640 137138936 4286985040 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 2698 255 190 642 0 2054 0 [startup+0.010456 s] /proc/loadavg: 1.00 1.00 0.99 3/106 16453 /proc/meminfo: memFree=1678696/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=10792 CPUtime=0 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 11895531 11051008 259 1992294400 134512640 137138936 4286985040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 2698 259 190 642 0 2054 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10792 [startup+0.100463 s] /proc/loadavg: 1.00 1.00 0.99 3/106 16453 /proc/meminfo: memFree=1678696/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=11436 CPUtime=0.09 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 512 0 0 0 9 0 0 0 20 0 1 0 11895531 11710464 428 1992294400 134512640 137138936 4286985040 18446744073709551615 134575245 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 2859 428 191 642 0 2215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11436 [startup+0.300481 s] /proc/loadavg: 1.00 1.00 0.99 3/106 16453 /proc/meminfo: memFree=1678696/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=12464 CPUtime=0.29 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 745 0 0 0 29 0 0 0 20 0 1 0 11895531 12763136 661 1992294400 134512640 137138936 4286985040 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3116 661 191 642 0 2472 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12464 [startup+0.700518 s] /proc/loadavg: 1.00 1.00 0.99 3/106 16453 /proc/meminfo: memFree=1678696/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=12592 CPUtime=0.69 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 780 0 0 0 68 1 0 0 20 0 1 0 11895531 12894208 696 1992294400 134512640 137138936 4286985040 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3148 696 191 642 0 2504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12592 [startup+1.50059 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16454 /proc/meminfo: memFree=1676952/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=12848 CPUtime=1.49 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 866 0 0 0 147 2 0 0 23 0 1 0 11895531 13156352 782 1992294400 134512640 137138936 4286985040 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3212 782 191 642 0 2568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12848 [startup+3.10074 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16454 /proc/meminfo: memFree=1676084/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=13236 CPUtime=3.09 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 963 0 0 0 306 3 0 0 25 0 1 0 11895531 13553664 879 1992294400 134512640 137138936 4286985040 18446744073709551615 134575767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3309 879 191 642 0 2665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13236 [startup+6.30204 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16456 /proc/meminfo: memFree=1675464/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=13724 CPUtime=6.3 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 1062 0 0 0 624 6 0 0 25 0 1 0 11895531 14053376 978 1992294400 134512640 137138936 4286985040 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3431 978 191 642 0 2787 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 13724 Solver just ended. Dumping a history of the last processes samples [startup+6.50206 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16456 /proc/meminfo: memFree=1675464/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=13724 CPUtime=6.5 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 1062 0 0 0 644 6 0 0 25 0 1 0 11895531 14053376 978 1992294400 134512640 137138936 4286985040 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3431 978 191 642 0 2787 0 Current children cumulated CPU time (s) 6.5 Current children cumulated vsize (KiB) 13724 [startup+6.60807 s] /proc/loadavg: 1.00 1.00 0.99 2/107 16456 /proc/meminfo: memFree=1675464/2059040 swapFree=4187148/4192956 [pid=16453] ppid=16451 vsize=13724 CPUtime=6.6 /proc/16453/stat : 16453 (bsolo_pb10) R 16451 16453 15619 0 -1 4202496 1062 0 0 0 654 6 0 0 25 0 1 0 11895531 14053376 978 1992294400 134512640 137138936 4286985040 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/16453/statm: 3431 978 191 642 0 2787 0 Current children cumulated CPU time (s) 6.6 Current children cumulated vsize (KiB) 13724 Child status: 0 Real time (s): 6.68405 CPU time (s): 6.68298 CPU user time (s): 6.61499 CPU system time (s): 0.067989 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 13728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.61499 system time used= 0.067989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1063 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= 1 involuntary context switches= 18 runsolver used 0.008998 second user time and 0.046992 second system time The end
Begin job on node048 at 2010-06-16 18:33:56 IDJOB=2670768 IDBENCH=48100 IDSOLVER=1163 FILE ID=node048/2670768-1276706036 PBS_JOBID= 11174096 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=19-P1=211-P2=79-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670768-1276706036/watcher-2670768-1276706036 -o /tmp/evaluation-result-2670768-1276706036/solver-2670768-1276706036 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670768-1276706036.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0c673f0c3da238041c664ce1ed7ea38e RANDOM SEED=136467118 node048.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1679472 kB Buffers: 113992 kB Cached: 144180 kB SwapCached: 280 kB Active: 103880 kB Inactive: 208156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1679472 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 3852 kB Writeback: 0 kB AnonPages: 53684 kB Mapped: 15452 kB Slab: 45640 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183216 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670768-1276706036.opb Free space on /tmp at the end= 62452 MiB End job on node048 at 2010-06-16 18:34:03