Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 1340014445 | 1800.51 | 1790.94 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
| MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1205862294 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| 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.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.01/0.07 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.01/0.07 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.01/0.08 c no version file found!!! 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 1599470296 0.01/0.08 c Max memory 1607860224 0.01/0.08 c Total memory 1607860224 0.01/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3733492-1338697414.opb 0.09/0.10 c reading problem ... 1.09/0.68 c ... done. Wall clock time 0.586s. 1.09/0.69 c CPU time (experimental) 0.65s. 1.09/0.69 c #vars 6651 1.09/0.69 c #constraints 721 4.79/4.05 c SATISFIABLE 4.79/4.05 c OPTIMIZING... 4.79/4.05 c Got one! Elapsed wall clock time (in seconds):3.949 4.79/4.05 o 2147483616 8.41/7.52 c Got one! Elapsed wall clock time (in seconds):7.421 8.41/7.52 o 2145386495 12.37/11.45 c Got one! Elapsed wall clock time (in seconds):11.348 12.37/11.45 o 2145386494 16.23/15.28 c Got one! Elapsed wall clock time (in seconds):15.184 16.23/15.28 o 2145386491 20.19/19.15 c Got one! Elapsed wall clock time (in seconds):19.052 20.19/19.15 o 2145386479 24.71/23.68 c Got one! Elapsed wall clock time (in seconds):23.583 24.71/23.68 o 2145386431 29.53/28.43 c Got one! Elapsed wall clock time (in seconds):28.328 29.53/28.43 o 2145386415 33.54/32.48 c Got one! Elapsed wall clock time (in seconds):32.378 33.54/32.48 o 2145386399 38.47/37.35 c Got one! Elapsed wall clock time (in seconds):37.248 38.47/37.35 o 2145386239 42.48/41.36 c Got one! Elapsed wall clock time (in seconds):41.257 42.48/41.36 o 2145386231 46.39/45.23 c Got one! Elapsed wall clock time (in seconds):45.126 46.39/45.23 o 2145386223 50.19/49.09 c Got one! Elapsed wall clock time (in seconds):48.992 50.19/49.09 o 2145386207 53.60/52.41 c Got one! Elapsed wall clock time (in seconds):52.307 53.60/52.41 o 2145385983 57.41/56.21 c Got one! Elapsed wall clock time (in seconds):56.11 57.41/56.21 o 2145385982 61.20/60.04 c Got one! Elapsed wall clock time (in seconds):59.938 61.20/60.04 o 2145385975 64.31/63.19 c Got one! Elapsed wall clock time (in seconds):63.095 64.31/63.19 o 2145385971 67.01/65.83 c Got one! Elapsed wall clock time (in seconds):65.734 67.01/65.83 o 2145385969 71.22/70.00 c Got one! Elapsed wall clock time (in seconds):69.903 71.22/70.00 o 2145385967 75.24/74.06 c Got one! Elapsed wall clock time (in seconds):73.965 75.24/74.06 o 2145385959 79.94/78.76 c Got one! Elapsed wall clock time (in seconds):78.662 79.94/78.76 o 2145385919 81.84/80.64 c Got one! Elapsed wall clock time (in seconds):80.545 81.84/80.64 o 2145385471 85.44/84.27 c Got one! Elapsed wall clock time (in seconds):84.168 85.44/84.27 o 2145385470 88.64/87.48 c Got one! Elapsed wall clock time (in seconds):87.385 88.64/87.48 o 2145385463 90.15/88.98 c Got one! Elapsed wall clock time (in seconds):88.877 90.15/88.98 o 2145385455 93.15/91.90 c Got one! Elapsed wall clock time (in seconds):91.806 93.15/91.90 o 2145385454 96.05/94.82 c Got one! Elapsed wall clock time (in seconds):94.716 96.05/94.82 o 2145385451 100.59/99.38 c Got one! Elapsed wall clock time (in seconds):99.278 100.59/99.38 o 2145385439 103.79/102.54 c Got one! Elapsed wall clock time (in seconds):102.44 103.79/102.55 o 2145385407 107.60/106.33 c Got one! Elapsed wall clock time (in seconds):106.232 107.60/106.33 o 2145385391 109.70/108.41 c Got one! Elapsed wall clock time (in seconds):108.307 109.70/108.41 o 2145384959 112.32/111.06 c Got one! Elapsed wall clock time (in seconds):110.956 112.32/111.06 o 2145384955 114.63/113.37 c Got one! Elapsed wall clock time (in seconds):113.273 114.63/113.37 o 2145384943 117.22/115.95 c Got one! Elapsed wall clock time (in seconds):115.847 117.22/115.95 o 2145384935 120.02/118.76 c Got one! Elapsed wall clock time (in seconds):118.659 120.02/118.76 o 2145384831 122.62/121.34 c Got one! Elapsed wall clock time (in seconds):121.237 122.62/121.34 o 2145384823 125.53/124.20 c Got one! Elapsed wall clock time (in seconds):124.104 125.53/124.20 o 2145384819 127.95/126.62 c Got one! Elapsed wall clock time (in seconds):126.522 127.95/126.62 o 2145384703 129.94/128.61 c Got one! Elapsed wall clock time (in seconds):128.509 129.94/128.61 o 2145384687 132.15/130.84 c Got one! Elapsed wall clock time (in seconds):130.743 132.15/130.84 o 2145384679 133.65/132.36 c Got one! Elapsed wall clock time (in seconds):132.265 133.65/132.36 o 2145384447 138.05/136.79 c Got one! Elapsed wall clock time (in seconds):136.693 138.05/136.79 o 2145384446 141.65/140.32 c Got one! Elapsed wall clock time (in seconds):140.219 141.65/140.32 o 2145384445 144.86/143.52 c Got one! Elapsed wall clock time (in seconds):143.419 144.86/143.52 o 2145384439 149.18/147.80 c Got one! Elapsed wall clock time (in seconds):147.698 149.18/147.80 o 2145384415 153.08/151.80 c Got one! Elapsed wall clock time (in seconds):151.697 153.08/151.80 o 2145384383 156.31/154.93 c Got one! Elapsed wall clock time (in seconds):154.829 156.31/154.93 o 2145384375 159.43/158.01 c Got one! Elapsed wall clock time (in seconds):157.913 159.43/158.01 o 2145384371 162.95/161.54 c Got one! Elapsed wall clock time (in seconds):161.443 162.95/161.54 o 2145384319 167.17/165.78 c Got one! Elapsed wall clock time (in seconds):165.682 167.17/165.78 o 2145384315 169.98/168.53 c Got one! Elapsed wall clock time (in seconds):168.429 169.98/168.53 o 2145384303 173.08/171.68 c Got one! Elapsed wall clock time (in seconds):171.586 173.08/171.68 o 2145384191 176.18/174.72 c Got one! Elapsed wall clock time (in seconds):174.624 176.18/174.72 o 2145384190 179.28/177.87 c Got one! Elapsed wall clock time (in seconds):177.776 179.28/177.87 o 2145384187 182.81/181.31 c Got one! Elapsed wall clock time (in seconds):181.208 182.81/181.31 o 2145384186 186.32/184.84 c Got one! Elapsed wall clock time (in seconds):184.743 186.32/184.84 o 2145384175 189.73/188.27 c Got one! Elapsed wall clock time (in seconds):188.169 189.73/188.27 o 2145384173 193.43/191.92 c Got one! Elapsed wall clock time (in seconds):191.815 193.43/191.92 o 2145384167 196.54/195.03 c Got one! Elapsed wall clock time (in seconds):194.934 196.54/195.03 o 2145384163 199.44/197.95 c Got one! Elapsed wall clock time (in seconds):197.846 199.44/197.95 o 2145384161 202.74/201.27 c Got one! Elapsed wall clock time (in seconds):201.168 202.74/201.27 o 2145384127 205.94/204.49 c Got one! Elapsed wall clock time (in seconds):204.391 205.94/204.49 o 2145384119 208.84/207.39 c Got one! Elapsed wall clock time (in seconds):207.29 208.84/207.39 o 2145384111 211.65/210.12 c Got one! Elapsed wall clock time (in seconds):210.016 211.65/210.12 o 2145383935 214.05/212.59 c Got one! Elapsed wall clock time (in seconds):212.491 214.05/212.59 o 2145383934 215.35/213.87 c Got one! Elapsed wall clock time (in seconds):213.774 215.35/213.87 o 2145383933 218.76/217.23 c Got one! Elapsed wall clock time (in seconds):217.128 218.76/217.23 o 2145383932 221.88/220.39 c Got one! Elapsed wall clock time (in seconds):220.287 221.88/220.39 o 2145383928 225.08/223.51 c Got one! Elapsed wall clock time (in seconds):223.412 225.08/223.51 o 2145383927 228.01/226.47 c Got one! Elapsed wall clock time (in seconds):226.37 228.01/226.47 o 2145383925 230.91/229.37 c Got one! Elapsed wall clock time (in seconds):229.273 230.91/229.37 o 2145383919 234.82/233.24 c Got one! Elapsed wall clock time (in seconds):233.141 234.82/233.24 o 2145383918 237.72/236.14 c Got one! Elapsed wall clock time (in seconds):236.04 237.72/236.14 o 2145383915 240.63/239.06 c Got one! Elapsed wall clock time (in seconds):238.959 240.63/239.06 o 2145383911 241.93/240.30 c Got one! Elapsed wall clock time (in seconds):240.203 241.93/240.30 o 2145383903 244.54/242.92 c Got one! Elapsed wall clock time (in seconds):242.822 244.54/242.92 o 2145383902 247.24/245.62 c Got one! Elapsed wall clock time (in seconds):245.519 247.24/245.62 o 2145383871 250.24/248.63 c Got one! Elapsed wall clock time (in seconds):248.527 250.24/248.63 o 2145383869 253.25/251.65 c Got one! Elapsed wall clock time (in seconds):251.555 253.25/251.65 o 2145383867 256.35/254.76 c Got one! Elapsed wall clock time (in seconds):254.666 256.35/254.76 o 2145383839 259.56/257.92 c Got one! Elapsed wall clock time (in seconds):257.821 259.56/257.92 o 2145383835 262.97/261.37 c Got one! Elapsed wall clock time (in seconds):261.27 262.97/261.37 o 2145383833 265.78/264.17 c Got one! Elapsed wall clock time (in seconds):264.074 265.78/264.17 o 2145383807 268.89/267.24 c Got one! Elapsed wall clock time (in seconds):267.136 268.89/267.24 o 2145383805 271.60/269.91 c Got one! Elapsed wall clock time (in seconds):269.809 271.60/269.91 o 2145383791 275.11/273.47 c Got one! Elapsed wall clock time (in seconds):273.37 275.11/273.47 o 2145383783 279.24/277.55 c Got one! Elapsed wall clock time (in seconds):277.448 279.24/277.55 o 2145383679 284.17/282.44 c Got one! Elapsed wall clock time (in seconds):282.337 284.17/282.44 o 2145383675 289.48/287.73 c Got one! Elapsed wall clock time (in seconds):287.628 289.48/287.73 o 2145383663 293.42/291.64 c Got one! Elapsed wall clock time (in seconds):291.54 293.42/291.64 o 2145383615 298.47/296.64 c Got one! Elapsed wall clock time (in seconds):296.542 298.47/296.64 o 2145383611 302.71/300.81 c Got one! Elapsed wall clock time (in seconds):300.714 302.71/300.81 o 2145383599 307.84/305.98 c Got one! Elapsed wall clock time (in seconds):305.878 307.84/305.98 o 2145383583 312.54/310.64 c Got one! Elapsed wall clock time (in seconds):310.544 312.54/310.64 o 2145383567 315.96/314.00 c Got one! Elapsed wall clock time (in seconds):313.904 315.96/314.00 o 2145383551 320.07/318.15 c Got one! Elapsed wall clock time (in seconds):318.047 320.07/318.15 o 2145383549 324.77/322.81 c Got one! Elapsed wall clock time (in seconds):322.716 324.77/322.81 o 2145383519 327.87/325.91 c Got one! Elapsed wall clock time (in seconds):325.807 327.87/325.91 o 2145383423 331.18/329.20 c Got one! Elapsed wall clock time (in seconds):329.1 331.18/329.20 o 2145383422 333.89/331.99 c Got one! Elapsed wall clock time (in seconds):331.89 333.89/331.99 o 2145383419 337.39/335.45 c Got one! Elapsed wall clock time (in seconds):335.348 337.39/335.45 o 2145383415 340.80/338.89 c Got one! Elapsed wall clock time (in seconds):338.788 340.80/338.89 o 2145383411 343.31/341.38 c Got one! Elapsed wall clock time (in seconds):341.279 343.31/341.38 o 2145383407 344.83/342.82 c Got one! Elapsed wall clock time (in seconds):342.723 344.83/342.82 o 2145383359 347.75/345.77 c Got one! Elapsed wall clock time (in seconds):345.667 347.75/345.77 o 2145383358 349.25/347.25 c Got one! Elapsed wall clock time (in seconds):347.149 349.25/347.25 o 2145383343 352.06/350.04 c Got one! Elapsed wall clock time (in seconds):349.939 352.06/350.04 o 2145383342 355.46/353.44 c Got one! Elapsed wall clock time (in seconds):353.34 355.46/353.44 o 2145383339 359.48/357.45 c Got one! Elapsed wall clock time (in seconds):357.352 359.48/357.45 o 2145383295 362.51/360.48 c Got one! Elapsed wall clock time (in seconds):360.381 362.51/360.48 o 2145382399 365.33/363.26 c Got one! Elapsed wall clock time (in seconds):363.157 365.33/363.26 o 2145382397 369.45/367.35 c Got one! Elapsed wall clock time (in seconds):367.255 369.45/367.35 o 2145382395 373.26/371.12 c Got one! Elapsed wall clock time (in seconds):371.021 373.26/371.12 o 2145382391 377.17/375.00 c Got one! Elapsed wall clock time (in seconds):374.905 377.17/375.00 o 2145382387 380.68/378.58 c Got one! Elapsed wall clock time (in seconds):378.483 380.68/378.58 o 2145382383 382.68/380.56 c Got one! Elapsed wall clock time (in seconds):380.458 382.68/380.56 o 2145382381 386.12/383.94 c Got one! Elapsed wall clock time (in seconds):383.84 386.12/383.94 o 2145382379 390.63/388.42 c Got one! Elapsed wall clock time (in seconds):388.318 390.63/388.42 o 2145382375 394.43/392.21 c Got one! Elapsed wall clock time (in seconds):392.112 394.43/392.21 o 2145382367 398.24/396.08 c Got one! Elapsed wall clock time (in seconds):395.985 398.24/396.08 o 2145382271 401.99/399.73 c Got one! Elapsed wall clock time (in seconds):399.634 401.99/399.73 o 2145381375 405.34/403.08 c Got one! Elapsed wall clock time (in seconds):402.982 405.34/403.08 o 2145381373 408.64/406.33 c Got one! Elapsed wall clock time (in seconds):406.229 408.64/406.33 o 2145381359 412.04/409.72 c Got one! Elapsed wall clock time (in seconds):409.624 412.04/409.73 o 2145381357 416.14/413.86 c Got one! Elapsed wall clock time (in seconds):413.757 416.14/413.86 o 2145381355 419.14/416.89 c Got one! Elapsed wall clock time (in seconds):416.791 419.14/416.89 o 2145381343 422.74/420.47 c Got one! Elapsed wall clock time (in seconds):420.37 422.74/420.47 o 2145381247 426.05/423.79 c Got one! Elapsed wall clock time (in seconds):423.687 426.05/423.79 o 2145381245 428.75/426.44 c Got one! Elapsed wall clock time (in seconds):426.341 428.75/426.44 o 2145381231 432.46/430.16 c Got one! Elapsed wall clock time (in seconds):430.058 432.46/430.16 o 2145381230 436.76/434.47 c Got one! Elapsed wall clock time (in seconds):434.371 436.76/434.47 o 2145381223 439.77/437.42 c Got one! Elapsed wall clock time (in seconds):437.318 439.77/437.42 o 2145381119 443.37/441.05 c Got one! Elapsed wall clock time (in seconds):440.956 443.37/441.05 o 2145381115 446.88/444.57 c Got one! Elapsed wall clock time (in seconds):444.47 446.88/444.57 o 2145381087 449.78/447.41 c Got one! Elapsed wall clock time (in seconds):447.313 449.78/447.41 o 2145381079 453.19/450.86 c Got one! Elapsed wall clock time (in seconds):450.763 453.19/450.86 o 2145381055 456.49/454.18 c Got one! Elapsed wall clock time (in seconds):454.081 456.49/454.18 o 2145380991 459.11/456.77 c Got one! Elapsed wall clock time (in seconds):456.669 459.11/456.77 o 2145380863 462.22/459.85 c Got one! Elapsed wall clock time (in seconds):459.748 462.22/459.85 o 2145380847 464.42/462.01 c Got one! Elapsed wall clock time (in seconds):461.908 464.42/462.01 o 2145380351 467.34/464.92 c Got one! Elapsed wall clock time (in seconds):464.823 467.34/464.93 o 2145380350 470.66/468.26 c Got one! Elapsed wall clock time (in seconds):468.156 470.66/468.26 o 2145380348 474.19/471.80 c Got one! Elapsed wall clock time (in seconds):471.697 474.19/471.80 o 2145380347 477.39/474.94 c Got one! Elapsed wall clock time (in seconds):474.839 477.39/474.94 o 2145380319 478.99/476.53 c Got one! Elapsed wall clock time (in seconds):476.431 478.99/476.53 o 2145380317 481.41/478.93 c Got one! Elapsed wall clock time (in seconds):478.829 481.41/478.93 o 2145380316 484.91/482.46 c Got one! Elapsed wall clock time (in seconds):482.366 484.91/482.46 o 2145380315 489.44/486.97 c Got one! Elapsed wall clock time (in seconds):486.869 489.44/486.97 o 2145380287 493.87/491.36 c Got one! Elapsed wall clock time (in seconds):491.256 493.87/491.36 o 2145380255 496.98/494.48 c Got one! Elapsed wall clock time (in seconds):494.379 496.98/494.48 o 2145380095 500.28/497.78 c Got one! Elapsed wall clock time (in seconds):497.678 500.28/497.78 o 2145380093 505.32/502.73 c Got one! Elapsed wall clock time (in seconds):502.633 505.32/502.73 o 2145380063 508.33/505.77 c Got one! Elapsed wall clock time (in seconds):505.668 508.33/505.77 o 2145379839 511.85/509.22 c Got one! Elapsed wall clock time (in seconds):509.119 511.85/509.22 o 2145379835 515.26/512.66 c Got one! Elapsed wall clock time (in seconds):512.563 515.26/512.66 o 2145379711 518.78/516.18 c Got one! Elapsed wall clock time (in seconds):516.08 518.78/516.18 o 2145379583 521.30/518.62 c Got one! Elapsed wall clock time (in seconds):518.517 521.30/518.62 o 2145378303 523.81/521.12 c Got one! Elapsed wall clock time (in seconds):521.021 523.81/521.12 o 2145378302 526.81/524.13 c Got one! Elapsed wall clock time (in seconds):524.028 526.81/524.13 o 2145378299 530.64/527.98 c Got one! Elapsed wall clock time (in seconds):527.884 530.64/527.98 o 2145378297 534.47/531.76 c Got one! Elapsed wall clock time (in seconds):531.665 534.47/531.76 o 2145378271 535.97/533.21 c Got one! Elapsed wall clock time (in seconds):533.109 535.97/533.21 o 2145378269 539.50/536.75 c Got one! Elapsed wall clock time (in seconds):536.652 539.50/536.75 o 2145378268 542.72/539.99 c Got one! Elapsed wall clock time (in seconds):539.894 542.72/539.99 o 2145378255 545.75/542.97 c Got one! Elapsed wall clock time (in seconds):542.875 545.75/542.97 o 2145378239 548.77/545.92 c Got one! Elapsed wall clock time (in seconds):545.824 548.77/545.92 o 2145378231 551.39/548.52 c Got one! Elapsed wall clock time (in seconds):548.424 551.39/548.52 o 2145378047 554.20/551.32 c Got one! Elapsed wall clock time (in seconds):551.225 554.20/551.32 o 2145378046 556.44/553.50 c Got one! Elapsed wall clock time (in seconds):553.399 556.44/553.50 o 2145378043 559.06/556.18 c Got one! Elapsed wall clock time (in seconds):556.081 559.06/556.18 o 2145378041 561.18/558.25 c Got one! Elapsed wall clock time (in seconds):558.148 561.18/558.25 o 2145378040 563.58/560.69 c Got one! Elapsed wall clock time (in seconds):560.591 563.58/560.69 o 2145378039 565.49/562.54 c Got one! Elapsed wall clock time (in seconds):562.445 565.49/562.54 o 2145378038 568.40/565.41 c Got one! Elapsed wall clock time (in seconds):565.309 568.40/565.41 o 2145378036 571.82/568.85 c Got one! Elapsed wall clock time (in seconds):568.754 571.82/568.85 o 2145378031 574.64/571.68 c Got one! Elapsed wall clock time (in seconds):571.579 574.64/571.68 o 2145378029 578.04/575.00 c Got one! Elapsed wall clock time (in seconds):574.9 578.04/575.00 o 2145378023 580.85/577.83 c Got one! Elapsed wall clock time (in seconds):577.733 580.85/577.83 o 2145378015 583.46/580.47 c Got one! Elapsed wall clock time (in seconds):580.371 583.46/580.47 o 2145378007 586.07/583.02 c Got one! Elapsed wall clock time (in seconds):582.922 586.07/583.02 o 2145377983 588.57/585.53 c Got one! Elapsed wall clock time (in seconds):585.426 588.57/585.53 o 2145377981 592.59/589.52 c Got one! Elapsed wall clock time (in seconds):589.418 592.59/589.52 o 2145377979 594.59/591.51 c Got one! Elapsed wall clock time (in seconds):591.41 594.59/591.51 o 2145377967 597.39/594.39 c Got one! Elapsed wall clock time (in seconds):594.287 597.39/594.39 o 2145377966 599.59/596.59 c Got one! Elapsed wall clock time (in seconds):596.488 599.59/596.59 o 2145377959 602.50/599.46 c Got one! Elapsed wall clock time (in seconds):599.363 602.50/599.46 o 2145377919 605.72/602.62 c Got one! Elapsed wall clock time (in seconds):602.52 605.72/602.62 o 2145377855 608.42/605.35 c Got one! Elapsed wall clock time (in seconds):605.248 608.42/605.35 o 2145377279 611.24/608.13 c Got one! Elapsed wall clock time (in seconds):608.035 611.24/608.13 o 2145377277 614.85/611.74 c Got one! Elapsed wall clock time (in seconds):611.638 614.85/611.74 o 2145377271 617.95/614.84 c Got one! Elapsed wall clock time (in seconds):614.742 617.95/614.84 o 2145377263 621.87/618.74 c Got one! Elapsed wall clock time (in seconds):618.641 621.87/618.74 o 2145377259 625.88/622.77 c Got one! Elapsed wall clock time (in seconds):622.672 625.88/622.77 o 2145377247 629.28/626.12 c Got one! Elapsed wall clock time (in seconds):626.022 629.28/626.12 o 2145377231 632.69/629.58 c Got one! Elapsed wall clock time (in seconds):629.484 632.69/629.58 o 2145377023 635.70/632.56 c Got one! Elapsed wall clock time (in seconds):632.457 635.70/632.56 o 2145376767 639.00/635.86 c Got one! Elapsed wall clock time (in seconds):635.756 639.00/635.86 o 2145376759 642.41/639.26 c Got one! Elapsed wall clock time (in seconds):639.156 642.41/639.26 o 2145376735 645.53/642.40 c Got one! Elapsed wall clock time (in seconds):642.297 645.53/642.40 o 2145374207 649.05/645.82 c Got one! Elapsed wall clock time (in seconds):645.718 649.05/645.82 o 2145374205 651.75/648.59 c Got one! Elapsed wall clock time (in seconds):648.486 651.75/648.59 o 2145374191 653.96/650.78 c Got one! Elapsed wall clock time (in seconds):650.679 653.96/650.78 o 2145374143 656.16/652.93 c Got one! Elapsed wall clock time (in seconds):652.829 656.16/652.93 o 2145374139 659.21/655.99 c Got one! Elapsed wall clock time (in seconds):655.89 659.21/655.99 o 2145374079 660.61/657.33 c Got one! Elapsed wall clock time (in seconds):657.234 660.61/657.33 o 2145374077 663.92/660.65 c Got one! Elapsed wall clock time (in seconds):660.553 663.92/660.65 o 2145374075 666.93/663.65 c Got one! Elapsed wall clock time (in seconds):663.549 666.93/663.65 o 2145374063 669.45/666.18 c Got one! Elapsed wall clock time (in seconds):666.077 669.45/666.18 o 2145374059 671.76/668.45 c Got one! Elapsed wall clock time (in seconds):668.354 671.76/668.45 o 2145374047 674.09/670.78 c Got one! Elapsed wall clock time (in seconds):670.681 674.09/670.78 o 2145374046 676.59/673.24 c Got one! Elapsed wall clock time (in seconds):673.141 676.59/673.24 o 2145374043 679.11/675.76 c Got one! Elapsed wall clock time (in seconds):675.663 679.11/675.76 o 2145374031 681.91/678.54 c Got one! Elapsed wall clock time (in seconds):678.437 681.91/678.54 o 2145374030 684.63/681.26 c Got one! Elapsed wall clock time (in seconds):681.165 684.63/681.26 o 2145374027 686.34/682.92 c Got one! Elapsed wall clock time (in seconds):682.817 686.34/682.92 o 2145374015 688.64/685.28 c Got one! Elapsed wall clock time (in seconds):685.183 688.64/685.28 o 2145374013 691.66/688.23 c Got one! Elapsed wall clock time (in seconds):688.13 691.66/688.23 o 2145373999 694.27/690.87 c Got one! Elapsed wall clock time (in seconds):690.767 694.27/690.87 o 2145373695 695.57/692.11 c Got one! Elapsed wall clock time (in seconds):692.01 695.57/692.11 o 2145373693 697.90/694.45 c Got one! Elapsed wall clock time (in seconds):694.349 697.90/694.45 o 2145373692 699.60/696.13 c Got one! Elapsed wall clock time (in seconds):696.032 699.60/696.13 o 2145373691 701.25/697.73 c Got one! Elapsed wall clock time (in seconds):697.631 701.25/697.73 o 2145373689 702.15/698.67 c Got one! Elapsed wall clock time (in seconds):698.566 702.15/698.67 o 2145373687 706.15/702.65 c Got one! Elapsed wall clock time (in seconds):702.553 706.15/702.65 o 2145373686 708.85/705.30 c Got one! Elapsed wall clock time (in seconds):705.205 708.85/705.30 o 2145373679 710.66/707.19 c Got one! Elapsed wall clock time (in seconds):707.092 710.66/707.19 o 2145373663 713.19/709.64 c Got one! Elapsed wall clock time (in seconds):709.537 713.19/709.64 o 2145373661 714.49/710.96 c Got one! Elapsed wall clock time (in seconds):710.865 714.49/710.96 o 2145373655 716.69/713.11 c Got one! Elapsed wall clock time (in seconds):713.012 716.69/713.11 o 2145373654 719.00/715.44 c Got one! Elapsed wall clock time (in seconds):715.339 719.00/715.44 o 2145373653 722.22/718.61 c Got one! Elapsed wall clock time (in seconds):718.511 722.22/718.61 o 2145373631 723.22/719.66 c Got one! Elapsed wall clock time (in seconds):719.565 723.22/719.66 o 2145373627 726.55/722.98 c Got one! Elapsed wall clock time (in seconds):722.883 726.55/722.98 o 2145373626 729.37/725.75 c Got one! Elapsed wall clock time (in seconds):725.652 729.37/725.75 o 2145373615 732.08/728.46 c Got one! Elapsed wall clock time (in seconds):728.366 732.08/728.46 o 2145373567 736.61/732.96 c Got one! Elapsed wall clock time (in seconds):732.861 736.61/732.96 o 2145372159 741.61/737.92 c Got one! Elapsed wall clock time (in seconds):737.826 741.61/737.92 o 2145372127 745.84/742.10 c Got one! Elapsed wall clock time (in seconds):742.0 745.84/742.10 o 2145371903 749.45/745.77 c Got one! Elapsed wall clock time (in seconds):745.671 749.45/745.77 o 2145371887 752.67/748.98 c Got one! Elapsed wall clock time (in seconds):748.879 752.67/748.98 o 2145371135 755.92/752.14 c Got one! Elapsed wall clock time (in seconds):752.045 755.92/752.14 o 2145371127 759.33/755.50 c Got one! Elapsed wall clock time (in seconds):755.403 759.33/755.50 o 2145371007 762.75/758.92 c Got one! Elapsed wall clock time (in seconds):758.825 762.75/758.92 o 2145370991 766.27/762.42 c Got one! Elapsed wall clock time (in seconds):762.323 766.27/762.42 o 2145370943 770.06/766.27 c Got one! Elapsed wall clock time (in seconds):766.174 770.06/766.27 o 2145370911 773.37/769.57 c Got one! Elapsed wall clock time (in seconds):769.471 773.37/769.57 o 2145370111 776.47/772.60 c Got one! Elapsed wall clock time (in seconds):772.501 776.47/772.60 o 2145370110 779.70/775.89 c Got one! Elapsed wall clock time (in seconds):775.792 779.70/775.89 o 2145370107 783.22/779.36 c Got one! Elapsed wall clock time (in seconds):779.26 783.22/779.36 o 2145370103 785.22/781.33 c Got one! Elapsed wall clock time (in seconds):781.228 785.22/781.33 o 2145370079 787.83/783.98 c Got one! Elapsed wall clock time (in seconds):783.883 787.83/783.98 o 2145370078 790.73/786.81 c Got one! Elapsed wall clock time (in seconds):786.711 790.73/786.81 o 2145370075 793.34/789.46 c Got one! Elapsed wall clock time (in seconds):789.364 793.34/789.46 o 2145370073 795.85/791.99 c Got one! Elapsed wall clock time (in seconds):791.895 795.85/792.00 o 2145370063 798.97/795.01 c Got one! Elapsed wall clock time (in seconds):794.911 798.97/795.01 o 2145370047 801.68/797.74 c Got one! Elapsed wall clock time (in seconds):797.64 801.68/797.74 o 2145370046 804.39/800.45 c Got one! Elapsed wall clock time (in seconds):800.355 804.39/800.45 o 2145370043 806.69/802.72 c Got one! Elapsed wall clock time (in seconds):802.624 806.69/802.72 o 2145370039 809.00/805.05 c Got one! Elapsed wall clock time (in seconds):804.955 809.00/805.05 o 2145370037 812.90/808.94 c Got one! Elapsed wall clock time (in seconds):808.846 812.90/808.94 o 2145370036 816.64/812.62 c Got one! Elapsed wall clock time (in seconds):812.517 816.64/812.62 o 2145370031 820.45/816.44 c Got one! Elapsed wall clock time (in seconds):816.344 820.45/816.44 o 2145370027 824.76/820.72 c Got one! Elapsed wall clock time (in seconds):820.622 824.76/820.72 o 2145370015 827.77/823.72 c Got one! Elapsed wall clock time (in seconds):823.625 827.77/823.72 o 2145369983 831.39/827.32 c Got one! Elapsed wall clock time (in seconds):827.219 831.39/827.32 o 2145369599 835.85/831.77 c Got one! Elapsed wall clock time (in seconds):831.668 835.85/831.77 o 2145369597 839.96/835.82 c Got one! Elapsed wall clock time (in seconds):835.717 839.96/835.82 o 2145369583 842.57/838.46 c Got one! Elapsed wall clock time (in seconds):838.358 842.57/838.46 o 2145369579 845.27/841.19 c Got one! Elapsed wall clock time (in seconds):841.089 845.27/841.19 o 2145369577 849.08/844.92 c Got one! Elapsed wall clock time (in seconds):844.817 849.08/844.92 o 2145369535 852.28/848.19 c Got one! Elapsed wall clock time (in seconds):848.094 852.28/848.19 o 2145369533 856.19/852.00 c Got one! Elapsed wall clock time (in seconds):851.9 856.19/852.00 o 2145369503 859.79/855.68 c Got one! Elapsed wall clock time (in seconds):855.577 859.79/855.68 o 2145369487 863.20/859.04 c Got one! Elapsed wall clock time (in seconds):858.944 863.20/859.04 o 2145369479 866.63/862.43 c Got one! Elapsed wall clock time (in seconds):862.329 866.63/862.43 o 2145369343 870.72/866.57 c Got one! Elapsed wall clock time (in seconds):866.472 870.72/866.57 o 2145369327 872.74/868.51 c Got one! Elapsed wall clock time (in seconds):868.411 872.74/868.51 o 2145369087 876.24/872.07 c Got one! Elapsed wall clock time (in seconds):871.972 876.24/872.07 o 2145369086 880.30/876.09 c Got one! Elapsed wall clock time (in seconds):875.996 880.30/876.09 o 2145369079 883.81/879.59 c Got one! Elapsed wall clock time (in seconds):879.492 883.81/879.59 o 2145368959 887.23/882.97 c Got one! Elapsed wall clock time (in seconds):882.875 887.23/882.97 o 2145368063 889.44/885.18 c Got one! Elapsed wall clock time (in seconds):885.082 889.44/885.18 o 2145368062 893.35/889.00 c Got one! Elapsed wall clock time (in seconds):888.906 893.35/889.00 o 2145368061 897.08/892.73 c Got one! Elapsed wall clock time (in seconds):892.628 897.08/892.73 o 2145368055 901.12/896.76 c Got one! Elapsed wall clock time (in seconds):896.659 901.12/896.76 o 2145368053 904.24/899.84 c Got one! Elapsed wall clock time (in seconds):899.738 904.24/899.84 o 2145368031 908.07/903.65 c Got one! Elapsed wall clock time (in seconds):903.549 908.07/903.65 o 2145368030 910.68/906.24 c Got one! Elapsed wall clock time (in seconds):906.145 910.68/906.24 o 2145368027 914.23/909.72 c Got one! Elapsed wall clock time (in seconds):909.619 914.23/909.72 o 2145368026 916.02/911.53 c Got one! Elapsed wall clock time (in seconds):911.426 916.02/911.53 o 2145368023 918.43/913.98 c Got one! Elapsed wall clock time (in seconds):913.879 918.43/913.98 o 2145368021 921.07/916.55 c Got one! Elapsed wall clock time (in seconds):916.45 921.07/916.55 o 2145368015 923.77/919.22 c Got one! Elapsed wall clock time (in seconds):919.123 923.77/919.22 o 2145368014 927.88/923.31 c Got one! Elapsed wall clock time (in seconds):923.21 927.88/923.31 o 2145368011 932.11/927.53 c Got one! Elapsed wall clock time (in seconds):927.433 932.11/927.53 o 2145368007 935.54/930.96 c Got one! Elapsed wall clock time (in seconds):930.861 935.54/930.96 o 2145367999 939.54/934.95 c Got one! Elapsed wall clock time (in seconds):934.849 939.54/934.95 o 2145367997 942.26/937.70 c Got one! Elapsed wall clock time (in seconds):937.597 942.26/937.70 o 2145367995 945.08/940.42 c Got one! Elapsed wall clock time (in seconds):940.325 945.08/940.42 o 2145367994 948.40/943.72 c Got one! Elapsed wall clock time (in seconds):943.623 948.40/943.72 o 2145367992 951.21/946.60 c Got one! Elapsed wall clock time (in seconds):946.496 951.21/946.60 o 2145367991 953.66/948.98 c Got one! Elapsed wall clock time (in seconds):948.886 953.66/948.99 o 2145367967 956.47/951.79 c Got one! Elapsed wall clock time (in seconds):951.688 956.47/951.79 o 2145367966 959.38/954.66 c Got one! Elapsed wall clock time (in seconds):954.557 959.38/954.66 o 2145367963 962.80/958.07 c Got one! Elapsed wall clock time (in seconds):957.971 962.80/958.07 o 2145367935 966.11/961.32 c Got one! Elapsed wall clock time (in seconds):961.218 966.11/961.32 o 2145367933 969.33/964.55 c Got one! Elapsed wall clock time (in seconds):964.451 969.33/964.55 o 2145367931 972.44/967.66 c Got one! Elapsed wall clock time (in seconds):967.563 972.44/967.66 o 2145367930 975.34/970.52 c Got one! Elapsed wall clock time (in seconds):970.422 975.34/970.52 o 2145367927 977.14/972.31 c Got one! Elapsed wall clock time (in seconds):972.214 977.14/972.31 o 2145367919 980.94/976.20 c Got one! Elapsed wall clock time (in seconds):976.096 980.94/976.20 o 2145367918 984.25/979.49 c Got one! Elapsed wall clock time (in seconds):979.393 984.25/979.49 o 2145367917 988.26/983.43 c Got one! Elapsed wall clock time (in seconds):983.336 988.26/983.43 o 2145367915 991.47/986.66 c Got one! Elapsed wall clock time (in seconds):986.564 991.47/986.66 o 2145367903 994.48/989.69 c Got one! Elapsed wall clock time (in seconds):989.588 994.48/989.69 o 2145367899 997.38/992.52 c Got one! Elapsed wall clock time (in seconds):992.419 997.38/992.52 o 2145367887 1000.31/995.45 c Got one! Elapsed wall clock time (in seconds):995.347 1000.31/995.45 o 2145367883 1003.64/998.70 c Got one! Elapsed wall clock time (in seconds):998.6 1003.64/998.70 o 2145367871 1006.24/1001.31 c Got one! Elapsed wall clock time (in seconds):1001.212 1006.24/1001.31 o 2145367869 1008.84/1003.99 c Got one! Elapsed wall clock time (in seconds):1003.89 1008.84/1003.99 o 2145367867 1012.45/1007.55 c Got one! Elapsed wall clock time (in seconds):1007.449 1012.45/1007.55 o 2145367865 1015.25/1010.39 c Got one! Elapsed wall clock time (in seconds):1010.289 1015.25/1010.39 o 2145367863 1017.47/1012.58 c Got one! Elapsed wall clock time (in seconds):1012.484 1017.57/1012.65 o 2145367807 1019.58/1014.65 c Got one! Elapsed wall clock time (in seconds):1014.552 1019.58/1014.65 o 2145367806 1023.39/1018.48 c Got one! Elapsed wall clock time (in seconds):1018.378 1023.39/1018.48 o 2145367804 1026.80/1021.88 c Got one! Elapsed wall clock time (in seconds):1021.78 1026.80/1021.88 o 2145367803 1030.11/1025.10 c Got one! Elapsed wall clock time (in seconds):1024.999 1030.11/1025.10 o 2145367799 1032.93/1027.95 c Got one! Elapsed wall clock time (in seconds):1027.846 1032.93/1027.95 o 2145367797 1035.84/1030.89 c Got one! Elapsed wall clock time (in seconds):1030.788 1035.84/1030.89 o 2145367791 1039.48/1034.45 c Got one! Elapsed wall clock time (in seconds):1034.352 1039.48/1034.45 o 2145367787 1043.19/1038.13 c Got one! Elapsed wall clock time (in seconds):1038.03 1043.19/1038.13 o 2145367775 1047.08/1042.06 c Got one! Elapsed wall clock time (in seconds):1041.957 1047.08/1042.06 o 2145367679 1050.82/1045.76 c Got one! Elapsed wall clock time (in seconds):1045.656 1050.82/1045.76 o 2145367663 1054.53/1049.49 c Got one! Elapsed wall clock time (in seconds):1049.392 1054.53/1049.49 o 2145367655 1057.67/1052.52 c Got one! Elapsed wall clock time (in seconds):1052.416 1057.67/1052.52 o 2145367551 1060.07/1054.97 c Got one! Elapsed wall clock time (in seconds):1054.866 1060.07/1054.97 o 2145367547 1062.68/1057.55 c Got one! Elapsed wall clock time (in seconds):1057.455 1062.68/1057.55 o 2145367487 1065.09/1059.93 c Got one! Elapsed wall clock time (in seconds):1059.836 1065.09/1059.93 o 2145367471 1067.82/1062.66 c Got one! Elapsed wall clock time (in seconds):1062.557 1067.82/1062.66 o 2145367463 1070.42/1065.29 c Got one! Elapsed wall clock time (in seconds):1065.192 1070.42/1065.29 o 2145367423 1073.24/1068.01 c Got one! Elapsed wall clock time (in seconds):1067.91 1073.24/1068.01 o 2145367407 1075.55/1070.34 c Got one! Elapsed wall clock time (in seconds):1070.241 1075.55/1070.34 o 2145367391 1078.35/1073.15 c Got one! Elapsed wall clock time (in seconds):1073.048 1078.35/1073.15 o 2145367295 1081.36/1076.10 c Got one! Elapsed wall clock time (in seconds):1076.003 1081.36/1076.10 o 2145367263 1084.27/1079.04 c Got one! Elapsed wall clock time (in seconds):1078.936 1084.27/1079.04 o 2145367255 1086.47/1081.20 c Got one! Elapsed wall clock time (in seconds):1081.104 1086.47/1081.20 o 2145367039 1088.27/1083.07 c Got one! Elapsed wall clock time (in seconds):1082.969 1088.27/1083.07 o 2145367023 1091.00/1085.76 c Got one! Elapsed wall clock time (in seconds):1085.663 1091.00/1085.76 o 2145366975 1092.70/1087.41 c Got one! Elapsed wall clock time (in seconds):1087.307 1092.70/1087.41 o 2145366959 1094.70/1089.47 c Got one! Elapsed wall clock time (in seconds):1089.374 1094.70/1089.47 o 2145366951 1096.12/1090.82 c Got one! Elapsed wall clock time (in seconds):1090.724 1096.12/1090.82 o 2145366911 1097.62/1092.31 c Got one! Elapsed wall clock time (in seconds):1092.208 1097.62/1092.31 o 2145366903 1099.23/1093.91 c Got one! Elapsed wall clock time (in seconds):1093.814 1099.23/1093.91 o 2145366895 1100.84/1095.55 c Got one! Elapsed wall clock time (in seconds):1095.446 1100.84/1095.55 o 2145366847 1102.94/1097.64 c Got one! Elapsed wall clock time (in seconds):1097.545 1102.94/1097.64 o 2145366831 1105.04/1099.75 c Got one! Elapsed wall clock time (in seconds):1099.655 1105.04/1099.75 o 2145366015 1107.76/1102.41 c Got one! Elapsed wall clock time (in seconds):1102.312 1107.76/1102.41 o 2145366014 1110.56/1105.21 c Got one! Elapsed wall clock time (in seconds):1105.109 1110.56/1105.21 o 2145366013 1114.87/1109.58 c Got one! Elapsed wall clock time (in seconds):1109.477 1114.87/1109.58 o 2145366011 1119.98/1114.64 c Got one! Elapsed wall clock time (in seconds):1114.54 1119.98/1114.64 o 2145366007 1124.19/1118.86 c Got one! Elapsed wall clock time (in seconds):1118.756 1124.19/1118.86 o 2145365999 1128.80/1123.46 c Got one! Elapsed wall clock time (in seconds):1123.358 1128.80/1123.46 o 2145365951 1132.91/1127.55 c Got one! Elapsed wall clock time (in seconds):1127.454 1132.91/1127.55 o 2145365947 1137.11/1131.76 c Got one! Elapsed wall clock time (in seconds):1131.656 1137.11/1131.76 o 2145365919 1141.42/1136.01 c Got one! Elapsed wall clock time (in seconds):1135.912 1141.42/1136.01 o 2145365887 1145.53/1140.14 c Got one! Elapsed wall clock time (in seconds):1140.038 1145.53/1140.14 o 2145365871 1148.84/1143.47 c Got one! Elapsed wall clock time (in seconds):1143.373 1148.84/1143.47 o 2145365855 1151.34/1145.95 c Got one! Elapsed wall clock time (in seconds):1145.854 1151.34/1145.95 o 2145365759 1154.35/1148.92 c Got one! Elapsed wall clock time (in seconds):1148.817 1154.35/1148.92 o 2145365751 1156.87/1151.42 c Got one! Elapsed wall clock time (in seconds):1151.323 1156.87/1151.42 o 2145365727 1159.59/1154.14 c Got one! Elapsed wall clock time (in seconds):1154.043 1159.59/1154.14 o 2145365711 1162.21/1156.71 c Got one! Elapsed wall clock time (in seconds):1156.615 1162.21/1156.71 o 2145365695 1166.43/1160.91 c Got one! Elapsed wall clock time (in seconds):1160.809 1166.43/1160.91 o 2145365503 1169.76/1164.27 c Got one! Elapsed wall clock time (in seconds):1164.166 1169.76/1164.27 o 2145365487 1173.10/1167.57 c Got one! Elapsed wall clock time (in seconds):1167.473 1173.10/1167.57 o 2145365483 1176.21/1170.60 c Got one! Elapsed wall clock time (in seconds):1170.5 1176.21/1170.60 o 2145365439 1179.32/1173.73 c Got one! Elapsed wall clock time (in seconds):1173.631 1179.32/1173.73 o 2145365431 1181.21/1175.63 c Got one! Elapsed wall clock time (in seconds):1175.53 1181.21/1175.63 o 2145365375 1185.76/1180.16 c Got one! Elapsed wall clock time (in seconds):1180.061 1185.76/1180.16 o 2145365373 1189.29/1183.61 c Got one! Elapsed wall clock time (in seconds):1183.515 1189.29/1183.61 o 2145365247 1192.89/1187.28 c Got one! Elapsed wall clock time (in seconds):1187.177 1192.89/1187.28 o 2145365243 1197.20/1191.52 c Got one! Elapsed wall clock time (in seconds):1191.416 1197.20/1191.52 o 2145365119 1201.12/1195.47 c Got one! Elapsed wall clock time (in seconds):1195.374 1201.12/1195.47 o 2145365103 1205.74/1200.05 c Got one! Elapsed wall clock time (in seconds):1199.951 1205.74/1200.05 o 2145365087 1209.86/1204.18 c Got one! Elapsed wall clock time (in seconds):1204.078 1209.86/1204.18 o 2145365055 1213.37/1207.62 c Got one! Elapsed wall clock time (in seconds):1207.518 1213.37/1207.62 o 2145363967 1216.68/1210.93 c Got one! Elapsed wall clock time (in seconds):1210.835 1216.68/1210.93 o 2145363951 1220.09/1214.36 c Got one! Elapsed wall clock time (in seconds):1214.256 1220.09/1214.36 o 2145363935 1222.40/1216.60 c Got one! Elapsed wall clock time (in seconds):1216.505 1222.40/1216.60 o 2145363455 1225.31/1219.58 c Got one! Elapsed wall clock time (in seconds):1219.48 1225.31/1219.58 o 2145363439 1229.43/1223.65 c Got one! Elapsed wall clock time (in seconds):1223.555 1229.43/1223.65 o 2145363199 1233.04/1227.22 c Got one! Elapsed wall clock time (in seconds):1227.117 1233.04/1227.22 o 2145361919 1236.56/1230.79 c Got one! Elapsed wall clock time (in seconds):1230.694 1236.56/1230.79 o 2145361918 1239.07/1233.28 c Got one! Elapsed wall clock time (in seconds):1233.179 1239.07/1233.28 o 2145361917 1241.79/1235.96 c Got one! Elapsed wall clock time (in seconds):1235.865 1241.79/1235.96 o 2145361911 1245.12/1239.21 c Got one! Elapsed wall clock time (in seconds):1239.107 1245.12/1239.21 o 2145361903 1248.54/1242.63 c Got one! Elapsed wall clock time (in seconds):1242.533 1248.54/1242.63 o 2145361902 1250.33/1244.41 c Got one! Elapsed wall clock time (in seconds):1244.312 1250.33/1244.41 o 2145361887 1252.85/1246.93 c Got one! Elapsed wall clock time (in seconds):1246.833 1252.85/1246.93 o 2145361872 1257.36/1251.46 c Got one! Elapsed wall clock time (in seconds):1251.357 1257.36/1251.46 o 2145361855 1261.27/1255.36 c Got one! Elapsed wall clock time (in seconds):1255.257 1261.27/1255.36 o 2145361847 1265.50/1259.53 c Got one! Elapsed wall clock time (in seconds):1259.435 1265.50/1259.53 o 2145361823 1269.10/1263.15 c Got one! Elapsed wall clock time (in seconds):1263.046 1269.10/1263.15 o 2145361663 1273.61/1267.67 c Got one! Elapsed wall clock time (in seconds):1267.568 1273.61/1267.67 o 2145360895 1278.06/1272.09 c Got one! Elapsed wall clock time (in seconds):1271.991 1278.06/1272.09 o 2145360891 1282.27/1276.27 c Got one! Elapsed wall clock time (in seconds):1276.173 1282.27/1276.27 o 2145360887 1286.21/1280.15 c Got one! Elapsed wall clock time (in seconds):1280.053 1286.21/1280.15 o 2145360885 1289.72/1283.70 c Got one! Elapsed wall clock time (in seconds):1283.597 1289.72/1283.70 o 2145360863 1293.92/1287.81 c Got one! Elapsed wall clock time (in seconds):1287.713 1293.92/1287.81 o 2145360861 1297.83/1291.71 c Got one! Elapsed wall clock time (in seconds):1291.609 1297.83/1291.71 o 2145360831 1301.55/1295.44 c Got one! Elapsed wall clock time (in seconds):1295.342 1301.55/1295.44 o 2145360829 1305.07/1298.90 c Got one! Elapsed wall clock time (in seconds):1298.805 1305.07/1298.90 o 2145360823 1308.48/1302.39 c Got one! Elapsed wall clock time (in seconds):1302.293 1308.48/1302.39 o 2145360815 1312.29/1306.15 c Got one! Elapsed wall clock time (in seconds):1306.054 1312.29/1306.15 o 2145360799 1316.30/1310.14 c Got one! Elapsed wall clock time (in seconds):1310.036 1316.30/1310.14 o 2145360797 1320.04/1313.88 c Got one! Elapsed wall clock time (in seconds):1313.784 1320.04/1313.89 o 2145360767 1324.05/1317.87 c Got one! Elapsed wall clock time (in seconds):1317.771 1324.05/1317.87 o 2145360765 1328.56/1322.32 c Got one! Elapsed wall clock time (in seconds):1322.222 1328.56/1322.32 o 2145360759 1332.89/1326.67 c Got one! Elapsed wall clock time (in seconds):1326.571 1332.89/1326.67 o 2145360703 1336.39/1330.17 c Got one! Elapsed wall clock time (in seconds):1330.073 1336.39/1330.17 o 2145360695 1341.02/1334.75 c Got one! Elapsed wall clock time (in seconds):1334.653 1341.02/1334.75 o 2145360687 1344.44/1338.19 c Got one! Elapsed wall clock time (in seconds):1338.09 1344.44/1338.19 o 2145360679 1347.97/1341.69 c Got one! Elapsed wall clock time (in seconds):1341.59 1347.97/1341.69 o 2145360671 1349.17/1342.89 c Got one! Elapsed wall clock time (in seconds):1342.791 1349.17/1342.89 o 2145360639 1352.58/1346.24 c Got one! Elapsed wall clock time (in seconds):1346.136 1352.58/1346.24 o 2145360638 1356.95/1350.58 c Got one! Elapsed wall clock time (in seconds):1350.484 1356.95/1350.58 o 2145360636 1361.26/1354.86 c Got one! Elapsed wall clock time (in seconds):1354.756 1361.26/1354.86 o 2145360631 1364.88/1358.48 c Got one! Elapsed wall clock time (in seconds):1358.376 1364.88/1358.48 o 2145360627 1368.71/1362.24 c Got one! Elapsed wall clock time (in seconds):1362.14 1368.71/1362.24 o 2145360625 1371.01/1364.51 c Got one! Elapsed wall clock time (in seconds):1364.416 1371.01/1364.52 o 2145360607 1374.43/1367.94 c Got one! Elapsed wall clock time (in seconds):1367.839 1374.43/1367.94 o 2145360606 1378.46/1371.92 c Got one! Elapsed wall clock time (in seconds):1371.822 1378.46/1371.92 o 2145360575 1382.69/1376.16 c Got one! Elapsed wall clock time (in seconds):1376.062 1382.69/1376.16 o 2145359871 1385.92/1379.40 c Got one! Elapsed wall clock time (in seconds):1379.301 1385.92/1379.40 o 2145359855 1389.35/1382.77 c Got one! Elapsed wall clock time (in seconds):1382.667 1389.35/1382.77 o 2145359615 1391.55/1384.95 c Got one! Elapsed wall clock time (in seconds):1384.85 1391.55/1384.95 o 2145357823 1394.37/1387.78 c Got one! Elapsed wall clock time (in seconds):1387.683 1394.37/1387.78 o 2145357819 1397.01/1390.38 c Got one! Elapsed wall clock time (in seconds):1390.278 1397.01/1390.38 o 2145357807 1400.02/1393.39 c Got one! Elapsed wall clock time (in seconds):1393.289 1400.02/1393.39 o 2145357799 1402.63/1395.99 c Got one! Elapsed wall clock time (in seconds):1395.891 1402.63/1395.99 o 2145357759 1404.62/1397.95 c Got one! Elapsed wall clock time (in seconds):1397.851 1404.62/1397.95 o 2145357755 1405.54/1398.83 c Got one! Elapsed wall clock time (in seconds):1398.733 1405.54/1398.83 o 2145357727 1408.06/1401.40 c Got one! Elapsed wall clock time (in seconds):1401.297 1408.06/1401.40 o 2145357695 1409.76/1403.03 c Got one! Elapsed wall clock time (in seconds):1402.935 1409.76/1403.03 o 2145357691 1412.76/1406.08 c Got one! Elapsed wall clock time (in seconds):1405.981 1412.76/1406.08 o 2145357687 1416.29/1409.56 c Got one! Elapsed wall clock time (in seconds):1409.459 1416.29/1409.56 o 2145357663 1418.31/1411.54 c Got one! Elapsed wall clock time (in seconds):1411.437 1418.31/1411.54 o 2145357567 1420.53/1413.79 c Got one! Elapsed wall clock time (in seconds):1413.695 1420.53/1413.79 o 2145357563 1423.64/1416.83 c Got one! Elapsed wall clock time (in seconds):1416.726 1423.64/1416.83 o 2145357559 1425.89/1419.08 c Got one! Elapsed wall clock time (in seconds):1418.979 1425.89/1419.08 o 2145357535 1427.58/1420.76 c Got one! Elapsed wall clock time (in seconds):1420.659 1427.58/1420.76 o 2145357527 1429.70/1422.81 c Got one! Elapsed wall clock time (in seconds):1422.708 1429.70/1422.81 o 2145357523 1431.10/1424.20 c Got one! Elapsed wall clock time (in seconds):1424.101 1431.10/1424.20 o 2145357519 1433.34/1426.48 c Got one! Elapsed wall clock time (in seconds):1426.38 1433.34/1426.48 o 2145357511 1435.25/1428.36 c Got one! Elapsed wall clock time (in seconds):1428.26 1435.25/1428.36 o 2145357311 1438.29/1431.33 c Got one! Elapsed wall clock time (in seconds):1431.229 1438.29/1431.33 o 2145355775 1440.91/1433.92 c Got one! Elapsed wall clock time (in seconds):1433.824 1440.91/1433.92 o 2145355519 1443.62/1436.68 c Got one! Elapsed wall clock time (in seconds):1436.581 1443.62/1436.68 o 2145353727 1444.73/1437.73 c Got one! Elapsed wall clock time (in seconds):1437.628 1444.73/1437.73 o 2145353725 1448.43/1441.47 c Got one! Elapsed wall clock time (in seconds):1441.374 1448.43/1441.47 o 2145353724 1451.47/1444.45 c Got one! Elapsed wall clock time (in seconds):1444.35 1451.47/1444.45 o 2145353711 1453.87/1446.81 c Got one! Elapsed wall clock time (in seconds):1446.707 1453.87/1446.81 o 2145353709 1456.48/1449.43 c Got one! Elapsed wall clock time (in seconds):1449.326 1456.48/1449.43 o 2145353703 1459.89/1452.80 c Got one! Elapsed wall clock time (in seconds):1452.699 1459.89/1452.80 o 2145353663 1462.40/1455.37 c Got one! Elapsed wall clock time (in seconds):1455.27 1462.40/1455.37 o 2145353471 1465.10/1458.05 c Got one! Elapsed wall clock time (in seconds):1457.948 1465.10/1458.05 o 2145353469 1468.71/1461.68 c Got one! Elapsed wall clock time (in seconds):1461.578 1468.71/1461.68 o 2145353463 1471.62/1464.57 c Got one! Elapsed wall clock time (in seconds):1464.476 1471.62/1464.57 o 2145353407 1474.85/1467.70 c Got one! Elapsed wall clock time (in seconds):1467.6 1474.85/1467.70 o 2145353403 1478.59/1471.43 c Got one! Elapsed wall clock time (in seconds):1471.33 1478.59/1471.43 o 2145353375 1481.42/1474.28 c Got one! Elapsed wall clock time (in seconds):1474.185 1481.42/1474.28 o 2145353371 1484.23/1477.09 c Got one! Elapsed wall clock time (in seconds):1476.993 1484.23/1477.09 o 2145353359 1488.26/1481.03 c Got one! Elapsed wall clock time (in seconds):1480.928 1488.26/1481.03 o 2145353355 1489.69/1482.48 c Got one! Elapsed wall clock time (in seconds):1482.385 1489.69/1482.48 o 2145353343 1492.32/1485.06 c Got one! Elapsed wall clock time (in seconds):1484.963 1492.32/1485.06 o 2145353215 1495.34/1488.06 c Got one! Elapsed wall clock time (in seconds):1487.962 1495.34/1488.06 o 2145353213 1498.65/1491.37 c Got one! Elapsed wall clock time (in seconds):1491.275 1498.65/1491.37 o 2145353207 1503.06/1495.76 c Got one! Elapsed wall clock time (in seconds):1495.662 1503.06/1495.76 o 2145353199 1507.48/1500.11 c Got one! Elapsed wall clock time (in seconds):1500.006 1507.48/1500.11 o 2145353183 1510.90/1503.53 c Got one! Elapsed wall clock time (in seconds):1503.432 1510.90/1503.53 o 2145352959 1514.31/1506.99 c Got one! Elapsed wall clock time (in seconds):1506.891 1514.31/1506.99 o 2145352957 1517.54/1510.16 c Got one! Elapsed wall clock time (in seconds):1510.065 1517.54/1510.16 o 2145352927 1520.65/1513.30 c Got one! Elapsed wall clock time (in seconds):1513.197 1520.65/1513.30 o 2145352925 1524.06/1516.61 c Got one! Elapsed wall clock time (in seconds):1516.514 1524.06/1516.61 o 2145352911 1527.17/1519.76 c Got one! Elapsed wall clock time (in seconds):1519.666 1527.17/1519.76 o 2145352831 1529.98/1522.51 c Got one! Elapsed wall clock time (in seconds):1522.414 1529.98/1522.51 o 2145352767 1532.39/1524.90 c Got one! Elapsed wall clock time (in seconds):1524.799 1532.39/1524.90 o 2145349631 1534.92/1527.46 c Got one! Elapsed wall clock time (in seconds):1527.364 1534.92/1527.46 o 2145349615 1537.43/1529.91 c Got one! Elapsed wall clock time (in seconds):1529.808 1537.43/1529.91 o 2145349567 1540.05/1532.50 c Got one! Elapsed wall clock time (in seconds):1532.404 1540.05/1532.50 o 2145349503 1542.78/1535.27 c Got one! Elapsed wall clock time (in seconds):1535.172 1542.78/1535.27 o 2145349375 1545.49/1537.91 c Got one! Elapsed wall clock time (in seconds):1537.807 1545.49/1537.91 o 2145349311 1547.38/1539.89 c Got one! Elapsed wall clock time (in seconds):1539.794 1547.38/1539.89 o 2145347583 1548.99/1541.40 c Got one! Elapsed wall clock time (in seconds):1541.306 1548.99/1541.40 o 2145347519 1551.22/1543.66 c Got one! Elapsed wall clock time (in seconds):1543.56 1551.22/1543.66 o 2145347327 1554.43/1546.86 c Got one! Elapsed wall clock time (in seconds):1546.759 1554.43/1546.86 o 2145345535 1556.85/1549.22 c Got one! Elapsed wall clock time (in seconds):1549.126 1556.85/1549.22 o 2145345527 1560.87/1553.30 c Got one! Elapsed wall clock time (in seconds):1553.196 1560.87/1553.30 o 2145345471 1564.19/1556.57 c Got one! Elapsed wall clock time (in seconds):1556.471 1564.19/1556.57 o 2145345467 1566.89/1559.21 c Got one! Elapsed wall clock time (in seconds):1559.108 1566.89/1559.21 o 2145345455 1570.32/1562.63 c Got one! Elapsed wall clock time (in seconds):1562.532 1570.32/1562.63 o 2145345451 1573.22/1565.59 c Got one! Elapsed wall clock time (in seconds):1565.49 1573.22/1565.59 o 2145345279 1576.06/1568.37 c Got one! Elapsed wall clock time (in seconds):1568.268 1576.06/1568.37 o 2145345277 1578.26/1570.54 c Got one! Elapsed wall clock time (in seconds):1570.442 1578.26/1570.54 o 2145345247 1581.17/1573.42 c Got one! Elapsed wall clock time (in seconds):1573.323 1581.17/1573.42 o 2145345215 1583.98/1576.26 c Got one! Elapsed wall clock time (in seconds):1576.163 1583.98/1576.26 o 2145345183 1587.10/1579.34 c Got one! Elapsed wall clock time (in seconds):1579.237 1587.10/1579.34 o 2145343487 1589.31/1581.59 c Got one! Elapsed wall clock time (in seconds):1581.495 1589.31/1581.59 o 2145343359 1591.71/1583.96 c Got one! Elapsed wall clock time (in seconds):1583.865 1591.71/1583.96 o 2145341439 1594.82/1587.06 c Got one! Elapsed wall clock time (in seconds):1586.958 1594.82/1587.06 o 2145320959 1596.45/1588.61 c Got one! Elapsed wall clock time (in seconds):1588.514 1596.45/1588.61 o 1608450047 1599.37/1591.56 c Got one! Elapsed wall clock time (in seconds):1591.466 1599.37/1591.57 o 1608450046 1602.12/1594.27 c Got one! Elapsed wall clock time (in seconds):1594.174 1602.12/1594.27 o 1608450044 1603.62/1595.74 c Got one! Elapsed wall clock time (in seconds):1595.643 1603.62/1595.74 o 1608450042 1606.83/1598.94 c Got one! Elapsed wall clock time (in seconds):1598.837 1606.83/1598.94 o 1608450038 1609.65/1601.76 c Got one! Elapsed wall clock time (in seconds):1601.658 1609.65/1601.76 o 1608450029 1610.95/1603.00 c Got one! Elapsed wall clock time (in seconds):1602.897 1610.95/1603.00 o 1608417276 1614.08/1606.16 c Got one! Elapsed wall clock time (in seconds):1606.063 1614.08/1606.16 o 1608417272 1617.50/1609.50 c Got one! Elapsed wall clock time (in seconds):1609.399 1617.50/1609.50 o 1608417267 1620.83/1612.83 c Got one! Elapsed wall clock time (in seconds):1612.732 1620.83/1612.83 o 1608417266 1623.86/1615.82 c Got one! Elapsed wall clock time (in seconds):1615.717 1623.86/1615.82 o 1608417264 1626.67/1618.60 c Got one! Elapsed wall clock time (in seconds):1618.502 1626.67/1618.60 o 1608417251 1629.48/1621.49 c Got one! Elapsed wall clock time (in seconds):1621.395 1629.48/1621.49 o 1608417249 1631.68/1623.70 c Got one! Elapsed wall clock time (in seconds):1623.603 1631.68/1623.70 o 1608417248 1633.22/1625.13 c Got one! Elapsed wall clock time (in seconds):1625.026 1633.22/1625.13 o 1608417231 1635.02/1626.92 c Got one! Elapsed wall clock time (in seconds):1626.821 1635.02/1626.92 o 1608417230 1637.44/1629.33 c Got one! Elapsed wall clock time (in seconds):1629.23 1637.44/1629.33 o 1608417229 1638.95/1630.85 c Got one! Elapsed wall clock time (in seconds):1630.755 1638.95/1630.85 o 1608417223 1641.66/1633.59 c Got one! Elapsed wall clock time (in seconds):1633.487 1641.66/1633.59 o 1608417219 1643.46/1635.32 c Got one! Elapsed wall clock time (in seconds):1635.225 1643.46/1635.32 o 1608417218 1644.87/1636.79 c Got one! Elapsed wall clock time (in seconds):1636.692 1644.87/1636.79 o 1608417115 1646.77/1638.64 c Got one! Elapsed wall clock time (in seconds):1638.545 1646.77/1638.64 o 1608416985 1649.98/1641.87 c Got one! Elapsed wall clock time (in seconds):1641.773 1649.98/1641.87 o 1608416975 1651.71/1643.59 c Got one! Elapsed wall clock time (in seconds):1643.492 1651.71/1643.59 o 1608409023 1654.92/1646.75 c Got one! Elapsed wall clock time (in seconds):1646.653 1654.92/1646.75 o 1608400767 1657.54/1649.33 c Got one! Elapsed wall clock time (in seconds):1649.232 1657.54/1649.33 o 1608400766 1659.04/1650.85 c Got one! Elapsed wall clock time (in seconds):1650.754 1659.04/1650.85 o 1608400758 1661.65/1653.45 c Got one! Elapsed wall clock time (in seconds):1653.35 1661.65/1653.45 o 1608400510 1664.57/1656.31 c Got one! Elapsed wall clock time (in seconds):1656.211 1664.57/1656.31 o 1608392573 1666.50/1658.27 c Got one! Elapsed wall clock time (in seconds):1658.167 1666.50/1658.27 o 1608392572 1670.12/1661.83 c Got one! Elapsed wall clock time (in seconds):1661.728 1670.12/1661.83 o 1608392571 1672.87/1664.56 c Got one! Elapsed wall clock time (in seconds):1664.46 1672.87/1664.56 o 1608392570 1675.21/1666.81 c Got one! Elapsed wall clock time (in seconds):1666.712 1675.21/1666.81 o 1608392569 1678.81/1670.44 c Got one! Elapsed wall clock time (in seconds):1670.34 1678.81/1670.44 o 1608392567 1681.63/1673.21 c Got one! Elapsed wall clock time (in seconds):1673.115 1681.63/1673.21 o 1608392566 1684.85/1676.45 c Got one! Elapsed wall clock time (in seconds):1676.354 1684.85/1676.45 o 1608392563 1687.46/1679.07 c Got one! Elapsed wall clock time (in seconds):1678.968 1687.46/1679.07 o 1608392559 1690.08/1681.67 c Got one! Elapsed wall clock time (in seconds):1681.575 1690.08/1681.67 o 1340014445 1800.06/1790.92 c starts : 1103 1800.06/1790.92 c conflicts : 63393 1800.06/1790.92 c decisions : 3347413 1800.06/1790.92 c propagations : 64497729 1800.06/1790.92 c inspects : 1815924462 1800.06/1790.92 c learnt literals : 1 1800.06/1790.92 c learnt binary clauses : 0 1800.06/1790.92 c learnt ternary clauses : 0 1800.06/1790.92 c learnt clauses : 63392 1800.06/1790.92 c root simplifications : 0 1800.06/1790.92 c removed literals (reason simplification) : 0 1800.06/1790.92 c reason swapping (by a shorter reason) : 0 1800.06/1790.92 c Calls to reduceDB : 0 1800.06/1790.92 c speed (decisions/second) : 30642.46024844152 1800.06/1790.92 c non guided choices 3081147 1800.06/1790.92 s SATISFIABLE 1800.06/1790.93 v x1 -x2 x3 x4 -x5 x6 x7 -x8 x9 x10 x11 x12 x13 x14 x15 x16 -x17 x18 x19 x20 x21 -x22 x23 x24 x25 x26 x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 x6648 -x6649 -x6650 -x6651 1800.06/1790.93 c objective function=1340014445 1800.06/1790.93 c Total wall clock time (ms): 1790.833
OK 1340014445
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733492-1338697414/watcher-3733492-1338697414 -o /tmp/evaluation-result-3733492-1338697414/solver-3733492-1338697414 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733492-1338697414.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 2.01 3/194 1605 /proc/meminfo: memFree=26121348/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/1605/stat : 1605 (java) D 1603 1605 29837 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335867355 9515008 182 33554432000 1073741824 1073778376 140737436702320 140737436693352 242167398069 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/1605/statm: 2323 182 140 9 0 71 0 [startup+0.0260851 s] /proc/loadavg: 2.03 2.03 2.01 3/194 1605 /proc/meminfo: memFree=26121348/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=2414972 CPUtime=0.01 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 3213 0 1 0 0 1 0 0 20 0 10 0 335867355 2472931328 3912 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 603743 3922 1141 9 0 594444 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2414972 [startup+0.100259 s] /proc/loadavg: 2.03 2.03 2.01 3/194 1605 /proc/meminfo: memFree=26121348/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=2957856 CPUtime=0.09 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 4928 0 1 0 8 1 0 0 20 0 18 0 335867355 3028844544 6620 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 739464 6620 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300228 s] /proc/loadavg: 2.03 2.03 2.01 3/194 1605 /proc/meminfo: memFree=26121348/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=2957856 CPUtime=0.48 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 6236 0 1 0 46 2 0 0 20 0 18 0 335867355 3028844544 10357 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 739464 10357 2240 9 0 729885 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 2957856 [startup+0.700233 s] /proc/loadavg: 2.03 2.03 2.01 3/194 1605 /proc/meminfo: memFree=26121348/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3024420 CPUtime=1.19 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 9915 0 1 0 114 5 0 0 20 0 19 0 335867355 3097006080 49510 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 756105 49510 2263 9 0 746526 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 3024420 [startup+1.50072 s] /proc/loadavg: 2.03 2.03 2.01 3/213 1625 /proc/meminfo: memFree=25888208/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3024420 CPUtime=2.18 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 11046 0 1 0 211 7 0 0 20 0 19 0 335867355 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 756105 80304 2271 9 0 746526 0 [pid=1605/tid=1607] ppid=1603 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 3159 0 1 0 141 5 0 0 20 0 19 0 335867356 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992549566880 139992396161617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3455 0 0 0 32 0 0 0 20 0 19 0 335867362 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3232 0 0 0 34 0 0 0 20 0 19 0 335867362 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1625] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1625/stat : 1625 (java) S 1603 1605 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335867425 3097006080 80304 33554432000 1073741824 1073778376 140737176028448 139992385909800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 3024420 [startup+3.10072 s] /proc/loadavg: 2.03 2.03 2.01 3/213 1625 /proc/meminfo: memFree=25711212/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3024420 CPUtime=3.85 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 11157 0 1 0 376 9 0 0 20 0 19 0 335867355 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 756105 114631 2285 9 0 746526 0 [pid=1605/tid=1607] ppid=1603 vsize=3024420 CPUtime=3.04 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 3224 0 1 0 296 8 0 0 20 0 19 0 335867356 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992549567832 139992396102319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3455 0 0 0 34 0 0 0 20 0 19 0 335867362 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3232 0 0 0 34 0 0 0 20 0 19 0 335867362 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1625] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1625/stat : 1625 (java) S 1603 1605 29837 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 335867425 3097006080 114631 33554432000 1073741824 1073778376 140737176028448 139992385909800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 3024420 [startup+6.30074 s] /proc/loadavg: 2.02 2.03 2.00 3/213 1627 /proc/meminfo: memFree=25653256/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3024420 CPUtime=7.14 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 11194 0 1 0 703 11 0 0 20 0 19 0 335867355 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 756105 118722 2287 9 0 746526 0 [pid=1605/tid=1607] ppid=1603 vsize=3024420 CPUtime=6.22 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 3226 0 1 0 614 8 0 0 20 0 19 0 335867356 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992549567832 139992396161339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3024420 CPUtime=0.01 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3024420 CPUtime=0.01 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 335867358 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335867359 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3455 0 0 0 34 0 0 0 20 0 19 0 335867362 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3024420 CPUtime=0.41 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3233 0 0 0 41 0 0 0 20 0 19 0 335867362 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1627] ppid=1603 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1627/stat : 1627 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335867761 3097006080 118722 33554432000 1073741824 1073778376 140737176028448 139992385909928 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.14 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] ################ # More data... # ################ [pid=1605/tid=1614] ppid=1603 vsize=3090984 CPUtime=1.33 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 51 0 0 0 130 3 0 0 20 0 19 0 335867358 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3090984 CPUtime=1.33 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 35 0 0 0 130 3 0 0 20 0 19 0 335867358 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3090984 CPUtime=1.27 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 61 0 0 0 124 3 0 0 20 0 19 0 335867358 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3090984 CPUtime=0.32 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 89 0 0 0 15 17 0 0 20 0 19 0 335867359 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3090984 CPUtime=0.54 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3711 0 0 0 54 0 0 0 20 0 19 0 335867362 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3090984 CPUtime=0.43 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3233 0 0 0 43 0 0 0 20 0 19 0 335867362 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3090984 CPUtime=0.58 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 95 0 0 0 25 33 0 0 20 0 19 0 335867362 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0 [pid=1605/tid=2320] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/2320/stat : 2320 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336033539 3165167616 170170 33554432000 1073741824 1073778376 140737176028448 139992385910312 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1670.62 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 1.99 1.98 1.99 3/213 2327 /proc/meminfo: memFree=26284428/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3090984 CPUtime=1731 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 14952 0 1 0 173005 95 0 0 20 0 19 0 335867355 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 772746 172229 2294 9 0 763167 0 [pid=1605/tid=1607] ppid=1603 vsize=3090984 CPUtime=1718.07 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 4270 0 1 0 171764 43 0 0 20 0 19 0 335867356 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992549567712 139992396161603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3090984 CPUtime=1.4 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 60 0 0 0 136 4 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3090984 CPUtime=1.42 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 138 4 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3090984 CPUtime=1.41 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 46 0 0 0 139 2 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3090984 CPUtime=1.38 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 54 0 0 0 135 3 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3090984 CPUtime=1.42 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 62 0 0 0 138 4 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3090984 CPUtime=1.4 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 54 0 0 0 137 3 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3090984 CPUtime=1.39 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 37 0 0 0 136 3 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3090984 CPUtime=1.35 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 64 0 0 0 132 3 0 0 20 0 19 0 335867358 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3090984 CPUtime=0.32 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 93 0 0 0 15 17 0 0 20 0 19 0 335867359 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3090984 CPUtime=0.54 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3711 0 0 0 54 0 0 0 20 0 19 0 335867362 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3090984 CPUtime=0.43 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3233 0 0 0 43 0 0 0 20 0 19 0 335867362 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3090984 CPUtime=0.59 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 99 0 0 0 25 34 0 0 20 0 19 0 335867362 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 1 0 0 [pid=1605/tid=2327] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/2327/stat : 2327 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336035523 3165167616 172229 33554432000 1073741824 1073778376 140737176028448 139992385909672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1731 Current children cumulated vsize (KiB) 3090984 [startup+1782.3 s] /proc/loadavg: 2.05 2.00 2.00 3/213 2327 /proc/meminfo: memFree=26271772/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3090984 CPUtime=1791.38 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 15011 0 1 0 179039 99 0 0 20 0 19 0 335867355 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 772746 175312 2294 9 0 763167 0 [pid=1605/tid=1607] ppid=1603 vsize=3090984 CPUtime=1777.9 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 4289 0 1 0 177746 44 0 0 20 0 19 0 335867356 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992549567680 139992396102333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 63 0 0 0 143 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 63 0 0 0 143 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 49 0 0 0 145 2 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3090984 CPUtime=1.44 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 141 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 68 0 0 0 143 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 56 0 0 0 144 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 40 0 0 0 144 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3090984 CPUtime=1.42 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 68 0 0 0 139 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3090984 CPUtime=0.33 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 97 0 0 0 16 17 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3090984 CPUtime=0.56 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3713 0 0 0 56 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3090984 CPUtime=0.44 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3233 0 0 0 44 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3090984 CPUtime=0.61 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 103 0 0 0 25 36 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0 [pid=1605/tid=2327] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/2327/stat : 2327 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336035523 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992385909672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.91 s] /proc/loadavg: 2.04 2.00 2.00 3/213 2327 /proc/meminfo: memFree=26271772/32873648 swapFree=7112/7112 [pid=1605] ppid=1603 vsize=3090984 CPUtime=1800.06 cores=0,2,4,6 /proc/1605/stat : 1605 (java) S 1603 1605 29837 0 -1 4202496 15014 0 1 0 179907 99 0 0 20 0 19 0 335867355 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 140737176019584 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/1605/statm: 772746 175312 2294 9 0 763167 0 [pid=1605/tid=1607] ppid=1603 vsize=3090984 CPUtime=1786.48 cores=0,2,4,6 /proc/1605/task/1607/stat : 1607 (java) R 1603 1605 29837 0 -1 4202560 4292 0 1 0 178604 44 0 0 20 0 19 0 335867356 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992549567760 139992396102484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1608] ppid=1603 vsize=3090984 CPUtime=1.48 cores=0,2,4,6 /proc/1605/task/1608/stat : 1608 (java) S 1603 1605 29837 0 -1 4202560 63 0 0 0 144 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992532994472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1609] ppid=1603 vsize=3090984 CPUtime=1.48 cores=0,2,4,6 /proc/1605/task/1609/stat : 1609 (java) S 1603 1605 29837 0 -1 4202560 63 0 0 0 144 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992531941928 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1610] ppid=1603 vsize=3090984 CPUtime=1.48 cores=0,2,4,6 /proc/1605/task/1610/stat : 1610 (java) S 1603 1605 29837 0 -1 4202560 49 0 0 0 146 2 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992530888872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1612] ppid=1603 vsize=3090984 CPUtime=1.45 cores=0,2,4,6 /proc/1605/task/1612/stat : 1612 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 142 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992529836328 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1613] ppid=1603 vsize=3090984 CPUtime=1.47 cores=0,2,4,6 /proc/1605/task/1613/stat : 1613 (java) S 1603 1605 29837 0 -1 4202560 68 0 0 0 143 4 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992528784296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1614] ppid=1603 vsize=3090984 CPUtime=1.48 cores=0,2,4,6 /proc/1605/task/1614/stat : 1614 (java) S 1603 1605 29837 0 -1 4202560 56 0 0 0 145 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992527731752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1615] ppid=1603 vsize=3090984 CPUtime=1.48 cores=0,2,4,6 /proc/1605/task/1615/stat : 1615 (java) S 1603 1605 29837 0 -1 4202560 40 0 0 0 145 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992526678696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1616] ppid=1603 vsize=3090984 CPUtime=1.43 cores=0,2,4,6 /proc/1605/task/1616/stat : 1616 (java) S 1603 1605 29837 0 -1 4202560 68 0 0 0 140 3 0 0 20 0 19 0 335867358 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992525626152 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1617] ppid=1603 vsize=3090984 CPUtime=0.33 cores=0,2,4,6 /proc/1605/task/1617/stat : 1617 (java) S 1603 1605 29837 0 -1 4202560 97 0 0 0 16 17 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992395409768 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1618] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1618/stat : 1618 (java) S 1603 1605 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992394356088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1619] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1619/stat : 1619 (java) S 1603 1605 29837 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 19 0 335867359 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992393302920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1620] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1620/stat : 1620 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992392251664 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=1605/tid=1621] ppid=1603 vsize=3090984 CPUtime=0.56 cores=0,2,4,6 /proc/1605/task/1621/stat : 1621 (java) S 1603 1605 29837 0 -1 4202560 3713 0 0 0 56 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992391199544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=1605/tid=1622] ppid=1603 vsize=3090984 CPUtime=0.44 cores=0,2,4,6 /proc/1605/task/1622/stat : 1622 (java) S 1603 1605 29837 0 -1 4202560 3233 0 0 0 44 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992390147000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=1605/tid=1623] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/1623/stat : 1623 (java) S 1603 1605 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992389094136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=1605/tid=1624] ppid=1603 vsize=3090984 CPUtime=0.62 cores=0,2,4,6 /proc/1605/task/1624/stat : 1624 (java) S 1603 1605 29837 0 -1 4202560 103 0 0 0 26 36 0 0 20 0 19 0 335867362 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992388041800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0 [pid=1605/tid=2327] ppid=1603 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/1605/task/2327/stat : 2327 (java) S 1603 1605 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336035523 3165167616 175312 33554432000 1073741824 1073778376 140737176028448 139992385909672 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 3090984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1790.94 CPU time (s): 1800.51 CPU user time (s): 1799.14 CPU system time (s): 1.37279 CPU usage (%): 100.534 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.14 system time used= 1.37279 maximum resident set size= 701324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15035 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1824 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62027 involuntary context switches= 57514 runsolver used 5.9421 second user time and 15.5616 second system time The end
Begin job on node126 at 2012-06-03 06:23:34 IDJOB=3733492 IDBENCH=2527 IDSOLVER=2319 FILE ID=node126/3733492-1338697414 RUNJOBID= node126-1338678624-29856 PBS_JOBID= 14636687 Free space on /tmp= 70784 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733492-1338697414/watcher-3733492-1338697414 -o /tmp/evaluation-result-3733492-1338697414/solver-3733492-1338697414 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733492-1338697414.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=646570631 node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26121728 kB Buffers: 408136 kB Cached: 3779848 kB SwapCached: 9476 kB Active: 3169972 kB Inactive: 2719324 kB Active(anon): 1691036 kB Inactive(anon): 12168 kB Active(file): 1478936 kB Inactive(file): 2707156 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67094928 kB Dirty: 5648 kB Writeback: 0 kB AnonPages: 1699100 kB Mapped: 17892 kB Shmem: 0 kB Slab: 722600 kB SReclaimable: 166816 kB SUnreclaim: 555784 kB KernelStack: 1608 kB PageTables: 7544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1825288 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1644544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70780 MiB End job on node126 at 2012-06-03 06:53:27