Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 5423 | 1800.48 | 1791.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-air05.opb |
MD5SUM | 2b7e03ead6dfd4071784021865da4458 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4324 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4324 |
Optimality of the best value was proved | NO |
Number of variables | 7195 |
Total number of constraints | 426 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 426 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 404 |
Number of terms in the objective function | 7195 |
Biggest coefficient in the objective function | 360 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 527812 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 360 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 527812 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/351586-1176605793/instance-351586-1176605793.opb 0.20/0.20 c reading problem ... 1.52/1.18 c ... done. Wall clock time 0.985s. 1.52/1.18 c CPU time (experimental) 0.85s. 1.52/1.18 c #vars 7195 1.52/1.18 c #constraints 852 2.78/1.99 c SATISFIABLE 2.78/1.99 c OPTIMIZING... 2.78/1.99 c Got one! Elapsed wall clock time (in seconds):1.793 2.93/2.06 o 6538 3.48/2.48 c Got one! Elapsed wall clock time (in seconds):2.28 3.59/2.54 o 5792 3.95/2.83 c Got one! Elapsed wall clock time (in seconds):2.63 3.95/2.88 o 5696 4.18/3.09 c Got one! Elapsed wall clock time (in seconds):2.896 4.29/3.15 o 5606 39.59/38.33 c Got one! Elapsed wall clock time (in seconds):38.127 39.59/38.38 o 5581 53.21/51.74 c Got one! Elapsed wall clock time (in seconds):51.542 53.21/51.80 o 5574 85.51/83.87 c Got one! Elapsed wall clock time (in seconds):83.666 85.61/83.92 o 5543 127.91/126.24 c Got one! Elapsed wall clock time (in seconds):126.039 127.91/126.29 o 5542 130.54/128.61 c Got one! Elapsed wall clock time (in seconds):128.412 130.54/128.66 o 5484 148.04/146.14 c Got one! Elapsed wall clock time (in seconds):145.941 148.04/146.19 o 5477 221.07/218.75 c Got one! Elapsed wall clock time (in seconds):218.549 221.07/218.80 o 5476 276.95/274.20 c Got one! Elapsed wall clock time (in seconds):274.001 276.95/274.25 o 5472 327.00/324.08 c Got one! Elapsed wall clock time (in seconds):323.877 327.10/324.13 o 5439 447.73/444.33 c Got one! Elapsed wall clock time (in seconds):444.128 447.73/444.38 o 5431 571.75/567.99 c Got one! Elapsed wall clock time (in seconds):567.795 571.85/568.05 o 5425 636.64/632.57 c Got one! Elapsed wall clock time (in seconds):632.372 636.73/632.62 o 5423 1467.72/1460.63 c cleaning 259789 clauses out of 519737 for limit 1.4095651450134017 1475.19/1468.08 c cleaning 130889 clauses out of 261948 for limit 20.686034687604973 1479.73/1472.59 c cleaning 66227 clauses out of 132559 for limit 183.3372772569398 1481.14/1473.97 c cleaning 33192 clauses out of 66833 for limit 600.2876923591859 1482.43/1475.28 c cleaning 16840 clauses out of 34140 for limit 1936.012931273468 1484.87/1477.60 c cleaning 8877 clauses out of 18302 for limit 9841.335036800081 1485.97/1478.72 c cleaning 4654 clauses out of 9924 for limit 29901.101538023973 1487.07/1479.84 c cleaning 2603 clauses out of 5770 for limit 84811.35800405947 1488.07/1480.89 c cleaning 1547 clauses out of 3666 for limit 219916.97089989798 1489.00/1481.72 c cleaning 1019 clauses out of 2619 for limit 507658.42048740486 1489.80/1482.57 c cleaning 752 clauses out of 2101 for limit 1044651.5163317845 1490.70/1483.48 c cleaning 640 clauses out of 1850 for limit 1958466.5655189932 1491.60/1484.35 c cleaning 579 clauses out of 1708 for limit 3491297.739943182 1492.50/1485.25 c cleaning 531 clauses out of 1631 for limit 6041512.844570122 1493.30/1486.09 c cleaning 782 clauses out of 1598 for limit 1.0148684528233353E7 1494.33/1487.01 c cleaning 485 clauses out of 1319 for limit 2.0337668045697935E7 1495.13/1487.85 c cleaning 649 clauses out of 1331 for limit 3.313753856738197E7 1496.02/1488.73 c cleaning 305 clauses out of 1182 for limit 6.153705555379014E7 1497.02/1489.79 c cleaning 681 clauses out of 1378 for limit 8.713554861237489E7 1498.33/1491.01 c cleaning 493 clauses out of 1197 for limit 1.6542697338671583E8 1500.64/1493.34 c cleaning 574 clauses out of 1705 for limit 3.1617125050647146E8 1501.74/1494.43 c cleaning 525 clauses out of 1629 for limit 5.446437689613672E8 1502.84/1495.50 c cleaning 517 clauses out of 1604 for limit 9.121896636533847E8 1503.84/1496.60 c cleaning 507 clauses out of 1587 for limit 1.520437144679729E9 1505.06/1497.75 c cleaning 753 clauses out of 1581 for limit 2.519439457138562E9 1506.06/1498.75 c cleaning 386 clauses out of 1328 for limit 4.946449829491502E9 1507.16/1499.80 c cleaning 439 clauses out of 1441 for limit 7.51015807079868E9 1508.06/1500.74 c cleaning 468 clauses out of 1502 for limit 1.1882258960682577E10 1509.99/1502.63 c cleaning 733 clauses out of 2035 for limit 2.3875408888232037E10 1510.88/1503.52 c cleaning 618 clauses out of 1801 for limit 4.4444998306385254E10 1511.68/1504.37 c cleaning 556 clauses out of 1684 for limit 7.846661510849637E10 1512.68/1505.31 c cleaning 526 clauses out of 1627 for limit 1.338014524649789E11 1513.58/1506.26 c cleaning 523 clauses out of 1602 for limit 2.2432427243900854E11 1514.60/1507.28 c cleaning 784 clauses out of 1578 for limit 3.75191642660568E11 1515.51/1508.16 c cleaning 365 clauses out of 1294 for limit 7.545391274635935E11 1516.51/1509.19 c cleaning 705 clauses out of 1430 for limit 1.127120641161512E12 1517.61/1510.24 c cleaning 606 clauses out of 1224 for limit 2.169433779183426E12 1518.50/1511.17 c cleaning 552 clauses out of 1118 for limit 3.9168947270155454E12 1519.50/1512.11 c cleaning 277 clauses out of 1066 for limit 6.774580148755504E12 1520.52/1513.15 c cleaning 526 clauses out of 1289 for limit 9.239374261656688E12 1521.52/1514.19 c cleaning 581 clauses out of 1265 for limit 1.5557143652322377E13 1522.42/1515.09 c cleaning 305 clauses out of 1182 for limit 2.7402474000781957E13 1523.52/1516.17 c cleaning 409 clauses out of 1379 for limit 3.8812167349397305E13 1524.72/1517.30 c cleaning 454 clauses out of 1469 for limit 6.002494087056284E13 1525.82/1518.42 c cleaning 745 clauses out of 1514 for limit 9.595089648496347E13 1526.94/1519.51 c cleaning 633 clauses out of 1271 for limit 1.8886621285838275E14 1527.94/1520.52 c cleaning 365 clauses out of 1136 for limit 3.477830041391781E14 1528.84/1521.44 c cleaning 356 clauses out of 1272 for limit 5.1273146930128856E14 1529.84/1522.40 c cleaning 421 clauses out of 1417 for limit 7.597971029253322E14 1530.84/1523.49 c cleaning 458 clauses out of 1496 for limit 1.1868389126457875E15 1531.96/1524.52 c cleaning 752 clauses out of 1536 for limit 1.902475261888982E-5 1532.86/1525.44 c cleaning 632 clauses out of 1287 for limit 3.75570186159707E-5 1533.85/1526.41 c cleaning 562 clauses out of 1153 for limit 6.899652410714988E-5 1534.75/1527.40 c cleaning 529 clauses out of 1090 for limit 1.2024067263996006E-4 1535.65/1528.29 c cleaning 499 clauses out of 1062 for limit 2.0372474227055819E-4 1536.65/1529.26 c cleaning 519 clauses out of 1064 for limit 3.3567350597680536E-4 1537.67/1530.23 c cleaning 492 clauses out of 1043 for limit 5.635873643125555E-4 1538.57/1531.11 c cleaning 228 clauses out of 1052 for limit 9.224019555318514E-4 1539.57/1532.10 c cleaning 376 clauses out of 1323 for limit 0.0012083631868101009 1540.57/1533.11 c cleaning 440 clauses out of 1448 for limit 0.001822548805477472 1541.57/1534.18 c cleaning 471 clauses out of 1509 for limit 0.0028870139863248797 1542.69/1535.21 c cleaning 485 clauses out of 1537 for limit 0.004669664030166337 1543.69/1536.26 c cleaning 493 clauses out of 1551 for limit 0.007623757617167387 1544.81/1537.31 c cleaning 493 clauses out of 1559 for limit 0.012520600590501578 1546.11/1538.67 c cleaning 499 clauses out of 1567 for limit 0.020563293734199867 1547.21/1539.80 c cleaning 494 clauses out of 1566 for limit 0.0338654445859892 1548.34/1540.86 c cleaning 501 clauses out of 1572 for limit 0.05563548577965513 1549.34/1541.80 c cleaning 500 clauses out of 1571 for limit 0.09180876135272674 1550.44/1542.91 c cleaning 499 clauses out of 1571 for limit 0.1514049294270072 1551.54/1544.02 c cleaning 498 clauses out of 1572 for limit 0.24952814925543687 1552.76/1545.23 c cleaning 504 clauses out of 1576 for limit 0.4112830244728183 1553.86/1546.35 c cleaning 498 clauses out of 1570 for limit 0.6794917822676612 1554.86/1547.37 c cleaning 502 clauses out of 1573 for limit 1.119555266708315 1555.96/1548.40 c cleaning 491 clauses out of 1572 for limit 1.849320215249356 1556.96/1549.42 c cleaning 489 clauses out of 1580 for limit 3.031300192064135 1558.08/1550.53 c cleaning 496 clauses out of 1592 for limit 4.966304789803293 1559.08/1551.53 c cleaning 502 clauses out of 1595 for limit 8.166521703710622 1560.18/1552.62 c cleaning 495 clauses out of 1592 for limit 13.47957252831256 1561.18/1553.69 c cleaning 502 clauses out of 1598 for limit 22.168321284807092 1562.38/1554.86 c cleaning 495 clauses out of 1595 for limit 36.5906622546131 1563.70/1556.13 c cleaning 515 clauses out of 1602 for limit 60.19956541389636 1565.00/1557.41 c cleaning 498 clauses out of 1586 for limit 100.17839284646179 1566.30/1558.74 c cleaning 494 clauses out of 1587 for limit 164.93836740946062 1567.50/1559.96 c cleaning 510 clauses out of 1593 for limit 270.9809303460359 1568.82/1561.25 c cleaning 505 clauses out of 1583 for limit 449.70682367417396 1569.92/1562.32 c cleaning 494 clauses out of 1580 for limit 744.5231667381729 1570.92/1563.37 c cleaning 491 clauses out of 1584 for limit 1222.2695404250164 1572.02/1564.41 c cleaning 496 clauses out of 1593 for limit 2004.2979280452703 1572.92/1565.39 c cleaning 495 clauses out of 1597 for limit 3297.0765020335575 1574.14/1566.51 c cleaning 503 clauses out of 1602 for limit 5420.349814163566 1575.24/1567.60 c cleaning 499 clauses out of 1600 for limit 8959.01458201917 1576.24/1568.64 c cleaning 497 clauses out of 1601 for limit 14765.385195530886 1577.34/1569.74 c cleaning 499 clauses out of 1603 for limit 24295.39509491065 1578.34/1570.77 c cleaning 520 clauses out of 1604 for limit 40041.37766594679 1579.46/1571.89 c cleaning 510 clauses out of 1585 for limit 66892.05029063737 1580.36/1572.77 c cleaning 501 clauses out of 1574 for limit 110973.79075742081 1581.16/1573.58 c cleaning 498 clauses out of 1573 for limit 183126.97173009228 1581.95/1574.34 c cleaning 501 clauses out of 1575 for limit 301617.3814967234 1582.86/1575.25 c cleaning 501 clauses out of 1574 for limit 497723.42661354993 1583.67/1576.03 c cleaning 500 clauses out of 1574 for limit 821634.1488833997 1584.37/1576.79 c cleaning 497 clauses out of 1573 for limit 1354490.1832727746 1585.37/1577.74 c cleaning 492 clauses out of 1577 for limit 2230300.028267086 1586.37/1578.75 c cleaning 790 clauses out of 1585 for limit 3659498.7544169896 1587.18/1579.58 c cleaning 645 clauses out of 1294 for limit 7384786.926732023 1588.10/1580.45 c cleaning 551 clauses out of 1149 for limit 1.371538818130918E7 1589.20/1581.53 c cleaning 493 clauses out of 1098 for limit 2.3669096449251708E7 1590.40/1582.74 c cleaning 474 clauses out of 1107 for limit 3.8793709484337E7 1591.10/1583.45 c cleaning 463 clauses out of 1134 for limit 6.2515293470623456E7 1591.93/1584.22 c cleaning 478 clauses out of 1168 for limit 9.979501269071999E7 1592.53/1584.87 c cleaning 475 clauses out of 1191 for limit 1.615586880561999E8 1593.23/1585.55 c cleaning 496 clauses out of 1217 for limit 2.6100083686093333E8 1594.03/1586.32 c cleaning 515 clauses out of 1219 for limit 4.288600934790948E8 1594.93/1587.22 c cleaning 497 clauses out of 1205 for limit 7.161808321874958E8 1595.75/1588.05 c cleaning 493 clauses out of 1207 for limit 1.177941833054244E9 1596.75/1589.00 c cleaning 593 clauses out of 1215 for limit 1.9317247153238478E9 1597.75/1590.04 c cleaning 525 clauses out of 1122 for limit 3.4497255433599715E9 1598.75/1591.09 c cleaning 535 clauses out of 1097 for limit 5.818709302556624E9 1599.77/1592.06 c cleaning 514 clauses out of 1061 for limit 9.911497589524231E9 1600.67/1592.99 c cleaning 459 clauses out of 1047 for limit 1.656394839990989E10 1601.77/1594.03 c cleaning 442 clauses out of 1088 for limit 2.6286789187753098E10 1602.77/1595.03 c cleaning 469 clauses out of 1147 for limit 4.116171094052274E10 1603.77/1596.05 c cleaning 479 clauses out of 1181 for limit 6.61251029360702E10 1604.77/1597.06 c cleaning 496 clauses out of 1198 for limit 1.070723366864513E11 1605.90/1598.13 c cleaning 495 clauses out of 1202 for limit 1.7598899773554126E11 1606.90/1599.16 c cleaning 493 clauses out of 1209 for limit 2.891269636296468E11 1607.99/1600.26 c cleaning 490 clauses out of 1215 for limit 4.739799747575106E11 1609.19/1601.49 c cleaning 501 clauses out of 1224 for limit 7.751330039403491E11 1610.40/1602.64 c cleaning 602 clauses out of 1223 for limit 1.2793432339961729E12 1611.50/1603.80 c cleaning 549 clauses out of 1122 for limit 2.302030511465495E12 1612.62/1604.84 c cleaning 520 clauses out of 1072 for limit 3.9694517044511426E12 1613.72/1605.92 c cleaning 513 clauses out of 1052 for limit 6.670608536183021E12 1614.71/1606.98 c cleaning 427 clauses out of 1039 for limit 1.1138367274908031E13 1615.81/1608.01 c cleaning 454 clauses out of 1112 for limit 1.7162801574421043E13 1616.83/1609.01 c cleaning 565 clauses out of 1158 for limit 2.7179426980784605E13 1617.83/1610.06 c cleaning 531 clauses out of 1093 for limit 4.748807670834901E13 1618.93/1611.12 c cleaning 520 clauses out of 1063 for limit 8.060498045299366E13 1619.83/1612.08 c cleaning 508 clauses out of 1042 for limit 1.3547176772142906E14 1620.83/1613.07 c cleaning 407 clauses out of 1034 for limit 2.2513958696331656E14 1621.85/1614.05 c cleaning 461 clauses out of 1128 for limit 3.406855416177592E14 1622.84/1615.05 c cleaning 574 clauses out of 1166 for limit 5.4298224318878894E14 1623.94/1616.15 c cleaning 431 clauses out of 1092 for limit 9.561310597910842E14 1624.85/1617.08 c cleaning 471 clauses out of 1162 for limit 1.4832840800871095E15 1625.95/1618.10 c cleaning 587 clauses out of 1191 for limit 2.3865722640936927E-5 1627.17/1619.39 c cleaning 543 clauses out of 1104 for limit 4.245933267842824E-5 1628.17/1620.39 c cleaning 523 clauses out of 1060 for limit 7.285472908182241E-5 1629.37/1621.54 c cleaning 506 clauses out of 1037 for limit 1.2281198289531897E-4 1630.37/1622.56 c cleaning 512 clauses out of 1033 for limit 2.037248885412118E-4 1631.37/1623.60 c cleaning 499 clauses out of 1019 for limit 3.3990463743060117E-4 1632.38/1624.50 c cleaning 475 clauses out of 1021 for limit 5.60010191296315E-4 1633.28/1625.47 c cleaning 409 clauses out of 1046 for limit 9.014587843579195E-4 1634.38/1626.55 c cleaning 449 clauses out of 1136 for limit 0.0013674788041118573 1635.48/1627.61 c cleaning 480 clauses out of 1189 for limit 0.002158947048961608 1636.48/1628.65 c cleaning 486 clauses out of 1208 for limit 0.0035008885586051467 1637.48/1629.66 c cleaning 492 clauses out of 1221 for limit 0.0057062518011391375 1638.60/1630.78 c cleaning 498 clauses out of 1229 for limit 0.009349117112212502 1639.71/1631.89 c cleaning 492 clauses out of 1231 for limit 0.015392895356990738 1640.91/1633.00 c cleaning 503 clauses out of 1242 for limit 0.02523574883968769 1641.91/1634.00 c cleaning 498 clauses out of 1237 for limit 0.041701814882648625 1642.81/1634.96 c cleaning 502 clauses out of 1238 for limit 0.06864760440500674 1643.82/1635.97 c cleaning 498 clauses out of 1236 for limit 0.11339226939480537 1644.92/1637.00 c cleaning 499 clauses out of 1238 for limit 0.1866969229975407 1645.83/1637.99 c cleaning 498 clauses out of 1240 for limit 0.3076993073237737 1646.93/1639.06 c cleaning 508 clauses out of 1241 for limit 0.506521398733763 1648.02/1640.13 c cleaning 501 clauses out of 1233 for limit 0.8407413144654567 1649.04/1641.19 c cleaning 492 clauses out of 1233 for limit 1.387882782697076 1650.04/1642.12 c cleaning 503 clauses out of 1240 for limit 2.2736078227317456 1651.14/1643.24 c cleaning 500 clauses out of 1237 for limit 3.75857678843735 1652.14/1644.22 c cleaning 500 clauses out of 1237 for limit 6.198395937540254 1653.04/1645.19 c cleaning 503 clauses out of 1237 for limit 10.221984107577304 1654.14/1646.22 c cleaning 500 clauses out of 1234 for limit 16.898401646675243 1655.16/1647.29 c cleaning 499 clauses out of 1235 for limit 27.873033016644076 1656.16/1648.29 c cleaning 493 clauses out of 1239 for limit 45.95569122724827 1657.16/1649.29 c cleaning 495 clauses out of 1242 for limit 75.30205932337356 1658.16/1650.28 c cleaning 500 clauses out of 1248 for limit 123.70984492943523 1659.26/1651.31 c cleaning 503 clauses out of 1247 for limit 203.97351012431338 1660.18/1652.29 c cleaning 499 clauses out of 1245 for limit 337.2572313581784 1661.18/1653.25 c cleaning 501 clauses out of 1245 for limit 555.6261096828887 1662.08/1654.20 c cleaning 501 clauses out of 1244 for limit 917.038362195964 1663.08/1655.15 c cleaning 496 clauses out of 1244 for limit 1513.8327712296514 1663.98/1656.09 c cleaning 495 clauses out of 1247 for limit 2488.016204846772 1664.98/1657.02 c cleaning 512 clauses out of 1252 for limit 4086.6854941045326 1666.00/1658.04 c cleaning 505 clauses out of 1244 for limit 6810.031157150917 1667.10/1659.17 c cleaning 493 clauses out of 1235 for limit 11267.313067737274 1668.20/1660.28 c cleaning 502 clauses out of 1243 for limit 18480.196693193142 1669.30/1661.35 c cleaning 500 clauses out of 1242 for limit 30531.386066713927 1670.30/1662.40 c cleaning 500 clauses out of 1240 for limit 50330.737596655665 1671.50/1663.53 c cleaning 506 clauses out of 1242 for limit 83034.44647355737 1672.61/1664.63 c cleaning 497 clauses out of 1236 for limit 137599.64295909408 1673.81/1665.81 c cleaning 498 clauses out of 1237 for limit 226283.5281845164 1674.71/1666.78 c cleaning 496 clauses out of 1239 for limit 372569.43384259194 1675.81/1667.87 c cleaning 498 clauses out of 1243 for limit 612439.6316175408 1677.01/1669.05 c cleaning 502 clauses out of 1245 for limit 1008372.4015052909 1678.13/1670.17 c cleaning 499 clauses out of 1246 for limit 1666601.1695146642 1679.13/1671.12 c cleaning 620 clauses out of 1244 for limit 2744616.664406933 1680.13/1672.17 c cleaning 562 clauses out of 1125 for limit 5010025.687493932 1681.14/1673.14 c cleaning 499 clauses out of 1063 for limit 8744099.63444354 1682.03/1674.08 c cleaning 407 clauses out of 1063 for limit 1.4405769871856662E7 1683.03/1675.03 c cleaning 450 clauses out of 1156 for limit 2.1845791794513263E7 1684.06/1676.07 c cleaning 476 clauses out of 1207 for limit 3.4538919962057225E7 1685.06/1677.06 c cleaning 612 clauses out of 1230 for limit 5.5838312751282945E7 1686.06/1678.09 c cleaning 551 clauses out of 1118 for limit 1.0130980554608682E8 1687.06/1679.04 c cleaning 529 clauses out of 1067 for limit 1.750591248018843E8 1687.96/1679.95 c cleaning 507 clauses out of 1038 for limit 2.967616012975975E8 1688.86/1680.88 c cleaning 511 clauses out of 1031 for limit 4.9272237115340924E8 1689.88/1681.89 c cleaning 506 clauses out of 1020 for limit 8.21328062268933E8 1690.88/1682.85 c cleaning 403 clauses out of 1014 for limit 1.3624945236524365E9 1691.77/1683.73 c cleaning 429 clauses out of 1113 for limit 2.0511738284956577E9 1692.67/1684.66 c cleaning 466 clauses out of 1183 for limit 3.1793201425977564E9 1693.67/1685.65 c cleaning 484 clauses out of 1216 for limit 5.095734668074519E9 1694.67/1686.65 c cleaning 485 clauses out of 1232 for limit 8.294411173714926E9 1695.69/1687.62 c cleaning 619 clauses out of 1248 for limit 1.3516743790697012E10 1696.50/1688.49 c cleaning 563 clauses out of 1131 for limit 2.464614350126515E10 1697.49/1689.49 c cleaning 406 clauses out of 1065 for limit 4.303425824043033E10 1698.59/1690.53 c cleaning 451 clauses out of 1159 for limit 6.521333048692409E10 1699.59/1691.51 c cleaning 467 clauses out of 1209 for limit 1.0320100209319968E11 1700.49/1692.47 c cleaning 488 clauses out of 1243 for limit 1.6570266199232996E11 1701.41/1693.36 c cleaning 624 clauses out of 1254 for limit 2.7059791922242767E11 1702.31/1694.21 c cleaning 445 clauses out of 1130 for limit 4.9522143327405066E11 1703.31/1695.20 c cleaning 466 clauses out of 1184 for limit 7.786594328326139E11 1704.32/1696.21 c cleaning 604 clauses out of 1218 for limit 1.248268037087485E12 1705.21/1697.19 c cleaning 553 clauses out of 1114 for limit 2.25074261926719E12 1706.21/1698.14 c cleaning 402 clauses out of 1063 for limit 3.8976485070225557E12 1707.33/1699.21 c cleaning 465 clauses out of 1160 for limit 5.884361184734144E12 1708.43/1700.30 c cleaning 483 clauses out of 1195 for limit 9.419878322747777E12 1709.33/1701.25 c cleaning 484 clauses out of 1211 for limit 1.5314063035293506E13 1710.33/1702.23 c cleaning 614 clauses out of 1231 for limit 2.4944250240690465E13 1711.23/1703.15 c cleaning 547 clauses out of 1113 for limit 4.531595983734261E13 1712.25/1704.15 c cleaning 416 clauses out of 1066 for limit 7.802702164736486E13 1713.05/1704.99 c cleaning 455 clauses out of 1151 for limit 1.1929364530854347E14 1714.05/1705.98 c cleaning 480 clauses out of 1196 for limit 1.8932908704171947E14 1714.95/1706.81 c cleaning 487 clauses out of 1217 for limit 3.071484591071052E14 1715.75/1707.67 c cleaning 608 clauses out of 1228 for limit 5.009881064881751E14 1716.67/1708.51 c cleaning 440 clauses out of 1120 for limit 9.058653479884732E14 1717.48/1709.39 c cleaning 468 clauses out of 1180 for limit 1.4179324750261938E15 1718.37/1710.29 c cleaning 482 clauses out of 1212 for limit 2.276621452094592E15 1719.37/1711.21 c cleaning 614 clauses out of 1231 for limit 3.7002050324844055E15 1720.40/1712.23 c cleaning 528 clauses out of 1116 for limit 6.724206204404513E-5 1721.20/1713.04 c cleaning 538 clauses out of 1089 for limit 1.1375427756931829E-4 1722.10/1713.95 c cleaning 500 clauses out of 1050 for limit 1.9436930983974122E-4 1723.10/1714.96 c cleaning 512 clauses out of 1051 for limit 3.205565640770604E-4 1724.10/1715.94 c cleaning 501 clauses out of 1038 for limit 5.347261364663994E-4 1725.12/1716.93 c cleaning 404 clauses out of 1040 for limit 8.827848039456219E-4 1726.11/1717.96 c cleaning 447 clauses out of 1133 for limit 0.00133232638871877 1727.11/1718.97 c cleaning 471 clauses out of 1187 for limit 0.0020993276193972707 1728.21/1720.01 c cleaning 481 clauses out of 1216 for limit 0.0033795062234837987 1729.22/1721.06 c cleaning 485 clauses out of 1235 for limit 0.005487515436090025 1730.34/1722.13 c cleaning 495 clauses out of 1249 for limit 0.008939261654091486 1731.34/1723.13 c cleaning 496 clauses out of 1255 for limit 0.014686244720769985 1732.34/1724.19 c cleaning 501 clauses out of 1258 for limit 0.024137663060011368 1733.44/1725.21 c cleaning 501 clauses out of 1258 for limit 0.03984608154629874 1734.33/1726.19 c cleaning 510 clauses out of 1256 for limit 0.06575033900483425 1735.45/1727.28 c cleaning 500 clauses out of 1247 for limit 0.109323010104812 1736.55/1728.31 c cleaning 498 clauses out of 1246 for limit 0.18025252930574515 1737.65/1729.44 c cleaning 499 clauses out of 1248 for limit 0.29678415551530973 1738.65/1730.43 c cleaning 500 clauses out of 1251 for limit 0.4892410591020896 1739.58/1731.40 c cleaning 513 clauses out of 1249 for limit 0.8065004841485489 1740.78/1732.51 c cleaning 497 clauses out of 1237 for limit 1.3442739104438055 1741.88/1733.61 c cleaning 500 clauses out of 1240 for limit 2.2115240745390228 1742.88/1734.61 c cleaning 497 clauses out of 1242 for limit 3.648519496453719 1743.98/1735.76 c cleaning 494 clauses out of 1243 for limit 6.000038014793041 1745.09/1736.90 c cleaning 502 clauses out of 1250 for limit 9.849303414533674 1746.09/1737.88 c cleaning 492 clauses out of 1247 for limit 16.265613600498135 1747.19/1738.95 c cleaning 501 clauses out of 1254 for limit 26.64776215367504 1748.49/1740.20 c cleaning 501 clauses out of 1253 for limit 43.98079707121091 1749.71/1741.40 c cleaning 497 clauses out of 1253 for limit 72.60282083703346 1750.81/1742.57 c cleaning 493 clauses out of 1255 for limit 119.42141564293694 1752.01/1743.72 c cleaning 496 clauses out of 1262 for limit 195.84950264222707 1753.21/1744.96 c cleaning 496 clauses out of 1268 for limit 322.09759709506267 1754.43/1746.19 c cleaning 502 clauses out of 1270 for limit 529.2853592318434 1755.53/1747.23 c cleaning 498 clauses out of 1270 for limit 874.6107107126037 1756.63/1748.37 c cleaning 501 clauses out of 1270 for limit 1439.4668075121704 1757.63/1749.32 c cleaning 518 clauses out of 1270 for limit 2376.2495835954946 1758.63/1750.37 c cleaning 499 clauses out of 1253 for limit 3975.8967942087133 1760.05/1751.73 c cleaning 503 clauses out of 1252 for limit 6548.9052654132865 1761.15/1752.86 c cleaning 495 clauses out of 1250 for limit 10828.129041988179 1762.15/1753.84 c cleaning 500 clauses out of 1254 for limit 17782.273044332647 1763.25/1754.99 c cleaning 501 clauses out of 1255 for limit 29331.31162119969 1764.37/1756.07 c cleaning 501 clauses out of 1259 for limit 48459.388052107985 1765.37/1757.07 c cleaning 497 clauses out of 1252 for limit 79881.8553175071 1766.47/1758.15 c cleaning 495 clauses out of 1255 for limit 131420.95936982232 1767.47/1759.19 c cleaning 521 clauses out of 1261 for limit 215915.42588878586 1768.69/1760.30 c cleaning 504 clauses out of 1240 for limit 362103.6976336527 1769.60/1761.24 c cleaning 499 clauses out of 1235 for limit 598975.5051361815 1770.60/1762.29 c cleaning 488 clauses out of 1236 for limit 986991.5540345061 1771.60/1763.27 c cleaning 494 clauses out of 1249 for limit 1612352.0253030073 1772.60/1764.23 c cleaning 491 clauses out of 1254 for limit 2645733.793831356 1773.72/1765.34 c cleaning 628 clauses out of 1264 for limit 4332983.207350638 1774.82/1766.43 c cleaning 566 clauses out of 1136 for limit 7950814.76392244 1775.82/1767.43 c cleaning 534 clauses out of 1070 for limit 1.392073211594967E7 1776.82/1768.41 c cleaning 486 clauses out of 1035 for limit 2.370974479161004E7 1777.71/1769.36 c cleaning 402 clauses out of 1049 for limit 3.857870345955813E7 1778.73/1770.38 c cleaning 573 clauses out of 1148 for limit 5.819311792369607E7 1779.73/1771.36 c cleaning 502 clauses out of 1076 for limit 1.0249239516306274E8 1780.73/1772.30 c cleaning 409 clauses out of 1073 for limit 1.6932674773818448E8 1781.64/1773.28 c cleaning 468 clauses out of 1164 for limit 2.574116483376893E8 1782.53/1774.18 c cleaning 480 clauses out of 1196 for limit 4.131482174271462E8 1783.65/1775.23 c cleaning 488 clauses out of 1215 for limit 6.700113508053675E8 1784.65/1776.26 c cleaning 496 clauses out of 1228 for limit 1.0943354553588314E9 1785.65/1777.29 c cleaning 494 clauses out of 1231 for limit 1.7985071108877425E9 1786.85/1778.41 c cleaning 606 clauses out of 1238 for limit 2.9521605083254175E9 1787.87/1779.40 c cleaning 565 clauses out of 1132 for limit 5.324392599523307E9 1788.97/1780.50 c cleaning 425 clauses out of 1069 for limit 9.316734152524551E9 1790.07/1781.65 c cleaning 448 clauses out of 1141 for limit 1.4351857572993208E10 1791.07/1782.68 c cleaning 476 clauses out of 1193 for limit 2.263649611183625E10 1792.17/1783.72 c cleaning 603 clauses out of 1219 for limit 3.660756584258971E10 1793.29/1784.85 c cleaning 543 clauses out of 1114 for limit 6.592896082272245E10 1794.29/1785.87 c cleaning 524 clauses out of 1071 for limit 1.1309094612865974E11 1795.29/1786.88 c cleaning 407 clauses out of 1048 for limit 1.9078596558927673E11 1796.39/1787.99 c cleaning 446 clauses out of 1140 for limit 2.889510193838715E11 1797.39/1788.96 c cleaning 478 clauses out of 1195 for limit 4.5504209665680865E11 1798.40/1789.98 c cleaning 484 clauses out of 1216 for limit 7.36728178875602E11 1799.40/1790.95 c cleaning 490 clauses out of 1233 for limit 1.1994114169589026E12 1800.01/1791.51 c starts : 174 1800.01/1791.51 c conflicts : 679605 1800.01/1791.51 c decisions : 1179748 1800.01/1791.51 c propagations : 27995303 1800.01/1791.51 c inspects : 818955336 1800.01/1791.51 c learnt literals : 76 1800.01/1791.51 c learnt binary clauses : 81 1800.01/1791.51 c learnt ternary clauses : 109 1800.01/1791.51 c learnt clauses : 679529 1800.01/1791.51 c root simplifications : 0 1800.01/1791.51 c removed literals (reason simplification) : 0 1800.01/1791.51 c reason swapping (by a shorter reason) : 0 1800.01/1791.51 c Calls to reduceDB : 312 1800.01/1791.51 c speed (decisions/second) : 1018.0632645734956 1800.01/1791.51 c non guided choices 41 1800.01/1791.51 s SATISFIABLE 1800.01/1791.54 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.01/1791.54 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.01/1791.54 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.01/1791.54 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.01/1791.54 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.01/1791.54 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.01/1791.54 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.01/1791.54 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.01/1791.54 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.01/1791.54 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.01/1791.54 v x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.01/1791.54 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.01/1791.54 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.01/1791.54 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.01/1791.54 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.01/1791.54 v x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.01/1791.54 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.01/1791.54 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.01/1791.54 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.01/1791.54 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.01/1791.54 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.01/1791.54 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.01/1791.54 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.01/1791.54 v -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.01/1791.54 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.01/1791.54 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.01/1791.54 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.01/1791.54 v -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.01/1791.54 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.01/1791.54 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.01/1791.54 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.01/1791.54 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.01/1791.54 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.01/1791.54 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.01/1791.54 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.01/1791.54 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.01/1791.54 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.01/1791.54 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.01/1791.54 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.01/1791.54 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.01/1791.54 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.01/1791.54 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.01/1791.54 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.01/1791.54 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.01/1791.54 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.01/1791.54 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.01/1791.54 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.01/1791.54 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.01/1791.54 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.01/1791.54 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.01/1791.54 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.01/1791.54 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.01/1791.54 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.01/1791.54 v -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.01/1791.54 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1800.01/1791.54 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1800.01/1791.54 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.01/1791.54 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.01/1791.54 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1800.01/1791.54 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1800.01/1791.54 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1800.01/1791.54 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.01/1791.54 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.01/1791.54 v -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1800.01/1791.54 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.01/1791.54 v -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 1800.01/1791.54 v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 1800.01/1791.54 v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 1800.01/1791.54 v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1800.01/1791.54 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 1800.01/1791.54 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1800.01/1791.54 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1800.01/1791.54 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1800.01/1791.54 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.01/1791.54 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 1800.01/1791.54 v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 1800.01/1791.54 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 1800.01/1791.54 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 1800.01/1791.54 v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 1800.01/1791.54 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 1800.01/1791.54 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 1800.01/1791.54 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 1800.01/1791.54 v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 1800.01/1791.54 v -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 1800.01/1791.54 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.01/1791.54 v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 1800.01/1791.54 v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.01/1791.54 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 1800.01/1791.54 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 1800.01/1791.54 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.01/1791.54 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.01/1791.54 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1800.01/1791.54 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1800.01/1791.54 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.01/1791.54 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1800.01/1791.54 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1800.01/1791.54 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1800.01/1791.54 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1800.01/1791.54 v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 1800.01/1791.54 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 1800.01/1791.54 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.01/1791.54 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 1800.01/1791.54 v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 1800.01/1791.54 v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 1800.01/1791.54 v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.01/1791.54 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1800.01/1791.54 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.01/1791.54 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.01/1791.54 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.01/1791.54 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.01/1791.54 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.01/1791.54 v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 1800.01/1791.54 v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 1800.01/1791.54 v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 1800.01/1791.54 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1800.01/1791.54 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.01/1791.54 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 1800.01/1791.54 v -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 1800.01/1791.54 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 1800.01/1791.54 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1800.01/1791.54 v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 1800.01/1791.54 v -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 1800.01/1791.54 v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 1800.01/1791.54 v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 1800.01/1791.54 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 1800.01/1791.54 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1800.01/1791.54 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.01/1791.54 v -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.01/1791.54 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.01/1791.54 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 1800.01/1791.54 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 1800.01/1791.54 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.01/1791.54 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.01/1791.54 v -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.01/1791.54 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.01/1791.54 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.01/1791.54 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.01/1791.54 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.01/1791.54 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.01/1791.54 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 1800.01/1791.54 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1800.01/1791.54 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1800.01/1791.54 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1800.01/1791.54 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.01/1791.54 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1800.01/1791.54 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1800.01/1791.54 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.01/1791.54 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1800.01/1791.54 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1800.01/1791.54 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 1800.01/1791.54 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 1800.01/1791.54 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.01/1791.54 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.01/1791.54 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.01/1791.54 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.01/1791.54 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.01/1791.54 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.01/1791.54 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.01/1791.54 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.01/1791.54 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.01/1791.54 v -x2930 -x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.01/1791.54 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.01/1791.54 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1800.01/1791.54 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.01/1791.54 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 1800.01/1791.54 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 1800.01/1791.54 v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 1800.01/1791.54 v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 1800.01/1791.54 v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.01/1791.54 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 1800.01/1791.54 v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 1800.01/1791.54 v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 1800.01/1791.54 v -x3134 x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 1800.01/1791.54 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 1800.01/1791.54 v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 1800.01/1791.54 v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 1800.01/1791.54 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.01/1791.54 v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 1800.01/1791.54 v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 1800.01/1791.54 v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.01/1791.54 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 1800.01/1791.54 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 1800.01/1791.54 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1800.01/1791.54 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 1800.01/1791.54 v -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1800.01/1791.54 v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 1800.01/1791.54 v -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 1800.01/1791.54 v -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 1800.01/1791.54 v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 1800.01/1791.54 v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 1800.01/1791.54 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.01/1791.54 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 1800.01/1791.54 v -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1800.01/1791.54 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1800.01/1791.54 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 1800.01/1791.54 v -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 1800.01/1791.54 v -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 1800.01/1791.54 v -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 1800.01/1791.54 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 1800.01/1791.54 v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 1800.01/1791.54 v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 1800.01/1791.54 v -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 1800.01/1791.54 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1800.01/1791.54 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1800.01/1791.54 v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 1800.01/1791.54 v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 1800.01/1791.54 v -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 1800.01/1791.54 v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 1800.01/1791.54 v -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 1800.01/1791.54 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 1800.01/1791.54 v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 1800.01/1791.54 v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 1800.01/1791.54 v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1800.01/1791.54 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1800.01/1791.54 v -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1800.01/1791.54 v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 1800.01/1791.54 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 1800.01/1791.54 v -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 1800.01/1791.54 v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 1800.01/1791.54 v -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 1800.01/1791.54 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 1800.01/1791.54 v -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 1800.01/1791.54 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 1800.01/1791.54 v -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 1800.01/1791.54 v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 1800.01/1791.54 v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 1800.01/1791.54 v -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 1800.01/1791.54 v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 1800.01/1791.54 v -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 1800.01/1791.54 v -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 1800.01/1791.54 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 1800.01/1791.54 v -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 1800.01/1791.54 v -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 1800.01/1791.54 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 1800.01/1791.54 v -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 1800.01/1791.54 v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.01/1791.54 v x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 1800.01/1791.54 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1800.01/1791.54 v -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 1800.01/1791.54 v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1800.01/1791.54 v -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 1800.01/1791.54 v -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 1800.01/1791.54 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 1800.01/1791.54 v -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 1800.01/1791.54 v -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 1800.01/1791.54 v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 1800.01/1791.54 v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1800.01/1791.54 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1800.01/1791.54 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.01/1791.54 v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 1800.01/1791.54 v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 1800.01/1791.54 v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 1800.01/1791.54 v -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1800.01/1791.54 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 1800.01/1791.54 v -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 1800.01/1791.54 v -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 1800.01/1791.54 v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 1800.01/1791.54 v -x4581 -x4582 -x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.01/1791.54 v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 1800.01/1791.54 v -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 1800.01/1791.54 v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 1800.01/1791.54 v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 1800.01/1791.54 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 1800.01/1791.54 v -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 1800.01/1791.54 v -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 1800.01/1791.54 v -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 1800.01/1791.54 v -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 1800.01/1791.54 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.01/1791.54 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 1800.01/1791.54 v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 1800.01/1791.54 v -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 1800.01/1791.54 v -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 1800.01/1791.54 v -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 1800.01/1791.54 v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 1800.01/1791.54 v -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 1800.01/1791.54 v -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 1800.01/1791.54 v -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 1800.01/1791.54 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 1800.01/1791.54 v -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 1800.01/1791.54 v -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 x4967 -x4968 -x4969 -x4970 -x4971 1800.01/1791.54 v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 1800.01/1791.54 v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 1800.01/1791.54 v -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 1800.01/1791.54 v -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 1800.01/1791.54 v -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 1800.01/1791.54 v -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 1800.01/1791.54 v -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 1800.01/1791.54 v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 1800.01/1791.54 v -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 x5124 -x5125 1800.01/1791.54 v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 1800.01/1791.54 v -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 1800.01/1791.54 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 1800.01/1791.54 v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 1800.01/1791.54 v -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 1800.01/1791.54 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 1800.01/1791.54 v -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 1800.01/1791.54 v -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 1800.01/1791.54 v -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 1800.01/1791.54 v -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 1800.01/1791.54 v -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 1800.01/1791.54 v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 1800.01/1791.54 v x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 1800.01/1791.54 v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 1800.01/1791.54 v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 1800.01/1791.54 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 1800.01/1791.54 v -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 1800.01/1791.54 v -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 1800.01/1791.54 v -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 1800.01/1791.54 v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 1800.01/1791.54 v -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 1800.01/1791.54 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 1800.01/1791.54 v -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 1800.01/1791.54 v -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 1800.01/1791.54 v -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 1800.01/1791.54 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 1800.01/1791.54 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 1800.01/1791.54 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1800.01/1791.54 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 1800.01/1791.54 v -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 1800.01/1791.54 v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1800.01/1791.54 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 1800.01/1791.54 v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 1800.01/1791.54 v -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 1800.01/1791.54 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 1800.01/1791.54 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 1800.01/1791.54 v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 1800.01/1791.54 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 1800.01/1791.54 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 1800.01/1791.54 v -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1800.01/1791.54 v -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 1800.01/1791.54 v -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 1800.01/1791.54 v -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 1800.01/1791.54 v x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 1800.01/1791.54 v -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1800.01/1791.54 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 1800.01/1791.54 v -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 1800.01/1791.54 v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 1800.01/1791.54 v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 1800.01/1791.54 v -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 1800.01/1791.54 v -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 1800.01/1791.54 v -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 1800.01/1791.54 v -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 1800.01/1791.54 v -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 1800.01/1791.54 v -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 1800.01/1791.54 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 1800.01/1791.54 v -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 1800.01/1791.54 v -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 1800.01/1791.54 v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 1800.01/1791.54 v -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 1800.01/1791.54 v -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 1800.01/1791.54 v -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 1800.01/1791.54 v -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 1800.01/1791.54 v -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 1800.01/1791.54 v -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 1800.01/1791.54 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 1800.01/1791.54 v -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 1800.01/1791.54 v -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 1800.01/1791.54 v -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 1800.01/1791.54 v -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 1800.01/1791.54 v -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 1800.01/1791.54 v -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 x6346 -x6347 -x6348 -x6349 1800.01/1791.54 v -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 1800.01/1791.54 v -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 1800.01/1791.54 v -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 1800.01/1791.54 v -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 1800.01/1791.54 v -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 1800.01/1791.54 v -x6435 -x6436 -x6437 x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 1800.01/1791.54 v -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 1800.01/1791.54 v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 1800.01/1791.54 v -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 1800.01/1791.54 v -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 1800.01/1791.54 v -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 1800.01/1791.54 v -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 1800.01/1791.54 v -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 1800.01/1791.54 v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 1800.01/1791.54 v -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 1800.01/1791.54 v -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 1800.01/1791.54 v -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 1800.01/1791.54 v -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 1800.01/1791.54 v -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 1800.01/1791.54 v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 x6686 -x6687 -x6688 -x6689 1800.01/1791.54 v -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 1800.01/1791.54 v -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 -x6723 1800.01/1791.54 v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 1800.01/1791.54 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 1800.01/1791.54 v -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 1800.01/1791.54 v -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 1800.01/1791.54 v -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 1800.01/1791.54 v -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 1800.01/1791.54 v -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 1800.01/1791.54 v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 1800.01/1791.54 v -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 1800.01/1791.54 v -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 x6892 -x6893 1800.01/1791.54 v -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 1800.01/1791.54 v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 1800.01/1791.54 v -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 1800.01/1791.54 v -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 1800.01/1791.54 v -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 1800.01/1791.54 v -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 1800.01/1791.54 v -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 1800.01/1791.54 v -x7013 x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 1800.01/1791.54 v -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 1800.01/1791.54 v -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 1800.01/1791.54 v -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 1800.01/1791.54 v -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 1800.01/1791.54 v -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 1800.01/1791.54 v -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 1800.01/1791.54 v -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 1800.01/1791.54 v -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 1800.01/1791.54 v -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 1800.01/1791.54 v -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1800.21/1791.61 c objective function=5423 1800.21/1791.61 c Total wall clock time (ms): 1791.416
OK 5423
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-351586-1176605793 -o ROOT/results/node44/solver-351586-1176605793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351586-1176605793/sat4jPseudoResolution.jar /tmp/evaluation/351586-1176605793/instance-351586-1176605793.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 1.00 0.99 2/64 31318 /proc/meminfo: memFree=1395568/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1800 CPUtime=0 /proc/31318/stat : 31318 (java) R 31316 31318 27084 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 108491045 1843200 148 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/31318/statm: 450 148 111 9 0 92 0 [startup+0.00753491 s] /proc/loadavg: 0.92 1.00 0.99 2/64 31318 /proc/meminfo: memFree=1395568/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=272 CPUtime=0 /proc/31318/stat : 31318 (java) D 31316 31318 27084 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 108491045 278528 37 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 11281188 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0 /proc/31318/statm: 68 37 28 9 0 6 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 272 [startup+0.101552 s] /proc/loadavg: 0.92 1.00 0.99 2/64 31318 /proc/meminfo: memFree=1395568/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1780108 CPUtime=0.08 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 3988 0 1 0 6 2 0 0 18 0 12 0 108491045 1822830592 3729 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 445027 3729 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301572 s] /proc/loadavg: 0.92 1.00 0.99 2/64 31318 /proc/meminfo: memFree=1395568/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1782100 CPUtime=0.33 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 5123 0 1 0 30 3 0 0 18 0 12 0 108491045 1824870400 4859 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 445525 4859 1267 9 0 443137 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782100 [startup+0.701613 s] /proc/loadavg: 0.92 1.00 0.99 2/64 31318 /proc/meminfo: memFree=1395568/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1784320 CPUtime=0.94 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 7682 0 1 0 90 4 0 0 18 0 12 0 108491045 1827143680 6807 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446080 6807 1301 9 0 443692 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 1784320 [startup+1.50269 s] /proc/loadavg: 0.92 1.00 0.99 2/76 31330 /proc/meminfo: memFree=1354128/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1785388 CPUtime=2.11 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 20327 0 1 0 202 9 0 0 18 0 13 0 108491045 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446347 18596 1317 9 0 443959 0 [pid=31318/tid=31320] ppid=31316 vsize=1785388 CPUtime=1.06 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 16967 0 1 0 99 7 0 0 20 0 13 0 108491047 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 108491048 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 108491048 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108491050 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 108491051 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 108491051 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1785388 CPUtime=0.49 /proc/31318/task/31327/stat : 31327 (java) R 31316 31318 27084 0 -1 64 1252 0 0 0 49 0 0 0 16 0 13 0 108491055 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105057537 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1785388 CPUtime=0.53 /proc/31318/task/31328/stat : 31328 (java) R 31316 31318 27084 0 -1 64 1380 0 0 0 53 0 0 0 17 0 13 0 108491055 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102571713 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1828237312 18596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1785388 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1828237312 18597 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.11 Current children cumulated vsize (KiB) 1785388 [startup+3.10285 s] /proc/loadavg: 0.92 1.00 0.99 2/76 31331 /proc/meminfo: memFree=1323472/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1786240 CPUtime=4.29 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 28116 0 1 0 416 13 0 0 18 0 12 0 108491045 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446560 24572 1318 9 0 444172 0 [pid=31318/tid=31320] ppid=31316 vsize=1786240 CPUtime=2.33 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 22644 0 1 0 223 10 0 0 25 0 12 0 108491047 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109942570 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 108491048 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 108491048 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 108491050 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 108491051 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 108491051 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 108491055 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1786240 CPUtime=0.94 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2548 0 0 0 93 1 0 0 16 0 12 0 108491055 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1786240 CPUtime=1 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2195 0 0 0 99 1 0 0 16 0 12 0 108491055 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 108491055 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 108491055 1829109760 24572 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.29 Current children cumulated vsize (KiB) 1786240 [startup+6.30118 s] /proc/loadavg: 0.93 1.00 0.99 2/77 31335 /proc/meminfo: memFree=1283848/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1786240 CPUtime=7.5 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 33556 0 1 0 735 15 0 0 18 0 13 0 108491045 1829109760 30011 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446560 30012 1318 9 0 444172 0 [pid=31318/tid=31320] ppid=31316 vsize=1786240 CPUtime=5.51 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 28083 0 1 0 539 12 0 0 25 0 13 0 108491047 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109967447 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 108491048 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 108491048 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108491050 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 108491051 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 108491051 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1786240 CPUtime=0.95 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2549 0 0 0 94 1 0 0 16 0 13 0 108491055 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1786240 CPUtime=1.02 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2196 0 0 0 101 1 0 0 16 0 13 0 108491055 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31335] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31335/stat : 31335 (java) S 31316 31318 27084 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 108491369 1829109760 30012 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.5 Current children cumulated vsize (KiB) 1786240 [startup+12.7028 s] /proc/loadavg: 0.93 1.00 0.99 2/77 31335 /proc/meminfo: memFree=1251792/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1786240 CPUtime=13.92 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 41843 0 1 0 1373 19 0 0 18 0 13 0 108491045 1829109760 38297 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446560 38298 1318 9 0 444172 0 [pid=31318/tid=31320] ppid=31316 vsize=1786240 CPUtime=11.89 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 36365 0 1 0 1173 16 0 0 25 0 13 0 108491047 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109967431 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 108491048 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 108491048 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 108491050 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 108491051 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 108491051 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1786240 CPUtime=0.97 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2552 0 0 0 96 1 0 0 16 0 13 0 108491055 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1786240 CPUtime=1.04 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2198 0 0 0 103 1 0 0 16 0 13 0 108491055 1829109760 38298 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1829109760 38299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1829109760 38299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31335] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31335/stat : 31335 (java) S 31316 31318 27084 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 108491369 1829109760 38299 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.92 Current children cumulated vsize (KiB) 1786240 [startup+25.5012 s] /proc/loadavg: 0.95 1.00 0.99 2/77 31335 /proc/meminfo: memFree=1204752/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1786240 CPUtime=26.8 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 53499 0 1 0 2654 26 0 0 18 0 13 0 108491045 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 446560 48765 1327 9 0 444172 0 [pid=31318/tid=31320] ppid=31316 vsize=1786240 CPUtime=24.61 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 37715 0 1 0 2444 17 0 0 25 0 13 0 108491047 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797986 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1786240 CPUtime=0.06 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 4300 0 0 0 4 2 0 0 17 0 13 0 108491048 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1786240 CPUtime=0.06 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 5999 0 0 0 3 3 0 0 16 0 13 0 108491048 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 108491050 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1786240 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1829109760 48765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31318/tid=31323] ppid=31316 vsize=1788808 CPUtime=0.05 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 2 3 0 0 16 0 13 0 108491050 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1788808 CPUtime=1.1 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2564 0 0 0 109 1 0 0 17 0 13 0 108491055 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1788808 CPUtime=1.11 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2202 0 0 0 110 1 0 0 16 0 13 0 108491055 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31545] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31545/stat : 31545 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108554316 1831739392 366895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1610.09 Current children cumulated vsize (KiB) 1788808 [startup+1662.3 s] /proc/loadavg: 1.22 1.14 1.04 2/77 31545 /proc/meminfo: memFree=19376/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1788808 CPUtime=1670.3 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 485339 0 1 0 166776 254 0 0 18 0 13 0 108491045 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 447202 367273 1331 9 0 444814 0 [pid=31318/tid=31320] ppid=31316 vsize=1788808 CPUtime=1653.5 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 37870 0 1 0 165327 23 0 0 25 0 13 0 108491047 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109987201 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1788808 CPUtime=7.26 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 228605 0 0 0 611 115 0 0 16 0 13 0 108491048 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1788808 CPUtime=7.23 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 213347 0 0 0 613 110 0 0 16 0 13 0 108491048 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1788808 CPUtime=0.05 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 2 3 0 0 16 0 13 0 108491050 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1788808 CPUtime=1.1 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2564 0 0 0 109 1 0 0 17 0 13 0 108491055 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1788808 CPUtime=1.11 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2202 0 0 0 110 1 0 0 16 0 13 0 108491055 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31545] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31545/stat : 31545 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108554316 1831739392 367273 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1670.3 Current children cumulated vsize (KiB) 1788808 [startup+1722.3 s] /proc/loadavg: 1.11 1.12 1.04 2/77 31545 /proc/meminfo: memFree=17072/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1788808 CPUtime=1730.54 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 486812 0 1 0 172798 256 0 0 18 0 13 0 108491045 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 447202 367850 1331 9 0 444814 0 [pid=31318/tid=31320] ppid=31316 vsize=1788808 CPUtime=1713.21 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 37883 0 1 0 171298 23 0 0 25 0 13 0 108491047 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109580256 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1788808 CPUtime=7.53 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 229145 0 0 0 637 116 0 0 16 0 13 0 108491048 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1788808 CPUtime=7.49 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 214267 0 0 0 639 110 0 0 16 0 13 0 108491048 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1788808 CPUtime=0.06 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 3 3 0 0 17 0 13 0 108491050 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1788808 CPUtime=1.1 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2564 0 0 0 109 1 0 0 17 0 13 0 108491055 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1788808 CPUtime=1.11 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2202 0 0 0 110 1 0 0 16 0 13 0 108491055 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31545] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31545/stat : 31545 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108554316 1831739392 367850 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1730.54 Current children cumulated vsize (KiB) 1788808 [startup+1782.3 s] /proc/loadavg: 1.04 1.10 1.03 2/77 31545 /proc/meminfo: memFree=16496/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1788808 CPUtime=1790.77 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 488123 0 1 0 178820 257 0 0 18 0 13 0 108491045 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 447202 368746 1331 9 0 444814 0 [pid=31318/tid=31320] ppid=31316 vsize=1788808 CPUtime=1772.91 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 37895 0 1 0 177268 23 0 0 25 0 13 0 108491047 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109556357 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1788808 CPUtime=7.78 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 229880 0 0 0 662 116 0 0 16 0 13 0 108491048 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1788808 CPUtime=7.75 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 214831 0 0 0 665 110 0 0 16 0 13 0 108491048 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1788808 CPUtime=0.06 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 3 3 0 0 16 0 13 0 108491050 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1788808 CPUtime=1.1 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2564 0 0 0 109 1 0 0 17 0 13 0 108491055 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1788808 CPUtime=1.11 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2202 0 0 0 110 1 0 0 16 0 13 0 108491055 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31545] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31545/stat : 31545 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108554316 1831739392 368746 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1790.77 Current children cumulated vsize (KiB) 1788808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.5 s] /proc/loadavg: 1.03 1.10 1.03 2/77 31545 /proc/meminfo: memFree=16816/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=1788808 CPUtime=1800.01 /proc/31318/stat : 31318 (java) S 31316 31318 27084 0 -1 0 488127 0 1 0 179744 257 0 0 18 0 13 0 108491045 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31318/statm: 447202 368684 1331 9 0 444814 0 [pid=31318/tid=31320] ppid=31316 vsize=1788808 CPUtime=1782.06 /proc/31318/task/31320/stat : 31320 (java) R 31316 31318 27084 0 -1 64 37897 0 1 0 178183 23 0 0 25 0 13 0 108491047 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109556375 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31321] ppid=31316 vsize=1788808 CPUtime=7.82 /proc/31318/task/31321/stat : 31321 (java) S 31316 31318 27084 0 -1 64 229881 0 0 0 666 116 0 0 16 0 13 0 108491048 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31322] ppid=31316 vsize=1788808 CPUtime=7.79 /proc/31318/task/31322/stat : 31322 (java) S 31316 31318 27084 0 -1 64 214832 0 0 0 669 110 0 0 17 0 13 0 108491048 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31323] ppid=31316 vsize=1788808 CPUtime=0.06 /proc/31318/task/31323/stat : 31323 (java) S 31316 31318 27084 0 -1 64 10 0 0 0 3 3 0 0 16 0 13 0 108491050 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31324] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31324/stat : 31324 (java) S 31316 31318 27084 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31325] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31325/stat : 31325 (java) S 31316 31318 27084 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 108491051 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31326] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31326/stat : 31326 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 108491055 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31327] ppid=31316 vsize=1788808 CPUtime=1.1 /proc/31318/task/31327/stat : 31327 (java) S 31316 31318 27084 0 -1 64 2564 0 0 0 109 1 0 0 17 0 13 0 108491055 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31328] ppid=31316 vsize=1788808 CPUtime=1.11 /proc/31318/task/31328/stat : 31328 (java) S 31316 31318 27084 0 -1 64 2202 0 0 0 110 1 0 0 16 0 13 0 108491055 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31329] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31329/stat : 31329 (java) S 31316 31318 27084 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 108491055 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31318/tid=31330] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31330/stat : 31330 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 108491055 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31318/tid=31545] ppid=31316 vsize=1788808 CPUtime=0 /proc/31318/task/31545/stat : 31545 (java) S 31316 31318 27084 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 108554316 1831739392 368684 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1788808 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1791.8 s] /proc/loadavg: 1.03 1.10 1.03 2/67 31548 /proc/meminfo: memFree=1094376/2055920 swapFree=4184880/4192956 [pid=31318] ppid=31316 vsize=0 CPUtime=1800.41 /proc/31318/stat : 31318 (java) Z 31316 31318 27084 0 -1 1036 488145 0 1 0 179768 273 0 0 15 0 2 0 108491045 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/31318/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1791.87 CPU time (s): 1800.48 CPU user time (s): 1797.68 CPU system time (s): 2.79457 CPU usage (%): 100.48 Max. virtual memory (cumulated for all children) (KiB): 1789456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.68 system time used= 2.79458 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 488145 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38782 involuntary context switches= 39848 runsolver used 2.03169 second user time and 4.55431 second system time The end
Begin job on node44 on Sun Apr 15 02:56:33 UTC 2007 IDJOB= 351586 IDBENCH= 1779 IDSOLVER= 159 FILE ID= node44/351586-1176605793 PBS_JOBID= 4557008 Free space on /tmp= 66560 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-air05.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351586-1176605793/sat4jPseudoResolution.jar /tmp/evaluation/351586-1176605793/instance-351586-1176605793.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-351586-1176605793 -o ROOT/results/node44/solver-351586-1176605793 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351586-1176605793/sat4jPseudoResolution.jar /tmp/evaluation/351586-1176605793/instance-351586-1176605793.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 2b7e03ead6dfd4071784021865da4458 RANDOM SEED= 179077465 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1396040 kB Buffers: 52240 kB Cached: 487392 kB SwapCached: 2600 kB Active: 156648 kB Inactive: 400776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1396040 kB SwapTotal: 4192956 kB SwapFree: 4184880 kB Dirty: 4104 kB Writeback: 0 kB Mapped: 16996 kB Slab: 88404 kB Committed_AS: 226692 kB PageTables: 1396 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= 66560 MiB End job on node44 on Sun Apr 15 03:26:27 UTC 2007