Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.04 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12026_5-unsat.opb |
MD5SUM | db859a15c3accfca5f41bc17f134e06b |
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 | 604.363 |
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 | 32912 |
Total number of constraints | 109848 |
Number of constraints which are clauses | 109308 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 540 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 66 |
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 | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 428 |
Number of bits of the biggest sum of numbers | 9 |
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.28 c PB-wave - v2 0.00/0.28 c command line = ./PB-wave 0.00/0.28 c seed = 16579975 0.00/0.28 c cutoff = 1000000 0.00/0.28 c tries = 1000000 0.00/0.28 c heuristic = c best, noise 50 / 100 0.00/0.28 #var 32912 #con 109848 0.00/0.28 mode is SAT 0.00/0.28 c tail starts after flip = 98736 0.00/0.28 c numatom = 32912, numclause = 109848, numliterals = 266214 0.00/0.28 c wff read in 0.00/0.28 c 0.00/0.28 c lowest final avg noise noise total avg mean mean 0.00/0.28 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.28 c this this this this this this success success until std 0.00/0.28 c try try try try try try rate tries assign dev 0.00/0.28 c 2.79/2.81 c 852 1021 1181.99 214.00 5.52 1000000 0 5.29/5.34 c 886 1216 1176.88 191.45 6.15 1000000 0 7.79/7.85 c 921 1122 1158.23 160.16 7.23 1000000 0 10.29/10.38 c 909 1046 1170.35 226.30 5.17 1000000 0 12.89/12.90 c 874 1095 1165.53 200.93 5.80 1000000 0 15.39/15.41 c 845 1213 1151.71 182.46 6.31 1000000 0 17.88/17.94 c 905 1098 1172.91 188.03 6.24 1000000 0 20.38/20.46 c 889 1102 1161.01 162.98 7.12 1000000 0 22.88/23.00 c 930 1046 1189.32 183.03 6.50 1000000 0 25.48/25.51 c 858 1249 1165.65 171.83 6.78 1000000 0 27.98/28.05 c 917 1050 1192.74 169.65 7.03 1000000 0 30.48/30.57 c 926 1103 1167.89 156.59 7.46 1000000 0 32.99/33.10 c 942 1122 1186.68 132.53 8.95 1000000 0 35.58/35.63 c 943 1151 1190.59 186.99 6.37 1000000 0 38.08/38.16 c 934 1145 1198.82 179.97 6.66 1000000 0 40.59/40.69 c 902 1060 1186.24 222.88 5.32 1000000 0 43.18/43.21 c 876 1118 1192.06 190.11 6.27 1000000 0 45.68/45.72 c 939 1204 1167.10 164.28 7.10 1000000 0 48.18/48.24 c 913 1212 1185.08 170.94 6.93 1000000 0 50.68/50.75 c 876 1162 1163.59 172.26 6.75 1000000 0 53.17/53.29 c 916 1142 1192.68 174.33 6.84 1000000 0 55.77/55.81 c 925 1137 1163.75 153.33 7.59 1000000 0 58.28/58.33 c 902 1062 1184.19 183.98 6.44 1000000 0 60.77/60.85 c 884 1229 1177.38 205.83 5.72 1000000 0 63.27/63.38 c 895 1054 1180.20 178.28 6.62 1000000 0 65.88/65.90 c 903 1138 1183.48 156.08 7.58 1000000 0 68.37/68.43 c 894 1110 1184.39 197.40 6.00 1000000 0 70.87/70.95 c 941 1003 1185.03 179.94 6.59 1000000 0 73.37/73.47 c 912 1012 1188.29 166.90 7.12 1000000 0 75.97/76.00 c 904 1076 1162.85 195.23 5.96 1000000 0 78.47/78.52 c 940 1149 1170.83 188.13 6.22 1000000 0 80.97/81.04 c 913 1111 1168.45 158.42 7.38 1000000 0 83.47/83.56 c 899 1126 1167.45 164.73 7.09 1000000 0 85.97/86.10 c 919 1074 1192.39 196.63 6.06 1000000 0 88.57/88.62 c 908 956 1198.39 184.16 6.51 1000000 0 91.07/91.14 c 929 1146 1176.48 191.31 6.15 1000000 0 93.56/93.67 c 887 1101 1188.45 166.14 7.15 1000000 0 96.06/96.19 c 917 1113 1181.98 170.43 6.94 1000000 0 98.66/98.72 c 899 1201 1195.53 207.69 5.76 1000000 0 101.17/101.24 c 923 1057 1178.79 162.54 7.25 1000000 0 103.66/103.75 c 917 1107 1167.18 183.78 6.35 1000000 0 106.16/106.28 c 884 1060 1185.39 216.58 5.47 1000000 0 108.77/108.80 c 915 1186 1152.62 171.36 6.73 1000000 0 111.26/111.34 c 912 1173 1201.29 173.95 6.91 1000000 0 113.76/113.86 c 890 946 1165.57 183.64 6.35 1000000 0 116.26/116.39 c 897 1070 1189.66 194.49 6.12 1000000 0 118.86/118.91 c 902 1092 1180.76 183.15 6.45 1000000 0 121.36/121.43 c 923 1203 1181.02 195.64 6.04 1000000 0 123.86/123.98 c 899 1259 1198.44 212.99 5.63 1000000 0 126.36/126.50 c 947 1107 1161.27 160.01 7.26 1000000 0 128.95/129.03 c 929 1307 1191.47 159.25 7.48 1000000 0 131.45/131.55 c 865 1158 1180.51 147.58 8.00 1000000 0 133.95/134.06 c 898 1157 1159.62 165.60 7.00 1000000 0 136.45/136.59 c 932 1167 1182.86 188.17 6.29 1000000 0 139.05/139.12 c 891 1233 1175.86 176.44 6.66 1000000 0 141.55/141.65 c 894 1240 1188.06 182.01 6.53 1000000 0 144.06/144.17 c 894 1233 1183.25 183.39 6.45 1000000 0 146.65/146.70 c 933 1048 1192.29 187.26 6.37 1000000 0 149.15/149.23 c 889 1093 1171.92 186.07 6.30 1000000 0 151.66/151.74 c 890 1201 1157.55 161.22 7.18 1000000 0 154.15/154.28 c 938 1193 1196.47 172.53 6.93 1000000 0 156.75/156.80 c 941 1210 1189.26 162.10 7.34 1000000 0 159.25/159.32 c 897 1032 1189.54 200.43 5.94 1000000 0 161.75/161.84 c 930 1169 1162.55 183.12 6.35 1000000 0 164.25/164.35 c 876 1004 1172.35 173.26 6.77 1000000 0 166.74/166.88 c 908 1081 1177.45 176.67 6.66 1000000 0 169.25/169.38 c 891 1134 1142.14 176.31 6.48 1000000 0 171.84/171.90 c 866 1192 1160.96 195.02 5.95 1000000 0 174.34/174.42 c 881 1060 1158.18 203.41 5.69 1000000 0 176.84/176.92 c 908 1243 1156.20 147.01 7.86 1000000 0 179.34/179.45 c 907 1166 1185.68 176.42 6.72 1000000 0 181.84/181.97 c 873 1168 1162.58 185.38 6.27 1000000 0 184.44/184.50 c 932 1132 1205.85 181.57 6.64 1000000 0 186.95/187.03 c 923 1099 1180.66 159.29 7.41 1000000 0 189.44/189.56 c 909 1170 1179.19 183.20 6.44 1000000 0 191.94/192.07 c 908 1183 1162.64 147.52 7.88 1000000 0 194.54/194.60 c 934 1145 1176.97 150.77 7.81 1000000 0 197.04/197.12 c 932 1098 1168.01 175.95 6.64 1000000 0 199.54/199.65 c 912 1282 1179.17 209.36 5.63 1000000 0 202.04/202.18 c 906 1146 1201.13 210.39 5.71 1000000 0 204.54/204.67 c 884 1058 1152.86 170.18 6.77 1000000 0 207.13/207.20 c 915 1112 1189.78 150.78 7.89 1000000 0 209.63/209.73 c 930 1030 1188.51 183.49 6.48 1000000 0 212.14/212.25 c 886 1008 1177.89 152.11 7.74 1000000 0 214.63/214.78 c 916 1165 1189.86 199.52 5.96 1000000 0 217.13/217.30 c 936 1189 1177.99 143.39 8.22 1000000 0 219.73/219.81 c 882 990 1171.61 168.02 6.97 1000000 0 222.23/222.33 c 935 1080 1162.81 160.40 7.25 1000000 0 224.73/224.85 c 968 1111 1189.02 150.98 7.88 1000000 0 227.23/227.37 c 910 1025 1176.42 187.63 6.27 1000000 0 229.74/229.89 c 892 1149 1175.25 192.02 6.12 1000000 0 232.33/232.42 c 874 1160 1178.30 177.73 6.63 1000000 0 234.83/234.94 c 893 1207 1178.73 164.89 7.15 1000000 0 237.33/237.46 c 953 1054 1185.34 184.69 6.42 1000000 0 239.93/240.00 c 921 1132 1203.70 194.08 6.20 1000000 0 242.43/242.53 c 923 1139 1196.31 163.57 7.31 1000000 0 244.92/245.06 c 884 1168 1191.68 213.72 5.58 1000000 0 247.43/247.58 c 938 1091 1166.76 151.66 7.69 1000000 0 250.02/250.11 c 934 1141 1183.33 168.22 7.03 1000000 0 252.52/252.63 c 922 1181 1171.34 133.54 8.77 1000000 0 255.03/255.15 c 934 1001 1189.28 174.44 6.82 1000000 0 257.52/257.68 c 943 1196 1184.12 157.20 7.53 1000000 0 260.12/260.21 c 870 1172 1169.69 168.65 6.94 1000000 0 262.62/262.73 c 910 1080 1187.48 173.06 6.86 1000000 0 265.12/265.26 c 920 958 1182.89 157.18 7.53 1000000 0 267.62/267.78 c 920 1049 1181.31 167.23 7.06 1000000 0 270.22/270.30 c 908 1147 1176.28 182.59 6.44 1000000 0 272.73/272.81 c 900 1130 1160.77 161.91 7.17 1000000 0 275.22/275.35 c 922 1141 1214.92 221.62 5.48 1000000 0 277.72/277.87 c 906 1297 1175.38 184.03 6.39 1000000 0 280.22/280.39 c 951 1083 1175.41 164.07 7.16 1000000 0 282.82/282.92 c 966 1340 1205.32 159.52 7.56 1000000 0 285.31/285.44 c 929 1214 1167.24 157.24 7.42 1000000 0 287.81/287.95 c 837 1175 1151.68 184.12 6.25 1000000 0 290.32/290.47 c 946 1103 1194.35 175.23 6.82 1000000 0 292.81/292.99 c 916 1160 1165.66 174.67 6.67 1000000 0 295.41/295.51 c 916 1093 1180.94 186.57 6.33 1000000 0 297.92/298.02 c 904 1073 1182.19 171.24 6.90 1000000 0 300.41/300.53 c 909 1249 1175.86 176.32 6.67 1000000 0 302.91/303.04 c 922 1201 1173.47 152.48 7.70 1000000 0 305.41/305.56 c 899 1180 1166.91 153.07 7.62 1000000 0 307.92/308.08 c 947 1138 1193.44 168.01 7.10 1000000 0 310.51/310.60 c 863 1232 1169.48 160.89 7.27 1000000 0 313.01/313.12 c 909 1238 1175.73 179.65 6.54 1000000 0 315.51/315.66 c 929 1096 1194.51 190.06 6.28 1000000 0 318.01/318.17 c 873 1273 1162.78 186.66 6.23 1000000 0 320.51/320.69 c 901 1100 1191.54 196.03 6.08 1000000 0 323.10/323.21 c 902 1302 1172.61 134.80 8.70 1000000 0 325.60/325.73 c 936 1116 1177.78 165.28 7.13 1000000 0 328.10/328.24 c 904 1135 1168.25 155.13 7.53 1000000 0 330.60/330.75 c 895 1284 1170.08 157.55 7.43 1000000 0 333.11/333.28 c 895 1099 1195.34 165.00 7.24 1000000 0 335.60/335.79 c 889 1299 1166.17 169.47 6.88 1000000 0 338.20/338.31 c 927 1204 1192.04 159.96 7.45 1000000 0 340.70/340.83 c 901 1217 1166.60 180.79 6.45 1000000 0 343.20/343.35 c 942 1034 1184.28 177.34 6.68 1000000 0 345.70/345.88 c 919 1119 1178.39 177.39 6.64 1000000 0 348.20/348.39 c 882 1132 1174.32 170.79 6.88 1000000 0 350.81/350.92 c 933 1177 1176.80 190.75 6.17 1000000 0 353.30/353.45 c 906 1262 1190.74 214.83 5.54 1000000 0 355.80/355.97 c 916 1006 1187.99 211.12 5.63 1000000 0 358.30/358.47 c 885 1182 1158.32 155.57 7.45 1000000 0 360.80/360.98 c 907 1093 1169.40 174.04 6.72 1000000 0 363.39/363.50 c 893 1204 1191.06 163.34 7.29 1000000 0 365.89/366.01 c 915 1022 1170.60 138.12 8.48 1000000 0 368.40/368.55 c 925 1104 1196.20 195.89 6.11 1000000 0 370.89/371.07 c 900 1043 1191.31 163.21 7.30 1000000 0 373.39/373.57 c 906 1218 1167.83 156.81 7.45 1000000 0 376.00/376.10 c 912 1062 1191.35 192.66 6.18 1000000 0 378.49/378.63 c 939 1181 1197.96 159.83 7.50 1000000 0 380.99/381.15 c 877 1015 1170.59 163.85 7.14 1000000 0 383.49/383.67 c 910 1067 1181.99 202.69 5.83 1000000 0 386.00/386.17 c 896 978 1153.19 181.18 6.36 1000000 0 388.59/388.70 c 964 1151 1198.43 171.36 6.99 1000000 0 391.09/391.24 c 935 1086 1199.63 176.28 6.81 1000000 0 393.59/393.76 c 893 1033 1186.18 165.64 7.16 1000000 0 396.08/396.28 c 952 1192 1178.73 170.70 6.91 1000000 0 398.58/398.79 c 946 1148 1178.38 169.55 6.95 1000000 0 401.18/401.30 c 854 1197 1155.47 175.41 6.59 1000000 0 403.68/403.83 c 858 1199 1187.74 203.01 5.85 1000000 0 406.18/406.35 c 926 1212 1175.18 183.52 6.40 1000000 0 408.68/408.86 c 933 1189 1182.32 198.09 5.97 1000000 0 411.19/411.39 c 879 1144 1194.79 182.71 6.54 1000000 0 413.78/413.91 c 901 1133 1193.95 190.62 6.26 1000000 0 416.28/416.43 c 900 1160 1166.77 152.49 7.65 1000000 0 418.78/418.96 c 944 1243 1191.56 224.36 5.31 1000000 0 421.28/421.47 c 928 1070 1170.66 143.98 8.13 1000000 0 423.78/424.00 c 864 1062 1167.70 195.63 5.97 1000000 0 426.38/426.51 c 941 987 1176.50 148.79 7.91 1000000 0 428.88/429.03 c 936 1124 1169.11 148.71 7.86 1000000 0 431.38/431.55 c 900 1158 1193.02 190.83 6.25 1000000 0 433.88/434.08 c 907 1357 1191.89 224.68 5.30 1000000 0 436.48/436.60 c 921 967 1172.83 162.92 7.20 1000000 0 438.97/439.11 c 907 1119 1164.87 146.73 7.94 1000000 0 441.47/441.65 c 904 1188 1183.64 198.57 5.96 1000000 0 443.97/444.16 c 891 1179 1152.10 146.16 7.88 1000000 0 446.48/446.68 c 877 1183 1144.17 181.32 6.31 1000000 0 449.07/449.20 c 935 1104 1186.30 184.27 6.44 1000000 0 451.57/451.72 c 938 1071 1178.07 154.39 7.63 1000000 0 454.08/454.23 c 883 1132 1175.54 185.38 6.34 1000000 0 456.57/456.75 c 945 1157 1187.20 166.84 7.12 1000000 0 459.07/459.27 c 902 1202 1161.07 147.25 7.89 1000000 0 461.57/461.79 c 916 1059 1183.64 158.69 7.46 1000000 0 464.17/464.31 c 933 1104 1181.20 195.68 6.04 1000000 0 466.67/466.83 c 896 1198 1181.98 185.19 6.38 1000000 0 469.17/469.35 c 869 1027 1164.27 195.46 5.96 1000000 0 471.67/471.87 c 948 1361 1199.50 184.70 6.49 1000000 0 474.16/474.39 c 910 1153 1174.73 181.50 6.47 1000000 0 476.76/476.91 c 915 1066 1184.82 173.23 6.84 1000000 0 479.26/479.42 c 933 1086 1177.95 161.72 7.28 1000000 0 481.76/481.92 c 858 1147 1143.01 152.10 7.51 1000000 0 484.26/484.45 c 919 1109 1175.86 201.20 5.84 1000000 0 486.76/486.96 c 897 1035 1163.03 193.59 6.01 1000000 0 489.27/489.48 c 881 1079 1184.17 227.11 5.21 1000000 0 491.86/492.01 c 903 1212 1196.38 183.34 6.53 1000000 0 494.36/494.53 c 926 1152 1176.13 189.83 6.20 1000000 0 496.86/497.05 c 918 1045 1185.53 198.17 5.98 1000000 0 499.36/499.58 c 902 1154 1204.89 204.21 5.90 1000000 0 501.96/502.10 c 882 884 1169.67 170.84 6.85 1000000 0 504.46/504.60 c 886 1053 1150.60 168.51 6.83 1000000 0 506.96/507.12 c 926 1053 1182.47 190.22 6.22 1000000 0 509.46/509.66 c 937 1152 1202.32 208.90 5.76 1000000 0 511.96/512.19 c 913 1244 1171.82 214.60 5.46 1000000 0 514.56/514.70 c 875 1060 1180.33 160.02 7.38 1000000 0 517.05/517.23 c 837 1266 1188.11 208.55 5.70 1000000 0 519.55/519.77 c 929 1146 1198.64 197.22 6.08 1000000 0 522.05/522.28 c 896 1150 1177.76 185.26 6.36 1000000 0 524.65/524.80 c 939 1135 1181.70 165.47 7.14 1000000 0 527.15/527.32 c 939 1080 1181.77 173.31 6.82 1000000 0 529.65/529.84 c 882 1032 1172.90 162.49 7.22 1000000 0 532.16/532.35 c 885 1172 1155.24 180.66 6.39 1000000 0 534.65/534.87 c 921 1037 1172.80 146.95 7.98 1000000 0 537.25/537.40 c 887 1280 1190.90 200.97 5.93 1000000 0 539.75/539.93 c 889 1202 1185.54 178.63 6.64 1000000 0 542.25/542.44 c 944 1174 1185.88 160.55 7.39 1000000 0 544.75/544.98 c 905 1178 1199.30 212.27 5.65 1000000 0 547.25/547.48 c 880 1075 1150.24 155.08 7.42 1000000 0 549.85/550.01 c 914 1139 1200.64 200.27 6.00 1000000 0 552.35/552.52 c 947 1193 1166.95 146.53 7.96 1000000 0 554.84/555.04 c 916 1111 1175.97 160.07 7.35 1000000 0 557.34/557.56 c 891 1235 1190.92 213.06 5.59 1000000 0 559.84/560.09 c 877 1064 1191.98 204.27 5.84 1000000 0 562.44/562.61 c 857 1043 1177.65 172.50 6.83 1000000 0 564.94/565.13 c 951 1313 1198.33 198.28 6.04 1000000 0 567.45/567.67 c 897 1251 1200.62 186.90 6.42 1000000 0 569.94/570.17 c 884 1223 1160.89 167.89 6.91 1000000 0 572.44/572.69 c 947 1062 1186.98 158.99 7.47 1000000 0 575.05/575.21 c 931 1132 1189.75 178.74 6.66 1000000 0 577.54/577.73 c 893 1110 1170.53 167.33 7.00 1000000 0 580.04/580.26 c 877 988 1185.29 171.35 6.92 1000000 0 582.54/582.78 c 915 1101 1189.71 153.98 7.73 1000000 0 585.04/585.28 c 913 1068 1158.81 147.61 7.85 1000000 0 587.64/587.80 c 909 1156 1197.93 235.11 5.10 1000000 0 590.14/590.32 c 890 1145 1177.39 179.80 6.55 1000000 0 592.64/592.84 c 935 1122 1186.36 179.21 6.62 1000000 0 595.13/595.35 c 883 1100 1167.15 166.85 7.00 1000000 0 597.63/597.86 c 921 1199 1184.95 183.70 6.45 1000000 0 600.13/600.39 c 934 1089 1187.89 177.46 6.69 1000000 0 602.64/602.89 c 885 1057 1153.19 168.05 6.86 1000000 0 605.23/605.40 c 868 1226 1162.05 167.61 6.93 1000000 0 607.73/607.91 c 901 1115 1160.28 161.32 7.19 1000000 0 610.24/610.42 c 905 1111 1160.81 191.35 6.07 1000000 0 612.73/612.95 c 941 1057 1181.63 157.65 7.50 1000000 0 615.23/615.47 c 905 1165 1187.29 189.72 6.26 1000000 0 617.73/617.99 c 948 1100 1181.06 181.80 6.50 1000000 0 620.33/620.53 c 946 999 1185.97 188.44 6.29 1000000 0 622.83/623.06 c 949 1270 1196.03 175.55 6.81 1000000 0 625.33/625.59 c 905 1141 1200.01 219.01 5.48 1000000 0 627.83/628.09 c 889 1092 1157.25 161.63 7.16 1000000 0 630.43/630.61 c 876 1080 1169.67 179.49 6.52 1000000 0 632.92/633.14 c 937 1147 1197.48 184.17 6.50 1000000 0 635.42/635.65 c 908 1175 1176.67 206.09 5.71 1000000 0 637.92/638.15 c 929 1050 1151.76 127.01 9.07 1000000 0 640.42/640.67 c 907 1091 1187.23 183.76 6.46 1000000 0 643.02/643.21 c 954 1132 1209.93 184.45 6.56 1000000 0 645.53/645.74 c 934 1203 1186.19 158.39 7.49 1000000 0 648.02/648.26 c 920 1121 1172.31 153.94 7.62 1000000 0 650.62/650.80 c 938 1091 1207.46 213.21 5.66 1000000 0 653.13/653.32 c 854 1192 1175.81 195.04 6.03 1000000 0 655.62/655.84 c 860 1073 1177.57 201.33 5.85 1000000 0 658.12/658.35 c 920 1198 1168.42 178.64 6.54 1000000 0 660.72/660.90 c 876 1188 1206.14 181.54 6.64 1000000 0 663.22/663.42 c 925 1277 1191.40 195.00 6.11 1000000 0 665.72/665.95 c 882 1195 1178.87 175.36 6.72 1000000 0 668.21/668.47 c 913 1074 1183.92 189.64 6.24 1000000 0 670.72/670.99 c 861 1175 1162.48 142.45 8.16 1000000 0 673.31/673.51 c 940 1149 1172.94 159.62 7.35 1000000 0 675.81/676.01 c 888 1091 1156.15 142.23 8.13 1000000 0 678.31/678.53 c 926 1169 1178.34 188.98 6.24 1000000 0 680.81/681.06 c 888 1197 1190.16 186.93 6.37 1000000 0 683.31/683.58 c 902 1109 1172.48 182.20 6.44 1000000 0 685.91/686.12 c 888 1116 1205.55 196.43 6.14 1000000 0 688.41/688.65 c 879 1093 1201.09 195.94 6.13 1000000 0 690.91/691.19 c 930 1165 1207.69 167.83 7.20 1000000 0 693.51/693.71 c 912 1087 1161.62 161.73 7.18 1000000 0 696.01/696.24 c 907 1116 1193.62 229.64 5.20 1000000 0 698.50/698.75 c 916 1221 1165.54 157.12 7.42 1000000 0 701.00/701.26 c 932 1211 1163.04 154.50 7.53 1000000 0 703.50/703.78 c 948 1283 1185.04 181.98 6.51 1000000 0 706.10/706.32 c 961 1069 1199.15 175.54 6.83 1000000 0 708.60/708.85 c 917 1052 1200.70 213.53 5.62 1000000 0 711.10/711.35 c 833 1050 1165.73 183.51 6.35 1000000 0 713.61/713.89 c 926 1097 1207.18 166.51 7.25 1000000 0 716.20/716.40 c 846 1145 1172.22 174.41 6.72 1000000 0 718.70/718.93 c 900 1151 1190.64 197.11 6.04 1000000 0 721.20/721.45 c 892 1087 1181.46 164.06 7.20 1000000 0 723.70/723.95 c 912 1174 1154.87 141.67 8.15 1000000 0 726.20/726.48 c 928 1209 1183.97 143.90 8.23 1000000 0 728.80/729.00 c 882 1153 1182.04 196.77 6.01 1000000 0 731.30/731.53 c 920 958 1168.21 178.42 6.55 1000000 0 733.80/734.05 c 901 1101 1187.75 201.24 5.90 1000000 0 736.29/736.56 c 916 1241 1164.52 163.20 7.14 1000000 0 738.79/739.08 c 868 1178 1172.51 173.75 6.75 1000000 0 741.29/741.58 c 925 1260 1151.67 166.32 6.92 1000000 0 743.89/744.11 c 925 1025 1184.26 179.26 6.61 1000000 0 746.39/746.63 c 940 1172 1182.59 172.33 6.86 1000000 0 748.90/749.15 c 927 1109 1168.60 180.59 6.47 1000000 0 751.39/751.67 c 839 1098 1196.94 170.91 7.00 1000000 0 753.89/754.19 c 864 1210 1156.76 165.37 6.99 1000000 0 756.39/756.69 c 917 1293 1165.32 166.94 6.98 1000000 0 758.99/759.21 c 930 1105 1181.87 148.86 7.94 1000000 0 761.49/761.74 c 963 1130 1210.93 198.54 6.10 1000000 0 763.99/764.27 c 880 1124 1190.88 161.08 7.39 1000000 0 766.59/766.80 c 917 1052 1193.92 169.85 7.03 1000000 0 769.09/769.32 c 906 1116 1170.19 162.11 7.22 1000000 0 771.58/771.85 c 929 1106 1185.59 160.11 7.40 1000000 0 774.09/774.35 c 870 1186 1152.87 142.94 8.07 1000000 0 776.58/776.87 c 891 1275 1168.72 177.85 6.57 1000000 0 779.18/779.40 c 896 1176 1182.50 216.36 5.47 1000000 0 781.68/781.92 c 840 1069 1170.83 153.12 7.65 1000000 0 784.18/784.44 c 857 1294 1172.05 155.99 7.51 1000000 0 786.68/786.95 c 913 1088 1170.15 185.77 6.30 1000000 0 789.18/789.47 c 932 1184 1177.70 172.78 6.82 1000000 0 791.69/791.98 c 904 1265 1172.58 189.32 6.19 1000000 0 794.28/794.50 c 905 1080 1167.20 164.14 7.11 1000000 0 796.78/797.01 c 916 1103 1167.50 204.91 5.70 1000000 0 799.28/799.52 c 881 1254 1168.76 192.40 6.07 1000000 0 801.78/802.03 c 980 1202 1175.95 144.21 8.15 1000000 0 804.28/804.58 c 909 1119 1207.81 198.02 6.10 1000000 0 806.88/807.10 c 944 1150 1187.42 185.80 6.39 1000000 0 809.38/809.61 c 909 1237 1172.47 202.24 5.80 1000000 0 811.87/812.13 c 882 1034 1181.68 168.95 6.99 1000000 0 814.38/814.64 c 923 1082 1179.14 142.40 8.28 1000000 0 816.88/817.18 c 923 950 1201.72 220.91 5.44 1000000 0 819.38/819.69 c 854 1046 1183.73 189.51 6.25 1000000 0 821.88/822.19 c 902 1164 1150.61 173.68 6.62 1000000 0 824.48/824.70 c 870 1074 1182.95 202.10 5.85 1000000 0 826.99/827.22 c 928 1118 1188.11 188.93 6.29 1000000 0 829.48/829.74 c 905 997 1172.78 171.18 6.85 1000000 0 831.98/832.27 c 868 1205 1185.69 171.05 6.93 1000000 0 834.59/834.80 c 912 1123 1181.01 205.16 5.76 1000000 0 837.08/837.32 c 848 1217 1173.34 212.65 5.52 1000000 0 839.58/839.84 c 890 1242 1170.82 171.94 6.81 1000000 0 842.08/842.36 c 863 1131 1173.90 184.16 6.37 1000000 0 844.58/844.89 c 925 1198 1196.21 202.42 5.91 1000000 0 847.17/847.41 c 954 1152 1197.80 176.59 6.78 1000000 0 849.67/849.92 c 903 1192 1169.11 173.30 6.75 1000000 0 852.18/852.42 c 855 1269 1143.99 154.05 7.43 1000000 0 854.67/854.95 c 954 1086 1186.03 162.42 7.30 1000000 0 857.17/857.47 c 929 1113 1188.77 161.43 7.36 1000000 0 859.67/860.00 c 841 1118 1173.57 198.39 5.92 1000000 0 862.27/862.52 c 942 1011 1172.91 151.82 7.73 1000000 0 864.77/865.04 c 880 1188 1191.70 217.72 5.47 1000000 0 867.27/867.55 c 925 1159 1177.78 187.31 6.29 1000000 0 869.78/870.09 c 935 1145 1183.74 201.83 5.87 1000000 0 872.37/872.61 c 934 1129 1190.85 185.40 6.42 1000000 0 874.87/875.12 c 909 1113 1166.76 149.48 7.81 1000000 0 877.37/877.65 c 900 1086 1185.88 214.78 5.52 1000000 0 879.87/880.15 c 891 987 1163.58 150.13 7.75 1000000 0 882.36/882.67 c 904 1120 1176.04 196.59 5.98 1000000 0 884.86/885.19 c 927 1106 1177.06 166.51 7.07 1000000 0 887.47/887.71 c 873 1037 1171.59 195.06 6.01 1000000 0 889.96/890.23 c 845 1120 1179.95 198.43 5.95 1000000 0 892.46/892.74 c 901 1186 1179.02 151.50 7.78 1000000 0 894.96/895.26 c 926 1105 1187.58 171.30 6.93 1000000 0 897.46/897.79 c 957 1078 1200.64 176.83 6.79 1000000 0 899.96/900.30 c 929 1133 1167.77 186.90 6.25 1000000 0 902.56/902.81 c 902 1121 1162.85 152.71 7.61 1000000 0 905.07/905.32 c 886 1190 1166.26 166.38 7.01 1000000 0 907.56/907.84 c 912 1130 1176.60 206.68 5.69 1000000 0 910.06/910.35 c 918 1055 1161.80 153.05 7.59 1000000 0 912.56/912.86 c 897 1089 1179.86 187.15 6.30 1000000 0 915.06/915.38 c 876 1118 1167.18 185.70 6.29 1000000 0 917.56/917.89 c 899 1139 1159.59 165.16 7.02 1000000 0 920.16/920.40 c 900 1075 1173.40 151.24 7.76 1000000 0 922.66/922.90 c 929 1146 1158.90 151.94 7.63 1000000 0 925.15/925.42 c 922 1108 1174.08 177.72 6.61 1000000 0 927.65/927.94 c 879 1115 1170.18 150.38 7.78 1000000 0 930.15/930.48 c 951 1160 1219.52 196.37 6.21 1000000 0 932.65/932.99 c 931 1169 1169.92 153.66 7.61 1000000 0 935.25/935.50 c 850 1119 1163.66 195.49 5.95 1000000 0 937.75/938.01 c 936 1111 1160.01 156.76 7.40 1000000 0 940.26/940.52 c 913 1082 1161.30 155.02 7.49 1000000 0 942.75/943.03 c 944 1077 1176.44 166.00 7.09 1000000 0 945.25/945.54 c 901 1093 1157.74 143.31 8.08 1000000 0 947.75/948.06 c 938 1121 1181.10 184.18 6.41 1000000 0 950.25/950.59 c 891 1138 1187.32 174.51 6.80 1000000 0 952.85/953.12 c 917 1029 1190.63 216.72 5.49 1000000 0 955.35/955.64 c 941 1057 1186.06 221.89 5.35 1000000 0 957.85/958.15 c 900 974 1162.31 166.72 6.97 1000000 0 960.34/960.67 c 903 1154 1182.87 193.13 6.12 1000000 0 962.94/963.21 c 910 1033 1193.57 178.61 6.68 1000000 0 965.45/965.74 c 887 1169 1170.56 154.84 7.56 1000000 0 967.94/968.25 c 818 1153 1174.02 155.44 7.55 1000000 0 970.44/970.78 c 920 1102 1196.55 235.04 5.09 1000000 0 973.04/973.32 c 897 1223 1210.66 197.96 6.12 1000000 0 975.54/975.83 c 971 1045 1178.10 149.77 7.87 1000000 0 978.04/978.35 c 885 1058 1161.05 189.56 6.13 1000000 0 980.54/980.86 c 815 1226 1163.63 208.85 5.57 1000000 0 983.05/983.38 c 862 1172 1174.85 191.63 6.13 1000000 0 985.64/985.90 c 912 1116 1186.06 182.85 6.49 1000000 0 988.14/988.44 c 888 1016 1207.28 190.47 6.34 1000000 0 990.64/990.96 c 856 1167 1178.78 173.59 6.79 1000000 0 993.14/993.49 c 896 1185 1205.88 214.75 5.62 1000000 0 995.74/996.00 c 940 1043 1170.68 153.84 7.61 1000000 0 998.24/998.54 c 958 1232 1198.61 202.20 5.93 1000000 0 1000.74/1001.05 c 916 1205 1179.27 151.63 7.78 1000000 0 1003.23/1003.56 c 898 1018 1160.00 163.26 7.11 1000000 0 1005.73/1006.07 c 893 1076 1172.84 163.33 7.18 1000000 0 1008.34/1008.60 c 915 1129 1198.87 209.74 5.72 1000000 0 1010.83/1011.13 c 926 1154 1190.92 188.72 6.31 1000000 0 1013.33/1013.66 c 895 1101 1187.48 210.24 5.65 1000000 0 1015.83/1016.17 c 916 1196 1160.15 156.21 7.43 1000000 0 1018.34/1018.69 c 923 1147 1181.92 197.55 5.98 1000000 0 1020.93/1021.21 c 896 961 1168.82 164.58 7.10 1000000 0 1023.43/1023.74 c 909 1018 1197.51 197.88 6.05 1000000 0 1025.93/1026.26 c 912 1196 1185.57 166.12 7.14 1000000 0 1028.53/1028.80 c 892 1152 1188.21 187.50 6.34 1000000 0 1031.03/1031.31 c 933 1083 1173.15 156.67 7.49 1000000 0 1033.52/1033.82 c 903 1126 1174.35 171.05 6.87 1000000 0 1036.02/1036.34 c 935 1126 1171.36 161.72 7.24 1000000 0 1038.52/1038.87 c 910 1259 1195.00 219.76 5.44 1000000 0 1041.12/1041.40 c 872 1232 1193.02 178.48 6.68 1000000 0 1043.63/1043.92 c 924 1247 1192.51 198.67 6.00 1000000 0 1046.12/1046.47 c 932 1165 1211.01 181.54 6.67 1000000 0 1048.62/1048.98 c 853 1314 1177.49 167.87 7.01 1000000 0 1051.23/1051.51 c 927 995 1197.84 164.12 7.30 1000000 0 1053.72/1054.02 c 944 1256 1167.30 139.60 8.36 1000000 0 1056.22/1056.54 c 874 1204 1188.50 148.83 7.99 1000000 0 1058.72/1059.06 c 946 1208 1170.35 194.03 6.03 1000000 0 1061.22/1061.58 c 910 1144 1196.68 209.07 5.72 1000000 0 1063.72/1064.09 c 917 1065 1149.32 179.18 6.41 1000000 0 1066.32/1066.61 c 948 1119 1174.19 192.68 6.09 1000000 0 1068.82/1069.14 c 921 1179 1197.98 164.74 7.27 1000000 0 1071.31/1071.64 c 875 1142 1161.90 183.08 6.35 1000000 0 1073.81/1074.15 c 913 1137 1184.82 183.12 6.47 1000000 0 1076.31/1076.67 c 904 1242 1170.72 158.25 7.40 1000000 0 1078.82/1079.19 c 853 1117 1191.70 141.28 8.44 1000000 0 1081.41/1081.71 c 882 1058 1169.09 178.07 6.57 1000000 0 1083.91/1084.24 c 837 1111 1185.62 187.79 6.31 1000000 0 1086.42/1086.74 c 872 1144 1165.81 154.87 7.53 1000000 0 1088.91/1089.25 c 923 1144 1175.07 153.40 7.66 1000000 0 1091.41/1091.77 c 915 1223 1196.72 164.45 7.28 1000000 0 1094.01/1094.30 c 893 1171 1188.40 184.39 6.44 1000000 0 1096.51/1096.83 c 924 1079 1187.35 185.87 6.39 1000000 0 1099.01/1099.36 c 874 1137 1189.41 188.81 6.30 1000000 0 1101.51/1101.87 c 904 1208 1163.52 190.90 6.10 1000000 0 1104.11/1104.41 c 966 1170 1201.31 178.43 6.73 1000000 0 1106.60/1106.93 c 828 1162 1175.70 175.81 6.69 1000000 0 1109.11/1109.46 c 949 1127 1182.23 155.52 7.60 1000000 0 1111.61/1111.98 c 934 1235 1177.48 192.15 6.13 1000000 0 1114.20/1114.50 c 906 1096 1192.46 183.13 6.51 1000000 0 1116.70/1117.03 c 944 1210 1200.08 166.87 7.19 1000000 0 1119.20/1119.56 c 942 1136 1208.31 172.64 7.00 1000000 0 1121.71/1122.07 c 921 1179 1169.20 172.49 6.78 1000000 0 1124.20/1124.59 c 954 1126 1167.52 129.61 9.01 1000000 0 1126.80/1127.10 c 862 1168 1163.56 175.75 6.62 1000000 0 1129.31/1129.62 c 902 1158 1178.62 173.60 6.79 1000000 0 1131.80/1132.16 c 933 1172 1202.20 187.87 6.40 1000000 0 1134.30/1134.67 c 888 1044 1177.04 178.25 6.60 1000000 0 1136.80/1137.19 c 896 1154 1194.48 165.52 7.22 1000000 0 1139.40/1139.72 c 955 1058 1186.41 189.96 6.25 1000000 0 1141.90/1142.23 c 931 1113 1179.75 184.49 6.39 1000000 0 1144.40/1144.75 c 943 1210 1183.43 157.45 7.52 1000000 0 1146.90/1147.28 c 921 1196 1181.37 182.89 6.46 1000000 0 1149.49/1149.80 c 924 1029 1187.23 195.63 6.07 1000000 0 1151.99/1152.31 c 906 1263 1163.33 156.53 7.43 1000000 0 1154.49/1154.83 c 892 1078 1168.76 173.26 6.75 1000000 0 1156.99/1157.34 c 914 1165 1164.83 159.49 7.30 1000000 0 1159.49/1159.86 c 910 1105 1163.20 162.14 7.17 1000000 0 1161.99/1162.38 c 922 1272 1200.59 177.93 6.75 1000000 0 1164.50/1164.90 c 875 1156 1149.02 178.01 6.45 1000000 0 1167.09/1167.41 c 872 1070 1167.90 157.36 7.42 1000000 0 1169.59/1169.93 c 901 1146 1189.89 193.38 6.15 1000000 0 1172.09/1172.46 c 904 1221 1191.66 155.30 7.67 1000000 0 1174.59/1174.97 c 887 1139 1177.34 180.81 6.51 1000000 0 1177.09/1177.50 c 873 1247 1175.17 203.44 5.78 1000000 0 1179.69/1180.02 c 943 1165 1189.06 163.79 7.26 1000000 0 1182.19/1182.54 c 930 1088 1191.50 204.12 5.84 1000000 0 1184.69/1185.05 c 948 1088 1160.60 166.04 6.99 1000000 0 1187.19/1187.57 c 880 1018 1179.81 159.79 7.38 1000000 0 1189.68/1190.07 c 856 1133 1157.45 184.97 6.26 1000000 0 1192.18/1192.59 c 923 1357 1179.85 169.16 6.97 1000000 0 1194.78/1195.10 c 901 1108 1184.54 186.23 6.36 1000000 0 1197.28/1197.61 c 876 1143 1155.00 157.75 7.32 1000000 0 1199.79/1200.13 c 955 1242 1188.52 200.43 5.93 1000000 0 1202.28/1202.66 c 904 1115 1199.78 166.29 7.22 1000000 0 1204.78/1205.18 c 933 1176 1189.24 167.68 7.09 1000000 0 1207.28/1207.69 c 933 1063 1171.26 163.35 7.17 1000000 0 1209.78/1210.19 c 892 1263 1163.16 172.42 6.75 1000000 0 1212.38/1212.71 c 864 1073 1167.10 168.55 6.92 1000000 0 1214.88/1215.22 c 915 1000 1162.59 161.89 7.18 1000000 0 1217.38/1217.74 c 867 1089 1175.16 159.97 7.35 1000000 0 1219.88/1220.27 c 910 1184 1183.16 190.56 6.21 1000000 0 1222.38/1222.79 c 894 1080 1191.15 157.13 7.58 1000000 0 1224.98/1225.31 c 913 1052 1175.41 174.88 6.72 1000000 0 1227.47/1227.81 c 915 1034 1147.15 148.56 7.72 1000000 0 1229.97/1230.35 c 924 1273 1198.29 199.97 5.99 1000000 0 1232.47/1232.89 c 924 1212 1211.62 184.06 6.58 1000000 0 1235.07/1235.41 c 925 1043 1183.17 158.44 7.47 1000000 0 1237.57/1237.93 c 919 1205 1157.49 176.60 6.55 1000000 0 1240.07/1240.44 c 946 1288 1185.16 146.31 8.10 1000000 0 1242.58/1242.95 c 897 1086 1169.03 165.08 7.08 1000000 0 1245.07/1245.47 c 915 1192 1178.97 195.34 6.04 1000000 0 1247.67/1248.00 c 836 1313 1196.18 175.33 6.82 1000000 0 1250.17/1250.52 c 889 1069 1191.12 169.79 7.02 1000000 0 1252.67/1253.04 c 914 1104 1184.91 176.58 6.71 1000000 0 1255.17/1255.56 c 948 1182 1187.75 167.41 7.09 1000000 0 1257.67/1258.08 c 893 1215 1173.07 173.89 6.75 1000000 0 1260.17/1260.59 c 936 1049 1163.50 180.38 6.45 1000000 0 1262.77/1263.11 c 826 1086 1167.61 183.79 6.35 1000000 0 1265.26/1265.63 c 944 1091 1188.24 194.18 6.12 1000000 0 1267.76/1268.15 c 951 1146 1173.10 149.20 7.86 1000000 0 1270.26/1270.67 c 909 1300 1182.29 180.80 6.54 1000000 0 1272.86/1273.21 c 958 1200 1218.82 207.56 5.87 1000000 0 1275.36/1275.74 c 942 1122 1199.73 187.92 6.38 1000000 0 1277.87/1278.26 c 963 1223 1188.77 175.94 6.76 1000000 0 1280.36/1280.77 c 858 1002 1166.22 169.68 6.87 1000000 0 1282.86/1283.29 c 959 1169 1183.72 151.56 7.81 1000000 0 1285.36/1285.79 c 883 941 1160.51 172.97 6.71 1000000 0 1287.96/1288.32 c 903 1184 1185.34 200.35 5.92 1000000 0 1290.46/1290.83 c 935 1105 1159.57 157.32 7.37 1000000 0 1292.96/1293.35 c 927 1180 1179.02 165.95 7.10 1000000 0 1295.46/1295.85 c 870 1177 1139.55 156.60 7.28 1000000 0 1297.95/1298.37 c 929 1209 1194.17 185.89 6.42 1000000 0 1300.55/1300.90 c 920 1000 1187.91 177.66 6.69 1000000 0 1303.06/1303.41 c 913 1074 1173.96 163.67 7.17 1000000 0 1305.55/1305.93 c 899 1142 1174.49 175.63 6.69 1000000 0 1308.05/1308.44 c 860 1005 1176.93 181.21 6.49 1000000 0 1310.55/1310.95 c 938 1176 1166.72 189.38 6.16 1000000 0 1313.06/1313.47 c 909 1203 1184.74 174.57 6.79 1000000 0 1315.55/1315.99 c 867 1074 1183.17 184.52 6.41 1000000 0 1318.15/1318.51 c 917 1080 1174.98 176.26 6.67 1000000 0 1320.66/1321.03 c 917 1141 1181.22 180.65 6.54 1000000 0 1323.15/1323.55 c 908 1194 1173.71 175.23 6.70 1000000 0 1325.65/1326.07 c 959 1144 1184.35 171.69 6.90 1000000 0 1328.25/1328.60 c 917 1075 1204.54 173.72 6.93 1000000 0 1330.75/1331.12 c 895 1250 1190.33 190.15 6.26 1000000 0 1333.25/1333.63 c 843 1204 1157.07 166.30 6.96 1000000 0 1335.74/1336.16 c 951 1204 1211.30 186.38 6.50 1000000 0 1338.25/1338.68 c 956 1200 1196.18 173.33 6.90 1000000 0 1340.74/1341.19 c 887 1133 1180.91 167.94 7.03 1000000 0 1343.34/1343.71 c 910 1165 1165.37 202.63 5.75 1000000 0 1345.84/1346.24 c 918 1145 1189.64 130.53 9.11 1000000 0 1348.34/1348.75 c 924 1124 1171.40 174.74 6.70 1000000 0 1350.84/1351.25 c 870 1127 1153.07 162.84 7.08 1000000 0 1353.34/1353.78 c 918 1153 1195.56 205.47 5.82 1000000 0 1355.84/1356.30 c 942 1103 1165.63 191.20 6.10 1000000 0 1358.44/1358.81 c 916 1171 1165.72 191.40 6.09 1000000 0 1360.94/1361.32 c 914 1057 1144.91 159.25 7.19 1000000 0 1363.44/1363.83 c 930 1205 1167.92 181.42 6.44 1000000 0 1365.94/1366.35 c 933 1125 1179.84 182.46 6.47 1000000 0 1368.43/1368.88 c 905 1171 1196.29 199.18 6.01 1000000 0 1370.93/1371.39 c 920 1158 1180.22 170.68 6.91 1000000 0 1373.44/1373.90 c 880 1117 1171.97 173.46 6.76 1000000 0 1376.03/1376.42 c 929 1058 1182.11 160.27 7.38 1000000 0 1378.53/1378.94 c 925 1201 1174.59 162.20 7.24 1000000 0 1381.03/1381.45 c 948 1065 1177.87 162.80 7.24 1000000 0 1383.53/1383.98 c 956 1153 1178.52 152.16 7.75 1000000 0 1386.03/1386.49 c 880 1155 1177.46 183.43 6.42 1000000 0 1388.63/1389.02 c 898 1174 1187.10 190.61 6.23 1000000 0 1391.14/1391.54 c 913 1148 1172.14 156.01 7.51 1000000 0 1393.63/1394.06 c 931 1195 1174.91 181.18 6.48 1000000 0 1396.13/1396.58 c 912 1076 1178.25 164.53 7.16 1000000 0 1398.63/1399.09 c 862 1238 1189.90 199.21 5.97 1000000 0 1401.23/1401.60 c 858 1141 1167.88 154.08 7.58 1000000 0 1403.73/1404.13 c 933 1125 1181.83 174.74 6.76 1000000 0 1406.23/1406.66 c 881 1072 1201.68 151.56 7.93 1000000 0 1408.73/1409.17 c 905 1070 1160.75 159.51 7.28 1000000 0 1411.22/1411.68 c 870 1178 1162.16 176.92 6.57 1000000 0 1413.82/1414.20 c 893 1221 1183.19 174.93 6.76 1000000 0 1416.33/1416.72 c 846 957 1158.62 207.23 5.59 1000000 0 1418.82/1419.25 c 920 1154 1207.96 165.35 7.31 1000000 0 1421.32/1421.77 c 932 1224 1186.99 197.98 6.00 1000000 0 1423.82/1424.29 c 980 1315 1191.82 167.56 7.11 1000000 0 1426.42/1426.80 c 861 959 1176.04 122.01 9.64 1000000 0 1428.92/1429.32 c 942 1099 1178.27 170.80 6.90 1000000 0 1431.42/1431.84 c 935 1032 1167.29 146.55 7.96 1000000 0 1433.93/1434.38 c 937 1073 1197.46 192.01 6.24 1000000 0 1436.42/1436.89 c 912 1132 1164.39 172.54 6.75 1000000 0 1439.02/1439.41 c 890 1053 1161.57 200.11 5.80 1000000 0 1441.52/1441.93 c 886 1250 1191.81 187.32 6.36 1000000 0 1444.02/1444.45 c 943 1171 1180.00 189.83 6.22 1000000 0 1446.51/1446.98 c 913 1079 1189.42 197.39 6.03 1000000 0 1449.01/1449.49 c 921 1111 1164.01 144.83 8.04 1000000 0 1451.62/1452.01 c 914 1177 1166.46 196.89 5.92 1000000 0 1454.11/1454.51 c 909 1089 1158.34 166.31 6.96 1000000 0 1456.61/1457.03 c 948 1297 1194.70 170.70 7.00 1000000 0 1459.11/1459.55 c 875 1265 1188.16 205.29 5.79 1000000 0 1461.61/1462.08 c 904 1143 1183.34 165.92 7.13 1000000 0 1464.11/1464.60 c 930 1034 1187.08 191.75 6.19 1000000 0 1466.71/1467.11 c 939 1098 1174.11 130.04 9.03 1000000 0 1469.22/1469.63 c 873 1063 1178.41 198.69 5.93 1000000 0 1471.71/1472.16 c 909 1130 1180.89 173.79 6.79 1000000 0 1474.21/1474.68 c 906 1120 1203.29 178.46 6.74 1000000 0 1476.81/1477.21 c 910 1104 1190.22 200.84 5.93 1000000 0 1479.31/1479.73 c 929 1135 1181.50 165.57 7.14 1000000 0 1481.81/1482.25 c 886 1010 1185.42 192.55 6.16 1000000 0 1484.31/1484.75 c 902 1082 1136.32 193.29 5.88 1000000 0 1486.81/1487.26 c 958 1166 1179.86 177.90 6.63 1000000 0 1489.30/1489.78 c 880 1184 1179.99 175.46 6.73 1000000 0 1491.90/1492.30 c 954 1081 1188.75 169.67 7.01 1000000 0 1494.41/1494.81 c 922 1115 1157.72 143.00 8.10 1000000 0 1496.90/1497.33 c 935 1142 1171.45 172.81 6.78 1000000 0 1499.40/1499.83 c 906 1048 1163.26 187.10 6.22 1000000 0 1501.90/1502.34 c 919 1055 1152.47 139.15 8.28 1000000 0 1504.41/1504.86 c 909 1225 1183.42 183.08 6.46 1000000 0 1506.90/1507.38 c 939 1076 1173.30 191.32 6.13 1000000 0 1509.40/1509.89 c 914 1258 1178.77 163.13 7.23 1000000 0 1512.01/1512.42 c 915 1188 1190.54 199.92 5.95 1000000 0 1514.50/1514.93 c 916 1128 1168.71 162.12 7.21 1000000 0 1517.00/1517.46 c 851 1137 1185.59 168.67 7.03 1000000 0 1519.50/1519.97 c 926 1194 1166.39 169.03 6.90 1000000 0 1522.00/1522.49 c 914 1169 1173.31 175.01 6.70 1000000 0 1524.59/1525.00 c 911 1123 1175.58 149.49 7.86 1000000 0 1527.09/1527.52 c 912 1082 1173.97 191.97 6.12 1000000 0 1529.60/1530.04 c 881 1072 1181.33 200.74 5.89 1000000 0 1532.09/1532.55 c 914 1093 1181.98 185.91 6.36 1000000 0 1534.59/1535.06 c 908 1186 1176.42 201.76 5.83 1000000 0 1537.09/1537.60 c 838 1084 1183.58 194.72 6.08 1000000 0 1539.69/1540.11 c 920 1215 1181.26 189.03 6.25 1000000 0 1542.19/1542.63 c 893 1072 1165.07 211.27 5.51 1000000 0 1544.69/1545.14 c 904 1067 1164.08 164.42 7.08 1000000 0 1547.20/1547.65 c 907 1162 1148.51 159.66 7.19 1000000 0 1549.69/1550.18 c 901 1198 1207.19 218.99 5.51 1000000 0 1552.29/1552.71 c 888 1131 1189.04 196.94 6.04 1000000 0 1554.79/1555.23 c 916 1081 1186.36 172.34 6.88 1000000 0 1557.29/1557.74 c 871 1045 1168.66 168.56 6.93 1000000 0 1559.79/1560.25 c 900 1066 1160.46 149.88 7.74 1000000 0 1562.29/1562.78 c 935 1116 1208.20 188.36 6.41 1000000 0 1564.79/1565.30 c 927 1133 1167.99 171.20 6.82 1000000 0 1567.38/1567.82 c 933 1188 1184.22 159.83 7.41 1000000 0 1569.88/1570.33 c 894 1056 1165.46 152.85 7.62 1000000 0 1572.38/1572.84 c 815 1190 1174.32 194.10 6.05 1000000 0 1574.88/1575.35 c 880 1177 1159.85 160.15 7.24 1000000 0 1577.38/1577.84 c 908 1139 1140.85 155.44 7.34 1000000 0 1579.88/1580.38 c 860 1022 1189.05 178.70 6.65 1000000 0 1582.39/1582.89 c 940 1178 1185.48 171.37 6.92 1000000 0 1584.98/1585.43 c 874 1108 1194.10 198.75 6.01 1000000 0 1587.48/1587.96 c 926 1151 1206.21 179.19 6.73 1000000 0 1589.98/1590.48 c 899 1046 1178.84 187.68 6.28 1000000 0 1592.48/1592.99 c 931 996 1164.03 175.42 6.64 1000000 0 1594.98/1595.49 c 940 1208 1161.58 137.57 8.44 1000000 0 1597.48/1597.99 c 873 1183 1184.04 155.77 7.60 1000000 0 1600.08/1600.51 c 879 1149 1179.84 197.89 5.96 1000000 0 1602.57/1603.02 c 916 1160 1180.64 171.34 6.89 1000000 0 1605.07/1605.54 c 867 1175 1166.05 185.26 6.29 1000000 0 1607.57/1608.05 c 875 1138 1168.61 189.81 6.16 1000000 0 1610.07/1610.58 c 841 1055 1176.20 207.19 5.68 1000000 0 1612.67/1613.10 c 908 1097 1168.97 179.37 6.52 1000000 0 1615.17/1615.63 c 906 1241 1198.71 195.97 6.12 1000000 0 1617.68/1618.15 c 877 1160 1169.00 174.66 6.69 1000000 0 1620.17/1620.66 c 879 1136 1171.04 208.15 5.63 1000000 0 1622.67/1623.18 c 919 1151 1186.45 188.01 6.31 1000000 0 1625.28/1625.71 c 844 1206 1180.11 186.46 6.33 1000000 0 1627.77/1628.23 c 877 1252 1170.79 179.85 6.51 1000000 0 1630.27/1630.75 c 895 1066 1168.56 160.51 7.28 1000000 0 1632.77/1633.26 c 882 1231 1172.10 158.86 7.38 1000000 0 1635.27/1635.78 c 904 1179 1183.16 173.51 6.82 1000000 0 1637.87/1638.30 c 915 1176 1179.66 196.76 6.00 1000000 0 1640.36/1640.84 c 963 1137 1194.67 191.70 6.23 1000000 0 1642.87/1643.36 c 938 1131 1182.83 185.32 6.38 1000000 0 1645.36/1645.89 c 904 1185 1191.87 196.28 6.07 1000000 0 1647.96/1648.40 c 896 1156 1179.64 145.26 8.12 1000000 0 1650.46/1650.91 c 887 1068 1173.68 219.04 5.36 1000000 0 1652.96/1653.44 c 952 1127 1176.28 162.24 7.25 1000000 0 1655.46/1655.96 c 917 1246 1197.57 194.50 6.16 1000000 0 1658.06/1658.50 c 927 1220 1212.43 187.17 6.48 1000000 0 1660.57/1661.04 c 927 1101 1202.63 186.85 6.44 1000000 0 1663.06/1663.56 c 889 1221 1181.81 171.35 6.90 1000000 0 1665.56/1666.08 c 951 1215 1174.55 160.84 7.30 1000000 0 1668.16/1668.60 c 882 1031 1169.03 199.87 5.85 1000000 0 1670.66/1671.13 c 961 1094 1204.18 194.46 6.19 1000000 0 1673.15/1673.65 c 951 1177 1187.51 155.16 7.65 1000000 0 1675.65/1676.17 c 902 1168 1170.72 160.93 7.27 1000000 0 1678.16/1678.68 c 876 1117 1160.37 196.88 5.89 1000000 0 1680.65/1681.19 c 912 1156 1176.02 203.70 5.77 1000000 0 1683.25/1683.71 c 921 1117 1188.51 175.65 6.77 1000000 0 1685.76/1686.24 c 902 1122 1184.12 164.28 7.21 1000000 0 1688.25/1688.76 c 875 1092 1155.76 205.58 5.62 1000000 0 1690.75/1691.26 c 870 1125 1164.80 180.51 6.45 1000000 0 1693.25/1693.77 c 902 1101 1165.88 168.99 6.90 1000000 0 1695.76/1696.29 c 900 1152 1167.60 179.33 6.51 1000000 0 1698.35/1698.81 c 833 1078 1175.85 213.86 5.50 1000000 0 1700.85/1701.34 c 913 1129 1191.15 184.55 6.45 1000000 0 1703.35/1703.86 c 888 1179 1180.35 179.22 6.59 1000000 0 1705.85/1706.39 c 951 1132 1217.98 174.16 6.99 1000000 0 1708.45/1708.92 c 884 1075 1180.84 166.49 7.09 1000000 0 1710.94/1711.44 c 878 1076 1167.85 205.39 5.69 1000000 0 1713.44/1713.96 c 900 1039 1177.90 207.63 5.67 1000000 0 1715.94/1716.49 c 930 1120 1193.57 161.76 7.38 1000000 0 1718.54/1719.00 c 873 1096 1175.36 166.85 7.04 1000000 0 1721.05/1721.51 c 898 1083 1163.66 169.07 6.88 1000000 0 1723.54/1724.03 c 839 1273 1171.31 193.95 6.04 1000000 0 1726.04/1726.56 c 947 1277 1205.75 197.98 6.09 1000000 0 1728.54/1729.08 c 918 967 1181.91 192.87 6.13 1000000 0 1731.14/1731.61 c 942 1134 1181.98 167.04 7.08 1000000 0 1733.64/1734.12 c 924 1364 1184.98 189.11 6.27 1000000 0 1736.14/1736.66 c 942 1151 1219.00 157.27 7.75 1000000 0 1738.64/1739.17 c 915 1194 1172.75 181.62 6.46 1000000 0 1741.14/1741.69 c 925 1143 1176.32 139.04 8.46 1000000 0 1743.64/1744.19 c 907 1087 1157.74 166.00 6.97 1000000 0 1746.24/1746.70 c 879 1151 1163.93 181.22 6.42 1000000 0 1748.74/1749.22 c 913 1083 1183.99 208.09 5.69 1000000 0 1751.23/1751.75 c 894 1057 1199.88 194.42 6.17 1000000 0 1753.73/1754.27 c 852 1211 1177.66 204.13 5.77 1000000 0 1756.24/1756.78 c 913 1125 1178.27 173.85 6.78 1000000 0 1758.83/1759.31 c 909 1136 1181.40 195.15 6.05 1000000 0 1761.33/1761.83 c 886 1134 1166.99 192.45 6.06 1000000 0 1763.84/1764.35 c 890 1085 1178.07 220.98 5.33 1000000 0 1766.33/1766.88 c 888 1247 1200.43 178.10 6.74 1000000 0 1768.83/1769.39 c 918 1035 1163.44 158.76 7.33 1000000 0 1771.43/1771.90 c 864 1338 1175.16 192.54 6.10 1000000 0 1773.93/1774.43 c 952 1161 1199.17 222.01 5.40 1000000 0 1776.43/1776.95 c 932 1227 1197.02 179.44 6.67 1000000 0 1778.93/1779.45 c 896 1077 1163.67 180.03 6.46 1000000 0 1781.43/1781.97 c 900 1139 1176.17 133.08 8.84 1000000 0 1783.93/1784.48 c 871 1147 1178.09 183.06 6.44 1000000 0 1786.43/1787.00 c 906 1105 1166.84 166.06 7.03 1000000 0 1789.02/1789.51 c 872 1127 1170.36 150.44 7.78 1000000 0 1791.52/1792.03 c 917 1198 1170.41 174.27 6.72 1000000 0 1794.02/1794.55 c 888 1168 1194.42 194.17 6.15 1000000 0 1796.52/1797.06 c 909 1075 1167.96 147.55 7.92 1000000 0 1799.03/1799.58 c 942 1130 1164.87 190.82 6.10 1000000 0 1800.03/1800.51 HOME/run: line 2: 23737 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-2685014-1278438032/watcher-2685014-1278438032 -o /tmp/evaluation-result-2685014-1278438032/solver-2685014-1278438032 -C 1800 -W 2000 -M 1800 run HOME/instance-2685014-1278438032.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 23736 /proc/meminfo: memFree=1793764/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) R 23734 23736 23061 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120533397 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [startup+0.0870709 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23736 /proc/meminfo: memFree=1793764/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.102075 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23736 /proc/meminfo: memFree=1793764/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301093 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23736 /proc/meminfo: memFree=1793764/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701134 s] /proc/loadavg: 1.00 1.00 1.00 3/106 23736 /proc/meminfo: memFree=1793764/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23738 /proc/meminfo: memFree=1784076/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1.49 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2427 0 0 0 149 0 0 0 25 0 1 0 12016925 41422848 2356 1992294400 134512640 135071400 4289802976 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2356 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23738 /proc/meminfo: memFree=1783952/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=3.09 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 309 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30171 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23738 /proc/meminfo: memFree=1783704/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=6.29 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 629 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23738 /proc/meminfo: memFree=1783580/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=12.69 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 1269 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23738 /proc/meminfo: memFree=1783580/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=25.48 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 2548 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23739 /proc/meminfo: memFree=1783456/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=51.08 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 5108 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23740 /proc/meminfo: memFree=1783208/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=102.27 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 10227 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23742 /proc/meminfo: memFree=1783084/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=162.25 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 16225 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23744 /proc/meminfo: memFree=1783084/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=222.23 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 22223 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23745 /proc/meminfo: memFree=1782960/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=282.22 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 28222 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.05 1.01 1.00 2/108 23747 /proc/meminfo: memFree=1782960/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=342.2 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 34220 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 23748 /proc/meminfo: memFree=1782836/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=402.18 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2436 0 0 0 40218 0 0 0 25 0 1 0 12016925 41422848 2365 1992294400 134512640 135071400 4289802976 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2365 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.3 s] ################ # More data... # ################ /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1122 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 112199 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23769 /proc/meminfo: memFree=1781100/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1181.99 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 118198 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 23780 /proc/meminfo: memFree=1779512/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1241.97 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 124196 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 23781 /proc/meminfo: memFree=1779512/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1301.96 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 130195 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 23783 /proc/meminfo: memFree=1779512/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1361.94 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 136193 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23785 /proc/meminfo: memFree=1779512/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1421.93 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 142192 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23786 /proc/meminfo: memFree=1779512/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1481.91 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 148190 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23788 /proc/meminfo: memFree=1779388/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1541.89 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 154188 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23789 /proc/meminfo: memFree=1779264/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1601.87 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 160186 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526372 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23791 /proc/meminfo: memFree=1779140/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1661.86 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 166185 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23793 /proc/meminfo: memFree=1779016/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1721.84 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 172183 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526903 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23794 /proc/meminfo: memFree=1778768/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1781.83 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 178182 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23795 /proc/meminfo: memFree=1778768/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1800.03 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 180002 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23795 /proc/meminfo: memFree=1778768/2059040 swapFree=4192956/4192956 [pid=23736] ppid=23734 vsize=8700 CPUtime=0 /proc/23736/stat : 23736 (run) S 23734 23736 23061 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12016925 8908800 244 1992294400 4194304 4922060 140735999002832 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23736/statm: 2175 244 204 178 0 68 0 [pid=23737] ppid=23736 vsize=40452 CPUtime=1800.03 /proc/23737/stat : 23737 (PB-wave) R 23736 23736 23061 0 -1 4202496 2437 0 0 0 180002 1 0 0 25 0 1 0 12016925 41422848 2366 1992294400 134512640 135071400 4289802976 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/23737/statm: 10113 2366 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1800.03 CPU system time (s): 0.018997 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.018997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2809 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= 7507 runsolver used 2.87456 second user time and 8.64968 second system time The end
Begin job on node002 at 2010-07-06 19:40:32 IDJOB=2685014 IDBENCH=74273 IDSOLVER=1171 FILE ID=node002/2685014-1278438032 PBS_JOBID= 11233468 Free space on /tmp= 62564 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12026_5-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685014-1278438032/watcher-2685014-1278438032 -o /tmp/evaluation-result-2685014-1278438032/solver-2685014-1278438032 -C 1800 -W 2000 -M 1800 run HOME/instance-2685014-1278438032.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= db859a15c3accfca5f41bc17f134e06b RANDOM SEED=1885202225 node002.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794160 kB Buffers: 20276 kB Cached: 101728 kB SwapCached: 0 kB Active: 66588 kB Inactive: 115640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3980 kB Writeback: 0 kB AnonPages: 60272 kB Mapped: 14464 kB Slab: 60752 kB PageTables: 4252 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 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= 62564 MiB End job on node002 at 2010-07-06 20:10:33