Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 23 | 1800.14 | 935.07 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 47.4058 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | NO |
| Number of variables | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.2.0.v20100531 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 1349517296 0.07/0.10 c Max memory 1356595200 0.07/0.10 c Total memory 1356595200 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 0.07/0.13 c solving HOME/instance-3736078-1338750906.opb 0.07/0.13 c reading problem ... 0.99/0.50 c ... done. Wall clock time 0.365s. 0.99/0.50 c #vars 5499 0.99/0.50 c #constraints 19319 0.99/0.50 c constraints type 0.99/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 0.99/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.99/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 0.99/0.50 c constraints type 0.99/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 0.99/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 0.99/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.99/0.57 c And the winner is Resolution 1.39/1.51 c SATISFIABLE 1.39/1.51 c OPTIMIZING... 1.39/1.51 c Got one! Elapsed wall clock time (in seconds):1.373 1.39/1.51 o 27 1.39/1.53 c And the winner is Resolution 1.52/2.51 c Got one! Elapsed wall clock time (in seconds):2.38 1.52/2.51 o 26 4.24/3.40 c cleaning 2497 clauses out of 5001 with flag 5001/5001 4.44/3.52 c And the winner is Resolution 4.53/4.52 c Got one! Elapsed wall clock time (in seconds):4.386 4.53/4.52 o 25 6.23/5.30 c cleaning 4245 clauses out of 8505 with flag 11002/11002 8.21/6.35 c cleaning 5615 clauses out of 11259 with flag 18001/18001 10.59/7.52 c cleaning 6816 clauses out of 13643 with flag 26000/26000 13.20/8.89 c cleaning 7899 clauses out of 15830 with flag 35003/35003 15.78/10.15 c cleaning 8956 clauses out of 17928 with flag 45000/45000 18.58/11.58 c cleaning 9978 clauses out of 19972 with flag 56000/56000 22.15/13.34 c cleaning 10984 clauses out of 21994 with flag 68000/68000 26.23/15.35 c cleaning 11996 clauses out of 24011 with flag 81001/81001 30.20/17.34 c cleaning 12998 clauses out of 26016 with flag 95002/95002 34.77/19.66 c cleaning 13995 clauses out of 28018 with flag 110002/110002 39.95/22.24 c cleaning 14997 clauses out of 30022 with flag 126001/126001 45.51/25.04 c cleaning 15998 clauses out of 32024 with flag 143000/143000 50.69/27.63 c cleaning 16997 clauses out of 34027 with flag 161001/161001 52.84/28.72 c And the winner is CuttingPlanes 52.79/29.57 c Got one! Elapsed wall clock time (in seconds):29.437 52.79/29.57 o 24 55.94/31.13 c cleaning 17997 clauses out of 36029 with flag 180000/180000 62.73/34.50 c cleaning 19002 clauses out of 38033 with flag 200001/200001 68.88/37.66 c cleaning 19502 clauses out of 39032 with flag 220002/220002 76.28/41.38 c cleaning 19741 clauses out of 39530 with flag 240002/240002 84.88/45.66 c cleaning 19876 clauses out of 39789 with flag 260002/260002 91.48/48.99 c cleaning 19935 clauses out of 39912 with flag 280001/280001 99.62/53.08 c cleaning 19977 clauses out of 39976 with flag 300000/300000 104.98/55.72 c cleaning 19984 clauses out of 39999 with flag 320000/320000 113.80/60.18 c cleaning 19998 clauses out of 40017 with flag 340002/340002 120.14/63.34 c cleaning 19999 clauses out of 40020 with flag 360003/360003 126.25/66.42 c cleaning 19995 clauses out of 40018 with flag 380000/380000 132.40/69.53 c cleaning 19991 clauses out of 40023 with flag 400000/400000 138.94/72.82 c cleaning 19995 clauses out of 40035 with flag 420003/420003 144.69/75.79 c cleaning 20005 clauses out of 40039 with flag 440002/440002 152.59/79.77 c cleaning 19988 clauses out of 40032 with flag 460000/460000 160.95/83.94 c cleaning 20000 clauses out of 40045 with flag 480001/480001 165.91/86.48 c cleaning 19997 clauses out of 40044 with flag 500000/500000 170.85/88.97 c cleaning 20014 clauses out of 40049 with flag 520002/520002 181.73/94.48 c cleaning 19995 clauses out of 40034 with flag 540001/540001 192.68/99.90 c cleaning 20000 clauses out of 40038 with flag 560000/560000 203.06/105.14 c cleaning 19998 clauses out of 40039 with flag 580001/580001 211.19/109.20 c cleaning 20003 clauses out of 40042 with flag 600002/600002 215.86/111.60 c And the winner is Resolution 215.79/112.63 c Got one! Elapsed wall clock time (in seconds):112.498 215.79/112.63 o 23 219.17/114.31 c cleaning 20015 clauses out of 40039 with flag 620002/620002 224.90/117.24 c cleaning 19993 clauses out of 40023 with flag 640001/640001 233.83/121.71 c cleaning 20003 clauses out of 40029 with flag 660000/660000 242.98/126.32 c cleaning 19999 clauses out of 40028 with flag 680002/680002 249.86/129.84 c cleaning 19998 clauses out of 40027 with flag 700000/700000 258.14/134.01 c cleaning 19981 clauses out of 40029 with flag 720000/720000 268.50/139.28 c cleaning 20000 clauses out of 40053 with flag 740005/740005 279.41/144.76 c cleaning 19997 clauses out of 40050 with flag 760002/760002 291.07/150.64 c cleaning 19999 clauses out of 40052 with flag 780001/780001 297.77/154.02 c cleaning 20010 clauses out of 40052 with flag 800000/800000 303.44/156.99 c cleaning 20007 clauses out of 40044 with flag 820002/820002 309.95/160.21 c cleaning 20003 clauses out of 40035 with flag 840000/840000 316.34/163.55 c cleaning 20002 clauses out of 40033 with flag 860001/860001 322.22/166.53 c cleaning 19992 clauses out of 40035 with flag 880005/880005 329.29/170.11 c cleaning 19988 clauses out of 40039 with flag 900001/900001 336.38/173.72 c cleaning 20009 clauses out of 40050 with flag 920000/920000 344.94/178.18 c cleaning 20009 clauses out of 40041 with flag 940000/940000 351.41/181.41 c cleaning 20002 clauses out of 40034 with flag 960002/960002 359.27/185.40 c cleaning 19994 clauses out of 40031 with flag 980001/980001 368.78/190.28 c cleaning 20002 clauses out of 40038 with flag 1000002/1000002 377.10/194.58 c cleaning 20006 clauses out of 40034 with flag 1020000/1020000 384.16/198.18 c cleaning 20007 clauses out of 40031 with flag 1040003/1040003 390.62/201.40 c cleaning 20004 clauses out of 40025 with flag 1060004/1060004 397.47/204.96 c cleaning 19987 clauses out of 40019 with flag 1080002/1080002 404.61/208.66 c cleaning 19992 clauses out of 40030 with flag 1100000/1100000 413.28/213.08 c cleaning 19988 clauses out of 40040 with flag 1120002/1120002 422.55/217.79 c cleaning 20001 clauses out of 40050 with flag 1140000/1140000 430.83/221.93 c cleaning 19992 clauses out of 40049 with flag 1160000/1160000 438.35/225.83 c cleaning 20008 clauses out of 40057 with flag 1180000/1180000 445.18/229.36 c cleaning 20000 clauses out of 40049 with flag 1200000/1200000 452.24/232.91 c cleaning 20005 clauses out of 40049 with flag 1220000/1220000 459.06/236.47 c cleaning 20002 clauses out of 40046 with flag 1240002/1240002 466.32/240.29 c cleaning 20002 clauses out of 40044 with flag 1260002/1260002 473.76/244.01 c cleaning 20002 clauses out of 40041 with flag 1280001/1280001 480.99/247.72 c cleaning 19996 clauses out of 40038 with flag 1300000/1300000 488.06/251.32 c cleaning 20000 clauses out of 40043 with flag 1320001/1320001 495.40/255.11 c cleaning 20008 clauses out of 40042 with flag 1340000/1340000 503.19/259.18 c cleaning 19993 clauses out of 40034 with flag 1360000/1360000 510.82/263.00 c cleaning 20006 clauses out of 40042 with flag 1380001/1380001 517.63/266.54 c cleaning 20007 clauses out of 40035 with flag 1400000/1400000 524.65/270.20 c cleaning 19995 clauses out of 40028 with flag 1420000/1420000 531.24/273.63 c cleaning 19988 clauses out of 40033 with flag 1440000/1440000 538.42/277.37 c cleaning 20007 clauses out of 40046 with flag 1460001/1460001 547.02/281.79 c cleaning 20003 clauses out of 40039 with flag 1480001/1480001 555.63/286.26 c cleaning 19998 clauses out of 40036 with flag 1500001/1500001 564.26/290.62 c cleaning 20001 clauses out of 40042 with flag 1520005/1520005 570.81/294.08 c cleaning 20000 clauses out of 40036 with flag 1540000/1540000 577.59/297.51 c cleaning 20007 clauses out of 40037 with flag 1560001/1560001 583.95/300.94 c cleaning 20003 clauses out of 40031 with flag 1580002/1580002 590.31/304.26 c cleaning 19999 clauses out of 40027 with flag 1600001/1600001 596.65/307.57 c cleaning 19993 clauses out of 40028 with flag 1620001/1620001 604.44/311.52 c cleaning 20008 clauses out of 40034 with flag 1640000/1640000 612.41/315.77 c cleaning 20001 clauses out of 40026 with flag 1660000/1660000 619.93/319.61 c cleaning 20002 clauses out of 40026 with flag 1680001/1680001 628.08/323.87 c cleaning 20002 clauses out of 40024 with flag 1700001/1700001 635.84/327.86 c cleaning 20000 clauses out of 40021 with flag 1720000/1720000 644.16/332.24 c cleaning 19997 clauses out of 40022 with flag 1740001/1740001 653.35/336.92 c cleaning 20000 clauses out of 40025 with flag 1760001/1760001 662.09/341.46 c cleaning 19997 clauses out of 40026 with flag 1780002/1780002 670.46/345.74 c cleaning 19997 clauses out of 40029 with flag 1800002/1800002 679.21/350.39 c cleaning 19993 clauses out of 40030 with flag 1820000/1820000 689.24/355.43 c cleaning 19996 clauses out of 40037 with flag 1840000/1840000 697.23/359.58 c cleaning 20004 clauses out of 40042 with flag 1860001/1860001 706.89/364.49 c cleaning 19995 clauses out of 40041 with flag 1880004/1880004 719.53/370.95 c cleaning 19989 clauses out of 40042 with flag 1900000/1900000 730.54/376.59 c cleaning 20004 clauses out of 40053 with flag 1920000/1920000 740.71/381.77 c cleaning 19985 clauses out of 40050 with flag 1940001/1940001 751.92/387.45 c cleaning 20004 clauses out of 40066 with flag 1960002/1960002 759.45/391.43 c cleaning 20011 clauses out of 40061 with flag 1980001/1980001 766.57/395.12 c cleaning 19999 clauses out of 40049 with flag 2000000/2000000 774.62/399.21 c cleaning 20004 clauses out of 40050 with flag 2020000/2020000 782.41/403.27 c cleaning 20012 clauses out of 40047 with flag 2040001/2040001 790.14/407.33 c cleaning 20005 clauses out of 40036 with flag 2060002/2060002 796.11/410.45 c cleaning 19989 clauses out of 40029 with flag 2080000/2080000 804.66/414.84 c cleaning 19994 clauses out of 40040 with flag 2100000/2100000 814.03/419.60 c cleaning 20000 clauses out of 40046 with flag 2120000/2120000 822.38/424.07 c cleaning 20007 clauses out of 40046 with flag 2140000/2140000 830.55/428.20 c cleaning 20008 clauses out of 40039 with flag 2160000/2160000 839.33/432.72 c cleaning 20000 clauses out of 40031 with flag 2180000/2180000 847.69/437.02 c cleaning 20002 clauses out of 40031 with flag 2200000/2200000 856.87/441.87 c cleaning 19984 clauses out of 40033 with flag 2220004/2220004 864.48/445.74 c cleaning 20002 clauses out of 40046 with flag 2240001/2240001 872.28/449.74 c cleaning 20011 clauses out of 40044 with flag 2260001/2260001 879.89/453.68 c cleaning 20008 clauses out of 40033 with flag 2280001/2280001 887.25/457.51 c cleaning 19988 clauses out of 40024 with flag 2300000/2300000 894.03/461.09 c cleaning 20006 clauses out of 40040 with flag 2320004/2320004 900.97/464.60 c cleaning 19997 clauses out of 40031 with flag 2340001/2340001 907.96/468.23 c cleaning 19989 clauses out of 40033 with flag 2360000/2360000 915.15/472.09 c cleaning 20008 clauses out of 40046 with flag 2380002/2380002 922.71/475.99 c cleaning 20004 clauses out of 40036 with flag 2400000/2400000 930.43/479.93 c cleaning 20006 clauses out of 40035 with flag 2420003/2420003 937.79/483.70 c cleaning 19996 clauses out of 40026 with flag 2440000/2440000 946.32/488.28 c cleaning 19997 clauses out of 40032 with flag 2460002/2460002 954.90/492.65 c cleaning 19999 clauses out of 40033 with flag 2480000/2480000 963.28/496.94 c cleaning 20000 clauses out of 40034 with flag 2500000/2500000 971.67/501.21 c cleaning 20002 clauses out of 40034 with flag 2520000/2520000 980.86/506.03 c cleaning 19992 clauses out of 40033 with flag 2540001/2540001 989.43/510.40 c cleaning 20002 clauses out of 40041 with flag 2560001/2560001 998.18/514.93 c cleaning 20001 clauses out of 40039 with flag 2580001/2580001 1006.74/519.30 c cleaning 19998 clauses out of 40038 with flag 2600001/2600001 1015.09/523.74 c cleaning 20001 clauses out of 40039 with flag 2620000/2620000 1024.24/528.48 c cleaning 20001 clauses out of 40039 with flag 2640001/2640001 1033.22/533.09 c cleaning 19996 clauses out of 40040 with flag 2660003/2660003 1041.19/537.11 c cleaning 20002 clauses out of 40042 with flag 2680001/2680001 1048.72/541.15 c cleaning 20001 clauses out of 40040 with flag 2700001/2700001 1055.85/544.86 c cleaning 19998 clauses out of 40040 with flag 2720002/2720002 1063.42/548.79 c cleaning 19996 clauses out of 40040 with flag 2740000/2740000 1071.22/552.72 c cleaning 20004 clauses out of 40046 with flag 2760002/2760002 1079.13/556.90 c cleaning 20004 clauses out of 40041 with flag 2780001/2780001 1086.70/560.87 c cleaning 19995 clauses out of 40036 with flag 2800000/2800000 1093.85/564.52 c cleaning 19994 clauses out of 40041 with flag 2820000/2820000 1100.82/568.15 c cleaning 19998 clauses out of 40049 with flag 2840002/2840002 1107.70/571.90 c cleaning 19996 clauses out of 40050 with flag 2860001/2860001 1114.65/575.48 c cleaning 20000 clauses out of 40053 with flag 2880000/2880000 1121.72/579.16 c cleaning 19997 clauses out of 40055 with flag 2900002/2900002 1129.26/583.05 c cleaning 20004 clauses out of 40056 with flag 2920000/2920000 1136.93/587.16 c cleaning 19995 clauses out of 40053 with flag 2940001/2940001 1144.44/591.01 c cleaning 0 clauses out of 5000 with flag 0/5000 1145.78/591.76 c cleaning 20004 clauses out of 40058 with flag 2960001/2960001 1153.62/595.77 c cleaning 20004 clauses out of 40054 with flag 2980001/2980001 1160.50/599.46 c cleaning 20004 clauses out of 40050 with flag 3000001/3000001 1167.79/603.27 c cleaning 19998 clauses out of 40049 with flag 3020004/3020004 1175.23/607.20 c cleaning 20011 clauses out of 40047 with flag 3040000/3040000 1184.14/611.77 c cleaning 20009 clauses out of 40036 with flag 3060000/3060000 1193.86/616.86 c cleaning 19999 clauses out of 40032 with flag 3080005/3080005 1201.32/620.73 c cleaning 19999 clauses out of 40029 with flag 3100001/3100001 1209.26/624.87 c cleaning 19992 clauses out of 40030 with flag 3120001/3120001 1219.39/630.05 c cleaning 19989 clauses out of 40041 with flag 3140004/3140004 1229.95/635.69 c cleaning 19994 clauses out of 40048 with flag 3160000/3160000 1239.91/640.70 c cleaning 20008 clauses out of 40054 with flag 3180000/3180000 1246.22/644.06 c cleaning 20013 clauses out of 40047 with flag 3200001/3200001 1252.30/647.23 c cleaning 20003 clauses out of 40033 with flag 3220000/3220000 1258.87/650.86 c cleaning 20002 clauses out of 40031 with flag 3240001/3240001 1265.12/654.11 c cleaning 19994 clauses out of 40028 with flag 3260000/3260000 1270.96/657.29 c cleaning 19982 clauses out of 40036 with flag 3280002/3280002 1279.72/661.78 c cleaning 20000 clauses out of 40054 with flag 3300002/3300002 1289.16/666.72 c cleaning 19989 clauses out of 40052 with flag 3320000/3320000 1298.08/671.33 c cleaning 20008 clauses out of 40063 with flag 3340000/3340000 1306.85/675.84 c cleaning 19985 clauses out of 40055 with flag 3360000/3360000 1315.31/680.29 c cleaning 19998 clauses out of 40071 with flag 3380001/3380001 1324.19/684.95 c cleaning 20013 clauses out of 40077 with flag 3400005/3400005 1332.54/689.27 c cleaning 20004 clauses out of 40060 with flag 3420001/3420001 1339.40/692.82 c cleaning 20002 clauses out of 40057 with flag 3440002/3440002 1345.89/696.21 c cleaning 19995 clauses out of 40054 with flag 3460001/3460001 1352.39/699.88 c cleaning 20001 clauses out of 40060 with flag 3480002/3480002 1358.41/703.08 c cleaning 20002 clauses out of 40057 with flag 3500000/3500000 1364.48/706.28 c cleaning 19999 clauses out of 40056 with flag 3520001/3520001 1370.47/709.44 c cleaning 19991 clauses out of 40056 with flag 3540000/3540000 1377.03/713.10 c cleaning 20006 clauses out of 40065 with flag 3560000/3560000 1383.68/716.54 c cleaning 20009 clauses out of 40063 with flag 3580004/3580004 1390.11/719.92 c cleaning 19996 clauses out of 40052 with flag 3600002/3600002 1396.17/723.13 c cleaning 20001 clauses out of 40054 with flag 3620000/3620000 1403.07/726.99 c cleaning 19996 clauses out of 40054 with flag 3640001/3640001 1411.76/731.41 c cleaning 20007 clauses out of 40058 with flag 3660001/3660001 1422.40/736.98 c cleaning 19997 clauses out of 40052 with flag 3680002/3680002 1433.28/742.56 c cleaning 20004 clauses out of 40056 with flag 3700003/3700003 1444.24/748.38 c cleaning 19998 clauses out of 40050 with flag 3720001/3720001 1454.93/753.83 c cleaning 20000 clauses out of 40052 with flag 3740001/3740001 1465.34/759.25 c cleaning 20003 clauses out of 40053 with flag 3760002/3760002 1476.53/765.09 c cleaning 20006 clauses out of 40048 with flag 3780000/3780000 1488.53/771.42 c cleaning 19998 clauses out of 40043 with flag 3800001/3800001 1501.58/778.15 c cleaning 19996 clauses out of 40048 with flag 3820004/3820004 1516.10/785.50 c cleaning 19980 clauses out of 40048 with flag 3840000/3840000 1528.02/791.69 c cleaning 20013 clauses out of 40069 with flag 3860001/3860001 1541.67/798.81 c cleaning 19999 clauses out of 40055 with flag 3880000/3880000 1551.35/803.89 c cleaning 20004 clauses out of 40056 with flag 3900000/3900000 1560.70/808.73 c cleaning 20004 clauses out of 40052 with flag 3920000/3920000 1569.26/813.25 c cleaning 19995 clauses out of 40048 with flag 3940000/3940000 1578.27/818.19 c cleaning 19996 clauses out of 40054 with flag 3960001/3960001 1588.45/823.42 c cleaning 20004 clauses out of 40057 with flag 3980000/3980000 1595.82/827.40 c cleaning 20004 clauses out of 40055 with flag 4000002/4000002 1603.77/831.56 c cleaning 20005 clauses out of 40052 with flag 4020003/4020003 1612.80/836.42 c cleaning 20000 clauses out of 40044 with flag 4040000/4040000 1621.20/840.86 c cleaning 20003 clauses out of 40047 with flag 4060003/4060003 1629.59/845.27 c cleaning 19996 clauses out of 40041 with flag 4080000/4080000 1638.00/849.68 c cleaning 20006 clauses out of 40047 with flag 4100002/4100002 1646.44/854.27 c cleaning 20002 clauses out of 40039 with flag 4120000/4120000 1655.60/859.01 c cleaning 20004 clauses out of 40037 with flag 4140000/4140000 1665.14/864.01 c cleaning 19995 clauses out of 40034 with flag 4160001/4160001 1675.48/869.40 c cleaning 19992 clauses out of 40040 with flag 4180002/4180002 1685.73/874.96 c cleaning 19999 clauses out of 40046 with flag 4200000/4200000 1695.13/879.88 c cleaning 20005 clauses out of 40047 with flag 4220000/4220000 1705.23/885.02 c cleaning 20000 clauses out of 40043 with flag 4240001/4240001 1713.69/889.48 c cleaning 19995 clauses out of 40042 with flag 4260000/4260000 1722.39/894.11 c cleaning 20003 clauses out of 40047 with flag 4280000/4280000 1730.18/898.23 c cleaning 20003 clauses out of 40045 with flag 4300001/4300001 1738.98/902.83 c cleaning 20001 clauses out of 40041 with flag 4320000/4320000 1747.13/907.16 c cleaning 19994 clauses out of 40040 with flag 4340000/4340000 1755.81/911.89 c cleaning 20007 clauses out of 40046 with flag 4360000/4360000 1764.79/916.54 c cleaning 20001 clauses out of 40040 with flag 4380001/4380001 1774.02/921.37 c cleaning 19998 clauses out of 40039 with flag 4400001/4400001 1782.26/925.61 c cleaning 20008 clauses out of 40043 with flag 4420003/4420003 1791.54/930.61 c cleaning 19998 clauses out of 40034 with flag 4440002/4440002 1799.92/935.02 c starts : 257 1799.92/935.02 c conflicts : 4458059 1799.92/935.02 c decisions : 12692124 1799.92/935.02 c propagations : 1574320188 1799.92/935.02 c inspects : 5091705373 1799.92/935.02 c learnt literals : 0 1799.92/935.02 c learnt binary clauses : 0 1799.92/935.02 c learnt ternary clauses : 0 1799.92/935.02 c learnt clauses : 4458059 1799.92/935.02 c ignored clauses : 0 1799.92/935.02 c root simplifications : 0 1799.92/935.02 c removed literals (reason simplification) : 150964057 1799.92/935.02 c reason swapping (by a shorter reason) : 0 1799.92/935.02 c Calls to reduceDB : 228 1799.92/935.02 c number of reductions to clauses (during analyze) : 0 1799.92/935.02 c number of learned constraints concerned by reduction : 0 1799.92/935.02 c number of learning phase by resolution : 0 1799.92/935.02 c number of learning phase by cutting planes : 0 1799.92/935.02 c speed (assignments/second) : 1914342.511144456 1799.92/935.02 c non guided choices 29803 1799.92/935.04 c learnt constraints type 1799.92/935.04 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 38157 1799.92/935.04 c constraints type 1799.92/935.04 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1799.92/935.04 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1799.92/935.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1799.92/935.04 c constraints type 1799.92/935.04 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1799.92/935.04 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1799.92/935.04 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1799.92/935.04 s SATISFIABLE 1799.92/935.05 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 x4215 x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 x4398 x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 -x4591 -x4592 -x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441 x5442 x5443 -x5444 -x5445 -x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 -x5471 x5472 x5473 -x5474 x5475 -x5476 x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 1799.92/935.06 c objective function=23 1799.92/935.06 c Total wall clock time (in seconds): 934.924
OK 23
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736078-1338750906/watcher-3736078-1338750906 -o /tmp/evaluation-result-3736078-1338750906/solver-3736078-1338750906 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736078-1338750906.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.91 3.76 3.77 4/197 16968 /proc/meminfo: memFree=28260480/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/16968/stat : 16968 (java6) D 16966 16968 13986 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341215033 2560000 46 33554432000 1073741824 1073778376 140734175010624 140734175007752 239228513575 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 625 46 37 9 0 29 0 [startup+0.00770789 s] /proc/loadavg: 3.91 3.76 3.77 4/197 16968 /proc/meminfo: memFree=28260480/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/16968/stat : 16968 (java6) D 16966 16968 13986 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 341215033 9515008 175 33554432000 1073741824 1073778376 140734175010624 140734174993352 239237677968 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 2323 175 133 9 0 71 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9292 [startup+0.100232 s] /proc/loadavg: 3.91 3.76 3.77 4/197 16968 /proc/meminfo: memFree=28260480/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2699928 CPUtime=0.07 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 3896 0 1 0 6 1 0 0 20 0 18 0 341215033 2764726272 5615 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 674982 5615 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.30022 s] /proc/loadavg: 3.91 3.76 3.77 4/197 16968 /proc/meminfo: memFree=28260480/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2699928 CPUtime=0.44 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 5671 0 1 0 42 2 0 0 20 0 18 0 341215033 2764726272 8693 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 674982 8693 2215 9 0 665676 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 2699928 [startup+0.700264 s] /proc/loadavg: 3.91 3.76 3.77 4/197 16968 /proc/meminfo: memFree=28260480/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=1.39 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 11308 0 1 0 134 5 0 0 20 0 20 0 341215033 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 23575 2250 9 0 732240 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 2966184 [startup+1.50075 s] /proc/loadavg: 3.91 3.76 3.77 3/217 16990 /proc/meminfo: memFree=28174824/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=1.39 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 11308 0 1 0 134 5 0 0 20 0 20 0 341215033 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 23575 2250 9 0 732240 0 [pid=16968/tid=16970] ppid=16966 vsize=2966184 CPUtime=0.46 cores=0,2,4,6 /proc/16968/task/16970/stat : 16970 (java) S 16966 16968 13986 0 -1 4202560 2812 0 1 0 44 2 0 0 20 0 20 0 341215035 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601420792984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16971] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16971/stat : 16971 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601405074472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16972] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16972/stat : 16972 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601404021672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16973] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16973/stat : 16973 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601402968872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341215037 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341215038 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341215038 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341215039 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215041 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=0.37 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 3629 0 0 0 37 0 0 0 20 0 20 0 341215041 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=0.38 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 3573 0 0 0 38 0 0 0 20 0 20 0 341215041 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215041 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341215042 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 341215086 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16990] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16990/stat : 16990 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341215086 3037372416 23575 33554432000 1073741824 1073778376 140736825983440 140600114398504 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 2966184 [startup+3.10067 s] /proc/loadavg: 3.75 3.73 3.76 3/217 16992 /proc/meminfo: memFree=28166004/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=3.6 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 17240 0 1 0 350 10 0 0 20 0 22 0 341215033 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 50689 2260 9 0 732240 0 [pid=16968/tid=16970] ppid=16966 vsize=2966184 CPUtime=0.48 cores=0,2,4,6 /proc/16968/task/16970/stat : 16970 (java) S 16966 16968 13986 0 -1 4202560 2813 0 1 0 46 2 0 0 20 0 22 0 341215035 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601420792984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16971] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16971/stat : 16971 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601405074472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16972] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16972/stat : 16972 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601404021672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16973] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16973/stat : 16973 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601402968872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215039 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=0.85 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 4218 0 0 0 85 0 0 0 20 0 22 0 341215041 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 8856 0 0 0 86 2 0 0 20 0 22 0 341215041 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215042 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16990] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16990/stat : 16990 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 50689 33554432000 1073741824 1073778376 140736825983440 140600114398504 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 2966184 [startup+6.30081 s] /proc/loadavg: 3.75 3.73 3.76 5/219 16996 /proc/meminfo: memFree=27846448/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=8.21 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 17432 0 1 0 804 17 0 0 20 0 22 0 341215033 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 105118 2285 9 0 732240 0 [pid=16968/tid=16970] ppid=16966 vsize=2966184 CPUtime=0.48 cores=0,2,4,6 /proc/16968/task/16970/stat : 16970 (java) S 16966 16968 13986 0 -1 4202560 2814 0 1 0 46 2 0 0 20 0 22 0 341215035 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601420793000 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16971] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16971/stat : 16971 (java) S 16966 16968 13986 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601405074472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16972] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16972/stat : 16972 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601404021672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16973] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16973/stat : 16973 (java) S 16966 16968 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601402968872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341215037 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 22 0 341215038 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341215039 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 4219 0 0 0 97 0 0 0 20 0 22 0 341215041 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=0.99 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 8861 0 0 0 97 2 0 0 20 0 22 0 341215041 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215042 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 105118 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=5.96 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 587 9 0 0 20 0 22 0 341215037 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=5.95 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 588 7 0 0 20 0 22 0 341215037 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=5.91 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 331 0 0 0 584 7 0 0 20 0 22 0 341215037 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=6.02 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 594 8 0 0 20 0 22 0 341215037 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=6.04 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 286 0 0 0 596 8 0 0 20 0 22 0 341215037 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=70.42 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 136 0 0 0 7007 35 0 0 20 0 22 0 341215038 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341215039 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=1.14 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 4227 0 0 0 114 0 0 0 20 0 22 0 341215041 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=1.61 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 9234 0 0 0 159 2 0 0 20 0 22 0 341215041 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0.3 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 47 0 0 0 15 15 0 0 20 0 22 0 341215042 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16990] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16990/stat : 16990 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140600114398504 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=17001] ppid=16966 vsize=2966184 CPUtime=627.97 cores=0,2,4,6 /proc/16968/task/17001/stat : 17001 (java) R 16966 16968 13986 0 -1 4202560 373 0 0 0 62786 11 0 0 20 0 22 0 341226297 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140601259392664 140601274884490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=17002] ppid=16966 vsize=2966184 CPUtime=628.01 cores=0,2,4,6 /proc/16968/task/17002/stat : 17002 (java) R 16966 16968 13986 0 -1 4202560 292 0 0 0 62788 13 0 0 20 0 22 0 341226297 3037372416 234046 33554432000 1073741824 1073778376 140736825983440 140600116501056 140601275047593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1586.26 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.40 3.57 3.69 5/219 18161 /proc/meminfo: memFree=27483220/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=1699.69 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 21441 0 1 0 169829 140 0 0 20 0 22 0 341215033 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 234126 2287 9 0 732240 0 [pid=16968/tid=16970] ppid=16966 vsize=2966184 CPUtime=0.51 cores=0,2,4,6 /proc/16968/task/16970/stat : 16970 (java) S 16966 16968 13986 0 -1 4202560 2869 0 1 0 48 3 0 0 20 0 22 0 341215035 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601420792984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16971] ppid=16966 vsize=2966184 CPUtime=6.03 cores=0,2,4,6 /proc/16968/task/16971/stat : 16971 (java) S 16966 16968 13986 0 -1 4202560 329 0 0 0 596 7 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601405074472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16972] ppid=16966 vsize=2966184 CPUtime=6.45 cores=0,2,4,6 /proc/16968/task/16972/stat : 16972 (java) S 16966 16968 13986 0 -1 4202560 315 0 0 0 639 6 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601404021672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16973] ppid=16966 vsize=2966184 CPUtime=6.3 cores=0,2,4,6 /proc/16968/task/16973/stat : 16973 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 624 6 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601402968872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=6.27 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 342 0 0 0 618 9 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=6.31 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 624 7 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=6.26 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 331 0 0 0 618 8 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=6.44 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 335 0 0 0 636 8 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=6.32 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 294 0 0 0 624 8 0 0 20 0 22 0 341215037 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=78.22 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 140 0 0 0 7785 37 0 0 20 0 22 0 341215038 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341215039 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=1.14 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 4227 0 0 0 114 0 0 0 20 0 22 0 341215041 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=1.61 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 9234 0 0 0 159 2 0 0 20 0 22 0 341215041 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 341215042 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16990] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16990/stat : 16990 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140600114398504 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=17001] ppid=16966 vsize=2966184 CPUtime=679.27 cores=0,2,4,6 /proc/16968/task/17001/stat : 17001 (java) R 16966 16968 13986 0 -1 4202560 387 0 0 0 67913 14 0 0 20 0 22 0 341226297 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140601259391600 140601274924528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=17002] ppid=16966 vsize=2966184 CPUtime=679.31 cores=0,2,4,6 /proc/16968/task/17002/stat : 17002 (java) R 16966 16968 13986 0 -1 4202560 305 0 0 0 67917 14 0 0 20 0 22 0 341226297 3037372416 234126 33554432000 1073741824 1073778376 140736825983440 140600116501624 140601275260144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1699.69 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+935.007 s] /proc/loadavg: 3.70 3.62 3.70 5/220 18171 /proc/meminfo: memFree=27450564/32873844 swapFree=7644/7644 [pid=16968] ppid=16966 vsize=2966184 CPUtime=1799.92 cores=0,2,4,6 /proc/16968/stat : 16968 (java) S 16966 16968 13986 0 -1 4202496 21529 0 1 0 179847 145 0 0 20 0 22 0 341215033 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140736825974576 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16968/statm: 741546 234166 2287 9 0 732240 0 [pid=16968/tid=16970] ppid=16966 vsize=2966184 CPUtime=0.51 cores=0,2,4,6 /proc/16968/task/16970/stat : 16970 (java) S 16966 16968 13986 0 -1 4202560 2873 0 1 0 48 3 0 0 20 0 22 0 341215035 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601420792984 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16971] ppid=16966 vsize=2966184 CPUtime=6.48 cores=0,2,4,6 /proc/16968/task/16971/stat : 16971 (java) S 16966 16968 13986 0 -1 4202560 329 0 0 0 641 7 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601405074472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16972] ppid=16966 vsize=2966184 CPUtime=7 cores=0,2,4,6 /proc/16968/task/16972/stat : 16972 (java) S 16966 16968 13986 0 -1 4202560 315 0 0 0 694 6 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601404021672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16973] ppid=16966 vsize=2966184 CPUtime=6.78 cores=0,2,4,6 /proc/16968/task/16973/stat : 16973 (java) S 16966 16968 13986 0 -1 4202560 317 0 0 0 672 6 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601402968872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16974] ppid=16966 vsize=2966184 CPUtime=6.76 cores=0,2,4,6 /proc/16968/task/16974/stat : 16974 (java) S 16966 16968 13986 0 -1 4202560 342 0 0 0 666 10 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601401916072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16968/tid=16975] ppid=16966 vsize=2966184 CPUtime=6.72 cores=0,2,4,6 /proc/16968/task/16975/stat : 16975 (java) S 16966 16968 13986 0 -1 4202560 330 0 0 0 665 7 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601400863272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16976] ppid=16966 vsize=2966184 CPUtime=6.74 cores=0,2,4,6 /proc/16968/task/16976/stat : 16976 (java) S 16966 16968 13986 0 -1 4202560 331 0 0 0 666 8 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601399810472 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16977] ppid=16966 vsize=2966184 CPUtime=6.94 cores=0,2,4,6 /proc/16968/task/16977/stat : 16977 (java) S 16966 16968 13986 0 -1 4202560 353 0 0 0 685 9 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601398757672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16978] ppid=16966 vsize=2966184 CPUtime=6.8 cores=0,2,4,6 /proc/16968/task/16978/stat : 16978 (java) S 16966 16968 13986 0 -1 4202560 303 0 0 0 672 8 0 0 20 0 22 0 341215037 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601397704872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16979] ppid=16966 vsize=2966184 CPUtime=85.13 cores=0,2,4,6 /proc/16968/task/16979/stat : 16979 (java) S 16966 16968 13986 0 -1 4202560 142 0 0 0 8475 38 0 0 20 0 22 0 341215038 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601267817448 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16980] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16980/stat : 16980 (java) S 16966 16968 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341215038 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601266763512 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16981] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16981/stat : 16981 (java) S 16966 16968 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341215039 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601265710600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16982] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16982/stat : 16982 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601264659088 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16983] ppid=16966 vsize=2966184 CPUtime=1.14 cores=0,2,4,6 /proc/16968/task/16983/stat : 16983 (java) S 16966 16968 13986 0 -1 4202560 4227 0 0 0 114 0 0 0 20 0 22 0 341215041 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601263606200 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=16984] ppid=16966 vsize=2966184 CPUtime=1.61 cores=0,2,4,6 /proc/16968/task/16984/stat : 16984 (java) S 16966 16968 13986 0 -1 4202560 9234 0 0 0 159 2 0 0 20 0 22 0 341215041 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601262553400 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16985] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16985/stat : 16985 (java) S 16966 16968 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341215041 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601261500792 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16986] ppid=16966 vsize=2966184 CPUtime=0.34 cores=0,2,4,6 /proc/16968/task/16986/stat : 16986 (java) S 16966 16968 13986 0 -1 4202560 53 0 0 0 17 17 0 0 20 0 22 0 341215042 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601260448200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16968/tid=16989] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16989/stat : 16989 (java) S 16966 16968 13986 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140600115451304 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=16990] ppid=16966 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16968/task/16990/stat : 16990 (java) S 16966 16968 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341215086 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140600114398504 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16968/tid=17001] ppid=16966 vsize=2966184 CPUtime=723.91 cores=0,2,4,6 /proc/16968/task/17001/stat : 17001 (java) R 16966 16968 13986 0 -1 4202560 407 0 0 0 72376 15 0 0 20 0 22 0 341226297 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140601259392544 140601274864389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=16968/tid=17002] ppid=16966 vsize=2966184 CPUtime=723.92 cores=0,2,4,6 /proc/16968/task/17002/stat : 17002 (java) R 16966 16968 13986 0 -1 4202560 325 0 0 0 72377 15 0 0 20 0 22 0 341226297 3037372416 234166 33554432000 1073741824 1073778376 140736825983440 140600116500592 140601275166712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16968 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=159094 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=852718 # CPU time returned by wait4() is 1797.01 # while last known CPU time is 1799.92 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.219982 # lost CPU user time (s): 0.269993 # lost CPU system time (s): -0.05 Real time (s): 935.07 CPU time (s): 1800.14 CPU user time (s): 1798.74 CPU system time (s): 1.4 CPU usage (%): 192.514 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.16 system time used= 1.85272 maximum resident set size= 936784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21561 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48348 involuntary context switches= 102291 runsolver used 4.51031 second user time and 7.56485 second system time The end
Begin job on node147 at 2012-06-03 21:15:06 IDJOB=3736078 IDBENCH=25021 IDSOLVER=2324 FILE ID=node147/3736078-1338750906 RUNJOBID= node147-1338737348-14002 PBS_JOBID= 14636764 Free space on /tmp= 70780 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736078-1338750906/watcher-3736078-1338750906 -o /tmp/evaluation-result-3736078-1338750906/solver-3736078-1338750906 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736078-1338750906.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1169344830 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28260100 kB Buffers: 459376 kB Cached: 2573484 kB SwapCached: 3380 kB Active: 2192064 kB Inactive: 1558188 kB Active(anon): 713092 kB Inactive(anon): 5908 kB Active(file): 1478972 kB Inactive(file): 1552280 kB Unevictable: 7644 kB Mlocked: 7644 kB SwapTotal: 67108856 kB SwapFree: 67100236 kB Dirty: 452 kB Writeback: 0 kB AnonPages: 721328 kB Mapped: 17660 kB Shmem: 0 kB Slab: 722524 kB SReclaimable: 163512 kB SUnreclaim: 559012 kB KernelStack: 1624 kB PageTables: 5216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573664 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 661504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70784 MiB End job on node147 at 2012-06-03 21:30:43