Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -22 | 181.552 | 181.615 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
MD5SUM | fac2f381943513d71e556a5764721ca3 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 1688.21 |
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 | 18 |
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) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 624 |
Sum of products size | 1248 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702566-1278570223.opb. 0.00/0.00 c Instance file HOME/instance-2702566-1278570223.opb 0.00/0.00 c File size is 49316 bytes. 0.00/0.00 c Highest Coefficient sum: 18 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: 724 | 0.00/0.00 c | Number Clauses: 624 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 624 | 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 1448 2978 | 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.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1449 3078 | 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.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1450 3178 | 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.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1451 3278 | 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.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1452 3378 | 5000 0 nan | 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.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 100 1453 3478 | 5000 2 97 | 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.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 100 1454 3578 | 5000 3 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.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 100 1455 3678 | 5000 4 96 | 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.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 100 1456 3778 | 5000 4 96 | 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.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 14 | 100 1457 3878 | 5000 14 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.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 18 | 100 1458 3978 | 5000 18 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.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 40 | 100 1459 4078 | 5000 40 94 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 89 0.00/0.01 o 89 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 | 75 | 100 1460 4178 | 5000 75 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.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 132 | 100 1461 4278 | 5000 132 93 | 0.000 % | 0.00/0.02 c | 232 | 100 1461 4278 | 5500 232 92 | 86.188 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 87 0.00/0.03 o 87 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 338 | 100 1462 4378 | 5000 338 91 | 86.188 % | 0.00/0.04 c | 439 | 100 1462 4378 | 5500 439 91 | 86.188 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 86 0.00/0.05 o 86 0.00/0.05 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 556 | 100 1463 4478 | 5000 556 91 | 86.188 % | 0.00/0.05 c | 656 | 100 1463 4478 | 5500 656 91 | 86.188 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 85 0.00/0.06 o 85 0.00/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 704 | 100 1464 4578 | 5000 704 91 | 86.188 % | 0.00/0.07 c | 807 | 100 1464 4578 | 5500 807 91 | 86.188 % | 0.00/0.09 c | 958 | 100 1464 4578 | 6050 958 92 | 86.188 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 84 0.09/0.11 o 84 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1101 | 100 1465 4678 | 5000 1101 92 | 86.188 % | 0.09/0.13 c | 1201 | 100 1465 4678 | 5500 1201 93 | 86.188 % | 0.09/0.15 c | 1351 | 100 1465 4678 | 6050 1351 93 | 86.188 % | 0.09/0.18 c | 1577 | 100 1465 4678 | 6655 1577 92 | 86.188 % | 0.19/0.22 c | 1914 | 100 1465 4678 | 7320 1914 93 | 86.188 % | 0.19/0.29 c | 2422 | 100 1465 4678 | 8052 2422 93 | 86.188 % | 0.39/0.43 c | 3181 | 100 1465 4678 | 8857 3181 92 | 86.188 % | 0.69/0.75 c | 4321 | 100 1465 4678 | 9743 4321 90 | 86.188 % | 0.99/1.08 c | 6031 | 100 1465 4678 | 10717 6031 89 | 86.188 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c New solution: 83 1.29/1.35 o 83 1.29/1.35 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s 1.29/1.35 c =============================================================================== 1.29/1.35 c | 6961 | 100 1466 4778 | 5000 6961 89 | 86.188 % | 1.39/1.42 c | 7065 | 100 1466 4778 | 5500 3585 87 | 86.188 % | 1.39/1.46 c | 7217 | 100 1466 4778 | 6050 3737 87 | 86.188 % | 1.49/1.51 c | 7444 | 100 1466 4778 | 6655 3964 88 | 86.188 % | 1.59/1.60 c | 7781 | 100 1466 4778 | 7320 4301 88 | 86.188 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c New solution: 82 1.69/1.72 o 82 1.69/1.72 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s 1.69/1.72 c =============================================================================== 1.69/1.72 c | 8238 | 100 1467 4878 | 5000 4758 88 | 86.188 % | 1.69/1.74 c | 8338 | 100 1467 4878 | 5500 4858 88 | 86.188 % | 1.69/1.77 c | 8488 | 100 1467 4878 | 6050 5008 88 | 86.188 % | 1.79/1.83 c | 8713 | 100 1467 4878 | 6655 5233 88 | 86.188 % | 1.89/1.95 c | 9053 | 100 1467 4878 | 7320 5573 87 | 86.188 % | 1.99/2.09 c | 9559 | 100 1467 4878 | 8052 6079 87 | 86.188 % | 2.09/2.18 c | 10319 | 100 1467 4878 | 8857 6839 87 | 86.188 % | 2.39/2.49 c | 11458 | 100 1467 4878 | 9743 7978 87 | 86.188 % | 2.89/2.98 c | 13166 | 100 1467 4878 | 10717 9686 88 | 86.188 % | 3.69/3.74 c | 15728 | 100 1467 4878 | 11789 6542 91 | 86.188 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c New solution: 81 3.99/4.06 o 81 3.99/4.06 c Elapsed CPU time: 4.00839 s Remaining CPU time: 175.992 s 3.99/4.06 c =============================================================================== 3.99/4.06 c | 17089 | 100 1468 4978 | 5000 7903 90 | 86.188 % | 4.09/4.12 c | 17191 | 100 1468 4978 | 5500 4054 91 | 86.188 % | 4.09/4.14 c | 17341 | 100 1468 4978 | 6050 4204 92 | 86.188 % | 4.09/4.19 c | 17567 | 100 1468 4978 | 6655 4430 91 | 86.188 % | 4.19/4.26 c | 17904 | 100 1468 4978 | 7320 4767 91 | 86.188 % | 4.29/4.39 c | 18410 | 100 1468 4978 | 8052 5273 90 | 86.188 % | 4.49/4.51 c =============================================================================== 4.49/4.51 c New solution: 80 4.49/4.51 o 80 4.49/4.51 c Elapsed CPU time: 4.45832 s Remaining CPU time: 175.542 s 4.49/4.51 c =============================================================================== 4.49/4.51 c | 19020 | 100 1469 5078 | 5000 5883 90 | 86.188 % | 4.49/4.57 c | 19122 | 100 1469 5078 | 5500 3044 87 | 86.188 % | 4.49/4.58 c | 19272 | 100 1469 5078 | 6050 3194 87 | 86.188 % | 4.58/4.62 c | 19498 | 100 1469 5078 | 6655 3420 88 | 86.188 % | 4.58/4.69 c | 19838 | 100 1469 5078 | 7320 3760 87 | 86.188 % | 4.69/4.79 c | 20346 | 100 1469 5078 | 8052 4268 87 | 86.188 % | 4.89/4.96 c | 21106 | 100 1469 5078 | 8857 5028 88 | 86.188 % | 5.19/5.26 c | 22246 | 100 1469 5078 | 9743 6168 92 | 86.188 % | 5.50/5.56 c | 23954 | 100 1469 5078 | 10717 7876 90 | 86.188 % | 5.89/5.92 c | 26519 | 100 1469 5078 | 11789 10441 88 | 86.188 % | 7.49/7.55 c | 30367 | 100 1469 5078 | 12968 8041 84 | 86.188 % | 11.88/11.94 c | 36134 | 100 1469 5078 | 14265 6972 87 | 86.188 % | 16.29/16.34 c | 44784 | 100 1469 5078 | 15692 8136 85 | 86.188 % | 20.89/20.92 c | 57759 | 100 1469 5078 | 17261 12912 84 | 86.188 % | 27.88/27.99 c | 77223 | 100 1469 5078 | 18987 14412 84 | 86.188 % | 37.08/37.16 c | 106417 | 100 1469 5078 | 20886 14069 84 | 86.188 % | 63.78/63.85 c | 150207 | 100 1469 5078 | 22974 14144 84 | 86.188 % | 110.66/110.70 c | 215892 | 100 1469 5078 | 25272 15183 84 | 86.188 % | 113.05/113.12 c =============================================================================== 113.05/113.12 c New solution: 79 113.05/113.12 o 79 113.05/113.12 c Elapsed CPU time: 112.393 s Remaining CPU time: 67.6071 s 113.05/113.12 c =============================================================================== 113.05/113.12 c | 220034 | 100 1470 5178 | 5000 19325 84 | 86.188 % | 113.25/113.35 c | 220136 | 100 1470 5178 | 5500 4934 85 | 86.188 % | 113.25/113.39 c | 220287 | 100 1470 5178 | 6050 5085 85 | 86.188 % | 113.35/113.45 c | 220512 | 100 1470 5178 | 6655 5310 85 | 86.188 % | 113.45/113.56 c | 220849 | 100 1470 5178 | 7320 5647 85 | 86.188 % | 113.66/113.73 c | 221357 | 100 1470 5178 | 8052 6155 85 | 86.188 % | 113.95/114.04 c | 222117 | 100 1470 5178 | 8857 6915 86 | 86.188 % | 114.36/114.44 c | 223256 | 100 1470 5178 | 9743 8054 91 | 86.188 % | 114.75/114.89 c | 224965 | 100 1470 5178 | 10717 9763 99 | 86.188 % | 115.35/115.43 c | 227529 | 100 1470 5178 | 11789 6616 116 | 86.188 % | 116.56/116.61 c | 231374 | 100 1470 5178 | 12968 10461 120 | 86.188 % | 119.25/119.35 c | 237142 | 100 1470 5178 | 14265 9394 117 | 86.188 % | 123.25/123.37 c | 245792 | 100 1470 5178 | 15692 10562 105 | 86.188 % | 127.24/127.33 c | 258768 | 100 1470 5178 | 17261 15340 103 | 86.188 % | 133.34/133.43 c =============================================================================== 133.34/133.43 c New solution: 78 133.34/133.43 o 78 133.34/133.43 c Elapsed CPU time: 132.529 s Remaining CPU time: 47.4711 s 133.34/133.43 c =============================================================================== 133.34/133.43 c | 269017 | 100 1471 5278 | 5000 16609 110 | 86.188 % | 133.44/133.58 c | 269117 | 100 1471 5278 | 5500 4253 102 | 86.188 % | 133.54/133.63 c | 269267 | 100 1471 5278 | 6050 4403 101 | 86.188 % | 133.54/133.67 c | 269494 | 100 1471 5278 | 6655 4630 101 | 86.188 % | 133.64/133.76 c | 269832 | 100 1471 5278 | 7320 4968 102 | 86.188 % | 133.75/133.88 c | 270338 | 100 1471 5278 | 8052 5474 106 | 86.188 % | 133.95/134.08 c | 271097 | 100 1471 5278 | 8857 6233 119 | 86.188 % | 134.35/134.45 c | 272237 | 100 1471 5278 | 9743 7373 130 | 86.188 % | 135.05/135.15 c | 273945 | 100 1471 5278 | 10717 9081 150 | 86.188 % | 136.15/136.21 c | 276508 | 100 1471 5278 | 11789 5934 181 | 86.188 % | 137.05/137.19 c | 280353 | 100 1471 5278 | 12968 9779 145 | 86.188 % | 139.35/139.41 c | 286122 | 100 1471 5278 | 14265 8714 96 | 86.188 % | 143.44/143.54 c | 294771 | 100 1471 5278 | 15692 9881 102 | 86.188 % | 150.44/150.50 c | 307747 | 100 1471 5278 | 17261 14661 89 | 86.188 % | 162.54/162.63 c | 327210 | 100 1471 5278 | 18987 16175 97 | 86.188 % | 181.13/181.25 c There are 624 assigned variables. 0 in cost function. 181.44/181.59 c core #1 181.44/181.59 c #cores: 1 181.44/181.59 c Final Weight: 78 181.44/181.59 o 78 181.44/181.59 s OPTIMUM FOUND 181.44/181.59 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 181.44/181.59 c Total CPU time: 180.341 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-2702566-1278570223/watcher-2702566-1278570223 -o /tmp/evaluation-result-2702566-1278570223/solver-2702566-1278570223 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702566-1278570223.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.11 1.09 1.01 3/106 27731 /proc/meminfo: memFree=1676372/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=2756 CPUtime=0 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 25235844 2822144 239 1992294400 134512640 135751879 4288105920 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 689 239 147 303 0 371 0 [startup+0.102325 s] /proc/loadavg: 1.11 1.09 1.01 3/106 27731 /proc/meminfo: memFree=1676372/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=3312 CPUtime=0.09 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 477 0 0 0 9 0 0 0 20 0 1 0 25235844 3391488 383 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 828 383 147 303 0 523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3312 [startup+0.201344 s] /proc/loadavg: 1.11 1.09 1.01 3/106 27731 /proc/meminfo: memFree=1676372/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=3568 CPUtime=0.19 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 562 0 0 0 19 0 0 0 20 0 1 0 25235844 3653632 468 1992294400 134512640 135751879 4288105920 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 892 468 147 303 0 587 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3568 [startup+0.300363 s] /proc/loadavg: 1.11 1.09 1.01 3/106 27731 /proc/meminfo: memFree=1676372/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=3956 CPUtime=0.29 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 655 0 0 0 28 1 0 0 20 0 1 0 25235844 4050944 561 1992294400 134512640 135751879 4288105920 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 989 561 147 303 0 684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3956 [startup+0.700441 s] /proc/loadavg: 1.11 1.09 1.01 3/106 27731 /proc/meminfo: memFree=1676372/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=4752 CPUtime=0.69 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 861 0 0 0 68 1 0 0 20 0 1 0 25235844 4866048 767 1992294400 134512640 135751879 4288105920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 1188 767 147 303 0 883 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4752 [startup+1.5006 s] /proc/loadavg: 1.11 1.09 1.01 2/107 27732 /proc/meminfo: memFree=1673264/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=6360 CPUtime=1.49 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 1257 0 0 0 147 2 0 0 22 0 1 0 25235844 6512640 1163 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 1590 1163 148 303 0 1285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6360 [startup+3.10091 s] /proc/loadavg: 1.10 1.09 1.01 2/107 27732 /proc/meminfo: memFree=1671032/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=9440 CPUtime=3.09 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 1999 0 0 0 305 4 0 0 25 0 1 0 25235844 9666560 1905 1992294400 134512640 135751879 4288105920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 2360 1905 148 303 0 2055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9440 [startup+6.30054 s] /proc/loadavg: 1.10 1.09 1.01 2/107 27732 /proc/meminfo: memFree=1664584/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=16100 CPUtime=6.29 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 3684 0 0 0 621 8 0 0 25 0 1 0 25235844 16486400 3590 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 4025 3590 148 303 0 3720 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16100 [startup+12.7008 s] /proc/loadavg: 1.09 1.08 1.01 2/107 27732 /proc/meminfo: memFree=1658508/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=21332 CPUtime=12.69 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 4964 0 0 0 1256 13 0 0 25 0 1 0 25235844 21843968 4870 1992294400 134512640 135751879 4288105920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 5333 4870 148 303 0 5028 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21332 [startup+25.5003 s] /proc/loadavg: 1.07 1.08 1.01 2/107 27732 /proc/meminfo: memFree=1643752/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=35112 CPUtime=25.48 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 8393 0 0 0 2526 22 0 0 25 0 1 0 25235844 35954688 8299 1992294400 134512640 135751879 4288105920 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 8778 8299 148 303 0 8473 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35112 [startup+51.1013 s] /proc/loadavg: 1.05 1.07 1.00 2/107 27734 /proc/meminfo: memFree=1616348/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=62740 CPUtime=51.07 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 15300 0 0 0 5067 40 0 0 25 0 1 0 25235844 64245760 15206 1992294400 134512640 135751879 4288105920 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 15685 15206 148 303 0 15380 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62740 [startup+102.301 s] /proc/loadavg: 1.02 1.06 1.00 2/107 27734 /proc/meminfo: memFree=1582744/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=95816 CPUtime=102.26 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 23547 0 0 0 10161 65 0 0 25 0 1 0 25235844 98115584 23453 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 23954 23453 148 303 0 23649 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 95816 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.00 2/107 27736 /proc/meminfo: memFree=1521488/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=157120 CPUtime=162.23 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 38857 0 0 0 16115 108 0 0 25 0 1 0 25235844 160890880 38763 1992294400 134512640 135751879 4288105920 18446744073709551615 134616825 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 39280 38763 148 303 0 38975 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 157120 Solver just ended. Dumping a history of the last processes samples [startup+166.402 s] /proc/loadavg: 1.00 1.05 1.00 2/107 27736 /proc/meminfo: memFree=1515412/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=163568 CPUtime=166.33 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 40452 0 0 0 16522 111 0 0 25 0 1 0 25235844 167493632 40358 1992294400 134512640 135751879 4288105920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 40892 40358 148 303 0 40587 0 Current children cumulated CPU time (s) 166.33 Current children cumulated vsize (KiB) 163568 [startup+172.808 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1509212/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=169444 CPUtime=172.74 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 41918 0 0 0 17160 114 0 0 25 0 1 0 25235844 173510656 41824 1992294400 134512640 135751879 4288105920 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 42361 41824 148 303 0 42056 0 Current children cumulated CPU time (s) 172.74 Current children cumulated vsize (KiB) 169444 [startup+176.002 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1505864/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=172564 CPUtime=175.94 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 42700 0 0 0 17478 116 0 0 25 0 1 0 25235844 176705536 42606 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 43141 42606 148 303 0 42836 0 Current children cumulated CPU time (s) 175.94 Current children cumulated vsize (KiB) 172564 [startup+179.201 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1504376/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=174376 CPUtime=179.12 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 43172 0 0 0 17795 117 0 0 25 0 1 0 25235844 178561024 43078 1992294400 134512640 135751879 4288105920 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 43594 43078 148 303 0 43289 0 Current children cumulated CPU time (s) 179.12 Current children cumulated vsize (KiB) 174376 [startup+180.802 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1503136/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=175544 CPUtime=180.72 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 43457 0 0 0 17954 118 0 0 25 0 1 0 25235844 179757056 43363 1992294400 134512640 135751879 4288105920 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 43886 43363 148 303 0 43581 0 Current children cumulated CPU time (s) 180.72 Current children cumulated vsize (KiB) 175544 [startup+181.202 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1503136/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=175936 CPUtime=181.13 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202496 43541 0 0 0 17994 119 0 0 25 0 1 0 25235844 180158464 43447 1992294400 134512640 135751879 4288105920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27731/statm: 43984 43447 148 303 0 43679 0 Current children cumulated CPU time (s) 181.13 Current children cumulated vsize (KiB) 175936 [startup+181.609 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27736 /proc/meminfo: memFree=1502144/2059040 swapFree=4147384/4192956 [pid=27731] ppid=27729 vsize=0 CPUtime=181.54 /proc/27731/stat : 27731 (wbo1.4b) R 27729 27731 27223 0 -1 4202500 43625 0 0 0 18034 120 0 0 25 0 1 0 25235844 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27731/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 181.54 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 181.615 CPU time (s): 181.552 CPU user time (s): 180.341 CPU system time (s): 1.21181 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 176204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.341 system time used= 1.21182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43625 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= 6 involuntary context switches= 128 runsolver used 0.307953 second user time and 0.867868 second system time The end
Begin job on node006 at 2010-07-08 08:23:43 IDJOB=2702566 IDBENCH=48218 IDSOLVER=1161 FILE ID=node006/2702566-1278570223 PBS_JOBID= 11239552 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.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-2702566-1278570223/watcher-2702566-1278570223 -o /tmp/evaluation-result-2702566-1278570223/solver-2702566-1278570223 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702566-1278570223.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=710096396 node006.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.269 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.53 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.269 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: 1677396 kB Buffers: 73536 kB Cached: 215060 kB SwapCached: 4204 kB Active: 140904 kB Inactive: 166664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1677396 kB SwapTotal: 4192956 kB SwapFree: 4147384 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 15856 kB Mapped: 12252 kB Slab: 52244 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178768 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-2702566-1278570223.opb Free space on /tmp at the end= 62580 MiB End job on node006 at 2010-07-08 08:26:45