Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 23 | 1800.37 | 957.191 |
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 | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1797.1 |
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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454135-1307193701.opb 0.10/0.11 c reading problem ... 0.78/0.47 c ... done. Wall clock time 0.353s. 0.78/0.47 c #vars 5499 0.78/0.47 c #constraints 19319 0.78/0.47 c constraints type 0.78/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 0.78/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.78/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 0.78/0.47 c constraints type 0.78/0.47 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 0.78/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 0.78/0.47 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.02/0.53 c And the winner is Resolution 1.22/0.98 c SATISFIABLE 1.22/0.98 c OPTIMIZING... 1.22/0.98 c Got one! Elapsed wall clock time (in seconds):0.864 1.22/0.98 o 27 1.22/1.00 c And the winner is Resolution 1.30/1.49 c Got one! Elapsed wall clock time (in seconds):1.377 1.30/1.49 o 26 1.31/1.57 c And the winner is Resolution 1.61/2.00 c Got one! Elapsed wall clock time (in seconds):1.885 1.61/2.00 o 25 3.99/2.93 c cleaning 2548 clauses out of 5107 with flag 5000/5107 6.10/3.94 c cleaning 4272 clauses out of 8559 with flag 11000/11107 8.55/5.16 c cleaning 5638 clauses out of 11287 with flag 18000/18107 11.13/6.50 c cleaning 6818 clauses out of 13651 with flag 26002/26109 14.52/8.18 c cleaning 7906 clauses out of 15831 with flag 35000/35107 17.29/9.57 c cleaning 8944 clauses out of 17925 with flag 45000/45107 20.84/11.32 c cleaning 9986 clauses out of 19981 with flag 56000/56107 24.44/13.13 c cleaning 10981 clauses out of 21995 with flag 68000/68107 29.00/15.46 c cleaning 11993 clauses out of 24014 with flag 81000/81107 33.71/17.80 c cleaning 12995 clauses out of 26023 with flag 95002/95109 38.46/20.22 c cleaning 14000 clauses out of 28031 with flag 110005/110112 44.04/23.02 c cleaning 14994 clauses out of 30027 with flag 126001/126108 49.93/26.03 c cleaning 16000 clauses out of 32032 with flag 143000/143107 56.46/29.32 c cleaning 16996 clauses out of 34032 with flag 161000/161107 63.61/32.94 c cleaning 18002 clauses out of 36036 with flag 180000/180107 69.93/36.16 c cleaning 19001 clauses out of 38036 with flag 200002/200109 77.02/39.70 c cleaning 19500 clauses out of 39033 with flag 220000/220107 83.37/42.99 c cleaning 19750 clauses out of 39533 with flag 240000/240107 92.09/47.31 c cleaning 19878 clauses out of 39784 with flag 260001/260108 98.96/50.86 c cleaning 19932 clauses out of 39907 with flag 280002/280109 105.81/54.30 c cleaning 19969 clauses out of 39973 with flag 300000/300107 114.91/58.99 c cleaning 19983 clauses out of 40004 with flag 320000/320107 120.40/61.77 c cleaning 19990 clauses out of 40021 with flag 340000/340107 127.28/65.28 c cleaning 19995 clauses out of 40033 with flag 360002/360109 133.90/68.60 c And the winner is CuttingPlanes 133.90/68.66 c Got one! Elapsed wall clock time (in seconds):68.547 133.90/68.66 o 24 135.62/69.53 c cleaning 21398 clauses out of 42852 with flag 5001/382923 137.49/70.58 c cleaning 13677 clauses out of 27453 with flag 11000/388922 140.16/71.94 c cleaning 10362 clauses out of 20777 with flag 18001/395923 142.63/73.29 c cleaning 9187 clauses out of 18414 with flag 26000/403922 146.03/75.00 c cleaning 9101 clauses out of 18230 with flag 35003/412925 149.93/77.04 c cleaning 9551 clauses out of 19127 with flag 45001/422923 153.15/78.72 c cleaning 10269 clauses out of 20576 with flag 56001/433923 156.81/80.68 c cleaning 11134 clauses out of 22306 with flag 68000/445922 160.59/82.66 c cleaning 12066 clauses out of 24172 with flag 81000/458922 165.24/85.00 c cleaning 13040 clauses out of 26106 with flag 95000/472922 170.29/87.69 c cleaning 14021 clauses out of 28068 with flag 110002/487924 175.72/90.44 c cleaning 14994 clauses out of 30046 with flag 126001/503923 182.89/94.12 c cleaning 16010 clauses out of 32052 with flag 143001/520923 189.53/97.59 c cleaning 17011 clauses out of 34042 with flag 161001/538923 195.77/100.85 c cleaning 17998 clauses out of 36030 with flag 180000/557922 203.31/104.50 c cleaning 19004 clauses out of 38033 with flag 200001/577923 211.54/108.53 c cleaning 19499 clauses out of 39030 with flag 220002/597924 217.76/111.78 c cleaning 19743 clauses out of 39530 with flag 240001/617923 226.78/116.36 c cleaning 19874 clauses out of 39786 with flag 260000/637922 233.99/120.03 c cleaning 19934 clauses out of 39912 with flag 280000/657922 241.71/124.07 c cleaning 19968 clauses out of 39983 with flag 300005/677927 248.91/127.71 c cleaning 19992 clauses out of 40013 with flag 320003/697925 256.30/131.57 c cleaning 19992 clauses out of 40018 with flag 340000/717922 265.50/136.21 c cleaning 20002 clauses out of 40026 with flag 360000/737922 274.80/141.09 c cleaning 19982 clauses out of 40027 with flag 380003/757925 275.22/141.36 c And the winner is CuttingPlanes 275.32/141.57 c Got one! Elapsed wall clock time (in seconds):141.45 275.32/141.57 o 23 277.01/142.41 c cleaning 12607 clauses out of 25284 with flag 5001/763164 279.59/143.88 c cleaning 9308 clauses out of 18676 with flag 11000/769163 282.37/145.39 c cleaning 8166 clauses out of 16368 with flag 18000/776163 286.28/147.49 c cleaning 8088 clauses out of 16205 with flag 26003/784166 289.83/149.32 c cleaning 8543 clauses out of 17115 with flag 35001/793164 293.40/151.23 c cleaning 9267 clauses out of 18571 with flag 45000/803163 296.97/153.19 c cleaning 10134 clauses out of 20305 with flag 56001/814164 301.23/155.42 c cleaning 11078 clauses out of 22175 with flag 68005/826168 307.40/158.69 c cleaning 12022 clauses out of 24092 with flag 81000/839163 312.95/161.57 c cleaning 13022 clauses out of 26070 with flag 95000/853163 320.11/165.29 c cleaning 14019 clauses out of 28054 with flag 110006/868169 327.16/168.95 c cleaning 15002 clauses out of 30029 with flag 126000/884163 332.50/171.80 c cleaning 16001 clauses out of 32028 with flag 143001/901164 339.84/175.58 c cleaning 17004 clauses out of 34030 with flag 161004/919167 348.39/179.99 c cleaning 17993 clauses out of 36023 with flag 180001/938164 356.40/184.16 c cleaning 19005 clauses out of 38031 with flag 200002/958165 364.73/188.48 c cleaning 19504 clauses out of 39026 with flag 220002/978165 373.85/193.12 c cleaning 19741 clauses out of 39520 with flag 240000/998163 381.57/197.17 c cleaning 19870 clauses out of 39779 with flag 260000/1018163 389.76/201.41 c cleaning 19942 clauses out of 39909 with flag 280000/1038163 398.67/206.06 c cleaning 19968 clauses out of 39967 with flag 300000/1058163 407.17/210.45 c cleaning 19989 clauses out of 40000 with flag 320001/1078164 415.11/214.53 c cleaning 19991 clauses out of 40011 with flag 340001/1098164 423.65/219.06 c cleaning 19995 clauses out of 40020 with flag 360001/1118164 433.74/224.28 c cleaning 19995 clauses out of 40025 with flag 380001/1138164 443.03/229.00 c cleaning 20003 clauses out of 40030 with flag 400001/1158164 449.33/232.37 c cleaning 19991 clauses out of 40028 with flag 420002/1178165 457.68/236.71 c cleaning 20002 clauses out of 40036 with flag 440001/1198164 464.96/240.51 c cleaning 19998 clauses out of 40033 with flag 460000/1218163 470.44/243.44 c cleaning 19999 clauses out of 40035 with flag 480000/1238163 481.31/249.06 c cleaning 19989 clauses out of 40036 with flag 500000/1258163 492.44/254.83 c cleaning 20003 clauses out of 40047 with flag 520000/1278163 498.10/257.84 c cleaning 20011 clauses out of 40045 with flag 540001/1298164 503.15/260.51 c cleaning 19993 clauses out of 40033 with flag 560000/1318163 508.21/263.29 c cleaning 20004 clauses out of 40043 with flag 580003/1338166 515.11/266.97 c cleaning 19999 clauses out of 40036 with flag 600000/1358163 521.77/270.45 c cleaning 19999 clauses out of 40037 with flag 620000/1378163 531.02/275.27 c cleaning 20009 clauses out of 40038 with flag 640000/1398163 539.86/279.88 c cleaning 20005 clauses out of 40032 with flag 660003/1418166 548.74/284.55 c cleaning 19999 clauses out of 40025 with flag 680001/1438164 557.79/289.24 c cleaning 20001 clauses out of 40027 with flag 700002/1458165 565.42/293.24 c cleaning 19995 clauses out of 40024 with flag 720000/1478163 574.44/297.93 c cleaning 19990 clauses out of 40029 with flag 740000/1498163 583.89/302.92 c cleaning 19995 clauses out of 40040 with flag 760001/1518164 593.10/307.73 c cleaning 19994 clauses out of 40046 with flag 780002/1538165 602.50/312.68 c cleaning 20010 clauses out of 40050 with flag 800000/1558163 614.50/318.85 c cleaning 19994 clauses out of 40040 with flag 820000/1578163 625.72/324.76 c cleaning 20002 clauses out of 40046 with flag 840000/1598163 637.31/330.77 c cleaning 20006 clauses out of 40046 with flag 860002/1618165 648.89/336.70 c cleaning 20007 clauses out of 40041 with flag 880003/1638166 656.06/340.51 c cleaning 19994 clauses out of 40032 with flag 900001/1658164 663.44/344.59 c cleaning 19994 clauses out of 40038 with flag 920001/1678164 669.40/347.79 c cleaning 20006 clauses out of 40043 with flag 940000/1698163 681.79/354.16 c cleaning 20000 clauses out of 40038 with flag 960001/1718164 690.15/358.55 c cleaning 20000 clauses out of 40038 with flag 980001/1738164 696.30/361.93 c cleaning 20004 clauses out of 40037 with flag 1000000/1758163 703.02/365.51 c cleaning 19999 clauses out of 40034 with flag 1020001/1778164 713.56/371.03 c cleaning 20001 clauses out of 40034 with flag 1040000/1798163 724.09/376.55 c cleaning 19995 clauses out of 40033 with flag 1060000/1818163 734.21/381.97 c cleaning 20006 clauses out of 40038 with flag 1080000/1838163 741.52/385.81 c cleaning 20003 clauses out of 40032 with flag 1100000/1858163 748.06/389.36 c cleaning 19995 clauses out of 40029 with flag 1120000/1878163 754.94/393.04 c cleaning 19996 clauses out of 40034 with flag 1140000/1898163 761.43/396.62 c cleaning 20000 clauses out of 40038 with flag 1160000/1918163 768.13/400.22 c cleaning 19993 clauses out of 40038 with flag 1180000/1938163 777.02/404.95 c cleaning 20005 clauses out of 40046 with flag 1200001/1958164 786.94/410.15 c cleaning 20002 clauses out of 40040 with flag 1220000/1978163 797.64/415.85 c cleaning 19991 clauses out of 40039 with flag 1240001/1998164 809.30/421.99 c cleaning 20004 clauses out of 40052 with flag 1260005/2018168 821.58/428.32 c cleaning 20002 clauses out of 40045 with flag 1280002/2038165 833.65/434.69 c cleaning 19998 clauses out of 40042 with flag 1300001/2058164 845.48/440.99 c cleaning 19998 clauses out of 40044 with flag 1320001/2078164 854.34/445.69 c cleaning 20000 clauses out of 40045 with flag 1340000/2098163 864.41/451.00 c cleaning 20010 clauses out of 40045 with flag 1360000/2118163 874.43/456.27 c cleaning 20002 clauses out of 40037 with flag 1380002/2138165 881.63/460.27 c cleaning 19999 clauses out of 40033 with flag 1400000/2158163 888.89/464.12 c cleaning 19992 clauses out of 40037 with flag 1420003/2178166 898.49/469.25 c cleaning 20013 clauses out of 40044 with flag 1440002/2198165 907.33/473.94 c cleaning 19996 clauses out of 40038 with flag 1460009/2218172 914.50/477.99 c cleaning 19995 clauses out of 40034 with flag 1480001/2238164 921.12/481.51 c cleaning 19998 clauses out of 40041 with flag 1500003/2258166 927.76/485.16 c cleaning 19997 clauses out of 40041 with flag 1520001/2278164 939.34/491.28 c cleaning 20008 clauses out of 40043 with flag 1540000/2298163 952.72/498.37 c cleaning 20005 clauses out of 40036 with flag 1560001/2318164 965.89/505.24 c cleaning 20007 clauses out of 40035 with flag 1580005/2338168 981.28/513.20 c cleaning 20001 clauses out of 40023 with flag 1600000/2358163 994.90/520.35 c cleaning 20000 clauses out of 40022 with flag 1620000/2378163 1003.24/524.99 c cleaning 19995 clauses out of 40022 with flag 1640000/2398163 1010.24/528.73 c cleaning 20002 clauses out of 40029 with flag 1660002/2418165 1017.46/532.70 c cleaning 19990 clauses out of 40026 with flag 1680001/2438164 1025.28/536.84 c cleaning 20005 clauses out of 40036 with flag 1700001/2458164 1032.01/540.60 c cleaning 19997 clauses out of 40031 with flag 1720001/2478164 1037.99/543.98 c cleaning 19996 clauses out of 40033 with flag 1740000/2498163 1044.76/547.63 c cleaning 20000 clauses out of 40037 with flag 1760000/2518163 1052.73/551.90 c cleaning 20008 clauses out of 40040 with flag 1780003/2538166 1062.48/557.22 c cleaning 19993 clauses out of 40029 with flag 1800000/2558163 1072.24/562.49 c cleaning 20006 clauses out of 40036 with flag 1820000/2578163 1082.61/567.99 c cleaning 20001 clauses out of 40031 with flag 1840001/2598164 1093.57/573.74 c cleaning 19999 clauses out of 40031 with flag 1860002/2618165 1105.05/579.93 c cleaning 19998 clauses out of 40030 with flag 1880000/2638163 1116.60/586.06 c cleaning 19991 clauses out of 40032 with flag 1900000/2658163 1127.59/591.83 c cleaning 19998 clauses out of 40041 with flag 1920000/2678163 1138.50/597.65 c cleaning 20001 clauses out of 40046 with flag 1940003/2698166 1150.36/604.03 c cleaning 19999 clauses out of 40044 with flag 1960002/2718165 1161.90/610.13 c cleaning 19993 clauses out of 40043 with flag 1980000/2738163 1171.04/615.08 c cleaning 19999 clauses out of 40051 with flag 2000001/2758164 1178.18/618.90 c cleaning 20008 clauses out of 40052 with flag 2020001/2778164 1185.21/622.99 c cleaning 20000 clauses out of 40043 with flag 2040000/2798163 1193.14/627.20 c cleaning 20006 clauses out of 40043 with flag 2060000/2818163 1202.47/632.30 c cleaning 20006 clauses out of 40037 with flag 2080000/2838163 1209.20/635.98 c cleaning 19996 clauses out of 40032 with flag 2100001/2858164 1216.07/639.85 c cleaning 19995 clauses out of 40037 with flag 2120002/2878165 1218.00/641.16 c cleaning 0 clauses out of 5954 with flag 0/5955 1227.56/646.16 c cleaning 20009 clauses out of 40041 with flag 2140001/2898164 1239.20/652.24 c cleaning 20005 clauses out of 40032 with flag 2160001/2918164 1251.79/659.07 c cleaning 20001 clauses out of 40029 with flag 2180003/2938166 1261.10/664.00 c cleaning 19996 clauses out of 40025 with flag 2200000/2958163 1268.01/667.81 c cleaning 19996 clauses out of 40030 with flag 2220001/2978164 1275.11/671.78 c cleaning 19999 clauses out of 40035 with flag 2240002/2998165 1282.90/676.13 c cleaning 20001 clauses out of 40036 with flag 2260002/3018165 1290.39/680.21 c cleaning 19998 clauses out of 40033 with flag 2280000/3038163 1299.29/685.09 c cleaning 19997 clauses out of 40039 with flag 2300004/3058167 1309.39/690.48 c cleaning 20012 clauses out of 40039 with flag 2320001/3078164 1320.97/696.73 c cleaning 20000 clauses out of 40028 with flag 2340002/3098165 1331.86/702.50 c cleaning 19988 clauses out of 40026 with flag 2360000/3118163 1342.97/708.49 c cleaning 20008 clauses out of 40038 with flag 2380000/3138163 1353.04/713.81 c cleaning 19994 clauses out of 40031 with flag 2400001/3158164 1363.78/719.71 c cleaning 19990 clauses out of 40036 with flag 2420000/3178163 1372.66/724.50 c cleaning 20009 clauses out of 40047 with flag 2440001/3198164 1379.75/728.40 c cleaning 19999 clauses out of 40038 with flag 2460001/3218164 1387.25/732.60 c cleaning 20000 clauses out of 40039 with flag 2480001/3238164 1394.78/736.90 c cleaning 19993 clauses out of 40039 with flag 2500001/3258164 1402.25/740.99 c cleaning 20000 clauses out of 40045 with flag 2520000/3278163 1409.71/745.07 c cleaning 20003 clauses out of 40045 with flag 2540000/3298163 1416.98/749.10 c cleaning 20003 clauses out of 40045 with flag 2560003/3318166 1425.08/753.63 c cleaning 19994 clauses out of 40039 with flag 2580000/3338163 1432.34/757.61 c cleaning 20007 clauses out of 40047 with flag 2600002/3358165 1439.58/761.61 c cleaning 20003 clauses out of 40039 with flag 2620001/3378164 1447.42/765.94 c cleaning 20000 clauses out of 40035 with flag 2640000/3398163 1455.92/770.79 c cleaning 19992 clauses out of 40036 with flag 2660001/3418164 1468.36/777.34 c cleaning 19998 clauses out of 40043 with flag 2680000/3438163 1481.42/784.30 c cleaning 20004 clauses out of 40048 with flag 2700003/3458166 1494.62/791.28 c cleaning 19995 clauses out of 40043 with flag 2720002/3478165 1507.89/798.46 c cleaning 20000 clauses out of 40048 with flag 2740002/3498165 1521.10/805.47 c cleaning 19998 clauses out of 40050 with flag 2760004/3518167 1534.70/812.69 c cleaning 20002 clauses out of 40049 with flag 2780001/3538164 1546.49/818.94 c cleaning 19999 clauses out of 40046 with flag 2800000/3558163 1559.74/826.16 c cleaning 20001 clauses out of 40049 with flag 2820002/3578165 1571.98/832.68 c cleaning 19993 clauses out of 40048 with flag 2840002/3598165 1584.13/839.20 c cleaning 19998 clauses out of 40054 with flag 2860001/3618164 1596.30/845.69 c cleaning 20004 clauses out of 40058 with flag 2880003/3638166 1609.30/852.72 c cleaning 20000 clauses out of 40052 with flag 2900001/3658164 1622.27/859.66 c cleaning 20002 clauses out of 40051 with flag 2920000/3678163 1635.24/866.50 c cleaning 19995 clauses out of 40051 with flag 2940002/3698165 1649.22/873.92 c cleaning 20007 clauses out of 40055 with flag 2960001/3718164 1664.21/882.01 c cleaning 20001 clauses out of 40048 with flag 2980001/3738164 1673.96/887.30 c cleaning 20000 clauses out of 40048 with flag 3000002/3758165 1681.91/891.73 c cleaning 20003 clauses out of 40046 with flag 3020000/3778163 1692.26/897.31 c cleaning 20012 clauses out of 40045 with flag 3040002/3798165 1700.45/902.09 c cleaning 20005 clauses out of 40033 with flag 3060002/3818165 1707.56/906.01 c cleaning 19991 clauses out of 40026 with flag 3080000/3838163 1719.31/912.36 c cleaning 19994 clauses out of 40035 with flag 3100000/3858163 1731.85/919.06 c cleaning 20005 clauses out of 40041 with flag 3120000/3878163 1742.40/924.90 c cleaning 20005 clauses out of 40038 with flag 3140002/3898165 1750.93/929.68 c cleaning 19999 clauses out of 40031 with flag 3160000/3918163 1760.69/935.00 c cleaning 19994 clauses out of 40033 with flag 3180001/3938164 1769.59/939.85 c cleaning 19997 clauses out of 40041 with flag 3200003/3958166 1779.31/945.33 c cleaning 19999 clauses out of 40042 with flag 3220001/3978164 1788.66/950.44 c cleaning 19998 clauses out of 40043 with flag 3240001/3998164 1797.15/955.18 c cleaning 19999 clauses out of 40045 with flag 3260001/4018164 1800.11/957.04 c starts : 33 1800.11/957.04 c conflicts : 7867 1800.11/957.04 c decisions : 72676 1800.11/957.04 c propagations : 1277207 1800.11/957.04 c inspects : 220246098 1800.11/957.04 c shortcuts : 0 1800.11/957.04 c learnt literals : 0 1800.11/957.04 c learnt binary clauses : 0 1800.11/957.04 c learnt ternary clauses : 0 1800.11/957.04 c learnt constraints : 7866 1800.11/957.04 c ignored constraints : 0 1800.11/957.04 c root simplifications : 0 1800.11/957.04 c removed literals (reason simplification) : 0 1800.11/957.04 c reason swapping (by a shorter reason) : 0 1800.11/957.04 c Calls to reduceDB : 1 1800.11/957.04 c number of reductions to clauses (during analyze) : 0 1800.11/957.04 c number of learned constraints concerned by reduction : 0 1800.11/957.04 c number of learning phase by resolution : 0 1800.11/957.04 c number of learning phase by cutting planes : 0 1800.11/957.04 c speed (assignments/second) : 1566.2238540030337 1800.11/957.04 c non guided choices 0 1800.11/957.04 c learnt constraints type 1800.11/957.04 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 112 1800.11/957.04 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 28 1800.11/957.04 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7726 1800.11/957.04 c constraints type 1800.11/957.04 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1800.11/957.04 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.11/957.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1800.11/957.04 c constraints type 1800.11/957.04 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1800.11/957.04 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1800.11/957.04 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.11/957.04 s SATISFIABLE 1800.11/957.06 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 1800.11/957.07 c objective function=23 1800.11/957.07 c Total wall clock time (in seconds): 956.953
OK 23
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454135-1307193701/watcher-3454135-1307193701 -o /tmp/evaluation-result-3454135-1307193701/solver-3454135-1307193701 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454135-1307193701.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.95 3.78 3.56 4/458 13384 /proc/meminfo: memFree=20858984/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=33696 CPUtime=0 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 1293 0 0 0 0 0 0 0 17 0 2 0 811785683 34504704 1001 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 8437 1007 775 9 0 386 0 [pid=13384/tid=13385] ppid=13382 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) R 13382 13384 9722 0 -1 4202560 1633 0 1 0 0 0 0 0 18 0 2 0 811785684 10681323520 2449 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0178751 s] /proc/loadavg: 3.95 3.78 3.56 4/458 13384 /proc/meminfo: memFree=20858984/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 3878 0 1 0 0 0 0 0 17 0 2 0 811785683 10694979584 3579 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2611079 3598 917 9 0 2602235 0 [pid=13384/tid=13385] ppid=13382 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) R 13382 13384 9722 0 -1 4202560 2792 0 1 0 0 0 0 0 18 0 2 0 811785684 10694979584 3609 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10444316 [startup+0.100799 s] /proc/loadavg: 3.95 3.78 3.56 4/458 13384 /proc/meminfo: memFree=20858984/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10539656 CPUtime=0.1 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 13003 0 1 0 8 2 0 0 17 0 18 0 811785683 10792607744 12675 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2634914 12675 2092 9 0 2625648 0 [pid=13384/tid=13385] ppid=13382 vsize=10539656 CPUtime=0.07 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) R 13382 13384 9722 0 -1 4202560 11055 0 1 0 6 1 0 0 18 0 18 0 811785684 10792607744 12675 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912496202829 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539656 [startup+0.302968 s] /proc/loadavg: 3.95 3.78 3.56 4/458 13384 /proc/meminfo: memFree=20858984/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10541276 CPUtime=0.47 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 15946 0 1 0 45 2 0 0 17 0 18 0 811785683 10794266624 15506 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2635319 15507 2200 9 0 2626053 0 [pid=13384/tid=13385] ppid=13382 vsize=10541276 CPUtime=0.28 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) R 13382 13384 9722 0 -1 4202560 13119 0 1 0 26 2 0 0 18 0 18 0 811785684 10794266624 15508 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505608655 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10541276 [startup+0.700739 s] /proc/loadavg: 3.95 3.78 3.56 4/458 13384 /proc/meminfo: memFree=20858984/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10551040 CPUtime=1.22 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 30273 0 1 0 117 5 0 0 17 0 19 0 811785683 10804264960 28218 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2637760 28218 2235 9 0 2628494 0 [pid=13384/tid=13385] ppid=13382 vsize=10551040 CPUtime=0.44 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23040 0 1 0 41 3 0 0 19 0 19 0 811785684 10804264960 28218 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 10551040 [startup+1.50056 s] /proc/loadavg: 3.95 3.78 3.56 7/479 13409 /proc/meminfo: memFree=20753044/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10551040 CPUtime=1.31 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 30669 0 1 0 126 5 0 0 17 0 20 0 811785683 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2637760 28516 2237 9 0 2628494 0 [pid=13384/tid=13385] ppid=13382 vsize=10551040 CPUtime=0.46 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) R 13382 13384 9722 0 -1 4202560 23191 0 1 0 43 3 0 0 17 0 20 0 811785684 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 811785686 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) S 13382 13384 9722 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 20 0 811785687 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 0 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 20 0 811785688 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 20 0 811785688 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13398] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13398/stat : 13398 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 20 0 811785690 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350207409 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13399] ppid=13382 vsize=10551040 CPUtime=0.35 cores=1,3,5,7 /proc/13384/task/13399/stat : 13399 (java) R 13382 13384 9722 0 -1 4202560 2845 0 0 0 35 0 0 0 15 0 20 0 811785690 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 47819422625217 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13384/tid=13400] ppid=13382 vsize=10551040 CPUtime=0.33 cores=1,3,5,7 /proc/13384/task/13400/stat : 13400 (java) S 13382 13384 9722 0 -1 4202560 2983 0 0 0 33 0 0 0 15 0 20 0 811785690 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13401] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13401/stat : 13401 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 811785690 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13402] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13402/stat : 13402 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 811785690 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13405] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13405/stat : 13405 (java) S 13382 13384 9722 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 20 0 811785732 10804264960 28516 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 10551040 [startup+3.10121 s] /proc/loadavg: 3.79 3.75 3.55 7/480 13415 /proc/meminfo: memFree=20736600/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10551040 CPUtime=4.43 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 121720 0 1 0 428 15 0 0 17 0 22 0 811785683 10804264960 117376 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2637760 117379 2268 9 0 2628494 0 [pid=13384/tid=13385] ppid=13382 vsize=10551040 CPUtime=0.46 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23262 0 1 0 43 3 0 0 15 0 22 0 811785684 10804264960 117382 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 481 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117385 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117387 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117392 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117392 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117397 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 434 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117399 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 460 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 117406 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10551040 CPUtime=0.03 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) S 13382 13384 9722 0 -1 4202560 1755 0 0 0 3 0 0 0 15 0 22 0 811785687 10804264960 117408 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 0 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811785688 10804264960 117412 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811785688 10804264960 117413 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13398] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13398/stat : 13398 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811785690 10804264960 117418 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350207409 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13399] ppid=13382 vsize=10551040 CPUtime=0.81 cores=1,3,5,7 /proc/13384/task/13399/stat : 13399 (java) S 13382 13384 9722 0 -1 4202560 3057 0 0 0 81 0 0 0 15 0 22 0 811785690 10804264960 117419 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13400] ppid=13382 vsize=10551040 CPUtime=0.69 cores=1,3,5,7 /proc/13384/task/13400/stat : 13400 (java) S 13382 13384 9722 0 -1 4202560 5220 0 0 0 68 1 0 0 15 0 22 0 811785690 10804264960 117423 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13401] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13401/stat : 13401 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811785690 10804264960 117426 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13402] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13402/stat : 13402 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811785690 10804264960 117428 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13405] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13405/stat : 13405 (java) S 13382 13384 9722 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811785732 10804264960 117432 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13413] ppid=13382 vsize=10551040 CPUtime=1.03 cores=1,3,5,7 /proc/13384/task/13413/stat : 13413 (java) R 13382 13384 9722 0 -1 4202560 765 0 0 0 103 0 0 0 17 0 22 0 811785884 10804264960 117434 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505830806 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13384/tid=13414] ppid=13382 vsize=10551040 CPUtime=1.04 cores=1,3,5,7 /proc/13384/task/13414/stat : 13414 (java) R 13382 13384 9722 0 -1 4202560 83715 0 0 0 96 8 0 0 19 0 22 0 811785884 10804264960 117439 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505905329 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13384/tid=13415] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13415/stat : 13415 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811785885 10804264960 117439 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.43 Current children cumulated vsize (KiB) 10551040 [startup+6.3016 s] /proc/loadavg: 3.79 3.75 3.55 5/480 13415 /proc/meminfo: memFree=20070616/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10551040 CPUtime=10.93 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 202677 0 1 0 1069 24 0 0 17 0 22 0 811785683 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2637760 198293 2269 9 0 2628494 0 [pid=13384/tid=13385] ppid=13382 vsize=10551040 CPUtime=0.46 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23262 0 1 0 43 3 0 0 15 0 22 0 811785684 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 490 0 0 0 0 0 0 0 16 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 794 0 0 0 0 0 0 0 18 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 22 0 811785686 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10551040 CPUtime=0.09 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) S 13382 13384 9722 0 -1 4202560 2908 0 0 0 9 0 0 0 15 0 22 0 811785687 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 0 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811785688 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10551040 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811785688 10804264960 198293 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.90 2.42 3.07 2/453 13467 /proc/meminfo: memFree=21534540/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10555256 CPUtime=1664.56 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 792762 0 1 0 166364 92 0 0 17 0 22 0 811785683 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2638814 782859 2270 9 0 2629548 0 [pid=13384/tid=13385] ppid=13382 vsize=10555256 CPUtime=0.47 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23360 0 1 0 44 3 0 0 15 0 22 0 811785684 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10555256 CPUtime=1.16 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 1471 0 0 0 116 0 0 0 16 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10555256 CPUtime=1.14 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 2064 0 0 0 114 0 0 0 16 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10555256 CPUtime=1.03 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 1324 0 0 0 103 0 0 0 15 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10555256 CPUtime=0.94 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 1115 0 0 0 94 0 0 0 15 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10555256 CPUtime=1.13 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 1336 0 0 0 113 0 0 0 16 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10555256 CPUtime=1.12 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 1470 0 0 0 112 0 0 0 15 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10555256 CPUtime=0.93 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 1433 0 0 0 93 0 0 0 16 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10555256 CPUtime=1.01 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 605 0 0 0 101 0 0 0 15 0 22 0 811785686 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10555256 CPUtime=102.36 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) R 13382 13384 9722 0 -1 4202560 114732 0 0 0 10222 14 0 0 16 0 22 0 811785687 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 47819426073712 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13398] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13398/stat : 13398 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811785690 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350207409 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13399] ppid=13382 vsize=10555256 CPUtime=1.88 cores=1,3,5,7 /proc/13384/task/13399/stat : 13399 (java) S 13382 13384 9722 0 -1 4202560 9423 0 0 0 187 1 0 0 15 0 22 0 811785690 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13400] ppid=13382 vsize=10555256 CPUtime=0.99 cores=1,3,5,7 /proc/13384/task/13400/stat : 13400 (java) S 13382 13384 9722 0 -1 4202560 5275 0 0 0 98 1 0 0 15 0 22 0 811785690 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13401] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13401/stat : 13401 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811785690 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13402] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13402/stat : 13402 (java) S 13382 13384 9722 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811785690 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13415] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13415/stat : 13415 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811785885 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13422] ppid=13382 vsize=10555256 CPUtime=642.95 cores=1,3,5,7 /proc/13384/task/13422/stat : 13422 (java) S 13382 13384 9722 0 -1 4202560 346 0 0 0 64295 0 0 0 25 0 22 0 811799840 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13423] ppid=13382 vsize=10555256 CPUtime=642.95 cores=1,3,5,7 /proc/13384/task/13423/stat : 13423 (java) S 13382 13384 9722 0 -1 4202560 69774 0 0 0 64287 8 0 0 25 0 22 0 811799840 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13424] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13424/stat : 13424 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811799841 10808582144 782859 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1664.56 Current children cumulated vsize (KiB) 10555256 [startup+942.301 s] /proc/loadavg: 1.88 2.33 2.99 3/453 13469 /proc/meminfo: memFree=21518624/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10555256 CPUtime=1773.31 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 796788 0 1 0 177238 93 0 0 17 0 22 0 811785683 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2638814 786868 2270 9 0 2629548 0 [pid=13384/tid=13385] ppid=13382 vsize=10555256 CPUtime=0.47 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23360 0 1 0 44 3 0 0 15 0 22 0 811785684 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10555256 CPUtime=1.33 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 1471 0 0 0 133 0 0 0 15 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10555256 CPUtime=1.23 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 2066 0 0 0 123 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10555256 CPUtime=1.11 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 1324 0 0 0 111 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10555256 CPUtime=1.03 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 1119 0 0 0 103 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10555256 CPUtime=1.2 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 1336 0 0 0 120 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10555256 CPUtime=1.22 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 1470 0 0 0 122 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10555256 CPUtime=0.99 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 1433 0 0 0 99 0 0 0 16 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10555256 CPUtime=1.07 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 605 0 0 0 107 0 0 0 15 0 22 0 811785686 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10555256 CPUtime=113.94 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) S 13382 13384 9722 0 -1 4202560 118737 0 0 0 11380 14 0 0 15 0 22 0 811785687 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 0 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13398] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13398/stat : 13398 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811785690 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350207409 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13399] ppid=13382 vsize=10555256 CPUtime=1.88 cores=1,3,5,7 /proc/13384/task/13399/stat : 13399 (java) S 13382 13384 9722 0 -1 4202560 9423 0 0 0 187 1 0 0 15 0 22 0 811785690 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13400] ppid=13382 vsize=10555256 CPUtime=0.99 cores=1,3,5,7 /proc/13384/task/13400/stat : 13400 (java) S 13382 13384 9722 0 -1 4202560 5275 0 0 0 98 1 0 0 15 0 22 0 811785690 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13401] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13401/stat : 13401 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811785690 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13402] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13402/stat : 13402 (java) S 13382 13384 9722 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811785690 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13415] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13415/stat : 13415 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811785885 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13422] ppid=13382 vsize=10555256 CPUtime=691.16 cores=1,3,5,7 /proc/13384/task/13422/stat : 13422 (java) R 13382 13384 9722 0 -1 4202560 357 0 0 0 69116 0 0 0 19 0 22 0 811799840 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505924707 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13384/tid=13423] ppid=13382 vsize=10555256 CPUtime=691.16 cores=1,3,5,7 /proc/13384/task/13423/stat : 13423 (java) R 13382 13384 9722 0 -1 4202560 69774 0 0 0 69108 8 0 0 19 0 22 0 811799840 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912506020898 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13384/tid=13424] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13424/stat : 13424 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811799841 10808582144 786868 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1773.31 Current children cumulated vsize (KiB) 10555256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+957.017 s] /proc/loadavg: 1.69 2.26 2.96 3/453 13469 /proc/meminfo: memFree=21512656/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=10555256 CPUtime=1800.11 cores=1,3,5,7 /proc/13384/stat : 13384 (java) S 13382 13384 9722 0 -1 4202496 798328 0 1 0 179918 93 0 0 17 0 22 0 811785683 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 2638814 788403 2270 9 0 2629548 0 [pid=13384/tid=13385] ppid=13382 vsize=10555256 CPUtime=0.47 cores=1,3,5,7 /proc/13384/task/13385/stat : 13385 (java) S 13382 13384 9722 0 -1 4202560 23360 0 1 0 44 3 0 0 15 0 22 0 811785684 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13387] ppid=13382 vsize=10555256 CPUtime=1.36 cores=1,3,5,7 /proc/13384/task/13387/stat : 13387 (java) S 13382 13384 9722 0 -1 4202560 1471 0 0 0 136 0 0 0 16 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13388] ppid=13382 vsize=10555256 CPUtime=1.25 cores=1,3,5,7 /proc/13384/task/13388/stat : 13388 (java) S 13382 13384 9722 0 -1 4202560 2066 0 0 0 125 0 0 0 15 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13389] ppid=13382 vsize=10555256 CPUtime=1.14 cores=1,3,5,7 /proc/13384/task/13389/stat : 13389 (java) S 13382 13384 9722 0 -1 4202560 1324 0 0 0 114 0 0 0 16 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13390] ppid=13382 vsize=10555256 CPUtime=1.04 cores=1,3,5,7 /proc/13384/task/13390/stat : 13390 (java) S 13382 13384 9722 0 -1 4202560 1119 0 0 0 104 0 0 0 16 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13391] ppid=13382 vsize=10555256 CPUtime=1.22 cores=1,3,5,7 /proc/13384/task/13391/stat : 13391 (java) S 13382 13384 9722 0 -1 4202560 1336 0 0 0 122 0 0 0 15 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13392] ppid=13382 vsize=10555256 CPUtime=1.27 cores=1,3,5,7 /proc/13384/task/13392/stat : 13392 (java) S 13382 13384 9722 0 -1 4202560 1470 0 0 0 127 0 0 0 16 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13393] ppid=13382 vsize=10555256 CPUtime=0.99 cores=1,3,5,7 /proc/13384/task/13393/stat : 13393 (java) S 13382 13384 9722 0 -1 4202560 1433 0 0 0 99 0 0 0 16 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13394] ppid=13382 vsize=10555256 CPUtime=1.11 cores=1,3,5,7 /proc/13384/task/13394/stat : 13394 (java) S 13382 13384 9722 0 -1 4202560 605 0 0 0 111 0 0 0 15 0 22 0 811785686 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13395] ppid=13382 vsize=10555256 CPUtime=116.69 cores=1,3,5,7 /proc/13384/task/13395/stat : 13395 (java) S 13382 13384 9722 0 -1 4202560 120274 0 0 0 11654 15 0 0 17 0 22 0 811785687 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 0 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13396] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13396/stat : 13396 (java) S 13382 13384 9722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13397] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13397/stat : 13397 (java) S 13382 13384 9722 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 811785688 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 7 0 0 0 [pid=13384/tid=13398] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13398/stat : 13398 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 811785690 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350207409 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13399] ppid=13382 vsize=10555256 CPUtime=1.88 cores=1,3,5,7 /proc/13384/task/13399/stat : 13399 (java) S 13382 13384 9722 0 -1 4202560 9423 0 0 0 187 1 0 0 15 0 22 0 811785690 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13400] ppid=13382 vsize=10555256 CPUtime=0.99 cores=1,3,5,7 /proc/13384/task/13400/stat : 13400 (java) S 13382 13384 9722 0 -1 4202560 5275 0 0 0 98 1 0 0 15 0 22 0 811785690 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 1 0 0 0 [pid=13384/tid=13401] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13401/stat : 13401 (java) S 13382 13384 9722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811785690 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350199705 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13402] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13402/stat : 13402 (java) S 13382 13384 9722 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 811785690 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 [pid=13384/tid=13415] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13415/stat : 13415 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811785885 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 3 0 0 0 [pid=13384/tid=13422] ppid=13382 vsize=10555256 CPUtime=703.1 cores=1,3,5,7 /proc/13384/task/13422/stat : 13422 (java) R 13382 13384 9722 0 -1 4202560 360 0 0 0 70310 0 0 0 19 0 22 0 811799840 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505801671 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13384/tid=13423] ppid=13382 vsize=10555256 CPUtime=703.1 cores=1,3,5,7 /proc/13384/task/13423/stat : 13423 (java) R 13382 13384 9722 0 -1 4202560 69774 0 0 0 70302 8 0 0 19 0 22 0 811799840 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 46912505806497 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13384/tid=13424] ppid=13382 vsize=10555256 CPUtime=0 cores=1,3,5,7 /proc/13384/task/13424/stat : 13424 (java) S 13382 13384 9722 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 811799841 10808582144 788403 33554432000 1073741824 1073778376 140737184763136 18446744073709551615 270350200320 0 4 0 16800975 18446604457509830784 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 10555256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+957.123 s] /proc/loadavg: 1.69 2.26 2.96 3/453 13469 /proc/meminfo: memFree=21512656/32951124 swapFree=50923800/67111528 [pid=13384] ppid=13382 vsize=0 CPUtime=1800.29 cores=1,3,5,7 /proc/13384/stat : 13384 (java) Z 13382 13384 9722 0 -1 4203548 798359 0 1 0 179931 98 0 0 15 0 2 0 811785683 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/13384/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 957.191 CPU time (s): 1800.37 CPU user time (s): 1799.31 CPU system time (s): 1.05284 CPU usage (%): 188.089 Max. virtual memory (cumulated for all children) (KiB): 10566200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.05284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 798359 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28277 involuntary context switches= 17686 runsolver used 4.00339 second user time and 9.99148 second system time The end
Begin job on node143 at 2011-06-04 15:21:41 IDJOB=3454135 IDBENCH=25021 IDSOLVER=1950 FILE ID=node143/3454135-1307193701 RUNJOBID= node143-1307192135-12788 PBS_JOBID= 13508843 Free space on /tmp= 73976 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454135-1307193701/watcher-3454135-1307193701 -o /tmp/evaluation-result-3454135-1307193701/solver-3454135-1307193701 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454135-1307193701.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=109307409 node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20859140 kB Buffers: 317868 kB Cached: 475640 kB SwapCached: 9140 kB Active: 11319736 kB Inactive: 484220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20859140 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 548 kB Writeback: 0 kB AnonPages: 11007220 kB Mapped: 29964 kB Slab: 132904 kB PageTables: 87108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 126029464 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73976 MiB End job on node143 at 2011-06-04 15:37:40