Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 303 | 1800.09 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 108 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb ...... 0.69/0.75 c done parsing opb. 0.69/0.75 o 6137 0.89/0.96 o 6136 1.09/1.17 o 6135 1.29/1.37 o 6134 1.49/1.58 o 6133 1.69/1.79 o 6132 1.89/1.99 o 6131 2.20/2.20 o 6130 2.39/2.41 o 6129 2.59/2.62 o 6128 2.79/2.82 o 6127 2.99/3.03 o 6126 3.19/3.24 o 6125 3.39/3.44 o 6124 3.59/3.65 o 6123 3.79/3.86 o 6122 3.99/4.07 o 6121 4.18/4.27 o 6120 4.39/4.48 o 6119 4.59/4.69 o 6118 4.78/4.89 o 6117 5.09/5.10 o 6116 5.29/5.31 o 6115 5.49/5.51 o 6114 5.69/5.72 o 6113 5.89/5.93 o 6112 6.09/6.13 o 6111 6.29/6.34 o 6110 6.50/6.55 o 6109 6.69/6.75 o 6108 6.89/6.96 o 6107 7.09/7.17 o 6106 7.28/7.37 o 6105 7.49/7.58 o 6104 7.69/7.79 o 6103 7.88/7.99 o 6102 8.19/8.20 o 6101 8.38/8.41 o 6100 8.59/8.61 o 6099 8.79/8.82 o 6098 8.99/9.03 o 6097 9.19/9.23 o 6096 9.39/9.44 o 6095 9.59/9.64 o 6094 9.79/9.85 o 6093 9.99/10.06 o 6092 10.19/10.27 o 6091 10.39/10.47 o 6090 10.58/10.68 o 6089 10.79/10.89 o 6088 10.99/11.10 o 6087 11.29/11.30 o 6086 11.49/11.51 o 6085 11.69/11.72 o 6084 11.89/11.92 o 6083 12.10/12.13 o 6082 12.28/12.34 o 6081 12.49/12.55 o 6080 12.69/12.75 o 6079 12.88/12.96 o 6078 13.10/13.17 o 6077 13.29/13.37 o 6076 13.49/13.58 o 6075 13.69/13.79 o 6074 13.88/13.99 o 6073 14.19/14.20 o 6072 14.39/14.41 o 6071 14.59/14.61 o 6070 14.79/14.82 o 6069 14.99/15.03 o 6068 15.19/15.24 o 6067 15.39/15.44 o 6066 15.59/15.65 o 6065 15.79/15.86 o 6064 15.99/16.06 o 6063 16.18/16.27 o 6062 16.39/16.47 o 6061 16.59/16.68 o 6060 16.79/16.89 o 6059 16.98/17.09 o 6058 17.28/17.30 o 6057 17.49/17.51 o 6056 17.68/17.71 o 6055 17.89/17.92 o 6054 18.09/18.13 o 6053 18.28/18.33 o 6052 18.49/18.54 o 6051 18.69/18.74 o 6050 18.88/18.95 o 6049 19.09/19.16 o 6048 19.28/19.36 o 6047 19.49/19.57 o 6046 19.69/19.77 o 6045 19.89/19.98 o 6044 20.09/20.18 o 6043 20.29/20.38 o 6042 20.48/20.59 o 6041 20.69/20.79 o 6040 20.89/21.00 o 6039 21.19/21.20 o 6038 21.38/21.40 o 6037 21.58/21.61 o 6036 21.79/21.81 o 6035 21.99/22.02 o 6034 22.18/22.22 o 6033 22.38/22.42 o 6032 22.58/22.62 o 6031 22.79/22.83 o 6030 22.99/23.03 o 6029 23.19/23.23 o 6028 23.39/23.44 o 6027 23.58/23.64 o 6026 23.79/23.84 o 6025 23.98/24.05 o 6024 24.19/24.25 o 6023 24.38/24.45 o 6022 24.58/24.66 o 6021 24.78/24.86 o 6020 24.99/25.06 o 6019 25.19/25.27 o 6018 25.38/25.47 o 6017 25.59/25.67 o 6016 25.78/25.87 o 6015 25.99/26.07 o 5897 26.19/26.27 o 5896 26.38/26.47 o 5895 26.58/26.67 o 5894 26.79/26.87 o 5893 26.98/27.07 o 5874 27.19/27.26 o 5873 27.39/27.46 o 5872 27.59/27.66 o 5871 27.78/27.86 o 5870 27.99/28.05 o 5869 28.19/28.25 o 5868 28.39/28.45 o 5867 28.59/28.65 o 5866 28.78/28.84 o 5865 28.98/29.04 o 5864 29.18/29.24 o 5863 29.38/29.43 o 5862 29.59/29.63 o 5861 29.78/29.83 o 5860 29.99/30.03 o 5859 30.18/30.23 o 5858 30.39/30.42 o 5857 30.58/30.62 o 5856 30.79/30.82 o 5855 30.98/31.02 o 5854 31.18/31.22 o 5853 31.38/31.42 o 5852 31.59/31.62 o 5851 31.79/31.82 o 5850 31.98/32.01 o 5849 32.19/32.21 o 5848 32.39/32.41 o 5847 32.58/32.61 o 5846 32.79/32.81 o 5845 32.99/33.00 o 5844 33.19/33.20 o 5843 33.38/33.40 o 5842 33.58/33.60 o 5841 33.79/33.80 o 5840 33.89/33.99 o 5839 34.08/34.17 o 4859 34.28/34.33 o 4848 34.38/34.50 o 4847 34.58/34.66 o 4846 34.78/34.82 o 4845 34.89/34.99 o 4844 35.08/35.15 o 4843 35.28/35.32 o 4842 35.39/35.48 o 4830 35.58/35.64 o 4829 35.79/35.81 o 4823 35.88/35.97 o 4819 36.08/36.13 o 4818 36.18/36.30 o 4817 36.38/36.46 o 4816 36.58/36.62 o 4815 36.69/36.78 o 4814 36.88/36.95 o 4813 36.98/37.10 o 4812 37.18/37.26 o 4811 37.39/37.42 o 4810 37.48/37.59 o 4809 37.68/37.75 o 4802 37.89/37.91 o 4801 37.98/38.07 o 4800 38.18/38.24 o 4799 38.28/38.40 o 4798 38.49/38.56 o 4797 38.68/38.72 o 4796 38.79/38.88 o 4795 38.98/39.05 o 4794 39.19/39.21 o 4793 39.29/39.37 o 4792 39.48/39.53 o 4791 39.59/39.69 o 4790 39.88/39.90 o 4789 39.98/40.01 o 2663 40.08/40.10 o 2615 40.08/40.19 o 2594 40.18/40.28 o 2593 40.28/40.37 o 2592 40.38/40.46 o 2591 40.48/40.55 o 2590 40.59/40.64 o 2589 40.68/40.73 o 2588 40.78/40.82 o 2587 40.89/40.91 o 2586 40.89/40.99 o 2585 40.98/41.08 o 2584 41.08/41.17 o 2583 41.18/41.26 o 2582 41.28/41.35 o 2581 41.38/41.44 o 2580 41.48/41.53 o 2579 41.58/41.62 o 2578 41.69/41.70 o 2577 41.69/41.79 o 2576 41.78/41.88 o 2575 41.88/41.97 o 2574 41.98/42.06 o 2573 42.08/42.15 o 2572 42.18/42.23 o 2571 42.28/42.32 o 2570 42.38/42.41 o 2569 42.48/42.50 o 2568 42.48/42.58 o 2567 42.58/42.67 o 2566 42.67/42.76 o 2565 42.88/42.93 o 2564 42.98/43.00 o 1978 42.98/43.08 o 1976 43.08/43.15 o 1928 43.18/43.22 o 1908 43.18/43.30 o 1907 43.28/43.37 o 1895 43.38/43.44 o 1894 43.48/43.51 o 1893 43.48/43.58 o 1892 43.57/43.65 o 1891 43.68/43.72 o 1890 43.77/43.85 o 1889 43.88/43.92 o 1888 43.88/43.99 o 1887 43.98/44.06 o 1886 44.08/44.13 o 1885 44.18/44.20 o 1884 44.18/44.27 o 1883 44.38/44.41 o 1882 44.38/44.46 o 1173 44.47/44.51 o 1172 44.47/44.56 o 1171 44.58/44.61 o 1170 44.58/44.66 o 1169 44.68/44.71 o 1168 44.68/44.75 o 1167 44.77/44.80 o 1166 44.77/44.85 o 1165 44.88/44.90 o 1164 44.88/44.95 o 1163 44.88/45.00 o 1162 44.98/45.04 o 1161 44.98/45.09 o 1160 45.08/45.14 o 1159 45.08/45.18 o 1158 45.18/45.23 o 1157 45.18/45.28 o 1156 45.28/45.32 o 1155 45.28/45.37 o 1154 45.38/45.42 o 1153 45.38/45.46 o 1152 45.47/45.51 o 1151 45.47/45.56 o 1150 45.57/45.61 o 1149 45.57/45.65 o 1148 45.67/45.70 o 1147 45.67/45.75 o 1146 45.67/45.80 o 1145 45.78/45.84 o 1144 45.78/45.89 o 1143 48.58/48.66 o 1142 48.68/48.74 o 1141 48.97/49.03 o 1140 48.97/49.08 o 1139 49.07/49.12 o 1138 49.07/49.16 o 1137 49.37/49.48 o 1136 49.48/49.58 o 1135 49.57/49.62 o 821 49.57/49.65 o 820 49.57/49.69 o 819 49.67/49.72 o 818 49.67/49.76 o 817 49.67/49.80 o 816 49.77/49.83 o 815 49.87/49.91 o 814 49.87/49.93 o 487 49.87/49.96 o 486 49.87/49.98 o 458 49.97/50.01 o 457 49.97/50.03 o 456 49.97/50.09 o 455 50.07/50.11 o 329 50.07/50.13 o 328 50.07/50.15 o 327 50.07/50.16 o 326 50.07/50.18 o 325 50.17/50.20 o 324 50.17/50.22 o 323 50.17/50.24 o 322 50.17/50.26 o 321 50.17/50.27 o 320 50.17/50.29 o 319 50.27/50.31 o 318 50.27/50.33 o 317 50.27/50.35 o 316 50.27/50.37 o 315 50.27/50.38 o 314 50.37/50.40 o 313 50.37/50.42 o 312 50.37/50.44 o 311 50.37/50.46 o 310 50.37/50.47 o 309 50.37/50.49 o 308 50.48/50.51 o 307 50.48/50.53 o 306 50.48/50.55 o 305 50.48/50.56 o 304 51.37/51.46 o 303 1800.07/1800.50 s SATISFIABLE 1800.07/1800.50 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 x1010 -x1011 -x1012 -x1013 -x1014 1800.07/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x103 -x1030 1800.07/1800.50 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.07/1800.50 v -x1048 -x1049 -x105 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.07/1800.50 v -x1064 -x1065 x1066 -x1067 x1068 -x1069 x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.07/1800.50 v -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.07/1800.50 v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 1800.07/1800.50 v -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 1800.07/1800.50 v -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 1800.07/1800.50 v x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 1800.07/1800.50 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.07/1800.50 v -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 1800.07/1800.50 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 1800.07/1800.50 v -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 x1222 -x1223 -x1224 1800.07/1800.50 v -x1225 -x1226 -x1227 -x1228 x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 1800.07/1800.50 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.07/1800.50 v -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 1800.07/1800.50 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 1800.07/1800.50 v -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 1800.07/1800.50 v x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x132 1800.07/1800.50 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.07/1800.50 v -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 -x1349 -x135 -x1350 -x1351 1800.07/1800.50 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 x1368 1800.07/1800.50 v -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 1800.07/1800.50 v -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 1800.07/1800.50 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1800.07/1800.50 v -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 1800.07/1800.50 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.07/1800.50 v -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 1800.07/1800.50 v -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 x148 1800.07/1800.50 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 1800.07/1800.50 v -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 -x1510 -x1511 1800.07/1800.50 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 1800.07/1800.50 v -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 1800.07/1800.50 v -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 1800.07/1800.50 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 1800.07/1800.50 v -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 1800.07/1800.50 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.07/1800.50 v -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 1800.07/1800.50 v -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 1800.07/1800.50 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.07/1800.50 v -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 x1668 -x1669 -x167 -x1670 -x1671 -x1672 1800.07/1800.50 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.07/1800.50 v -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 1800.07/1800.50 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 1800.07/1800.50 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 1800.07/1800.50 v -x1736 -x1737 -x1738 -x1739 x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x175 -x1750 -x1751 1800.07/1800.50 v x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1800.07/1800.50 v -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 x1783 -x1784 1800.07/1800.50 v -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 1800.07/1800.50 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.07/1800.50 v -x1816 -x1817 x1818 -x1819 -x182 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 1800.07/1800.50 v -x1832 x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 1800.07/1800.50 v -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 1800.07/1800.50 v -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 1800.07/1800.50 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.07/1800.50 v -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 1800.07/1800.50 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 1800.07/1800.50 v -x1928 x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 1800.07/1800.50 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 1800.07/1800.50 v x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.07/1800.50 v -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 1800.07/1800.50 v -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 1800.07/1800.50 v -x2009 -x201 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x202 -x2020 -x2021 -x2022 -x2023 -x2024 1800.07/1800.50 v -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 1800.07/1800.50 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 1800.07/1800.50 v -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 x2072 1800.07/1800.50 v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 1800.07/1800.50 v -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 1800.07/1800.50 v -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 1800.07/1800.50 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1800.07/1800.50 v -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152 1800.07/1800.50 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1800.07/1800.50 v -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 1800.07/1800.50 v -x2185 x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 1800.07/1800.50 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 1800.07/1800.50 v -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 1800.07/1800.50 v -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1800.07/1800.50 v -x225 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.07/1800.50 v -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 1800.07/1800.50 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 1800.07/1800.50 v -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 x2312 1800.07/1800.50 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1800.07/1800.50 v -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 1800.07/1800.50 v -x2346 -x2347 x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 1800.07/1800.50 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 1800.07/1800.50 v -x2379 -x238 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 x2392 -x2393 -x2394 1800.07/1800.50 v -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 1800.07/1800.50 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.07/1800.50 v -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 1800.07/1800.50 v -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 1800.07/1800.50 v -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474 1800.07/1800.50 v -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 1800.07/1800.50 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.07/1800.50 v -x2507 -x2508 -x2509 -x251 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 1800.07/1800.50 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 1800.07/1800.50 v -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.07/1800.50 v -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 1800.07/1800.50 v -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.07/1800.50 v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 1800.07/1800.50 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 1800.07/1800.50 v -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.07/1800.50 v -x2636 -x2637 x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 x2650 -x2651 1800.07/1800.50 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 1800.07/1800.50 v -x2669 -x267 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 1800.07/1800.50 v -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 -x270 1800.07/1800.50 v -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.07/1800.50 v -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 1800.07/1800.50 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 1800.07/1800.50 v -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.07/1800.50 v -x2766 -x2767 -x2768 x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 1800.07/1800.50 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1800.07/1800.50 v -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 1800.07/1800.50 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.07/1800.50 v -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 1800.07/1800.50 v -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 x2860 1800.07/1800.50 v -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 1800.07/1800.50 v -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 1800.07/1800.50 v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 x290 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.07/1800.50 v x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 1800.07/1800.50 v -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 1800.07/1800.50 v -x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.07/1800.50 v -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 x2971 -x2972 -x2973 -x2974 1800.07/1800.50 v -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x299 -x2990 1800.07/1800.50 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 1800.07/1800.50 v -x3007 x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 1800.07/1800.50 v -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.07/1800.50 v -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 1800.07/1800.50 v -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x307 -x3070 -x3071 1800.07/1800.50 v -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 1800.07/1800.50 v -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 x3100 -x3101 -x3102 -x3103 1800.07/1800.50 v -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 1800.07/1800.50 v -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 1800.07/1800.50 v -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 1800.07/1800.50 v -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 1800.07/1800.50 v -x3169 -x317 x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 1800.07/1800.50 v x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 1800.07/1800.50 v -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 1800.07/1800.50 v -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 1800.07/1800.50 v -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 1800.07/1800.50 v -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 1800.07/1800.50 v -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 1800.07/1800.50 v -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 1800.07/1800.50 v -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 1800.07/1800.50 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x332 -x3320 -x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 1800.07/1800.50 v -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 x3340 -x3341 -x3342 -x3343 1800.07/1800.50 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3356 -x3357 -x3358 -x3359 -x336 1800.07/1800.50 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.07/1800.50 v -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 -x3386 x3387 -x3388 -x3389 -x339 -x3390 -x3391 1800.07/1800.50 v -x3392 -x3393 -x3394 -x3395 -x3396 x3397 x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.07/1800.50 v -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 1800.07/1800.50 v -x3424 -x3425 -x3426 x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 1800.07/1800.50 v -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.07/1800.50 v -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 x3469 -x347 -x3470 x3471 -x3472 1800.07/1800.50 v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1800.07/1800.50 v -x3489 -x349 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x35 x350 -x3500 -x3501 -x3502 -x3503 1800.07/1800.50 v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 1800.07/1800.50 v -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 1800.07/1800.50 v -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 1800.07/1800.50 v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 1800.07/1800.50 v -x3568 x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 x3581 -x3582 -x3583 1800.07/1800.50 v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 1800.07/1800.50 v -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 1800.07/1800.50 v -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 1800.07/1800.50 v x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 1800.07/1800.50 v -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 1800.07/1800.50 v -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 1800.07/1800.50 v -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 1800.07/1800.50 v -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 1800.07/1800.50 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.07/1800.50 v -x3728 -x3729 -x373 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 x3740 -x3741 -x3742 -x3743 1800.07/1800.50 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 1800.07/1800.50 v -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 x3776 1800.07/1800.50 v -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x379 -x3790 -x3791 -x3792 1800.07/1800.50 v -x3793 -x3794 -x3795 -x3796 -x3797 x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 1800.07/1800.50 v -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 x3824 1800.07/1800.50 v -x3825 -x3826 -x3827 -x3828 -x3829 -x383 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 1800.07/1800.50 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 1800.07/1800.50 v -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 1800.07/1800.50 v x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 1800.07/1800.50 v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 1800.07/1800.50 v -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 1800.07/1800.50 v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3936 -x3937 -x3938 1800.07/1800.50 v -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 1800.07/1800.50 v -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x397 -x3970 1800.07/1800.50 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 1800.07/1800.50 v -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 1800.07/1800.50 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1800.07/1800.50 v -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 1800.07/1800.50 v -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x404 -x4040 x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.07/1800.50 v -x405 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1800.07/1800.50 v -x4066 -x4067 x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 -x4080 -x4081 1800.07/1800.50 v -x4082 -x4083 -x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.07/1800.50 v -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 1800.07/1800.50 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 1800.07/1800.50 v -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x414 -x4140 -x4141 -x4142 -x4143 x4144 -x4145 -x4146 1800.07/1800.50 v -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 1800.07/1800.50 v -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 1800.07/1800.50 v -x4179 -x418 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x419 -x4190 -x4191 -x4192 -x4193 -x4194 1800.07/1800.50 v -x4195 -x4196 -x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x421 1800.07/1800.50 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 x4218 -x4219 -x422 -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226 1800.07/1800.50 v -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 -x4242 1800.07/1800.50 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 1800.07/1800.50 v -x4259 -x426 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 -x4273 -x4274 1800.07/1800.50 v -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x429 -x4290 1800.07/1800.50 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 x4301 -x4302 -x4303 x4304 -x4305 -x4306 1800.07/1800.50 v -x4307 -x4308 -x4309 -x431 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 1800.07/1800.50 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 1800.07/1800.50 v -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 -x4351 -x4352 -x4353 -x4354 1800.07/1800.50 v -x4355 -x4356 -x4357 -x4358 -x4359 -x436 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 1800.07/1800.50 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 1800.07/1800.50 v -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x44 -x440 -x4400 -x4401 1800.07/1800.50 v -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 1800.07/1800.50 v -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 -x4434 1800.07/1800.50 v -x4435 -x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 -x4450 1800.07/1800.50 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 1800.07/1800.50 v -x4467 -x4468 -x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x448 -x4480 -x4481 -x4482 1800.07/1800.50 v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.07/1800.50 v -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 1800.07/1800.50 v -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 1800.07/1800.50 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 1800.07/1800.50 v -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 1800.07/1800.50 v -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x457 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 1800.07/1800.50 v -x458 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 1800.07/1800.50 v -x4596 -x4597 -x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x461 -x4610 1800.07/1800.50 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 1800.07/1800.50 v -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 1800.07/1800.50 v -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 1800.07/1800.50 v -x466 -x4660 -x4661 x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 -x467 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 1800.07/1800.50 v -x4676 -x4677 -x4678 -x4679 x468 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x469 -x4690 -x4691 1800.07/1800.50 v -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 1800.07/1800.50 v -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 1800.07/1800.50 v -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 1800.07/1800.50 v -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 1800.07/1800.50 v -x4756 -x4757 x4758 x4759 -x476 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x477 -x4770 -x4771 1800.07/1800.50 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 -x4781 x4782 -x4783 -x4784 x4785 -x4786 -x4787 -x4788 1800.07/1800.50 v -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 1800.07/1800.50 v -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 1800.07/1800.50 v -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x483 -x4830 -x4831 -x4832 -x4833 x4834 -x4835 1800.07/1800.50 v -x4836 -x4837 x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 1800.07/1800.50 v -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 1800.07/1800.50 v -x4868 -x4869 -x487 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 -x4881 -x4882 -x4883 1800.07/1800.50 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x49 1800.07/1800.50 v -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 -x4910 -x4911 -x4912 x4913 -x4914 -x4915 1800.07/1800.50 v -x4916 x4917 -x4918 -x4919 -x492 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931 1800.07/1800.50 v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 1800.07/1800.50 v -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496 -x4960 -x4961 -x4962 -x4963 1800.07/1800.50 v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 1800.07/1800.50 v -x498 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 1800.07/1800.50 v -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 -x5010 1800.07/1800.50 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 1800.07/1800.50 v -x5027 -x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 1800.07/1800.50 v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 1800.07/1800.50 v -x506 -x5060 -x5061 -x5062 x5063 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 x5070 -x5071 x5072 -x5073 -x5074 -x5075 1800.07/1800.50 v -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 1800.07/1800.50 v -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x51 -x510 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 1800.07/1800.50 v -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120 -x5121 -x5122 -x5123 1800.07/1800.50 v -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 1800.07/1800.50 v -x514 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.07/1800.50 v -x5156 -x5157 -x5158 x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x517 -x5170 -x5171 1800.07/1800.50 v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 1800.07/1800.50 v -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 -x5201 -x5202 1800.07/1800.50 v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 1800.07/1800.50 v -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x523 -x5230 x5231 -x5232 -x5233 -x5234 1800.07/1800.50 v -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x525 -x5250 1800.07/1800.50 v x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 1800.07/1800.50 v -x5268 -x5269 -x527 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 1800.07/1800.50 v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 1800.07/1800.50 v -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313 -x5314 1800.07/1800.50 v -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533 -x5330 1800.07/1800.50 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 1800.07/1800.50 v -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x536 -x5360 -x5361 -x5362 1800.07/1800.50 v -x5363 -x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 1800.07/1800.50 v -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 1800.07/1800.50 v -x5396 -x5397 x5398 -x5399 -x54 -x540 x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410 1800.07/1800.50 v -x5411 -x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.07/1800.50 v -x5428 -x5429 -x543 -x5430 x5431 -x5432 -x5433 x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 x5440 -x5441 -x5442 -x5443 1800.07/1800.50 v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1800.07/1800.50 v -x546 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x547 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 1800.07/1800.50 v -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 -x5491 1800.07/1800.50 v -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 1800.07/1800.50 v -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 1800.07/1800.50 v -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 x5530 -x5531 -x5532 -x5533 x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 1800.07/1800.50 v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 1800.07/1800.50 v -x5556 -x5557 -x5558 -x5559 -x556 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 x5566 -x5567 -x5568 -x5569 -x557 x5570 -x5571 1800.07/1800.50 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 1800.07/1800.50 v -x5589 x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 x5602 -x5603 1800.07/1800.50 v -x5604 x5605 -x5606 -x5607 -x5608 -x5609 x561 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x562 1800.07/1800.50 v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 1800.07/1800.50 v -x5637 -x5638 -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 1800.07/1800.50 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 1800.07/1800.50 v -x5669 -x567 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 x5680 -x5681 -x5682 -x5683 -x5684 1800.07/1800.50 v -x5685 -x5686 -x5687 -x5688 -x5689 -x569 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x57 -x570 1800.07/1800.50 v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 1800.07/1800.50 v -x5716 -x5717 -x5718 -x5719 -x572 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 1800.07/1800.50 v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 1800.07/1800.50 v -x5748 -x5749 -x575 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 1800.07/1800.50 v -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x577 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 1800.07/1800.50 v -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 1800.07/1800.50 v -x5797 -x5798 -x5799 -x58 -x580 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 1800.07/1800.50 v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1800.07/1800.50 v -x5828 -x5829 -x583 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 x5840 -x5841 -x5842 x5843 1800.07/1800.50 v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 x5856 -x5857 -x5858 -x5859 -x586 1800.07/1800.50 v -x5860 -x5861 -x5862 -x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 1800.07/1800.50 v -x5877 -x5878 -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 1800.07/1800.50 v -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 1800.07/1800.50 v -x5909 -x591 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x592 -x5920 -x5921 -x5922 -x5923 x5924 1800.07/1800.50 v -x5925 -x5926 -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 x5939 -x594 -x5940 1800.07/1800.50 v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 1800.07/1800.50 v -x5957 -x5958 -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 1800.07/1800.50 v -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 1800.07/1800.50 v -x5989 -x599 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 1800.07/1800.50 v x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 1800.07/1800.50 v -x602 -x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 x6032 -x6033 -x6034 -x6035 1800.07/1800.50 v -x6036 -x6037 -x6038 -x6039 -x604 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 1800.07/1800.50 v -x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 1800.07/1800.50 v -x6069 -x607 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 x6081 -x6082 -x6083 -x6084 1800.07/1800.50 v -x6085 -x6086 -x6087 -x6088 -x6089 x609 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 x6096 -x6097 -x6098 -x6099 -x61 -x610 1800.07/1800.50 v -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 1800.07/1800.50 v -x6116 -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 x6126 x6127 -x6128 -x6129 -x613 x6130 -x6131 1800.07/1800.50 v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 1800.07/1800.50 v -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x64 -x640 -x641 -x642 1800.07/1800.50 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 1800.07/1800.50 v -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x68 x680 -x681 1800.07/1800.50 v -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 x70 -x700 1800.07/1800.50 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x72 1800.07/1800.50 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 1800.07/1800.50 v -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1800.07/1800.50 v -x759 -x76 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.07/1800.50 v -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 1800.07/1800.50 v -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 1800.07/1800.50 v -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 x825 -x826 x827 -x828 x829 -x83 -x830 -x831 -x832 -x833 -x834 1800.07/1800.50 v -x835 -x836 -x837 x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 1800.07/1800.50 v -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 1800.07/1800.50 v -x873 -x874 -x875 -x876 x877 -x878 -x879 -x88 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 1800.07/1800.50 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x91 -x910 1800.07/1800.50 v -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 1800.07/1800.50 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1800.07/1800.50 v -x95 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 1800.07/1800.50 v -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1800.07/1800.50 v -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 303
/tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-458805-1178644032 -o ROOT/results/node34/solver-458805-1178644032 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31857 /proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=2184 CPUtime=0 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 331 0 0 0 0 0 0 0 18 0 1 0 312318628 2236416 313 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 546 313 84 219 0 323 0 [startup+0.0827799 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31857 /proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=2484 CPUtime=0.08 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 420 0 0 0 8 0 0 0 18 0 1 0 312318628 2543616 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 621 402 86 219 0 398 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2484 [startup+0.101781 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31857 /proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=2484 CPUtime=0.09 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 312318628 2543616 402 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 621 402 86 219 0 398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2484 [startup+0.301797 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31857 /proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=2800 CPUtime=0.29 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 529 0 0 0 29 0 0 0 19 0 1 0 312318628 2867200 511 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 700 511 86 219 0 477 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2800 [startup+0.70183 s] /proc/loadavg: 1.00 1.00 1.00 3/77 31857 /proc/meminfo: memFree=1792896/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=0.69 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 708 0 0 0 69 0 0 0 22 0 1 0 312318628 3649536 690 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 690 89 219 0 668 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3564 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1790456/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=1.49 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 147 2 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 702 101 219 0 668 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3564 [startup+3.10202 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1790328/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=3.09 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 303 6 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 702 101 219 0 668 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3564 [startup+6.30127 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1790200/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=6.29 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 616 13 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 702 101 219 0 668 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3564 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1790136/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=12.69 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 1243 26 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 702 101 219 0 668 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 3564 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1790136/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=3564 CPUtime=25.49 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 720 0 0 0 2498 51 0 0 25 0 1 0 312318628 3649536 702 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 891 702 101 219 0 668 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 3564 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1783288/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=13492 CPUtime=51.07 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2643 0 0 0 4974 133 0 0 25 0 1 0 312318628 13815808 2625 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3373 2625 102 219 0 3150 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13492 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1782072/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=13812 CPUtime=102.26 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2760 0 0 0 10092 134 0 0 25 0 1 0 312318628 14143488 2742 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3453 2742 102 219 0 3230 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13812 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781816/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=13972 CPUtime=162.25 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2820 0 0 0 16090 135 0 0 25 0 1 0 312318628 14307328 2802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3493 2802 102 219 0 3270 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13972 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781688/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=13972 CPUtime=222.24 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2850 0 0 0 22088 136 0 0 25 0 1 0 312318628 14307328 2832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3493 2832 102 219 0 3270 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 13972 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781560/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=282.22 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2888 0 0 0 28086 136 0 0 25 0 1 0 312318628 14471168 2870 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 2870 102 219 0 3310 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 14132 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781368/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=342.21 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2934 0 0 0 34085 136 0 0 25 0 1 0 312318628 14471168 2916 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 2916 102 219 0 3310 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 14132 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781240/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=402.19 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2964 0 0 0 40083 136 0 0 25 0 1 0 312318628 14471168 2946 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 2946 102 219 0 3310 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 14132 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781112/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=462.17 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 2988 0 0 0 46081 136 0 0 25 0 1 0 312318628 14471168 2970 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 2970 102 219 0 3310 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 14132 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1781048/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=522.16 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3012 0 0 0 52080 136 0 0 25 0 1 0 312318628 14471168 2994 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 2994 102 219 0 3310 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 14132 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1780920/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=582.14 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3037 0 0 0 58078 136 0 0 25 0 1 0 312318628 14471168 3019 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 3019 102 219 0 3310 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 14132 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1780792/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14132 CPUtime=642.14 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3063 0 0 0 64077 137 0 0 25 0 1 0 312318628 14471168 3045 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3533 3045 102 219 0 3310 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 14132 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1780280/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14292 CPUtime=882.08 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3190 0 0 0 88071 137 0 0 25 0 1 0 312318628 14635008 3172 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3573 3172 102 219 0 3350 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 14292 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1780216/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14292 CPUtime=942.07 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3224 0 0 0 94069 138 0 0 25 0 1 0 312318628 14635008 3206 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3573 3206 102 219 0 3350 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 14292 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1780088/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14292 CPUtime=1002.05 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3250 0 0 0 100067 138 0 0 25 0 1 0 312318628 14635008 3232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3573 3232 102 219 0 3350 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 14292 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779960/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14292 CPUtime=1062.04 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3285 0 0 0 106065 139 0 0 25 0 1 0 312318628 14635008 3267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3573 3267 102 219 0 3350 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 14292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779832/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14292 CPUtime=1122.03 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3313 0 0 0 112064 139 0 0 25 0 1 0 312318628 14635008 3295 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3573 3295 102 219 0 3350 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 14292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779704/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=14452 CPUtime=1182.01 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3347 0 0 0 118062 139 0 0 25 0 1 0 312318628 14798848 3329 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 3613 3329 102 219 0 3390 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 14452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779576/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1241.99 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3378 0 0 0 124060 139 0 0 25 0 1 0 312318628 23187456 3360 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3360 102 219 0 5438 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 22644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779448/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1301.99 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3408 0 0 0 130059 140 0 0 25 0 1 0 312318628 23187456 3390 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3390 102 219 0 5438 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 22644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779256/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1361.97 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3458 0 0 0 136057 140 0 0 25 0 1 0 312318628 23187456 3440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3440 102 219 0 5438 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 22644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779128/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1421.96 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3481 0 0 0 142056 140 0 0 25 0 1 0 312318628 23187456 3463 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3463 102 219 0 5438 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 22644 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1779064/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1481.94 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3504 0 0 0 148054 140 0 0 25 0 1 0 312318628 23187456 3486 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3486 102 219 0 5438 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 22644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778936/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1541.92 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3527 0 0 0 154052 140 0 0 25 0 1 0 312318628 23187456 3509 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3509 102 219 0 5438 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 22644 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778872/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1601.92 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3551 0 0 0 160051 141 0 0 25 0 1 0 312318628 23187456 3533 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3533 102 219 0 5438 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 22644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778744/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1661.9 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3574 0 0 0 166049 141 0 0 25 0 1 0 312318628 23187456 3556 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3556 102 219 0 5438 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 22644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778680/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1721.89 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3597 0 0 0 172048 141 0 0 25 0 1 0 312318628 23187456 3579 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3579 102 219 0 5438 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 22644 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778616/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1781.87 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3622 0 0 0 178046 141 0 0 25 0 1 0 312318628 23187456 3604 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3604 102 219 0 5438 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 22644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778552/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1800.07 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3629 0 0 0 179866 141 0 0 25 0 1 0 312318628 23187456 3611 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3611 102 219 0 5438 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 22644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31858 /proc/meminfo: memFree=1778552/2055920 swapFree=4159088/4192956 [pid=31857] ppid=31855 vsize=22644 CPUtime=1800.07 /proc/31857/stat : 31857 (PBS4_SAT07v2) R 31855 31857 31540 0 -1 4194304 3629 0 0 0 179866 141 0 0 25 0 1 0 312318628 23187456 3611 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31857/statm: 5661 3611 102 219 0 5438 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 22644 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.09 CPU user time (s): 1798.67 CPU system time (s): 1.41878 CPU usage (%): 99.9763 Max. virtual memory (cumulated for all children) (KiB): 22644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 1.41878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3632 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= 9 involuntary context switches= 2854 runsolver used 1.35379 second user time and 3.9174 second system time The end
Begin job on node34 on Tue May 8 17:07:12 UTC 2007 IDJOB= 458805 IDBENCH= 2042 IDSOLVER= 200 FILE ID= node34/458805-1178644032 PBS_JOBID= 5218384 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-458805-1178644032 -o ROOT/results/node34/conversion-458805-1178644032 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-458805-1178644032 -o ROOT/results/node34/solver-458805-1178644032 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458805-1178644032/instance-458805-1178644032.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED= 420892584 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1793368 kB Buffers: 36524 kB Cached: 116820 kB SwapCached: 2988 kB Active: 103948 kB Inactive: 72400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793368 kB SwapTotal: 4192956 kB SwapFree: 4159088 kB Dirty: 3296 kB Writeback: 0 kB Mapped: 30140 kB Slab: 71516 kB Committed_AS: 5385308 kB PageTables: 1976 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66561 MiB End job on node34 on Tue May 8 17:37:15 UTC 2007