| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.03 | 1800.62 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12037_7-sat.opb |
| MD5SUM | c76ba3fc1d0a0f3a1a96791ffe6c4cf4 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 39204 |
| Total number of constraints | 130975 |
| Number of constraints which are clauses | 130331 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 644 |
| 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 | 27 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 714 |
| 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.37 c PB-wave - v2 0.00/0.37 c command line = ./PB-wave 0.00/0.37 c seed = 93640677 0.00/0.37 c cutoff = 1000000 0.00/0.37 c tries = 1000000 0.00/0.37 c heuristic = c best, noise 50 / 100 0.00/0.37 #var 39204 #con 130975 0.00/0.37 mode is SAT 0.00/0.37 c tail starts after flip = 117612 0.00/0.37 c numatom = 39204, numclause = 130975, numliterals = 356085 0.00/0.37 c wff read in 0.00/0.37 c 0.00/0.37 c lowest final avg noise noise total avg mean mean 0.00/0.37 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.37 c this this this this this this success success until std 0.00/0.37 c try try try try try try rate tries assign dev 0.00/0.37 c 3.49/3.57 c 1074 1223 1334.26 150.10 8.89 1000000 0 6.68/6.76 c 953 1214 1291.63 151.90 8.50 1000000 0 9.89/9.96 c 982 1388 1326.58 182.31 7.28 1000000 0 13.09/13.16 c 1017 1193 1329.37 153.38 8.67 1000000 0 16.28/16.36 c 1094 1326 1326.06 172.72 7.68 1000000 0 19.48/19.55 c 1059 1136 1311.42 177.47 7.39 1000000 0 22.68/22.74 c 1020 1336 1309.98 204.30 6.41 1000000 0 25.88/25.94 c 1087 1329 1332.15 144.58 9.21 1000000 0 29.08/29.12 c 1089 1182 1312.43 117.03 11.21 1000000 0 32.28/32.30 c 1043 1181 1313.00 156.45 8.39 1000000 0 35.47/35.51 c 1010 1177 1350.85 194.67 6.94 1000000 0 38.57/38.69 c 1024 1213 1292.06 173.67 7.44 1000000 0 41.78/41.87 c 1069 1264 1306.54 176.66 7.40 1000000 0 44.98/45.07 c 998 1166 1344.02 215.33 6.24 1000000 0 48.17/48.26 c 1012 1261 1328.18 182.30 7.29 1000000 0 51.37/51.47 c 1078 1308 1348.41 172.12 7.83 1000000 0 54.57/54.67 c 1044 1239 1326.78 163.65 8.11 1000000 0 57.77/57.86 c 1046 1227 1320.71 163.02 8.10 1000000 0 60.97/61.02 c 1035 1351 1267.36 129.54 9.78 1000000 0 64.17/64.20 c 979 1376 1286.92 154.88 8.31 1000000 0 67.26/67.39 c 1060 1353 1310.41 129.38 10.13 1000000 0 70.56/70.60 c 1081 1344 1324.59 146.44 9.05 1000000 0 73.67/73.78 c 1092 1199 1306.93 105.55 12.38 1000000 0 76.87/76.98 c 1062 1251 1321.71 138.42 9.55 1000000 0 80.06/80.18 c 1064 1238 1337.56 173.55 7.71 1000000 0 83.26/83.38 c 1052 1282 1315.78 160.63 8.19 1000000 0 86.46/86.59 c 1051 1264 1330.97 197.41 6.74 1000000 0 89.66/89.78 c 1081 1266 1304.67 140.02 9.32 1000000 0 92.85/92.97 c 1088 1284 1323.91 147.94 8.95 1000000 0 96.05/96.16 c 1048 1296 1306.32 143.46 9.11 1000000 0 99.25/99.35 c 1041 1286 1321.06 163.26 8.09 1000000 0 102.45/102.53 c 1058 1297 1308.27 155.62 8.41 1000000 0 105.65/105.74 c 1036 1213 1350.10 193.12 6.99 1000000 0 108.86/108.94 c 1048 1296 1323.59 181.10 7.31 1000000 0 112.06/112.13 c 1051 1212 1333.13 158.86 8.39 1000000 0 115.25/115.35 c 1038 1257 1333.63 196.60 6.78 1000000 0 118.45/118.56 c 1073 1355 1336.02 168.78 7.92 1000000 0 121.65/121.74 c 989 1361 1292.94 169.93 7.61 1000000 0 124.85/124.93 c 1040 1219 1299.43 173.40 7.49 1000000 0 128.04/128.13 c 1054 1407 1342.90 186.80 7.19 1000000 0 131.24/131.34 c 1070 1295 1345.47 156.29 8.61 1000000 0 134.44/134.54 c 1042 1364 1327.76 158.89 8.36 1000000 0 137.64/137.72 c 1015 1283 1312.26 168.07 7.81 1000000 0 140.84/140.91 c 1056 1294 1323.59 150.77 8.78 1000000 0 144.05/144.11 c 1095 1210 1324.26 172.55 7.67 1000000 0 147.24/147.30 c 1027 1213 1306.57 150.35 8.69 1000000 0 150.44/150.51 c 1063 1265 1330.60 174.92 7.61 1000000 0 153.54/153.70 c 1041 1310 1318.36 146.57 9.00 1000000 0 156.73/156.89 c 1060 1251 1303.88 128.43 10.15 1000000 0 159.93/160.08 c 1053 1215 1314.58 172.31 7.63 1000000 0 163.13/163.29 c 1079 1331 1358.25 178.96 7.59 1000000 0 166.33/166.47 c 1041 1362 1310.12 137.98 9.50 1000000 0 169.53/169.66 c 1070 1152 1309.88 153.20 8.55 1000000 0 172.73/172.86 c 1022 1200 1334.99 162.80 8.20 1000000 0 175.94/176.05 c 1087 1426 1307.53 141.53 9.24 1000000 0 179.13/179.24 c 1041 1284 1305.22 158.73 8.22 1000000 0 182.33/182.43 c 1045 1207 1296.68 168.69 7.69 1000000 0 185.53/185.63 c 1078 1320 1322.64 161.03 8.21 1000000 0 188.72/188.82 c 1011 1235 1330.78 197.91 6.72 1000000 0 191.92/192.01 c 1064 1269 1323.04 167.10 7.92 1000000 0 195.12/195.20 c 1052 1300 1316.53 181.78 7.24 1000000 0 198.32/198.40 c 1098 1351 1334.55 148.10 9.01 1000000 0 201.52/201.60 c 1081 1184 1342.42 174.39 7.70 1000000 0 204.62/204.79 c 1035 1349 1311.74 166.44 7.88 1000000 0 207.92/208.00 c 987 1263 1325.76 167.41 7.92 1000000 0 211.02/211.20 c 1058 1246 1319.22 175.31 7.53 1000000 0 214.22/214.39 c 1082 1178 1321.15 161.62 8.17 1000000 0 217.41/217.57 c 1025 1213 1305.61 217.61 6.00 1000000 0 220.61/220.76 c 989 1248 1294.49 155.36 8.33 1000000 0 223.81/223.95 c 1048 1351 1317.76 156.82 8.40 1000000 0 227.01/227.15 c 1046 1235 1334.39 131.84 10.12 1000000 0 230.21/230.35 c 992 1351 1327.82 173.94 7.63 1000000 0 233.41/233.55 c 1061 1328 1322.51 171.30 7.72 1000000 0 236.61/236.74 c 994 1316 1297.35 164.75 7.87 1000000 0 239.81/239.94 c 1063 1285 1334.04 156.32 8.53 1000000 0 243.01/243.14 c 1081 1350 1321.90 187.10 7.07 1000000 0 246.21/246.33 c 1056 1116 1313.53 151.23 8.69 1000000 0 249.40/249.53 c 1023 1148 1333.57 186.51 7.15 1000000 0 252.60/252.73 c 1083 1315 1323.79 176.61 7.50 1000000 0 255.80/255.93 c 1080 1126 1334.00 157.68 8.46 1000000 0 259.00/259.12 c 1023 1345 1321.67 166.23 7.95 1000000 0 262.20/262.32 c 1033 1353 1326.45 199.77 6.64 1000000 0 265.40/265.50 c 1050 1247 1278.24 139.89 9.14 1000000 0 268.50/268.69 c 1045 1315 1320.34 165.80 7.96 1000000 0 271.70/271.88 c 1035 1279 1300.32 150.45 8.64 1000000 0 274.90/275.07 c 990 1281 1298.14 171.85 7.55 1000000 0 278.10/278.26 c 1015 1236 1301.16 171.08 7.61 1000000 0 281.29/281.45 c 1018 1369 1330.12 172.13 7.73 1000000 0 284.49/284.64 c 1016 1195 1313.45 173.59 7.57 1000000 0 287.69/287.83 c 1048 1166 1299.24 141.79 9.16 1000000 0 290.89/291.03 c 1063 1193 1315.01 140.99 9.33 1000000 0 294.09/294.24 c 1041 1362 1334.72 153.35 8.70 1000000 0 297.29/297.42 c 1038 1247 1316.69 164.02 8.03 1000000 0 300.49/300.62 c 1076 1303 1307.40 154.14 8.48 1000000 0 303.69/303.80 c 1027 1296 1302.13 181.97 7.16 1000000 0 306.79/306.99 c 1028 1328 1311.75 155.70 8.42 1000000 0 309.99/310.18 c 1031 1236 1309.79 145.12 9.03 1000000 0 313.18/313.37 c 1001 1226 1310.30 165.00 7.94 1000000 0 316.38/316.56 c 1051 1143 1313.01 184.16 7.13 1000000 0 319.58/319.74 c 1006 1373 1322.08 172.19 7.68 1000000 0 322.78/322.94 c 1071 1168 1321.57 163.97 8.06 1000000 0 325.98/326.14 c 1125 1166 1350.10 146.21 9.23 1000000 0 329.18/329.32 c 1079 1249 1321.05 160.49 8.23 1000000 0 332.38/332.52 c 1059 1239 1333.50 192.72 6.92 1000000 0 335.58/335.71 c 1008 1242 1315.71 167.09 7.87 1000000 0 338.78/338.90 c 1050 1179 1315.90 173.00 7.61 1000000 0 341.88/342.08 c 1029 1272 1302.93 157.19 8.29 1000000 0 345.07/345.26 c 1065 1235 1298.71 158.68 8.18 1000000 0 348.27/348.47 c 1115 1293 1355.10 186.17 7.28 1000000 0 351.47/351.67 c 1067 1312 1330.65 139.89 9.51 1000000 0 354.67/354.87 c 1010 1178 1329.55 183.15 7.26 1000000 0 357.87/358.05 c 1053 1303 1312.76 154.81 8.48 1000000 0 361.07/361.24 c 1055 1280 1309.44 142.58 9.18 1000000 0 364.27/364.43 c 1052 1267 1308.11 157.97 8.28 1000000 0 367.47/367.63 c 1032 1357 1341.48 152.41 8.80 1000000 0 370.66/370.83 c 1073 1227 1332.61 172.92 7.71 1000000 0 373.87/374.03 c 993 1303 1323.44 169.56 7.81 1000000 0 377.07/377.22 c 1029 1168 1303.15 163.03 7.99 1000000 0 380.26/380.41 c 1057 1212 1314.06 156.92 8.37 1000000 0 383.46/383.61 c 1078 1275 1335.57 171.44 7.79 1000000 0 386.56/386.80 c 1005 1271 1323.69 157.35 8.41 1000000 0 389.76/389.99 c 1036 1231 1316.06 160.28 8.21 1000000 0 392.96/393.16 c 1032 1191 1288.04 120.67 10.67 1000000 0 396.16/396.37 c 980 1278 1320.11 201.27 6.56 1000000 0 399.36/399.56 c 1031 1376 1313.25 193.68 6.78 1000000 0 402.55/402.77 c 1038 1320 1304.58 158.69 8.22 1000000 0 405.76/405.95 c 1040 1244 1305.44 140.67 9.28 1000000 0 408.96/409.17 c 1094 1329 1363.79 199.46 6.84 1000000 0 412.15/412.37 c 1086 1163 1333.45 197.68 6.75 1000000 0 415.35/415.57 c 1103 1276 1316.92 135.65 9.71 1000000 0 418.55/418.76 c 1034 1221 1323.07 170.49 7.76 1000000 0 421.75/421.95 c 1080 1298 1301.83 135.68 9.59 1000000 0 424.95/425.15 c 1073 1277 1327.26 151.33 8.77 1000000 0 428.15/428.34 c 1046 1359 1318.09 152.75 8.63 1000000 0 431.34/431.52 c 1003 1306 1300.91 161.32 8.06 1000000 0 434.44/434.69 c 1039 1200 1279.09 160.84 7.95 1000000 0 437.65/437.89 c 1099 1276 1325.20 147.77 8.97 1000000 0 440.85/441.07 c 1066 1242 1326.15 154.56 8.58 1000000 0 444.04/444.25 c 1007 1251 1276.52 165.97 7.69 1000000 0 447.24/447.45 c 1043 1207 1326.13 147.54 8.99 1000000 0 450.44/450.65 c 1052 1211 1329.52 167.77 7.92 1000000 0 453.64/453.84 c 995 1374 1320.89 180.47 7.32 1000000 0 456.84/457.01 c 998 1233 1263.69 157.80 8.01 1000000 0 460.04/460.21 c 1081 1191 1318.25 156.46 8.43 1000000 0 463.23/463.40 c 1065 1296 1301.95 124.33 10.47 1000000 0 466.43/466.60 c 1089 1294 1316.02 124.58 10.56 1000000 0 469.54/469.79 c 1038 1215 1311.38 149.44 8.78 1000000 0 472.74/472.98 c 1055 1367 1329.43 159.48 8.34 1000000 0 475.93/476.18 c 1028 1201 1311.83 185.82 7.06 1000000 0 479.13/479.37 c 1063 1293 1319.75 172.14 7.67 1000000 0 482.33/482.56 c 1092 1376 1329.80 164.57 8.08 1000000 0 485.53/485.74 c 1031 1155 1294.72 124.07 10.44 1000000 0 488.73/488.94 c 1013 1361 1311.73 201.72 6.50 1000000 0 491.93/492.14 c 1098 1279 1341.77 184.60 7.27 1000000 0 495.12/495.33 c 1062 1279 1310.26 137.67 9.52 1000000 0 498.32/498.54 c 1053 1409 1332.02 157.85 8.44 1000000 0 501.52/501.73 c 1073 1178 1324.26 161.94 8.18 1000000 0 504.73/504.91 c 1047 1330 1313.02 168.69 7.78 1000000 0 507.93/508.10 c 1067 1314 1308.23 155.65 8.40 1000000 0 511.02/511.29 c 1010 1395 1298.51 177.88 7.30 1000000 0 514.22/514.48 c 1025 1280 1321.07 149.15 8.86 1000000 0 517.42/517.65 c 1042 1349 1309.86 155.06 8.45 1000000 0 520.62/520.85 c 1065 1231 1336.77 156.42 8.55 1000000 0 523.82/524.03 c 1017 1320 1312.15 172.25 7.62 1000000 0 527.01/527.23 c 1024 1246 1305.51 204.62 6.38 1000000 0 530.21/530.42 c 1045 1218 1302.56 177.91 7.32 1000000 0 533.41/533.60 c 1067 1242 1289.10 144.60 8.92 1000000 0 536.52/536.79 c 1046 1130 1296.43 150.56 8.61 1000000 0 539.71/539.99 c 1070 1322 1324.74 161.75 8.19 1000000 0 542.91/543.18 c 1032 1191 1326.71 176.41 7.52 1000000 0 546.11/546.38 c 1033 1363 1334.29 167.27 7.98 1000000 0 549.31/549.56 c 976 1310 1300.26 149.88 8.68 1000000 0 552.51/552.75 c 993 1124 1332.22 173.28 7.69 1000000 0 555.70/555.96 c 955 1269 1328.40 194.32 6.84 1000000 0 558.90/559.15 c 1008 1314 1298.74 187.03 6.94 1000000 0 562.10/562.33 c 1038 1200 1318.41 152.74 8.63 1000000 0 565.30/565.52 c 1026 1131 1312.70 167.54 7.84 1000000 0 568.51/568.72 c 1074 1452 1328.53 140.57 9.45 1000000 0 571.71/571.93 c 1103 1422 1349.03 172.68 7.81 1000000 0 574.90/575.12 c 1074 1390 1315.27 176.39 7.46 1000000 0 578.10/578.31 c 1061 1096 1313.09 163.88 8.01 1000000 0 581.29/581.50 c 1081 1352 1331.05 172.31 7.72 1000000 0 584.39/584.69 c 1083 1309 1314.21 134.98 9.74 1000000 0 587.59/587.90 c 1082 1225 1323.25 167.72 7.89 1000000 0 590.79/591.07 c 1054 1215 1294.73 140.26 9.23 1000000 0 593.99/594.27 c 1050 1316 1347.19 159.58 8.44 1000000 0 597.19/597.48 c 1099 1298 1343.24 132.14 10.17 1000000 0 600.40/600.66 c 1049 1174 1289.00 147.55 8.74 1000000 0 603.59/603.86 c 1065 1279 1309.37 156.44 8.37 1000000 0 606.79/607.03 c 1000 1329 1298.89 156.86 8.28 1000000 0 609.99/610.24 c 1093 1349 1358.53 176.74 7.69 1000000 0 613.18/613.44 c 1043 1253 1314.37 149.31 8.80 1000000 0 616.38/616.65 c 1019 1203 1352.62 194.75 6.95 1000000 0 619.58/619.83 c 1086 1323 1321.17 148.92 8.87 1000000 0 622.78/623.03 c 1056 1163 1304.42 135.46 9.63 1000000 0 625.98/626.23 c 1010 1318 1319.28 160.24 8.23 1000000 0 629.18/629.42 c 1087 1273 1307.20 162.89 8.03 1000000 0 632.29/632.59 c 1059 1299 1305.37 180.30 7.24 1000000 0 635.48/635.77 c 1026 1212 1288.40 158.40 8.13 1000000 0 638.68/638.99 c 1098 1354 1340.03 166.95 8.03 1000000 0 641.88/642.17 c 1053 1257 1297.55 135.04 9.61 1000000 0 645.07/645.37 c 1030 1271 1331.03 189.33 7.03 1000000 0 648.27/648.57 c 998 1456 1347.69 174.94 7.70 1000000 0 651.47/651.75 c 1012 1293 1303.14 164.90 7.90 1000000 0 654.67/654.94 c 1045 1240 1318.79 194.69 6.77 1000000 0 657.87/658.13 c 977 1127 1306.69 168.98 7.73 1000000 0 661.07/661.32 c 1066 1140 1319.32 164.52 8.02 1000000 0 664.27/664.51 c 1055 1337 1315.37 160.60 8.19 1000000 0 667.47/667.71 c 1053 1127 1313.79 158.63 8.28 1000000 0 670.67/670.91 c 1072 1256 1327.64 178.96 7.42 1000000 0 673.77/674.09 c 1042 1207 1276.93 119.97 10.64 1000000 0 676.96/677.29 c 1051 1382 1326.82 172.60 7.69 1000000 0 680.16/680.49 c 1046 1297 1349.98 213.72 6.32 1000000 0 683.36/683.70 c 1060 1359 1337.99 140.24 9.54 1000000 0 686.56/686.89 c 1039 1305 1332.82 165.43 8.06 1000000 0 689.76/690.09 c 1070 1240 1326.16 127.92 10.37 1000000 0 692.96/693.28 c 1050 1182 1307.43 177.63 7.36 1000000 0 696.16/696.48 c 1084 1191 1342.42 155.43 8.64 1000000 0 699.36/699.67 c 1015 1216 1310.05 160.21 8.18 1000000 0 702.56/702.85 c 1057 1171 1312.21 168.13 7.80 1000000 0 705.75/706.05 c 1073 1326 1304.30 159.84 8.16 1000000 0 708.95/709.25 c 1076 1268 1336.65 176.84 7.56 1000000 0 712.15/712.43 c 1068 1434 1323.17 127.52 10.38 1000000 0 715.35/715.64 c 1082 1262 1337.07 137.95 9.69 1000000 0 718.55/718.85 c 1002 1116 1348.81 216.83 6.22 1000000 0 721.75/722.05 c 1036 1374 1328.71 172.19 7.72 1000000 0 724.95/725.25 c 1101 1347 1342.64 175.49 7.65 1000000 0 728.15/728.45 c 1039 1238 1314.39 176.45 7.45 1000000 0 731.35/731.64 c 1015 1208 1323.32 197.29 6.71 1000000 0 734.55/734.82 c 1009 1211 1309.88 140.61 9.32 1000000 0 737.75/738.01 c 1068 1210 1309.86 161.70 8.10 1000000 0 740.94/741.20 c 1041 1124 1301.21 176.51 7.37 1000000 0 744.14/744.40 c 1007 1365 1313.59 165.00 7.96 1000000 0 747.24/747.58 c 990 1259 1302.05 173.30 7.51 1000000 0 750.44/750.77 c 1049 1298 1315.02 141.14 9.32 1000000 0 753.64/753.95 c 1001 1249 1296.26 168.38 7.70 1000000 0 756.84/757.15 c 1067 1204 1327.87 189.76 7.00 1000000 0 760.04/760.34 c 1045 1368 1314.43 154.04 8.53 1000000 0 763.24/763.52 c 1062 1369 1311.45 161.51 8.12 1000000 0 766.44/766.72 c 1090 1279 1349.09 200.12 6.74 1000000 0 769.64/769.92 c 1076 1328 1315.49 160.89 8.18 1000000 0 772.83/773.11 c 1019 1318 1323.67 161.83 8.18 1000000 0 776.03/776.31 c 1079 1154 1316.65 178.51 7.38 1000000 0 779.14/779.49 c 1069 1324 1304.72 131.57 9.92 1000000 0 782.34/782.69 c 1062 1166 1327.39 217.28 6.11 1000000 0 785.54/785.88 c 993 1210 1310.09 178.20 7.35 1000000 0 788.74/789.07 c 1035 1099 1311.54 172.76 7.59 1000000 0 791.94/792.26 c 1063 1242 1289.46 147.30 8.75 1000000 0 795.14/795.45 c 1061 1199 1327.35 201.87 6.58 1000000 0 798.34/798.65 c 1112 1263 1334.44 143.31 9.31 1000000 0 801.54/801.83 c 1035 1128 1329.52 156.97 8.47 1000000 0 804.73/805.02 c 954 1253 1307.12 181.65 7.20 1000000 0 807.93/808.22 c 1025 1281 1322.16 156.97 8.42 1000000 0 811.13/811.46 c 1098 1231 1358.35 159.15 8.54 1000000 0 814.33/814.65 c 1040 1195 1313.46 162.33 8.09 1000000 0 817.53/817.84 c 1011 1262 1314.69 138.62 9.48 1000000 0 820.73/821.04 c 1019 1173 1319.02 188.02 7.02 1000000 0 823.93/824.23 c 1060 1306 1323.63 142.04 9.32 1000000 0 827.12/827.43 c 1061 1343 1329.64 177.96 7.47 1000000 0 830.32/830.63 c 1046 1193 1318.47 175.99 7.49 1000000 0 833.53/833.81 c 1014 1312 1322.88 201.87 6.55 1000000 0 836.62/837.00 c 1054 1277 1303.71 146.32 8.91 1000000 0 839.92/840.21 c 1044 1412 1337.82 174.05 7.69 1000000 0 843.12/843.40 c 1066 1334 1322.70 119.90 11.03 1000000 0 846.22/846.59 c 1046 1325 1311.97 131.01 10.01 1000000 0 849.42/849.79 c 1052 1434 1321.44 172.87 7.64 1000000 0 852.62/852.98 c 1071 1247 1320.83 190.29 6.94 1000000 0 855.82/856.18 c 1084 1170 1313.82 154.85 8.48 1000000 0 859.01/859.36 c 1039 1220 1296.29 167.26 7.75 1000000 0 862.21/862.56 c 1058 1185 1328.30 138.97 9.56 1000000 0 865.42/865.76 c 1019 1265 1340.69 169.59 7.91 1000000 0 868.62/868.95 c 1069 1301 1297.46 136.85 9.48 1000000 0 871.81/872.13 c 1025 1288 1321.20 159.82 8.27 1000000 0 875.01/875.33 c 1090 1344 1328.39 164.23 8.09 1000000 0 878.21/878.53 c 1007 1297 1304.86 162.30 8.04 1000000 0 881.41/881.71 c 1032 1161 1280.74 151.25 8.47 1000000 0 884.60/884.92 c 1031 1403 1342.93 180.25 7.45 1000000 0 887.80/888.12 c 1089 1377 1355.13 179.73 7.54 1000000 0 891.00/891.34 c 1069 1336 1355.96 181.63 7.47 1000000 0 894.20/894.53 c 1080 1237 1310.86 188.32 6.96 1000000 0 897.40/897.73 c 1013 1345 1305.94 140.62 9.29 1000000 0 900.61/900.93 c 1114 1310 1314.51 160.11 8.21 1000000 0 903.80/904.11 c 1067 1304 1296.52 131.50 9.86 1000000 0 907.00/907.31 c 1047 1282 1332.35 176.85 7.53 1000000 0 910.20/910.52 c 1075 1340 1351.45 184.91 7.31 1000000 0 913.39/913.71 c 1089 1334 1330.59 139.25 9.56 1000000 0 916.59/916.91 c 1028 1242 1311.63 146.42 8.96 1000000 0 919.79/920.13 c 1054 1208 1353.93 215.18 6.29 1000000 0 922.99/923.34 c 1090 1276 1329.21 172.00 7.73 1000000 0 926.19/926.53 c 1020 1302 1310.55 152.02 8.62 1000000 0 929.39/929.73 c 1051 1261 1321.69 160.36 8.24 1000000 0 932.59/932.91 c 1046 1162 1308.47 151.71 8.62 1000000 0 935.79/936.11 c 1067 1212 1330.12 198.83 6.69 1000000 0 938.99/939.31 c 1012 1375 1309.54 185.13 7.07 1000000 0 942.19/942.50 c 1080 1136 1319.12 152.24 8.66 1000000 0 945.38/945.72 c 1056 1138 1363.13 178.77 7.63 1000000 0 948.58/948.90 c 1035 1224 1312.60 173.32 7.57 1000000 0 951.78/952.10 c 1077 1315 1354.82 198.24 6.83 1000000 0 954.98/955.30 c 1024 1352 1317.81 150.19 8.77 1000000 0 958.18/958.51 c 1085 1411 1341.13 164.39 8.16 1000000 0 961.38/961.71 c 1084 1161 1328.63 143.21 9.28 1000000 0 964.48/964.89 c 964 1301 1312.30 180.15 7.28 1000000 0 967.68/968.08 c 1055 1381 1320.29 175.31 7.53 1000000 0 970.88/971.27 c 1023 1350 1308.46 155.98 8.39 1000000 0 974.08/974.47 c 1061 1215 1343.06 148.39 9.05 1000000 0 977.27/977.67 c 1114 1304 1338.97 133.65 10.02 1000000 0 980.47/980.88 c 1047 1286 1338.94 175.99 7.61 1000000 0 983.67/984.08 c 1117 1316 1347.64 160.42 8.40 1000000 0 986.87/987.28 c 1040 1192 1322.53 185.52 7.13 1000000 0 990.07/990.48 c 1061 1213 1301.36 139.46 9.33 1000000 0 993.27/993.66 c 999 1235 1316.66 182.01 7.23 1000000 0 996.47/996.85 c 1045 1391 1312.82 165.89 7.91 1000000 0 999.67/1000.05 c 1094 1175 1338.93 177.35 7.55 1000000 0 1002.87/1003.23 c 1034 1205 1307.58 172.12 7.60 1000000 0 1006.07/1006.40 c 985 1213 1289.62 166.10 7.76 1000000 0 1009.26/1009.60 c 1038 1188 1321.82 182.12 7.26 1000000 0 1012.36/1012.79 c 1055 1287 1309.60 193.61 6.76 1000000 0 1015.56/1015.96 c 1035 1205 1294.15 138.53 9.34 1000000 0 1018.76/1019.16 c 1061 1198 1321.98 201.63 6.56 1000000 0 1021.96/1022.35 c 1039 1312 1335.35 191.26 6.98 1000000 0 1025.16/1025.53 c 1046 1284 1296.05 139.44 9.29 1000000 0 1028.36/1028.73 c 1058 1355 1326.74 166.84 7.95 1000000 0 1031.56/1031.91 c 1045 1236 1309.45 147.04 8.91 1000000 0 1034.76/1035.12 c 1040 1357 1343.73 181.66 7.40 1000000 0 1037.96/1038.33 c 1047 1380 1331.11 201.37 6.61 1000000 0 1041.15/1041.52 c 1059 1396 1303.75 135.31 9.64 1000000 0 1044.25/1044.69 c 1061 1244 1306.46 144.33 9.05 1000000 0 1047.45/1047.89 c 1020 1163 1313.77 188.63 6.96 1000000 0 1050.65/1051.08 c 1050 1141 1312.61 208.99 6.28 1000000 0 1053.85/1054.28 c 1068 1268 1340.79 187.08 7.17 1000000 0 1057.05/1057.47 c 1043 1215 1303.37 179.11 7.28 1000000 0 1060.25/1060.66 c 1035 1269 1307.56 167.99 7.78 1000000 0 1063.44/1063.84 c 1010 1232 1299.64 198.37 6.55 1000000 0 1066.65/1067.01 c 1039 1135 1305.38 163.79 7.97 1000000 0 1069.85/1070.21 c 1058 1275 1322.41 150.02 8.82 1000000 0 1073.04/1073.40 c 1036 1242 1336.16 176.25 7.58 1000000 0 1076.24/1076.62 c 1089 1283 1360.77 179.47 7.58 1000000 0 1079.44/1079.82 c 1123 1347 1344.88 161.99 8.30 1000000 0 1082.64/1083.01 c 1025 1283 1295.82 188.43 6.88 1000000 0 1085.84/1086.21 c 1045 1194 1316.51 182.39 7.22 1000000 0 1089.04/1089.40 c 1071 1322 1328.13 158.28 8.39 1000000 0 1092.13/1092.59 c 1061 1223 1311.57 174.39 7.52 1000000 0 1095.33/1095.78 c 1086 1302 1335.23 165.48 8.07 1000000 0 1098.54/1098.96 c 1023 1230 1318.65 148.78 8.86 1000000 0 1101.74/1102.16 c 1053 1335 1319.52 145.78 9.05 1000000 0 1104.93/1105.36 c 1048 1283 1326.94 191.70 6.92 1000000 0 1108.13/1108.56 c 1054 1202 1320.81 181.45 7.28 1000000 0 1111.33/1111.76 c 1067 1185 1352.58 202.46 6.68 1000000 0 1114.53/1114.95 c 1075 1289 1322.21 135.12 9.79 1000000 0 1117.73/1118.16 c 1012 1163 1337.45 185.52 7.21 1000000 0 1120.93/1121.35 c 1078 1345 1327.78 185.67 7.15 1000000 0 1124.12/1124.55 c 1027 1084 1315.08 155.67 8.45 1000000 0 1127.32/1127.76 c 1016 1343 1338.35 187.70 7.13 1000000 0 1130.52/1130.96 c 1051 1147 1320.43 185.71 7.11 1000000 0 1133.73/1134.14 c 990 1319 1295.72 138.66 9.34 1000000 0 1136.93/1137.35 c 1059 1309 1359.62 168.76 8.06 1000000 0 1140.12/1140.54 c 1071 1359 1306.56 135.25 9.66 1000000 0 1143.32/1143.73 c 1019 1292 1320.99 140.04 9.43 1000000 0 1146.52/1146.92 c 1057 1245 1325.68 179.47 7.39 1000000 0 1149.72/1150.12 c 1084 1370 1334.16 138.75 9.62 1000000 0 1152.91/1153.31 c 1056 1238 1308.72 148.14 8.83 1000000 0 1156.11/1156.52 c 1060 1150 1339.33 170.42 7.86 1000000 0 1159.31/1159.71 c 1068 1313 1343.28 165.50 8.12 1000000 0 1162.51/1162.92 c 986 1181 1325.22 167.84 7.90 1000000 0 1165.71/1166.10 c 1014 1263 1304.52 131.62 9.91 1000000 0 1168.82/1169.29 c 1049 1313 1321.09 143.72 9.19 1000000 0 1172.01/1172.47 c 1091 1264 1290.74 133.33 9.68 1000000 0 1175.21/1175.67 c 1046 1288 1323.66 170.80 7.75 1000000 0 1178.41/1178.87 c 1008 1215 1321.40 180.89 7.30 1000000 0 1181.61/1182.07 c 1012 1240 1308.72 144.97 9.03 1000000 0 1184.80/1185.29 c 1050 1255 1347.60 162.00 8.32 1000000 0 1188.00/1188.47 c 992 1273 1297.18 153.35 8.46 1000000 0 1191.20/1191.65 c 1048 1290 1295.33 193.16 6.71 1000000 0 1194.40/1194.85 c 1037 1307 1333.01 178.52 7.47 1000000 0 1197.60/1198.06 c 1053 1248 1320.07 147.86 8.93 1000000 0 1200.81/1201.25 c 1009 1343 1317.51 178.93 7.36 1000000 0 1204.00/1204.46 c 1102 1457 1331.15 153.92 8.65 1000000 0 1207.20/1207.66 c 1067 1276 1326.73 161.08 8.24 1000000 0 1210.39/1210.87 c 1088 1216 1358.79 147.69 9.20 1000000 0 1213.59/1214.07 c 1074 1280 1326.78 149.13 8.90 1000000 0 1216.79/1217.27 c 1050 1186 1312.99 159.33 8.24 1000000 0 1219.99/1220.45 c 1057 1289 1299.69 151.15 8.60 1000000 0 1223.19/1223.65 c 1043 1259 1315.39 177.05 7.43 1000000 0 1226.39/1226.86 c 1064 1094 1339.08 151.32 8.85 1000000 0 1229.59/1230.06 c 1017 1312 1352.52 177.04 7.64 1000000 0 1232.79/1233.25 c 1026 1284 1312.08 137.19 9.56 1000000 0 1235.99/1236.45 c 1046 1359 1328.48 203.14 6.54 1000000 0 1239.19/1239.65 c 1064 1164 1332.38 165.98 8.03 1000000 0 1242.39/1242.85 c 1095 1353 1337.23 142.93 9.36 1000000 0 1245.58/1246.05 c 1064 1247 1345.55 169.69 7.93 1000000 0 1248.78/1249.23 c 1024 1468 1301.04 138.45 9.40 1000000 0 1251.98/1252.44 c 1085 1390 1345.23 178.87 7.52 1000000 0 1255.18/1255.64 c 1082 1252 1321.93 150.17 8.80 1000000 0 1258.38/1258.84 c 1023 1313 1314.71 150.22 8.75 1000000 0 1261.58/1262.04 c 1082 1426 1344.91 191.22 7.03 1000000 0 1264.78/1265.24 c 1065 1456 1322.88 162.74 8.13 1000000 0 1267.98/1268.43 c 965 1398 1284.59 172.84 7.43 1000000 0 1271.18/1271.62 c 1065 1197 1320.23 167.49 7.88 1000000 0 1274.38/1274.82 c 1048 1375 1317.78 174.55 7.55 1000000 0 1277.57/1278.02 c 1063 1291 1333.46 228.35 5.84 1000000 0 1280.77/1281.21 c 1062 1292 1331.70 173.65 7.67 1000000 0 1283.97/1284.41 c 1022 1211 1322.74 187.96 7.04 1000000 0 1287.17/1287.61 c 1039 1205 1324.30 177.51 7.46 1000000 0 1290.37/1290.83 c 1044 1196 1350.55 208.45 6.48 1000000 0 1293.57/1294.02 c 1041 1296 1308.22 146.66 8.92 1000000 0 1296.77/1297.20 c 1064 1329 1305.68 152.42 8.57 1000000 0 1299.87/1300.40 c 1010 1153 1328.41 155.63 8.54 1000000 0 1303.07/1303.59 c 1076 1240 1320.18 127.63 10.34 1000000 0 1306.27/1306.78 c 1064 1380 1312.30 160.36 8.18 1000000 0 1309.46/1309.96 c 1041 1355 1319.89 160.46 8.23 1000000 0 1312.66/1313.16 c 1077 1328 1320.04 186.30 7.09 1000000 0 1315.86/1316.35 c 988 1042 1299.85 178.79 7.27 1000000 0 1319.06/1319.56 c 988 1319 1321.11 185.31 7.13 1000000 0 1322.26/1322.76 c 1084 1385 1334.07 146.30 9.12 1000000 0 1325.46/1325.95 c 1034 1259 1309.66 149.94 8.73 1000000 0 1328.66/1329.14 c 1010 1068 1325.20 156.98 8.44 1000000 0 1331.86/1332.34 c 1084 1171 1330.92 174.84 7.61 1000000 0 1335.06/1335.55 c 1076 1355 1345.23 182.69 7.36 1000000 0 1338.26/1338.75 c 1053 1212 1324.73 145.94 9.08 1000000 0 1341.46/1341.95 c 1050 1308 1301.50 167.57 7.77 1000000 0 1344.65/1345.14 c 1077 1372 1303.02 147.16 8.85 1000000 0 1347.85/1348.34 c 1064 1297 1323.78 194.91 6.79 1000000 0 1351.05/1351.55 c 1073 1308 1335.06 156.97 8.51 1000000 0 1354.25/1354.77 c 1080 1319 1344.59 157.02 8.56 1000000 0 1357.45/1357.97 c 1072 1200 1316.90 117.87 11.17 1000000 0 1360.65/1361.16 c 1032 1389 1326.36 167.50 7.92 1000000 0 1363.85/1364.37 c 1061 1187 1354.07 206.78 6.55 1000000 0 1367.04/1367.56 c 1016 1291 1310.58 174.42 7.51 1000000 0 1370.24/1370.75 c 1093 1281 1328.43 177.38 7.49 1000000 0 1373.45/1373.94 c 1062 1318 1300.33 139.30 9.33 1000000 0 1376.65/1377.13 c 1060 1264 1309.14 132.68 9.87 1000000 0 1379.84/1380.32 c 1034 1357 1307.31 142.65 9.16 1000000 0 1383.04/1383.52 c 1084 1270 1331.33 152.79 8.71 1000000 0 1386.24/1386.72 c 1016 1312 1338.71 182.45 7.34 1000000 0 1389.44/1389.91 c 1071 1175 1308.35 153.03 8.55 1000000 0 1392.64/1393.11 c 1078 1182 1311.62 164.91 7.95 1000000 0 1395.83/1396.30 c 1004 1315 1318.76 133.85 9.85 1000000 0 1399.03/1399.50 c 1067 1248 1326.02 171.13 7.75 1000000 0 1402.23/1402.70 c 1080 1325 1327.88 150.72 8.81 1000000 0 1405.43/1405.90 c 1070 1281 1335.82 200.03 6.68 1000000 0 1408.54/1409.10 c 1074 1223 1332.15 167.66 7.95 1000000 0 1411.73/1412.28 c 1042 1213 1312.12 164.20 7.99 1000000 0 1414.93/1415.47 c 1071 1265 1320.07 182.01 7.25 1000000 0 1418.13/1418.68 c 1078 1264 1323.50 161.33 8.20 1000000 0 1421.33/1421.86 c 1054 1141 1285.49 143.83 8.94 1000000 0 1424.53/1425.05 c 1055 1309 1289.36 150.40 8.57 1000000 0 1427.72/1428.24 c 1053 1235 1323.67 152.28 8.69 1000000 0 1430.92/1431.42 c 1047 1108 1311.26 146.82 8.93 1000000 0 1434.12/1434.61 c 1038 1289 1303.49 158.02 8.25 1000000 0 1437.23/1437.79 c 1066 1266 1312.29 151.22 8.68 1000000 0 1440.43/1440.98 c 1064 1203 1302.01 134.34 9.69 1000000 0 1443.62/1444.17 c 1038 1305 1324.65 147.93 8.95 1000000 0 1446.82/1447.36 c 1043 1284 1322.60 150.31 8.80 1000000 0 1450.02/1450.56 c 1053 1214 1309.82 171.53 7.64 1000000 0 1453.22/1453.76 c 1023 1102 1305.18 179.83 7.26 1000000 0 1456.42/1456.95 c 1058 1460 1325.28 150.39 8.81 1000000 0 1459.62/1460.15 c 1048 1207 1330.46 181.52 7.33 1000000 0 1462.81/1463.35 c 1047 1314 1308.09 171.76 7.62 1000000 0 1466.01/1466.53 c 1034 1425 1304.39 148.76 8.77 1000000 0 1469.21/1469.72 c 1079 1152 1326.87 180.36 7.36 1000000 0 1472.42/1472.91 c 1060 1160 1297.35 155.65 8.34 1000000 0 1475.62/1476.10 c 1050 1091 1305.01 163.86 7.96 1000000 0 1478.71/1479.28 c 1067 1341 1325.14 165.36 8.01 1000000 0 1481.91/1482.49 c 1074 1310 1345.68 178.97 7.52 1000000 0 1485.11/1485.68 c 1020 1326 1318.25 184.46 7.15 1000000 0 1488.31/1488.87 c 1063 1206 1312.63 148.63 8.83 1000000 0 1491.51/1492.06 c 984 1123 1328.22 200.10 6.64 1000000 0 1494.70/1495.24 c 1002 1309 1282.35 157.20 8.16 1000000 0 1497.90/1498.42 c 1051 1215 1287.04 151.87 8.47 1000000 0 1501.10/1501.61 c 1063 1292 1323.90 175.82 7.53 1000000 0 1504.31/1504.81 c 1060 1295 1316.38 168.82 7.80 1000000 0 1507.40/1507.99 c 1022 1249 1299.21 179.13 7.25 1000000 0 1510.60/1511.17 c 995 1224 1304.98 204.65 6.38 1000000 0 1513.80/1514.36 c 1087 1331 1342.12 168.77 7.95 1000000 0 1517.00/1517.57 c 1093 1271 1351.35 169.01 8.00 1000000 0 1520.19/1520.76 c 1089 1221 1315.77 180.84 7.28 1000000 0 1523.39/1523.96 c 1008 1255 1323.68 157.17 8.42 1000000 0 1526.59/1527.16 c 1074 1264 1326.04 165.16 8.03 1000000 0 1529.79/1530.35 c 1051 1280 1309.51 164.75 7.95 1000000 0 1532.99/1533.53 c 1096 1293 1301.64 142.17 9.16 1000000 0 1536.20/1536.73 c 1087 1195 1323.94 165.66 7.99 1000000 0 1539.39/1539.92 c 1049 1259 1317.52 156.75 8.41 1000000 0 1542.59/1543.13 c 1064 1312 1333.25 152.91 8.72 1000000 0 1545.79/1546.33 c 1013 1290 1334.01 207.12 6.44 1000000 0 1548.98/1549.51 c 1089 1277 1323.54 152.78 8.66 1000000 0 1552.18/1552.72 c 1109 1318 1364.45 190.62 7.16 1000000 0 1555.38/1555.92 c 1066 1300 1335.70 239.86 5.57 1000000 0 1558.58/1559.11 c 1073 1216 1324.20 182.24 7.27 1000000 0 1561.78/1562.31 c 1060 1393 1319.69 163.34 8.08 1000000 0 1564.98/1565.53 c 1064 1238 1353.58 188.44 7.18 1000000 0 1568.18/1568.72 c 1046 1129 1332.42 197.36 6.75 1000000 0 1571.38/1571.92 c 1045 1253 1322.83 205.49 6.44 1000000 0 1574.58/1575.12 c 1061 1283 1332.74 168.57 7.91 1000000 0 1577.78/1578.31 c 1072 1224 1319.93 148.85 8.87 1000000 0 1580.97/1581.51 c 1081 1299 1318.32 166.18 7.93 1000000 0 1584.17/1584.71 c 1040 1314 1306.00 177.73 7.35 1000000 0 1587.27/1587.90 c 1015 1119 1307.81 150.17 8.71 1000000 0 1590.47/1591.08 c 1036 1362 1313.96 156.36 8.40 1000000 0 1593.67/1594.28 c 1088 1317 1336.72 182.28 7.33 1000000 0 1596.87/1597.47 c 1036 1410 1328.49 154.96 8.57 1000000 0 1600.07/1600.66 c 1060 1217 1295.14 150.28 8.62 1000000 0 1603.27/1603.88 c 952 1257 1334.36 162.42 8.22 1000000 0 1606.47/1607.07 c 1060 1374 1324.34 162.34 8.16 1000000 0 1609.66/1610.26 c 1048 1286 1321.26 153.16 8.63 1000000 0 1612.86/1613.44 c 1057 1163 1299.75 149.37 8.70 1000000 0 1616.06/1616.63 c 1012 1170 1311.99 155.79 8.42 1000000 0 1619.26/1619.81 c 1082 1174 1327.09 152.68 8.69 1000000 0 1622.36/1622.99 c 1018 1344 1299.63 168.59 7.71 1000000 0 1625.66/1626.20 c 1025 1312 1318.88 171.49 7.69 1000000 0 1628.76/1629.37 c 1014 1240 1303.08 175.02 7.45 1000000 0 1631.96/1632.57 c 1017 1318 1323.23 161.00 8.22 1000000 0 1635.16/1635.77 c 1086 1227 1345.34 174.44 7.71 1000000 0 1638.36/1638.97 c 1086 1366 1327.77 122.72 10.82 1000000 0 1641.55/1642.17 c 1039 1320 1326.17 175.01 7.58 1000000 0 1644.75/1645.38 c 1064 1106 1350.26 162.18 8.33 1000000 0 1647.95/1648.57 c 1041 1177 1322.95 158.59 8.34 1000000 0 1651.15/1651.77 c 1039 1294 1318.85 194.68 6.77 1000000 0 1654.35/1654.97 c 1096 1277 1328.99 153.63 8.65 1000000 0 1657.55/1658.14 c 1009 1205 1304.80 182.50 7.15 1000000 0 1660.75/1661.33 c 1040 1381 1307.22 187.07 6.99 1000000 0 1663.95/1664.53 c 1081 1248 1343.30 185.00 7.26 1000000 0 1667.15/1667.73 c 1025 1194 1332.04 156.61 8.51 1000000 0 1670.35/1670.93 c 1072 1139 1318.61 160.59 8.21 1000000 0 1673.55/1674.12 c 1095 1254 1339.49 147.12 9.10 1000000 0 1676.74/1677.32 c 1039 1283 1314.92 166.84 7.88 1000000 0 1679.94/1680.51 c 1049 1257 1330.61 156.11 8.52 1000000 0 1683.14/1683.72 c 1031 1312 1335.89 185.84 7.19 1000000 0 1686.34/1686.92 c 1041 1388 1331.33 180.42 7.38 1000000 0 1689.54/1690.11 c 1087 1219 1320.07 138.32 9.54 1000000 0 1692.74/1693.31 c 1017 1240 1318.27 196.84 6.70 1000000 0 1695.94/1696.51 c 1073 1263 1314.62 175.88 7.47 1000000 0 1699.04/1699.68 c 1054 1432 1294.29 162.95 7.94 1000000 0 1702.24/1702.88 c 1062 1177 1320.92 177.23 7.45 1000000 0 1705.44/1706.07 c 1090 1322 1331.98 155.53 8.56 1000000 0 1708.63/1709.27 c 1055 1414 1323.07 166.98 7.92 1000000 0 1711.83/1712.46 c 1032 1401 1308.46 178.17 7.34 1000000 0 1715.03/1715.64 c 1024 1354 1302.74 189.55 6.87 1000000 0 1718.23/1718.83 c 1075 1307 1325.28 181.79 7.29 1000000 0 1721.43/1722.01 c 950 1273 1291.49 168.66 7.66 1000000 0 1724.53/1725.19 c 1076 1179 1317.67 145.09 9.08 1000000 0 1727.73/1728.38 c 1043 1354 1299.06 148.17 8.77 1000000 0 1730.92/1731.58 c 1044 1171 1320.87 184.73 7.15 1000000 0 1734.22/1734.80 c 1023 1398 1345.20 197.80 6.80 1000000 0 1737.33/1738.00 c 1058 1345 1331.58 170.36 7.82 1000000 0 1740.52/1741.19 c 1102 1145 1322.59 149.63 8.84 1000000 0 1743.72/1744.39 c 1046 1281 1332.94 165.58 8.05 1000000 0 1746.92/1747.58 c 1019 1296 1332.99 166.54 8.00 1000000 0 1750.12/1750.78 c 1042 1149 1318.13 194.13 6.79 1000000 0 1753.32/1753.97 c 1079 1296 1333.94 153.76 8.68 1000000 0 1756.52/1757.17 c 1086 1321 1330.74 128.06 10.39 1000000 0 1759.72/1760.37 c 1070 1264 1325.04 169.23 7.83 1000000 0 1762.91/1763.53 c 1001 1354 1281.36 159.49 8.03 1000000 0 1766.11/1766.71 c 983 1162 1294.02 150.38 8.60 1000000 0 1769.32/1769.91 c 1050 1320 1314.32 140.87 9.33 1000000 0 1772.52/1773.10 c 979 1204 1320.92 173.30 7.62 1000000 0 1775.71/1776.31 c 1014 1324 1338.29 151.31 8.84 1000000 0 1778.91/1779.50 c 977 1319 1317.49 152.16 8.66 1000000 0 1782.11/1782.70 c 1048 1394 1318.94 139.16 9.48 1000000 0 1785.21/1785.89 c 1058 1255 1302.21 132.66 9.82 1000000 0 1788.41/1789.09 c 1045 1257 1309.04 178.62 7.33 1000000 0 1791.61/1792.28 c 1085 1155 1322.51 158.32 8.35 1000000 0 1794.80/1795.47 c 1050 1228 1335.88 171.62 7.78 1000000 0 1798.00/1798.68 c 1064 1210 1345.91 199.40 6.75 1000000 0 1800.02/1800.61 HOME/run: line 2: 20256 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-2684888-1278435933/watcher-2684888-1278435933 -o /tmp/evaluation-result-2684888-1278435933/solver-2684888-1278435933 -C 1800 -W 2000 -M 1800 run HOME/instance-2684888-1278435933.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.00 1.00 0.91 3/106 20255 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) R 20253 20255 19666 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177161109 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [startup+0.0483161 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20255 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101323 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20255 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300356 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20255 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700425 s] /proc/loadavg: 1.00 1.00 0.91 3/106 20255 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20257 /proc/meminfo: memFree=1386356/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1.49 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2867 0 0 0 148 1 0 0 25 0 1 0 11805141 41422848 2796 1992294400 134512640 135071400 4286834288 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2796 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10183 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20257 /proc/meminfo: memFree=1386108/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=3.09 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2867 0 0 0 308 1 0 0 25 0 1 0 11805141 41422848 2796 1992294400 134512640 135071400 4286834288 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2796 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20257 /proc/meminfo: memFree=1385860/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=6.29 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2875 0 0 0 628 1 0 0 25 0 1 0 11805141 41422848 2804 1992294400 134512640 135071400 4286834288 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2804 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20258 /proc/meminfo: memFree=1385860/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=12.68 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2875 0 0 0 1267 1 0 0 25 0 1 0 11805141 41422848 2804 1992294400 134512640 135071400 4286834288 18446744073709551615 134571280 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2804 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20258 /proc/meminfo: memFree=1385860/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=25.48 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2875 0 0 0 2547 1 0 0 25 0 1 0 11805141 41422848 2804 1992294400 134512640 135071400 4286834288 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2804 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.101 s] /proc/loadavg: 1.00 1.00 0.91 2/108 20259 /proc/meminfo: memFree=1385860/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=51.07 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 5106 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 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.10 1.03 0.92 2/108 20260 /proc/meminfo: memFree=1385736/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=102.26 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 10225 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.04 1.02 0.92 2/108 20262 /proc/meminfo: memFree=1385736/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=162.23 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 16222 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.01 1.02 0.92 3/108 20263 /proc/meminfo: memFree=1385488/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=222.21 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 22220 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.01 0.92 2/108 20265 /proc/meminfo: memFree=1385488/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=282.19 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 28218 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/108 20267 /proc/meminfo: memFree=1385488/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=342.17 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 34216 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/108 20268 /proc/meminfo: memFree=1385364/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=402.15 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 40214 1 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=20256] ppid=20255 vsize=40452 CPUtime=1061.94 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 106192 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20290 /proc/meminfo: memFree=1384124/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1121.92 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 112190 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20292 /proc/meminfo: memFree=1384124/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1181.91 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 118189 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20294 /proc/meminfo: memFree=1384000/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1241.89 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 124187 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526844 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20295 /proc/meminfo: memFree=1383876/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1301.87 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 130185 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20297 /proc/meminfo: memFree=1383876/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1361.85 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 136183 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20298 /proc/meminfo: memFree=1383876/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1421.83 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 142181 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20300 /proc/meminfo: memFree=1383752/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1481.81 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 148179 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20302 /proc/meminfo: memFree=1383752/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1541.79 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 154177 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20303 /proc/meminfo: memFree=1383628/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1601.77 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 160175 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20305 /proc/meminfo: memFree=1383380/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1661.75 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 166173 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20306 /proc/meminfo: memFree=1383256/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1721.73 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 172171 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20308 /proc/meminfo: memFree=1383008/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1781.71 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 178169 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20308 /proc/meminfo: memFree=1383008/2059040 swapFree=4192956/4192956 [pid=20255] ppid=20253 vsize=8700 CPUtime=0 /proc/20255/stat : 20255 (run) S 20253 20255 19666 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11805140 8908800 244 1992294400 4194304 4922060 140736037144240 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20255/statm: 2175 244 204 178 0 68 0 [pid=20256] ppid=20255 vsize=40452 CPUtime=1800.02 /proc/20256/stat : 20256 (PB-wave) R 20255 20255 19666 0 -1 4202496 2876 0 0 0 180000 2 0 0 25 0 1 0 11805141 41422848 2805 1992294400 134512640 135071400 4286834288 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20256/statm: 10113 2805 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 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1800 CPU system time (s): 0.029995 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3248 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= 23229 runsolver used 2.94055 second user time and 8.5647 second system time The end
Begin job on node025 at 2010-07-06 19:05:33 IDJOB=2684888 IDBENCH=73860 IDSOLVER=1171 FILE ID=node025/2684888-1278435933 PBS_JOBID= 11233452 Free space on /tmp= 62508 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684888-1278435933/watcher-2684888-1278435933 -o /tmp/evaluation-result-2684888-1278435933/solver-2684888-1278435933 -C 1800 -W 2000 -M 1800 run HOME/instance-2684888-1278435933.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c76ba3fc1d0a0f3a1a96791ffe6c4cf4 RANDOM SEED=891980783 node025.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1398300 kB Buffers: 104036 kB Cached: 418816 kB SwapCached: 0 kB Active: 215200 kB Inactive: 367912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1398300 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4948 kB Writeback: 0 kB AnonPages: 60216 kB Mapped: 14392 kB Slab: 55788 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180336 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= 62508 MiB End job on node025 at 2010-07-06 19:35:34