| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.62 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12052_5-unsat.opb |
| MD5SUM | 2ff183c8695f0992ee4ac0210b2026e7 |
| 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 | 588.535 |
| 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 | 37752 |
| Total number of constraints | 131628 |
| Number of constraints which are clauses | 131008 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 620 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 96 |
| 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 | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 531 |
| 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.35 c PB-wave - v2 0.00/0.35 c command line = ./PB-wave 0.00/0.35 c seed = 5550869 0.00/0.35 c cutoff = 1000000 0.00/0.35 c tries = 1000000 0.00/0.35 c heuristic = c best, noise 50 / 100 0.00/0.35 #var 37752 #con 131628 0.00/0.35 mode is SAT 0.00/0.35 c tail starts after flip = 113256 0.00/0.35 c numatom = 37752, numclause = 131628, numliterals = 335150 0.00/0.35 c wff read in 0.00/0.35 c 0.00/0.35 c lowest final avg noise noise total avg mean mean 0.00/0.35 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.35 c this this this this this this success success until std 0.00/0.35 c try try try try try try rate tries assign dev 0.00/0.35 c 3.20/3.30 c 975 1155 1237.87 154.50 8.01 1000000 0 6.19/6.25 c 969 1143 1247.70 155.07 8.05 1000000 0 9.19/9.21 c 973 1191 1265.20 159.42 7.94 1000000 0 12.09/12.16 c 972 1219 1236.96 172.66 7.16 1000000 0 15.08/15.12 c 985 1201 1255.77 172.65 7.27 1000000 0 17.98/18.08 c 977 1241 1267.03 161.10 7.87 1000000 0 20.98/21.05 c 927 1280 1268.18 198.42 6.39 1000000 0 23.98/24.02 c 946 1191 1265.76 228.19 5.55 1000000 0 26.88/26.98 c 982 1276 1257.44 180.43 6.97 1000000 0 29.88/29.93 c 969 1134 1250.28 173.94 7.19 1000000 0 32.78/32.90 c 926 1137 1266.36 179.35 7.06 1000000 0 35.78/35.87 c 1010 1210 1266.39 185.47 6.83 1000000 0 38.78/38.85 c 976 1229 1272.09 195.31 6.51 1000000 0 41.79/41.81 c 949 1168 1247.88 190.41 6.55 1000000 0 44.68/44.77 c 989 1174 1233.73 144.08 8.56 1000000 0 47.68/47.73 c 936 1086 1247.64 197.70 6.31 1000000 0 50.58/50.67 c 955 1038 1244.57 175.93 7.07 1000000 0 53.57/53.62 c 997 1212 1240.80 161.52 7.68 1000000 0 56.47/56.58 c 962 1323 1256.08 178.65 7.03 1000000 0 59.47/59.53 c 920 1190 1250.48 168.92 7.40 1000000 0 62.37/62.49 c 967 1197 1250.34 161.52 7.74 1000000 0 65.37/65.45 c 999 1280 1258.67 193.69 6.50 1000000 0 68.37/68.41 c 1017 1060 1267.75 167.61 7.56 1000000 0 71.27/71.35 c 993 1289 1232.12 182.36 6.76 1000000 0 74.27/74.30 c 958 1271 1254.19 175.71 7.14 1000000 0 77.17/77.26 c 990 1088 1249.67 156.42 7.99 1000000 0 80.17/80.23 c 939 1260 1252.83 182.77 6.85 1000000 0 83.07/83.17 c 946 1192 1220.24 154.35 7.91 1000000 0 86.07/86.13 c 934 1240 1255.95 179.84 6.98 1000000 0 88.97/89.10 c 992 1067 1273.20 194.67 6.54 1000000 0 91.96/92.05 c 874 1254 1234.96 157.24 7.85 1000000 0 94.86/94.99 c 949 1314 1230.92 135.65 9.07 1000000 0 97.87/97.95 c 967 1046 1258.89 163.86 7.68 1000000 0 100.76/100.89 c 965 1223 1240.78 162.01 7.66 1000000 0 103.76/103.85 c 958 1317 1232.18 176.83 6.97 1000000 0 106.67/106.79 c 973 1110 1243.59 156.34 7.95 1000000 0 109.66/109.75 c 1023 1207 1260.41 160.40 7.86 1000000 0 112.66/112.72 c 938 1137 1274.44 173.69 7.34 1000000 0 115.56/115.69 c 972 1169 1252.41 181.89 6.89 1000000 0 118.56/118.63 c 948 1104 1239.60 140.07 8.85 1000000 0 121.56/121.60 c 983 1060 1276.88 169.43 7.54 1000000 0 124.45/124.56 c 928 1149 1241.41 175.63 7.07 1000000 0 127.46/127.50 c 996 1245 1223.08 153.73 7.96 1000000 0 130.35/130.46 c 966 1227 1244.24 201.88 6.16 1000000 0 133.35/133.41 c 1027 1216 1265.24 181.23 6.98 1000000 0 136.26/136.35 c 958 1183 1227.76 165.84 7.40 1000000 0 139.25/139.31 c 956 1283 1257.50 197.17 6.38 1000000 0 142.15/142.27 c 952 1151 1259.73 169.46 7.43 1000000 0 145.16/145.23 c 969 1251 1247.90 154.71 8.07 1000000 0 148.05/148.18 c 987 1237 1260.19 182.71 6.90 1000000 0 151.05/151.13 c 924 1209 1248.23 159.05 7.85 1000000 0 153.95/154.08 c 879 1276 1230.97 185.26 6.64 1000000 0 156.95/157.02 c 929 1136 1216.88 190.01 6.40 1000000 0 159.84/159.99 c 901 1325 1267.61 166.84 7.60 1000000 0 162.84/162.94 c 921 1256 1238.68 171.87 7.21 1000000 0 165.84/165.90 c 933 1267 1248.77 204.22 6.11 1000000 0 168.74/168.86 c 968 1195 1263.59 191.09 6.61 1000000 0 171.74/171.83 c 1029 1101 1268.01 159.60 7.94 1000000 0 174.64/174.78 c 1017 1269 1256.81 142.07 8.85 1000000 0 177.64/177.74 c 897 1280 1239.56 154.48 8.02 1000000 0 180.64/180.70 c 926 1060 1263.27 185.15 6.82 1000000 0 183.54/183.66 c 958 1124 1250.03 172.59 7.24 1000000 0 186.54/186.61 c 1021 1198 1252.34 214.03 5.85 1000000 0 189.44/189.55 c 988 1247 1219.99 142.50 8.56 1000000 0 192.34/192.49 c 906 1316 1235.26 170.40 7.25 1000000 0 195.33/195.45 c 976 1154 1250.18 194.73 6.42 1000000 0 198.33/198.41 c 1001 1255 1263.59 168.07 7.52 1000000 0 201.24/201.35 c 959 1088 1228.05 171.23 7.17 1000000 0 204.23/204.30 c 983 1159 1251.70 161.46 7.75 1000000 0 207.13/207.27 c 988 1086 1270.66 181.29 7.01 1000000 0 210.13/210.23 c 938 1262 1245.10 179.12 6.95 1000000 0 213.03/213.19 c 1012 1177 1257.57 185.23 6.79 1000000 0 216.03/216.13 c 957 1220 1237.01 150.84 8.20 1000000 0 218.93/219.08 c 986 1241 1267.23 149.89 8.45 1000000 0 221.93/222.04 c 1017 1231 1253.13 139.84 8.96 1000000 0 224.93/225.02 c 1017 1166 1290.82 220.51 5.85 1000000 0 227.83/227.98 c 959 1253 1252.76 154.07 8.13 1000000 0 230.83/230.91 c 923 1442 1216.85 147.59 8.24 1000000 0 233.72/233.87 c 984 1240 1235.66 170.47 7.25 1000000 0 236.72/236.84 c 982 1248 1283.33 204.13 6.29 1000000 0 239.63/239.79 c 973 1235 1243.06 168.08 7.40 1000000 0 242.62/242.76 c 954 1123 1282.82 191.28 6.71 1000000 0 245.62/245.73 c 918 1242 1278.66 187.76 6.81 1000000 0 248.53/248.69 c 942 1231 1246.74 159.40 7.82 1000000 0 251.52/251.65 c 942 1135 1236.20 173.25 7.14 1000000 0 254.42/254.59 c 916 1285 1231.99 162.09 7.60 1000000 0 257.42/257.55 c 961 1071 1243.33 198.47 6.26 1000000 0 260.42/260.51 c 995 1279 1261.75 183.24 6.89 1000000 0 263.32/263.49 c 938 1187 1268.70 189.04 6.71 1000000 0 266.32/266.44 c 963 1274 1254.78 147.06 8.53 1000000 0 269.32/269.40 c 962 1027 1263.57 214.59 5.89 1000000 0 272.21/272.36 c 970 1204 1266.24 191.04 6.63 1000000 0 275.21/275.32 c 959 1227 1235.03 185.67 6.65 1000000 0 278.12/278.27 c 1008 1278 1247.89 175.18 7.12 1000000 0 281.11/281.23 c 992 1120 1252.73 155.76 8.04 1000000 0 284.01/284.19 c 990 1278 1250.74 168.61 7.42 1000000 0 287.02/287.16 c 954 1372 1271.61 162.06 7.85 1000000 0 290.01/290.12 c 992 1111 1265.27 180.90 6.99 1000000 0 292.91/293.07 c 988 1165 1228.91 152.64 8.05 1000000 0 295.91/296.03 c 993 1241 1260.81 147.40 8.55 1000000 0 298.81/298.98 c 980 1002 1244.53 160.06 7.78 1000000 0 301.81/301.93 c 964 1301 1246.98 181.44 6.87 1000000 0 304.70/304.89 c 965 1169 1236.97 176.43 7.01 1000000 0 307.70/307.85 c 987 1095 1259.66 191.86 6.57 1000000 0 310.70/310.81 c 971 1291 1256.47 189.31 6.64 1000000 0 313.60/313.76 c 965 1244 1249.98 183.56 6.81 1000000 0 316.61/316.70 c 935 1172 1218.81 145.01 8.41 1000000 0 319.50/319.64 c 953 1165 1220.85 155.69 7.84 1000000 0 322.50/322.60 c 965 1243 1256.27 170.65 7.36 1000000 0 325.41/325.55 c 984 1349 1228.60 156.66 7.84 1000000 0 328.40/328.51 c 971 999 1267.21 186.13 6.81 1000000 0 331.30/331.47 c 969 1309 1262.80 193.08 6.54 1000000 0 334.30/334.43 c 962 1202 1249.96 194.31 6.43 1000000 0 337.20/337.36 c 977 1344 1228.49 170.03 7.22 1000000 0 340.19/340.32 c 938 1180 1253.67 179.19 7.00 1000000 0 343.10/343.28 c 948 1188 1247.67 166.10 7.51 1000000 0 346.09/346.25 c 980 1043 1249.72 213.21 5.86 1000000 0 348.99/349.20 c 939 1223 1235.79 165.23 7.48 1000000 0 351.99/352.14 c 1003 1298 1242.29 137.14 9.06 1000000 0 354.99/355.10 c 956 1225 1247.75 182.96 6.82 1000000 0 357.88/358.05 c 926 1162 1228.93 188.88 6.51 1000000 0 360.88/361.00 c 1003 1245 1241.58 166.72 7.45 1000000 0 363.78/363.95 c 894 1325 1228.68 186.48 6.59 1000000 0 366.78/366.90 c 998 1387 1262.78 146.52 8.62 1000000 0 369.68/369.87 c 999 1300 1262.33 178.65 7.07 1000000 0 372.69/372.83 c 940 1294 1257.77 171.62 7.33 1000000 0 375.68/375.80 c 973 1193 1270.33 197.05 6.45 1000000 0 378.58/378.77 c 970 1138 1250.66 159.71 7.83 1000000 0 381.59/381.71 c 954 1113 1231.37 144.58 8.52 1000000 0 384.48/384.67 c 907 1110 1236.14 156.84 7.88 1000000 0 387.48/387.62 c 985 1319 1256.37 144.79 8.68 1000000 0 390.38/390.56 c 978 1340 1232.58 150.09 8.21 1000000 0 393.38/393.52 c 934 1073 1239.21 181.58 6.82 1000000 0 396.28/396.49 c 997 1312 1262.88 145.30 8.69 1000000 0 399.27/399.44 c 963 1192 1246.42 171.15 7.28 1000000 0 402.27/402.41 c 971 1270 1255.13 175.24 7.16 1000000 0 405.17/405.39 c 956 1126 1274.42 190.22 6.70 1000000 0 408.17/408.34 c 984 1171 1252.66 183.48 6.83 1000000 0 411.07/411.29 c 958 1305 1254.57 222.97 5.63 1000000 0 414.07/414.26 c 968 1198 1243.25 181.42 6.85 1000000 0 416.97/417.19 c 912 1185 1223.08 174.30 7.02 1000000 0 419.98/420.14 c 906 1443 1233.05 139.22 8.86 1000000 0 422.97/423.10 c 950 1350 1245.63 167.18 7.45 1000000 0 425.87/426.04 c 966 1124 1220.84 167.80 7.28 1000000 0 428.87/429.00 c 945 1230 1255.92 161.46 7.78 1000000 0 431.77/431.96 c 989 1197 1245.97 183.88 6.78 1000000 0 434.76/434.91 c 969 1188 1237.06 145.35 8.51 1000000 0 437.67/437.86 c 972 1365 1257.02 168.76 7.45 1000000 0 440.66/440.82 c 958 1180 1246.02 182.63 6.82 1000000 0 443.56/443.77 c 989 1188 1255.51 171.53 7.32 1000000 0 446.56/446.72 c 970 1171 1251.15 179.37 6.98 1000000 0 449.46/449.68 c 922 1063 1251.57 191.60 6.53 1000000 0 452.46/452.64 c 962 1440 1237.48 201.95 6.13 1000000 0 455.36/455.59 c 976 1233 1246.73 187.17 6.66 1000000 0 458.36/458.54 c 965 1215 1250.22 199.31 6.27 1000000 0 461.26/461.49 c 1031 1152 1241.26 145.04 8.56 1000000 0 464.26/464.47 c 1024 1280 1264.70 190.37 6.64 1000000 0 467.26/467.42 c 968 1139 1248.59 140.57 8.88 1000000 0 470.15/470.36 c 946 1388 1220.60 151.98 8.03 1000000 0 473.15/473.32 c 989 1332 1262.23 177.25 7.12 1000000 0 476.06/476.28 c 967 1035 1273.10 166.75 7.63 1000000 0 479.05/479.22 c 990 1242 1231.46 155.80 7.90 1000000 0 481.95/482.17 c 945 1144 1237.16 142.68 8.67 1000000 0 484.96/485.12 c 950 1186 1233.81 174.92 7.05 1000000 0 487.85/488.08 c 978 1208 1240.66 191.61 6.48 1000000 0 490.85/491.02 c 950 1246 1225.71 164.07 7.47 1000000 0 493.75/493.99 c 976 1261 1268.13 199.34 6.36 1000000 0 496.75/496.93 c 893 1189 1219.39 164.22 7.43 1000000 0 499.65/499.88 c 986 999 1241.13 169.50 7.32 1000000 0 502.65/502.81 c 957 1143 1227.37 163.30 7.52 1000000 0 505.55/505.78 c 955 1188 1252.20 162.70 7.70 1000000 0 508.54/508.73 c 953 1346 1239.49 168.87 7.34 1000000 0 511.44/511.69 c 940 1205 1261.58 221.81 5.69 1000000 0 514.44/514.64 c 998 1194 1230.01 167.87 7.33 1000000 0 517.34/517.58 c 980 1266 1227.98 146.84 8.36 1000000 0 520.34/520.55 c 1008 1203 1256.42 178.83 7.03 1000000 0 523.35/523.50 c 941 1130 1234.46 163.57 7.55 1000000 0 526.24/526.45 c 967 1184 1230.64 172.40 7.14 1000000 0 529.24/529.40 c 1003 1277 1234.34 174.12 7.09 1000000 0 532.15/532.37 c 987 1290 1261.51 199.72 6.32 1000000 0 535.14/535.31 c 1002 1229 1235.43 153.27 8.06 1000000 0 538.04/538.26 c 1000 1157 1244.17 149.54 8.32 1000000 0 541.04/541.22 c 975 1305 1270.08 156.55 8.11 1000000 0 543.93/544.17 c 976 1167 1247.51 181.11 6.89 1000000 0 546.93/547.13 c 964 1138 1254.25 165.67 7.57 1000000 0 549.84/550.08 c 979 1154 1251.28 167.21 7.48 1000000 0 552.83/553.04 c 996 1272 1271.90 179.83 7.07 1000000 0 555.73/555.99 c 913 1203 1225.66 160.98 7.61 1000000 0 558.73/558.94 c 922 1325 1246.60 183.54 6.79 1000000 0 561.63/561.89 c 972 1277 1233.37 176.64 6.98 1000000 0 564.63/564.85 c 938 1150 1259.61 227.68 5.53 1000000 0 567.53/567.80 c 985 1160 1246.45 153.12 8.14 1000000 0 570.53/570.75 c 964 1151 1232.85 164.90 7.48 1000000 0 573.53/573.70 c 898 1229 1252.04 179.74 6.97 1000000 0 576.43/576.67 c 993 1249 1262.68 167.52 7.54 1000000 0 579.43/579.63 c 983 1126 1250.02 182.28 6.86 1000000 0 582.32/582.58 c 999 1176 1238.33 154.85 8.00 1000000 0 585.32/585.55 c 1025 1225 1272.50 178.00 7.15 1000000 0 588.33/588.51 c 917 1283 1263.81 188.27 6.71 1000000 0 591.22/591.46 c 951 1181 1231.25 168.16 7.32 1000000 0 594.22/594.42 c 935 1166 1247.71 142.13 8.78 1000000 0 597.13/597.37 c 991 1219 1249.77 150.42 8.31 1000000 0 600.12/600.33 c 971 1215 1245.97 178.42 6.98 1000000 0 603.02/603.28 c 987 1066 1241.28 175.66 7.07 1000000 0 606.02/606.24 c 992 1262 1257.39 158.05 7.96 1000000 0 609.02/609.20 c 986 1215 1250.61 165.84 7.54 1000000 0 611.92/612.15 c 940 1109 1247.83 172.88 7.22 1000000 0 614.92/615.11 c 933 1256 1248.87 171.30 7.29 1000000 0 617.82/618.05 c 980 1073 1220.31 169.78 7.19 1000000 0 620.71/620.99 c 943 1100 1227.19 162.71 7.54 1000000 0 623.71/623.94 c 973 1433 1254.38 161.99 7.74 1000000 0 626.61/626.90 c 992 1316 1244.13 160.68 7.74 1000000 0 629.61/629.86 c 963 1297 1241.59 181.02 6.86 1000000 0 632.61/632.81 c 939 1197 1253.85 195.21 6.42 1000000 0 635.52/635.77 c 933 1177 1254.51 197.22 6.36 1000000 0 638.51/638.74 c 1014 1262 1271.57 169.75 7.49 1000000 0 641.41/641.69 c 1005 1183 1257.80 165.84 7.58 1000000 0 644.41/644.66 c 919 1187 1262.66 202.39 6.24 1000000 0 647.41/647.62 c 1005 1271 1257.66 165.17 7.61 1000000 0 650.41/650.60 c 996 1291 1289.45 190.84 6.76 1000000 0 653.30/653.55 c 984 1098 1236.48 152.60 8.10 1000000 0 656.30/656.53 c 1006 1175 1286.89 206.67 6.23 1000000 0 659.20/659.47 c 948 1264 1221.84 153.24 7.97 1000000 0 662.20/662.41 c 962 1105 1230.86 155.81 7.90 1000000 0 665.10/665.36 c 974 1256 1254.55 169.39 7.41 1000000 0 668.10/668.32 c 949 1234 1254.68 185.78 6.75 1000000 0 671.00/671.28 c 960 1165 1263.84 170.35 7.42 1000000 0 674.01/674.25 c 961 1188 1256.46 181.13 6.94 1000000 0 677.00/677.20 c 984 1353 1255.01 165.44 7.59 1000000 0 679.90/680.17 c 967 1471 1262.12 192.92 6.54 1000000 0 682.90/683.13 c 972 1302 1264.18 148.22 8.53 1000000 0 685.79/686.08 c 987 1186 1236.63 178.26 6.94 1000000 0 688.79/689.03 c 957 1151 1221.90 152.16 8.03 1000000 0 691.79/692.00 c 975 1116 1282.55 194.77 6.59 1000000 0 694.69/694.96 c 958 1370 1252.89 195.29 6.42 1000000 0 697.69/697.92 c 1002 1325 1259.18 167.64 7.51 1000000 0 700.59/700.87 c 953 1181 1233.75 170.08 7.25 1000000 0 703.59/703.85 c 993 1281 1274.87 158.52 8.04 1000000 0 706.49/706.79 c 957 1105 1241.98 178.39 6.96 1000000 0 709.49/709.75 c 983 1164 1256.63 168.59 7.45 1000000 0 712.49/712.71 c 988 1245 1251.49 177.16 7.06 1000000 0 715.39/715.67 c 1028 1078 1259.46 175.34 7.18 1000000 0 718.38/718.64 c 961 1141 1251.71 187.42 6.68 1000000 0 721.29/721.59 c 953 1226 1234.98 195.77 6.31 1000000 0 724.28/724.54 c 953 1156 1242.66 174.61 7.12 1000000 0 727.18/727.50 c 962 1258 1248.48 161.94 7.71 1000000 0 730.19/730.45 c 986 1156 1254.61 174.19 7.20 1000000 0 733.18/733.43 c 965 1225 1276.25 192.47 6.63 1000000 0 736.08/736.38 c 964 1219 1245.23 173.01 7.20 1000000 0 739.08/739.33 c 971 1254 1232.02 153.03 8.05 1000000 0 741.98/742.29 c 964 1089 1257.91 135.33 9.30 1000000 0 744.99/745.25 c 941 1154 1255.01 182.21 6.89 1000000 0 747.99/748.20 c 965 1202 1244.18 179.45 6.93 1000000 0 750.88/751.17 c 945 1301 1258.55 159.82 7.87 1000000 0 753.88/754.12 c 941 1158 1251.93 165.30 7.57 1000000 0 756.78/757.07 c 968 1300 1246.40 165.59 7.53 1000000 0 759.79/760.02 c 1015 1295 1243.28 146.14 8.51 1000000 0 762.68/762.98 c 999 1296 1254.21 181.75 6.90 1000000 0 765.68/765.92 c 943 1255 1245.65 177.62 7.01 1000000 0 768.58/768.88 c 960 1182 1244.03 162.05 7.68 1000000 0 771.58/771.83 c 976 1158 1243.20 157.96 7.87 1000000 0 774.48/774.76 c 981 1074 1225.77 134.13 9.14 1000000 0 777.48/777.73 c 974 1182 1265.34 192.02 6.59 1000000 0 780.37/780.69 c 1004 1260 1257.64 191.11 6.58 1000000 0 783.37/783.64 c 981 1086 1254.10 186.28 6.73 1000000 0 786.28/786.59 c 1008 1258 1242.93 150.18 8.28 1000000 0 789.27/789.54 c 912 1300 1225.43 186.07 6.59 1000000 0 792.17/792.49 c 938 1205 1245.94 173.34 7.19 1000000 0 795.17/795.45 c 1001 1176 1270.31 168.09 7.56 1000000 0 798.17/798.41 c 915 1279 1252.06 180.93 6.92 1000000 0 801.07/801.36 c 980 1163 1239.65 152.38 8.14 1000000 0 804.07/804.30 c 900 1262 1237.28 195.75 6.32 1000000 0 806.97/807.27 c 967 1116 1266.99 193.93 6.53 1000000 0 809.97/810.24 c 1022 1109 1275.37 193.87 6.58 1000000 0 812.97/813.20 c 971 1217 1249.11 189.81 6.58 1000000 0 815.87/816.15 c 968 1178 1246.74 219.85 5.67 1000000 0 818.86/819.12 c 978 1129 1245.16 174.20 7.15 1000000 0 821.76/822.08 c 1016 1295 1245.10 172.32 7.23 1000000 0 824.77/825.04 c 978 1285 1250.90 196.41 6.37 1000000 0 827.66/827.99 c 974 1240 1250.72 187.20 6.68 1000000 0 830.66/830.95 c 856 1206 1252.18 192.10 6.52 1000000 0 833.57/833.89 c 937 1199 1232.17 147.18 8.37 1000000 0 836.56/836.86 c 969 1150 1263.56 184.99 6.83 1000000 0 839.56/839.82 c 977 1402 1248.21 155.74 8.01 1000000 0 842.46/842.79 c 964 1039 1258.23 171.53 7.34 1000000 0 845.46/845.75 c 965 1385 1247.64 195.01 6.40 1000000 0 848.46/848.72 c 955 1287 1263.38 194.90 6.48 1000000 0 851.35/851.67 c 965 1205 1247.13 173.33 7.20 1000000 0 854.36/854.64 c 993 1278 1260.61 157.40 8.01 1000000 0 857.35/857.60 c 978 1208 1265.03 169.22 7.48 1000000 0 860.25/860.56 c 997 1165 1266.41 186.48 6.79 1000000 0 863.26/863.52 c 931 1393 1253.71 164.36 7.63 1000000 0 866.15/866.47 c 998 1121 1260.30 170.13 7.41 1000000 0 869.15/869.43 c 998 1101 1248.37 148.69 8.40 1000000 0 872.15/872.40 c 950 1172 1265.24 174.88 7.23 1000000 0 875.05/875.36 c 933 1181 1248.09 174.26 7.16 1000000 0 878.05/878.31 c 993 1201 1251.55 178.01 7.03 1000000 0 880.95/881.25 c 953 1099 1236.41 179.08 6.90 1000000 0 883.94/884.21 c 994 1233 1262.84 164.19 7.69 1000000 0 886.84/887.17 c 942 1024 1273.76 202.33 6.30 1000000 0 889.84/890.11 c 902 1017 1235.93 166.89 7.41 1000000 0 892.74/893.07 c 961 1318 1250.43 123.00 10.17 1000000 0 895.74/896.04 c 1040 1337 1289.13 175.06 7.36 1000000 0 898.74/899.00 c 983 1210 1258.36 176.28 7.14 1000000 0 901.65/901.96 c 951 1171 1238.52 170.62 7.26 1000000 0 904.64/904.91 c 971 1279 1248.52 156.26 7.99 1000000 0 907.54/907.87 c 955 1321 1242.18 142.42 8.72 1000000 0 910.54/910.82 c 928 1262 1229.05 177.34 6.93 1000000 0 913.44/913.75 c 988 1083 1205.75 152.13 7.93 1000000 0 916.44/916.72 c 963 1326 1245.84 180.81 6.89 1000000 0 919.34/919.67 c 936 1098 1241.03 203.53 6.10 1000000 0 922.33/922.62 c 1001 1127 1232.33 146.50 8.41 1000000 0 925.23/925.58 c 998 1229 1249.85 158.72 7.87 1000000 0 928.23/928.52 c 900 1060 1224.77 164.76 7.43 1000000 0 931.13/931.47 c 998 1142 1238.90 191.40 6.47 1000000 0 934.13/934.42 c 966 1241 1247.86 162.23 7.69 1000000 0 937.03/937.36 c 936 1345 1232.23 178.94 6.89 1000000 0 940.03/940.31 c 944 1287 1255.33 155.98 8.05 1000000 0 942.93/943.26 c 970 1234 1220.46 162.24 7.52 1000000 0 945.93/946.23 c 943 1395 1287.15 198.25 6.49 1000000 0 948.83/949.18 c 1002 1206 1248.18 141.52 8.82 1000000 0 951.83/952.14 c 964 1180 1251.28 181.80 6.88 1000000 0 954.72/955.10 c 998 1166 1252.00 172.16 7.27 1000000 0 957.73/958.07 c 986 1154 1274.80 254.70 5.01 1000000 0 960.72/961.03 c 988 1245 1238.88 192.34 6.44 1000000 0 963.62/963.99 c 944 1209 1254.73 193.75 6.48 1000000 0 966.63/966.94 c 896 1293 1250.90 161.94 7.72 1000000 0 969.52/969.88 c 939 1209 1229.47 148.28 8.29 1000000 0 972.52/972.85 c 990 1192 1273.07 189.58 6.72 1000000 0 975.42/975.80 c 967 1248 1230.23 141.49 8.69 1000000 0 978.42/978.74 c 946 1082 1221.15 158.45 7.71 1000000 0 981.32/981.69 c 988 1106 1253.89 157.82 7.94 1000000 0 984.32/984.65 c 960 1190 1251.14 163.81 7.64 1000000 0 987.31/987.60 c 992 1186 1229.59 149.62 8.22 1000000 0 990.21/990.55 c 976 1178 1242.58 158.08 7.86 1000000 0 993.21/993.52 c 998 1155 1261.84 155.11 8.14 1000000 0 996.11/996.47 c 971 1301 1249.55 190.21 6.57 1000000 0 999.11/999.43 c 1013 1251 1264.43 200.76 6.30 1000000 0 1002.01/1002.37 c 959 1135 1243.16 191.84 6.48 1000000 0 1005.01/1005.32 c 926 1160 1233.06 186.72 6.60 1000000 0 1007.91/1008.28 c 967 1250 1261.04 169.52 7.44 1000000 0 1010.91/1011.23 c 891 1061 1234.23 156.71 7.88 1000000 0 1013.81/1014.18 c 952 1263 1237.85 165.96 7.46 1000000 0 1016.80/1017.13 c 1015 1236 1245.04 173.24 7.19 1000000 0 1019.70/1020.08 c 987 1143 1223.90 163.15 7.50 1000000 0 1022.71/1023.02 c 967 1160 1257.23 153.20 8.21 1000000 0 1025.60/1025.98 c 993 1197 1237.81 162.18 7.63 1000000 0 1028.60/1028.94 c 909 1288 1249.48 187.77 6.65 1000000 0 1031.60/1031.90 c 936 1281 1266.97 169.38 7.48 1000000 0 1034.50/1034.86 c 950 1194 1257.08 185.25 6.79 1000000 0 1037.50/1037.82 c 960 1127 1263.53 170.40 7.42 1000000 0 1040.39/1040.78 c 963 1221 1247.17 178.58 6.98 1000000 0 1043.39/1043.74 c 1013 1255 1248.74 177.17 7.05 1000000 0 1046.39/1046.71 c 995 1249 1268.82 197.20 6.43 1000000 0 1049.29/1049.68 c 945 1140 1260.57 182.15 6.92 1000000 0 1052.30/1052.63 c 980 1268 1248.65 173.48 7.20 1000000 0 1055.19/1055.57 c 998 1164 1235.97 141.96 8.71 1000000 0 1058.19/1058.53 c 1001 1302 1253.14 157.45 7.96 1000000 0 1061.09/1061.48 c 947 1176 1222.38 169.55 7.21 1000000 0 1064.09/1064.43 c 998 1169 1247.32 141.38 8.82 1000000 0 1066.99/1067.38 c 926 1288 1234.71 177.40 6.96 1000000 0 1069.99/1070.34 c 989 1255 1260.62 174.36 7.23 1000000 0 1072.88/1073.28 c 981 1211 1229.36 144.38 8.51 1000000 0 1075.88/1076.25 c 956 1055 1262.94 168.48 7.50 1000000 0 1078.88/1079.21 c 933 1203 1249.06 193.78 6.45 1000000 0 1081.78/1082.17 c 956 1163 1256.98 171.86 7.31 1000000 0 1084.78/1085.13 c 921 1209 1256.43 176.59 7.11 1000000 0 1087.68/1088.08 c 971 1200 1241.63 214.95 5.78 1000000 0 1090.68/1091.03 c 941 1268 1248.98 164.67 7.58 1000000 0 1093.58/1093.98 c 883 1226 1258.02 187.07 6.72 1000000 0 1096.58/1096.94 c 940 1160 1234.53 196.98 6.27 1000000 0 1099.47/1099.90 c 944 1142 1264.98 159.12 7.95 1000000 0 1102.47/1102.86 c 921 1229 1246.33 172.45 7.23 1000000 0 1105.47/1105.80 c 986 1196 1231.89 162.52 7.58 1000000 0 1108.38/1108.77 c 1017 1175 1269.83 177.48 7.15 1000000 0 1111.37/1111.73 c 944 1034 1259.55 174.45 7.22 1000000 0 1114.27/1114.69 c 954 1139 1250.41 153.38 8.15 1000000 0 1117.28/1117.66 c 1023 1164 1279.44 179.75 7.12 1000000 0 1120.27/1120.61 c 964 1196 1240.81 139.80 8.88 1000000 0 1123.17/1123.58 c 1002 1200 1278.63 191.50 6.68 1000000 0 1126.17/1126.52 c 948 1134 1219.74 192.54 6.33 1000000 0 1129.07/1129.47 c 945 1265 1233.88 175.76 7.02 1000000 0 1132.06/1132.43 c 1001 1207 1244.24 191.24 6.51 1000000 0 1135.06/1135.41 c 984 1253 1279.56 191.71 6.67 1000000 0 1137.96/1138.36 c 946 1230 1247.04 147.25 8.47 1000000 0 1140.96/1141.34 c 1013 1078 1280.34 178.98 7.15 1000000 0 1143.86/1144.30 c 897 1218 1255.66 202.78 6.19 1000000 0 1146.86/1147.25 c 866 1183 1248.27 189.99 6.57 1000000 0 1149.86/1150.22 c 993 1252 1278.24 169.48 7.54 1000000 0 1152.76/1153.17 c 962 1179 1236.05 174.30 7.09 1000000 0 1155.76/1156.11 c 1009 1201 1235.99 127.94 9.66 1000000 0 1158.65/1159.07 c 953 1162 1240.67 203.35 6.10 1000000 0 1161.65/1162.02 c 941 1236 1227.60 202.29 6.07 1000000 0 1164.56/1164.98 c 960 1128 1252.29 166.15 7.54 1000000 0 1167.55/1167.94 c 986 1371 1248.39 152.51 8.19 1000000 0 1170.45/1170.88 c 922 1128 1226.95 139.38 8.80 1000000 0 1173.45/1173.84 c 991 1243 1268.78 143.83 8.82 1000000 0 1176.45/1176.82 c 982 1212 1274.96 174.38 7.31 1000000 0 1179.35/1179.76 c 958 1150 1237.03 156.27 7.92 1000000 0 1182.35/1182.71 c 952 1300 1239.82 162.81 7.62 1000000 0 1185.25/1185.66 c 997 1253 1239.49 163.08 7.60 1000000 0 1188.25/1188.61 c 918 1169 1230.95 179.07 6.87 1000000 0 1191.14/1191.54 c 900 1205 1209.54 171.93 7.04 1000000 0 1194.15/1194.52 c 910 1122 1266.99 194.88 6.50 1000000 0 1197.04/1197.49 c 1010 1133 1265.27 197.36 6.41 1000000 0 1200.04/1200.45 c 984 1250 1244.10 171.60 7.25 1000000 0 1203.05/1203.41 c 922 1172 1254.99 185.91 6.75 1000000 0 1205.94/1206.36 c 930 1345 1240.16 175.31 7.07 1000000 0 1208.94/1209.30 c 921 1224 1228.77 154.80 7.94 1000000 0 1211.84/1212.27 c 943 1189 1264.80 177.85 7.11 1000000 0 1214.84/1215.22 c 923 1216 1271.13 162.65 7.82 1000000 0 1217.74/1218.17 c 970 1481 1250.21 178.23 7.01 1000000 0 1220.74/1221.12 c 957 1117 1229.45 171.60 7.16 1000000 0 1223.73/1224.10 c 935 1216 1265.59 198.85 6.36 1000000 0 1226.63/1227.06 c 992 1144 1270.86 150.03 8.47 1000000 0 1229.63/1230.02 c 948 1194 1266.91 211.21 6.00 1000000 0 1232.53/1232.98 c 997 1297 1250.88 170.60 7.33 1000000 0 1235.53/1235.94 c 964 1148 1268.59 173.69 7.30 1000000 0 1238.53/1238.90 c 960 1066 1273.92 164.45 7.75 1000000 0 1241.44/1241.88 c 1043 1205 1280.33 173.95 7.36 1000000 0 1244.43/1244.83 c 910 1137 1230.15 188.29 6.53 1000000 0 1247.33/1247.79 c 979 1141 1257.96 203.85 6.17 1000000 0 1250.33/1250.75 c 972 1227 1256.53 152.97 8.21 1000000 0 1253.33/1253.70 c 958 1089 1252.92 184.59 6.79 1000000 0 1256.23/1256.65 c 960 1182 1233.92 161.31 7.65 1000000 0 1259.23/1259.60 c 957 1383 1259.65 177.48 7.10 1000000 0 1262.12/1262.56 c 994 1289 1264.17 157.58 8.02 1000000 0 1265.12/1265.52 c 1000 1247 1259.14 185.57 6.79 1000000 0 1268.02/1268.48 c 1012 1195 1262.20 178.62 7.07 1000000 0 1271.02/1271.45 c 967 1307 1276.16 184.95 6.90 1000000 0 1274.02/1274.40 c 943 1253 1235.88 168.22 7.35 1000000 0 1276.92/1277.35 c 986 1270 1244.73 124.39 10.01 1000000 0 1279.82/1280.29 c 957 1289 1254.93 151.16 8.30 1000000 0 1282.82/1283.26 c 986 1344 1264.88 158.90 7.96 1000000 0 1285.82/1286.21 c 985 1144 1251.08 164.02 7.63 1000000 0 1288.72/1289.16 c 989 1175 1215.82 173.38 7.01 1000000 0 1291.72/1292.11 c 957 1208 1239.39 135.39 9.15 1000000 0 1294.62/1295.06 c 933 1216 1249.21 169.77 7.36 1000000 0 1297.62/1298.00 c 965 1220 1235.04 155.03 7.97 1000000 0 1300.51/1300.96 c 1017 1196 1242.01 158.87 7.82 1000000 0 1303.51/1303.92 c 1001 1167 1261.56 172.11 7.33 1000000 0 1306.42/1306.88 c 985 1289 1247.11 206.30 6.05 1000000 0 1309.41/1309.84 c 977 1179 1247.01 164.89 7.56 1000000 0 1312.41/1312.81 c 965 1150 1254.94 182.82 6.86 1000000 0 1315.31/1315.76 c 926 1134 1247.74 163.55 7.63 1000000 0 1318.31/1318.72 c 978 1122 1248.01 196.88 6.34 1000000 0 1321.21/1321.67 c 969 1186 1227.37 150.66 8.15 1000000 0 1324.20/1324.64 c 972 1214 1256.19 219.09 5.73 1000000 0 1327.10/1327.60 c 937 1209 1253.33 157.86 7.94 1000000 0 1330.10/1330.55 c 1011 1254 1259.17 158.85 7.93 1000000 0 1333.10/1333.50 c 937 1145 1254.67 153.90 8.15 1000000 0 1336.01/1336.46 c 954 1081 1248.01 170.07 7.34 1000000 0 1339.00/1339.41 c 912 1150 1246.61 180.67 6.90 1000000 0 1341.90/1342.37 c 998 1063 1250.68 186.65 6.70 1000000 0 1344.91/1345.32 c 980 1127 1243.83 177.45 7.01 1000000 0 1347.80/1348.27 c 951 1163 1242.94 173.19 7.18 1000000 0 1350.80/1351.22 c 937 1253 1233.98 172.16 7.17 1000000 0 1353.70/1354.19 c 993 1287 1261.93 185.77 6.79 1000000 0 1356.69/1357.14 c 956 1192 1253.17 187.87 6.67 1000000 0 1359.59/1360.09 c 953 1322 1234.42 158.72 7.78 1000000 0 1362.59/1363.05 c 962 1113 1250.57 206.85 6.05 1000000 0 1365.59/1366.01 c 1008 1258 1256.02 167.32 7.51 1000000 0 1368.49/1368.96 c 986 1221 1248.11 140.55 8.88 1000000 0 1371.49/1371.91 c 970 1306 1258.72 158.34 7.95 1000000 0 1374.39/1374.87 c 1000 1379 1252.87 166.72 7.51 1000000 0 1377.39/1377.82 c 912 1045 1240.27 190.24 6.52 1000000 0 1380.29/1380.78 c 962 1050 1248.56 183.09 6.82 1000000 0 1383.29/1383.74 c 915 1172 1229.62 202.73 6.07 1000000 0 1386.29/1386.70 c 996 1196 1243.80 169.82 7.32 1000000 0 1389.18/1389.65 c 944 1205 1254.31 188.74 6.65 1000000 0 1392.09/1392.59 c 980 1188 1234.62 147.55 8.37 1000000 0 1395.08/1395.56 c 945 1280 1252.90 211.32 5.93 1000000 0 1398.08/1398.52 c 946 1292 1260.76 171.92 7.33 1000000 0 1400.99/1401.48 c 964 1252 1264.93 171.16 7.39 1000000 0 1403.98/1404.42 c 949 1140 1217.12 158.01 7.70 1000000 0 1406.98/1407.41 c 953 1205 1257.94 190.13 6.62 1000000 0 1409.88/1410.39 c 961 1087 1256.07 173.34 7.25 1000000 0 1412.88/1413.36 c 947 1266 1279.38 193.99 6.59 1000000 0 1415.88/1416.32 c 974 1238 1263.57 219.97 5.74 1000000 0 1418.78/1419.28 c 927 1230 1247.87 169.35 7.37 1000000 0 1421.78/1422.24 c 920 1163 1244.73 208.46 5.97 1000000 0 1424.67/1425.19 c 893 1076 1243.11 161.78 7.68 1000000 0 1427.67/1428.15 c 886 1215 1254.31 171.17 7.33 1000000 0 1430.58/1431.10 c 919 1123 1239.74 183.60 6.75 1000000 0 1433.57/1434.06 c 1030 1261 1245.03 141.51 8.80 1000000 0 1436.57/1437.00 c 947 1244 1235.86 168.52 7.33 1000000 0 1439.48/1439.95 c 908 1180 1228.80 167.68 7.33 1000000 0 1442.47/1442.91 c 954 1154 1283.80 181.04 7.09 1000000 0 1445.37/1445.87 c 985 1381 1259.61 172.33 7.31 1000000 0 1448.36/1448.82 c 982 1170 1230.51 159.99 7.69 1000000 0 1451.26/1451.79 c 999 1092 1273.78 207.33 6.14 1000000 0 1454.26/1454.74 c 961 1376 1240.57 155.84 7.96 1000000 0 1457.16/1457.68 c 929 1202 1240.45 183.52 6.76 1000000 0 1460.16/1460.66 c 981 1090 1270.18 198.61 6.40 1000000 0 1463.16/1463.62 c 980 1240 1247.68 185.41 6.73 1000000 0 1466.06/1466.58 c 947 1210 1262.21 185.75 6.80 1000000 0 1469.07/1469.53 c 982 1179 1251.09 149.82 8.35 1000000 0 1471.96/1472.49 c 1005 1275 1246.06 167.94 7.42 1000000 0 1474.96/1475.44 c 950 1173 1236.70 168.30 7.35 1000000 0 1477.86/1478.39 c 979 1271 1250.79 156.26 8.00 1000000 0 1480.86/1481.33 c 941 1213 1235.88 183.46 6.74 1000000 0 1483.85/1484.30 c 1018 1139 1250.05 166.64 7.50 1000000 0 1486.76/1487.26 c 977 1278 1265.06 169.02 7.48 1000000 0 1489.75/1490.21 c 909 1331 1248.03 183.32 6.81 1000000 0 1492.65/1493.18 c 959 1083 1261.87 192.18 6.57 1000000 0 1495.65/1496.12 c 928 1173 1232.41 183.15 6.73 1000000 0 1498.65/1499.10 c 947 1225 1299.26 233.08 5.57 1000000 0 1501.55/1502.07 c 997 1181 1283.84 194.98 6.58 1000000 0 1504.55/1505.05 c 980 1152 1267.51 187.84 6.75 1000000 0 1507.56/1508.01 c 983 1159 1253.57 190.34 6.59 1000000 0 1510.45/1510.96 c 1018 1130 1256.47 150.61 8.34 1000000 0 1513.45/1513.91 c 936 1193 1234.22 186.93 6.60 1000000 0 1516.35/1516.86 c 941 1137 1242.28 174.51 7.12 1000000 0 1519.34/1519.80 c 961 1300 1210.58 172.72 7.01 1000000 0 1522.24/1522.75 c 926 1175 1238.38 191.06 6.48 1000000 0 1525.25/1525.72 c 958 1288 1267.17 162.96 7.78 1000000 0 1528.14/1528.67 c 1003 1304 1252.64 175.63 7.13 1000000 0 1531.14/1531.62 c 888 1176 1247.87 178.16 7.00 1000000 0 1534.05/1534.58 c 992 1146 1248.35 191.62 6.51 1000000 0 1537.04/1537.54 c 957 1227 1257.27 186.25 6.75 1000000 0 1540.04/1540.50 c 965 1168 1252.11 134.48 9.31 1000000 0 1542.94/1543.46 c 935 1172 1250.26 204.42 6.12 1000000 0 1545.94/1546.42 c 999 1277 1253.93 163.57 7.67 1000000 0 1548.84/1549.37 c 951 1186 1260.10 161.87 7.78 1000000 0 1551.84/1552.33 c 976 1176 1252.05 147.74 8.47 1000000 0 1554.73/1555.29 c 976 1319 1256.31 165.04 7.61 1000000 0 1557.73/1558.24 c 939 1128 1238.41 169.47 7.31 1000000 0 1560.73/1561.20 c 979 1283 1255.27 192.65 6.52 1000000 0 1563.64/1564.14 c 918 1077 1215.83 162.53 7.48 1000000 0 1566.53/1567.09 c 978 1230 1240.27 175.16 7.08 1000000 0 1569.53/1570.05 c 944 1186 1242.22 174.67 7.11 1000000 0 1572.54/1573.00 c 937 1184 1246.01 167.77 7.43 1000000 0 1575.43/1575.96 c 889 1347 1239.32 175.65 7.06 1000000 0 1578.43/1578.91 c 957 1155 1237.10 167.99 7.36 1000000 0 1581.33/1581.87 c 986 1327 1239.77 175.99 7.04 1000000 0 1584.33/1584.84 c 986 1158 1272.15 218.08 5.83 1000000 0 1587.22/1587.79 c 954 1249 1244.67 147.88 8.42 1000000 0 1590.22/1590.73 c 923 1220 1223.25 157.15 7.78 1000000 0 1593.12/1593.69 c 989 1223 1237.68 176.88 7.00 1000000 0 1596.12/1596.64 c 931 1353 1250.25 183.32 6.82 1000000 0 1599.12/1599.60 c 977 1299 1252.53 161.86 7.74 1000000 0 1602.02/1602.56 c 925 1057 1254.78 181.85 6.90 1000000 0 1605.02/1605.52 c 967 1221 1245.92 176.36 7.06 1000000 0 1607.92/1608.46 c 922 1230 1239.78 163.74 7.57 1000000 0 1610.93/1611.42 c 944 1420 1272.39 148.58 8.56 1000000 0 1613.82/1614.39 c 1000 1247 1263.77 186.61 6.77 1000000 0 1616.82/1617.35 c 1026 1396 1276.79 159.70 8.00 1000000 0 1619.72/1620.30 c 986 1174 1239.48 169.13 7.33 1000000 0 1622.72/1623.25 c 956 1184 1243.66 187.83 6.62 1000000 0 1625.71/1626.21 c 938 1247 1253.14 163.12 7.68 1000000 0 1628.62/1629.17 c 979 1323 1260.56 194.32 6.49 1000000 0 1631.61/1632.14 c 969 1192 1265.54 195.38 6.48 1000000 0 1634.51/1635.08 c 974 1193 1213.00 172.46 7.03 1000000 0 1637.51/1638.03 c 969 1068 1230.47 162.90 7.55 1000000 0 1640.51/1641.00 c 971 1242 1251.81 201.85 6.20 1000000 0 1643.41/1643.96 c 947 1273 1253.66 184.64 6.79 1000000 0 1646.41/1646.91 c 881 1257 1244.40 227.16 5.48 1000000 0 1649.31/1649.86 c 974 1115 1248.92 195.81 6.38 1000000 0 1652.31/1652.81 c 954 1156 1242.63 142.84 8.70 1000000 0 1655.20/1655.77 c 1004 1182 1244.15 141.90 8.77 1000000 0 1658.21/1658.73 c 987 1270 1281.46 139.66 9.18 1000000 0 1661.10/1661.67 c 959 1215 1213.96 148.39 8.18 1000000 0 1664.10/1664.63 c 986 1393 1246.76 150.37 8.29 1000000 0 1667.01/1667.59 c 975 1282 1275.85 148.59 8.59 1000000 0 1670.00/1670.55 c 993 1345 1249.59 175.64 7.11 1000000 0 1673.00/1673.50 c 978 1277 1251.32 183.06 6.84 1000000 0 1675.91/1676.46 c 961 1198 1244.32 165.79 7.51 1000000 0 1678.90/1679.42 c 923 1167 1242.64 184.45 6.74 1000000 0 1681.90/1682.40 c 1007 1230 1274.19 181.50 7.02 1000000 0 1684.80/1685.35 c 987 1087 1249.63 155.51 8.04 1000000 0 1687.80/1688.30 c 957 1298 1248.27 194.12 6.43 1000000 0 1690.69/1691.27 c 949 1206 1255.17 167.57 7.49 1000000 0 1693.69/1694.22 c 984 1225 1252.92 161.53 7.76 1000000 0 1696.59/1697.17 c 980 1163 1249.40 177.89 7.02 1000000 0 1699.59/1700.13 c 965 1174 1248.07 139.69 8.93 1000000 0 1702.49/1703.07 c 962 1284 1232.31 175.29 7.03 1000000 0 1705.50/1706.03 c 998 1158 1251.24 179.89 6.96 1000000 0 1708.39/1708.99 c 960 1145 1261.28 165.93 7.60 1000000 0 1711.39/1711.94 c 998 1175 1252.03 159.77 7.84 1000000 0 1714.40/1714.91 c 1035 1266 1268.64 160.46 7.91 1000000 0 1717.29/1717.89 c 1011 1192 1282.39 210.09 6.10 1000000 0 1720.29/1720.84 c 1013 1134 1243.67 165.07 7.53 1000000 0 1723.29/1723.80 c 965 1122 1242.60 171.66 7.24 1000000 0 1726.18/1726.75 c 986 1198 1244.78 177.00 7.03 1000000 0 1729.18/1729.73 c 930 1154 1271.42 180.91 7.03 1000000 0 1732.08/1732.69 c 938 1163 1264.93 230.23 5.49 1000000 0 1735.08/1735.64 c 993 1210 1252.47 169.75 7.38 1000000 0 1737.98/1738.58 c 961 1193 1235.21 161.16 7.66 1000000 0 1740.98/1741.54 c 967 1137 1252.31 170.47 7.35 1000000 0 1743.88/1744.49 c 965 1174 1234.47 174.73 7.07 1000000 0 1746.88/1747.43 c 978 1208 1235.45 138.61 8.91 1000000 0 1749.78/1750.38 c 963 1134 1250.69 170.50 7.34 1000000 0 1752.78/1753.34 c 959 1095 1251.96 194.61 6.43 1000000 0 1755.68/1756.29 c 933 1223 1239.67 172.12 7.20 1000000 0 1758.67/1759.27 c 940 1192 1271.04 232.61 5.46 1000000 0 1761.68/1762.21 c 1001 1165 1236.96 157.53 7.85 1000000 0 1764.57/1765.18 c 927 1205 1242.50 181.91 6.83 1000000 0 1767.57/1768.12 c 942 1272 1244.47 181.27 6.87 1000000 0 1770.48/1771.09 c 961 1312 1265.17 181.93 6.95 1000000 0 1773.47/1774.04 c 945 1302 1233.80 196.15 6.29 1000000 0 1776.47/1777.00 c 993 1280 1247.97 160.85 7.76 1000000 0 1779.37/1779.95 c 964 1130 1243.73 197.06 6.31 1000000 0 1782.37/1782.92 c 990 1198 1258.43 198.29 6.35 1000000 0 1785.27/1785.85 c 972 1200 1217.20 150.07 8.11 1000000 0 1788.27/1788.81 c 1005 1141 1263.35 184.01 6.87 1000000 0 1791.17/1791.77 c 978 1146 1266.73 159.87 7.92 1000000 0 1794.16/1794.73 c 969 985 1239.22 178.31 6.95 1000000 0 1797.06/1797.68 c 924 1228 1235.45 182.16 6.78 1000000 0 1800.08/1800.61 HOME/run: line 2: 22459 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-2685042-1278438917/watcher-2685042-1278438917 -o /tmp/evaluation-result-2685042-1278438917/solver-2685042-1278438917 -C 1800 -W 2000 -M 1800 run HOME/instance-2685042-1278438917.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: 0.99 0.99 1.00 3/106 22458 /proc/meminfo: memFree=1440232/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [startup+0.0588149 s] /proc/loadavg: 0.99 0.99 1.00 3/106 22458 /proc/meminfo: memFree=1440232/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100818 s] /proc/loadavg: 0.99 0.99 1.00 3/106 22458 /proc/meminfo: memFree=1440232/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300841 s] /proc/loadavg: 0.99 0.99 1.00 3/106 22458 /proc/meminfo: memFree=1440232/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700889 s] /proc/loadavg: 0.99 0.99 1.00 3/106 22458 /proc/meminfo: memFree=1440232/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50098 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22460 /proc/meminfo: memFree=1429056/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1.49 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2804 0 0 0 148 1 0 0 25 0 1 0 12104848 41422848 2734 1992294400 134512640 135071400 4294221488 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2734 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10117 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22460 /proc/meminfo: memFree=1428808/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=3.09 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2804 0 0 0 308 1 0 0 25 0 1 0 12104848 41422848 2734 1992294400 134512640 135071400 4294221488 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2734 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30054 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22460 /proc/meminfo: memFree=1428684/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=6.29 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 628 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7003 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22460 /proc/meminfo: memFree=1428560/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=12.69 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 1268 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526881 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5008 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22461 /proc/meminfo: memFree=1428560/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=25.48 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 2547 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1008 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22462 /proc/meminfo: memFree=1428436/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=51.08 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 5107 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 0.99 0.99 1.00 2/108 22463 /proc/meminfo: memFree=1428064/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=102.27 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 10226 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 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: 0.99 0.99 1.00 2/108 22464 /proc/meminfo: memFree=1427940/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=162.24 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 16223 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.04 1.00 1.00 2/108 22466 /proc/meminfo: memFree=1427940/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=222.23 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 22222 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.01 1.00 1.00 2/108 22468 /proc/meminfo: memFree=1427816/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=282.21 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2812 0 0 0 28220 1 0 0 25 0 1 0 12104848 41422848 2742 1992294400 134512640 135071400 4294221488 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2742 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22470 /proc/meminfo: memFree=1427692/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=342.19 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 34218 1 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22480 /proc/meminfo: memFree=1427072/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=402.17 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 40216 1 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1061.99 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 106197 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.04 1.04 1.00 2/108 22499 /proc/meminfo: memFree=1426452/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1121.97 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 112195 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.09 1.04 1.00 2/108 22501 /proc/meminfo: memFree=1426204/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1181.95 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 118193 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.09 1.05 1.00 2/108 22503 /proc/meminfo: memFree=1425956/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1241.93 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 124191 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.07 1.05 1.00 2/108 22504 /proc/meminfo: memFree=1425832/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1301.92 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 130190 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.14 1.07 1.01 2/108 22505 /proc/meminfo: memFree=1425832/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1361.89 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 136187 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526131 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.05 1.06 1.00 2/108 22510 /proc/meminfo: memFree=1424964/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1421.88 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 142186 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.06 1.06 1.00 2/108 22512 /proc/meminfo: memFree=1425088/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1481.86 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 148184 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.02 1.05 1.00 2/108 22514 /proc/meminfo: memFree=1425088/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1541.84 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 154182 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.01 1.03 1.00 2/108 22515 /proc/meminfo: memFree=1425088/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1601.82 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 160180 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.04 1.04 1.00 2/108 22516 /proc/meminfo: memFree=1425212/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1661.8 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 166178 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134572064 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.01 1.03 1.00 2/108 22518 /proc/meminfo: memFree=1425088/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1721.79 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 172177 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.07 1.05 1.00 2/108 22520 /proc/meminfo: memFree=1424964/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1781.77 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 178175 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.05 1.05 1.00 2/108 22520 /proc/meminfo: memFree=1424964/2059040 swapFree=4192956/4192956 [pid=22458] ppid=22456 vsize=8700 CPUtime=0 /proc/22458/stat : 22458 (run) S 22456 22458 21783 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12104848 8908800 243 1992294400 4194304 4922060 140736083440112 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22458/statm: 2175 243 204 178 0 68 0 [pid=22459] ppid=22458 vsize=40452 CPUtime=1800.08 /proc/22459/stat : 22459 (PB-wave) R 22458 22458 21783 0 -1 4202496 2813 0 0 0 180006 2 0 0 25 0 1 0 12104848 41422848 2743 1992294400 134512640 135071400 4294221488 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22459/statm: 10113 2743 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1800.06 CPU system time (s): 0.028995 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.028995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3185 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= 24095 runsolver used 3.22551 second user time and 8.30774 second system time The end
Begin job on node011 at 2010-07-06 19:55:17 IDJOB=2685042 IDBENCH=74340 IDSOLVER=1171 FILE ID=node011/2685042-1278438917 PBS_JOBID= 11233460 Free space on /tmp= 62440 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685042-1278438917/watcher-2685042-1278438917 -o /tmp/evaluation-result-2685042-1278438917/solver-2685042-1278438917 -C 1800 -W 2000 -M 1800 run HOME/instance-2685042-1278438917.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2ff183c8695f0992ee4ac0210b2026e7 RANDOM SEED=823350269 node011.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.212 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.42 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.212 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1440760 kB Buffers: 110196 kB Cached: 374400 kB SwapCached: 0 kB Active: 188528 kB Inactive: 356952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1440760 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4760 kB Writeback: 0 kB AnonPages: 61004 kB Mapped: 14504 kB Slab: 50932 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180128 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= 62436 MiB End job on node011 at 2010-07-06 20:25:18