Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 2145378043 | 1800.22 | 1787.83 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 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.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/354438-1176709439/instance-354438-1176709439.opb 0.21/0.20 c reading problem ... 2.48/2.07 c ... done. Wall clock time 1.868s. 2.48/2.07 c CPU time (experimental) 1.76s. 2.48/2.07 c #vars 6651 2.48/2.07 c #constraints 721 13.63/12.65 c SATISFIABLE 13.63/12.65 c OPTIMIZING... 13.63/12.65 c Got one! Elapsed wall clock time (in seconds):12.45 13.63/12.66 o 2147483616 25.42/24.23 c Got one! Elapsed wall clock time (in seconds):24.029 25.42/24.23 o 2145386495 38.48/37.23 c Got one! Elapsed wall clock time (in seconds):37.028 38.48/37.23 o 2145386494 51.29/50.02 c Got one! Elapsed wall clock time (in seconds):49.816 51.29/50.02 o 2145386491 64.01/62.71 c Got one! Elapsed wall clock time (in seconds):62.506 64.01/62.71 o 2145386479 78.92/77.68 c Got one! Elapsed wall clock time (in seconds):77.479 78.92/77.68 o 2145386431 94.73/93.46 c Got one! Elapsed wall clock time (in seconds):93.258 94.73/93.46 o 2145386415 108.25/106.96 c Got one! Elapsed wall clock time (in seconds):106.765 108.25/106.96 o 2145386399 124.47/123.12 c Got one! Elapsed wall clock time (in seconds):122.924 124.47/123.12 o 2145386239 137.80/136.48 c Got one! Elapsed wall clock time (in seconds):136.279 137.80/136.48 o 2145386231 150.94/149.51 c Got one! Elapsed wall clock time (in seconds):149.308 150.94/149.51 o 2145386223 163.89/162.42 c Got one! Elapsed wall clock time (in seconds):162.22 163.89/162.42 o 2145386207 175.02/173.54 c Got one! Elapsed wall clock time (in seconds):173.345 175.02/173.54 o 2145385983 187.87/186.37 c Got one! Elapsed wall clock time (in seconds):186.171 187.87/186.37 o 2145385982 200.84/199.23 c Got one! Elapsed wall clock time (in seconds):199.034 200.84/199.23 o 2145385975 211.49/209.88 c Got one! Elapsed wall clock time (in seconds):209.675 211.49/209.88 o 2145385971 220.43/218.78 c Got one! Elapsed wall clock time (in seconds):218.579 220.43/218.78 o 2145385969 233.99/232.23 c Got one! Elapsed wall clock time (in seconds):232.028 233.99/232.23 o 2145385967 246.87/245.09 c Got one! Elapsed wall clock time (in seconds):244.888 246.87/245.09 o 2145385959 262.07/260.16 c Got one! Elapsed wall clock time (in seconds):259.957 262.07/260.16 o 2145385919 268.12/266.13 c Got one! Elapsed wall clock time (in seconds):265.928 268.12/266.13 o 2145385471 279.67/277.60 c Got one! Elapsed wall clock time (in seconds):277.4 279.67/277.60 o 2145385470 289.85/287.76 c Got one! Elapsed wall clock time (in seconds):287.556 289.85/287.76 o 2145385463 294.68/292.55 c Got one! Elapsed wall clock time (in seconds):292.347 294.68/292.55 o 2145385455 304.06/301.81 c Got one! Elapsed wall clock time (in seconds):301.613 304.06/301.81 o 2145385454 313.32/311.03 c Got one! Elapsed wall clock time (in seconds):310.83 313.32/311.03 o 2145385451 327.80/325.47 c Got one! Elapsed wall clock time (in seconds):325.267 327.80/325.47 o 2145385439 337.87/335.49 c Got one! Elapsed wall clock time (in seconds):335.292 337.87/335.49 o 2145385407 349.95/347.45 c Got one! Elapsed wall clock time (in seconds):347.246 349.95/347.45 o 2145385391 356.58/354.07 c Got one! Elapsed wall clock time (in seconds):353.874 356.58/354.07 o 2145384959 365.03/362.49 c Got one! Elapsed wall clock time (in seconds):362.292 365.03/362.49 o 2145384955 372.48/369.88 c Got one! Elapsed wall clock time (in seconds):369.678 372.48/369.88 o 2145384943 380.84/378.16 c Got one! Elapsed wall clock time (in seconds):377.957 380.84/378.16 o 2145384935 389.90/387.13 c Got one! Elapsed wall clock time (in seconds):386.931 389.90/387.13 o 2145384831 398.25/395.46 c Got one! Elapsed wall clock time (in seconds):395.264 398.25/395.46 o 2145384823 407.52/404.64 c Got one! Elapsed wall clock time (in seconds):404.437 407.52/404.64 o 2145384819 415.38/412.40 c Got one! Elapsed wall clock time (in seconds):412.203 415.38/412.40 o 2145384703 421.81/418.83 c Got one! Elapsed wall clock time (in seconds):418.628 421.81/418.83 o 2145384687 428.95/425.96 c Got one! Elapsed wall clock time (in seconds):425.758 428.95/425.96 o 2145384679 433.98/430.92 c Got one! Elapsed wall clock time (in seconds):430.723 433.98/430.92 o 2145384447 448.06/444.98 c Got one! Elapsed wall clock time (in seconds):444.783 448.06/444.98 o 2145384446 459.35/456.19 c Got one! Elapsed wall clock time (in seconds):455.992 459.35/456.19 o 2145384445 469.50/466.23 c Got one! Elapsed wall clock time (in seconds):466.034 469.50/466.23 o 2145384439 483.08/479.74 c Got one! Elapsed wall clock time (in seconds):479.542 483.08/479.74 o 2145384415 495.76/492.38 c Got one! Elapsed wall clock time (in seconds):492.177 495.76/492.38 o 2145384383 505.83/502.30 c Got one! Elapsed wall clock time (in seconds):502.101 505.83/502.30 o 2145384375 515.60/512.08 c Got one! Elapsed wall clock time (in seconds):511.881 515.60/512.08 o 2145384371 526.99/523.33 c Got one! Elapsed wall clock time (in seconds):523.131 526.99/523.33 o 2145384319 540.68/536.92 c Got one! Elapsed wall clock time (in seconds):536.719 540.68/536.92 o 2145384315 549.43/545.66 c Got one! Elapsed wall clock time (in seconds):545.457 549.43/545.66 o 2145384303 559.57/555.78 c Got one! Elapsed wall clock time (in seconds):555.579 559.57/555.78 o 2145384191 569.24/565.35 c Got one! Elapsed wall clock time (in seconds):565.154 569.24/565.35 o 2145384190 579.40/575.44 c Got one! Elapsed wall clock time (in seconds):575.239 579.40/575.44 o 2145384187 590.39/586.35 c Got one! Elapsed wall clock time (in seconds):586.148 590.39/586.35 o 2145384186 601.75/597.66 c Got one! Elapsed wall clock time (in seconds):597.465 601.75/597.66 o 2145384175 612.72/608.53 c Got one! Elapsed wall clock time (in seconds):608.334 612.72/608.53 o 2145384173 624.50/620.24 c Got one! Elapsed wall clock time (in seconds):620.043 624.50/620.24 o 2145384167 634.58/630.28 c Got one! Elapsed wall clock time (in seconds):630.083 634.58/630.28 o 2145384163 644.16/639.75 c Got one! Elapsed wall clock time (in seconds):639.552 644.16/639.75 o 2145384161 654.82/650.30 c Got one! Elapsed wall clock time (in seconds):650.105 654.82/650.31 o 2145384127 665.08/660.53 c Got one! Elapsed wall clock time (in seconds):660.325 665.08/660.53 o 2145384119 674.34/669.77 c Got one! Elapsed wall clock time (in seconds):669.565 674.34/669.77 o 2145384111 683.10/678.44 c Got one! Elapsed wall clock time (in seconds):678.242 683.10/678.44 o 2145383935 691.05/686.33 c Got one! Elapsed wall clock time (in seconds):686.133 691.05/686.33 o 2145383934 695.16/690.44 c Got one! Elapsed wall clock time (in seconds):690.244 695.16/690.44 o 2145383933 705.94/701.15 c Got one! Elapsed wall clock time (in seconds):700.948 705.94/701.15 o 2145383932 715.99/711.15 c Got one! Elapsed wall clock time (in seconds):710.946 715.99/711.15 o 2145383928 725.95/721.04 c Got one! Elapsed wall clock time (in seconds):720.838 725.95/721.04 o 2145383927 735.40/730.50 c Got one! Elapsed wall clock time (in seconds):730.296 735.40/730.50 o 2145383925 744.76/739.72 c Got one! Elapsed wall clock time (in seconds):739.52 744.76/739.72 o 2145383919 757.03/751.96 c Got one! Elapsed wall clock time (in seconds):751.761 757.03/751.96 o 2145383918 766.29/761.19 c Got one! Elapsed wall clock time (in seconds):760.991 766.29/761.19 o 2145383915 775.67/770.47 c Got one! Elapsed wall clock time (in seconds):770.272 775.67/770.47 o 2145383911 779.79/774.50 c Got one! Elapsed wall clock time (in seconds):774.298 779.79/774.50 o 2145383903 788.14/782.87 c Got one! Elapsed wall clock time (in seconds):782.67 788.14/782.87 o 2145383902 796.80/791.49 c Got one! Elapsed wall clock time (in seconds):791.286 796.80/791.49 o 2145383871 806.47/801.05 c Got one! Elapsed wall clock time (in seconds):800.846 806.47/801.05 o 2145383869 816.14/810.70 c Got one! Elapsed wall clock time (in seconds):810.5 816.14/810.70 o 2145383867 826.23/820.63 c Got one! Elapsed wall clock time (in seconds):820.43 826.23/820.63 o 2145383839 836.30/830.70 c Got one! Elapsed wall clock time (in seconds):830.497 836.30/830.70 o 2145383835 847.58/841.80 c Got one! Elapsed wall clock time (in seconds):841.602 847.58/841.80 o 2145383833 856.65/850.83 c Got one! Elapsed wall clock time (in seconds):850.628 856.65/850.83 o 2145383807 866.53/860.67 c Got one! Elapsed wall clock time (in seconds):860.467 866.53/860.67 o 2145383805 875.18/869.22 c Got one! Elapsed wall clock time (in seconds):869.02 875.18/869.22 o 2145383791 886.67/880.66 c Got one! Elapsed wall clock time (in seconds):880.459 886.67/880.66 o 2145383783 899.76/893.68 c Got one! Elapsed wall clock time (in seconds):893.478 899.76/893.68 o 2145383679 915.45/909.22 c Got one! Elapsed wall clock time (in seconds):909.017 915.45/909.22 o 2145383675 932.47/926.10 c Got one! Elapsed wall clock time (in seconds):925.905 932.47/926.11 o 2145383663 944.95/938.56 c Got one! Elapsed wall clock time (in seconds):938.364 944.95/938.56 o 2145383615 960.97/954.45 c Got one! Elapsed wall clock time (in seconds):954.254 960.97/954.45 o 2145383611 974.26/967.69 c Got one! Elapsed wall clock time (in seconds):967.494 974.26/967.69 o 2145383599 990.89/984.11 c Got one! Elapsed wall clock time (in seconds):983.914 990.89/984.11 o 2145383583 1005.79/998.96 c Got one! Elapsed wall clock time (in seconds):998.763 1005.79/998.96 o 2145383567 1016.66/1009.73 c Got one! Elapsed wall clock time (in seconds):1009.527 1016.66/1009.73 o 2145383551 1029.95/1022.94 c Got one! Elapsed wall clock time (in seconds):1022.74 1029.95/1022.94 o 2145383549 1045.03/1037.94 c Got one! Elapsed wall clock time (in seconds):1037.736 1045.03/1037.94 o 2145383519 1054.89/1047.76 c Got one! Elapsed wall clock time (in seconds):1047.562 1054.89/1047.76 o 2145383423 1065.65/1058.42 c Got one! Elapsed wall clock time (in seconds):1058.218 1065.65/1058.42 o 2145383422 1074.61/1067.32 c Got one! Elapsed wall clock time (in seconds):1067.119 1074.61/1067.32 o 2145383419 1085.80/1078.47 c Got one! Elapsed wall clock time (in seconds):1078.268 1085.80/1078.47 o 2145383415 1096.85/1089.47 c Got one! Elapsed wall clock time (in seconds):1089.266 1096.85/1089.47 o 2145383411 1104.91/1097.40 c Got one! Elapsed wall clock time (in seconds):1097.201 1104.91/1097.40 o 2145383407 1109.44/1101.97 c Got one! Elapsed wall clock time (in seconds):1101.772 1109.44/1101.97 o 2145383359 1118.90/1111.40 c Got one! Elapsed wall clock time (in seconds):1111.197 1118.90/1111.40 o 2145383358 1123.83/1116.21 c Got one! Elapsed wall clock time (in seconds):1116.01 1123.83/1116.21 o 2145383343 1132.69/1125.09 c Got one! Elapsed wall clock time (in seconds):1124.889 1132.69/1125.09 o 2145383342 1143.79/1136.01 c Got one! Elapsed wall clock time (in seconds):1135.806 1143.79/1136.01 o 2145383339 1156.56/1148.70 c Got one! Elapsed wall clock time (in seconds):1148.504 1156.56/1148.70 o 2145383295 1166.24/1158.38 c Got one! Elapsed wall clock time (in seconds):1158.179 1166.24/1158.38 o 2145382399 1175.20/1167.22 c Got one! Elapsed wall clock time (in seconds):1167.017 1175.20/1167.22 o 2145382397 1188.40/1180.32 c Got one! Elapsed wall clock time (in seconds):1180.123 1188.40/1180.32 o 2145382395 1200.48/1192.30 c Got one! Elapsed wall clock time (in seconds):1192.104 1200.48/1192.30 o 2145382391 1212.95/1204.74 c Got one! Elapsed wall clock time (in seconds):1204.542 1212.95/1204.74 o 2145382387 1224.41/1216.14 c Got one! Elapsed wall clock time (in seconds):1215.945 1224.41/1216.15 o 2145382383 1230.74/1222.45 c Got one! Elapsed wall clock time (in seconds):1222.252 1230.74/1222.45 o 2145382381 1241.61/1233.20 c Got one! Elapsed wall clock time (in seconds):1233.003 1241.61/1233.20 o 2145382379 1255.90/1247.49 c Got one! Elapsed wall clock time (in seconds):1247.288 1255.90/1247.49 o 2145382375 1268.18/1259.61 c Got one! Elapsed wall clock time (in seconds):1259.415 1268.18/1259.61 o 2145382367 1280.56/1271.94 c Got one! Elapsed wall clock time (in seconds):1271.738 1280.56/1271.94 o 2145382271 1292.22/1283.55 c Got one! Elapsed wall clock time (in seconds):1283.352 1292.22/1283.55 o 2145381375 1303.00/1294.26 c Got one! Elapsed wall clock time (in seconds):1294.056 1303.00/1294.26 o 2145381373 1313.36/1304.51 c Got one! Elapsed wall clock time (in seconds):1304.305 1313.36/1304.51 o 2145381359 1324.33/1315.42 c Got one! Elapsed wall clock time (in seconds):1315.221 1324.33/1315.42 o 2145381357 1337.42/1328.49 c Got one! Elapsed wall clock time (in seconds):1328.288 1337.42/1328.49 o 2145381355 1347.17/1338.16 c Got one! Elapsed wall clock time (in seconds):1337.962 1347.17/1338.16 o 2145381343 1358.64/1349.53 c Got one! Elapsed wall clock time (in seconds):1349.334 1358.64/1349.53 o 2145381247 1369.13/1359.99 c Got one! Elapsed wall clock time (in seconds):1359.794 1369.13/1359.99 o 2145381245 1377.59/1368.36 c Got one! Elapsed wall clock time (in seconds):1368.165 1377.59/1368.36 o 2145381231 1389.48/1380.17 c Got one! Elapsed wall clock time (in seconds):1379.975 1389.48/1380.17 o 2145381230 1403.26/1393.84 c Got one! Elapsed wall clock time (in seconds):1393.639 1403.26/1393.84 o 2145381223 1412.64/1403.18 c Got one! Elapsed wall clock time (in seconds):1402.98 1412.64/1403.18 o 2145381119 1424.31/1414.76 c Got one! Elapsed wall clock time (in seconds):1414.557 1424.31/1414.76 o 2145381115 1435.68/1426.01 c Got one! Elapsed wall clock time (in seconds):1425.806 1435.68/1426.01 o 2145381087 1444.84/1435.15 c Got one! Elapsed wall clock time (in seconds):1434.95 1444.84/1435.15 o 2145381079 1455.93/1446.16 c Got one! Elapsed wall clock time (in seconds):1445.959 1455.93/1446.16 o 2145381055 1466.62/1456.75 c Got one! Elapsed wall clock time (in seconds):1456.547 1466.62/1456.75 o 2145380991 1474.97/1465.05 c Got one! Elapsed wall clock time (in seconds):1464.851 1474.97/1465.05 o 2145380863 1484.94/1474.97 c Got one! Elapsed wall clock time (in seconds):1474.773 1484.94/1474.97 o 2145380847 1492.27/1482.26 c Got one! Elapsed wall clock time (in seconds):1482.063 1492.27/1482.26 o 2145380351 1502.22/1492.11 c Got one! Elapsed wall clock time (in seconds):1491.905 1502.22/1492.11 o 2145380350 1513.50/1503.37 c Got one! Elapsed wall clock time (in seconds):1503.169 1513.50/1503.37 o 2145380348 1525.47/1515.29 c Got one! Elapsed wall clock time (in seconds):1515.084 1525.47/1515.29 o 2145380347 1536.25/1525.98 c Got one! Elapsed wall clock time (in seconds):1525.775 1536.25/1525.98 o 2145380319 1541.68/1531.32 c Got one! Elapsed wall clock time (in seconds):1531.119 1541.68/1531.32 o 2145380317 1549.84/1539.40 c Got one! Elapsed wall clock time (in seconds):1539.198 1549.84/1539.40 o 2145380316 1561.83/1551.35 c Got one! Elapsed wall clock time (in seconds):1551.149 1561.83/1551.35 o 2145380315 1577.14/1566.53 c Got one! Elapsed wall clock time (in seconds):1566.333 1577.14/1566.53 o 2145380287 1591.95/1581.26 c Got one! Elapsed wall clock time (in seconds):1581.064 1591.95/1581.26 o 2145380255 1602.52/1591.73 c Got one! Elapsed wall clock time (in seconds):1591.529 1602.52/1591.73 o 2145380095 1613.19/1602.30 c Got one! Elapsed wall clock time (in seconds):1602.104 1613.19/1602.30 o 2145380093 1629.03/1618.08 c Got one! Elapsed wall clock time (in seconds):1617.885 1629.03/1618.08 o 2145380063 1638.70/1627.69 c Got one! Elapsed wall clock time (in seconds):1627.493 1638.70/1627.69 o 2145379839 1649.87/1638.73 c Got one! Elapsed wall clock time (in seconds):1638.531 1649.87/1638.73 o 2145379835 1660.87/1649.65 c Got one! Elapsed wall clock time (in seconds):1649.454 1660.87/1649.65 o 2145379711 1672.16/1660.89 c Got one! Elapsed wall clock time (in seconds):1660.694 1672.16/1660.89 o 2145379583 1680.02/1668.65 c Got one! Elapsed wall clock time (in seconds):1668.452 1680.02/1668.65 o 2145378303 1688.07/1676.66 c Got one! Elapsed wall clock time (in seconds):1676.461 1688.07/1676.66 o 2145378302 1697.76/1686.23 c Got one! Elapsed wall clock time (in seconds):1686.031 1697.76/1686.23 o 2145378299 1710.14/1698.59 c Got one! Elapsed wall clock time (in seconds):1698.39 1710.14/1698.59 o 2145378297 1722.24/1710.59 c Got one! Elapsed wall clock time (in seconds):1710.392 1722.24/1710.59 o 2145378271 1726.96/1715.24 c Got one! Elapsed wall clock time (in seconds):1715.044 1726.96/1715.24 o 2145378269 1738.26/1726.48 c Got one! Elapsed wall clock time (in seconds):1726.277 1738.26/1726.48 o 2145378268 1748.75/1736.82 c Got one! Elapsed wall clock time (in seconds):1736.621 1748.75/1736.82 o 2145378255 1758.22/1746.22 c Got one! Elapsed wall clock time (in seconds):1746.021 1758.22/1746.22 o 2145378239 1767.69/1755.63 c Got one! Elapsed wall clock time (in seconds):1755.43 1767.69/1755.63 o 2145378231 1775.96/1763.89 c Got one! Elapsed wall clock time (in seconds):1763.693 1775.96/1763.89 o 2145378047 1785.02/1772.84 c Got one! Elapsed wall clock time (in seconds):1772.641 1785.02/1772.84 o 2145378046 1791.97/1779.77 c Got one! Elapsed wall clock time (in seconds):1779.575 1791.97/1779.78 o 2145378043 1800.03/1787.71 c starts : 337 1800.03/1787.71 c conflicts : 17278 1800.03/1787.71 c decisions : 1017203 1800.03/1787.71 c propagations : 20078678 1800.03/1787.71 c inspects : 549041934 1800.03/1787.71 c learnt literals : 1 1800.03/1787.71 c learnt binary clauses : 0 1800.03/1787.71 c learnt ternary clauses : 0 1800.03/1787.71 c learnt clauses : 17277 1800.03/1787.71 c root simplifications : 0 1800.03/1787.71 c removed literals (reason simplification) : 0 1800.03/1787.71 c reason swapping (by a shorter reason) : 0 1800.03/1787.71 c Calls to reduceDB : 0 1800.03/1787.71 c speed (decisions/second) : 128175.78125 1800.03/1787.71 c non guided choices 945956 1800.03/1787.71 s SATISFIABLE 1800.03/1787.74 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 x29 x30 x31 -x32 -x33 -x34 x35 1800.03/1787.74 v -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.03/1787.74 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 1800.03/1787.74 v -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1800.03/1787.74 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 1800.03/1787.74 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1800.03/1787.74 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 1800.03/1787.74 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.03/1787.74 v -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 1800.03/1787.74 v -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 1800.03/1787.74 v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 1800.03/1787.74 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.03/1787.74 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 1800.03/1787.74 v -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1800.03/1787.74 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.03/1787.74 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 1800.03/1787.74 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 1800.03/1787.74 v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 1800.03/1787.74 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 1800.03/1787.74 v -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 1800.03/1787.74 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.03/1787.74 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.03/1787.74 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1800.03/1787.74 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1800.03/1787.74 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 1800.03/1787.74 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 1800.03/1787.74 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 1800.03/1787.74 v -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.03/1787.74 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.03/1787.74 v -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 1800.03/1787.74 v -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 1800.03/1787.74 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 1800.03/1787.74 v -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.03/1787.74 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1800.03/1787.74 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.03/1787.74 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 1800.03/1787.74 v -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 1800.03/1787.74 v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 1800.03/1787.74 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 1800.03/1787.74 v -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 1800.03/1787.74 v -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.03/1787.74 v -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 1800.03/1787.74 v -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.03/1787.74 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 1800.03/1787.74 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.03/1787.74 v -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.03/1787.74 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.03/1787.74 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.03/1787.74 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.03/1787.74 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.03/1787.74 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.03/1787.74 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.03/1787.74 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.03/1787.74 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1800.03/1787.74 v -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 1800.03/1787.74 v -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 1800.03/1787.74 v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 1800.03/1787.74 v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 1800.03/1787.74 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.03/1787.74 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 1800.03/1787.74 v x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1800.03/1787.74 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.03/1787.74 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 1800.03/1787.74 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.03/1787.74 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 1800.03/1787.74 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.03/1787.74 v -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1800.03/1787.74 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 1800.03/1787.74 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 1800.03/1787.74 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.03/1787.74 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1800.03/1787.74 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 1800.03/1787.74 v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.03/1787.74 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 1800.03/1787.74 v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.03/1787.74 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 1800.03/1787.74 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1800.03/1787.74 v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 1800.03/1787.74 v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 1800.03/1787.74 v -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1800.03/1787.74 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1800.03/1787.74 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.03/1787.74 v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 1800.03/1787.74 v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.03/1787.74 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 1800.03/1787.74 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.03/1787.74 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.03/1787.74 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1800.03/1787.74 v -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1800.03/1787.74 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 1800.03/1787.74 v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1800.03/1787.74 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.03/1787.74 v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 1800.03/1787.74 v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 1800.03/1787.74 v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.03/1787.74 v -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.03/1787.74 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.03/1787.74 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.03/1787.74 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.03/1787.74 v -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 1800.03/1787.74 v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 1800.03/1787.74 v -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.03/1787.74 v -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 1800.03/1787.74 v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.03/1787.74 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 1800.03/1787.74 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 1800.03/1787.74 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 1800.03/1787.74 v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1800.03/1787.74 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.03/1787.74 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.03/1787.74 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.03/1787.74 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.03/1787.74 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.03/1787.74 v -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.03/1787.74 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.03/1787.74 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 1800.03/1787.74 v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.03/1787.74 v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1800.03/1787.74 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1800.03/1787.74 v x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1800.03/1787.74 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1800.03/1787.74 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1800.03/1787.74 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1800.03/1787.74 v -x2306 -x2307 -x2308 -x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.03/1787.74 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.03/1787.74 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.03/1787.74 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.03/1787.74 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 1800.03/1787.74 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.03/1787.74 v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.03/1787.74 v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 1800.03/1787.74 v -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1800.03/1787.74 v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 1800.03/1787.74 v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1800.03/1787.74 v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.03/1787.74 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 1800.03/1787.74 v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.03/1787.74 v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 1800.03/1787.74 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 1800.03/1787.74 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 1800.03/1787.74 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 1800.03/1787.74 v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 1800.03/1787.74 v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 1800.03/1787.74 v x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 1800.03/1787.74 v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 1800.03/1787.74 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 1800.03/1787.74 v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 1800.03/1787.74 v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.03/1787.74 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.03/1787.74 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 1800.03/1787.74 v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 1800.03/1787.74 v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 1800.03/1787.74 v -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 1800.03/1787.74 v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 1800.03/1787.74 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1800.03/1787.74 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 1800.03/1787.74 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1800.03/1787.74 v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1800.03/1787.74 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.03/1787.74 v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1800.03/1787.74 v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1800.03/1787.74 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 1800.03/1787.74 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 1800.03/1787.74 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 1800.03/1787.74 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1800.03/1787.74 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 1800.03/1787.74 v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 1800.03/1787.74 v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 1800.03/1787.74 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 1800.03/1787.74 v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 1800.03/1787.74 v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 1800.03/1787.74 v -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.03/1787.74 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.03/1787.74 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 1800.03/1787.74 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 1800.03/1787.74 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 1800.03/1787.74 v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 1800.03/1787.74 v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 1800.03/1787.74 v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 1800.03/1787.74 v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 1800.03/1787.74 v -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 1800.03/1787.74 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 1800.03/1787.74 v -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 1800.03/1787.74 v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 1800.03/1787.74 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1800.03/1787.74 v x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 1800.03/1787.74 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 1800.03/1787.74 v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 1800.03/1787.74 v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 1800.03/1787.74 v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1800.03/1787.74 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 1800.03/1787.74 v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 1800.03/1787.74 v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 1800.03/1787.74 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 1800.03/1787.74 v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1800.03/1787.74 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 1800.03/1787.74 v -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 1800.03/1787.74 v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 1800.03/1787.74 v -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 1800.03/1787.74 v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 1800.03/1787.74 v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 1800.03/1787.74 v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 1800.03/1787.74 v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 1800.03/1787.74 v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 1800.03/1787.74 v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1800.03/1787.74 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 1800.03/1787.74 v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 1800.03/1787.74 v -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 1800.03/1787.74 v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 1800.03/1787.74 v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 1800.03/1787.74 v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 1800.03/1787.74 v -x3803 -x3804 -x3805 -x3806 -x3807 x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 1800.03/1787.74 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 1800.03/1787.74 v -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 1800.03/1787.74 v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1800.03/1787.74 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 1800.03/1787.74 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.03/1787.74 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 1800.03/1787.74 v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 1800.03/1787.74 v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 1800.03/1787.74 v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 1800.03/1787.74 v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 1800.03/1787.74 v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 1800.03/1787.74 v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 1800.03/1787.74 v -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 1800.03/1787.74 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 1800.03/1787.74 v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 1800.03/1787.74 v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 1800.03/1787.74 v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 1800.03/1787.74 v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 1800.03/1787.74 v -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 1800.03/1787.74 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 1800.03/1787.74 v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 1800.03/1787.74 v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 1800.03/1787.74 v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 1800.03/1787.74 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 1800.03/1787.74 v -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 1800.03/1787.74 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 1800.03/1787.74 v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 1800.03/1787.74 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 1800.03/1787.74 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 1800.03/1787.74 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 1800.03/1787.74 v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 1800.03/1787.74 v -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 1800.03/1787.74 v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 1800.03/1787.74 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1800.03/1787.74 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 1800.03/1787.74 v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 1800.03/1787.74 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1800.03/1787.74 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 1800.03/1787.74 v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 1800.03/1787.74 v -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 1800.03/1787.74 v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 1800.03/1787.74 v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 1800.03/1787.74 v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 1800.03/1787.74 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 1800.03/1787.74 v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 1800.03/1787.74 v -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.03/1787.74 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.03/1787.74 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.03/1787.74 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 -x4649 -x4650 -x4651 -x4652 1800.03/1787.74 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.03/1787.74 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.03/1787.74 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 1800.03/1787.74 v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1800.03/1787.74 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.03/1787.74 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.03/1787.74 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.03/1787.74 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.03/1787.74 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1800.03/1787.74 v x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 1800.03/1787.74 v -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 1800.03/1787.74 v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 1800.03/1787.74 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 1800.03/1787.74 v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 1800.03/1787.74 v -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 1800.03/1787.74 v -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 1800.03/1787.74 v -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 1800.03/1787.74 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.03/1787.74 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.03/1787.74 v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 1800.03/1787.74 v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 1800.03/1787.74 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 1800.03/1787.74 v -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 1800.03/1787.74 v -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 1800.03/1787.74 v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.03/1787.74 v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 1800.03/1787.74 v -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1800.03/1787.74 v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 1800.03/1787.74 v -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 1800.03/1787.74 v -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 1800.03/1787.74 v -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1800.03/1787.74 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 1800.03/1787.74 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.03/1787.74 v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 1800.03/1787.74 v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 1800.03/1787.74 v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 1800.03/1787.74 v -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 1800.03/1787.74 v -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 1800.03/1787.74 v -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 1800.03/1787.74 v -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 1800.03/1787.74 v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1800.03/1787.74 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 1800.03/1787.74 v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 1800.03/1787.74 v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 1800.03/1787.74 v x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 1800.03/1787.74 v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 1800.03/1787.74 v -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 1800.03/1787.74 v -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 1800.03/1787.74 v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 1800.03/1787.74 v -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 1800.03/1787.74 v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 1800.03/1787.74 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 1800.03/1787.74 v -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 1800.03/1787.74 v -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 1800.03/1787.74 v -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 1800.03/1787.74 v -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 1800.03/1787.74 v -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 1800.03/1787.74 v -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1800.03/1787.74 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 1800.03/1787.74 v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 1800.03/1787.74 v -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 x5691 1800.03/1787.74 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 1800.03/1787.74 v -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 1800.03/1787.74 v -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 1800.03/1787.74 v -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 1800.03/1787.74 v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 1800.03/1787.74 v -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 1800.03/1787.74 v -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1800.03/1787.74 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 1800.03/1787.74 v -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1800.03/1787.74 v -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 -x5862 1800.03/1787.74 v -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 1800.03/1787.74 v -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 1800.03/1787.74 v -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 1800.03/1787.74 v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1800.03/1787.74 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 1800.03/1787.74 v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 1800.03/1787.74 v -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 1800.03/1787.74 v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.03/1787.74 v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.03/1787.74 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.03/1787.74 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 1800.03/1787.74 v -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 1800.03/1787.74 v -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 1800.03/1787.74 v -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1800.03/1787.74 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 -x6114 -x6115 -x6116 -x6117 1800.03/1787.74 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 1800.03/1787.74 v -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 1800.03/1787.74 v -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 1800.03/1787.74 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 1800.03/1787.74 v -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 1800.03/1787.74 v -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 1800.03/1787.74 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1800.03/1787.74 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1800.03/1787.74 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1800.03/1787.74 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.03/1787.74 v -x6288 x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1800.03/1787.74 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1800.03/1787.74 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.03/1787.74 v -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 1800.03/1787.74 v -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1800.03/1787.74 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.03/1787.74 v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 1800.03/1787.74 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 1800.03/1787.74 v -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 1800.03/1787.74 v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 1800.03/1787.74 v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 x6472 -x6473 -x6474 1800.03/1787.74 v -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 1800.03/1787.74 v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 1800.03/1787.74 v -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 1800.03/1787.74 v x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 1800.03/1787.74 v -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 1800.03/1787.74 v -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 x6575 -x6576 1800.03/1787.74 v -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 1800.03/1787.74 v -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 1800.03/1787.74 v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 1800.03/1787.74 v -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 1800.03/1787.74 v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 1800.03/1787.77 c objective function=2145378043 1800.03/1787.77 c Total wall clock time (ms): 1787.567
OK 2145378043
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-354438-1176709439 -o ROOT/results/node27/solver-354438-1176709439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354438-1176709439/sat4jPseudoResolution.jar /tmp/evaluation/354438-1176709439/instance-354438-1176709439.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.15 1.07 1.01 3/65 781 /proc/meminfo: memFree=1820184/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1520 CPUtime=0 /proc/781/stat : 781 (java) R 779 781 32594 0 -1 0 92 0 0 0 0 0 0 0 18 0 1 0 83639771 1556480 73 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 1435318 0 0 4096 0 0 0 0 17 1 0 0 /proc/781/statm: 380 75 56 9 0 10 0 [startup+0.097479 s] /proc/loadavg: 1.15 1.07 1.01 3/65 781 /proc/meminfo: memFree=1820184/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1781132 CPUtime=0.08 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 3960 0 1 0 6 2 0 0 18 0 12 0 83639771 1823879168 3701 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 445283 3701 1122 9 0 442902 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1781132 [startup+0.101476 s] /proc/loadavg: 1.15 1.07 1.01 3/65 781 /proc/meminfo: memFree=1820184/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1781132 CPUtime=0.08 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 3980 0 1 0 6 2 0 0 18 0 12 0 83639771 1823879168 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 445283 3721 1122 9 0 442902 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1781132 [startup+0.3015 s] /proc/loadavg: 1.15 1.07 1.01 3/65 781 /proc/meminfo: memFree=1820184/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1782540 CPUtime=0.34 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 5154 0 1 0 30 4 0 0 18 0 12 0 83639771 1825320960 4892 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 445635 4892 1267 9 0 443247 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782540 [startup+0.701538 s] /proc/loadavg: 1.15 1.07 1.01 3/65 781 /proc/meminfo: memFree=1820184/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1782764 CPUtime=0.95 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 7347 0 1 0 90 5 0 0 18 0 12 0 83639771 1825550336 6862 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 445691 6863 1302 9 0 443303 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 1782764 [startup+1.50163 s] /proc/loadavg: 1.15 1.07 1.01 3/77 793 /proc/meminfo: memFree=1783480/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1782764 CPUtime=1.98 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 24223 0 1 0 185 13 0 0 18 0 12 0 83639771 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 445691 22931 1304 9 0 443303 0 [pid=781/tid=783] ppid=779 vsize=1782764 CPUtime=1.19 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 21665 0 1 0 108 11 0 0 21 0 12 0 83639772 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474122 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 83639774 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 83639774 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=786] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 83639776 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 83639777 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 83639777 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 83639781 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1782764 CPUtime=0.39 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1276 0 0 0 39 0 0 0 16 0 12 0 83639781 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1782764 CPUtime=0.36 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 559 0 0 0 36 0 0 0 16 0 12 0 83639781 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=792] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 83639781 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1782764 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 83639781 1825550336 22931 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 1782764 [startup+3.10278 s] /proc/loadavg: 1.15 1.07 1.01 4/78 794 /proc/meminfo: memFree=1669296/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784132 CPUtime=3.94 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 44062 0 1 0 372 22 0 0 18 0 13 0 83639771 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446033 41929 1325 9 0 443645 0 [pid=781/tid=783] ppid=779 vsize=1784132 CPUtime=2.64 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 37712 0 1 0 246 18 0 0 25 0 13 0 83639772 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109723851 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784132 CPUtime=0.04 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 1519 0 0 0 4 0 0 0 16 0 13 0 83639774 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1784132 CPUtime=0.05 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 1327 0 0 0 5 0 0 0 16 0 13 0 83639774 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=786] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 83639776 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784132 CPUtime=0.64 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1934 0 0 0 64 0 0 0 16 0 13 0 83639781 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784132 CPUtime=0.51 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 840 0 0 0 51 0 0 0 16 0 13 0 83639781 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=792] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=794] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/794/stat : 794 (java) S 779 781 32594 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 83639980 1826951168 41929 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 1784132 [startup+6.3021 s] /proc/loadavg: 1.14 1.07 1.01 2/78 794 /proc/meminfo: memFree=1644656/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784132 CPUtime=7.19 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 47120 0 1 0 696 23 0 0 18 0 13 0 83639771 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446033 44942 1325 9 0 443645 0 [pid=781/tid=783] ppid=779 vsize=1784132 CPUtime=5.79 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 37715 0 1 0 561 18 0 0 25 0 13 0 83639772 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109706357 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=784] ppid=779 vsize=1784132 CPUtime=0.09 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 3099 0 0 0 8 1 0 0 16 0 13 0 83639774 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1784132 CPUtime=0.1 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 2800 0 0 0 9 1 0 0 16 0 13 0 83639774 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=786] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 83639776 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784132 CPUtime=0.64 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1934 0 0 0 64 0 0 0 16 0 13 0 83639781 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784132 CPUtime=0.52 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 840 0 0 0 52 0 0 0 16 0 13 0 83639781 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=792] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=794] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/794/stat : 794 (java) S 779 781 32594 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 83639980 1826951168 44942 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 1784132 [startup+12.7028 s] /proc/loadavg: 1.12 1.07 1.01 2/78 794 /proc/meminfo: memFree=1643760/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784132 CPUtime=13.74 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 47380 0 1 0 1350 24 0 0 18 0 13 0 83639771 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446033 45197 1327 9 0 443645 0 [pid=781/tid=783] ppid=779 vsize=1784132 CPUtime=12.06 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 37719 0 1 0 1188 18 0 0 17 0 13 0 83639772 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109709976 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784132 CPUtime=0.18 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 3224 0 0 0 17 1 0 0 17 0 13 0 83639774 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1784132 CPUtime=0.18 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 2918 0 0 0 17 1 0 0 17 0 13 0 83639774 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=786] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 83639776 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=787] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784132 CPUtime=0.68 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1937 0 0 0 68 0 0 0 16 0 13 0 83639781 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784132 CPUtime=0.58 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 844 0 0 0 58 0 0 0 16 0 13 0 83639781 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=792] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784132 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1826951168 45197 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.74 Current children cumulated vsize (KiB) 1784132 [startup+25.501 s] /proc/loadavg: 1.10 1.06 1.01 2/78 796 /proc/meminfo: memFree=1630432/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784184 CPUtime=26.77 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 53721 0 1 0 2650 27 0 0 18 0 13 0 83639771 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446046 48525 1328 9 0 443658 0 [pid=781/tid=783] ppid=779 vsize=1784184 CPUtime=24.66 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 37723 0 1 0 2448 18 0 0 25 0 13 0 83639772 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109711507 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=784] ppid=779 vsize=1784184 CPUtime=0.33 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 6451 0 0 0 30 3 0 0 16 0 13 0 83639774 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1784184 CPUtime=0.33 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 5931 0 0 0 31 2 0 0 16 0 13 0 83639774 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=786] ppid=779 vsize=1784184 CPUtime=0 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 83639776 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784184 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827004416 48525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=781/tid=786] ppid=779 vsize=1784476 CPUtime=0.74 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 61 0 0 0 46 28 0 0 15 0 13 0 83639776 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784476 CPUtime=0.77 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1954 0 0 0 77 0 0 0 16 0 13 0 83639781 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784476 CPUtime=0.76 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 996 0 0 0 76 0 0 0 16 0 13 0 83639781 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=792] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=1142] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/1142/stat : 1142 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 83798945 1827303424 29319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1613.19 Current children cumulated vsize (KiB) 1784476 [startup+1662.3 s] /proc/loadavg: 1.42 1.16 1.05 2/78 1148 /proc/meminfo: memFree=1702232/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784476 CPUtime=1673.67 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 81276 0 1 0 167247 120 0 0 18 0 13 0 83639771 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446119 29875 1329 9 0 443731 0 [pid=781/tid=783] ppid=779 vsize=1784476 CPUtime=1648.63 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 47196 0 1 0 164817 46 0 0 25 0 13 0 83639772 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109723407 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784476 CPUtime=11.27 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 15588 0 0 0 1105 22 0 0 16 0 13 0 83639774 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=785] ppid=779 vsize=1784476 CPUtime=11.35 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 14535 0 0 0 1118 17 0 0 15 0 13 0 83639774 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=786] ppid=779 vsize=1784476 CPUtime=0.77 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 67 0 0 0 48 29 0 0 15 0 13 0 83639776 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=787] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784476 CPUtime=0.77 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1954 0 0 0 77 0 0 0 16 0 13 0 83639781 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784476 CPUtime=0.76 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 996 0 0 0 76 0 0 0 16 0 13 0 83639781 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=792] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=1148] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/1148/stat : 1148 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 83805861 1827303424 29875 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.67 Current children cumulated vsize (KiB) 1784476 [startup+1722.3 s] /proc/loadavg: 1.23 1.16 1.05 2/78 1154 /proc/meminfo: memFree=1698728/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784476 CPUtime=1734.13 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 83152 0 1 0 173290 123 0 0 18 0 13 0 83639771 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446119 30649 1329 9 0 443731 0 [pid=781/tid=783] ppid=779 vsize=1784476 CPUtime=1708.12 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 48095 0 1 0 170765 47 0 0 25 0 13 0 83639772 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109710785 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784476 CPUtime=11.74 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 16154 0 0 0 1151 23 0 0 16 0 13 0 83639774 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=785] ppid=779 vsize=1784476 CPUtime=11.82 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 14933 0 0 0 1165 17 0 0 16 0 13 0 83639774 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=786] ppid=779 vsize=1784476 CPUtime=0.8 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 74 0 0 0 50 30 0 0 16 0 13 0 83639776 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784476 CPUtime=0.77 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1954 0 0 0 77 0 0 0 16 0 13 0 83639781 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784476 CPUtime=0.76 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 996 0 0 0 76 0 0 0 16 0 13 0 83639781 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=792] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=1154] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/1154/stat : 1154 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 83811296 1827303424 30649 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1734.13 Current children cumulated vsize (KiB) 1784476 [startup+1782.3 s] /proc/loadavg: 1.08 1.13 1.04 2/78 1161 /proc/meminfo: memFree=1692336/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784476 CPUtime=1794.59 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 85376 0 1 0 179333 126 0 0 18 0 13 0 83639771 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446119 32253 1329 9 0 443731 0 [pid=781/tid=783] ppid=779 vsize=1784476 CPUtime=1767.6 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 49214 0 1 0 176712 48 0 0 25 0 13 0 83639772 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109723906 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784476 CPUtime=12.22 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 16437 0 0 0 1199 23 0 0 16 0 13 0 83639774 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=785] ppid=779 vsize=1784476 CPUtime=12.29 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 15738 0 0 0 1211 18 0 0 16 0 13 0 83639774 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=786] ppid=779 vsize=1784476 CPUtime=0.81 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 84 0 0 0 50 31 0 0 16 0 13 0 83639776 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=787] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784476 CPUtime=0.79 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1954 0 0 0 79 0 0 0 16 0 13 0 83639781 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784476 CPUtime=0.76 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 996 0 0 0 76 0 0 0 16 0 13 0 83639781 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=792] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=1161] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/1161/stat : 1161 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 83817749 1827303424 32253 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 1784476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.7 s] /proc/loadavg: 1.08 1.13 1.04 2/78 1161 /proc/meminfo: memFree=1692272/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=1784476 CPUtime=1800.03 /proc/781/stat : 781 (java) S 779 781 32594 0 -1 0 85433 0 1 0 179877 126 0 0 18 0 13 0 83639771 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 446119 32252 1329 9 0 443731 0 [pid=781/tid=783] ppid=779 vsize=1784476 CPUtime=1772.96 /proc/781/task/783/stat : 783 (java) R 779 781 32594 0 -1 64 49223 0 1 0 177248 48 0 0 25 0 13 0 83639772 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109723686 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=784] ppid=779 vsize=1784476 CPUtime=12.26 /proc/781/task/784/stat : 784 (java) S 779 781 32594 0 -1 64 16448 0 0 0 1203 23 0 0 16 0 13 0 83639774 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=785] ppid=779 vsize=1784476 CPUtime=12.33 /proc/781/task/785/stat : 785 (java) S 779 781 32594 0 -1 64 15775 0 0 0 1215 18 0 0 16 0 13 0 83639774 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=786] ppid=779 vsize=1784476 CPUtime=0.83 /proc/781/task/786/stat : 786 (java) S 779 781 32594 0 -1 64 84 0 0 0 51 32 0 0 15 0 13 0 83639776 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=787] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/787/stat : 787 (java) S 779 781 32594 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=788] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/788/stat : 788 (java) S 779 781 32594 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 83639777 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=789] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/789/stat : 789 (java) S 779 781 32594 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 83639781 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=790] ppid=779 vsize=1784476 CPUtime=0.79 /proc/781/task/790/stat : 790 (java) S 779 781 32594 0 -1 64 1954 0 0 0 79 0 0 0 16 0 13 0 83639781 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=791] ppid=779 vsize=1784476 CPUtime=0.76 /proc/781/task/791/stat : 791 (java) S 779 781 32594 0 -1 64 996 0 0 0 76 0 0 0 16 0 13 0 83639781 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=792] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/792/stat : 792 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 83639781 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=781/tid=793] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/793/stat : 793 (java) S 779 781 32594 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 83639781 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=781/tid=1161] ppid=779 vsize=1784476 CPUtime=0 /proc/781/task/1161/stat : 1161 (java) S 779 781 32594 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 83817749 1827303424 32252 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1784476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.81 s] /proc/loadavg: 1.08 1.13 1.04 2/78 1161 /proc/meminfo: memFree=1692272/2055920 swapFree=4184608/4192956 [pid=781] ppid=779 vsize=0 CPUtime=1800.2 /proc/781/stat : 781 (java) Z 779 781 32594 0 -1 1036 85449 0 1 0 179893 127 0 0 15 0 2 0 83639771 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/781/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.83 CPU time (s): 1800.22 CPU user time (s): 1798.93 CPU system time (s): 1.2918 CPU usage (%): 100.693 Max. virtual memory (cumulated for all children) (KiB): 1784640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.93 system time used= 1.2918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85449 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= 71421 involuntary context switches= 33398 runsolver used 1.80672 second user time and 6.06608 second system time The end
Begin job on node27 on Mon Apr 16 07:43:59 UTC 2007 IDJOB= 354438 IDBENCH= 2527 IDSOLVER= 159 FILE ID= node27/354438-1176709439 PBS_JOBID= 4560071 Free space on /tmp= 66513 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354438-1176709439/sat4jPseudoResolution.jar /tmp/evaluation/354438-1176709439/instance-354438-1176709439.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-354438-1176709439 -o ROOT/results/node27/solver-354438-1176709439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354438-1176709439/sat4jPseudoResolution.jar /tmp/evaluation/354438-1176709439/instance-354438-1176709439.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED= 7215911 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1820592 kB Buffers: 12384 kB Cached: 157088 kB SwapCached: 2636 kB Active: 43544 kB Inactive: 136400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820592 kB SwapTotal: 4192956 kB SwapFree: 4184608 kB Dirty: 5624 kB Writeback: 0 kB Mapped: 17060 kB Slab: 41408 kB Committed_AS: 1548692 kB PageTables: 1412 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= 66513 MiB End job on node27 on Mon Apr 16 08:13:48 UTC 2007