Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -22 | 181.565 | 181.628 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb |
MD5SUM | 597624b9879736416e28e0a242fe0005 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -26 |
Best CPU time to get the best result obtained on this benchmark | 1789.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 630 |
Sum of products size | 1260 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702468-1278568193.opb. 0.00/0.00 c Instance file HOME/instance-2702468-1278568193.opb 0.00/0.00 c File size is 49758 bytes. 0.00/0.00 c Highest Coefficient sum: 20 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 730 | 0.00/0.00 c | Number Clauses: 630 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 630 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1460 3028 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 100 0.00/0.01 o 100 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1461 3128 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 99 0.00/0.01 o 99 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1462 3228 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 98 0.00/0.01 o 98 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1463 3328 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 97 0.00/0.01 o 97 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 100 1464 3428 | 5000 1 98 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 96 0.00/0.01 o 96 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 100 1465 3528 | 5000 4 98 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 95 0.00/0.01 o 95 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 6 | 100 1466 3628 | 5000 6 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 94 0.00/0.01 o 94 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 8 | 100 1467 3728 | 5000 8 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 93 0.00/0.01 o 93 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 11 | 100 1468 3828 | 5000 11 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 92 0.00/0.01 o 92 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 48 | 100 1469 3928 | 5000 48 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 91 0.00/0.01 o 91 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 57 | 100 1470 4028 | 5000 57 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 90 0.00/0.01 o 90 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 75 | 100 1471 4128 | 5000 75 94 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 89 0.00/0.02 o 89 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 106 | 100 1472 4228 | 5000 106 94 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 88 0.00/0.02 o 88 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 170 | 100 1473 4328 | 5000 170 93 | 0.000 % | 0.00/0.03 c | 271 | 100 1473 4328 | 5500 271 92 | 86.302 % | 0.03/0.04 c | 421 | 100 1473 4328 | 6050 421 92 | 86.302 % | 0.03/0.04 c =============================================================================== 0.03/0.04 c New solution: 87 0.03/0.04 o 87 0.03/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.03/0.04 c =============================================================================== 0.03/0.04 c | 501 | 100 1474 4428 | 5000 501 91 | 86.302 % | 0.03/0.05 c | 601 | 100 1474 4428 | 5500 601 92 | 86.302 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c New solution: 86 0.03/0.06 o 86 0.03/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.03/0.06 c =============================================================================== 0.03/0.06 c | 663 | 100 1475 4528 | 5000 663 93 | 86.302 % | 0.03/0.06 c | 763 | 100 1475 4528 | 5500 763 92 | 86.302 % | 0.03/0.07 c | 915 | 100 1475 4528 | 6050 915 91 | 86.302 % | 0.09/0.10 c | 1140 | 100 1475 4528 | 6655 1140 91 | 86.302 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 85 0.09/0.12 o 85 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1340 | 100 1476 4628 | 5000 1340 91 | 86.302 % | 0.09/0.13 c | 1440 | 100 1476 4628 | 5500 1440 90 | 86.302 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 84 0.09/0.13 o 84 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 1478 | 100 1477 4728 | 5000 1478 90 | 86.302 % | 0.09/0.14 c | 1580 | 100 1477 4728 | 5500 1580 90 | 86.302 % | 0.09/0.15 c | 1730 | 100 1477 4728 | 6050 1730 90 | 86.302 % | 0.09/0.19 c | 1957 | 100 1477 4728 | 6655 1957 90 | 86.302 % | 0.19/0.26 c | 2294 | 100 1477 4728 | 7320 2294 92 | 86.302 % | 0.29/0.36 c | 2800 | 100 1477 4728 | 8052 2800 91 | 86.302 % | 0.50/0.56 c | 3561 | 100 1477 4728 | 8857 3561 91 | 86.302 % | 0.69/0.73 c | 4700 | 100 1477 4728 | 9743 4700 90 | 86.302 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: 83 1.00/1.00 o 83 1.00/1.00 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 5624 | 100 1478 4828 | 5000 5624 89 | 86.302 % | 1.00/1.07 c | 5725 | 100 1478 4828 | 5500 2871 87 | 86.302 % | 1.00/1.09 c | 5876 | 100 1478 4828 | 6050 3022 87 | 86.302 % | 1.09/1.13 c | 6102 | 100 1478 4828 | 6655 3248 88 | 86.302 % | 1.19/1.20 c | 6442 | 100 1478 4828 | 7320 3588 89 | 86.302 % | 1.30/1.33 c | 6948 | 100 1478 4828 | 8052 4094 89 | 86.302 % | 1.49/1.54 c | 7709 | 100 1478 4828 | 8857 4855 88 | 86.302 % | 1.79/1.88 c | 8848 | 100 1478 4828 | 9743 5994 88 | 86.302 % | 2.39/2.43 c | 10559 | 100 1478 4828 | 10717 7705 88 | 86.302 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c New solution: 82 3.30/3.32 o 82 3.30/3.32 c Elapsed CPU time: 3.2805 s Remaining CPU time: 176.719 s 3.30/3.32 c =============================================================================== 3.30/3.32 c | 12619 | 100 1479 4928 | 5000 9765 93 | 86.302 % | 3.39/3.40 c | 12721 | 100 1479 4928 | 5500 4985 100 | 86.302 % | 3.39/3.45 c | 12871 | 100 1479 4928 | 6050 5135 101 | 86.302 % | 3.49/3.52 c | 13097 | 100 1479 4928 | 6655 5361 102 | 86.302 % | 3.59/3.61 c | 13436 | 100 1479 4928 | 7320 5700 104 | 86.302 % | 3.79/3.84 c | 13943 | 100 1479 4928 | 8052 6207 105 | 86.302 % | 4.09/4.19 c | 14703 | 100 1479 4928 | 8857 6967 105 | 86.302 % | 4.69/4.74 c | 15844 | 100 1479 4928 | 9743 8108 102 | 86.302 % | 4.89/4.97 c =============================================================================== 4.89/4.97 c New solution: 81 4.89/4.97 o 81 4.89/4.97 c Elapsed CPU time: 4.92925 s Remaining CPU time: 175.071 s 4.89/4.97 c =============================================================================== 4.89/4.97 c | 16403 | 100 1480 5028 | 5000 8667 101 | 86.302 % | 4.99/5.03 c | 16503 | 100 1480 5028 | 5500 4434 106 | 86.302 % | 4.99/5.08 c | 16655 | 100 1480 5028 | 6050 4586 106 | 86.302 % | 5.09/5.16 c | 16883 | 100 1480 5028 | 6655 4814 106 | 86.302 % | 5.19/5.25 c | 17220 | 100 1480 5028 | 7320 5151 106 | 86.302 % | 5.29/5.39 c | 17727 | 100 1480 5028 | 8052 5658 106 | 86.302 % | 5.50/5.59 c =============================================================================== 5.50/5.59 c New solution: 80 5.50/5.59 o 80 5.50/5.59 c Elapsed CPU time: 5.53116 s Remaining CPU time: 174.469 s 5.50/5.59 c =============================================================================== 5.50/5.59 c | 18203 | 100 1481 5128 | 5000 6134 107 | 86.302 % | 5.59/5.64 c | 18306 | 100 1481 5128 | 5500 3170 101 | 86.302 % | 5.59/5.68 c | 18457 | 100 1481 5128 | 6050 3321 103 | 86.302 % | 5.69/5.75 c | 18684 | 100 1481 5128 | 6655 3548 105 | 86.302 % | 5.79/5.81 c | 19024 | 100 1481 5128 | 7320 3888 106 | 86.302 % | 5.89/5.92 c | 19531 | 100 1481 5128 | 8052 4395 109 | 86.302 % | 5.99/6.08 c | 20291 | 100 1481 5128 | 8857 5155 113 | 86.302 % | 6.39/6.47 c | 21430 | 100 1481 5128 | 9743 6294 108 | 86.302 % | 7.09/7.12 c =============================================================================== 7.09/7.12 c New solution: 79 7.09/7.12 o 79 7.09/7.12 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s 7.09/7.12 c =============================================================================== 7.09/7.12 c | 22831 | 100 1482 5228 | 5000 7695 103 | 86.302 % | 7.09/7.17 c | 22931 | 100 1482 5228 | 5500 3948 102 | 86.302 % | 7.19/7.21 c | 23081 | 100 1482 5228 | 6050 4098 103 | 86.302 % | 7.19/7.26 c | 23308 | 100 1482 5228 | 6655 4325 103 | 86.302 % | 7.29/7.32 c | 23645 | 100 1482 5228 | 7320 4662 103 | 86.302 % | 7.39/7.40 c | 24151 | 100 1482 5228 | 8052 5168 101 | 86.302 % | 7.60/7.63 c | 24911 | 100 1482 5228 | 8857 5928 99 | 86.302 % | 7.98/8.05 c | 26050 | 100 1482 5228 | 9743 7067 97 | 86.302 % | 8.49/8.56 c | 27759 | 100 1482 5228 | 10717 8776 95 | 86.302 % | 9.49/9.52 c | 30321 | 100 1482 5228 | 11789 11338 93 | 86.302 % | 10.78/10.82 c | 34167 | 100 1482 5228 | 12968 8934 86 | 86.302 % | 12.29/12.33 c | 39937 | 100 1482 5228 | 14265 7865 85 | 86.302 % | 15.48/15.53 c | 48590 | 100 1482 5228 | 15692 9030 101 | 86.302 % | 21.59/21.69 c | 61565 | 100 1482 5228 | 17261 13804 90 | 86.302 % | 32.98/33.07 c | 81030 | 100 1482 5228 | 18987 15303 109 | 86.302 % | 45.87/45.94 c =============================================================================== 45.87/45.94 c New solution: 78 45.87/45.94 o 78 45.87/45.94 c Elapsed CPU time: 45.5771 s Remaining CPU time: 134.423 s 45.87/45.94 c =============================================================================== 45.87/45.94 c | 103262 | 100 1483 5328 | 5000 17840 109 | 86.302 % | 46.18/46.26 c | 103365 | 100 1483 5328 | 5500 4563 85 | 86.302 % | 46.27/46.30 c | 103516 | 100 1483 5328 | 6050 4714 85 | 86.302 % | 46.27/46.37 c | 103742 | 100 1483 5328 | 6655 4940 86 | 86.302 % | 46.37/46.49 c | 104079 | 100 1483 5328 | 7320 5277 86 | 86.302 % | 46.47/46.56 c | 104587 | 100 1483 5328 | 8052 5785 86 | 86.302 % | 46.78/46.84 c | 105349 | 100 1483 5328 | 8857 6547 86 | 86.302 % | 46.97/47.05 c | 106490 | 100 1483 5328 | 9743 7688 85 | 86.302 % | 47.67/47.77 c | 108198 | 100 1483 5328 | 10717 9396 86 | 86.302 % | 48.97/49.09 c | 110760 | 100 1483 5328 | 11789 6248 87 | 86.302 % | 50.37/50.42 c | 114604 | 100 1483 5328 | 12968 10092 87 | 86.302 % | 53.07/53.20 c | 120370 | 100 1483 5328 | 14265 9021 87 | 86.302 % | 56.37/56.46 c | 129021 | 100 1483 5328 | 15692 10188 84 | 86.302 % | 62.68/62.77 c | 141997 | 100 1483 5328 | 17261 14963 94 | 86.302 % | 74.17/74.21 c | 161460 | 100 1483 5328 | 18987 16457 103 | 86.302 % | 88.96/89.08 c | 190653 | 100 1483 5328 | 20886 16107 98 | 86.302 % | 115.65/115.78 c | 234445 | 100 1483 5328 | 22974 16183 106 | 86.302 % | 156.54/156.61 c | 300130 | 100 1483 5328 | 25272 17289 129 | 86.302 % | 181.13/181.28 c There are 630 assigned variables. 0 in cost function. 181.53/181.61 c core #1 181.53/181.61 c #cores: 1 181.53/181.61 c Final Weight: 78 181.53/181.61 o 78 181.53/181.61 s OPTIMUM FOUND 181.53/181.61 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 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 181.53/181.61 c Total CPU time: 180.33 s
OK -22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702468-1278568193/watcher-2702468-1278568193 -o /tmp/evaluation-result-2702468-1278568193/solver-2702468-1278568193 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702468-1278568193.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/106 29324 /proc/meminfo: memFree=1687112/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=2756 CPUtime=0 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 25031139 2822144 238 1992294400 134512640 135751879 4287895328 18446744073709551615 134560582 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 689 239 147 303 0 371 0 [startup+0.039334 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29324 /proc/meminfo: memFree=1687112/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=2920 CPUtime=0.03 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 401 0 0 0 3 0 0 0 18 0 1 0 25031139 2990080 305 1992294400 134512640 135751879 4287895328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 730 305 147 303 0 425 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2920 [startup+0.101345 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29324 /proc/meminfo: memFree=1687112/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=3308 CPUtime=0.09 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 490 0 0 0 9 0 0 0 18 0 1 0 25031139 3387392 394 1992294400 134512640 135751879 4287895328 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 827 394 147 303 0 522 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3308 [startup+0.301379 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29324 /proc/meminfo: memFree=1687112/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=3964 CPUtime=0.29 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 661 0 0 0 29 0 0 0 18 0 1 0 25031139 4059136 565 1992294400 134512640 135751879 4287895328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 991 565 147 303 0 686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3964 [startup+0.701447 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29324 /proc/meminfo: memFree=1687112/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=4872 CPUtime=0.69 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 892 0 0 0 68 1 0 0 18 0 1 0 25031139 4988928 796 1992294400 134512640 135751879 4287895328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 1218 796 147 303 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50158 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29325 /proc/meminfo: memFree=1684128/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=6452 CPUtime=1.49 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 1283 0 0 0 147 2 0 0 19 0 1 0 25031139 6606848 1187 1992294400 134512640 135751879 4287895328 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 1613 1187 148 303 0 1308 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6452 [startup+3.10086 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29325 /proc/meminfo: memFree=1682020/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=8792 CPUtime=3.09 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 1854 0 0 0 306 3 0 0 23 0 1 0 25031139 9003008 1758 1992294400 134512640 135751879 4287895328 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 2198 1758 148 303 0 1893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8792 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29325 /proc/meminfo: memFree=1677556/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=13624 CPUtime=6.29 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 3067 0 0 0 623 6 0 0 25 0 1 0 25031139 13950976 2971 1992294400 134512640 135751879 4287895328 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 3406 2971 148 303 0 3101 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13624 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29325 /proc/meminfo: memFree=1667388/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=22852 CPUtime=12.69 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 5369 0 0 0 1257 12 0 0 25 0 1 0 25031139 23400448 5273 1992294400 134512640 135751879 4287895328 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 5713 5273 148 303 0 5408 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22852 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29325 /proc/meminfo: memFree=1652508/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=37212 CPUtime=25.48 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 8937 0 0 0 2526 22 0 0 25 0 1 0 25031139 38105088 8841 1992294400 134512640 135751879 4287895328 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 9303 8841 148 303 0 8998 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37212 [startup+51.101 s] /proc/loadavg: 1.06 1.02 1.00 2/107 29325 /proc/meminfo: memFree=1629444/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=60424 CPUtime=51.07 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 14719 0 0 0 5067 40 0 0 25 0 1 0 25031139 61874176 14623 1992294400 134512640 135751879 4287895328 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 15106 14623 148 303 0 14801 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60424 [startup+102.309 s] /proc/loadavg: 1.08 1.03 1.00 2/107 29327 /proc/meminfo: memFree=1580588/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=108452 CPUtime=102.27 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 26723 0 0 0 10154 73 0 0 25 0 1 0 25031139 111054848 26627 1992294400 134512640 135751879 4287895328 18446744073709551615 134616861 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 27113 26627 148 303 0 26808 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 108452 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 29329 /proc/meminfo: memFree=1526028/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=163520 CPUtime=162.23 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 40469 0 0 0 16112 111 0 0 25 0 1 0 25031139 167444480 40373 1992294400 134512640 135751879 4287895328 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 40880 40373 148 303 0 40575 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 163520 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 29329 /proc/meminfo: memFree=1520696/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=168424 CPUtime=166.23 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 41685 0 0 0 16509 114 0 0 25 0 1 0 25031139 172466176 41589 1992294400 134512640 135751879 4287895328 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 42106 41589 148 303 0 41801 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 168424 [startup+172.709 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1518588/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=170476 CPUtime=172.64 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 42192 0 0 0 17148 116 0 0 25 0 1 0 25031139 174567424 42096 1992294400 134512640 135751879 4287895328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 42619 42096 148 303 0 42314 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 170476 [startup+175.9 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1515612/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=173472 CPUtime=175.84 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 42934 0 0 0 17465 119 0 0 25 0 1 0 25031139 177635328 42838 1992294400 134512640 135751879 4287895328 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 43368 42838 148 303 0 43063 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 173472 [startup+179.102 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1512636/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=177072 CPUtime=179.03 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 43824 0 0 0 17782 121 0 0 25 0 1 0 25031139 181321728 43728 1992294400 134512640 135751879 4287895328 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 44268 43728 148 303 0 43963 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 177072 [startup+180.701 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1511768/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=177584 CPUtime=180.63 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 43970 0 0 0 17942 121 0 0 25 0 1 0 25031139 181846016 43874 1992294400 134512640 135751879 4287895328 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 44396 43874 148 303 0 44091 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 177584 [startup+181.101 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1511768/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=177840 CPUtime=181.03 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 44043 0 0 0 17982 121 0 0 25 0 1 0 25031139 182108160 43947 1992294400 134512640 135751879 4287895328 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 44460 43947 148 303 0 44155 0 Current children cumulated CPU time (s) 181.03 Current children cumulated vsize (KiB) 177840 [startup+181.508 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1510900/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=178232 CPUtime=181.43 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 44112 0 0 0 18022 121 0 0 25 0 1 0 25031139 182509568 44016 1992294400 134512640 135751879 4287895328 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 44558 44016 149 303 0 44253 0 Current children cumulated CPU time (s) 181.43 Current children cumulated vsize (KiB) 178232 [startup+181.601 s] /proc/loadavg: 1.07 1.03 1.00 2/107 29329 /proc/meminfo: memFree=1510900/2059040 swapFree=4151252/4192956 [pid=29324] ppid=29322 vsize=178232 CPUtime=181.53 /proc/29324/stat : 29324 (wbo1.4b) R 29322 29324 28554 0 -1 4202496 44112 0 0 0 18032 121 0 0 25 0 1 0 25031139 182509568 44016 1992294400 134512640 135751879 4287895328 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29324/statm: 44558 44016 149 303 0 44253 0 Current children cumulated CPU time (s) 181.53 Current children cumulated vsize (KiB) 178232 Child status: 0 Real time (s): 181.628 CPU time (s): 181.565 CPU user time (s): 180.33 CPU system time (s): 1.23581 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 178232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.33 system time used= 1.23581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44116 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= 7 involuntary context switches= 333 runsolver used 0.32495 second user time and 0.84987 second system time The end
Begin job on node025 at 2010-07-08 07:49:53 IDJOB=2702468 IDBENCH=48169 IDSOLVER=1161 FILE ID=node025/2702468-1278568193 PBS_JOBID= 11239573 Free space on /tmp= 62516 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702468-1278568193/watcher-2702468-1278568193 -o /tmp/evaluation-result-2702468-1278568193/solver-2702468-1278568193 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702468-1278568193.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 597624b9879736416e28e0a242fe0005 RANDOM SEED=185061030 node025.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.264 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.52 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.264 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: 1687888 kB Buffers: 72116 kB Cached: 200740 kB SwapCached: 4972 kB Active: 146092 kB Inactive: 150552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1687888 kB SwapTotal: 4192956 kB SwapFree: 4151252 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 18892 kB Mapped: 12516 kB Slab: 52576 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179276 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-2702468-1278568193.opb Free space on /tmp at the end= 62516 MiB End job on node025 at 2010-07-08 07:52:55