Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 2145384367 | 1800.27 | 1787.74 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
MD5SUM | 77d03e06bcf76c9b07fd6535ab6acb65 |
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.17 |
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.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354178-1176697770/instance-354178-1176697770.opb 0.20/0.20 c reading problem ... 2.55/2.03 c ... done. Wall clock time 1.826s. 2.55/2.03 c CPU time (experimental) 1.73s. 2.55/2.03 c #vars 6651 2.55/2.03 c #constraints 721 10.87/9.89 c SATISFIABLE 10.87/9.89 c OPTIMIZING... 10.87/9.89 c Got one! Elapsed wall clock time (in seconds):9.689 10.87/9.90 o 2147483616 13.35/12.28 c Got one! Elapsed wall clock time (in seconds):12.08 13.35/12.28 o 2146435071 20.40/19.17 c Got one! Elapsed wall clock time (in seconds):18.971 20.40/19.17 o 2145910783 29.46/28.18 c Got one! Elapsed wall clock time (in seconds):27.978 29.46/28.18 o 2145386495 36.07/34.79 c Got one! Elapsed wall clock time (in seconds):34.59 36.07/34.79 o 2145386494 44.88/43.56 c Got one! Elapsed wall clock time (in seconds):43.358 44.88/43.56 o 2145386493 54.98/53.62 c Got one! Elapsed wall clock time (in seconds):53.417 54.98/53.62 o 2145386492 68.19/66.82 c Got one! Elapsed wall clock time (in seconds):66.617 68.19/66.82 o 2145386489 74.60/73.27 c Got one! Elapsed wall clock time (in seconds):73.064 74.60/73.27 o 2145386488 86.12/84.72 c Got one! Elapsed wall clock time (in seconds):84.516 86.12/84.72 o 2145386487 96.32/94.91 c Got one! Elapsed wall clock time (in seconds):94.705 96.32/94.91 o 2145386486 109.54/108.11 c Got one! Elapsed wall clock time (in seconds):107.909 109.54/108.11 o 2145386483 118.45/117.02 c Got one! Elapsed wall clock time (in seconds):116.818 118.45/117.02 o 2145386463 130.98/129.59 c Got one! Elapsed wall clock time (in seconds):129.391 130.98/129.59 o 2145386462 142.91/141.45 c Got one! Elapsed wall clock time (in seconds):141.243 142.91/141.45 o 2145386455 157.35/155.81 c Got one! Elapsed wall clock time (in seconds):155.609 157.35/155.81 o 2145386453 166.28/164.70 c Got one! Elapsed wall clock time (in seconds):164.501 166.28/164.70 o 2145386447 175.42/173.87 c Got one! Elapsed wall clock time (in seconds):173.667 175.42/173.87 o 2145386445 184.75/183.14 c Got one! Elapsed wall clock time (in seconds):182.943 184.75/183.15 o 2145386443 194.10/192.40 c Got one! Elapsed wall clock time (in seconds):192.197 194.10/192.40 o 2145386441 204.46/202.76 c Got one! Elapsed wall clock time (in seconds):202.559 204.46/202.76 o 2145386431 215.82/214.06 c Got one! Elapsed wall clock time (in seconds):213.855 215.82/214.06 o 2145386430 229.17/227.31 c Got one! Elapsed wall clock time (in seconds):227.111 229.17/227.31 o 2145386427 241.35/239.43 c Got one! Elapsed wall clock time (in seconds):239.223 241.35/239.43 o 2145386415 249.00/247.01 c Got one! Elapsed wall clock time (in seconds):246.812 249.00/247.01 o 2145386399 257.25/255.28 c Got one! Elapsed wall clock time (in seconds):255.074 257.25/255.28 o 2145386397 269.73/267.63 c Got one! Elapsed wall clock time (in seconds):267.429 269.73/267.63 o 2145386383 277.78/275.64 c Got one! Elapsed wall clock time (in seconds):275.435 277.78/275.64 o 2145386367 285.83/283.61 c Got one! Elapsed wall clock time (in seconds):283.407 285.83/283.61 o 2145386365 295.58/293.39 c Got one! Elapsed wall clock time (in seconds):293.19 295.58/293.39 o 2145386351 306.55/304.23 c Got one! Elapsed wall clock time (in seconds):304.03 306.55/304.23 o 2145386239 314.90/312.56 c Got one! Elapsed wall clock time (in seconds):312.362 314.90/312.56 o 2145386237 325.57/323.12 c Got one! Elapsed wall clock time (in seconds):322.915 325.57/323.12 o 2145386236 332.62/330.10 c Got one! Elapsed wall clock time (in seconds):329.9 332.62/330.10 o 2145386231 341.97/339.40 c Got one! Elapsed wall clock time (in seconds):339.203 341.97/339.41 o 2145386223 346.70/344.11 c Got one! Elapsed wall clock time (in seconds):343.907 346.70/344.11 o 2145386221 355.65/353.10 c Got one! Elapsed wall clock time (in seconds):352.895 355.65/353.10 o 2145386220 361.60/358.99 c Got one! Elapsed wall clock time (in seconds):358.791 361.60/358.99 o 2145386215 368.54/365.89 c Got one! Elapsed wall clock time (in seconds):365.689 368.54/365.89 o 2145386214 378.92/376.18 c Got one! Elapsed wall clock time (in seconds):375.977 378.92/376.18 o 2145386213 385.73/382.90 c Got one! Elapsed wall clock time (in seconds):382.702 385.73/382.90 o 2145386211 392.78/389.91 c Got one! Elapsed wall clock time (in seconds):389.71 392.78/389.91 o 2145386207 402.23/399.37 c Got one! Elapsed wall clock time (in seconds):399.172 402.23/399.37 o 2145386206 409.36/406.43 c Got one! Elapsed wall clock time (in seconds):406.23 409.36/406.43 o 2145386203 417.63/414.63 c Got one! Elapsed wall clock time (in seconds):414.433 417.63/414.64 o 2145386202 427.90/424.87 c Got one! Elapsed wall clock time (in seconds):424.672 427.90/424.87 o 2145386201 435.34/432.24 c Got one! Elapsed wall clock time (in seconds):432.043 435.34/432.25 o 2145386175 441.99/438.84 c Got one! Elapsed wall clock time (in seconds):438.637 441.99/438.84 o 2145386174 453.25/450.09 c Got one! Elapsed wall clock time (in seconds):449.887 453.25/450.09 o 2145386172 462.81/459.57 c Got one! Elapsed wall clock time (in seconds):459.365 462.81/459.57 o 2145386167 469.66/466.40 c Got one! Elapsed wall clock time (in seconds):466.198 469.66/466.40 o 2145386166 477.61/474.26 c Got one! Elapsed wall clock time (in seconds):474.055 477.61/474.26 o 2145386163 488.25/484.88 c Got one! Elapsed wall clock time (in seconds):484.676 488.25/484.88 o 2145386162 497.32/493.88 c Got one! Elapsed wall clock time (in seconds):493.677 497.32/493.88 o 2145386159 504.26/500.70 c Got one! Elapsed wall clock time (in seconds):500.498 504.26/500.70 o 2145386111 515.22/511.69 c Got one! Elapsed wall clock time (in seconds):511.493 515.33/511.75 o 2145386107 522.67/519.03 c Got one! Elapsed wall clock time (in seconds):518.829 522.67/519.03 o 2145385983 531.36/527.65 c Got one! Elapsed wall clock time (in seconds):527.453 531.36/527.65 o 2145385981 538.60/534.89 c Got one! Elapsed wall clock time (in seconds):534.687 538.60/534.89 o 2145385967 547.16/543.33 c Got one! Elapsed wall clock time (in seconds):543.13 547.16/543.33 o 2145385965 552.79/548.97 c Got one! Elapsed wall clock time (in seconds):548.763 552.79/548.97 o 2145385951 556.93/553.02 c Got one! Elapsed wall clock time (in seconds):552.821 556.93/553.02 o 2145385949 564.57/560.62 c Got one! Elapsed wall clock time (in seconds):560.414 564.57/560.62 o 2145385935 573.92/569.99 c Got one! Elapsed wall clock time (in seconds):569.789 573.92/569.99 o 2145385471 584.08/580.03 c Got one! Elapsed wall clock time (in seconds):579.833 584.08/580.04 o 2145385470 592.55/588.44 c Got one! Elapsed wall clock time (in seconds):588.237 592.55/588.44 o 2145385467 601.71/597.50 c Got one! Elapsed wall clock time (in seconds):597.301 601.71/597.50 o 2145385466 610.76/606.54 c Got one! Elapsed wall clock time (in seconds):606.333 610.76/606.54 o 2145385465 618.40/614.18 c Got one! Elapsed wall clock time (in seconds):613.981 618.40/614.18 o 2145385464 625.24/620.96 c Got one! Elapsed wall clock time (in seconds):620.757 625.24/620.96 o 2145385463 634.42/630.01 c Got one! Elapsed wall clock time (in seconds):629.805 634.42/630.01 o 2145385459 642.15/637.71 c Got one! Elapsed wall clock time (in seconds):637.506 642.15/637.71 o 2145385439 652.81/648.30 c Got one! Elapsed wall clock time (in seconds):648.101 652.81/648.30 o 2145385438 660.36/655.86 c Got one! Elapsed wall clock time (in seconds):655.655 660.36/655.86 o 2145385435 667.30/662.80 c Got one! Elapsed wall clock time (in seconds):662.595 667.40/662.80 o 2145385433 678.98/674.38 c Got one! Elapsed wall clock time (in seconds):674.182 678.98/674.38 o 2145385431 686.84/682.11 c Got one! Elapsed wall clock time (in seconds):681.907 686.84/682.12 o 2145385429 690.98/686.29 c Got one! Elapsed wall clock time (in seconds):686.086 690.98/686.29 o 2145385427 701.95/697.12 c Got one! Elapsed wall clock time (in seconds):696.917 701.95/697.12 o 2145385426 707.98/703.20 c Got one! Elapsed wall clock time (in seconds):702.994 707.98/703.20 o 2145385425 717.04/712.18 c Got one! Elapsed wall clock time (in seconds):711.974 717.04/712.18 o 2145385424 721.68/716.73 c Got one! Elapsed wall clock time (in seconds):716.532 721.68/716.73 o 2145385423 728.02/723.06 c Got one! Elapsed wall clock time (in seconds):722.854 728.02/723.06 o 2145385421 735.98/730.93 c Got one! Elapsed wall clock time (in seconds):730.73 735.98/730.93 o 2145385407 745.55/740.43 c Got one! Elapsed wall clock time (in seconds):740.231 745.55/740.43 o 2145385403 754.40/749.25 c Got one! Elapsed wall clock time (in seconds):749.047 754.40/749.25 o 2145385375 760.34/755.17 c Got one! Elapsed wall clock time (in seconds):754.969 760.34/755.17 o 2145385343 770.02/764.78 c Got one! Elapsed wall clock time (in seconds):764.581 770.02/764.78 o 2145385342 776.16/770.81 c Got one! Elapsed wall clock time (in seconds):770.61 776.16/770.81 o 2145385341 786.01/780.68 c Got one! Elapsed wall clock time (in seconds):780.478 786.01/780.68 o 2145385339 792.68/787.27 c Got one! Elapsed wall clock time (in seconds):787.065 792.68/787.27 o 2145385337 801.34/795.88 c Got one! Elapsed wall clock time (in seconds):795.673 801.34/795.88 o 2145385336 805.87/800.36 c Got one! Elapsed wall clock time (in seconds):800.161 805.87/800.36 o 2145385335 814.52/808.94 c Got one! Elapsed wall clock time (in seconds):808.738 814.52/808.94 o 2145385334 823.17/817.55 c Got one! Elapsed wall clock time (in seconds):817.347 823.17/817.55 o 2145385327 830.41/824.77 c Got one! Elapsed wall clock time (in seconds):824.566 830.41/824.77 o 2145385326 839.87/834.15 c Got one! Elapsed wall clock time (in seconds):833.953 839.87/834.16 o 2145385323 850.75/844.97 c Got one! Elapsed wall clock time (in seconds):844.764 850.75/844.97 o 2145385319 861.73/855.81 c Got one! Elapsed wall clock time (in seconds):855.61 861.73/855.81 o 2145385317 871.59/865.63 c Got one! Elapsed wall clock time (in seconds):865.423 871.59/865.63 o 2145385311 882.68/876.61 c Got one! Elapsed wall clock time (in seconds):876.407 882.68/876.61 o 2145385309 890.33/884.25 c Got one! Elapsed wall clock time (in seconds):884.047 890.33/884.25 o 2145385295 900.69/894.56 c Got one! Elapsed wall clock time (in seconds):894.357 900.69/894.56 o 2145385294 910.47/904.21 c Got one! Elapsed wall clock time (in seconds):904.005 910.47/904.21 o 2145385279 919.41/913.11 c Got one! Elapsed wall clock time (in seconds):912.908 919.41/913.11 o 2145385278 927.26/920.91 c Got one! Elapsed wall clock time (in seconds):920.706 927.26/920.91 o 2145385277 938.22/931.82 c Got one! Elapsed wall clock time (in seconds):931.622 938.22/931.82 o 2145385271 945.56/939.13 c Got one! Elapsed wall clock time (in seconds):938.927 945.56/939.13 o 2145385270 955.24/948.76 c Got one! Elapsed wall clock time (in seconds):948.558 955.24/948.76 o 2145385267 963.39/956.88 c Got one! Elapsed wall clock time (in seconds):956.681 963.39/956.88 o 2145385266 969.02/962.49 c Got one! Elapsed wall clock time (in seconds):962.287 969.02/962.49 o 2145385265 978.49/971.86 c Got one! Elapsed wall clock time (in seconds):971.658 978.49/971.86 o 2145385263 987.46/980.78 c Got one! Elapsed wall clock time (in seconds):980.579 987.46/980.78 o 2145385261 994.72/987.96 c Got one! Elapsed wall clock time (in seconds):987.761 994.72/987.96 o 2145385259 1001.15/994.31 c Got one! Elapsed wall clock time (in seconds):994.108 1001.15/994.31 o 2145385247 1007.60/1000.79 c Got one! Elapsed wall clock time (in seconds):1000.584 1007.60/1000.79 o 2145385245 1014.25/1007.38 c Got one! Elapsed wall clock time (in seconds):1007.174 1014.25/1007.38 o 2145385244 1022.60/1015.62 c Got one! Elapsed wall clock time (in seconds):1015.416 1022.60/1015.62 o 2145385239 1027.63/1020.67 c Got one! Elapsed wall clock time (in seconds):1020.47 1027.63/1020.67 o 2145385215 1035.99/1028.93 c Got one! Elapsed wall clock time (in seconds):1028.733 1035.99/1028.93 o 2145385214 1043.44/1036.38 c Got one! Elapsed wall clock time (in seconds):1036.176 1043.44/1036.38 o 2145385207 1052.31/1045.15 c Got one! Elapsed wall clock time (in seconds):1044.95 1052.31/1045.15 o 2145385183 1060.76/1053.56 c Got one! Elapsed wall clock time (in seconds):1053.356 1060.76/1053.56 o 2145385167 1066.70/1059.42 c Got one! Elapsed wall clock time (in seconds):1059.217 1066.70/1059.42 o 2145385087 1075.26/1067.90 c Got one! Elapsed wall clock time (in seconds):1067.695 1075.26/1067.90 o 2145385085 1081.12/1073.80 c Got one! Elapsed wall clock time (in seconds):1073.594 1081.12/1073.80 o 2145385071 1088.07/1080.61 c Got one! Elapsed wall clock time (in seconds):1080.404 1088.07/1080.61 o 2145385070 1092.20/1084.75 c Got one! Elapsed wall clock time (in seconds):1084.544 1092.20/1084.75 o 2145385063 1097.63/1090.13 c Got one! Elapsed wall clock time (in seconds):1089.931 1097.63/1090.13 o 2145385061 1108.20/1100.62 c Got one! Elapsed wall clock time (in seconds):1100.419 1108.20/1100.62 o 2145385055 1116.36/1108.74 c Got one! Elapsed wall clock time (in seconds):1108.542 1116.36/1108.74 o 2145384959 1126.42/1118.72 c Got one! Elapsed wall clock time (in seconds):1118.522 1126.42/1118.72 o 2145384958 1135.68/1127.91 c Got one! Elapsed wall clock time (in seconds):1127.713 1135.68/1127.92 o 2145384957 1145.44/1137.69 c Got one! Elapsed wall clock time (in seconds):1137.487 1145.44/1137.69 o 2145384955 1154.01/1146.17 c Got one! Elapsed wall clock time (in seconds):1145.972 1154.01/1146.17 o 2145384954 1165.48/1157.58 c Got one! Elapsed wall clock time (in seconds):1157.374 1165.48/1157.58 o 2145384951 1171.22/1163.26 c Got one! Elapsed wall clock time (in seconds):1163.062 1171.22/1163.26 o 2145384947 1180.38/1172.31 c Got one! Elapsed wall clock time (in seconds):1172.108 1180.38/1172.31 o 2145384946 1185.41/1177.33 c Got one! Elapsed wall clock time (in seconds):1177.131 1185.41/1177.33 o 2145384945 1196.01/1187.81 c Got one! Elapsed wall clock time (in seconds):1187.603 1196.01/1187.81 o 2145384943 1203.46/1195.23 c Got one! Elapsed wall clock time (in seconds):1195.028 1203.46/1195.23 o 2145384939 1213.23/1204.96 c Got one! Elapsed wall clock time (in seconds):1204.757 1213.23/1204.96 o 2145384927 1222.09/1213.71 c Got one! Elapsed wall clock time (in seconds):1213.505 1222.09/1213.71 o 2145384926 1229.25/1220.80 c Got one! Elapsed wall clock time (in seconds):1220.598 1229.25/1220.80 o 2145384924 1241.33/1232.81 c Got one! Elapsed wall clock time (in seconds):1232.612 1241.33/1232.81 o 2145384921 1251.01/1242.42 c Got one! Elapsed wall clock time (in seconds):1242.219 1251.01/1242.42 o 2145384911 1260.27/1251.68 c Got one! Elapsed wall clock time (in seconds):1251.482 1260.27/1251.68 o 2145384909 1268.03/1259.40 c Got one! Elapsed wall clock time (in seconds):1259.196 1268.14/1259.40 o 2145384903 1277.60/1268.85 c Got one! Elapsed wall clock time (in seconds):1268.653 1277.60/1268.86 o 2145384901 1286.86/1278.08 c Got one! Elapsed wall clock time (in seconds):1277.882 1286.86/1278.08 o 2145384831 1296.33/1287.41 c Got one! Elapsed wall clock time (in seconds):1287.212 1296.33/1287.41 o 2145384830 1304.40/1295.48 c Got one! Elapsed wall clock time (in seconds):1295.279 1304.40/1295.48 o 2145384829 1311.83/1302.87 c Got one! Elapsed wall clock time (in seconds):1302.665 1311.83/1302.87 o 2145384827 1319.58/1310.58 c Got one! Elapsed wall clock time (in seconds):1310.381 1319.58/1310.58 o 2145384826 1329.67/1320.52 c Got one! Elapsed wall clock time (in seconds):1320.321 1329.67/1320.52 o 2145384825 1337.33/1328.19 c Got one! Elapsed wall clock time (in seconds):1327.984 1337.33/1328.19 o 2145384824 1349.83/1340.50 c Got one! Elapsed wall clock time (in seconds):1340.299 1349.83/1340.50 o 2145384823 1361.50/1352.13 c Got one! Elapsed wall clock time (in seconds):1351.928 1361.50/1352.13 o 2145384799 1372.39/1362.98 c Got one! Elapsed wall clock time (in seconds):1362.773 1372.39/1362.98 o 2145384795 1380.03/1370.53 c Got one! Elapsed wall clock time (in seconds):1370.329 1380.03/1370.53 o 2145384793 1389.39/1379.88 c Got one! Elapsed wall clock time (in seconds):1379.678 1389.39/1379.88 o 2145384792 1397.76/1388.13 c Got one! Elapsed wall clock time (in seconds):1387.931 1397.76/1388.13 o 2145384783 1405.40/1395.78 c Got one! Elapsed wall clock time (in seconds):1395.572 1405.40/1395.78 o 2145384781 1414.05/1404.32 c Got one! Elapsed wall clock time (in seconds):1404.122 1414.05/1404.32 o 2145384775 1424.44/1414.69 c Got one! Elapsed wall clock time (in seconds):1414.488 1424.44/1414.69 o 2145384703 1431.38/1421.52 c Got one! Elapsed wall clock time (in seconds):1421.316 1431.38/1421.52 o 2145384702 1436.21/1426.32 c Got one! Elapsed wall clock time (in seconds):1426.114 1436.21/1426.32 o 2145384701 1447.79/1437.89 c Got one! Elapsed wall clock time (in seconds):1437.688 1447.79/1437.89 o 2145384699 1458.26/1448.22 c Got one! Elapsed wall clock time (in seconds):1448.014 1458.26/1448.22 o 2145384695 1467.22/1457.20 c Got one! Elapsed wall clock time (in seconds):1456.993 1467.22/1457.20 o 2145384693 1478.79/1468.63 c Got one! Elapsed wall clock time (in seconds):1468.426 1478.79/1468.63 o 2145384691 1485.85/1475.62 c Got one! Elapsed wall clock time (in seconds):1475.419 1485.85/1475.62 o 2145384689 1498.34/1488.08 c Got one! Elapsed wall clock time (in seconds):1487.882 1498.34/1488.08 o 2145384671 1510.52/1500.20 c Got one! Elapsed wall clock time (in seconds):1499.994 1510.52/1500.20 o 2145384667 1521.82/1511.32 c Got one! Elapsed wall clock time (in seconds):1511.121 1521.82/1511.32 o 2145384663 1531.68/1521.15 c Got one! Elapsed wall clock time (in seconds):1520.944 1531.68/1521.15 o 2145384661 1543.56/1532.98 c Got one! Elapsed wall clock time (in seconds):1532.781 1543.56/1532.98 o 2145384655 1556.25/1545.51 c Got one! Elapsed wall clock time (in seconds):1545.304 1556.25/1545.51 o 2145384647 1564.60/1553.85 c Got one! Elapsed wall clock time (in seconds):1553.648 1564.60/1553.85 o 2145384639 1574.57/1563.76 c Got one! Elapsed wall clock time (in seconds):1563.561 1574.57/1563.76 o 2145384635 1582.74/1571.85 c Got one! Elapsed wall clock time (in seconds):1571.648 1582.74/1571.85 o 2145384575 1590.70/1579.72 c Got one! Elapsed wall clock time (in seconds):1579.52 1590.70/1579.72 o 2145384511 1598.06/1587.06 c Got one! Elapsed wall clock time (in seconds):1586.857 1598.06/1587.06 o 2145384447 1606.13/1595.06 c Got one! Elapsed wall clock time (in seconds):1594.855 1606.13/1595.06 o 2145384446 1613.47/1602.35 c Got one! Elapsed wall clock time (in seconds):1602.144 1613.47/1602.35 o 2145384444 1619.42/1608.29 c Got one! Elapsed wall clock time (in seconds):1608.087 1619.42/1608.29 o 2145384443 1629.30/1618.08 c Got one! Elapsed wall clock time (in seconds):1617.879 1629.30/1618.08 o 2145384442 1637.95/1626.67 c Got one! Elapsed wall clock time (in seconds):1626.472 1637.95/1626.67 o 2145384441 1644.61/1633.21 c Got one! Elapsed wall clock time (in seconds):1633.008 1644.61/1633.21 o 2145384439 1653.45/1642.09 c Got one! Elapsed wall clock time (in seconds):1641.89 1653.45/1642.09 o 2145384438 1662.41/1650.97 c Got one! Elapsed wall clock time (in seconds):1650.772 1662.41/1650.97 o 2145384437 1673.60/1662.01 c Got one! Elapsed wall clock time (in seconds):1661.812 1673.60/1662.01 o 2145384436 1679.33/1667.75 c Got one! Elapsed wall clock time (in seconds):1667.544 1679.33/1667.75 o 2145384431 1688.19/1676.52 c Got one! Elapsed wall clock time (in seconds):1676.321 1688.19/1676.52 o 2145384430 1693.84/1682.20 c Got one! Elapsed wall clock time (in seconds):1681.995 1693.94/1682.20 o 2145384423 1701.38/1689.67 c Got one! Elapsed wall clock time (in seconds):1689.467 1701.38/1689.67 o 2145384422 1710.34/1698.52 c Got one! Elapsed wall clock time (in seconds):1698.317 1710.34/1698.52 o 2145384419 1721.23/1709.32 c Got one! Elapsed wall clock time (in seconds):1709.123 1721.23/1709.33 o 2145384415 1730.69/1718.72 c Got one! Elapsed wall clock time (in seconds):1718.521 1730.69/1718.72 o 2145384414 1740.87/1728.89 c Got one! Elapsed wall clock time (in seconds):1728.691 1740.87/1728.89 o 2145384411 1750.24/1738.15 c Got one! Elapsed wall clock time (in seconds):1737.944 1750.24/1738.15 o 2145384407 1759.50/1747.37 c Got one! Elapsed wall clock time (in seconds):1747.169 1759.50/1747.37 o 2145384383 1770.18/1757.90 c Got one! Elapsed wall clock time (in seconds):1757.697 1770.18/1757.90 o 2145384382 1777.93/1765.64 c Got one! Elapsed wall clock time (in seconds):1765.442 1777.93/1765.64 o 2145384379 1788.19/1775.83 c Got one! Elapsed wall clock time (in seconds):1775.633 1788.19/1775.83 o 2145384367 1800.08/1787.61 c starts : 412 1800.08/1787.61 c conflicts : 21002 1800.08/1787.61 c decisions : 1199286 1800.08/1787.61 c propagations : 20185634 1800.08/1787.61 c inspects : 554841659 1800.08/1787.61 c learnt literals : 1 1800.08/1787.61 c learnt binary clauses : 0 1800.08/1787.61 c learnt ternary clauses : 0 1800.08/1787.61 c learnt clauses : 21001 1800.08/1787.61 c root simplifications : 0 1800.08/1787.61 c removed literals (reason simplification) : 0 1800.08/1787.61 c reason swapping (by a shorter reason) : 0 1800.08/1787.61 c Calls to reduceDB : 0 1800.08/1787.61 c speed (decisions/second) : 101859.94564294208 1800.08/1787.61 c non guided choices 1097118 1800.08/1787.61 s SATISFIABLE 1800.08/1787.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.08/1787.63 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.08/1787.63 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.08/1787.63 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.08/1787.63 v -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.08/1787.63 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.08/1787.63 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.08/1787.63 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.08/1787.63 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.08/1787.63 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.08/1787.63 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.08/1787.63 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.08/1787.63 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.08/1787.63 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.08/1787.63 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.08/1787.63 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.08/1787.63 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.08/1787.63 v -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.08/1787.63 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.08/1787.63 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.08/1787.63 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.08/1787.63 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.08/1787.63 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.08/1787.63 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.08/1787.63 v x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.08/1787.63 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.08/1787.63 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.08/1787.63 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.08/1787.63 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.08/1787.63 v -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.08/1787.63 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.08/1787.63 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.08/1787.63 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.08/1787.63 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.08/1787.63 v -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.08/1787.63 v -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.08/1787.63 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.08/1787.63 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.08/1787.63 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.08/1787.63 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.08/1787.63 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.08/1787.63 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.08/1787.63 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.08/1787.63 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.08/1787.63 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.08/1787.63 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.08/1787.63 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.08/1787.63 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.08/1787.63 v -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.08/1787.63 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.08/1787.63 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.08/1787.63 v -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.08/1787.63 v -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.08/1787.63 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.08/1787.63 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 1800.08/1787.63 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.08/1787.63 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.08/1787.63 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.08/1787.63 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.08/1787.63 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.08/1787.63 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.08/1787.63 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.08/1787.63 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1800.08/1787.63 v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 1800.08/1787.63 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.08/1787.63 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 1800.08/1787.63 v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.08/1787.63 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1800.08/1787.63 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1800.08/1787.63 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1800.08/1787.63 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1800.08/1787.63 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1800.08/1787.63 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 1800.08/1787.63 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 1800.08/1787.63 v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 1800.08/1787.63 v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.08/1787.63 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 1800.08/1787.63 v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.08/1787.63 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 1800.08/1787.63 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 1800.08/1787.63 v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 1800.08/1787.63 v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1800.08/1787.63 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 1800.08/1787.63 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 1800.08/1787.63 v x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 1800.08/1787.63 v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 1800.08/1787.63 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.08/1787.63 v -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 1800.08/1787.63 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 1800.08/1787.63 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 1800.08/1787.63 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 1800.08/1787.63 v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.08/1787.63 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1800.08/1787.63 v -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 1800.08/1787.63 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 1800.08/1787.63 v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 1800.08/1787.63 v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 1800.08/1787.63 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.08/1787.63 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 1800.08/1787.63 v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.08/1787.63 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 1800.08/1787.63 v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 1800.08/1787.63 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 1800.08/1787.63 v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1800.08/1787.63 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 1800.08/1787.63 v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.08/1787.63 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.08/1787.63 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 1800.08/1787.63 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.08/1787.63 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 1800.08/1787.63 v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 1800.08/1787.63 v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 1800.08/1787.63 v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 1800.08/1787.63 v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1800.08/1787.63 v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 1800.08/1787.63 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1800.08/1787.63 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.08/1787.63 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.08/1787.63 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1800.08/1787.63 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.08/1787.63 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 1800.08/1787.63 v -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 1800.08/1787.63 v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 1800.08/1787.63 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 -x2314 -x2315 1800.08/1787.63 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 1800.08/1787.63 v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 1800.08/1787.63 v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 1800.08/1787.63 v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.08/1787.63 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.08/1787.63 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.08/1787.63 v -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 1800.08/1787.63 v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 1800.08/1787.63 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.08/1787.63 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.08/1787.63 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 x2501 -x2502 -x2503 1800.08/1787.63 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.08/1787.63 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.08/1787.63 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.08/1787.63 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 1800.08/1787.63 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.08/1787.63 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.08/1787.63 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.08/1787.63 v x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.08/1787.63 v -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.08/1787.63 v x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.08/1787.63 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.08/1787.63 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.08/1787.63 v -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.08/1787.63 v -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.08/1787.63 v -x2742 -x2743 -x2744 -x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.08/1787.63 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.08/1787.63 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.08/1787.63 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.08/1787.63 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.08/1787.63 v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 1800.08/1787.63 v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1800.08/1787.63 v -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1800.08/1787.63 v -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 1800.08/1787.63 v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 1800.08/1787.63 v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 1800.08/1787.63 v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 1800.08/1787.63 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.08/1787.63 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.08/1787.63 v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 1800.08/1787.63 v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 1800.08/1787.63 v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1800.08/1787.63 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 1800.08/1787.63 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 1800.08/1787.63 v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 1800.08/1787.63 v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 1800.08/1787.63 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 1800.08/1787.63 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 1800.08/1787.63 v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1800.08/1787.63 v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 1800.08/1787.63 v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 1800.08/1787.63 v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1800.08/1787.63 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 1800.08/1787.63 v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 1800.08/1787.63 v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 1800.08/1787.63 v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1800.08/1787.63 v -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 1800.08/1787.63 v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.08/1787.63 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 1800.08/1787.63 v -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 1800.08/1787.63 v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 1800.08/1787.63 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1800.08/1787.63 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 1800.08/1787.63 v -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 1800.08/1787.63 v -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 1800.08/1787.63 v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 1800.08/1787.63 v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 1800.08/1787.63 v -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 1800.08/1787.63 v -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 1800.08/1787.63 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 1800.08/1787.63 v -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 1800.08/1787.63 v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1800.08/1787.63 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.08/1787.63 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 1800.08/1787.63 v -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 1800.08/1787.63 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.08/1787.63 v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 1800.08/1787.63 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 1800.08/1787.63 v -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 1800.08/1787.63 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.08/1787.63 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 1800.08/1787.63 v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1800.08/1787.63 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 1800.08/1787.63 v -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 1800.08/1787.63 v -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 1800.08/1787.63 v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 1800.08/1787.63 v -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 1800.08/1787.63 v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 1800.08/1787.63 v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 1800.08/1787.63 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 1800.08/1787.63 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 1800.08/1787.63 v -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1800.08/1787.63 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 1800.08/1787.63 v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 1800.08/1787.63 v -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 1800.08/1787.63 v -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 1800.08/1787.63 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.08/1787.63 v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 1800.08/1787.63 v -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.08/1787.63 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1800.08/1787.63 v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 1800.08/1787.63 v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 1800.08/1787.63 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 1800.08/1787.63 v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 1800.08/1787.63 v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 1800.08/1787.63 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 1800.08/1787.63 v -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 1800.08/1787.63 v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 1800.08/1787.63 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 1800.08/1787.63 v -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 1800.08/1787.63 v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.08/1787.63 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1800.08/1787.63 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.08/1787.63 v -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 1800.08/1787.63 v x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 1800.08/1787.63 v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 1800.08/1787.63 v -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 1800.08/1787.63 v -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 1800.08/1787.63 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 1800.08/1787.63 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 1800.08/1787.63 v -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1800.08/1787.63 v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 1800.08/1787.63 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 1800.08/1787.63 v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 1800.08/1787.63 v -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 1800.08/1787.63 v -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 1800.08/1787.63 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 1800.08/1787.63 v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 1800.08/1787.63 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.08/1787.63 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 1800.08/1787.63 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 1800.08/1787.63 v -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 1800.08/1787.63 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 1800.08/1787.63 v -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 1800.08/1787.63 v -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 1800.08/1787.63 v -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 1800.08/1787.63 v -x4629 -x4630 -x4631 -x4632 -x4633 x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 1800.08/1787.63 v -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 1800.08/1787.63 v -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 1800.08/1787.63 v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 1800.08/1787.63 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 1800.08/1787.63 v -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 1800.08/1787.63 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 1800.08/1787.63 v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 1800.08/1787.63 v -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 1800.08/1787.63 v -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 1800.08/1787.63 v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 1800.08/1787.63 v -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 1800.08/1787.63 v -x4833 -x4834 -x4835 -x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 1800.08/1787.63 v -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 1800.08/1787.63 v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 1800.08/1787.63 v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1800.08/1787.63 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 x4914 -x4915 -x4916 -x4917 1800.08/1787.63 v -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 1800.08/1787.63 v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 1800.08/1787.63 v -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 1800.08/1787.63 v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 1800.08/1787.63 v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 1800.08/1787.63 v -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 1800.08/1787.63 v -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 1800.08/1787.63 v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5050 -x5051 -x5052 -x5053 1800.08/1787.63 v -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1800.08/1787.63 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 1800.08/1787.63 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 1800.08/1787.63 v -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 1800.08/1787.63 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 1800.08/1787.63 v -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 1800.08/1787.63 v -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 1800.08/1787.63 v -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 1800.08/1787.63 v -x5190 -x5191 -x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 1800.08/1787.63 v -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 1800.08/1787.63 v -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.08/1787.63 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.08/1787.63 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1800.08/1787.63 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1800.08/1787.63 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1800.08/1787.63 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 1800.08/1787.63 v -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 1800.08/1787.63 v -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 1800.08/1787.63 v -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 1800.08/1787.63 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 1800.08/1787.63 v -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1800.08/1787.63 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 1800.08/1787.63 v -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 1800.08/1787.63 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 1800.08/1787.63 v -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 1800.08/1787.63 v -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 1800.08/1787.63 v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 1800.08/1787.63 v -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 1800.08/1787.63 v -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 1800.08/1787.63 v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 1800.08/1787.63 v -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 1800.08/1787.63 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 1800.08/1787.63 v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 1800.08/1787.63 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 1800.08/1787.63 v -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 1800.08/1787.63 v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1800.08/1787.63 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 1800.08/1787.63 v -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 1800.08/1787.63 v -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 1800.08/1787.63 v -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 1800.08/1787.63 v -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1800.08/1787.63 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 1800.08/1787.63 v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 1800.08/1787.63 v -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 1800.08/1787.63 v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 1800.08/1787.63 v -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 1800.08/1787.63 v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 1800.08/1787.63 v -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 1800.08/1787.63 v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 1800.08/1787.63 v -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 1800.08/1787.63 v -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 1800.08/1787.63 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 1800.08/1787.63 v -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 1800.08/1787.63 v -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 1800.08/1787.63 v -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 1800.08/1787.63 v -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 1800.08/1787.63 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 1800.08/1787.63 v -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 1800.08/1787.63 v -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 1800.08/1787.63 v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 1800.08/1787.63 v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 1800.08/1787.63 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 1800.08/1787.63 v x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 1800.08/1787.63 v -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 1800.08/1787.63 v -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 1800.08/1787.63 v -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 x6175 -x6176 1800.08/1787.63 v -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 x6193 1800.08/1787.63 v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 1800.08/1787.63 v -x6211 x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 1800.08/1787.63 v -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 1800.08/1787.63 v -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 1800.08/1787.63 v -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 1800.08/1787.63 v -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 1800.08/1787.63 v -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 1800.08/1787.63 v -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 1800.08/1787.63 v -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 1800.08/1787.63 v -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 1800.08/1787.63 v -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 1800.08/1787.63 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 1800.08/1787.63 v -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 1800.08/1787.63 v -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 x6430 -x6431 1800.08/1787.63 v -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 1800.08/1787.63 v -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 1800.08/1787.63 v -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 1800.08/1787.63 v x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 1800.08/1787.63 v -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 1800.08/1787.63 v -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 1800.08/1787.63 v -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 1800.08/1787.63 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 1800.08/1787.63 v -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 1800.08/1787.63 v -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 1800.08/1787.63 v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 1800.08/1787.63 v -x6619 -x6620 x6621 x6622 x6623 x6624 -x6625 x6626 -x6627 x6628 x6629 x6630 x6631 -x6632 x6633 x6634 x6635 x6636 x6637 x6638 1800.08/1787.63 v x6639 x6640 x6641 -x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 x6650 x6651 1800.08/1787.66 c objective function=2145384367 1800.08/1787.66 c Total wall clock time (ms): 1787.46
OK 2145384367
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-354178-1176697770 -o ROOT/results/node60/solver-354178-1176697770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354178-1176697770/sat4jPseudoResolution.jar /tmp/evaluation/354178-1176697770/instance-354178-1176697770.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/64 17587 /proc/meminfo: memFree=1879616/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=152 CPUtime=0 /proc/17587/stat : 17587 (java) D 17585 17587 16844 0 -1 0 42 0 0 0 0 0 0 0 20 0 1 0 117686950 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 5534500 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/17587/statm: 38 26 19 9 0 4 0 [startup+0.020101 s] /proc/loadavg: 0.92 1.00 0.99 3/64 17587 /proc/meminfo: memFree=1879616/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=12848 CPUtime=0 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 896 0 1 0 0 0 0 0 18 0 2 0 117686950 13156352 652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 3212 656 328 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12848 [startup+0.1011 s] /proc/loadavg: 0.92 1.00 0.99 3/64 17587 /proc/meminfo: memFree=1879616/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1780404 CPUtime=0.08 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 3959 0 1 0 6 2 0 0 18 0 12 0 117686950 1823133696 3700 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 445101 3700 1122 9 0 442720 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780404 [startup+0.301127 s] /proc/loadavg: 0.92 1.00 0.99 3/64 17587 /proc/meminfo: memFree=1879616/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1782284 CPUtime=0.34 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 5142 0 1 0 31 3 0 0 18 0 12 0 117686950 1825058816 4880 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 445571 4880 1267 9 0 443183 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782284 [startup+0.70117 s] /proc/loadavg: 0.92 1.00 0.99 3/64 17587 /proc/meminfo: memFree=1879616/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1783564 CPUtime=0.94 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 7320 0 1 0 90 4 0 0 18 0 12 0 117686950 1826369536 6849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 445891 6849 1302 9 0 443503 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 1783564 [startup+1.50225 s] /proc/loadavg: 0.92 1.00 0.99 3/76 17599 /proc/meminfo: memFree=1837856/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784344 CPUtime=2.05 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 26162 0 1 0 191 14 0 0 18 0 12 0 117686950 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446086 25044 1304 9 0 443698 0 [pid=17587/tid=17589] ppid=17585 vsize=1784344 CPUtime=1.21 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 23623 0 1 0 109 12 0 0 21 0 12 0 117686951 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 117686953 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 117686953 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 117686955 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 20 0 12 0 117686956 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 117686956 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 117686959 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784344 CPUtime=0.35 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 561 0 0 0 35 0 0 0 16 0 12 0 117686959 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784344 CPUtime=0.46 /proc/17587/task/17597/stat : 17597 (java) R 17585 17587 16844 0 -1 64 1257 0 0 0 46 0 0 0 16 0 12 0 117686959 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105054552 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 117686959 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784344 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 117686959 1827168256 25044 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 1784344 [startup+3.10241 s] /proc/loadavg: 0.92 1.00 0.99 4/77 17600 /proc/meminfo: memFree=1727640/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784668 CPUtime=3.92 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 43413 0 1 0 370 22 0 0 18 0 13 0 117686950 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446167 41982 1325 9 0 443779 0 [pid=17587/tid=17589] ppid=17585 vsize=1784668 CPUtime=2.67 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 37704 0 1 0 248 19 0 0 25 0 13 0 117686951 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109732063 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784668 CPUtime=0.04 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 1512 0 0 0 4 0 0 0 16 0 13 0 117686953 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784668 CPUtime=0.04 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 1321 0 0 0 4 0 0 0 16 0 13 0 117686953 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 117686955 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117686956 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784668 CPUtime=0.53 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 885 0 0 0 53 0 0 0 16 0 13 0 117686959 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784668 CPUtime=0.59 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1261 0 0 0 59 0 0 0 16 0 13 0 117686959 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17600] ppid=17585 vsize=1784668 CPUtime=0 /proc/17587/task/17600/stat : 17600 (java) S 17585 17587 16844 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117687155 1827500032 41982 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 1784668 [startup+6.30152 s] /proc/loadavg: 0.93 1.00 0.99 2/77 17600 /proc/meminfo: memFree=1703520/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784604 CPUtime=7.26 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 46979 0 1 0 703 23 0 0 18 0 13 0 117686950 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446151 45048 1325 9 0 443763 0 [pid=17587/tid=17589] ppid=17585 vsize=1784604 CPUtime=5.79 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 37710 0 1 0 560 19 0 0 25 0 13 0 117686951 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109732253 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784604 CPUtime=0.09 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 3079 0 0 0 8 1 0 0 16 0 13 0 117686953 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784604 CPUtime=0.1 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 2823 0 0 0 9 1 0 0 17 0 13 0 117686953 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 117686955 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117686956 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784604 CPUtime=0.59 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1320 0 0 0 59 0 0 0 16 0 13 0 117686959 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784604 CPUtime=0.65 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1315 0 0 0 65 0 0 0 16 0 13 0 117686959 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17600] ppid=17585 vsize=1784604 CPUtime=0 /proc/17587/task/17600/stat : 17600 (java) S 17585 17587 16844 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117687155 1827434496 45048 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.26 Current children cumulated vsize (KiB) 1784604 [startup+12.7022 s] /proc/loadavg: 0.93 1.00 0.99 2/77 17601 /proc/meminfo: memFree=1702360/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784572 CPUtime=13.9 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 47336 0 1 0 1366 24 0 0 18 0 13 0 117686950 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446143 45352 1328 9 0 443755 0 [pid=17587/tid=17589] ppid=17585 vsize=1784572 CPUtime=12.03 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 37714 0 1 0 1184 19 0 0 25 0 13 0 117686951 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109794009 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784572 CPUtime=0.18 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 3213 0 0 0 17 1 0 0 16 0 13 0 117686953 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784572 CPUtime=0.18 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 2977 0 0 0 17 1 0 0 16 0 13 0 117686953 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 13 0 0 0 0 0 0 0 17 0 13 0 117686955 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117686956 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784572 CPUtime=0.68 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1326 0 0 0 68 0 0 0 17 0 13 0 117686959 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784572 CPUtime=0.78 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1366 0 0 0 78 0 0 0 16 0 13 0 117686959 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827401728 45352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.9 Current children cumulated vsize (KiB) 1784572 [startup+25.5014 s] /proc/loadavg: 0.95 1.00 0.99 2/77 17603 /proc/meminfo: memFree=1688648/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784572 CPUtime=26.85 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 53836 0 1 0 2659 26 0 0 18 0 13 0 117686950 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446143 48873 1328 9 0 443755 0 [pid=17587/tid=17589] ppid=17585 vsize=1784572 CPUtime=24.66 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 37719 0 1 0 2447 19 0 0 25 0 13 0 117686951 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109732766 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784572 CPUtime=0.33 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 6590 0 0 0 31 2 0 0 16 0 13 0 117686953 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784572 CPUtime=0.33 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 6080 0 0 0 31 2 0 0 16 0 13 0 117686953 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 117686955 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784572 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827401728 48873 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=17587/tid=17591] ppid=17585 vsize=1784896 CPUtime=11.07 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 16719 0 0 0 1082 25 0 0 16 0 13 0 117686953 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784896 CPUtime=0.69 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 100 0 0 0 40 29 0 0 15 0 13 0 117686955 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1330 0 0 0 75 0 0 0 16 0 13 0 117686959 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784896 CPUtime=0.89 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1407 0 0 0 89 0 0 0 16 0 13 0 117686959 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17786] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17786/stat : 17786 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117846456 1827733504 33588 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1613.47 Current children cumulated vsize (KiB) 1784896 [startup+1662.3 s] /proc/loadavg: 1.01 1.05 1.01 2/77 17793 /proc/meminfo: memFree=1739880/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784896 CPUtime=1673.9 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 94039 0 1 0 167261 129 0 0 18 0 13 0 117686950 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446224 35158 1329 9 0 443836 0 [pid=17587/tid=17589] ppid=17585 vsize=1784896 CPUtime=1648.39 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 54029 0 1 0 164800 39 0 0 18 0 13 0 117686951 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720763 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784896 CPUtime=11.53 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 18782 0 0 0 1125 28 0 0 16 0 13 0 117686953 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784896 CPUtime=11.53 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 17385 0 0 0 1127 26 0 0 16 0 13 0 117686953 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784896 CPUtime=0.73 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 106 0 0 0 42 31 0 0 15 0 13 0 117686955 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1330 0 0 0 75 0 0 0 16 0 13 0 117686959 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784896 CPUtime=0.89 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1407 0 0 0 89 0 0 0 16 0 13 0 117686959 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827733504 35158 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.9 Current children cumulated vsize (KiB) 1784896 [startup+1722.3 s] /proc/loadavg: 1.00 1.04 1.00 2/77 17801 /proc/meminfo: memFree=1740328/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784896 CPUtime=1734.33 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 95050 0 1 0 173299 134 0 0 18 0 13 0 117686950 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446224 34987 1329 9 0 443836 0 [pid=17587/tid=17589] ppid=17585 vsize=1784896 CPUtime=1707.88 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 54129 0 1 0 170748 40 0 0 25 0 13 0 117686951 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109567391 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784896 CPUtime=11.98 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 19330 0 0 0 1168 30 0 0 16 0 13 0 117686953 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784896 CPUtime=11.98 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 17734 0 0 0 1171 27 0 0 16 0 13 0 117686953 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 109 0 0 0 43 32 0 0 16 0 13 0 117686955 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1330 0 0 0 75 0 0 0 16 0 13 0 117686959 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784896 CPUtime=0.89 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1407 0 0 0 89 0 0 0 16 0 13 0 117686959 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17801] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17801/stat : 17801 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 117858823 1827733504 34987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1734.33 Current children cumulated vsize (KiB) 1784896 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/77 17807 /proc/meminfo: memFree=1735544/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784896 CPUtime=1794.74 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 96874 0 1 0 179336 138 0 0 18 0 13 0 117686950 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446224 36112 1329 9 0 443836 0 [pid=17587/tid=17589] ppid=17585 vsize=1784896 CPUtime=1767.33 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 55108 0 1 0 176692 41 0 0 25 0 13 0 117686951 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109731927 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784896 CPUtime=12.47 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 19798 0 0 0 1215 32 0 0 16 0 13 0 117686953 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784896 CPUtime=12.45 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 18095 0 0 0 1218 27 0 0 16 0 13 0 117686953 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784896 CPUtime=0.77 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 114 0 0 0 44 33 0 0 16 0 13 0 117686955 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1330 0 0 0 75 0 0 0 16 0 13 0 117686959 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784896 CPUtime=0.89 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1407 0 0 0 89 0 0 0 16 0 13 0 117686959 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) S 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17807] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17807/stat : 17807 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117864534 1827733504 36112 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 1784896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.6 s] /proc/loadavg: 1.00 1.03 1.00 3/77 17807 /proc/meminfo: memFree=1735736/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=1784896 CPUtime=1800.08 /proc/17587/stat : 17587 (java) S 17585 17587 16844 0 -1 0 96898 0 1 0 179870 138 0 0 18 0 13 0 117686950 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17587/statm: 446224 36063 1329 9 0 443836 0 [pid=17587/tid=17589] ppid=17585 vsize=1784896 CPUtime=1772.58 /proc/17587/task/17589/stat : 17589 (java) R 17585 17587 16844 0 -1 64 55117 0 1 0 177217 41 0 0 21 0 13 0 117686951 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720260 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17590] ppid=17585 vsize=1784896 CPUtime=12.51 /proc/17587/task/17590/stat : 17590 (java) S 17585 17587 16844 0 -1 64 19807 0 0 0 1219 32 0 0 15 0 13 0 117686953 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17591] ppid=17585 vsize=1784896 CPUtime=12.5 /proc/17587/task/17591/stat : 17591 (java) S 17585 17587 16844 0 -1 64 18101 0 0 0 1222 28 0 0 16 0 13 0 117686953 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17592] ppid=17585 vsize=1784896 CPUtime=0.77 /proc/17587/task/17592/stat : 17592 (java) S 17585 17587 16844 0 -1 64 114 0 0 0 44 33 0 0 16 0 13 0 117686955 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17593] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17593/stat : 17593 (java) S 17585 17587 16844 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17594] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17594/stat : 17594 (java) S 17585 17587 16844 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117686956 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17595] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17595/stat : 17595 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 117686959 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17596] ppid=17585 vsize=1784896 CPUtime=0.75 /proc/17587/task/17596/stat : 17596 (java) S 17585 17587 16844 0 -1 64 1330 0 0 0 75 0 0 0 16 0 13 0 117686959 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17597] ppid=17585 vsize=1784896 CPUtime=0.89 /proc/17587/task/17597/stat : 17597 (java) S 17585 17587 16844 0 -1 64 1407 0 0 0 89 0 0 0 16 0 13 0 117686959 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17587/tid=17598] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17598/stat : 17598 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 117686959 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17599] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17599/stat : 17599 (java) R 17585 17587 16844 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117686959 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17587/tid=17807] ppid=17585 vsize=1784896 CPUtime=0 /proc/17587/task/17807/stat : 17807 (java) S 17585 17587 16844 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 117864534 1827733504 36063 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1784896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.71 s] /proc/loadavg: 1.00 1.03 1.00 3/77 17807 /proc/meminfo: memFree=1735736/2055920 swapFree=4184756/4192956 [pid=17587] ppid=17585 vsize=0 CPUtime=1800.24 /proc/17587/stat : 17587 (java) Z 17585 17587 16844 0 -1 1036 96913 0 1 0 179886 138 0 0 15 0 2 0 117686950 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/17587/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.74 CPU time (s): 1800.27 CPU user time (s): 1798.86 CPU system time (s): 1.41079 CPU usage (%): 100.701 Max. virtual memory (cumulated for all children) (KiB): 1784940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.86 system time used= 1.41078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96913 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= 68341 involuntary context switches= 38419 runsolver used 2.03569 second user time and 5.2612 second system time The end
Begin job on node60 on Mon Apr 16 04:29:30 UTC 2007 IDJOB= 354178 IDBENCH= 2371 IDSOLVER= 159 FILE ID= node60/354178-1176697770 PBS_JOBID= 4560031 Free space on /tmp= 66543 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354178-1176697770/sat4jPseudoResolution.jar /tmp/evaluation/354178-1176697770/instance-354178-1176697770.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-354178-1176697770 -o ROOT/results/node60/solver-354178-1176697770 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354178-1176697770/sat4jPseudoResolution.jar /tmp/evaluation/354178-1176697770/instance-354178-1176697770.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65 RANDOM SEED= 87765849 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 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: 1880024 kB Buffers: 6296 kB Cached: 101324 kB SwapCached: 2200 kB Active: 50756 kB Inactive: 66992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880024 kB SwapTotal: 4192956 kB SwapFree: 4184756 kB Dirty: 5592 kB Writeback: 0 kB Mapped: 17216 kB Slab: 44092 kB Committed_AS: 1468376 kB PageTables: 1464 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= 66543 MiB End job on node60 on Mon Apr 16 04:59:19 UTC 2007