Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | OPT | 62 | 42.5745 | 42.5879 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb |
MD5SUM | c2400ec88bd2efb16a03934d0b4c43da |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 648 |
Total number of constraints | 1954 |
Number of constraints which are clauses | 1930 |
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 | 27 |
Number of terms in the objective function | 648 |
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 | 648 |
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 | 648 |
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 Parsing PB file... 0.00/0.01 c Converting 1954 PB-constraints to clauses... 0.00/0.01 c -- Unit propagations: (none) 0.00/0.01 c -- Detecting intervals from adjacent constraints: ############################################################################################################ 0.00/0.01 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.00/0.01 c ---[1944]---> BDD-cost: 1 0.00/0.01 c ---[1934]---> BDD-cost: 1 0.00/0.01 c ---[1885]---> BDD-cost: 1 0.00/0.01 c ---[1883]---> BDD-cost: 1 0.00/0.01 c ---[1869]---> BDD-cost: 1 0.00/0.01 c ---[1843]---> BDD-cost: 1 0.00/0.01 c ---[1821]---> BDD-cost: 1 0.00/0.01 c ---[1811]---> BDD-cost: 1 0.00/0.01 c ---[1778]---> BDD-cost: 1 0.00/0.01 c ---[1752]---> BDD-cost: 1 0.00/0.01 c ---[1750]---> BDD-cost: 1 0.00/0.01 c ---[1740]---> BDD-cost: 1 0.00/0.01 c ---[1726]---> BDD-cost: 1 0.00/0.01 c ---[1700]---> BDD-cost: 1 0.00/0.01 c ---[1678]---> BDD-cost: 1 0.00/0.01 c ---[1668]---> BDD-cost: 1 0.00/0.01 c ---[1654]---> BDD-cost: 1 0.00/0.01 c ---[1628]---> BDD-cost: 1 0.00/0.01 c ---[1606]---> BDD-cost: 1 0.00/0.01 c ---[1596]---> BDD-cost: 1 0.00/0.01 c ---[1594]---> BDD-cost: 1 0.00/0.01 c ---[1568]---> BDD-cost: 1 0.00/0.01 c ---[1550]---> BDD-cost: 1 0.00/0.01 c ---[1525]---> BDD-cost: 1 0.00/0.01 c ---[1507]---> BDD-cost: 1 0.00/0.01 c ---[1485]---> BDD-cost: 1 0.00/0.01 c ---[1459]---> BDD-cost: 1 0.00/0.01 c ---[1453]---> BDD-cost: 1 0.00/0.01 c ---[1435]---> BDD-cost: 1 0.00/0.01 c ---[1413]---> BDD-cost: 1 0.00/0.01 c ---[1387]---> BDD-cost: 1 0.00/0.01 c ---[1381]---> BDD-cost: 1 0.00/0.01 c ---[1333]---> BDD-cost: 1 0.00/0.01 c ---[1323]---> BDD-cost: 1 0.00/0.01 c ---[1313]---> BDD-cost: 1 0.00/0.01 c ---[1311]---> BDD-cost: 1 0.00/0.01 c ---[1258]---> BDD-cost: 1 0.00/0.01 c ---[1248]---> BDD-cost: 1 0.00/0.01 c ---[1242]---> BDD-cost: 1 0.00/0.01 c ---[1240]---> BDD-cost: 1 0.00/0.01 c ---[1203]---> BDD-cost: 1 0.00/0.01 c ---[1181]---> BDD-cost: 1 0.00/0.01 c ---[1175]---> BDD-cost: 1 0.00/0.01 c ---[1169]---> BDD-cost: 1 0.00/0.01 c ---[1167]---> BDD-cost: 1 0.00/0.01 c ---[1141]---> BDD-cost: 1 0.00/0.01 c ---[1123]---> BDD-cost: 1 0.00/0.01 c ---[1097]---> BDD-cost: 1 0.00/0.01 c ---[1060]---> BDD-cost: 1 0.00/0.01 c ---[1038]---> BDD-cost: 1 0.00/0.01 c ---[1032]---> BDD-cost: 1 0.00/0.01 c ---[1026]---> BDD-cost: 1 0.00/0.01 c ---[1024]---> BDD-cost: 1 0.00/0.01 c ---[ 998]---> BDD-cost: 1 0.00/0.01 c ---[ 980]---> BDD-cost: 1 0.00/0.01 c ---[ 954]---> BDD-cost: 1 0.00/0.01 c ---[ 952]---> BDD-cost: 1 0.00/0.01 c ---[ 926]---> BDD-cost: 1 0.00/0.01 c ---[ 908]---> BDD-cost: 1 0.00/0.01 c ---[ 882]---> BDD-cost: 1 0.00/0.01 c ---[ 868]---> BDD-cost: 1 0.00/0.01 c ---[ 842]---> BDD-cost: 1 0.00/0.01 c ---[ 820]---> BDD-cost: 1 0.00/0.01 c ---[ 810]---> BDD-cost: 1 0.00/0.01 c ---[ 792]---> BDD-cost: 1 0.00/0.01 c ---[ 771]---> BDD-cost: 1 0.00/0.01 c ---[ 745]---> BDD-cost: 1 0.00/0.01 c ---[ 739]---> BDD-cost: 1 0.00/0.01 c ---[ 722]---> BDD-cost: 1 0.00/0.01 c ---[ 700]---> BDD-cost: 1 0.00/0.01 c ---[ 674]---> BDD-cost: 1 0.00/0.01 c ---[ 668]---> BDD-cost: 1 0.00/0.01 c ---[ 658]---> BDD-cost: 1 0.00/0.01 c ---[ 648]---> BDD-cost: 1 0.00/0.01 c ---[ 598]---> BDD-cost: 1 0.00/0.01 c ---[ 596]---> BDD-cost: 1 0.00/0.01 c ---[ 586]---> BDD-cost: 1 0.00/0.01 c ---[ 576]---> BDD-cost: 1 0.00/0.01 c ---[ 526]---> BDD-cost: 1 0.00/0.01 c ---[ 524]---> BDD-cost: 1 0.00/0.01 c ---[ 487]---> BDD-cost: 1 0.00/0.01 c ---[ 465]---> BDD-cost: 1 0.00/0.01 c ---[ 459]---> BDD-cost: 1 0.00/0.01 c ---[ 453]---> BDD-cost: 1 0.00/0.01 c ---[ 400]---> BDD-cost: 1 0.00/0.01 c ---[ 390]---> BDD-cost: 1 0.00/0.01 c ---[ 384]---> BDD-cost: 1 0.00/0.01 c ---[ 382]---> BDD-cost: 1 0.00/0.01 c ---[ 372]---> BDD-cost: 1 0.00/0.01 c ---[ 362]---> BDD-cost: 1 0.00/0.01 c ---[ 312]---> BDD-cost: 1 0.00/0.01 c ---[ 310]---> BDD-cost: 1 0.00/0.01 c ---[ 304]---> BDD-cost: 1 0.00/0.01 c ---[ 286]---> BDD-cost: 1 0.00/0.01 c ---[ 248]---> BDD-cost: 1 0.00/0.01 c ---[ 238]---> BDD-cost: 1 0.00/0.01 c ---[ 236]---> BDD-cost: 1 0.00/0.01 c ---[ 210]---> BDD-cost: 1 0.00/0.01 c ---[ 192]---> BDD-cost: 1 0.00/0.01 c ---[ 166]---> BDD-cost: 1 0.00/0.01 c ---[ 129]---> BDD-cost: 1 0.00/0.01 c ---[ 107]---> BDD-cost: 1 0.00/0.01 c ---[ 101]---> BDD-cost: 1 0.00/0.01 c ---[ 95]---> BDD-cost: 1 0.00/0.01 c ---[ 62]---> BDD-cost: 1 0.00/0.01 c ---[ 36]---> BDD-cost: 1 0.00/0.01 c ---[ 34]---> BDD-cost: 1 0.00/0.01 c ---[ 24]---> BDD-cost: 1 0.00/0.01 c ---[ 23]---> BDD-cost: 95 0.00/0.01 c ---[ 22]---> BDD-cost: 95 0.00/0.01 c ---[ 21]---> BDD-cost: 95 0.00/0.01 c ---[ 20]---> BDD-cost: 95 0.00/0.01 c ---[ 19]---> BDD-cost: 95 0.00/0.01 c ---[ 18]---> BDD-cost: 95 0.00/0.01 c ---[ 17]---> BDD-cost: 95 0.00/0.01 c ---[ 16]---> BDD-cost: 95 0.00/0.01 c ---[ 15]---> BDD-cost: 95 0.00/0.01 c ---[ 14]---> BDD-cost: 95 0.00/0.01 c ---[ 13]---> BDD-cost: 95 0.00/0.01 c ---[ 12]---> BDD-cost: 95 0.00/0.01 c ---[ 11]---> BDD-cost: 95 0.00/0.01 c ---[ 10]---> BDD-cost: 95 0.00/0.01 c ---[ 9]---> BDD-cost: 95 0.00/0.01 c ---[ 8]---> BDD-cost: 95 0.00/0.01 c ---[ 7]---> BDD-cost: 95 0.00/0.01 c ---[ 6]---> BDD-cost: 95 0.00/0.01 c ---[ 5]---> BDD-cost: 95 0.00/0.01 c ---[ 4]---> BDD-cost: 95 0.00/0.01 c ---[ 3]---> BDD-cost: 95 0.00/0.01 c ---[ 2]---> BDD-cost: 95 0.00/0.01 c ---[ 1]---> BDD-cost: 95 0.00/0.01 c ---[ 0]---> BDD-cost: 95 0.00/0.01 c ==================================[MINISAT+]================================== 0.00/0.01 c | Conflicts | Original | Learnt | Progress | 0.00/0.01 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 8074 23340 | 2691 0 0 -nan | 0.000 % | 0.00/0.01 c | 102 | 8074 23340 | 2960 102 1442 14.1 | 4.348 % | 0.00/0.02 c | 252 | 8074 23340 | 3256 252 3799 15.1 | 4.348 % | 0.00/0.02 c | 480 | 8074 23340 | 3581 480 7765 16.2 | 4.348 % | 0.00/0.03 c | 817 | 8074 23340 | 3939 817 16005 19.6 | 4.348 % | 0.00/0.04 c | 1329 | 8074 23340 | 4333 1329 40635 30.6 | 4.348 % | 0.00/0.05 c | 2090 | 8074 23340 | 4767 2090 66094 31.6 | 4.348 % | 0.00/0.09 c | 3230 | 8074 23340 | 5243 3230 138206 42.8 | 4.348 % | 0.00/0.13 c | 4938 | 8074 23340 | 5768 4938 177073 35.9 | 4.348 % | 0.00/0.21 c | 7502 | 8074 23340 | 6345 4091 151590 37.1 | 4.348 % | 0.00/0.31 c | 11347 | 8074 23340 | 6979 4497 120713 26.8 | 4.348 % | 0.00/0.53 c | 17113 | 8074 23340 | 7677 6583 255623 38.8 | 4.348 % | 0.00/0.89 c | 25763 | 8074 23340 | 8445 6746 282069 41.8 | 4.348 % | 1.48/1.52 c | 38737 | 8074 23340 | 9290 6518 283688 43.5 | 4.348 % | 2.28/2.31 c | 58198 | 8074 23340 | 10219 6664 254095 38.1 | 4.348 % | 3.48/3.56 c | 87393 | 8074 23340 | 11240 9711 236761 24.4 | 4.348 % | 5.68/5.70 c | 131182 | 8074 23340 | 12365 7472 156014 20.9 | 4.348 % | 8.88/8.96 c | 196867 | 8074 23340 | 13601 10078 201249 20.0 | 4.348 % | 13.48/13.59 c | 295393 | 8074 23340 | 14961 11587 190134 16.4 | 4.348 % | 15.38/15.46 c ============================================================================== 15.38/15.46 c [1mFound solution: 70[0m 15.38/15.46 c ---[ 0]---> Sorter-cost:29320 Base: 15.38/15.48 c ==================================[MINISAT+]================================== 15.38/15.48 c | Conflicts | Original | Learnt | Progress | 15.38/15.48 c | | Clauses Literals | Max Clauses Literals LPC | | 15.38/15.48 c ============================================================================== 15.38/15.48 c | 331081 | 41944 102393 | 13981 9132 282916 31.0 | 4.348 % | 15.38/15.49 c | 331183 | 41944 102393 | 15379 9234 284922 30.9 | 0.570 % | 15.47/15.50 c | 331333 | 41944 102393 | 16917 9384 288569 30.8 | 0.570 % | 15.47/15.51 c | 331560 | 41944 102393 | 18608 9611 294416 30.6 | 0.570 % | 15.47/15.52 c | 331900 | 41944 102393 | 20469 9951 303944 30.5 | 0.570 % | 15.47/15.55 c | 332407 | 41944 102393 | 22516 10458 321302 30.7 | 0.570 % | 15.47/15.59 c | 333166 | 41944 102393 | 24768 11217 347330 31.0 | 0.570 % | 15.57/15.66 c | 334305 | 41944 102393 | 27245 12356 385037 31.2 | 0.570 % | 15.68/15.75 c | 336016 | 41944 102393 | 29969 14067 437989 31.1 | 0.570 % | 15.88/15.93 c | 338586 | 41944 102393 | 32966 16637 520979 31.3 | 0.570 % | 16.18/16.22 c | 342433 | 41944 102393 | 36263 20484 672134 32.8 | 0.570 % | 16.58/16.69 c | 348199 | 41944 102393 | 39889 26250 877078 33.4 | 0.570 % | 17.59/17.61 c | 356848 | 41944 102393 | 43878 34899 1118742 32.1 | 0.570 % | 18.98/19.08 c | 369826 | 41944 102393 | 48266 18881 484247 25.6 | 0.570 % | 20.78/20.90 c | 389287 | 41899 102302 | 53092 38337 1006059 26.2 | 0.661 % | 23.88/23.96 c | 418480 | 41899 102302 | 58402 29028 753028 25.9 | 0.661 % | 31.07/31.15 c | 462271 | 41629 101730 | 64242 30352 807185 26.6 | 1.258 % | 37.87/37.99 c ============================================================================== 37.87/37.99 c [1mFound solution: 66[0m 37.87/37.99 c ---[ 0]---> Sorter-cost: 0 Base: 37.97/38.00 c ==================================[MINISAT+]================================== 37.97/38.00 c | Conflicts | Original | Learnt | Progress | 37.97/38.00 c | | Clauses Literals | Max Clauses Literals LPC | | 37.97/38.00 c ============================================================================== 37.97/38.00 c | 519923 | 41453 101373 | 13817 40398 1007037 24.9 | 1.258 % | 37.97/38.07 c | 520023 | 41453 101373 | 15198 7318 154105 21.1 | 1.731 % | 37.97/38.08 c | 520173 | 41453 101373 | 16718 7468 158108 21.2 | 1.731 % | 37.97/38.09 c | 520398 | 41453 101373 | 18390 7693 166647 21.7 | 1.731 % | 38.07/38.11 c | 520736 | 41453 101373 | 20229 8031 177611 22.1 | 1.731 % | 38.07/38.14 c | 521243 | 41453 101373 | 22252 8538 191637 22.4 | 1.731 % | 38.07/38.19 c | 522005 | 41453 101373 | 24477 9300 213272 22.9 | 1.731 % | 38.17/38.26 c | 523144 | 41453 101373 | 26925 10439 246657 23.6 | 1.731 % | 38.27/38.38 c | 524853 | 41453 101373 | 29617 12148 295572 24.3 | 1.731 % | 38.57/38.60 c | 527415 | 41453 101373 | 32579 14710 369826 25.1 | 1.731 % | 38.87/38.93 c | 531260 | 41405 101275 | 35837 18553 472171 25.4 | 1.822 % | 39.37/39.48 c | 537027 | 41367 101195 | 39421 24319 601483 24.7 | 1.905 % | 40.27/40.33 c | 545676 | 41361 101183 | 43363 32967 776691 23.6 | 1.917 % | 41.87/41.94 c | 558650 | 41321 101099 | 47700 17349 365560 21.1 | 2.004 % | 42.17/42.24 c ============================================================================== 42.17/42.24 c [1mFound solution: 64[0m 42.17/42.24 c ---[ 0]---> Sorter-cost: 0 Base: 42.17/42.25 c ==================================[MINISAT+]================================== 42.17/42.25 c | Conflicts | Original | Learnt | Progress | 42.17/42.25 c | | Clauses Literals | Max Clauses Literals LPC | | 42.17/42.25 c ============================================================================== 42.17/42.25 c | 561575 | 40491 99240 | 13497 20257 433559 21.4 | 2.004 % | 42.27/42.31 c | 561675 | 40306 98836 | 14846 10219 209288 20.5 | 4.571 % | 42.27/42.35 c ============================================================================== 42.27/42.35 c [1mFound solution: 62[0m 42.27/42.35 c ---[ 0]---> Sorter-cost: 0 Base: 42.27/42.36 c ==================================[MINISAT+]================================== 42.27/42.36 c | Conflicts | Original | Learnt | Progress | 42.27/42.36 c | | Clauses Literals | Max Clauses Literals LPC | | 42.27/42.36 c ============================================================================== 42.27/42.36 c | 561809 | 40098 98360 | 13366 10350 211814 20.5 | 4.571 % | 42.27/42.39 c | 561910 | 39804 97684 | 14702 10446 213542 20.4 | 5.931 % | 42.37/42.42 c | 562060 | 39723 97499 | 16172 10594 216705 20.5 | 6.129 % | 42.37/42.48 c | 562285 | 39656 97354 | 17790 10811 219871 20.3 | 6.279 % | 42.48/42.56 c | 562624 | 39322 96617 | 19569 11099 222696 20.1 | 7.033 % | 42.48/42.58 c ============================================================================== 42.48/42.58 c [1mOptimal solution: 62[0m 42.48/42.58 s OPTIMUM FOUND 42.48/42.58 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 42.48/42.58 c _______________________________________________________________________________ 42.48/42.58 c 42.48/42.58 c restarts : 57 42.48/42.58 c conflicts : 562669 (13224 /sec) 42.48/42.58 c decisions : 817566 (19215 /sec) 42.48/42.58 c propagations : 0 (0 /sec) 42.48/42.58 c inspects : 0 (0 /sec) 42.48/42.58 c CPU time : 42.5475 s 42.48/42.58 c _______________________________________________________________________________
OK 62
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723463-1338570666/watcher-3723463-1338570666 -o /tmp/evaluation-result-3723463-1338570666/solver-3723463-1338570666 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723463-1338570666.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB [startup+0 s] /proc/loadavg: 1.79 1.27 1.21 3/177 18400 /proc/meminfo: memFree=27964288/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (runsolver) R 18398 16571 16571 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 1 0 323193340 12095488 48 33554432000 4194304 5436572 140736991262448 140736991258448 4268383 0 0 4096 24578 0 0 0 17 6 0 0 0 0 0 /proc/18400/statm: 2953 48 29 304 0 2645 0 [startup+0.0313351 s] /proc/loadavg: 1.79 1.27 1.21 3/177 18400 /proc/meminfo: memFree=27964288/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100261 s] /proc/loadavg: 1.79 1.27 1.21 3/177 18400 /proc/meminfo: memFree=27964288/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300268 s] /proc/loadavg: 1.79 1.27 1.21 3/177 18400 /proc/meminfo: memFree=27964288/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700251 s] /proc/loadavg: 1.79 1.27 1.21 3/177 18400 /proc/meminfo: memFree=27964288/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50027 s] /proc/loadavg: 1.79 1.27 1.21 3/179 18405 /proc/meminfo: memFree=27959404/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=6164 CPUtime=1.48 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 1373 0 0 0 148 0 0 0 20 0 1 0 323193341 6311936 1329 33554432000 4194304 5276501 140735241142384 140735241140568 4399852 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 1541 1329 117 265 0 1273 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15312 [startup+3.10027 s] /proc/loadavg: 1.79 1.27 1.21 3/179 18405 /proc/meminfo: memFree=27958056/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=6864 CPUtime=3.08 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 1545 0 0 0 308 0 0 0 20 0 1 0 323193341 7028736 1501 33554432000 4194304 5276501 140735241142384 140735241140568 4399965 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 1716 1501 117 265 0 1448 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16012 [startup+6.30024 s] /proc/loadavg: 1.81 1.28 1.21 3/179 18405 /proc/meminfo: memFree=27955956/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=8016 CPUtime=6.28 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 1796 0 0 0 628 0 0 0 20 0 1 0 323193341 8208384 1752 33554432000 4194304 5276501 140735241142384 140735241140328 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 2004 1752 117 265 0 1736 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17164 [startup+12.7003 s] /proc/loadavg: 1.82 1.29 1.22 3/179 18405 /proc/meminfo: memFree=27953128/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=9740 CPUtime=12.68 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 2223 0 0 0 1268 0 0 0 20 0 1 0 323193341 9973760 2179 33554432000 4194304 5276501 140735241142384 140735241140568 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 2435 2179 117 265 0 2167 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18888 [startup+25.5003 s] /proc/loadavg: 1.86 1.33 1.23 3/179 18405 /proc/meminfo: memFree=27934264/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=27040 CPUtime=25.47 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 6390 0 0 0 2546 1 0 0 20 0 1 0 323193341 27688960 6199 33554432000 4194304 5276501 140735241142384 140735241140568 4399846 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 6760 6199 122 265 0 6492 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 36188 Solver just ended. Dumping a history of the last processes samples [startup+31.9067 s] /proc/loadavg: 1.87 1.34 1.23 3/179 18405 /proc/meminfo: memFree=27931784/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=27968 CPUtime=31.88 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 6660 0 0 0 3187 1 0 0 20 0 1 0 323193341 28639232 6469 33554432000 4194304 5276501 140735241142384 140735241140632 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 6992 6469 122 265 0 6724 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 37116 [startup+38.3002 s] /proc/loadavg: 1.88 1.35 1.24 3/179 18405 /proc/meminfo: memFree=27928564/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=30168 CPUtime=38.27 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 7124 0 0 0 3826 1 0 0 20 0 1 0 323193341 30892032 6933 33554432000 4194304 5276501 140735241142384 140735241140632 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 7542 6933 122 265 0 7274 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 39316 [startup+39.9003 s] /proc/loadavg: 1.89 1.36 1.24 3/179 18405 /proc/meminfo: memFree=27927944/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=30168 CPUtime=39.87 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 7124 0 0 0 3986 1 0 0 20 0 1 0 323193341 30892032 6933 33554432000 4194304 5276501 140735241142384 140735241140632 4399846 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 7542 6933 122 265 0 7274 0 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (KiB) 39316 [startup+41.5003 s] /proc/loadavg: 1.89 1.36 1.24 3/179 18405 /proc/meminfo: memFree=27927572/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=30524 CPUtime=41.47 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 7178 0 0 0 4146 1 0 0 20 0 1 0 323193341 31256576 6987 33554432000 4194304 5276501 140735241142384 140735241140568 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 7631 6987 122 265 0 7363 0 Current children cumulated CPU time (s) 41.47 Current children cumulated vsize (KiB) 39672 [startup+42.3003 s] /proc/loadavg: 1.89 1.36 1.24 3/179 18405 /proc/meminfo: memFree=27925092/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=30524 CPUtime=42.27 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 7180 0 0 0 4226 1 0 0 20 0 1 0 323193341 31256576 6989 33554432000 4194304 5276501 140735241142384 140735241140632 4399405 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 7631 6989 122 265 0 7363 0 Current children cumulated CPU time (s) 42.27 Current children cumulated vsize (KiB) 39672 [startup+42.5003 s] /proc/loadavg: 1.89 1.36 1.24 3/179 18405 /proc/meminfo: memFree=27925092/32873648 swapFree=6852/6852 [pid=18400] ppid=18398 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/18400/stat : 18400 (minisat+_script) S 18398 18400 16571 0 -1 4202496 382 554 0 0 0 0 0 0 20 0 1 0 323193340 9367552 276 33554432000 4194304 5064252 140733237324752 140733237323664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/18400/statm: 2287 276 236 213 0 72 0 [pid=18405] ppid=18400 vsize=30524 CPUtime=42.48 cores=0,2,4,6 /proc/18405/stat : 18405 (minisat+_64-bit) R 18400 18400 16571 0 -1 4202496 7182 0 0 0 4246 2 0 0 20 0 1 0 323193341 31256576 6991 33554432000 4194304 5276501 140735241142384 140735241140632 4399315 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/18405/statm: 7631 6991 122 265 0 7363 0 Current children cumulated CPU time (s) 42.48 Current children cumulated vsize (KiB) 39672 Child status: 0 Real time (s): 42.5879 CPU time (s): 42.5745 CPU user time (s): 42.5485 CPU system time (s): 0.025996 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 39672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.5485 system time used= 0.025996 maximum resident set size= 27964 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8132 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= 12 involuntary context switches= 59 runsolver used 0.082987 second user time and 0.231964 second system time The end
Begin job on node115 at 2012-06-01 19:11:06 IDJOB=3723463 IDBENCH=2025 IDSOLVER=2307 FILE ID=node115/3723463-1338570666 RUNJOBID= node115-1338570572-18281 PBS_JOBID= 14635869 Free space on /tmp= 70828 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723463-1338570666/watcher-3723463-1338570666 -o /tmp/evaluation-result-3723463-1338570666/solver-3723463-1338570666 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723463-1338570666.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED=324489773 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.462 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27964668 kB Buffers: 544984 kB Cached: 3311048 kB SwapCached: 964 kB Active: 1938104 kB Inactive: 2067552 kB Active(anon): 141196 kB Inactive(anon): 9824 kB Active(file): 1796908 kB Inactive(file): 2057728 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67106432 kB Dirty: 2276 kB Writeback: 0 kB AnonPages: 174644 kB Mapped: 12228 kB Shmem: 96 kB Slab: 766676 kB SReclaimable: 210956 kB SUnreclaim: 555720 kB KernelStack: 1488 kB PageTables: 4444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 266156 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70824 MiB End job on node115 at 2012-06-01 19:11:48