Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 27 | 1800.31 | 973.063 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 28.5777 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3973 |
Total number of constraints | 11097 |
Number of constraints which are clauses | 11097 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1906 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1906 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1906 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.08 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.18-164.el5 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.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454104-1307193537.opb 0.10/0.11 c reading problem ... 0.80/0.41 c ... done. Wall clock time 0.301s. 0.80/0.41 c #vars 3973 0.80/0.41 c #constraints 11082 0.80/0.41 c constraints type 0.80/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 0.80/0.41 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902 0.80/0.41 c constraints type 0.80/0.41 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8902 0.80/0.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 0.80/0.47 c And the winner is CuttingPlanes 1.09/0.93 c SATISFIABLE 1.09/0.93 c OPTIMIZING... 1.09/0.93 c Got one! Elapsed wall clock time (in seconds):0.822 1.09/0.93 o 40 1.09/0.96 c And the winner is Resolution 1.37/1.45 c Got one! Elapsed wall clock time (in seconds):1.338 1.37/1.45 o 39 1.55/1.52 c And the winner is Resolution 2.03/1.96 c Got one! Elapsed wall clock time (in seconds):1.851 2.03/1.96 o 33 2.16/2.02 c And the winner is Resolution 2.27/2.48 c Got one! Elapsed wall clock time (in seconds):2.365 2.27/2.48 o 32 2.35/2.52 c And the winner is Resolution 2.47/2.99 c Got one! Elapsed wall clock time (in seconds):2.878 2.47/2.99 o 31 2.72/3.11 c And the winner is Resolution 2.79/3.50 c Got one! Elapsed wall clock time (in seconds):3.387 2.79/3.50 o 29 5.76/4.94 c cleaning 2969 clauses out of 5944 with flag 5001/5944 8.62/6.35 c cleaning 4481 clauses out of 8975 with flag 11001/11944 11.82/7.99 c cleaning 5742 clauses out of 11494 with flag 18001/18944 15.38/9.79 c cleaning 6869 clauses out of 13751 with flag 26000/26943 19.77/11.96 c cleaning 7937 clauses out of 15882 with flag 35000/35943 20.94/12.51 c And the winner is Resolution 21.05/12.61 c Got one! Elapsed wall clock time (in seconds):12.497 21.05/12.61 o 28 22.06/13.20 c cleaning 6724 clauses out of 13458 with flag 3000/41456 24.44/14.36 c cleaning 6359 clauses out of 12734 with flag 9000/47456 27.56/15.94 c cleaning 6682 clauses out of 13375 with flag 16000/54456 31.32/17.84 c cleaning 7343 clauses out of 14693 with flag 24000/62456 35.12/19.81 c cleaning 8172 clauses out of 16350 with flag 33000/71456 39.48/21.99 c cleaning 9076 clauses out of 18178 with flag 43000/81456 44.42/24.44 c cleaning 10045 clauses out of 20102 with flag 54000/92456 49.37/26.93 c cleaning 10521 clauses out of 21057 with flag 65000/103456 54.34/29.41 c cleaning 10759 clauses out of 21537 with flag 76001/114457 59.18/31.82 c cleaning 10883 clauses out of 21777 with flag 87000/125456 63.92/34.29 c cleaning 10940 clauses out of 21894 with flag 98000/136456 69.07/36.88 c cleaning 10970 clauses out of 21954 with flag 109000/147456 74.04/39.32 c cleaning 10986 clauses out of 21984 with flag 120000/158456 78.20/41.40 c cleaning 10993 clauses out of 21998 with flag 131000/169456 82.97/43.88 c cleaning 10989 clauses out of 22005 with flag 142000/180456 87.92/46.36 c cleaning 10997 clauses out of 22016 with flag 153000/191456 93.88/49.35 c cleaning 11005 clauses out of 22019 with flag 164000/202456 98.85/51.87 c cleaning 10999 clauses out of 22014 with flag 175000/213456 104.81/54.88 c cleaning 10994 clauses out of 22015 with flag 186000/224456 110.35/57.68 c cleaning 10995 clauses out of 22021 with flag 197000/235456 115.10/60.03 c cleaning 11004 clauses out of 22026 with flag 208000/246456 119.90/62.45 c cleaning 10999 clauses out of 22022 with flag 219000/257456 124.88/64.93 c cleaning 11008 clauses out of 22023 with flag 230000/268456 129.55/67.34 c cleaning 11006 clauses out of 22015 with flag 241000/279456 134.28/69.75 c cleaning 11002 clauses out of 22009 with flag 252000/290456 139.02/72.16 c cleaning 11000 clauses out of 22008 with flag 263001/301457 143.96/74.67 c cleaning 10996 clauses out of 22007 with flag 274000/312456 148.86/77.10 c cleaning 10996 clauses out of 22011 with flag 285000/323456 153.79/79.64 c cleaning 11003 clauses out of 22015 with flag 296000/334456 158.92/82.21 c cleaning 10994 clauses out of 22012 with flag 307000/345456 164.44/85.02 c cleaning 11004 clauses out of 22019 with flag 318001/356457 169.73/87.71 c cleaning 10998 clauses out of 22015 with flag 329001/367457 175.05/90.43 c cleaning 11005 clauses out of 22016 with flag 340000/378456 180.37/93.13 c cleaning 10996 clauses out of 22011 with flag 351000/389456 185.89/95.93 c cleaning 11003 clauses out of 22015 with flag 362000/400456 191.37/98.78 c cleaning 11001 clauses out of 22013 with flag 373001/411457 197.29/101.76 c cleaning 10996 clauses out of 22011 with flag 384000/422456 203.01/104.68 c cleaning 11003 clauses out of 22017 with flag 395002/433458 207.71/107.03 c cleaning 10997 clauses out of 22014 with flag 406002/444458 212.58/109.50 c cleaning 10999 clauses out of 22016 with flag 417001/455457 217.95/112.26 c cleaning 11001 clauses out of 22017 with flag 428001/466457 223.22/114.96 c cleaning 11001 clauses out of 22017 with flag 439002/477458 228.13/117.40 c cleaning 11001 clauses out of 22015 with flag 450001/488457 233.19/120.03 c cleaning 11002 clauses out of 22014 with flag 461001/499457 238.29/122.69 c cleaning 10995 clauses out of 22011 with flag 472000/510456 243.40/125.31 c cleaning 10999 clauses out of 22017 with flag 483001/521457 248.50/127.83 c cleaning 11002 clauses out of 22018 with flag 494001/532457 253.84/130.50 c cleaning 11000 clauses out of 22017 with flag 505002/543458 258.98/133.14 c cleaning 10993 clauses out of 22015 with flag 516000/554456 264.23/135.81 c cleaning 11007 clauses out of 22024 with flag 527002/565458 269.56/138.52 c cleaning 10999 clauses out of 22016 with flag 538001/576457 275.14/141.42 c cleaning 11001 clauses out of 22016 with flag 549000/587456 280.02/143.92 c cleaning 11000 clauses out of 22015 with flag 560000/598456 285.08/146.51 c cleaning 11002 clauses out of 22016 with flag 571001/609457 289.36/148.71 c cleaning 10998 clauses out of 22013 with flag 582000/620456 294.15/151.21 c cleaning 11001 clauses out of 22015 with flag 593000/631456 299.21/153.91 c cleaning 11002 clauses out of 22015 with flag 604001/642457 304.46/156.51 c cleaning 10996 clauses out of 22012 with flag 615000/653456 309.12/158.98 c cleaning 11004 clauses out of 22016 with flag 626000/664456 314.10/161.53 c cleaning 10996 clauses out of 22012 with flag 637000/675456 318.95/164.04 c cleaning 10999 clauses out of 22016 with flag 648000/686456 323.80/166.50 c cleaning 10997 clauses out of 22018 with flag 659001/697457 328.65/169.04 c cleaning 10995 clauses out of 22020 with flag 670000/708456 333.65/171.64 c cleaning 11000 clauses out of 22025 with flag 681000/719456 338.45/174.14 c cleaning 11002 clauses out of 22025 with flag 692000/730456 343.49/176.72 c cleaning 11001 clauses out of 22023 with flag 703000/741456 348.35/179.29 c cleaning 11001 clauses out of 22022 with flag 714000/752456 353.67/182.06 c cleaning 11001 clauses out of 22021 with flag 725000/763456 358.51/184.58 c cleaning 11002 clauses out of 22021 with flag 736001/774457 363.37/187.10 c cleaning 11003 clauses out of 22018 with flag 747000/785456 368.16/189.53 c cleaning 11001 clauses out of 22015 with flag 758000/796456 372.69/191.99 c cleaning 11002 clauses out of 22014 with flag 769000/807456 377.52/194.41 c cleaning 11001 clauses out of 22012 with flag 780000/818456 382.17/196.86 c cleaning 10992 clauses out of 22011 with flag 791000/829456 386.75/199.28 c cleaning 11003 clauses out of 22020 with flag 802001/840457 391.48/201.79 c cleaning 11001 clauses out of 22018 with flag 813002/851458 396.29/204.26 c cleaning 10993 clauses out of 22015 with flag 824000/862456 401.14/206.80 c cleaning 10999 clauses out of 22022 with flag 835000/873456 406.11/209.32 c cleaning 11009 clauses out of 22023 with flag 846000/884456 411.43/212.16 c cleaning 11004 clauses out of 22014 with flag 857000/895456 416.63/214.83 c cleaning 11003 clauses out of 22014 with flag 868004/906460 422.04/217.65 c cleaning 10996 clauses out of 22007 with flag 879000/917456 427.24/220.31 c cleaning 10999 clauses out of 22011 with flag 890000/928456 432.77/223.28 c cleaning 10990 clauses out of 22012 with flag 901000/939456 437.73/225.87 c cleaning 11006 clauses out of 22022 with flag 912000/950456 442.72/228.46 c cleaning 10998 clauses out of 22016 with flag 923000/961456 444.91/229.68 c And the winner is CuttingPlanes 445.07/229.71 c Got one! Elapsed wall clock time (in seconds):229.597 445.07/229.71 o 27 445.49/229.92 c cleaning 8314 clauses out of 16636 with flag 1000/967074 448.32/231.55 c cleaning 7155 clauses out of 14322 with flag 7000/973074 451.70/233.32 c cleaning 7081 clauses out of 14168 with flag 14001/980075 455.27/235.20 c cleaning 7534 clauses out of 15086 with flag 22000/988074 458.84/237.14 c cleaning 8269 clauses out of 16552 with flag 31000/997074 463.49/239.71 c cleaning 9137 clauses out of 18284 with flag 41001/1007075 468.67/242.39 c cleaning 10066 clauses out of 20146 with flag 52000/1018074 473.83/245.07 c cleaning 10532 clauses out of 21080 with flag 63000/1029074 479.20/247.81 c cleaning 10759 clauses out of 21548 with flag 74000/1040074 484.68/250.76 c cleaning 10891 clauses out of 21792 with flag 85003/1051077 490.01/253.57 c cleaning 10941 clauses out of 21898 with flag 96000/1062074 495.42/256.38 c cleaning 10975 clauses out of 21959 with flag 107002/1073076 500.74/259.17 c cleaning 10980 clauses out of 21982 with flag 118000/1084074 505.98/261.98 c cleaning 10990 clauses out of 22004 with flag 129002/1095076 511.33/264.70 c cleaning 11003 clauses out of 22012 with flag 140000/1106074 516.69/267.59 c cleaning 10999 clauses out of 22010 with flag 151001/1117075 522.24/270.40 c cleaning 10992 clauses out of 22010 with flag 162000/1128074 527.68/273.31 c cleaning 11005 clauses out of 22018 with flag 173000/1139074 532.86/276.04 c cleaning 11005 clauses out of 22013 with flag 184000/1150074 538.19/278.81 c cleaning 10992 clauses out of 22008 with flag 195000/1161074 543.38/281.52 c cleaning 11002 clauses out of 22016 with flag 206000/1172074 548.79/284.43 c cleaning 11001 clauses out of 22014 with flag 217000/1183074 553.98/287.17 c cleaning 10996 clauses out of 22013 with flag 228000/1194074 558.89/289.79 c cleaning 10985 clauses out of 22017 with flag 239000/1205074 563.84/292.40 c cleaning 11007 clauses out of 22032 with flag 250000/1216074 569.25/295.21 c cleaning 11010 clauses out of 22026 with flag 261001/1227075 574.19/297.84 c cleaning 10999 clauses out of 22016 with flag 272001/1238075 579.33/300.53 c cleaning 10999 clauses out of 22016 with flag 283000/1249074 584.67/303.32 c cleaning 11001 clauses out of 22017 with flag 294000/1260074 590.28/306.33 c cleaning 10999 clauses out of 22016 with flag 305000/1271074 595.45/309.07 c cleaning 10995 clauses out of 22017 with flag 316000/1282074 600.94/311.94 c cleaning 11004 clauses out of 22022 with flag 327000/1293074 606.26/314.74 c cleaning 10999 clauses out of 22019 with flag 338001/1304075 611.64/317.65 c cleaning 11001 clauses out of 22019 with flag 349000/1315074 617.14/320.57 c cleaning 10997 clauses out of 22019 with flag 360001/1326075 622.23/323.31 c cleaning 11003 clauses out of 22021 with flag 371000/1337074 627.71/326.18 c cleaning 10993 clauses out of 22018 with flag 382000/1348074 633.25/329.17 c cleaning 11006 clauses out of 22025 with flag 393000/1359074 638.72/332.05 c cleaning 11005 clauses out of 22020 with flag 404001/1370075 644.00/334.87 c cleaning 10999 clauses out of 22014 with flag 415000/1381074 649.08/337.60 c cleaning 10999 clauses out of 22015 with flag 426000/1392074 654.59/340.57 c cleaning 10999 clauses out of 22016 with flag 437000/1403074 660.06/343.44 c cleaning 11000 clauses out of 22017 with flag 448000/1414074 665.34/346.26 c cleaning 10998 clauses out of 22018 with flag 459001/1425075 670.41/348.93 c cleaning 10998 clauses out of 22020 with flag 470001/1436075 675.96/352.02 c cleaning 10997 clauses out of 22021 with flag 481000/1447074 681.99/355.13 c cleaning 11006 clauses out of 22024 with flag 492000/1458074 688.07/358.36 c cleaning 11004 clauses out of 22018 with flag 503000/1469074 694.35/361.61 c cleaning 11000 clauses out of 22015 with flag 514001/1480075 700.26/364.81 c cleaning 10996 clauses out of 22014 with flag 525000/1491074 705.18/367.46 c cleaning 11001 clauses out of 22018 with flag 536000/1502074 710.20/370.17 c cleaning 10997 clauses out of 22017 with flag 547000/1513074 715.06/372.81 c cleaning 10999 clauses out of 22020 with flag 558000/1524074 720.56/375.77 c cleaning 11001 clauses out of 22021 with flag 569000/1535074 725.44/378.40 c cleaning 11003 clauses out of 22021 with flag 580001/1546075 730.46/381.06 c cleaning 10996 clauses out of 22017 with flag 591000/1557074 735.51/383.81 c cleaning 11003 clauses out of 22024 with flag 602003/1568077 740.79/386.60 c cleaning 11005 clauses out of 22018 with flag 613000/1579074 746.09/389.46 c cleaning 10996 clauses out of 22014 with flag 624001/1590075 751.09/392.17 c cleaning 11001 clauses out of 22017 with flag 635000/1601074 756.38/394.93 c cleaning 11002 clauses out of 22017 with flag 646001/1612075 761.99/398.10 c cleaning 11004 clauses out of 22015 with flag 657001/1623075 767.60/401.07 c cleaning 10997 clauses out of 22010 with flag 668000/1634074 773.42/404.13 c cleaning 10992 clauses out of 22013 with flag 679000/1645074 779.04/407.19 c cleaning 11000 clauses out of 22022 with flag 690001/1656075 784.72/410.30 c cleaning 11003 clauses out of 22021 with flag 701000/1667074 790.70/413.42 c cleaning 10999 clauses out of 22020 with flag 712002/1678076 797.15/416.85 c cleaning 11001 clauses out of 22020 with flag 723001/1689075 802.73/419.88 c cleaning 10994 clauses out of 22019 with flag 734001/1700075 808.57/423.03 c cleaning 11005 clauses out of 22024 with flag 745000/1711074 813.97/425.94 c cleaning 11002 clauses out of 22019 with flag 756000/1722074 819.99/429.12 c cleaning 11002 clauses out of 22017 with flag 767000/1733074 825.81/432.27 c cleaning 10996 clauses out of 22015 with flag 778000/1744074 832.19/435.75 c cleaning 10994 clauses out of 22019 with flag 789000/1755074 839.39/439.56 c cleaning 10995 clauses out of 22025 with flag 800000/1766074 846.41/443.31 c cleaning 11006 clauses out of 22031 with flag 811001/1777075 854.17/447.30 c cleaning 11004 clauses out of 22026 with flag 822002/1788076 861.56/451.40 c cleaning 11000 clauses out of 22022 with flag 833002/1799076 868.94/455.25 c cleaning 10997 clauses out of 22022 with flag 844002/1810076 876.11/459.07 c cleaning 11003 clauses out of 22023 with flag 855000/1821074 883.72/463.11 c cleaning 11002 clauses out of 22021 with flag 866001/1832075 891.66/467.36 c cleaning 10996 clauses out of 22019 with flag 877001/1843075 897.82/470.64 c cleaning 11005 clauses out of 22022 with flag 888000/1854074 903.18/473.53 c cleaning 10999 clauses out of 22017 with flag 899000/1865074 908.96/476.61 c cleaning 11001 clauses out of 22018 with flag 910000/1876074 914.72/479.85 c cleaning 11000 clauses out of 22017 with flag 921000/1887074 921.08/483.29 c cleaning 10994 clauses out of 22018 with flag 932001/1898075 927.25/486.57 c cleaning 11007 clauses out of 22023 with flag 943000/1909074 932.85/489.56 c cleaning 10998 clauses out of 22016 with flag 954000/1920074 938.59/492.74 c cleaning 11003 clauses out of 22018 with flag 965000/1931074 943.91/495.67 c cleaning 11000 clauses out of 22015 with flag 976000/1942074 949.46/498.63 c cleaning 11003 clauses out of 22018 with flag 987003/1953077 954.85/501.57 c cleaning 10998 clauses out of 22013 with flag 998001/1964075 960.56/504.76 c cleaning 11001 clauses out of 22015 with flag 1009001/1975075 966.11/507.72 c cleaning 11003 clauses out of 22015 with flag 1020002/1986076 971.65/510.70 c cleaning 10998 clauses out of 22010 with flag 1031000/1997074 976.79/513.52 c cleaning 10998 clauses out of 22012 with flag 1042000/2008074 982.13/516.57 c cleaning 11003 clauses out of 22015 with flag 1053001/2019075 987.47/519.41 c cleaning 11001 clauses out of 22012 with flag 1064001/2030075 992.60/522.25 c cleaning 10999 clauses out of 22010 with flag 1075000/2041074 997.94/525.12 c cleaning 10999 clauses out of 22013 with flag 1086002/2052076 1003.66/528.37 c cleaning 10999 clauses out of 22012 with flag 1097000/2063074 1009.24/531.38 c cleaning 10999 clauses out of 22014 with flag 1108001/2074075 1014.93/534.51 c cleaning 10996 clauses out of 22014 with flag 1119000/2085074 1020.86/537.65 c cleaning 10996 clauses out of 22018 with flag 1130000/2096074 1027.20/541.20 c cleaning 10999 clauses out of 22023 with flag 1141001/2107075 1033.10/544.31 c cleaning 11006 clauses out of 22023 with flag 1152000/2118074 1038.63/547.33 c cleaning 11001 clauses out of 22018 with flag 1163001/2129075 1044.16/550.32 c cleaning 10999 clauses out of 22016 with flag 1174000/2140074 1050.07/553.60 c cleaning 10998 clauses out of 22017 with flag 1185000/2151074 1055.65/556.67 c cleaning 10993 clauses out of 22019 with flag 1196000/2162074 1061.33/559.71 c cleaning 11005 clauses out of 22026 with flag 1207000/2173074 1067.06/562.81 c cleaning 10999 clauses out of 22021 with flag 1218000/2184074 1072.76/566.09 c cleaning 11003 clauses out of 22022 with flag 1229000/2195074 1078.48/569.16 c cleaning 11005 clauses out of 22021 with flag 1240002/2206076 1084.40/572.33 c cleaning 11002 clauses out of 22014 with flag 1251000/2217074 1090.31/575.58 c cleaning 10997 clauses out of 22013 with flag 1262001/2228075 1096.41/578.97 c cleaning 11002 clauses out of 22015 with flag 1273000/2239074 1102.52/582.23 c cleaning 10998 clauses out of 22013 with flag 1284000/2250074 1108.45/585.48 c cleaning 10993 clauses out of 22015 with flag 1295000/2261074 1114.56/588.76 c cleaning 10998 clauses out of 22022 with flag 1306000/2272074 1121.06/592.35 c cleaning 11001 clauses out of 22024 with flag 1317000/2283074 1126.97/595.56 c cleaning 11006 clauses out of 22025 with flag 1328002/2294076 1132.33/598.42 c cleaning 11001 clauses out of 22017 with flag 1339000/2305074 1137.19/601.19 c cleaning 10993 clauses out of 22016 with flag 1350000/2316074 1142.86/604.33 c cleaning 11002 clauses out of 22023 with flag 1361000/2327074 1148.00/607.14 c cleaning 11004 clauses out of 22021 with flag 1372000/2338074 1153.08/609.95 c cleaning 10994 clauses out of 22017 with flag 1383000/2349074 1158.39/612.87 c cleaning 11002 clauses out of 22023 with flag 1394000/2360074 1164.19/616.14 c cleaning 11004 clauses out of 22022 with flag 1405001/2371075 1169.45/619.09 c cleaning 10996 clauses out of 22017 with flag 1416000/2382074 1174.96/622.03 c cleaning 11000 clauses out of 22021 with flag 1427000/2393074 1180.41/625.05 c cleaning 11003 clauses out of 22024 with flag 1438003/2404077 1186.08/628.25 c cleaning 11004 clauses out of 22021 with flag 1449003/2415077 1191.19/631.09 c cleaning 11003 clauses out of 22014 with flag 1460000/2426074 1196.66/634.09 c cleaning 10998 clauses out of 22012 with flag 1471001/2437075 1202.15/637.05 c cleaning 11003 clauses out of 22013 with flag 1482000/2448074 1207.84/640.28 c cleaning 10996 clauses out of 22011 with flag 1493001/2459075 1213.48/643.32 c cleaning 10998 clauses out of 22014 with flag 1504000/2470074 1218.96/646.38 c cleaning 10997 clauses out of 22016 with flag 1515000/2481074 1224.23/649.28 c cleaning 11003 clauses out of 22020 with flag 1526001/2492075 1229.49/652.29 c cleaning 11000 clauses out of 22017 with flag 1537001/2503075 1234.72/655.15 c cleaning 10997 clauses out of 22017 with flag 1548001/2514075 1239.99/658.06 c cleaning 11002 clauses out of 22020 with flag 1559001/2525075 1245.06/660.86 c cleaning 11000 clauses out of 22018 with flag 1570001/2536075 1250.69/664.02 c cleaning 10998 clauses out of 22018 with flag 1581001/2547075 1255.95/666.95 c cleaning 11002 clauses out of 22019 with flag 1592000/2558074 1261.24/669.84 c cleaning 11003 clauses out of 22017 with flag 1603000/2569074 1266.66/672.83 c cleaning 11000 clauses out of 22016 with flag 1614002/2580076 1272.26/676.07 c cleaning 10998 clauses out of 22015 with flag 1625001/2591075 1278.32/679.32 c cleaning 10999 clauses out of 22016 with flag 1636000/2602074 1283.97/682.42 c cleaning 10995 clauses out of 22018 with flag 1647001/2613075 1289.61/685.53 c cleaning 10997 clauses out of 22023 with flag 1658001/2624075 1295.40/688.83 c cleaning 11003 clauses out of 22027 with flag 1669002/2635076 1300.88/691.91 c cleaning 11004 clauses out of 22022 with flag 1680000/2646074 1306.48/694.92 c cleaning 11002 clauses out of 22020 with flag 1691002/2657076 1312.32/698.16 c cleaning 11003 clauses out of 22018 with flag 1702002/2668076 1318.30/701.50 c cleaning 10998 clauses out of 22013 with flag 1713000/2679074 1323.93/704.67 c cleaning 11001 clauses out of 22015 with flag 1724000/2690074 1329.77/707.81 c cleaning 11000 clauses out of 22015 with flag 1735001/2701075 1335.40/710.91 c cleaning 10994 clauses out of 22014 with flag 1746000/2712074 1341.37/714.39 c cleaning 11002 clauses out of 22020 with flag 1757000/2723074 1347.20/717.51 c cleaning 11000 clauses out of 22018 with flag 1768000/2734074 1353.42/720.93 c cleaning 10997 clauses out of 22018 with flag 1779000/2745074 1359.64/724.37 c cleaning 11002 clauses out of 22023 with flag 1790002/2756076 1366.20/728.06 c cleaning 11002 clauses out of 22020 with flag 1801001/2767075 1372.44/731.43 c cleaning 11005 clauses out of 22020 with flag 1812003/2778077 1378.81/734.92 c cleaning 10999 clauses out of 22012 with flag 1823000/2789074 1385.42/738.52 c cleaning 10994 clauses out of 22014 with flag 1834001/2800075 1392.16/742.34 c cleaning 10999 clauses out of 22019 with flag 1845000/2811074 1398.59/745.84 c cleaning 10998 clauses out of 22020 with flag 1856000/2822074 1405.16/749.49 c cleaning 10998 clauses out of 22022 with flag 1867000/2833074 1412.16/753.24 c cleaning 11006 clauses out of 22025 with flag 1878001/2844075 1419.48/757.30 c cleaning 11002 clauses out of 22019 with flag 1889001/2855075 1426.27/761.05 c cleaning 11003 clauses out of 22019 with flag 1900003/2866077 1431.85/764.19 c cleaning 10996 clauses out of 22013 with flag 1911000/2877074 1437.44/767.28 c cleaning 10998 clauses out of 22017 with flag 1922000/2888074 1443.34/770.68 c cleaning 11001 clauses out of 22021 with flag 1933002/2899076 1448.93/773.78 c cleaning 10998 clauses out of 22018 with flag 1944000/2910074 1454.51/776.84 c cleaning 10999 clauses out of 22020 with flag 1955000/2921074 1460.13/779.94 c cleaning 11000 clauses out of 22021 with flag 1966000/2932074 1465.84/783.25 c cleaning 11004 clauses out of 22021 with flag 1977000/2943074 1471.18/786.26 c cleaning 10996 clauses out of 22017 with flag 1988000/2954074 1476.76/789.39 c cleaning 10998 clauses out of 22021 with flag 1999000/2965074 1482.94/792.72 c cleaning 11004 clauses out of 22023 with flag 2010000/2976074 1489.26/796.33 c cleaning 11005 clauses out of 22020 with flag 2021001/2987075 1494.61/799.37 c cleaning 10995 clauses out of 22014 with flag 2032000/2998074 1500.38/802.52 c cleaning 11002 clauses out of 22019 with flag 2043000/3009074 1506.15/805.71 c cleaning 10995 clauses out of 22018 with flag 2054001/3020075 1511.44/808.89 c cleaning 11008 clauses out of 22023 with flag 2065001/3031075 1516.63/811.81 c cleaning 11002 clauses out of 22014 with flag 2076000/3042074 1522.81/815.13 c cleaning 10997 clauses out of 22012 with flag 2087000/3053074 1528.33/818.24 c cleaning 10996 clauses out of 22015 with flag 2098000/3064074 1534.23/821.66 c cleaning 11000 clauses out of 22019 with flag 2109000/3075074 1540.17/824.99 c cleaning 10991 clauses out of 22019 with flag 2120000/3086074 1545.88/828.14 c cleaning 11009 clauses out of 22029 with flag 2131001/3097075 1551.42/831.20 c cleaning 11006 clauses out of 22021 with flag 2142002/3108076 1557.25/834.65 c cleaning 10997 clauses out of 22013 with flag 2153000/3119074 1562.98/837.82 c cleaning 11003 clauses out of 22016 with flag 2164000/3130074 1568.72/841.03 c cleaning 11003 clauses out of 22013 with flag 2175000/3141074 1574.44/844.27 c cleaning 10998 clauses out of 22010 with flag 2186000/3152074 1580.27/847.61 c cleaning 10999 clauses out of 22012 with flag 2197000/3163074 1585.79/850.72 c cleaning 10998 clauses out of 22013 with flag 2208000/3174074 1591.32/853.88 c cleaning 10999 clauses out of 22016 with flag 2219001/3185075 1596.67/856.87 c cleaning 11002 clauses out of 22019 with flag 2230003/3196077 1602.50/860.23 c cleaning 10993 clauses out of 22014 with flag 2241000/3207074 1607.99/863.31 c cleaning 10998 clauses out of 22021 with flag 2252000/3218074 1613.52/866.44 c cleaning 11003 clauses out of 22024 with flag 2263001/3229075 1618.85/869.48 c cleaning 11001 clauses out of 22020 with flag 2274000/3240074 1624.48/872.78 c cleaning 11002 clauses out of 22019 with flag 2285000/3251074 1629.80/875.79 c cleaning 11004 clauses out of 22017 with flag 2296000/3262074 1635.35/878.85 c cleaning 11003 clauses out of 22013 with flag 2307000/3273074 1640.84/881.94 c cleaning 10994 clauses out of 22011 with flag 2318001/3284075 1646.46/885.28 c cleaning 10998 clauses out of 22017 with flag 2329001/3295075 1651.99/888.32 c cleaning 11002 clauses out of 22018 with flag 2340000/3306074 1657.31/891.37 c cleaning 10998 clauses out of 22017 with flag 2351001/3317075 1662.83/894.45 c cleaning 10996 clauses out of 22019 with flag 2362001/3328075 1668.83/897.92 c cleaning 10994 clauses out of 22022 with flag 2373000/3339074 1674.56/901.10 c cleaning 11001 clauses out of 22028 with flag 2384000/3350074 1680.11/904.22 c cleaning 11007 clauses out of 22027 with flag 2395000/3361074 1685.59/907.33 c cleaning 10988 clauses out of 22020 with flag 2406000/3372074 1691.64/910.83 c cleaning 11009 clauses out of 22032 with flag 2417000/3383074 1697.12/913.96 c cleaning 11007 clauses out of 22025 with flag 2428002/3394076 1702.42/916.99 c cleaning 11001 clauses out of 22016 with flag 2439000/3405074 1707.92/920.03 c cleaning 10987 clauses out of 22015 with flag 2450000/3416074 1713.51/923.35 c cleaning 11008 clauses out of 22029 with flag 2461001/3427075 1718.81/926.33 c cleaning 10999 clauses out of 22020 with flag 2472000/3438074 1724.11/929.35 c cleaning 10995 clauses out of 22021 with flag 2483000/3449074 1729.60/932.42 c cleaning 11003 clauses out of 22026 with flag 2494000/3460074 1735.18/935.80 c cleaning 10994 clauses out of 22023 with flag 2505000/3471074 1740.88/938.98 c cleaning 10998 clauses out of 22029 with flag 2516000/3482074 1746.37/942.02 c cleaning 11010 clauses out of 22032 with flag 2527001/3493075 1751.86/945.16 c cleaning 11005 clauses out of 22021 with flag 2538000/3504074 1757.85/948.64 c cleaning 10996 clauses out of 22017 with flag 2549001/3515075 1763.34/951.75 c cleaning 11000 clauses out of 22020 with flag 2560000/3526074 1769.02/954.94 c cleaning 10998 clauses out of 22020 with flag 2571000/3537074 1774.32/957.97 c cleaning 11003 clauses out of 22022 with flag 2582000/3548074 1780.10/961.34 c cleaning 11000 clauses out of 22019 with flag 2593000/3559074 1785.55/964.45 c cleaning 11005 clauses out of 22024 with flag 2604005/3570079 1791.23/967.62 c cleaning 11000 clauses out of 22014 with flag 2615000/3581074 1796.51/970.69 c cleaning 10999 clauses out of 22015 with flag 2626001/3592075 1800.10/972.92 c starts : 26 1800.10/972.92 c conflicts : 3535 1800.10/972.92 c decisions : 239683 1800.10/972.92 c propagations : 1353406 1800.10/972.92 c inspects : 44435712 1800.10/972.92 c shortcuts : 0 1800.10/972.92 c learnt literals : 0 1800.10/972.92 c learnt binary clauses : 0 1800.10/972.92 c learnt ternary clauses : 0 1800.10/972.92 c learnt constraints : 3533 1800.10/972.92 c ignored constraints : 0 1800.10/972.92 c root simplifications : 0 1800.10/972.92 c removed literals (reason simplification) : 0 1800.10/972.92 c reason swapping (by a shorter reason) : 0 1800.10/972.92 c Calls to reduceDB : 0 1800.10/972.92 c number of reductions to clauses (during analyze) : 0 1800.10/972.92 c number of learned constraints concerned by reduction : 0 1800.10/972.92 c number of learning phase by resolution : 0 1800.10/972.92 c number of learning phase by cutting planes : 0 1800.10/972.92 c speed (assignments/second) : 1821.017903322596 1800.10/972.92 c non guided choices 0 1800.10/972.93 c learnt constraints type 1800.10/972.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 92 1800.10/972.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 1800.10/972.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3428 1800.10/972.93 c constraints type 1800.10/972.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 1800.10/972.93 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/972.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8902 1800.10/972.93 c constraints type 1800.10/972.93 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8902 1800.10/972.93 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 1800.10/972.93 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.10/972.93 s SATISFIABLE 1800.10/972.94 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 1800.10/972.94 c objective function=27 1800.10/972.94 c Total wall clock time (in seconds): 972.829
OK 27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454104-1307193537/watcher-3454104-1307193537 -o /tmp/evaluation-result-3454104-1307193537/solver-3454104-1307193537 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454104-1307193537.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.83 3.90 3.79 3/556 28126 /proc/meminfo: memFree=27826280/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 4884 0 1 0 0 0 0 0 25 0 2 0 830951660 10694979584 4586 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2611079 4601 917 9 0 2602235 0 [pid=28126/tid=28127] ppid=28124 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) R 28124 28126 23781 0 -1 4202560 6315 0 1 0 0 0 0 0 25 0 2 0 830951660 10694979584 7132 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.08755 s] /proc/loadavg: 3.83 3.90 3.79 3/556 28126 /proc/meminfo: memFree=27826280/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10539056 CPUtime=0.07 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 12444 0 1 0 6 1 0 0 25 0 18 0 830951660 10791993344 12138 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2634764 12146 2001 9 0 2625498 0 [pid=28126/tid=28127] ppid=28124 vsize=10539056 CPUtime=0.07 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) R 28124 28126 23781 0 -1 4202560 10938 0 1 0 6 1 0 0 18 0 18 0 830951660 10791993344 12150 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228244344677 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10539056 [startup+0.100587 s] /proc/loadavg: 3.83 3.90 3.79 3/556 28126 /proc/meminfo: memFree=27826280/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10540224 CPUtime=0.1 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 13021 0 1 0 9 1 0 0 25 0 18 0 830951660 10793189376 12715 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2635056 12716 2092 9 0 2625790 0 [pid=28126/tid=28127] ppid=28124 vsize=10540224 CPUtime=0.08 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) R 28124 28126 23781 0 -1 4202560 11119 0 1 0 7 1 0 0 18 0 18 0 830951660 10793189376 12716 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46987447059203 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540224 [startup+0.30148 s] /proc/loadavg: 3.83 3.90 3.79 3/556 28126 /proc/meminfo: memFree=27826280/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10543592 CPUtime=0.51 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 16369 0 1 0 49 2 0 0 25 0 18 0 830951660 10796638208 15899 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2635898 15899 2201 9 0 2626632 0 [pid=28126/tid=28127] ppid=28124 vsize=10543592 CPUtime=0.28 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) R 28124 28126 23781 0 -1 4202560 13282 0 1 0 26 2 0 0 18 0 18 0 830951660 10796638208 15900 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46912505539046 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10543592 [startup+0.700484 s] /proc/loadavg: 3.83 3.90 3.79 3/556 28126 /proc/meminfo: memFree=27826280/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10552120 CPUtime=1.09 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 24428 0 1 0 106 3 0 0 25 0 19 0 830951660 10805370880 23096 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2638030 23096 2230 9 0 2628764 0 [pid=28126/tid=28127] ppid=28124 vsize=10552120 CPUtime=0.4 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 18360 0 1 0 38 2 0 0 19 0 19 0 830951660 10805370880 23096 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 10552120 [startup+1.50127 s] /proc/loadavg: 3.83 3.90 3.79 6/576 28151 /proc/meminfo: memFree=27739636/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10552120 CPUtime=1.55 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 25334 0 1 0 152 3 0 0 25 0 22 0 830951660 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2638030 24001 2238 9 0 2628764 0 [pid=28126/tid=28127] ppid=28124 vsize=10552120 CPUtime=0.42 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 18747 0 1 0 40 2 0 0 16 0 22 0 830951660 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) S 28124 28126 23781 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830951663 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 0 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830951663 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830951663 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10552120 CPUtime=0.39 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) R 28124 28126 23781 0 -1 4202560 2500 0 0 0 39 0 0 0 15 0 22 0 830951666 10805370880 24001 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46987449753571 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10552120 CPUtime=0.4 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) R 28124 28126 23781 0 -1 4202560 2218 0 0 0 40 0 0 0 17 0 22 0 830951666 10805370880 24002 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46987445925888 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28126/tid=28143] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28143/stat : 28143 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10805370880 24002 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28144] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28144/stat : 28144 (java) R 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830951666 10805370880 24002 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28126/tid=28151] ppid=28124 vsize=10552120 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28151/stat : 28151 (java) S 28124 28126 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830951755 10805370880 24002 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 10552120 [startup+3.10099 s] /proc/loadavg: 3.84 3.90 3.79 3/575 28157 /proc/meminfo: memFree=27719184/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10564984 CPUtime=2.72 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 33784 0 1 0 268 4 0 0 25 0 22 0 830951660 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2641246 29431 2243 9 0 2631980 0 [pid=28126/tid=28127] ppid=28124 vsize=10564984 CPUtime=0.44 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 19281 0 1 0 42 2 0 0 17 0 22 0 830951660 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951662 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) S 28124 28126 23781 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830951663 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 0 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830951663 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830951663 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10564984 CPUtime=0.63 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) S 28124 28126 23781 0 -1 4202560 3662 0 0 0 63 0 0 0 15 0 22 0 830951666 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10564984 CPUtime=0.81 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) S 28124 28126 23781 0 -1 4202560 7622 0 0 0 81 0 0 0 15 0 22 0 830951666 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28143] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28143/stat : 28143 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28144] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28144/stat : 28144 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830951666 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28151] ppid=28124 vsize=10564984 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28151/stat : 28151 (java) S 28124 28126 23781 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830951755 10818543616 29431 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 10564984 [startup+6.30143 s] /proc/loadavg: 3.84 3.90 3.79 5/578 28166 /proc/meminfo: memFree=27301664/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10561092 CPUtime=8.62 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 155066 0 1 0 843 19 0 0 25 0 22 0 830951660 10814558208 149228 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2640273 149228 2268 9 0 2631007 0 [pid=28126/tid=28127] ppid=28124 vsize=10561092 CPUtime=0.45 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 19458 0 1 0 43 2 0 0 15 0 22 0 830951660 10814558208 149228 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149228 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149228 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 568 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 538 0 0 0 0 0 0 0 18 0 22 0 830951662 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10561092 CPUtime=0.02 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) S 28124 28126 23781 0 -1 4202560 1761 0 0 0 2 0 0 0 15 0 22 0 830951663 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 0 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10561092 CPUtime=0.82 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) S 28124 28126 23781 0 -1 4202560 4231 0 0 0 82 0 0 0 16 0 22 0 830951666 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10561092 CPUtime=0.92 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) S 28124 28126 23781 0 -1 4202560 7632 0 0 0 92 0 0 0 15 0 22 0 830951666 10814558208 149229 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=24047060/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10561092 CPUtime=1641.33 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 721503 0 1 0 164037 96 0 0 25 0 22 0 830951660 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2640273 713967 2270 9 0 2631007 0 [pid=28126/tid=28127] ppid=28124 vsize=10561092 CPUtime=0.47 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 19627 0 1 0 44 3 0 0 15 0 22 0 830951660 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10561092 CPUtime=1.11 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1202 0 0 0 111 0 0 0 15 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10561092 CPUtime=1.01 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 1000 0 0 0 101 0 0 0 16 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10561092 CPUtime=1.1 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 2769 0 0 0 110 0 0 0 16 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10561092 CPUtime=1.1 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 574 0 0 0 110 0 0 0 16 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10561092 CPUtime=0.98 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1510 0 0 0 98 0 0 0 15 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10561092 CPUtime=0.96 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 629 0 0 0 96 0 0 0 16 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10561092 CPUtime=1.02 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 1830 0 0 0 102 0 0 0 15 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10561092 CPUtime=1.09 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 1345 0 0 0 109 0 0 0 15 0 22 0 830951662 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10561092 CPUtime=122.35 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) R 28124 28126 23781 0 -1 4202560 96710 0 0 0 12222 13 0 0 16 0 22 0 830951663 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46987450644550 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10561092 CPUtime=1.18 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) S 28124 28126 23781 0 -1 4202560 5482 0 0 0 117 1 0 0 15 0 22 0 830951666 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10561092 CPUtime=1.03 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) S 28124 28126 23781 0 -1 4202560 7648 0 0 0 103 0 0 0 15 0 22 0 830951666 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28143] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28143/stat : 28143 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28144] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28144/stat : 28144 (java) S 28124 28126 23781 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830951666 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28170] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28170/stat : 28170 (java) S 28124 28126 23781 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830952921 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28236] ppid=28124 vsize=10561092 CPUtime=538.82 cores=0,2,4,6 /proc/28126/task/28236/stat : 28236 (java) S 28124 28126 23781 0 -1 4202560 170 0 0 0 53881 1 0 0 18 0 22 0 830974631 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28237] ppid=28124 vsize=10561092 CPUtime=538.86 cores=0,2,4,6 /proc/28126/task/28237/stat : 28237 (java) S 28124 28126 23781 0 -1 4202560 105842 0 0 0 53870 16 0 0 18 0 22 0 830974631 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28238] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28238/stat : 28238 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830974631 10814558208 713967 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1641.33 Current children cumulated vsize (KiB) 10561092 [startup+942.301 s] /proc/loadavg: 3.71 3.80 3.80 5/578 28258 /proc/meminfo: memFree=24032876/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10561092 CPUtime=1746.73 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 725056 0 1 0 174576 97 0 0 25 0 22 0 830951660 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2640273 717497 2270 9 0 2631007 0 [pid=28126/tid=28127] ppid=28124 vsize=10561092 CPUtime=0.47 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 19646 0 1 0 44 3 0 0 15 0 22 0 830951660 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10561092 CPUtime=1.25 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1207 0 0 0 125 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10561092 CPUtime=1.13 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 1000 0 0 0 113 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10561092 CPUtime=1.19 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 2769 0 0 0 119 0 0 0 15 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10561092 CPUtime=1.15 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 580 0 0 0 115 0 0 0 15 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10561092 CPUtime=1.13 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1518 0 0 0 113 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10561092 CPUtime=1.09 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 630 0 0 0 109 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10561092 CPUtime=1.15 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 1836 0 0 0 115 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10561092 CPUtime=1.22 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 1347 0 0 0 122 0 0 0 16 0 22 0 830951662 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10561092 CPUtime=137.34 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) R 28124 28126 23781 0 -1 4202560 100214 0 0 0 13720 14 0 0 16 0 22 0 830951663 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46987449913696 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10561092 CPUtime=1.18 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) S 28124 28126 23781 0 -1 4202560 5482 0 0 0 117 1 0 0 15 0 22 0 830951666 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10561092 CPUtime=1.03 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) S 28124 28126 23781 0 -1 4202560 7648 0 0 0 103 0 0 0 15 0 22 0 830951666 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28143] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28143/stat : 28143 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28144] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28144/stat : 28144 (java) S 28124 28126 23781 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830951666 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28170] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28170/stat : 28170 (java) S 28124 28126 23781 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830952921 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28236] ppid=28124 vsize=10561092 CPUtime=583.54 cores=0,2,4,6 /proc/28126/task/28236/stat : 28236 (java) S 28124 28126 23781 0 -1 4202560 170 0 0 0 58353 1 0 0 18 0 22 0 830974631 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28237] ppid=28124 vsize=10561092 CPUtime=583.57 cores=0,2,4,6 /proc/28126/task/28237/stat : 28237 (java) S 28124 28126 23781 0 -1 4202560 105842 0 0 0 58341 16 0 0 18 0 22 0 830974631 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28238] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28238/stat : 28238 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830974631 10814558208 717497 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1746.73 Current children cumulated vsize (KiB) 10561092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+972.901 s] /proc/loadavg: 3.73 3.80 3.80 6/578 28259 /proc/meminfo: memFree=24024428/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=10561092 CPUtime=1800.1 cores=0,2,4,6 /proc/28126/stat : 28126 (java) S 28124 28126 23781 0 -1 4202496 727145 0 1 0 179913 97 0 0 25 0 22 0 830951660 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 2640273 719573 2270 9 0 2631007 0 [pid=28126/tid=28127] ppid=28124 vsize=10561092 CPUtime=0.47 cores=0,2,4,6 /proc/28126/task/28127/stat : 28127 (java) S 28124 28126 23781 0 -1 4202560 19655 0 1 0 44 3 0 0 15 0 22 0 830951660 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28129] ppid=28124 vsize=10561092 CPUtime=1.3 cores=0,2,4,6 /proc/28126/task/28129/stat : 28129 (java) S 28124 28126 23781 0 -1 4202560 1207 0 0 0 130 0 0 0 16 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28130] ppid=28124 vsize=10561092 CPUtime=1.17 cores=0,2,4,6 /proc/28126/task/28130/stat : 28130 (java) S 28124 28126 23781 0 -1 4202560 1008 0 0 0 117 0 0 0 15 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28131] ppid=28124 vsize=10561092 CPUtime=1.24 cores=0,2,4,6 /proc/28126/task/28131/stat : 28131 (java) S 28124 28126 23781 0 -1 4202560 2771 0 0 0 124 0 0 0 16 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28132] ppid=28124 vsize=10561092 CPUtime=1.2 cores=0,2,4,6 /proc/28126/task/28132/stat : 28132 (java) S 28124 28126 23781 0 -1 4202560 580 0 0 0 120 0 0 0 15 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28133] ppid=28124 vsize=10561092 CPUtime=1.19 cores=0,2,4,6 /proc/28126/task/28133/stat : 28133 (java) S 28124 28126 23781 0 -1 4202560 1518 0 0 0 119 0 0 0 16 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28134] ppid=28124 vsize=10561092 CPUtime=1.19 cores=0,2,4,6 /proc/28126/task/28134/stat : 28134 (java) S 28124 28126 23781 0 -1 4202560 633 0 0 0 119 0 0 0 15 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28135] ppid=28124 vsize=10561092 CPUtime=1.18 cores=0,2,4,6 /proc/28126/task/28135/stat : 28135 (java) S 28124 28126 23781 0 -1 4202560 1836 0 0 0 118 0 0 0 16 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28136] ppid=28124 vsize=10561092 CPUtime=1.33 cores=0,2,4,6 /proc/28126/task/28136/stat : 28136 (java) S 28124 28126 23781 0 -1 4202560 1348 0 0 0 133 0 0 0 15 0 22 0 830951662 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28137] ppid=28124 vsize=10561092 CPUtime=145.38 cores=0,2,4,6 /proc/28126/task/28137/stat : 28137 (java) S 28124 28126 23781 0 -1 4202560 102278 0 0 0 14524 14 0 0 15 0 22 0 830951663 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 0 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28138] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28138/stat : 28138 (java) S 28124 28126 23781 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28139] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28139/stat : 28139 (java) S 28124 28126 23781 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830951663 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 6 0 0 0 [pid=28126/tid=28140] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28140/stat : 28140 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256172465 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28141] ppid=28124 vsize=10561092 CPUtime=1.18 cores=0,2,4,6 /proc/28126/task/28141/stat : 28141 (java) S 28124 28126 23781 0 -1 4202560 5482 0 0 0 117 1 0 0 15 0 22 0 830951666 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28142] ppid=28124 vsize=10561092 CPUtime=1.03 cores=0,2,4,6 /proc/28126/task/28142/stat : 28142 (java) S 28124 28126 23781 0 -1 4202560 7648 0 0 0 103 0 0 0 15 0 22 0 830951666 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 0 0 0 0 [pid=28126/tid=28143] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28143/stat : 28143 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830951666 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256164761 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 [pid=28126/tid=28144] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28144/stat : 28144 (java) S 28124 28126 23781 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830951666 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28170] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28170/stat : 28170 (java) S 28124 28126 23781 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830952921 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 2 0 0 0 [pid=28126/tid=28236] ppid=28124 vsize=10561092 CPUtime=605.97 cores=0,2,4,6 /proc/28126/task/28236/stat : 28236 (java) R 28124 28126 23781 0 -1 4202560 170 0 0 0 60596 1 0 0 19 0 22 0 830974631 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46912505924496 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=28126/tid=28237] ppid=28124 vsize=10561092 CPUtime=606 cores=0,2,4,6 /proc/28126/task/28237/stat : 28237 (java) R 28124 28126 23781 0 -1 4202560 105842 0 0 0 60584 16 0 0 19 0 22 0 830974631 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 46912505839079 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28126/tid=28238] ppid=28124 vsize=10561092 CPUtime=0 cores=0,2,4,6 /proc/28126/task/28238/stat : 28238 (java) S 28124 28126 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830974631 10814558208 719573 33554432000 1073741824 1073778376 140737184009776 18446744073709551615 228256165376 0 4 0 16800975 18446604445569638592 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10561092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+973.027 s] /proc/loadavg: 3.73 3.80 3.80 6/578 28259 /proc/meminfo: memFree=24024428/32951124 swapFree=58212616/67111528 [pid=28126] ppid=28124 vsize=0 CPUtime=1800.26 cores=0,2,4,6 /proc/28126/stat : 28126 (java) Z 28124 28126 23781 0 -1 4203548 727175 0 1 0 179921 105 0 0 17 0 2 0 830951660 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28126/statm: 0 0 0 0 0 0 0 [pid=28126/tid=28236] ppid=28124 vsize=0 CPUtime=606.07 cores=0,2,4,6 /proc/28126/task/28236/stat : 28236 (java) R 28124 28126 23781 0 -1 4203588 170 0 0 0 60598 9 0 0 19 0 2 0 830974631 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 973.063 CPU time (s): 1800.31 CPU user time (s): 1799.22 CPU system time (s): 1.09383 CPU usage (%): 185.015 Max. virtual memory (cumulated for all children) (KiB): 10564984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.22 system time used= 1.09383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 727175 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31614 involuntary context switches= 18517 runsolver used 5.67014 second user time and 12.1082 second system time The end
Begin job on node136 at 2011-06-04 15:18:57 IDJOB=3454104 IDBENCH=24990 IDSOLVER=1950 FILE ID=node136/3454104-1307193537 RUNJOBID= node136-1307192629-27871 PBS_JOBID= 13508850 Free space on /tmp= 73844 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454104-1307193537/watcher-3454104-1307193537 -o /tmp/evaluation-result-3454104-1307193537/solver-3454104-1307193537 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454104-1307193537.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=480825896 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27826436 kB Buffers: 298692 kB Cached: 543096 kB SwapCached: 7704 kB Active: 4407476 kB Inactive: 419812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27826436 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 532 kB Writeback: 0 kB AnonPages: 3984308 kB Mapped: 32932 kB Slab: 156176 kB PageTables: 71320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 179590428 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73828 MiB End job on node136 at 2011-06-04 15:35:12