Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | OPT | 62 | 66.8588 | 66.8698 |
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.03 c Converting 1954 PB-constraints to clauses... 0.00/0.03 c -- Unit propagations: (none) 0.00/0.03 c -- Detecting intervals from adjacent constraints: ############################################################################################################ 0.00/0.03 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.00/0.03 c ---[1944]---> BDD-cost: 1 0.00/0.03 c ---[1934]---> BDD-cost: 1 0.00/0.03 c ---[1885]---> BDD-cost: 1 0.00/0.03 c ---[1883]---> BDD-cost: 1 0.00/0.03 c ---[1869]---> BDD-cost: 1 0.00/0.03 c ---[1843]---> BDD-cost: 1 0.00/0.03 c ---[1821]---> BDD-cost: 1 0.00/0.03 c ---[1811]---> BDD-cost: 1 0.00/0.03 c ---[1778]---> BDD-cost: 1 0.00/0.03 c ---[1752]---> BDD-cost: 1 0.00/0.03 c ---[1750]---> BDD-cost: 1 0.00/0.03 c ---[1740]---> BDD-cost: 1 0.00/0.03 c ---[1726]---> BDD-cost: 1 0.00/0.03 c ---[1700]---> BDD-cost: 1 0.00/0.03 c ---[1678]---> BDD-cost: 1 0.00/0.03 c ---[1668]---> BDD-cost: 1 0.00/0.03 c ---[1654]---> BDD-cost: 1 0.00/0.03 c ---[1628]---> BDD-cost: 1 0.00/0.03 c ---[1606]---> BDD-cost: 1 0.00/0.03 c ---[1596]---> BDD-cost: 1 0.00/0.03 c ---[1594]---> BDD-cost: 1 0.00/0.03 c ---[1568]---> BDD-cost: 1 0.00/0.03 c ---[1550]---> BDD-cost: 1 0.00/0.03 c ---[1525]---> BDD-cost: 1 0.00/0.03 c ---[1507]---> BDD-cost: 1 0.00/0.03 c ---[1485]---> BDD-cost: 1 0.00/0.03 c ---[1459]---> BDD-cost: 1 0.00/0.03 c ---[1453]---> BDD-cost: 1 0.00/0.03 c ---[1435]---> BDD-cost: 1 0.00/0.03 c ---[1413]---> BDD-cost: 1 0.00/0.03 c ---[1387]---> BDD-cost: 1 0.00/0.03 c ---[1381]---> BDD-cost: 1 0.00/0.03 c ---[1333]---> BDD-cost: 1 0.00/0.03 c ---[1323]---> BDD-cost: 1 0.00/0.03 c ---[1313]---> BDD-cost: 1 0.00/0.03 c ---[1311]---> BDD-cost: 1 0.00/0.03 c ---[1258]---> BDD-cost: 1 0.00/0.03 c ---[1248]---> BDD-cost: 1 0.00/0.03 c ---[1242]---> BDD-cost: 1 0.00/0.03 c ---[1240]---> BDD-cost: 1 0.00/0.03 c ---[1203]---> BDD-cost: 1 0.00/0.03 c ---[1181]---> BDD-cost: 1 0.00/0.03 c ---[1175]---> BDD-cost: 1 0.00/0.03 c ---[1169]---> BDD-cost: 1 0.00/0.03 c ---[1167]---> BDD-cost: 1 0.00/0.03 c ---[1141]---> BDD-cost: 1 0.00/0.03 c ---[1123]---> BDD-cost: 1 0.00/0.03 c ---[1097]---> BDD-cost: 1 0.00/0.03 c ---[1060]---> BDD-cost: 1 0.00/0.03 c ---[1038]---> BDD-cost: 1 0.00/0.03 c ---[1032]---> BDD-cost: 1 0.00/0.03 c ---[1026]---> BDD-cost: 1 0.00/0.03 c ---[1024]---> BDD-cost: 1 0.00/0.03 c ---[ 998]---> BDD-cost: 1 0.00/0.03 c ---[ 980]---> BDD-cost: 1 0.00/0.03 c ---[ 954]---> BDD-cost: 1 0.00/0.03 c ---[ 952]---> BDD-cost: 1 0.00/0.03 c ---[ 926]---> BDD-cost: 1 0.00/0.03 c ---[ 908]---> BDD-cost: 1 0.00/0.03 c ---[ 882]---> BDD-cost: 1 0.00/0.03 c ---[ 868]---> BDD-cost: 1 0.00/0.03 c ---[ 842]---> BDD-cost: 1 0.00/0.03 c ---[ 820]---> BDD-cost: 1 0.00/0.03 c ---[ 810]---> BDD-cost: 1 0.00/0.03 c ---[ 792]---> BDD-cost: 1 0.00/0.03 c ---[ 771]---> BDD-cost: 1 0.00/0.03 c ---[ 745]---> BDD-cost: 1 0.00/0.03 c ---[ 739]---> BDD-cost: 1 0.00/0.03 c ---[ 722]---> BDD-cost: 1 0.00/0.03 c ---[ 700]---> BDD-cost: 1 0.00/0.03 c ---[ 674]---> BDD-cost: 1 0.00/0.03 c ---[ 668]---> BDD-cost: 1 0.00/0.03 c ---[ 658]---> BDD-cost: 1 0.00/0.03 c ---[ 648]---> BDD-cost: 1 0.00/0.03 c ---[ 598]---> BDD-cost: 1 0.00/0.03 c ---[ 596]---> BDD-cost: 1 0.00/0.03 c ---[ 586]---> BDD-cost: 1 0.00/0.03 c ---[ 576]---> BDD-cost: 1 0.00/0.03 c ---[ 526]---> BDD-cost: 1 0.00/0.03 c ---[ 524]---> BDD-cost: 1 0.00/0.03 c ---[ 487]---> BDD-cost: 1 0.00/0.03 c ---[ 465]---> BDD-cost: 1 0.00/0.03 c ---[ 459]---> BDD-cost: 1 0.00/0.03 c ---[ 453]---> BDD-cost: 1 0.00/0.03 c ---[ 400]---> BDD-cost: 1 0.00/0.03 c ---[ 390]---> BDD-cost: 1 0.00/0.03 c ---[ 384]---> BDD-cost: 1 0.00/0.03 c ---[ 382]---> BDD-cost: 1 0.00/0.03 c ---[ 372]---> BDD-cost: 1 0.00/0.03 c ---[ 362]---> BDD-cost: 1 0.00/0.03 c ---[ 312]---> BDD-cost: 1 0.00/0.03 c ---[ 310]---> BDD-cost: 1 0.00/0.03 c ---[ 304]---> BDD-cost: 1 0.00/0.03 c ---[ 286]---> BDD-cost: 1 0.00/0.03 c ---[ 248]---> BDD-cost: 1 0.00/0.03 c ---[ 238]---> BDD-cost: 1 0.00/0.03 c ---[ 236]---> BDD-cost: 1 0.00/0.03 c ---[ 210]---> BDD-cost: 1 0.00/0.03 c ---[ 192]---> BDD-cost: 1 0.00/0.03 c ---[ 166]---> BDD-cost: 1 0.00/0.03 c ---[ 129]---> BDD-cost: 1 0.00/0.03 c ---[ 107]---> BDD-cost: 1 0.00/0.03 c ---[ 101]---> BDD-cost: 1 0.00/0.03 c ---[ 95]---> BDD-cost: 1 0.00/0.03 c ---[ 62]---> BDD-cost: 1 0.00/0.03 c ---[ 36]---> BDD-cost: 1 0.00/0.03 c ---[ 34]---> BDD-cost: 1 0.00/0.03 c ---[ 24]---> BDD-cost: 1 0.00/0.03 c ---[ 23]---> BDD-cost: 95 0.00/0.03 c ---[ 22]---> BDD-cost: 95 0.00/0.03 c ---[ 21]---> BDD-cost: 95 0.00/0.03 c ---[ 20]---> BDD-cost: 95 0.00/0.03 c ---[ 19]---> BDD-cost: 95 0.00/0.04 c ---[ 18]---> BDD-cost: 95 0.00/0.04 c ---[ 17]---> BDD-cost: 95 0.00/0.04 c ---[ 16]---> BDD-cost: 95 0.00/0.04 c ---[ 15]---> BDD-cost: 95 0.00/0.04 c ---[ 14]---> BDD-cost: 95 0.00/0.04 c ---[ 13]---> BDD-cost: 95 0.00/0.04 c ---[ 12]---> BDD-cost: 95 0.00/0.04 c ---[ 11]---> BDD-cost: 95 0.00/0.04 c ---[ 10]---> BDD-cost: 95 0.00/0.04 c ---[ 9]---> BDD-cost: 95 0.00/0.04 c ---[ 8]---> BDD-cost: 95 0.00/0.04 c ---[ 7]---> BDD-cost: 95 0.00/0.04 c ---[ 6]---> BDD-cost: 95 0.00/0.04 c ---[ 5]---> BDD-cost: 95 0.00/0.04 c ---[ 4]---> BDD-cost: 95 0.00/0.04 c ---[ 3]---> BDD-cost: 95 0.00/0.04 c ---[ 2]---> BDD-cost: 95 0.00/0.04 c ---[ 1]---> BDD-cost: 95 0.00/0.04 c ---[ 0]---> BDD-cost: 95 0.00/0.05 c ==================================[MINISAT+]================================== 0.00/0.05 c | Conflicts | Original | Learnt | Progress | 0.00/0.05 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.05 c ============================================================================== 0.00/0.05 c | 0 | 8074 23340 | 2691 0 0 nan | 0.000 % | 0.00/0.05 c | 102 | 8074 23340 | 2960 102 1442 14.1 | 4.348 % | 0.00/0.05 c | 252 | 8074 23340 | 3256 252 3799 15.1 | 4.348 % | 0.00/0.06 c | 480 | 8074 23340 | 3581 480 7765 16.2 | 4.348 % | 0.00/0.07 c | 817 | 8074 23340 | 3939 817 16005 19.6 | 4.348 % | 0.07/0.08 c | 1329 | 8074 23340 | 4333 1329 40635 30.6 | 4.348 % | 0.09/0.11 c | 2090 | 8074 23340 | 4767 2090 66094 31.6 | 4.348 % | 0.09/0.16 c | 3230 | 8074 23340 | 5243 3230 138206 42.8 | 4.348 % | 0.19/0.23 c | 4938 | 8074 23340 | 5768 4938 177073 35.9 | 4.348 % | 0.29/0.34 c | 7502 | 8074 23340 | 6345 4091 151590 37.1 | 4.348 % | 0.39/0.49 c | 11347 | 8074 23340 | 6979 4497 120713 26.8 | 4.348 % | 0.69/0.79 c | 17113 | 8074 23340 | 7677 6583 255623 38.8 | 4.348 % | 1.19/1.29 c | 25763 | 8074 23340 | 8445 6746 282069 41.8 | 4.348 % | 2.10/2.19 c | 38738 | 8074 23340 | 9290 6392 297596 46.6 | 4.348 % | 3.30/3.33 c | 58199 | 8074 23340 | 10219 6507 176077 27.1 | 4.348 % | 5.09/5.17 c | 87395 | 8074 23340 | 11240 9317 321418 34.5 | 4.348 % | 6.79/6.88 c ============================================================================== 6.79/6.88 c [1mFound solution: 70[0m 6.79/6.88 o 70 6.79/6.89 c ---[ 0]---> Sorter-cost:29320 Base: 6.99/7.04 c ==================================[MINISAT+]================================== 6.99/7.04 c | Conflicts | Original | Learnt | Progress | 6.99/7.04 c | | Clauses Literals | Max Clauses Literals LPC | | 6.99/7.04 c ============================================================================== 6.99/7.04 c | 113284 | 41944 102393 | 13981 6209 195155 31.4 | 4.348 % | 6.99/7.04 c | 113385 | 41944 102393 | 15379 6310 198132 31.4 | 0.570 % | 6.99/7.05 c | 113535 | 41944 102393 | 16917 6460 203849 31.6 | 0.570 % | 6.99/7.07 c | 113760 | 41944 102393 | 18608 6685 211502 31.6 | 0.570 % | 6.99/7.08 c | 114099 | 41944 102393 | 20469 7024 220570 31.4 | 0.570 % | 7.09/7.11 c | 114608 | 41944 102393 | 22516 7533 236489 31.4 | 0.570 % | 7.09/7.15 c | 115367 | 41932 102369 | 24768 8291 259897 31.3 | 0.593 % | 7.19/7.23 c | 116506 | 41932 102369 | 27245 9430 299512 31.8 | 0.593 % | 7.29/7.34 c | 118214 | 41932 102369 | 29969 11138 349483 31.4 | 0.593 % | 7.49/7.55 c | 120778 | 41907 102318 | 32966 13701 452146 33.0 | 0.645 % | 7.79/7.85 c | 124622 | 41882 102267 | 36263 17544 571773 32.6 | 0.696 % | 8.28/8.31 c | 130390 | 41882 102267 | 39889 23312 778542 33.4 | 0.696 % | 9.18/9.21 c ============================================================================== 9.18/9.21 c [1mFound solution: 68[0m 9.18/9.21 o 68 9.18/9.21 c ---[ 0]---> Sorter-cost: 0 Base: 9.28/9.35 c ==================================[MINISAT+]================================== 9.28/9.35 c | Conflicts | Original | Learnt | Progress | 9.28/9.35 c | | Clauses Literals | Max Clauses Literals LPC | | 9.28/9.35 c ============================================================================== 9.28/9.35 c | 138293 | 41801 102101 | 13933 31214 1065607 34.1 | 0.696 % | 9.28/9.38 c | 138394 | 41801 102101 | 15326 13484 424371 31.5 | 0.981 % | 9.38/9.40 c | 138544 | 41801 102101 | 16858 13634 429467 31.5 | 0.981 % | 9.38/9.40 c | 138769 | 41801 102101 | 18544 13859 433478 31.3 | 0.981 % | 9.38/9.43 c | 139111 | 41801 102101 | 20399 14201 441685 31.1 | 0.981 % | 9.38/9.46 c | 139620 | 41801 102101 | 22439 14710 462914 31.5 | 0.981 % | 9.48/9.51 c | 140381 | 41801 102101 | 24683 15471 490629 31.7 | 0.981 % | 9.58/9.62 c | 141522 | 41801 102101 | 27151 16612 519133 31.3 | 0.981 % | 9.68/9.76 c | 143233 | 41801 102101 | 29866 18323 574634 31.4 | 0.981 % | 9.79/9.89 c | 145801 | 41801 102101 | 32853 20891 660751 31.6 | 0.981 % | 10.08/10.10 c | 149646 | 41781 102061 | 36138 24735 760512 30.7 | 1.016 % | 10.38/10.48 c | 155412 | 41781 102061 | 39752 30501 878079 28.8 | 1.016 % | 11.18/11.23 c | 164061 | 41717 101929 | 43727 39147 1079879 27.6 | 1.143 % | 12.49/12.53 c | 177036 | 41617 101718 | 48100 22012 483097 21.9 | 1.360 % | 14.09/14.19 c | 196498 | 41587 101652 | 52910 41473 845150 20.4 | 1.431 % | 17.60/17.60 c | 225690 | 41542 101559 | 58201 31944 814601 25.5 | 1.518 % | 23.00/23.06 c | 269481 | 41542 101559 | 64021 32065 1137175 35.5 | 1.518 % | 32.79/32.89 c | 335165 | 41467 101400 | 70423 49247 1388238 28.2 | 1.684 % | 46.88/46.97 c | 433692 | 41083 100562 | 77466 38900 776606 20.0 | 2.574 % | 60.28/60.39 c ============================================================================== 60.28/60.39 c [1mFound solution: 66[0m 60.28/60.39 o 66 60.28/60.40 c ---[ 0]---> Sorter-cost: 0 Base: 60.49/60.54 c ==================================[MINISAT+]================================== 60.49/60.54 c | Conflicts | Original | Learnt | Progress | 60.49/60.54 c | | Clauses Literals | Max Clauses Literals LPC | | 60.49/60.54 c ============================================================================== 60.49/60.54 c | 525778 | 41062 100523 | 13687 68345 1212971 17.7 | 2.574 % | 61.49/61.53 c | 525880 | 41062 100523 | 15055 7974 140769 17.7 | 2.691 % | 61.49/61.54 c | 526032 | 41062 100523 | 16561 8126 143870 17.7 | 2.691 % | 61.49/61.55 c | 526259 | 41062 100523 | 18217 8353 147844 17.7 | 2.691 % | 61.49/61.57 c | 526597 | 41062 100523 | 20039 8691 153752 17.7 | 2.691 % | 61.49/61.60 c | 527103 | 41062 100523 | 22043 9197 162601 17.7 | 2.691 % | 61.59/61.65 c | 527864 | 41062 100523 | 24247 9958 173677 17.4 | 2.691 % | 61.68/61.72 c | 529003 | 41062 100523 | 26672 11097 189986 17.1 | 2.691 % | 61.78/61.84 c | 530712 | 41062 100523 | 29339 12806 217213 17.0 | 2.691 % | 61.98/62.02 c | 533275 | 41062 100523 | 32273 15369 256491 16.7 | 2.691 % | 62.28/62.31 c | 537120 | 41062 100523 | 35500 19214 336697 17.5 | 2.691 % | 62.78/62.87 c | 542888 | 41062 100523 | 39050 24982 429208 17.2 | 2.691 % | 63.98/64.08 c | 551539 | 41062 100523 | 42955 33633 567257 16.9 | 2.691 % | 66.08/66.19 c | 564513 | 40100 98410 | 47251 16373 365874 22.3 | 4.936 % | 66.48/66.51 c ============================================================================== 66.48/66.51 c [1mFound solution: 64[0m 66.48/66.51 o 64 66.48/66.52 c ---[ 0]---> Sorter-cost: 0 Base: 66.58/66.66 c ==================================[MINISAT+]================================== 66.58/66.66 c | Conflicts | Original | Learnt | Progress | 66.58/66.66 c | | Clauses Literals | Max Clauses Literals LPC | | 66.58/66.66 c ============================================================================== 66.58/66.66 c | 565714 | 37929 93431 | 12643 17486 386189 22.1 | 4.936 % | 66.68/66.70 c ============================================================================== 66.68/66.70 c [1mFound solution: 62[0m 66.68/66.70 o 62 66.68/66.71 c ---[ 0]---> Sorter-cost: 0 Base: 66.78/66.85 c ==================================[MINISAT+]================================== 66.78/66.85 c | Conflicts | Original | Learnt | Progress | 66.78/66.85 c | | Clauses Literals | Max Clauses Literals LPC | | 66.78/66.85 c ============================================================================== 66.78/66.85 c | 565806 | 37880 93314 | 12626 8831 186716 21.1 | 4.936 % | 66.78/66.86 c ============================================================================== 66.78/66.86 c [1mOptimal solution: 62[0m 66.78/66.86 s OPTIMUM FOUND 66.78/66.86 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 66.78/66.86 c _______________________________________________________________________________ 66.78/66.86 c 66.78/66.86 c restarts : 63 66.78/66.86 c conflicts : 565816 (8465 /sec) 66.78/66.86 c decisions : 846030 (12657 /sec) 66.78/66.86 c propagations : 0 (0 /sec) 66.78/66.86 c inspects : 0 (0 /sec) 66.78/66.86 c CPU time : 66.8408 s 66.78/66.86 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-3721209-1338554378/watcher-3721209-1338554378 -o /tmp/evaluation-result-3721209-1338554378/solver-3721209-1338554378 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721209-1338554378.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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.68 4/175 27256 /proc/meminfo: memFree=27758064/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=1264 CPUtime=0 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 181 0 0 0 0 0 0 0 20 0 1 0 321562124 1294336 139 33554432000 134512640 135395479 4291416416 4291415248 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 316 139 74 216 0 98 0 [startup+0.074232 s] /proc/loadavg: 2.00 1.99 1.68 4/175 27256 /proc/meminfo: memFree=27758064/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=2276 CPUtime=0.07 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 463 0 0 0 7 0 0 0 20 0 1 0 321562124 2330624 421 33554432000 134512640 135395479 4291416416 4291414040 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 569 421 106 216 0 351 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2276 [startup+0.100257 s] /proc/loadavg: 2.00 1.99 1.68 4/175 27256 /proc/meminfo: memFree=27758064/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=2540 CPUtime=0.09 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 504 0 0 0 9 0 0 0 20 0 1 0 321562124 2600960 462 33554432000 134512640 135395479 4291416416 4291414316 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 635 462 106 216 0 417 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2540 [startup+0.30022 s] /proc/loadavg: 2.00 1.99 1.68 4/175 27256 /proc/meminfo: memFree=27758064/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=3464 CPUtime=0.29 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 753 0 0 0 29 0 0 0 20 0 1 0 321562124 3547136 711 33554432000 134512640 135395479 4291416416 4291414384 134577275 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 866 711 106 216 0 648 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3464 [startup+0.700222 s] /proc/loadavg: 2.00 1.99 1.68 4/175 27256 /proc/meminfo: memFree=27758064/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=3596 CPUtime=0.69 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 795 0 0 0 69 0 0 0 20 0 1 0 321562124 3682304 753 33554432000 134512640 135395479 4291416416 4291414768 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 899 753 106 216 0 681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3596 [startup+1.50023 s] /proc/loadavg: 2.00 1.99 1.68 3/177 27258 /proc/meminfo: memFree=27754964/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=4560 CPUtime=1.49 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 1006 0 0 0 149 0 0 0 20 0 1 0 321562124 4669440 964 33554432000 134512640 135395479 4291416416 4291414768 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 1140 964 106 216 0 922 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4560 [startup+3.10022 s] /proc/loadavg: 2.00 1.99 1.68 3/177 27258 /proc/meminfo: memFree=27753584/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=4956 CPUtime=3.09 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 1138 0 0 0 309 0 0 0 20 0 1 0 321562124 5074944 1096 33554432000 134512640 135395479 4291416416 4291414768 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 1239 1096 106 216 0 1021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4956 [startup+6.30022 s] /proc/loadavg: 2.00 1.99 1.68 3/177 27258 /proc/meminfo: memFree=27752964/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=6032 CPUtime=6.29 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 1384 0 0 0 629 0 0 0 20 0 1 0 321562124 6176768 1342 33554432000 134512640 135395479 4291416416 4291414384 134576199 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 1508 1342 106 216 0 1290 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6032 [startup+12.7002 s] /proc/loadavg: 2.00 1.99 1.68 3/177 27258 /proc/meminfo: memFree=27743480/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=15444 CPUtime=12.69 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 3705 0 0 0 1268 1 0 0 20 0 1 0 321562124 15814656 3572 33554432000 134512640 135395479 4291416416 4291414768 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 3861 3572 111 216 0 3643 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15444 [startup+25.5002 s] /proc/loadavg: 2.00 1.99 1.69 3/178 27261 /proc/meminfo: memFree=27739720/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=19208 CPUtime=25.49 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 4626 0 0 0 2548 1 0 0 20 0 1 0 321562124 19668992 4493 33554432000 134512640 135395479 4291416416 4291414768 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 4802 4493 111 216 0 4584 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19208 [startup+51.1003 s] /proc/loadavg: 2.00 1.99 1.69 3/178 27261 /proc/meminfo: memFree=27736156/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23100 CPUtime=51.08 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5539 0 0 0 5107 1 0 0 20 0 1 0 321562124 23654400 5406 33554432000 134512640 135395479 4291416416 4291414768 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5775 5406 111 216 0 5557 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23100 Solver just ended. Dumping a history of the last processes samples [startup+57.5002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735784/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23316 CPUtime=57.48 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5621 0 0 0 5747 1 0 0 20 0 1 0 321562124 23875584 5488 33554432000 134512640 135395479 4291416416 4291414768 134581053 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5829 5488 111 216 0 5611 0 Current children cumulated CPU time (s) 57.48 Current children cumulated vsize (KiB) 23316 [startup+60.7003 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735536/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=60.68 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5696 0 0 0 6067 1 0 0 20 0 1 0 321562124 24260608 5563 33554432000 134512640 135395479 4291416416 4291414672 134568477 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5563 111 216 0 5705 0 Current children cumulated CPU time (s) 60.68 Current children cumulated vsize (KiB) 23692 [startup+63.9002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735412/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=63.88 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5696 0 0 0 6387 1 0 0 20 0 1 0 321562124 24260608 5563 33554432000 134512640 135395479 4291416416 4291414768 134581426 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5563 111 216 0 5705 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 23692 [startup+65.5003 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735412/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=65.48 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5699 0 0 0 6547 1 0 0 20 0 1 0 321562124 24260608 5566 33554432000 134512640 135395479 4291416416 4291414672 134568477 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5566 111 216 0 5705 0 Current children cumulated CPU time (s) 65.48 Current children cumulated vsize (KiB) 23692 [startup+66.3002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735412/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=66.28 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5699 0 0 0 6627 1 0 0 20 0 1 0 321562124 24260608 5566 33554432000 134512640 135395479 4291416416 4291414768 134569775 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5566 111 216 0 5705 0 Current children cumulated CPU time (s) 66.28 Current children cumulated vsize (KiB) 23692 [startup+66.7002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735412/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=66.68 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5699 0 0 0 6667 1 0 0 20 0 1 0 321562124 24260608 5566 33554432000 134512640 135395479 4291416416 4291414720 134580299 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5566 111 216 0 5705 0 Current children cumulated CPU time (s) 66.68 Current children cumulated vsize (KiB) 23692 [startup+66.8002 s] /proc/loadavg: 2.00 1.99 1.70 3/178 27261 /proc/meminfo: memFree=27735412/32873844 swapFree=7632/7632 [pid=27256] ppid=27254 vsize=23692 CPUtime=66.78 cores=0,2,4,6 /proc/27256/stat : 27256 (minisat+) R 27254 27256 27087 0 -1 4202496 5699 0 0 0 6677 1 0 0 20 0 1 0 321562124 24260608 5566 33554432000 134512640 135395479 4291416416 4291226304 134809814 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/27256/statm: 5923 5566 111 216 0 5705 0 Current children cumulated CPU time (s) 66.78 Current children cumulated vsize (KiB) 23692 Child status: 30 Real time (s): 66.8698 CPU time (s): 66.8588 CPU user time (s): 66.8428 CPU system time (s): 0.015997 CPU usage (%): 99.9836 Max. virtual memory (cumulated for all children) (KiB): 23692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 66.8428 system time used= 0.015997 maximum resident set size= 22268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5703 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 79 runsolver used 0.088986 second user time and 0.277957 second system time The end
Begin job on node141 at 2012-06-01 14:39:38 IDJOB=3721209 IDBENCH=2025 IDSOLVER=2306 FILE ID=node141/3721209-1338554378 RUNJOBID= node141-1338552573-27103 PBS_JOBID= 14635843 Free space on /tmp= 70740 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721209-1338554378/watcher-3721209-1338554378 -o /tmp/evaluation-result-3721209-1338554378/solver-3721209-1338554378 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721209-1338554378.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da RANDOM SEED=1601986658 node141.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.744 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 : 5333.48 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.744 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.744 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.93 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.744 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.92 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.744 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.744 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.744 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.92 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.744 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: 32873844 kB MemFree: 27758848 kB Buffers: 330476 kB Cached: 2933924 kB SwapCached: 216 kB Active: 2089344 kB Inactive: 2148720 kB Active(anon): 964508 kB Inactive(anon): 11300 kB Active(file): 1124836 kB Inactive(file): 2137420 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 2352 kB Writeback: 0 kB AnonPages: 980200 kB Mapped: 11096 kB Shmem: 172 kB Slab: 734784 kB SReclaimable: 177384 kB SUnreclaim: 557400 kB KernelStack: 1448 kB PageTables: 5828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1090980 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 946176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721209-1338554378.opb Free space on /tmp at the end= 70740 MiB End job on node141 at 2012-06-01 14:40:45