Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | No Cert. | 1801.09 | 1769.25 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-aflow30a.opb |
| MD5SUM | d5ffb80d8d2a9d2ae5f84f17eeb42612 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3400 |
| Best CPU time to get the best result obtained on this benchmark | 1800.24 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2754 |
| Optimality of the best value was proved | NO |
| Number of variables | 7195 |
| Total number of constraints | 900 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 29 |
| Number of constraints which are nor clauses,nor cardinality constraints | 871 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 555 |
| Number of terms in the objective function | 421 |
| Biggest coefficient in the objective function | 500 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 72290 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 102400 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 3334110 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Glucose 2.1 dynamic restart strategy 0.07/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-4099804-1466207894.opb 0.07/0.12 c reading problem ... 0.07/0.13 c objective function found 0.80/0.41 c ... done. Wall clock time 0.281s. 0.80/0.41 c declared #vars 7195 0.80/0.41 c #constraints 958 0.80/0.41 c constraints type 0.80/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29 0.80/0.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 29 0.80/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900 0.80/0.41 c 958 constraints processed. 0.80/0.41 c objective function length is 421 literals 2.37/1.51 c cleaning 2497 clauses out of 5001 with flag 12938/5001 3.47/2.56 c cleaning 4250 clauses out of 8504 with flag 31390/11001 4.69/3.78 c cleaning 5621 clauses out of 11258 with flag 56592/18005 5.83/4.87 c cleaning 6809 clauses out of 13637 with flag 83547/26005 6.95/5.98 c cleaning 7908 clauses out of 15823 with flag 113295/35000 8.70/7.60 c cleaning 8959 clauses out of 17919 with flag 155742/45004 10.21/9.13 c cleaning 9975 clauses out of 19956 with flag 200226/56000 12.33/11.27 c cleaning 10982 clauses out of 21980 with flag 248945/68001 14.87/13.72 c cleaning 11990 clauses out of 23998 with flag 305990/81001 17.24/16.04 c cleaning 12997 clauses out of 26011 with flag 363893/95004 20.58/19.37 c cleaning 13991 clauses out of 28013 with flag 430883/110003 22.42/21.17 c SATISFIABLE 22.42/21.17 c OPTIMIZING... 22.42/21.17 c Got one! Elapsed wall clock time (in seconds):21.049 22.42/21.18 o 3508 24.07/22.67 c cleaning 13708 clauses out of 27439 with flag 22650/123420 25.88/24.38 c cleaning 9844 clauses out of 19732 with flag 50460/129421 27.76/26.15 c cleaning 8433 clauses out of 16889 with flag 78164/136422 29.66/28.01 c cleaning 8201 clauses out of 16453 with flag 108892/144419 32.42/30.79 c cleaning 8604 clauses out of 17253 with flag 156865/153420 35.32/33.67 c cleaning 9319 clauses out of 18651 with flag 216032/163422 38.21/36.41 c cleaning 10158 clauses out of 20329 with flag 284109/174419 40.60/38.86 c Got one! Elapsed wall clock time (in seconds):38.74 40.60/38.86 o 3507 42.18/40.23 c cleaning 12020 clauses out of 24045 with flag 20261/188293 43.79/41.84 c cleaning 8997 clauses out of 18025 with flag 49024/194293 45.48/43.57 c cleaning 7993 clauses out of 16027 with flag 85007/201292 47.59/45.67 c cleaning 7993 clauses out of 16034 with flag 117680/209292 50.52/48.44 c cleaning 8509 clauses out of 17042 with flag 164247/218293 51.32/49.22 c Got one! Elapsed wall clock time (in seconds):49.096 51.32/49.22 o 3505 51.56/49.44 c Got one! Elapsed wall clock time (in seconds):49.314 51.56/49.44 o 3502 51.80/49.68 c cleaning 6858 clauses out of 13740 with flag 3352/223500 53.59/51.49 c cleaning 6398 clauses out of 12881 with flag 33187/229499 55.81/53.40 c cleaning 6734 clauses out of 13482 with flag 63582/236498 57.11/54.79 c cleaning 7371 clauses out of 14748 with flag 87598/244498 58.81/56.41 c cleaning 8181 clauses out of 16377 with flag 115927/253498 61.30/58.81 c cleaning 9094 clauses out of 18196 with flag 153302/263498 64.00/61.56 c Got one! Elapsed wall clock time (in seconds):61.439 64.00/61.56 o 3482 65.32/62.84 c cleaning 10992 clauses out of 21990 with flag 20672/276386 66.90/64.36 c cleaning 8486 clauses out of 16999 with flag 45229/282387 68.40/65.82 c cleaning 7741 clauses out of 15513 with flag 73319/289387 70.30/67.70 c cleaning 7875 clauses out of 15773 with flag 108248/297388 72.63/70.08 c cleaning 8434 clauses out of 16897 with flag 147762/306387 75.50/72.85 c cleaning 9221 clauses out of 18462 with flag 196309/316386 77.30/74.67 c Got one! Elapsed wall clock time (in seconds):74.544 77.30/74.67 o 3477 78.70/76.02 c cleaning 10284 clauses out of 20598 with flag 21354/327743 80.29/77.62 c cleaning 8144 clauses out of 16312 with flag 47468/333741 82.13/79.49 c cleaning 7566 clauses out of 15168 with flag 79565/340741 84.13/81.42 c cleaning 7785 clauses out of 15602 with flag 114458/348741 86.77/84.04 c cleaning 8398 clauses out of 16818 with flag 159277/357742 89.33/86.52 c cleaning 9200 clauses out of 18423 with flag 204346/367745 92.24/89.40 c cleaning 10103 clauses out of 20222 with flag 256389/378744 94.43/91.56 c Got one! Elapsed wall clock time (in seconds):91.439 94.43/91.56 o 3454 95.73/92.85 c cleaning 10699 clauses out of 21418 with flag 22576/390043 97.27/94.34 c cleaning 8333 clauses out of 16719 with flag 48362/396043 97.68/94.72 c Got one! Elapsed wall clock time (in seconds):94.6 97.68/94.72 o 3178 98.68/95.73 c cleaning 7131 clauses out of 14322 with flag 15872/401979 99.97/97.09 c cleaning 6565 clauses out of 13192 with flag 41014/407980 101.40/98.46 c cleaning 6808 clauses out of 13628 with flag 65254/414981 103.21/100.29 c cleaning 7401 clauses out of 14818 with flag 99508/422979 105.24/102.25 c cleaning 8207 clauses out of 16417 with flag 141117/431979 107.24/104.28 c cleaning 9104 clauses out of 18211 with flag 187561/441980 108.56/105.58 c Got one! Elapsed wall clock time (in seconds):105.457 108.56/105.58 o 3174 108.86/105.83 c cleaning 7329 clauses out of 14675 with flag 3889/447548 110.46/107.43 c cleaning 6660 clauses out of 13348 with flag 33367/453550 112.19/109.11 c cleaning 6828 clauses out of 13686 with flag 63617/460548 114.25/111.17 c cleaning 7421 clauses out of 14859 with flag 100928/468549 115.74/112.69 c cleaning 8213 clauses out of 16437 with flag 133146/477548 117.38/114.25 c cleaning 9105 clauses out of 18225 with flag 164088/487549 120.11/116.91 c cleaning 10046 clauses out of 20119 with flag 208497/498548 123.89/120.66 c cleaning 11030 clauses out of 22073 with flag 274528/510548 128.34/125.01 c cleaning 12019 clauses out of 24044 with flag 347173/523549 132.48/129.08 c cleaning 13005 clauses out of 26024 with flag 415220/537548 137.51/133.95 c cleaning 13997 clauses out of 28022 with flag 498050/552551 142.88/139.27 c cleaning 15002 clauses out of 30022 with flag 598561/568548 148.47/144.73 c cleaning 16000 clauses out of 32020 with flag 709018/585548 150.00/146.24 c Got one! Elapsed wall clock time (in seconds):146.114 150.00/146.24 o 3171 151.30/147.52 c cleaning 13820 clauses out of 27661 with flag 19943/597189 152.51/148.72 c cleaning 9910 clauses out of 19841 with flag 46631/603189 153.94/150.15 c cleaning 8460 clauses out of 16931 with flag 75951/610189 155.97/152.19 c cleaning 8230 clauses out of 16471 with flag 109524/618189 156.88/153.01 c Got one! Elapsed wall clock time (in seconds):152.885 156.88/153.01 o 3169 157.07/153.23 c cleaning 6614 clauses out of 13261 with flag 3557/623209 158.29/154.49 c cleaning 6303 clauses out of 12647 with flag 25663/629209 159.80/155.91 c cleaning 6668 clauses out of 13343 with flag 51118/636208 161.52/157.65 c cleaning 7338 clauses out of 14677 with flag 83524/644210 163.75/159.84 c cleaning 8165 clauses out of 16337 with flag 124907/653208 166.47/162.51 c cleaning 9080 clauses out of 18175 with flag 167749/663211 168.70/164.74 c cleaning 10041 clauses out of 20093 with flag 209315/674209 169.13/165.16 c Got one! Elapsed wall clock time (in seconds):165.04 169.13/165.16 o 3126 170.02/166.04 c cleaning 7538 clauses out of 15150 with flag 11802/679307 171.36/167.34 c cleaning 6800 clauses out of 13612 with flag 39076/685307 172.77/168.77 c cleaning 6898 clauses out of 13812 with flag 63500/692307 173.67/169.62 c Got one! Elapsed wall clock time (in seconds):169.497 173.67/169.62 o 3125 174.47/170.46 c cleaning 6422 clauses out of 12861 with flag 12607/698254 176.11/172.06 c cleaning 6202 clauses out of 12440 with flag 36274/704255 177.62/173.51 c cleaning 6610 clauses out of 13239 with flag 60312/711256 179.67/175.50 c cleaning 7302 clauses out of 14627 with flag 95992/719254 182.31/178.10 c cleaning 8156 clauses out of 16325 with flag 143803/728254 185.69/181.45 c cleaning 9076 clauses out of 18170 with flag 212190/738255 187.27/182.92 c Got one! Elapsed wall clock time (in seconds):182.795 187.27/182.92 o 3116 188.50/184.16 c cleaning 9584 clauses out of 19171 with flag 18202/748332 189.94/185.55 c cleaning 7787 clauses out of 15585 with flag 41170/754330 191.66/187.21 c cleaning 7387 clauses out of 14798 with flag 73760/761330 193.21/188.75 c cleaning 7701 clauses out of 15414 with flag 106399/769333 195.22/190.70 c cleaning 8352 clauses out of 16711 with flag 149219/778331 197.79/193.21 c cleaning 9164 clauses out of 18358 with flag 198397/788330 200.15/195.52 c Got one! Elapsed wall clock time (in seconds):195.396 200.15/195.52 o 3113 201.55/196.95 c cleaning 10793 clauses out of 21591 with flag 25092/800727 203.18/198.58 c cleaning 8400 clauses out of 16799 with flag 54980/806728 204.79/200.13 c cleaning 7692 clauses out of 15398 with flag 83967/813727 206.52/201.83 c cleaning 7840 clauses out of 15705 with flag 112176/821726 208.55/203.90 c cleaning 8424 clauses out of 16864 with flag 150632/830725 211.28/206.51 c cleaning 9216 clauses out of 18440 with flag 201865/840725 213.81/209.06 c cleaning 10106 clauses out of 20225 with flag 259071/851726 215.83/211.06 c Got one! Elapsed wall clock time (in seconds):210.94 215.83/211.06 o 3107 216.83/212.01 c cleaning 10955 clauses out of 21914 with flag 17756/863521 218.06/213.24 c cleaning 8469 clauses out of 16962 with flag 43069/869524 219.57/214.76 c cleaning 7737 clauses out of 15491 with flag 72732/876522 221.61/216.78 c cleaning 7856 clauses out of 15753 with flag 104693/884521 223.75/218.86 c cleaning 8443 clauses out of 16898 with flag 140177/893522 226.49/221.54 c cleaning 9220 clauses out of 18454 with flag 188603/903521 229.26/224.23 c cleaning 10109 clauses out of 20234 with flag 241435/914521 232.93/227.84 c cleaning 11061 clauses out of 22126 with flag 306240/926522 233.85/228.76 c Got one! Elapsed wall clock time (in seconds):228.635 233.85/228.76 o 3096 234.34/229.20 c cleaning 8363 clauses out of 16739 with flag 8876/932196 235.65/230.55 c cleaning 7182 clauses out of 14370 with flag 37733/938190 237.17/232.01 c cleaning 7090 clauses out of 14191 with flag 67721/945193 239.10/233.98 c cleaning 7535 clauses out of 15099 with flag 100937/953191 240.93/235.70 c cleaning 8273 clauses out of 16563 with flag 135547/962190 243.26/238.06 c cleaning 9143 clauses out of 18290 with flag 181235/972190 245.92/240.60 c cleaning 10056 clauses out of 20147 with flag 230617/983190 248.90/243.56 c cleaning 11039 clauses out of 22091 with flag 302846/995190 252.68/247.27 c cleaning 12016 clauses out of 24052 with flag 385533/1008190 256.57/251.04 c cleaning 13009 clauses out of 26037 with flag 480007/1022191 260.81/255.16 c cleaning 14004 clauses out of 28027 with flag 585195/1037190 266.00/260.18 c cleaning 15007 clauses out of 30024 with flag 696892/1053191 270.29/264.39 c cleaning 15998 clauses out of 32016 with flag 812605/1070190 274.70/268.60 c cleaning 17005 clauses out of 34019 with flag 901818/1088191 280.10/273.92 c cleaning 18006 clauses out of 36016 with flag 997838/1107193 285.56/279.38 c cleaning 18997 clauses out of 38007 with flag 1096595/1127190 290.28/283.95 c cleaning 20002 clauses out of 40013 with flag 1204127/1148193 295.32/288.97 c cleaning 20994 clauses out of 42009 with flag 1303300/1170191 301.65/295.19 c cleaning 22005 clauses out of 44015 with flag 1422688/1193191 309.47/302.71 c cleaning 22995 clauses out of 46009 with flag 1583653/1217190 317.41/310.51 c cleaning 23993 clauses out of 48014 with flag 1739295/1242190 324.31/317.38 c cleaning 25000 clauses out of 50021 with flag 1877287/1268190 332.89/325.65 c cleaning 25994 clauses out of 52021 with flag 2047778/1295190 341.49/334.04 c cleaning 27007 clauses out of 54027 with flag 2217145/1323190 350.99/343.39 c cleaning 28005 clauses out of 56020 with flag 2401520/1352190 359.66/351.83 c cleaning 29001 clauses out of 58019 with flag 2574250/1382194 368.26/360.39 c cleaning 29997 clauses out of 60017 with flag 2739695/1413193 370.78/362.76 c Got one! Elapsed wall clock time (in seconds):362.631 370.78/362.76 o 3081 372.37/364.37 c cleaning 21437 clauses out of 42898 with flag 28033/1426071 373.77/365.77 c cleaning 13724 clauses out of 27462 with flag 60165/1432072 375.77/367.78 c cleaning 10368 clauses out of 20741 with flag 98923/1439075 377.61/369.58 c cleaning 9172 clauses out of 18373 with flag 140053/1447075 379.40/371.36 c cleaning 9088 clauses out of 18197 with flag 180692/1456071 381.24/373.20 c cleaning 9547 clauses out of 19110 with flag 224089/1466072 383.74/375.62 c cleaning 10280 clauses out of 20564 with flag 274394/1477073 387.09/378.90 c cleaning 11132 clauses out of 22283 with flag 330404/1489072 390.29/382.19 c cleaning 12069 clauses out of 24151 with flag 388744/1502072 394.13/385.94 c cleaning 13033 clauses out of 26081 with flag 452646/1516071 396.07/387.84 c Got one! Elapsed wall clock time (in seconds):387.715 396.07/387.84 o 3071 397.27/389.09 c cleaning 12288 clauses out of 24585 with flag 20865/1527608 398.47/390.22 c cleaning 9148 clauses out of 18298 with flag 42208/1533609 400.17/391.93 c cleaning 8060 clauses out of 16149 with flag 69414/1540608 402.22/393.98 c cleaning 8028 clauses out of 16089 with flag 104953/1548608 404.42/396.17 c cleaning 8524 clauses out of 17062 with flag 143302/1557609 406.98/398.65 c cleaning 9257 clauses out of 18538 with flag 190836/1567609 409.66/401.24 c cleaning 10129 clauses out of 20281 with flag 231421/1578609 411.86/403.49 c cleaning 11073 clauses out of 22154 with flag 272513/1590611 415.21/406.74 c cleaning 12033 clauses out of 24078 with flag 330822/1603608 419.19/410.65 c cleaning 13023 clauses out of 26049 with flag 403142/1617612 422.65/414.08 c cleaning 14009 clauses out of 28022 with flag 465295/1632608 425.66/417.02 c cleaning 14997 clauses out of 30013 with flag 522235/1648608 429.16/420.55 c cleaning 16002 clauses out of 32017 with flag 597511/1665609 433.42/424.73 c cleaning 17001 clauses out of 34017 with flag 679948/1683611 438.97/430.22 c cleaning 17994 clauses out of 36013 with flag 772135/1702608 443.94/435.17 c cleaning 18998 clauses out of 38019 with flag 870474/1722608 449.17/440.33 c cleaning 20006 clauses out of 40021 with flag 976342/1743608 449.87/441.10 c Got one! Elapsed wall clock time (in seconds):440.978 449.87/441.10 o 3042 450.92/442.05 c cleaning 12649 clauses out of 25339 with flag 12000/1748932 451.12/442.22 c Got one! Elapsed wall clock time (in seconds):442.1 451.12/442.22 o 3038 452.32/443.43 c cleaning 9223 clauses out of 18467 with flag 26260/1754709 453.95/445.06 c cleaning 7615 clauses out of 15256 with flag 57062/1760721 455.55/446.65 c cleaning 7308 clauses out of 14629 with flag 81024/1767709 457.36/448.49 c cleaning 7657 clauses out of 15321 with flag 109887/1775709 459.59/450.68 c cleaning 8321 clauses out of 16670 with flag 142892/1784715 462.11/453.15 c cleaning 9165 clauses out of 18343 with flag 183598/1794709 465.22/456.23 c cleaning 10085 clauses out of 20179 with flag 231005/1805710 468.60/459.59 c cleaning 11035 clauses out of 22093 with flag 285437/1817709 472.14/463.04 c cleaning 12029 clauses out of 24058 with flag 338086/1830709 475.73/466.55 c cleaning 13008 clauses out of 26029 with flag 395931/1844709 478.73/469.51 c cleaning 14003 clauses out of 28021 with flag 445919/1859709 482.48/473.29 c Got one! Elapsed wall clock time (in seconds):473.161 482.48/473.29 o 3037 483.72/474.42 c cleaning 16464 clauses out of 32943 with flag 18865/1878634 485.12/475.82 c cleaning 11225 clauses out of 22480 with flag 41694/1884635 486.43/477.13 c cleaning 9119 clauses out of 18256 with flag 70038/1891636 488.05/478.78 c cleaning 8551 clauses out of 17135 with flag 101270/1899634 490.29/480.99 c cleaning 8782 clauses out of 17584 with flag 139935/1908634 492.94/483.51 c cleaning 9397 clauses out of 18803 with flag 185882/1918635 495.97/486.56 c cleaning 10195 clauses out of 20407 with flag 239505/1929636 497.98/488.51 c Got one! Elapsed wall clock time (in seconds):488.386 497.98/488.51 o 3028 499.11/489.68 c cleaning 10671 clauses out of 21356 with flag 19460/1940780 500.64/491.13 c cleaning 8332 clauses out of 16684 with flag 47734/1946779 502.47/492.96 c cleaning 7659 clauses out of 15352 with flag 75221/1953779 504.40/494.84 c cleaning 7834 clauses out of 15693 with flag 108026/1961779 506.83/497.23 c cleaning 8426 clauses out of 16860 with flag 153886/1970780 509.59/499.98 c cleaning 9214 clauses out of 18437 with flag 199346/1980783 512.74/503.00 c cleaning 10105 clauses out of 20224 with flag 250003/1991784 515.90/506.14 c cleaning 11045 clauses out of 22115 with flag 302406/2003780 518.67/508.82 c cleaning 12027 clauses out of 24069 with flag 353675/2016779 521.30/511.49 c cleaning 13018 clauses out of 26042 with flag 407278/2030779 524.45/514.51 c cleaning 14007 clauses out of 28024 with flag 466160/2045779 527.87/517.93 c cleaning 15009 clauses out of 30018 with flag 534946/2061780 531.73/521.74 c cleaning 15987 clauses out of 32009 with flag 609807/2078780 533.28/523.26 c Got one! Elapsed wall clock time (in seconds):523.136 533.28/523.26 o 2905 534.49/524.41 c cleaning 13312 clauses out of 26641 with flag 19583/2089399 535.79/525.74 c cleaning 9647 clauses out of 19331 with flag 43432/2095401 537.32/527.27 c cleaning 8320 clauses out of 16683 with flag 74514/2102400 539.36/529.23 c cleaning 8164 clauses out of 16364 with flag 109488/2110401 541.79/531.67 c cleaning 8589 clauses out of 17199 with flag 145929/2119400 544.21/534.06 c cleaning 9300 clauses out of 18611 with flag 186688/2129401 547.46/537.21 c cleaning 10150 clauses out of 20309 with flag 236334/2140399 550.19/539.99 c cleaning 11078 clauses out of 22161 with flag 284815/2152401 553.33/543.06 c Got one! Elapsed wall clock time (in seconds):542.935 553.33/543.06 o 2903 555.00/544.61 c cleaning 13707 clauses out of 27433 with flag 23720/2168751 556.62/546.22 c cleaning 9850 clauses out of 19726 with flag 53426/2174751 558.45/548.06 c cleaning 8428 clauses out of 16876 with flag 82726/2181751 560.59/550.15 c cleaning 8207 clauses out of 16448 with flag 114378/2189751 562.83/552.32 c cleaning 8613 clauses out of 17243 with flag 149925/2198753 565.72/555.10 c cleaning 9307 clauses out of 18629 with flag 195722/2208752 569.04/558.30 c cleaning 10156 clauses out of 20322 with flag 254606/2219752 572.66/561.86 c cleaning 11079 clauses out of 22165 with flag 320960/2231751 575.51/564.69 c cleaning 12033 clauses out of 24087 with flag 378605/2244752 579.35/568.42 c cleaning 13024 clauses out of 26054 with flag 448357/2258752 583.64/572.67 c cleaning 14011 clauses out of 28031 with flag 521211/2273753 588.68/577.52 c cleaning 14999 clauses out of 30018 with flag 622271/2289751 592.98/581.77 c cleaning 16001 clauses out of 32020 with flag 721886/2306752 596.63/585.40 c Got one! Elapsed wall clock time (in seconds):585.271 596.63/585.40 o 2895 598.34/587.07 c cleaning 17209 clauses out of 34424 with flag 23630/2325157 600.31/588.90 c cleaning 11607 clauses out of 23216 with flag 54811/2331158 601.91/590.56 c cleaning 9290 clauses out of 18607 with flag 86988/2338156 604.05/592.68 c cleaning 8646 clauses out of 17318 with flag 125419/2346157 606.25/594.83 c cleaning 8820 clauses out of 17674 with flag 156767/2355159 608.70/597.26 c cleaning 9425 clauses out of 18852 with flag 197042/2365157 610.92/599.42 c cleaning 10201 clauses out of 20427 with flag 232179/2376157 613.52/602.07 c cleaning 11105 clauses out of 22225 with flag 277289/2388156 617.66/606.18 c cleaning 12053 clauses out of 24120 with flag 351554/2401156 620.20/608.60 c Got one! Elapsed wall clock time (in seconds):608.475 620.20/608.60 o 2867 621.20/609.69 c cleaning 12762 clauses out of 25537 with flag 20912/2414626 622.63/611.03 c cleaning 9375 clauses out of 18775 with flag 45965/2420626 624.73/613.17 c cleaning 8177 clauses out of 16401 with flag 80351/2427627 627.06/615.43 c cleaning 8105 clauses out of 16223 with flag 113604/2435626 629.49/617.88 c cleaning 8555 clauses out of 17120 with flag 156438/2444628 632.04/620.33 c cleaning 9274 clauses out of 18564 with flag 203353/2454627 634.54/622.87 c cleaning 10135 clauses out of 20290 with flag 250487/2465627 637.54/625.87 c cleaning 11075 clauses out of 22154 with flag 303755/2477626 641.35/629.53 c cleaning 12038 clauses out of 24079 with flag 357886/2490626 642.15/630.37 c Got one! Elapsed wall clock time (in seconds):630.242 642.15/630.37 o 2865 642.85/631.08 c cleaning 8756 clauses out of 17531 with flag 13241/2496116 644.38/632.53 c cleaning 7371 clauses out of 14772 with flag 36393/2502113 646.07/634.22 c cleaning 7184 clauses out of 14404 with flag 60713/2509116 647.81/635.94 c cleaning 7600 clauses out of 15219 with flag 87111/2517115 650.03/638.15 c cleaning 8307 clauses out of 16617 with flag 123614/2526113 652.55/640.64 c cleaning 9153 clauses out of 18312 with flag 164610/2536115 655.17/643.24 c cleaning 10074 clauses out of 20159 with flag 203778/2547115 657.69/645.77 c cleaning 11036 clauses out of 22084 with flag 247461/2559114 660.93/648.95 c cleaning 12021 clauses out of 24051 with flag 303121/2572117 664.91/652.86 c cleaning 13010 clauses out of 26027 with flag 372076/2586114 668.83/656.72 c cleaning 14003 clauses out of 28016 with flag 444829/2601113 674.68/662.40 c cleaning 14998 clauses out of 30013 with flag 546015/2617113 680.08/667.76 c cleaning 15997 clauses out of 32015 with flag 646719/2634113 684.80/672.32 c cleaning 17004 clauses out of 34018 with flag 732941/2652113 689.71/677.12 c cleaning 17997 clauses out of 36014 with flag 831301/2671113 695.33/682.67 c cleaning 19000 clauses out of 38017 with flag 934490/2691113 700.52/687.70 c cleaning 20005 clauses out of 40017 with flag 1032947/2712113 705.73/692.89 c cleaning 21002 clauses out of 42013 with flag 1111792/2734114 711.61/698.69 c cleaning 22001 clauses out of 44011 with flag 1208268/2757114 718.53/705.41 c cleaning 22995 clauses out of 46010 with flag 1335417/2781114 723.82/710.69 c cleaning 23994 clauses out of 48014 with flag 1439730/2806113 729.69/716.49 c cleaning 25008 clauses out of 50021 with flag 1562066/2832114 737.92/724.43 c Got one! Elapsed wall clock time (in seconds):724.306 737.92/724.43 o 2858 739.80/726.22 c cleaning 26624 clauses out of 53263 with flag 27606/2860364 741.53/727.93 c cleaning 16308 clauses out of 32639 with flag 63713/2866364 743.67/730.04 c cleaning 11651 clauses out of 23332 with flag 103593/2873365 746.02/732.34 c cleaning 9813 clauses out of 19680 with flag 147625/2881364 748.79/735.03 c cleaning 9417 clauses out of 18867 with flag 193178/2890364 751.31/737.50 c cleaning 9718 clauses out of 19450 with flag 240762/2900364 753.86/740.05 c cleaning 10361 clauses out of 20736 with flag 289655/2911368 756.29/742.49 c cleaning 11177 clauses out of 22373 with flag 343399/2923366 759.22/745.34 c cleaning 12090 clauses out of 24197 with flag 401846/2936367 762.35/748.40 c cleaning 13051 clauses out of 26106 with flag 469699/2950366 765.18/751.29 c cleaning 14017 clauses out of 28053 with flag 539014/2965364 769.47/755.47 c cleaning 15006 clauses out of 30036 with flag 625730/2981364 774.26/760.20 c cleaning 16010 clauses out of 32030 with flag 698929/2998364 779.25/765.01 c cleaning 17000 clauses out of 34020 with flag 789222/3016364 785.55/771.17 c cleaning 18006 clauses out of 36021 with flag 889890/3035365 787.81/773.37 c Got one! Elapsed wall clock time (in seconds):773.242 787.81/773.37 o 2847 789.41/774.94 c cleaning 15197 clauses out of 30417 with flag 22965/3047767 790.75/776.25 c cleaning 10606 clauses out of 21220 with flag 49004/3053767 792.47/777.97 c cleaning 8791 clauses out of 17615 with flag 78485/3060768 794.48/779.95 c Got one! Elapsed wall clock time (in seconds):779.821 794.48/779.95 o 2843 795.94/781.38 c cleaning 10306 clauses out of 20611 with flag 22992/3072555 797.54/782.96 c cleaning 8143 clauses out of 16304 with flag 49989/3078554 799.16/784.58 c cleaning 7547 clauses out of 15161 with flag 79054/3085554 801.21/786.52 c cleaning 7802 clauses out of 15614 with flag 111161/3093554 803.61/788.93 c cleaning 8405 clauses out of 16814 with flag 144643/3102556 806.65/791.93 c cleaning 9200 clauses out of 18407 with flag 188523/3112554 809.88/795.15 c cleaning 10094 clauses out of 20208 with flag 242265/3123555 811.61/796.89 c Got one! Elapsed wall clock time (in seconds):796.77 811.61/796.89 o 2834 812.51/797.76 c cleaning 10561 clauses out of 21133 with flag 15770/3134574 814.14/799.30 c cleaning 8269 clauses out of 16572 with flag 41138/3140574 815.67/800.88 c cleaning 7638 clauses out of 15303 with flag 66118/3147574 817.67/802.82 c cleaning 7824 clauses out of 15666 with flag 95204/3155575 820.10/805.25 c Got one! Elapsed wall clock time (in seconds):805.125 820.10/805.25 o 2823 821.31/806.45 c cleaning 10534 clauses out of 21080 with flag 16450/3168813 822.62/807.76 c cleaning 8263 clauses out of 16544 with flag 35753/3174811 824.33/809.40 c cleaning 7632 clauses out of 15281 with flag 57824/3181811 826.25/811.36 c cleaning 7816 clauses out of 15650 with flag 85412/3189812 828.17/813.29 c cleaning 8415 clauses out of 16832 with flag 116088/3198810 828.79/813.86 c Got one! Elapsed wall clock time (in seconds):813.731 828.79/813.86 o 2817 829.49/814.58 c Got one! Elapsed wall clock time (in seconds):814.46 829.49/814.58 o 2805 829.79/814.82 c cleaning 7288 clauses out of 14612 with flag 2784/3205005 831.19/816.29 c cleaning 6636 clauses out of 13324 with flag 22341/3211005 832.91/817.93 c cleaning 6839 clauses out of 13688 with flag 44255/3218005 835.36/820.35 c cleaning 7412 clauses out of 14849 with flag 75672/3226005 838.21/823.06 c cleaning 8214 clauses out of 16438 with flag 115685/3235006 840.82/825.62 c cleaning 9108 clauses out of 18223 with flag 155084/3245005 842.02/826.89 c Got one! Elapsed wall clock time (in seconds):826.765 842.02/826.89 o 2798 842.26/827.07 c cleaning 7166 clauses out of 14348 with flag 2601/3250238 843.27/828.04 c cleaning 6495 clauses out of 13184 with flag 17517/3256240 844.38/829.12 c cleaning 6836 clauses out of 13687 with flag 34901/3263238 845.69/830.45 c cleaning 7421 clauses out of 14851 with flag 55356/3271238 847.09/831.87 c cleaning 8212 clauses out of 16430 with flag 78541/3280238 849.24/833.91 c cleaning 9106 clauses out of 18218 with flag 107896/3290238 851.66/836.32 c cleaning 10047 clauses out of 20112 with flag 148377/3301238 854.19/838.89 c cleaning 11029 clauses out of 22065 with flag 195272/3313238 856.96/841.52 c cleaning 12008 clauses out of 24036 with flag 245380/3326238 860.01/844.56 c cleaning 13006 clauses out of 26028 with flag 304380/3340238 863.40/847.82 c cleaning 14002 clauses out of 28022 with flag 357955/3355238 867.27/851.66 c cleaning 15010 clauses out of 30022 with flag 420125/3371240 871.37/855.63 c cleaning 16002 clauses out of 32011 with flag 486107/3388239 875.67/859.86 c cleaning 16998 clauses out of 34008 with flag 566578/3406238 881.30/865.32 c cleaning 17996 clauses out of 36011 with flag 650156/3425239 886.33/870.29 c Got one! Elapsed wall clock time (in seconds):870.166 886.33/870.29 o 2791 888.12/872.09 c cleaning 19806 clauses out of 39634 with flag 24666/3446858 889.95/873.82 c cleaning 12903 clauses out of 25829 with flag 51082/3452859 891.95/875.85 c cleaning 9955 clauses out of 19926 with flag 85715/3459859 893.86/877.76 c cleaning 8971 clauses out of 17970 with flag 118494/3467858 896.76/880.68 c cleaning 8984 clauses out of 17999 with flag 160375/3476858 899.40/883.28 c cleaning 9493 clauses out of 19017 with flag 203149/3486860 900.30/884.10 c Got one! Elapsed wall clock time (in seconds):883.979 900.30/884.10 o 2782 901.02/884.80 c Got one! Elapsed wall clock time (in seconds):884.677 901.02/884.80 o 2765 901.22/885.06 c cleaning 8022 clauses out of 16054 with flag 3558/3493390 902.52/886.33 c cleaning 6992 clauses out of 14030 with flag 23872/3499388 904.14/887.95 c cleaning 7003 clauses out of 14039 with flag 48727/3506389 906.07/889.90 c cleaning 7510 clauses out of 15035 with flag 81748/3514388 908.70/892.47 c cleaning 8244 clauses out of 16525 with flag 119646/3523388 912.00/895.74 c cleaning 9130 clauses out of 18281 with flag 165899/3533388 912.44/896.12 c Got one! Elapsed wall clock time (in seconds):895.999 912.44/896.12 o 2745 913.44/897.16 c cleaning 7262 clauses out of 14536 with flag 14847/3538773 915.18/898.81 c cleaning 6476 clauses out of 13276 with flag 40154/3544775 916.87/900.56 c cleaning 6887 clauses out of 13797 with flag 63673/3551772 919.19/902.87 c cleaning 7439 clauses out of 14910 with flag 93020/3559772 921.61/905.25 c cleaning 8231 clauses out of 16470 with flag 124627/3568771 923.61/907.23 c cleaning 9112 clauses out of 18240 with flag 156104/3578772 925.52/909.15 c cleaning 10057 clauses out of 20127 with flag 190264/3589771 927.53/911.15 c cleaning 11029 clauses out of 22070 with flag 229675/3601771 930.64/914.21 c cleaning 12011 clauses out of 24041 with flag 276811/3614771 934.39/917.94 c cleaning 13006 clauses out of 26030 with flag 335910/3628771 939.37/922.81 c cleaning 13997 clauses out of 28024 with flag 411194/3643771 942.39/925.89 c Got one! Elapsed wall clock time (in seconds):925.762 942.39/925.89 o 2741 943.74/927.19 c cleaning 13797 clauses out of 27610 with flag 18784/3657354 945.26/928.61 c cleaning 9895 clauses out of 19812 with flag 42632/3663353 946.68/930.10 c cleaning 8450 clauses out of 16917 with flag 74207/3670353 948.31/931.69 c cleaning 8215 clauses out of 16467 with flag 111215/3678353 950.33/933.68 c cleaning 8618 clauses out of 17254 with flag 148002/3687355 952.89/936.15 c cleaning 9308 clauses out of 18634 with flag 187579/3697353 955.33/938.51 c cleaning 10157 clauses out of 20326 with flag 227612/3708353 958.09/941.28 c cleaning 11076 clauses out of 22169 with flag 276584/3720353 960.51/943.67 c cleaning 12034 clauses out of 24093 with flag 329968/3733353 963.05/946.14 c cleaning 13018 clauses out of 26059 with flag 386311/3747353 966.90/949.92 c cleaning 14020 clauses out of 28043 with flag 458467/3762355 970.19/953.18 c cleaning 15004 clauses out of 30021 with flag 519239/3778353 973.86/956.70 c cleaning 15997 clauses out of 32017 with flag 587524/3795353 975.26/958.18 c Got one! Elapsed wall clock time (in seconds):958.05 975.26/958.18 o 2721 976.71/959.55 c cleaning 13320 clauses out of 26647 with flag 24601/3805980 978.11/960.94 c cleaning 9654 clauses out of 19328 with flag 55495/3811981 979.94/962.75 c cleaning 8321 clauses out of 16675 with flag 88819/3818982 981.87/964.67 c cleaning 8171 clauses out of 16354 with flag 124210/3826982 983.68/966.47 c cleaning 8589 clauses out of 17181 with flag 164661/3835980 985.71/968.47 c cleaning 9285 clauses out of 18592 with flag 205147/3845980 987.83/970.53 c cleaning 10143 clauses out of 20307 with flag 251668/3856980 990.37/973.04 c cleaning 11074 clauses out of 22165 with flag 301924/3868981 993.70/976.33 c cleaning 12042 clauses out of 24091 with flag 355310/3881981 995.23/977.80 c Got one! Elapsed wall clock time (in seconds):977.678 995.23/977.80 o 2715 995.43/978.05 c cleaning 8799 clauses out of 17626 with flag 3927/3887558 996.65/979.27 c cleaning 7398 clauses out of 14827 with flag 27746/3893558 998.07/980.67 c cleaning 7202 clauses out of 14429 with flag 51857/3900558 1000.00/982.52 c cleaning 7612 clauses out of 15228 with flag 78407/3908559 1002.83/985.38 c cleaning 8301 clauses out of 16616 with flag 118422/3917559 1005.95/988.40 c cleaning 9144 clauses out of 18315 with flag 159275/3927559 1009.34/991.77 c cleaning 10082 clauses out of 20171 with flag 207757/3938559 1012.39/994.73 c cleaning 11040 clauses out of 22089 with flag 253399/3950559 1015.94/998.22 c cleaning 12017 clauses out of 24049 with flag 318324/3963559 1019.88/1002.12 c cleaning 13010 clauses out of 26031 with flag 387135/3977558 1023.35/1005.56 c Got one! Elapsed wall clock time (in seconds):1005.435 1023.35/1005.56 o 2695 1024.72/1006.89 c cleaning 14547 clauses out of 29104 with flag 19218/3993641 1026.24/1008.39 c cleaning 10268 clauses out of 20558 with flag 43952/3999642 1028.17/1010.25 c cleaning 8639 clauses out of 17289 with flag 75465/4006641 1029.07/1011.14 c Got one! Elapsed wall clock time (in seconds):1011.015 1029.07/1011.14 o 2691 1029.48/1011.56 c cleaning 7062 clauses out of 14176 with flag 6600/4012167 1030.90/1012.97 c cleaning 6082 clauses out of 13115 with flag 26731/4018168 1032.94/1014.95 c cleaning 7012 clauses out of 14035 with flag 54272/4025170 1034.95/1016.96 c cleaning 7499 clauses out of 15020 with flag 84629/4033167 1037.40/1019.33 c cleaning 8245 clauses out of 16521 with flag 119469/4042167 1040.35/1022.26 c cleaning 9127 clauses out of 18278 with flag 163937/4052169 1043.82/1025.62 c cleaning 10069 clauses out of 20149 with flag 212156/4063167 1046.76/1028.59 c cleaning 11031 clauses out of 22081 with flag 257268/4075168 1050.85/1032.58 c cleaning 12001 clauses out of 24049 with flag 319477/4088167 1055.47/1037.07 c cleaning 13010 clauses out of 26050 with flag 395769/4102169 1060.31/1041.80 c cleaning 14008 clauses out of 28039 with flag 491222/4117168 1065.56/1046.88 c cleaning 15003 clauses out of 30031 with flag 591288/4133168 1071.30/1052.44 c cleaning 16005 clauses out of 32027 with flag 698871/4150167 1076.30/1057.30 c cleaning 17004 clauses out of 34024 with flag 778505/4168169 1082.70/1063.60 c cleaning 17999 clauses out of 36020 with flag 878363/4187169 1084.84/1065.72 c Got one! Elapsed wall clock time (in seconds):1065.599 1084.84/1065.72 o 2690 1086.15/1067.06 c cleaning 14503 clauses out of 29021 with flag 21207/4198169 1088.09/1068.91 c cleaning 10253 clauses out of 20519 with flag 51288/4204170 1089.60/1070.44 c cleaning 8617 clauses out of 17267 with flag 80800/4211171 1091.52/1072.30 c cleaning 8320 clauses out of 16649 with flag 110251/4219170 1093.32/1074.17 c cleaning 8661 clauses out of 17328 with flag 141074/4228169 1095.84/1076.66 c cleaning 9331 clauses out of 18668 with flag 185446/4238170 1099.07/1079.84 c cleaning 10157 clauses out of 20336 with flag 237508/4249169 1101.90/1082.60 c cleaning 11085 clauses out of 22179 with flag 295749/4261169 1105.24/1085.95 c cleaning 12037 clauses out of 24094 with flag 362674/4274169 1109.64/1090.27 c cleaning 13022 clauses out of 26058 with flag 436925/4288170 1112.46/1093.02 c cleaning 14003 clauses out of 28035 with flag 496489/4303169 1114.50/1095.03 c Got one! Elapsed wall clock time (in seconds):1094.907 1114.50/1095.03 o 2685 1115.80/1096.32 c cleaning 14566 clauses out of 29132 with flag 23012/4318269 1117.02/1097.58 c cleaning 10275 clauses out of 20566 with flag 49044/4324269 1119.05/1099.53 c cleaning 8627 clauses out of 17291 with flag 86081/4331269 1120.98/1101.48 c cleaning 8316 clauses out of 16664 with flag 121174/4339269 1123.51/1103.97 c cleaning 8669 clauses out of 17348 with flag 163412/4348269 1126.36/1106.74 c cleaning 9335 clauses out of 18680 with flag 212174/4358270 1129.39/1109.70 c cleaning 10171 clauses out of 20345 with flag 262483/4369270 1133.00/1113.27 c cleaning 11076 clauses out of 22173 with flag 317608/4381269 1134.93/1115.11 c Got one! Elapsed wall clock time (in seconds):1114.983 1134.93/1115.11 o 2638 1136.03/1116.23 c cleaning 11822 clauses out of 23653 with flag 20005/4393825 1137.26/1117.46 c cleaning 8897 clauses out of 17833 with flag 44302/4399827 1138.89/1119.01 c cleaning 7928 clauses out of 15933 with flag 74322/4406824 1140.60/1120.73 c cleaning 7989 clauses out of 16006 with flag 105793/4414825 1142.42/1122.54 c cleaning 8500 clauses out of 17016 with flag 141617/4423824 1145.54/1125.66 c cleaning 9254 clauses out of 18517 with flag 197357/4433825 1148.79/1128.87 c cleaning 10123 clauses out of 20263 with flag 256425/4444825 1152.15/1132.13 c cleaning 11059 clauses out of 22139 with flag 320254/4456824 1156.02/1135.90 c cleaning 12026 clauses out of 24081 with flag 391954/4469825 1160.78/1140.54 c cleaning 13019 clauses out of 26055 with flag 477744/4483825 1165.93/1145.57 c cleaning 14013 clauses out of 28037 with flag 558425/4498826 1171.14/1150.68 c cleaning 15001 clauses out of 30022 with flag 655111/4514824 1176.42/1155.88 c cleaning 16007 clauses out of 32023 with flag 751761/4531826 1181.81/1161.12 c cleaning 16998 clauses out of 34014 with flag 844447/4549824 1186.23/1165.49 c cleaning 17992 clauses out of 36016 with flag 928905/4568824 1192.24/1171.32 c cleaning 19006 clauses out of 38025 with flag 1038828/4588825 1198.74/1177.73 c cleaning 20003 clauses out of 40018 with flag 1160165/4609824 1206.12/1184.96 c cleaning 20997 clauses out of 42016 with flag 1283759/4631825 1207.82/1186.69 c Got one! Elapsed wall clock time (in seconds):1186.562 1207.82/1186.69 o 2637 1209.58/1188.30 c cleaning 15656 clauses out of 31327 with flag 25693/4642133 1211.18/1189.96 c cleaning 10826 clauses out of 21670 with flag 57959/4648132 1212.72/1191.48 c cleaning 8911 clauses out of 17846 with flag 84291/4655134 1214.84/1193.55 c cleaning 8457 clauses out of 16933 with flag 120741/4663132 1217.38/1196.01 c cleaning 8729 clauses out of 17476 with flag 156932/4672132 1219.91/1198.52 c cleaning 9363 clauses out of 18747 with flag 199878/4682132 1222.44/1201.07 c cleaning 10187 clauses out of 20384 with flag 243943/4693132 1225.09/1203.68 c cleaning 11095 clauses out of 22200 with flag 294732/4705135 1228.16/1206.60 c cleaning 12045 clauses out of 24102 with flag 349539/4718132 1230.10/1208.56 c Got one! Elapsed wall clock time (in seconds):1208.433 1230.10/1208.56 o 2626 1230.30/1208.78 c Got one! Elapsed wall clock time (in seconds):1208.651 1230.30/1208.78 o 2621 1231.71/1210.18 c cleaning 13173 clauses out of 26361 with flag 24311/4732436 1233.52/1211.91 c cleaning 9582 clauses out of 19188 with flag 56606/4738436 1235.64/1214.01 c cleaning 8284 clauses out of 16607 with flag 89073/4745437 1237.77/1216.15 c cleaning 8142 clauses out of 16322 with flag 121551/4753436 1240.53/1218.82 c cleaning 8593 clauses out of 17185 with flag 159791/4762441 1243.46/1221.71 c cleaning 9286 clauses out of 18590 with flag 203331/4772439 1246.44/1224.66 c cleaning 10143 clauses out of 20301 with flag 254298/4783436 1250.33/1228.41 c cleaning 11074 clauses out of 22158 with flag 314218/4795436 1253.88/1231.96 c cleaning 12036 clauses out of 24084 with flag 370335/4808436 1257.10/1235.16 c cleaning 13021 clauses out of 26048 with flag 425568/4822436 1261.36/1239.29 c cleaning 14010 clauses out of 28027 with flag 492665/4837436 1266.14/1243.99 c cleaning 15002 clauses out of 30018 with flag 573098/4853437 1270.68/1248.46 c cleaning 15997 clauses out of 32015 with flag 661143/4870436 1276.40/1254.03 c cleaning 17005 clauses out of 34018 with flag 774800/4888436 1282.29/1259.89 c cleaning 17997 clauses out of 36013 with flag 887058/4907436 1288.07/1265.50 c cleaning 18998 clauses out of 38017 with flag 990980/4927437 1294.11/1271.46 c cleaning 20003 clauses out of 40019 with flag 1096118/4948437 1301.05/1278.24 c cleaning 20997 clauses out of 42016 with flag 1220230/4970437 1308.10/1285.11 c cleaning 22002 clauses out of 44018 with flag 1349323/4993436 1315.52/1292.42 c cleaning 23009 clauses out of 46017 with flag 1484581/5017437 1323.39/1300.19 c cleaning 24001 clauses out of 48008 with flag 1618904/5042437 1331.24/1307.90 c cleaning 25002 clauses out of 50010 with flag 1748830/5068440 1340.09/1316.40 c cleaning 25991 clauses out of 52005 with flag 1902568/5095437 1351.15/1327.25 c cleaning 26996 clauses out of 54013 with flag 2106751/5123436 1361.43/1337.27 c cleaning 27993 clauses out of 56017 with flag 2283106/5152436 1372.61/1348.29 c cleaning 29009 clauses out of 58027 with flag 2480762/5182439 1375.05/1350.60 c Got one! Elapsed wall clock time (in seconds):1350.472 1375.05/1350.60 o 2578 1376.66/1352.28 c cleaning 19945 clauses out of 39911 with flag 27528/5193332 1376.96/1352.52 c Got one! Elapsed wall clock time (in seconds):1352.399 1376.96/1352.52 o 2556 1378.16/1353.79 c cleaning 12889 clauses out of 25813 with flag 23915/5199179 1379.70/1355.28 c cleaning 9425 clauses out of 18923 with flag 53303/5205178 1381.79/1357.32 c cleaning 8232 clauses out of 16498 with flag 85657/5212178 1384.00/1359.54 c cleaning 8001 clauses out of 16267 with flag 115811/5220179 1386.00/1361.53 c cleaning 8626 clauses out of 17265 with flag 142930/5229178 1388.72/1364.29 c cleaning 9306 clauses out of 18639 with flag 179731/5239178 1392.55/1368.06 c cleaning 10162 clauses out of 20334 with flag 230375/5250179 1395.85/1371.36 c cleaning 11072 clauses out of 22174 with flag 281284/5262181 1399.59/1375.07 c cleaning 12047 clauses out of 24099 with flag 342353/5275178 1403.22/1378.62 c cleaning 13023 clauses out of 26052 with flag 406688/5289178 1407.33/1382.63 c cleaning 14008 clauses out of 28029 with flag 475292/5304178 1411.37/1386.67 c cleaning 15002 clauses out of 30021 with flag 551369/5320178 1412.87/1388.12 c Got one! Elapsed wall clock time (in seconds):1387.99 1412.87/1388.12 o 2555 1413.77/1389.00 c cleaning 12531 clauses out of 25079 with flag 16330/5330238 1415.08/1390.38 c cleaning 9255 clauses out of 18546 with flag 42862/5336236 1417.21/1392.47 c cleaning 8001 clauses out of 16292 with flag 73686/5343237 1419.41/1394.67 c cleaning 7996 clauses out of 16292 with flag 102551/5351238 1422.03/1397.29 c cleaning 8641 clauses out of 17296 with flag 139444/5360238 1425.27/1400.45 c cleaning 9305 clauses out of 18653 with flag 186206/5370236 1428.03/1403.17 c cleaning 10169 clauses out of 20348 with flag 224630/5381236 1431.27/1406.31 c cleaning 11086 clauses out of 22179 with flag 268167/5393236 1434.49/1409.57 c cleaning 12047 clauses out of 24094 with flag 314842/5406237 1437.95/1412.95 c cleaning 13017 clauses out of 26046 with flag 372296/5420236 1441.99/1416.99 c cleaning 14015 clauses out of 28033 with flag 440851/5435240 1446.48/1421.33 c cleaning 14994 clauses out of 30014 with flag 521172/5451236 1450.04/1424.86 c Got one! Elapsed wall clock time (in seconds):1424.732 1450.04/1424.86 o 2552 1451.24/1426.09 c cleaning 15817 clauses out of 31635 with flag 17102/5467851 1453.06/1427.87 c cleaning 10902 clauses out of 21818 with flag 44817/5473851 1454.99/1429.70 c cleaning 8937 clauses out of 17916 with flag 75125/5480851 1456.61/1431.30 c cleaning 8475 clauses out of 16979 with flag 99613/5488851 1458.53/1433.21 c cleaning 8741 clauses out of 17509 with flag 125748/5497856 1460.45/1435.18 c cleaning 9371 clauses out of 18763 with flag 152500/5507851 1462.57/1437.26 c cleaning 10194 clauses out of 20393 with flag 184739/5518852 1464.90/1439.51 c cleaning 11085 clauses out of 22198 with flag 217240/5530851 1468.05/1442.63 c cleaning 12047 clauses out of 24114 with flag 263051/5543852 1471.39/1445.90 c cleaning 13028 clauses out of 26067 with flag 315409/5557852 1475.86/1450.33 c cleaning 14009 clauses out of 28038 with flag 387738/5572851 1480.35/1454.72 c cleaning 15012 clauses out of 30031 with flag 454205/5588853 1485.02/1459.31 c cleaning 16000 clauses out of 32018 with flag 519057/5605852 1489.83/1464.05 c cleaning 17006 clauses out of 34019 with flag 592438/5623853 1495.20/1469.35 c cleaning 17995 clauses out of 36011 with flag 676399/5642851 1500.10/1474.17 c cleaning 19002 clauses out of 38016 with flag 757570/5662851 1505.86/1479.76 c cleaning 19996 clauses out of 40014 with flag 848401/5683851 1512.82/1486.57 c cleaning 20998 clauses out of 42018 with flag 967831/5705851 1519.99/1493.56 c cleaning 22004 clauses out of 44020 with flag 1081611/5728851 1527.93/1501.26 c cleaning 23008 clauses out of 46016 with flag 1226097/5752851 1536.20/1509.32 c cleaning 23996 clauses out of 48008 with flag 1370987/5777851 1544.41/1517.42 c cleaning 25000 clauses out of 50013 with flag 1515493/5803852 1553.90/1526.80 c cleaning 25999 clauses out of 52014 with flag 1675393/5830853 1562.13/1534.82 c cleaning 27007 clauses out of 54019 with flag 1830511/5858857 1568.16/1540.88 c cleaning 28001 clauses out of 56007 with flag 1957817/5887852 1574.72/1547.31 c cleaning 28997 clauses out of 58005 with flag 2078119/5917851 1581.73/1554.28 c cleaning 29996 clauses out of 60009 with flag 2206611/5948852 1592.00/1564.31 c cleaning 30997 clauses out of 62012 with flag 2379673/5980851 1601.35/1573.50 c cleaning 31989 clauses out of 64015 with flag 2551212/6013851 1612.87/1584.84 c cleaning 33004 clauses out of 66027 with flag 2768560/6047852 1625.07/1596.78 c cleaning 33998 clauses out of 68023 with flag 2999587/6082852 1638.84/1610.15 c cleaning 34992 clauses out of 70024 with flag 3252407/6118851 1654.82/1625.78 c cleaning 36004 clauses out of 72033 with flag 3550178/6155852 1669.82/1640.47 c cleaning 37007 clauses out of 74029 with flag 3846885/6193852 1680.92/1651.23 c Got one! Elapsed wall clock time (in seconds):1651.103 1680.92/1651.23 o 2546 1682.71/1653.01 c cleaning 36202 clauses out of 72426 with flag 30872/6229256 1684.51/1654.88 c cleaning 21106 clauses out of 42224 with flag 71356/6235256 1686.51/1656.84 c cleaning 14037 clauses out of 28119 with flag 108312/6242257 1688.66/1658.96 c cleaning 11026 clauses out of 22082 with flag 148228/6250257 1691.05/1661.39 c cleaning 10010 clauses out of 20057 with flag 190280/6259258 1694.22/1664.45 c cleaning 9993 clauses out of 20045 with flag 237680/6269256 1697.31/1667.54 c cleaning 10523 clauses out of 21053 with flag 286647/6280257 1700.37/1670.58 c cleaning 11261 clauses out of 22530 with flag 338966/6292257 1704.25/1674.49 c cleaning 12130 clauses out of 24268 with flag 414307/6305256 1708.80/1678.91 c cleaning 13068 clauses out of 26139 with flag 507930/6319257 1713.14/1683.28 c cleaning 14031 clauses out of 28070 with flag 596118/6334256 1717.60/1687.65 c cleaning 15014 clauses out of 30041 with flag 677141/6350258 1722.05/1692.00 c cleaning 16008 clauses out of 32027 with flag 762353/6367258 1723.65/1693.62 c Got one! Elapsed wall clock time (in seconds):1693.497 1723.65/1693.62 o 2544 1724.95/1694.93 c cleaning 14577 clauses out of 29173 with flag 21139/6380412 1726.05/1696.08 c cleaning 10280 clauses out of 20597 with flag 46902/6386413 1727.48/1697.44 c cleaning 8219 clauses out of 17316 with flag 69837/6393412 1728.87/1698.85 c cleaning 8012 clauses out of 17097 with flag 92522/6401412 1731.28/1701.20 c cleaning 9002 clauses out of 18085 with flag 127490/6410412 1734.28/1704.23 c cleaning 9534 clauses out of 19084 with flag 170150/6420413 1737.11/1707.05 c cleaning 10265 clauses out of 20550 with flag 209753/6431413 1740.11/1710.09 c cleaning 11133 clauses out of 22284 with flag 262635/6443412 1743.93/1713.83 c cleaning 12068 clauses out of 24152 with flag 329300/6456413 1747.58/1717.49 c cleaning 13032 clauses out of 26083 with flag 388611/6470412 1750.99/1720.85 c cleaning 14026 clauses out of 28051 with flag 446369/6485412 1755.42/1725.21 c cleaning 15006 clauses out of 30025 with flag 518123/6501412 1760.46/1730.30 c cleaning 15997 clauses out of 32019 with flag 605596/6518412 1766.90/1736.54 c cleaning 17004 clauses out of 34022 with flag 698442/6536412 1771.12/1740.73 c cleaning 18003 clauses out of 36018 with flag 766402/6555412 1776.72/1746.27 c cleaning 18997 clauses out of 38015 with flag 846580/6575412 1783.19/1752.67 c cleaning 20005 clauses out of 40020 with flag 950468/6596414 1789.71/1759.09 c cleaning 21006 clauses out of 42013 with flag 1055557/6618412 1796.26/1765.41 c cleaning 22003 clauses out of 44007 with flag 1159866/6641412 1800.07/1769.20 c starts : 8063 1800.07/1769.20 c conflicts : 6656830 1800.07/1769.20 c decisions : 19138196 1800.07/1769.20 c propagations : 1872984856 1800.07/1769.20 c inspects : 8404124209 1800.07/1769.20 c shortcuts : 0 1800.07/1769.20 c learnt literals : 2 1800.07/1769.20 c learnt binary clauses : 122 1800.07/1769.20 c learnt ternary clauses : 223 1800.07/1769.20 c learnt constraints : 6656827 1800.07/1769.20 c ignored constraints : 0 1800.07/1769.20 c root simplifications : 0 1800.07/1769.20 c removed literals (reason simplification) : 0 1800.07/1769.20 c reason swapping (by a shorter reason) : 0 1800.07/1769.20 c Calls to reduceDB : 542 1800.07/1769.20 c Number of update (reduction) of LBD : 1810589 1800.07/1769.20 c Imported unit clauses : 0 1800.07/1769.20 c number of reductions to clauses (during analyze) : 0 1800.07/1769.20 c number of learned constraints concerned by reduction : 0 1800.07/1769.20 c number of learning phase by resolution : 0 1800.07/1769.20 c number of learning phase by cutting planes : 0 1800.07/1769.20 c speed (assignments/second) : 1058909.2163160404 1800.07/1769.20 c non guided choices 1212 1800.07/1769.22 c learnt constraints type 1800.07/1769.22 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 122 1800.07/1769.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37300 1800.07/1769.22 s SATISFIABLE 1800.07/1769.22 c Found 57 solution(s) 1800.07/1769.22 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 -xc timeout 1800.07/1769.24 637 -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 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 x6661 -x6662 x6663 x6664 -x6665 -x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 x6743 -x6744 x6745 x6746 x6747 x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 -x7001 x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 x7176 x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1800.07/1769.24 c objective function=2544 1800.07/1769.24 c Total wall clock time (in seconds): 1769.117
FAILED ERROR: unsatisfied constraint on line 429 0=1 Falsified constraint is: +1*x1[=0] +1*x3094[=0] +1*x5840[=0] +1*x22[=0] +1*x97[=0] +1*x115[=0] +1*x188[=0] +1*x298[=0] +1*x310[=0] +1*x330[=0] = 1
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4099804-1466207894/watcher-4099804-1466207894 -o /tmp/evaluation-result-4099804-1466207894/solver-4099804-1466207894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099804-1466207894.opb pid=12607 running on 4 cores: 1,3,5,7 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.19 2.20 1.91 4/194 12610 /proc/meminfo: memFree=29987480/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/12610/stat : 12610 (java) D 12607 12610 10680 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 22835115 9515008 175 33554432000 1073741824 1073778376 140733972204000 140733972186728 248790205328 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/12610/statm: 2323 175 133 9 0 71 0 [startup+0.100093 s] /proc/loadavg: 2.19 2.20 1.91 4/194 12610 /proc/meminfo: memFree=29987480/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 3958 0 1 0 6 1 0 0 20 0 18 0 22835115 9787879424 5089 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2389619 5089 2017 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200352 s] /proc/loadavg: 2.19 2.20 1.91 4/194 12610 /proc/meminfo: memFree=29987480/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 4866 0 1 0 23 1 0 0 20 0 18 0 22835115 9787879424 6904 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2389619 6904 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300248 s] /proc/loadavg: 2.19 2.20 1.91 4/194 12610 /proc/meminfo: memFree=29987480/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 7056 0 1 0 48 2 0 0 20 0 18 0 22835115 9787879424 10102 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2389619 10102 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700302 s] /proc/loadavg: 2.19 2.20 1.91 4/194 12610 /proc/meminfo: memFree=29987480/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=1.51 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 12690 0 1 0 147 4 0 0 20 0 19 0 22835115 9856040960 18502 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 18502 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.19 2.20 1.91 4/213 12629 /proc/meminfo: memFree=29894860/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=2.37 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 12759 0 1 0 233 4 0 0 20 0 19 0 22835115 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 31855 2272 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 2446 0 1 0 142 3 0 0 20 0 19 0 22835116 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214298016200 140214123126344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 44 0 0 0 20 0 19 0 22835122 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) R 12607 12610 10680 0 -1 4202560 4704 0 0 0 44 0 0 0 20 0 19 0 22835122 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214116773928 140214300524285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 31855 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 9625040 [startup+3.10092 s] /proc/loadavg: 2.19 2.20 1.91 4/213 12629 /proc/meminfo: memFree=29818580/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=4.08 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 12866 0 1 0 402 6 0 0 20 0 19 0 22835115 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 44163 2286 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 2469 0 1 0 300 4 0 0 20 0 19 0 22835116 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214298018296 140214123745681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 47 0 0 0 20 0 19 0 22835122 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4750 0 0 0 49 0 0 0 20 0 19 0 22835122 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 44163 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.08 Current children cumulated vsize (KiB) 9625040 [startup+6.30093 s] /proc/loadavg: 2.17 2.20 1.91 3/213 12629 /proc/meminfo: memFree=29806680/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=7.4 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 12904 0 1 0 732 8 0 0 20 0 19 0 22835115 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 49185 2286 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=6.21 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 2473 0 1 0 617 4 0 0 20 0 19 0 22835116 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214298017096 140214123786647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22835118 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.49 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 49 0 0 0 20 0 19 0 22835122 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4750 0 0 0 52 0 0 0 20 0 19 0 22835122 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 49185 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.4 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 56 0 0 0 20 0 19 0 22835122 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4759 0 0 0 72 0 0 0 20 0 19 0 22835122 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0.5 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 93 0 0 0 23 27 0 0 20 0 19 0 22835122 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 206396 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1630.82 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.18 2.18 2.14 4/213 12759 /proc/meminfo: memFree=25901364/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=1692.05 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 44370 0 1 0 168737 468 0 0 20 0 19 0 22835115 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 281144 2295 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=1647.48 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 3281 0 1 0 164713 35 0 0 20 0 19 0 22835116 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214298009296 140214124059265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=5.26 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 3195 0 0 0 467 59 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=5.22 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 4449 0 0 0 469 53 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=5.08 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 3401 0 0 0 452 56 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=4.93 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 3002 0 0 0 444 49 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=5.2 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 2871 0 0 0 463 57 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=5.09 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 3729 0 0 0 453 56 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=5.03 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 3605 0 0 0 454 49 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=4.9 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3113 0 0 0 444 46 0 0 20 0 19 0 22835118 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=2.68 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 3276 0 0 0 255 13 0 0 20 0 19 0 22835119 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 56 0 0 0 20 0 19 0 22835122 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4759 0 0 0 72 0 0 0 20 0 19 0 22835122 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 95 0 0 0 24 28 0 0 20 0 19 0 22835122 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 281144 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1692.05 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.21 2.18 2.14 3/213 12760 /proc/meminfo: memFree=26067916/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=1752.49 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 44414 0 1 0 174778 471 0 0 20 0 19 0 22835115 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 233669 2295 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=1707.28 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 3293 0 1 0 170693 35 0 0 20 0 19 0 22835116 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214298009296 140214123849058 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=5.33 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 3196 0 0 0 474 59 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=5.29 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 4450 0 0 0 476 53 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=5.16 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 3402 0 0 0 460 56 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=5 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 3006 0 0 0 450 50 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=5.3 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 2875 0 0 0 473 57 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=5.16 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 3733 0 0 0 460 56 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=5.1 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 3606 0 0 0 461 49 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=5.01 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3121 0 0 0 455 46 0 0 20 0 19 0 22835118 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=2.69 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 3280 0 0 0 255 14 0 0 20 0 19 0 22835119 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 56 0 0 0 20 0 19 0 22835122 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4759 0 0 0 72 0 0 0 20 0 19 0 22835122 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0.54 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 99 0 0 0 25 29 0 0 20 0 19 0 22835122 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 233669 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1752.49 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1769.2 s] /proc/loadavg: 2.70 2.28 2.17 3/213 12762 /proc/meminfo: memFree=26275228/32872528 swapFree=1402776/1580604 [pid=12610] ppid=12607 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7 /proc/12610/stat : 12610 (java) S 12607 12610 10680 0 -1 4202496 44544 0 1 0 179529 478 0 0 20 0 19 0 22835115 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140733772734608 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/12610/statm: 2406260 190472 2295 9 0 2396937 0 [pid=12610/tid=12612] ppid=12607 vsize=9625040 CPUtime=1753.84 cores=1,3,5,7 /proc/12610/task/12612/stat : 12612 (java) R 12607 12610 10680 0 -1 4202560 3308 0 1 0 175347 37 0 0 20 0 19 0 22835116 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214298017008 140214123878502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12613] ppid=12607 vsize=9625040 CPUtime=5.47 cores=1,3,5,7 /proc/12610/task/12613/stat : 12613 (java) S 12607 12610 10680 0 -1 4202560 3228 0 0 0 487 60 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214259510056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12614] ppid=12607 vsize=9625040 CPUtime=5.44 cores=1,3,5,7 /proc/12610/task/12614/stat : 12614 (java) S 12607 12610 10680 0 -1 4202560 4464 0 0 0 490 54 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214258457256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12615] ppid=12607 vsize=9625040 CPUtime=5.25 cores=1,3,5,7 /proc/12610/task/12615/stat : 12615 (java) S 12607 12610 10680 0 -1 4202560 3409 0 0 0 469 56 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214257404968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12616] ppid=12607 vsize=9625040 CPUtime=5.08 cores=1,3,5,7 /proc/12610/task/12616/stat : 12616 (java) S 12607 12610 10680 0 -1 4202560 3012 0 0 0 458 50 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214256352168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12617] ppid=12607 vsize=9625040 CPUtime=5.44 cores=1,3,5,7 /proc/12610/task/12617/stat : 12617 (java) S 12607 12610 10680 0 -1 4202560 2890 0 0 0 486 58 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214255298856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12610/tid=12618] ppid=12607 vsize=9625040 CPUtime=5.26 cores=1,3,5,7 /proc/12610/task/12618/stat : 12618 (java) S 12607 12610 10680 0 -1 4202560 3744 0 0 0 469 57 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214254246056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12619] ppid=12607 vsize=9625040 CPUtime=5.23 cores=1,3,5,7 /proc/12610/task/12619/stat : 12619 (java) S 12607 12610 10680 0 -1 4202560 3620 0 0 0 473 50 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214253193768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12620] ppid=12607 vsize=9625040 CPUtime=5.12 cores=1,3,5,7 /proc/12610/task/12620/stat : 12620 (java) S 12607 12610 10680 0 -1 4202560 3130 0 0 0 465 47 0 0 20 0 19 0 22835118 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214252140968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12621] ppid=12607 vsize=9625040 CPUtime=2.77 cores=1,3,5,7 /proc/12610/task/12621/stat : 12621 (java) S 12607 12610 10680 0 -1 4202560 3285 0 0 0 263 14 0 0 20 0 19 0 22835119 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214122044136 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12622] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12622/stat : 12622 (java) S 12607 12610 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214120990200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=12610/tid=12623] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12623/stat : 12623 (java) S 12607 12610 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22835119 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214119937800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12624] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12624/stat : 12624 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214118886288 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12625] ppid=12607 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/12610/task/12625/stat : 12625 (java) S 12607 12610 10680 0 -1 4202560 4331 0 0 0 56 0 0 0 20 0 19 0 22835122 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214117832888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=12610/tid=12626] ppid=12607 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/12610/task/12626/stat : 12626 (java) S 12607 12610 10680 0 -1 4202560 4759 0 0 0 72 0 0 0 20 0 19 0 22835122 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214116780088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12627] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12627/stat : 12627 (java) S 12607 12610 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22835122 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214115727992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12628] ppid=12607 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/12610/task/12628/stat : 12628 (java) S 12607 12610 10680 0 -1 4202560 101 0 0 0 26 30 0 0 20 0 19 0 22835122 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214114675400 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=12610/tid=12629] ppid=12607 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/12610/task/12629/stat : 12629 (java) S 12607 12610 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 22835157 9856040960 190472 33554432000 1073741824 1073778376 140733772743472 140214113621416 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12610 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1769.25 CPU time (s): 1801.09 CPU user time (s): 1795.81 CPU system time (s): 5.2822 CPU usage (%): 101.8 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.81 system time used= 5.2822 maximum resident set size= 1124624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44581 page faults= 1 swaps= 0 block input operations= 72 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60832 involuntary context switches= 75858 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1921 second user time and 12.1542 second system time The end
Begin job on node139 at 2016-06-18 01:58:14 IDJOB=4099804 IDBENCH=1525 IDSOLVER=2546 FILE ID=node139/4099804-1466207894 RUNJOBID= node139-1466206053-10697 PBS_JOBID= 19918138 Free space on /tmp= 71596 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099804-1466207894/watcher-4099804-1466207894 -o /tmp/evaluation-result-4099804-1466207894/solver-4099804-1466207894 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099804-1466207894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612 RANDOM SEED=675729372 node139.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.500 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 : 5333.00 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.500 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 : 5332.55 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.500 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 : 5332.55 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.500 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 : 5332.56 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.500 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 : 5332.55 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.500 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 : 5332.56 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.500 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 : 5332.55 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.500 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29987860 kB Buffers: 40300 kB Cached: 66760 kB SwapCached: 1904 kB Active: 532352 kB Inactive: 63668 kB Active(anon): 490156 kB Inactive(anon): 1416 kB Active(file): 42196 kB Inactive(file): 62252 kB Unevictable: 1580604 kB Mlocked: 1402776 kB SwapTotal: 67108856 kB SwapFree: 67099420 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 2066884 kB Mapped: 15388 kB Shmem: 0 kB Slab: 571584 kB SReclaimable: 15712 kB SUnreclaim: 555872 kB KernelStack: 1608 kB PageTables: 8504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2254660 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 649216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71588 MiB End job on node139 at 2016-06-18 02:27:43