Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 23 | 1800.8 | 959.564 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 47.4058 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c version 2.3.1.v20110525 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 9996466904 0.04/0.08 c Max memory 10048897024 0.04/0.08 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3736081-1338714940.opb 0.09/0.11 c reading problem ... 0.79/0.45 c ... done. Wall clock time 0.337s. 0.79/0.45 c #vars 5499 0.79/0.45 c #constraints 19319 0.79/0.45 c constraints type 0.79/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 0.79/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.79/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 0.79/0.45 c constraints type 0.79/0.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 0.79/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 0.79/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1.08/0.50 c And the winner is Resolution 1.21/0.95 c SATISFIABLE 1.21/0.95 c OPTIMIZING... 1.21/0.95 c Got one! Elapsed wall clock time (in seconds):0.845 1.21/0.95 o 27 1.21/0.97 c And the winner is Resolution 1.28/1.46 c Got one! Elapsed wall clock time (in seconds):1.352 1.28/1.46 o 26 1.41/1.53 c And the winner is Resolution 1.59/1.97 c Got one! Elapsed wall clock time (in seconds):1.857 1.59/1.97 o 25 3.92/2.79 c cleaning 2548 clauses out of 5107 with flag 5000/5107 6.04/3.75 c cleaning 4272 clauses out of 8559 with flag 11000/11107 8.42/4.91 c cleaning 5638 clauses out of 11287 with flag 18000/18107 10.79/6.20 c cleaning 6818 clauses out of 13651 with flag 26002/26109 14.03/7.77 c cleaning 7906 clauses out of 15831 with flag 35000/35107 16.62/9.09 c cleaning 8944 clauses out of 17925 with flag 45000/45107 20.00/10.76 c cleaning 9986 clauses out of 19981 with flag 56000/56107 23.37/12.48 c cleaning 10981 clauses out of 21995 with flag 68000/68107 27.72/14.66 c cleaning 11993 clauses out of 24014 with flag 81000/81107 32.16/16.87 c cleaning 12995 clauses out of 26023 with flag 95002/95109 36.71/19.15 c cleaning 14000 clauses out of 28031 with flag 110005/110112 38.46/20.01 c And the winner is CuttingPlanes 38.50/20.47 c Got one! Elapsed wall clock time (in seconds):20.364 38.50/20.47 o 24 40.18/21.36 c cleaning 12598 clauses out of 25235 with flag 5000/121316 42.11/22.30 c cleaning 9287 clauses out of 18637 with flag 11000/127316 44.25/23.46 c cleaning 8157 clauses out of 16351 with flag 18001/134317 46.59/24.63 c cleaning 8084 clauses out of 16193 with flag 26000/142316 49.35/26.02 c cleaning 8546 clauses out of 17110 with flag 35001/151317 52.66/27.79 c cleaning 9260 clauses out of 18564 with flag 45001/161317 56.61/29.72 c cleaning 10136 clauses out of 20304 with flag 56001/172317 60.76/31.90 c cleaning 11072 clauses out of 22167 with flag 68000/184316 62.68/32.82 c And the winner is Resolution 62.82/33.11 c Got one! Elapsed wall clock time (in seconds):33.006 62.82/33.11 o 23 64.41/34.00 c cleaning 11731 clauses out of 23491 with flag 5000/196712 66.72/35.14 c cleaning 8850 clauses out of 17760 with flag 11000/202712 69.64/36.64 c cleaning 7936 clauses out of 15911 with flag 18001/209713 71.58/37.62 c cleaning 7973 clauses out of 15974 with flag 26000/217712 75.34/39.51 c cleaning 8493 clauses out of 17001 with flag 35000/226712 78.62/41.23 c cleaning 9237 clauses out of 18508 with flag 45000/236712 81.77/42.81 c cleaning 10123 clauses out of 20271 with flag 56000/247712 85.88/44.97 c cleaning 11063 clauses out of 22148 with flag 68000/259712 90.21/47.19 c cleaning 12021 clauses out of 24085 with flag 81000/272712 97.49/50.80 c cleaning 13017 clauses out of 26066 with flag 95002/286714 102.61/53.47 c cleaning 14010 clauses out of 28047 with flag 110000/301712 107.95/56.15 c cleaning 15007 clauses out of 30037 with flag 126000/317712 114.05/59.24 c cleaning 16005 clauses out of 32030 with flag 143000/334712 120.09/62.34 c cleaning 17004 clauses out of 34025 with flag 161000/352712 129.59/67.19 c cleaning 18002 clauses out of 36021 with flag 180000/371712 136.89/70.88 c cleaning 18985 clauses out of 38020 with flag 200001/391713 142.78/73.84 c cleaning 19499 clauses out of 39036 with flag 220002/411714 151.20/78.12 c cleaning 19747 clauses out of 39535 with flag 240000/431712 156.89/81.03 c cleaning 19876 clauses out of 39789 with flag 260001/451713 164.19/84.71 c cleaning 19929 clauses out of 39912 with flag 280000/471712 174.85/90.13 c cleaning 19959 clauses out of 39983 with flag 300000/491712 183.85/94.73 c cleaning 19977 clauses out of 40025 with flag 320001/511713 192.12/99.00 c cleaning 20010 clauses out of 40047 with flag 340000/531712 198.77/102.39 c cleaning 20000 clauses out of 40039 with flag 360002/551714 206.20/106.10 c cleaning 19987 clauses out of 40037 with flag 380000/571712 211.15/108.79 c cleaning 19994 clauses out of 40050 with flag 400000/591712 218.78/112.68 c cleaning 19998 clauses out of 40056 with flag 420000/611712 228.03/117.37 c cleaning 20019 clauses out of 40065 with flag 440007/631719 234.71/120.70 c cleaning 20005 clauses out of 40039 with flag 460000/651712 240.22/123.65 c cleaning 19999 clauses out of 40034 with flag 480000/671712 245.65/126.47 c cleaning 19996 clauses out of 40035 with flag 500000/691712 252.06/129.71 c cleaning 19981 clauses out of 40039 with flag 520000/711712 258.85/133.23 c cleaning 20003 clauses out of 40058 with flag 540000/731712 267.15/137.55 c cleaning 20013 clauses out of 40058 with flag 560003/751715 275.34/141.74 c cleaning 20009 clauses out of 40043 with flag 580001/771713 282.54/145.42 c cleaning 20000 clauses out of 40033 with flag 600000/791712 290.33/149.40 c cleaning 19989 clauses out of 40035 with flag 620002/811714 298.39/153.69 c cleaning 19993 clauses out of 40044 with flag 640000/831712 303.97/156.54 c cleaning 19996 clauses out of 40051 with flag 660000/851712 310.34/159.80 c cleaning 20000 clauses out of 40056 with flag 680001/871713 316.12/162.85 c cleaning 19997 clauses out of 40057 with flag 700002/891714 321.95/165.90 c cleaning 20005 clauses out of 40058 with flag 720000/911712 327.50/168.89 c cleaning 20009 clauses out of 40054 with flag 740001/931713 333.67/172.09 c cleaning 20006 clauses out of 40045 with flag 760001/951713 339.63/175.19 c cleaning 20004 clauses out of 40039 with flag 780001/971713 346.62/178.89 c cleaning 20001 clauses out of 40035 with flag 800001/991713 353.19/182.22 c cleaning 19989 clauses out of 40039 with flag 820006/1011718 360.36/185.96 c cleaning 20011 clauses out of 40051 with flag 840007/1031719 367.71/189.78 c cleaning 19995 clauses out of 40034 with flag 860001/1051713 376.08/194.11 c cleaning 20004 clauses out of 40038 with flag 880000/1071712 383.84/198.18 c cleaning 19980 clauses out of 40034 with flag 900000/1091712 388.97/200.84 c cleaning 19994 clauses out of 40056 with flag 920002/1111714 394.30/203.67 c cleaning 20013 clauses out of 40060 with flag 940000/1131712 405.64/209.54 c cleaning 20006 clauses out of 40047 with flag 960000/1151712 416.96/215.32 c cleaning 20003 clauses out of 40042 with flag 980001/1171713 427.88/220.95 c cleaning 19994 clauses out of 40039 with flag 1000001/1191713 436.20/225.20 c cleaning 20013 clauses out of 40044 with flag 1020000/1211712 443.92/229.35 c cleaning 20006 clauses out of 40031 with flag 1040000/1231712 450.85/232.92 c cleaning 20003 clauses out of 40026 with flag 1060001/1251713 458.94/237.18 c cleaning 20005 clauses out of 40023 with flag 1080001/1271713 466.06/240.86 c cleaning 19996 clauses out of 40018 with flag 1100001/1291713 473.33/244.78 c cleaning 19992 clauses out of 40021 with flag 1120000/1311712 480.85/248.64 c cleaning 20000 clauses out of 40029 with flag 1140000/1331712 488.32/252.51 c cleaning 20000 clauses out of 40031 with flag 1160002/1351714 495.99/256.56 c cleaning 19996 clauses out of 40029 with flag 1180000/1371712 504.46/261.02 c cleaning 20002 clauses out of 40033 with flag 1200000/1391712 512.75/265.35 c cleaning 20001 clauses out of 40032 with flag 1220001/1411713 520.83/269.58 c cleaning 20004 clauses out of 40030 with flag 1240000/1431712 527.31/272.95 c cleaning 19989 clauses out of 40027 with flag 1260001/1451713 534.94/277.05 c cleaning 19990 clauses out of 40037 with flag 1280000/1471712 542.40/280.98 c cleaning 20010 clauses out of 40047 with flag 1300000/1491712 549.26/284.52 c cleaning 19998 clauses out of 40038 with flag 1320001/1511713 554.49/287.33 c cleaning 20008 clauses out of 40040 with flag 1340001/1531713 564.74/292.73 c cleaning 19998 clauses out of 40033 with flag 1360002/1551714 575.39/298.26 c cleaning 19998 clauses out of 40033 with flag 1380000/1571712 582.83/302.16 c cleaning 20003 clauses out of 40035 with flag 1400000/1591712 589.29/305.57 c cleaning 20000 clauses out of 40033 with flag 1420001/1611713 595.47/308.94 c cleaning 20000 clauses out of 40033 with flag 1440001/1631713 604.12/313.41 c cleaning 20002 clauses out of 40033 with flag 1460001/1651713 614.94/319.08 c cleaning 19996 clauses out of 40030 with flag 1480000/1671712 625.56/324.51 c cleaning 19999 clauses out of 40035 with flag 1500001/1691713 636.32/330.22 c cleaning 19999 clauses out of 40037 with flag 1520002/1711714 646.96/335.75 c cleaning 20001 clauses out of 40036 with flag 1540000/1731712 654.58/339.76 c cleaning 19998 clauses out of 40035 with flag 1560000/1751712 661.23/343.23 c cleaning 20003 clauses out of 40037 with flag 1580000/1771712 668.57/347.25 c cleaning 20006 clauses out of 40035 with flag 1600001/1791713 676.39/351.36 c cleaning 19993 clauses out of 40028 with flag 1620000/1811712 684.40/355.52 c cleaning 20004 clauses out of 40036 with flag 1640001/1831713 692.79/359.96 c cleaning 20008 clauses out of 40032 with flag 1660001/1851713 700.92/364.33 c cleaning 19996 clauses out of 40023 with flag 1680000/1871712 708.73/368.48 c cleaning 19998 clauses out of 40027 with flag 1700000/1891712 718.12/373.39 c cleaning 19998 clauses out of 40031 with flag 1720002/1911714 726.72/377.80 c cleaning 20001 clauses out of 40031 with flag 1740000/1931712 737.00/383.30 c cleaning 20003 clauses out of 40032 with flag 1760002/1951714 747.00/388.54 c cleaning 19998 clauses out of 40028 with flag 1780001/1971713 757.59/394.04 c cleaning 20000 clauses out of 40030 with flag 1800001/1991713 767.57/399.27 c cleaning 19995 clauses out of 40029 with flag 1820000/2011712 777.64/404.65 c cleaning 20003 clauses out of 40035 with flag 1840001/2031713 787.60/409.84 c cleaning 20006 clauses out of 40032 with flag 1860001/2051713 797.36/414.94 c cleaning 19997 clauses out of 40025 with flag 1880000/2071712 807.71/420.31 c cleaning 19999 clauses out of 40030 with flag 1900002/2091714 816.96/425.35 c cleaning 19994 clauses out of 40029 with flag 1920000/2111712 825.71/429.93 c cleaning 19987 clauses out of 40035 with flag 1940000/2131712 832.28/433.40 c cleaning 20005 clauses out of 40049 with flag 1960001/2151713 841.20/438.15 c cleaning 19996 clauses out of 40043 with flag 1980000/2171712 849.83/442.88 c cleaning 20004 clauses out of 40053 with flag 2000006/2191718 859.19/447.76 c cleaning 20015 clauses out of 40043 with flag 2020000/2211712 869.33/453.06 c cleaning 20006 clauses out of 40034 with flag 2040006/2231718 878.09/457.65 c cleaning 20005 clauses out of 40028 with flag 2060006/2251718 886.26/462.18 c cleaning 19994 clauses out of 40017 with flag 2080000/2271712 892.77/465.61 c cleaning 19997 clauses out of 40023 with flag 2100000/2291712 900.50/469.73 c cleaning 19990 clauses out of 40026 with flag 2120000/2311712 911.19/475.30 c cleaning 20011 clauses out of 40042 with flag 2140006/2331718 922.56/481.46 c cleaning 20000 clauses out of 40026 with flag 2160001/2351713 932.68/486.75 c cleaning 19997 clauses out of 40025 with flag 2180000/2371712 942.98/492.16 c cleaning 19992 clauses out of 40028 with flag 2200000/2391712 951.49/496.64 c cleaning 19994 clauses out of 40036 with flag 2220000/2411712 959.04/500.88 c cleaning 19995 clauses out of 40042 with flag 2240000/2431712 966.51/504.82 c cleaning 19999 clauses out of 40050 with flag 2260003/2451715 973.79/508.70 c cleaning 20000 clauses out of 40049 with flag 2280001/2471713 981.07/512.64 c cleaning 20003 clauses out of 40048 with flag 2300000/2491712 989.96/517.60 c cleaning 19999 clauses out of 40047 with flag 2320002/2511714 998.03/521.89 c cleaning 19999 clauses out of 40047 with flag 2340001/2531713 1005.92/526.05 c cleaning 20017 clauses out of 40047 with flag 2360000/2551712 1014.98/530.89 c cleaning 20004 clauses out of 40034 with flag 2380004/2571716 1024.88/536.28 c cleaning 20007 clauses out of 40026 with flag 2400000/2591712 1033.76/540.97 c cleaning 19986 clauses out of 40021 with flag 2420002/2611714 1042.02/545.33 c cleaning 19999 clauses out of 40033 with flag 2440000/2631712 1049.48/549.31 c cleaning 19988 clauses out of 40034 with flag 2460000/2651712 1057.53/553.83 c cleaning 19995 clauses out of 40046 with flag 2480000/2671712 1065.38/558.06 c cleaning 20011 clauses out of 40053 with flag 2500002/2691714 1073.62/562.46 c cleaning 19999 clauses out of 40040 with flag 2520000/2711712 1081.85/566.89 c cleaning 19999 clauses out of 40041 with flag 2540000/2731712 1090.90/571.82 c cleaning 20000 clauses out of 40042 with flag 2560000/2751712 1099.94/576.68 c cleaning 20009 clauses out of 40044 with flag 2580002/2771714 1108.74/581.30 c cleaning 20001 clauses out of 40034 with flag 2600001/2791713 1116.77/585.63 c cleaning 20005 clauses out of 40033 with flag 2620001/2811713 1126.00/590.77 c cleaning 19998 clauses out of 40027 with flag 2640000/2831712 1134.17/595.16 c cleaning 20000 clauses out of 40030 with flag 2660001/2851713 1142.96/599.87 c cleaning 19995 clauses out of 40029 with flag 2680000/2871712 1151.38/604.38 c cleaning 20007 clauses out of 40035 with flag 2700001/2891713 1160.37/609.35 c cleaning 20001 clauses out of 40027 with flag 2720000/2911712 1168.36/613.65 c cleaning 20001 clauses out of 40028 with flag 2740002/2931714 1176.16/617.83 c cleaning 20002 clauses out of 40026 with flag 2760001/2951713 1183.94/622.04 c cleaning 20002 clauses out of 40024 with flag 2780001/2971713 1187.08/624.17 c cleaning 0 clauses out of 5626 with flag 0/5628 1194.12/627.84 c cleaning 19994 clauses out of 40021 with flag 2800000/2991712 1202.38/632.20 c cleaning 19999 clauses out of 40028 with flag 2820001/3011713 1211.54/637.11 c cleaning 20001 clauses out of 40028 with flag 2840000/3031712 1220.07/641.98 c cleaning 20002 clauses out of 40027 with flag 2860000/3051712 1228.02/646.26 c cleaning 19996 clauses out of 40025 with flag 2880000/3071712 1235.81/650.44 c cleaning 20002 clauses out of 40031 with flag 2900002/3091714 1243.60/654.68 c cleaning 19991 clauses out of 40027 with flag 2920000/3111712 1251.90/659.33 c cleaning 20000 clauses out of 40037 with flag 2940001/3131713 1259.65/663.57 c cleaning 19998 clauses out of 40038 with flag 2960002/3151714 1266.61/667.31 c cleaning 20005 clauses out of 40040 with flag 2980002/3171714 1274.99/671.84 c cleaning 19999 clauses out of 40033 with flag 3000000/3191712 1282.69/676.27 c cleaning 20002 clauses out of 40035 with flag 3020001/3211713 1289.82/680.11 c cleaning 20004 clauses out of 40033 with flag 3040001/3231713 1298.37/684.74 c cleaning 19990 clauses out of 40028 with flag 3060000/3251712 1307.14/689.42 c cleaning 19986 clauses out of 40039 with flag 3080001/3271713 1315.62/694.28 c cleaning 19998 clauses out of 40052 with flag 3100000/3291712 1323.58/698.57 c cleaning 20012 clauses out of 40054 with flag 3120000/3311712 1331.11/702.65 c cleaning 20002 clauses out of 40042 with flag 3140000/3331712 1339.08/706.99 c cleaning 20003 clauses out of 40040 with flag 3160000/3351712 1347.99/711.90 c cleaning 19998 clauses out of 40038 with flag 3180001/3371713 1355.93/716.28 c cleaning 19998 clauses out of 40039 with flag 3200000/3391712 1364.47/720.87 c cleaning 19995 clauses out of 40041 with flag 3220000/3411712 1373.19/725.55 c cleaning 20006 clauses out of 40046 with flag 3240000/3431712 1383.23/731.14 c cleaning 19976 clauses out of 40040 with flag 3260000/3451712 1392.18/735.97 c cleaning 20008 clauses out of 40065 with flag 3280001/3471713 1401.90/741.10 c cleaning 20007 clauses out of 40057 with flag 3300001/3491713 1410.63/745.87 c cleaning 20001 clauses out of 40050 with flag 3320001/3511713 1421.45/751.81 c cleaning 20005 clauses out of 40048 with flag 3340000/3531712 1430.62/756.79 c cleaning 20006 clauses out of 40044 with flag 3360001/3551713 1437.14/760.34 c cleaning 19996 clauses out of 40037 with flag 3380000/3571712 1443.83/764.04 c cleaning 20001 clauses out of 40042 with flag 3400001/3591713 1451.26/768.39 c cleaning 19997 clauses out of 40040 with flag 3420000/3611712 1458.18/772.14 c cleaning 19996 clauses out of 40043 with flag 3440000/3631712 1464.87/775.86 c cleaning 20006 clauses out of 40049 with flag 3460002/3651714 1471.37/779.46 c cleaning 19998 clauses out of 40041 with flag 3480000/3671712 1478.35/783.52 c cleaning 20006 clauses out of 40045 with flag 3500002/3691714 1485.24/787.33 c cleaning 19999 clauses out of 40039 with flag 3520002/3711714 1492.07/791.13 c cleaning 19996 clauses out of 40038 with flag 3540000/3731712 1499.16/795.10 c cleaning 20004 clauses out of 40043 with flag 3560001/3751713 1506.74/799.49 c cleaning 20004 clauses out of 40040 with flag 3580002/3771714 1517.00/804.97 c cleaning 20001 clauses out of 40034 with flag 3600000/3791712 1527.05/810.34 c cleaning 19991 clauses out of 40034 with flag 3620001/3811713 1537.09/815.80 c cleaning 20000 clauses out of 40042 with flag 3640000/3831712 1548.82/822.26 c cleaning 20000 clauses out of 40045 with flag 3660003/3851715 1560.51/828.42 c cleaning 20001 clauses out of 40045 with flag 3680003/3871715 1571.98/834.53 c cleaning 19996 clauses out of 40042 with flag 3700001/3891713 1583.44/840.63 c cleaning 19996 clauses out of 40045 with flag 3720000/3911712 1595.56/847.33 c cleaning 20005 clauses out of 40049 with flag 3740000/3931712 1606.56/853.28 c cleaning 19998 clauses out of 40044 with flag 3760000/3951712 1617.00/858.89 c cleaning 20000 clauses out of 40048 with flag 3780002/3971714 1628.23/864.86 c cleaning 19994 clauses out of 40047 with flag 3800001/3991713 1641.30/872.04 c cleaning 20004 clauses out of 40055 with flag 3820003/4011715 1652.71/878.19 c cleaning 19997 clauses out of 40048 with flag 3840000/4031712 1663.09/883.74 c cleaning 20000 clauses out of 40051 with flag 3860000/4051712 1674.52/889.83 c cleaning 19998 clauses out of 40051 with flag 3880000/4071712 1685.52/896.08 c cleaning 20003 clauses out of 40054 with flag 3900001/4091713 1694.36/900.82 c cleaning 20011 clauses out of 40052 with flag 3920002/4111714 1702.12/905.12 c cleaning 20002 clauses out of 40041 with flag 3940002/4131714 1709.92/909.43 c cleaning 19997 clauses out of 40037 with flag 3960000/4151712 1718.73/914.55 c cleaning 20004 clauses out of 40042 with flag 3980002/4171714 1727.50/919.31 c cleaning 19997 clauses out of 40037 with flag 4000001/4191713 1735.88/923.92 c cleaning 19995 clauses out of 40039 with flag 4020000/4211712 1744.43/928.62 c cleaning 20011 clauses out of 40047 with flag 4040003/4231715 1754.65/934.47 c cleaning 19992 clauses out of 40034 with flag 4060001/4251713 1764.82/939.96 c cleaning 20003 clauses out of 40041 with flag 4080000/4271712 1774.77/945.36 c cleaning 20005 clauses out of 40043 with flag 4100005/4291717 1785.17/950.92 c cleaning 19999 clauses out of 40034 with flag 4120001/4311713 1794.75/956.46 c cleaning 19994 clauses out of 40035 with flag 4140001/4331713 1800.13/959.51 c starts : 355 1800.13/959.51 c conflicts : 4343785 1800.13/959.51 c decisions : 13300491 1800.13/959.51 c propagations : 1608618576 1800.13/959.51 c inspects : 5427248227 1800.13/959.51 c shortcuts : 0 1800.13/959.51 c learnt literals : 0 1800.13/959.51 c learnt binary clauses : 0 1800.13/959.51 c learnt ternary clauses : 0 1800.13/959.51 c learnt constraints : 4343786 1800.13/959.51 c ignored constraints : 0 1800.13/959.51 c root simplifications : 0 1800.13/959.51 c removed literals (reason simplification) : 138804665 1800.13/959.51 c reason swapping (by a shorter reason) : 0 1800.13/959.51 c Calls to reduceDB : 232 1800.13/959.51 c number of reductions to clauses (during analyze) : 0 1800.13/959.51 c number of learned constraints concerned by reduction : 0 1800.13/959.51 c number of learning phase by resolution : 0 1800.13/959.51 c number of learning phase by cutting planes : 0 1800.13/959.51 c speed (assignments/second) : 1736434.5428285217 1800.13/959.51 c non guided choices 32165 1800.13/959.53 c learnt constraints type 1800.13/959.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32192 1800.13/959.53 c constraints type 1800.13/959.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885 1800.13/959.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.13/959.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428 1800.13/959.53 c constraints type 1800.13/959.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428 1800.13/959.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885 1800.13/959.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.13/959.53 s SATISFIABLE 1800.13/959.54 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.13/959.55 c objective function=23 1800.13/959.55 c Total wall clock time (in seconds): 959.439
OK 23
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736081-1338714940/watcher-3736081-1338714940 -o /tmp/evaluation-result-3736081-1338714940/solver-3736081-1338714940 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736081-1338714940.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.93 3.77 2.95 5/193 12900 /proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/12900/stat : 12900 (runsolver) D 12898 12900 12644 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 337619446 12095488 51 33554432000 4194304 5436572 140733374597488 140733374593784 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/12900/statm: 2953 51 31 304 0 2645 0 [startup+0.059417 s] /proc/loadavg: 3.93 3.77 2.95 5/193 12900 /proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 4826 0 1 0 3 1 0 0 20 0 13 0 337619446 11523600384 12678 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2813379 12678 1709 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.100268 s] /proc/loadavg: 3.93 3.77 2.95 5/193 12900 /proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 5794 0 1 0 8 1 0 0 20 0 18 0 337619446 11864465408 13637 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2896598 13637 2116 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300172 s] /proc/loadavg: 3.93 3.77 2.95 5/193 12900 /proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11586392 CPUtime=0.5 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 7091 0 1 0 48 2 0 0 20 0 18 0 337619446 11864465408 17035 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2896598 17002 2225 9 0 2887285 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 11586392 [startup+0.700204 s] /proc/loadavg: 3.93 3.77 2.95 5/193 12900 /proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=1.21 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 11801 0 1 0 115 6 0 0 20 0 19 0 337619446 12137111552 29588 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 29588 2257 9 0 2953849 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 11852648 [startup+1.50058 s] /proc/loadavg: 3.70 3.72 2.94 1/213 12929 /proc/meminfo: memFree=25759224/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=1.41 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 12067 0 1 0 134 7 0 0 20 0 22 0 337619446 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 32198 2259 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337619449 12137111552 32197 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.39 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) R 12898 12900 12644 0 -1 4202560 3554 0 0 0 39 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133482805416 140133673767376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) R 12898 12900 12644 0 -1 4202560 3302 0 0 0 35 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133481761312 140133673768369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12921] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12921/stat : 12921 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619493 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133476496296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 11852648 [startup+3.10073 s] /proc/loadavg: 3.70 3.72 2.94 5/216 12941 /proc/meminfo: memFree=25687232/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=4.78 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 22463 0 1 0 461 17 0 0 20 0 22 0 337619446 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 134278 2290 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133669651624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0.02 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 337619449 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.92 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11323 0 0 0 90 2 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5631 0 0 0 87 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12921] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12921/stat : 12921 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619493 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133476496296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12939] ppid=12898 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/12900/task/12939/stat : 12939 (java) R 12898 12900 12644 0 -1 4202560 7 0 0 0 107 0 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133475442856 140133526128589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12940] ppid=12898 vsize=11852648 CPUtime=1.07 cores=0,2,4,6 /proc/12900/task/12940/stat : 12940 (java) R 12898 12900 12644 0 -1 4202560 179 0 0 0 101 6 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133478600984 140133526236861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12941] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12941/stat : 12941 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133477549736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.78 Current children cumulated vsize (KiB) 11852648 [startup+6.30075 s] /proc/loadavg: 3.70 3.72 2.94 5/219 12944 /proc/meminfo: memFree=23744636/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=11.18 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 22666 0 1 0 1095 23 0 0 20 0 22 0 337619446 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 217830 2291 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133669651624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0.13 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 46 0 0 0 13 0 0 0 20 0 22 0 337619449 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11325 0 0 0 93 2 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.96 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5632 0 0 0 96 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=734.75 cores=0,2,4,6 /proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 48 0 0 0 73464 11 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526107014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=734.75 cores=0,2,4,6 /proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 73444 31 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133475441024 140133526014157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1660.29 Current children cumulated vsize (KiB) 11852648 [startup+942.301 s] /proc/loadavg: 3.57 3.80 3.50 5/219 13048 /proc/meminfo: memFree=22778996/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=1768.77 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25273 0 1 0 176770 107 0 0 20 0 22 0 337619446 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 781846 2292 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4074 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 101 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.64 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 262 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.43 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 241 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.47 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 114 0 0 0 246 1 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.42 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 95 0 0 0 239 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.54 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 251 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.44 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 93 0 0 0 242 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=122.77 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 403 0 0 0 12262 15 0 0 20 0 22 0 337619449 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=782.06 cores=0,2,4,6 /proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 50 0 0 0 78195 11 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526107333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=782.06 cores=0,2,4,6 /proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 78175 31 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133475441168 140133526236974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1768.77 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+959.501 s] /proc/loadavg: 3.60 3.79 3.50 5/219 13048 /proc/meminfo: memFree=22762388/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=1800.13 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25300 0 1 0 179905 108 0 0 20 0 22 0 337619446 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 784936 2292 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4076 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 250 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.67 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 265 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.46 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 244 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 116 0 0 0 252 1 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.58 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 255 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.61 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 259 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 99 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=126.04 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 409 0 0 0 12589 15 0 0 20 0 22 0 337619449 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6 /proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 51 0 0 0 79576 12 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526039622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6 /proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 79556 32 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133475440816 140133525987820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+959.501 s] /proc/loadavg: 3.60 3.79 3.50 5/219 13048 /proc/meminfo: memFree=22762388/32873648 swapFree=6864/6864 [pid=12900] ppid=12898 vsize=11852648 CPUtime=1800.13 cores=0,2,4,6 /proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25300 0 1 0 179905 108 0 0 20 0 22 0 337619446 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12900/statm: 2963162 784936 2292 9 0 2953849 0 [pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4076 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6 /proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 250 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.67 cores=0,2,4,6 /proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 265 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.46 cores=0,2,4,6 /proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 244 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6 /proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 116 0 0 0 252 1 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6 /proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.58 cores=0,2,4,6 /proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 255 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.61 cores=0,2,4,6 /proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 259 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6 /proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 99 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=126.04 cores=0,2,4,6 /proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 409 0 0 0 12589 15 0 0 20 0 22 0 337619449 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6 /proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6 /proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 51 0 0 0 79576 12 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526039622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6 /proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 79556 32 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133475440816 140133525987820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 11852648 Child status: 143 Real time (s): 959.564 CPU time (s): 1800.8 CPU user time (s): 1799.31 CPU system time (s): 1.49177 CPU usage (%): 187.669 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 1.49177 maximum resident set size= 3139864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25332 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29418 involuntary context switches= 48659 runsolver used 4.77227 second user time and 7.60384 second system time The end
Begin job on node125 at 2012-06-03 11:15:40 IDJOB=3736081 IDBENCH=25021 IDSOLVER=2328 FILE ID=node125/3736081-1338714940 RUNJOBID= node125-1338714015-12660 PBS_JOBID= 14636751 Free space on /tmp= 70436 MiB SOLVER NAME= PB11: 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-3736081-1338714940/watcher-3736081-1338714940 -o /tmp/evaluation-result-3736081-1338714940/solver-3736081-1338714940 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736081-1338714940.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=226807822 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26258292 kB Buffers: 607976 kB Cached: 5031512 kB SwapCached: 2308 kB Active: 2535308 kB Inactive: 3166072 kB Active(anon): 52400 kB Inactive(anon): 9240 kB Active(file): 2482908 kB Inactive(file): 3156832 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 5924 kB Writeback: 0 kB AnonPages: 29252 kB Mapped: 22048 kB Shmem: 96 kB Slab: 767028 kB SReclaimable: 210804 kB SUnreclaim: 556224 kB KernelStack: 1432 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10452620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70440 MiB End job on node125 at 2012-06-03 11:31:42