Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 1800.12 | 927.272 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_8_mh.opb |
| MD5SUM | 3e5afedaafc5782c8b438b74f31dd2ae |
| 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 | 4415664 |
| Best CPU time to get the best result obtained on this benchmark | 146.43 |
| 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 | 88121125 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4352625637 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 88121125 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4352625637 |
| 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.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.1.v20110525 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 9996466904 0.08/0.10 c Max memory 10048897024 0.08/0.10 c Total memory 10048897024 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3744150-1338795606.opb 0.08/0.13 c reading problem ... 1.02/0.50 c ... done. Wall clock time 0.368s. 1.02/0.50 c #vars 6810 1.02/0.50 c #constraints 15671 1.02/0.50 c constraints type 1.02/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1.02/0.50 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1.02/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.02/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1.02/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1.02/0.50 c constraints type 1.02/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1.02/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1.02/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.02/0.50 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1.02/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.78/0.70 c And the winner is Resolution 2.06/1.02 c SATISFIABLE 2.06/1.02 c OPTIMIZING... 2.06/1.02 c Got one! Elapsed wall clock time (in seconds):0.888 2.06/1.02 o 4502375 2.06/1.04 c And the winner is Resolution 2.30/1.54 c Got one! Elapsed wall clock time (in seconds):1.413 2.30/1.54 o 4497448 2.50/1.60 c And the winner is Resolution 2.55/2.06 c Got one! Elapsed wall clock time (in seconds):1.936 2.55/2.06 o 4484228 7.22/4.28 c cleaning 2576 clauses out of 5162 with flag 5000/5168 11.63/6.14 c And the winner is CuttingPlanes 11.71/6.58 c Got one! Elapsed wall clock time (in seconds):6.457 11.71/6.58 o 4453912 12.62/7.00 c cleaning 4097 clauses out of 8194 with flag 1002/10777 16.44/8.96 c cleaning 5040 clauses out of 10094 with flag 7001/16776 21.19/11.32 c cleaning 6025 clauses out of 12055 with flag 14002/23777 26.36/13.93 c cleaning 7006 clauses out of 14028 with flag 22000/31775 32.51/17.05 c cleaning 8004 clauses out of 16024 with flag 31002/40777 38.67/20.12 c cleaning 8995 clauses out of 18018 with flag 41000/50775 45.42/23.55 c cleaning 10001 clauses out of 20023 with flag 52000/61775 53.56/27.63 c cleaning 10997 clauses out of 22021 with flag 64000/73775 62.90/32.37 c cleaning 12004 clauses out of 24024 with flag 77000/86775 72.05/36.90 c cleaning 12998 clauses out of 26020 with flag 91000/100775 82.19/42.04 c cleaning 14002 clauses out of 28022 with flag 106000/115775 93.53/47.74 c cleaning 15002 clauses out of 30018 with flag 122000/131775 103.69/52.89 c cleaning 15502 clauses out of 31017 with flag 138001/147776 114.04/58.10 c cleaning 15747 clauses out of 31516 with flag 154002/163777 124.57/63.32 c cleaning 15872 clauses out of 31767 with flag 170000/179775 135.85/69.04 c cleaning 15936 clauses out of 31895 with flag 186000/195775 145.38/73.87 c cleaning 15976 clauses out of 31961 with flag 202002/211777 148.50/75.45 c And the winner is Resolution 148.71/75.91 c Got one! Elapsed wall clock time (in seconds):75.782 148.71/75.91 o 4445835 150.72/76.98 c cleaning 13054 clauses out of 26151 with flag 5000/221943 153.21/78.29 c cleaning 9544 clauses out of 19097 with flag 11000/227943 157.68/80.56 c cleaning 8270 clauses out of 16552 with flag 18000/234943 162.59/83.09 c cleaning 8131 clauses out of 16282 with flag 26000/242943 167.91/85.77 c cleaning 8569 clauses out of 17151 with flag 35001/251944 174.20/88.90 c cleaning 9286 clauses out of 18583 with flag 45002/261945 181.09/92.49 c cleaning 10141 clauses out of 20296 with flag 56001/272944 188.22/96.07 c cleaning 11068 clauses out of 22155 with flag 68001/284944 195.54/99.74 c cleaning 12034 clauses out of 24086 with flag 81000/297943 204.87/104.50 c cleaning 13019 clauses out of 26052 with flag 95000/311943 214.11/109.12 c cleaning 14016 clauses out of 28036 with flag 110003/326946 223.83/114.07 c cleaning 15006 clauses out of 30017 with flag 126000/342943 233.51/118.98 c cleaning 15498 clauses out of 31010 with flag 142000/358943 244.04/124.21 c cleaning 15751 clauses out of 31514 with flag 158002/374945 252.67/128.67 c cleaning 15874 clauses out of 31762 with flag 174001/390944 261.95/133.39 c cleaning 15939 clauses out of 31887 with flag 190000/406943 264.43/134.61 c And the winner is Resolution 264.86/135.35 c Got one! Elapsed wall clock time (in seconds):135.221 264.86/135.35 o 4442229 265.64/135.79 c cleaning 10813 clauses out of 21652 with flag 2000/412647 268.11/137.06 c cleaning 8409 clauses out of 16839 with flag 8000/418647 270.94/138.57 c cleaning 7699 clauses out of 15430 with flag 15000/425647 274.20/140.25 c cleaning 7850 clauses out of 15732 with flag 23001/433648 278.08/142.24 c cleaning 8428 clauses out of 16881 with flag 32000/442647 282.76/144.64 c cleaning 9214 clauses out of 18454 with flag 42001/452648 290.38/148.53 c cleaning 10110 clauses out of 20240 with flag 53001/463648 297.24/152.03 c cleaning 11056 clauses out of 22128 with flag 65000/475647 306.52/156.70 c cleaning 12032 clauses out of 24073 with flag 78001/488648 316.20/161.67 c cleaning 13015 clauses out of 26040 with flag 92000/502647 325.39/166.32 c cleaning 14011 clauses out of 28025 with flag 107000/517647 335.06/171.22 c cleaning 14995 clauses out of 30014 with flag 123001/533648 344.91/176.20 c cleaning 15498 clauses out of 31018 with flag 139000/549647 355.01/181.33 c cleaning 15753 clauses out of 31521 with flag 155001/565648 364.78/186.39 c cleaning 15873 clauses out of 31769 with flag 171002/581649 375.84/191.93 c cleaning 15941 clauses out of 31895 with flag 187001/597648 386.30/197.23 c cleaning 15967 clauses out of 31953 with flag 203000/613647 397.76/203.05 c cleaning 15982 clauses out of 31986 with flag 219000/629647 409.94/209.23 c cleaning 15997 clauses out of 32005 with flag 235001/645648 420.80/214.78 c cleaning 15999 clauses out of 32009 with flag 251002/661649 431.07/220.00 c cleaning 15994 clauses out of 32008 with flag 267000/677647 441.11/225.04 c cleaning 15998 clauses out of 32014 with flag 283000/693647 451.48/230.30 c cleaning 16001 clauses out of 32017 with flag 299001/709648 460.72/235.02 c cleaning 16003 clauses out of 32017 with flag 315002/725649 470.39/239.97 c cleaning 15996 clauses out of 32012 with flag 331000/741647 481.44/245.54 c cleaning 16000 clauses out of 32016 with flag 347000/757647 491.80/250.88 c cleaning 16000 clauses out of 32016 with flag 363000/773647 501.23/255.67 c cleaning 15989 clauses out of 32017 with flag 379001/789648 512.07/261.16 c cleaning 16006 clauses out of 32028 with flag 395001/805648 523.30/266.84 c cleaning 15999 clauses out of 32021 with flag 411000/821647 534.85/272.71 c cleaning 16006 clauses out of 32023 with flag 427001/837648 544.87/277.80 c cleaning 15999 clauses out of 32016 with flag 443000/853647 555.11/283.08 c cleaning 16000 clauses out of 32017 with flag 459000/869647 565.55/288.39 c cleaning 15994 clauses out of 32018 with flag 475001/885648 576.66/294.06 c cleaning 16006 clauses out of 32026 with flag 491004/901651 586.48/299.03 c cleaning 16002 clauses out of 32017 with flag 507001/917648 596.30/304.04 c cleaning 16000 clauses out of 32015 with flag 523001/933648 606.34/309.18 c cleaning 15999 clauses out of 32014 with flag 539000/949647 617.25/314.77 c cleaning 15997 clauses out of 32015 with flag 555000/965647 628.09/320.22 c cleaning 15992 clauses out of 32018 with flag 571000/981647 639.14/325.84 c cleaning 16010 clauses out of 32027 with flag 587001/997648 649.94/331.37 c cleaning 16001 clauses out of 32017 with flag 603001/1013648 660.84/337.00 c cleaning 15998 clauses out of 32016 with flag 619001/1029648 672.28/342.77 c cleaning 15982 clauses out of 32017 with flag 635000/1045647 682.67/348.08 c cleaning 16013 clauses out of 32038 with flag 651003/1061650 692.26/352.96 c cleaning 15996 clauses out of 32022 with flag 667000/1077647 701.96/357.96 c cleaning 16008 clauses out of 32026 with flag 683000/1093647 712.15/363.13 c cleaning 15999 clauses out of 32018 with flag 699000/1109647 713.12/363.70 c And the winner is Resolution 713.40/364.58 c Got one! Elapsed wall clock time (in seconds):364.455 713.40/364.58 o 4439161 714.36/365.34 c cleaning 10496 clauses out of 21026 with flag 4000/1114654 716.75/366.68 c cleaning 8238 clauses out of 16530 with flag 10000/1120654 718.02/367.46 c And the winner is Resolution 718.68/368.05 c Got one! Elapsed wall clock time (in seconds):367.925 718.68/368.05 o 4425402 719.79/368.68 c cleaning 6715 clauses out of 13458 with flag 3002/1125820 722.78/370.20 c cleaning 6357 clauses out of 12742 with flag 9001/1131819 725.97/371.96 c cleaning 6687 clauses out of 13385 with flag 16001/1138819 729.78/373.99 c cleaning 7343 clauses out of 14697 with flag 24000/1146818 734.26/376.39 c cleaning 8169 clauses out of 16354 with flag 33000/1155818 739.24/378.98 c cleaning 9086 clauses out of 18185 with flag 43000/1165818 746.04/382.46 c cleaning 10045 clauses out of 20101 with flag 54002/1176820 752.83/385.92 c cleaning 11021 clauses out of 22054 with flag 66000/1188818 761.10/390.24 c cleaning 12003 clauses out of 24034 with flag 79001/1201819 770.30/394.93 c cleaning 13005 clauses out of 26031 with flag 93001/1215819 780.46/400.19 c cleaning 13998 clauses out of 28026 with flag 108001/1230819 789.44/404.72 c cleaning 15011 clauses out of 30032 with flag 124005/1246823 798.29/409.38 c cleaning 15490 clauses out of 31017 with flag 140001/1262819 807.26/413.92 c cleaning 15754 clauses out of 31526 with flag 156000/1278818 817.24/419.08 c cleaning 15870 clauses out of 31773 with flag 172001/1294819 826.80/423.99 c cleaning 15942 clauses out of 31902 with flag 188000/1310818 837.05/429.28 c cleaning 15970 clauses out of 31960 with flag 204000/1326818 846.62/434.14 c cleaning 15982 clauses out of 31990 with flag 220000/1342818 856.37/439.18 c cleaning 16001 clauses out of 32011 with flag 236003/1358821 866.34/444.27 c cleaning 15994 clauses out of 32008 with flag 252001/1374819 877.56/450.05 c cleaning 16001 clauses out of 32014 with flag 268001/1390819 887.97/455.32 c cleaning 15996 clauses out of 32013 with flag 284001/1406819 898.73/460.84 c cleaning 16000 clauses out of 32016 with flag 300000/1422818 911.27/467.28 c cleaning 16004 clauses out of 32017 with flag 316001/1438819 922.86/473.24 c cleaning 15998 clauses out of 32012 with flag 332000/1454818 934.42/479.17 c cleaning 16003 clauses out of 32016 with flag 348002/1470820 945.38/484.76 c cleaning 15998 clauses out of 32011 with flag 364000/1486818 955.91/490.11 c cleaning 16000 clauses out of 32013 with flag 380000/1502818 966.33/495.58 c cleaning 16003 clauses out of 32014 with flag 396001/1518819 978.31/501.61 c cleaning 15996 clauses out of 32011 with flag 412001/1534819 988.86/507.01 c cleaning 16000 clauses out of 32015 with flag 428001/1550819 998.79/512.11 c cleaning 15993 clauses out of 32014 with flag 444000/1566818 1008.84/517.35 c cleaning 16000 clauses out of 32021 with flag 460001/1582819 1019.02/522.59 c cleaning 16006 clauses out of 32022 with flag 476002/1598820 1028.95/527.68 c cleaning 16004 clauses out of 32016 with flag 492002/1614820 1039.30/532.91 c cleaning 15995 clauses out of 32012 with flag 508002/1630820 1049.73/538.36 c cleaning 15994 clauses out of 32016 with flag 524001/1646819 1062.28/544.70 c cleaning 16006 clauses out of 32022 with flag 540001/1662819 1074.23/550.80 c cleaning 15986 clauses out of 32016 with flag 556001/1678819 1084.97/556.31 c cleaning 16000 clauses out of 32029 with flag 572000/1694818 1095.13/561.62 c cleaning 16007 clauses out of 32034 with flag 588005/1710823 1105.45/566.92 c cleaning 16002 clauses out of 32023 with flag 604001/1726819 1114.97/571.90 c cleaning 15998 clauses out of 32021 with flag 620001/1742819 1126.11/577.55 c cleaning 16004 clauses out of 32022 with flag 636001/1758819 1136.68/583.05 c cleaning 16002 clauses out of 32020 with flag 652003/1774821 1148.00/588.85 c cleaning 16000 clauses out of 32015 with flag 668000/1790818 1158.74/594.30 c cleaning 15998 clauses out of 32015 with flag 684000/1806818 1169.87/600.02 c cleaning 15998 clauses out of 32017 with flag 700000/1822818 1181.80/606.22 c cleaning 15999 clauses out of 32025 with flag 716006/1838824 1193.10/612.01 c cleaning 16005 clauses out of 32021 with flag 732001/1854819 1204.83/618.03 c cleaning 15997 clauses out of 32015 with flag 748000/1870818 1216.94/624.29 c cleaning 16004 clauses out of 32020 with flag 764002/1886820 1228.70/630.33 c cleaning 15992 clauses out of 32014 with flag 780000/1902818 1239.61/635.96 c cleaning 16004 clauses out of 32023 with flag 796001/1918819 1250.50/641.53 c cleaning 15991 clauses out of 32019 with flag 812001/1934819 1260.99/646.90 c cleaning 16003 clauses out of 32027 with flag 828000/1950818 1272.97/653.17 c cleaning 16006 clauses out of 32025 with flag 844001/1966819 1283.24/658.41 c cleaning 15995 clauses out of 32019 with flag 860001/1982819 1283.73/658.90 c And the winner is Resolution 1282.92/659.28 c Got one! Elapsed wall clock time (in seconds):659.154 1282.92/659.28 o 4415664 1284.95/660.37 c cleaning 10702 clauses out of 21425 with flag 5001/1988220 1287.84/661.95 c cleaning 8343 clauses out of 16722 with flag 11000/1994219 1291.14/663.88 c cleaning 7669 clauses out of 15379 with flag 18000/2001219 1294.81/665.85 c cleaning 7840 clauses out of 15710 with flag 26000/2009219 1299.09/668.14 c cleaning 8427 clauses out of 16870 with flag 35000/2018219 1303.76/670.60 c cleaning 9214 clauses out of 18443 with flag 45000/2028219 1308.30/673.20 c cleaning 10106 clauses out of 20229 with flag 56000/2039219 1313.37/675.80 c cleaning 11054 clauses out of 22125 with flag 68002/2051221 1318.66/678.63 c cleaning 12028 clauses out of 24069 with flag 81000/2064219 1324.33/681.65 c cleaning 13016 clauses out of 26043 with flag 95002/2078221 1330.66/685.06 c cleaning 14009 clauses out of 28026 with flag 110001/2093220 1337.57/688.62 c cleaning 15003 clauses out of 30016 with flag 126000/2109219 1345.03/692.56 c cleaning 15506 clauses out of 31015 with flag 142002/2125221 1354.12/697.29 c cleaning 15744 clauses out of 31507 with flag 158000/2141219 1364.85/702.85 c cleaning 15868 clauses out of 31764 with flag 174001/2157220 1375.14/708.19 c cleaning 15939 clauses out of 31895 with flag 190000/2173219 1386.83/714.10 c cleaning 15977 clauses out of 31957 with flag 206001/2189220 1398.33/720.09 c cleaning 15983 clauses out of 31978 with flag 222000/2205219 1410.40/726.36 c cleaning 15990 clauses out of 31994 with flag 238000/2221219 1421.08/731.86 c cleaning 15991 clauses out of 32004 with flag 254000/2237219 1432.94/737.97 c cleaning 15984 clauses out of 32013 with flag 270000/2253219 1443.81/743.57 c cleaning 16003 clauses out of 32030 with flag 286001/2269220 1453.93/748.83 c cleaning 16009 clauses out of 32026 with flag 302001/2285220 1463.59/753.84 c cleaning 16001 clauses out of 32015 with flag 318000/2301219 1473.85/759.10 c cleaning 16002 clauses out of 32016 with flag 334002/2317221 1483.71/764.21 c cleaning 15989 clauses out of 32012 with flag 350000/2333219 1494.22/769.78 c cleaning 16000 clauses out of 32023 with flag 366000/2349219 1504.68/775.16 c cleaning 16007 clauses out of 32027 with flag 382004/2365223 1514.91/780.47 c cleaning 16006 clauses out of 32019 with flag 398003/2381222 1526.96/786.60 c cleaning 16001 clauses out of 32010 with flag 414000/2397219 1537.80/792.36 c cleaning 15995 clauses out of 32009 with flag 430000/2413219 1548.67/797.96 c cleaning 16001 clauses out of 32014 with flag 446000/2429219 1559.51/803.59 c cleaning 15990 clauses out of 32014 with flag 462001/2445220 1570.77/809.38 c cleaning 16001 clauses out of 32025 with flag 478002/2461221 1581.67/815.04 c cleaning 16007 clauses out of 32024 with flag 494002/2477221 1592.12/820.46 c cleaning 16001 clauses out of 32017 with flag 510002/2493221 1603.20/826.19 c cleaning 16000 clauses out of 32015 with flag 526001/2509220 1614.65/832.07 c cleaning 16007 clauses out of 32016 with flag 542002/2525221 1625.45/837.77 c cleaning 15997 clauses out of 32009 with flag 558002/2541221 1636.31/843.32 c cleaning 16002 clauses out of 32011 with flag 574001/2557220 1647.36/849.03 c cleaning 15995 clauses out of 32009 with flag 590001/2573220 1658.04/854.57 c cleaning 15995 clauses out of 32014 with flag 606001/2589220 1669.30/860.42 c cleaning 16002 clauses out of 32018 with flag 622000/2605219 1680.18/866.08 c cleaning 15998 clauses out of 32021 with flag 638005/2621224 1691.44/871.87 c cleaning 15998 clauses out of 32018 with flag 654000/2637219 1702.90/877.79 c cleaning 16001 clauses out of 32021 with flag 670001/2653220 1713.76/883.42 c cleaning 16003 clauses out of 32019 with flag 686000/2669219 1723.80/888.63 c cleaning 15994 clauses out of 32016 with flag 702000/2685219 1734.23/894.02 c cleaning 15999 clauses out of 32022 with flag 718000/2701219 1744.89/899.52 c cleaning 16005 clauses out of 32023 with flag 734000/2717219 1756.90/905.82 c cleaning 16002 clauses out of 32018 with flag 750000/2733219 1767.92/911.50 c cleaning 16005 clauses out of 32017 with flag 766001/2749220 1778.55/917.08 c cleaning 15993 clauses out of 32012 with flag 782001/2765220 1790.01/922.99 c cleaning 16006 clauses out of 32019 with flag 798001/2781220 1798.08/927.22 c starts : 269 1798.08/927.22 c conflicts : 2792020 1798.08/927.22 c decisions : 5879799 1798.08/927.22 c propagations : 609501564 1798.08/927.22 c inspects : 2692655366 1798.08/927.22 c shortcuts : 0 1798.08/927.22 c learnt literals : 24 1798.08/927.22 c learnt binary clauses : 912 1798.08/927.22 c learnt ternary clauses : 8575 1798.08/927.22 c learnt constraints : 2791995 1798.08/927.22 c ignored constraints : 0 1798.08/927.22 c root simplifications : 0 1798.08/927.22 c removed literals (reason simplification) : 20473613 1798.08/927.22 c reason swapping (by a shorter reason) : 0 1798.08/927.22 c Calls to reduceDB : 196 1798.08/927.22 c number of reductions to clauses (during analyze) : 0 1798.08/927.22 c number of learned constraints concerned by reduction : 0 1798.08/927.22 c number of learning phase by resolution : 0 1798.08/927.22 c number of learning phase by cutting planes : 0 1798.08/927.22 c speed (assignments/second) : 2274879.7993483297 1798.08/927.22 c non guided choices 1651 1798.08/927.23 c learnt constraints type 1798.08/927.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 912 1798.08/927.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25930 1798.08/927.23 c constraints type 1798.08/927.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1798.08/927.23 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1798.08/927.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1798.08/927.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1798.08/927.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076 1798.08/927.23 c constraints type 1798.08/927.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1798.08/927.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1798.08/927.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1798.08/927.23 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1798.08/927.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3076 1798.08/927.23 s SATISFIABLE 1798.08/927.24 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 1798.08/927.25 c objective function=4415664 1798.08/927.25 c Total wall clock time (in seconds): 927.122
OK 4415664
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-3744150-1338795606/watcher-3744150-1338795606 -o /tmp/evaluation-result-3744150-1338795606/solver-3744150-1338795606 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744150-1338795606.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.99 2.97 3.18 3/196 21135 /proc/meminfo: memFree=24889184/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/21135/stat : 21135 (java) D 21133 21135 19330 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345689018 9515008 182 33554432000 1073741824 1073778376 140733839389264 140733839380296 226329706165 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0 /proc/21135/statm: 2323 182 140 9 0 71 0 [startup+0.0945079 s] /proc/loadavg: 2.99 2.97 3.18 3/196 21135 /proc/meminfo: memFree=24889184/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 3961 0 1 0 6 1 0 0 20 0 18 0 345689018 11864465408 12834 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2896598 12834 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.101828 s] /proc/loadavg: 2.99 2.97 3.18 3/196 21135 /proc/meminfo: memFree=24889184/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11586392 CPUtime=0.08 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 4284 0 1 0 7 1 0 0 20 0 18 0 345689018 11864465408 13155 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2896598 13159 1994 9 0 2887285 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11586392 [startup+0.300152 s] /proc/loadavg: 2.99 2.97 3.18 3/196 21135 /proc/meminfo: memFree=24889184/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11586392 CPUtime=0.51 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 6440 0 1 0 49 2 0 0 20 0 18 0 345689018 11864465408 17484 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2896598 17484 2233 9 0 2887285 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 11586392 [startup+0.70015 s] /proc/loadavg: 2.99 2.97 3.18 3/196 21135 /proc/meminfo: memFree=24889184/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=1.78 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 11218 0 1 0 175 3 0 0 20 0 22 0 345689018 12137111552 30728 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 30728 2260 9 0 2953849 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 11852648 [startup+1.50068 s] /proc/loadavg: 2.99 2.97 3.18 3/215 21157 /proc/meminfo: memFree=24767480/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=2.3 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 16834 0 1 0 222 8 0 0 20 0 19 0 345689018 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 34964 2262 9 0 2953849 0 [pid=21135/tid=21137] ppid=21133 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/21135/task/21137/stat : 21137 (java) S 21133 21135 19330 0 -1 4202560 2897 0 1 0 47 2 0 0 20 0 19 0 345689019 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456477377688 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21138] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21138/stat : 21138 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456445786280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21139] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21139/stat : 21139 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456444733736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21140] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21140/stat : 21140 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456443681192 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345689022 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345689022 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345689022 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 7118 0 0 0 69 0 0 0 20 0 19 0 345689025 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=0.62 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 5514 0 0 0 61 1 0 0 20 0 19 0 345689025 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21156] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345689070 12137111552 34964 33554432000 1073741824 1073778376 140733981724816 140455813497896 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 11852648 [startup+3.10077 s] /proc/loadavg: 3.07 2.99 3.19 7/218 21166 /proc/meminfo: memFree=24729120/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=4.93 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 17522 0 1 0 474 19 0 0 20 0 22 0 345689018 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 179883 2267 9 0 2953849 0 [pid=21135/tid=21137] ppid=21133 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/21135/task/21137/stat : 21137 (java) S 21133 21135 19330 0 -1 4202560 2899 0 1 0 51 2 0 0 20 0 22 0 345689019 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456477377704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21138] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21138/stat : 21138 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456445786280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21139] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21139/stat : 21139 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456444733736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21140] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21140/stat : 21140 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456443681192 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345689021 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 179883 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=0.86 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 7130 0 0 0 86 0 0 0 20 0 22 0 345689025 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 5885 0 0 0 86 1 0 0 20 0 22 0 345689025 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21156] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21156/stat : 21156 (java) S 21133 21135 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345689070 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455813497896 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21164] ppid=21133 vsize=11852648 CPUtime=1.01 cores=0,2,4,6 /proc/21135/task/21164/stat : 21164 (java) R 21133 21135 19330 0 -1 4202560 5 0 0 0 101 0 0 0 20 0 22 0 345689225 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455812442488 140456319745734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21165] ppid=21133 vsize=11852648 CPUtime=1.01 cores=0,2,4,6 /proc/21135/task/21165/stat : 21165 (java) R 21133 21135 19330 0 -1 4202560 277 0 0 0 92 9 0 0 20 0 22 0 345689225 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455815602360 140456319466922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21166] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21166/stat : 21166 (java) S 21133 21135 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345689225 12137111552 180395 33554432000 1073741824 1073778376 140733981724816 140455814550824 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.93 Current children cumulated vsize (KiB) 11852648 [startup+6.30077 s] /proc/loadavg: 3.07 2.99 3.19 5/218 21166 /proc/meminfo: memFree=23116496/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=11.71 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 22476 0 1 0 1134 37 0 0 20 0 19 0 345689018 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 443711 2292 9 0 2953849 0 [pid=21135/tid=21137] ppid=21133 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/21135/task/21137/stat : 21137 (java) S 21133 21135 19330 0 -1 4202560 2900 0 1 0 51 2 0 0 20 0 19 0 345689019 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456477377704 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21138] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21138/stat : 21138 (java) S 21133 21135 19330 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456445786280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21139] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21139/stat : 21139 (java) S 21133 21135 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456444733736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21140] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21140/stat : 21140 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456443681192 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345689021 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=0.04 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 345689022 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345689022 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345689022 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 11505 0 0 0 142 2 0 0 20 0 19 0 345689025 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 5890 0 0 0 99 1 0 0 20 0 19 0 345689025 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345689025 12137111552 443711 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 136 0 0 0 112 5 0 0 20 0 22 0 345689021 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 114 0 0 0 104 3 0 0 20 0 22 0 345689021 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=1.19 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 105 0 0 0 115 4 0 0 20 0 22 0 345689021 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=1.24 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 120 0 0 0 121 3 0 0 20 0 22 0 345689021 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 123 0 0 0 112 3 0 0 20 0 22 0 345689021 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=44.87 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 200 0 0 0 4473 14 0 0 20 0 22 0 345689022 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 11507 0 0 0 153 2 0 0 20 0 22 0 345689025 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=1.31 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 6736 0 0 0 129 2 0 0 20 0 22 0 345689025 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0.26 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 47 0 0 0 15 11 0 0 20 0 22 0 345689025 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21169] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345689677 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455813498536 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21261] ppid=21133 vsize=11852648 CPUtime=148.05 cores=0,2,4,6 /proc/21135/task/21261/stat : 21261 (java) R 21133 21135 19330 0 -1 4202560 24 0 0 0 14803 2 0 0 20 0 22 0 345754947 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455815602784 140456319781523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21262] ppid=21133 vsize=11852648 CPUtime=147.99 cores=0,2,4,6 /proc/21135/task/21262/stat : 21262 (java) R 21133 21135 19330 0 -1 4202560 15 0 0 0 14797 2 0 0 20 0 22 0 345754947 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455812443008 140456319467080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21263] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21263/stat : 21263 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345755018 12137111552 962292 33554432000 1073741824 1073778376 140733981724816 140455814551080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1595.57 Current children cumulated vsize (KiB) 11852648 [startup+882.301 s] /proc/loadavg: 3.90 3.89 3.64 5/217 21264 /proc/meminfo: memFree=21013268/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=1711.55 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 25637 0 1 0 171005 150 0 0 20 0 22 0 345689018 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 965904 2293 9 0 2953849 0 [pid=21135/tid=21137] ppid=21133 vsize=11852648 CPUtime=0.68 cores=0,2,4,6 /proc/21135/task/21137/stat : 21137 (java) S 21133 21135 19330 0 -1 4202560 2978 0 1 0 64 4 0 0 20 0 22 0 345689019 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456477377672 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21138] ppid=21133 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/21135/task/21138/stat : 21138 (java) S 21133 21135 19330 0 -1 4202560 127 0 0 0 123 4 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456445786280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21139] ppid=21133 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/21135/task/21139/stat : 21139 (java) S 21133 21135 19330 0 -1 4202560 109 0 0 0 118 4 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456444733736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21140] ppid=21133 vsize=11852648 CPUtime=1.24 cores=0,2,4,6 /proc/21135/task/21140/stat : 21140 (java) S 21133 21135 19330 0 -1 4202560 85 0 0 0 121 3 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456443681192 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=1.28 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 142 0 0 0 123 5 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 115 0 0 0 114 3 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=1.27 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 106 0 0 0 123 4 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=1.34 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 120 0 0 0 131 3 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 130 0 0 0 122 3 0 0 20 0 22 0 345689021 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=49.16 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 209 0 0 0 4901 15 0 0 20 0 22 0 345689022 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 11507 0 0 0 153 2 0 0 20 0 22 0 345689025 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=1.31 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 6736 0 0 0 129 2 0 0 20 0 22 0 345689025 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0.28 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 51 0 0 0 16 12 0 0 20 0 22 0 345689025 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21169] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345689677 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455813498536 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21261] ppid=21133 vsize=11852648 CPUtime=203.34 cores=0,2,4,6 /proc/21135/task/21261/stat : 21261 (java) R 21133 21135 19330 0 -1 4202560 30 0 0 0 20331 3 0 0 20 0 22 0 345754947 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455815602784 140456319781389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21262] ppid=21133 vsize=11852648 CPUtime=203.29 cores=0,2,4,6 /proc/21135/task/21262/stat : 21262 (java) R 21133 21135 19330 0 -1 4202560 20 0 0 0 20326 3 0 0 20 0 22 0 345754947 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455812442768 140456319902163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21263] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21263/stat : 21263 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345755018 12137111552 965904 33554432000 1073741824 1073778376 140733981724816 140455814551080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1711.55 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+927.201 s] /proc/loadavg: 3.90 3.88 3.65 5/217 21264 /proc/meminfo: memFree=20986396/32873844 swapFree=6088/6088 [pid=21135] ppid=21133 vsize=11852648 CPUtime=1798.08 cores=0,2,4,6 /proc/21135/stat : 21135 (java) S 21133 21135 19330 0 -1 4202496 25711 0 1 0 179656 152 0 0 20 0 22 0 345689018 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140733981715952 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/21135/statm: 2963162 972598 2293 9 0 2953849 0 [pid=21135/tid=21137] ppid=21133 vsize=11852648 CPUtime=0.68 cores=0,2,4,6 /proc/21135/task/21137/stat : 21137 (java) S 21133 21135 19330 0 -1 4202560 2981 0 1 0 64 4 0 0 20 0 22 0 345689019 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456477377672 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21138] ppid=21133 vsize=11852648 CPUtime=1.34 cores=0,2,4,6 /proc/21135/task/21138/stat : 21138 (java) S 21133 21135 19330 0 -1 4202560 149 0 0 0 130 4 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456445786280 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21139] ppid=21133 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/21135/task/21139/stat : 21139 (java) S 21133 21135 19330 0 -1 4202560 111 0 0 0 129 4 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456444733736 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21140] ppid=21133 vsize=11852648 CPUtime=1.3 cores=0,2,4,6 /proc/21135/task/21140/stat : 21140 (java) S 21133 21135 19330 0 -1 4202560 86 0 0 0 127 3 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456443681192 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21141] ppid=21133 vsize=11852648 CPUtime=1.37 cores=0,2,4,6 /proc/21135/task/21141/stat : 21141 (java) S 21133 21135 19330 0 -1 4202560 142 0 0 0 132 5 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456442628648 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21142] ppid=21133 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/21135/task/21142/stat : 21142 (java) S 21133 21135 19330 0 -1 4202560 118 0 0 0 122 3 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456441576104 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21143] ppid=21133 vsize=11852648 CPUtime=1.34 cores=0,2,4,6 /proc/21135/task/21143/stat : 21143 (java) S 21133 21135 19330 0 -1 4202560 110 0 0 0 130 4 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456440523560 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21144] ppid=21133 vsize=11852648 CPUtime=1.41 cores=0,2,4,6 /proc/21135/task/21144/stat : 21144 (java) S 21133 21135 19330 0 -1 4202560 123 0 0 0 137 4 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456439471016 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21145] ppid=21133 vsize=11852648 CPUtime=1.31 cores=0,2,4,6 /proc/21135/task/21145/stat : 21145 (java) S 21133 21135 19330 0 -1 4202560 140 0 0 0 128 3 0 0 20 0 22 0 345689021 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140456438418472 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21146] ppid=21133 vsize=11852648 CPUtime=52.68 cores=0,2,4,6 /proc/21135/task/21146/stat : 21146 (java) S 21133 21135 19330 0 -1 4202560 222 0 0 0 5252 16 0 0 20 0 22 0 345689022 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455824025704 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21135/tid=21147] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21147/stat : 21147 (java) S 21133 21135 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455822972024 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21148] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21148/stat : 21148 (java) S 21133 21135 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345689022 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455821919368 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21149] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21149/stat : 21149 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455820868112 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21150] ppid=21133 vsize=11852648 CPUtime=1.55 cores=0,2,4,6 /proc/21135/task/21150/stat : 21150 (java) S 21133 21135 19330 0 -1 4202560 11507 0 0 0 153 2 0 0 20 0 22 0 345689025 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455819815480 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21151] ppid=21133 vsize=11852648 CPUtime=1.31 cores=0,2,4,6 /proc/21135/task/21151/stat : 21151 (java) S 21133 21135 19330 0 -1 4202560 6736 0 0 0 129 2 0 0 20 0 22 0 345689025 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455818762936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21152] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21152/stat : 21152 (java) S 21133 21135 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345689025 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455817710584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21153] ppid=21133 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/21135/task/21153/stat : 21153 (java) S 21133 21135 19330 0 -1 4202560 53 0 0 0 17 13 0 0 20 0 22 0 345689025 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455816658248 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21169] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21169/stat : 21169 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345689677 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455813498536 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21135/tid=21261] ppid=21133 vsize=11852648 CPUtime=244.44 cores=0,2,4,6 /proc/21135/task/21261/stat : 21261 (java) R 21133 21135 19330 0 -1 4202560 39 0 0 0 24441 3 0 0 20 0 22 0 345754947 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455815602784 140456319745760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21135/tid=21262] ppid=21133 vsize=11852648 CPUtime=244.39 cores=0,2,4,6 /proc/21135/task/21262/stat : 21262 (java) R 21133 21135 19330 0 -1 4202560 22 0 0 0 24436 3 0 0 20 0 22 0 345754947 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455812442688 140456319800652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21135/tid=21263] ppid=21133 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/21135/task/21263/stat : 21263 (java) S 21133 21135 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345755018 12137111552 972598 33554432000 1073741824 1073778376 140733981724816 140455814551080 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21135 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=359063 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=803725 # CPU time returned by wait4() is 1797.16 # while last known CPU time is 1798.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.03996 # lost CPU user time (s): 2.23994 # lost CPU system time (s): -0.2 Real time (s): 927.272 CPU time (s): 1800.12 CPU user time (s): 1798.8 CPU system time (s): 1.32 CPU usage (%): 194.131 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.36 system time used= 1.80373 maximum resident set size= 3890516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25744 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31357 involuntary context switches= 35918 runsolver used 3.23251 second user time and 8.16376 second system time The end
Begin job on node110 at 2012-06-04 09:40:06 IDJOB=3744150 IDBENCH=92696 IDSOLVER=2328 FILE ID=node110/3744150-1338795606 RUNJOBID= node110-1338783928-19346 PBS_JOBID= 14636844 Free space on /tmp= 71076 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_8_mh.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744150-1338795606/watcher-3744150-1338795606 -o /tmp/evaluation-result-3744150-1338795606/solver-3744150-1338795606 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744150-1338795606.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e5afedaafc5782c8b438b74f31dd2ae RANDOM SEED=1297286980 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 24889448 kB Buffers: 909688 kB Cached: 2597076 kB SwapCached: 604 kB Active: 5486252 kB Inactive: 1642928 kB Active(anon): 3611168 kB Inactive(anon): 12316 kB Active(file): 1875084 kB Inactive(file): 1630612 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67107364 kB Dirty: 924 kB Writeback: 0 kB AnonPages: 3626820 kB Mapped: 19788 kB Shmem: 40 kB Slab: 708704 kB SReclaimable: 150804 kB SUnreclaim: 557900 kB KernelStack: 1616 kB PageTables: 11232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10461568 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3565568 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= 71076 MiB End job on node110 at 2012-06-04 09:55:35