Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_8-unsat.opb |
MD5SUM | a4c61139e0eb75a13e9da4d40232e606 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 311.848 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 29040 |
Total number of constraints | 96434 |
Number of constraints which are clauses | 95958 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 476 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 740 |
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.26 c PB-wave - v2 0.00/0.26 c command line = ./PB-wave 0.00/0.26 c seed = 85081349 0.00/0.26 c cutoff = 1000000 0.00/0.26 c tries = 1000000 0.00/0.26 c heuristic = c best, noise 50 / 100 0.00/0.26 #var 29040 #con 96434 0.00/0.26 mode is SAT 0.00/0.26 c tail starts after flip = 87120 0.00/0.26 c numatom = 29040, numclause = 96434, numliterals = 262100 0.00/0.26 c wff read in 0.00/0.26 c 0.00/0.26 c lowest final avg noise noise total avg mean mean 0.00/0.26 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.26 c this this this this this this success success until std 0.00/0.26 c try try try try try try rate tries assign dev 0.00/0.26 c 2.79/2.85 c 967 1274 1271.15 125.27 10.15 1000000 0 5.39/5.44 c 976 1151 1249.45 125.35 9.97 1000000 0 7.99/8.05 c 987 1197 1258.20 192.22 6.55 1000000 0 10.58/10.64 c 922 1190 1258.80 161.41 7.80 1000000 0 13.19/13.25 c 1048 1135 1288.86 136.83 9.42 1000000 0 15.78/15.83 c 1005 1266 1250.52 148.29 8.43 1000000 0 18.38/18.45 c 1043 1227 1281.09 162.63 7.88 1000000 0 20.98/21.05 c 1007 1277 1258.47 132.03 9.53 1000000 0 23.58/23.65 c 967 1182 1274.11 133.27 9.56 1000000 0 26.18/26.26 c 951 1307 1286.10 155.68 8.26 1000000 0 28.78/28.85 c 954 1092 1254.94 140.03 8.96 1000000 0 31.38/31.43 c 977 1317 1245.97 146.14 8.53 1000000 0 33.99/34.02 c 942 1197 1242.78 143.15 8.68 1000000 0 36.58/36.60 c 972 1259 1238.99 117.60 10.54 1000000 0 39.18/39.21 c 1049 1265 1286.20 173.48 7.41 1000000 0 41.68/41.80 c 946 1032 1267.03 146.93 8.62 1000000 0 44.38/44.40 c 957 1300 1272.72 130.98 9.72 1000000 0 46.97/47.01 c 1003 1365 1288.10 153.85 8.37 1000000 0 49.57/49.61 c 1017 1143 1271.67 150.05 8.47 1000000 0 52.17/52.20 c 977 1113 1265.88 140.31 9.02 1000000 0 54.77/54.80 c 985 1215 1285.26 130.94 9.82 1000000 0 57.27/57.40 c 964 1180 1251.66 143.37 8.73 1000000 0 59.87/59.99 c 964 1228 1274.67 128.32 9.93 1000000 0 62.47/62.58 c 987 1292 1283.89 163.98 7.83 1000000 0 65.07/65.17 c 1006 1264 1268.31 113.65 11.16 1000000 0 67.67/67.76 c 961 1254 1262.09 155.85 8.10 1000000 0 70.28/70.35 c 960 1256 1266.99 163.29 7.76 1000000 0 72.87/72.94 c 952 1213 1261.78 136.21 9.26 1000000 0 75.47/75.56 c 1005 1261 1284.60 151.63 8.47 1000000 0 78.07/78.16 c 1025 1204 1275.61 129.95 9.82 1000000 0 80.67/80.74 c 1011 1292 1248.20 123.49 10.11 1000000 0 83.27/83.35 c 1043 1211 1291.66 136.57 9.46 1000000 0 85.87/85.95 c 953 1227 1259.80 144.91 8.69 1000000 0 88.46/88.54 c 969 1092 1273.75 138.69 9.18 1000000 0 91.06/91.15 c 989 1171 1302.55 131.85 9.88 1000000 0 93.66/93.75 c 945 1187 1280.42 149.81 8.55 1000000 0 96.26/96.34 c 983 1103 1269.62 154.66 8.21 1000000 0 98.87/98.93 c 966 1368 1247.48 138.74 8.99 1000000 0 101.46/101.52 c 1027 1160 1269.51 132.05 9.61 1000000 0 104.06/104.10 c 987 1198 1254.64 142.78 8.79 1000000 0 106.57/106.70 c 924 1205 1259.08 138.18 9.11 1000000 0 109.26/109.30 c 983 1294 1263.29 148.54 8.50 1000000 0 111.76/111.89 c 953 1375 1248.70 149.52 8.35 1000000 0 114.36/114.49 c 1007 1327 1272.37 149.65 8.50 1000000 0 116.96/117.07 c 973 1171 1250.36 127.56 9.80 1000000 0 119.56/119.65 c 976 1110 1238.82 119.42 10.37 1000000 0 122.16/122.25 c 941 1374 1268.17 153.63 8.25 1000000 0 124.76/124.84 c 993 1175 1257.71 124.55 10.10 1000000 0 127.35/127.44 c 983 1357 1267.92 124.39 10.19 1000000 0 129.95/130.04 c 968 1265 1286.47 153.08 8.40 1000000 0 132.55/132.65 c 1011 1198 1283.40 152.83 8.40 1000000 0 135.16/135.26 c 1040 1212 1291.23 107.70 11.99 1000000 0 137.75/137.85 c 1006 1319 1268.21 144.87 8.75 1000000 0 140.35/140.45 c 1003 1232 1268.13 136.16 9.31 1000000 0 142.96/143.05 c 1009 1255 1276.71 149.68 8.53 1000000 0 145.55/145.63 c 977 1127 1269.86 132.59 9.58 1000000 0 148.15/148.23 c 964 1138 1266.71 149.77 8.46 1000000 0 150.75/150.85 c 1030 1299 1304.21 134.76 9.68 1000000 0 153.35/153.45 c 932 1036 1256.82 167.52 7.50 1000000 0 155.95/156.04 c 985 1317 1265.89 137.47 9.21 1000000 0 158.55/158.64 c 973 1283 1257.05 174.80 7.19 1000000 0 161.15/161.23 c 952 1323 1271.06 126.93 10.01 1000000 0 163.75/163.84 c 997 1268 1282.39 169.63 7.56 1000000 0 166.34/166.43 c 971 1190 1246.57 116.31 10.72 1000000 0 168.94/169.04 c 1034 1266 1307.94 169.58 7.71 1000000 0 171.55/171.64 c 1022 1408 1284.14 160.30 8.01 1000000 0 174.14/174.25 c 928 1081 1268.01 160.75 7.89 1000000 0 176.74/176.85 c 981 1392 1271.60 142.53 8.92 1000000 0 179.34/179.44 c 994 1254 1264.47 134.61 9.39 1000000 0 181.94/182.05 c 988 1298 1277.87 155.34 8.23 1000000 0 184.54/184.66 c 972 1035 1286.83 151.35 8.50 1000000 0 187.14/187.26 c 948 1109 1274.73 161.25 7.91 1000000 0 189.74/189.84 c 956 1200 1265.16 130.21 9.72 1000000 0 192.34/192.45 c 1037 1400 1271.44 122.90 10.35 1000000 0 194.94/195.07 c 1023 1321 1284.87 145.72 8.82 1000000 0 197.54/197.67 c 992 1365 1292.01 151.49 8.53 1000000 0 200.14/200.27 c 1006 1220 1281.74 170.27 7.53 1000000 0 202.73/202.87 c 1042 1153 1265.07 138.25 9.15 1000000 0 205.33/205.47 c 977 1103 1265.29 161.99 7.81 1000000 0 207.93/208.06 c 1001 1133 1282.86 129.48 9.91 1000000 0 210.53/210.67 c 999 1298 1274.80 139.92 9.11 1000000 0 213.13/213.25 c 975 1353 1240.53 120.33 10.31 1000000 0 215.73/215.85 c 1032 1269 1273.32 162.66 7.83 1000000 0 218.33/218.45 c 1027 1163 1277.62 128.03 9.98 1000000 0 220.94/221.04 c 952 1193 1264.04 140.98 8.97 1000000 0 223.53/223.64 c 1005 1366 1276.48 142.67 8.95 1000000 0 226.13/226.22 c 933 1056 1241.54 122.90 10.10 1000000 0 228.74/228.83 c 956 1220 1282.39 148.62 8.63 1000000 0 231.33/231.42 c 987 1117 1263.46 147.36 8.57 1000000 0 233.93/234.03 c 984 1236 1277.98 206.02 6.20 1000000 0 236.53/236.62 c 958 1253 1276.99 173.18 7.37 1000000 0 239.12/239.22 c 988 1310 1274.65 130.71 9.75 1000000 0 241.72/241.81 c 941 1258 1271.37 162.55 7.82 1000000 0 244.32/244.42 c 998 1257 1265.83 166.41 7.61 1000000 0 246.92/247.02 c 920 1305 1286.35 168.34 7.64 1000000 0 249.53/249.63 c 952 1279 1264.61 169.77 7.45 1000000 0 252.12/252.24 c 1003 1195 1263.34 133.07 9.49 1000000 0 254.72/254.83 c 960 1222 1261.73 154.24 8.18 1000000 0 257.33/257.43 c 993 1346 1293.56 116.20 11.13 1000000 0 259.92/260.03 c 947 1197 1275.31 149.72 8.52 1000000 0 262.52/262.65 c 919 1170 1289.55 161.07 8.01 1000000 0 265.12/265.23 c 940 1253 1241.38 179.28 6.92 1000000 0 267.72/267.82 c 991 1081 1266.19 140.38 9.02 1000000 0 270.32/270.42 c 996 1191 1267.19 157.33 8.05 1000000 0 272.92/273.00 c 1026 1193 1273.30 133.12 9.56 1000000 0 275.52/275.60 c 1007 1140 1288.00 140.93 9.14 1000000 0 278.12/278.21 c 1026 1115 1292.57 132.50 9.76 1000000 0 280.71/280.81 c 962 1128 1267.38 133.72 9.48 1000000 0 283.31/283.40 c 999 1135 1272.05 151.41 8.40 1000000 0 285.82/286.00 c 970 1301 1282.56 143.18 8.96 1000000 0 288.51/288.61 c 1005 1172 1269.62 138.95 9.14 1000000 0 291.11/291.23 c 1016 1142 1311.50 154.46 8.49 1000000 0 293.71/293.81 c 1004 1198 1258.94 117.64 10.70 1000000 0 296.21/296.39 c 966 1338 1243.42 133.68 9.30 1000000 0 298.81/298.99 c 939 1171 1281.13 154.61 8.29 1000000 0 301.41/301.58 c 891 1152 1265.30 150.64 8.40 1000000 0 304.01/304.18 c 983 1172 1284.18 123.97 10.36 1000000 0 306.61/306.76 c 944 1202 1240.16 150.76 8.23 1000000 0 309.20/309.35 c 999 1308 1249.60 147.22 8.49 1000000 0 311.80/311.95 c 976 1051 1284.67 151.58 8.48 1000000 0 314.41/314.57 c 963 1302 1279.66 151.24 8.46 1000000 0 317.00/317.17 c 989 1198 1270.49 138.38 9.18 1000000 0 319.60/319.75 c 987 1351 1242.40 136.77 9.08 1000000 0 322.21/322.34 c 981 1347 1259.98 121.54 10.37 1000000 0 324.80/324.93 c 982 1349 1260.33 133.71 9.43 1000000 0 327.40/327.54 c 986 1279 1290.20 150.40 8.58 1000000 0 330.00/330.14 c 940 1120 1257.71 145.33 8.65 1000000 0 332.60/332.73 c 988 1079 1262.93 148.43 8.51 1000000 0 335.20/335.33 c 1015 1319 1264.67 134.44 9.41 1000000 0 337.80/337.95 c 1054 1087 1319.86 143.93 9.17 1000000 0 340.40/340.56 c 1026 1140 1277.09 145.64 8.77 1000000 0 343.00/343.15 c 967 1365 1256.09 139.69 8.99 1000000 0 345.60/345.77 c 1016 1107 1315.61 147.54 8.92 1000000 0 348.20/348.36 c 941 1354 1278.52 153.66 8.32 1000000 0 350.80/350.96 c 978 1249 1261.24 115.79 10.89 1000000 0 353.39/353.57 c 1042 1316 1273.02 137.46 9.26 1000000 0 355.99/356.16 c 993 1256 1272.51 113.80 11.18 1000000 0 358.59/358.77 c 980 1148 1290.05 141.49 9.12 1000000 0 361.19/361.37 c 980 1190 1288.08 160.38 8.03 1000000 0 363.79/363.98 c 985 1308 1289.47 144.60 8.92 1000000 0 366.39/366.56 c 1031 1255 1273.28 117.45 10.84 1000000 0 368.99/369.13 c 983 1171 1224.03 141.20 8.67 1000000 0 371.60/371.73 c 979 1228 1255.87 138.16 9.09 1000000 0 374.19/374.34 c 997 1301 1280.59 139.54 9.18 1000000 0 376.79/376.94 c 1039 1345 1274.82 127.85 9.97 1000000 0 379.39/379.53 c 978 1277 1254.67 152.97 8.20 1000000 0 381.99/382.11 c 924 1239 1254.22 164.98 7.60 1000000 0 384.59/384.73 c 999 1276 1307.60 166.26 7.86 1000000 0 387.19/387.32 c 936 1194 1271.79 155.05 8.20 1000000 0 389.78/389.91 c 894 1356 1255.69 150.42 8.35 1000000 0 392.38/392.52 c 977 1215 1296.77 157.24 8.25 1000000 0 394.98/395.11 c 982 1426 1268.96 117.07 10.84 1000000 0 397.58/397.70 c 911 1076 1248.13 135.69 9.20 1000000 0 400.08/400.28 c 927 1267 1251.35 146.23 8.56 1000000 0 402.68/402.86 c 979 1241 1245.52 155.89 7.99 1000000 0 405.28/405.46 c 990 1414 1249.32 138.04 9.05 1000000 0 407.89/408.05 c 1009 1350 1272.20 134.04 9.49 1000000 0 410.48/410.64 c 950 1326 1253.22 142.26 8.81 1000000 0 413.08/413.24 c 1034 1180 1262.77 115.01 10.98 1000000 0 415.68/415.84 c 1014 1219 1274.57 139.78 9.12 1000000 0 418.28/418.43 c 990 1228 1239.96 149.16 8.31 1000000 0 420.88/421.02 c 998 1134 1278.71 150.15 8.52 1000000 0 423.48/423.61 c 942 1161 1250.30 149.04 8.39 1000000 0 426.08/426.20 c 914 1404 1274.71 135.08 9.44 1000000 0 428.57/428.79 c 1023 1284 1242.48 114.25 10.87 1000000 0 431.27/431.40 c 982 1234 1278.26 146.71 8.71 1000000 0 433.77/433.98 c 1003 1189 1240.71 114.32 10.85 1000000 0 436.37/436.57 c 934 1225 1261.51 137.26 9.19 1000000 0 438.97/439.16 c 972 1237 1260.95 155.66 8.10 1000000 0 441.57/441.75 c 957 1316 1270.92 145.93 8.71 1000000 0 444.18/444.34 c 988 1222 1272.16 129.13 9.85 1000000 0 446.77/446.96 c 960 1229 1282.55 153.70 8.34 1000000 0 449.37/449.58 c 978 1179 1280.84 147.80 8.67 1000000 0 451.98/452.19 c 938 1077 1310.29 144.27 9.08 1000000 0 454.57/454.79 c 976 1249 1258.34 141.08 8.92 1000000 0 457.17/457.38 c 987 1425 1274.72 155.56 8.19 1000000 0 459.77/459.99 c 993 1229 1295.54 167.75 7.72 1000000 0 462.37/462.58 c 986 1168 1255.21 146.37 8.58 1000000 0 464.96/465.19 c 1058 1235 1301.96 135.22 9.63 1000000 0 467.56/467.79 c 1006 1273 1265.93 157.07 8.06 1000000 0 470.16/470.38 c 1001 1163 1271.69 152.50 8.34 1000000 0 472.77/472.99 c 997 1124 1272.10 147.48 8.63 1000000 0 475.46/475.60 c 993 1118 1294.83 162.55 7.97 1000000 0 477.96/478.19 c 963 1203 1260.48 137.25 9.18 1000000 0 480.66/480.80 c 959 1368 1291.27 151.20 8.54 1000000 0 483.16/483.39 c 990 1148 1246.44 135.12 9.22 1000000 0 485.76/485.98 c 1044 1280 1275.38 149.56 8.53 1000000 0 488.36/488.58 c 1002 1135 1256.67 115.77 10.86 1000000 0 490.96/491.16 c 994 1279 1244.32 131.40 9.47 1000000 0 493.56/493.76 c 1013 1229 1279.56 108.71 11.77 1000000 0 496.16/496.37 c 1045 1261 1291.65 155.84 8.29 1000000 0 498.76/498.97 c 982 1214 1276.18 143.64 8.88 1000000 0 501.36/501.57 c 947 1110 1284.13 152.55 8.42 1000000 0 503.95/504.18 c 1002 1309 1293.05 152.36 8.49 1000000 0 506.55/506.78 c 1006 1161 1291.28 150.84 8.56 1000000 0 509.25/509.41 c 1047 1283 1317.36 170.93 7.71 1000000 0 511.85/512.00 c 970 1152 1273.88 142.63 8.93 1000000 0 514.45/514.61 c 972 1014 1267.35 160.59 7.89 1000000 0 517.05/517.20 c 971 1288 1244.22 129.73 9.59 1000000 0 519.55/519.79 c 909 1232 1270.84 173.98 7.30 1000000 0 522.15/522.38 c 956 1101 1249.23 176.21 7.09 1000000 0 524.75/524.99 c 1005 1068 1267.14 128.01 9.90 1000000 0 527.35/527.59 c 993 1156 1277.74 141.37 9.04 1000000 0 529.96/530.19 c 987 1107 1263.77 162.71 7.77 1000000 0 532.55/532.78 c 936 1289 1231.16 145.61 8.46 1000000 0 535.15/535.37 c 903 1197 1271.15 138.91 9.15 1000000 0 537.75/537.96 c 882 1130 1249.58 153.17 8.16 1000000 0 540.34/540.54 c 917 1210 1234.72 137.31 8.99 1000000 0 542.94/543.12 c 1014 1260 1259.52 138.31 9.11 1000000 0 545.54/545.72 c 1020 1195 1275.30 113.33 11.25 1000000 0 548.14/548.33 c 1002 1227 1293.68 135.57 9.54 1000000 0 550.74/550.91 c 988 1182 1245.90 146.81 8.49 1000000 0 553.34/553.52 c 1013 1326 1292.52 145.68 8.87 1000000 0 555.94/556.10 c 933 1158 1248.12 133.40 9.36 1000000 0 558.55/558.70 c 1000 1427 1271.40 117.91 10.78 1000000 0 561.14/561.30 c 987 1138 1260.58 176.10 7.16 1000000 0 563.74/563.90 c 1006 1230 1274.17 140.23 9.09 1000000 0 566.24/566.49 c 977 1215 1238.19 142.35 8.70 1000000 0 568.84/569.06 c 958 1275 1237.44 101.29 12.22 1000000 0 571.44/571.65 c 925 1109 1242.59 191.97 6.47 1000000 0 574.04/574.24 c 961 1145 1274.07 138.05 9.23 1000000 0 576.64/576.83 c 970 1355 1264.91 129.20 9.79 1000000 0 579.23/579.43 c 993 1234 1260.77 143.33 8.80 1000000 0 581.83/582.03 c 984 1245 1271.11 148.65 8.55 1000000 0 584.43/584.62 c 957 1268 1253.00 138.66 9.04 1000000 0 587.03/587.22 c 1018 1116 1270.16 145.25 8.74 1000000 0 589.63/589.80 c 945 1161 1243.50 127.03 9.79 1000000 0 592.13/592.38 c 991 1301 1257.59 160.28 7.85 1000000 0 594.73/594.97 c 1000 1243 1277.87 141.83 9.01 1000000 0 597.33/597.57 c 966 1271 1245.27 143.94 8.65 1000000 0 599.93/600.17 c 990 1198 1236.53 137.17 9.01 1000000 0 602.54/602.75 c 975 1244 1242.56 148.12 8.39 1000000 0 605.13/605.36 c 1026 1307 1294.45 148.46 8.72 1000000 0 607.73/607.97 c 943 1197 1296.33 180.99 7.16 1000000 0 610.33/610.58 c 932 1159 1292.80 164.47 7.86 1000000 0 613.03/613.22 c 1028 1201 1313.38 174.72 7.52 1000000 0 615.63/615.81 c 990 1170 1272.36 164.30 7.74 1000000 0 618.22/618.41 c 966 1279 1292.23 152.08 8.50 1000000 0 620.72/620.99 c 979 1147 1247.51 165.97 7.52 1000000 0 623.32/623.59 c 930 1331 1263.65 164.74 7.67 1000000 0 626.02/626.20 c 982 1120 1274.00 148.12 8.60 1000000 0 628.52/628.79 c 1008 1277 1269.64 134.12 9.47 1000000 0 631.13/631.39 c 1006 1194 1281.98 161.56 7.93 1000000 0 633.72/633.99 c 964 1207 1262.55 148.83 8.48 1000000 0 636.32/636.57 c 933 1334 1261.39 146.26 8.62 1000000 0 638.93/639.17 c 1007 1266 1260.01 131.72 9.57 1000000 0 641.52/641.76 c 1002 1508 1272.00 125.52 10.13 1000000 0 644.12/644.36 c 1018 1136 1267.18 154.36 8.21 1000000 0 646.72/646.96 c 961 1344 1292.49 151.60 8.53 1000000 0 649.32/649.56 c 964 1163 1267.04 162.79 7.78 1000000 0 651.92/652.17 c 989 1123 1267.60 113.75 11.14 1000000 0 654.52/654.77 c 935 1298 1268.69 120.49 10.53 1000000 0 657.12/657.37 c 1000 1234 1256.57 152.18 8.26 1000000 0 659.72/659.96 c 988 1220 1270.58 152.80 8.32 1000000 0 662.31/662.55 c 976 1325 1257.19 138.64 9.07 1000000 0 664.91/665.15 c 946 1276 1285.93 169.29 7.60 1000000 0 667.52/667.76 c 1026 1318 1297.97 147.49 8.80 1000000 0 670.11/670.35 c 951 1253 1249.30 147.90 8.45 1000000 0 672.71/672.96 c 982 1323 1279.60 139.07 9.20 1000000 0 675.31/675.58 c 1008 1329 1311.64 144.21 9.10 1000000 0 677.91/678.17 c 978 1167 1259.66 136.94 9.20 1000000 0 680.51/680.77 c 1001 1150 1287.42 143.52 8.97 1000000 0 683.11/683.37 c 1011 1138 1281.43 159.92 8.01 1000000 0 685.71/685.97 c 1063 1319 1279.48 122.79 10.42 1000000 0 688.31/688.55 c 991 1261 1244.98 158.90 7.84 1000000 0 690.91/691.14 c 1017 1187 1262.65 132.27 9.55 1000000 0 693.51/693.75 c 957 1202 1271.36 156.41 8.13 1000000 0 696.11/696.35 c 985 1234 1275.17 137.32 9.29 1000000 0 698.70/698.96 c 1006 1247 1279.54 140.30 9.12 1000000 0 701.30/701.57 c 997 1324 1288.56 157.53 8.18 1000000 0 703.90/704.17 c 972 1268 1260.22 136.18 9.25 1000000 0 706.50/706.76 c 1001 1193 1268.91 133.03 9.54 1000000 0 709.10/709.35 c 980 1259 1261.11 144.84 8.71 1000000 0 711.70/711.96 c 946 1325 1281.77 166.30 7.71 1000000 0 714.30/714.52 c 919 1072 1214.09 145.69 8.33 1000000 0 716.91/717.11 c 991 1256 1266.52 166.06 7.63 1000000 0 719.50/719.72 c 969 1096 1280.08 153.38 8.35 1000000 0 722.10/722.31 c 993 1245 1252.70 149.44 8.38 1000000 0 724.71/724.91 c 1018 1209 1272.60 149.91 8.49 1000000 0 727.30/727.51 c 975 1296 1270.04 152.34 8.34 1000000 0 729.80/730.08 c 978 1136 1247.98 137.01 9.11 1000000 0 732.40/732.67 c 1011 1294 1257.80 117.55 10.70 1000000 0 735.00/735.26 c 989 1171 1262.32 124.25 10.16 1000000 0 737.59/737.85 c 970 1290 1273.00 136.38 9.33 1000000 0 740.19/740.44 c 997 1202 1271.62 146.75 8.67 1000000 0 742.79/743.04 c 972 1246 1272.36 146.16 8.70 1000000 0 745.39/745.64 c 976 1136 1280.80 136.45 9.39 1000000 0 747.99/748.24 c 1008 1225 1276.40 142.50 8.96 1000000 0 750.59/750.82 c 964 1271 1258.43 143.42 8.77 1000000 0 753.20/753.42 c 961 1161 1262.14 169.78 7.43 1000000 0 755.79/756.01 c 990 1237 1268.41 124.85 10.16 1000000 0 758.39/758.62 c 962 1262 1275.27 164.87 7.73 1000000 0 761.00/761.21 c 984 1183 1262.47 145.94 8.65 1000000 0 763.59/763.81 c 1020 1324 1292.56 143.26 9.02 1000000 0 766.19/766.41 c 1021 1118 1277.36 147.46 8.66 1000000 0 768.69/768.99 c 1001 1273 1260.91 125.42 10.05 1000000 0 771.28/771.59 c 913 1196 1278.79 145.46 8.79 1000000 0 773.89/774.19 c 956 1283 1268.87 177.73 7.14 1000000 0 776.48/776.78 c 1018 1294 1259.66 144.13 8.74 1000000 0 779.08/779.39 c 977 1225 1277.25 158.15 8.08 1000000 0 781.68/781.97 c 959 1390 1261.78 143.07 8.82 1000000 0 784.28/784.57 c 950 1233 1248.08 127.70 9.77 1000000 0 786.88/787.17 c 948 1274 1266.82 136.57 9.28 1000000 0 789.49/789.75 c 967 1242 1249.33 144.52 8.64 1000000 0 792.08/792.34 c 1022 1395 1294.79 108.02 11.99 1000000 0 794.68/794.96 c 950 1290 1301.51 180.91 7.19 1000000 0 797.29/797.55 c 1019 1193 1258.15 137.32 9.16 1000000 0 799.88/800.16 c 1041 1318 1282.32 132.78 9.66 1000000 0 802.48/802.77 c 1024 1210 1285.78 140.04 9.18 1000000 0 805.08/805.37 c 975 1256 1271.05 153.92 8.26 1000000 0 807.68/807.98 c 989 1152 1272.56 138.62 9.18 1000000 0 810.28/810.60 c 987 1143 1295.91 177.40 7.31 1000000 0 812.98/813.20 c 1036 1330 1287.85 140.23 9.18 1000000 0 815.58/815.80 c 979 1230 1282.03 148.00 8.66 1000000 0 818.09/818.40 c 1004 1183 1271.16 132.04 9.63 1000000 0 820.68/821.00 c 1001 1209 1275.88 132.20 9.65 1000000 0 823.38/823.60 c 982 1308 1281.65 160.87 7.97 1000000 0 825.89/826.19 c 949 1336 1249.58 158.83 7.87 1000000 0 828.48/828.78 c 990 1174 1266.95 158.22 8.01 1000000 0 831.08/831.36 c 990 1288 1237.96 131.29 9.43 1000000 0 833.68/833.96 c 961 1278 1283.27 152.62 8.41 1000000 0 836.28/836.55 c 974 1297 1254.43 141.64 8.86 1000000 0 838.88/839.14 c 1007 1221 1259.59 145.61 8.65 1000000 0 841.48/841.73 c 970 1087 1241.64 144.74 8.58 1000000 0 844.08/844.35 c 1039 1288 1294.50 148.60 8.71 1000000 0 846.68/846.94 c 961 1309 1243.78 148.92 8.35 1000000 0 849.27/849.53 c 946 1150 1260.09 143.29 8.79 1000000 0 851.87/852.13 c 1000 1354 1264.87 144.49 8.75 1000000 0 854.48/854.72 c 1004 1232 1275.45 175.46 7.27 1000000 0 857.07/857.31 c 1000 1312 1259.27 119.30 10.56 1000000 0 859.67/859.91 c 956 1185 1280.01 154.31 8.30 1000000 0 862.27/862.51 c 963 1262 1276.73 138.92 9.19 1000000 0 864.87/865.10 c 998 1213 1251.81 110.56 11.32 1000000 0 867.37/867.68 c 949 1260 1258.41 123.22 10.21 1000000 0 869.97/870.26 c 979 1131 1261.88 136.58 9.24 1000000 0 872.57/872.85 c 926 1199 1277.05 161.64 7.90 1000000 0 875.17/875.46 c 1009 1173 1300.04 129.90 10.01 1000000 0 877.77/878.06 c 1000 1306 1283.81 137.06 9.37 1000000 0 880.37/880.66 c 1004 1402 1295.66 143.64 9.02 1000000 0 882.97/883.28 c 1002 1300 1297.11 158.25 8.20 1000000 0 885.56/885.87 c 934 1202 1266.61 173.68 7.29 1000000 0 888.16/888.46 c 973 1260 1268.09 133.93 9.47 1000000 0 890.77/891.04 c 943 1269 1240.95 144.97 8.56 1000000 0 893.36/893.64 c 961 1113 1263.62 153.25 8.25 1000000 0 895.96/896.22 c 953 1301 1238.03 133.20 9.29 1000000 0 898.56/898.82 c 992 1255 1256.93 169.25 7.43 1000000 0 901.16/901.42 c 996 1189 1294.90 159.44 8.12 1000000 0 903.76/904.01 c 993 1109 1257.69 173.20 7.26 1000000 0 906.36/906.62 c 1017 1423 1285.39 146.93 8.75 1000000 0 908.96/909.22 c 983 1352 1278.39 143.75 8.89 1000000 0 911.56/911.84 c 981 1392 1300.60 159.83 8.14 1000000 0 914.16/914.45 c 1021 1189 1284.99 151.76 8.47 1000000 0 916.76/917.06 c 1018 1335 1285.43 158.09 8.13 1000000 0 919.36/919.66 c 962 1291 1278.35 167.30 7.64 1000000 0 921.95/922.26 c 1015 1307 1270.16 130.82 9.71 1000000 0 924.55/924.85 c 1058 1175 1278.64 131.47 9.73 1000000 0 927.15/927.45 c 976 1225 1276.29 153.87 8.29 1000000 0 929.75/930.04 c 926 1128 1252.01 159.84 7.83 1000000 0 932.35/932.65 c 953 1004 1291.35 146.20 8.83 1000000 0 934.95/935.25 c 982 1046 1277.56 152.83 8.36 1000000 0 937.55/937.85 c 952 1148 1264.21 144.03 8.78 1000000 0 940.16/940.46 c 1008 1177 1288.56 155.54 8.28 1000000 0 942.75/943.06 c 961 1218 1277.77 172.26 7.42 1000000 0 945.35/945.65 c 992 1190 1270.67 137.39 9.25 1000000 0 947.96/948.27 c 946 946 1288.14 127.88 10.07 1000000 0 950.55/950.88 c 1014 1123 1275.38 160.30 7.96 1000000 0 953.15/953.47 c 978 1190 1267.78 135.28 9.37 1000000 0 955.75/956.09 c 994 1140 1291.21 146.29 8.83 1000000 0 958.45/958.70 c 977 1250 1307.96 157.94 8.28 1000000 0 960.94/961.29 c 969 1286 1256.47 142.82 8.80 1000000 0 963.54/963.88 c 1002 1261 1275.57 162.95 7.83 1000000 0 966.14/966.48 c 945 1350 1296.13 148.50 8.73 1000000 0 968.75/969.08 c 947 1214 1252.97 153.36 8.17 1000000 0 971.34/971.67 c 1006 1091 1281.00 136.94 9.35 1000000 0 973.94/974.27 c 959 1272 1285.91 131.93 9.75 1000000 0 976.55/976.86 c 976 1249 1259.78 153.89 8.19 1000000 0 979.14/979.46 c 944 1120 1273.61 172.76 7.37 1000000 0 981.74/982.05 c 942 1209 1245.26 140.86 8.84 1000000 0 984.34/984.66 c 1005 1236 1298.82 160.90 8.07 1000000 0 986.94/987.26 c 1002 1238 1305.95 132.07 9.89 1000000 0 989.54/989.85 c 992 1293 1268.59 135.14 9.39 1000000 0 992.14/992.47 c 1022 1425 1304.74 148.41 8.79 1000000 0 994.74/995.06 c 991 1232 1248.78 130.19 9.59 1000000 0 997.34/997.66 c 1002 1222 1276.22 127.22 10.03 1000000 0 999.94/1000.25 c 1017 1232 1265.90 130.28 9.72 1000000 0 1002.53/1002.87 c 1012 1191 1302.25 193.61 6.73 1000000 0 1005.14/1005.47 c 1017 1194 1292.68 163.23 7.92 1000000 0 1007.73/1008.07 c 1013 1430 1276.21 134.06 9.52 1000000 0 1010.33/1010.66 c 963 998 1260.91 151.28 8.33 1000000 0 1012.93/1013.24 c 951 1237 1248.65 138.57 9.01 1000000 0 1015.53/1015.85 c 977 1127 1288.03 156.81 8.21 1000000 0 1018.13/1018.42 c 962 1191 1230.09 147.89 8.32 1000000 0 1020.73/1021.03 c 1015 1201 1280.18 131.47 9.74 1000000 0 1023.33/1023.61 c 981 1340 1256.98 155.98 8.06 1000000 0 1025.83/1026.20 c 941 1254 1240.00 115.80 10.71 1000000 0 1028.53/1028.81 c 1023 1340 1306.79 195.24 6.69 1000000 0 1031.13/1031.40 c 998 1237 1266.77 121.50 10.43 1000000 0 1033.73/1034.01 c 998 1215 1292.01 154.31 8.37 1000000 0 1036.33/1036.60 c 988 1131 1270.75 139.40 9.12 1000000 0 1038.93/1039.20 c 1016 1399 1286.99 128.23 10.04 1000000 0 1041.52/1041.81 c 993 1188 1303.19 143.04 9.11 1000000 0 1044.02/1044.39 c 941 1219 1255.81 139.97 8.97 1000000 0 1046.72/1047.01 c 1018 1145 1319.14 155.34 8.49 1000000 0 1049.22/1049.58 c 946 1317 1243.45 131.24 9.47 1000000 0 1051.82/1052.19 c 1000 1216 1288.58 136.40 9.45 1000000 0 1054.42/1054.78 c 972 1333 1260.81 153.43 8.22 1000000 0 1057.02/1057.38 c 989 1294 1274.50 147.09 8.66 1000000 0 1059.62/1059.97 c 1027 1210 1281.69 129.02 9.93 1000000 0 1062.22/1062.56 c 980 1168 1275.10 172.94 7.37 1000000 0 1064.82/1065.16 c 944 1257 1256.82 156.14 8.05 1000000 0 1067.42/1067.76 c 1020 1338 1277.34 168.16 7.60 1000000 0 1070.02/1070.35 c 980 1311 1256.40 157.14 8.00 1000000 0 1072.61/1072.95 c 1013 1248 1274.84 125.30 10.17 1000000 0 1075.21/1075.54 c 964 1207 1263.87 159.21 7.94 1000000 0 1077.81/1078.13 c 866 1176 1265.53 140.09 9.03 1000000 0 1080.41/1080.73 c 1010 1224 1277.24 135.25 9.44 1000000 0 1083.01/1083.33 c 990 1315 1290.68 144.68 8.92 1000000 0 1085.61/1085.95 c 956 1266 1299.55 144.92 8.97 1000000 0 1088.21/1088.56 c 1027 1264 1284.20 134.37 9.56 1000000 0 1090.82/1091.16 c 967 1198 1267.96 131.45 9.65 1000000 0 1093.41/1093.77 c 994 1189 1278.54 143.29 8.92 1000000 0 1096.01/1096.38 c 976 1248 1293.18 141.74 9.12 1000000 0 1098.61/1098.95 c 1015 1235 1245.90 132.91 9.37 1000000 0 1101.21/1101.54 c 899 1131 1239.55 146.24 8.48 1000000 0 1103.81/1104.14 c 979 1030 1271.66 152.55 8.34 1000000 0 1106.41/1106.73 c 958 1103 1253.52 129.04 9.71 1000000 0 1109.01/1109.32 c 967 1055 1265.44 144.68 8.75 1000000 0 1111.61/1111.91 c 1015 1160 1260.08 154.40 8.16 1000000 0 1114.20/1114.51 c 943 1277 1287.60 143.10 9.00 1000000 0 1116.80/1117.10 c 935 1283 1264.23 149.49 8.46 1000000 0 1119.30/1119.68 c 1021 1263 1256.55 111.49 11.27 1000000 0 1121.90/1122.27 c 975 1070 1262.64 131.35 9.61 1000000 0 1124.50/1124.86 c 989 1135 1285.14 122.36 10.50 1000000 0 1127.11/1127.46 c 996 1251 1283.02 146.27 8.77 1000000 0 1129.70/1130.04 c 968 1315 1258.74 140.79 8.94 1000000 0 1132.30/1132.64 c 926 1238 1269.13 153.36 8.28 1000000 0 1134.91/1135.25 c 984 1148 1294.90 159.37 8.13 1000000 0 1137.50/1137.84 c 1005 1196 1289.51 162.02 7.96 1000000 0 1140.10/1140.44 c 1033 1253 1288.59 136.89 9.41 1000000 0 1142.70/1143.04 c 955 1109 1267.18 149.33 8.49 1000000 0 1145.30/1145.63 c 1019 1212 1274.02 167.58 7.60 1000000 0 1147.89/1148.22 c 985 1239 1259.48 159.08 7.92 1000000 0 1150.49/1150.82 c 976 1347 1271.01 163.61 7.77 1000000 0 1153.09/1153.43 c 1033 1344 1290.47 169.54 7.61 1000000 0 1155.70/1156.00 c 919 1404 1230.11 152.63 8.06 1000000 0 1158.19/1158.58 c 1005 1437 1260.92 125.11 10.08 1000000 0 1160.79/1161.18 c 960 1222 1260.04 150.28 8.38 1000000 0 1163.40/1163.78 c 1048 1308 1290.43 164.13 7.86 1000000 0 1165.99/1166.36 c 973 1245 1259.00 136.79 9.20 1000000 0 1168.59/1168.95 c 1004 1264 1268.43 144.81 8.76 1000000 0 1171.20/1171.55 c 1011 1272 1298.53 156.66 8.29 1000000 0 1173.79/1174.15 c 986 1083 1281.43 147.21 8.70 1000000 0 1176.39/1176.74 c 967 1125 1244.92 115.29 10.80 1000000 0 1178.99/1179.32 c 978 1328 1245.87 147.81 8.43 1000000 0 1181.59/1181.92 c 966 1242 1259.73 170.71 7.38 1000000 0 1184.19/1184.52 c 1007 1318 1284.32 153.33 8.38 1000000 0 1186.79/1187.12 c 1025 1210 1279.14 126.67 10.10 1000000 0 1189.39/1189.73 c 998 1290 1289.00 162.16 7.95 1000000 0 1191.99/1192.32 c 931 1196 1249.74 154.77 8.07 1000000 0 1194.58/1194.93 c 896 1392 1287.66 144.58 8.91 1000000 0 1197.18/1197.53 c 997 1132 1287.03 176.28 7.30 1000000 0 1199.79/1200.12 c 993 1222 1252.58 142.07 8.82 1000000 0 1202.38/1202.71 c 980 1162 1241.37 161.51 7.69 1000000 0 1204.98/1205.31 c 952 1286 1264.70 147.42 8.58 1000000 0 1207.58/1207.91 c 1006 1460 1285.10 157.58 8.16 1000000 0 1210.18/1210.51 c 969 1547 1264.42 129.92 9.73 1000000 0 1212.78/1213.10 c 1002 1307 1283.92 156.58 8.20 1000000 0 1215.38/1215.72 c 1028 1160 1291.63 120.26 10.74 1000000 0 1217.98/1218.31 c 1011 1224 1274.54 153.41 8.31 1000000 0 1220.58/1220.91 c 958 1308 1246.87 143.62 8.68 1000000 0 1223.18/1223.50 c 959 1199 1275.30 152.55 8.36 1000000 0 1225.77/1226.10 c 989 1174 1284.91 135.41 9.49 1000000 0 1228.28/1228.69 c 960 1284 1255.51 141.86 8.85 1000000 0 1230.97/1231.30 c 995 1355 1295.06 161.91 8.00 1000000 0 1233.47/1233.88 c 946 1213 1242.92 130.53 9.52 1000000 0 1236.08/1236.48 c 963 1120 1272.51 156.78 8.12 1000000 0 1238.67/1239.08 c 882 1065 1281.51 133.06 9.63 1000000 0 1241.27/1241.67 c 982 1077 1267.52 123.74 10.24 1000000 0 1243.87/1244.26 c 1022 1287 1257.19 164.99 7.62 1000000 0 1246.47/1246.87 c 1002 1205 1293.96 153.52 8.43 1000000 0 1249.07/1249.47 c 969 1275 1264.38 142.95 8.84 1000000 0 1251.67/1252.07 c 1013 1480 1273.58 148.37 8.58 1000000 0 1254.27/1254.67 c 992 1314 1261.05 137.14 9.20 1000000 0 1256.87/1257.27 c 957 1129 1272.62 163.10 7.80 1000000 0 1259.46/1259.85 c 1008 1202 1268.24 139.14 9.11 1000000 0 1262.06/1262.47 c 963 1349 1274.07 148.88 8.56 1000000 0 1264.67/1265.06 c 1025 1407 1260.46 126.02 10.00 1000000 0 1267.26/1267.67 c 1007 1238 1274.57 134.02 9.51 1000000 0 1269.86/1270.25 c 935 1247 1253.53 141.63 8.85 1000000 0 1272.46/1272.85 c 1029 1162 1275.23 128.77 9.90 1000000 0 1275.04/1275.47 c 984 1118 1267.63 157.29 8.06 1000000 0 1277.64/1278.07 c 1013 1169 1268.95 150.11 8.45 1000000 0 1280.24/1280.67 c 940 1223 1267.69 151.08 8.39 1000000 0 1282.84/1283.26 c 990 1075 1255.68 157.67 7.96 1000000 0 1285.45/1285.86 c 993 1193 1277.14 163.11 7.83 1000000 0 1288.04/1288.46 c 1004 1147 1260.77 116.48 10.82 1000000 0 1290.64/1291.04 c 953 1241 1253.25 156.59 8.00 1000000 0 1293.25/1293.63 c 1015 1104 1245.32 145.42 8.56 1000000 0 1295.84/1296.24 c 973 1403 1272.07 126.04 10.09 1000000 0 1298.44/1298.83 c 968 1191 1258.43 162.48 7.75 1000000 0 1301.04/1301.43 c 1024 1082 1287.15 141.22 9.11 1000000 0 1303.64/1304.03 c 955 1268 1254.08 139.04 9.02 1000000 0 1306.24/1306.61 c 988 1264 1250.50 113.30 11.04 1000000 0 1308.84/1309.23 c 1016 1284 1291.52 157.11 8.22 1000000 0 1311.43/1311.82 c 988 1254 1264.23 141.21 8.95 1000000 0 1314.04/1314.43 c 1031 1108 1291.55 149.60 8.63 1000000 0 1316.63/1317.02 c 951 1379 1267.09 127.48 9.94 1000000 0 1319.23/1319.62 c 1033 1293 1292.06 147.49 8.76 1000000 0 1321.84/1322.22 c 1037 1150 1272.90 120.90 10.53 1000000 0 1324.43/1324.82 c 1022 1297 1278.03 155.41 8.22 1000000 0 1327.03/1327.42 c 1048 1210 1278.73 145.31 8.80 1000000 0 1329.63/1330.01 c 977 1234 1258.60 155.64 8.09 1000000 0 1332.23/1332.61 c 935 1244 1301.66 167.86 7.75 1000000 0 1334.83/1335.21 c 935 1288 1270.95 144.25 8.81 1000000 0 1337.43/1337.81 c 945 1070 1268.44 141.61 8.96 1000000 0 1340.03/1340.42 c 1012 1193 1297.86 147.65 8.79 1000000 0 1342.63/1343.03 c 975 1068 1279.49 164.90 7.76 1000000 0 1345.23/1345.62 c 968 1225 1261.78 125.76 10.03 1000000 0 1347.83/1348.22 c 944 1313 1271.37 141.04 9.01 1000000 0 1350.43/1350.84 c 979 1406 1293.55 173.15 7.47 1000000 0 1353.02/1353.43 c 1007 1141 1262.00 149.67 8.43 1000000 0 1355.62/1356.04 c 1040 1372 1295.63 140.68 9.21 1000000 0 1358.22/1358.63 c 1007 1130 1247.99 124.77 10.00 1000000 0 1360.82/1361.22 c 945 1210 1263.87 122.08 10.35 1000000 0 1363.42/1363.80 c 978 1320 1234.33 130.49 9.46 1000000 0 1366.02/1366.40 c 967 1014 1271.59 153.19 8.30 1000000 0 1368.62/1369.01 c 983 1211 1286.89 143.93 8.94 1000000 0 1371.23/1371.63 c 1043 1154 1297.94 138.80 9.35 1000000 0 1373.82/1374.22 c 989 1315 1262.68 152.49 8.28 1000000 0 1376.42/1376.81 c 941 1146 1253.78 148.42 8.45 1000000 0 1379.02/1379.41 c 988 1197 1247.37 116.91 10.67 1000000 0 1381.62/1382.00 c 947 1312 1266.80 172.92 7.33 1000000 0 1384.22/1384.61 c 925 1172 1297.51 151.07 8.59 1000000 0 1386.82/1387.22 c 965 1205 1274.68 148.49 8.58 1000000 0 1389.41/1389.80 c 951 1217 1249.87 171.10 7.30 1000000 0 1391.91/1392.39 c 920 1257 1247.99 141.31 8.83 1000000 0 1394.51/1394.98 c 990 1281 1256.56 119.83 10.49 1000000 0 1397.11/1397.57 c 1001 1187 1263.28 158.39 7.98 1000000 0 1399.71/1400.15 c 1014 1136 1238.80 114.17 10.85 1000000 0 1402.31/1402.74 c 944 1293 1264.46 176.40 7.17 1000000 0 1404.91/1405.34 c 988 1342 1273.59 176.05 7.23 1000000 0 1407.52/1407.93 c 909 1214 1274.05 155.51 8.19 1000000 0 1410.11/1410.54 c 1045 1248 1271.63 140.93 9.02 1000000 0 1412.71/1413.16 c 1039 1119 1321.83 185.96 7.11 1000000 0 1415.32/1415.75 c 980 1212 1263.74 130.52 9.68 1000000 0 1417.91/1418.35 c 984 1156 1309.51 162.75 8.05 1000000 0 1420.51/1420.96 c 949 1156 1267.77 161.63 7.84 1000000 0 1423.11/1423.56 c 1030 1213 1269.50 116.02 10.94 1000000 0 1425.71/1426.16 c 984 1319 1266.02 142.65 8.88 1000000 0 1428.30/1428.78 c 1006 1235 1282.09 162.96 7.87 1000000 0 1430.90/1431.38 c 922 1269 1274.41 172.44 7.39 1000000 0 1433.50/1433.99 c 1033 1324 1294.27 130.10 9.95 1000000 0 1436.11/1436.60 c 1030 1231 1315.37 126.67 10.38 1000000 0 1438.80/1439.20 c 929 1391 1264.18 158.67 7.97 1000000 0 1441.40/1441.80 c 943 1197 1270.40 142.55 8.91 1000000 0 1443.91/1444.39 c 962 1195 1264.33 151.23 8.36 1000000 0 1446.50/1446.99 c 980 1400 1290.19 175.86 7.34 1000000 0 1449.10/1449.59 c 1007 1239 1275.91 136.92 9.32 1000000 0 1451.70/1452.18 c 954 1295 1249.97 121.46 10.29 1000000 0 1454.30/1454.77 c 971 1207 1252.85 139.97 8.95 1000000 0 1456.90/1457.36 c 987 1294 1264.78 161.16 7.85 1000000 0 1459.50/1459.96 c 986 1235 1285.23 149.49 8.60 1000000 0 1462.10/1462.55 c 966 1129 1257.62 166.13 7.57 1000000 0 1464.70/1465.16 c 1015 1050 1291.16 140.76 9.17 1000000 0 1467.29/1467.76 c 935 1136 1262.31 145.80 8.66 1000000 0 1469.89/1470.38 c 976 1121 1290.20 148.32 8.70 1000000 0 1472.50/1472.97 c 989 1260 1256.68 125.81 9.99 1000000 0 1475.09/1475.59 c 969 1322 1303.31 156.93 8.30 1000000 0 1477.69/1478.18 c 1020 1362 1276.64 145.95 8.75 1000000 0 1480.29/1480.78 c 953 1185 1270.21 140.66 9.03 1000000 0 1482.89/1483.39 c 994 1280 1285.72 142.69 9.01 1000000 0 1485.49/1486.00 c 1033 1217 1281.41 133.11 9.63 1000000 0 1488.09/1488.59 c 949 1246 1277.14 147.54 8.66 1000000 0 1490.69/1491.18 c 985 1187 1254.97 123.03 10.20 1000000 0 1493.30/1493.78 c 917 1276 1270.75 163.64 7.77 1000000 0 1495.89/1496.38 c 1022 1160 1287.28 153.03 8.41 1000000 0 1498.49/1498.98 c 1021 1301 1274.43 125.01 10.19 1000000 0 1501.09/1501.59 c 995 1158 1279.53 159.94 8.00 1000000 0 1503.69/1504.18 c 954 1195 1270.35 152.83 8.31 1000000 0 1506.29/1506.77 c 1004 1237 1268.14 118.25 10.72 1000000 0 1508.88/1509.37 c 1027 1314 1282.12 119.74 10.71 1000000 0 1511.49/1511.96 c 943 1420 1260.30 143.98 8.75 1000000 0 1514.09/1514.57 c 1045 1184 1291.02 135.62 9.52 1000000 0 1516.69/1517.17 c 1018 1054 1272.29 138.90 9.16 1000000 0 1519.29/1519.75 c 1001 1261 1258.67 160.16 7.86 1000000 0 1521.90/1522.35 c 1005 1308 1274.74 135.83 9.39 1000000 0 1524.49/1524.94 c 970 1207 1259.87 156.18 8.07 1000000 0 1527.09/1527.53 c 975 1176 1261.49 168.30 7.50 1000000 0 1529.70/1530.13 c 982 1141 1269.57 139.45 9.10 1000000 0 1532.29/1532.75 c 981 1250 1284.47 170.79 7.52 1000000 0 1534.89/1535.34 c 1000 1215 1272.75 124.27 10.24 1000000 0 1537.49/1537.95 c 984 1082 1290.90 171.91 7.51 1000000 0 1540.09/1540.56 c 1005 1175 1285.10 170.77 7.53 1000000 0 1542.68/1543.15 c 951 1046 1276.75 136.39 9.36 1000000 0 1545.28/1545.77 c 1017 1217 1286.19 136.20 9.44 1000000 0 1547.88/1548.36 c 1022 1249 1287.45 121.18 10.62 1000000 0 1550.49/1550.96 c 1018 1242 1267.86 160.99 7.88 1000000 0 1553.08/1553.55 c 932 1299 1252.27 113.84 11.00 1000000 0 1555.68/1556.15 c 968 1177 1243.64 136.68 9.10 1000000 0 1558.29/1558.74 c 964 1201 1265.95 141.61 8.94 1000000 0 1560.88/1561.33 c 989 1241 1259.87 148.37 8.49 1000000 0 1563.48/1563.93 c 958 1177 1264.79 176.54 7.16 1000000 0 1566.08/1566.51 c 975 1222 1260.45 129.68 9.72 1000000 0 1568.68/1569.11 c 939 1248 1266.10 177.61 7.13 1000000 0 1571.28/1571.72 c 1057 1385 1305.32 131.76 9.91 1000000 0 1573.88/1574.31 c 944 1318 1270.22 167.95 7.56 1000000 0 1576.48/1576.91 c 905 1269 1276.47 131.55 9.70 1000000 0 1579.08/1579.51 c 1034 1131 1266.74 113.68 11.14 1000000 0 1581.67/1582.10 c 994 1301 1259.95 146.65 8.59 1000000 0 1584.27/1584.70 c 987 1283 1273.88 123.65 10.30 1000000 0 1586.78/1587.29 c 995 1238 1259.96 139.90 9.01 1000000 0 1589.37/1589.89 c 959 1256 1283.13 173.01 7.42 1000000 0 1592.07/1592.51 c 1033 1299 1282.94 148.33 8.65 1000000 0 1594.58/1595.09 c 993 1241 1264.20 147.23 8.59 1000000 0 1597.17/1597.69 c 936 1263 1293.21 131.67 9.82 1000000 0 1599.87/1600.31 c 972 1393 1296.49 192.26 6.74 1000000 0 1602.47/1602.91 c 1029 1363 1273.12 129.56 9.83 1000000 0 1605.07/1605.52 c 1000 1255 1301.33 136.87 9.51 1000000 0 1607.68/1608.13 c 945 1245 1288.66 140.01 9.20 1000000 0 1610.27/1610.73 c 959 1209 1266.49 162.65 7.79 1000000 0 1612.87/1613.33 c 1007 1256 1276.90 141.50 9.02 1000000 0 1615.47/1615.91 c 1008 1118 1252.79 119.95 10.44 1000000 0 1617.96/1618.49 c 952 1169 1237.85 132.38 9.35 1000000 0 1620.56/1621.09 c 1002 1376 1277.42 133.21 9.59 1000000 0 1623.26/1623.70 c 1030 1430 1289.49 131.92 9.77 1000000 0 1625.86/1626.31 c 978 1271 1265.23 166.55 7.60 1000000 0 1628.46/1628.91 c 979 1311 1288.32 172.89 7.45 1000000 0 1631.06/1631.51 c 991 1267 1301.49 164.17 7.93 1000000 0 1633.66/1634.11 c 982 1264 1272.77 153.28 8.30 1000000 0 1636.27/1636.70 c 968 1273 1268.27 180.40 7.03 1000000 0 1638.76/1639.28 c 1032 1269 1256.57 138.24 9.09 1000000 0 1641.36/1641.89 c 1027 1289 1278.98 129.08 9.91 1000000 0 1643.96/1644.48 c 937 1253 1272.26 148.47 8.57 1000000 0 1646.56/1647.07 c 999 1252 1263.85 154.98 8.15 1000000 0 1649.16/1649.68 c 1049 1303 1292.20 165.92 7.79 1000000 0 1651.76/1652.28 c 895 1281 1268.55 145.55 8.72 1000000 0 1654.35/1654.87 c 1020 1256 1274.35 143.78 8.86 1000000 0 1656.95/1657.45 c 974 1354 1252.23 153.26 8.17 1000000 0 1659.55/1660.05 c 1009 1245 1281.89 148.26 8.65 1000000 0 1662.15/1662.63 c 909 1262 1237.90 149.40 8.29 1000000 0 1664.75/1665.22 c 985 1237 1264.87 162.95 7.76 1000000 0 1667.35/1667.83 c 987 1410 1294.23 141.24 9.16 1000000 0 1669.95/1670.43 c 1039 1236 1273.26 155.64 8.18 1000000 0 1672.56/1673.04 c 991 1367 1279.06 170.48 7.50 1000000 0 1675.15/1675.62 c 992 1190 1262.00 102.46 12.32 1000000 0 1677.75/1678.24 c 1033 1243 1299.40 150.87 8.61 1000000 0 1680.36/1680.83 c 984 1333 1266.33 156.50 8.09 1000000 0 1682.95/1683.43 c 1025 1269 1273.66 145.62 8.75 1000000 0 1685.55/1686.03 c 986 1301 1270.91 133.72 9.50 1000000 0 1688.15/1688.63 c 1007 1218 1291.61 168.39 7.67 1000000 0 1690.75/1691.24 c 1017 1244 1288.48 122.56 10.51 1000000 0 1693.35/1693.84 c 1004 1217 1279.06 170.86 7.49 1000000 0 1695.94/1696.45 c 949 1153 1283.67 163.07 7.87 1000000 0 1698.54/1699.04 c 955 1185 1240.01 147.55 8.40 1000000 0 1701.15/1701.64 c 995 1218 1282.28 129.94 9.87 1000000 0 1703.74/1704.25 c 996 1153 1262.41 157.73 8.00 1000000 0 1706.34/1706.85 c 995 1254 1261.76 134.79 9.36 1000000 0 1708.95/1709.44 c 974 1273 1257.29 120.16 10.46 1000000 0 1711.54/1712.04 c 1011 1270 1275.24 127.96 9.97 1000000 0 1714.14/1714.65 c 979 1236 1279.29 148.84 8.59 1000000 0 1716.74/1717.25 c 1047 1252 1281.74 129.13 9.93 1000000 0 1719.34/1719.85 c 1008 1148 1268.01 169.57 7.48 1000000 0 1721.94/1722.45 c 1017 1183 1275.79 140.06 9.11 1000000 0 1724.54/1725.03 c 1005 1312 1262.36 150.90 8.37 1000000 0 1727.14/1727.62 c 949 1159 1263.87 180.93 6.99 1000000 0 1729.74/1730.22 c 999 1079 1266.69 162.85 7.78 1000000 0 1732.33/1732.83 c 982 1082 1283.20 159.44 8.05 1000000 0 1734.93/1735.43 c 993 1281 1273.57 169.03 7.53 1000000 0 1737.54/1738.02 c 977 1325 1264.95 150.91 8.38 1000000 0 1740.13/1740.62 c 1024 1284 1290.39 144.97 8.90 1000000 0 1742.73/1743.23 c 1012 1035 1273.30 150.62 8.45 1000000 0 1745.33/1745.83 c 979 1288 1260.60 146.38 8.61 1000000 0 1747.93/1748.42 c 942 1072 1244.06 139.49 8.92 1000000 0 1750.53/1751.01 c 1045 1299 1268.78 133.24 9.52 1000000 0 1753.13/1753.61 c 989 1154 1280.80 143.67 8.91 1000000 0 1755.73/1756.21 c 997 1199 1272.77 156.07 8.15 1000000 0 1758.33/1758.80 c 953 1326 1272.37 155.06 8.21 1000000 0 1760.93/1761.40 c 972 1183 1279.01 138.68 9.22 1000000 0 1763.53/1764.01 c 1026 1026 1291.43 137.51 9.39 1000000 0 1766.13/1766.62 c 973 1193 1255.40 144.70 8.68 1000000 0 1768.73/1769.22 c 967 1187 1276.97 139.19 9.17 1000000 0 1771.32/1771.81 c 981 1182 1249.34 127.82 9.77 1000000 0 1773.92/1774.41 c 964 1440 1283.55 157.59 8.15 1000000 0 1776.52/1777.01 c 1018 1291 1273.53 143.77 8.86 1000000 0 1779.12/1779.62 c 1012 1271 1308.13 125.06 10.46 1000000 0 1781.72/1782.22 c 1052 1209 1299.46 157.57 8.25 1000000 0 1784.32/1784.83 c 1007 1234 1268.27 123.51 10.27 1000000 0 1786.93/1787.43 c 982 1196 1283.22 153.13 8.38 1000000 0 1789.52/1790.02 c 975 1169 1258.23 129.19 9.74 1000000 0 1792.12/1792.62 c 1001 1225 1274.37 137.20 9.29 1000000 0 1794.73/1795.23 c 989 1134 1275.95 135.11 9.44 1000000 0 1797.32/1797.82 c 957 1092 1262.24 140.30 9.00 1000000 0 1799.92/1800.42 c 980 1175 1278.05 153.10 8.35 1000000 0 1800.02/1800.51 HOME/run: line 2: 18945 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684804-1278434388/watcher-2684804-1278434388 -o /tmp/evaluation-result-2684804-1278434388/solver-2684804-1278434388 -C 1800 -W 2000 -M 1800 run HOME/instance-2684804-1278434388.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.05 0.86 2/105 18944 /proc/meminfo: memFree=1430120/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [startup+0.0835281 s] /proc/loadavg: 1.04 1.05 0.86 2/105 18944 /proc/meminfo: memFree=1430120/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101529 s] /proc/loadavg: 1.04 1.05 0.86 2/105 18944 /proc/meminfo: memFree=1430120/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301548 s] /proc/loadavg: 1.04 1.05 0.86 2/105 18944 /proc/meminfo: memFree=1430120/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701587 s] /proc/loadavg: 1.04 1.05 0.86 2/105 18944 /proc/meminfo: memFree=1430120/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50066 s] /proc/loadavg: 1.04 1.05 0.86 2/107 18946 /proc/meminfo: memFree=1421052/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1.49 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2304 0 0 0 148 1 0 0 25 0 1 0 11647170 41422848 2234 1992294400 134512640 135071400 4292017040 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2234 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10082 s] /proc/loadavg: 1.12 1.07 0.87 2/107 18946 /proc/meminfo: memFree=1420680/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=3.09 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 308 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134536766 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30113 s] /proc/loadavg: 1.12 1.07 0.87 2/107 18946 /proc/meminfo: memFree=1420680/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=6.29 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 628 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7007 s] /proc/loadavg: 1.10 1.07 0.87 2/107 18946 /proc/meminfo: memFree=1420556/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=12.68 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 1267 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526333 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.502 s] /proc/loadavg: 1.09 1.06 0.87 2/107 18946 /proc/meminfo: memFree=1420556/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=25.48 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 2547 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526670 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1015 s] /proc/loadavg: 1.06 1.06 0.87 2/107 18948 /proc/meminfo: memFree=1420432/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=51.07 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 5106 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.06 1.06 0.88 2/107 18948 /proc/meminfo: memFree=1420308/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=102.27 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 10226 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.05 1.06 0.89 2/107 18950 /proc/meminfo: memFree=1420184/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=162.25 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 16224 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.13 1.07 0.91 2/107 18952 /proc/meminfo: memFree=1420184/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=222.23 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 22222 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.12 1.07 0.91 2/107 18954 /proc/meminfo: memFree=1420184/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=282.21 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 28220 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.13 1.09 0.93 2/107 18956 /proc/meminfo: memFree=1420184/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=342.2 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 34219 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.05 1.07 0.93 2/107 18956 /proc/meminfo: memFree=1419936/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=402.18 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 40217 1 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1122 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 112198 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18978 /proc/meminfo: memFree=1418448/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1181.99 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 118197 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18980 /proc/meminfo: memFree=1418200/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1241.97 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 124195 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18989 /proc/meminfo: memFree=1417332/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1301.94 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 130192 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134519935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18991 /proc/meminfo: memFree=1417332/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1361.92 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 136190 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18993 /proc/meminfo: memFree=1417332/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1421.91 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 142189 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18995 /proc/meminfo: memFree=1417332/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1481.89 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 148187 2 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18997 /proc/meminfo: memFree=1417208/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1541.88 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 154185 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18997 /proc/meminfo: memFree=1417084/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1601.87 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 160184 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 18999 /proc/meminfo: memFree=1417084/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1661.85 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 166182 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19001 /proc/meminfo: memFree=1416960/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1721.84 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 172181 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19003 /proc/meminfo: memFree=1416712/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1781.82 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 178179 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19003 /proc/meminfo: memFree=1416712/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1800.02 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 179999 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/107 19003 /proc/meminfo: memFree=1416712/2059040 swapFree=4192956/4192956 [pid=18944] ppid=18942 vsize=8700 CPUtime=0 /proc/18944/stat : 18944 (run) S 18942 18944 18544 0 -1 4202496 361 0 0 0 0 0 0 0 22 0 1 0 11647170 8908800 244 1992294400 4194304 4922060 140736625464224 18446744073709551615 207239093381 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18944/statm: 2175 244 204 178 0 68 0 [pid=18945] ppid=18944 vsize=40452 CPUtime=1800.02 /proc/18945/stat : 18945 (PB-wave) R 18944 18944 18544 0 -1 4202496 2313 0 0 0 179999 3 0 0 25 0 1 0 11647170 41422848 2243 1992294400 134512640 135071400 4292017040 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/18945/statm: 10113 2243 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1800 CPU system time (s): 0.037994 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.037994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2687 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= 3 involuntary context switches= 3883 runsolver used 2.98955 second user time and 8.5177 second system time The end
Begin job on node089 at 2010-07-06 18:39:49 IDJOB=2684804 IDBENCH=73572 IDSOLVER=1171 FILE ID=node089/2684804-1278434388 PBS_JOBID= 11233436 Free space on /tmp= 62552 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684804-1278434388/watcher-2684804-1278434388 -o /tmp/evaluation-result-2684804-1278434388/solver-2684804-1278434388 -C 1800 -W 2000 -M 1800 run HOME/instance-2684804-1278434388.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606 RANDOM SEED=1687796995 node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1430640 kB Buffers: 103484 kB Cached: 393004 kB SwapCached: 0 kB Active: 203748 kB Inactive: 353140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1430640 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3880 kB Writeback: 0 kB AnonPages: 60340 kB Mapped: 14672 kB Slab: 49760 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182896 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node089 at 2010-07-06 19:09:49