Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 24 | 1800.19 | 1796.76 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 1797.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 12995394264 0.05/0.09 c Max memory 13063553024 0.05/0.09 c Total memory 13063553024 0.05/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3458519-1307157263.opb 0.09/0.12 c reading problem ... 0.71/0.44 c ... done. Wall clock time 0.325s. 0.71/0.44 c #vars 5499 0.71/0.44 c #constraints 19319 0.71/0.44 c constraints type 0.71/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 0.71/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.71/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1.00/0.52 c SATISFIABLE 1.00/0.52 c OPTIMIZING... 1.00/0.52 c Got one! Elapsed wall clock time (in seconds):0.402 1.00/0.52 o 27 1.00/0.54 c Got one! Elapsed wall clock time (in seconds):0.428 1.00/0.54 o 26 1.31/0.63 c Got one! Elapsed wall clock time (in seconds):0.513 1.31/0.63 o 25 2.21/1.46 c cleaning 2548 clauses out of 5107 with flag 5000/5107 3.27/2.41 c cleaning 4272 clauses out of 8559 with flag 11000/11107 4.38/3.57 c cleaning 5638 clauses out of 11287 with flag 18000/18107 5.69/4.82 c cleaning 6818 clauses out of 13651 with flag 26002/26109 7.24/6.39 c cleaning 7906 clauses out of 15831 with flag 35000/35107 8.54/7.71 c cleaning 8944 clauses out of 17925 with flag 45000/45107 10.24/9.37 c cleaning 9986 clauses out of 19981 with flag 56000/56107 11.96/11.09 c cleaning 10981 clauses out of 21995 with flag 68000/68107 14.16/13.24 c cleaning 11993 clauses out of 24014 with flag 81000/81107 16.36/15.44 c cleaning 12995 clauses out of 26023 with flag 95002/95109 18.65/17.71 c cleaning 14000 clauses out of 28031 with flag 110005/110112 21.26/20.33 c cleaning 14994 clauses out of 30027 with flag 126001/126108 24.08/23.14 c cleaning 16000 clauses out of 32032 with flag 143000/143107 27.07/26.19 c cleaning 16996 clauses out of 34032 with flag 161000/161107 30.47/29.57 c cleaning 18002 clauses out of 36036 with flag 180000/180107 33.49/32.56 c cleaning 19001 clauses out of 38036 with flag 200002/200109 36.79/35.85 c cleaning 19500 clauses out of 39033 with flag 220000/220107 39.89/38.91 c cleaning 19750 clauses out of 39533 with flag 240000/240107 43.92/42.94 c cleaning 19878 clauses out of 39784 with flag 260001/260108 47.23/46.24 c cleaning 19932 clauses out of 39907 with flag 280002/280109 50.32/49.38 c cleaning 19969 clauses out of 39973 with flag 300000/300107 54.62/53.69 c cleaning 19983 clauses out of 40004 with flag 320000/320107 57.14/56.19 c cleaning 19990 clauses out of 40021 with flag 340000/340107 60.45/59.43 c cleaning 19995 clauses out of 40033 with flag 360002/360109 63.84/62.86 c cleaning 20002 clauses out of 40038 with flag 380002/380109 67.24/66.22 c cleaning 20000 clauses out of 40035 with flag 400001/400108 69.95/68.99 c cleaning 19997 clauses out of 40036 with flag 420002/420109 73.45/72.44 c cleaning 19989 clauses out of 40037 with flag 440000/440107 76.26/75.29 c cleaning 20000 clauses out of 40048 with flag 460000/460107 78.97/77.94 c cleaning 20000 clauses out of 40049 with flag 480001/480108 83.17/82.19 c cleaning 20004 clauses out of 40048 with flag 500000/500107 87.57/86.56 c cleaning 20005 clauses out of 40045 with flag 520001/520108 90.38/89.40 c cleaning 20006 clauses out of 40040 with flag 540001/540108 92.88/91.85 c cleaning 20001 clauses out of 40034 with flag 560001/560108 95.49/94.49 c cleaning 20008 clauses out of 40033 with flag 580001/580108 98.59/97.59 c cleaning 19977 clauses out of 40024 with flag 600000/600107 101.40/100.39 c cleaning 20000 clauses out of 40047 with flag 620000/620107 104.21/103.12 c cleaning 20005 clauses out of 40048 with flag 640001/640108 106.73/105.65 c cleaning 20003 clauses out of 40042 with flag 660000/660107 109.52/108.48 c cleaning 19998 clauses out of 40040 with flag 680001/680108 112.52/111.42 c cleaning 20002 clauses out of 40044 with flag 700003/700110 115.43/114.39 c cleaning 19998 clauses out of 40039 with flag 720000/720107 118.84/117.75 c cleaning 20000 clauses out of 40042 with flag 740001/740108 122.34/121.28 c cleaning 19987 clauses out of 40041 with flag 760000/760107 127.14/126.09 c cleaning 19995 clauses out of 40054 with flag 780000/780107 130.65/129.50 c cleaning 20009 clauses out of 40059 with flag 800000/800107 133.55/132.41 c cleaning 20001 clauses out of 40050 with flag 820000/820107 136.37/135.30 c cleaning 19999 clauses out of 40050 with flag 840001/840108 139.26/138.10 c cleaning 20001 clauses out of 40052 with flag 860002/860109 142.17/141.03 c cleaning 20000 clauses out of 40050 with flag 880001/880108 145.28/144.18 c cleaning 20003 clauses out of 40052 with flag 900003/900110 148.37/147.22 c cleaning 19997 clauses out of 40047 with flag 920001/920108 151.08/149.96 c cleaning 20011 clauses out of 40049 with flag 940000/940107 154.18/153.02 c cleaning 20006 clauses out of 40039 with flag 960001/960108 156.88/155.74 c cleaning 19999 clauses out of 40034 with flag 980002/980109 159.50/158.32 c cleaning 19996 clauses out of 40033 with flag 1000000/1000107 162.09/160.91 c cleaning 20003 clauses out of 40037 with flag 1020000/1020107 166.60/165.41 c cleaning 19987 clauses out of 40034 with flag 1040000/1040107 170.81/169.69 c cleaning 19997 clauses out of 40048 with flag 1060001/1060108 174.93/173.74 c cleaning 20004 clauses out of 40051 with flag 1080001/1080108 177.64/176.49 c cleaning 19998 clauses out of 40047 with flag 1100001/1100108 180.45/179.23 c cleaning 20003 clauses out of 40051 with flag 1120003/1120110 183.25/182.08 c cleaning 19997 clauses out of 40045 with flag 1140000/1140107 186.15/184.93 c cleaning 19995 clauses out of 40050 with flag 1160002/1160109 188.96/187.76 c cleaning 20005 clauses out of 40055 with flag 1180002/1180109 192.36/191.16 c cleaning 19992 clauses out of 40052 with flag 1200004/1200111 196.09/194.83 c cleaning 19998 clauses out of 40056 with flag 1220000/1220107 199.40/198.18 c cleaning 20010 clauses out of 40059 with flag 1240001/1240108 202.80/201.57 c cleaning 19991 clauses out of 40050 with flag 1260002/1260109 206.01/204.73 c cleaning 19996 clauses out of 40057 with flag 1280000/1280107 209.31/208.01 c cleaning 20000 clauses out of 40061 with flag 1300000/1300107 212.92/211.64 c cleaning 19998 clauses out of 40062 with flag 1320001/1320108 216.02/214.70 c cleaning 20003 clauses out of 40063 with flag 1340000/1340107 218.93/217.68 c cleaning 20007 clauses out of 40060 with flag 1360000/1360107 222.54/221.21 c cleaning 20010 clauses out of 40054 with flag 1380001/1380108 226.04/224.72 c cleaning 19992 clauses out of 40044 with flag 1400001/1400108 229.25/227.90 c cleaning 20004 clauses out of 40052 with flag 1420001/1420108 232.65/231.38 c cleaning 20002 clauses out of 40047 with flag 1440000/1440107 236.16/234.83 c cleaning 20005 clauses out of 40045 with flag 1460000/1460107 240.36/239.09 c cleaning 20005 clauses out of 40040 with flag 1480000/1480107 244.77/243.43 c cleaning 20003 clauses out of 40035 with flag 1500000/1500107 249.57/248.27 c cleaning 19994 clauses out of 40033 with flag 1520001/1520108 252.28/250.98 c cleaning 20000 clauses out of 40042 with flag 1540004/1540111 254.78/253.47 c cleaning 19995 clauses out of 40038 with flag 1560000/1560107 256.99/255.67 c cleaning 20002 clauses out of 40044 with flag 1580001/1580108 259.39/258.07 c cleaning 20000 clauses out of 40041 with flag 1600000/1600107 261.79/260.40 c cleaning 20002 clauses out of 40042 with flag 1620001/1620108 265.09/263.73 c cleaning 20004 clauses out of 40039 with flag 1640000/1640107 268.61/267.25 c cleaning 20003 clauses out of 40035 with flag 1660000/1660107 272.81/271.46 c cleaning 20005 clauses out of 40033 with flag 1680001/1680108 276.22/274.91 c cleaning 19995 clauses out of 40028 with flag 1700001/1700108 279.73/278.33 c cleaning 20005 clauses out of 40035 with flag 1720003/1720110 283.22/281.82 c cleaning 20002 clauses out of 40028 with flag 1740001/1740108 286.73/285.37 c cleaning 20004 clauses out of 40026 with flag 1760001/1760108 289.54/288.18 c cleaning 19993 clauses out of 40021 with flag 1780000/1780107 292.24/290.86 c cleaning 20000 clauses out of 40029 with flag 1800001/1800108 294.84/293.41 c cleaning 19997 clauses out of 40029 with flag 1820001/1820108 297.44/296.05 c cleaning 19998 clauses out of 40031 with flag 1840000/1840107 300.25/298.85 c cleaning 19998 clauses out of 40034 with flag 1860001/1860108 302.95/301.55 c cleaning 20002 clauses out of 40036 with flag 1880001/1880108 305.75/304.31 c cleaning 19997 clauses out of 40034 with flag 1900001/1900108 308.46/307.03 c cleaning 19997 clauses out of 40036 with flag 1920000/1920107 311.06/309.65 c cleaning 20003 clauses out of 40039 with flag 1940000/1940107 313.57/312.19 c cleaning 19997 clauses out of 40037 with flag 1960001/1960108 316.27/314.83 c cleaning 20000 clauses out of 40040 with flag 1980001/1980108 318.78/317.38 c cleaning 19994 clauses out of 40039 with flag 2000000/2000107 321.60/320.18 c cleaning 20003 clauses out of 40045 with flag 2020000/2020107 324.29/322.89 c cleaning 19990 clauses out of 40043 with flag 2040001/2040108 327.40/325.90 c cleaning 20008 clauses out of 40053 with flag 2060001/2060108 331.10/329.69 c cleaning 19998 clauses out of 40044 with flag 2080000/2080107 334.30/332.86 c cleaning 19999 clauses out of 40047 with flag 2100001/2100108 337.71/336.22 c cleaning 19998 clauses out of 40050 with flag 2120003/2120110 340.62/339.18 c cleaning 19994 clauses out of 40049 with flag 2140000/2140107 344.22/342.74 c cleaning 20003 clauses out of 40055 with flag 2160000/2160107 347.83/346.36 c cleaning 20000 clauses out of 40052 with flag 2180000/2180107 350.54/349.08 c cleaning 19999 clauses out of 40053 with flag 2200001/2200108 353.25/351.78 c cleaning 20005 clauses out of 40055 with flag 2220002/2220109 355.95/354.44 c cleaning 19998 clauses out of 40049 with flag 2240001/2240108 358.75/357.25 c cleaning 20000 clauses out of 40050 with flag 2260000/2260107 361.66/360.18 c cleaning 20006 clauses out of 40052 with flag 2280002/2280109 365.68/364.15 c cleaning 20013 clauses out of 40045 with flag 2300001/2300108 369.87/368.40 c cleaning 20002 clauses out of 40031 with flag 2320000/2320107 373.49/371.92 c cleaning 19991 clauses out of 40029 with flag 2340000/2340107 377.59/376.00 c cleaning 20000 clauses out of 40038 with flag 2360000/2360107 381.70/380.13 c cleaning 19996 clauses out of 40039 with flag 2380001/2380108 385.42/383.86 c cleaning 20000 clauses out of 40043 with flag 2400001/2400108 388.72/387.14 c cleaning 20005 clauses out of 40043 with flag 2420001/2420108 391.42/389.84 c cleaning 19999 clauses out of 40038 with flag 2440001/2440108 394.02/392.48 c cleaning 19996 clauses out of 40039 with flag 2460001/2460108 396.92/395.32 c cleaning 20000 clauses out of 40043 with flag 2480001/2480108 399.74/398.13 c cleaning 19995 clauses out of 40043 with flag 2500001/2500108 402.54/400.96 c cleaning 20002 clauses out of 40047 with flag 2520000/2520107 405.36/403.80 c cleaning 19998 clauses out of 40047 with flag 2540002/2540109 408.15/406.58 c cleaning 20002 clauses out of 40049 with flag 2560002/2560109 410.76/409.15 c cleaning 19997 clauses out of 40046 with flag 2580001/2580108 413.36/411.72 c cleaning 19997 clauses out of 40050 with flag 2600002/2600109 415.96/414.31 c cleaning 20003 clauses out of 40053 with flag 2620002/2620109 418.66/417.03 c cleaning 20001 clauses out of 40048 with flag 2640000/2640107 421.17/419.59 c cleaning 19999 clauses out of 40049 with flag 2660002/2660109 424.97/423.33 c cleaning 19988 clauses out of 40051 with flag 2680003/2680110 428.78/427.17 c cleaning 19988 clauses out of 40063 with flag 2700003/2700110 432.58/430.92 c cleaning 20019 clauses out of 40075 with flag 2720003/2720110 435.99/434.35 c cleaning 20001 clauses out of 40053 with flag 2740000/2740107 440.39/438.73 c cleaning 19998 clauses out of 40053 with flag 2760001/2760108 444.69/443.00 c cleaning 20013 clauses out of 40054 with flag 2780000/2780107 449.31/447.66 c cleaning 19993 clauses out of 40042 with flag 2800001/2800108 453.50/451.81 c cleaning 19995 clauses out of 40049 with flag 2820001/2820108 457.91/456.25 c cleaning 20007 clauses out of 40053 with flag 2840000/2840107 462.12/460.48 c cleaning 19997 clauses out of 40047 with flag 2860001/2860108 466.72/465.04 c cleaning 20000 clauses out of 40052 with flag 2880003/2880110 471.03/469.36 c cleaning 20011 clauses out of 40051 with flag 2900002/2900109 475.54/473.88 c cleaning 20004 clauses out of 40042 with flag 2920004/2920111 479.74/478.08 c cleaning 19990 clauses out of 40034 with flag 2940000/2940107 484.04/482.36 c cleaning 19999 clauses out of 40044 with flag 2960000/2960107 488.65/486.93 c cleaning 20004 clauses out of 40045 with flag 2980000/2980107 492.26/490.56 c cleaning 19997 clauses out of 40041 with flag 3000000/3000107 495.76/494.04 c cleaning 20001 clauses out of 40047 with flag 3020003/3020110 498.87/497.19 c cleaning 19995 clauses out of 40044 with flag 3040001/3040108 502.07/500.35 c cleaning 20004 clauses out of 40048 with flag 3060000/3060107 503.97/502.27 c Got one! Elapsed wall clock time (in seconds):502.157 503.97/502.27 o 24 505.27/503.56 c cleaning 20250 clauses out of 40514 with flag 5001/3080577 507.08/505.37 c cleaning 13122 clauses out of 26263 with flag 11000/3086576 508.68/507.01 c cleaning 10059 clauses out of 20141 with flag 18000/3093576 510.69/508.99 c cleaning 9032 clauses out of 18083 with flag 26001/3101577 512.99/511.25 c cleaning 9007 clauses out of 18051 with flag 35001/3110577 515.29/513.54 c cleaning 9505 clauses out of 19043 with flag 45000/3120576 516.61/514.82 c cleaning 10254 clauses out of 20540 with flag 56002/3131578 518.10/516.33 c cleaning 11123 clauses out of 22285 with flag 68001/3143577 519.81/518.04 c cleaning 12062 clauses out of 24161 with flag 81000/3156576 521.71/519.93 c cleaning 13029 clauses out of 26100 with flag 95001/3170577 523.52/521.72 c cleaning 14019 clauses out of 28071 with flag 110001/3185577 526.72/524.93 c cleaning 15014 clauses out of 30052 with flag 126001/3201577 529.23/527.47 c cleaning 16008 clauses out of 32038 with flag 143001/3218577 532.33/530.58 c cleaning 17001 clauses out of 34030 with flag 161001/3236577 535.74/533.95 c cleaning 18004 clauses out of 36031 with flag 180003/3255579 539.76/537.99 c cleaning 19000 clauses out of 38025 with flag 200001/3275577 542.64/540.83 c cleaning 19495 clauses out of 39024 with flag 220000/3295576 545.45/543.62 c cleaning 19748 clauses out of 39530 with flag 240001/3315577 548.05/546.24 c cleaning 19875 clauses out of 39781 with flag 260000/3335576 550.45/548.68 c cleaning 19936 clauses out of 39906 with flag 280000/3355576 552.97/551.15 c cleaning 19971 clauses out of 39971 with flag 300001/3375577 555.46/553.61 c cleaning 19982 clauses out of 40002 with flag 320003/3395579 557.97/556.14 c cleaning 19990 clauses out of 40017 with flag 340000/3415576 560.97/559.12 c cleaning 19997 clauses out of 40028 with flag 360001/3435577 565.28/563.46 c cleaning 20002 clauses out of 40031 with flag 380001/3455577 570.08/568.22 c cleaning 19996 clauses out of 40028 with flag 400000/3475576 574.59/572.77 c cleaning 19995 clauses out of 40032 with flag 420000/3495576 579.60/577.73 c cleaning 19983 clauses out of 40037 with flag 440000/3515576 585.00/583.18 c cleaning 20005 clauses out of 40054 with flag 460000/3535576 589.81/587.96 c cleaning 20005 clauses out of 40050 with flag 480001/3555577 594.51/592.64 c cleaning 20001 clauses out of 40045 with flag 500001/3575577 600.12/598.21 c cleaning 20009 clauses out of 40055 with flag 520012/3595588 604.64/602.77 c cleaning 19996 clauses out of 40037 with flag 540003/3615579 609.24/607.37 c cleaning 19984 clauses out of 40040 with flag 560002/3635578 614.14/612.25 c cleaning 20007 clauses out of 40054 with flag 580000/3655576 616.54/614.64 c cleaning 20001 clauses out of 40048 with flag 600001/3675577 619.06/617.17 c cleaning 20002 clauses out of 40046 with flag 620000/3695576 621.35/619.46 c cleaning 20001 clauses out of 40046 with flag 640002/3715578 623.66/621.78 c cleaning 19998 clauses out of 40046 with flag 660003/3735579 626.06/624.10 c cleaning 20004 clauses out of 40047 with flag 680002/3755578 628.26/626.37 c cleaning 20001 clauses out of 40042 with flag 700001/3775577 630.67/628.78 c cleaning 19994 clauses out of 40040 with flag 720000/3795576 633.07/631.12 c cleaning 20000 clauses out of 40046 with flag 740000/3815576 635.38/633.42 c cleaning 20002 clauses out of 40046 with flag 760000/3835576 637.80/635.83 c cleaning 20001 clauses out of 40045 with flag 780001/3855577 640.09/638.18 c cleaning 20003 clauses out of 40046 with flag 800003/3875579 642.49/640.51 c cleaning 19997 clauses out of 40040 with flag 820000/3895576 644.80/642.88 c cleaning 20001 clauses out of 40044 with flag 840001/3915577 647.20/645.24 c cleaning 20001 clauses out of 40044 with flag 860002/3935578 649.60/647.61 c cleaning 19999 clauses out of 40042 with flag 880001/3955577 652.01/650.07 c cleaning 19999 clauses out of 40043 with flag 900001/3975577 655.20/653.24 c cleaning 20002 clauses out of 40044 with flag 920001/3995577 659.21/657.21 c cleaning 20004 clauses out of 40041 with flag 940000/4015576 663.13/661.12 c cleaning 19992 clauses out of 40042 with flag 960005/4035581 667.43/665.49 c cleaning 20000 clauses out of 40045 with flag 980000/4055576 671.63/669.62 c cleaning 20001 clauses out of 40046 with flag 1000001/4075577 676.03/674.09 c cleaning 19996 clauses out of 40047 with flag 1020003/4095579 680.34/678.33 c cleaning 20002 clauses out of 40049 with flag 1040001/4115577 684.44/682.49 c cleaning 19985 clauses out of 40047 with flag 1060001/4135577 688.85/686.88 c cleaning 20003 clauses out of 40061 with flag 1080000/4155576 693.76/691.74 c cleaning 20005 clauses out of 40060 with flag 1100002/4175578 698.27/696.25 c cleaning 19966 clauses out of 40053 with flag 1120000/4195576 702.37/700.35 c cleaning 20012 clauses out of 40088 with flag 1140001/4215577 706.48/704.48 c cleaning 20006 clauses out of 40075 with flag 1160000/4235576 711.08/709.05 c cleaning 20010 clauses out of 40069 with flag 1180000/4255576 715.68/713.65 c cleaning 20005 clauses out of 40060 with flag 1200001/4275577 719.69/717.69 c cleaning 19971 clauses out of 40054 with flag 1220000/4295576 724.29/722.22 c cleaning 20014 clauses out of 40084 with flag 1240001/4315577 729.00/726.92 c cleaning 20014 clauses out of 40073 with flag 1260004/4335580 733.51/731.49 c cleaning 19998 clauses out of 40058 with flag 1280003/4355579 737.81/735.71 c cleaning 20001 clauses out of 40059 with flag 1300002/4375578 742.01/739.98 c cleaning 19993 clauses out of 40056 with flag 1320000/4395576 746.92/744.87 c cleaning 19998 clauses out of 40065 with flag 1340002/4415578 751.72/749.68 c cleaning 19979 clauses out of 40065 with flag 1360000/4435576 756.53/754.41 c cleaning 20011 clauses out of 40086 with flag 1380000/4455576 760.84/758.72 c cleaning 20001 clauses out of 40075 with flag 1400000/4475576 764.46/762.33 c cleaning 19993 clauses out of 40074 with flag 1420000/4495576 767.85/765.78 c cleaning 20015 clauses out of 40081 with flag 1440000/4515576 770.76/768.61 c cleaning 20017 clauses out of 40066 with flag 1460000/4535576 773.87/771.80 c cleaning 20003 clauses out of 40049 with flag 1480000/4555576 777.97/775.85 c cleaning 19982 clauses out of 40046 with flag 1500000/4575576 780.38/778.29 c cleaning 19990 clauses out of 40064 with flag 1520000/4595576 782.98/780.89 c cleaning 20012 clauses out of 40076 with flag 1540002/4615578 786.78/784.66 c cleaning 20015 clauses out of 40066 with flag 1560004/4635580 790.80/788.64 c cleaning 20005 clauses out of 40047 with flag 1580000/4655576 795.32/793.14 c cleaning 20003 clauses out of 40042 with flag 1600000/4675576 798.31/796.14 c cleaning 20006 clauses out of 40039 with flag 1620000/4695576 800.83/798.65 c cleaning 20003 clauses out of 40035 with flag 1640002/4715578 803.42/801.22 c cleaning 19996 clauses out of 40031 with flag 1660001/4735577 805.82/803.67 c cleaning 19998 clauses out of 40035 with flag 1680001/4755577 808.43/806.23 c cleaning 19998 clauses out of 40036 with flag 1700000/4775576 812.13/809.96 c cleaning 19994 clauses out of 40039 with flag 1720001/4795577 816.25/814.06 c cleaning 19998 clauses out of 40045 with flag 1740001/4815577 820.04/817.86 c cleaning 20003 clauses out of 40046 with flag 1760000/4835576 823.24/821.06 c cleaning 20003 clauses out of 40043 with flag 1780000/4855576 826.65/824.43 c cleaning 19999 clauses out of 40043 with flag 1800003/4875579 830.05/827.89 c cleaning 20007 clauses out of 40041 with flag 1820000/4895576 834.06/831.83 c cleaning 19995 clauses out of 40035 with flag 1840001/4915577 836.87/834.62 c cleaning 20001 clauses out of 40042 with flag 1860003/4935579 839.17/837.00 c cleaning 20002 clauses out of 40039 with flag 1880001/4955577 841.59/839.39 c cleaning 19997 clauses out of 40036 with flag 1900000/4975576 844.08/841.80 c cleaning 20006 clauses out of 40039 with flag 1920000/4995576 846.39/844.13 c cleaning 19997 clauses out of 40033 with flag 1940000/5015576 848.59/846.35 c cleaning 19996 clauses out of 40038 with flag 1960002/5035578 850.89/848.66 c cleaning 20004 clauses out of 40040 with flag 1980000/5055576 853.19/850.91 c cleaning 20005 clauses out of 40038 with flag 2000002/5075578 855.49/853.27 c cleaning 19993 clauses out of 40031 with flag 2020000/5095576 857.80/855.53 c cleaning 19998 clauses out of 40040 with flag 2040002/5115578 860.10/857.81 c cleaning 20006 clauses out of 40041 with flag 2060001/5135577 862.71/860.46 c cleaning 20000 clauses out of 40036 with flag 2080002/5155578 867.31/865.08 c cleaning 20000 clauses out of 40035 with flag 2100001/5175577 870.91/868.67 c cleaning 19995 clauses out of 40036 with flag 2120002/5195578 874.42/872.12 c cleaning 19994 clauses out of 40039 with flag 2140000/5215576 877.72/875.47 c cleaning 19988 clauses out of 40045 with flag 2160000/5235576 881.43/879.13 c cleaning 20003 clauses out of 40057 with flag 2180000/5255576 885.33/883.00 c cleaning 20006 clauses out of 40055 with flag 2200001/5275577 889.43/887.11 c cleaning 19992 clauses out of 40048 with flag 2220000/5295576 892.84/890.55 c cleaning 20006 clauses out of 40056 with flag 2240000/5315576 896.94/894.65 c cleaning 20002 clauses out of 40051 with flag 2260001/5335577 900.85/898.59 c cleaning 20006 clauses out of 40051 with flag 2280003/5355579 904.65/902.36 c cleaning 19997 clauses out of 40044 with flag 2300002/5375578 908.78/906.43 c cleaning 20000 clauses out of 40046 with flag 2320001/5395577 912.86/910.54 c cleaning 20004 clauses out of 40045 with flag 2340000/5415576 917.07/914.77 c cleaning 19996 clauses out of 40041 with flag 2360000/5435576 921.27/918.95 c cleaning 20005 clauses out of 40045 with flag 2380000/5455576 924.87/922.60 c cleaning 20001 clauses out of 40042 with flag 2400002/5475578 927.68/925.33 c cleaning 19998 clauses out of 40039 with flag 2420000/5495576 929.98/927.63 c cleaning 19998 clauses out of 40044 with flag 2440003/5515579 932.58/930.20 c cleaning 20000 clauses out of 40044 with flag 2460001/5535577 935.29/932.96 c cleaning 20004 clauses out of 40044 with flag 2480001/5555577 937.99/935.66 c cleaning 19998 clauses out of 40039 with flag 2500000/5575576 940.49/938.20 c cleaning 19999 clauses out of 40042 with flag 2520001/5595577 943.29/940.95 c cleaning 19999 clauses out of 40042 with flag 2540000/5615576 945.79/943.47 c cleaning 20000 clauses out of 40043 with flag 2560000/5635576 948.49/946.16 c cleaning 19999 clauses out of 40043 with flag 2580000/5655576 951.10/948.77 c cleaning 19998 clauses out of 40044 with flag 2600000/5675576 953.50/951.10 c cleaning 19998 clauses out of 40047 with flag 2620001/5695577 955.70/953.37 c cleaning 20006 clauses out of 40048 with flag 2640000/5715576 958.10/955.77 c cleaning 20006 clauses out of 40043 with flag 2660001/5735577 960.52/958.16 c cleaning 19998 clauses out of 40037 with flag 2680001/5755577 963.01/960.60 c cleaning 20004 clauses out of 40041 with flag 2700003/5775579 965.41/963.00 c cleaning 19998 clauses out of 40034 with flag 2720000/5795576 967.81/965.49 c cleaning 19996 clauses out of 40037 with flag 2740001/5815577 970.43/968.04 c cleaning 20003 clauses out of 40042 with flag 2760002/5835578 973.22/970.82 c cleaning 19997 clauses out of 40038 with flag 2780001/5855577 975.72/973.31 c cleaning 20001 clauses out of 40040 with flag 2800000/5875576 978.22/975.87 c cleaning 19997 clauses out of 40039 with flag 2820000/5895576 980.73/978.38 c cleaning 20005 clauses out of 40044 with flag 2840002/5915578 983.43/981.06 c cleaning 20004 clauses out of 40038 with flag 2860001/5935577 986.03/983.63 c cleaning 19998 clauses out of 40033 with flag 2880000/5955576 988.63/986.21 c cleaning 19994 clauses out of 40036 with flag 2900001/5975577 992.45/990.03 c cleaning 19991 clauses out of 40041 with flag 2920000/5995576 996.74/994.37 c cleaning 20001 clauses out of 40051 with flag 2940001/6015577 1001.15/998.77 c cleaning 19998 clauses out of 40049 with flag 2960000/6035576 1005.95/1003.55 c cleaning 20008 clauses out of 40051 with flag 2980000/6055576 1010.96/1008.52 c cleaning 20007 clauses out of 40043 with flag 3000000/6075576 1015.16/1012.74 c cleaning 20006 clauses out of 40036 with flag 3020000/6095576 1019.67/1017.21 c cleaning 19988 clauses out of 40032 with flag 3040002/6115578 1024.28/1021.85 c cleaning 20005 clauses out of 40043 with flag 3060001/6135577 1028.58/1026.16 c cleaning 19991 clauses out of 40037 with flag 3080000/6155576 1032.88/1030.50 c cleaning 20017 clauses out of 40058 with flag 3100012/6175588 1037.69/1035.22 c cleaning 19992 clauses out of 40029 with flag 3120000/6195576 1042.01/1039.58 c cleaning 20004 clauses out of 40037 with flag 3140000/6215576 1046.90/1044.44 c cleaning 19992 clauses out of 40033 with flag 3160000/6235576 1050.91/1048.45 c cleaning 20000 clauses out of 40041 with flag 3180000/6255576 1055.23/1052.72 c cleaning 19983 clauses out of 40041 with flag 3200000/6275576 1060.12/1057.67 c cleaning 20006 clauses out of 40060 with flag 3220002/6295578 1064.82/1062.39 c cleaning 20011 clauses out of 40052 with flag 3240000/6315576 1069.54/1067.06 c cleaning 20006 clauses out of 40048 with flag 3260007/6335583 1074.33/1071.87 c cleaning 19991 clauses out of 40035 with flag 3280000/6355576 1079.13/1076.62 c cleaning 20002 clauses out of 40046 with flag 3300002/6375578 1083.64/1081.19 c cleaning 19998 clauses out of 40042 with flag 3320000/6395576 1088.15/1085.69 c cleaning 20003 clauses out of 40045 with flag 3340001/6415577 1092.74/1090.23 c cleaning 19994 clauses out of 40041 with flag 3360000/6435576 1097.65/1095.12 c cleaning 19999 clauses out of 40047 with flag 3380000/6455576 1101.75/1099.29 c cleaning 20000 clauses out of 40048 with flag 3400000/6475576 1105.87/1103.32 c cleaning 19988 clauses out of 40048 with flag 3420000/6495576 1110.36/1107.88 c cleaning 20009 clauses out of 40062 with flag 3440002/6515578 1114.76/1112.26 c cleaning 20008 clauses out of 40052 with flag 3460001/6535577 1119.36/1116.87 c cleaning 19995 clauses out of 40043 with flag 3480000/6555576 1123.97/1121.42 c cleaning 20003 clauses out of 40048 with flag 3500000/6575576 1128.47/1125.92 c cleaning 19970 clauses out of 40045 with flag 3520000/6595576 1133.28/1130.76 c cleaning 20012 clauses out of 40076 with flag 3540001/6615577 1137.88/1135.33 c cleaning 20015 clauses out of 40065 with flag 3560002/6635578 1142.58/1140.08 c cleaning 20010 clauses out of 40052 with flag 3580004/6655580 1147.79/1145.29 c cleaning 20001 clauses out of 40038 with flag 3600000/6675576 1152.39/1149.84 c cleaning 19995 clauses out of 40041 with flag 3620004/6695580 1157.29/1154.70 c cleaning 20004 clauses out of 40042 with flag 3640000/6715576 1161.60/1159.07 c cleaning 20009 clauses out of 40038 with flag 3660000/6735576 1164.60/1162.03 c cleaning 19987 clauses out of 40030 with flag 3680001/6755577 1168.01/1165.41 c cleaning 20007 clauses out of 40044 with flag 3700002/6775578 1171.93/1169.33 c cleaning 20007 clauses out of 40036 with flag 3720001/6795577 1176.34/1173.77 c cleaning 19998 clauses out of 40028 with flag 3740000/6815576 1178.83/1176.27 c cleaning 20004 clauses out of 40032 with flag 3760002/6835578 1181.24/1178.67 c cleaning 19995 clauses out of 40026 with flag 3780000/6855576 1184.74/1182.13 c cleaning 19993 clauses out of 40032 with flag 3800001/6875577 1188.35/1185.79 c cleaning 19989 clauses out of 40038 with flag 3820000/6895576 1192.65/1190.10 c cleaning 20007 clauses out of 40049 with flag 3840000/6915576 1195.85/1193.26 c cleaning 19987 clauses out of 40042 with flag 3860000/6935576 1198.66/1196.02 c cleaning 19993 clauses out of 40055 with flag 3880000/6955576 1201.26/1198.65 c cleaning 19996 clauses out of 40063 with flag 3900001/6975577 1204.16/1201.56 c cleaning 20000 clauses out of 40066 with flag 3920000/6995576 1206.87/1204.27 c cleaning 20001 clauses out of 40066 with flag 3940000/7015576 1211.08/1208.49 c cleaning 20017 clauses out of 40068 with flag 3960003/7035579 1216.48/1213.80 c cleaning 20007 clauses out of 40049 with flag 3980001/7055577 1221.18/1218.54 c cleaning 20002 clauses out of 40041 with flag 4000000/7075576 1225.69/1223.10 c cleaning 20000 clauses out of 40040 with flag 4020001/7095577 1230.68/1228.09 c cleaning 20002 clauses out of 40039 with flag 4040000/7115576 1235.89/1233.23 c cleaning 20005 clauses out of 40038 with flag 4060001/7135577 1240.89/1238.29 c cleaning 19993 clauses out of 40032 with flag 4080000/7155576 1245.50/1242.83 c cleaning 19993 clauses out of 40039 with flag 4100000/7175576 1248.20/1245.59 c cleaning 19993 clauses out of 40046 with flag 4120000/7195576 1251.00/1248.33 c cleaning 19996 clauses out of 40054 with flag 4140001/7215577 1253.61/1250.90 c cleaning 20003 clauses out of 40058 with flag 4160001/7235577 1256.11/1253.41 c cleaning 20009 clauses out of 40057 with flag 4180003/7255579 1258.61/1255.99 c cleaning 20002 clauses out of 40045 with flag 4200000/7275576 1261.22/1258.51 c cleaning 20002 clauses out of 40043 with flag 4220000/7295576 1263.62/1260.94 c cleaning 19997 clauses out of 40042 with flag 4240001/7315577 1266.02/1263.34 c cleaning 19998 clauses out of 40044 with flag 4260000/7335576 1268.43/1265.78 c cleaning 20000 clauses out of 40047 with flag 4280001/7355577 1270.83/1268.20 c cleaning 20004 clauses out of 40046 with flag 4300000/7375576 1273.43/1270.72 c cleaning 19995 clauses out of 40042 with flag 4320000/7395576 1276.33/1273.66 c cleaning 19998 clauses out of 40049 with flag 4340002/7415578 1279.54/1276.82 c cleaning 19996 clauses out of 40050 with flag 4360001/7435577 1282.54/1279.89 c cleaning 20008 clauses out of 40054 with flag 4380001/7455577 1285.74/1283.07 c cleaning 19997 clauses out of 40047 with flag 4400002/7475578 1289.05/1286.39 c cleaning 19998 clauses out of 40048 with flag 4420000/7495576 1292.05/1289.39 c cleaning 19999 clauses out of 40051 with flag 4440001/7515577 1295.36/1292.68 c cleaning 19999 clauses out of 40052 with flag 4460001/7535577 1298.96/1296.27 c cleaning 19995 clauses out of 40053 with flag 4480001/7555577 1302.17/1299.49 c cleaning 20005 clauses out of 40059 with flag 4500002/7575578 1305.67/1302.97 c cleaning 19988 clauses out of 40052 with flag 4520000/7595576 1309.07/1306.36 c cleaning 20002 clauses out of 40066 with flag 4540002/7615578 1312.58/1309.80 c cleaning 20002 clauses out of 40065 with flag 4560003/7635579 1315.98/1313.30 c cleaning 19996 clauses out of 40061 with flag 4580001/7655577 1319.39/1316.67 c cleaning 19994 clauses out of 40064 with flag 4600000/7675576 1322.59/1319.87 c cleaning 20001 clauses out of 40070 with flag 4620000/7695576 1325.89/1323.12 c cleaning 19995 clauses out of 40071 with flag 4640002/7715578 1328.80/1326.08 c cleaning 20012 clauses out of 40078 with flag 4660004/7735580 1332.00/1329.25 c cleaning 20003 clauses out of 40063 with flag 4680001/7755577 1335.10/1332.30 c cleaning 19999 clauses out of 40059 with flag 4700000/7775576 1338.22/1335.44 c cleaning 19996 clauses out of 40061 with flag 4720001/7795577 1341.21/1338.44 c cleaning 20006 clauses out of 40065 with flag 4740001/7815577 1344.61/1341.89 c cleaning 20001 clauses out of 40058 with flag 4760000/7835576 1347.71/1344.92 c cleaning 20001 clauses out of 40057 with flag 4780000/7855576 1350.93/1348.16 c cleaning 19998 clauses out of 40056 with flag 4800000/7875576 1353.93/1351.19 c cleaning 20000 clauses out of 40058 with flag 4820000/7895576 1356.95/1354.12 c cleaning 20000 clauses out of 40058 with flag 4840000/7915576 1359.94/1357.10 c cleaning 19998 clauses out of 40059 with flag 4860001/7935577 1362.74/1359.95 c cleaning 20003 clauses out of 40060 with flag 4880000/7955576 1365.65/1362.85 c cleaning 20002 clauses out of 40058 with flag 4900001/7975577 1368.65/1365.85 c cleaning 20000 clauses out of 40055 with flag 4920000/7995576 1371.55/1368.77 c cleaning 20005 clauses out of 40059 with flag 4940004/8015580 1374.46/1371.66 c cleaning 19998 clauses out of 40050 with flag 4960000/8035576 1377.45/1374.61 c cleaning 20000 clauses out of 40055 with flag 4980003/8055579 1380.36/1377.53 c cleaning 20001 clauses out of 40054 with flag 5000002/8075578 1383.37/1380.58 c cleaning 19995 clauses out of 40051 with flag 5020000/8095576 1386.46/1383.64 c cleaning 19997 clauses out of 40056 with flag 5040000/8115576 1389.56/1386.71 c cleaning 20001 clauses out of 40060 with flag 5060001/8135577 1392.77/1389.94 c cleaning 20005 clauses out of 40058 with flag 5080000/8155576 1396.17/1393.39 c cleaning 19995 clauses out of 40053 with flag 5100000/8175576 1399.57/1396.74 c cleaning 20003 clauses out of 40059 with flag 5120001/8195577 1402.87/1400.02 c cleaning 19998 clauses out of 40056 with flag 5140001/8215577 1406.08/1403.27 c cleaning 19998 clauses out of 40058 with flag 5160001/8235577 1410.08/1407.22 c cleaning 20010 clauses out of 40059 with flag 5180000/8255576 1414.59/1411.77 c cleaning 20014 clauses out of 40051 with flag 5200002/8275578 1418.79/1415.99 c cleaning 20001 clauses out of 40035 with flag 5220000/8295576 1423.50/1420.66 c cleaning 19992 clauses out of 40035 with flag 5240001/8315577 1427.70/1424.80 c cleaning 19995 clauses out of 40043 with flag 5260001/8335577 1432.50/1429.63 c cleaning 19993 clauses out of 40051 with flag 5280004/8355580 1436.40/1433.59 c cleaning 20002 clauses out of 40054 with flag 5300000/8375576 1440.71/1437.85 c cleaning 20006 clauses out of 40054 with flag 5320002/8395578 1445.11/1442.24 c cleaning 20001 clauses out of 40047 with flag 5340001/8415577 1449.71/1446.81 c cleaning 19998 clauses out of 40048 with flag 5360003/8435579 1454.01/1451.14 c cleaning 20000 clauses out of 40048 with flag 5380001/8455577 1457.52/1454.69 c cleaning 19996 clauses out of 40047 with flag 5400000/8475576 1461.22/1458.32 c cleaning 20015 clauses out of 40051 with flag 5420000/8495576 1464.84/1461.98 c cleaning 20002 clauses out of 40037 with flag 5440001/8515577 1468.83/1465.96 c cleaning 19997 clauses out of 40034 with flag 5460000/8535576 1472.93/1470.02 c cleaning 19994 clauses out of 40037 with flag 5480000/8555576 1476.64/1473.76 c cleaning 20004 clauses out of 40045 with flag 5500002/8575578 1480.44/1477.50 c cleaning 20003 clauses out of 40039 with flag 5520000/8595576 1484.24/1481.32 c cleaning 20000 clauses out of 40036 with flag 5540000/8615576 1488.15/1485.25 c cleaning 19999 clauses out of 40036 with flag 5560000/8635576 1492.45/1489.53 c cleaning 19993 clauses out of 40037 with flag 5580000/8655576 1496.66/1493.77 c cleaning 20002 clauses out of 40044 with flag 5600000/8675576 1500.47/1497.53 c cleaning 20005 clauses out of 40043 with flag 5620001/8695577 1503.97/1501.07 c cleaning 19995 clauses out of 40037 with flag 5640000/8715576 1507.68/1504.74 c cleaning 20006 clauses out of 40042 with flag 5660000/8735576 1511.67/1508.74 c cleaning 20000 clauses out of 40037 with flag 5680001/8755577 1515.88/1512.92 c cleaning 19998 clauses out of 40037 with flag 5700001/8775577 1519.98/1517.08 c cleaning 19987 clauses out of 40038 with flag 5720000/8795576 1523.68/1520.73 c cleaning 20006 clauses out of 40052 with flag 5740001/8815577 1527.88/1524.92 c cleaning 19995 clauses out of 40045 with flag 5760000/8835576 1531.79/1528.90 c cleaning 20001 clauses out of 40050 with flag 5780000/8855576 1535.31/1532.38 c cleaning 20007 clauses out of 40051 with flag 5800002/8875578 1539.29/1536.37 c cleaning 20003 clauses out of 40042 with flag 5820000/8895576 1543.30/1540.31 c cleaning 19977 clauses out of 40039 with flag 5840000/8915576 1547.70/1544.70 c cleaning 20005 clauses out of 40066 with flag 5860004/8935580 1552.11/1549.17 c cleaning 20007 clauses out of 40060 with flag 5880003/8955579 1555.81/1552.80 c cleaning 20003 clauses out of 40050 with flag 5900000/8975576 1558.82/1555.86 c cleaning 19995 clauses out of 40048 with flag 5920001/8995577 1561.63/1558.65 c cleaning 19999 clauses out of 40054 with flag 5940002/9015578 1564.33/1561.34 c cleaning 19994 clauses out of 40053 with flag 5960000/9035576 1567.03/1564.07 c cleaning 20001 clauses out of 40059 with flag 5980000/9055576 1569.83/1566.85 c cleaning 19991 clauses out of 40058 with flag 6000000/9075576 1572.75/1569.78 c cleaning 20005 clauses out of 40068 with flag 6020001/9095577 1575.54/1572.54 c cleaning 19997 clauses out of 40062 with flag 6040000/9115576 1578.15/1575.18 c cleaning 20001 clauses out of 40067 with flag 6060002/9135578 1580.75/1577.78 c cleaning 20008 clauses out of 40066 with flag 6080002/9155578 1583.77/1580.73 c cleaning 20003 clauses out of 40057 with flag 6100001/9175577 1586.46/1583.46 c cleaning 19996 clauses out of 40053 with flag 6120000/9195576 1589.36/1586.33 c cleaning 20001 clauses out of 40057 with flag 6140000/9215576 1592.27/1589.24 c cleaning 19990 clauses out of 40056 with flag 6160000/9235576 1595.17/1592.13 c cleaning 20006 clauses out of 40067 with flag 6180001/9255577 1598.18/1595.13 c cleaning 20001 clauses out of 40060 with flag 6200000/9275576 1600.98/1597.95 c cleaning 19988 clauses out of 40059 with flag 6220000/9295576 1604.18/1601.19 c cleaning 19995 clauses out of 40071 with flag 6240000/9315576 1606.69/1603.70 c cleaning 20006 clauses out of 40077 with flag 6260001/9335577 1609.30/1606.25 c cleaning 20011 clauses out of 40073 with flag 6280003/9355579 1611.90/1608.81 c cleaning 20004 clauses out of 40062 with flag 6300003/9375579 1614.71/1611.65 c cleaning 20003 clauses out of 40055 with flag 6320000/9395576 1617.61/1614.57 c cleaning 19992 clauses out of 40053 with flag 6340001/9415577 1620.51/1617.48 c cleaning 19995 clauses out of 40061 with flag 6360001/9435577 1623.61/1620.51 c cleaning 19999 clauses out of 40067 with flag 6380002/9455578 1626.42/1623.32 c cleaning 19997 clauses out of 40067 with flag 6400001/9475577 1629.22/1626.17 c cleaning 20002 clauses out of 40069 with flag 6420000/9495576 1632.23/1629.14 c cleaning 20002 clauses out of 40067 with flag 6440000/9515576 1634.92/1631.89 c cleaning 19998 clauses out of 40065 with flag 6460000/9535576 1637.53/1634.51 c cleaning 19992 clauses out of 40067 with flag 6480000/9555576 1640.34/1637.23 c cleaning 20005 clauses out of 40075 with flag 6500000/9575576 1643.04/1639.95 c cleaning 20003 clauses out of 40071 with flag 6520001/9595577 1645.64/1642.58 c cleaning 19997 clauses out of 40067 with flag 6540000/9615576 1648.65/1645.61 c cleaning 20006 clauses out of 40070 with flag 6560000/9635576 1651.45/1648.38 c cleaning 19985 clauses out of 40064 with flag 6580000/9655576 1654.45/1651.30 c cleaning 20003 clauses out of 40079 with flag 6600000/9675576 1657.25/1654.17 c cleaning 20010 clauses out of 40076 with flag 6620000/9695576 1659.86/1656.79 c cleaning 20005 clauses out of 40066 with flag 6640000/9715576 1662.56/1659.42 c cleaning 20005 clauses out of 40061 with flag 6660000/9735576 1665.28/1662.17 c cleaning 19998 clauses out of 40056 with flag 6680000/9755576 1668.07/1664.94 c cleaning 19999 clauses out of 40064 with flag 6700006/9775582 1671.06/1667.90 c cleaning 20000 clauses out of 40059 with flag 6720000/9795576 1673.67/1670.59 c cleaning 19999 clauses out of 40061 with flag 6740002/9815578 1676.57/1673.43 c cleaning 20000 clauses out of 40061 with flag 6760001/9835577 1679.38/1676.28 c cleaning 20001 clauses out of 40060 with flag 6780000/9855576 1682.38/1679.20 c cleaning 19993 clauses out of 40061 with flag 6800002/9875578 1685.29/1682.16 c cleaning 19999 clauses out of 40067 with flag 6820001/9895577 1688.19/1685.01 c cleaning 20011 clauses out of 40068 with flag 6840001/9915577 1691.09/1687.94 c cleaning 19999 clauses out of 40059 with flag 6860003/9935579 1694.09/1690.94 c cleaning 19990 clauses out of 40057 with flag 6880000/9955576 1697.21/1694.04 c cleaning 20000 clauses out of 40067 with flag 6900000/9975576 1700.30/1697.16 c cleaning 20006 clauses out of 40069 with flag 6920002/9995578 1703.30/1700.10 c cleaning 20004 clauses out of 40061 with flag 6940000/10015576 1706.11/1702.96 c cleaning 19994 clauses out of 40060 with flag 6960003/10035579 1709.33/1706.15 c cleaning 19982 clauses out of 40064 with flag 6980001/10055577 1712.63/1709.48 c cleaning 20007 clauses out of 40082 with flag 7000001/10075577 1715.52/1712.38 c cleaning 20025 clauses out of 40075 with flag 7020001/10095577 1719.13/1715.95 c cleaning 19993 clauses out of 40049 with flag 7040000/10115576 1722.03/1718.81 c cleaning 20008 clauses out of 40057 with flag 7060001/10135577 1724.93/1721.72 c cleaning 19999 clauses out of 40049 with flag 7080001/10155577 1727.64/1724.45 c cleaning 20004 clauses out of 40049 with flag 7100000/10175576 1730.64/1727.41 c cleaning 20011 clauses out of 40047 with flag 7120002/10195578 1734.66/1731.50 c cleaning 20002 clauses out of 40036 with flag 7140002/10215578 1738.25/1735.00 c cleaning 20003 clauses out of 40032 with flag 7160000/10235576 1740.96/1737.73 c cleaning 19995 clauses out of 40031 with flag 7180002/10255578 1743.56/1740.33 c cleaning 20002 clauses out of 40034 with flag 7200000/10275576 1745.97/1742.72 c cleaning 19996 clauses out of 40032 with flag 7220000/10295576 1750.38/1747.17 c cleaning 20002 clauses out of 40036 with flag 7240000/10315576 1755.38/1752.20 c cleaning 19999 clauses out of 40038 with flag 7260004/10335580 1759.51/1756.26 c cleaning 19985 clauses out of 40035 with flag 7280000/10355576 1763.33/1760.05 c cleaning 20010 clauses out of 40051 with flag 7300001/10375577 1767.22/1763.95 c cleaning 20005 clauses out of 40040 with flag 7320000/10395576 1770.22/1766.95 c cleaning 20002 clauses out of 40035 with flag 7340000/10415576 1773.13/1769.84 c cleaning 19996 clauses out of 40035 with flag 7360002/10435578 1776.13/1772.86 c cleaning 19998 clauses out of 40038 with flag 7380001/10455577 1778.64/1775.38 c cleaning 20002 clauses out of 40040 with flag 7400001/10475577 1781.24/1777.95 c cleaning 20004 clauses out of 40038 with flag 7420001/10495577 1783.84/1780.54 c cleaning 19991 clauses out of 40034 with flag 7440001/10515577 1786.46/1783.12 c cleaning 20005 clauses out of 40045 with flag 7460003/10535579 1789.85/1786.56 c cleaning 20002 clauses out of 40038 with flag 7480001/10555577 1794.56/1791.23 c cleaning 19998 clauses out of 40038 with flag 7500003/10575579 1798.96/1795.62 c cleaning 19999 clauses out of 40037 with flag 7520000/10595576 1800.07/1796.72 c starts : 324 1800.07/1796.72 c conflicts : 10601008 1800.07/1796.72 c decisions : 36037841 1800.07/1796.72 c propagations : 3175997399 1800.07/1796.72 c inspects : 10711913907 1800.07/1796.72 c shortcuts : 0 1800.07/1796.72 c learnt literals : 0 1800.07/1796.72 c learnt binary clauses : 0 1800.07/1796.72 c learnt ternary clauses : 0 1800.07/1796.72 c learnt constraints : 10601007 1800.07/1796.72 c ignored constraints : 0 1800.07/1796.72 c root simplifications : 0 1800.07/1796.72 c removed literals (reason simplification) : 407052858 1800.07/1796.72 c reason swapping (by a shorter reason) : 0 1800.07/1796.72 c Calls to reduceDB : 541 1800.07/1796.72 c number of reductions to clauses (during analyze) : 0 1800.07/1796.72 c number of learned constraints concerned by reduction : 0 1800.07/1796.72 c number of learning phase by resolution : 0 1800.07/1796.72 c number of learning phase by cutting planes : 0 1800.07/1796.72 c speed (assignments/second) : 2453561.0648278333 1800.07/1796.72 c non guided choices 43289 1800.07/1796.73 c learnt constraints type 1800.07/1796.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25493 1800.07/1796.73 c constraints type 1800.07/1796.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1800.07/1796.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.07/1796.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1800.07/1796.73 s SATISFIABLE 1800.07/1796.74 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 x5344 -x5345 -x5346 x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 x5439 -x5440 -x5441 x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 -x5474 -x5475 -x5476 x5477 -x5478 -x5479 -x5480 x5481 -x5482 x5483 -x5484 x5485 -x5486 x5487 -x5488 -x5489 -x5490 x5491 -x5492 x5493 -x5494 -x5495 -x5496 x5497 -x5498 -x5499 1800.07/1796.75 c objective function=24 1800.07/1796.75 c Total wall clock time (in seconds): 1796.634
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458519-1307157263/watcher-3458519-1307157263 -o /tmp/evaluation-result-3458519-1307157263/solver-3458519-1307157263 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458519-1307157263.opb 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.07 2.02 1.99 2/435 8687 /proc/meminfo: memFree=24699380/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/8687/stat : 8687 (java) R 8685 8687 5628 0 -1 4202496 940 0 0 0 0 0 0 0 18 0 1 0 808141919 23580672 683 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270333415716 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8687/statm: 5757 691 508 9 0 124 0 [pid=8687/tid=8688] ppid=8685 vsize=13508980 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 1741 0 1 0 0 0 0 0 19 0 2 0 808141920 13833195520 2557 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.072657 s] /proc/loadavg: 2.07 2.02 1.99 2/435 8687 /proc/meminfo: memFree=24699380/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13554924 CPUtime=0.05 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 14191 0 1 0 3 2 0 0 18 0 18 0 808141919 13880242176 13887 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3388731 13887 1733 9 0 3379472 0 [pid=8687/tid=8688] ppid=8685 vsize=13554924 CPUtime=0.04 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 13016 0 1 0 3 1 0 0 25 0 18 0 808141920 13880242176 13887 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13554924 [startup+0.100608 s] /proc/loadavg: 2.07 2.02 1.99 2/435 8687 /proc/meminfo: memFree=24699380/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13621752 CPUtime=0.09 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 15449 0 1 0 7 2 0 0 18 0 18 0 808141919 13948674048 15118 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3405438 15119 2092 9 0 3396172 0 [pid=8687/tid=8688] ppid=8685 vsize=13621752 CPUtime=0.08 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 13518 0 1 0 6 2 0 0 18 0 18 0 808141920 13948674048 15119 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 47881133341605 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13621752 [startup+0.321349 s] /proc/loadavg: 2.07 2.02 1.99 2/435 8687 /proc/meminfo: memFree=24699380/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13623148 CPUtime=0.55 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 19324 0 1 0 52 3 0 0 18 0 18 0 808141919 13950103552 18424 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3405787 18426 2204 9 0 3396521 0 [pid=8687/tid=8688] ppid=8685 vsize=13623148 CPUtime=0.29 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 16070 0 1 0 27 2 0 0 18 0 18 0 808141920 13950103552 18427 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505560425 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 13623148 [startup+0.700525 s] /proc/loadavg: 2.07 2.02 1.99 2/435 8687 /proc/meminfo: memFree=24699380/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627648 CPUtime=1.47 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 30941 0 1 0 142 5 0 0 18 0 19 0 808141919 13954711552 27663 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406912 27663 2236 9 0 3397646 0 [pid=8687/tid=8688] ppid=8685 vsize=13627648 CPUtime=0.68 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 23502 0 1 0 64 4 0 0 19 0 19 0 808141920 13954711552 27663 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505898743 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 13627648 [startup+1.50137 s] /proc/loadavg: 2.07 2.02 1.99 3/474 8751 /proc/meminfo: memFree=24539604/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627648 CPUtime=2.34 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 33550 0 1 0 229 5 0 0 18 0 19 0 808141919 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406912 30129 2264 9 0 3397646 0 [pid=8687/tid=8688] ppid=8685 vsize=13627648 CPUtime=1.45 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24189 0 1 0 141 4 0 0 20 0 19 0 808141920 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505827163 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 159 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 183 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 245 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627648 CPUtime=0.01 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 885 0 0 0 1 0 0 0 17 0 19 0 808141923 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627648 CPUtime=0.44 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3718 0 0 0 44 0 0 0 17 0 19 0 808141926 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627648 CPUtime=0.39 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2721 0 0 0 39 0 0 0 15 0 19 0 808141926 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808141926 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954711552 30129 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 13627648 [startup+3.10105 s] /proc/loadavg: 2.14 2.04 2.00 3/474 8751 /proc/meminfo: memFree=24500668/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627648 CPUtime=3.98 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 34442 0 1 0 393 5 0 0 18 0 19 0 808141919 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406912 31020 2264 9 0 3397646 0 [pid=8687/tid=8688] ppid=8685 vsize=13627648 CPUtime=3.03 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24191 0 1 0 299 4 0 0 25 0 19 0 808141920 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 295 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 204 0 0 0 0 0 0 0 16 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 159 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 184 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 255 0 0 0 0 0 0 0 18 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 808141922 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627648 CPUtime=0.03 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 1039 0 0 0 3 0 0 0 16 0 19 0 808141923 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627648 CPUtime=0.45 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3720 0 0 0 45 0 0 0 16 0 19 0 808141926 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627648 CPUtime=0.42 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2723 0 0 0 42 0 0 0 15 0 19 0 808141926 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808141926 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627648 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954711552 31020 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 13627648 [startup+6.30141 s] /proc/loadavg: 2.14 2.04 2.00 3/474 8751 /proc/meminfo: memFree=24488592/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627456 CPUtime=7.24 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 35870 0 1 0 719 5 0 0 18 0 19 0 808141919 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406864 32257 2264 9 0 3397598 0 [pid=8687/tid=8688] ppid=8685 vsize=13627456 CPUtime=6.18 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24194 0 1 0 614 4 0 0 25 0 19 0 808141920 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505839504 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 303 0 0 0 0 0 0 0 18 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 670 0 0 0 0 0 0 0 16 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 808141922 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627456 CPUtime=0.08 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 1185 0 0 0 8 0 0 0 15 0 19 0 808141923 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3854 0 0 0 50 0 0 0 15 0 19 0 808141926 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627456 CPUtime=0.43 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2724 0 0 0 43 0 0 0 15 0 19 0 808141926 13954514944 32257 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=8687/tid=8695] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 2557 0 0 0 50 0 0 0 15 0 19 0 808141922 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627456 CPUtime=0.45 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 1352 0 0 0 44 1 0 0 16 0 19 0 808141922 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627456 CPUtime=0.45 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 1388 0 0 0 45 0 0 0 15 0 19 0 808141922 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627456 CPUtime=17.3 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 6595 0 0 0 1724 6 0 0 15 0 19 0 808141923 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 5 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3855 0 0 0 51 0 0 0 15 0 19 0 808141926 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627456 CPUtime=0.44 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2732 0 0 0 44 0 0 0 15 0 19 0 808141926 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808141926 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954514944 45456 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1725.54 Current children cumulated vsize (KiB) 13627456 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 8801 /proc/meminfo: memFree=24442284/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627456 CPUtime=1785.65 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 49924 0 1 0 178545 20 0 0 18 0 19 0 808141919 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406864 45571 2265 9 0 3397598 0 [pid=8687/tid=8688] ppid=8685 vsize=13627456 CPUtime=1762.6 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24727 0 1 0 176256 4 0 0 25 0 19 0 808141920 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505898743 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627456 CPUtime=0.53 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 528 0 0 0 52 1 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 1203 0 0 0 51 0 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627456 CPUtime=0.49 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 1504 0 0 0 49 0 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627456 CPUtime=0.49 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 859 0 0 0 49 0 0 0 16 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 1269 0 0 0 51 0 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627456 CPUtime=0.52 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 2557 0 0 0 52 0 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 1352 0 0 0 46 1 0 0 15 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 1388 0 0 0 47 0 0 0 16 0 19 0 808141922 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627456 CPUtime=17.96 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 6697 0 0 0 1790 6 0 0 15 0 19 0 808141923 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 5 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3855 0 0 0 51 0 0 0 15 0 19 0 808141926 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627456 CPUtime=0.44 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2732 0 0 0 44 0 0 0 15 0 19 0 808141926 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808141926 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954514944 45571 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1785.65 Current children cumulated vsize (KiB) 13627456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8805 /proc/meminfo: memFree=24522400/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627456 CPUtime=1800.07 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 49940 0 1 0 179987 20 0 0 18 0 19 0 808141919 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406864 45579 2265 9 0 3397598 0 [pid=8687/tid=8688] ppid=8685 vsize=13627456 CPUtime=1776.85 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24731 0 1 0 177681 4 0 0 25 0 19 0 808141920 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505898935 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627456 CPUtime=0.53 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 528 0 0 0 52 1 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 1203 0 0 0 51 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 1504 0 0 0 50 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 859 0 0 0 50 0 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 1269 0 0 0 51 0 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627456 CPUtime=0.53 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 2557 0 0 0 53 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 1352 0 0 0 46 1 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 1388 0 0 0 47 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627456 CPUtime=18.11 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 6707 0 0 0 1805 6 0 0 15 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 5 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3855 0 0 0 51 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627456 CPUtime=0.44 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2732 0 0 0 44 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13627456 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8805 /proc/meminfo: memFree=24522400/32951124 swapFree=50923800/67111528 [pid=8687] ppid=8685 vsize=13627456 CPUtime=1800.07 cores=1,3,5,7 /proc/8687/stat : 8687 (java) S 8685 8687 5628 0 -1 4202496 49940 0 1 0 179987 20 0 0 18 0 19 0 808141919 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/8687/statm: 3406864 45579 2265 9 0 3397598 0 [pid=8687/tid=8688] ppid=8685 vsize=13627456 CPUtime=1776.85 cores=1,3,5,7 /proc/8687/task/8688/stat : 8688 (java) R 8685 8687 5628 0 -1 4202560 24731 0 1 0 177681 4 0 0 25 0 19 0 808141920 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 46912505898935 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8687/tid=8690] ppid=8685 vsize=13627456 CPUtime=0.53 cores=1,3,5,7 /proc/8687/task/8690/stat : 8690 (java) S 8685 8687 5628 0 -1 4202560 528 0 0 0 52 1 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8691] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8691/stat : 8691 (java) S 8685 8687 5628 0 -1 4202560 1203 0 0 0 51 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8692] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8692/stat : 8692 (java) S 8685 8687 5628 0 -1 4202560 1504 0 0 0 50 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8693] ppid=8685 vsize=13627456 CPUtime=0.5 cores=1,3,5,7 /proc/8687/task/8693/stat : 8693 (java) S 8685 8687 5628 0 -1 4202560 859 0 0 0 50 0 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8694] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8694/stat : 8694 (java) S 8685 8687 5628 0 -1 4202560 1269 0 0 0 51 0 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8695] ppid=8685 vsize=13627456 CPUtime=0.53 cores=1,3,5,7 /proc/8687/task/8695/stat : 8695 (java) S 8685 8687 5628 0 -1 4202560 2557 0 0 0 53 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8696] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8696/stat : 8696 (java) S 8685 8687 5628 0 -1 4202560 1352 0 0 0 46 1 0 0 16 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8697] ppid=8685 vsize=13627456 CPUtime=0.47 cores=1,3,5,7 /proc/8687/task/8697/stat : 8697 (java) S 8685 8687 5628 0 -1 4202560 1388 0 0 0 47 0 0 0 15 0 19 0 808141922 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8698] ppid=8685 vsize=13627456 CPUtime=18.11 cores=1,3,5,7 /proc/8687/task/8698/stat : 8698 (java) S 8685 8687 5628 0 -1 4202560 6707 0 0 0 1805 6 0 0 15 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 0 0 16800975 18446604467691777088 0 0 -1 5 0 0 0 [pid=8687/tid=8699] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8699/stat : 8699 (java) S 8685 8687 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8700] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8700/stat : 8700 (java) S 8685 8687 5628 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808141923 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8701] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8701/stat : 8701 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350207409 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8702] ppid=8685 vsize=13627456 CPUtime=0.51 cores=1,3,5,7 /proc/8687/task/8702/stat : 8702 (java) S 8685 8687 5628 0 -1 4202560 3855 0 0 0 51 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 3 0 0 0 [pid=8687/tid=8703] ppid=8685 vsize=13627456 CPUtime=0.44 cores=1,3,5,7 /proc/8687/task/8703/stat : 8703 (java) S 8685 8687 5628 0 -1 4202560 2732 0 0 0 44 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 7 0 0 0 [pid=8687/tid=8704] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8704/stat : 8704 (java) S 8685 8687 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350199705 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8705] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8705/stat : 8705 (java) S 8685 8687 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808141926 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 [pid=8687/tid=8743] ppid=8685 vsize=13627456 CPUtime=0 cores=1,3,5,7 /proc/8687/task/8743/stat : 8743 (java) S 8685 8687 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808141965 13954514944 45579 33554432000 1073741824 1073778376 140734625533344 18446744073709551615 270350200320 0 4 0 16800975 18446604467691777088 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13627456 Child status: 143 Real time (s): 1796.76 CPU time (s): 1800.19 CPU user time (s): 1799.97 CPU system time (s): 0.216967 CPU usage (%): 100.191 Max. virtual memory (cumulated for all children) (KiB): 13628264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.216967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50052 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51596 involuntary context switches= 13911 runsolver used 7.56685 second user time and 18.4472 second system time The end
Begin job on node143 at 2011-06-04 05:14:23 IDJOB=3458519 IDBENCH=25021 IDSOLVER=1952 FILE ID=node143/3458519-1307157263 RUNJOBID= node143-1307155462-8496 PBS_JOBID= 13508773 Free space on /tmp= 73972 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458519-1307157263/watcher-3458519-1307157263 -o /tmp/evaluation-result-3458519-1307157263/solver-3458519-1307157263 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458519-1307157263.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=466168031 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24699536 kB Buffers: 300016 kB Cached: 457872 kB SwapCached: 9140 kB Active: 7494888 kB Inactive: 476168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24699536 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 7210572 kB Mapped: 21672 kB Slab: 132244 kB PageTables: 79512 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 115693768 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73976 MiB End job on node143 at 2011-06-04 05:44:22