Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 76 | 1800.17 | 1797.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb |
MD5SUM | 08f3a00099e19d384504c40fc611777e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 1797.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.07/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.08 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.1.v20110525 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.18-164.el5 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 12995394264 0.07/0.09 c Max memory 13063553024 0.07/0.09 c Total memory 13063553024 0.07/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458303-1307158673.opb 0.10/0.11 c reading problem ... 1.04/0.52 c ... done. Wall clock time 0.355s. 1.04/0.52 c #vars 6818 1.04/0.52 c #constraints 13136 1.04/0.52 c constraints type 1.04/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818 1.04/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318 1.04/0.59 c SATISFIABLE 1.04/0.59 c OPTIMIZING... 1.04/0.59 c Got one! Elapsed wall clock time (in seconds):0.482 1.04/0.59 o 79 2.00/1.01 c Got one! Elapsed wall clock time (in seconds):0.902 2.00/1.01 o 76 2.76/1.77 c cleaning 2867 clauses out of 5746 with flag 4001/5746 4.03/2.97 c cleaning 4433 clauses out of 8880 with flag 10002/11747 5.35/4.20 c cleaning 5719 clauses out of 11445 with flag 17000/18745 6.75/5.65 c cleaning 6855 clauses out of 13726 with flag 25000/26745 8.38/7.27 c cleaning 7928 clauses out of 15872 with flag 34001/35746 10.29/9.19 c cleaning 8964 clauses out of 17943 with flag 44000/45745 12.39/11.28 c cleaning 9988 clauses out of 19979 with flag 55000/56745 14.69/13.57 c cleaning 10988 clauses out of 21992 with flag 67001/68746 17.09/15.99 c cleaning 11994 clauses out of 24003 with flag 80000/81745 19.80/18.65 c cleaning 12995 clauses out of 26009 with flag 94000/95745 22.70/21.52 c cleaning 13497 clauses out of 27014 with flag 108000/109745 25.31/24.11 c cleaning 13752 clauses out of 27518 with flag 122001/123746 27.92/26.73 c cleaning 13876 clauses out of 27765 with flag 136000/137745 30.52/29.37 c cleaning 13932 clauses out of 27889 with flag 150000/151745 33.42/32.27 c cleaning 13967 clauses out of 27958 with flag 164001/165746 35.93/34.79 c cleaning 13986 clauses out of 27990 with flag 178000/179745 38.54/37.39 c cleaning 13999 clauses out of 28004 with flag 192000/193745 41.23/40.04 c cleaning 13991 clauses out of 28006 with flag 206001/207746 43.84/42.68 c cleaning 13999 clauses out of 28014 with flag 220000/221745 46.65/45.40 c cleaning 14003 clauses out of 28015 with flag 234000/235745 49.67/48.44 c cleaning 13998 clauses out of 28012 with flag 248000/249745 52.45/51.24 c cleaning 14004 clauses out of 28015 with flag 262001/263746 55.06/53.84 c cleaning 14000 clauses out of 28010 with flag 276000/277745 57.66/56.46 c cleaning 13998 clauses out of 28011 with flag 290001/291746 60.26/59.01 c cleaning 14002 clauses out of 28013 with flag 304001/305746 62.77/61.54 c cleaning 14000 clauses out of 28010 with flag 318000/319745 65.57/64.37 c cleaning 13996 clauses out of 28011 with flag 332001/333746 68.57/67.38 c cleaning 14002 clauses out of 28014 with flag 346000/347745 71.48/70.29 c cleaning 13997 clauses out of 28013 with flag 360001/361746 74.48/73.28 c cleaning 14000 clauses out of 28015 with flag 374000/375745 77.59/76.36 c cleaning 14001 clauses out of 28015 with flag 388000/389745 80.19/78.99 c cleaning 14000 clauses out of 28014 with flag 402000/403745 82.90/81.68 c cleaning 14000 clauses out of 28014 with flag 416000/417745 85.61/84.35 c cleaning 14002 clauses out of 28014 with flag 430000/431745 88.61/87.36 c cleaning 13998 clauses out of 28012 with flag 444000/445745 91.71/90.40 c cleaning 13994 clauses out of 28015 with flag 458001/459746 94.92/93.63 c cleaning 14000 clauses out of 28021 with flag 472001/473746 97.72/96.46 c cleaning 14002 clauses out of 28021 with flag 486001/487746 100.82/99.55 c cleaning 13999 clauses out of 28019 with flag 500001/501746 103.93/102.66 c cleaning 13996 clauses out of 28019 with flag 514000/515745 106.84/105.61 c cleaning 14003 clauses out of 28024 with flag 528001/529746 109.84/108.58 c cleaning 13995 clauses out of 28020 with flag 542000/543745 112.94/111.68 c cleaning 14003 clauses out of 28026 with flag 556001/557746 116.25/114.99 c cleaning 14002 clauses out of 28022 with flag 570000/571745 119.55/118.23 c cleaning 13994 clauses out of 28020 with flag 584000/585745 122.15/120.81 c cleaning 14006 clauses out of 28028 with flag 598002/599747 124.76/123.46 c cleaning 14006 clauses out of 28021 with flag 612001/613746 127.36/126.06 c cleaning 14000 clauses out of 28014 with flag 626000/627745 129.86/128.53 c cleaning 13995 clauses out of 28014 with flag 640000/641745 132.56/131.25 c cleaning 14005 clauses out of 28021 with flag 654002/655747 135.59/134.22 c cleaning 14000 clauses out of 28014 with flag 668000/669745 138.37/137.01 c cleaning 14001 clauses out of 28015 with flag 682001/683746 141.27/139.93 c cleaning 13997 clauses out of 28014 with flag 696001/697746 144.40/143.08 c cleaning 13997 clauses out of 28016 with flag 710000/711745 147.28/145.90 c cleaning 13999 clauses out of 28019 with flag 724000/725745 150.38/149.06 c cleaning 14001 clauses out of 28021 with flag 738001/739746 153.49/152.16 c cleaning 13997 clauses out of 28019 with flag 752000/753745 156.69/155.36 c cleaning 14004 clauses out of 28023 with flag 766001/767746 159.89/158.57 c cleaning 14001 clauses out of 28018 with flag 780000/781745 162.49/161.14 c cleaning 14000 clauses out of 28017 with flag 794000/795745 164.99/163.65 c cleaning 14001 clauses out of 28017 with flag 808000/809745 167.51/166.20 c cleaning 13996 clauses out of 28016 with flag 822000/823745 170.20/168.84 c cleaning 13997 clauses out of 28021 with flag 836001/837746 172.81/171.45 c cleaning 14005 clauses out of 28024 with flag 850001/851746 175.51/174.13 c cleaning 13996 clauses out of 28019 with flag 864001/865746 178.11/176.70 c cleaning 14000 clauses out of 28022 with flag 878000/879745 180.62/179.25 c cleaning 14001 clauses out of 28022 with flag 892000/893745 183.22/181.80 c cleaning 14002 clauses out of 28021 with flag 906000/907745 186.15/184.71 c cleaning 14004 clauses out of 28020 with flag 920001/921746 188.84/187.41 c cleaning 14000 clauses out of 28015 with flag 934000/935745 191.65/190.24 c cleaning 13998 clauses out of 28016 with flag 948001/949746 194.95/193.51 c cleaning 14000 clauses out of 28017 with flag 962000/963745 197.95/196.57 c cleaning 13998 clauses out of 28017 with flag 976000/977745 201.16/199.72 c cleaning 14004 clauses out of 28019 with flag 990000/991745 204.26/202.85 c cleaning 14000 clauses out of 28016 with flag 1004001/1005746 207.36/205.94 c cleaning 13999 clauses out of 28015 with flag 1018000/1019745 210.86/209.49 c cleaning 13997 clauses out of 28016 with flag 1032000/1033745 214.57/213.15 c cleaning 14004 clauses out of 28019 with flag 1046000/1047745 218.08/216.70 c cleaning 13997 clauses out of 28015 with flag 1060000/1061745 221.77/220.30 c cleaning 13996 clauses out of 28019 with flag 1074001/1075746 224.80/223.36 c cleaning 14004 clauses out of 28024 with flag 1088002/1089747 227.58/226.17 c cleaning 14002 clauses out of 28018 with flag 1102000/1103745 230.49/229.07 c cleaning 14002 clauses out of 28017 with flag 1116001/1117746 233.50/232.08 c cleaning 13997 clauses out of 28015 with flag 1130001/1131746 236.49/235.10 c cleaning 13999 clauses out of 28018 with flag 1144001/1145746 239.50/238.03 c cleaning 13998 clauses out of 28019 with flag 1158001/1159746 242.42/240.95 c cleaning 13999 clauses out of 28020 with flag 1172000/1173745 245.30/243.84 c cleaning 14005 clauses out of 28023 with flag 1186002/1187747 248.61/247.14 c cleaning 13999 clauses out of 28017 with flag 1200001/1201746 251.81/250.35 c cleaning 14001 clauses out of 28018 with flag 1214001/1215746 255.01/253.53 c cleaning 13996 clauses out of 28018 with flag 1228002/1229747 258.22/256.78 c cleaning 14000 clauses out of 28020 with flag 1242000/1243745 261.62/260.12 c cleaning 14001 clauses out of 28020 with flag 1256000/1257745 264.72/263.28 c cleaning 14004 clauses out of 28020 with flag 1270001/1271746 268.03/266.52 c cleaning 13998 clauses out of 28016 with flag 1284001/1285746 271.33/269.80 c cleaning 14000 clauses out of 28018 with flag 1298001/1299746 274.43/272.97 c cleaning 14003 clauses out of 28017 with flag 1312000/1313745 277.53/276.09 c cleaning 14001 clauses out of 28014 with flag 1326000/1327745 280.33/278.86 c cleaning 13999 clauses out of 28014 with flag 1340001/1341746 283.23/281.79 c cleaning 14001 clauses out of 28015 with flag 1354001/1355746 286.45/284.96 c cleaning 13999 clauses out of 28013 with flag 1368000/1369745 289.24/287.74 c cleaning 13997 clauses out of 28014 with flag 1382000/1383745 292.05/290.57 c cleaning 14002 clauses out of 28018 with flag 1396001/1397746 295.05/293.52 c cleaning 14000 clauses out of 28015 with flag 1410000/1411745 297.85/296.35 c cleaning 13999 clauses out of 28015 with flag 1424000/1425745 300.77/299.25 c cleaning 14002 clauses out of 28017 with flag 1438001/1439746 303.76/302.22 c cleaning 13997 clauses out of 28015 with flag 1452001/1453746 306.56/305.02 c cleaning 14005 clauses out of 28019 with flag 1466002/1467747 309.36/307.89 c cleaning 13998 clauses out of 28013 with flag 1480001/1481746 312.27/310.78 c cleaning 13994 clauses out of 28014 with flag 1494000/1495745 315.27/313.74 c cleaning 13998 clauses out of 28020 with flag 1508000/1509745 318.08/316.55 c cleaning 14005 clauses out of 28024 with flag 1522002/1523747 321.28/319.70 c cleaning 13996 clauses out of 28017 with flag 1536000/1537745 324.39/322.82 c cleaning 14000 clauses out of 28021 with flag 1550000/1551745 327.69/326.12 c cleaning 13999 clauses out of 28022 with flag 1564001/1565746 330.90/329.39 c cleaning 13996 clauses out of 28022 with flag 1578000/1579745 334.20/332.69 c cleaning 14005 clauses out of 28029 with flag 1592003/1593748 337.51/335.99 c cleaning 14004 clauses out of 28023 with flag 1606002/1607747 340.82/339.28 c cleaning 14003 clauses out of 28017 with flag 1620000/1621745 343.74/342.13 c cleaning 13992 clauses out of 28014 with flag 1634000/1635745 346.53/344.94 c cleaning 14003 clauses out of 28023 with flag 1648001/1649746 349.54/347.94 c cleaning 14000 clauses out of 28019 with flag 1662000/1663745 352.64/351.00 c cleaning 14004 clauses out of 28020 with flag 1676001/1677746 355.65/354.10 c cleaning 13993 clauses out of 28015 with flag 1690000/1691745 358.75/357.18 c cleaning 14003 clauses out of 28023 with flag 1704001/1705746 361.85/360.20 c cleaning 13996 clauses out of 28019 with flag 1718000/1719745 364.76/363.13 c cleaning 13997 clauses out of 28023 with flag 1732000/1733745 367.76/366.17 c cleaning 14002 clauses out of 28026 with flag 1746000/1747745 370.86/369.28 c cleaning 14000 clauses out of 28024 with flag 1760000/1761745 373.67/372.09 c cleaning 14003 clauses out of 28024 with flag 1774000/1775745 376.79/375.15 c cleaning 14002 clauses out of 28021 with flag 1788000/1789745 379.68/378.06 c cleaning 13996 clauses out of 28019 with flag 1802000/1803745 382.68/381.07 c cleaning 13996 clauses out of 28024 with flag 1816001/1817746 385.49/383.89 c cleaning 14002 clauses out of 28027 with flag 1830000/1831745 388.38/386.75 c cleaning 14008 clauses out of 28026 with flag 1844001/1845746 391.29/389.61 c cleaning 14001 clauses out of 28019 with flag 1858002/1859747 394.19/392.53 c cleaning 13998 clauses out of 28018 with flag 1872002/1873747 397.09/395.44 c cleaning 14002 clauses out of 28018 with flag 1886000/1887745 400.09/398.42 c cleaning 13996 clauses out of 28016 with flag 1900000/1901745 402.99/401.41 c cleaning 13998 clauses out of 28020 with flag 1914000/1915745 406.10/404.45 c cleaning 14000 clauses out of 28023 with flag 1928001/1929746 409.00/407.34 c cleaning 13994 clauses out of 28023 with flag 1942001/1943746 411.90/410.26 c cleaning 14010 clauses out of 28031 with flag 1956003/1957748 414.90/413.24 c cleaning 13997 clauses out of 28018 with flag 1970000/1971745 417.81/416.15 c cleaning 13998 clauses out of 28021 with flag 1984000/1985745 420.41/418.78 c cleaning 14003 clauses out of 28023 with flag 1998000/1999745 423.12/421.45 c cleaning 13999 clauses out of 28020 with flag 2012000/2013745 425.72/424.09 c cleaning 14000 clauses out of 28021 with flag 2026000/2027745 428.63/426.99 c cleaning 14001 clauses out of 28022 with flag 2040001/2041746 431.43/429.75 c cleaning 14006 clauses out of 28020 with flag 2054000/2055745 434.44/432.71 c cleaning 13997 clauses out of 28015 with flag 2068001/2069746 437.36/435.69 c cleaning 14001 clauses out of 28018 with flag 2082001/2083746 440.55/438.81 c cleaning 14002 clauses out of 28016 with flag 2096000/2097745 443.45/441.70 c cleaning 13998 clauses out of 28015 with flag 2110001/2111746 446.25/444.60 c cleaning 14005 clauses out of 28018 with flag 2124002/2125747 449.15/447.48 c cleaning 14000 clauses out of 28012 with flag 2138001/2139746 452.26/450.53 c cleaning 14000 clauses out of 28011 with flag 2152000/2153745 455.26/453.53 c cleaning 13998 clauses out of 28012 with flag 2166001/2167746 458.17/456.49 c cleaning 13996 clauses out of 28014 with flag 2180001/2181746 460.87/459.20 c cleaning 13998 clauses out of 28018 with flag 2194001/2195746 463.88/462.16 c cleaning 13993 clauses out of 28020 with flag 2208001/2209746 466.88/465.15 c cleaning 13997 clauses out of 28027 with flag 2222001/2223746 469.69/467.98 c cleaning 14008 clauses out of 28029 with flag 2236000/2237745 472.69/470.91 c cleaning 13998 clauses out of 28022 with flag 2250001/2251746 475.49/473.75 c cleaning 14004 clauses out of 28023 with flag 2264000/2265745 478.50/476.78 c cleaning 13999 clauses out of 28020 with flag 2278001/2279746 481.20/479.47 c cleaning 14003 clauses out of 28020 with flag 2292000/2293745 484.11/482.31 c cleaning 14000 clauses out of 28018 with flag 2306001/2307746 486.93/485.12 c cleaning 13997 clauses out of 28018 with flag 2320001/2321746 489.71/487.97 c cleaning 14000 clauses out of 28020 with flag 2334000/2335745 492.62/490.89 c cleaning 14004 clauses out of 28020 with flag 2348000/2349745 495.63/493.82 c cleaning 13996 clauses out of 28016 with flag 2362000/2363745 498.53/496.75 c cleaning 14000 clauses out of 28021 with flag 2376001/2377746 501.53/499.74 c cleaning 13994 clauses out of 28020 with flag 2390000/2391745 504.43/502.68 c cleaning 13999 clauses out of 28027 with flag 2404001/2405746 507.33/505.56 c cleaning 14003 clauses out of 28027 with flag 2418000/2419745 510.33/508.56 c cleaning 14001 clauses out of 28024 with flag 2432000/2433745 513.44/511.65 c cleaning 14011 clauses out of 28025 with flag 2446002/2447747 516.54/514.74 c cleaning 13996 clauses out of 28012 with flag 2460000/2461745 519.64/517.88 c cleaning 14002 clauses out of 28017 with flag 2474001/2475746 522.85/521.09 c cleaning 14005 clauses out of 28014 with flag 2488000/2489745 525.95/524.10 c cleaning 13998 clauses out of 28010 with flag 2502001/2503746 529.16/527.35 c cleaning 13996 clauses out of 28012 with flag 2516001/2517746 532.27/530.48 c cleaning 14000 clauses out of 28015 with flag 2530000/2531745 535.57/533.73 c cleaning 14001 clauses out of 28015 with flag 2544000/2545745 538.69/536.88 c cleaning 13995 clauses out of 28014 with flag 2558000/2559745 541.99/540.12 c cleaning 14002 clauses out of 28020 with flag 2572001/2573746 545.08/543.23 c cleaning 13998 clauses out of 28018 with flag 2586001/2587746 548.18/546.31 c cleaning 13994 clauses out of 28019 with flag 2600000/2601745 551.28/549.46 c cleaning 14007 clauses out of 28026 with flag 2614001/2615746 554.48/552.67 c cleaning 14003 clauses out of 28020 with flag 2628002/2629747 557.58/555.72 c cleaning 13997 clauses out of 28016 with flag 2642001/2643746 560.48/558.65 c cleaning 14000 clauses out of 28019 with flag 2656001/2657746 563.29/561.41 c cleaning 13996 clauses out of 28018 with flag 2670000/2671745 565.99/564.15 c cleaning 13999 clauses out of 28023 with flag 2684001/2685746 568.69/566.83 c cleaning 14002 clauses out of 28024 with flag 2698001/2699746 571.40/569.52 c cleaning 13999 clauses out of 28021 with flag 2712000/2713745 574.10/572.27 c cleaning 14003 clauses out of 28023 with flag 2726001/2727746 576.81/574.93 c cleaning 14005 clauses out of 28020 with flag 2740001/2741746 579.51/577.66 c cleaning 14001 clauses out of 28015 with flag 2754001/2755746 582.21/580.37 c cleaning 14000 clauses out of 28014 with flag 2768001/2769746 585.12/583.22 c cleaning 14000 clauses out of 28014 with flag 2782001/2783746 587.82/585.94 c cleaning 13999 clauses out of 28013 with flag 2796000/2797745 590.62/588.73 c cleaning 13996 clauses out of 28014 with flag 2810000/2811745 593.42/591.54 c cleaning 13996 clauses out of 28018 with flag 2824000/2825745 596.13/594.25 c cleaning 14002 clauses out of 28022 with flag 2838000/2839745 599.03/597.10 c cleaning 13997 clauses out of 28021 with flag 2852001/2853746 601.73/599.82 c cleaning 14006 clauses out of 28024 with flag 2866001/2867746 604.44/602.53 c cleaning 13999 clauses out of 28018 with flag 2880001/2881746 607.24/605.36 c cleaning 14002 clauses out of 28021 with flag 2894003/2895748 610.15/608.23 c cleaning 13997 clauses out of 28017 with flag 2908001/2909746 612.94/611.06 c cleaning 13998 clauses out of 28021 with flag 2922002/2923747 615.65/613.78 c cleaning 14003 clauses out of 28022 with flag 2936001/2937746 618.44/616.54 c cleaning 14000 clauses out of 28018 with flag 2950000/2951745 621.35/619.41 c cleaning 13997 clauses out of 28019 with flag 2964001/2965746 624.25/622.35 c cleaning 13998 clauses out of 28021 with flag 2978000/2979745 626.95/625.05 c cleaning 14006 clauses out of 28023 with flag 2992000/2993745 629.36/627.46 c cleaning 14000 clauses out of 28018 with flag 3006001/3007746 631.86/629.97 c cleaning 13997 clauses out of 28017 with flag 3020000/3021745 634.67/632.78 c cleaning 14002 clauses out of 28021 with flag 3034001/3035746 637.68/635.76 c cleaning 13996 clauses out of 28018 with flag 3048000/3049745 640.48/638.56 c cleaning 14005 clauses out of 28022 with flag 3062000/3063745 643.19/641.24 c cleaning 14004 clauses out of 28018 with flag 3076001/3077746 646.09/644.12 c cleaning 14001 clauses out of 28014 with flag 3090001/3091746 649.19/647.22 c cleaning 13996 clauses out of 28012 with flag 3104000/3105745 652.70/650.77 c cleaning 14005 clauses out of 28016 with flag 3118000/3119745 655.61/653.68 c cleaning 13998 clauses out of 28011 with flag 3132000/3133745 658.51/656.57 c cleaning 14000 clauses out of 28014 with flag 3146001/3147746 661.41/659.44 c cleaning 13996 clauses out of 28014 with flag 3160001/3161746 664.32/662.36 c cleaning 13994 clauses out of 28017 with flag 3174000/3175745 667.23/665.20 c cleaning 14008 clauses out of 28023 with flag 3188000/3189745 670.03/668.02 c cleaning 13997 clauses out of 28017 with flag 3202002/3203747 673.05/671.09 c cleaning 14002 clauses out of 28019 with flag 3216001/3217746 675.94/673.96 c cleaning 13995 clauses out of 28016 with flag 3230000/3231745 678.85/676.82 c cleaning 13998 clauses out of 28021 with flag 3244000/3245745 681.88/679.85 c cleaning 14006 clauses out of 28024 with flag 3258001/3259746 684.76/682.72 c cleaning 13999 clauses out of 28018 with flag 3272001/3273746 687.77/685.74 c cleaning 14000 clauses out of 28019 with flag 3286001/3287746 690.97/688.98 c cleaning 13997 clauses out of 28018 with flag 3300000/3301745 693.88/691.90 c cleaning 14000 clauses out of 28021 with flag 3314000/3315745 696.98/694.92 c cleaning 14004 clauses out of 28022 with flag 3328001/3329746 700.09/698.01 c cleaning 13999 clauses out of 28018 with flag 3342001/3343746 703.09/701.01 c cleaning 14001 clauses out of 28019 with flag 3356001/3357746 706.11/704.06 c cleaning 14001 clauses out of 28017 with flag 3370000/3371745 709.10/707.08 c cleaning 13998 clauses out of 28016 with flag 3384000/3385745 712.00/709.99 c cleaning 14000 clauses out of 28019 with flag 3398001/3399746 715.00/712.91 c cleaning 14000 clauses out of 28018 with flag 3412000/3413745 718.01/716.01 c cleaning 13998 clauses out of 28018 with flag 3426000/3427745 721.12/719.07 c cleaning 13999 clauses out of 28020 with flag 3440000/3441745 724.43/722.37 c cleaning 14001 clauses out of 28022 with flag 3454001/3455746 727.53/725.46 c cleaning 14000 clauses out of 28022 with flag 3468002/3469747 730.73/728.69 c cleaning 13998 clauses out of 28020 with flag 3482000/3483745 733.94/731.84 c cleaning 14008 clauses out of 28023 with flag 3496001/3497746 737.04/734.90 c cleaning 13997 clauses out of 28015 with flag 3510001/3511746 740.26/738.19 c cleaning 13999 clauses out of 28017 with flag 3524000/3525745 743.35/741.23 c cleaning 13997 clauses out of 28018 with flag 3538000/3539745 746.45/744.39 c cleaning 13998 clauses out of 28022 with flag 3552001/3553746 749.55/747.41 c cleaning 14000 clauses out of 28023 with flag 3566000/3567745 752.45/750.36 c cleaning 14000 clauses out of 28024 with flag 3580001/3581746 755.36/753.29 c cleaning 14000 clauses out of 28024 with flag 3594001/3595746 758.26/756.12 c cleaning 13999 clauses out of 28024 with flag 3608001/3609746 761.19/759.10 c cleaning 13996 clauses out of 28025 with flag 3622001/3623746 764.38/762.24 c cleaning 14000 clauses out of 28028 with flag 3636000/3637745 767.57/765.42 c cleaning 14005 clauses out of 28028 with flag 3650000/3651745 770.38/768.21 c cleaning 14006 clauses out of 28023 with flag 3664000/3665745 773.38/771.28 c cleaning 14001 clauses out of 28017 with flag 3678000/3679745 776.39/774.23 c cleaning 14000 clauses out of 28016 with flag 3692000/3693745 779.29/777.19 c cleaning 13998 clauses out of 28016 with flag 3706000/3707745 782.11/779.95 c cleaning 14001 clauses out of 28019 with flag 3720001/3721746 784.89/782.70 c cleaning 13999 clauses out of 28017 with flag 3734000/3735745 787.79/785.63 c cleaning 14003 clauses out of 28019 with flag 3748001/3749746 790.70/788.59 c cleaning 14000 clauses out of 28016 with flag 3762001/3763746 793.81/791.63 c cleaning 13992 clauses out of 28015 with flag 3776000/3777745 796.81/794.68 c cleaning 14004 clauses out of 28023 with flag 3790000/3791745 799.91/797.71 c cleaning 14002 clauses out of 28019 with flag 3804000/3805745 802.92/800.74 c cleaning 13993 clauses out of 28018 with flag 3818001/3819746 805.92/803.72 c cleaning 14001 clauses out of 28025 with flag 3832001/3833746 808.72/806.52 c cleaning 14004 clauses out of 28023 with flag 3846000/3847745 811.52/809.30 c cleaning 13998 clauses out of 28020 with flag 3860001/3861746 814.42/812.25 c cleaning 14000 clauses out of 28021 with flag 3874000/3875745 817.43/815.27 c cleaning 14002 clauses out of 28021 with flag 3888000/3889745 820.53/818.39 c cleaning 14001 clauses out of 28019 with flag 3902000/3903745 823.73/821.55 c cleaning 14004 clauses out of 28018 with flag 3916000/3917745 826.83/824.67 c cleaning 14000 clauses out of 28015 with flag 3930001/3931746 829.84/827.64 c cleaning 13997 clauses out of 28015 with flag 3944001/3945746 832.84/830.66 c cleaning 13999 clauses out of 28017 with flag 3958000/3959745 835.84/833.63 c cleaning 13999 clauses out of 28018 with flag 3972000/3973745 838.84/836.65 c cleaning 14004 clauses out of 28019 with flag 3986000/3987745 841.85/839.62 c cleaning 13999 clauses out of 28015 with flag 4000000/4001745 844.65/842.46 c cleaning 13997 clauses out of 28017 with flag 4014001/4015746 847.66/845.42 c cleaning 14001 clauses out of 28019 with flag 4028000/4029745 850.46/848.28 c cleaning 13998 clauses out of 28018 with flag 4042000/4043745 853.57/851.39 c cleaning 13992 clauses out of 28020 with flag 4056000/4057745 856.57/854.38 c cleaning 14003 clauses out of 28028 with flag 4070000/4071745 859.57/857.36 c cleaning 14002 clauses out of 28026 with flag 4084001/4085746 862.67/860.40 c cleaning 14002 clauses out of 28023 with flag 4098000/4099745 865.68/863.51 c cleaning 13999 clauses out of 28022 with flag 4112001/4113746 868.78/866.55 c cleaning 14001 clauses out of 28022 with flag 4126000/4127745 871.88/869.61 c cleaning 14000 clauses out of 28021 with flag 4140000/4141745 874.88/872.64 c cleaning 13999 clauses out of 28022 with flag 4154001/4155746 877.98/875.77 c cleaning 14003 clauses out of 28022 with flag 4168000/4169745 880.99/878.75 c cleaning 14002 clauses out of 28020 with flag 4182001/4183746 883.99/881.79 c cleaning 13995 clauses out of 28017 with flag 4196000/4197745 886.99/884.75 c cleaning 14002 clauses out of 28022 with flag 4210000/4211745 889.90/887.67 c cleaning 13995 clauses out of 28020 with flag 4224000/4225745 893.00/890.78 c cleaning 13998 clauses out of 28025 with flag 4238000/4239745 896.00/893.74 c cleaning 14000 clauses out of 28029 with flag 4252002/4253747 899.10/896.83 c cleaning 14007 clauses out of 28029 with flag 4266002/4267747 902.30/900.01 c cleaning 14005 clauses out of 28021 with flag 4280001/4281746 905.42/903.14 c cleaning 14000 clauses out of 28016 with flag 4294001/4295746 908.61/906.34 c cleaning 13996 clauses out of 28015 with flag 4308000/4309745 911.61/909.39 c cleaning 14000 clauses out of 28020 with flag 4322001/4323746 914.71/912.42 c cleaning 14003 clauses out of 28019 with flag 4336000/4337745 917.61/915.32 c cleaning 14000 clauses out of 28017 with flag 4350001/4351746 920.61/918.32 c cleaning 13992 clauses out of 28016 with flag 4364000/4365745 923.62/921.33 c cleaning 14005 clauses out of 28024 with flag 4378000/4379745 926.52/924.29 c cleaning 13995 clauses out of 28019 with flag 4392000/4393745 929.52/927.26 c cleaning 14002 clauses out of 28024 with flag 4406000/4407745 932.52/930.25 c cleaning 14000 clauses out of 28022 with flag 4420000/4421745 935.62/933.30 c cleaning 14006 clauses out of 28023 with flag 4434001/4435746 938.44/936.19 c cleaning 13996 clauses out of 28016 with flag 4448000/4449745 941.53/939.22 c cleaning 13998 clauses out of 28020 with flag 4462000/4463745 944.53/942.20 c cleaning 13997 clauses out of 28022 with flag 4476000/4477745 947.25/944.93 c cleaning 14013 clauses out of 28025 with flag 4490000/4491745 949.74/947.48 c cleaning 13999 clauses out of 28014 with flag 4504002/4505747 952.54/950.30 c cleaning 13998 clauses out of 28014 with flag 4518001/4519746 955.64/953.30 c cleaning 13997 clauses out of 28015 with flag 4532000/4533745 958.55/956.20 c cleaning 13998 clauses out of 28018 with flag 4546000/4547745 961.75/959.41 c cleaning 14006 clauses out of 28020 with flag 4560000/4561745 964.87/962.56 c cleaning 14001 clauses out of 28014 with flag 4574000/4575745 967.76/965.49 c cleaning 13998 clauses out of 28014 with flag 4588001/4589746 970.86/968.53 c cleaning 13996 clauses out of 28015 with flag 4602000/4603745 973.86/971.51 c cleaning 14001 clauses out of 28020 with flag 4616001/4617746 976.57/974.20 c cleaning 14006 clauses out of 28021 with flag 4630003/4631748 979.19/976.83 c cleaning 13995 clauses out of 28012 with flag 4644000/4645745 981.87/979.56 c cleaning 14001 clauses out of 28017 with flag 4658000/4659745 984.77/982.40 c cleaning 13999 clauses out of 28016 with flag 4672000/4673745 987.48/985.13 c cleaning 14000 clauses out of 28018 with flag 4686001/4687746 990.58/988.24 c cleaning 14003 clauses out of 28017 with flag 4700000/4701745 993.89/991.55 c cleaning 14001 clauses out of 28014 with flag 4714000/4715745 997.30/994.90 c cleaning 13995 clauses out of 28013 with flag 4728000/4729745 1000.20/997.84 c cleaning 14001 clauses out of 28018 with flag 4742000/4743745 1003.31/1000.91 c cleaning 13999 clauses out of 28018 with flag 4756001/4757746 1006.51/1004.11 c cleaning 14002 clauses out of 28020 with flag 4770002/4771747 1009.41/1007.10 c cleaning 14000 clauses out of 28017 with flag 4784001/4785746 1012.51/1010.14 c cleaning 14001 clauses out of 28018 with flag 4798002/4799747 1015.53/1013.16 c cleaning 14003 clauses out of 28016 with flag 4812001/4813746 1018.52/1016.18 c cleaning 13997 clauses out of 28013 with flag 4826001/4827746 1021.52/1019.16 c cleaning 13999 clauses out of 28016 with flag 4840001/4841746 1024.62/1022.20 c cleaning 14000 clauses out of 28016 with flag 4854000/4855745 1027.42/1025.10 c cleaning 13995 clauses out of 28017 with flag 4868001/4869746 1030.44/1028.10 c cleaning 14002 clauses out of 28021 with flag 4882000/4883745 1033.45/1031.10 c cleaning 13998 clauses out of 28019 with flag 4896000/4897745 1036.65/1034.20 c cleaning 14002 clauses out of 28023 with flag 4910002/4911747 1039.65/1037.30 c cleaning 14000 clauses out of 28019 with flag 4924000/4925745 1042.35/1039.91 c cleaning 13999 clauses out of 28019 with flag 4938000/4939745 1045.06/1042.61 c cleaning 14001 clauses out of 28020 with flag 4952000/4953745 1047.86/1045.42 c cleaning 14003 clauses out of 28019 with flag 4966000/4967745 1050.36/1047.99 c cleaning 13999 clauses out of 28017 with flag 4980001/4981746 1053.16/1050.71 c cleaning 14000 clauses out of 28017 with flag 4994000/4995745 1055.97/1053.58 c cleaning 14004 clauses out of 28018 with flag 5008001/5009746 1058.77/1056.38 c cleaning 14000 clauses out of 28013 with flag 5022000/5023745 1061.67/1059.26 c cleaning 13998 clauses out of 28014 with flag 5036001/5037746 1064.37/1061.96 c cleaning 13999 clauses out of 28015 with flag 5050000/5051745 1067.07/1064.67 c cleaning 14001 clauses out of 28019 with flag 5064003/5065748 1069.78/1067.34 c cleaning 14001 clauses out of 28016 with flag 5078001/5079746 1072.38/1069.99 c cleaning 13997 clauses out of 28014 with flag 5092000/5093745 1075.08/1072.65 c cleaning 13999 clauses out of 28018 with flag 5106001/5107746 1077.78/1075.36 c cleaning 13996 clauses out of 28018 with flag 5120000/5121745 1080.58/1078.11 c cleaning 14004 clauses out of 28022 with flag 5134000/5135745 1083.38/1080.92 c cleaning 14000 clauses out of 28019 with flag 5148001/5149746 1086.48/1084.01 c cleaning 13996 clauses out of 28018 with flag 5162000/5163745 1089.49/1087.04 c cleaning 14001 clauses out of 28022 with flag 5176000/5177745 1092.89/1090.43 c cleaning 14003 clauses out of 28022 with flag 5190001/5191746 1096.19/1093.70 c cleaning 13996 clauses out of 28018 with flag 5204000/5205745 1099.39/1096.91 c cleaning 14003 clauses out of 28022 with flag 5218000/5219745 1102.30/1099.91 c cleaning 14000 clauses out of 28021 with flag 5232002/5233747 1105.40/1102.90 c cleaning 14001 clauses out of 28019 with flag 5246000/5247745 1108.51/1106.04 c cleaning 13998 clauses out of 28018 with flag 5260000/5261745 1111.61/1109.19 c cleaning 14002 clauses out of 28020 with flag 5274000/5275745 1114.81/1112.36 c cleaning 14004 clauses out of 28019 with flag 5288001/5289746 1117.93/1115.49 c cleaning 13996 clauses out of 28015 with flag 5302001/5303746 1121.32/1118.80 c cleaning 13997 clauses out of 28019 with flag 5316001/5317746 1124.22/1121.78 c cleaning 14008 clauses out of 28021 with flag 5330000/5331745 1127.32/1124.81 c cleaning 14000 clauses out of 28014 with flag 5344001/5345746 1130.32/1127.88 c cleaning 13994 clauses out of 28013 with flag 5358000/5359745 1133.43/1130.98 c cleaning 13996 clauses out of 28020 with flag 5372001/5373746 1136.43/1133.99 c cleaning 14002 clauses out of 28023 with flag 5386000/5387745 1139.53/1137.03 c cleaning 14001 clauses out of 28022 with flag 5400001/5401746 1142.54/1140.03 c cleaning 14000 clauses out of 28021 with flag 5414001/5415746 1145.45/1142.99 c cleaning 14000 clauses out of 28020 with flag 5428000/5429745 1148.54/1146.01 c cleaning 14000 clauses out of 28021 with flag 5442001/5443746 1151.64/1149.12 c cleaning 13999 clauses out of 28020 with flag 5456000/5457745 1154.75/1152.21 c cleaning 14003 clauses out of 28021 with flag 5470000/5471745 1157.75/1155.25 c cleaning 14000 clauses out of 28019 with flag 5484001/5485746 1160.66/1158.15 c cleaning 14000 clauses out of 28018 with flag 5498000/5499745 1163.46/1160.99 c cleaning 14002 clauses out of 28018 with flag 5512000/5513745 1166.46/1163.96 c cleaning 14000 clauses out of 28016 with flag 5526000/5527745 1169.46/1166.91 c cleaning 14001 clauses out of 28017 with flag 5540001/5541746 1172.46/1169.92 c cleaning 14003 clauses out of 28016 with flag 5554001/5555746 1175.27/1172.74 c cleaning 13999 clauses out of 28013 with flag 5568001/5569746 1178.17/1175.61 c cleaning 14000 clauses out of 28013 with flag 5582000/5583745 1180.87/1178.40 c cleaning 14000 clauses out of 28013 with flag 5596000/5597745 1183.77/1181.22 c cleaning 13997 clauses out of 28013 with flag 5610000/5611745 1186.57/1184.06 c cleaning 14003 clauses out of 28018 with flag 5624002/5625747 1189.38/1186.89 c cleaning 13996 clauses out of 28013 with flag 5638000/5639745 1192.38/1189.85 c cleaning 13997 clauses out of 28017 with flag 5652000/5653745 1195.28/1192.78 c cleaning 14000 clauses out of 28021 with flag 5666001/5667746 1198.19/1195.69 c cleaning 13998 clauses out of 28021 with flag 5680001/5681746 1201.08/1198.52 c cleaning 14003 clauses out of 28024 with flag 5694002/5695747 1203.98/1201.46 c cleaning 13995 clauses out of 28020 with flag 5708001/5709746 1206.89/1204.32 c cleaning 14002 clauses out of 28025 with flag 5722001/5723746 1209.59/1207.09 c cleaning 14001 clauses out of 28023 with flag 5736001/5737746 1212.51/1209.94 c cleaning 14004 clauses out of 28022 with flag 5750001/5751746 1215.31/1212.76 c cleaning 13999 clauses out of 28017 with flag 5764000/5765745 1218.31/1215.75 c cleaning 14000 clauses out of 28018 with flag 5778000/5779745 1221.21/1218.60 c cleaning 13998 clauses out of 28019 with flag 5792001/5793746 1224.01/1221.42 c cleaning 14001 clauses out of 28021 with flag 5806001/5807746 1226.82/1224.27 c cleaning 13998 clauses out of 28019 with flag 5820000/5821745 1229.62/1227.06 c cleaning 14003 clauses out of 28022 with flag 5834001/5835746 1232.62/1230.04 c cleaning 13994 clauses out of 28019 with flag 5848001/5849746 1235.42/1232.82 c cleaning 13999 clauses out of 28024 with flag 5862000/5863745 1238.42/1235.81 c cleaning 14002 clauses out of 28025 with flag 5876000/5877745 1241.24/1238.64 c cleaning 13998 clauses out of 28023 with flag 5890000/5891745 1244.22/1241.64 c cleaning 13998 clauses out of 28025 with flag 5904000/5905745 1247.12/1244.54 c cleaning 14006 clauses out of 28027 with flag 5918000/5919745 1250.13/1247.54 c cleaning 14000 clauses out of 28022 with flag 5932001/5933746 1253.13/1250.57 c cleaning 14002 clauses out of 28021 with flag 5946000/5947745 1256.03/1253.45 c cleaning 14004 clauses out of 28020 with flag 5960001/5961746 1258.85/1256.26 c cleaning 13999 clauses out of 28016 with flag 5974001/5975746 1261.83/1259.20 c cleaning 13998 clauses out of 28016 with flag 5988000/5989745 1265.04/1262.46 c cleaning 13998 clauses out of 28019 with flag 6002001/6003746 1268.34/1265.70 c cleaning 14003 clauses out of 28020 with flag 6016000/6017745 1271.44/1268.89 c cleaning 14001 clauses out of 28019 with flag 6030002/6031747 1274.65/1272.02 c cleaning 14001 clauses out of 28017 with flag 6044001/6045746 1277.95/1275.32 c cleaning 13999 clauses out of 28016 with flag 6058001/6059746 1281.25/1278.63 c cleaning 13997 clauses out of 28017 with flag 6072001/6073746 1284.65/1282.08 c cleaning 14002 clauses out of 28022 with flag 6086003/6087748 1287.96/1285.36 c cleaning 14000 clauses out of 28018 with flag 6100001/6101746 1291.26/1288.64 c cleaning 13995 clauses out of 28018 with flag 6114001/6115746 1294.46/1291.89 c cleaning 14005 clauses out of 28022 with flag 6128000/6129745 1297.77/1295.20 c cleaning 14001 clauses out of 28018 with flag 6142001/6143746 1301.17/1298.58 c cleaning 14000 clauses out of 28017 with flag 6156001/6157746 1304.67/1302.05 c cleaning 13992 clauses out of 28016 with flag 6170000/6171745 1308.17/1305.57 c cleaning 14001 clauses out of 28024 with flag 6184000/6185745 1311.58/1308.93 c cleaning 13996 clauses out of 28024 with flag 6198001/6199746 1314.99/1312.32 c cleaning 13995 clauses out of 28027 with flag 6212000/6213745 1318.18/1315.58 c cleaning 14010 clauses out of 28033 with flag 6226001/6227746 1321.49/1318.90 c cleaning 14001 clauses out of 28023 with flag 6240001/6241746 1324.80/1322.19 c cleaning 13998 clauses out of 28021 with flag 6254000/6255745 1328.10/1325.51 c cleaning 14000 clauses out of 28024 with flag 6268001/6269746 1331.60/1328.91 c cleaning 14001 clauses out of 28023 with flag 6282000/6283745 1334.91/1332.21 c cleaning 13997 clauses out of 28022 with flag 6296000/6297745 1338.13/1335.44 c cleaning 13998 clauses out of 28026 with flag 6310001/6311746 1341.11/1338.50 c cleaning 14000 clauses out of 28028 with flag 6324001/6325746 1344.41/1341.79 c cleaning 14003 clauses out of 28027 with flag 6338000/6339745 1347.81/1345.10 c cleaning 14004 clauses out of 28025 with flag 6352001/6353746 1350.91/1348.29 c cleaning 13998 clauses out of 28021 with flag 6366001/6367746 1354.22/1351.55 c cleaning 14000 clauses out of 28022 with flag 6380000/6381745 1357.32/1354.67 c cleaning 14002 clauses out of 28022 with flag 6394000/6395745 1360.63/1357.92 c cleaning 13997 clauses out of 28020 with flag 6408000/6409745 1363.83/1361.19 c cleaning 14004 clauses out of 28023 with flag 6422000/6423745 1367.23/1364.51 c cleaning 13996 clauses out of 28020 with flag 6436001/6437746 1370.53/1367.89 c cleaning 14003 clauses out of 28024 with flag 6450001/6451746 1373.73/1371.07 c cleaning 13996 clauses out of 28020 with flag 6464000/6465745 1377.03/1374.37 c cleaning 14003 clauses out of 28025 with flag 6478001/6479746 1380.53/1377.80 c cleaning 13996 clauses out of 28021 with flag 6492000/6493745 1383.93/1381.26 c cleaning 14001 clauses out of 28027 with flag 6506002/6507747 1387.43/1384.75 c cleaning 14006 clauses out of 28025 with flag 6520001/6521746 1390.96/1388.24 c cleaning 13994 clauses out of 28018 with flag 6534000/6535745 1394.44/1391.71 c cleaning 14000 clauses out of 28025 with flag 6548001/6549746 1397.65/1394.95 c cleaning 14003 clauses out of 28024 with flag 6562000/6563745 1401.05/1398.31 c cleaning 14004 clauses out of 28022 with flag 6576001/6577746 1404.17/1401.45 c cleaning 13998 clauses out of 28017 with flag 6590000/6591745 1407.25/1404.61 c cleaning 14000 clauses out of 28019 with flag 6604000/6605745 1410.45/1407.78 c cleaning 14003 clauses out of 28022 with flag 6618003/6619748 1413.65/1410.94 c cleaning 14000 clauses out of 28017 with flag 6632001/6633746 1417.06/1414.30 c cleaning 13994 clauses out of 28017 with flag 6646001/6647746 1420.37/1417.61 c cleaning 13996 clauses out of 28022 with flag 6660000/6661745 1423.67/1420.98 c cleaning 14001 clauses out of 28027 with flag 6674001/6675746 1426.97/1424.27 c cleaning 14004 clauses out of 28026 with flag 6688001/6689746 1430.37/1427.61 c cleaning 14001 clauses out of 28021 with flag 6702000/6703745 1433.78/1431.05 c cleaning 14005 clauses out of 28021 with flag 6716001/6717746 1436.88/1434.17 c cleaning 14001 clauses out of 28016 with flag 6730001/6731746 1439.58/1436.80 c cleaning 14005 clauses out of 28015 with flag 6744001/6745746 1442.09/1439.34 c cleaning 13994 clauses out of 28010 with flag 6758001/6759746 1444.80/1442.07 c cleaning 14000 clauses out of 28016 with flag 6772001/6773746 1447.70/1444.92 c cleaning 14001 clauses out of 28015 with flag 6786000/6787745 1451.00/1448.20 c cleaning 14002 clauses out of 28017 with flag 6800003/6801748 1454.30/1451.52 c cleaning 14002 clauses out of 28013 with flag 6814001/6815746 1457.21/1454.49 c cleaning 13991 clauses out of 28010 with flag 6828000/6829745 1460.61/1457.87 c cleaning 13999 clauses out of 28019 with flag 6842000/6843745 1463.81/1461.09 c cleaning 14002 clauses out of 28020 with flag 6856000/6857745 1466.72/1463.93 c cleaning 14003 clauses out of 28019 with flag 6870001/6871746 1469.62/1466.85 c cleaning 14003 clauses out of 28015 with flag 6884000/6885745 1472.53/1469.76 c cleaning 13997 clauses out of 28013 with flag 6898001/6899746 1475.64/1472.82 c cleaning 14001 clauses out of 28017 with flag 6912002/6913747 1478.53/1475.74 c cleaning 13996 clauses out of 28014 with flag 6926000/6927745 1481.34/1478.59 c cleaning 13999 clauses out of 28019 with flag 6940001/6941746 1484.34/1481.55 c cleaning 14003 clauses out of 28020 with flag 6954001/6955746 1487.24/1484.46 c cleaning 14000 clauses out of 28017 with flag 6968001/6969746 1490.34/1487.55 c cleaning 13998 clauses out of 28016 with flag 6982000/6983745 1493.25/1490.51 c cleaning 14005 clauses out of 28020 with flag 6996002/6997747 1496.35/1493.52 c cleaning 13997 clauses out of 28013 with flag 7010000/7011745 1499.15/1496.38 c cleaning 14002 clauses out of 28017 with flag 7024001/7025746 1501.95/1499.20 c cleaning 13996 clauses out of 28015 with flag 7038001/7039746 1504.96/1502.13 c cleaning 14003 clauses out of 28019 with flag 7052001/7053746 1507.87/1505.03 c cleaning 13995 clauses out of 28016 with flag 7066001/7067746 1510.77/1508.01 c cleaning 14001 clauses out of 28020 with flag 7080000/7081745 1513.77/1510.97 c cleaning 14007 clauses out of 28020 with flag 7094001/7095746 1516.78/1513.92 c cleaning 13996 clauses out of 28013 with flag 7108001/7109746 1519.81/1516.96 c cleaning 13998 clauses out of 28018 with flag 7122002/7123747 1522.90/1520.05 c cleaning 13999 clauses out of 28018 with flag 7136000/7137745 1525.90/1523.06 c cleaning 14001 clauses out of 28019 with flag 7150000/7151745 1528.80/1525.99 c cleaning 14000 clauses out of 28020 with flag 7164002/7165747 1531.40/1528.59 c cleaning 13999 clauses out of 28018 with flag 7178000/7179745 1534.41/1531.56 c cleaning 13999 clauses out of 28020 with flag 7192001/7193746 1537.43/1534.57 c cleaning 14000 clauses out of 28021 with flag 7206001/7207746 1540.21/1537.40 c cleaning 14003 clauses out of 28021 with flag 7220001/7221746 1543.11/1540.22 c cleaning 14001 clauses out of 28018 with flag 7234001/7235746 1546.01/1543.16 c cleaning 13999 clauses out of 28016 with flag 7248000/7249745 1549.01/1546.14 c cleaning 13996 clauses out of 28018 with flag 7262001/7263746 1551.91/1549.06 c cleaning 13998 clauses out of 28021 with flag 7276000/7277745 1555.03/1552.12 c cleaning 14004 clauses out of 28024 with flag 7290001/7291746 1558.02/1555.10 c cleaning 14001 clauses out of 28019 with flag 7304000/7305745 1560.92/1558.07 c cleaning 13999 clauses out of 28019 with flag 7318001/7319746 1563.92/1561.06 c cleaning 14003 clauses out of 28019 with flag 7332000/7333745 1566.82/1563.99 c cleaning 13997 clauses out of 28017 with flag 7346001/7347746 1569.92/1567.04 c cleaning 14001 clauses out of 28021 with flag 7360002/7361747 1572.82/1569.95 c cleaning 14002 clauses out of 28018 with flag 7374000/7375745 1575.83/1572.92 c cleaning 13995 clauses out of 28016 with flag 7388000/7389745 1578.53/1575.63 c cleaning 14002 clauses out of 28021 with flag 7402000/7403745 1581.24/1578.39 c cleaning 14002 clauses out of 28019 with flag 7416000/7417745 1584.24/1581.36 c cleaning 14000 clauses out of 28018 with flag 7430001/7431746 1587.44/1584.57 c cleaning 13999 clauses out of 28018 with flag 7444001/7445746 1590.54/1587.69 c cleaning 14003 clauses out of 28019 with flag 7458001/7459746 1593.57/1590.67 c cleaning 13997 clauses out of 28015 with flag 7472000/7473745 1596.46/1593.57 c cleaning 14003 clauses out of 28019 with flag 7486001/7487746 1599.46/1596.54 c cleaning 14002 clauses out of 28016 with flag 7500001/7501746 1602.46/1599.53 c cleaning 13993 clauses out of 28013 with flag 7514000/7515745 1605.26/1602.37 c cleaning 14005 clauses out of 28020 with flag 7528000/7529745 1608.26/1605.37 c cleaning 14001 clauses out of 28017 with flag 7542002/7543747 1611.27/1608.35 c cleaning 13996 clauses out of 28014 with flag 7556000/7557745 1614.37/1611.41 c cleaning 14000 clauses out of 28019 with flag 7570001/7571746 1617.37/1614.45 c cleaning 14000 clauses out of 28019 with flag 7584001/7585746 1620.47/1617.56 c cleaning 13994 clauses out of 28018 with flag 7598000/7599745 1623.57/1620.67 c cleaning 14006 clauses out of 28025 with flag 7612001/7613746 1626.67/1623.77 c cleaning 13997 clauses out of 28019 with flag 7626001/7627746 1629.78/1626.83 c cleaning 13998 clauses out of 28022 with flag 7640001/7641746 1632.77/1629.85 c cleaning 14001 clauses out of 28024 with flag 7654001/7655746 1635.77/1632.80 c cleaning 13999 clauses out of 28022 with flag 7668000/7669745 1638.78/1635.86 c cleaning 13997 clauses out of 28023 with flag 7682000/7683745 1641.99/1639.03 c cleaning 14002 clauses out of 28027 with flag 7696001/7697746 1645.18/1642.27 c cleaning 13997 clauses out of 28025 with flag 7710001/7711746 1648.28/1645.39 c cleaning 14007 clauses out of 28028 with flag 7724001/7725746 1651.38/1648.41 c cleaning 13999 clauses out of 28020 with flag 7738000/7739745 1654.39/1651.46 c cleaning 14001 clauses out of 28021 with flag 7752000/7753745 1657.49/1654.55 c cleaning 14001 clauses out of 28020 with flag 7766000/7767745 1660.71/1657.78 c cleaning 13999 clauses out of 28019 with flag 7780000/7781745 1663.90/1660.96 c cleaning 13995 clauses out of 28020 with flag 7794000/7795745 1667.10/1664.11 c cleaning 14006 clauses out of 28025 with flag 7808000/7809745 1670.40/1667.40 c cleaning 13996 clauses out of 28020 with flag 7822001/7823746 1673.30/1670.39 c cleaning 14000 clauses out of 28024 with flag 7836001/7837746 1676.41/1673.46 c cleaning 14004 clauses out of 28025 with flag 7850002/7851747 1679.50/1676.51 c cleaning 13997 clauses out of 28020 with flag 7864001/7865746 1682.51/1679.61 c cleaning 13996 clauses out of 28022 with flag 7878000/7879745 1685.81/1682.80 c cleaning 13998 clauses out of 28026 with flag 7892000/7893745 1689.01/1686.03 c cleaning 14003 clauses out of 28029 with flag 7906001/7907746 1692.11/1689.18 c cleaning 14001 clauses out of 28025 with flag 7920000/7921745 1695.22/1692.26 c cleaning 14001 clauses out of 28025 with flag 7934001/7935746 1698.33/1695.32 c cleaning 13997 clauses out of 28023 with flag 7948000/7949745 1701.44/1698.50 c cleaning 13997 clauses out of 28028 with flag 7962002/7963747 1704.63/1701.63 c cleaning 14007 clauses out of 28029 with flag 7976000/7977745 1707.63/1704.63 c cleaning 13999 clauses out of 28023 with flag 7990001/7991746 1710.63/1707.60 c cleaning 14003 clauses out of 28024 with flag 8004001/8005746 1713.55/1710.55 c cleaning 13999 clauses out of 28021 with flag 8018001/8019746 1716.74/1713.73 c cleaning 13999 clauses out of 28021 with flag 8032000/8033745 1719.84/1716.85 c cleaning 14003 clauses out of 28023 with flag 8046001/8047746 1722.94/1719.98 c cleaning 13995 clauses out of 28019 with flag 8060000/8061745 1726.15/1723.13 c cleaning 14004 clauses out of 28025 with flag 8074001/8075746 1729.35/1726.30 c cleaning 13999 clauses out of 28021 with flag 8088001/8089746 1732.26/1729.27 c cleaning 13997 clauses out of 28023 with flag 8102002/8103747 1735.35/1732.32 c cleaning 14005 clauses out of 28025 with flag 8116001/8117746 1738.25/1735.23 c cleaning 13996 clauses out of 28020 with flag 8130001/8131746 1741.36/1738.34 c cleaning 13997 clauses out of 28023 with flag 8144000/8145745 1744.46/1741.47 c cleaning 13997 clauses out of 28026 with flag 8158000/8159745 1747.46/1744.50 c cleaning 14007 clauses out of 28029 with flag 8172000/8173745 1750.77/1747.71 c cleaning 14001 clauses out of 28024 with flag 8186002/8187747 1753.77/1750.77 c cleaning 13993 clauses out of 28021 with flag 8200000/8201745 1756.87/1753.81 c cleaning 14001 clauses out of 28028 with flag 8214000/8215745 1759.68/1756.67 c cleaning 14002 clauses out of 28028 with flag 8228001/8229746 1762.68/1759.68 c cleaning 14008 clauses out of 28026 with flag 8242001/8243746 1765.68/1762.61 c cleaning 13995 clauses out of 28017 with flag 8256000/8257745 1768.78/1765.75 c cleaning 14001 clauses out of 28023 with flag 8270001/8271746 1771.98/1768.94 c cleaning 14001 clauses out of 28021 with flag 8284000/8285745 1775.20/1772.16 c cleaning 13998 clauses out of 28021 with flag 8298001/8299746 1778.50/1775.45 c cleaning 14003 clauses out of 28022 with flag 8312000/8313745 1781.48/1778.47 c cleaning 14000 clauses out of 28020 with flag 8326001/8327746 1784.58/1781.60 c cleaning 14004 clauses out of 28020 with flag 8340001/8341746 1787.89/1784.81 c cleaning 13999 clauses out of 28015 with flag 8354000/8355745 1791.09/1788.00 c cleaning 13995 clauses out of 28016 with flag 8368000/8369745 1794.19/1791.16 c cleaning 14001 clauses out of 28021 with flag 8382000/8383745 1797.39/1794.32 c cleaning 13996 clauses out of 28020 with flag 8396000/8397745 1800.10/1797.02 c starts : 301 1800.10/1797.02 c conflicts : 8410038 1800.10/1797.02 c decisions : 13061716 1800.10/1797.02 c propagations : 1104394864 1800.10/1797.02 c inspects : 11780462519 1800.10/1797.02 c shortcuts : 0 1800.10/1797.02 c learnt literals : 0 1800.10/1797.02 c learnt binary clauses : 0 1800.10/1797.02 c learnt ternary clauses : 0 1800.10/1797.02 c learnt constraints : 8410038 1800.10/1797.02 c ignored constraints : 0 1800.10/1797.02 c root simplifications : 0 1800.10/1797.02 c removed literals (reason simplification) : 5310494 1800.10/1797.02 c reason swapping (by a shorter reason) : 0 1800.10/1797.02 c Calls to reduceDB : 603 1800.10/1797.02 c number of reductions to clauses (during analyze) : 0 1800.10/1797.02 c number of learned constraints concerned by reduction : 0 1800.10/1797.02 c number of learning phase by resolution : 0 1800.10/1797.02 c number of learning phase by cutting planes : 0 1800.10/1797.02 c speed (assignments/second) : 614916.7926405632 1800.10/1797.02 c non guided choices 9310 1800.10/1797.03 c learnt constraints type 1800.10/1797.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26341 1800.10/1797.03 c constraints type 1800.10/1797.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6818 1800.10/1797.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/1797.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318 1800.10/1797.03 s SATISFIABLE 1800.10/1797.04 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 1800.10/1797.04 c objective function=76 1800.10/1797.04 c Total wall clock time (in seconds): 1796.924
OK 76
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458303-1307158673/watcher-3458303-1307158673 -o /tmp/evaluation-result-3458303-1307158673/solver-3458303-1307158673 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458303-1307158673.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: 2.05 2.05 1.99 2/487 12530 /proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/12530/stat : 12530 (java) R 12528 12530 8699 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 906097778 23580672 698 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252453103080 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12530/statm: 5757 698 515 9 0 124 0 [pid=12530/tid=12531] ppid=12528 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 4391 0 1 0 0 0 0 0 25 0 2 0 906097779 13850947584 5207 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.083665 s] /proc/loadavg: 2.05 2.05 1.99 2/487 12530 /proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13555088 CPUtime=0.07 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 14478 0 1 0 6 1 0 0 25 0 18 0 906097778 13880410112 14175 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3388772 14175 1755 9 0 3379506 0 [pid=12530/tid=12531] ppid=12528 vsize=13555088 CPUtime=0.07 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 13304 0 1 0 6 1 0 0 25 0 18 0 906097779 13880410112 14175 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13555088 [startup+0.100659 s] /proc/loadavg: 2.05 2.05 1.99 2/487 12530 /proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13622200 CPUtime=0.1 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 15518 0 1 0 9 1 0 0 25 0 18 0 906097778 13949132800 15204 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3405550 15204 2092 9 0 3396284 0 [pid=12530/tid=12531] ppid=12528 vsize=13622200 CPUtime=0.08 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 13594 0 1 0 7 1 0 0 18 0 18 0 906097779 13949132800 15205 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 47264221426741 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622200 [startup+0.312459 s] /proc/loadavg: 2.05 2.05 1.99 2/487 12530 /proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13623652 CPUtime=0.49 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 18115 0 1 0 47 2 0 0 25 0 18 0 906097778 13950619648 17502 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3405913 17503 2220 9 0 3396647 0 [pid=12530/tid=12531] ppid=12528 vsize=13623652 CPUtime=0.29 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 15377 0 1 0 28 1 0 0 18 0 18 0 906097779 13950619648 17503 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505587678 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 13623652 [startup+0.77555 s] /proc/loadavg: 2.05 2.05 1.99 2/487 12530 /proc/meminfo: memFree=24039412/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=1.76 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 28635 0 1 0 173 3 0 0 25 0 19 0 906097778 13960757248 25741 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 25741 2240 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=0.76 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18113 0 1 0 74 2 0 0 19 0 19 0 906097779 13960757248 25741 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505806045 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 13633552 [startup+1.5014 s] /proc/loadavg: 2.05 2.05 1.99 5/506 12549 /proc/meminfo: memFree=23943168/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=2.56 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 29329 0 1 0 252 4 0 0 25 0 19 0 906097778 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 26435 2243 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1.48 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18794 0 1 0 146 2 0 0 20 0 19 0 906097779 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505987339 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097781 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 906097782 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906097783 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906097783 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.5 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5350 0 0 0 50 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4025 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 26435 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 13633552 [startup+3.10108 s] /proc/loadavg: 2.05 2.05 1.99 3/506 12549 /proc/meminfo: memFree=23925192/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=4.24 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 34129 0 1 0 419 5 0 0 25 0 19 0 906097778 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 31227 2268 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=3.01 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 18998 0 1 0 299 2 0 0 25 0 19 0 906097779 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505921905 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 298 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 837 0 0 0 0 0 0 0 18 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 940 0 0 0 0 0 0 0 18 0 19 0 906097781 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0.05 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 2065 0 0 0 5 0 0 0 16 0 19 0 906097782 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.53 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5358 0 0 0 53 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.58 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4031 0 0 0 58 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 31227 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 13633552 [startup+6.30152 s] /proc/loadavg: 2.04 2.04 1.99 3/506 12549 /proc/meminfo: memFree=23919716/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=7.48 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 34655 0 1 0 743 5 0 0 25 0 19 0 906097778 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 31748 2268 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=6.14 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19001 0 1 0 612 2 0 0 25 0 19 0 906097779 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505922190 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 605 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 298 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 103 0 0 0 0 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.01 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 839 0 0 0 1 0 0 0 16 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 940 0 0 0 0 0 0 0 15 0 19 0 906097781 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=0.11 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 2323 0 0 0 11 0 0 0 16 0 19 0 906097782 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.61 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4034 0 0 0 61 0 0 0 15 0 19 0 906097785 13960757248 31748 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.38 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 38 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1010 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=22.53 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7799 0 0 0 2245 8 0 0 15 0 19 0 906097782 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38381 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1665.3 Current children cumulated vsize (KiB) 13633552 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 12882 /proc/meminfo: memFree=23771860/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=1725.35 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42066 0 1 0 172515 20 0 0 25 0 19 0 906097778 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 38386 2269 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1697.3 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19577 0 1 0 169725 5 0 0 25 0 19 0 906097779 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505868631 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 324 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 360 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.47 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 47 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.41 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 323 0 0 0 41 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.39 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 39 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1015 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=23.34 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7803 0 0 0 2326 8 0 0 15 0 19 0 906097782 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38386 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1725.35 Current children cumulated vsize (KiB) 13633552 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/506 12884 /proc/meminfo: memFree=23770468/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=1785.39 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42115 0 1 0 178519 20 0 0 25 0 19 0 906097778 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 38411 2269 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1756.39 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19597 0 1 0 175633 6 0 0 25 0 19 0 906097779 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505869146 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 331 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.42 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 369 0 0 0 42 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.49 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 49 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 330 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.4 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 40 0 0 0 16 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.46 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 46 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1017 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=24.18 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7805 0 0 0 2410 8 0 0 15 0 19 0 906097782 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1785.39 Current children cumulated vsize (KiB) 13633552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797 s] /proc/loadavg: 2.00 2.01 2.00 3/506 12884 /proc/meminfo: memFree=23770332/32951124 swapFree=56297244/67111528 [pid=12530] ppid=12528 vsize=13633552 CPUtime=1800.1 cores=0,2,4,6 /proc/12530/stat : 12530 (java) S 12528 12530 8699 0 -1 4202496 42123 0 1 0 179990 20 0 0 25 0 19 0 906097778 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/12530/statm: 3408388 38411 2269 9 0 3399122 0 [pid=12530/tid=12531] ppid=12528 vsize=13633552 CPUtime=1770.92 cores=0,2,4,6 /proc/12530/task/12531/stat : 12531 (java) R 12528 12530 8699 0 -1 4202560 19601 0 1 0 177086 6 0 0 25 0 19 0 906097779 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 46912505805061 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=12530/tid=12533] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6 /proc/12530/task/12533/stat : 12533 (java) S 12528 12530 8699 0 -1 4202560 897 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12534] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6 /proc/12530/task/12534/stat : 12534 (java) S 12528 12530 8699 0 -1 4202560 331 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12535] ppid=12528 vsize=13633552 CPUtime=0.43 cores=0,2,4,6 /proc/12530/task/12535/stat : 12535 (java) S 12528 12530 8699 0 -1 4202560 369 0 0 0 43 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12536] ppid=12528 vsize=13633552 CPUtime=0.5 cores=0,2,4,6 /proc/12530/task/12536/stat : 12536 (java) S 12528 12530 8699 0 -1 4202560 164 0 0 0 50 0 0 0 16 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12537] ppid=12528 vsize=13633552 CPUtime=0.44 cores=0,2,4,6 /proc/12530/task/12537/stat : 12537 (java) S 12528 12530 8699 0 -1 4202560 330 0 0 0 44 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12538] ppid=12528 vsize=13633552 CPUtime=0.4 cores=0,2,4,6 /proc/12530/task/12538/stat : 12538 (java) S 12528 12530 8699 0 -1 4202560 61 0 0 0 40 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12539] ppid=12528 vsize=13633552 CPUtime=0.46 cores=0,2,4,6 /proc/12530/task/12539/stat : 12539 (java) S 12528 12530 8699 0 -1 4202560 900 0 0 0 46 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12540] ppid=12528 vsize=13633552 CPUtime=0.45 cores=0,2,4,6 /proc/12530/task/12540/stat : 12540 (java) S 12528 12530 8699 0 -1 4202560 1017 0 0 0 45 0 0 0 15 0 19 0 906097781 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12541] ppid=12528 vsize=13633552 CPUtime=24.37 cores=0,2,4,6 /proc/12530/task/12541/stat : 12541 (java) S 12528 12530 8699 0 -1 4202560 7807 0 0 0 2428 9 0 0 15 0 19 0 906097782 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 0 0 16800975 18446604442457615424 0 0 -1 2 0 0 0 [pid=12530/tid=12542] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12542/stat : 12542 (java) S 12528 12530 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12543] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12543/stat : 12543 (java) S 12528 12530 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 906097783 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12544] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12544/stat : 12544 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469889457 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12545] ppid=12528 vsize=13633552 CPUtime=0.54 cores=0,2,4,6 /proc/12530/task/12545/stat : 12545 (java) S 12528 12530 8699 0 -1 4202560 5359 0 0 0 54 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 [pid=12530/tid=12546] ppid=12528 vsize=13633552 CPUtime=0.63 cores=0,2,4,6 /proc/12530/task/12546/stat : 12546 (java) S 12528 12530 8699 0 -1 4202560 4036 0 0 0 63 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12547] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12547/stat : 12547 (java) S 12528 12530 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469881753 0 4 0 16800975 18446604442457615424 0 0 -1 4 0 0 0 [pid=12530/tid=12548] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12548/stat : 12548 (java) S 12528 12530 8699 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 906097785 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 0 0 0 0 [pid=12530/tid=12549] ppid=12528 vsize=13633552 CPUtime=0 cores=0,2,4,6 /proc/12530/task/12549/stat : 12549 (java) S 12528 12530 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906097827 13960757248 38411 33554432000 1073741824 1073778376 140735291636560 18446744073709551615 252469882368 0 4 0 16800975 18446604442457615424 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13633552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.05 CPU time (s): 1800.17 CPU user time (s): 1799.95 CPU system time (s): 0.216967 CPU usage (%): 100.174 Max. virtual memory (cumulated for all children) (KiB): 13633552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.95 system time used= 0.216967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42166 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53076 involuntary context switches= 28537 runsolver used 9.1916 second user time and 18.6092 second system time The end
Begin job on node111 at 2011-06-04 05:37:53 IDJOB=3458303 IDBENCH=48123 IDSOLVER=1952 FILE ID=node111/3458303-1307158673 RUNJOBID= node111-1307156522-11740 PBS_JOBID= 13508805 Free space on /tmp= 73868 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458303-1307158673/watcher-3458303-1307158673 -o /tmp/evaluation-result-3458303-1307158673/solver-3458303-1307158673 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458303-1307158673.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e RANDOM SEED=768673562 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24039576 kB Buffers: 312656 kB Cached: 818964 kB SwapCached: 11784 kB Active: 7867692 kB Inactive: 765232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24039576 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 7499076 kB Mapped: 36056 kB Slab: 143316 kB PageTables: 66680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162514912 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73868 MiB End job on node111 at 2011-06-04 06:07:52