Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.81 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12058_4-sat.opb |
MD5SUM | da4c22aa3836e09c7cdc382a7b6da5de |
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 | 35332 |
Total number of constraints | 122962 |
Number of constraints which are clauses | 122382 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 580 |
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 | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 709 |
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.34 c PB-wave - v2 0.00/0.34 c command line = ./PB-wave 0.00/0.34 c seed = 29932960 0.00/0.34 c cutoff = 1000000 0.00/0.34 c tries = 1000000 0.00/0.34 c heuristic = c best, noise 50 / 100 0.00/0.34 #var 35332 #con 122962 0.00/0.34 mode is SAT 0.00/0.34 c tail starts after flip = 105996 0.00/0.34 c numatom = 35332, numclause = 122962, numliterals = 330481 0.00/0.34 c wff read in 0.00/0.34 c 0.00/0.34 c lowest final avg noise noise total avg mean mean 0.00/0.34 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.34 c this this this this this this success success until std 0.00/0.34 c try try try try try try rate tries assign dev 0.00/0.34 c 3.39/3.46 c 923 1199 1216.34 134.08 9.07 1000000 0 6.49/6.57 c 967 1096 1211.59 154.40 7.85 1000000 0 9.59/9.67 c 980 1227 1178.86 134.48 8.77 1000000 0 12.69/12.78 c 973 1303 1238.18 151.23 8.19 1000000 0 15.88/15.92 c 1001 1167 1254.41 170.70 7.35 1000000 0 18.98/19.04 c 975 1098 1234.13 138.27 8.93 1000000 0 22.08/22.17 c 920 1189 1227.62 149.18 8.23 1000000 0 25.19/25.28 c 923 1148 1210.62 118.52 10.21 1000000 0 28.28/28.39 c 951 1215 1209.70 136.47 8.86 1000000 0 31.48/31.50 c 939 1236 1226.13 135.88 9.02 1000000 0 34.58/34.61 c 949 1270 1203.07 159.26 7.55 1000000 0 37.68/37.72 c 930 1147 1192.29 146.22 8.15 1000000 0 40.77/40.84 c 975 1283 1216.93 122.70 9.92 1000000 0 43.88/43.95 c 944 1108 1210.64 121.02 10.00 1000000 0 46.97/47.05 c 940 1220 1217.19 167.76 7.26 1000000 0 50.07/50.16 c 964 1009 1194.56 128.48 9.30 1000000 0 53.16/53.27 c 915 1213 1216.12 153.03 7.95 1000000 0 56.26/56.37 c 931 1129 1191.12 139.58 8.53 1000000 0 59.37/59.48 c 957 1184 1209.52 119.44 10.13 1000000 0 62.46/62.58 c 965 1179 1210.57 126.30 9.58 1000000 0 65.56/65.69 c 903 1306 1234.82 165.38 7.47 1000000 0 68.76/68.80 c 975 1217 1207.86 118.04 10.23 1000000 0 71.86/71.91 c 964 1139 1226.07 131.45 9.33 1000000 0 74.96/75.03 c 995 1150 1224.55 135.95 9.01 1000000 0 78.06/78.15 c 904 1171 1218.11 161.09 7.56 1000000 0 81.15/81.26 c 913 1221 1199.52 136.47 8.79 1000000 0 84.25/84.36 c 958 1174 1196.80 153.92 7.78 1000000 0 87.35/87.45 c 986 1252 1214.77 140.86 8.62 1000000 0 90.45/90.56 c 880 1168 1230.52 167.96 7.33 1000000 0 93.54/93.68 c 928 1218 1197.73 124.23 9.64 1000000 0 96.65/96.79 c 977 1113 1211.50 118.32 10.24 1000000 0 99.84/99.91 c 872 1201 1220.23 157.54 7.75 1000000 0 102.94/103.02 c 933 1124 1203.74 135.68 8.87 1000000 0 106.04/106.14 c 955 1194 1215.72 108.51 11.20 1000000 0 109.14/109.26 c 933 1162 1199.74 156.51 7.67 1000000 0 112.24/112.39 c 1007 1264 1233.34 144.68 8.52 1000000 0 115.34/115.49 c 948 1278 1219.56 136.51 8.93 1000000 0 118.44/118.59 c 923 1085 1195.78 149.78 7.98 1000000 0 121.63/121.72 c 899 1335 1211.45 141.55 8.56 1000000 0 124.73/124.83 c 938 1234 1205.67 124.94 9.65 1000000 0 127.83/127.95 c 945 1095 1217.74 136.38 8.93 1000000 0 130.93/131.06 c 937 1174 1218.40 118.93 10.24 1000000 0 134.04/134.19 c 977 1102 1233.71 137.38 8.98 1000000 0 137.13/137.28 c 906 1167 1201.95 130.97 9.18 1000000 0 140.23/140.39 c 938 1189 1216.51 157.91 7.70 1000000 0 143.43/143.50 c 949 1136 1211.26 142.52 8.50 1000000 0 146.52/146.61 c 953 1195 1215.17 126.77 9.59 1000000 0 149.62/149.71 c 896 1153 1200.74 140.71 8.53 1000000 0 152.73/152.81 c 913 1155 1223.87 155.90 7.85 1000000 0 155.82/155.94 c 911 1156 1217.96 166.43 7.32 1000000 0 158.92/159.05 c 970 1192 1235.25 153.84 8.03 1000000 0 162.02/162.19 c 972 1239 1220.67 148.34 8.23 1000000 0 165.12/165.29 c 961 1139 1203.80 155.13 7.76 1000000 0 168.31/168.42 c 987 1080 1219.12 141.94 8.59 1000000 0 171.42/171.55 c 996 1353 1251.44 155.59 8.04 1000000 0 174.51/174.64 c 920 1320 1190.62 130.12 9.15 1000000 0 177.61/177.74 c 934 1263 1215.32 142.67 8.52 1000000 0 180.71/180.85 c 898 1261 1204.19 159.64 7.54 1000000 0 183.81/183.95 c 939 1070 1195.40 126.45 9.45 1000000 0 186.91/187.07 c 900 1178 1219.78 143.62 8.49 1000000 0 190.01/190.19 c 953 1201 1214.13 152.25 7.97 1000000 0 193.21/193.30 c 952 1102 1218.07 149.13 8.17 1000000 0 196.31/196.41 c 952 1162 1207.08 132.46 9.11 1000000 0 199.40/199.54 c 970 1188 1232.30 148.59 8.29 1000000 0 202.50/202.65 c 967 1110 1225.62 140.07 8.75 1000000 0 205.61/205.77 c 943 1247 1223.76 131.48 9.31 1000000 0 208.70/208.89 c 916 1164 1223.34 174.75 7.00 1000000 0 211.80/211.98 c 925 1207 1212.29 127.68 9.49 1000000 0 214.90/215.09 c 904 1307 1198.02 174.95 6.85 1000000 0 218.09/218.21 c 945 1090 1225.64 153.92 7.96 1000000 0 221.19/221.33 c 911 1239 1212.00 153.97 7.87 1000000 0 224.30/224.43 c 921 1184 1193.04 114.17 10.45 1000000 0 227.39/227.54 c 934 1250 1200.88 162.75 7.38 1000000 0 230.49/230.65 c 916 1224 1196.25 131.42 9.10 1000000 0 233.59/233.75 c 868 1093 1201.22 148.19 8.11 1000000 0 236.69/236.86 c 969 1244 1215.76 136.56 8.90 1000000 0 239.79/239.97 c 962 1128 1195.09 114.17 10.47 1000000 0 242.89/243.08 c 975 1197 1214.65 148.31 8.19 1000000 0 246.08/246.20 c 963 1272 1216.11 151.58 8.02 1000000 0 249.18/249.31 c 948 1044 1228.71 129.54 9.48 1000000 0 252.28/252.44 c 956 1169 1215.05 118.44 10.26 1000000 0 255.38/255.54 c 940 1333 1195.64 141.88 8.43 1000000 0 258.48/258.66 c 953 1332 1213.21 144.71 8.38 1000000 0 261.59/261.77 c 985 1104 1204.21 135.00 8.92 1000000 0 264.68/264.89 c 905 1105 1211.04 139.67 8.67 1000000 0 267.88/268.00 c 1017 1238 1231.19 140.45 8.77 1000000 0 270.97/271.10 c 943 1277 1203.49 142.14 8.47 1000000 0 274.07/274.20 c 971 1174 1205.20 130.58 9.23 1000000 0 277.17/277.32 c 944 1319 1214.85 118.73 10.23 1000000 0 280.28/280.44 c 926 1148 1229.27 185.19 6.64 1000000 0 283.37/283.54 c 944 1103 1204.97 138.83 8.68 1000000 0 286.47/286.65 c 920 1060 1187.19 114.86 10.34 1000000 0 289.57/289.76 c 969 1107 1208.63 128.67 9.39 1000000 0 292.67/292.87 c 988 1080 1216.77 105.56 11.53 1000000 0 295.77/295.98 c 927 1146 1230.60 137.20 8.97 1000000 0 298.86/299.09 c 971 1124 1235.58 152.25 8.12 1000000 0 302.06/302.21 c 961 1167 1224.86 125.62 9.75 1000000 0 305.16/305.30 c 926 1131 1199.37 143.85 8.34 1000000 0 308.26/308.41 c 927 1265 1209.79 138.00 8.77 1000000 0 311.36/311.52 c 915 1233 1216.07 158.58 7.67 1000000 0 314.47/314.63 c 952 1102 1234.36 159.18 7.75 1000000 0 317.56/317.75 c 901 1054 1211.10 156.20 7.75 1000000 0 320.66/320.86 c 952 1207 1211.38 126.45 9.58 1000000 0 323.75/323.97 c 944 1218 1245.94 175.36 7.11 1000000 0 326.85/327.09 c 929 1083 1220.46 147.50 8.27 1000000 0 329.95/330.19 c 968 1116 1208.63 115.69 10.45 1000000 0 333.06/333.30 c 937 1202 1207.21 163.13 7.40 1000000 0 336.25/336.41 c 858 1086 1207.57 162.83 7.42 1000000 0 339.35/339.50 c 953 1248 1181.81 130.71 9.04 1000000 0 342.45/342.60 c 913 1157 1204.83 140.55 8.57 1000000 0 345.54/345.74 c 961 1066 1236.58 171.90 7.19 1000000 0 348.64/348.87 c 961 1145 1212.58 153.68 7.89 1000000 0 351.75/351.99 c 919 1216 1221.52 145.93 8.37 1000000 0 354.94/355.11 c 996 1062 1217.23 118.83 10.24 1000000 0 358.04/358.20 c 926 1228 1187.79 111.47 10.66 1000000 0 361.14/361.32 c 920 1246 1208.03 162.09 7.45 1000000 0 364.24/364.42 c 954 1177 1219.30 129.98 9.38 1000000 0 367.34/367.54 c 981 1293 1212.09 123.45 9.82 1000000 0 370.44/370.66 c 977 1061 1216.13 123.61 9.84 1000000 0 373.53/373.76 c 992 1294 1216.20 140.73 8.64 1000000 0 376.63/376.89 c 961 1264 1220.80 140.78 8.67 1000000 0 379.73/379.99 c 963 1177 1207.51 134.91 8.95 1000000 0 382.93/383.11 c 965 1133 1202.00 121.75 9.87 1000000 0 386.03/386.23 c 951 1075 1238.42 170.74 7.25 1000000 0 389.13/389.35 c 969 1140 1208.77 150.88 8.01 1000000 0 392.23/392.47 c 989 1077 1227.89 146.53 8.38 1000000 0 395.32/395.59 c 919 1267 1216.40 169.65 7.17 1000000 0 398.42/398.68 c 961 1158 1198.56 122.40 9.79 1000000 0 401.62/401.80 c 1014 1241 1224.98 155.44 7.88 1000000 0 404.72/404.91 c 909 1213 1189.68 142.73 8.34 1000000 0 407.82/408.04 c 963 1291 1237.01 148.60 8.32 1000000 0 410.92/411.18 c 938 1109 1229.49 141.73 8.67 1000000 0 414.12/414.30 c 921 1098 1213.80 131.92 9.20 1000000 0 417.21/417.41 c 958 1178 1205.60 125.70 9.59 1000000 0 420.31/420.52 c 934 1211 1207.98 132.26 9.13 1000000 0 423.41/423.64 c 910 1215 1203.88 120.87 9.96 1000000 0 426.52/426.75 c 963 1181 1214.85 164.49 7.39 1000000 0 429.61/429.88 c 946 1315 1220.61 121.47 10.05 1000000 0 432.81/433.00 c 925 1195 1218.47 158.28 7.70 1000000 0 435.90/436.12 c 931 1176 1236.35 140.75 8.78 1000000 0 439.00/439.23 c 905 1229 1198.43 135.40 8.85 1000000 0 442.10/442.33 c 922 1300 1210.42 128.16 9.44 1000000 0 445.21/445.46 c 981 1195 1208.37 151.47 7.98 1000000 0 448.30/448.58 c 966 1270 1204.47 130.84 9.21 1000000 0 451.40/451.67 c 941 1175 1190.76 128.12 9.29 1000000 0 454.50/454.78 c 932 1147 1210.89 128.89 9.39 1000000 0 457.70/457.90 c 977 1067 1238.99 131.62 9.41 1000000 0 460.79/461.01 c 923 1138 1208.65 138.51 8.73 1000000 0 463.90/464.11 c 955 1082 1208.12 118.82 10.17 1000000 0 466.99/467.23 c 978 1223 1217.09 130.15 9.35 1000000 0 470.09/470.34 c 962 1245 1201.69 176.27 6.82 1000000 0 473.19/473.45 c 934 1165 1220.03 157.39 7.75 1000000 0 476.29/476.57 c 977 1158 1229.63 152.63 8.06 1000000 0 479.40/479.69 c 933 1158 1223.44 131.89 9.28 1000000 0 482.49/482.80 c 920 1251 1205.57 130.06 9.27 1000000 0 485.69/485.93 c 976 1171 1225.34 189.16 6.48 1000000 0 488.78/489.04 c 953 1251 1221.77 135.15 9.04 1000000 0 491.88/492.16 c 961 1387 1228.48 153.07 8.03 1000000 0 494.98/495.28 c 941 1212 1232.72 127.65 9.66 1000000 0 498.09/498.39 c 968 1218 1206.88 105.85 11.40 1000000 0 501.28/501.52 c 963 1235 1241.86 117.66 10.55 1000000 0 504.38/504.61 c 964 1012 1205.99 121.61 9.92 1000000 0 507.48/507.72 c 942 1257 1209.04 139.71 8.65 1000000 0 510.58/510.86 c 949 1103 1254.40 160.53 7.81 1000000 0 513.67/513.98 c 968 1146 1220.37 155.75 7.84 1000000 0 516.78/517.08 c 947 1145 1201.63 112.81 10.65 1000000 0 519.87/520.19 c 873 1204 1209.23 173.41 6.97 1000000 0 523.07/523.31 c 963 1336 1250.40 151.36 8.26 1000000 0 526.17/526.43 c 954 1213 1214.47 133.04 9.13 1000000 0 529.27/529.54 c 927 1294 1215.96 149.12 8.15 1000000 0 532.37/532.63 c 891 1220 1170.84 144.99 8.08 1000000 0 535.47/535.73 c 915 1122 1223.64 141.20 8.67 1000000 0 538.56/538.84 c 970 1192 1194.95 135.42 8.82 1000000 0 541.66/541.97 c 954 1145 1219.37 173.44 7.03 1000000 0 544.76/545.08 c 986 1119 1232.48 122.30 10.08 1000000 0 547.96/548.20 c 883 1173 1206.11 126.84 9.51 1000000 0 551.06/551.30 c 978 1224 1210.32 128.38 9.43 1000000 0 554.17/554.43 c 964 1138 1222.75 157.36 7.77 1000000 0 557.26/557.54 c 930 1272 1226.35 134.72 9.10 1000000 0 560.36/560.66 c 936 1073 1215.35 128.26 9.48 1000000 0 563.45/563.78 c 966 1190 1211.03 119.35 10.15 1000000 0 566.55/566.90 c 924 1133 1205.10 135.12 8.92 1000000 0 569.75/570.03 c 969 1079 1228.58 164.26 7.48 1000000 0 572.86/573.13 c 964 1217 1189.70 153.83 7.73 1000000 0 575.95/576.22 c 901 1113 1192.08 133.20 8.95 1000000 0 579.05/579.33 c 977 1237 1214.02 104.30 11.64 1000000 0 582.15/582.46 c 993 1156 1240.29 160.67 7.72 1000000 0 585.25/585.57 c 872 1138 1214.72 151.66 8.01 1000000 0 588.34/588.69 c 943 1139 1190.44 156.10 7.63 1000000 0 591.45/591.79 c 981 1213 1213.22 123.18 9.85 1000000 0 594.64/594.91 c 927 1174 1234.20 147.55 8.36 1000000 0 597.74/598.03 c 902 1236 1213.84 139.45 8.70 1000000 0 600.84/601.14 c 978 1259 1232.15 134.10 9.19 1000000 0 603.94/604.26 c 956 1122 1230.07 184.57 6.66 1000000 0 607.04/607.38 c 960 1128 1215.88 131.48 9.25 1000000 0 610.14/610.48 c 932 1333 1182.83 117.30 10.08 1000000 0 613.23/613.58 c 971 1217 1210.29 125.00 9.68 1000000 0 616.43/616.71 c 961 1299 1213.36 129.97 9.34 1000000 0 619.53/619.83 c 939 1293 1215.03 152.50 7.97 1000000 0 622.63/622.95 c 928 1310 1213.62 141.02 8.61 1000000 0 625.73/626.05 c 903 1266 1193.82 147.37 8.10 1000000 0 628.84/629.18 c 992 1276 1224.84 118.80 10.31 1000000 0 631.93/632.29 c 967 1194 1205.14 134.62 8.95 1000000 0 635.03/635.39 c 918 1200 1207.16 149.70 8.06 1000000 0 638.22/638.50 c 949 1199 1200.14 153.82 7.80 1000000 0 641.22/641.59 c 924 1121 1182.40 126.97 9.31 1000000 0 644.42/644.70 c 926 1184 1204.95 147.76 8.15 1000000 0 647.53/647.83 c 909 1029 1215.20 152.69 7.96 1000000 0 650.62/650.95 c 944 1184 1228.36 160.85 7.64 1000000 0 653.72/654.06 c 900 1122 1198.50 153.10 7.83 1000000 0 656.82/657.18 c 962 1065 1224.16 138.87 8.82 1000000 0 659.91/660.28 c 945 1162 1204.86 112.36 10.72 1000000 0 663.02/663.39 c 952 1381 1222.79 152.12 8.04 1000000 0 666.22/666.51 c 977 1235 1231.36 161.72 7.61 1000000 0 669.31/669.63 c 962 1251 1226.92 132.50 9.26 1000000 0 672.41/672.75 c 968 1226 1214.81 164.29 7.39 1000000 0 675.51/675.84 c 899 1211 1194.09 97.41 12.26 1000000 0 678.61/678.97 c 954 1216 1239.76 166.29 7.46 1000000 0 681.71/682.06 c 951 1180 1204.83 139.32 8.65 1000000 0 684.80/685.17 c 934 1134 1185.93 153.17 7.74 1000000 0 687.90/688.27 c 913 1065 1196.96 131.91 9.07 1000000 0 691.00/691.37 c 930 1172 1186.97 155.49 7.63 1000000 0 694.10/694.49 c 893 1201 1215.04 151.33 8.03 1000000 0 697.30/697.61 c 974 1140 1243.06 147.53 8.43 1000000 0 700.41/700.71 c 884 1098 1202.24 146.15 8.23 1000000 0 703.50/703.84 c 929 1154 1223.33 138.50 8.83 1000000 0 706.59/706.98 c 942 1324 1223.30 155.19 7.88 1000000 0 709.69/710.08 c 921 1224 1199.53 140.77 8.52 1000000 0 712.79/713.18 c 954 1298 1207.69 123.02 9.82 1000000 0 715.99/716.32 c 974 1112 1214.72 146.07 8.32 1000000 0 719.09/719.45 c 944 1165 1198.06 114.76 10.44 1000000 0 722.18/722.55 c 939 1120 1212.68 152.39 7.96 1000000 0 725.28/725.66 c 960 1197 1220.38 134.49 9.07 1000000 0 728.37/728.78 c 930 1189 1233.17 141.53 8.71 1000000 0 731.47/731.87 c 918 1234 1192.44 122.86 9.71 1000000 0 734.57/734.97 c 955 1009 1200.93 115.35 10.41 1000000 0 737.68/738.08 c 943 1130 1210.05 154.95 7.81 1000000 0 740.77/741.16 c 960 1113 1187.03 122.59 9.68 1000000 0 743.87/744.29 c 995 1211 1237.79 145.84 8.49 1000000 0 747.06/747.40 c 927 1175 1191.34 152.79 7.80 1000000 0 750.16/750.50 c 918 1217 1194.95 139.02 8.60 1000000 0 753.26/753.60 c 902 1023 1197.63 150.89 7.94 1000000 0 756.37/756.70 c 883 1249 1192.53 152.26 7.83 1000000 0 759.46/759.83 c 940 1178 1206.63 206.04 5.86 1000000 0 762.56/762.94 c 934 1191 1203.25 173.49 6.94 1000000 0 765.66/766.07 c 921 1160 1206.14 122.82 9.82 1000000 0 768.76/769.17 c 928 1146 1204.53 130.61 9.22 1000000 0 771.86/772.28 c 911 1248 1213.43 133.28 9.10 1000000 0 774.95/775.39 c 936 1127 1224.61 165.28 7.41 1000000 0 778.15/778.51 c 996 1162 1228.59 119.46 10.28 1000000 0 781.25/781.61 c 965 1307 1200.28 137.95 8.70 1000000 0 784.35/784.75 c 971 1110 1227.26 152.19 8.06 1000000 0 787.45/787.86 c 923 1169 1215.14 148.04 8.21 1000000 0 790.55/790.96 c 870 1128 1191.38 148.52 8.02 1000000 0 793.65/794.06 c 921 1154 1198.78 129.77 9.24 1000000 0 796.74/797.19 c 972 1141 1232.34 151.45 8.14 1000000 0 799.84/800.29 c 967 1231 1198.68 126.10 9.51 1000000 0 802.94/803.38 c 897 1051 1168.42 133.02 8.78 1000000 0 806.04/806.48 c 937 1164 1189.47 131.83 9.02 1000000 0 809.15/809.59 c 971 1196 1223.92 145.56 8.41 1000000 0 812.34/812.71 c 975 1253 1209.59 146.38 8.26 1000000 0 815.44/815.81 c 944 1095 1198.29 136.82 8.76 1000000 0 818.54/818.93 c 947 1056 1197.17 153.94 7.78 1000000 0 821.63/822.03 c 943 1207 1200.67 135.05 8.89 1000000 0 824.73/825.14 c 967 1159 1200.65 149.01 8.06 1000000 0 827.84/828.23 c 937 1093 1179.05 122.40 9.63 1000000 0 830.93/831.35 c 929 1160 1206.98 132.61 9.10 1000000 0 834.03/834.49 c 970 1182 1231.16 156.37 7.87 1000000 0 837.13/837.59 c 942 1243 1205.73 138.76 8.69 1000000 0 840.23/840.69 c 907 1431 1204.80 158.34 7.61 1000000 0 843.43/843.80 c 959 1211 1219.81 150.05 8.13 1000000 0 846.53/846.93 c 956 1280 1243.36 169.07 7.35 1000000 0 849.62/850.04 c 988 1257 1233.96 154.46 7.99 1000000 0 852.72/853.17 c 966 1204 1248.68 156.75 7.97 1000000 0 855.82/856.27 c 981 1237 1192.59 121.66 9.80 1000000 0 858.92/859.37 c 953 1185 1189.55 135.93 8.75 1000000 0 862.02/862.48 c 881 1082 1205.05 146.28 8.24 1000000 0 865.22/865.62 c 991 1168 1232.16 138.26 8.91 1000000 0 868.31/868.73 c 917 1089 1202.35 144.22 8.34 1000000 0 871.41/871.85 c 924 1184 1215.27 129.44 9.39 1000000 0 874.51/874.97 c 954 1085 1207.56 131.29 9.20 1000000 0 877.61/878.08 c 1004 1157 1223.41 134.44 9.10 1000000 0 880.81/881.20 c 875 1138 1211.48 178.54 6.79 1000000 0 883.92/884.31 c 985 1270 1213.78 113.12 10.73 1000000 0 887.01/887.44 c 965 1090 1245.60 178.02 7.00 1000000 0 890.11/890.56 c 944 1112 1222.69 125.98 9.71 1000000 0 893.21/893.67 c 909 1217 1213.26 140.46 8.64 1000000 0 896.40/896.80 c 936 1334 1222.68 140.58 8.70 1000000 0 899.50/899.92 c 949 1160 1213.47 131.89 9.20 1000000 0 902.61/903.05 c 993 1187 1244.83 128.11 9.72 1000000 0 905.70/906.16 c 970 1192 1204.66 97.70 12.33 1000000 0 908.80/909.25 c 932 1290 1194.06 147.06 8.12 1000000 0 911.90/912.36 c 947 1127 1219.47 174.35 6.99 1000000 0 915.00/915.48 c 941 1099 1220.62 139.07 8.78 1000000 0 918.19/918.62 c 975 1157 1228.31 138.62 8.86 1000000 0 921.30/921.74 c 997 1211 1230.52 124.83 9.86 1000000 0 924.39/924.87 c 957 1073 1221.99 144.75 8.44 1000000 0 927.49/927.97 c 924 1278 1188.08 132.00 9.00 1000000 0 930.59/931.09 c 995 1202 1220.92 129.64 9.42 1000000 0 933.79/934.20 c 947 1146 1214.76 124.74 9.74 1000000 0 936.89/937.32 c 860 1042 1209.13 142.56 8.48 1000000 0 939.99/940.43 c 980 1232 1218.50 163.31 7.46 1000000 0 943.08/943.54 c 946 1015 1199.62 129.82 9.24 1000000 0 946.18/946.66 c 967 1295 1234.35 157.29 7.85 1000000 0 949.28/949.76 c 928 1103 1203.31 129.11 9.32 1000000 0 952.38/952.87 c 959 1283 1188.11 126.49 9.39 1000000 0 955.49/955.98 c 961 1143 1202.28 118.92 10.11 1000000 0 958.69/959.11 c 946 1170 1240.46 170.69 7.27 1000000 0 961.78/962.23 c 931 1190 1234.81 151.52 8.15 1000000 0 964.88/965.35 c 860 1075 1201.14 138.59 8.67 1000000 0 967.97/968.47 c 949 1284 1227.69 146.84 8.36 1000000 0 971.17/971.60 c 961 1076 1226.23 160.83 7.62 1000000 0 974.27/974.72 c 952 1206 1232.49 160.06 7.70 1000000 0 977.38/977.84 c 916 1204 1227.42 153.97 7.97 1000000 0 980.47/980.97 c 966 1291 1237.19 156.22 7.92 1000000 0 983.57/984.07 c 950 1203 1204.25 143.78 8.38 1000000 0 986.67/987.17 c 969 1168 1214.30 155.84 7.79 1000000 0 989.77/990.28 c 942 1211 1209.36 151.07 8.01 1000000 0 992.97/993.40 c 922 1345 1220.54 167.30 7.30 1000000 0 996.07/996.51 c 935 1143 1212.50 170.01 7.13 1000000 0 999.16/999.63 c 937 1233 1215.49 146.80 8.28 1000000 0 1002.26/1002.73 c 940 1334 1206.67 151.11 7.99 1000000 0 1005.36/1005.85 c 923 1185 1214.01 169.51 7.16 1000000 0 1008.46/1008.96 c 949 1270 1232.24 142.44 8.65 1000000 0 1011.56/1012.08 c 983 1234 1225.48 133.16 9.20 1000000 0 1014.66/1015.19 c 987 1212 1210.12 168.30 7.19 1000000 0 1017.86/1018.31 c 956 1131 1205.96 134.48 8.97 1000000 0 1020.95/1021.41 c 921 1108 1210.04 130.72 9.26 1000000 0 1024.05/1024.51 c 963 1137 1221.72 121.21 10.08 1000000 0 1027.15/1027.64 c 929 1349 1218.75 164.47 7.41 1000000 0 1030.26/1030.74 c 913 1235 1205.80 148.73 8.11 1000000 0 1033.35/1033.86 c 955 1107 1224.11 165.94 7.38 1000000 0 1036.45/1036.95 c 907 1194 1212.27 146.71 8.26 1000000 0 1039.55/1040.05 c 924 1236 1213.45 132.41 9.16 1000000 0 1042.65/1043.15 c 943 1257 1191.16 140.15 8.50 1000000 0 1045.74/1046.27 c 986 1104 1218.17 122.11 9.98 1000000 0 1048.85/1049.39 c 938 1083 1210.27 156.94 7.71 1000000 0 1051.94/1052.49 c 933 1246 1199.26 159.87 7.50 1000000 0 1055.14/1055.61 c 978 1243 1226.58 147.30 8.33 1000000 0 1058.24/1058.71 c 959 1167 1199.41 126.42 9.49 1000000 0 1061.34/1061.82 c 942 1014 1203.61 130.98 9.19 1000000 0 1064.44/1064.95 c 984 1221 1231.02 160.97 7.65 1000000 0 1067.54/1068.05 c 922 1210 1217.62 173.99 7.00 1000000 0 1070.73/1071.20 c 929 1089 1218.18 156.79 7.77 1000000 0 1073.83/1074.31 c 959 1243 1210.25 138.00 8.77 1000000 0 1076.93/1077.42 c 907 1285 1191.73 131.85 9.04 1000000 0 1080.03/1080.53 c 962 1348 1221.56 137.75 8.87 1000000 0 1083.13/1083.64 c 922 1160 1200.53 129.77 9.25 1000000 0 1086.23/1086.75 c 1004 1200 1204.05 140.37 8.58 1000000 0 1089.33/1089.86 c 935 1197 1201.81 142.21 8.45 1000000 0 1092.42/1092.96 c 936 1191 1215.44 130.89 9.29 1000000 0 1095.52/1096.07 c 962 1323 1225.49 131.93 9.29 1000000 0 1098.72/1099.20 c 987 1078 1226.82 184.41 6.65 1000000 0 1101.82/1102.30 c 988 1167 1210.18 131.96 9.17 1000000 0 1104.82/1105.39 c 937 1190 1200.02 154.64 7.76 1000000 0 1108.02/1108.51 c 909 1262 1215.69 164.00 7.41 1000000 0 1111.12/1111.61 c 928 1150 1180.36 120.86 9.77 1000000 0 1114.21/1114.73 c 927 1071 1229.34 154.27 7.97 1000000 0 1117.31/1117.82 c 904 1230 1184.76 142.00 8.34 1000000 0 1120.42/1120.94 c 895 1074 1216.48 176.09 6.91 1000000 0 1123.51/1124.05 c 933 1227 1242.79 151.35 8.21 1000000 0 1126.61/1127.19 c 992 1070 1240.92 135.45 9.16 1000000 0 1129.71/1130.29 c 904 1132 1187.93 151.96 7.82 1000000 0 1132.91/1133.40 c 977 1170 1224.39 143.66 8.52 1000000 0 1136.01/1136.50 c 960 1291 1195.73 144.88 8.25 1000000 0 1139.11/1139.61 c 953 1166 1207.09 163.25 7.39 1000000 0 1142.20/1142.72 c 948 1391 1226.01 134.95 9.09 1000000 0 1145.30/1145.84 c 937 1104 1212.45 143.67 8.44 1000000 0 1148.40/1148.95 c 872 1233 1203.95 151.11 7.97 1000000 0 1151.50/1152.06 c 966 1314 1226.49 176.39 6.95 1000000 0 1154.60/1155.16 c 890 1210 1199.02 136.76 8.77 1000000 0 1157.70/1158.30 c 938 1090 1225.36 183.28 6.69 1000000 0 1160.80/1161.39 c 948 1174 1186.92 138.16 8.59 1000000 0 1164.00/1164.51 c 984 1123 1204.12 134.95 8.92 1000000 0 1167.09/1167.62 c 986 1214 1211.40 144.65 8.37 1000000 0 1170.19/1170.74 c 970 1145 1227.63 162.80 7.54 1000000 0 1173.29/1173.85 c 966 1166 1199.93 131.93 9.10 1000000 0 1176.40/1176.97 c 977 1129 1252.11 172.01 7.28 1000000 0 1179.49/1180.09 c 969 1284 1220.93 163.52 7.47 1000000 0 1182.69/1183.20 c 916 1243 1201.81 124.81 9.63 1000000 0 1185.79/1186.31 c 969 1097 1213.11 137.56 8.82 1000000 0 1188.89/1189.43 c 961 985 1219.34 158.22 7.71 1000000 0 1191.98/1192.54 c 959 1160 1210.30 128.83 9.39 1000000 0 1195.09/1195.66 c 910 1134 1212.43 122.10 9.93 1000000 0 1198.18/1198.77 c 886 1226 1198.55 160.27 7.48 1000000 0 1201.28/1201.88 c 894 1103 1186.40 159.56 7.44 1000000 0 1204.38/1204.99 c 917 1176 1205.37 144.35 8.35 1000000 0 1207.48/1208.09 c 944 1203 1184.09 156.07 7.59 1000000 0 1210.68/1211.21 c 950 1251 1235.23 169.62 7.28 1000000 0 1213.78/1214.32 c 840 1097 1210.14 132.49 9.13 1000000 0 1216.87/1217.43 c 864 1184 1226.90 134.38 9.13 1000000 0 1219.97/1220.55 c 951 1038 1206.41 133.01 9.07 1000000 0 1223.07/1223.66 c 897 1134 1209.52 138.39 8.74 1000000 0 1226.17/1226.77 c 953 1170 1198.22 159.16 7.53 1000000 0 1229.37/1229.90 c 951 1198 1221.80 170.09 7.18 1000000 0 1232.47/1233.01 c 936 1214 1219.94 165.04 7.39 1000000 0 1235.57/1236.12 c 959 1073 1209.09 155.47 7.78 1000000 0 1238.67/1239.22 c 960 1115 1191.96 143.44 8.31 1000000 0 1241.77/1242.33 c 970 1095 1208.33 145.80 8.29 1000000 0 1244.86/1245.44 c 937 1231 1200.70 148.50 8.09 1000000 0 1247.97/1248.56 c 990 1140 1238.55 152.83 8.10 1000000 0 1251.06/1251.68 c 938 1241 1226.71 145.25 8.45 1000000 0 1254.16/1254.79 c 950 1152 1198.23 156.24 7.67 1000000 0 1257.36/1257.90 c 916 1114 1210.09 143.26 8.45 1000000 0 1260.46/1261.03 c 994 1175 1240.16 139.81 8.87 1000000 0 1263.56/1264.14 c 969 1144 1218.65 123.17 9.89 1000000 0 1266.66/1267.25 c 968 1138 1221.66 131.05 9.32 1000000 0 1269.75/1270.39 c 915 1249 1227.71 171.82 7.15 1000000 0 1272.85/1273.49 c 918 1165 1208.23 123.85 9.76 1000000 0 1276.05/1276.60 c 974 1130 1196.83 123.93 9.66 1000000 0 1279.15/1279.71 c 978 1123 1214.43 113.48 10.70 1000000 0 1282.25/1282.83 c 970 1155 1202.85 136.13 8.84 1000000 0 1285.35/1285.93 c 919 1223 1183.72 129.62 9.13 1000000 0 1288.44/1289.04 c 938 1236 1221.29 117.54 10.39 1000000 0 1291.54/1292.16 c 909 1192 1222.61 137.85 8.87 1000000 0 1294.64/1295.28 c 920 1130 1213.37 149.57 8.11 1000000 0 1297.84/1298.40 c 925 1112 1223.03 156.53 7.81 1000000 0 1300.94/1301.51 c 938 1306 1210.40 134.88 8.97 1000000 0 1304.05/1304.63 c 920 1158 1227.40 152.44 8.05 1000000 0 1307.14/1307.73 c 934 1339 1193.68 116.23 10.27 1000000 0 1310.24/1310.83 c 948 1187 1203.89 147.64 8.15 1000000 0 1313.34/1313.92 c 936 1068 1180.70 125.84 9.38 1000000 0 1316.43/1317.03 c 970 1153 1207.81 162.55 7.43 1000000 0 1319.53/1320.14 c 964 1174 1207.33 117.00 10.32 1000000 0 1322.64/1323.25 c 963 1211 1190.52 117.54 10.13 1000000 0 1325.73/1326.35 c 967 1157 1190.11 122.20 9.74 1000000 0 1328.83/1329.46 c 946 1254 1208.25 146.90 8.22 1000000 0 1331.93/1332.56 c 875 1195 1190.27 116.63 10.21 1000000 0 1335.02/1335.66 c 914 1087 1195.49 128.95 9.27 1000000 0 1338.13/1338.77 c 910 1218 1215.42 149.28 8.14 1000000 0 1341.22/1341.88 c 947 1169 1233.43 153.98 8.01 1000000 0 1344.32/1344.98 c 924 1154 1194.44 119.21 10.02 1000000 0 1347.42/1348.09 c 946 1219 1212.43 133.78 9.06 1000000 0 1350.62/1351.20 c 913 1245 1221.85 137.89 8.86 1000000 0 1353.72/1354.31 c 907 1183 1218.90 136.24 8.95 1000000 0 1356.82/1357.41 c 965 1108 1226.92 129.46 9.48 1000000 0 1359.92/1360.52 c 987 1295 1220.23 122.90 9.93 1000000 0 1363.02/1363.63 c 926 1315 1210.60 140.44 8.62 1000000 0 1366.12/1366.75 c 967 1182 1222.77 146.49 8.35 1000000 0 1369.22/1369.87 c 943 1340 1205.98 155.80 7.74 1000000 0 1372.32/1372.97 c 923 1095 1208.97 131.95 9.16 1000000 0 1375.42/1376.10 c 965 1165 1243.40 163.97 7.58 1000000 0 1378.62/1379.22 c 914 1065 1219.04 124.44 9.80 1000000 0 1381.71/1382.34 c 980 1123 1226.32 116.42 10.53 1000000 0 1384.81/1385.45 c 942 1257 1239.87 141.81 8.74 1000000 0 1387.91/1388.56 c 908 1049 1204.35 129.12 9.33 1000000 0 1391.01/1391.68 c 912 1235 1224.25 165.77 7.39 1000000 0 1394.12/1394.80 c 981 1214 1221.43 133.68 9.14 1000000 0 1397.31/1397.92 c 937 1026 1233.34 171.53 7.19 1000000 0 1400.41/1401.04 c 928 1167 1197.05 137.24 8.72 1000000 0 1403.51/1404.15 c 969 1179 1207.19 130.74 9.23 1000000 0 1406.60/1407.25 c 975 1167 1205.60 119.43 10.09 1000000 0 1409.70/1410.39 c 925 1148 1231.32 193.98 6.35 1000000 0 1412.81/1413.49 c 914 1117 1189.65 139.20 8.55 1000000 0 1416.00/1416.62 c 946 1392 1217.46 137.43 8.86 1000000 0 1419.10/1419.73 c 846 1122 1228.35 148.09 8.29 1000000 0 1422.20/1422.84 c 962 1179 1208.64 119.96 10.08 1000000 0 1425.30/1425.96 c 931 1205 1230.41 152.43 8.07 1000000 0 1428.40/1429.09 c 960 1122 1211.92 138.22 8.77 1000000 0 1431.60/1432.21 c 942 1163 1226.96 144.65 8.48 1000000 0 1434.69/1435.33 c 917 1107 1208.38 155.93 7.75 1000000 0 1437.79/1438.44 c 954 1190 1214.20 132.09 9.19 1000000 0 1440.89/1441.55 c 959 1174 1204.71 127.09 9.48 1000000 0 1443.99/1444.66 c 984 1260 1205.59 125.57 9.60 1000000 0 1447.09/1447.77 c 957 1193 1199.16 118.51 10.12 1000000 0 1450.19/1450.87 c 932 1346 1187.81 151.04 7.86 1000000 0 1453.28/1453.98 c 942 1184 1215.51 165.39 7.35 1000000 0 1456.38/1457.10 c 921 1210 1217.48 170.72 7.13 1000000 0 1459.58/1460.21 c 964 1107 1202.59 139.20 8.64 1000000 0 1462.68/1463.33 c 988 1222 1226.12 139.82 8.77 1000000 0 1465.78/1466.43 c 961 1266 1218.57 151.50 8.04 1000000 0 1468.89/1469.54 c 966 1082 1207.68 131.32 9.20 1000000 0 1471.98/1472.67 c 933 1163 1243.00 163.84 7.59 1000000 0 1475.08/1475.77 c 959 1224 1231.50 146.44 8.41 1000000 0 1478.18/1478.87 c 945 1246 1207.19 129.76 9.30 1000000 0 1481.27/1481.96 c 872 1193 1192.53 144.08 8.28 1000000 0 1484.38/1485.08 c 926 1132 1219.90 124.10 9.83 1000000 0 1487.47/1488.20 c 991 1117 1228.01 145.63 8.43 1000000 0 1490.67/1491.30 c 969 1122 1209.81 144.07 8.40 1000000 0 1493.77/1494.44 c 985 1167 1235.10 143.79 8.59 1000000 0 1496.87/1497.55 c 899 1284 1206.79 143.05 8.44 1000000 0 1499.97/1500.66 c 964 1269 1207.60 169.41 7.13 1000000 0 1503.07/1503.76 c 938 1210 1191.21 130.10 9.16 1000000 0 1506.17/1506.87 c 907 1244 1211.51 138.68 8.74 1000000 0 1509.26/1509.98 c 949 1139 1204.83 105.74 11.39 1000000 0 1512.36/1513.08 c 943 1204 1207.96 112.71 10.72 1000000 0 1515.46/1516.19 c 968 1315 1208.02 132.94 9.09 1000000 0 1518.66/1519.32 c 948 1049 1242.30 142.77 8.70 1000000 0 1521.77/1522.43 c 960 1354 1204.50 138.63 8.69 1000000 0 1524.86/1525.56 c 969 1346 1223.61 158.83 7.70 1000000 0 1527.95/1528.69 c 956 1218 1230.69 157.81 7.80 1000000 0 1531.15/1531.80 c 966 1274 1213.54 144.75 8.38 1000000 0 1534.15/1534.89 c 897 1090 1189.80 128.17 9.28 1000000 0 1537.35/1538.01 c 934 1172 1226.56 148.46 8.26 1000000 0 1540.46/1541.12 c 934 1141 1206.68 146.56 8.23 1000000 0 1543.55/1544.22 c 968 1215 1203.85 108.57 11.09 1000000 0 1546.65/1547.32 c 941 1086 1183.44 123.80 9.56 1000000 0 1549.75/1550.43 c 914 1336 1215.98 138.55 8.78 1000000 0 1552.85/1553.54 c 973 1151 1223.92 161.04 7.60 1000000 0 1555.95/1556.66 c 909 1165 1211.54 138.34 8.76 1000000 0 1559.05/1559.78 c 993 1124 1231.28 120.41 10.23 1000000 0 1562.14/1562.89 c 947 1166 1207.92 146.39 8.25 1000000 0 1565.24/1565.99 c 950 1296 1220.85 138.75 8.80 1000000 0 1568.34/1569.08 c 939 1110 1199.07 133.83 8.96 1000000 0 1571.54/1572.21 c 967 1190 1227.25 183.78 6.68 1000000 0 1574.64/1575.31 c 875 1203 1190.99 130.15 9.15 1000000 0 1577.74/1578.42 c 942 1151 1201.00 136.33 8.81 1000000 0 1580.83/1581.52 c 964 1151 1213.58 144.25 8.41 1000000 0 1583.93/1584.64 c 920 1116 1207.36 157.68 7.66 1000000 0 1587.03/1587.75 c 890 1009 1197.10 135.41 8.84 1000000 0 1590.13/1590.85 c 928 1111 1208.75 155.89 7.75 1000000 0 1593.24/1593.98 c 942 1280 1237.35 176.42 7.01 1000000 0 1596.44/1597.10 c 931 971 1240.45 164.03 7.56 1000000 0 1599.53/1600.22 c 956 1276 1212.02 132.91 9.12 1000000 0 1602.63/1603.33 c 962 1229 1216.01 125.22 9.71 1000000 0 1605.72/1606.45 c 952 983 1212.73 168.12 7.21 1000000 0 1608.82/1609.55 c 919 1177 1202.92 136.27 8.83 1000000 0 1611.93/1612.66 c 951 1103 1232.33 159.70 7.72 1000000 0 1615.02/1615.78 c 932 1232 1204.31 128.75 9.35 1000000 0 1618.12/1618.89 c 946 1104 1201.21 136.39 8.81 1000000 0 1621.32/1622.01 c 978 1232 1220.95 138.91 8.79 1000000 0 1624.42/1625.12 c 946 1309 1230.76 152.82 8.05 1000000 0 1627.52/1628.24 c 994 1155 1237.46 138.13 8.96 1000000 0 1630.62/1631.33 c 931 1159 1192.33 132.49 9.00 1000000 0 1633.71/1634.46 c 987 1245 1219.75 144.77 8.43 1000000 0 1636.81/1637.57 c 940 1031 1203.64 156.29 7.70 1000000 0 1639.91/1640.68 c 895 1155 1229.95 135.65 9.07 1000000 0 1643.01/1643.78 c 928 1162 1199.58 125.00 9.60 1000000 0 1646.11/1646.89 c 943 1220 1194.61 108.38 11.02 1000000 0 1649.31/1650.01 c 991 1173 1225.37 138.16 8.87 1000000 0 1652.40/1653.11 c 946 1303 1204.46 135.06 8.92 1000000 0 1655.50/1656.22 c 882 1233 1204.35 170.07 7.08 1000000 0 1658.60/1659.33 c 953 1060 1200.20 129.36 9.28 1000000 0 1661.70/1662.44 c 972 1286 1219.26 160.21 7.61 1000000 0 1664.80/1665.53 c 893 1118 1164.53 113.82 10.23 1000000 0 1667.91/1668.64 c 966 1179 1196.09 135.34 8.84 1000000 0 1671.00/1671.76 c 973 1097 1222.68 151.98 8.04 1000000 0 1674.10/1674.86 c 987 1173 1218.88 142.23 8.57 1000000 0 1677.20/1677.97 c 952 1072 1211.31 158.48 7.64 1000000 0 1680.29/1681.09 c 974 1197 1225.21 114.55 10.70 1000000 0 1683.49/1684.21 c 921 1129 1222.13 156.84 7.79 1000000 0 1686.59/1687.33 c 961 1302 1224.77 125.12 9.79 1000000 0 1689.68/1690.45 c 901 1163 1201.24 157.40 7.63 1000000 0 1692.78/1693.58 c 974 1211 1231.28 136.58 9.02 1000000 0 1695.88/1696.69 c 936 1161 1210.83 121.48 9.97 1000000 0 1698.98/1699.80 c 990 1267 1199.45 108.97 11.01 1000000 0 1702.18/1702.91 c 958 1277 1228.90 127.55 9.63 1000000 0 1705.28/1706.02 c 875 1155 1211.05 148.02 8.18 1000000 0 1708.38/1709.13 c 954 1177 1214.69 161.24 7.53 1000000 0 1711.48/1712.23 c 959 1050 1191.88 156.10 7.64 1000000 0 1714.58/1715.35 c 945 1151 1221.08 145.82 8.37 1000000 0 1717.67/1718.44 c 969 1176 1176.35 123.23 9.55 1000000 0 1720.78/1721.55 c 878 1392 1223.47 139.66 8.76 1000000 0 1723.87/1724.66 c 971 1137 1204.62 132.10 9.12 1000000 0 1726.97/1727.77 c 938 1190 1209.75 129.84 9.32 1000000 0 1730.07/1730.88 c 981 1055 1221.37 122.18 10.00 1000000 0 1733.27/1734.00 c 959 1195 1227.10 127.00 9.66 1000000 0 1736.36/1737.11 c 964 1050 1216.77 130.28 9.34 1000000 0 1739.47/1740.21 c 955 1177 1206.62 136.33 8.85 1000000 0 1742.56/1743.32 c 941 1134 1216.84 143.22 8.50 1000000 0 1745.66/1746.44 c 931 1234 1215.42 140.37 8.66 1000000 0 1748.76/1749.57 c 1010 1135 1243.26 109.05 11.40 1000000 0 1751.86/1752.68 c 996 1077 1215.67 138.24 8.79 1000000 0 1754.96/1755.78 c 944 1191 1197.66 141.16 8.48 1000000 0 1758.16/1758.91 c 942 955 1221.67 144.54 8.45 1000000 0 1761.25/1762.03 c 941 1252 1211.45 150.64 8.04 1000000 0 1764.35/1765.17 c 981 1122 1223.09 133.57 9.16 1000000 0 1767.45/1768.29 c 961 1127 1215.10 145.14 8.37 1000000 0 1770.65/1771.41 c 977 1230 1237.36 138.40 8.94 1000000 0 1773.75/1774.56 c 961 1203 1202.34 125.66 9.57 1000000 0 1776.85/1777.68 c 924 1256 1236.88 167.23 7.40 1000000 0 1779.94/1780.79 c 973 1144 1203.46 137.08 8.78 1000000 0 1783.04/1783.89 c 919 1196 1208.29 142.38 8.49 1000000 0 1786.24/1787.01 c 962 1181 1207.99 141.81 8.52 1000000 0 1789.34/1790.12 c 965 1224 1218.95 145.92 8.35 1000000 0 1792.44/1793.23 c 952 1386 1210.88 133.14 9.09 1000000 0 1795.55/1796.36 c 982 1228 1235.36 131.50 9.39 1000000 0 1798.64/1799.46 c 976 1141 1202.59 118.66 10.13 1000000 0 1800.04/1800.81 HOME/run: line 2: 22057 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-2685028-1278438557/watcher-2685028-1278438557 -o /tmp/evaluation-result-2685028-1278438557/solver-2685028-1278438557 -C 1800 -W 2000 -M 1800 run HOME/instance-2685028-1278438557.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 1.00 3/106 22056 /proc/meminfo: memFree=1466464/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) R 22054 22056 21487 0 -1 4202496 344 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006753173 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [startup+0.039139 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22056 /proc/meminfo: memFree=1466464/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101151 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22056 /proc/meminfo: memFree=1466464/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301193 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22056 /proc/meminfo: memFree=1466464/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701278 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22056 /proc/meminfo: memFree=1466464/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22058 /proc/meminfo: memFree=1455660/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1.49 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2719 0 0 0 148 1 0 0 25 0 1 0 12068881 41422848 2648 1992294400 134512640 135071400 4291626032 18446744073709551615 134526706 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2648 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10179 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22058 /proc/meminfo: memFree=1455412/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=3.09 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2719 0 0 0 308 1 0 0 25 0 1 0 12068881 41422848 2648 1992294400 134512640 135071400 4291626032 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2648 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30148 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22058 /proc/meminfo: memFree=1455288/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=6.29 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2727 0 0 0 628 1 0 0 25 0 1 0 12068881 41422848 2656 1992294400 134512640 135071400 4291626032 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2656 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22058 /proc/meminfo: memFree=1455040/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=12.69 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2727 0 0 0 1268 1 0 0 25 0 1 0 12068881 41422848 2656 1992294400 134512640 135071400 4291626032 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2656 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22058 /proc/meminfo: memFree=1455040/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=25.48 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 2547 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22059 /proc/meminfo: memFree=1455040/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=51.07 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 5106 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22060 /proc/meminfo: memFree=1455040/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=102.25 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 10224 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526812 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22062 /proc/meminfo: memFree=1454916/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=162.22 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 16221 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22064 /proc/meminfo: memFree=1454916/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=222.19 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 22218 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22065 /proc/meminfo: memFree=1454916/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=282.17 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 28216 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22066 /proc/meminfo: memFree=1454800/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=342.15 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 34214 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22068 /proc/meminfo: memFree=1454800/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=402.12 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 40211 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1061.84 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 106183 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134537008 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22097 /proc/meminfo: memFree=1453560/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1121.81 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 112180 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134519776 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22098 /proc/meminfo: memFree=1453436/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1181.79 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 118178 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22099 /proc/meminfo: memFree=1453188/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1241.77 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 124176 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22101 /proc/meminfo: memFree=1453064/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1301.75 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 130174 1 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22103 /proc/meminfo: memFree=1452940/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1361.72 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 136170 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22105 /proc/meminfo: memFree=1452940/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1421.7 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 142168 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22106 /proc/meminfo: memFree=1452940/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1481.67 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 148165 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22107 /proc/meminfo: memFree=1452940/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1541.65 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 154163 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22109 /proc/meminfo: memFree=1452816/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1601.63 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 160161 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22111 /proc/meminfo: memFree=1452692/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1661.6 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 166158 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22113 /proc/meminfo: memFree=1452568/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1721.57 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 172155 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22117 /proc/meminfo: memFree=1451824/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1781.54 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 178152 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22118 /proc/meminfo: memFree=1451824/2059040 swapFree=4192956/4192956 [pid=22056] ppid=22054 vsize=8700 CPUtime=0 /proc/22056/stat : 22056 (run) S 22054 22056 21487 0 -1 4202496 361 0 0 0 0 0 0 0 21 0 1 0 12068881 8908800 244 1992294400 4194304 4922060 140735976138416 18446744073709551615 239006751877 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22056/statm: 2175 244 204 178 0 68 0 [pid=22057] ppid=22056 vsize=40452 CPUtime=1800.04 /proc/22057/stat : 22057 (PB-wave) R 22056 22056 21487 0 -1 4202496 2728 0 0 0 180002 2 0 0 25 0 1 0 12068881 41422848 2657 1992294400 134512640 135071400 4291626032 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22057/statm: 10113 2657 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 secondsSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.81 CPU time (s): 1800.06 CPU user time (s): 1800.03 CPU system time (s): 0.026995 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.026995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3101 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= 4859 runsolver used 2.94555 second user time and 8.59069 second system time The end
Begin job on node010 at 2010-07-06 19:49:17 IDJOB=2685028 IDBENCH=74310 IDSOLVER=1171 FILE ID=node010/2685028-1278438557 PBS_JOBID= 11233461 Free space on /tmp= 62488 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685028-1278438557/watcher-2685028-1278438557 -o /tmp/evaluation-result-2685028-1278438557/solver-2685028-1278438557 -C 1800 -W 2000 -M 1800 run HOME/instance-2685028-1278438557.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de RANDOM SEED=1379790610 node010.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1466984 kB Buffers: 112852 kB Cached: 346640 kB SwapCached: 0 kB Active: 187904 kB Inactive: 331408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1466984 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4676 kB Writeback: 0 kB AnonPages: 59836 kB Mapped: 14452 kB Slab: 50896 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180268 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= 62488 MiB End job on node010 at 2010-07-06 20:19:18