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 | SAT (TO) | 1800.1 | 1790.95 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_9_mh.opb |
| MD5SUM | dceb2101253472cec95359fbc82f66a4 |
| 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 | 6925310 |
| Best CPU time to get the best result obtained on this benchmark | 41.2897 |
| 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 | 105154048 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4901449287 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 105154048 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4901449287 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 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.14 c --- Begin Solver configuration --- 0.08/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.08/0.14 c Learn all clauses as in MiniSAT 0.08/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.14 c Expensive reason simplification 0.08/0.14 c Armin Biere (Picosat) restarts strategy 0.08/0.14 c Glucose learned constraints deletion strategy 0.08/0.14 c timeout=2147483s 0.08/0.14 c DB Simplification allowed=true 0.08/0.14 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.14 c --- End Solver configuration --- 0.08/0.14 c solving HOME/instance-3710488-1338252963.opb 0.08/0.14 c reading problem ... 0.66/0.44 c ... done. Wall clock time 0.306s. 0.66/0.44 c declared #vars 6810 0.66/0.44 c #constraints 15626 0.66/0.44 c constraints type 0.66/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.66/0.44 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.66/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.66/0.44 c ignored satisfied constraints => 3 0.66/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.66/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.66/0.44 c 15629 constraints processed. 2.91/2.11 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.29/3.43 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.60/4.78 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.31/6.48 c cleaning 6810 clauses out of 13632 with flag 26000/26000 8.16/7.23 c SATISFIABLE 8.16/7.23 c OPTIMIZING... 8.16/7.23 c Got one! Elapsed wall clock time (in seconds):7.095 8.16/7.23 o 530308195 8.73/7.79 c cleaning 6014 clauses out of 12037 with flag 3000/31215 10.13/9.17 c cleaning 5999 clauses out of 12023 with flag 9000/37215 11.24/10.23 c Got one! Elapsed wall clock time (in seconds):10.091 11.24/10.23 o 236491463 12.38/11.36 c cleaning 8945 clauses out of 17902 with flag 5001/49093 13.29/12.28 c cleaning 7470 clauses out of 14956 with flag 11000/55092 14.49/13.43 c cleaning 7233 clauses out of 14490 with flag 18004/62096 15.79/14.72 c cleaning 7617 clauses out of 15254 with flag 26001/70093 17.09/16.07 c cleaning 8306 clauses out of 16636 with flag 35000/79092 18.70/17.66 c cleaning 9157 clauses out of 18332 with flag 45002/89094 20.39/19.36 c cleaning 10087 clauses out of 20177 with flag 56004/100096 22.10/21.09 c cleaning 11033 clauses out of 22086 with flag 68000/112092 24.40/23.39 c cleaning 12022 clauses out of 24053 with flag 81000/125092 26.31/25.23 c cleaning 13011 clauses out of 26034 with flag 95003/139095 27.32/26.30 c Got one! Elapsed wall clock time (in seconds):26.167 27.32/26.30 o 229771813 27.68/26.53 c cleaning 9307 clauses out of 18613 with flag 1000/144685 28.48/27.39 c cleaning 7649 clauses out of 15311 with flag 7005/150690 29.88/28.73 c cleaning 7323 clauses out of 14666 with flag 14009/157694 31.19/30.04 c cleaning 7646 clauses out of 15334 with flag 22000/165685 32.81/31.64 c cleaning 8342 clauses out of 16690 with flag 31002/174687 34.31/33.18 c cleaning 9167 clauses out of 18348 with flag 41002/184687 35.73/34.53 c cleaning 10076 clauses out of 20179 with flag 52000/195685 37.74/36.52 c cleaning 11052 clauses out of 22106 with flag 64003/207688 39.75/38.52 c cleaning 12017 clauses out of 24055 with flag 77004/220689 41.96/40.77 c cleaning 13008 clauses out of 26036 with flag 91002/234687 44.56/43.30 c cleaning 13998 clauses out of 28026 with flag 106000/249685 47.06/45.80 c cleaning 15015 clauses out of 30038 with flag 122010/265695 50.08/48.87 c cleaning 16007 clauses out of 32013 with flag 139000/282685 52.78/51.55 c cleaning 16994 clauses out of 34006 with flag 157000/300685 55.20/53.96 c cleaning 18001 clauses out of 36016 with flag 176004/319689 57.99/56.75 c cleaning 18996 clauses out of 38012 with flag 196001/339686 60.50/59.23 c cleaning 19997 clauses out of 40015 with flag 217000/360685 64.12/62.88 c cleaning 20999 clauses out of 42019 with flag 239001/382686 67.84/66.59 c cleaning 22005 clauses out of 44019 with flag 262000/405685 72.26/70.90 c cleaning 23004 clauses out of 46016 with flag 286002/429687 75.77/74.42 c cleaning 23986 clauses out of 48010 with flag 311000/454685 78.67/77.34 c cleaning 25005 clauses out of 50024 with flag 337000/480685 83.09/81.80 c cleaning 26008 clauses out of 52019 with flag 364000/507685 86.72/85.33 c cleaning 26992 clauses out of 54013 with flag 392002/535687 89.84/88.41 c cleaning 27992 clauses out of 56019 with flag 421000/564685 93.44/92.02 c cleaning 29002 clauses out of 58028 with flag 451001/594686 98.06/96.63 c cleaning 30003 clauses out of 60025 with flag 482000/625685 103.06/101.60 c cleaning 31000 clauses out of 62022 with flag 514000/657685 107.37/105.97 c Got one! Elapsed wall clock time (in seconds):105.831 107.37/105.97 o 154116171 108.51/107.07 c cleaning 31738 clauses out of 63508 with flag 5000/690171 109.53/108.06 c cleaning 18876 clauses out of 37770 with flag 11000/696171 111.05/109.54 c cleaning 12931 clauses out of 25894 with flag 18000/703171 112.27/110.73 c cleaning 10452 clauses out of 20967 with flag 26004/711175 113.68/112.20 c cleaning 9734 clauses out of 19512 with flag 35001/720172 115.49/113.92 c cleaning 9867 clauses out of 19777 with flag 45000/730171 116.89/115.35 c cleaning 10444 clauses out of 20912 with flag 56002/741173 118.50/116.98 c cleaning 11220 clauses out of 22466 with flag 68000/753171 120.34/118.78 c cleaning 12110 clauses out of 24247 with flag 81001/766172 122.05/120.45 c cleaning 13056 clauses out of 26137 with flag 95001/780172 124.89/123.28 c cleaning 14028 clauses out of 28071 with flag 110003/795174 126.40/124.79 c Got one! Elapsed wall clock time (in seconds):124.651 126.40/124.79 o 150909397 127.22/125.53 c cleaning 14171 clauses out of 28364 with flag 5000/809495 128.04/126.33 c cleaning 10072 clauses out of 20193 with flag 11000/815495 128.95/127.25 c cleaning 8543 clauses out of 17108 with flag 18000/822495 129.75/128.09 c cleaning 8271 clauses out of 16567 with flag 26002/830497 130.77/129.05 c cleaning 8641 clauses out of 17296 with flag 35002/839497 131.87/130.11 c cleaning 9313 clauses out of 18654 with flag 45001/849496 133.07/131.30 c cleaning 10160 clauses out of 20340 with flag 56000/860495 134.37/132.69 c cleaning 11082 clauses out of 22180 with flag 68000/872495 135.90/134.15 c cleaning 12044 clauses out of 24098 with flag 81000/885495 137.59/135.82 c cleaning 13020 clauses out of 26056 with flag 95002/899497 139.39/137.69 c cleaning 14006 clauses out of 28038 with flag 110004/914499 141.80/140.04 c cleaning 14994 clauses out of 30015 with flag 126001/930496 144.23/142.47 c cleaning 15999 clauses out of 32014 with flag 143000/947495 148.04/146.22 c cleaning 16997 clauses out of 34017 with flag 161002/965497 151.14/149.38 c cleaning 17998 clauses out of 36018 with flag 180000/984495 153.57/151.73 c cleaning 18989 clauses out of 38021 with flag 200001/1004496 158.86/157.07 c cleaning 20002 clauses out of 40032 with flag 221001/1025496 163.50/161.68 c cleaning 20999 clauses out of 42032 with flag 243003/1047498 167.31/165.41 c cleaning 22009 clauses out of 44033 with flag 266003/1070498 170.14/168.23 c cleaning 23007 clauses out of 46021 with flag 290000/1094495 173.26/171.32 c cleaning 23998 clauses out of 48015 with flag 315001/1119496 176.96/175.03 c cleaning 24999 clauses out of 50016 with flag 341000/1145495 180.66/178.75 c cleaning 25982 clauses out of 52017 with flag 368000/1172495 184.57/182.62 c cleaning 27006 clauses out of 54035 with flag 396000/1200495 188.68/186.77 c cleaning 28013 clauses out of 56033 with flag 425004/1229499 193.10/191.18 c cleaning 28999 clauses out of 58016 with flag 455000/1259495 197.20/195.27 c cleaning 29996 clauses out of 60018 with flag 486001/1290496 201.81/199.85 c cleaning 31008 clauses out of 62022 with flag 518001/1322496 207.64/205.65 c cleaning 32000 clauses out of 64015 with flag 551002/1355497 212.96/210.93 c cleaning 32988 clauses out of 66013 with flag 585000/1389495 219.49/217.45 c cleaning 33999 clauses out of 68026 with flag 620001/1424496 226.83/224.79 c cleaning 35005 clauses out of 70026 with flag 656000/1460495 232.65/230.50 c cleaning 36005 clauses out of 72021 with flag 693000/1497495 238.09/235.98 c cleaning 37003 clauses out of 74016 with flag 731000/1535495 243.50/241.37 c cleaning 37990 clauses out of 76013 with flag 770000/1574495 250.50/248.32 c cleaning 38986 clauses out of 78023 with flag 810000/1614495 257.32/255.18 c cleaning 40005 clauses out of 80037 with flag 851000/1655495 263.64/261.46 c cleaning 41003 clauses out of 82033 with flag 893001/1697496 270.06/267.85 c cleaning 42003 clauses out of 84029 with flag 936000/1740495 277.88/275.61 c cleaning 43005 clauses out of 86027 with flag 980001/1784496 279.52/277.28 c Got one! Elapsed wall clock time (in seconds):277.145 279.52/277.28 o 124287370 280.11/277.82 c cleaning 28053 clauses out of 56132 with flag 5002/1797606 280.72/278.46 c cleaning 17014 clauses out of 34077 with flag 11000/1803604 281.84/279.54 c cleaning 12012 clauses out of 24063 with flag 18000/1810604 282.95/280.64 c cleaning 9996 clauses out of 20025 with flag 26000/1818604 284.05/281.75 c cleaning 9503 clauses out of 19022 with flag 35005/1827609 285.36/283.07 c cleaning 9731 clauses out of 19514 with flag 45000/1837604 286.78/284.40 c cleaning 10369 clauses out of 20784 with flag 56001/1848605 288.18/285.84 c Got one! Elapsed wall clock time (in seconds):285.7 288.18/285.84 o 109393387 288.78/286.44 c cleaning 12945 clauses out of 25902 with flag 5001/1864092 289.60/287.28 c cleaning 9467 clauses out of 18957 with flag 11001/1870092 290.71/288.36 c cleaning 8224 clauses out of 16492 with flag 18003/1877094 291.92/289.56 c cleaning 8100 clauses out of 16265 with flag 26000/1885091 293.94/291.56 c cleaning 8563 clauses out of 17165 with flag 35000/1894091 294.85/292.43 c Got one! Elapsed wall clock time (in seconds):292.293 294.85/292.43 o 95374997 294.95/292.59 c cleaning 7000 clauses out of 14053 with flag 1003/1899542 295.65/293.25 c cleaning 6501 clauses out of 13052 with flag 7002/1905541 296.45/294.00 c cleaning 6766 clauses out of 13552 with flag 14003/1912542 297.17/294.76 c cleaning 7379 clauses out of 14783 with flag 22000/1920539 298.17/295.70 c cleaning 8186 clauses out of 16404 with flag 31000/1929539 299.19/296.71 c cleaning 9100 clauses out of 18218 with flag 41000/1939539 300.31/297.87 c cleaning 10059 clauses out of 20122 with flag 52004/1950543 301.73/299.23 c cleaning 11022 clauses out of 22061 with flag 64002/1962541 303.22/300.75 c cleaning 12009 clauses out of 24039 with flag 77002/1975541 304.93/302.43 c cleaning 12997 clauses out of 26028 with flag 91000/1989539 306.73/304.28 c cleaning 14009 clauses out of 28032 with flag 106001/2004540 308.74/306.26 c cleaning 15007 clauses out of 30023 with flag 122001/2020540 310.75/308.29 c cleaning 15999 clauses out of 32016 with flag 139001/2037540 313.25/310.74 c cleaning 16991 clauses out of 33990 with flag 157001/2055540 315.47/312.98 c cleaning 17977 clauses out of 35965 with flag 176002/2074541 318.38/315.82 c cleaning 18986 clauses out of 37987 with flag 196001/2094540 321.51/318.91 c cleaning 19986 clauses out of 40002 with flag 217002/2115541 325.72/323.13 c cleaning 20995 clauses out of 42016 with flag 239002/2137541 328.04/325.49 c cleaning 21997 clauses out of 44020 with flag 262001/2160540 331.56/328.97 c cleaning 22998 clauses out of 46022 with flag 286000/2184539 336.06/333.40 c Got one! Elapsed wall clock time (in seconds):333.266 336.06/333.40 o 85759438 336.56/333.98 c cleaning 24839 clauses out of 49700 with flag 5002/2211215 337.29/334.60 c cleaning 15420 clauses out of 30860 with flag 11001/2217214 337.99/335.37 c cleaning 11197 clauses out of 22441 with flag 18002/2224215 338.91/336.23 c cleaning 9602 clauses out of 19243 with flag 26001/2232214 339.81/337.19 c cleaning 9299 clauses out of 18640 with flag 35000/2241213 341.22/338.53 c cleaning 9657 clauses out of 19341 with flag 45000/2251213 342.63/339.98 c cleaning 10336 clauses out of 20688 with flag 56004/2262217 344.53/341.83 c cleaning 11160 clauses out of 22348 with flag 68000/2274213 346.43/343.70 c cleaning 12079 clauses out of 24188 with flag 81000/2287213 348.45/345.75 c cleaning 13044 clauses out of 26109 with flag 95000/2301213 350.45/347.71 c Got one! Elapsed wall clock time (in seconds):347.577 350.45/347.71 o 49039813 351.15/348.44 c cleaning 14632 clauses out of 29274 with flag 5000/2317500 351.79/349.08 c cleaning 10290 clauses out of 20642 with flag 11000/2323500 352.50/349.80 c cleaning 8652 clauses out of 17353 with flag 18001/2330501 353.40/350.61 c cleaning 8324 clauses out of 16700 with flag 26000/2338500 354.52/351.76 c cleaning 8680 clauses out of 17377 with flag 35001/2347501 355.71/352.95 c cleaning 9339 clauses out of 18696 with flag 45000/2357500 356.92/354.18 c cleaning 10163 clauses out of 20358 with flag 56001/2368501 358.32/355.55 c cleaning 11087 clauses out of 22194 with flag 68000/2380500 359.82/357.03 c cleaning 12038 clauses out of 24108 with flag 81001/2393501 361.43/358.65 c cleaning 13013 clauses out of 26069 with flag 95000/2407500 362.92/360.16 c cleaning 13980 clauses out of 27981 with flag 110002/2422502 364.63/361.80 c cleaning 14990 clauses out of 30001 with flag 126002/2438502 366.33/363.59 c cleaning 15989 clauses out of 32010 with flag 143001/2455501 368.24/365.48 c cleaning 16995 clauses out of 34021 with flag 161001/2473501 370.44/367.60 c cleaning 18003 clauses out of 36026 with flag 180001/2492501 372.96/370.13 c cleaning 19005 clauses out of 38022 with flag 200000/2512500 375.49/372.67 c cleaning 19990 clauses out of 40018 with flag 221001/2533501 378.50/375.64 c cleaning 21003 clauses out of 42027 with flag 243000/2555500 381.70/378.82 c cleaning 21947 clauses out of 43932 with flag 266000/2578500 384.52/381.66 c cleaning 22980 clauses out of 45985 with flag 290000/2602500 387.32/384.48 c cleaning 23987 clauses out of 48006 with flag 315001/2627501 390.34/387.41 c cleaning 24993 clauses out of 50020 with flag 341002/2653502 393.74/390.80 c cleaning 25987 clauses out of 52025 with flag 368000/2680500 397.16/394.28 c cleaning 27006 clauses out of 54040 with flag 396002/2708502 400.86/397.95 c cleaning 28000 clauses out of 56033 with flag 425001/2737501 404.87/401.91 c cleaning 28992 clauses out of 58032 with flag 455000/2767500 408.78/405.85 c cleaning 29995 clauses out of 60015 with flag 486000/2798500 413.78/410.84 c cleaning 30999 clauses out of 62021 with flag 518001/2830501 417.01/414.03 c Got one! Elapsed wall clock time (in seconds):413.894 417.01/414.03 o 44579940 417.51/414.60 c cleaning 28331 clauses out of 56679 with flag 5000/2856158 418.31/415.30 c cleaning 17168 clauses out of 34349 with flag 11001/2862159 419.02/416.09 c cleaning 12073 clauses out of 24180 with flag 18000/2869158 420.12/417.14 c cleaning 10028 clauses out of 20107 with flag 26000/2877158 421.12/418.17 c cleaning 9503 clauses out of 19068 with flag 35003/2886161 421.82/418.87 c Got one! Elapsed wall clock time (in seconds):418.735 421.82/418.87 o 31589633 422.62/419.61 c cleaning 10298 clauses out of 20628 with flag 5000/2897242 423.43/420.42 c cleaning 8114 clauses out of 16330 with flag 11000/2903242 424.34/421.38 c cleaning 7582 clauses out of 15216 with flag 18000/2910242 425.35/422.32 c cleaning 7784 clauses out of 15634 with flag 26000/2918242 426.64/423.69 c cleaning 8405 clauses out of 16850 with flag 35000/2927242 428.26/425.24 c cleaning 9208 clauses out of 18445 with flag 45000/2937242 429.96/426.99 c cleaning 10109 clauses out of 20239 with flag 56002/2948244 432.08/429.02 c cleaning 11047 clauses out of 22129 with flag 68001/2960243 434.28/431.23 c cleaning 12033 clauses out of 24085 with flag 81004/2973246 436.69/433.69 c cleaning 13002 clauses out of 26048 with flag 95000/2987242 439.40/436.34 c cleaning 14014 clauses out of 28047 with flag 110001/3002243 441.91/438.88 c cleaning 15014 clauses out of 30037 with flag 126005/3018247 444.91/441.85 c cleaning 15995 clauses out of 32020 with flag 143002/3035244 448.21/445.17 c cleaning 16994 clauses out of 34023 with flag 161000/3053242 451.82/448.79 c cleaning 17997 clauses out of 36030 with flag 180001/3072243 454.72/451.64 c cleaning 19006 clauses out of 38020 with flag 200001/3092243 457.14/454.03 c cleaning 19999 clauses out of 40013 with flag 221000/3113242 459.84/456.77 c cleaning 20991 clauses out of 42014 with flag 243000/3135242 462.66/459.55 c cleaning 22002 clauses out of 44025 with flag 266002/3158244 465.27/462.14 c cleaning 23000 clauses out of 46021 with flag 290000/3182242 468.27/465.20 c cleaning 24004 clauses out of 48022 with flag 315001/3207243 471.48/468.30 c cleaning 25000 clauses out of 50021 with flag 341004/3233246 474.69/471.57 c cleaning 25991 clauses out of 52017 with flag 368000/3260242 478.09/474.94 c cleaning 26995 clauses out of 54026 with flag 396000/3288242 481.71/478.56 c cleaning 28006 clauses out of 56031 with flag 425000/3317242 485.72/482.53 c cleaning 28991 clauses out of 58025 with flag 455000/3347242 489.92/486.71 c cleaning 30006 clauses out of 60037 with flag 486003/3378245 494.05/490.89 c cleaning 30998 clauses out of 62028 with flag 518000/3410242 498.56/495.30 c Got one! Elapsed wall clock time (in seconds):495.161 498.56/495.30 o 27593251 499.56/496.36 c cleaning 33522 clauses out of 67068 with flag 5001/3446547 500.58/497.39 c cleaning 19767 clauses out of 39548 with flag 11003/3452549 501.49/498.25 c cleaning 13373 clauses out of 26780 with flag 18002/3459548 502.69/499.47 c cleaning 10686 clauses out of 21405 with flag 26000/3467546 503.80/500.51 c cleaning 9832 clauses out of 19719 with flag 35000/3476546 505.31/502.05 c cleaning 9926 clauses out of 19887 with flag 45000/3486546 507.21/503.91 c cleaning 10475 clauses out of 20963 with flag 56002/3497548 508.92/505.64 c cleaning 11233 clauses out of 22486 with flag 68000/3509546 511.32/508.04 c cleaning 12115 clauses out of 24249 with flag 81000/3522546 513.94/510.66 c cleaning 13054 clauses out of 26135 with flag 95001/3536547 516.84/513.57 c cleaning 14033 clauses out of 28082 with flag 110002/3551548 519.16/515.80 c cleaning 15015 clauses out of 30047 with flag 126000/3567546 520.86/517.59 c cleaning 16004 clauses out of 32032 with flag 143000/3584546 522.98/519.62 c cleaning 17009 clauses out of 34033 with flag 161005/3602551 525.78/522.44 c cleaning 17987 clauses out of 36019 with flag 180000/3621546 528.50/525.13 c cleaning 19006 clauses out of 38032 with flag 200000/3641546 531.41/528.08 c cleaning 19995 clauses out of 40027 with flag 221001/3662547 534.82/531.42 c cleaning 20995 clauses out of 42031 with flag 243000/3684546 537.82/534.48 c cleaning 22002 clauses out of 44039 with flag 266003/3707549 540.74/537.33 c cleaning 23009 clauses out of 46034 with flag 290000/3731546 544.74/541.33 c cleaning 24001 clauses out of 48025 with flag 315000/3756546 548.47/545.03 c cleaning 25000 clauses out of 50025 with flag 341001/3782547 552.59/549.17 c cleaning 25997 clauses out of 52026 with flag 368002/3809548 557.10/553.66 c cleaning 27002 clauses out of 54028 with flag 396001/3837547 561.63/558.14 c cleaning 27998 clauses out of 56025 with flag 425000/3866546 565.85/562.31 c cleaning 28997 clauses out of 58027 with flag 455000/3896546 569.47/565.95 c cleaning 29998 clauses out of 60030 with flag 486000/3927546 573.40/569.85 c cleaning 31002 clauses out of 62033 with flag 518001/3959547 577.51/573.97 c cleaning 32012 clauses out of 64034 with flag 551004/3992550 582.03/578.47 c cleaning 32993 clauses out of 66018 with flag 585000/4026546 586.86/583.26 c cleaning 33994 clauses out of 68025 with flag 620000/4061546 591.68/588.00 c cleaning 35003 clauses out of 70031 with flag 656000/4097546 596.79/593.18 c cleaning 36002 clauses out of 72029 with flag 693001/4134547 602.32/598.63 c cleaning 37003 clauses out of 74028 with flag 731002/4172548 607.65/603.93 c cleaning 38006 clauses out of 76023 with flag 770000/4211546 613.06/609.37 c cleaning 39002 clauses out of 78017 with flag 810000/4251546 619.58/615.88 c cleaning 40001 clauses out of 80016 with flag 851001/4292547 624.20/620.43 c Got one! Elapsed wall clock time (in seconds):620.296 624.20/620.43 o 26059120 624.80/621.01 c cleaning 37182 clauses out of 74394 with flag 5002/4326926 625.42/621.69 c cleaning 21583 clauses out of 43210 with flag 11000/4332924 626.23/622.48 c cleaning 14279 clauses out of 28628 with flag 18001/4339925 627.23/623.42 c cleaning 11135 clauses out of 22348 with flag 26000/4347924 628.37/624.57 c cleaning 10080 clauses out of 20215 with flag 35002/4356926 629.57/625.76 c cleaning 10042 clauses out of 20136 with flag 45003/4366927 630.78/627.00 c cleaning 10530 clauses out of 21092 with flag 56001/4377925 632.27/628.43 c cleaning 11262 clauses out of 22562 with flag 68001/4389925 633.58/629.79 c cleaning 12134 clauses out of 24299 with flag 81000/4402924 635.38/631.50 c cleaning 13072 clauses out of 26165 with flag 95000/4416924 637.28/633.48 c cleaning 14032 clauses out of 28071 with flag 110000/4431924 639.69/635.87 c cleaning 15014 clauses out of 30040 with flag 126001/4447925 642.19/638.38 c cleaning 16001 clauses out of 32025 with flag 143000/4464924 644.89/641.05 c cleaning 16999 clauses out of 34024 with flag 161000/4482924 647.81/643.92 c cleaning 18002 clauses out of 36025 with flag 180000/4501924 651.03/647.18 c cleaning 18979 clauses out of 38023 with flag 200000/4521924 654.59/650.67 c cleaning 20007 clauses out of 40047 with flag 221003/4542927 658.00/654.07 c cleaning 21011 clauses out of 42037 with flag 243000/4564924 661.83/657.87 c cleaning 21995 clauses out of 44028 with flag 266002/4587926 665.73/661.73 c cleaning 23001 clauses out of 46031 with flag 290000/4611924 669.63/665.60 c cleaning 23987 clauses out of 48031 with flag 315001/4636925 674.04/670.02 c cleaning 25013 clauses out of 50043 with flag 341000/4662924 678.27/674.29 c cleaning 26001 clauses out of 52030 with flag 368000/4689924 682.27/678.29 c cleaning 27000 clauses out of 54029 with flag 396000/4717924 686.87/682.80 c cleaning 27999 clauses out of 56029 with flag 425000/4746924 691.68/687.60 c cleaning 29003 clauses out of 58033 with flag 455003/4776927 696.50/692.45 c cleaning 29999 clauses out of 60027 with flag 486000/4807924 701.63/697.55 c cleaning 31009 clauses out of 62031 with flag 518003/4839927 707.04/702.98 c cleaning 32002 clauses out of 64021 with flag 551002/4872926 712.96/708.83 c cleaning 32999 clauses out of 66017 with flag 585000/4906924 718.38/714.29 c cleaning 34006 clauses out of 68022 with flag 620004/4941928 723.19/719.07 c cleaning 34999 clauses out of 70015 with flag 656003/4977927 727.80/723.69 c cleaning 36001 clauses out of 72014 with flag 693001/5014925 732.56/728.34 c cleaning 36993 clauses out of 74016 with flag 731004/5052928 739.30/735.05 c cleaning 38001 clauses out of 76019 with flag 770000/5091924 746.13/741.82 c cleaning 39000 clauses out of 78019 with flag 810001/5131925 751.64/747.33 c cleaning 39991 clauses out of 80018 with flag 851000/5172924 754.56/750.29 c Got one! Elapsed wall clock time (in seconds):750.15 754.56/750.29 o 24612368 755.25/750.99 c cleaning 32025 clauses out of 64074 with flag 5002/5196971 756.06/751.79 c cleaning 19003 clauses out of 38047 with flag 11000/5202969 757.16/752.83 c cleaning 12992 clauses out of 26047 with flag 18003/5209972 758.48/754.19 c cleaning 10522 clauses out of 21054 with flag 26002/5217971 759.58/755.25 c cleaning 9726 clauses out of 19530 with flag 35000/5226969 760.70/756.38 c cleaning 9872 clauses out of 19804 with flag 45000/5236969 762.02/757.63 c cleaning 10458 clauses out of 20933 with flag 56001/5247970 763.44/759.01 c cleaning 11217 clauses out of 22474 with flag 68000/5259969 764.95/760.56 c cleaning 12103 clauses out of 24257 with flag 81000/5272969 766.77/762.35 c cleaning 13063 clauses out of 26154 with flag 95000/5286969 768.67/764.20 c cleaning 14038 clauses out of 28093 with flag 110002/5301971 770.69/766.28 c cleaning 15013 clauses out of 30057 with flag 126004/5317973 772.99/768.55 c cleaning 16010 clauses out of 32040 with flag 143000/5334969 775.69/771.27 c cleaning 16995 clauses out of 34031 with flag 161001/5352970 778.90/774.44 c cleaning 18012 clauses out of 36035 with flag 180000/5371969 782.22/777.76 c cleaning 19006 clauses out of 38026 with flag 200003/5391972 785.44/780.97 c cleaning 20001 clauses out of 40018 with flag 221001/5412970 788.98/784.46 c cleaning 20992 clauses out of 42019 with flag 243003/5434972 792.88/788.33 c cleaning 22004 clauses out of 44024 with flag 266000/5457969 796.00/791.42 c cleaning 23000 clauses out of 46020 with flag 290000/5481969 798.92/794.31 c cleaning 24001 clauses out of 48022 with flag 315002/5506971 801.85/797.28 c cleaning 24995 clauses out of 50019 with flag 341000/5532969 805.18/800.52 c cleaning 26007 clauses out of 52026 with flag 368002/5559971 808.19/803.51 c cleaning 27002 clauses out of 54018 with flag 396001/5587970 811.61/806.94 c cleaning 27997 clauses out of 56015 with flag 425000/5616969 815.42/810.79 c cleaning 28992 clauses out of 58018 with flag 455000/5646969 819.85/815.14 c cleaning 29999 clauses out of 60027 with flag 486001/5677970 824.18/819.42 c cleaning 31002 clauses out of 62027 with flag 518000/5709969 829.39/824.64 c cleaning 32000 clauses out of 64031 with flag 551006/5742975 834.31/829.52 c cleaning 32997 clauses out of 66027 with flag 585002/5776971 839.11/834.30 c cleaning 33996 clauses out of 68028 with flag 620000/5811969 844.04/839.27 c cleaning 34992 clauses out of 70033 with flag 656001/5847970 849.55/844.73 c cleaning 36009 clauses out of 72040 with flag 693000/5884969 855.47/850.67 c cleaning 36996 clauses out of 74016 with flag 731000/5922969 860.39/855.56 c cleaning 37993 clauses out of 76020 with flag 770000/5961969 865.51/860.64 c cleaning 39006 clauses out of 78027 with flag 810000/6001969 870.32/865.49 c cleaning 39995 clauses out of 80022 with flag 851001/6042970 875.63/870.79 c cleaning 40994 clauses out of 82026 with flag 893000/6084969 881.65/876.78 c cleaning 42003 clauses out of 84032 with flag 936000/6127969 889.38/884.47 c cleaning 42996 clauses out of 86029 with flag 980000/6171969 897.68/892.79 c cleaning 44008 clauses out of 88034 with flag 1025001/6216970 906.00/901.09 c cleaning 44981 clauses out of 90025 with flag 1071000/6262969 914.44/909.40 c cleaning 46000 clauses out of 92044 with flag 1118000/6309969 923.15/918.18 c cleaning 47008 clauses out of 94049 with flag 1166005/6357974 931.17/926.19 c cleaning 47982 clauses out of 96036 with flag 1215000/6406969 938.00/932.94 c cleaning 49012 clauses out of 98054 with flag 1265000/6456969 945.61/940.59 c cleaning 50013 clauses out of 100042 with flag 1316000/6507969 953.54/948.38 c cleaning 50995 clauses out of 102029 with flag 1368000/6559969 961.25/956.09 c cleaning 52002 clauses out of 104035 with flag 1421001/6612970 969.77/964.58 c cleaning 53005 clauses out of 106032 with flag 1475000/6666969 978.58/973.36 c cleaning 54000 clauses out of 108027 with flag 1530000/6721969 978.99/973.73 c Got one! Elapsed wall clock time (in seconds):973.597 978.99/973.73 o 23454039 979.49/974.29 c cleaning 29702 clauses out of 59438 with flag 4000/6727661 980.31/975.01 c cleaning 17846 clauses out of 35736 with flag 10000/6733661 981.11/975.83 c cleaning 12423 clauses out of 24892 with flag 17002/6740663 981.94/976.70 c cleaning 10196 clauses out of 20467 with flag 25000/6748661 982.94/977.66 c cleaning 9606 clauses out of 19272 with flag 34001/6757662 984.15/978.83 c cleaning 9824 clauses out of 19665 with flag 44000/6767661 985.46/980.11 c cleaning 10408 clauses out of 20841 with flag 55000/6778661 986.76/981.49 c cleaning 11205 clauses out of 22433 with flag 67000/6790661 988.28/982.98 c cleaning 12105 clauses out of 24228 with flag 80000/6803661 989.89/984.59 c cleaning 13047 clauses out of 26123 with flag 94000/6817661 991.58/986.30 c cleaning 14038 clauses out of 28081 with flag 109005/6832666 993.51/988.14 c cleaning 15013 clauses out of 30038 with flag 125000/6848661 995.51/990.16 c cleaning 15999 clauses out of 32025 with flag 142000/6865661 997.73/992.32 c cleaning 17001 clauses out of 34026 with flag 160000/6883661 1000.15/994.77 c cleaning 18001 clauses out of 36026 with flag 179001/6902662 1002.86/997.43 c cleaning 18998 clauses out of 38024 with flag 199000/6922661 1005.67/1000.26 c cleaning 20007 clauses out of 40026 with flag 220000/6943661 1009.07/1003.68 c cleaning 21004 clauses out of 42019 with flag 242000/6965661 1012.99/1007.53 c cleaning 21990 clauses out of 44015 with flag 265000/6988661 1016.50/1011.03 c cleaning 22996 clauses out of 46026 with flag 289001/7012662 1020.70/1015.22 c cleaning 23998 clauses out of 48031 with flag 314002/7037663 1024.62/1019.12 c cleaning 25005 clauses out of 50031 with flag 340000/7063661 1028.74/1023.22 c cleaning 25987 clauses out of 52029 with flag 367003/7090664 1033.26/1027.77 c cleaning 27004 clauses out of 54039 with flag 395000/7118661 1038.26/1032.73 c cleaning 28008 clauses out of 56036 with flag 424001/7147662 1043.08/1037.58 c cleaning 29003 clauses out of 58027 with flag 454000/7177661 1047.89/1042.38 c cleaning 30000 clauses out of 60025 with flag 485001/7208662 1053.30/1047.79 c cleaning 31004 clauses out of 62025 with flag 517001/7240662 1058.75/1053.17 c cleaning 31983 clauses out of 64020 with flag 550000/7273661 1064.37/1058.75 c cleaning 33003 clauses out of 66037 with flag 584000/7307661 1070.17/1064.52 c cleaning 33995 clauses out of 68036 with flag 619002/7342663 1076.09/1070.40 c cleaning 35006 clauses out of 70039 with flag 655000/7378661 1081.60/1075.91 c cleaning 36006 clauses out of 72035 with flag 692002/7415663 1087.20/1081.53 c cleaning 37003 clauses out of 74028 with flag 730001/7453662 1090.71/1085.06 c Got one! Elapsed wall clock time (in seconds):1084.918 1090.71/1085.06 o 23347932 1091.61/1085.98 c cleaning 32552 clauses out of 65116 with flag 5002/7481781 1092.64/1086.90 c cleaning 19271 clauses out of 38563 with flag 11001/7487780 1093.55/1087.88 c cleaning 13136 clauses out of 26293 with flag 18002/7494781 1094.76/1089.07 c cleaning 10563 clauses out of 21155 with flag 26000/7502779 1094.97/1089.22 c Got one! Elapsed wall clock time (in seconds):1089.085 1094.97/1089.22 o 22381545 1095.37/1089.63 c Got one! Elapsed wall clock time (in seconds):1089.494 1095.37/1089.63 o 22359808 1095.87/1090.11 c cleaning 8282 clauses out of 16601 with flag 3001/7508803 1096.78/1091.03 c cleaning 7128 clauses out of 14319 with flag 9001/7514803 1097.69/1091.91 c cleaning 7079 clauses out of 14190 with flag 16000/7521802 1098.61/1092.90 c cleaning 7546 clauses out of 15111 with flag 24000/7529802 1099.71/1093.98 c cleaning 8277 clauses out of 16565 with flag 33000/7538802 1100.92/1095.11 c cleaning 9128 clauses out of 18289 with flag 43001/7548803 1102.13/1096.39 c cleaning 10077 clauses out of 20161 with flag 54001/7559803 1103.84/1098.08 c cleaning 11042 clauses out of 22085 with flag 66002/7571804 1105.54/1099.75 c cleaning 12014 clauses out of 24041 with flag 79000/7584802 1107.56/1101.79 c cleaning 13010 clauses out of 26027 with flag 93000/7598802 1108.97/1103.19 c Got one! Elapsed wall clock time (in seconds):1103.049 1108.97/1103.19 o 17037806 1109.87/1104.02 c Got one! Elapsed wall clock time (in seconds):1103.883 1109.87/1104.02 o 16830739 1109.97/1104.18 c cleaning 12602 clauses out of 25211 with flag 1001/7611076 1110.80/1104.91 c cleaning 9297 clauses out of 18608 with flag 7000/7617075 1111.51/1105.67 c cleaning 8153 clauses out of 16312 with flag 14001/7624076 1112.42/1106.57 c cleaning 8057 clauses out of 16158 with flag 22000/7632075 1113.53/1107.62 c cleaning 8537 clauses out of 17101 with flag 31000/7641075 1114.63/1108.77 c cleaning 9268 clauses out of 18566 with flag 41002/7651077 1116.33/1110.44 c cleaning 10140 clauses out of 20298 with flag 52002/7662077 1117.74/1111.83 c cleaning 11068 clauses out of 22156 with flag 64000/7674075 1119.26/1113.32 c cleaning 12026 clauses out of 24088 with flag 77000/7687075 1120.77/1114.89 c cleaning 13015 clauses out of 26063 with flag 91001/7701076 1122.38/1116.50 c cleaning 14007 clauses out of 28047 with flag 106000/7716075 1123.58/1117.63 c Got one! Elapsed wall clock time (in seconds):1117.488 1123.58/1117.63 o 10563116 1124.08/1118.17 c cleaning 13606 clauses out of 27218 with flag 5000/7729293 1124.79/1118.83 c cleaning 9792 clauses out of 19614 with flag 11002/7735295 1125.61/1119.69 c cleaning 8382 clauses out of 16820 with flag 18000/7742293 1126.85/1120.84 c cleaning 8179 clauses out of 16439 with flag 26001/7750294 1128.06/1122.04 c cleaning 8617 clauses out of 17259 with flag 35000/7759293 1129.26/1123.29 c cleaning 9305 clauses out of 18642 with flag 45000/7769293 1130.89/1124.85 c cleaning 10158 clauses out of 20339 with flag 56002/7780295 1132.51/1126.48 c cleaning 11073 clauses out of 22179 with flag 68000/7792293 1134.32/1128.30 c cleaning 12039 clauses out of 24106 with flag 81000/7805293 1136.33/1130.22 c cleaning 13029 clauses out of 26069 with flag 95002/7819295 1138.24/1132.10 c cleaning 14005 clauses out of 28038 with flag 110000/7834293 1140.06/1133.99 c cleaning 15006 clauses out of 30034 with flag 126001/7850294 1142.27/1136.20 c cleaning 15999 clauses out of 32027 with flag 143000/7867293 1145.09/1138.96 c cleaning 17004 clauses out of 34022 with flag 161000/7885293 1145.40/1139.20 c Got one! Elapsed wall clock time (in seconds):1139.06 1145.40/1139.20 o 9851657 1146.10/1139.92 c cleaning 11376 clauses out of 22780 with flag 4001/7891064 1146.23/1140.05 c Got one! Elapsed wall clock time (in seconds):1139.918 1146.23/1140.05 o 9847734 1147.23/1141.01 c cleaning 8416 clauses out of 16883 with flag 5000/7896557 1148.45/1142.26 c cleaning 7196 clauses out of 14467 with flag 11000/7902557 1149.86/1143.61 c cleaning 7128 clauses out of 14272 with flag 18001/7909558 1151.37/1145.15 c cleaning 7560 clauses out of 15147 with flag 26004/7917561 1153.09/1146.85 c cleaning 8280 clauses out of 16583 with flag 35000/7926557 1155.11/1148.80 c cleaning 9144 clauses out of 18305 with flag 45002/7936559 1157.23/1150.95 c cleaning 10058 clauses out of 20159 with flag 56000/7947557 1157.55/1151.21 c Got one! Elapsed wall clock time (in seconds):1151.076 1157.55/1151.21 o 9844695 1158.24/1151.93 c cleaning 7538 clauses out of 15123 with flag 4000/7952583 1159.45/1153.10 c cleaning 6756 clauses out of 13585 with flag 10000/7958583 1160.86/1154.50 c cleaning 6873 clauses out of 13829 with flag 17000/7965583 1162.36/1156.09 c cleaning 7458 clauses out of 14956 with flag 25000/7973583 1164.17/1157.86 c cleaning 8240 clauses out of 16498 with flag 34000/7982583 1166.08/1159.78 c cleaning 9120 clauses out of 18258 with flag 44000/7992583 1168.29/1161.99 c cleaning 10066 clauses out of 20143 with flag 55005/8003588 1170.72/1164.38 c cleaning 11024 clauses out of 22072 with flag 67000/8015583 1173.33/1166.95 c cleaning 11998 clauses out of 24048 with flag 80000/8028583 1176.15/1169.72 c cleaning 13012 clauses out of 26050 with flag 94000/8042583 1179.16/1172.75 c cleaning 14011 clauses out of 28038 with flag 109000/8057583 1182.56/1176.12 c cleaning 15000 clauses out of 30027 with flag 125000/8073583 1185.57/1179.20 c Got one! Elapsed wall clock time (in seconds):1179.062 1185.57/1179.20 o 9629536 1186.67/1180.21 c cleaning 17440 clauses out of 34897 with flag 5000/8093466 1187.89/1181.42 c cleaning 11720 clauses out of 23457 with flag 11000/8099466 1189.31/1182.80 c cleaning 9368 clauses out of 18739 with flag 18002/8106468 1190.91/1184.41 c cleaning 8670 clauses out of 17370 with flag 26001/8114467 1192.62/1186.19 c cleaning 8820 clauses out of 17699 with flag 35000/8123466 1194.53/1188.03 c cleaning 9423 clauses out of 18880 with flag 45001/8133467 1196.64/1190.13 c cleaning 10202 clauses out of 20456 with flag 56000/8144466 1198.85/1192.39 c cleaning 11113 clauses out of 22254 with flag 68000/8156466 1201.55/1195.02 c cleaning 12059 clauses out of 24141 with flag 81000/8169466 1204.36/1197.85 c cleaning 13012 clauses out of 26082 with flag 95000/8183466 1207.29/1200.70 c cleaning 14022 clauses out of 28072 with flag 110002/8198468 1210.30/1203.77 c cleaning 15013 clauses out of 30048 with flag 126000/8214466 1213.60/1207.09 c cleaning 16001 clauses out of 32035 with flag 143000/8231466 1214.71/1208.18 c Got one! Elapsed wall clock time (in seconds):1208.047 1214.71/1208.18 o 9624327 1214.81/1208.26 c Got one! Elapsed wall clock time (in seconds):1208.121 1214.81/1208.26 o 9598679 1215.71/1209.16 c cleaning 13252 clauses out of 26541 with flag 5000/8241973 1216.92/1210.30 c cleaning 9633 clauses out of 19290 with flag 11001/8247974 1218.12/1211.58 c Got one! Elapsed wall clock time (in seconds):1211.443 1218.12/1211.58 o 9584177 1219.12/1212.50 c cleaning 10755 clauses out of 21553 with flag 5000/8259870 1220.23/1213.66 c cleaning 8377 clauses out of 16798 with flag 11000/8265870 1221.66/1215.01 c cleaning 7679 clauses out of 15421 with flag 18000/8272870 1223.30/1216.62 c cleaning 7850 clauses out of 15742 with flag 26000/8280870 1225.11/1218.44 c cleaning 8432 clauses out of 16894 with flag 35002/8289872 1227.04/1220.39 c cleaning 9213 clauses out of 18460 with flag 45000/8299870 1229.17/1222.49 c cleaning 10107 clauses out of 20250 with flag 56003/8310873 1231.59/1224.83 c cleaning 11065 clauses out of 22141 with flag 68001/8322871 1234.51/1227.72 c cleaning 12016 clauses out of 24076 with flag 81001/8335871 1234.62/1227.84 c Got one! Elapsed wall clock time (in seconds):1227.708 1234.62/1227.84 o 9542987 1235.52/1228.78 c cleaning 8695 clauses out of 17415 with flag 5000/8341226 1236.73/1229.93 c cleaning 7326 clauses out of 14720 with flag 11000/8347226 1238.04/1231.24 c cleaning 7161 clauses out of 14394 with flag 18000/8354226 1239.65/1232.87 c cleaning 7613 clauses out of 15233 with flag 26000/8362226 1241.45/1234.62 c cleaning 8296 clauses out of 16621 with flag 35001/8371227 1243.36/1236.53 c cleaning 9149 clauses out of 18324 with flag 45000/8381226 1245.48/1238.67 c cleaning 10077 clauses out of 20178 with flag 56003/8392229 1247.77/1240.98 c cleaning 11032 clauses out of 22098 with flag 68000/8404226 1250.29/1243.45 c cleaning 12027 clauses out of 24068 with flag 81002/8417228 1252.99/1246.15 c cleaning 13000 clauses out of 26040 with flag 95001/8431227 1255.89/1249.08 c cleaning 14008 clauses out of 28039 with flag 110000/8446226 1259.00/1252.12 c cleaning 15002 clauses out of 30031 with flag 126000/8462226 1262.21/1255.38 c cleaning 16002 clauses out of 32029 with flag 143000/8479226 1262.93/1256.04 c Got one! Elapsed wall clock time (in seconds):1255.903 1262.93/1256.04 o 9540577 1263.33/1256.42 c cleaning 10721 clauses out of 21454 with flag 2000/8484653 1264.54/1257.66 c cleaning 8339 clauses out of 16734 with flag 8001/8490654 1265.96/1259.07 c cleaning 7666 clauses out of 15395 with flag 15001/8497654 1267.57/1260.68 c cleaning 7856 clauses out of 15728 with flag 23000/8505653 1269.39/1262.47 c cleaning 8418 clauses out of 16873 with flag 32001/8514654 1271.49/1264.52 c cleaning 9216 clauses out of 18454 with flag 42000/8524653 1273.59/1266.68 c cleaning 10097 clauses out of 20238 with flag 53000/8535653 1276.01/1269.07 c cleaning 11051 clauses out of 22141 with flag 65000/8547653 1278.54/1271.59 c cleaning 12025 clauses out of 24090 with flag 78000/8560653 1281.33/1274.32 c cleaning 13014 clauses out of 26066 with flag 92001/8574654 1284.35/1277.32 c cleaning 14020 clauses out of 28051 with flag 107000/8589653 1287.66/1280.60 c cleaning 15002 clauses out of 30031 with flag 123000/8605653 1290.87/1283.89 c cleaning 15998 clauses out of 32029 with flag 140000/8622653 1294.67/1287.63 c cleaning 17002 clauses out of 34031 with flag 158000/8640653 1298.58/1291.54 c cleaning 18002 clauses out of 36029 with flag 177000/8659653 1302.71/1295.63 c cleaning 18999 clauses out of 38028 with flag 197001/8679654 1307.11/1300.07 c cleaning 19996 clauses out of 40029 with flag 218001/8700654 1311.72/1304.61 c Got one! Elapsed wall clock time (in seconds):1304.475 1311.72/1304.61 o 9540474 1312.61/1305.59 c cleaning 23352 clauses out of 46723 with flag 5003/8727344 1313.83/1306.76 c cleaning 14677 clauses out of 29370 with flag 11002/8733343 1315.14/1308.08 c cleaning 10829 clauses out of 21691 with flag 18000/8740341 1316.65/1309.51 c cleaning 9393 clauses out of 18862 with flag 26000/8748341 1318.30/1311.11 c Got one! Elapsed wall clock time (in seconds):1310.972 1318.30/1311.11 o 9516648 1319.19/1312.08 c cleaning 11394 clauses out of 22805 with flag 5000/8761677 1320.41/1313.30 c cleaning 8668 clauses out of 17411 with flag 11000/8767677 1321.81/1314.63 c cleaning 7853 clauses out of 15743 with flag 18000/8774677 1323.41/1316.24 c cleaning 7898 clauses out of 15890 with flag 26000/8782677 1325.12/1317.94 c cleaning 8477 clauses out of 16992 with flag 35000/8791677 1325.23/1318.05 c Got one! Elapsed wall clock time (in seconds):1317.917 1325.23/1318.05 o 9510184 1326.14/1318.97 c cleaning 6897 clauses out of 13830 with flag 5000/8796992 1327.35/1320.18 c cleaning 6434 clauses out of 12934 with flag 11001/8802993 1328.85/1321.62 c cleaning 6745 clauses out of 13499 with flag 18000/8809992 1330.36/1323.20 c cleaning 7362 clauses out of 14754 with flag 26000/8817992 1332.17/1324.99 c cleaning 8187 clauses out of 16393 with flag 35001/8826993 1334.29/1327.03 c cleaning 9092 clauses out of 18205 with flag 45000/8836992 1336.49/1329.22 c cleaning 10037 clauses out of 20113 with flag 56000/8847992 1338.91/1331.64 c cleaning 11027 clauses out of 22076 with flag 68000/8859992 1341.41/1334.20 c cleaning 12006 clauses out of 24049 with flag 81000/8872992 1344.32/1337.07 c cleaning 13009 clauses out of 26044 with flag 95001/8886993 1347.54/1340.29 c cleaning 14007 clauses out of 28035 with flag 110001/8901993 1350.86/1343.57 c cleaning 15005 clauses out of 30029 with flag 126002/8917994 1354.39/1347.02 c cleaning 15997 clauses out of 32023 with flag 143001/8934993 1358.19/1350.83 c cleaning 16992 clauses out of 34025 with flag 161000/8952992 1362.10/1354.72 c cleaning 18004 clauses out of 36035 with flag 180002/8971994 1366.40/1359.08 c cleaning 19013 clauses out of 38030 with flag 200001/8991993 1371.01/1363.62 c cleaning 19986 clauses out of 40016 with flag 221000/9012992 1375.82/1368.43 c cleaning 21007 clauses out of 42030 with flag 243000/9034992 1380.53/1373.18 c cleaning 21997 clauses out of 44023 with flag 266000/9057992 1385.45/1378.04 c cleaning 23011 clauses out of 46028 with flag 290002/9081994 1389.97/1382.57 c Got one! Elapsed wall clock time (in seconds):1382.432 1389.97/1382.57 o 8345910 1390.67/1383.30 c cleaning 24951 clauses out of 49929 with flag 5001/9109001 1391.60/1384.17 c cleaning 15474 clauses out of 30977 with flag 11000/9115000 1392.81/1385.32 c cleaning 11225 clauses out of 22503 with flag 18000/9122000 1394.13/1386.66 c cleaning 9620 clauses out of 19279 with flag 26001/9130001 1395.35/1387.86 c cleaning 9319 clauses out of 18660 with flag 35002/9139002 1396.47/1388.95 c cleaning 9664 clauses out of 19339 with flag 45000/9149000 1397.99/1390.42 c cleaning 10320 clauses out of 20675 with flag 56000/9160000 1399.60/1392.08 c cleaning 11165 clauses out of 22356 with flag 68001/9172001 1401.80/1394.23 c cleaning 12081 clauses out of 24190 with flag 81000/9185000 1404.32/1396.73 c cleaning 13041 clauses out of 26112 with flag 95003/9199003 1406.74/1399.15 c cleaning 14028 clauses out of 28068 with flag 110000/9214000 1409.05/1401.46 c cleaning 15009 clauses out of 30041 with flag 126001/9230001 1411.87/1404.26 c cleaning 15997 clauses out of 32031 with flag 143000/9247000 1415.08/1407.41 c cleaning 17006 clauses out of 34034 with flag 161000/9265000 1418.30/1410.61 c cleaning 18009 clauses out of 36029 with flag 180001/9284001 1421.80/1414.13 c cleaning 19005 clauses out of 38020 with flag 200001/9304001 1425.31/1417.70 c cleaning 19995 clauses out of 40016 with flag 221002/9325002 1429.23/1421.53 c cleaning 20998 clauses out of 42021 with flag 243002/9347002 1433.37/1425.63 c cleaning 22002 clauses out of 44022 with flag 266001/9370001 1437.79/1430.05 c cleaning 22994 clauses out of 46019 with flag 290000/9394000 1441.99/1434.28 c cleaning 24008 clauses out of 48026 with flag 315001/9419001 1446.11/1438.38 c cleaning 25003 clauses out of 50019 with flag 341002/9445002 1450.63/1442.88 c cleaning 25998 clauses out of 52015 with flag 368001/9472001 1455.26/1447.42 c cleaning 26997 clauses out of 54017 with flag 396001/9500001 1460.27/1452.42 c cleaning 27984 clauses out of 56019 with flag 425000/9529000 1465.48/1457.63 c cleaning 29002 clauses out of 58037 with flag 455002/9559002 1470.80/1462.95 c cleaning 30002 clauses out of 60035 with flag 486002/9590002 1473.03/1465.17 c Got one! Elapsed wall clock time (in seconds):1465.029 1473.03/1465.17 o 8134089 1473.32/1465.44 c Got one! Elapsed wall clock time (in seconds):1465.302 1473.32/1465.44 o 8098825 1473.72/1465.81 c Got one! Elapsed wall clock time (in seconds):1465.677 1473.72/1465.81 o 8082083 1473.82/1465.97 c Got one! Elapsed wall clock time (in seconds):1465.835 1473.82/1465.97 o 8074285 1474.23/1466.39 c cleaning 24130 clauses out of 48268 with flag 2001/9609190 1475.45/1467.50 c cleaning 15053 clauses out of 30137 with flag 8000/9615189 1476.66/1468.78 c cleaning 11008 clauses out of 22084 with flag 15000/9622189 1478.06/1470.17 c cleaning 9529 clauses out of 19078 with flag 23002/9630191 1479.47/1471.54 c Got one! Elapsed wall clock time (in seconds):1471.406 1479.47/1471.54 o 8073692 1479.47/1471.59 c Got one! Elapsed wall clock time (in seconds):1471.453 1479.47/1471.59 o 8066830 1480.30/1472.34 c Got one! Elapsed wall clock time (in seconds):1472.203 1480.30/1472.34 o 8060487 1480.70/1472.70 c cleaning 11637 clauses out of 23288 with flag 2002/9643930 1480.93/1472.98 c Got one! Elapsed wall clock time (in seconds):1472.839 1480.93/1472.98 o 8037582 1481.02/1473.02 c Got one! Elapsed wall clock time (in seconds):1472.878 1481.02/1473.02 o 7972709 1481.72/1473.75 c cleaning 8555 clauses out of 17173 with flag 4000/9649452 1482.94/1474.90 c cleaning 7281 clauses out of 14618 with flag 10000/9655452 1484.19/1476.18 c cleaning 7141 clauses out of 14337 with flag 17000/9662452 1485.80/1477.73 c cleaning 7589 clauses out of 15196 with flag 25000/9670452 1487.51/1479.45 c cleaning 8292 clauses out of 16607 with flag 34000/9679452 1489.41/1481.38 c cleaning 9137 clauses out of 18315 with flag 44000/9689452 1491.51/1483.50 c cleaning 10077 clauses out of 20178 with flag 55000/9700452 1493.83/1485.75 c cleaning 11042 clauses out of 22103 with flag 67002/9712454 1496.24/1488.19 c cleaning 12019 clauses out of 24059 with flag 80000/9725452 1498.94/1490.80 c cleaning 13019 clauses out of 26041 with flag 94001/9739453 1501.76/1493.67 c cleaning 13997 clauses out of 28023 with flag 109002/9754454 1504.78/1496.68 c cleaning 15006 clauses out of 30024 with flag 125000/9770452 1508.09/1499.93 c cleaning 16001 clauses out of 32018 with flag 142000/9787452 1511.82/1503.61 c cleaning 16998 clauses out of 34017 with flag 160000/9805452 1515.54/1507.31 c cleaning 17995 clauses out of 36020 with flag 179001/9824453 1519.36/1511.19 c cleaning 19003 clauses out of 38025 with flag 199001/9844453 1523.77/1515.51 c cleaning 19998 clauses out of 40021 with flag 220000/9865452 1528.19/1519.90 c cleaning 20999 clauses out of 42026 with flag 242003/9887455 1532.09/1523.81 c cleaning 21994 clauses out of 44024 with flag 265000/9910452 1535.61/1527.31 c cleaning 22999 clauses out of 46030 with flag 289000/9934452 1539.24/1530.90 c cleaning 24011 clauses out of 48033 with flag 314002/9959454 1542.85/1534.54 c cleaning 24998 clauses out of 50021 with flag 340001/9985453 1546.95/1538.63 c cleaning 26002 clauses out of 52023 with flag 367001/10012453 1551.26/1542.92 c cleaning 26990 clauses out of 54020 with flag 395000/10040452 1555.77/1547.48 c cleaning 28001 clauses out of 56032 with flag 424002/10069454 1560.79/1552.45 c cleaning 28992 clauses out of 58030 with flag 454001/10099453 1565.59/1557.22 c cleaning 30008 clauses out of 60037 with flag 485000/10130452 1570.31/1561.96 c cleaning 30995 clauses out of 62031 with flag 517002/10162454 1575.52/1567.14 c cleaning 32002 clauses out of 64034 with flag 550000/10195452 1580.84/1572.42 c cleaning 32998 clauses out of 66033 with flag 584001/10229453 1586.35/1577.97 c cleaning 34012 clauses out of 68035 with flag 619001/10264453 1592.48/1584.06 c cleaning 35002 clauses out of 70024 with flag 655002/10300454 1599.29/1590.82 c cleaning 35985 clauses out of 72020 with flag 692000/10337452 1602.42/1593.98 c Got one! Elapsed wall clock time (in seconds):1593.84 1602.42/1593.98 o 7971470 1603.32/1594.86 c cleaning 29283 clauses out of 58578 with flag 5001/10359995 1604.23/1595.76 c Got one! Elapsed wall clock time (in seconds):1595.622 1604.23/1595.76 o 7971422 1604.44/1595.98 c cleaning 17627 clauses out of 35269 with flag 1000/10365969 1605.55/1597.07 c cleaning 11804 clauses out of 23642 with flag 7000/10371969 1606.86/1598.36 c cleaning 9389 clauses out of 18838 with flag 14000/10378969 1608.16/1599.63 c cleaning 8701 clauses out of 17450 with flag 22001/10386970 1609.57/1601.04 c cleaning 8867 clauses out of 17749 with flag 31001/10395970 1611.20/1602.61 c cleaning 9424 clauses out of 18881 with flag 41000/10405969 1613.00/1604.42 c cleaning 10221 clauses out of 20458 with flag 52001/10416970 1614.91/1606.39 c cleaning 11102 clauses out of 22236 with flag 64000/10428969 1617.23/1608.62 c cleaning 12056 clauses out of 24134 with flag 77000/10441969 1619.55/1610.97 c cleaning 13029 clauses out of 26079 with flag 91001/10455970 1622.05/1613.44 c cleaning 14009 clauses out of 28049 with flag 106000/10470969 1624.76/1616.11 c cleaning 15006 clauses out of 30041 with flag 122001/10486970 1627.58/1618.96 c cleaning 16000 clauses out of 32035 with flag 139001/10503970 1630.68/1622.05 c cleaning 17010 clauses out of 34035 with flag 157001/10521970 1634.01/1625.30 c cleaning 17993 clauses out of 36024 with flag 176000/10540969 1637.53/1628.80 c cleaning 18994 clauses out of 38032 with flag 196001/10560970 1641.14/1632.46 c cleaning 20003 clauses out of 40038 with flag 217001/10581970 1644.94/1636.26 c cleaning 20999 clauses out of 42035 with flag 239001/10603970 1648.86/1640.14 c cleaning 21998 clauses out of 44035 with flag 262000/10626969 1653.18/1644.41 c cleaning 23006 clauses out of 46038 with flag 286001/10650970 1657.60/1648.84 c cleaning 23997 clauses out of 48033 with flag 311002/10675971 1662.20/1653.42 c cleaning 25008 clauses out of 50036 with flag 337002/10701971 1666.72/1657.98 c cleaning 26004 clauses out of 52029 with flag 364003/10728972 1671.25/1662.43 c cleaning 27001 clauses out of 54023 with flag 392001/10756970 1675.76/1666.99 c cleaning 27995 clauses out of 56022 with flag 421001/10785970 1680.97/1672.16 c cleaning 29002 clauses out of 58030 with flag 451004/10815973 1686.38/1677.58 c cleaning 29996 clauses out of 60024 with flag 482000/10846969 1691.79/1682.98 c cleaning 31001 clauses out of 62028 with flag 514000/10878969 1697.39/1688.56 c cleaning 31996 clauses out of 64027 with flag 547000/10911969 1703.41/1694.51 c cleaning 32991 clauses out of 66031 with flag 581000/10945969 1709.33/1700.48 c cleaning 34007 clauses out of 68041 with flag 616001/10980970 1715.36/1706.45 c cleaning 35007 clauses out of 70033 with flag 652000/11016969 1721.46/1712.53 c cleaning 36004 clauses out of 72027 with flag 689001/11053970 1727.58/1718.63 c cleaning 36996 clauses out of 74022 with flag 727000/11091969 1734.99/1726.00 c cleaning 37995 clauses out of 76026 with flag 766000/11130969 1742.01/1733.06 c cleaning 38997 clauses out of 78032 with flag 806001/11170970 1749.25/1740.26 c cleaning 40005 clauses out of 80034 with flag 847000/11211969 1756.85/1747.88 c cleaning 40995 clauses out of 82029 with flag 889000/11253969 1764.47/1755.45 c cleaning 41994 clauses out of 84034 with flag 932000/11296969 1772.69/1763.63 c cleaning 43012 clauses out of 86040 with flag 976000/11340969 1781.12/1772.10 c cleaning 43993 clauses out of 88029 with flag 1021001/11385970 1789.03/1779.92 c cleaning 45007 clauses out of 90036 with flag 1067001/11431970 1796.64/1787.54 c Got one! Elapsed wall clock time (in seconds):1787.407 1796.64/1787.54 o 7952348 1797.74/1788.64 c cleaning 48205 clauses out of 96422 with flag 5001/11483420 1798.76/1789.64 c cleaning 27105 clauses out of 54217 with flag 11001/11489420 1799.97/1790.80 c cleaning 17048 clauses out of 34112 with flag 18001/11496420 1800.10/1790.91 c starts : 359 1800.10/1790.91 c conflicts : 11496841 1800.10/1790.91 c decisions : 21236584 1800.10/1790.91 c propagations : 1616854662 1800.10/1790.91 c inspects : 10421840361 1800.10/1790.91 c shortcuts : 0 1800.10/1790.91 c learnt literals : 80 1800.10/1790.91 c learnt binary clauses : 1642 1800.10/1790.91 c learnt ternary clauses : 25605 1800.10/1790.91 c learnt constraints : 11496761 1800.10/1790.91 c ignored constraints : 0 1800.10/1790.91 c root simplifications : 439 1800.10/1790.91 c removed literals (reason simplification) : 156326306 1800.10/1790.91 c reason swapping (by a shorter reason) : 0 1800.10/1790.91 c Calls to reduceDB : 610 1800.10/1790.91 c number of reductions to clauses (during analyze) : 0 1800.10/1790.91 c number of learned constraints concerned by reduction : 0 1800.10/1790.91 c number of learning phase by resolution : 0 1800.10/1790.91 c number of learning phase by cutting planes : 0 1800.10/1790.91 c speed (assignments/second) : 903041.4548257287 1800.10/1790.91 c non guided choices 17732 1800.10/1790.92 c learnt constraints type 1800.10/1790.92 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 997 1800.10/1790.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16553 1800.10/1790.92 c constraints type 1800.10/1790.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1800.10/1790.92 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1800.10/1790.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.10/1790.92 c ignored satisfied constraints => 3 1800.10/1790.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1800.10/1790.92 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076 1800.10/1790.92 c 15630 constraints processed. 1800.10/1790.92 s SATISFIABLE 1800.10/1790.93 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 x6576 -x6577 -x6578 -x6579 -x6580 x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 -x6603 x6604 -x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -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 1800.10/1790.94 c objective function=7952348 1800.10/1790.94 c Total wall clock time (in seconds): 1790.802
OK 7952348
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-3710488-1338252963/watcher-3710488-1338252963 -o /tmp/evaluation-result-3710488-1338252963/solver-3710488-1338252963 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710488-1338252963.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.00 3/194 3901 /proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/3901/stat : 3901 (java) D 3899 3901 2017 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 291421228 9515008 175 33554432000 1073741824 1073778376 140735620389424 140735620372152 240565175184 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/3901/statm: 2323 175 133 9 0 71 0 [startup+0.0820079 s] /proc/loadavg: 2.08 2.04 2.00 3/194 3901 /proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9558440 CPUtime=0.05 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 3330 0 1 0 5 0 0 0 20 0 18 0 291421228 9787842560 4027 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2389610 4027 1766 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.10033 s] /proc/loadavg: 2.08 2.04 2.00 3/194 3901 /proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9558440 CPUtime=0.08 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 3638 0 1 0 7 1 0 0 20 0 18 0 291421228 9787842560 4335 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2389610 4346 1867 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300287 s] /proc/loadavg: 2.08 2.04 2.00 3/194 3901 /proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9558440 CPUtime=0.45 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 5201 0 1 0 44 1 0 0 20 0 18 0 291421228 9787842560 8708 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2389610 8708 2223 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558440 [startup+0.700298 s] /proc/loadavg: 2.08 2.04 2.00 3/194 3901 /proc/meminfo: memFree=30083772/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=1.38 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 7996 0 1 0 135 3 0 0 20 0 19 0 291421228 9856004096 17638 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 17638 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9625004 [startup+1.50084 s] /proc/loadavg: 2.08 2.03 2.00 3/213 3920 /proc/meminfo: memFree=30022588/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=2.28 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8079 0 1 0 225 3 0 0 20 0 19 0 291421228 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 18177 2264 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2583 0 1 0 144 2 0 0 20 0 19 0 291421229 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631928168888 140631800556376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.36 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1531 0 0 0 36 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2769 0 0 0 40 2 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 18177 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 2.08 2.03 2.00 5/213 3920 /proc/meminfo: memFree=30019540/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=3.95 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8350 0 1 0 391 4 0 0 20 0 19 0 291421228 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 21301 2289 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=3.03 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2586 0 1 0 301 2 0 0 20 0 19 0 291421229 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631928168936 140631800483377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1743 0 0 0 39 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2775 0 0 0 43 2 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 21301 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 9625004 [startup+6.3007 s] /proc/loadavg: 2.08 2.03 2.00 3/213 3920 /proc/meminfo: memFree=30003032/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=7.21 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 8371 0 1 0 717 4 0 0 20 0 19 0 291421228 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 22151 2289 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=6.18 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 2589 0 1 0 616 2 0 0 20 0 19 0 291421229 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631928168712 140631800490787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291421230 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 1747 0 0 0 42 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 2778 0 0 0 45 2 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 22151 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 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... # ################ [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 96 0 0 0 25 8 0 0 20 0 19 0 291421235 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36319 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1731.29 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/214 4018 /proc/meminfo: memFree=29468032/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=1791.44 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11571 0 1 0 179110 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 36330 2292 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1749.63 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3198 0 1 0 174933 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800436004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.48 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 144 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 147 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 152 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 147 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.57 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 154 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.54 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 152 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=23.84 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2382 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.9 s] /proc/loadavg: 2.09 2.03 2.01 3/214 4018 /proc/meminfo: memFree=29467908/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11574 0 1 0 179976 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 36330 2292 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1758.02 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3201 0 1 0 175772 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800485661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 145 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.51 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 148 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 148 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.58 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 155 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 154 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=24.01 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2399 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.9 s] /proc/loadavg: 2.09 2.03 2.01 3/214 4018 /proc/meminfo: memFree=29467908/32873844 swapFree=7116/7116 [pid=3901] ppid=3899 vsize=9625004 CPUtime=1800.1 cores=1,3,5,7 /proc/3901/stat : 3901 (java) S 3899 3901 2017 0 -1 4202496 11574 0 1 0 179976 34 0 0 20 0 19 0 291421228 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140735893633408 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/3901/statm: 2406251 36330 2292 9 0 2396937 0 [pid=3901/tid=3903] ppid=3899 vsize=9625004 CPUtime=1758.02 cores=1,3,5,7 /proc/3901/task/3903/stat : 3903 (java) R 3899 3901 2017 0 -1 4202560 3201 0 1 0 175772 30 0 0 20 0 19 0 291421229 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631928168784 140631800485661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3904] ppid=3899 vsize=9625004 CPUtime=1.49 cores=1,3,5,7 /proc/3901/task/3904/stat : 3904 (java) S 3899 3901 2017 0 -1 4202560 137 0 0 0 145 4 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631772228008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3905] ppid=3899 vsize=9625004 CPUtime=1.42 cores=1,3,5,7 /proc/3901/task/3905/stat : 3905 (java) S 3899 3901 2017 0 -1 4202560 148 0 0 0 140 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631771175464 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3906] ppid=3899 vsize=9625004 CPUtime=1.51 cores=1,3,5,7 /proc/3901/task/3906/stat : 3906 (java) S 3899 3901 2017 0 -1 4202560 110 0 0 0 148 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631770122408 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3907] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7 /proc/3901/task/3907/stat : 3907 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 153 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631769069864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3908] ppid=3899 vsize=9625004 CPUtime=1.5 cores=1,3,5,7 /proc/3901/task/3908/stat : 3908 (java) S 3899 3901 2017 0 -1 4202560 30 0 0 0 148 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631768017832 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3909] ppid=3899 vsize=9625004 CPUtime=1.58 cores=1,3,5,7 /proc/3901/task/3909/stat : 3909 (java) S 3899 3901 2017 0 -1 4202560 29 0 0 0 155 3 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631766965288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3910] ppid=3899 vsize=9625004 CPUtime=1.55 cores=1,3,5,7 /proc/3901/task/3910/stat : 3910 (java) S 3899 3901 2017 0 -1 4202560 58 0 0 0 153 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631765912232 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3901/tid=3911] ppid=3899 vsize=9625004 CPUtime=1.56 cores=1,3,5,7 /proc/3901/task/3911/stat : 3911 (java) S 3899 3901 2017 0 -1 4202560 32 0 0 0 154 2 0 0 20 0 19 0 291421230 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631764859688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3912] ppid=3899 vsize=9625004 CPUtime=24.01 cores=1,3,5,7 /proc/3901/task/3912/stat : 3912 (java) S 3899 3901 2017 0 -1 4202560 178 0 0 0 2399 2 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631752448360 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3913] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3913/stat : 3913 (java) S 3899 3901 2017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631751394680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3914] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3914/stat : 3914 (java) S 3899 3901 2017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291421232 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631750341512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3915] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3915/stat : 3915 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631749290256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3916] ppid=3899 vsize=9625004 CPUtime=0.62 cores=1,3,5,7 /proc/3901/task/3916/stat : 3916 (java) S 3899 3901 2017 0 -1 4202560 2655 0 0 0 62 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631748238136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3917] ppid=3899 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/3901/task/3917/stat : 3917 (java) S 3899 3901 2017 0 -1 4202560 3682 0 0 0 64 2 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631747185592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3901/tid=3918] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3918/stat : 3918 (java) S 3899 3901 2017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631746132728 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3901/tid=3919] ppid=3899 vsize=9625004 CPUtime=0.35 cores=1,3,5,7 /proc/3901/task/3919/stat : 3919 (java) S 3899 3901 2017 0 -1 4202560 100 0 0 0 27 8 0 0 20 0 19 0 291421235 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631745080392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3901/tid=3920] ppid=3899 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/3901/task/3920/stat : 3920 (java) S 3899 3901 2017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291421274 9856004096 36330 33554432000 1073741824 1073778376 140735893642272 140631743964200 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3901 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=420054 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=773882 # CPU time returned by wait4() is 1796.19 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1790.95 CPU time (s): 1800.1 CPU user time (s): 1799.76 CPU system time (s): 0.34 CPU usage (%): 100.511 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.42 system time used= 0.773882 maximum resident set size= 145452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11608 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 54328 involuntary context switches= 51867 runsolver used 6.11007 second user time and 14.7238 second system time The end
Begin job on node146 at 2012-05-29 02:56:03 IDJOB=3710488 IDBENCH=92716 IDSOLVER=2289 FILE ID=node146/3710488-1338252963 RUNJOBID= node146-1338229576-2034 PBS_JOBID= 14624646 Free space on /tmp= 71184 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_9_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-3710488-1338252963/watcher-3710488-1338252963 -o /tmp/evaluation-result-3710488-1338252963/solver-3710488-1338252963 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710488-1338252963.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dceb2101253472cec95359fbc82f66a4 RANDOM SEED=94443576 node146.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 : 2667.034 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 : 5334.06 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 : 2667.034 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.92 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 : 2667.034 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 : 2667.034 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 : 2667.034 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.91 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 : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 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 : 2667.034 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30084300 kB Buffers: 432796 kB Cached: 1017204 kB SwapCached: 2180 kB Active: 1485432 kB Inactive: 430892 kB Active(anon): 466136 kB Inactive(anon): 2668 kB Active(file): 1019296 kB Inactive(file): 428224 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100344 kB Dirty: 1232 kB Writeback: 0 kB AnonPages: 472712 kB Mapped: 17576 kB Shmem: 0 kB Slab: 730744 kB SReclaimable: 171980 kB SUnreclaim: 558764 kB KernelStack: 1600 kB PageTables: 5188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 825660 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 448512 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= 71160 MiB End job on node146 at 2012-05-29 03:25:56