Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | OPT | -7 | 163.974 | 164.025 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb |
MD5SUM | aaad086a46811221a1e6b3eb30cad49d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 2.03269 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 1340 |
Total number of constraints | 207 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 207 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 425 |
Number of terms in the objective function | 425 |
Biggest coefficient in the objective function | 10486 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 524475 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524482 |
Number of bits of the biggest sum of numbers | 20 |
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 c Parsing PB file... 0.07 c Converting 209 PB-constraints to clauses... 0.08 c -- Unit propagations: (none) 0.08 c -- Detecting intervals from adjacent constraints: ### 0.08 c -- Clauses(.)/Splits(s): ......................... 0.08 c ---[ 183]---> Adder-cost: 106 maxlim: 55 bits: 6/6 0.09 c ---[ 182]---> BDD-cost: 6 0.09 c ---[ 181]---> Sorter-cost: 658 Base: 2 0.09 c ---[ 180]---> Sorter-cost: 632 Base: 2 0.09 c ---[ 179]---> Sorter-cost: 634 Base: 2 0.09 c ---[ 177]---> BDD-cost: 49 0.09 c ---[ 176]---> Sorter-cost: 258 Base: 3 0.09 c ---[ 175]---> Sorter-cost: 258 Base: 3 0.09 c ---[ 174]---> Sorter-cost: 258 Base: 3 0.09 c ---[ 173]---> Sorter-cost: 258 Base: 3 0.09 c ---[ 172]---> Sorter-cost: 213 Base: 3 0.10 c ---[ 169]---> BDD-cost: 2 0.10 c ---[ 167]---> BDD-cost: 2 0.10 c ---[ 165]---> BDD-cost: 2 0.10 c ---[ 163]---> BDD-cost: 2 0.10 c ---[ 161]---> BDD-cost: 2 0.10 c ---[ 160]---> BDD-cost: 6 0.10 c ---[ 159]---> Sorter-cost: 602 Base: 2 0.10 c ---[ 158]---> Sorter-cost: 562 Base: 2 0.10 c ---[ 157]---> Sorter-cost: 602 Base: 2 0.10 c ---[ 156]---> Sorter-cost: 562 Base: 2 0.10 c ---[ 155]---> Sorter-cost: 602 Base: 2 0.10 c ---[ 154]---> Sorter-cost: 562 Base: 2 0.10 c ---[ 153]---> Sorter-cost: 602 Base: 2 0.11 c ---[ 152]---> Sorter-cost: 562 Base: 2 0.11 c ---[ 151]---> Sorter-cost: 602 Base: 2 0.11 c ---[ 150]---> Sorter-cost: 562 Base: 2 0.11 c ---[ 148]---> Sorter-cost: 608 Base: 2 0.11 c ---[ 147]---> Sorter-cost: 572 Base: 2 0.11 c ---[ 146]---> Sorter-cost: 608 Base: 2 0.11 c ---[ 145]---> Sorter-cost: 572 Base: 2 0.12 c ---[ 144]---> Sorter-cost: 608 Base: 2 0.12 c ---[ 143]---> Sorter-cost: 572 Base: 2 0.12 c ---[ 142]---> Sorter-cost: 620 Base: 2 0.12 c ---[ 141]---> Sorter-cost: 564 Base: 2 0.12 c ---[ 140]---> Sorter-cost: 582 Base: 2 0.12 c ---[ 139]---> Sorter-cost: 600 Base: 2 0.12 c ---[ 138]---> BDD-cost: 6 0.12 c ---[ 137]---> BDD-cost: 19 0.12 c ---[ 136]---> Sorter-cost: 228 Base: 7 0.13 c ---[ 135]---> Sorter-cost: 228 Base: 7 0.13 c ---[ 134]---> Sorter-cost: 228 Base: 7 0.13 c ---[ 133]---> Sorter-cost: 228 Base: 7 0.13 c ---[ 132]---> Sorter-cost: 209 Base: 7 0.13 c ---[ 129]---> Sorter-cost: 188 Base: 2 0.13 c ---[ 126]---> Sorter-cost: 188 Base: 2 0.13 c ---[ 123]---> BDD-cost: 43 0.13 c ---[ 121]---> BDD-cost: 35 0.13 c ---[ 119]---> BDD-cost: 25 0.13 c ---[ 118]---> Sorter-cost: 582 Base: 2 0.13 c ---[ 117]---> Sorter-cost: 500 Base: 2 0.13 c ---[ 116]---> Sorter-cost: 582 Base: 2 0.13 c ---[ 115]---> Sorter-cost: 500 Base: 2 0.14 c ---[ 114]---> BDD-cost: 3 0.14 c ---[ 113]---> Sorter-cost: 582 Base: 2 0.14 c ---[ 112]---> Sorter-cost: 500 Base: 2 0.14 c ---[ 111]---> Sorter-cost: 534 Base: 2 0.14 c ---[ 110]---> Sorter-cost: 498 Base: 2 0.14 c ---[ 109]---> Sorter-cost: 506 Base: 2 0.14 c ---[ 108]---> Sorter-cost: 498 Base: 2 0.15 c ---[ 107]---> BDD-cost: 7 0.15 c ---[ 106]---> Sorter-cost: 276 Base: 7 0.15 c ---[ 105]---> Sorter-cost: 276 Base: 7 0.15 c ---[ 104]---> Sorter-cost: 276 Base: 7 0.15 c ---[ 103]---> Sorter-cost: 658 Base: 2 0.15 c ---[ 102]---> Sorter-cost: 264 Base: 7 0.15 c ---[ 101]---> Sorter-cost: 249 Base: 7 0.15 c ---[ 99]---> BDD-cost: 1 0.15 c ---[ 97]---> BDD-cost: 1 0.15 c ---[ 95]---> BDD-cost: 1 0.15 c ---[ 93]---> BDD-cost: 1 0.15 c ---[ 92]---> Sorter-cost: 580 Base: 2 0.15 c ---[ 90]---> BDD-cost: 1 0.15 c ---[ 89]---> BDD-cost: 19 0.15 c ---[ 88]---> Sorter-cost: 658 Base: 2 0.16 c ---[ 87]---> Sorter-cost: 347 Base: 7 0.16 c ---[ 86]---> Sorter-cost: 677 Base: 2 0.16 c ---[ 85]---> Sorter-cost: 658 Base: 2 0.16 c ---[ 84]---> Sorter-cost: 677 Base: 2 0.16 c ---[ 83]---> Sorter-cost: 606 Base: 2 0.16 c ---[ 82]---> Sorter-cost: 653 Base: 2 0.16 c ---[ 81]---> Sorter-cost: 606 Base: 2 0.17 c ---[ 80]---> Sorter-cost: 647 Base: 2 0.17 c ---[ 79]---> Sorter-cost: 564 Base: 2 0.17 c ---[ 78]---> Sorter-cost: 576 Base: 2 0.17 c ---[ 77]---> Sorter-cost: 544 Base: 2 0.17 c ---[ 76]---> Sorter-cost: 337 Base: 7 0.17 c ---[ 75]---> Sorter-cost: 650 Base: 2 0.17 c ---[ 74]---> Sorter-cost: 544 Base: 2 0.18 c ---[ 73]---> Sorter-cost: 638 Base: 2 0.18 c ---[ 72]---> Sorter-cost: 526 Base: 2 0.18 c ---[ 71]---> Sorter-cost: 600 Base: 2 0.18 c ---[ 70]---> Sorter-cost: 526 Base: 2 0.18 c ---[ 69]---> Sorter-cost: 564 Base: 2 0.18 c ---[ 68]---> Sorter-cost: 504 Base: 2 0.18 c ---[ 67]---> Sorter-cost: 576 Base: 2 0.19 c ---[ 66]---> Sorter-cost: 504 Base: 2 0.19 c ---[ 65]---> Sorter-cost: 337 Base: 7 0.19 c ---[ 64]---> Sorter-cost: 596 Base: 2 0.19 c ---[ 63]---> Sorter-cost: 504 Base: 2 0.19 c ---[ 62]---> Sorter-cost: 596 Base: 2 0.19 c ---[ 61]---> Sorter-cost: 554 Base: 2 0.19 c ---[ 60]---> Sorter-cost: 602 Base: 2 0.20 c ---[ 59]---> Sorter-cost: 542 Base: 2 0.20 c ---[ 58]---> Sorter-cost: 574 Base: 2 0.20 c ---[ 57]---> Sorter-cost: 588 Base: 2 0.21 c ---[ 56]---> Sorter-cost: 614 Base: 2 0.21 c ---[ 55]---> Sorter-cost: 552 Base: 2 0.21 c ---[ 54]---> Sorter-cost: 341 Base: 7 0.21 c ---[ 53]---> Sorter-cost: 576 Base: 2 0.21 c ---[ 52]---> Sorter-cost: 552 Base: 2 0.21 c ---[ 51]---> Sorter-cost: 576 Base: 2 0.22 c ---[ 50]---> Sorter-cost: 534 Base: 2 0.22 c ---[ 49]---> Sorter-cost: 600 Base: 2 0.22 c ---[ 48]---> Sorter-cost: 458 Base: 2 0.22 c ---[ 47]---> Sorter-cost: 572 Base: 2 0.22 c ---[ 46]---> Sorter-cost: 287 Base: 2 2 0.22 c ---[ 45]---> Sorter-cost: 315 Base: 3 0.22 c ---[ 44]---> Sorter-cost: 267 Base: 3 0.22 c ---[ 43]---> Sorter-cost: 309 Base: 2 0.23 c ---[ 42]---> Sorter-cost: 267 Base: 3 0.23 c ---[ 41]---> Sorter-cost: 301 Base: 3 0.23 c ---[ 40]---> Sorter-cost: 277 Base: 3 0.23 c ---[ 38]---> BDD-cost: 5 0.23 c ---[ 36]---> BDD-cost: 5 0.23 c ---[ 34]---> BDD-cost: 5 0.23 c ---[ 31]---> BDD-cost: 5 0.23 c ---[ 29]---> BDD-cost: 4 0.23 c ---[ 28]---> Sorter-cost: 526 Base: 2 0.23 c ---[ 27]---> Sorter-cost: 582 Base: 2 0.23 c ---[ 26]---> Sorter-cost: 526 Base: 2 0.23 c ---[ 25]---> Sorter-cost: 582 Base: 2 0.23 c ---[ 24]---> Sorter-cost: 526 Base: 2 0.24 c ---[ 23]---> Sorter-cost: 582 Base: 2 0.24 c ---[ 22]---> Sorter-cost: 576 Base: 2 0.24 c ---[ 21]---> BDD-cost: 5 0.24 c ---[ 20]---> Sorter-cost: 556 Base: 2 0.24 c ---[ 19]---> Sorter-cost: 552 Base: 2 0.24 c ---[ 18]---> Sorter-cost: 556 Base: 2 0.24 c ---[ 17]---> Sorter-cost: 504 Base: 2 0.24 c ---[ 16]---> Sorter-cost: 582 Base: 2 0.25 c ---[ 15]---> Sorter-cost: 504 Base: 2 0.25 c ---[ 14]---> Sorter-cost: 582 Base: 2 0.25 c ---[ 13]---> Sorter-cost: 504 Base: 2 0.25 c ---[ 12]---> Sorter-cost: 582 Base: 2 0.25 c ---[ 11]---> Sorter-cost: 528 Base: 2 0.25 c ---[ 9]---> Sorter-cost: 558 Base: 2 0.25 c ---[ 8]---> Sorter-cost: 528 Base: 2 0.26 c ---[ 7]---> Sorter-cost: 558 Base: 2 0.26 c ---[ 6]---> Sorter-cost: 458 Base: 2 0.26 c ---[ 5]---> Sorter-cost: 582 Base: 2 0.26 c ---[ 4]---> Sorter-cost: 458 Base: 2 0.26 c ---[ 3]---> Sorter-cost: 582 Base: 2 0.26 c ---[ 2]---> Sorter-cost: 458 Base: 2 0.26 c ---[ 1]---> Sorter-cost: 582 Base: 2 0.27 c ---[ 0]---> Sorter-cost: 532 Base: 2 0.37 c ==================================[MINISAT+]================================== 0.37 c | Conflicts | Original | Learnt | Progress | 0.37 c | | Clauses Literals | Max Clauses Literals LPC | | 0.37 c ============================================================================== 0.37 c | 0 | 98742 233055 | 32914 0 0 nan | 0.000 % | 0.41 c | 100 | 98616 232786 | 36205 96 1117 11.6 | 2.035 % | 0.44 c | 251 | 98608 232770 | 39825 246 3600 14.6 | 2.043 % | 0.49 c | 476 | 98526 232596 | 43808 454 7085 15.6 | 2.119 % | 0.56 c | 813 | 98512 232568 | 48189 790 10184 12.9 | 2.133 % | 0.63 c | 1319 | 98512 232568 | 53008 1296 25461 19.6 | 2.133 % | 0.73 c | 2078 | 98512 232568 | 58309 2055 43181 21.0 | 2.133 % | 0.91 c | 3218 | 98471 232478 | 64140 3181 68853 21.6 | 2.157 % | 1.23 c | 4928 | 98444 232419 | 70554 4888 113361 23.2 | 2.172 % | 1.61 c | 7490 | 98382 232290 | 77609 7403 178663 24.1 | 2.229 % | 2.35 c | 11334 | 98320 232158 | 85370 11241 346970 30.9 | 2.290 % | 3.60 c | 17101 | 98300 232115 | 93907 16829 510259 30.3 | 2.306 % | 5.99 c | 25750 | 98300 232115 | 103298 25478 747007 29.3 | 2.306 % | 9.24 c | 38725 | 97960 231388 | 113628 38257 1112348 29.1 | 2.569 % | 14.65 c | 58187 | 97677 230769 | 124990 57381 1593325 27.8 | 2.755 % | 27.62 c | 87379 | 97623 230648 | 137489 86267 2510900 29.1 | 2.802 % | 47.83 c | 131169 | 97450 230275 | 151238 130033 3691988 28.4 | 2.932 % | 78.31 c | 196853 | 96596 228415 | 166362 51943 1378391 26.5 | 3.538 % | 112.22 c | 295379 | 96028 227132 | 182999 150341 4226680 28.1 | 3.960 % | 121.09 c ============================================================================== 121.09 c [1mFound solution: -6[0m 121.09 o -6 121.09 c ---[ 0]---> Sorter-cost: 1322 Base: 2 121.17 c ==================================[MINISAT+]================================== 121.17 c | Conflicts | Original | Learnt | Progress | 121.17 c | | Clauses Literals | Max Clauses Literals LPC | | 121.17 c ============================================================================== 121.17 c | 313492 | 98939 233969 | 32979 168333 4711594 28.0 | 3.960 % | 122.14 c | 313594 | 98939 233969 | 36276 19302 416106 21.6 | 3.991 % | 122.20 c | 313744 | 98907 233903 | 39904 19335 416378 21.5 | 4.024 % | 122.28 c | 313969 | 98894 233875 | 43895 19526 420090 21.5 | 4.035 % | 122.36 c | 314306 | 98879 233841 | 48284 19860 426300 21.5 | 4.052 % | 122.49 c | 314813 | 98864 233810 | 53113 20364 437301 21.5 | 4.068 % | 122.67 c | 315573 | 98777 233626 | 58424 21058 451072 21.4 | 4.160 % | 122.84 c | 316712 | 98777 233626 | 64266 22197 492632 22.2 | 4.160 % | 123.46 c | 318420 | 98741 233538 | 70693 23772 526385 22.1 | 4.185 % | 123.95 c | 320984 | 98741 233538 | 77762 26336 606080 23.0 | 4.185 % | 124.86 c | 324828 | 98725 233501 | 85539 30179 711436 23.6 | 4.195 % | 126.38 c | 330594 | 98725 233501 | 94092 35945 852128 23.7 | 4.195 % | 129.30 c ============================================================================== 129.30 c [1mFound solution: -7[0m 129.30 o -7 129.30 c ---[ 0]---> Sorter-cost: 1 Base: 2 129.33 c ==================================[MINISAT+]================================== 129.33 c | Conflicts | Original | Learnt | Progress | 129.33 c | | Clauses Literals | Max Clauses Literals LPC | | 129.33 c ============================================================================== 129.33 c | 337169 | 98665 233385 | 32888 42469 994069 23.4 | 4.195 % | 129.43 c | 337269 | 98665 233385 | 36176 16739 296695 17.7 | 4.238 % | 129.48 c | 337419 | 98665 233385 | 39794 16889 298323 17.7 | 4.238 % | 129.52 c | 337644 | 98665 233385 | 43773 17114 301128 17.6 | 4.238 % | 129.57 c | 337981 | 98665 233385 | 48151 17451 304839 17.5 | 4.238 % | 129.68 c | 338487 | 98665 233385 | 52966 17957 317100 17.7 | 4.238 % | 129.85 c | 339251 | 98642 233335 | 58263 18717 334015 17.8 | 4.252 % | 130.02 c | 340393 | 98642 233335 | 64089 19859 357307 18.0 | 4.252 % | 130.38 c | 342102 | 98624 233296 | 70498 21563 397307 18.4 | 4.271 % | 132.66 c | 344667 | 97952 231755 | 77548 24103 468214 19.4 | 4.705 % | 136.88 c | 348511 | 97806 231418 | 85303 27937 544165 19.5 | 4.799 % | 147.23 c | 354277 | 97686 231132 | 93833 33685 694501 20.6 | 4.878 % | 161.92 c | 362927 | 97677 231101 | 103216 42328 890382 21.0 | 4.880 % | 164.01 c ============================================================================== 164.01 c [1mOptimal solution: -7[0m 164.01 s OPTIMUM FOUND 164.01 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x923 -x924 -x925 -x926 164.01 v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 164.01 v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 164.01 v -x971 -x972 -x973 -x974 -x975 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 164.01 v -x994 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 164.01 v -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 164.01 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 164.01 v x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 164.01 v x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 164.01 v -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 164.01 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 164.01 v -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 164.01 v -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 164.01 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 164.01 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 164.01 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 164.01 v x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 164.01 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 164.01 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 164.01 v -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 164.01 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 164.01 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 164.01 v -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 164.01 v -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x922 -x885 x1049 -x260 -x261 x262 -x263 -x264 x265 164.01 v -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 164.01 v -x287 -x288 -x289 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 164.01 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x886 -x1340 -x291 -x292 -x293 -x294 -x295 -x296 164.01 v -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 164.01 v -x318 -x319 -x320 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 164.01 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x1067 -x1086 -x321 -x322 -x323 -x324 -x325 -x326 164.01 v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 164.01 v -x348 -x349 -x350 -x1104 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 164.01 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x1122 -x381 -x382 -x383 -x384 -x385 164.01 v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 164.01 v -x407 -x408 -x409 -x410 x1140 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 164.01 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x1158 -x441 -x442 -x443 -x444 -x445 164.01 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 164.01 v -x467 -x468 -x469 -x470 -x940 -x887 -x1177 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 164.01 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x888 -x1195 -x501 164.01 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 164.01 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x889 x1213 -x531 -x532 -x533 -x534 -x535 -x536 x537 x538 -x539 -x540 x541 164.01 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x890 -x1231 164.01 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 164.01 v -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x892 -x1249 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 164.01 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 164.01 v -x958 x893 x1268 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 164.01 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x894 -x1286 -x652 -x653 -x654 -x655 -x656 -x657 164.01 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 164.01 v -x679 -x680 -x681 x895 -x1304 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 164.01 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x896 -x1322 -x897 -x802 -x803 -x804 164.01 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 164.01 v -x826 -x827 -x828 -x829 -x830 -x831 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 164.01 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x976 -x832 -x833 -x834 -x835 -x836 164.01 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 164.01 v -x858 -x859 -x860 -x861 x898 x899 -x900 x901 x903 x1 x995 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 164.01 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 164.01 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 164.01 v -x199 -x904 x869 x1013 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 164.01 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 164.01 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x880 -x1031 -x80 -x81 -x82 164.01 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 164.01 v -x107 -x108 -x109 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 164.01 v -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x891 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 164.01 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 164.01 v -x139 x902 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 164.01 v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x977 -x1068 x1159 x1250 -x2 -x290 -x591 x862 -x863 -x864 164.01 v x865 x866 x867 x868 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x881 -x882 -x883 -x884 164.01 c _______________________________________________________________________________ 164.01 c 164.01 c restarts : 44 164.01 c conflicts : 364272 (2223 /sec) 164.01 c decisions : 672331 (4102 /sec) 164.01 c propagations : 0 (0 /sec) 164.01 c inspects : 0 (0 /sec) 164.01 c CPU time : 163.89 s 164.01 c _______________________________________________________________________________
OK -7
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node87/watcher-35170-1149362515 -o ROOT/results/node87/solver-35170-1149362515 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node87/35170-1149362515/instance-35170-1149362515.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.97 1.00 0.94 3/67 2674 /proc/meminfo: memFree=1710392/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=1048 CPUtime=0 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 122 0 0 0 0 0 0 0 19 0 1 0 201890633 1073152 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 262 108 74 215 0 44 0 [startup+10.0024 s] /proc/loadavg: 0.97 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1693056/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=19940 CPUtime=9.99 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 4610 0 0 0 997 2 0 0 25 0 1 0 201890633 20418560 4437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 4985 4437 124 215 0 4767 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 19940 [startup+20.0076 s] /proc/loadavg: 0.98 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1689216/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=23720 CPUtime=19.99 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 5565 0 0 0 1996 3 0 0 25 0 1 0 201890633 24289280 5392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 5930 5392 124 215 0 5712 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 23720 [startup+30.0138 s] /proc/loadavg: 0.98 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1684672/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=28316 CPUtime=30 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 6702 0 0 0 2996 4 0 0 25 0 1 0 201890633 28995584 6529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 7079 6529 124 215 0 6861 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 28316 [startup+40.0199 s] /proc/loadavg: 0.98 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1681088/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=31864 CPUtime=39.99 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 7599 0 0 0 3995 4 0 0 25 0 1 0 201890633 32628736 7426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581439 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 7966 7426 124 215 0 7748 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 31864 [startup+50.0261 s] /proc/loadavg: 0.98 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1678592/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=34396 CPUtime=50 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 8237 0 0 0 4995 5 0 0 25 0 1 0 201890633 35221504 8064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 8599 8064 124 215 0 8381 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 34396 [startup+60.0322 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1675136/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=37952 CPUtime=60 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9094 0 0 0 5995 5 0 0 25 0 1 0 201890633 38862848 8921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9488 8921 124 215 0 9270 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 37952 [startup+70.0374 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1674816/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=38208 CPUtime=70 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9165 0 0 0 6995 5 0 0 25 0 1 0 201890633 39124992 8992 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581042 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9552 8992 124 215 0 9334 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 38208 [startup+80.0436 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1674624/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=38488 CPUtime=80.01 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9218 0 0 0 7996 5 0 0 25 0 1 0 201890633 39411712 9045 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9622 9045 124 215 0 9404 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38488 [startup+90.0497 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1674496/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=38620 CPUtime=90.01 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9246 0 0 0 8996 5 0 0 25 0 1 0 201890633 39546880 9073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9655 9073 124 215 0 9437 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 38620 [startup+100.056 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1674496/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=38620 CPUtime=100.01 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9246 0 0 0 9996 5 0 0 25 0 1 0 201890633 39546880 9073 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9655 9073 124 215 0 9437 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 38620 [startup+110.062 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1674176/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=39056 CPUtime=110.02 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 9330 0 0 0 10996 6 0 0 25 0 1 0 201890633 39993344 9157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 9764 9157 124 215 0 9546 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 39056 [startup+120.068 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1671360/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=41828 CPUtime=120.03 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 10036 0 0 0 11996 7 0 0 25 0 1 0 201890633 42831872 9863 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 10457 9863 124 215 0 10239 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 41828 [startup+130.073 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1670784/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=42392 CPUtime=130.03 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 10183 0 0 0 12996 7 0 0 25 0 1 0 201890633 43409408 10010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 10598 10010 124 215 0 10380 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 42392 [startup+140.079 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1670784/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=42392 CPUtime=140.03 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 10183 0 0 0 13996 7 0 0 25 0 1 0 201890633 43409408 10010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 10598 10010 124 215 0 10380 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 42392 [startup+150.085 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1670592/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=42532 CPUtime=150.04 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 10222 0 0 0 14997 7 0 0 25 0 1 0 201890633 43552768 10049 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580349 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 10633 10049 124 215 0 10415 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 42532 [startup+160.091 s] /proc/loadavg: 0.99 1.00 0.94 2/67 2674 /proc/meminfo: memFree=1670336/2055888 swapFree=4085404/4096564 [pid=2674] ppid=2672 vsize=42816 CPUtime=160.04 /proc/2674/stat : 2674 (minisat+) R 2672 2674 2628 0 -1 4194304 10285 0 0 0 15997 7 0 0 25 0 1 0 201890633 43843584 10112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2674/statm: 10704 10112 124 215 0 10486 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 42816 Child status: 30 Real time (s): 164.025 CPU time (s): 163.974 CPU user time (s): 163.895 CPU system time (s): 0.078987 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 42816
Begin job on node87 on Sat Jun 3 19:21:55 UTC 2006 FILE ID= 35170-1149362515 PBS_JOBID= 311600 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-noswot.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node87/35170-1149362515/instance-35170-1149362515.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-35170-1149362515 -o ROOT/results/node87/solver-35170-1149362515 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node87/35170-1149362515/instance-35170-1149362515.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= aaad086a46811221a1e6b3eb30cad49d RANDOM SEED= 187463188 /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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.17 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.234 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1710600 kB Buffers: 27364 kB Cached: 253848 kB SwapCached: 2348 kB Active: 47768 kB Inactive: 242132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1710600 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16760 kB Slab: 42092 kB Committed_AS: 300184 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 3 19:24:39 UTC 2006