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 | OPT | 1360.2 | 697.47 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_2_mh.opb |
| MD5SUM | ebd57823bd571ff5d4e153dfd450b6f7 |
| 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 | 5950590 |
| Best CPU time to get the best result obtained on this benchmark | 113.64 |
| 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 | 74088000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3666159515 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 74088000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3666159515 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.1.v20110525 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 9996466904 0.07/0.09 c Max memory 10048897024 0.07/0.09 c Total memory 10048897024 0.07/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3744156-1338796038.opb 0.09/0.12 c reading problem ... 0.77/0.49 c ... done. Wall clock time 0.368s. 0.77/0.49 c #vars 6810 0.77/0.49 c #constraints 15671 0.77/0.49 c constraints type 0.77/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.77/0.49 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.77/0.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.77/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.77/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.77/0.49 c constraints type 0.77/0.49 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 0.77/0.49 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 0.77/0.49 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 0.77/0.49 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 0.77/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1.41/0.62 c And the winner is Resolution 1.70/1.01 c SATISFIABLE 1.70/1.01 c OPTIMIZING... 1.70/1.01 c Got one! Elapsed wall clock time (in seconds):0.887 1.70/1.01 o 6031626 2.07/1.11 c And the winner is Resolution 2.41/1.53 c Got one! Elapsed wall clock time (in seconds):1.415 2.41/1.53 o 6027614 2.41/1.56 c And the winner is Resolution 2.60/2.05 c Got one! Elapsed wall clock time (in seconds):1.937 2.60/2.06 o 5994087 9.10/5.16 c cleaning 2541 clauses out of 5105 with flag 5000/5114 13.60/7.37 c cleaning 4275 clauses out of 8560 with flag 11000/11114 18.08/9.51 c cleaning 5642 clauses out of 11286 with flag 18001/18115 22.96/11.96 c cleaning 6817 clauses out of 13643 with flag 26000/26114 28.36/14.63 c cleaning 7910 clauses out of 15827 with flag 35001/35115 34.52/17.76 c cleaning 8953 clauses out of 17916 with flag 45000/45114 41.10/21.02 c cleaning 9980 clauses out of 19964 with flag 56001/56115 48.48/24.77 c cleaning 10982 clauses out of 21983 with flag 68000/68114 55.43/28.22 c cleaning 11994 clauses out of 24001 with flag 81001/81115 63.58/32.31 c cleaning 12989 clauses out of 26006 with flag 95000/95114 72.55/36.89 c cleaning 14004 clauses out of 28017 with flag 110000/110114 81.71/41.41 c cleaning 14998 clauses out of 30013 with flag 126000/126114 90.64/45.97 c cleaning 15504 clauses out of 31016 with flag 142001/142115 99.81/50.52 c cleaning 15750 clauses out of 31514 with flag 158003/158117 110.15/55.75 c cleaning 15877 clauses out of 31762 with flag 174001/174115 119.09/60.24 c cleaning 15936 clauses out of 31884 with flag 190000/190114 125.81/63.70 c And the winner is CuttingPlanes 126.04/64.09 c Got one! Elapsed wall clock time (in seconds):63.976 126.04/64.09 o 5989695 129.09/65.65 c cleaning 16579 clauses out of 33188 with flag 5001/207354 132.45/67.37 c cleaning 11291 clauses out of 22608 with flag 11000/213353 136.59/69.47 c cleaning 9155 clauses out of 18317 with flag 18000/220353 140.75/71.57 c cleaning 8577 clauses out of 17164 with flag 26002/228355 145.45/73.99 c cleaning 8785 clauses out of 17587 with flag 35002/237355 151.39/76.93 c cleaning 9396 clauses out of 18802 with flag 45002/247355 157.71/80.17 c cleaning 10193 clauses out of 20404 with flag 56000/258353 164.25/83.40 c cleaning 11096 clauses out of 22212 with flag 68001/270354 171.55/87.16 c cleaning 12051 clauses out of 24117 with flag 81002/283355 179.49/91.17 c cleaning 13020 clauses out of 26064 with flag 95000/297353 187.42/95.15 c cleaning 14014 clauses out of 28044 with flag 110000/312353 195.94/99.41 c cleaning 15006 clauses out of 30031 with flag 126001/328354 205.24/104.20 c cleaning 15500 clauses out of 31024 with flag 142000/344353 214.78/108.94 c cleaning 15748 clauses out of 31525 with flag 158001/360354 224.10/113.69 c cleaning 15885 clauses out of 31776 with flag 174000/376353 233.45/118.35 c cleaning 15936 clauses out of 31891 with flag 190000/392353 242.33/122.87 c cleaning 15974 clauses out of 31956 with flag 206001/408354 251.05/127.22 c cleaning 15979 clauses out of 31982 with flag 222001/424354 260.39/131.95 c cleaning 15993 clauses out of 32002 with flag 238000/440353 270.70/137.20 c cleaning 15993 clauses out of 32009 with flag 254000/456353 280.00/141.84 c cleaning 16001 clauses out of 32016 with flag 270000/472353 289.69/146.79 c cleaning 16006 clauses out of 32015 with flag 286000/488353 301.03/152.43 c cleaning 15990 clauses out of 32009 with flag 302000/504353 310.13/157.08 c cleaning 16000 clauses out of 32020 with flag 318001/520354 320.17/162.16 c cleaning 15999 clauses out of 32019 with flag 334000/536353 329.89/167.04 c cleaning 15981 clauses out of 32020 with flag 350000/552353 338.60/171.50 c cleaning 16010 clauses out of 32039 with flag 366000/568353 347.30/175.80 c cleaning 16009 clauses out of 32030 with flag 382001/584354 355.76/180.11 c cleaning 16006 clauses out of 32020 with flag 398001/600354 364.66/184.60 c cleaning 15994 clauses out of 32013 with flag 414000/616353 372.97/188.86 c cleaning 15997 clauses out of 32020 with flag 430001/632354 382.08/193.44 c cleaning 16003 clauses out of 32022 with flag 446000/648353 390.94/197.97 c cleaning 16004 clauses out of 32021 with flag 462002/664355 400.43/202.79 c cleaning 16005 clauses out of 32015 with flag 478000/680353 408.74/206.93 c cleaning 15998 clauses out of 32011 with flag 494001/696354 417.43/211.32 c cleaning 16000 clauses out of 32014 with flag 510002/712355 425.28/215.31 c cleaning 16001 clauses out of 32012 with flag 526000/728353 434.61/220.03 c cleaning 16001 clauses out of 32014 with flag 542003/744356 443.31/224.46 c cleaning 15996 clauses out of 32011 with flag 558001/760354 452.81/229.25 c cleaning 15995 clauses out of 32014 with flag 574000/776353 462.08/233.95 c cleaning 16008 clauses out of 32019 with flag 590000/792353 469.99/237.98 c cleaning 16001 clauses out of 32014 with flag 606003/808356 478.49/242.27 c cleaning 15997 clauses out of 32011 with flag 622001/824354 487.20/246.64 c And the winner is Resolution 487.78/247.10 c Got one! Elapsed wall clock time (in seconds):246.987 487.78/247.10 o 5985807 488.39/247.41 c And the winner is Resolution 488.42/247.62 c Got one! Elapsed wall clock time (in seconds):247.504 488.42/247.62 o 5985033 489.97/248.42 c cleaning 18646 clauses out of 37300 with flag 4001/845640 492.44/249.75 c cleaning 12312 clauses out of 24655 with flag 10002/851641 495.13/251.19 c cleaning 9657 clauses out of 19343 with flag 17002/858641 498.83/253.08 c cleaning 8835 clauses out of 17685 with flag 25001/866640 503.52/255.49 c cleaning 8908 clauses out of 17849 with flag 34000/875639 505.17/256.40 c And the winner is Resolution 505.54/256.70 c Got one! Elapsed wall clock time (in seconds):256.58 505.54/256.70 o 5981524 506.61/257.23 c cleaning 7236 clauses out of 14517 with flag 3001/881215 508.70/258.40 c cleaning 6624 clauses out of 13280 with flag 9000/887214 511.71/259.87 c cleaning 6819 clauses out of 13657 with flag 16001/894215 515.22/261.62 c cleaning 7407 clauses out of 14838 with flag 24001/902215 519.47/263.80 c cleaning 8207 clauses out of 16430 with flag 33000/911214 524.18/266.20 c And the winner is Resolution 524.65/266.71 c Got one! Elapsed wall clock time (in seconds):266.594 524.65/266.71 o 5973540 525.02/266.94 c And the winner is Resolution 525.13/267.23 c Got one! Elapsed wall clock time (in seconds):267.11 525.13/267.23 o 5972632 526.46/267.99 c cleaning 11368 clauses out of 22746 with flag 4001/925737 529.37/269.42 c cleaning 8679 clauses out of 17377 with flag 10000/931736 532.84/271.20 c cleaning 7835 clauses out of 15699 with flag 17001/938737 536.48/273.17 c cleaning 7920 clauses out of 15863 with flag 25000/946736 540.58/275.26 c cleaning 8462 clauses out of 16943 with flag 34000/955736 545.29/277.65 c cleaning 9238 clauses out of 18481 with flag 44000/965736 551.19/280.66 c cleaning 10106 clauses out of 20243 with flag 55000/976736 557.81/284.07 c cleaning 11063 clauses out of 22137 with flag 67000/988736 563.50/286.92 c And the winner is Resolution 563.57/287.41 c Got one! Elapsed wall clock time (in seconds):287.293 563.57/287.41 o 5971357 565.35/288.34 c cleaning 13318 clauses out of 26648 with flag 5000/1004310 567.83/289.65 c cleaning 9647 clauses out of 19330 with flag 11000/1010310 570.51/291.07 c cleaning 8331 clauses out of 16683 with flag 18000/1017310 573.74/292.77 c cleaning 8167 clauses out of 16352 with flag 26000/1025310 578.22/295.05 c cleaning 8587 clauses out of 17185 with flag 35000/1034310 582.50/297.27 c cleaning 9295 clauses out of 18602 with flag 45004/1044314 587.77/299.97 c cleaning 10144 clauses out of 20303 with flag 56000/1055310 593.20/302.77 c cleaning 11077 clauses out of 22160 with flag 68001/1067311 600.48/306.46 c cleaning 12028 clauses out of 24082 with flag 81000/1080310 608.36/310.49 c cleaning 13018 clauses out of 26054 with flag 95000/1094310 616.84/314.78 c cleaning 14014 clauses out of 28039 with flag 110003/1109313 625.68/319.23 c cleaning 15004 clauses out of 30023 with flag 126001/1125311 635.35/324.12 c cleaning 15499 clauses out of 31018 with flag 142000/1141310 636.43/324.72 c And the winner is Resolution 636.55/324.87 c Got one! Elapsed wall clock time (in seconds):324.757 636.55/324.87 o 5964418 637.87/325.56 c cleaning 10519 clauses out of 21064 with flag 4000/1146855 639.94/326.66 c cleaning 8261 clauses out of 16546 with flag 10001/1152856 642.73/328.13 c cleaning 7622 clauses out of 15284 with flag 17000/1159855 645.82/329.75 c cleaning 7823 clauses out of 15663 with flag 25001/1167856 649.49/331.66 c cleaning 8412 clauses out of 16839 with flag 34000/1176855 653.17/333.56 c cleaning 9208 clauses out of 18428 with flag 44001/1186856 657.37/335.72 c cleaning 10103 clauses out of 20219 with flag 55000/1197855 662.24/338.25 c cleaning 11044 clauses out of 22116 with flag 67000/1209855 667.31/340.89 c cleaning 12027 clauses out of 24072 with flag 80000/1222855 673.17/343.85 c cleaning 13016 clauses out of 26048 with flag 94003/1236858 680.77/347.71 c cleaning 14006 clauses out of 28030 with flag 109001/1251856 689.06/352.00 c cleaning 15004 clauses out of 30023 with flag 125000/1267855 697.72/356.33 c cleaning 15498 clauses out of 31020 with flag 141001/1283856 706.78/360.92 c cleaning 15756 clauses out of 31524 with flag 157003/1299858 715.57/365.45 c cleaning 15870 clauses out of 31766 with flag 173001/1315856 724.85/370.13 c cleaning 15934 clauses out of 31897 with flag 189002/1331857 728.14/371.82 c And the winner is Resolution 728.25/372.29 c Got one! Elapsed wall clock time (in seconds):372.17 728.25/372.29 o 5961310 730.07/373.21 c cleaning 13357 clauses out of 26736 with flag 5000/1342630 732.54/374.51 c cleaning 9677 clauses out of 19379 with flag 11000/1348630 735.33/376.09 c cleaning 8333 clauses out of 16705 with flag 18003/1355633 736.99/376.97 c And the winner is Resolution 737.31/377.37 c Got one! Elapsed wall clock time (in seconds):377.257 737.31/377.37 o 5954602 737.96/377.72 c cleaning 6993 clauses out of 14028 with flag 2000/1361289 740.03/378.87 c cleaning 6500 clauses out of 13035 with flag 8000/1367289 742.49/380.18 c cleaning 6751 clauses out of 13535 with flag 15000/1374289 745.67/381.85 c cleaning 7378 clauses out of 14784 with flag 23000/1382289 749.13/383.61 c cleaning 8199 clauses out of 16408 with flag 32002/1391291 752.77/385.53 c cleaning 9100 clauses out of 18209 with flag 42002/1401291 759.03/388.76 c cleaning 10049 clauses out of 20107 with flag 53000/1412289 765.61/392.14 c cleaning 11023 clauses out of 22058 with flag 65000/1424289 772.86/395.90 c cleaning 12010 clauses out of 24036 with flag 78001/1437290 781.11/400.00 c cleaning 13005 clauses out of 26025 with flag 92000/1451289 789.96/404.53 c cleaning 14003 clauses out of 28020 with flag 107000/1466289 798.73/409.10 c cleaning 15005 clauses out of 30018 with flag 123001/1482290 807.79/413.61 c cleaning 15496 clauses out of 31013 with flag 139001/1498290 817.22/418.41 c cleaning 15744 clauses out of 31518 with flag 155002/1514291 826.48/423.15 c cleaning 15884 clauses out of 31773 with flag 171001/1530290 836.04/428.01 c cleaning 15933 clauses out of 31888 with flag 187000/1546289 844.68/432.43 c cleaning 15968 clauses out of 31954 with flag 203000/1562289 854.52/437.46 c cleaning 15990 clauses out of 31986 with flag 219000/1578289 864.16/442.32 c cleaning 15989 clauses out of 31997 with flag 235001/1594290 873.71/447.28 c cleaning 15997 clauses out of 32007 with flag 251000/1610289 883.38/452.11 c cleaning 15998 clauses out of 32010 with flag 267000/1626289 892.61/456.82 c cleaning 15997 clauses out of 32015 with flag 283003/1642292 901.83/461.59 c cleaning 16003 clauses out of 32016 with flag 299001/1658290 911.39/466.45 c cleaning 15998 clauses out of 32012 with flag 315000/1674289 912.82/467.22 c And the winner is Resolution 913.25/467.68 c Got one! Elapsed wall clock time (in seconds):467.565 913.25/467.68 o 5950590 914.36/468.23 c cleaning 10639 clauses out of 21300 with flag 3000/1679575 916.58/469.47 c cleaning 8315 clauses out of 16661 with flag 9000/1685575 919.25/470.89 c cleaning 7658 clauses out of 15347 with flag 16001/1692576 922.58/472.60 c cleaning 7833 clauses out of 15688 with flag 24000/1700575 925.83/474.36 c cleaning 8420 clauses out of 16855 with flag 33000/1709575 929.67/476.36 c cleaning 9211 clauses out of 18436 with flag 43001/1719576 934.09/478.61 c cleaning 10098 clauses out of 20225 with flag 54001/1730576 939.03/481.29 c cleaning 11053 clauses out of 22129 with flag 66003/1742578 944.46/484.08 c cleaning 12031 clauses out of 24075 with flag 79002/1755577 950.27/487.01 c cleaning 13013 clauses out of 26042 with flag 93000/1769575 956.30/490.17 c cleaning 14000 clauses out of 28030 with flag 108001/1784576 963.22/493.70 c cleaning 15006 clauses out of 30030 with flag 124001/1800576 969.86/497.19 c cleaning 15503 clauses out of 31023 with flag 140000/1816575 978.68/501.68 c cleaning 15755 clauses out of 31522 with flag 156004/1832579 988.13/506.41 c cleaning 15878 clauses out of 31763 with flag 172000/1848575 996.85/510.93 c cleaning 15939 clauses out of 31885 with flag 188000/1864575 1006.08/515.66 c cleaning 15969 clauses out of 31946 with flag 204000/1880575 1015.50/520.45 c cleaning 15975 clauses out of 31979 with flag 220002/1896577 1024.93/525.29 c cleaning 15996 clauses out of 32005 with flag 236003/1912578 1033.23/529.59 c cleaning 16000 clauses out of 32007 with flag 252001/1928576 1042.24/534.18 c cleaning 15992 clauses out of 32006 with flag 268000/1944575 1051.04/538.62 c cleaning 16002 clauses out of 32015 with flag 284001/1960576 1060.47/543.42 c cleaning 16001 clauses out of 32014 with flag 300002/1976577 1069.96/548.31 c cleaning 15996 clauses out of 32012 with flag 316001/1992576 1079.38/553.17 c cleaning 15996 clauses out of 32015 with flag 332000/2008575 1089.59/558.31 c cleaning 16005 clauses out of 32019 with flag 348000/2024575 1098.20/562.80 c cleaning 15998 clauses out of 32015 with flag 364001/2040576 1106.90/567.28 c cleaning 15996 clauses out of 32016 with flag 380000/2056575 1116.13/571.93 c cleaning 16007 clauses out of 32023 with flag 396003/2072578 1125.52/576.70 c cleaning 15996 clauses out of 32013 with flag 412000/2088575 1134.96/581.59 c cleaning 15993 clauses out of 32018 with flag 428001/2104576 1145.07/586.78 c cleaning 16008 clauses out of 32025 with flag 444001/2120576 1153.48/591.09 c cleaning 15997 clauses out of 32016 with flag 460000/2136575 1162.87/595.82 c cleaning 16001 clauses out of 32020 with flag 476001/2152576 1172.48/600.78 c cleaning 15996 clauses out of 32018 with flag 492000/2168575 1181.77/605.50 c cleaning 16000 clauses out of 32022 with flag 508000/2184575 1190.56/610.02 c cleaning 16008 clauses out of 32023 with flag 524001/2200576 1199.75/614.77 c cleaning 15998 clauses out of 32015 with flag 540001/2216576 1208.56/619.21 c cleaning 16003 clauses out of 32017 with flag 556001/2232576 1218.44/624.34 c cleaning 15999 clauses out of 32014 with flag 572001/2248576 1227.25/628.85 c cleaning 15997 clauses out of 32015 with flag 588001/2264576 1237.26/633.92 c cleaning 15997 clauses out of 32017 with flag 604000/2280575 1247.06/638.90 c cleaning 15999 clauses out of 32021 with flag 620001/2296576 1256.74/643.95 c cleaning 16010 clauses out of 32023 with flag 636002/2312577 1266.34/648.83 c cleaning 15999 clauses out of 32011 with flag 652000/2328575 1275.55/653.57 c cleaning 16002 clauses out of 32013 with flag 668001/2344576 1285.13/658.47 c cleaning 15995 clauses out of 32011 with flag 684001/2360576 1294.43/663.24 c cleaning 15999 clauses out of 32016 with flag 700001/2376576 1303.04/667.69 c cleaning 15998 clauses out of 32016 with flag 716000/2392575 1312.63/672.51 c cleaning 16002 clauses out of 32018 with flag 732000/2408575 1322.42/677.59 c cleaning 15999 clauses out of 32016 with flag 748000/2424575 1332.47/682.76 c cleaning 16000 clauses out of 32016 with flag 764000/2440575 1342.07/687.67 c cleaning 16000 clauses out of 32016 with flag 780000/2456575 1352.25/692.89 c cleaning 16006 clauses out of 32017 with flag 796002/2472577 1358.63/696.12 c And the winner is Resolution 1360.01/697.42 c starts : 341 1360.01/697.42 c conflicts : 2481883 1360.01/697.42 c decisions : 5118659 1360.01/697.42 c propagations : 551935742 1360.01/697.42 c inspects : 2278554788 1360.01/697.42 c shortcuts : 0 1360.01/697.42 c learnt literals : 28 1360.01/697.42 c learnt binary clauses : 714 1360.01/697.42 c learnt ternary clauses : 5377 1360.01/697.42 c learnt constraints : 2481854 1360.01/697.42 c ignored constraints : 0 1360.01/697.42 c root simplifications : 0 1360.01/697.42 c removed literals (reason simplification) : 16724081 1360.01/697.42 c reason swapping (by a shorter reason) : 0 1360.01/697.42 c Calls to reduceDB : 187 1360.01/697.42 c number of reductions to clauses (during analyze) : 0 1360.01/697.42 c number of learned constraints concerned by reduction : 0 1360.01/697.42 c number of learning phase by resolution : 0 1360.01/697.42 c number of learning phase by cutting planes : 0 1360.01/697.42 c speed (assignments/second) : 2402478.244593795 1360.01/697.42 c non guided choices 2527 1360.01/697.42 c learnt constraints type 1360.01/697.42 c constraints type 1360.01/697.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 1360.01/697.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 1360.01/697.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1360.01/697.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 1360.01/697.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 1360.01/697.42 c constraints type 1360.01/697.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465 1360.01/697.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061 1360.01/697.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1360.01/697.42 c org.sat4j.pb.constraints.pb.UnitClausesPB => 3 1360.01/697.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075 1360.01/697.42 s OPTIMUM FOUND 1360.01/697.43 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 1360.01/697.44 c objective function=5950590 1360.01/697.44 c Total wall clock time (in seconds): 697.323
OK 5950590
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-3744156-1338796038/watcher-3744156-1338796038 -o /tmp/evaluation-result-3744156-1338796038/solver-3744156-1338796038 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744156-1338796038.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: 3.75 3.83 3.62 4/197 24626 /proc/meminfo: memFree=27802412/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/24626/stat : 24626 (java) D 24624 24626 22704 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 345729745 9515008 183 33554432000 1073741824 1073778376 140734534256016 140734534247048 217410518709 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/24626/statm: 2323 183 140 9 0 71 0 [startup+0.0948969 s] /proc/loadavg: 3.75 3.83 3.62 4/197 24626 /proc/meminfo: memFree=27802412/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 4967 0 1 0 6 1 0 0 20 0 18 0 345729745 11864465408 13319 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2896598 13319 2042 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.100214 s] /proc/loadavg: 3.75 3.83 3.62 4/197 24626 /proc/meminfo: memFree=27802412/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 5252 0 1 0 7 2 0 0 20 0 18 0 345729745 11864465408 13597 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2896598 13597 2115 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300222 s] /proc/loadavg: 3.75 3.83 3.62 4/197 24626 /proc/meminfo: memFree=27802412/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11586392 CPUtime=0.51 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 7067 0 1 0 49 2 0 0 20 0 18 0 345729745 11864465408 17480 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2896598 17480 2235 9 0 2887285 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 11586392 [startup+0.700274 s] /proc/loadavg: 3.75 3.83 3.62 4/197 24626 /proc/meminfo: memFree=27802412/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=1.68 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 11672 0 1 0 162 6 0 0 20 0 19 0 345729745 12137111552 30895 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 30895 2261 9 0 2953849 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 11852648 [startup+1.50064 s] /proc/loadavg: 3.75 3.83 3.62 4/216 24648 /proc/meminfo: memFree=27687392/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 17209 0 1 0 232 9 0 0 20 0 19 0 345729745 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 37621 2261 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) S 24624 24626 22704 0 -1 4202560 3403 0 1 0 46 3 0 0 20 0 19 0 345729746 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444606018712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345729748 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=0.67 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6943 0 0 0 65 2 0 0 20 0 19 0 345729752 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5557 0 0 0 65 1 0 0 20 0 19 0 345729752 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24648] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24648/stat : 24648 (java) S 24624 24626 22704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 345729796 12137111552 37621 33554432000 1073741824 1073778376 140735247721968 140443941545512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 11852648 [startup+3.10072 s] /proc/loadavg: 3.75 3.83 3.62 7/219 24657 /proc/meminfo: memFree=27643092/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=5.02 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 17615 0 1 0 479 23 0 0 20 0 22 0 345729745 12137111552 204604 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 205116 2266 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) S 24624 24626 22704 0 -1 4202560 3405 0 1 0 50 3 0 0 20 0 22 0 345729746 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444606018728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345729749 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345729749 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345729749 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=0.9 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6969 0 0 0 88 2 0 0 20 0 22 0 345729752 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=0.89 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5593 0 0 0 87 2 0 0 20 0 22 0 345729752 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24648] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24648/stat : 24648 (java) S 24624 24626 22704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345729796 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443941545512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24655] ppid=24624 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/24626/task/24655/stat : 24655 (java) R 24624 24626 22704 0 -1 4202560 7 0 0 0 100 0 0 0 20 0 22 0 345729951 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443943650728 140444441484236 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24656] ppid=24624 vsize=11852648 CPUtime=1.02 cores=0,2,4,6 /proc/24626/task/24656/stat : 24656 (java) R 24624 24626 22704 0 -1 4202560 324 0 0 0 91 11 0 0 20 0 22 0 345729951 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443942595144 140444441713036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24657] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24657/stat : 24657 (java) S 24624 24626 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 345729951 12137111552 205116 33554432000 1073741824 1073778376 140735247721968 140443944702888 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.02 Current children cumulated vsize (KiB) 11852648 [startup+6.30073 s] /proc/loadavg: 3.77 3.83 3.62 5/219 24657 /proc/meminfo: memFree=25545572/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=11.52 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 18539 0 1 0 1100 52 0 0 20 0 22 0 345729745 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 632534 2291 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=0.53 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) S 24624 24626 22704 0 -1 4202560 3405 0 1 0 50 3 0 0 20 0 22 0 345729746 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444606018728 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345729748 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=0.04 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 36 0 0 0 3 1 0 0 20 0 22 0 345729749 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345729749 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345729749 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6984 0 0 0 97 2 0 0 20 0 22 0 345729752 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5598 0 0 0 94 2 0 0 20 0 22 0 345729752 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345729752 12137111552 632534 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 76 0 0 0 80 2 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 51 0 0 0 74 1 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 83 0 0 0 73 3 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 75 0 0 0 77 2 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 61 0 0 0 71 2 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 52 0 0 0 66 0 0 0 20 0 20 0 345729748 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=29.28 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 167 0 0 0 2919 9 0 0 20 0 20 0 345729749 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 345729749 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 345729749 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345729752 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6999 0 0 0 118 2 0 0 20 0 20 0 345729752 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=1.48 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5637 0 0 0 146 2 0 0 20 0 20 0 345729752 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 345729752 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0.23 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 41 0 0 0 11 12 0 0 20 0 20 0 345729752 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24660] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24660/stat : 24660 (java) S 24624 24626 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 345736155 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443941545000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24693] ppid=24624 vsize=11852648 CPUtime=215.71 cores=0,2,4,6 /proc/24626/task/24693/stat : 24693 (java) R 24624 24626 22704 0 -1 4202560 18 0 0 0 21568 3 0 0 20 0 20 0 345776514 12137111552 920744 33554432000 1073741824 1073778376 140735247721968 140443943647584 140444441195294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1359.28 Current children cumulated vsize (KiB) 11852648 [startup+697.101 s] /proc/loadavg: 3.81 3.81 3.71 4/217 24778 /proc/meminfo: memFree=24159152/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=1359.7 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 20105 0 1 0 135835 135 0 0 20 0 19 0 345729745 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 920741 2292 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) R 24624 24626 22704 0 -1 4202560 3457 0 1 0 75 4 0 0 20 0 19 0 345729746 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444606017080 140444440991682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 80 0 0 0 76 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 76 0 0 0 80 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 51 0 0 0 74 1 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 83 0 0 0 73 3 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 75 0 0 0 77 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 61 0 0 0 71 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 52 0 0 0 66 0 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=29.28 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 167 0 0 0 2919 9 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6999 0 0 0 118 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5638 0 0 0 147 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0.23 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 41 0 0 0 11 12 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24660] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24660/stat : 24660 (java) S 24624 24626 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345736155 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443941545000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1359.7 Current children cumulated vsize (KiB) 11852648 [startup+697.301 s] /proc/loadavg: 3.81 3.81 3.71 4/216 24778 /proc/meminfo: memFree=24159168/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=1359.91 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 20106 0 1 0 135856 135 0 0 20 0 19 0 345729745 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 920741 2292 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=1 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) R 24624 24626 22704 0 -1 4202560 3458 0 1 0 95 5 0 0 20 0 19 0 345729746 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444606016160 140444441944579 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 80 0 0 0 76 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 76 0 0 0 80 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 51 0 0 0 74 1 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 83 0 0 0 73 3 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 75 0 0 0 77 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 61 0 0 0 71 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 52 0 0 0 66 0 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=29.28 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 167 0 0 0 2919 9 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6999 0 0 0 118 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5638 0 0 0 147 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0.23 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 41 0 0 0 11 12 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24660] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24660/stat : 24660 (java) S 24624 24626 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345736155 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443941545000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1359.91 Current children cumulated vsize (KiB) 11852648 [startup+697.407 s] /proc/loadavg: 3.81 3.81 3.71 4/216 24778 /proc/meminfo: memFree=24159168/32873648 swapFree=7628/7628 [pid=24626] ppid=24624 vsize=11852648 CPUtime=1360.01 cores=0,2,4,6 /proc/24626/stat : 24626 (java) S 24624 24626 22704 0 -1 4202496 20106 0 1 0 135866 135 0 0 20 0 19 0 345729745 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140735247713104 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/24626/statm: 2963162 920741 2292 9 0 2953849 0 [pid=24626/tid=24628] ppid=24624 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/24626/task/24628/stat : 24628 (java) R 24624 24626 22704 0 -1 4202560 3458 0 1 0 105 5 0 0 20 0 19 0 345729746 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444606016160 140444440991682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24629] ppid=24624 vsize=11852648 CPUtime=0.78 cores=0,2,4,6 /proc/24626/task/24629/stat : 24629 (java) S 24624 24626 22704 0 -1 4202560 80 0 0 0 76 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444560771880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24630] ppid=24624 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/24626/task/24630/stat : 24630 (java) S 24624 24626 22704 0 -1 4202560 76 0 0 0 80 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444559719080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24631] ppid=24624 vsize=11852648 CPUtime=0.75 cores=0,2,4,6 /proc/24626/task/24631/stat : 24631 (java) S 24624 24626 22704 0 -1 4202560 51 0 0 0 74 1 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444440718376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24632] ppid=24624 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/24626/task/24632/stat : 24632 (java) S 24624 24626 22704 0 -1 4202560 83 0 0 0 73 3 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444439665576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24633] ppid=24624 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/24626/task/24633/stat : 24633 (java) S 24624 24626 22704 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444438612264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24634] ppid=24624 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/24626/task/24634/stat : 24634 (java) S 24624 24626 22704 0 -1 4202560 75 0 0 0 77 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444437559464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24635] ppid=24624 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/24626/task/24635/stat : 24635 (java) S 24624 24626 22704 0 -1 4202560 61 0 0 0 71 2 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444436507176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24636] ppid=24624 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/24626/task/24636/stat : 24636 (java) S 24624 24626 22704 0 -1 4202560 52 0 0 0 66 0 0 0 20 0 19 0 345729748 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140444435454376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24637] ppid=24624 vsize=11852648 CPUtime=29.28 cores=0,2,4,6 /proc/24626/task/24637/stat : 24637 (java) S 24624 24626 22704 0 -1 4202560 167 0 0 0 2919 9 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443953126120 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24638] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24638/stat : 24638 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443952072184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24639] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24639/stat : 24639 (java) S 24624 24626 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345729749 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443951019784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24640] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24640/stat : 24640 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443949968272 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24626/tid=24641] ppid=24624 vsize=11852648 CPUtime=1.2 cores=0,2,4,6 /proc/24626/task/24641/stat : 24641 (java) S 24624 24626 22704 0 -1 4202560 6999 0 0 0 118 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443948914872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24626/tid=24642] ppid=24624 vsize=11852648 CPUtime=1.49 cores=0,2,4,6 /proc/24626/task/24642/stat : 24642 (java) S 24624 24626 22704 0 -1 4202560 5638 0 0 0 147 2 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443947862072 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24643] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24643/stat : 24643 (java) S 24624 24626 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443946809976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24626/tid=24644] ppid=24624 vsize=11852648 CPUtime=0.23 cores=0,2,4,6 /proc/24626/task/24644/stat : 24644 (java) S 24624 24626 22704 0 -1 4202560 41 0 0 0 11 12 0 0 20 0 19 0 345729752 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443945757384 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24626/tid=24660] ppid=24624 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24626/task/24660/stat : 24660 (java) S 24624 24626 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345736155 12137111552 920741 33554432000 1073741824 1073778376 140735247721968 140443941545000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1360.01 Current children cumulated vsize (KiB) 11852648 Child status: 30 Real time (s): 697.47 CPU time (s): 1360.2 CPU user time (s): 1358.69 CPU system time (s): 1.50977 CPU usage (%): 195.019 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1358.69 system time used= 1.50977 maximum resident set size= 3682996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20117 page faults= 1 swaps= 0 block input operations= 0 block output operations= 776 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23922 involuntary context switches= 21748 runsolver used 2.6116 second user time and 6.18406 second system time The end
Begin job on node122 at 2012-06-04 09:47:18 IDJOB=3744156 IDBENCH=92697 IDSOLVER=2328 FILE ID=node122/3744156-1338796038 RUNJOBID= node122-1338785055-22720 PBS_JOBID= 14636854 Free space on /tmp= 71184 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_2_mh.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744156-1338796038/watcher-3744156-1338796038 -o /tmp/evaluation-result-3744156-1338796038/solver-3744156-1338796038 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744156-1338796038.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7 RANDOM SEED=1409490041 node122.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.533 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.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.04 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.533 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.533 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.533 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 : 5438.54 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.533 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.533 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: 32873648 kB MemFree: 27802148 kB Buffers: 275512 kB Cached: 298996 kB SwapCached: 1584 kB Active: 3997452 kB Inactive: 209600 kB Active(anon): 3629592 kB Inactive(anon): 5436 kB Active(file): 367860 kB Inactive(file): 204164 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67100244 kB Dirty: 724 kB Writeback: 0 kB AnonPages: 3646692 kB Mapped: 17008 kB Shmem: 0 kB Slab: 713684 kB SReclaimable: 157544 kB SUnreclaim: 556140 kB KernelStack: 1616 kB PageTables: 10880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10495812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 3581952 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71184 MiB End job on node122 at 2012-06-04 09:58:55