Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | OPT | 1191.54 | 1185.43 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_6_mh.opb |
| MD5SUM | 3266e32b2a945b684ae99382e7a5d59c |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7586846 |
| Best CPU time to get the best result obtained on this benchmark | 3.23351 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 155720872 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 4264157729 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 155720872 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 4264157729 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.02/0.09 c version 2.3.2.v20120418 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 501472288 0.02/0.09 c Max memory 7480803328 0.02/0.09 c Total memory 504102912 0.02/0.09 c Number of processors 8 0.08/0.13 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.13 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=true 0.08/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3710485-1338253206.opb 0.08/0.13 c reading problem ... 0.68/0.43 c ... done. Wall clock time 0.296s. 0.68/0.46 c declared #vars 6810 0.68/0.46 c #constraints 15626 0.68/0.46 c constraints type 0.68/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.68/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.68/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.68/0.46 c ignored satisfied constraints => 3 0.68/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.68/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.68/0.46 c 15629 constraints processed. 2.78/2.06 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.17/3.36 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.60/4.70 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.21/6.39 c cleaning 6810 clauses out of 13632 with flag 26000/26000 8.06/7.13 c SATISFIABLE 8.06/7.13 c OPTIMIZING... 8.06/7.13 c Got one! Elapsed wall clock time (in seconds):7.0 8.06/7.13 o 340387703 8.64/7.68 c cleaning 6014 clauses out of 12037 with flag 3000/31215 9.84/8.81 c cleaning 6012 clauses out of 12023 with flag 9000/37215 10.94/9.94 c cleaning 6502 clauses out of 13012 with flag 16001/44216 12.14/11.15 c cleaning 7247 clauses out of 14512 with flag 24003/52218 13.85/12.83 c cleaning 8126 clauses out of 16262 with flag 33000/61215 13.96/12.98 c Got one! Elapsed wall clock time (in seconds):12.846 13.96/12.98 o 225631703 14.80/13.73 c cleaning 6840 clauses out of 13696 with flag 5000/66782 15.70/14.63 c cleaning 6420 clauses out of 12860 with flag 11004/72786 16.71/15.69 c cleaning 6719 clauses out of 13439 with flag 18003/79785 18.41/17.33 c cleaning 7353 clauses out of 14717 with flag 26000/87782 19.62/18.56 c cleaning 8181 clauses out of 16367 with flag 35003/96785 21.12/20.08 c cleaning 9088 clauses out of 18191 with flag 45008/106790 22.33/21.25 c cleaning 10032 clauses out of 20095 with flag 56000/117782 24.13/23.07 c cleaning 11034 clauses out of 22071 with flag 68008/129790 26.35/25.24 c cleaning 12008 clauses out of 24032 with flag 81003/142785 28.65/27.53 c cleaning 13004 clauses out of 26025 with flag 95004/156786 30.46/29.30 c cleaning 13989 clauses out of 28017 with flag 110000/171782 32.67/31.51 c cleaning 15006 clauses out of 30028 with flag 126000/187782 35.68/34.55 c cleaning 15985 clauses out of 32022 with flag 143000/204782 39.01/37.87 c cleaning 16996 clauses out of 34037 with flag 161000/222782 42.01/40.84 c cleaning 18013 clauses out of 36041 with flag 180000/241782 44.53/43.37 c cleaning 18995 clauses out of 38028 with flag 200000/261782 48.36/47.14 c cleaning 20006 clauses out of 40035 with flag 221002/282784 52.07/50.81 c cleaning 21002 clauses out of 42027 with flag 243000/304782 56.19/54.93 c cleaning 22011 clauses out of 44027 with flag 266002/327784 60.80/59.52 c cleaning 23004 clauses out of 46016 with flag 290002/351784 64.61/63.34 c cleaning 23999 clauses out of 48012 with flag 315002/376784 68.81/67.53 c cleaning 25006 clauses out of 50011 with flag 341000/402782 72.84/71.56 c cleaning 25981 clauses out of 52005 with flag 368000/429782 76.94/75.63 c cleaning 27011 clauses out of 54028 with flag 396004/457786 81.05/79.79 c cleaning 27998 clauses out of 56014 with flag 425001/486783 85.58/84.27 c cleaning 28997 clauses out of 58018 with flag 455003/516785 90.69/89.33 c cleaning 30004 clauses out of 60020 with flag 486002/547784 96.22/94.81 c cleaning 30997 clauses out of 62014 with flag 518000/579782 102.72/101.38 c cleaning 32003 clauses out of 64019 with flag 551002/612784 108.64/107.29 c cleaning 32989 clauses out of 66017 with flag 585003/646785 114.78/113.38 c cleaning 34013 clauses out of 68033 with flag 620008/681790 120.20/118.74 c cleaning 34999 clauses out of 70013 with flag 656001/717783 126.70/125.24 c cleaning 35994 clauses out of 72014 with flag 693001/754783 129.14/127.69 c Got one! Elapsed wall clock time (in seconds):127.554 129.14/127.69 o 62248429 129.90/128.32 c cleaning 28371 clauses out of 56766 with flag 5000/775596 130.60/129.08 c cleaning 17180 clauses out of 34395 with flag 11000/781596 132.01/130.44 c cleaning 12088 clauses out of 24213 with flag 18001/788597 133.41/131.84 c cleaning 10039 clauses out of 20123 with flag 26001/796597 134.52/132.93 c cleaning 9514 clauses out of 19083 with flag 35000/805596 135.73/134.15 c cleaning 9770 clauses out of 19569 with flag 45000/815596 137.13/135.54 c cleaning 10383 clauses out of 20799 with flag 56000/826596 138.64/137.02 c cleaning 11191 clauses out of 22416 with flag 68000/838596 140.27/138.67 c cleaning 12105 clauses out of 24225 with flag 81000/851596 142.27/140.67 c cleaning 13047 clauses out of 26113 with flag 95000/865596 144.39/142.80 c cleaning 14024 clauses out of 28067 with flag 110001/880597 146.49/144.82 c cleaning 15011 clauses out of 30042 with flag 126000/896596 148.50/146.85 c cleaning 15999 clauses out of 32031 with flag 143000/913596 150.80/149.14 c cleaning 17008 clauses out of 34034 with flag 161002/931598 153.31/151.64 c cleaning 17999 clauses out of 36025 with flag 180001/950597 155.33/153.60 c Got one! Elapsed wall clock time (in seconds):153.468 155.33/153.60 o 39149753 156.02/154.23 c Got one! Elapsed wall clock time (in seconds):154.093 156.02/154.23 o 39107282 156.35/154.50 c cleaning 18461 clauses out of 36941 with flag 2002/969634 157.25/155.42 c Got one! Elapsed wall clock time (in seconds):155.282 157.25/155.42 o 38910961 157.75/155.95 c cleaning 14704 clauses out of 29417 with flag 5000/980596 158.36/156.58 c cleaning 10341 clauses out of 20713 with flag 11000/986596 159.38/157.50 c cleaning 8662 clauses out of 17368 with flag 18000/993596 160.60/158.70 c cleaning 8336 clauses out of 16710 with flag 26004/1001600 162.11/160.26 c cleaning 8666 clauses out of 17368 with flag 35000/1010596 163.53/161.65 c Got one! Elapsed wall clock time (in seconds):161.517 163.53/161.65 o 38900968 164.32/162.45 c cleaning 10885 clauses out of 21777 with flag 5001/1023671 165.02/163.18 c cleaning 8425 clauses out of 16891 with flag 11000/1029670 166.13/164.28 c cleaning 7697 clauses out of 15467 with flag 18001/1036671 167.64/165.74 c cleaning 7873 clauses out of 15769 with flag 26000/1044670 169.84/167.90 c cleaning 8443 clauses out of 16898 with flag 35002/1053672 171.74/169.85 c cleaning 9210 clauses out of 18453 with flag 45000/1063670 173.47/171.55 c cleaning 10112 clauses out of 20244 with flag 56001/1074671 175.27/173.32 c cleaning 11061 clauses out of 22133 with flag 68002/1086672 177.57/175.63 c cleaning 12012 clauses out of 24071 with flag 81001/1099671 179.47/177.51 c cleaning 13017 clauses out of 26058 with flag 95000/1113670 181.09/179.13 c cleaning 14020 clauses out of 28052 with flag 110011/1128681 182.89/180.98 c cleaning 14999 clauses out of 30023 with flag 126002/1144672 186.59/184.64 c cleaning 16003 clauses out of 32022 with flag 143000/1161670 189.11/187.10 c cleaning 17002 clauses out of 34019 with flag 161000/1179670 191.01/189.07 c cleaning 18001 clauses out of 36017 with flag 180000/1198670 193.53/191.51 c cleaning 18996 clauses out of 38017 with flag 200001/1218671 196.05/194.07 c cleaning 19994 clauses out of 40020 with flag 221000/1239670 198.75/196.74 c cleaning 20994 clauses out of 42026 with flag 243000/1261670 202.18/200.10 c cleaning 22000 clauses out of 44032 with flag 266000/1284670 205.61/203.55 c cleaning 23003 clauses out of 46032 with flag 290000/1308670 210.11/208.04 c cleaning 23990 clauses out of 48029 with flag 315000/1333670 215.02/212.92 c cleaning 25004 clauses out of 50039 with flag 341000/1359670 218.93/216.89 c cleaning 26003 clauses out of 52036 with flag 368001/1386671 222.67/220.53 c cleaning 27012 clauses out of 54032 with flag 396000/1414670 225.97/223.81 c cleaning 27996 clauses out of 56020 with flag 425000/1443670 230.09/227.97 c cleaning 29002 clauses out of 58024 with flag 455000/1473670 236.20/234.10 c cleaning 30006 clauses out of 60023 with flag 486001/1504671 241.32/239.16 c cleaning 30997 clauses out of 62016 with flag 518000/1536670 246.93/244.74 c cleaning 32001 clauses out of 64020 with flag 551001/1569671 248.94/246.70 c Got one! Elapsed wall clock time (in seconds):246.567 248.94/246.70 o 37708793 249.84/247.63 c cleaning 25870 clauses out of 51759 with flag 5001/1589411 250.95/248.70 c cleaning 15928 clauses out of 31888 with flag 11000/1595410 251.87/249.62 c cleaning 11460 clauses out of 22960 with flag 18000/1602410 252.77/250.55 c cleaning 9718 clauses out of 19501 with flag 26001/1610411 253.78/251.56 c cleaning 9370 clauses out of 18784 with flag 35002/1619412 254.99/252.73 c cleaning 9692 clauses out of 19413 with flag 45001/1629411 256.19/253.94 c cleaning 10350 clauses out of 20721 with flag 56001/1640411 257.83/255.51 c cleaning 11177 clauses out of 22373 with flag 68003/1652413 259.43/257.17 c cleaning 12090 clauses out of 24194 with flag 81001/1665411 261.34/259.01 c cleaning 13042 clauses out of 26105 with flag 95002/1679412 263.24/260.99 c cleaning 14026 clauses out of 28061 with flag 110000/1694410 265.45/263.15 c cleaning 15011 clauses out of 30036 with flag 126001/1710411 267.85/265.57 c cleaning 16003 clauses out of 32026 with flag 143002/1727412 270.35/268.03 c cleaning 17001 clauses out of 34021 with flag 161000/1745410 273.16/270.80 c cleaning 18000 clauses out of 36020 with flag 180000/1764410 275.76/273.42 c cleaning 19001 clauses out of 38024 with flag 200004/1784414 278.37/276.08 c cleaning 20001 clauses out of 40019 with flag 221000/1805410 281.28/278.96 c cleaning 20990 clauses out of 42019 with flag 243001/1827411 284.29/281.98 c cleaning 22015 clauses out of 44030 with flag 266002/1850412 287.12/284.73 c cleaning 23004 clauses out of 46013 with flag 290000/1874410 289.73/287.34 c cleaning 23993 clauses out of 48009 with flag 315000/1899410 293.14/290.70 c cleaning 24995 clauses out of 50020 with flag 341004/1925414 296.46/294.06 c cleaning 25994 clauses out of 52021 with flag 368000/1952410 299.77/297.30 c cleaning 27005 clauses out of 54027 with flag 396000/1980410 300.88/298.42 c Got one! Elapsed wall clock time (in seconds):298.285 300.88/298.42 o 32805779 301.48/299.03 c cleaning 19789 clauses out of 39594 with flag 5001/1992995 302.20/299.77 c cleaning 12883 clauses out of 25804 with flag 11000/1998994 303.00/300.53 c cleaning 9932 clauses out of 19921 with flag 18000/2005994 303.81/301.40 c cleaning 8960 clauses out of 17992 with flag 26003/2013997 304.82/302.39 c cleaning 8989 clauses out of 18029 with flag 35000/2022994 306.13/303.60 c cleaning 9504 clauses out of 19041 with flag 45001/2032995 307.43/304.94 c cleaning 10255 clauses out of 20536 with flag 56000/2043994 308.83/306.32 c cleaning 11132 clauses out of 22281 with flag 68000/2055994 310.44/307.95 c cleaning 12058 clauses out of 24150 with flag 81001/2068995 312.25/309.78 c cleaning 13030 clauses out of 26091 with flag 95000/2082994 314.15/311.60 c cleaning 14014 clauses out of 28061 with flag 110000/2097994 316.18/313.60 c cleaning 15013 clauses out of 30048 with flag 126001/2113995 318.40/315.85 c cleaning 16008 clauses out of 32034 with flag 143000/2130994 320.61/318.03 c cleaning 17009 clauses out of 34029 with flag 161003/2148997 323.22/320.62 c cleaning 17992 clauses out of 36017 with flag 180000/2167994 326.03/323.48 c cleaning 18998 clauses out of 38032 with flag 200007/2188001 328.72/326.17 c cleaning 19998 clauses out of 40027 with flag 221000/2208994 331.72/329.18 c cleaning 20954 clauses out of 41935 with flag 243000/2230994 334.63/332.04 c cleaning 21985 clauses out of 43982 with flag 266001/2253995 338.34/335.73 c cleaning 22985 clauses out of 45998 with flag 290002/2277996 342.44/339.83 c cleaning 23995 clauses out of 48011 with flag 315000/2302994 347.25/344.60 c cleaning 24995 clauses out of 50016 with flag 341000/2328994 351.59/348.99 c Got one! Elapsed wall clock time (in seconds):348.858 351.59/348.99 o 32502851 352.19/349.59 c cleaning 26079 clauses out of 52196 with flag 5002/2356170 352.99/350.31 c cleaning 16045 clauses out of 32116 with flag 11001/2362169 353.70/351.02 c cleaning 11507 clauses out of 23070 with flag 18000/2369168 354.51/351.84 c cleaning 9761 clauses out of 19563 with flag 26000/2377168 355.53/352.89 c cleaning 9395 clauses out of 18804 with flag 35002/2386170 357.15/354.48 c cleaning 9681 clauses out of 19408 with flag 45001/2396169 358.86/356.10 c cleaning 10357 clauses out of 20726 with flag 56000/2407168 360.27/357.59 c cleaning 11177 clauses out of 22370 with flag 68001/2419169 362.07/359.30 c cleaning 12082 clauses out of 24194 with flag 81002/2432170 363.67/360.96 c Got one! Elapsed wall clock time (in seconds):360.827 363.67/360.96 o 26130563 364.37/361.66 c cleaning 14634 clauses out of 29288 with flag 5000/2449566 364.99/362.27 c cleaning 10312 clauses out of 20654 with flag 11000/2455566 365.80/363.06 c cleaning 8663 clauses out of 17342 with flag 18000/2462566 366.80/364.01 c cleaning 8300 clauses out of 16680 with flag 26001/2470567 367.91/365.16 c cleaning 8672 clauses out of 17379 with flag 35000/2479566 369.30/366.50 c cleaning 9341 clauses out of 18708 with flag 45001/2489567 370.61/367.81 c cleaning 10169 clauses out of 20367 with flag 56001/2500567 372.11/369.37 c cleaning 11089 clauses out of 22198 with flag 68001/2512567 373.72/370.96 c cleaning 12049 clauses out of 24109 with flag 81001/2525567 375.22/372.49 c cleaning 13018 clauses out of 26059 with flag 95000/2539566 376.93/374.12 c cleaning 14006 clauses out of 28041 with flag 110000/2554566 378.94/376.18 c cleaning 15006 clauses out of 30036 with flag 126001/2570567 381.45/378.66 c cleaning 15994 clauses out of 32029 with flag 143000/2587566 383.45/380.66 c cleaning 17004 clauses out of 34036 with flag 161001/2605567 385.97/383.15 c cleaning 18009 clauses out of 36033 with flag 180002/2624568 389.07/386.27 c cleaning 18998 clauses out of 38023 with flag 200001/2644567 392.20/389.32 c cleaning 20002 clauses out of 40025 with flag 221001/2665567 395.21/392.32 c cleaning 21002 clauses out of 42022 with flag 243000/2687566 398.12/395.29 c cleaning 22002 clauses out of 44021 with flag 266001/2710567 401.75/398.89 c cleaning 23004 clauses out of 46020 with flag 290002/2734568 405.60/402.69 c cleaning 24000 clauses out of 48014 with flag 315000/2759566 408.99/406.08 c cleaning 24999 clauses out of 50015 with flag 341001/2785567 412.52/409.54 c cleaning 26000 clauses out of 52018 with flag 368003/2812569 416.24/413.22 c cleaning 26999 clauses out of 54015 with flag 396000/2840566 419.86/416.85 c cleaning 28001 clauses out of 56019 with flag 425003/2869569 423.96/420.98 c cleaning 28995 clauses out of 58015 with flag 455000/2899566 428.19/425.20 c cleaning 29997 clauses out of 60020 with flag 486000/2930566 432.59/429.55 c cleaning 31005 clauses out of 62024 with flag 518001/2962567 437.00/433.94 c cleaning 32005 clauses out of 64020 with flag 551002/2995568 441.21/438.19 c cleaning 32994 clauses out of 66014 with flag 585001/3029567 445.13/442.09 c cleaning 34001 clauses out of 68019 with flag 620000/3064566 449.64/446.51 c cleaning 35005 clauses out of 70018 with flag 656000/3100566 455.84/452.70 c cleaning 35990 clauses out of 72014 with flag 693001/3137567 461.55/458.45 c cleaning 36997 clauses out of 74023 with flag 731000/3175566 467.47/464.38 c cleaning 38010 clauses out of 76028 with flag 770002/3214568 474.09/470.96 c cleaning 38998 clauses out of 78018 with flag 810002/3254568 480.69/477.56 c cleaning 39974 clauses out of 80018 with flag 851000/3295566 486.50/483.32 c cleaning 41015 clauses out of 82044 with flag 893000/3337566 487.12/484.00 c Got one! Elapsed wall clock time (in seconds):483.863 487.12/484.00 o 20788965 487.92/484.75 c cleaning 25649 clauses out of 51306 with flag 5003/3347864 488.84/485.66 c cleaning 15782 clauses out of 31603 with flag 11001/3353862 489.54/486.39 c cleaning 11373 clauses out of 22820 with flag 18000/3360861 490.47/487.22 c cleaning 9694 clauses out of 19447 with flag 26000/3368861 491.28/488.03 c cleaning 9362 clauses out of 18753 with flag 35000/3377861 492.29/489.08 c cleaning 9685 clauses out of 19391 with flag 45000/3387861 493.59/490.30 c cleaning 10342 clauses out of 20706 with flag 56000/3398861 495.11/491.81 c cleaning 11176 clauses out of 22365 with flag 68001/3410862 496.43/493.19 c cleaning 12076 clauses out of 24171 with flag 81002/3423863 497.84/494.52 c cleaning 13025 clauses out of 26094 with flag 95001/3437862 499.35/496.03 c cleaning 14027 clauses out of 28068 with flag 110000/3452861 501.36/498.04 c cleaning 15005 clauses out of 30019 with flag 126000/3468861 503.77/500.45 c cleaning 15999 clauses out of 32014 with flag 143000/3485861 506.58/503.22 c cleaning 17002 clauses out of 34015 with flag 161000/3503861 509.69/506.38 c cleaning 18004 clauses out of 36013 with flag 180000/3522861 512.99/509.62 c cleaning 18996 clauses out of 38009 with flag 200000/3542861 515.80/512.42 c cleaning 19985 clauses out of 40013 with flag 221000/3563861 518.91/515.55 c cleaning 20995 clauses out of 42022 with flag 243000/3585861 521.73/518.36 c cleaning 22005 clauses out of 44027 with flag 266000/3608861 524.84/521.49 c cleaning 23000 clauses out of 46023 with flag 290001/3632862 528.04/524.63 c cleaning 23998 clauses out of 48022 with flag 315000/3657861 530.44/527.10 c Got one! Elapsed wall clock time (in seconds):526.963 530.44/527.10 o 19305387 531.24/527.80 c cleaning 23563 clauses out of 47152 with flag 5000/3681006 531.96/528.56 c cleaning 14782 clauses out of 29589 with flag 11000/3687006 532.88/529.43 c cleaning 10871 clauses out of 21808 with flag 18001/3694007 533.78/530.31 c cleaning 9422 clauses out of 18936 with flag 26000/3702006 534.74/531.28 c cleaning 9230 clauses out of 18514 with flag 35000/3711006 535.74/532.28 c cleaning 9630 clauses out of 19285 with flag 45001/3721007 537.07/533.52 c cleaning 10321 clauses out of 20656 with flag 56002/3732008 538.58/535.03 c cleaning 11148 clauses out of 22333 with flag 68000/3744006 539.99/536.41 c cleaning 12087 clauses out of 24185 with flag 81000/3757006 541.69/538.17 c cleaning 13028 clauses out of 26099 with flag 95001/3771007 543.62/540.08 c cleaning 14024 clauses out of 28072 with flag 110002/3786008 545.72/542.14 c cleaning 15013 clauses out of 30048 with flag 126002/3802008 547.82/544.29 c cleaning 16008 clauses out of 32033 with flag 143000/3819006 549.93/546.34 c cleaning 16997 clauses out of 34012 with flag 161000/3837006 552.03/548.48 c cleaning 17999 clauses out of 36015 with flag 180000/3856006 554.76/551.17 c cleaning 18995 clauses out of 38016 with flag 200000/3876006 557.45/553.84 c cleaning 19998 clauses out of 40021 with flag 221000/3897006 560.06/556.48 c cleaning 20992 clauses out of 42023 with flag 243000/3919006 563.16/559.50 c cleaning 21994 clauses out of 44032 with flag 266001/3942007 563.37/559.77 c Got one! Elapsed wall clock time (in seconds):559.634 563.37/559.77 o 17836811 564.17/560.58 c cleaning 13929 clauses out of 27864 with flag 4000/3947976 565.27/561.60 c cleaning 9947 clauses out of 19936 with flag 10001/3953977 566.38/562.70 c cleaning 8470 clauses out of 16988 with flag 17000/3960976 567.59/563.97 c cleaning 8234 clauses out of 16518 with flag 25000/3968976 569.00/565.33 c cleaning 8627 clauses out of 17285 with flag 34001/3977977 570.49/566.83 c cleaning 9310 clauses out of 18657 with flag 44000/3987976 572.10/568.42 c cleaning 10170 clauses out of 20348 with flag 55001/3998977 573.80/570.16 c cleaning 11079 clauses out of 22177 with flag 67000/4010976 575.71/572.07 c cleaning 12036 clauses out of 24098 with flag 80000/4023976 577.91/574.20 c cleaning 13019 clauses out of 26063 with flag 94001/4037977 580.50/576.87 c cleaning 14012 clauses out of 28048 with flag 109005/4052981 583.42/579.78 c cleaning 15007 clauses out of 30031 with flag 125000/4068976 586.22/582.57 c cleaning 15998 clauses out of 32024 with flag 142000/4085976 589.34/585.62 c cleaning 17002 clauses out of 34027 with flag 160001/4103977 592.55/588.87 c cleaning 18005 clauses out of 36025 with flag 179001/4122977 595.86/592.15 c cleaning 19000 clauses out of 38020 with flag 199001/4142977 599.79/596.10 c cleaning 20002 clauses out of 40019 with flag 220000/4163976 600.70/596.97 c Got one! Elapsed wall clock time (in seconds):596.835 600.70/596.97 o 16966837 600.90/597.12 c cleaning 12580 clauses out of 25193 with flag 1000/4169182 601.90/598.13 c cleaning 9278 clauses out of 18613 with flag 7000/4175182 603.01/599.22 c cleaning 8148 clauses out of 16335 with flag 14000/4182182 604.21/600.43 c cleaning 8059 clauses out of 16188 with flag 22001/4190183 605.73/601.97 c cleaning 8547 clauses out of 17128 with flag 31000/4199182 607.53/603.70 c cleaning 9279 clauses out of 18581 with flag 41000/4209182 609.04/605.29 c cleaning 10136 clauses out of 20302 with flag 52000/4220182 610.84/607.07 c cleaning 11069 clauses out of 22166 with flag 64000/4232182 612.85/609.03 c cleaning 12036 clauses out of 24097 with flag 77000/4245182 615.27/611.44 c cleaning 13019 clauses out of 26063 with flag 91002/4259184 617.97/614.14 c cleaning 14011 clauses out of 28045 with flag 106003/4274185 620.17/616.33 c cleaning 15009 clauses out of 30031 with flag 122000/4290182 622.38/618.53 c cleaning 15985 clauses out of 32022 with flag 139000/4307182 624.71/620.89 c cleaning 17009 clauses out of 34037 with flag 157000/4325182 626.91/623.05 c cleaning 18003 clauses out of 36030 with flag 176002/4344184 629.41/625.56 c cleaning 18990 clauses out of 38025 with flag 196000/4364182 632.21/628.37 c cleaning 20006 clauses out of 40036 with flag 217001/4385183 634.92/631.05 c cleaning 21001 clauses out of 42030 with flag 239001/4407183 637.53/633.64 c cleaning 22007 clauses out of 44028 with flag 262000/4430182 640.33/636.43 c cleaning 22998 clauses out of 46023 with flag 286002/4454184 643.35/639.50 c cleaning 23993 clauses out of 48023 with flag 311000/4479182 646.96/643.08 c cleaning 25011 clauses out of 50030 with flag 337000/4505182 648.78/644.89 c Got one! Elapsed wall clock time (in seconds):644.761 648.78/644.89 o 16190444 649.48/645.52 c cleaning 21802 clauses out of 43614 with flag 5000/4523792 650.09/646.13 c cleaning 13895 clauses out of 27812 with flag 11000/4529792 650.89/646.95 c cleaning 10444 clauses out of 20917 with flag 18000/4536792 651.80/647.88 c cleaning 9223 clauses out of 18475 with flag 26002/4544794 652.92/648.92 c cleaning 9103 clauses out of 18251 with flag 35001/4553793 654.03/650.04 c cleaning 9553 clauses out of 19147 with flag 45000/4563792 655.34/651.31 c cleaning 10291 clauses out of 20595 with flag 56001/4574793 656.76/652.75 c cleaning 11146 clauses out of 22304 with flag 68001/4586793 658.47/654.42 c cleaning 12076 clauses out of 24160 with flag 81003/4599795 660.37/656.32 c cleaning 13025 clauses out of 26082 with flag 95001/4613793 662.37/658.30 c cleaning 14017 clauses out of 28056 with flag 110000/4628792 664.49/660.45 c cleaning 15009 clauses out of 30040 with flag 126001/4644793 666.70/662.62 c cleaning 16004 clauses out of 32030 with flag 143000/4661792 669.00/664.90 c cleaning 16995 clauses out of 34027 with flag 161001/4679793 671.31/667.27 c cleaning 18006 clauses out of 36031 with flag 180000/4698792 673.92/669.84 c cleaning 18996 clauses out of 38025 with flag 200000/4718792 676.61/672.58 c cleaning 20000 clauses out of 40030 with flag 221001/4739793 679.72/675.68 c cleaning 20999 clauses out of 42031 with flag 243002/4761794 682.83/678.78 c cleaning 21999 clauses out of 44032 with flag 266002/4784794 686.14/682.07 c cleaning 22994 clauses out of 46031 with flag 290000/4808792 689.53/685.44 c cleaning 24000 clauses out of 48037 with flag 315000/4833792 693.05/688.96 c cleaning 25008 clauses out of 50038 with flag 341001/4859793 696.87/692.72 c cleaning 25994 clauses out of 52029 with flag 368000/4886792 701.19/697.03 c cleaning 27001 clauses out of 54036 with flag 396001/4914793 705.29/701.19 c cleaning 28001 clauses out of 56036 with flag 425002/4943794 709.91/705.77 c cleaning 28996 clauses out of 58033 with flag 455000/4973792 714.41/710.21 c cleaning 30001 clauses out of 60037 with flag 486000/5004792 718.85/714.65 c cleaning 30979 clauses out of 61982 with flag 518001/5036793 723.39/719.20 c cleaning 31989 clauses out of 64002 with flag 551000/5069792 728.29/724.03 c cleaning 32996 clauses out of 66013 with flag 585000/5103792 732.71/728.46 c cleaning 33978 clauses out of 67976 with flag 620005/5138797 736.22/731.93 c Got one! Elapsed wall clock time (in seconds):731.792 736.22/731.93 o 16115672 736.42/732.18 c Got one! Elapsed wall clock time (in seconds):732.049 736.42/732.18 o 14790760 736.93/732.65 c Got one! Elapsed wall clock time (in seconds):732.514 736.93/732.65 o 14732125 737.32/733.08 c cleaning 30066 clauses out of 60160 with flag 2000/5164966 738.33/734.04 c cleaning 18029 clauses out of 36094 with flag 8000/5170966 739.34/735.05 c cleaning 12507 clauses out of 25066 with flag 15001/5177967 740.44/736.17 c cleaning 10238 clauses out of 20558 with flag 23000/5185966 741.65/737.36 c cleaning 9622 clauses out of 19320 with flag 32000/5194966 743.05/738.73 c cleaning 9836 clauses out of 19698 with flag 42000/5204966 744.60/740.22 c cleaning 10420 clauses out of 20862 with flag 53000/5215966 746.19/741.89 c cleaning 11196 clauses out of 22442 with flag 65000/5227966 748.30/743.90 c cleaning 12099 clauses out of 24212 with flag 78000/5240966 749.02/744.70 c Got one! Elapsed wall clock time (in seconds):744.567 749.02/744.70 o 14216239 749.21/744.86 c cleaning 8990 clauses out of 18022 with flag 1000/5246875 749.91/745.59 c cleaning 7493 clauses out of 15033 with flag 7001/5252876 750.81/746.46 c cleaning 7252 clauses out of 14539 with flag 14000/5259875 751.93/747.51 c cleaning 7639 clauses out of 15287 with flag 22000/5267875 753.23/748.87 c cleaning 8313 clauses out of 16650 with flag 31002/5276877 754.73/750.32 c cleaning 9162 clauses out of 18335 with flag 41000/5286875 756.43/752.09 c cleaning 10067 clauses out of 20173 with flag 52000/5297875 758.33/753.99 c cleaning 11037 clauses out of 22107 with flag 64001/5309876 760.43/756.02 c cleaning 12021 clauses out of 24070 with flag 77001/5322876 762.44/758.08 c cleaning 13010 clauses out of 26048 with flag 91000/5336875 764.15/759.77 c cleaning 14009 clauses out of 28038 with flag 106000/5351875 766.26/761.83 c cleaning 15000 clauses out of 30029 with flag 122000/5367875 768.48/764.00 c cleaning 16011 clauses out of 32034 with flag 139005/5384880 770.79/766.32 c cleaning 16994 clauses out of 34018 with flag 157000/5402875 773.61/769.11 c cleaning 17992 clauses out of 36001 with flag 176000/5421875 776.82/772.31 c cleaning 18995 clauses out of 38010 with flag 196001/5441876 779.92/775.42 c cleaning 19998 clauses out of 40014 with flag 217000/5462875 783.34/778.86 c cleaning 20999 clauses out of 42018 with flag 239002/5484877 787.04/782.56 c cleaning 22000 clauses out of 44017 with flag 262000/5507875 790.84/786.34 c cleaning 22999 clauses out of 46018 with flag 286001/5531876 795.08/790.52 c cleaning 23991 clauses out of 48018 with flag 311000/5556875 796.59/792.01 c Got one! Elapsed wall clock time (in seconds):791.881 796.59/792.01 o 11192760 797.18/792.68 c cleaning 18839 clauses out of 37699 with flag 5000/5570583 797.89/793.37 c cleaning 12418 clauses out of 24862 with flag 11002/5576585 798.82/794.23 c cleaning 9691 clauses out of 19442 with flag 18000/5583583 799.82/795.24 c cleaning 8844 clauses out of 17751 with flag 26000/5591583 800.82/796.30 c cleaning 8927 clauses out of 17907 with flag 35000/5600583 802.32/797.75 c cleaning 9481 clauses out of 18980 with flag 45000/5610583 803.94/799.35 c cleaning 10241 clauses out of 20499 with flag 56000/5621583 805.35/800.79 c cleaning 11114 clauses out of 22258 with flag 68000/5633583 807.16/802.51 c cleaning 12051 clauses out of 24146 with flag 81002/5646585 809.18/804.57 c cleaning 13019 clauses out of 26093 with flag 95000/5660583 810.38/805.78 c Got one! Elapsed wall clock time (in seconds):805.645 810.38/805.78 o 9098166 811.08/806.49 c cleaning 14022 clauses out of 28061 with flag 5000/5675570 812.22/807.58 c cleaning 10003 clauses out of 20026 with flag 11001/5681571 813.23/808.59 c cleaning 8456 clauses out of 17022 with flag 18000/5688570 814.43/809.77 c cleaning 8242 clauses out of 16566 with flag 26000/5696570 815.85/811.19 c cleaning 8652 clauses out of 17326 with flag 35002/5705572 817.55/812.81 c cleaning 9329 clauses out of 18673 with flag 45001/5715571 819.45/814.70 c cleaning 10167 clauses out of 20346 with flag 56003/5726573 821.46/816.79 c cleaning 11080 clauses out of 22177 with flag 68001/5738571 823.76/819.07 c cleaning 12035 clauses out of 24097 with flag 81001/5751571 826.28/821.51 c cleaning 13017 clauses out of 26064 with flag 95003/5765573 828.99/824.25 c cleaning 14011 clauses out of 28045 with flag 110001/5780571 832.02/827.27 c cleaning 15013 clauses out of 30033 with flag 126000/5796570 835.24/830.44 c cleaning 15989 clauses out of 32020 with flag 143000/5813570 838.66/833.88 c cleaning 16995 clauses out of 34031 with flag 161000/5831570 842.18/837.34 c cleaning 18007 clauses out of 36036 with flag 180000/5850570 845.79/840.90 c cleaning 19005 clauses out of 38032 with flag 200003/5870573 849.49/844.69 c cleaning 19995 clauses out of 40024 with flag 221000/5891570 852.91/848.06 c cleaning 21008 clauses out of 42032 with flag 243003/5913573 856.01/851.18 c cleaning 21997 clauses out of 44021 with flag 266000/5936570 859.42/854.60 c cleaning 22996 clauses out of 46025 with flag 290001/5960571 863.12/858.22 c cleaning 24011 clauses out of 48028 with flag 315000/5985570 867.23/862.39 c cleaning 24995 clauses out of 50018 with flag 341001/6011571 871.64/866.76 c cleaning 25999 clauses out of 52023 with flag 368001/6038571 876.24/871.36 c cleaning 26999 clauses out of 54024 with flag 396001/6066571 880.57/875.68 c cleaning 27994 clauses out of 56025 with flag 425001/6095571 885.77/880.85 c cleaning 29005 clauses out of 58033 with flag 455003/6125573 891.07/886.10 c cleaning 30000 clauses out of 60026 with flag 486001/6156571 896.67/891.71 c cleaning 30994 clauses out of 62025 with flag 518000/6188570 902.79/897.86 c cleaning 32001 clauses out of 64032 with flag 551001/6221571 908.69/903.71 c cleaning 32921 clauses out of 65851 with flag 585000/6255570 915.50/910.53 c cleaning 33951 clauses out of 67930 with flag 620000/6290570 922.11/917.18 c cleaning 34985 clauses out of 69984 with flag 656005/6326575 929.95/924.94 c cleaning 35984 clauses out of 71996 with flag 693002/6363572 936.77/931.74 c cleaning 36988 clauses out of 74010 with flag 731000/6401570 943.57/938.59 c cleaning 37991 clauses out of 76022 with flag 770000/6440570 950.68/945.67 c cleaning 39000 clauses out of 78031 with flag 810000/6480570 958.72/953.69 c cleaning 40014 clauses out of 80033 with flag 851002/6521572 966.83/961.71 c cleaning 40990 clauses out of 82017 with flag 893000/6563570 975.04/969.95 c cleaning 42002 clauses out of 84028 with flag 936001/6606571 983.46/978.33 c cleaning 43008 clauses out of 86028 with flag 980003/6650573 992.68/987.56 c cleaning 43998 clauses out of 88017 with flag 1025000/6695570 1002.00/996.84 c cleaning 44850 clauses out of 89709 with flag 1071000/6741570 1010.81/1005.67 c cleaning 45918 clauses out of 91860 with flag 1118001/6788571 1013.02/1007.86 c Got one! Elapsed wall clock time (in seconds):1007.728 1013.02/1007.86 o 8901965 1013.92/1008.79 c cleaning 31568 clauses out of 63164 with flag 5000/6805793 1015.13/1009.96 c cleaning 18784 clauses out of 37597 with flag 11001/6811794 1016.57/1011.33 c cleaning 12874 clauses out of 25812 with flag 18000/6818793 1017.97/1012.76 c cleaning 10442 clauses out of 20939 with flag 26001/6826794 1019.59/1014.39 c cleaning 9721 clauses out of 19496 with flag 35000/6835793 1021.52/1016.24 c cleaning 9872 clauses out of 19777 with flag 45002/6845795 1023.62/1018.34 c cleaning 10446 clauses out of 20904 with flag 56001/6856794 1025.83/1020.50 c cleaning 11223 clauses out of 22459 with flag 68002/6868795 1028.14/1022.82 c cleaning 12102 clauses out of 24235 with flag 81001/6881794 1030.74/1025.49 c cleaning 13048 clauses out of 26132 with flag 95000/6895793 1033.54/1028.28 c cleaning 14032 clauses out of 28089 with flag 110005/6910798 1036.54/1031.20 c cleaning 15017 clauses out of 30052 with flag 126000/6926793 1039.65/1034.39 c cleaning 16012 clauses out of 32036 with flag 143001/6943794 1043.15/1037.87 c cleaning 17006 clauses out of 34023 with flag 161000/6961793 1046.85/1041.60 c cleaning 18006 clauses out of 36017 with flag 180000/6980793 1050.67/1045.39 c cleaning 18994 clauses out of 38011 with flag 200000/7000793 1054.88/1049.52 c cleaning 19989 clauses out of 40017 with flag 221000/7021793 1059.08/1053.73 c cleaning 20998 clauses out of 42028 with flag 243000/7043793 1063.38/1058.08 c cleaning 22007 clauses out of 44030 with flag 266000/7066793 1067.79/1062.48 c cleaning 23002 clauses out of 46023 with flag 290000/7090793 1072.69/1067.37 c cleaning 23999 clauses out of 48021 with flag 315000/7115793 1078.11/1072.78 c cleaning 25001 clauses out of 50023 with flag 341001/7141794 1083.33/1077.96 c cleaning 25989 clauses out of 52021 with flag 368000/7168793 1088.95/1083.57 c cleaning 27008 clauses out of 54032 with flag 396000/7196793 1094.85/1089.45 c cleaning 27996 clauses out of 56024 with flag 425000/7225793 1100.86/1095.42 c cleaning 29000 clauses out of 58028 with flag 455000/7255793 1107.29/1101.88 c cleaning 29997 clauses out of 60029 with flag 486001/7286794 1114.01/1108.53 c cleaning 31007 clauses out of 62032 with flag 518001/7318794 1120.62/1115.10 c cleaning 31991 clauses out of 64026 with flag 551002/7351795 1127.24/1121.75 c cleaning 33007 clauses out of 66034 with flag 585001/7385794 1134.16/1128.66 c cleaning 33997 clauses out of 68028 with flag 620002/7420795 1141.16/1135.65 c cleaning 35005 clauses out of 70029 with flag 656000/7456793 1146.58/1141.00 c Got one! Elapsed wall clock time (in seconds):1140.866 1146.58/1141.00 o 8896883 1146.58/1141.03 c Got one! Elapsed wall clock time (in seconds):1140.894 1146.58/1141.03 o 8878122 1147.08/1141.58 c Got one! Elapsed wall clock time (in seconds):1141.448 1147.08/1141.58 o 8839266 1147.42/1141.89 c cleaning 32725 clauses out of 65465 with flag 1001/7488969 1147.94/1142.38 c Got one! Elapsed wall clock time (in seconds):1142.246 1147.94/1142.38 o 8817860 1148.34/1142.74 c cleaning 19149 clauses out of 38304 with flag 2000/7494533 1149.44/1143.86 c cleaning 12563 clauses out of 25155 with flag 8000/7500533 1150.67/1145.04 c cleaning 9788 clauses out of 19593 with flag 15001/7507534 1151.28/1145.65 c Got one! Elapsed wall clock time (in seconds):1145.519 1151.28/1145.65 o 8808011 1151.38/1145.72 c Got one! Elapsed wall clock time (in seconds):1145.582 1151.38/1145.72 o 8406359 1151.38/1145.76 c Got one! Elapsed wall clock time (in seconds):1145.63 1151.38/1145.76 o 8270691 1151.38/1145.77 c Got one! Elapsed wall clock time (in seconds):1145.639 1151.38/1145.77 o 8257728 1151.79/1146.10 c cleaning 7764 clauses out of 15589 with flag 2000/7513318 1152.10/1146.48 c Got one! Elapsed wall clock time (in seconds):1146.344 1152.10/1146.48 o 8195302 1152.20/1146.51 c Got one! Elapsed wall clock time (in seconds):1146.38 1152.20/1146.51 o 8182125 1152.70/1147.06 c cleaning 6499 clauses out of 13051 with flag 3000/7518550 1153.82/1148.17 c cleaning 6258 clauses out of 12553 with flag 9001/7524551 1154.23/1148.52 c Got one! Elapsed wall clock time (in seconds):1148.386 1154.23/1148.52 o 8178411 1154.63/1148.90 c cleaning 6038 clauses out of 12114 with flag 4001/7530370 1155.14/1149.48 c cleaning 6016 clauses out of 12076 with flag 10001/7536370 1155.85/1150.17 c cleaning 6513 clauses out of 13061 with flag 17002/7543371 1156.65/1150.99 c cleaning 7265 clauses out of 14546 with flag 25000/7551369 1157.55/1151.88 c cleaning 8130 clauses out of 16282 with flag 34001/7560370 1158.56/1152.88 c cleaning 9060 clauses out of 18151 with flag 44000/7570369 1159.76/1154.04 c cleaning 10042 clauses out of 20091 with flag 55000/7581369 1159.76/1154.09 c Got one! Elapsed wall clock time (in seconds):1153.958 1159.76/1154.09 o 8175355 1160.77/1155.06 c cleaning 7520 clauses out of 15068 with flag 5000/7586388 1161.98/1156.23 c cleaning 6767 clauses out of 13548 with flag 11000/7592388 1163.38/1157.63 c cleaning 6887 clauses out of 13782 with flag 18001/7599389 1164.88/1159.17 c Got one! Elapsed wall clock time (in seconds):1159.04 1164.88/1159.17 o 8167693 1165.78/1160.02 c cleaning 9926 clauses out of 19870 with flag 5000/7612364 1165.99/1160.26 c Got one! Elapsed wall clock time (in seconds):1160.131 1165.99/1160.26 o 7930744 1166.69/1160.95 c cleaning 7570 clauses out of 15166 with flag 4000/7617586 1167.80/1162.05 c cleaning 6775 clauses out of 13594 with flag 10004/7623590 1169.12/1163.37 c cleaning 2645 clauses out of 5308 with flag 17000/7630586 1169.32/1163.52 c Got one! Elapsed wall clock time (in seconds):1163.384 1169.32/1163.52 o 7912904 1169.42/1163.69 c Got one! Elapsed wall clock time (in seconds):1163.552 1169.42/1163.69 o 7908162 1169.82/1164.02 c Got one! Elapsed wall clock time (in seconds):1163.882 1169.82/1164.02 o 7888439 1170.12/1164.32 c cleaning 3755 clauses out of 7528 with flag 2001/7636705 1170.12/1164.37 c Got one! Elapsed wall clock time (in seconds):1164.236 1170.12/1164.37 o 7880296 1170.23/1164.47 c Got one! Elapsed wall clock time (in seconds):1164.334 1170.23/1164.47 o 7873845 1170.93/1165.19 c cleaning 4719 clauses out of 9444 with flag 5000/7642376 1171.96/1166.10 c cleaning 5352 clauses out of 10725 with flag 11000/7648376 1172.99/1167.18 c cleaning 6177 clauses out of 12373 with flag 18000/7655376 1174.31/1168.47 c cleaning 7090 clauses out of 14196 with flag 26000/7663376 1175.83/1169.92 c cleaning 8042 clauses out of 16106 with flag 35000/7672376 1177.37/1171.49 c cleaning 9017 clauses out of 18064 with flag 45000/7682376 1179.19/1173.28 c cleaning 10019 clauses out of 20048 with flag 56001/7693377 1180.01/1174.08 c Got one! Elapsed wall clock time (in seconds):1173.943 1180.01/1174.08 o 7849375 1180.20/1174.25 c cleaning 7985 clauses out of 15977 with flag 1001/7699325 1180.33/1174.34 c Got one! Elapsed wall clock time (in seconds):1174.208 1180.33/1174.34 o 7832856 1180.73/1174.73 c Got one! Elapsed wall clock time (in seconds):1174.594 1180.73/1174.73 o 7832564 1181.13/1175.17 c cleaning 6891 clauses out of 13812 with flag 3000/7705148 1181.84/1175.88 c Got one! Elapsed wall clock time (in seconds):1175.75 1181.84/1175.88 o 7831770 1182.03/1176.04 c cleaning 6191 clauses out of 12409 with flag 1000/7710639 1182.43/1176.43 c Got one! Elapsed wall clock time (in seconds):1176.301 1182.43/1176.43 o 7821258 1182.83/1176.87 c cleaning 5810 clauses out of 11629 with flag 3000/7716050 1183.74/1177.78 c cleaning 5898 clauses out of 11820 with flag 9001/7722051 1184.05/1178.01 c Got one! Elapsed wall clock time (in seconds):1177.878 1184.05/1178.01 o 7800814 1184.34/1178.39 c Got one! Elapsed wall clock time (in seconds):1178.259 1184.34/1178.39 o 7797992 1184.64/1178.69 c cleaning 5850 clauses out of 11718 with flag 2000/7727847 1184.77/1178.75 c Got one! Elapsed wall clock time (in seconds):1178.619 1184.77/1178.75 o 7701853 1184.87/1178.87 c Got one! Elapsed wall clock time (in seconds):1178.737 1184.87/1178.87 o 7699965 1185.07/1179.03 c Got one! Elapsed wall clock time (in seconds):1178.897 1185.07/1179.03 o 7691925 1185.67/1179.64 c cleaning 5870 clauses out of 11770 with flag 4000/7733763 1186.57/1180.54 c cleaning 5934 clauses out of 11900 with flag 10000/7739763 1187.70/1181.62 c cleaning 6469 clauses out of 12966 with flag 17000/7746763 1188.90/1182.89 c cleaning 7240 clauses out of 14498 with flag 25001/7754764 1189.71/1183.68 c Got one! Elapsed wall clock time (in seconds):1183.55 1189.71/1183.68 o 7691140 1189.81/1183.71 c Got one! Elapsed wall clock time (in seconds):1183.576 1189.81/1183.71 o 7677836 1189.91/1183.87 c cleaning 6650 clauses out of 13301 with flag 1002/7760807 1190.32/1184.21 c Got one! Elapsed wall clock time (in seconds):1184.074 1190.32/1184.21 o 7677589 1190.42/1184.37 c Got one! Elapsed wall clock time (in seconds):1184.232 1190.42/1184.37 o 7626817 1190.92/1184.81 c cleaning 6272 clauses out of 12545 with flag 3000/7766800 1190.92/1184.86 c Got one! Elapsed wall clock time (in seconds):1184.731 1190.92/1184.86 o 7625825 1191.14/1185.04 c Got one! Elapsed wall clock time (in seconds):1184.902 1191.14/1185.04 o 7603354 1191.14/1185.08 c Got one! Elapsed wall clock time (in seconds):1184.947 1191.14/1185.08 o 7594676 1191.24/1185.13 c Got one! Elapsed wall clock time (in seconds):1184.999 1191.24/1185.13 o 7593374 1191.44/1185.39 c Got one! Elapsed wall clock time (in seconds):1185.254 1191.44/1185.39 o 7586846 1191.54/1185.40 c starts : 355 1191.54/1185.40 c conflicts : 7770567 1191.54/1185.40 c decisions : 14103265 1191.54/1185.40 c propagations : 1076393064 1191.54/1185.40 c inspects : 6903733450 1191.54/1185.40 c shortcuts : 0 1191.54/1185.40 c learnt literals : 104 1191.54/1185.40 c learnt binary clauses : 974 1191.54/1185.40 c learnt ternary clauses : 9361 1191.54/1185.40 c learnt constraints : 7770462 1191.54/1185.40 c ignored constraints : 0 1191.54/1185.40 c root simplifications : 458 1191.54/1185.40 c removed literals (reason simplification) : 110877919 1191.54/1185.40 c reason swapping (by a shorter reason) : 0 1191.54/1185.40 c Calls to reduceDB : 451 1191.54/1185.40 c number of reductions to clauses (during analyze) : 0 1191.54/1185.40 c number of learned constraints concerned by reduction : 0 1191.54/1185.40 c number of learning phase by resolution : 0 1191.54/1185.40 c number of learning phase by cutting planes : 0 1191.54/1185.40 c speed (assignments/second) : 908381.5395832928 1191.54/1185.40 c non guided choices 19778 1191.54/1185.40 c learnt constraints type 1191.54/1185.40 c constraints type 1191.54/1185.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1191.54/1185.40 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1191.54/1185.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1191.54/1185.40 c ignored satisfied constraints => 3 1191.54/1185.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1191.54/1185.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1191.54/1185.40 c 15629 constraints processed. 1191.54/1185.40 s OPTIMUM FOUND 1191.54/1185.41 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 -x6514 x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 x6574 -x6575 x6576 x6577 -x6578 -x6579 -x6580 -x6581 -x6582 x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 x6664 -x6665 x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 x6765 -x6766 -x6767 -x6768 -x6769 -x6770 x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 1191.54/1185.42 c objective function=7586846 1191.54/1185.42 c Total wall clock time (in seconds): 1185.283
OK 7586846
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710485-1338253206/watcher-3710485-1338253206 -o /tmp/evaluation-result-3710485-1338253206/solver-3710485-1338253206 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710485-1338253206.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.99 1.99 3/195 10118 /proc/meminfo: memFree=28347732/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/10118/stat : 10118 (java) D 10116 10118 8308 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291444998 9515008 182 33554432000 1073741824 1073778376 140737382510208 140737382501240 251044642485 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0 /proc/10118/statm: 2323 182 140 9 0 71 0 [startup+0.058558 s] /proc/loadavg: 1.92 1.99 1.99 3/195 10118 /proc/meminfo: memFree=28347732/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 3062 0 1 0 2 0 0 0 20 0 13 0 291444998 9446973440 3759 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2306390 3759 1707 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100929 s] /proc/loadavg: 1.92 1.99 1.99 3/195 10118 /proc/meminfo: memFree=28347732/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9558440 CPUtime=0.08 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 3811 0 1 0 7 1 0 0 20 0 18 0 291444998 9787842560 5019 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2389610 5019 2016 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.30017 s] /proc/loadavg: 1.92 1.99 1.99 3/195 10118 /proc/meminfo: memFree=28347732/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9558440 CPUtime=0.48 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 5459 0 1 0 46 2 0 0 20 0 18 0 291444998 9787842560 9648 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2389610 9619 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558440 [startup+0.70028 s] /proc/loadavg: 1.92 1.99 1.99 3/195 10118 /proc/meminfo: memFree=28347732/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=1.39 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 8165 0 1 0 136 3 0 0 20 0 19 0 291444998 9856004096 17997 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 17997 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 9625004 [startup+1.50074 s] /proc/loadavg: 1.92 1.99 1.99 3/214 10137 /proc/meminfo: memFree=28284764/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=2.27 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 8189 0 1 0 224 3 0 0 20 0 19 0 291444998 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 18519 2264 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=1.46 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2526 0 1 0 144 2 0 0 20 0 19 0 291444999 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236089072872 140235934280016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291445001 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.38 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2120 0 0 0 38 0 0 0 20 0 19 0 291445004 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.38 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 2347 0 0 0 38 0 0 0 20 0 19 0 291445004 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445005 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 18519 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 9625004 [startup+3.10071 s] /proc/loadavg: 1.92 1.99 1.99 3/214 10137 /proc/meminfo: memFree=28269560/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=3.93 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 8265 0 1 0 390 3 0 0 20 0 19 0 291444998 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 21652 2289 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=3.03 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2530 0 1 0 301 2 0 0 20 0 19 0 291444999 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236089074376 140235934274272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291445001 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.39 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2121 0 0 0 39 0 0 0 20 0 19 0 291445004 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.42 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 2369 0 0 0 42 0 0 0 20 0 19 0 291445004 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445005 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 21652 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 9625004 [startup+6.30071 s] /proc/loadavg: 1.93 1.99 1.99 3/214 10137 /proc/meminfo: memFree=28265968/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=7.21 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 8280 0 1 0 717 4 0 0 20 0 19 0 291444998 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 22397 2289 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=6.18 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2532 0 1 0 616 2 0 0 20 0 19 0 291444999 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236089074216 140235934282815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291445000 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=0.03 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 291445001 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.42 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2121 0 0 0 42 0 0 0 20 0 19 0 291445004 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.45 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 2370 0 0 0 45 0 0 0 20 0 19 0 291445004 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445005 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 22397 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.21 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 111 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=14.55 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 147 0 0 0 1453 2 0 0 20 0 19 0 291445001 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2860 0 0 0 58 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 3484 0 0 0 67 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 11 12 0 0 20 0 19 0 291445005 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1190.83 Current children cumulated vsize (KiB) 9625004 [startup+1185.1 s] /proc/loadavg: 2.02 2.02 2.00 3/214 10226 /proc/meminfo: memFree=28136196/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=1191.24 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 11358 0 1 0 119092 32 0 0 20 0 19 0 291444998 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 30753 2292 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=1165.02 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2983 0 1 0 116482 20 0 0 20 0 19 0 291444999 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236089074120 140235934056756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 88 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 50 0 0 0 92 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 87 1 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 107 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 62 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 84 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 69 0 0 0 84 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 111 0 0 0 86 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=14.58 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 147 0 0 0 1456 2 0 0 20 0 19 0 291445001 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2860 0 0 0 58 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 3484 0 0 0 67 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 11 12 0 0 20 0 19 0 291445005 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1191.24 Current children cumulated vsize (KiB) 9625004 [startup+1185.3 s] /proc/loadavg: 2.02 2.02 2.00 3/214 10226 /proc/meminfo: memFree=28136196/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=1191.44 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 11358 0 1 0 119112 32 0 0 20 0 19 0 291444998 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 30753 2292 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=1165.22 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2983 0 1 0 116502 20 0 0 20 0 19 0 291444999 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236089074120 140235934154074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 88 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 50 0 0 0 92 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 87 1 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 107 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 62 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 84 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 69 0 0 0 84 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 111 0 0 0 86 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=14.58 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 147 0 0 0 1456 2 0 0 20 0 19 0 291445001 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2860 0 0 0 58 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 3484 0 0 0 67 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 11 12 0 0 20 0 19 0 291445005 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1191.44 Current children cumulated vsize (KiB) 9625004 [startup+1185.4 s] /proc/loadavg: 2.02 2.02 2.00 3/214 10226 /proc/meminfo: memFree=28136196/32873844 swapFree=7620/7620 [pid=10118] ppid=10116 vsize=9625004 CPUtime=1191.54 cores=0,2,4,6 /proc/10118/stat : 10118 (java) S 10116 10118 8308 0 -1 4202496 11358 0 1 0 119122 32 0 0 20 0 19 0 291444998 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140734869055552 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/10118/statm: 2406251 30753 2292 9 0 2396937 0 [pid=10118/tid=10120] ppid=10116 vsize=9625004 CPUtime=1165.32 cores=0,2,4,6 /proc/10118/task/10120/stat : 10120 (java) R 10116 10118 8308 0 -1 4202560 2983 0 1 0 116512 20 0 0 20 0 19 0 291444999 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236089074120 140235934058064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10121] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10121/stat : 10121 (java) S 10116 10118 8308 0 -1 4202560 88 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236061526312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10122] ppid=10116 vsize=9625004 CPUtime=0.94 cores=0,2,4,6 /proc/10118/task/10122/stat : 10122 (java) S 10116 10118 8308 0 -1 4202560 50 0 0 0 92 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236060473512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10123] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10123/stat : 10123 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 87 1 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236059421224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10124] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10124/stat : 10124 (java) S 10116 10118 8308 0 -1 4202560 107 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236058368424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10125] ppid=10116 vsize=9625004 CPUtime=0.91 cores=0,2,4,6 /proc/10118/task/10125/stat : 10125 (java) S 10116 10118 8308 0 -1 4202560 62 0 0 0 89 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236057316136 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10126] ppid=10116 vsize=9625004 CPUtime=0.87 cores=0,2,4,6 /proc/10118/task/10126/stat : 10126 (java) S 10116 10118 8308 0 -1 4202560 84 0 0 0 85 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236056263336 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10118/tid=10127] ppid=10116 vsize=9625004 CPUtime=0.86 cores=0,2,4,6 /proc/10118/task/10127/stat : 10127 (java) S 10116 10118 8308 0 -1 4202560 69 0 0 0 84 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236055211048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10128] ppid=10116 vsize=9625004 CPUtime=0.88 cores=0,2,4,6 /proc/10118/task/10128/stat : 10128 (java) S 10116 10118 8308 0 -1 4202560 111 0 0 0 86 2 0 0 20 0 19 0 291445000 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140236054158248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10129] ppid=10116 vsize=9625004 CPUtime=14.58 cores=0,2,4,6 /proc/10118/task/10129/stat : 10129 (java) S 10116 10118 8308 0 -1 4202560 147 0 0 0 1456 2 0 0 20 0 19 0 291445001 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235442727144 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10130] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10130/stat : 10130 (java) S 10116 10118 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235441673208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10131] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10131/stat : 10131 (java) S 10116 10118 8308 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291445002 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235440620808 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10132] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10132/stat : 10132 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235439569296 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=10118/tid=10133] ppid=10116 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/10118/task/10133/stat : 10133 (java) S 10116 10118 8308 0 -1 4202560 2860 0 0 0 58 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235438516920 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10134] ppid=10116 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/10118/task/10134/stat : 10134 (java) S 10116 10118 8308 0 -1 4202560 3484 0 0 0 67 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235437464120 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10135] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10135/stat : 10135 (java) S 10116 10118 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291445004 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235436412024 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=10118/tid=10136] ppid=10116 vsize=9625004 CPUtime=0.23 cores=0,2,4,6 /proc/10118/task/10136/stat : 10136 (java) S 10116 10118 8308 0 -1 4202560 66 0 0 0 11 12 0 0 20 0 19 0 291445005 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235435359432 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10118/tid=10137] ppid=10116 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/10118/task/10137/stat : 10137 (java) S 10116 10118 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291445042 9856004096 30753 33554432000 1073741824 1073778376 140734869064416 140235434304424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1191.54 Current children cumulated vsize (KiB) 9625004 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10118 and gives # childrusage.ru_utime.tv_sec=1188 # childrusage.ru_utime.tv_usec=151373 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=640902 # CPU time returned by wait4() is 1188.79 # while last known CPU time is 1191.54 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1185.43 CPU time (s): 1191.54 CPU user time (s): 1191.22 CPU system time (s): 0.32 CPU usage (%): 100.515 Max. virtual memory (cumulated for all children) (KiB): 9625280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1188.15 system time used= 0.640902 maximum resident set size= 124164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11378 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37232 involuntary context switches= 23885 runsolver used 4.39633 second user time and 12.5241 second system time The end
Begin job on node143 at 2012-05-29 03:00:06 IDJOB=3710485 IDBENCH=92719 IDSOLVER=2289 FILE ID=node143/3710485-1338253206 RUNJOBID= node143-1338231615-8324 PBS_JOBID= 14624659 Free space on /tmp= 69360 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710485-1338253206/watcher-3710485-1338253206 -o /tmp/evaluation-result-3710485-1338253206/solver-3710485-1338253206 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710485-1338253206.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3266e32b2a945b684ae99382e7a5d59c RANDOM SEED=1056581520 node143.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5298.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.787 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28347624 kB Buffers: 441712 kB Cached: 3061572 kB SwapCached: 0 kB Active: 3177524 kB Inactive: 478604 kB Active(anon): 144072 kB Inactive(anon): 11300 kB Active(file): 3033452 kB Inactive(file): 467304 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1352 kB Writeback: 0 kB AnonPages: 160476 kB Mapped: 22604 kB Shmem: 200 kB Slab: 729224 kB SReclaimable: 171120 kB SUnreclaim: 558104 kB KernelStack: 1608 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 698328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69360 MiB End job on node143 at 2012-05-29 03:19:52