Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 60 | 184.197 | 184.25 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | 8521955d0869ff4fe0390118a5fbc0f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 0.25596 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | YES |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 696 |
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 | 696 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 696 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656114-1276405517.opb. 0.00/0.00 c Instance file HOME/instance-2656114-1276405517.opb 0.00/0.00 c File size is 75430 bytes. 0.00/0.01 c Highest Coefficient sum: 32 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 696 | 0.00/0.01 c | Number Clauses: 2072 | 0.00/0.01 c | Number Cardinality: 24 | 0.00/0.01 c | Number PB Constraints: 0 | 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 | 580 2212 6458 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 580 2212 6458 | 5500 101 9 | 16.667 % | 0.00/0.02 c | 253 | 580 2212 6458 | 6050 253 11 | 16.667 % | 0.00/0.03 c | 478 | 580 2212 6458 | 6655 478 11 | 16.667 % | 0.00/0.04 c | 815 | 580 2212 6458 | 7320 815 12 | 16.667 % | 0.00/0.06 c | 1321 | 580 2212 6458 | 8052 1321 13 | 16.667 % | 0.00/0.09 c | 2080 | 580 2212 6458 | 8857 2080 14 | 16.667 % | 0.09/0.15 c | 3221 | 580 2212 6458 | 9743 3221 15 | 16.667 % | 0.19/0.25 c | 4931 | 580 2212 6458 | 10717 4931 17 | 16.667 % | 0.39/0.45 c | 7493 | 580 2212 6458 | 11789 7493 17 | 16.667 % | 0.69/0.76 c | 11337 | 580 2212 6458 | 12968 11337 20 | 16.667 % | 1.29/1.32 c | 17104 | 580 2212 6458 | 14265 10536 20 | 16.667 % | 2.09/2.14 c | 25754 | 580 2212 6458 | 15692 11980 17 | 16.667 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c New solution: 70 2.49/2.51 o 70 2.49/2.51 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s 2.49/2.51 c =============================================================================== 2.49/2.51 c | 29239 | 580 2213 7054 | 5000 15465 18 | 16.667 % | 2.49/2.56 c | 29340 | 580 2213 7054 | 5500 3968 20 | 16.667 % | 2.49/2.57 c | 29490 | 580 2213 7054 | 6050 4118 20 | 16.667 % | 2.49/2.59 c | 29715 | 580 2213 7054 | 6655 4343 20 | 16.667 % | 2.59/2.61 c | 30053 | 580 2213 7054 | 7320 4681 20 | 16.667 % | 2.59/2.64 c | 30559 | 580 2213 7054 | 8052 5187 20 | 16.667 % | 2.59/2.69 c | 31318 | 580 2213 7054 | 8857 5946 19 | 16.667 % | 2.68/2.77 c | 32457 | 580 2213 7054 | 9743 7085 19 | 16.667 % | 2.89/2.90 c | 34165 | 580 2213 7054 | 10717 8793 18 | 16.667 % | 3.09/3.12 c | 36729 | 580 2213 7054 | 11789 5920 16 | 16.667 % | 3.39/3.46 c | 40573 | 580 2213 7054 | 12968 9764 17 | 16.667 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c New solution: 68 3.59/3.67 o 68 3.59/3.67 c Elapsed CPU time: 3.58046 s Remaining CPU time: 176.42 s 3.59/3.67 c =============================================================================== 3.59/3.67 c | 42726 | 580 2214 7650 | 5000 11917 16 | 16.667 % | 3.59/3.70 c | 42826 | 580 2214 7650 | 5500 3080 13 | 16.667 % | 3.68/3.70 c | 42976 | 580 2214 7650 | 6050 3230 13 | 16.667 % | 3.68/3.71 c | 43201 | 580 2214 7650 | 6655 3455 13 | 16.667 % | 3.68/3.74 c | 43538 | 580 2214 7650 | 7320 3792 14 | 16.667 % | 3.68/3.77 c | 44045 | 580 2214 7650 | 8052 4299 14 | 16.667 % | 3.79/3.82 c | 44805 | 580 2214 7650 | 8857 5059 15 | 16.667 % | 3.89/3.90 c | 45944 | 580 2214 7650 | 9743 6198 15 | 16.667 % | 3.99/4.03 c | 47654 | 580 2214 7650 | 10717 7908 15 | 16.667 % | 4.19/4.28 c | 50217 | 580 2214 7650 | 11789 10471 16 | 16.667 % | 4.49/4.54 c =============================================================================== 4.49/4.54 c New solution: 66 4.49/4.54 o 66 4.49/4.54 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s 4.49/4.54 c =============================================================================== 4.49/4.54 c | 52583 | 580 2215 8246 | 5000 6869 20 | 16.667 % | 4.49/4.55 c | 52683 | 580 2215 8246 | 5500 3535 24 | 16.667 % | 4.49/4.56 c | 52834 | 580 2215 8246 | 6050 3686 23 | 16.667 % | 4.49/4.58 c | 53059 | 579 2215 8246 | 6655 3899 23 | 16.811 % | 4.49/4.60 c | 53396 | 579 2215 8246 | 7320 4236 21 | 16.811 % | 4.59/4.63 c | 53903 | 579 2215 8246 | 8052 4743 21 | 16.811 % | 4.59/4.68 c | 54662 | 579 2215 8246 | 8857 5502 21 | 16.954 % | 4.69/4.77 c | 55802 | 578 2215 8246 | 9743 6626 20 | 16.954 % | 4.79/4.89 c | 57510 | 578 2215 8246 | 10717 8334 19 | 16.954 % | 5.08/5.17 c | 60073 | 578 2215 8246 | 11789 5454 16 | 16.954 % | 5.39/5.48 c | 63919 | 578 2215 8246 | 12968 9300 19 | 16.954 % | 6.19/6.27 c | 69686 | 577 2215 8246 | 14265 8494 22 | 17.098 % | 7.49/7.56 c | 78335 | 577 2215 8246 | 15692 9924 20 | 17.100 % | 9.09/9.17 c =============================================================================== 9.09/9.17 c New solution: 64 9.09/9.17 o 64 9.09/9.17 c Elapsed CPU time: 8.95864 s Remaining CPU time: 171.041 s 9.09/9.17 c =============================================================================== 9.09/9.17 c | 89755 | 577 2216 8842 | 5000 13391 24 | 17.100 % | 9.19/9.22 c | 89857 | 577 2216 8842 | 5500 3450 30 | 17.098 % | 9.19/9.22 c | 90007 | 577 2216 8842 | 6050 3600 29 | 17.098 % | 9.19/9.24 c | 90233 | 577 2216 8842 | 6655 3826 28 | 17.099 % | 9.19/9.26 c | 90571 | 577 2216 8842 | 7320 4164 26 | 17.098 % | 9.19/9.28 c | 91077 | 577 2216 8842 | 8052 4670 25 | 17.098 % | 9.28/9.33 c | 91838 | 577 2216 8842 | 8857 5431 24 | 17.098 % | 9.39/9.42 c | 92977 | 577 2216 8842 | 9743 6570 25 | 17.098 % | 9.49/9.59 c | 94685 | 577 2216 8842 | 10717 8278 24 | 17.098 % | 9.69/9.79 c | 97247 | 576 2216 8842 | 11789 10829 24 | 17.242 % | 10.08/10.11 c | 101095 | 576 2216 8842 | 12968 8698 19 | 17.385 % | 10.68/10.72 c | 106861 | 575 2216 8842 | 14265 7850 19 | 17.385 % | 11.59/11.61 c | 115510 | 575 2216 8842 | 15692 9288 19 | 17.385 % | 13.29/13.39 c | 128484 | 575 2216 8842 | 17261 14196 47 | 17.386 % | 15.58/15.67 c | 147945 | 575 2216 8842 | 18987 16226 21 | 17.385 % | 20.28/20.38 c | 177137 | 575 2216 8842 | 20886 16547 53 | 17.385 % | 27.39/27.49 c | 220926 | 575 2216 8842 | 22974 17880 59 | 17.392 % | 41.78/41.82 c | 286610 | 575 2216 8842 | 25272 12166 55 | 17.397 % | 64.47/64.56 c | 385137 | 575 2216 8842 | 27799 16059 48 | 17.385 % | 88.66/88.75 c =============================================================================== 88.66/88.75 c New solution: 62 88.66/88.75 o 62 88.66/88.75 c Elapsed CPU time: 87.2867 s Remaining CPU time: 92.7133 s 88.66/88.75 c =============================================================================== 88.66/88.75 c | 488616 | 573 2217 9438 | 5000 22280 57 | 17.385 % | 88.76/88.87 c | 488719 | 573 2217 9438 | 5500 2888 46 | 17.673 % | 88.76/88.88 c | 488871 | 572 2217 9438 | 6050 3040 44 | 17.816 % | 88.76/88.89 c | 489096 | 572 2217 9438 | 6655 3265 42 | 17.816 % | 88.87/88.91 c | 489435 | 571 2217 9438 | 7320 3604 40 | 17.960 % | 88.87/88.94 c | 489942 | 570 2217 9438 | 8052 4111 37 | 18.104 % | 88.87/88.99 c | 490701 | 570 2217 9438 | 8857 4870 34 | 18.104 % | 88.97/89.06 c | 491840 | 570 2217 9438 | 9743 6009 31 | 18.104 % | 89.07/89.19 c | 493548 | 570 2217 9438 | 10717 7717 28 | 18.104 % | 89.37/89.46 c | 496110 | 569 2217 9438 | 11789 10279 29 | 18.247 % | 89.77/89.87 c | 499954 | 569 2217 9438 | 12968 8141 23 | 18.247 % | 90.46/90.57 c | 505720 | 569 2217 9438 | 14265 7207 33 | 18.247 % | 91.47/91.59 c | 514370 | 569 2217 9438 | 15692 8444 33 | 18.247 % | 92.87/92.99 c | 527344 | 569 2217 9438 | 17261 13466 23 | 18.248 % | 95.86/95.97 c | 546805 | 569 2217 9438 | 18987 15385 49 | 18.248 % | 99.86/99.96 c | 575997 | 568 2217 9438 | 20886 15546 42 | 18.392 % | 108.06/108.17 c | 619786 | 568 2217 9438 | 22974 17189 38 | 18.392 % | 122.25/122.34 c | 685470 | 568 2217 9438 | 25272 13372 26 | 18.391 % | 145.95/146.06 c | 783996 | 568 2217 9438 | 27799 14975 57 | 18.391 % | 159.85/159.93 c =============================================================================== 159.85/159.93 c New solution: 60 159.85/159.93 o 60 159.85/159.93 c Elapsed CPU time: 157.438 s Remaining CPU time: 22.5619 s 159.85/159.93 c =============================================================================== 159.85/159.93 c | 855814 | 568 2218 10034 | 5000 20234 49 | 18.391 % | 159.95/160.02 c | 855914 | 568 2218 10034 | 5500 5159 50 | 18.391 % | 159.95/160.03 c | 856064 | 568 2218 10034 | 6050 5309 48 | 18.391 % | 159.95/160.04 c | 856289 | 568 2218 10034 | 6655 5534 47 | 18.391 % | 159.95/160.06 c | 856626 | 568 2218 10034 | 7320 5871 45 | 18.391 % | 159.95/160.09 c | 857132 | 568 2218 10034 | 8052 6377 43 | 18.391 % | 160.04/160.16 c | 857892 | 568 2218 10034 | 8857 7137 41 | 18.391 % | 160.14/160.26 c | 859031 | 568 2218 10034 | 9743 8276 39 | 18.391 % | 160.34/160.40 c | 860739 | 568 2218 10034 | 10717 5028 20 | 18.391 % | 160.55/160.62 c | 863302 | 568 2218 10034 | 11789 7591 19 | 18.391 % | 160.94/161.01 c | 867147 | 568 2218 10034 | 12968 11436 22 | 18.391 % | 161.55/161.68 c | 872913 | 568 2218 10034 | 14265 10627 30 | 18.391 % | 162.85/162.95 c | 881562 | 568 2218 10034 | 15692 11970 45 | 18.392 % | 165.35/165.45 c | 894536 | 568 2218 10034 | 17261 8843 57 | 18.391 % | 167.65/167.72 c | 913998 | 567 2218 10034 | 18987 10839 33 | 18.536 % | 173.04/173.19 c | 943190 | 567 2218 10034 | 20886 10883 56 | 18.535 % | 180.04/180.12 c | 986980 | 567 2218 10034 | 22974 12508 32 | 18.535 % | 182.84/182.91 c There are 129 assigned variables. 13 in cost function. 184.14/184.21 c core #1 184.14/184.21 c core #2 184.14/184.21 c core #3 184.14/184.21 c core #4 184.14/184.21 c core #5 184.14/184.21 c core #6 184.14/184.21 c core #7 184.14/184.21 c core #8 184.14/184.21 c core #9 184.14/184.21 c core #10 184.14/184.21 c core #11 184.14/184.21 c core #12 184.14/184.21 c core #13 184.14/184.21 c core #14 184.14/184.21 c core #15 184.14/184.21 c core #16 184.14/184.21 c core #17 184.14/184.21 c core #18 184.14/184.21 c core #19 184.14/184.21 c core #20 184.14/184.21 c core #21 184.14/184.21 c core #22 184.14/184.21 c core #23 184.14/184.21 c core #24 184.14/184.21 c core #25 184.14/184.21 c core #26 184.14/184.21 c core #27 184.14/184.21 c core #28 184.14/184.21 c core #29 184.14/184.21 c core #30 184.14/184.21 c core #31 184.14/184.21 c core #32 184.14/184.21 c core #33 184.14/184.21 c core #34 184.14/184.21 c core #35 184.14/184.21 c core #36 184.14/184.21 c core #37 184.14/184.21 c core #38 184.14/184.21 c core #39 184.14/184.21 c core #40 184.14/184.21 c core #41 184.14/184.21 c core #42 184.14/184.21 c core #43 184.14/184.21 c core #44 184.14/184.21 c core #45 184.14/184.21 c core #46 184.14/184.21 c core #47 184.14/184.21 c core #48 184.14/184.21 c core #49 184.14/184.21 c core #50 184.14/184.21 c core #51 184.14/184.21 c core #52 184.14/184.21 c core #53 184.14/184.21 c core #54 184.14/184.21 c core #55 184.14/184.21 c core #56 184.14/184.21 c core #57 184.14/184.21 c core #58 184.14/184.21 c core #59 184.14/184.21 c core #60 184.14/184.21 c #cores: 60 184.14/184.21 c Final Weight: 60 184.14/184.21 o 60 184.14/184.21 s OPTIMUM FOUND 184.14/184.21 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 184.14/184.21 c Total CPU time: 181.308 s
OK 60
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656114-1276405517/watcher-2656114-1276405517 -o /tmp/evaluation-result-2656114-1276405517/solver-2656114-1276405517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656114-1276405517.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: 0.85 0.98 0.99 3/106 20860 /proc/meminfo: memFree=1788012/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=2656 CPUtime=0 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 302 0 0 0 0 0 0 0 20 0 1 0 16153238 2719744 221 1992294400 134512640 135751879 4290647424 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 664 221 145 303 0 340 0 [startup+0.0991039 s] /proc/loadavg: 0.85 0.98 0.99 3/106 20860 /proc/meminfo: memFree=1788012/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=3112 CPUtime=0.09 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 442 0 0 0 9 0 0 0 20 0 1 0 16153238 3186688 342 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 778 342 147 303 0 473 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3112 [startup+0.101104 s] /proc/loadavg: 0.85 0.98 0.99 3/106 20860 /proc/meminfo: memFree=1788012/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=3112 CPUtime=0.09 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 443 0 0 0 9 0 0 0 20 0 1 0 16153238 3186688 343 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 778 344 147 303 0 473 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3112 [startup+0.301131 s] /proc/loadavg: 0.85 0.98 0.99 3/106 20860 /proc/meminfo: memFree=1788012/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=3772 CPUtime=0.29 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 608 0 0 0 28 1 0 0 20 0 1 0 16153238 3862528 508 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 943 508 147 303 0 638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3772 [startup+0.701182 s] /proc/loadavg: 0.85 0.98 0.99 3/106 20860 /proc/meminfo: memFree=1788012/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=4828 CPUtime=0.69 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 885 0 0 0 67 2 0 0 20 0 1 0 16153238 4943872 785 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 1207 785 147 303 0 902 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4828 [startup+1.50029 s] /proc/loadavg: 0.85 0.98 0.99 2/107 20861 /proc/meminfo: memFree=1784904/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=6412 CPUtime=1.49 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 1280 0 0 0 145 4 0 0 22 0 1 0 16153238 6565888 1180 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 1603 1180 148 303 0 1298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6412 [startup+3.1005 s] /proc/loadavg: 0.85 0.98 0.99 2/107 20861 /proc/meminfo: memFree=1782300/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=9580 CPUtime=3.09 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 2077 0 0 0 302 7 0 0 25 0 1 0 16153238 9809920 1977 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 2395 1978 148 303 0 2090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9580 [startup+6.30092 s] /proc/loadavg: 0.86 0.98 0.99 2/107 20861 /proc/meminfo: memFree=1775232/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=16176 CPUtime=6.29 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 3717 0 0 0 613 16 0 0 25 0 1 0 16153238 16564224 3617 1992294400 134512640 135751879 4290647424 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 4044 3617 148 303 0 3739 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16176 [startup+12.7008 s] /proc/loadavg: 0.87 0.98 0.99 2/107 20861 /proc/meminfo: memFree=1763452/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=28152 CPUtime=12.68 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 6692 0 0 0 1238 30 0 0 25 0 1 0 16153238 28827648 6592 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 7038 6592 148 303 0 6733 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28152 [startup+25.5014 s] /proc/loadavg: 0.90 0.98 0.99 2/107 20861 /proc/meminfo: memFree=1737536/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=52860 CPUtime=25.48 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 12879 0 0 0 2494 54 0 0 25 0 1 0 16153238 54128640 12779 1992294400 134512640 135751879 4290647424 18446744073709551615 134606319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 13215 12779 148 303 0 12910 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52860 [startup+51.1018 s] /proc/loadavg: 0.93 0.98 0.99 2/107 20863 /proc/meminfo: memFree=1696492/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=94192 CPUtime=51.08 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 23227 0 0 0 5017 91 0 0 25 0 1 0 16153238 96452608 23127 1992294400 134512640 135751879 4290647424 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 23548 23127 148 303 0 23243 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94192 [startup+102.308 s] /proc/loadavg: 0.97 0.98 0.99 2/107 20863 /proc/meminfo: memFree=1613536/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=176224 CPUtime=102.27 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 43694 0 0 0 10056 171 0 0 25 0 1 0 16153238 180453376 43594 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 44056 43594 148 303 0 43751 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 176224 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1531944/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=258764 CPUtime=162.25 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 64323 0 0 0 15975 250 0 0 25 0 1 0 16153238 264974336 64223 1992294400 134512640 135751879 4290647424 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 64691 64223 148 303 0 64386 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 258764 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1523636/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=266148 CPUtime=166.25 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 66192 0 0 0 16368 257 0 0 25 0 1 0 16153238 272535552 66092 1992294400 134512640 135751879 4290647424 18446744073709551615 134602770 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 66537 66092 148 303 0 66232 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 266148 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1512104/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=277288 CPUtime=172.65 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 68956 0 0 0 16998 267 0 0 25 0 1 0 16153238 283942912 68856 1992294400 134512640 135751879 4290647424 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 69322 68856 148 303 0 69017 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 277288 [startup+179.102 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1504168/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=286480 CPUtime=179.04 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 71277 0 0 0 17626 278 0 0 25 0 1 0 16153238 293355520 71177 1992294400 134512640 135751879 4290647424 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 71620 71177 148 303 0 71315 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 286480 [startup+182.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1499084/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=291080 CPUtime=182.24 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 72403 0 0 0 17939 285 0 0 25 0 1 0 16153238 298065920 72303 1992294400 134512640 135751879 4290647424 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 72770 72303 148 303 0 72465 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 291080 [startup+183.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1497844/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=291876 CPUtime=183.04 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 72629 0 0 0 18019 285 0 0 25 0 1 0 16153238 298881024 72529 1992294400 134512640 135751879 4290647424 18446744073709551615 135201930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 72969 72529 150 303 0 72664 0 Current children cumulated CPU time (s) 183.04 Current children cumulated vsize (KiB) 291876 [startup+183.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1497224/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=291712 CPUtime=183.84 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 72629 0 0 0 18099 285 0 0 25 0 1 0 16153238 298713088 72501 1992294400 134512640 135751879 4290647424 18446744073709551615 135204382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 72928 72501 150 303 0 72623 0 Current children cumulated CPU time (s) 183.84 Current children cumulated vsize (KiB) 291712 [startup+184.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1497224/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=291712 CPUtime=184.04 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 72630 0 0 0 18119 285 0 0 25 0 1 0 16153238 298713088 72502 1992294400 134512640 135751879 4290647424 18446744073709551615 135206213 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 72928 72502 151 303 0 72623 0 Current children cumulated CPU time (s) 184.04 Current children cumulated vsize (KiB) 291712 [startup+184.201 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20865 /proc/meminfo: memFree=1497224/2059040 swapFree=4140272/4192956 [pid=20860] ppid=20858 vsize=291712 CPUtime=184.14 /proc/20860/stat : 20860 (wbo1.4b) R 20858 20860 13941 0 -1 4202496 72630 0 0 0 18129 285 0 0 25 0 1 0 16153238 298713088 72502 1992294400 134512640 135751879 4290647424 18446744073709551615 134541480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20860/statm: 72928 72502 151 303 0 72623 0 Current children cumulated CPU time (s) 184.14 Current children cumulated vsize (KiB) 291712 Child status: 0 Real time (s): 184.25 CPU time (s): 184.197 CPU user time (s): 181.308 CPU system time (s): 2.88856 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 291876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.308 system time used= 2.88856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72630 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= 4 involuntary context switches= 518 runsolver used 0.309952 second user time and 0.878866 second system time The end
Begin job on node013 at 2010-06-13 07:05:17 IDJOB=2656114 IDBENCH=2028 IDSOLVER=1161 FILE ID=node013/2656114-1276405517 PBS_JOBID= 11173264 Free space on /tmp= 62464 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656114-1276405517/watcher-2656114-1276405517 -o /tmp/evaluation-result-2656114-1276405517/solver-2656114-1276405517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656114-1276405517.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8521955d0869ff4fe0390118a5fbc0f9 RANDOM SEED=30442029 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1788540 kB Buffers: 41964 kB Cached: 149040 kB SwapCached: 6804 kB Active: 133920 kB Inactive: 71068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1788540 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 11512 kB Mapped: 12880 kB Slab: 43736 kB PageTables: 3916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180084 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node013 at 2010-06-13 07:08:22