Trace number 458479

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)127853 1800.09 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
MD5SUM6c96e127d2f61e098d2015d63d4a25a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark100037
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 99995
Optimality of the best value was proved NO
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 229
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 529702
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 529702
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/458479-1178626761/instance-458479-1178626761.opb ......
2.09/2.19	c done parsing opb.
2.09/2.19	o 296150
2.39/2.43	o 296102
2.59/2.67	o 295273
2.99/3.02	o 295272
3.59/3.64	o 257498
4.19/4.30	o 257246
4.89/4.95	o 257027
5.59/5.61	o 256899
6.19/6.27	o 256769
6.89/6.93	o 256766
9.89/9.95	o 256765
10.29/10.30	o 141376
10.58/10.61	o 140743
10.89/10.91	o 140130
11.79/11.80	o 140129
12.09/12.10	o 130856
13.09/13.13	o 130855
13.38/13.45	o 130142
14.58/14.66	o 130141
14.89/14.98	o 128627
15.29/15.32	o 127867
15.59/15.66	o 127853
1800.06/1800.70	s SATISFIABLE
1800.06/1800.70	v x1 -x10 -x100 -x1000 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x1001 -x10010 -x10011
1800.06/1800.70	v -x10012 -x10013 -x10014 -x10015 x10016 -x10017 -x10018 -x10019 -x1002 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025
1800.06/1800.70	v -x10026 -x10027 -x10028 -x10029 -x1003 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039
1800.06/1800.70	v -x1004 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 x1005 -x10050 -x10051 -x10052
1800.06/1800.70	v -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 x1006 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066
1800.06/1800.70	v -x10067 -x10068 -x10069 -x1007 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 x1008
1800.06/1800.70	v x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x1009 -x10090 -x10091 -x10092 -x10093
1800.06/1800.70	v -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x101 -x1010 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106
1800.06/1800.70	v -x10107 -x10108 -x10109 x1011 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 x10116 -x10117 -x10118 -x10119 -x1012
1800.06/1800.70	v -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x1013 -x10130 -x10131 -x10132 -x10133
1800.06/1800.70	v -x10134 -x10135 -x10136 -x10137 -x10138 x10139 -x1014 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147
1800.06/1800.70	v -x10148 -x10149 -x1015 x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 x10158 x10159 -x1016 x10160 -x10161
1800.06/1800.70	v -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x1017 -x10170 -x10171 x10172 -x10173 -x10174 -x10175
1800.06/1800.70	v -x10176 -x10177 -x10178 -x10179 -x1018 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 x10187 -x10188 -x10189
1800.06/1800.70	v -x1019 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x102 -x1020 -x10200 -x10201
1800.06/1800.70	v -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x1021 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215
1800.06/1800.70	v -x10216 -x10217 -x10218 -x10219 -x1022 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 x10227 x10228 x10229
1800.06/1800.70	v -x1023 x10230 -x10231 -x10232 -x10233 x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x1024 -x10240 -x10241 -x10242
1800.06/1800.70	v -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 x1025 x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256
1800.06/1800.70	v -x10257 -x10258 -x10259 -x1026 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x1027
1800.06/1800.70	v -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x1028 -x10280 -x10281 -x10282 -x10283
1800.06/1800.70	v -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x1029 -x10290 -x10291 -x10292 -x10293 x10294 -x10295 -x10296 -x10297
1800.06/1800.70	v -x10298 -x10299 x103 -x1030 -x10300 -x10301 -x10302 -x10303 -x10304 x10305 -x10306 -x10307 -x10308 -x10309 -x1031 -x10310
1800.06/1800.70	v -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x1032 -x10320 -x10321 -x10322 -x10323 -x10324
1800.06/1800.70	v -x10325 -x10326 -x10327 -x10328 -x10329 -x1033 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338
1800.06/1800.70	v -x10339 -x1034 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x1035 -x10350 -x10351
1800.06/1800.70	v -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x1036 -x10360 x10361 -x10362 -x10363 -x10364 -x10365
1800.06/1800.70	v -x10366 -x10367 -x10368 -x10369 -x1037 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379
1800.06/1800.70	v -x1038 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x1039 -x10390 -x10391 -x10392
1800.06/1800.70	v -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x104 -x1040 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405
1800.06/1800.70	v -x10406 -x10407 -x10408 -x10409 -x1041 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419
1800.06/1800.70	v -x1042 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 x10427 -x10428 -x10429 -x1043 -x10430 -x10431 -x10432
1800.06/1800.70	v -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x1044 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446
1800.06/1800.70	v -x10447 -x10448 -x10449 -x1045 -x10450 -x10451 -x10452 x10453 x10454 x10455 x10456 x10457 x10458 -x10459 -x1046 -x10460
1800.06/1800.70	v -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 x1047 -x10470 x10471 x10472 -x10473 -x10474
1800.06/1800.70	v -x10475 -x10476 -x10477 -x10478 -x10479 -x1048 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488
1800.06/1800.70	v -x10489 -x1049 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x105 -x1050 -x10500
1800.06/1800.70	v -x10501 -x10502 -x10503 -x10504 x10505 -x10506 -x10507 -x10508 -x10509 -x1051 -x10510 -x10511 -x10512 -x10513 -x10514
1800.06/1800.70	v -x10515 -x10516 -x10517 -x10518 -x10519 -x1052 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 x10527 -x10528
1800.06/1800.70	v -x10529 -x1053 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 x10538 -x10539 -x1054 -x10540 -x10541
1800.06/1800.70	v -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x1055 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555
1800.06/1800.70	v -x10556 -x10557 -x10558 -x10559 -x1056 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569
1800.06/1800.70	v -x1057 -x10570 x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x1058 -x10580 -x10581 x10582
1800.06/1800.70	v -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074
1800.06/1800.70	v -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090
1800.06/1800.70	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106
1800.06/1800.70	v -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122
1800.06/1800.70	v -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139
1800.06/1800.70	v x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155
1800.06/1800.70	v -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 x1168 x1169 -x117 -x1170 -x1171
1800.06/1800.70	v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187
1800.06/1800.70	v -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202
1800.06/1800.70	v x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1800.06/1800.70	v -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1800.06/1800.70	v -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251
1800.06/1800.70	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x126 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.06/1800.70	v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.06/1800.70	v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.06/1800.70	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316
1800.06/1800.70	v -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332
1800.06/1800.70	v -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x134 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349
1800.06/1800.70	v -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 x1363 -x1364 -x1365
1800.06/1800.70	v -x1366 -x1367 -x1368 -x1369 x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381
1800.06/1800.70	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.06/1800.70	v -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413
1800.06/1800.70	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429
1800.06/1800.70	v -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445
1800.06/1800.70	v -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x146 -x1460 -x1461
1800.06/1800.70	v -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
1800.06/1800.70	v -x1479 x148 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 x1492 -x1493 -x1494
1800.06/1800.70	v -x1495 -x1496 -x1497 -x1498 -x1499 x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151
1800.06/1800.70	v -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526
1800.06/1800.70	v -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542
1800.06/1800.70	v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558
1800.06/1800.70	v x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574
1800.06/1800.70	v -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590
1800.06/1800.70	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606
1800.06/1800.70	v -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622
1800.06/1800.70	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1800.06/1800.70	v -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654
1800.06/1800.70	v -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670
1800.06/1800.70	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.06/1800.70	v -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701
1800.06/1800.70	v -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x171 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1800.06/1800.70	v -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734
1800.06/1800.70	v -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750
1800.06/1800.70	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
1800.06/1800.70	v -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 x1781 -x1782
1800.06/1800.70	v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798
1800.06/1800.70	v -x1799 -x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x181 -x1810 -x1811 -x1812 -x1813
1800.06/1800.70	v x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183
1800.06/1800.70	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846
1800.06/1800.70	v -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x186 -x1860 -x1861 -x1862
1800.06/1800.70	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
1800.06/1800.70	v -x1879 -x188 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894
1800.06/1800.70	v -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191
1800.06/1800.70	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.06/1800.70	v -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941
1800.06/1800.70	v -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958
1800.06/1800.70	v -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974
1800.06/1800.70	v -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990
1800.06/1800.70	v x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006
1800.06/1800.70	v -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022
1800.06/1800.70	v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039
1800.06/1800.70	v -x204 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055
1800.06/1800.70	v -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x207 -x2070 -x2071
1800.06/1800.70	v -x2072 -x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088
1800.06/1800.70	v x2089 -x209 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103
1800.06/1800.70	v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x212
1800.06/1800.70	v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.06/1800.70	v x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 -x2151
1800.06/1800.70	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.06/1800.70	v -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183
1800.06/1800.70	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1800.06/1800.70	v -x22 -x220 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214
1800.06/1800.70	v -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x223 -x2230
1800.06/1800.70	v -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.06/1800.70	v -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x226 -x2260 -x2261 -x2262 -x2263
1800.06/1800.70	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279
1800.06/1800.70	v -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295
1800.06/1800.70	v -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310
1800.06/1800.70	v -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327
1800.06/1800.70	v -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 x2341 -x2342 -x2343
1800.06/1800.70	v -x2344 -x2345 x2346 -x2347 -x2348 x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236
1800.06/1800.70	v -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375
1800.06/1800.70	v -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391
1800.06/1800.70	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407
1800.06/1800.70	v -x2408 -x2409 -x241 x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423
1800.06/1800.70	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x244
1800.06/1800.70	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1800.06/1800.70	v -x2457 -x2458 x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472
1800.06/1800.70	v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
1800.06/1800.70	v -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 x2503 -x2504
1800.06/1800.70	v -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520
1800.06/1800.70	v -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.06/1800.70	v -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553
1800.06/1800.70	v -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257
1800.06/1800.70	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1800.06/1800.70	v -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601
1800.06/1800.70	v -x2602 x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.06/1800.70	v -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634
1800.06/1800.70	v -x2635 x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650
1800.06/1800.70	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
1800.06/1800.70	v -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682
1800.06/1800.70	v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x269 x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.06/1800.70	v -x27 -x270 -x2700 -x2701 -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 x2714
1800.06/1800.70	v -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730
1800.06/1800.70	v -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1800.06/1800.70	v -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 x2756 x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763
1800.06/1800.70	v -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278
1800.06/1800.70	v -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796
1800.06/1800.70	v -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x281 -x2810 -x2811
1800.06/1800.70	v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827
1800.06/1800.70	v -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843
1800.06/1800.70	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859
1800.06/1800.70	v -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.06/1800.70	v -x2876 -x2877 -x2878 -x2879 -x288 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891
1800.06/1800.70	v x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
1800.06/1800.70	v -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923
1800.06/1800.70	v -x2924 x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294
1800.06/1800.70	v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955
1800.06/1800.70	v -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x297 -x2970 -x2971
1800.06/1800.70	v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987
1800.06/1800.70	v -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30 -x300 -x3000 -x3001 -x3002
1800.06/1800.70	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018
1800.06/1800.70	v -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034
1800.06/1800.70	v -x3035 x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050
1800.06/1800.70	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067
1800.06/1800.70	v -x3068 x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083
1800.06/1800.70	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31
1800.06/1800.70	v -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 x3114 -x3115
1800.06/1800.70	v -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131
1800.06/1800.70	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1800.06/1800.70	v -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164
1800.06/1800.70	v -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 x3180
1800.06/1800.70	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
1800.06/1800.70	v -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 -x3211
1800.06/1800.70	v -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228
1800.06/1800.70	v -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244
1800.06/1800.70	v -x3245 -x3246 x3247 -x3248 -x3249 x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x326 -x3260
1800.06/1800.70	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276
1800.06/1800.70	v -x3277 -x3278 -x3279 -x328 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292
1800.06/1800.70	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1800.06/1800.70	v -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 x3324
1800.06/1800.70	v -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 x3336 x3337 -x3338 -x3339 -x334 -x3340
1800.06/1800.70	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1800.06/1800.70	v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x337 x3370 -x3371 -x3372 -x3373
1800.06/1800.70	v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339
1800.06/1800.70	v -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400 -x3401 -x3402 x3403 -x3404 -x3405
1800.06/1800.70	v -x3406 -x3407 x3408 x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 x3415 x3416 x3417 x3418 x3419 -x342 -x3420 x3421 x3422
1800.06/1800.70	v x3423 x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439
1800.06/1800.70	v -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455
1800.06/1800.70	v -x3456 -x3457 -x3458 x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 x3470 -x3471
1800.06/1800.70	v -x3472 -x3473 x3474 -x3475 -x3476 x3477 -x3478 -x3479 x348 -x3480 -x3481 x3482 x3483 x3484 -x3485 -x3486 -x3487 -x3488
1800.06/1800.70	v -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x35 -x350 x3500 x3501 -x3502 -x3503
1800.06/1800.70	v x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x351 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352
1800.06/1800.70	v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 x3527 x3528 -x3529 -x353 x3530 x3531 x3532 x3533 -x3534 x3535 -x3536 -x3537
1800.06/1800.70	v -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553
1800.06/1800.70	v -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357
1800.06/1800.70	v x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1800.06/1800.70	v -x3587 -x3588 -x3589 -x359 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601
1800.06/1800.70	v -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618
1800.06/1800.70	v -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634
1800.06/1800.70	v -x3635 -x3636 -x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x365 -x3650
1800.06/1800.70	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1800.06/1800.70	v -x3667 -x3668 -x3669 -x367 -x3670 x3671 x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 x3682
1800.06/1800.70	v -x3683 x3684 -x3685 x3686 x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699
1800.06/1800.70	v -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714
1800.06/1800.70	v -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730
1800.06/1800.70	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1800.06/1800.70	v x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762
1800.06/1800.70	v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778
1800.06/1800.70	v -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794
1800.06/1800.70	v -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x381
1800.06/1800.70	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826
1800.06/1800.70	v -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842
1800.06/1800.70	v x3843 x3844 x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 -x3859
1800.06/1800.70	v -x386 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 x3866 -x3867 x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875
1800.06/1800.70	v -x3876 -x3877 -x3878 -x3879 -x388 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 -x3890 x3891
1800.06/1800.70	v -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907
1800.06/1800.70	v -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 -x3922 -x3923
1800.06/1800.70	v -x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394
1800.06/1800.70	v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955
1800.06/1800.70	v -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 -x3970 -x3971
1800.06/1800.70	v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987
1800.06/1800.70	v -x3988 -x3989 -x399 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002
1800.06/1800.70	v x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019
1800.06/1800.70	v -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035
1800.06/1800.70	v -x4036 -x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x405 -x4050 -x4051
1800.06/1800.70	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068
1800.06/1800.70	v x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x408 x4080 -x4081 -x4082 -x4083 -x4084
1800.06/1800.70	v -x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x41 -x410
1800.06/1800.70	v -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1800.06/1800.70	v -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 -x4130 -x4131 -x4132
1800.06/1800.70	v -x4133 -x4134 -x4135 x4136 -x4137 -x4138 -x4139 -x414 x4140 x4141 x4142 -x4143 x4144 -x4145 x4146 x4147 -x4148 -x4149 -x415
1800.06/1800.70	v -x4150 x4151 x4152 -x4153 x4154 -x4155 -x4156 x4157 x4158 x4159 -x416 -x4160 -x4161 x4162 -x4163 x4164 x4165 x4166 x4167
1800.06/1800.70	v -x4168 x4169 -x417 -x4170 x4171 x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 -x418 x4180 x4181 x4182 x4183 -x4184
1800.06/1800.70	v x4185 x4186 -x4187 -x4188 -x4189 -x419 x4190 x4191 x4192 x4193 -x4194 x4195 -x4196 -x4197 x4198 -x4199 -x42 -x420 -x4200
1800.06/1800.70	v -x4201 -x4202 -x4203 -x4204 x4205 -x4206 x4207 x4208 x4209 -x421 x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217
1800.06/1800.70	v -x4218 x4219 -x422 -x4220 -x4221 x4222 -x4223 x4224 -x4225 x4226 -x4227 x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233
1800.06/1800.70	v -x4234 -x4235 x4236 x4237 -x4238 x4239 -x424 -x4240 x4241 -x4242 x4243 x4244 -x4245 x4246 -x4247 -x4248 x4249 -x425 -x4250
1800.06/1800.70	v -x4251 -x4252 x4253 -x4254 x4255 -x4256 x4257 -x4258 -x4259 -x426 x4260 -x4261 -x4262 x4263 -x4264 x4265 x4266 -x4267 -x4268
1800.06/1800.70	v x4269 -x427 -x4270 x4271 x4272 -x4273 x4274 -x4275 x4276 -x4277 -x4278 x4279 -x428 -x4280 x4281 -x4282 x4283 x4284 -x4285
1800.06/1800.70	v x4286 x4287 -x4288 -x4289 -x429 -x4290 -x4291 x4292 x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 x4300 x4301
1800.06/1800.70	v -x4302 x4303 x4304 x4305 -x4306 x4307 x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 x4316 -x4317 -x4318 -x4319
1800.06/1800.70	v -x432 -x4320 -x4321 x4322 x4323 -x4324 x4325 x4326 -x4327 x4328 -x4329 -x433 x4330 -x4331 -x4332 -x4333 x4334 -x4335 x4336
1800.06/1800.70	v -x4337 x4338 x4339 -x434 -x4340 x4341 -x4342 x4343 x4344 -x4345 x4346 -x4347 x4348 -x4349 -x435 x4350 -x4351 -x4352 -x4353
1800.06/1800.70	v -x4354 x4355 -x4356 x4357 x4358 x4359 -x436 x4360 -x4361 -x4362 -x4363 -x4364 x4365 x4366 -x4367 x4368 x4369 -x437 -x4370
1800.06/1800.70	v -x4371 x4372 -x4373 -x4374 x4375 -x4376 x4377 x4378 x4379 -x438 x4380 x4381 x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.06/1800.70	v x4389 -x439 -x4390 x4391 x4392 -x4393 x4394 x4395 x4396 x4397 x4398 -x4399 -x44 -x440 x4400 x4401 -x4402 x4403 -x4404 -x4405
1800.06/1800.70	v -x4406 -x4407 x4408 x4409 -x441 -x4410 x4411 -x4412 -x4413 x4414 -x4415 x4416 x4417 x4418 x4419 -x442 -x4420 -x4421 x4422
1800.06/1800.70	v x4423 -x4424 -x4425 x4426 -x4427 x4428 -x4429 -x443 -x4430 -x4431 -x4432 -x4433 x4434 -x4435 -x4436 -x4437 -x4438 x4439
1800.06/1800.70	v -x444 x4440 -x4441 x4442 x4443 -x4444 -x4445 x4446 -x4447 -x4448 x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455
1800.06/1800.70	v x4456 -x4457 x4458 x4459 -x446 x4460 x4461 x4462 x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x447 -x4470 x4471 -x4472
1800.06/1800.70	v x4473 x4474 -x4475 x4476 x4477 -x4478 x4479 x448 -x4480 -x4481 -x4482 x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x449
1800.06/1800.70	v -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505
1800.06/1800.70	v x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521
1800.06/1800.70	v -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537
1800.06/1800.70	v -x4538 x4539 -x454 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 x4550 -x4551 -x4552 -x4553
1800.06/1800.70	v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569
1800.06/1800.70	v -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 -x4582 x4583 x4584 -x4585
1800.06/1800.70	v -x4586 -x4587 -x4588 -x4589 x459 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 -x460 -x4600
1800.06/1800.70	v -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x461 -x4610 x4611 x4612 -x4613 -x4614 x4615 -x4616 -x4617
1800.06/1800.70	v -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633
1800.06/1800.70	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x464 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 x4646 x4647 -x4648 x4649 -x465
1800.06/1800.70	v -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666
1800.06/1800.70	v -x4667 -x4668 x4669 -x467 x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682
1800.06/1800.70	v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699
1800.06/1800.70	v -x47 -x470 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714
1800.06/1800.70	v -x4715 -x4716 x4717 -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x473 -x4730
1800.06/1800.70	v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747
1800.06/1800.70	v -x4748 -x4749 -x475 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 x4761 -x4762 -x4763
1800.06/1800.70	v -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x477 x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478
1800.06/1800.70	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 x4794 -x4795 -x4796
1800.06/1800.70	v -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x481 -x4810 -x4811
1800.06/1800.70	v x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.06/1800.70	v -x4829 -x483 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844
1800.06/1800.70	v -x4845 x4846 -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 x4857 x4858 x4859 -x486 -x4860
1800.06/1800.70	v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 -x4869 -x487 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877
1800.06/1800.70	v x4878 x4879 -x488 x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x489 x4890 x4891 -x4892 x4893 -x4894
1800.06/1800.70	v -x4895 -x4896 -x4897 -x4898 -x4899 -x49 -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491
1800.06/1800.70	v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926
1800.06/1800.70	v -x4927 x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942
1800.06/1800.70	v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x495 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959
1800.06/1800.70	v -x496 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 x4972 -x4973 x4974 x4975
1800.06/1800.70	v x4976 x4977 -x4978 x4979 -x498 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991
1800.06/1800.70	v -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006
1800.06/1800.70	v -x5007 -x5008 -x5009 -x501 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022
1800.06/1800.70	v -x5023 -x5024 -x5025 -x5026 -x5027 x5028 -x5029 x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039
1800.06/1800.70	v -x504 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055
1800.06/1800.70	v -x5056 -x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071
1800.06/1800.70	v -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 x5084 -x5085 -x5086 -x5087 -x5088
1800.06/1800.70	v -x5089 -x509 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x51 -x510 x5100 x5101 -x5102 -x5103
1800.06/1800.70	v -x5104 x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 -x512
1800.06/1800.70	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135
1800.06/1800.70	v -x5136 -x5137 -x5138 -x5139 -x514 x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x515 -x5150 -x5151
1800.06/1800.70	v -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168
1800.06/1800.70	v -x5169 -x517 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x518 -x5180 x5181 x5182 -x5183 -x5184
1800.06/1800.70	v -x5185 -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520
1800.06/1800.70	v -x5200 -x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216
1800.06/1800.70	v x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x523 -x5230 -x5231 -x5232
1800.06/1800.70	v -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 x5243 -x5244 -x5245 x5246 -x5247 x5248 -x5249
1800.06/1800.70	v -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265
1800.06/1800.70	v -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 x5280 x5281
1800.06/1800.70	v -x5282 x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298
1800.06/1800.70	v -x5299 -x53 -x530 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x531 -x5310 -x5311 -x5312 -x5313
1800.06/1800.70	v -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329
1800.06/1800.70	v -x533 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x534 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345
1800.06/1800.70	v -x5346 -x5347 -x5348 -x5349 -x535 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x536 -x5360 -x5361
1800.06/1800.70	v -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378
1800.06/1800.70	v -x5379 -x538 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394
1800.06/1800.70	v -x5395 -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x541
1800.06/1800.70	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
1800.06/1800.70	v x5426 -x5427 -x5428 -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441
1800.06/1800.70	v x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458
1800.06/1800.70	v -x5459 -x546 -x5460 -x5461 x5462 x5463 -x5464 -x5465 x5466 -x5467 -x5468 -x5469 x547 -x5470 -x5471 -x5472 -x5473 -x5474
1800.06/1800.70	v -x5475 -x5476 -x5477 -x5478 -x5479 -x548 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490
1800.06/1800.70	v -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506
1800.06/1800.70	v -x5507 -x5508 -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522
1800.06/1800.70	v -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 x5535 x5536 x5537 -x5538 -x5539
1800.06/1800.70	v -x554 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555
1800.06/1800.70	v -x5556 -x5557 -x5558 -x5559 -x556 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x557 -x5570 x5571
1800.06/1800.70	v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x558 -x5580 -x5581 -x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588
1800.06/1800.70	v -x5589 -x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601 -x5602 -x5603
1800.06/1800.70	v -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 -x562
1800.06/1800.70	v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635
1800.06/1800.70	v -x5636 -x5637 -x5638 x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651
1800.06/1800.70	v x5652 -x5653 x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668
1800.06/1800.70	v -x5669 -x567 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684
1800.06/1800.70	v -x5685 -x5686 -x5687 -x5688 -x5689 -x569 -x5690 -x5691 -x5692 x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570
1800.06/1800.70	v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716
1800.06/1800.70	v -x5717 -x5718 x5719 -x572 x5720 -x5721 -x5722 -x5723 -x5724 x5725 x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732
1800.06/1800.70	v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 x5749
1800.06/1800.70	v -x575 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765
1800.06/1800.70	v -x5766 -x5767 -x5768 -x5769 -x577 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781
1800.06/1800.70	v -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798
1800.06/1800.70	v -x5799 -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813
1800.06/1800.70	v -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x583
1800.06/1800.70	v -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845
1800.06/1800.70	v -x5846 -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861
1800.06/1800.70	v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878
1800.06/1800.70	v -x5879 -x588 -x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 x5894
1800.06/1800.70	v -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 -x5901 -x5902 -x5903 -x5904 x5905 -x5906 -x5907 -x5908 -x5909 -x591
1800.06/1800.70	v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926
1800.06/1800.70	v -x5927 -x5928 -x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 x5939 -x594 -x5940 -x5941 -x5942
1800.06/1800.70	v -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958
1800.06/1800.70	v -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 -x5974
1800.06/1800.70	v -x5975 -x5976 -x5977 -x5978 -x5979 -x598 -x5980 -x5981 -x5982 x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x599 -x5990
1800.06/1800.70	v -x5991 -x5992 -x5993 x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005
1800.06/1800.70	v -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 -x6020 -x6021
1800.06/1800.70	v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037
1800.06/1800.70	v -x6038 -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 -x6052 -x6053
1800.06/1800.70	v -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069
1800.06/1800.70	v -x607 -x6070 -x6071 x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 x6083 -x6084 -x6085
1800.06/1800.70	v -x6086 -x6087 -x6088 -x6089 -x609 -x6090 -x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 -x6100
1800.06/1800.70	v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116
1800.06/1800.70	v -x6117 -x6118 -x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x613 -x6130 -x6131 -x6132
1800.06/1800.70	v -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 -x614 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149
1800.06/1800.70	v -x615 -x6150 x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165
1800.06/1800.70	v -x6166 -x6167 -x6168 -x6169 -x617 -x6170 -x6171 -x6172 x6173 -x6174 x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 x6181
1800.06/1800.70	v x6182 x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198
1800.06/1800.70	v -x6199 -x62 -x620 -x6200 x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x621 -x6210 -x6211 -x6212 -x6213
1800.06/1800.70	v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229
1800.06/1800.70	v -x623 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 x6237 x6238 -x6239 -x624 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245
1800.06/1800.70	v -x6246 -x6247 -x6248 -x6249 x625 x6250 x6251 -x6252 x6253 -x6254 x6255 -x6256 -x6257 x6258 x6259 -x626 -x6260 -x6261 -x6262
1800.06/1800.70	v -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 -x6272 x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279
1800.06/1800.70	v -x628 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x629 -x6290 -x6291 -x6292 -x6293 -x6294 x6295
1800.06/1800.70	v -x6296 -x6297 -x6298 -x6299 -x63 -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 x6306 -x6307 -x6308 -x6309 -x631 -x6310
1800.06/1800.70	v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x632 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326
1800.06/1800.70	v -x6327 -x6328 -x6329 -x633 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 -x6342
1800.06/1800.70	v -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x635 x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359
1800.06/1800.70	v x636 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x637 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375
1800.06/1800.70	v -x6376 -x6377 -x6378 -x6379 -x638 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x639 -x6390 -x6391
1800.06/1800.70	v -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x64 -x640 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407
1800.06/1800.70	v -x6408 -x6409 -x641 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x642 -x6420 -x6421 -x6422 -x6423
1800.06/1800.70	v -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x643 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439
1800.06/1800.70	v -x644 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x645 x6450 -x6451 -x6452 -x6453 -x6454 -x6455
1800.06/1800.70	v -x6456 -x6457 -x6458 -x6459 -x646 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 x647 -x6470 -x6471
1800.06/1800.70	v x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x648 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488
1800.06/1800.70	v -x6489 -x649 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x65 -x650 -x6500 -x6501 x6502 -x6503
1800.06/1800.70	v x6504 x6505 -x6506 -x6507 -x6508 -x6509 -x651 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x652
1800.06/1800.70	v -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x653 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535
1800.06/1800.70	v -x6536 -x6537 -x6538 -x6539 -x654 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x655 x6550 -x6551
1800.06/1800.70	v -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x656 -x6560 x6561 -x6562 -x6563 -x6564 -x6565 -x6566 x6567 -x6568
1800.06/1800.70	v -x6569 -x657 x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x658 -x6580 -x6581 x6582 -x6583 -x6584
1800.06/1800.70	v -x6585 -x6586 -x6587 -x6588 -x6589 -x659 -x6590 -x6591 -x6592 -x6593 -x6594 x6595 -x6596 -x6597 -x6598 -x6599 -x66 -x660
1800.06/1800.70	v -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x661 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616
1800.06/1800.70	v -x6617 -x6618 -x6619 -x662 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 x6628 -x6629 -x663 -x6630 -x6631 -x6632
1800.06/1800.70	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x664 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 x6646 x6647 x6648 x6649
1800.06/1800.70	v -x665 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x666 -x6660 x6661 -x6662 -x6663 -x6664 -x6665
1800.06/1800.70	v -x6666 -x6667 -x6668 x6669 -x667 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x668 -x6680 -x6681
1800.06/1800.70	v -x6682 x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x669 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698
1800.06/1800.70	v -x6699 -x67 x670 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 x6706 -x6707 -x6708 -x6709 -x671 -x6710 -x6711 -x6712 -x6713
1800.06/1800.70	v -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x672 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 -x6729 -x673
1800.06/1800.70	v -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x674 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745
1800.06/1800.70	v -x6746 -x6747 -x6748 -x6749 -x675 x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 x6759 -x676 -x6760 -x6761
1800.06/1800.70	v -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x677 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777
1800.06/1800.70	v -x6778 -x6779 -x678 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x679 -x6790 -x6791 -x6792 -x6793
1800.06/1800.70	v x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x68 -x680 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 -x6807 -x6808 -x6809
1800.06/1800.70	v -x681 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x682 -x6820 -x6821 -x6822 x6823 x6824 x6825
1800.06/1800.70	v x6826 -x6827 -x6828 -x6829 -x683 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 x6839 -x684 -x6840 -x6841
1800.06/1800.70	v -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x685 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858
1800.06/1800.70	v -x6859 -x686 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x687 -x6870 -x6871 -x6872 -x6873 -x6874
1800.06/1800.70	v -x6875 -x6876 -x6877 -x6878 -x6879 -x688 -x6880 -x6881 -x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x689 -x6890
1800.06/1800.70	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x69 -x690 -x6900 -x6901 -x6902 -x6903 -x6904 x6905 -x6906
1800.06/1800.70	v -x6907 -x6908 -x6909 -x691 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 x6916 x6917 -x6918 -x6919 x692 -x6920 -x6921 -x6922
1800.06/1800.70	v -x6923 -x6924 x6925 x6926 -x6927 -x6928 -x6929 -x693 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939
1800.06/1800.70	v -x694 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x695 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955
1800.06/1800.70	v -x6956 -x6957 -x6958 -x6959 -x696 -x6960 x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x697 -x6970 -x6971
1800.06/1800.70	v x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x698 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988
1800.06/1800.70	v -x6989 -x699 -x6990 -x6991 -x6992 -x6993 x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7 -x70 -x700 -x7000 -x7001 -x7002 -x7003
1800.06/1800.70	v -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x701 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019
1800.06/1800.70	v -x702 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 x7027 -x7028 -x7029 -x703 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035
1800.06/1800.70	v -x7036 -x7037 -x7038 -x7039 -x704 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 x7048 -x7049 -x705 -x7050 -x7051
1800.06/1800.70	v -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x706 -x7060 x7061 -x7062 -x7063 -x7064 -x7065 x7066 -x7067 -x7068
1800.06/1800.70	v x7069 -x707 -x7070 x7071 -x7072 -x7073 -x7074 -x7075 x7076 -x7077 -x7078 -x7079 -x708 x7080 -x7081 -x7082 -x7083 -x7084
1800.06/1800.70	v -x7085 -x7086 -x7087 -x7088 -x7089 -x709 -x7090 x7091 x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x71 -x710
1800.06/1800.70	v -x7100 -x7101 -x7102 -x7103 -x7104 x7105 -x7106 -x7107 -x7108 -x7109 -x711 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 x7116
1800.06/1800.70	v -x7117 -x7118 -x7119 -x712 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 x7127 -x7128 -x7129 -x713 -x7130 -x7131 -x7132
1800.06/1800.70	v -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 x7139 -x714 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149
1800.06/1800.70	v -x715 x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x716 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165
1800.06/1800.70	v -x7166 -x7167 -x7168 -x7169 -x717 -x7170 -x7171 x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x718 -x7180 -x7181
1800.06/1800.70	v -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x719 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197
1800.06/1800.70	v -x7198 -x7199 -x72 -x720 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x721 -x7210 -x7211 -x7212
1800.06/1800.70	v -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x722 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228
1800.06/1800.70	v -x7229 -x723 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 x7238 x7239 -x724 -x7240 -x7241 -x7242 -x7243 -x7244
1800.06/1800.70	v -x7245 -x7246 -x7247 -x7248 -x7249 x725 x7250 x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x726 -x7260
1800.06/1800.70	v -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x727 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276
1800.06/1800.70	v -x7277 -x7278 -x7279 -x728 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x729 -x7290 -x7291 -x7292
1800.06/1800.70	v -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x73 -x730 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 x7306 -x7307 -x7308
1800.06/1800.70	v -x7309 -x731 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 x7317 -x7318 -x7319 -x732 -x7320 -x7321 -x7322 -x7323 -x7324
1800.06/1800.70	v -x7325 -x7326 -x7327 -x7328 -x7329 -x733 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x734 -x7340
1800.06/1800.70	v -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x735 x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357
1800.06/1800.70	v -x7358 -x7359 -x736 -x7360 x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x737 -x7370 -x7371 -x7372 x7373
1800.06/1800.70	v -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x738 -x7380 -x7381 -x7382 -x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x739
1800.06/1800.70	v -x7390 -x7391 -x7392 -x7393 -x7394 x7395 -x7396 -x7397 -x7398 -x7399 -x74 -x740 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405
1800.06/1800.70	v -x7406 -x7407 -x7408 -x7409 -x741 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x742 -x7420 -x7421
1800.06/1800.70	v -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x743 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437
1800.06/1800.70	v -x7438 x7439 -x744 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x745 -x7450 -x7451 -x7452 -x7453
1800.06/1800.70	v -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x746 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469
1800.06/1800.70	v -x747 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x748 -x7480 -x7481 -x7482 -x7483 x7484 -x7485
1800.06/1800.70	v -x7486 -x7487 -x7488 -x7489 -x749 -x7490 -x7491 -x7492 -x7493 -x7494 x7495 -x7496 -x7497 -x7498 -x7499 -x75 -x750 -x7500
1800.06/1800.70	v -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x751 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516
1800.06/1800.70	v -x7517 -x7518 -x7519 -x752 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 x7528 -x7529 -x753 -x7530 -x7531 -x7532
1800.06/1800.70	v -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x754 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548
1800.06/1800.70	v -x7549 -x755 x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 x7559 -x756 -x7560 -x7561 -x7562 -x7563 -x7564
1800.06/1800.70	v -x7565 -x7566 -x7567 -x7568 -x7569 -x757 -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x758 -x7580
1800.06/1800.70	v -x7581 -x7582 x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x759 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597
1800.06/1800.70	v -x7598 -x7599 -x76 -x760 -x7600 -x7601 -x7602 -x7603 -x7604 x7605 -x7606 -x7607 -x7608 -x7609 -x761 -x7610 -x7611 -x7612
1800.06/1800.70	v -x7613 -x7614 -x7615 -x7616 x7617 -x7618 -x7619 -x762 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629
1800.06/1800.70	v -x763 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x764 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645
1800.06/1800.70	v -x7646 -x7647 -x7648 -x7649 -x765 x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x766 -x7660 x7661
1800.06/1800.70	v -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x767 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677
1800.06/1800.70	v x7678 x7679 -x768 x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x769 -x7690 -x7691 -x7692 -x7693
1800.06/1800.70	v x7694 x7695 -x7696 -x7697 x7698 -x7699 -x77 -x770 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709
1800.06/1800.70	v -x771 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x772 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725
1800.06/1800.70	v -x7726 -x7727 x7728 -x7729 -x773 -x7730 x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x774 -x7740 -x7741
1800.06/1800.70	v -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x775 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758
1800.06/1800.70	v -x7759 -x776 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x777 -x7770 -x7771 x7772 -x7773 -x7774
1800.06/1800.70	v -x7775 -x7776 -x7777 -x7778 -x7779 -x778 -x7780 -x7781 -x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x779 -x7790
1800.06/1800.70	v -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x78 -x780 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 x7806
1800.06/1800.70	v -x7807 -x7808 -x7809 -x781 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 x782 -x7820 -x7821 -x7822
1800.06/1800.70	v -x7823 -x7824 x7825 x7826 -x7827 -x7828 -x7829 -x783 -x7830 -x7831 -x7832 -x7833 x7834 x7835 -x7836 -x7837 x7838 -x7839
1800.06/1800.70	v -x784 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x785 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855
1800.06/1800.70	v -x7856 -x7857 -x7858 -x7859 -x786 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x787 -x7870 x7871
1800.06/1800.70	v -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x788 -x7880 -x7881 -x7882 x7883 -x7884 -x7885 -x7886 -x7887 -x7888
1800.06/1800.70	v -x7889 -x789 -x7890 -x7891 -x7892 -x7893 x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x79 -x790 -x7900 -x7901 -x7902 -x7903
1800.06/1800.70	v -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x791 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x792
1800.06/1800.70	v -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 x7928 -x7929 -x793 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936
1800.06/1800.70	v -x7937 -x7938 -x7939 -x794 -x7940 -x7941 -x7942 x7943 -x7944 -x7945 x7946 x7947 -x7948 -x7949 -x795 -x7950 -x7951 -x7952
1800.06/1800.70	v -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x796 -x7960 x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969
1800.06/1800.70	v -x797 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x798 -x7980 -x7981 -x7982 x7983 -x7984 -x7985
1800.06/1800.70	v -x7986 -x7987 -x7988 -x7989 -x799 x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8 -x80 -x800 -x8000
1800.06/1800.70	v -x8001 x8002 -x8003 x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x801 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017
1800.06/1800.70	v -x8018 -x8019 -x802 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x803 -x8030 -x8031 -x8032 -x8033
1800.06/1800.70	v -x8034 -x8035 -x8036 -x8037 -x8038 x8039 -x804 -x8040 -x8041 -x8042 -x8043 -x8044 x8045 -x8046 -x8047 x8048 x8049 -x805
1800.06/1800.70	v -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x806 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065
1800.06/1800.70	v -x8066 -x8067 -x8068 -x8069 -x807 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x808 -x8080 -x8081
1800.06/1800.70	v -x8082 -x8083 x8084 x8085 x8086 x8087 x8088 x8089 -x809 -x8090 x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099
1800.06/1800.70	v -x81 -x810 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x811 -x8110 -x8111 -x8112 -x8113 -x8114
1800.06/1800.70	v -x8115 x8116 -x8117 -x8118 -x8119 -x812 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x813 -x8130
1800.06/1800.70	v -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 x8138 -x8139 x814 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147
1800.06/1800.70	v -x8148 -x8149 -x815 x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x816 -x8160 -x8161 -x8162 -x8163
1800.06/1800.70	v -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x817 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179
1800.06/1800.70	v -x818 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x819 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195
1800.06/1800.70	v -x8196 -x8197 -x8198 -x8199 -x82 -x820 -x8200 -x8201 -x8202 -x8203 -x8204 x8205 -x8206 -x8207 -x8208 -x8209 -x821 -x8210
1800.06/1800.70	v -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x822 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226
1800.06/1800.70	v -x8227 -x8228 -x8229 -x823 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 x8238 -x8239 -x824 -x8240 -x8241 -x8242
1800.06/1800.70	v -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 x8249 -x825 x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259
1800.06/1800.70	v -x826 -x8260 x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x827 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275
1800.06/1800.70	v -x8276 -x8277 -x8278 -x8279 -x828 -x8280 -x8281 -x8282 x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x829 -x8290 -x8291
1800.06/1800.70	v -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x83 -x830 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307
1800.06/1800.70	v -x8308 -x8309 -x831 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 x8316 -x8317 -x8318 -x8319 -x832 -x8320 -x8321 -x8322 -x8323
1800.06/1800.70	v -x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x833 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x834
1800.06/1800.70	v -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x835 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355
1800.06/1800.70	v -x8356 -x8357 -x8358 -x8359 -x836 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x837 -x8370 -x8371
1800.06/1800.70	v -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x838 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387
1800.06/1800.70	v -x8388 -x8389 -x839 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x84 -x840 -x8400 -x8401 -x8402
1800.06/1800.70	v -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x841 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418
1800.06/1800.70	v -x8419 -x842 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x843 -x8430 -x8431 -x8432 -x8433 -x8434
1800.06/1800.70	v -x8435 -x8436 -x8437 -x8438 -x8439 -x844 x8440 x8441 x8442 -x8443 -x8444 -x8445 x8446 -x8447 -x8448 -x8449 -x845 -x8450
1800.06/1800.70	v -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 x8458 -x8459 -x846 -x8460 -x8461 x8462 x8463 -x8464 -x8465 x8466 -x8467
1800.06/1800.70	v x8468 -x8469 -x847 x8470 -x8471 -x8472 x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x848 -x8480 -x8481 -x8482 -x8483
1800.06/1800.70	v x8484 x8485 x8486 x8487 x8488 x8489 -x849 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x85 -x850
1800.06/1800.70	v -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 x8506 -x8507 -x8508 -x8509 -x851 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516
1800.06/1800.70	v x8517 -x8518 -x8519 -x852 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 x8528 -x8529 -x853 -x8530 -x8531 -x8532
1800.06/1800.70	v -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x854 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548
1800.06/1800.70	v -x8549 -x855 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x856 -x8560 -x8561 -x8562 -x8563 -x8564
1800.06/1800.70	v -x8565 -x8566 -x8567 -x8568 -x8569 -x857 -x8570 -x8571 x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 x858 -x8580
1800.06/1800.70	v -x8581 -x8582 -x8583 x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x859 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597
1800.06/1800.70	v -x8598 -x8599 -x86 -x860 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x861 -x8610 -x8611 -x8612
1800.06/1800.70	v -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 x862 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 x8628 -x8629
1800.06/1800.70	v -x863 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 x8639 -x864 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645
1800.06/1800.70	v -x8646 -x8647 -x8648 -x8649 -x865 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x866 -x8660 -x8661
1800.06/1800.70	v -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x867 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677
1800.06/1800.70	v -x8678 -x8679 -x868 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x869 -x8690 -x8691 -x8692 -x8693
1800.06/1800.70	v -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x87 -x870 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 -x8707 -x8708 -x8709
1800.06/1800.70	v -x871 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x872 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725
1800.06/1800.70	v -x8726 -x8727 -x8728 -x8729 -x873 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 x8739 -x874 -x8740 -x8741
1800.06/1800.70	v -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x875 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757
1800.06/1800.70	v -x8758 -x8759 -x876 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x877 -x8770 -x8771 -x8772 -x8773
1800.06/1800.70	v -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x878 -x8780 -x8781 -x8782 x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x879
1800.06/1800.70	v -x8790 -x8791 -x8792 -x8793 x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x88 -x880 -x8800 -x8801 -x8802 -x8803 -x8804 x8805
1800.06/1800.70	v x8806 -x8807 -x8808 -x8809 -x881 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x882 -x8820 -x8821
1800.06/1800.70	v -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x883 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837
1800.06/1800.70	v -x8838 -x8839 -x884 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x885 -x8850 -x8851 -x8852 -x8853
1800.06/1800.70	v -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x886 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869
1800.06/1800.70	v -x887 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x888 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885
1800.06/1800.70	v -x8886 -x8887 -x8888 -x8889 -x889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x89 -x890 -x8900
1800.06/1800.70	v -x8901 -x8902 -x8903 -x8904 x8905 -x8906 -x8907 -x8908 -x8909 -x891 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 x8917
1800.06/1800.70	v -x8918 -x8919 x892 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x893 -x8930 -x8931 -x8932 -x8933
1800.06/1800.70	v -x8934 -x8935 -x8936 -x8937 -x8938 x8939 -x894 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x895
1800.06/1800.70	v x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x896 -x8960 x8961 -x8962 -x8963 -x8964 -x8965 -x8966
1800.06/1800.70	v -x8967 -x8968 -x8969 -x897 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x898 -x8980 -x8981 -x8982
1800.06/1800.70	v -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x899 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998
1800.06/1800.70	v -x8999 -x9 -x90 -x900 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x901 -x9010 -x9011 -x9012
1800.06/1800.70	v -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x902 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 x9028 -x9029
1800.06/1800.70	v -x903 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x904 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045
1800.06/1800.70	v -x9046 -x9047 -x9048 -x9049 -x905 x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x906 -x9060 -x9061
1800.06/1800.70	v -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x907 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077
1800.06/1800.70	v -x9078 -x9079 -x908 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x909 -x9090 -x9091 -x9092 -x9093
1800.06/1800.70	v -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x91 -x910 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109
1800.06/1800.70	v -x911 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x912 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125
1800.06/1800.70	v -x9126 -x9127 -x9128 -x9129 -x913 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 x9138 x9139 -x914 -x9140 -x9141
1800.06/1800.70	v -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x915 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157
1800.06/1800.70	v -x9158 -x9159 -x916 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x917 -x9170 -x9171 -x9172 -x9173
1800.06/1800.70	v -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x918 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189
1800.06/1800.70	v -x919 -x9190 -x9191 -x9192 -x9193 x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x92 -x920 -x9200 -x9201 -x9202 -x9203 -x9204
1800.06/1800.70	v -x9205 -x9206 -x9207 -x9208 -x9209 -x921 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x922 -x9220
1800.06/1800.70	v -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 x9227 -x9228 -x9229 -x923 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237
1800.06/1800.70	v x9238 -x9239 -x924 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x925 x9250 -x9251 -x9252 -x9253
1800.06/1800.70	v -x9254 x9255 -x9256 -x9257 -x9258 -x9259 -x926 x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x927
1800.06/1800.70	v -x9270 -x9271 x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x928 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286
1800.06/1800.70	v -x9287 -x9288 -x9289 -x929 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x93 -x930 -x9300 -x9301
1800.06/1800.70	v -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x931 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 x9316 -x9317 -x9318
1800.06/1800.70	v -x9319 -x932 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x933 -x9330 -x9331 -x9332 -x9333 -x9334
1800.06/1800.70	v -x9335 -x9336 -x9337 -x9338 -x9339 -x934 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x935 -x9350
1800.06/1800.70	v -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x936 -x9360 x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367
1800.06/1800.70	v -x9368 -x9369 -x937 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x938 -x9380 -x9381 -x9382 -x9383
1800.06/1800.70	v -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x939 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399
1800.06/1800.70	v -x94 -x940 -x9400 -x9401 -x9402 -x9403 -x9404 x9405 -x9406 -x9407 -x9408 -x9409 -x941 -x9410 -x9411 -x9412 -x9413 -x9414
1800.06/1800.70	v -x9415 x9416 -x9417 -x9418 -x9419 -x942 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x943 -x9430
1800.06/1800.70	v -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 x9438 -x9439 -x944 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447
1800.06/1800.70	v -x9448 -x9449 -x945 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x946 x9460 -x9461 -x9462 -x9463
1800.06/1800.70	v -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x947 -x9470 -x9471 x9472 x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x948
1800.06/1800.70	v -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x949 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495
1800.06/1800.70	v -x9496 -x9497 -x9498 -x9499 -x95 -x950 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 x9506 -x9507 -x9508 -x9509 -x951 -x9510
1800.06/1800.70	v -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x952 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526
1800.06/1800.70	v -x9527 -x9528 -x9529 -x953 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x954 -x9540 -x9541 -x9542
1800.06/1800.70	v -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x955 x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559
1800.06/1800.70	v -x956 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x957 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575
1800.06/1800.70	v -x9576 -x9577 -x9578 -x9579 -x958 -x9580 -x9581 -x9582 -x9583 x9584 -x9585 -x9586 -x9587 -x9588 x9589 -x959 -x9590 -x9591
1800.06/1800.70	v -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x96 -x960 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607
1800.06/1800.70	v -x9608 -x9609 -x961 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 x9617 -x9618 -x9619 -x962 -x9620 -x9621 -x9622 -x9623
1800.06/1800.70	v -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x963 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639
1800.06/1800.70	v -x964 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x965 x9650 -x9651 -x9652 -x9653 -x9654 -x9655
1800.06/1800.70	v -x9656 -x9657 -x9658 -x9659 -x966 -x9660 x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x967 -x9670 -x9671
1800.06/1800.70	v -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x968 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687
1800.06/1800.70	v -x9688 -x9689 -x969 -x9690 -x9691 -x9692 -x9693 x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x97 -x970 -x9700 -x9701 -x9702
1800.06/1800.70	v -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x971 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718
1800.06/1800.70	v -x9719 -x972 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x973 -x9730 -x9731 -x9732 -x9733 -x9734
1800.06/1800.70	v -x9735 -x9736 -x9737 -x9738 -x9739 -x974 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x975 -x9750
1800.06/1800.70	v -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x976 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766
1800.06/1800.70	v -x9767 -x9768 -x9769 -x977 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x978 -x9780 -x9781 -x9782
1800.06/1800.70	v -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x979 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798
1800.06/1800.70	v -x9799 -x98 x980 -x9800 x9801 x9802 -x9803 -x9804 -x9805 x9806 -x9807 -x9808 -x9809 -x981 -x9810 -x9811 -x9812 -x9813 -x9814
1800.06/1800.70	v -x9815 -x9816 -x9817 -x9818 -x9819 -x982 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x983 -x9830
1800.06/1800.70	v -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 x9839 -x984 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847
1800.06/1800.70	v -x9848 -x9849 -x985 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x986 -x9860 -x9861 -x9862 -x9863
1800.06/1800.70	v -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x987 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879
1800.06/1800.70	v -x988 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x989 -x9890 -x9891 -x9892 -x9893 x9894 -x9895
1800.06/1800.70	v -x9896 -x9897 -x9898 -x9899 -x99 -x990 -x9900 -x9901 -x9902 -x9903 -x9904 x9905 -x9906 -x9907 -x9908 -x9909 -x991 -x9910
1800.06/1800.70	v -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 x9917 -x9918 -x9919 -x992 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927
1800.06/1800.70	v x9928 -x9929 -x993 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x994 -x9940 -x9941 -x9942 -x9943
1800.06/1800.70	v -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x995 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959
1800.06/1800.70	v -x996 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x997 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975
1800.06/1800.70	v -x9976 -x9977 -x9978 -x9979 -x998 -x9980 -x9981 -x9982 x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x999 -x9990 -x9991
1800.06/1800.70	v -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999

Verifier Data (download as text)

OK	127853

Conversion Script Data (download as text)

/tmp/evaluation/458479-1178626761/instance-458479-1178626761.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-458479-1178626761 -o ROOT/results/node33/solver-458479-1178626761 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458479-1178626761/instance-458479-1178626761.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: 0.92 0.98 0.99 3/77 6390
/proc/meminfo: memFree=1607256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=2768 CPUtime=0
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 472 0 0 0 0 0 0 0 18 0 1 0 310591621 2834432 454 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134801856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 692 454 84 219 0 469 0

[startup+0.0992181 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6390
/proc/meminfo: memFree=1607256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=3460 CPUtime=0.09
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 310591621 3543040 621 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 865 621 86 219 0 642 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3460

[startup+0.101218 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6390
/proc/meminfo: memFree=1607256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=3460 CPUtime=0.09
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 310591621 3543040 621 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 865 621 86 219 0 642 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3460

[startup+0.30126 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6390
/proc/meminfo: memFree=1607256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=3460 CPUtime=0.29
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 639 0 0 0 29 0 0 0 19 0 1 0 310591621 3543040 621 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 865 621 86 219 0 642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3460

[startup+0.701341 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 6390
/proc/meminfo: memFree=1607256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=4116 CPUtime=0.69
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 1251 0 0 0 69 0 0 0 23 0 1 0 310591621 4214784 771 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 1029 771 86 219 0 806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4116

[startup+1.50151 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6391
/proc/meminfo: memFree=1602832/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=8468 CPUtime=1.49
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 2481 0 0 0 149 0 0 0 25 0 1 0 310591621 8671232 1884 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 2117 1884 86 219 0 1894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8468

[startup+3.10184 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 6391
/proc/meminfo: memFree=1594832/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=14240 CPUtime=3.09
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 3969 0 0 0 307 2 0 0 25 0 1 0 310591621 14581760 3244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 3560 3244 102 219 0 3337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14240

[startup+6.30149 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1594256/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=14240 CPUtime=6.29
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 3969 0 0 0 624 5 0 0 25 0 1 0 310591621 14581760 3244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 3560 3244 102 219 0 3337 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14240

[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1584728/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=12.68
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 6405 0 0 0 1256 12 0 0 25 0 1 0 310591621 30310400 5680 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 5680 102 219 0 7177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29600

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1584536/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=25.48
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 6453 0 0 0 2529 19 0 0 25 0 1 0 310591621 30310400 5728 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 5728 102 219 0 7177 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29600

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1584152/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=51.07
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 6546 0 0 0 5088 19 0 0 25 0 1 0 310591621 30310400 5821 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 5821 102 219 0 7177 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29600

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1583192/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=102.25
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 6792 0 0 0 10206 19 0 0 25 0 1 0 310591621 30310400 6067 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 6067 102 219 0 7177 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29600

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1581784/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=162.23
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 7150 0 0 0 16203 20 0 0 25 0 1 0 310591621 30310400 6425 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 6425 102 219 0 7177 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29600

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1580184/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=29600 CPUtime=222.21
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 7541 0 0 0 22199 22 0 0 25 0 1 0 310591621 30310400 6816 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 7400 6816 102 219 0 7177 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29600

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1574488/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=45984 CPUtime=282.19
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 8947 0 0 0 28196 23 0 0 25 0 1 0 310591621 47087616 8222 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 11496 8222 102 219 0 11273 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 45984

[startup+342.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 6391
/proc/meminfo: memFree=1568152/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=45984 CPUtime=342.17
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 10525 0 0 0 34192 25 0 0 25 0 1 0 310591621 47087616 9800 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 11496 9800 102 219 0 11273 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 45984

[startup+402.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 6391
/proc/meminfo: memFree=1566552/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=45984 CPUtime=402.14
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 10937 0 0 0 40189 25 0 0 25 0 1 0 310591621 47087616 10212 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 11496 10212 102 219 0 11273 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 45984

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1563800/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=45984 CPUtime=462.12
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 11615 0 0 0 46186 26 0 0 25 0 1 0 310591621 47087616 10890 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 11496 10890 102 219 0 11273 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 45984

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1561368/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=522.11
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 12274 0 0 0 52183 28 0 0 25 0 1 0 310591621 80642048 11549 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 11549 102 219 0 19465 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 78752

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1558808/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=582.08
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 12850 0 0 0 58179 29 0 0 25 0 1 0 310591621 80642048 12125 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 12125 102 219 0 19465 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 78752

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1556312/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=642.06
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 13470 0 0 0 64177 29 0 0 25 0 1 0 310591621 80642048 12745 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 12745 102 219 0 19465 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 78752


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1547288/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=881.97
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 15721 0 0 0 88164 33 0 0 25 0 1 0 310591621 80642048 14996 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 14996 102 219 0 19465 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 78752

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1543896/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=941.96
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 16573 0 0 0 94160 36 0 0 25 0 1 0 310591621 80642048 15848 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 15848 102 219 0 19465 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 78752

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1540888/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1001.93
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 17342 0 0 0 100156 37 0 0 25 0 1 0 310591621 80642048 16617 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 16617 102 219 0 19465 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 78752

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537752/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1061.91
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18118 0 0 0 106152 39 0 0 25 0 1 0 310591621 80642048 17393 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17393 102 219 0 19465 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 78752

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537688/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1121.89
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18118 0 0 0 112150 39 0 0 25 0 1 0 310591621 80642048 17393 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17393 102 219 0 19465 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 78752

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537688/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1181.86
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18126 0 0 0 118147 39 0 0 25 0 1 0 310591621 80642048 17401 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17401 102 219 0 19465 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 78752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537688/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1241.85
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18128 0 0 0 124145 40 0 0 25 0 1 0 310591621 80642048 17403 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17403 102 219 0 19465 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 78752

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537688/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1301.83
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18133 0 0 0 130143 40 0 0 25 0 1 0 310591621 80642048 17408 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17408 102 219 0 19465 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 78752

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537688/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1361.8
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18133 0 0 0 136140 40 0 0 25 0 1 0 310591621 80642048 17408 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17408 102 219 0 19465 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 78752

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6391
/proc/meminfo: memFree=1537624/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1421.79
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18141 0 0 0 142138 41 0 0 25 0 1 0 310591621 80642048 17416 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17416 102 219 0 19465 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 78752

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537496/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1481.76
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18143 0 0 0 148135 41 0 0 25 0 1 0 310591621 80642048 17418 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17418 102 219 0 19465 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 78752

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537624/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1541.74
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18146 0 0 0 154133 41 0 0 25 0 1 0 310591621 80642048 17421 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17421 102 219 0 19465 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 78752

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537624/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1601.72
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18156 0 0 0 160130 42 0 0 25 0 1 0 310591621 80642048 17431 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17431 102 219 0 19465 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 78752

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537496/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1661.7
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18171 0 0 0 166128 42 0 0 25 0 1 0 310591621 80642048 17446 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17446 102 219 0 19465 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 78752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537304/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1721.68
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18228 0 0 0 172126 42 0 0 25 0 1 0 310591621 80642048 17503 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17503 102 219 0 19465 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 78752

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1537112/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1781.66
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18261 0 0 0 178123 43 0 0 25 0 1 0 310591621 80642048 17536 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17536 102 219 0 19465 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 78752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1536984/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1800.06
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18291 0 0 0 179963 43 0 0 25 0 1 0 310591621 80642048 17566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17566 102 219 0 19465 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 78752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6393
/proc/meminfo: memFree=1536984/2055920 swapFree=4147912/4192956
[pid=6390] ppid=6388 vsize=78752 CPUtime=1800.06
/proc/6390/stat : 6390 (PBS4_SAT07v2) R 6388 6390 5634 0 -1 4194304 18291 0 0 0 179963 43 0 0 25 0 1 0 310591621 80642048 17566 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6390/statm: 19688 17566 102 219 0 19465 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 78752

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.09
CPU user time (s): 1799.64
CPU system time (s): 0.446932
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 78752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.446932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18294
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= 10
involuntary context switches= 38075

runsolver used 1.49377 second user time and 3.68544 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Tue May  8 12:19:21 UTC 2007

IDJOB= 458479
IDBENCH= 1591
IDSOLVER= 200
FILE ID= node33/458479-1178626761

PBS_JOBID= 5218276

Free space on /tmp= 66559 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-seymour1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458479-1178626761/instance-458479-1178626761.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-458479-1178626761 -o ROOT/results/node33/conversion-458479-1178626761 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458479-1178626761/instance-458479-1178626761.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-458479-1178626761 -o ROOT/results/node33/solver-458479-1178626761 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/458479-1178626761/instance-458479-1178626761.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  6c96e127d2f61e098d2015d63d4a25a7

RANDOM SEED= 902327718

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1607728 kB
Buffers:         41468 kB
Cached:         282560 kB
SwapCached:      13796 kB
Active:          93148 kB
Inactive:       254312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1607728 kB
SwapTotal:     4192956 kB
SwapFree:      4147912 kB
Dirty:            5752 kB
Writeback:           0 kB
Mapped:          30520 kB
Slab:            86112 kB
Committed_AS:  5236852 kB
PageTables:       1992 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= 66559 MiB

End job on node33 on Tue May  8 12:49:24 UTC 2007