Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | -63 | 1800.18 | 1795.17 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb |
MD5SUM | 40141f2f083fa5e1f8a41aa043de0b1b |
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 | -66 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -69 |
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 | 25 |
Maximum length of a constraint | 47 |
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) | 15706 |
Sum of products size (including duplicates) | 31412 |
Number of different products | 7853 |
Sum of products size | 15706 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 12995394264 0.04/0.09 c Max memory 13063553024 0.04/0.09 c Total memory 13063553024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3458362-1307159552.opb 0.11/0.11 c reading problem ... 0.25/0.63 c ... done. Wall clock time 0.45s. 0.25/0.63 c #vars 8353 0.25/0.63 c #constraints 24059 0.25/0.63 c constraints type 0.25/0.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853 0.25/0.63 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 0.25/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853 0.25/0.66 c SATISFIABLE 0.25/0.66 c OPTIMIZING... 0.25/0.66 c Got one! Elapsed wall clock time (in seconds):0.555 0.25/0.66 o -50 1.32/0.78 c Got one! Elapsed wall clock time (in seconds):0.673 1.32/0.78 o -57 1.96/0.80 c Got one! Elapsed wall clock time (in seconds):0.695 1.96/0.80 o -59 1.96/0.84 c Got one! Elapsed wall clock time (in seconds):0.733 1.96/0.84 o -60 2.67/1.43 c cleaning 2715 clauses out of 5430 with flag 5000/5430 3.31/2.06 c cleaning 4358 clauses out of 8715 with flag 11000/11430 3.52/2.28 c Got one! Elapsed wall clock time (in seconds):2.172 3.52/2.28 o -63 3.95/2.68 c cleaning 5100 clauses out of 10199 with flag 4001/17272 4.65/3.31 c cleaning 5544 clauses out of 11098 with flag 10000/23271 5.38/4.03 c cleaning 6271 clauses out of 12554 with flag 17000/30271 6.20/4.85 c cleaning 7137 clauses out of 14284 with flag 25001/38272 7.24/5.83 c cleaning 8070 clauses out of 16146 with flag 34000/47271 8.23/6.90 c cleaning 9037 clauses out of 18076 with flag 44000/57271 9.54/8.16 c cleaning 10017 clauses out of 20039 with flag 55000/68271 10.94/9.53 c cleaning 11008 clauses out of 22022 with flag 67000/80271 12.35/10.98 c cleaning 12003 clauses out of 24015 with flag 80001/93272 14.07/12.63 c cleaning 12989 clauses out of 26011 with flag 94000/107271 15.78/14.33 c cleaning 14008 clauses out of 28022 with flag 109000/122271 17.68/16.20 c cleaning 15002 clauses out of 30014 with flag 125000/138271 19.80/18.38 c cleaning 16006 clauses out of 32012 with flag 142000/155271 22.21/20.73 c cleaning 16500 clauses out of 33006 with flag 159000/172271 24.23/22.72 c cleaning 16751 clauses out of 33506 with flag 176000/189271 26.25/24.78 c cleaning 16871 clauses out of 33755 with flag 193000/206271 28.36/26.89 c cleaning 16939 clauses out of 33884 with flag 210000/223271 30.39/28.91 c cleaning 16973 clauses out of 33946 with flag 227001/240272 32.78/31.24 c cleaning 16987 clauses out of 33973 with flag 244001/257272 34.69/33.19 c cleaning 16989 clauses out of 33986 with flag 261001/274272 36.83/35.27 c cleaning 16992 clauses out of 33997 with flag 278001/291272 38.84/37.29 c cleaning 16997 clauses out of 34004 with flag 295000/308271 40.95/39.40 c cleaning 16996 clauses out of 34009 with flag 312002/325273 43.36/41.75 c cleaning 16999 clauses out of 34011 with flag 329000/342271 45.47/43.89 c cleaning 17002 clauses out of 34013 with flag 346001/359272 47.98/46.32 c cleaning 16996 clauses out of 34011 with flag 363001/376272 50.31/48.69 c cleaning 17000 clauses out of 34014 with flag 380000/393271 52.31/50.60 c cleaning 17007 clauses out of 34015 with flag 397001/410272 54.32/52.67 c cleaning 17003 clauses out of 34007 with flag 414000/427271 56.53/54.87 c cleaning 17002 clauses out of 34006 with flag 431002/444273 58.74/57.04 c cleaning 16993 clauses out of 34002 with flag 448000/461271 61.05/59.39 c cleaning 16996 clauses out of 34010 with flag 465001/478272 63.36/61.69 c cleaning 17001 clauses out of 34015 with flag 482002/495273 65.68/63.91 c cleaning 17004 clauses out of 34013 with flag 499001/512272 67.78/66.06 c cleaning 17002 clauses out of 34008 with flag 516000/529271 70.21/68.45 c cleaning 16998 clauses out of 34006 with flag 533000/546271 72.91/71.10 c cleaning 17000 clauses out of 34009 with flag 550001/563272 75.42/73.62 c cleaning 16994 clauses out of 34009 with flag 567001/580272 77.53/75.77 c cleaning 16994 clauses out of 34014 with flag 584000/597271 79.54/77.79 c cleaning 17004 clauses out of 34020 with flag 601000/614271 81.76/79.92 c cleaning 17005 clauses out of 34016 with flag 618000/631271 84.07/82.21 c cleaning 16999 clauses out of 34011 with flag 635000/648271 86.28/84.48 c cleaning 17003 clauses out of 34014 with flag 652002/665273 88.39/86.55 c cleaning 17003 clauses out of 34010 with flag 669001/682272 90.70/88.89 c cleaning 16996 clauses out of 34007 with flag 686001/699272 93.11/91.23 c cleaning 16993 clauses out of 34011 with flag 703001/716272 95.22/93.37 c cleaning 17001 clauses out of 34018 with flag 720001/733272 97.53/95.61 c cleaning 17002 clauses out of 34016 with flag 737000/750271 99.84/97.96 c cleaning 17008 clauses out of 34015 with flag 754001/767272 102.36/100.45 c cleaning 16997 clauses out of 34006 with flag 771000/784271 104.76/102.85 c cleaning 16995 clauses out of 34009 with flag 788000/801271 107.07/105.18 c cleaning 17005 clauses out of 34014 with flag 805000/818271 109.68/107.71 c cleaning 17000 clauses out of 34010 with flag 822001/835272 112.20/110.24 c cleaning 17003 clauses out of 34011 with flag 839002/852273 114.60/112.69 c cleaning 17000 clauses out of 34007 with flag 856001/869272 117.11/115.10 c cleaning 16994 clauses out of 34006 with flag 873000/886271 119.03/117.00 c cleaning 16997 clauses out of 34012 with flag 890000/903271 121.05/119.09 c cleaning 16998 clauses out of 34017 with flag 907002/920273 123.37/121.35 c cleaning 16993 clauses out of 34017 with flag 924000/937271 125.47/123.43 c cleaning 17013 clauses out of 34025 with flag 941001/954272 127.87/125.83 c cleaning 16996 clauses out of 34011 with flag 958000/971271 130.21/128.10 c cleaning 17004 clauses out of 34015 with flag 975000/988271 132.51/130.43 c cleaning 16990 clauses out of 34012 with flag 992001/1005272 134.61/132.51 c cleaning 17011 clauses out of 34022 with flag 1009001/1022272 136.82/134.75 c cleaning 16997 clauses out of 34011 with flag 1026001/1039272 139.12/137.05 c cleaning 17001 clauses out of 34014 with flag 1043001/1056272 141.53/139.45 c cleaning 17002 clauses out of 34012 with flag 1060000/1073271 143.74/141.62 c cleaning 16995 clauses out of 34011 with flag 1077001/1090272 146.05/143.91 c cleaning 17002 clauses out of 34015 with flag 1094000/1107271 148.35/146.21 c cleaning 16994 clauses out of 34013 with flag 1111000/1124271 150.66/148.56 c cleaning 16999 clauses out of 34019 with flag 1128000/1141271 153.08/150.93 c cleaning 17004 clauses out of 34020 with flag 1145000/1158271 155.57/153.40 c cleaning 17003 clauses out of 34016 with flag 1162000/1175271 157.77/155.65 c cleaning 16997 clauses out of 34013 with flag 1179000/1192271 160.18/158.02 c cleaning 16992 clauses out of 34016 with flag 1196000/1209271 162.49/160.37 c cleaning 16995 clauses out of 34024 with flag 1213000/1226271 164.99/162.80 c cleaning 17005 clauses out of 34029 with flag 1230000/1243271 167.30/165.15 c cleaning 16991 clauses out of 34024 with flag 1247000/1260271 169.73/167.55 c cleaning 17006 clauses out of 34033 with flag 1264000/1277271 172.22/170.00 c cleaning 16995 clauses out of 34028 with flag 1281001/1294272 174.52/172.39 c cleaning 16997 clauses out of 34032 with flag 1298000/1311271 176.82/174.65 c cleaning 17012 clauses out of 34035 with flag 1315000/1328271 178.73/176.55 c cleaning 17001 clauses out of 34023 with flag 1332000/1345271 180.84/178.65 c cleaning 16998 clauses out of 34023 with flag 1349001/1362272 183.06/180.86 c cleaning 17008 clauses out of 34024 with flag 1366000/1379271 185.18/182.93 c cleaning 16999 clauses out of 34017 with flag 1383001/1396272 187.47/185.27 c cleaning 17008 clauses out of 34018 with flag 1400001/1413272 189.78/187.53 c cleaning 16997 clauses out of 34009 with flag 1417000/1430271 192.19/189.96 c cleaning 17000 clauses out of 34012 with flag 1434000/1447271 194.30/192.04 c cleaning 16987 clauses out of 34012 with flag 1451000/1464271 196.61/194.34 c cleaning 17004 clauses out of 34025 with flag 1468000/1481271 198.91/196.68 c cleaning 16997 clauses out of 34021 with flag 1485000/1498271 201.32/199.02 c cleaning 17000 clauses out of 34025 with flag 1502001/1515272 203.32/201.03 c cleaning 17004 clauses out of 34024 with flag 1519000/1532271 205.53/203.22 c cleaning 17005 clauses out of 34020 with flag 1536000/1549271 207.84/205.60 c cleaning 17008 clauses out of 34018 with flag 1553003/1566274 210.15/207.82 c cleaning 16999 clauses out of 34008 with flag 1570001/1583272 212.56/210.22 c cleaning 16995 clauses out of 34008 with flag 1587000/1600271 214.88/212.54 c cleaning 16993 clauses out of 34013 with flag 1604000/1617271 217.08/214.80 c cleaning 17008 clauses out of 34021 with flag 1621001/1634272 219.57/217.22 c cleaning 17003 clauses out of 34012 with flag 1638000/1651271 221.98/219.63 c cleaning 16999 clauses out of 34009 with flag 1655000/1668271 224.48/222.17 c cleaning 17001 clauses out of 34010 with flag 1672000/1685271 227.11/224.77 c cleaning 17003 clauses out of 34010 with flag 1689001/1702272 229.60/227.20 c cleaning 16998 clauses out of 34007 with flag 1706001/1719272 232.01/229.62 c cleaning 16998 clauses out of 34008 with flag 1723000/1736271 234.51/232.12 c cleaning 16998 clauses out of 34010 with flag 1740000/1753271 237.11/234.72 c cleaning 17004 clauses out of 34012 with flag 1757000/1770271 239.52/237.14 c cleaning 17000 clauses out of 34009 with flag 1774001/1787272 241.84/239.49 c cleaning 17000 clauses out of 34009 with flag 1791001/1804272 244.34/241.93 c cleaning 17001 clauses out of 34010 with flag 1808002/1821273 246.85/244.50 c cleaning 16998 clauses out of 34008 with flag 1825001/1838272 249.55/247.11 c cleaning 16995 clauses out of 34009 with flag 1842000/1855271 252.06/249.69 c cleaning 16998 clauses out of 34014 with flag 1859000/1872271 254.68/252.25 c cleaning 16999 clauses out of 34016 with flag 1876000/1889271 257.36/254.94 c cleaning 17001 clauses out of 34017 with flag 1893000/1906271 259.97/257.53 c cleaning 17009 clauses out of 34017 with flag 1910001/1923272 262.58/260.19 c cleaning 16996 clauses out of 34007 with flag 1927000/1940271 265.18/262.76 c cleaning 17000 clauses out of 34011 with flag 1944000/1957271 267.79/265.34 c cleaning 17003 clauses out of 34011 with flag 1961000/1974271 270.58/268.13 c cleaning 17003 clauses out of 34009 with flag 1978001/1991272 272.50/270.02 c cleaning 16995 clauses out of 34006 with flag 1995001/2008272 274.53/272.06 c cleaning 16998 clauses out of 34010 with flag 2012000/2025271 276.52/274.09 c cleaning 17002 clauses out of 34013 with flag 2029001/2042272 278.62/276.13 c cleaning 16991 clauses out of 34010 with flag 2046000/2059271 280.93/278.49 c cleaning 16999 clauses out of 34020 with flag 2063001/2076272 283.25/280.77 c cleaning 16996 clauses out of 34020 with flag 2080000/2093271 285.64/283.10 c cleaning 17009 clauses out of 34024 with flag 2097000/2110271 287.77/285.28 c cleaning 17000 clauses out of 34015 with flag 2114000/2127271 290.06/287.58 c cleaning 17001 clauses out of 34016 with flag 2131001/2144272 292.47/289.90 c cleaning 16998 clauses out of 34014 with flag 2148000/2161271 294.87/292.36 c cleaning 17005 clauses out of 34017 with flag 2165001/2178272 296.88/294.38 c cleaning 16995 clauses out of 34012 with flag 2182001/2195272 299.20/296.62 c cleaning 17003 clauses out of 34017 with flag 2199001/2212272 301.61/299.01 c cleaning 16998 clauses out of 34014 with flag 2216001/2229272 303.92/301.35 c cleaning 16996 clauses out of 34015 with flag 2233000/2246271 306.23/303.68 c cleaning 17003 clauses out of 34020 with flag 2250001/2263272 308.65/306.04 c cleaning 17001 clauses out of 34016 with flag 2267000/2280271 310.74/308.21 c cleaning 17002 clauses out of 34016 with flag 2284001/2297272 313.17/310.58 c cleaning 16997 clauses out of 34013 with flag 2301000/2314271 315.45/312.85 c cleaning 17001 clauses out of 34016 with flag 2318000/2331271 317.75/315.18 c cleaning 16996 clauses out of 34015 with flag 2335000/2348271 320.06/317.41 c cleaning 17000 clauses out of 34020 with flag 2352001/2365272 322.47/319.82 c cleaning 16999 clauses out of 34020 with flag 2369001/2382272 324.77/322.12 c cleaning 17002 clauses out of 34021 with flag 2386001/2399272 327.17/324.50 c cleaning 16994 clauses out of 34019 with flag 2403001/2416272 329.48/326.85 c cleaning 17001 clauses out of 34024 with flag 2420000/2433271 331.68/329.11 c cleaning 17004 clauses out of 34023 with flag 2437000/2450271 334.01/331.39 c cleaning 17002 clauses out of 34019 with flag 2454000/2467271 336.21/333.61 c cleaning 16998 clauses out of 34017 with flag 2471000/2484271 338.61/335.90 c cleaning 17006 clauses out of 34019 with flag 2488000/2501271 340.91/338.22 c cleaning 17002 clauses out of 34013 with flag 2505000/2518271 343.41/340.72 c cleaning 17002 clauses out of 34011 with flag 2522000/2535271 345.62/342.98 c cleaning 16986 clauses out of 34010 with flag 2539001/2552272 348.02/345.32 c cleaning 17010 clauses out of 34024 with flag 2556001/2569272 350.33/347.67 c cleaning 17007 clauses out of 34013 with flag 2573000/2586271 352.63/350.01 c cleaning 17000 clauses out of 34006 with flag 2590000/2603271 354.95/352.26 c cleaning 16992 clauses out of 34007 with flag 2607001/2620272 357.26/354.59 c cleaning 17000 clauses out of 34014 with flag 2624000/2637271 359.64/356.99 c cleaning 17008 clauses out of 34015 with flag 2641001/2654272 361.84/359.18 c cleaning 16995 clauses out of 34006 with flag 2658000/2671271 364.14/361.45 c cleaning 16995 clauses out of 34012 with flag 2675001/2688272 366.45/363.72 c cleaning 17001 clauses out of 34017 with flag 2692001/2705272 368.66/366.00 c cleaning 16998 clauses out of 34015 with flag 2709000/2722271 371.07/368.34 c cleaning 16996 clauses out of 34018 with flag 2726001/2739272 373.38/370.61 c cleaning 17008 clauses out of 34021 with flag 2743000/2756271 375.68/372.99 c cleaning 16998 clauses out of 34014 with flag 2760001/2773272 378.10/375.37 c cleaning 16999 clauses out of 34015 with flag 2777000/2790271 380.49/377.76 c cleaning 17003 clauses out of 34016 with flag 2794000/2807271 382.89/380.14 c cleaning 16998 clauses out of 34013 with flag 2811000/2824271 385.39/382.63 c cleaning 17002 clauses out of 34015 with flag 2828000/2841271 387.90/385.12 c cleaning 17005 clauses out of 34013 with flag 2845000/2858271 390.21/387.43 c cleaning 17004 clauses out of 34009 with flag 2862001/2875272 392.41/389.69 c cleaning 16993 clauses out of 34004 with flag 2879000/2892271 394.90/392.11 c cleaning 17004 clauses out of 34011 with flag 2896000/2909271 397.21/394.44 c cleaning 16983 clauses out of 34007 with flag 2913000/2926271 399.61/396.81 c cleaning 16996 clauses out of 34024 with flag 2930000/2943271 401.91/399.14 c cleaning 17007 clauses out of 34028 with flag 2947000/2960271 404.31/401.51 c cleaning 17001 clauses out of 34022 with flag 2964001/2977272 406.42/403.66 c cleaning 16998 clauses out of 34020 with flag 2981000/2994271 408.44/405.68 c cleaning 17006 clauses out of 34022 with flag 2998000/3011271 410.55/407.75 c cleaning 17000 clauses out of 34016 with flag 3015000/3028271 412.96/410.13 c cleaning 17002 clauses out of 34016 with flag 3032000/3045271 415.26/412.43 c cleaning 16991 clauses out of 34014 with flag 3049000/3062271 417.47/414.64 c cleaning 17004 clauses out of 34023 with flag 3066000/3079271 419.78/416.93 c cleaning 17003 clauses out of 34021 with flag 3083002/3096273 421.98/419.13 c cleaning 16995 clauses out of 34016 with flag 3100000/3113271 424.09/421.20 c cleaning 16999 clauses out of 34021 with flag 3117000/3130271 426.30/423.48 c cleaning 17005 clauses out of 34022 with flag 3134000/3147271 428.70/425.88 c cleaning 16994 clauses out of 34018 with flag 3151001/3164272 431.12/428.25 c cleaning 17002 clauses out of 34023 with flag 3168000/3181271 433.22/430.34 c cleaning 16998 clauses out of 34022 with flag 3185001/3198272 435.53/432.62 c cleaning 17003 clauses out of 34024 with flag 3202001/3215272 437.92/435.03 c cleaning 17000 clauses out of 34021 with flag 3219001/3232272 440.22/437.32 c cleaning 17003 clauses out of 34022 with flag 3236002/3249273 442.43/439.54 c cleaning 16996 clauses out of 34017 with flag 3253000/3266271 444.83/441.90 c cleaning 16997 clauses out of 34022 with flag 3270001/3283272 447.04/444.16 c cleaning 17003 clauses out of 34024 with flag 3287000/3300271 449.45/446.54 c cleaning 17006 clauses out of 34021 with flag 3304000/3317271 451.76/448.82 c cleaning 16994 clauses out of 34015 with flag 3321000/3334271 454.06/451.17 c cleaning 17004 clauses out of 34021 with flag 3338000/3351271 456.57/453.61 c cleaning 17002 clauses out of 34018 with flag 3355001/3368272 458.98/456.08 c cleaning 17005 clauses out of 34016 with flag 3372001/3385272 461.28/458.39 c cleaning 16996 clauses out of 34010 with flag 3389000/3402271 463.68/460.72 c cleaning 17006 clauses out of 34015 with flag 3406001/3419272 465.99/463.00 c cleaning 16998 clauses out of 34008 with flag 3423000/3436271 468.21/465.27 c cleaning 17001 clauses out of 34011 with flag 3440001/3453272 470.61/467.63 c cleaning 17000 clauses out of 34009 with flag 3457000/3470271 473.11/470.12 c cleaning 16998 clauses out of 34009 with flag 3474000/3487271 475.42/472.47 c cleaning 16993 clauses out of 34011 with flag 3491000/3504271 478.03/475.03 c cleaning 17005 clauses out of 34019 with flag 3508001/3521272 480.64/477.64 c cleaning 17008 clauses out of 34015 with flag 3525002/3538273 483.03/480.08 c cleaning 16994 clauses out of 34007 with flag 3542002/3555273 485.54/482.55 c cleaning 17003 clauses out of 34011 with flag 3559000/3572271 488.04/485.07 c cleaning 16999 clauses out of 34009 with flag 3576001/3589272 490.45/487.51 c cleaning 16999 clauses out of 34011 with flag 3593002/3606273 493.05/490.04 c cleaning 17005 clauses out of 34010 with flag 3610000/3623271 495.65/492.68 c cleaning 16997 clauses out of 34005 with flag 3627000/3640271 497.96/494.96 c cleaning 16992 clauses out of 34008 with flag 3644000/3657271 500.27/497.22 c cleaning 16999 clauses out of 34017 with flag 3661001/3674272 502.57/499.55 c cleaning 16999 clauses out of 34017 with flag 3678000/3691271 504.89/501.90 c cleaning 17001 clauses out of 34018 with flag 3695000/3708271 507.38/504.35 c cleaning 17001 clauses out of 34017 with flag 3712000/3725271 509.69/506.63 c cleaning 17002 clauses out of 34017 with flag 3729001/3742272 511.99/508.95 c cleaning 16999 clauses out of 34015 with flag 3746001/3759272 514.39/511.38 c cleaning 17001 clauses out of 34015 with flag 3763000/3776271 517.01/513.96 c cleaning 17005 clauses out of 34015 with flag 3780001/3793272 519.21/516.19 c cleaning 16992 clauses out of 34010 with flag 3797001/3810272 521.60/518.55 c cleaning 17006 clauses out of 34017 with flag 3814000/3827271 524.00/520.93 c cleaning 17000 clauses out of 34011 with flag 3831000/3844271 526.41/523.36 c cleaning 17001 clauses out of 34011 with flag 3848000/3861271 528.82/525.76 c cleaning 17000 clauses out of 34010 with flag 3865000/3878271 531.33/528.31 c cleaning 17002 clauses out of 34010 with flag 3882000/3895271 533.83/530.76 c cleaning 16997 clauses out of 34008 with flag 3899000/3912271 536.33/533.21 c cleaning 16989 clauses out of 34011 with flag 3916000/3929271 538.83/535.75 c cleaning 17002 clauses out of 34022 with flag 3933000/3946271 541.36/538.25 c cleaning 17006 clauses out of 34021 with flag 3950001/3963272 543.94/540.87 c cleaning 16996 clauses out of 34014 with flag 3967000/3980271 546.15/543.09 c cleaning 17002 clauses out of 34018 with flag 3984000/3997271 548.66/545.52 c cleaning 17006 clauses out of 34017 with flag 4001001/4014272 551.07/547.98 c cleaning 16997 clauses out of 34010 with flag 4018000/4031271 553.38/550.27 c cleaning 17004 clauses out of 34014 with flag 4035001/4048272 555.78/552.66 c cleaning 16993 clauses out of 34010 with flag 4052001/4065272 558.18/555.04 c cleaning 17002 clauses out of 34016 with flag 4069000/4082271 560.49/557.33 c cleaning 16997 clauses out of 34014 with flag 4086000/4099271 562.89/559.72 c cleaning 17002 clauses out of 34018 with flag 4103001/4116272 565.40/562.32 c cleaning 16996 clauses out of 34015 with flag 4120000/4133271 568.10/564.96 c cleaning 17009 clauses out of 34020 with flag 4137001/4150272 570.60/567.45 c cleaning 17001 clauses out of 34010 with flag 4154000/4167271 572.91/569.77 c cleaning 16997 clauses out of 34010 with flag 4171001/4184272 575.43/572.23 c cleaning 16998 clauses out of 34013 with flag 4188001/4201272 577.92/574.78 c cleaning 16996 clauses out of 34014 with flag 4205000/4218271 580.52/577.34 c cleaning 17009 clauses out of 34020 with flag 4222002/4235273 582.93/579.78 c cleaning 16995 clauses out of 34009 with flag 4239000/4252271 585.45/582.25 c cleaning 17001 clauses out of 34015 with flag 4256001/4269272 587.93/584.74 c cleaning 17001 clauses out of 34013 with flag 4273000/4286271 590.54/587.34 c cleaning 17000 clauses out of 34012 with flag 4290000/4303271 593.16/589.98 c cleaning 17002 clauses out of 34012 with flag 4307000/4320271 595.94/592.74 c cleaning 17003 clauses out of 34010 with flag 4324000/4337271 598.68/595.47 c cleaning 16993 clauses out of 34008 with flag 4341001/4354272 601.16/597.98 c cleaning 17003 clauses out of 34016 with flag 4358002/4371273 603.77/600.57 c cleaning 16997 clauses out of 34011 with flag 4375000/4388271 606.57/603.30 c cleaning 16998 clauses out of 34014 with flag 4392000/4405271 609.37/606.10 c cleaning 17003 clauses out of 34016 with flag 4409000/4422271 612.17/608.96 c cleaning 17003 clauses out of 34013 with flag 4426000/4439271 615.09/611.88 c cleaning 17001 clauses out of 34011 with flag 4443001/4456272 618.18/614.91 c cleaning 16996 clauses out of 34009 with flag 4460000/4473271 620.78/617.56 c cleaning 16999 clauses out of 34013 with flag 4477000/4490271 622.69/619.50 c cleaning 17001 clauses out of 34014 with flag 4494000/4507271 624.81/621.59 c cleaning 16997 clauses out of 34013 with flag 4511000/4524271 627.12/623.90 c cleaning 16994 clauses out of 34016 with flag 4528000/4541271 629.44/626.18 c cleaning 16995 clauses out of 34022 with flag 4545000/4558271 631.53/628.31 c cleaning 17008 clauses out of 34027 with flag 4562000/4575271 633.96/630.63 c cleaning 16998 clauses out of 34020 with flag 4579001/4592272 636.16/632.88 c cleaning 17002 clauses out of 34021 with flag 4596000/4609271 638.14/634.91 c cleaning 16998 clauses out of 34020 with flag 4613001/4626272 640.46/637.12 c cleaning 17001 clauses out of 34021 with flag 4630000/4643271 642.67/639.32 c cleaning 16997 clauses out of 34021 with flag 4647001/4660272 644.77/641.51 c cleaning 16998 clauses out of 34023 with flag 4664000/4677271 646.97/643.63 c cleaning 17005 clauses out of 34025 with flag 4681000/4694271 649.18/645.87 c cleaning 16999 clauses out of 34020 with flag 4698000/4711271 651.49/648.14 c cleaning 16998 clauses out of 34021 with flag 4715000/4728271 653.80/650.43 c cleaning 17005 clauses out of 34023 with flag 4732000/4745271 656.19/652.80 c cleaning 16998 clauses out of 34018 with flag 4749000/4762271 658.59/655.27 c cleaning 16996 clauses out of 34021 with flag 4766001/4779272 660.79/657.43 c cleaning 17005 clauses out of 34024 with flag 4783000/4796271 663.09/659.75 c cleaning 17002 clauses out of 34020 with flag 4800001/4813272 665.30/661.97 c cleaning 17003 clauses out of 34018 with flag 4817001/4830272 667.60/664.27 c cleaning 17001 clauses out of 34014 with flag 4834000/4847271 670.01/666.66 c cleaning 16990 clauses out of 34013 with flag 4851000/4864271 672.42/669.10 c cleaning 17001 clauses out of 34024 with flag 4868001/4881272 674.81/671.47 c cleaning 17004 clauses out of 34022 with flag 4885000/4898271 677.21/673.83 c cleaning 16995 clauses out of 34018 with flag 4902000/4915271 679.41/676.09 c cleaning 17010 clauses out of 34025 with flag 4919002/4932273 681.63/678.27 c cleaning 16998 clauses out of 34014 with flag 4936001/4949272 683.94/680.57 c cleaning 16992 clauses out of 34015 with flag 4953000/4966271 686.24/682.85 c cleaning 17004 clauses out of 34023 with flag 4970000/4983271 688.45/685.09 c cleaning 16993 clauses out of 34021 with flag 4987002/5000273 690.75/687.38 c cleaning 17005 clauses out of 34026 with flag 5004000/5017271 693.15/689.72 c cleaning 17007 clauses out of 34021 with flag 5021000/5034271 695.46/692.00 c cleaning 17002 clauses out of 34014 with flag 5038000/5051271 697.77/694.41 c cleaning 17000 clauses out of 34012 with flag 5055000/5068271 700.16/696.79 c cleaning 16997 clauses out of 34012 with flag 5072000/5085271 702.66/699.22 c cleaning 16999 clauses out of 34016 with flag 5089001/5102272 704.97/701.53 c cleaning 17002 clauses out of 34016 with flag 5106000/5119271 707.27/703.85 c cleaning 16993 clauses out of 34014 with flag 5123000/5136271 709.48/706.01 c cleaning 17005 clauses out of 34022 with flag 5140001/5153272 711.89/708.40 c cleaning 16993 clauses out of 34016 with flag 5157000/5170271 714.31/710.85 c cleaning 16999 clauses out of 34023 with flag 5174000/5187271 716.62/713.16 c cleaning 17001 clauses out of 34024 with flag 5191000/5204271 719.11/715.62 c cleaning 17004 clauses out of 34023 with flag 5208000/5221271 721.52/718.10 c cleaning 16997 clauses out of 34020 with flag 5225001/5238272 724.02/720.51 c cleaning 17002 clauses out of 34022 with flag 5242000/5255271 726.54/723.08 c cleaning 16993 clauses out of 34021 with flag 5259001/5272272 729.13/725.61 c cleaning 17000 clauses out of 34029 with flag 5276002/5289273 731.53/728.07 c cleaning 17009 clauses out of 34027 with flag 5293000/5306271 734.04/730.60 c cleaning 17002 clauses out of 34018 with flag 5310000/5323271 736.47/732.93 c cleaning 16995 clauses out of 34016 with flag 5327000/5340271 738.95/735.43 c cleaning 17002 clauses out of 34021 with flag 5344000/5357271 741.45/737.92 c cleaning 17008 clauses out of 34021 with flag 5361002/5374273 743.95/740.41 c cleaning 16994 clauses out of 34012 with flag 5378001/5391272 746.45/742.99 c cleaning 16999 clauses out of 34017 with flag 5395000/5408271 748.96/745.42 c cleaning 16995 clauses out of 34019 with flag 5412001/5425272 751.36/747.82 c cleaning 17004 clauses out of 34023 with flag 5429000/5442271 753.87/750.33 c cleaning 17002 clauses out of 34020 with flag 5446001/5459272 756.38/752.80 c cleaning 16995 clauses out of 34019 with flag 5463002/5476273 758.50/754.93 c cleaning 17001 clauses out of 34022 with flag 5480000/5493271 760.78/757.26 c cleaning 17000 clauses out of 34022 with flag 5497001/5510272 763.10/759.59 c cleaning 16999 clauses out of 34021 with flag 5514000/5527271 765.40/761.82 c cleaning 17003 clauses out of 34022 with flag 5531000/5544271 767.71/764.15 c cleaning 16997 clauses out of 34020 with flag 5548001/5561272 770.12/766.54 c cleaning 16998 clauses out of 34022 with flag 5565000/5578271 772.52/768.96 c cleaning 16992 clauses out of 34025 with flag 5582001/5595272 774.83/771.31 c cleaning 17007 clauses out of 34032 with flag 5599000/5612271 777.32/773.76 c cleaning 16996 clauses out of 34025 with flag 5616000/5629271 779.73/776.10 c cleaning 16994 clauses out of 34029 with flag 5633000/5646271 782.03/778.40 c cleaning 17010 clauses out of 34035 with flag 5650000/5663271 784.34/780.71 c cleaning 17006 clauses out of 34025 with flag 5667000/5680271 786.75/783.12 c cleaning 16998 clauses out of 34020 with flag 5684001/5697272 789.15/785.55 c cleaning 16981 clauses out of 34021 with flag 5701000/5714271 791.65/788.06 c cleaning 17016 clauses out of 34040 with flag 5718000/5731271 794.16/790.52 c cleaning 16993 clauses out of 34024 with flag 5735000/5748271 796.56/792.98 c cleaning 17005 clauses out of 34031 with flag 5752000/5765271 799.06/795.50 c cleaning 17000 clauses out of 34026 with flag 5769000/5782271 801.50/797.84 c cleaning 17000 clauses out of 34026 with flag 5786000/5799271 803.79/800.14 c cleaning 17006 clauses out of 34027 with flag 5803001/5816272 806.19/802.55 c cleaning 17000 clauses out of 34020 with flag 5820000/5833271 808.59/804.94 c cleaning 16995 clauses out of 34020 with flag 5837000/5850271 811.20/807.50 c cleaning 17001 clauses out of 34025 with flag 5854000/5867271 813.41/809.78 c cleaning 16997 clauses out of 34024 with flag 5871000/5884271 816.00/812.30 c cleaning 16992 clauses out of 34028 with flag 5888001/5901272 818.31/814.63 c cleaning 17009 clauses out of 34036 with flag 5905001/5918272 820.82/817.19 c cleaning 17001 clauses out of 34026 with flag 5922000/5935271 823.32/819.65 c cleaning 16998 clauses out of 34025 with flag 5939000/5952271 825.82/822.13 c cleaning 17002 clauses out of 34027 with flag 5956000/5969271 828.03/824.38 c cleaning 17005 clauses out of 34026 with flag 5973001/5986272 830.64/826.91 c cleaning 17000 clauses out of 34021 with flag 5990001/6003272 833.15/829.45 c cleaning 17003 clauses out of 34020 with flag 6007000/6020271 835.75/832.10 c cleaning 17003 clauses out of 34018 with flag 6024001/6037272 838.45/834.77 c cleaning 16998 clauses out of 34015 with flag 6041001/6054272 841.07/837.34 c cleaning 16994 clauses out of 34018 with flag 6058002/6071273 843.66/839.98 c cleaning 17005 clauses out of 34022 with flag 6075000/6088271 846.36/842.61 c cleaning 16995 clauses out of 34019 with flag 6092002/6105273 848.96/845.25 c cleaning 17005 clauses out of 34022 with flag 6109000/6122271 851.68/847.96 c cleaning 17001 clauses out of 34018 with flag 6126001/6139272 854.48/850.72 c cleaning 16997 clauses out of 34016 with flag 6143000/6156271 857.29/853.52 c cleaning 16997 clauses out of 34019 with flag 6160000/6173271 859.81/856.09 c cleaning 17003 clauses out of 34022 with flag 6177000/6190271 862.40/858.63 c cleaning 17004 clauses out of 34019 with flag 6194000/6207271 864.81/861.10 c cleaning 17003 clauses out of 34015 with flag 6211000/6224271 867.31/863.53 c cleaning 17004 clauses out of 34013 with flag 6228001/6241272 869.84/866.02 c cleaning 16994 clauses out of 34008 with flag 6245000/6258271 872.22/868.48 c cleaning 16997 clauses out of 34015 with flag 6262001/6275272 874.83/871.02 c cleaning 17007 clauses out of 34018 with flag 6279001/6292272 877.44/873.68 c cleaning 17005 clauses out of 34010 with flag 6296000/6309271 879.75/875.94 c cleaning 16993 clauses out of 34006 with flag 6313001/6326272 882.13/878.31 c cleaning 17004 clauses out of 34014 with flag 6330002/6343273 884.43/880.68 c cleaning 16994 clauses out of 34008 with flag 6347000/6360271 886.84/883.03 c cleaning 16998 clauses out of 34014 with flag 6364000/6377271 889.24/885.44 c cleaning 16995 clauses out of 34016 with flag 6381000/6394271 891.64/887.92 c cleaning 17005 clauses out of 34021 with flag 6398000/6411271 894.15/890.33 c cleaning 17002 clauses out of 34017 with flag 6415001/6428272 896.54/892.78 c cleaning 17001 clauses out of 34014 with flag 6432000/6445271 899.04/895.21 c cleaning 16992 clauses out of 34013 with flag 6449000/6462271 901.54/897.74 c cleaning 16997 clauses out of 34021 with flag 6466000/6479271 904.15/900.39 c cleaning 17002 clauses out of 34024 with flag 6483000/6496271 906.55/902.78 c cleaning 17006 clauses out of 34022 with flag 6500000/6513271 909.16/905.30 c cleaning 16994 clauses out of 34017 with flag 6517001/6530272 911.57/907.72 c cleaning 17003 clauses out of 34022 with flag 6534000/6547271 914.06/910.27 c cleaning 17001 clauses out of 34019 with flag 6551000/6564271 916.56/912.74 c cleaning 17001 clauses out of 34018 with flag 6568000/6581271 919.06/915.28 c cleaning 16999 clauses out of 34019 with flag 6585002/6598273 921.59/917.73 c cleaning 16996 clauses out of 34018 with flag 6602000/6615271 923.97/920.18 c cleaning 17001 clauses out of 34022 with flag 6619000/6632271 926.57/922.76 c cleaning 17009 clauses out of 34022 with flag 6636001/6649272 929.07/925.27 c cleaning 16992 clauses out of 34012 with flag 6653000/6666271 931.77/927.91 c cleaning 17007 clauses out of 34020 with flag 6670000/6683271 934.27/930.48 c cleaning 17002 clauses out of 34014 with flag 6687001/6700272 936.89/933.11 c cleaning 16987 clauses out of 34012 with flag 6704001/6717272 939.48/935.60 c cleaning 17005 clauses out of 34024 with flag 6721000/6734271 941.41/937.54 c cleaning 17003 clauses out of 34019 with flag 6738000/6751271 943.51/939.63 c cleaning 17003 clauses out of 34016 with flag 6755000/6768271 945.71/941.85 c cleaning 17000 clauses out of 34013 with flag 6772000/6785271 947.91/944.09 c cleaning 16996 clauses out of 34013 with flag 6789000/6802271 950.12/946.30 c cleaning 16996 clauses out of 34017 with flag 6806000/6819271 952.52/948.63 c cleaning 16998 clauses out of 34022 with flag 6823001/6836272 954.92/951.05 c cleaning 17007 clauses out of 34024 with flag 6840001/6853272 957.03/953.13 c cleaning 16999 clauses out of 34016 with flag 6857000/6870271 959.23/955.35 c cleaning 16998 clauses out of 34017 with flag 6874000/6887271 961.44/957.58 c cleaning 16993 clauses out of 34019 with flag 6891000/6904271 963.64/959.78 c cleaning 17008 clauses out of 34027 with flag 6908001/6921272 965.84/961.94 c cleaning 17002 clauses out of 34019 with flag 6925001/6938272 968.24/964.33 c cleaning 17001 clauses out of 34017 with flag 6942001/6955272 970.65/966.73 c cleaning 17001 clauses out of 34016 with flag 6959001/6972272 972.95/969.08 c cleaning 17000 clauses out of 34015 with flag 6976001/6989272 975.25/971.33 c cleaning 16999 clauses out of 34014 with flag 6993000/7006271 977.55/973.68 c cleaning 16991 clauses out of 34015 with flag 7010000/7023271 979.87/975.96 c cleaning 17002 clauses out of 34024 with flag 7027000/7040271 982.26/978.34 c cleaning 17003 clauses out of 34022 with flag 7044000/7057271 984.66/980.71 c cleaning 17002 clauses out of 34019 with flag 7061000/7074271 987.06/983.17 c cleaning 17001 clauses out of 34018 with flag 7078001/7091272 989.36/985.42 c cleaning 16996 clauses out of 34017 with flag 7095001/7108272 991.66/987.72 c cleaning 16993 clauses out of 34020 with flag 7112000/7125271 993.87/989.98 c cleaning 17001 clauses out of 34027 with flag 7129000/7142271 996.18/992.27 c cleaning 17009 clauses out of 34026 with flag 7146000/7159271 998.48/994.53 c cleaning 17001 clauses out of 34017 with flag 7163000/7176271 1000.69/996.76 c cleaning 16998 clauses out of 34016 with flag 7180000/7193271 1003.20/999.22 c cleaning 17004 clauses out of 34018 with flag 7197000/7210271 1005.40/1001.47 c cleaning 17004 clauses out of 34014 with flag 7214000/7227271 1007.70/1003.80 c cleaning 16999 clauses out of 34011 with flag 7231001/7244272 1010.20/1006.25 c cleaning 17005 clauses out of 34011 with flag 7248000/7261271 1012.51/1008.55 c cleaning 16989 clauses out of 34006 with flag 7265000/7278271 1014.81/1010.80 c cleaning 17004 clauses out of 34017 with flag 7282000/7295271 1017.21/1013.27 c cleaning 17001 clauses out of 34013 with flag 7299000/7312271 1019.71/1015.78 c cleaning 17003 clauses out of 34012 with flag 7316000/7329271 1022.12/1018.18 c cleaning 17000 clauses out of 34009 with flag 7333000/7346271 1024.52/1020.54 c cleaning 16997 clauses out of 34009 with flag 7350000/7363271 1026.92/1022.96 c cleaning 17006 clauses out of 34014 with flag 7367002/7380273 1029.22/1025.26 c cleaning 16991 clauses out of 34006 with flag 7384000/7397271 1031.52/1027.61 c cleaning 17002 clauses out of 34015 with flag 7401000/7414271 1033.95/1029.98 c cleaning 16995 clauses out of 34013 with flag 7418000/7431271 1036.43/1032.45 c cleaning 17003 clauses out of 34019 with flag 7435001/7448272 1038.73/1034.77 c cleaning 16990 clauses out of 34017 with flag 7452002/7465273 1041.23/1037.21 c cleaning 16999 clauses out of 34026 with flag 7469001/7482272 1043.64/1039.66 c cleaning 17003 clauses out of 34027 with flag 7486001/7499272 1046.14/1042.17 c cleaning 17001 clauses out of 34024 with flag 7503001/7516272 1048.64/1044.68 c cleaning 17010 clauses out of 34023 with flag 7520001/7533272 1051.04/1047.03 c cleaning 16990 clauses out of 34012 with flag 7537000/7550271 1053.55/1049.51 c cleaning 16999 clauses out of 34022 with flag 7554000/7567271 1055.87/1051.86 c cleaning 16999 clauses out of 34023 with flag 7571000/7584271 1058.26/1054.25 c cleaning 17005 clauses out of 34025 with flag 7588001/7601272 1060.66/1056.68 c cleaning 17001 clauses out of 34020 with flag 7605001/7618272 1063.07/1059.09 c cleaning 17001 clauses out of 34018 with flag 7622000/7635271 1065.57/1061.59 c cleaning 16997 clauses out of 34017 with flag 7639000/7652271 1068.18/1064.15 c cleaning 16997 clauses out of 34021 with flag 7656001/7669272 1070.58/1066.57 c cleaning 17004 clauses out of 34024 with flag 7673001/7686272 1072.88/1068.88 c cleaning 17004 clauses out of 34019 with flag 7690000/7703271 1075.28/1071.27 c cleaning 16997 clauses out of 34016 with flag 7707001/7720272 1077.38/1073.31 c cleaning 16999 clauses out of 34018 with flag 7724000/7737271 1079.69/1075.61 c cleaning 17001 clauses out of 34019 with flag 7741000/7754271 1081.99/1077.91 c cleaning 17003 clauses out of 34019 with flag 7758001/7771272 1084.30/1080.23 c cleaning 16999 clauses out of 34015 with flag 7775000/7788271 1086.60/1082.51 c cleaning 16998 clauses out of 34016 with flag 7792000/7805271 1088.92/1084.82 c cleaning 17003 clauses out of 34018 with flag 7809000/7822271 1091.31/1087.29 c cleaning 16993 clauses out of 34015 with flag 7826000/7839271 1093.91/1089.88 c cleaning 16993 clauses out of 34022 with flag 7843000/7856271 1096.21/1092.12 c cleaning 17006 clauses out of 34029 with flag 7860000/7873271 1098.52/1094.49 c cleaning 16999 clauses out of 34023 with flag 7877000/7890271 1100.92/1096.89 c cleaning 17000 clauses out of 34024 with flag 7894000/7907271 1103.34/1099.25 c cleaning 16997 clauses out of 34024 with flag 7911000/7924271 1105.62/1101.51 c cleaning 17005 clauses out of 34027 with flag 7928000/7941271 1107.83/1103.79 c cleaning 16993 clauses out of 34022 with flag 7945000/7958271 1110.33/1106.21 c cleaning 17010 clauses out of 34030 with flag 7962001/7975272 1112.73/1108.70 c cleaning 17001 clauses out of 34019 with flag 7979000/7992271 1115.14/1111.01 c cleaning 17004 clauses out of 34019 with flag 7996001/8009272 1117.44/1113.41 c cleaning 16994 clauses out of 34014 with flag 8013000/8026271 1120.04/1115.91 c cleaning 16995 clauses out of 34021 with flag 8030001/8043272 1122.44/1118.33 c cleaning 17004 clauses out of 34025 with flag 8047000/8060271 1124.84/1120.76 c cleaning 16996 clauses out of 34021 with flag 8064000/8077271 1127.45/1123.33 c cleaning 17000 clauses out of 34025 with flag 8081000/8094271 1129.84/1125.77 c cleaning 17003 clauses out of 34025 with flag 8098000/8111271 1132.44/1128.38 c cleaning 16993 clauses out of 34023 with flag 8115001/8128272 1134.95/1130.82 c cleaning 17008 clauses out of 34030 with flag 8132001/8145272 1137.36/1133.24 c cleaning 17001 clauses out of 34022 with flag 8149001/8162272 1139.67/1135.57 c cleaning 16994 clauses out of 34020 with flag 8166000/8179271 1141.88/1137.76 c cleaning 17002 clauses out of 34026 with flag 8183000/8196271 1144.27/1140.14 c cleaning 16997 clauses out of 34024 with flag 8200000/8213271 1146.47/1142.37 c cleaning 17008 clauses out of 34027 with flag 8217000/8230271 1148.78/1144.69 c cleaning 16998 clauses out of 34020 with flag 8234001/8247272 1150.98/1146.89 c cleaning 17009 clauses out of 34021 with flag 8251000/8264271 1153.48/1149.34 c cleaning 17002 clauses out of 34012 with flag 8268000/8281271 1155.78/1151.65 c cleaning 16996 clauses out of 34010 with flag 8285000/8298271 1158.19/1154.04 c cleaning 17003 clauses out of 34015 with flag 8302001/8315272 1160.62/1156.50 c cleaning 17002 clauses out of 34011 with flag 8319000/8332271 1163.01/1158.89 c cleaning 17001 clauses out of 34009 with flag 8336000/8349271 1165.51/1161.37 c cleaning 17001 clauses out of 34011 with flag 8353003/8366274 1168.01/1163.88 c cleaning 17000 clauses out of 34008 with flag 8370001/8383272 1170.53/1166.38 c cleaning 16997 clauses out of 34007 with flag 8387000/8400271 1173.12/1168.97 c cleaning 17001 clauses out of 34010 with flag 8404000/8417271 1175.62/1171.49 c cleaning 17000 clauses out of 34009 with flag 8421000/8434271 1178.42/1174.22 c cleaning 16997 clauses out of 34010 with flag 8438001/8451272 1180.73/1176.60 c cleaning 17002 clauses out of 34013 with flag 8455001/8468272 1183.13/1178.98 c cleaning 16995 clauses out of 34011 with flag 8472001/8485272 1185.54/1181.38 c cleaning 17004 clauses out of 34015 with flag 8489000/8502271 1187.94/1183.75 c cleaning 17003 clauses out of 34012 with flag 8506001/8519272 1190.44/1186.22 c cleaning 16996 clauses out of 34008 with flag 8523000/8536271 1192.94/1188.71 c cleaning 17002 clauses out of 34012 with flag 8540000/8553271 1195.44/1191.22 c cleaning 16994 clauses out of 34010 with flag 8557000/8570271 1197.96/1193.73 c cleaning 16996 clauses out of 34017 with flag 8574001/8587272 1200.54/1196.36 c cleaning 17003 clauses out of 34020 with flag 8591000/8604271 1203.25/1199.09 c cleaning 17003 clauses out of 34017 with flag 8608000/8621271 1205.85/1201.65 c cleaning 16998 clauses out of 34014 with flag 8625000/8638271 1208.35/1204.18 c cleaning 17004 clauses out of 34016 with flag 8642000/8655271 1210.96/1206.72 c cleaning 17000 clauses out of 34012 with flag 8659000/8672271 1213.56/1209.33 c cleaning 17003 clauses out of 34012 with flag 8676000/8689271 1216.27/1212.03 c cleaning 16997 clauses out of 34009 with flag 8693000/8706271 1218.98/1214.76 c cleaning 16998 clauses out of 34013 with flag 8710001/8723272 1221.57/1217.36 c cleaning 17005 clauses out of 34015 with flag 8727001/8740272 1224.27/1220.06 c cleaning 16995 clauses out of 34009 with flag 8744000/8757271 1227.17/1222.95 c cleaning 16998 clauses out of 34015 with flag 8761001/8774272 1230.07/1225.88 c cleaning 16998 clauses out of 34016 with flag 8778000/8791271 1232.68/1228.46 c cleaning 16993 clauses out of 34018 with flag 8795000/8808271 1235.40/1231.12 c cleaning 17007 clauses out of 34025 with flag 8812000/8825271 1238.09/1233.85 c cleaning 17006 clauses out of 34019 with flag 8829001/8842272 1240.80/1236.52 c cleaning 17000 clauses out of 34014 with flag 8846002/8859273 1243.60/1239.34 c cleaning 17006 clauses out of 34013 with flag 8863001/8876272 1246.30/1242.11 c cleaning 16995 clauses out of 34006 with flag 8880000/8893271 1248.90/1244.64 c cleaning 16999 clauses out of 34011 with flag 8897000/8910271 1251.41/1247.18 c cleaning 16999 clauses out of 34013 with flag 8914001/8927272 1253.91/1249.62 c cleaning 17000 clauses out of 34013 with flag 8931000/8944271 1256.51/1252.21 c cleaning 17007 clauses out of 34013 with flag 8948000/8961271 1258.91/1254.65 c cleaning 16991 clauses out of 34006 with flag 8965000/8978271 1261.23/1256.99 c cleaning 17004 clauses out of 34016 with flag 8982001/8995272 1263.63/1259.38 c cleaning 17000 clauses out of 34012 with flag 8999001/9012272 1266.03/1261.77 c cleaning 16999 clauses out of 34011 with flag 9016000/9029271 1268.44/1264.21 c cleaning 16999 clauses out of 34012 with flag 9033000/9046271 1270.83/1266.51 c cleaning 16998 clauses out of 34013 with flag 9050000/9063271 1273.14/1268.82 c cleaning 16993 clauses out of 34015 with flag 9067000/9080271 1275.64/1271.30 c cleaning 17003 clauses out of 34022 with flag 9084000/9097271 1278.14/1273.84 c cleaning 17000 clauses out of 34019 with flag 9101000/9114271 1280.55/1276.24 c cleaning 16995 clauses out of 34019 with flag 9118000/9131271 1282.95/1278.69 c cleaning 17000 clauses out of 34024 with flag 9135000/9148271 1285.45/1281.14 c cleaning 17007 clauses out of 34024 with flag 9152000/9165271 1287.65/1283.36 c cleaning 17005 clauses out of 34018 with flag 9169001/9182272 1290.16/1285.82 c cleaning 16997 clauses out of 34012 with flag 9186000/9199271 1292.78/1288.43 c cleaning 16999 clauses out of 34015 with flag 9203000/9216271 1295.26/1290.94 c cleaning 17000 clauses out of 34017 with flag 9220001/9233272 1297.86/1293.54 c cleaning 16999 clauses out of 34016 with flag 9237000/9250271 1300.26/1295.99 c cleaning 17003 clauses out of 34018 with flag 9254001/9267272 1302.68/1298.36 c cleaning 16997 clauses out of 34014 with flag 9271000/9284271 1305.06/1300.74 c cleaning 16994 clauses out of 34018 with flag 9288001/9301272 1307.56/1303.22 c cleaning 16999 clauses out of 34025 with flag 9305002/9318273 1310.07/1305.76 c cleaning 16997 clauses out of 34024 with flag 9322000/9335271 1312.37/1308.12 c cleaning 17008 clauses out of 34028 with flag 9339001/9352272 1314.79/1310.44 c cleaning 16999 clauses out of 34020 with flag 9356001/9369272 1317.18/1312.87 c cleaning 16994 clauses out of 34021 with flag 9373001/9386272 1319.58/1315.25 c cleaning 17012 clauses out of 34029 with flag 9390003/9403274 1321.89/1317.58 c cleaning 16992 clauses out of 34014 with flag 9407000/9420271 1324.39/1320.00 c cleaning 17010 clauses out of 34023 with flag 9424001/9437272 1326.69/1322.37 c cleaning 16995 clauses out of 34012 with flag 9441000/9454271 1329.11/1324.78 c cleaning 16992 clauses out of 34017 with flag 9458000/9471271 1331.49/1327.18 c cleaning 17007 clauses out of 34026 with flag 9475001/9488272 1334.00/1329.67 c cleaning 16996 clauses out of 34018 with flag 9492000/9505271 1336.40/1332.04 c cleaning 17004 clauses out of 34022 with flag 9509000/9522271 1338.81/1334.46 c cleaning 16994 clauses out of 34018 with flag 9526000/9539271 1341.31/1336.93 c cleaning 17009 clauses out of 34025 with flag 9543001/9556272 1343.81/1339.43 c cleaning 16996 clauses out of 34016 with flag 9560001/9573272 1346.12/1341.77 c cleaning 17001 clauses out of 34019 with flag 9577000/9590271 1348.62/1344.29 c cleaning 16995 clauses out of 34019 with flag 9594001/9607272 1351.14/1346.73 c cleaning 16997 clauses out of 34023 with flag 9611000/9624271 1353.72/1349.30 c cleaning 17004 clauses out of 34026 with flag 9628000/9641271 1356.22/1351.88 c cleaning 16986 clauses out of 34023 with flag 9645001/9658272 1358.74/1354.33 c cleaning 17010 clauses out of 34036 with flag 9662000/9675271 1361.23/1356.84 c cleaning 17004 clauses out of 34026 with flag 9679000/9692271 1363.63/1359.26 c cleaning 17003 clauses out of 34023 with flag 9696001/9709272 1366.03/1361.66 c cleaning 17006 clauses out of 34020 with flag 9713001/9726272 1368.64/1364.22 c cleaning 16997 clauses out of 34013 with flag 9730000/9743271 1371.23/1366.84 c cleaning 17003 clauses out of 34017 with flag 9747001/9760272 1373.83/1369.43 c cleaning 16983 clauses out of 34013 with flag 9764000/9777271 1376.45/1372.02 c cleaning 17008 clauses out of 34030 with flag 9781000/9794271 1378.83/1374.48 c cleaning 17007 clauses out of 34023 with flag 9798001/9811272 1381.44/1377.09 c cleaning 17002 clauses out of 34015 with flag 9815000/9828271 1384.05/1379.67 c cleaning 16997 clauses out of 34014 with flag 9832001/9845272 1386.74/1382.38 c cleaning 17001 clauses out of 34016 with flag 9849000/9862271 1389.25/1384.87 c cleaning 16998 clauses out of 34016 with flag 9866001/9879272 1391.87/1387.44 c cleaning 16998 clauses out of 34017 with flag 9883000/9896271 1394.36/1389.97 c cleaning 17002 clauses out of 34019 with flag 9900000/9913271 1397.06/1392.68 c cleaning 16998 clauses out of 34017 with flag 9917000/9930271 1399.77/1395.31 c cleaning 17002 clauses out of 34020 with flag 9934001/9947272 1402.27/1397.82 c cleaning 16998 clauses out of 34017 with flag 9951000/9964271 1404.77/1400.36 c cleaning 16999 clauses out of 34019 with flag 9968000/9981271 1407.37/1402.99 c cleaning 16997 clauses out of 34020 with flag 9985000/9998271 1410.17/1405.72 c cleaning 16994 clauses out of 34023 with flag 10002000/10015271 1412.57/1408.17 c cleaning 17003 clauses out of 34030 with flag 10019001/10032272 1414.89/1410.48 c cleaning 17006 clauses out of 34027 with flag 10036001/10049272 1417.48/1413.00 c cleaning 17002 clauses out of 34021 with flag 10053001/10066272 1419.88/1415.46 c cleaning 16995 clauses out of 34019 with flag 10070001/10083272 1422.19/1417.79 c cleaning 17010 clauses out of 34023 with flag 10087000/10100271 1424.20/1419.70 c cleaning 17000 clauses out of 34014 with flag 10104001/10117272 1426.30/1421.88 c cleaning 17002 clauses out of 34013 with flag 10121000/10134271 1428.61/1424.11 c cleaning 16994 clauses out of 34011 with flag 10138000/10151271 1430.81/1426.32 c cleaning 16998 clauses out of 34017 with flag 10155000/10168271 1433.12/1428.61 c cleaning 17003 clauses out of 34020 with flag 10172001/10185272 1435.43/1430.93 c cleaning 17002 clauses out of 34016 with flag 10189000/10202271 1437.73/1433.29 c cleaning 17004 clauses out of 34015 with flag 10206001/10219272 1439.93/1435.41 c cleaning 16988 clauses out of 34010 with flag 10223000/10236271 1442.24/1437.70 c cleaning 17001 clauses out of 34022 with flag 10240000/10253271 1444.66/1440.19 c cleaning 17003 clauses out of 34023 with flag 10257002/10270273 1447.15/1442.69 c cleaning 17001 clauses out of 34018 with flag 10274000/10287271 1449.25/1444.76 c cleaning 17007 clauses out of 34018 with flag 10291001/10304272 1451.76/1447.24 c cleaning 16998 clauses out of 34010 with flag 10308000/10321271 1454.06/1449.59 c cleaning 16991 clauses out of 34012 with flag 10325000/10338271 1456.36/1451.80 c cleaning 17002 clauses out of 34021 with flag 10342000/10355271 1458.56/1454.07 c cleaning 17003 clauses out of 34019 with flag 10359000/10372271 1460.86/1456.39 c cleaning 16997 clauses out of 34016 with flag 10376000/10389271 1463.17/1458.61 c cleaning 17005 clauses out of 34019 with flag 10393000/10406271 1465.38/1460.84 c cleaning 17003 clauses out of 34015 with flag 10410001/10423272 1467.79/1463.22 c cleaning 17002 clauses out of 34013 with flag 10427002/10440273 1469.99/1465.46 c cleaning 16988 clauses out of 34009 with flag 10444000/10457271 1472.38/1467.83 c cleaning 17009 clauses out of 34021 with flag 10461000/10474271 1474.68/1470.15 c cleaning 16991 clauses out of 34012 with flag 10478000/10491271 1476.89/1472.40 c cleaning 17001 clauses out of 34021 with flag 10495000/10508271 1479.29/1474.74 c cleaning 16996 clauses out of 34020 with flag 10512000/10525271 1481.49/1476.90 c cleaning 17001 clauses out of 34024 with flag 10529000/10542271 1484.01/1479.40 c cleaning 16999 clauses out of 34023 with flag 10546000/10559271 1486.31/1481.79 c cleaning 17005 clauses out of 34024 with flag 10563000/10576271 1488.83/1484.24 c cleaning 17000 clauses out of 34021 with flag 10580002/10593273 1491.22/1486.64 c cleaning 16989 clauses out of 34019 with flag 10597000/10610271 1493.92/1489.30 c cleaning 17009 clauses out of 34030 with flag 10614000/10627271 1496.22/1491.60 c cleaning 16999 clauses out of 34021 with flag 10631000/10644271 1498.64/1494.02 c cleaning 17000 clauses out of 34022 with flag 10648000/10661271 1501.13/1496.56 c cleaning 17005 clauses out of 34022 with flag 10665000/10678271 1503.53/1498.98 c cleaning 16996 clauses out of 34018 with flag 10682001/10695272 1505.93/1501.38 c cleaning 16995 clauses out of 34022 with flag 10699001/10712272 1508.43/1503.88 c cleaning 17006 clauses out of 34026 with flag 10716000/10729271 1510.86/1506.28 c cleaning 16998 clauses out of 34022 with flag 10733002/10746273 1513.35/1508.75 c cleaning 16999 clauses out of 34023 with flag 10750001/10763272 1515.75/1511.11 c cleaning 17005 clauses out of 34023 with flag 10767000/10780271 1517.96/1513.40 c cleaning 16993 clauses out of 34019 with flag 10784001/10797272 1520.36/1515.71 c cleaning 17007 clauses out of 34025 with flag 10801000/10814271 1522.76/1518.12 c cleaning 17001 clauses out of 34018 with flag 10818000/10831271 1524.97/1520.37 c cleaning 16995 clauses out of 34017 with flag 10835000/10848271 1527.39/1522.77 c cleaning 16999 clauses out of 34022 with flag 10852000/10865271 1529.77/1525.19 c cleaning 17008 clauses out of 34023 with flag 10869000/10882271 1532.28/1527.64 c cleaning 16998 clauses out of 34015 with flag 10886000/10899271 1534.67/1530.09 c cleaning 16994 clauses out of 34018 with flag 10903001/10916272 1537.08/1532.48 c cleaning 17002 clauses out of 34024 with flag 10920001/10933272 1539.50/1534.87 c cleaning 16996 clauses out of 34022 with flag 10937001/10950272 1541.89/1537.20 c cleaning 17006 clauses out of 34025 with flag 10954000/10967271 1544.19/1539.55 c cleaning 17003 clauses out of 34019 with flag 10971000/10984271 1546.59/1541.94 c cleaning 17003 clauses out of 34016 with flag 10988000/11001271 1548.99/1544.39 c cleaning 16999 clauses out of 34013 with flag 11005000/11018271 1551.51/1546.86 c cleaning 16997 clauses out of 34014 with flag 11022000/11035271 1553.82/1549.12 c cleaning 16998 clauses out of 34018 with flag 11039001/11052272 1556.30/1551.62 c cleaning 17002 clauses out of 34019 with flag 11056000/11069271 1558.70/1554.01 c cleaning 17003 clauses out of 34018 with flag 11073001/11086272 1560.81/1556.14 c cleaning 17001 clauses out of 34014 with flag 11090000/11103271 1563.11/1558.47 c cleaning 16997 clauses out of 34013 with flag 11107000/11120271 1565.41/1560.75 c cleaning 16999 clauses out of 34016 with flag 11124000/11137271 1567.71/1563.08 c cleaning 17008 clauses out of 34018 with flag 11141001/11154272 1570.12/1565.41 c cleaning 16998 clauses out of 34009 with flag 11158000/11171271 1572.43/1567.73 c cleaning 17004 clauses out of 34011 with flag 11175000/11188271 1574.82/1570.12 c cleaning 16995 clauses out of 34007 with flag 11192000/11205271 1577.32/1572.62 c cleaning 17001 clauses out of 34012 with flag 11209000/11222271 1579.93/1575.24 c cleaning 17002 clauses out of 34013 with flag 11226002/11239273 1582.63/1577.95 c cleaning 17000 clauses out of 34009 with flag 11243000/11256271 1585.13/1580.44 c cleaning 16995 clauses out of 34009 with flag 11260000/11273271 1587.54/1582.86 c cleaning 16995 clauses out of 34014 with flag 11277000/11290271 1590.06/1585.36 c cleaning 17003 clauses out of 34020 with flag 11294001/11307272 1592.75/1588.00 c cleaning 17003 clauses out of 34016 with flag 11311000/11324271 1595.06/1590.36 c cleaning 16999 clauses out of 34014 with flag 11328001/11341272 1597.46/1592.71 c cleaning 16998 clauses out of 34015 with flag 11345001/11358272 1599.97/1595.25 c cleaning 17003 clauses out of 34016 with flag 11362000/11375271 1602.37/1597.67 c cleaning 16999 clauses out of 34013 with flag 11379000/11392271 1604.97/1600.28 c cleaning 17006 clauses out of 34014 with flag 11396000/11409271 1607.47/1602.73 c cleaning 17004 clauses out of 34008 with flag 11413000/11426271 1609.99/1605.29 c cleaning 16996 clauses out of 34006 with flag 11430002/11443273 1612.58/1607.87 c cleaning 16994 clauses out of 34008 with flag 11447000/11460271 1615.28/1610.53 c cleaning 17008 clauses out of 34015 with flag 11464001/11477272 1618.08/1613.32 c cleaning 17001 clauses out of 34007 with flag 11481001/11494272 1621.00/1616.28 c cleaning 17000 clauses out of 34005 with flag 11498000/11511271 1623.49/1618.71 c cleaning 16991 clauses out of 34005 with flag 11515000/11528271 1625.99/1621.21 c cleaning 16997 clauses out of 34014 with flag 11532000/11545271 1628.39/1623.69 c cleaning 16996 clauses out of 34017 with flag 11549000/11562271 1630.92/1626.15 c cleaning 16992 clauses out of 34021 with flag 11566000/11579271 1633.20/1628.49 c cleaning 17000 clauses out of 34029 with flag 11583000/11596271 1635.61/1630.80 c cleaning 17003 clauses out of 34029 with flag 11600000/11613271 1637.81/1633.09 c cleaning 16993 clauses out of 34026 with flag 11617000/11630271 1640.12/1635.33 c cleaning 17001 clauses out of 34033 with flag 11634000/11647271 1642.42/1637.62 c cleaning 17004 clauses out of 34032 with flag 11651000/11664271 1644.92/1640.10 c cleaning 17007 clauses out of 34028 with flag 11668000/11681271 1647.22/1642.42 c cleaning 16997 clauses out of 34022 with flag 11685001/11698272 1649.43/1644.67 c cleaning 17001 clauses out of 34024 with flag 11702000/11715271 1651.85/1647.02 c cleaning 17003 clauses out of 34023 with flag 11719000/11732271 1654.24/1649.41 c cleaning 17000 clauses out of 34021 with flag 11736001/11749272 1656.64/1651.82 c cleaning 16995 clauses out of 34020 with flag 11753000/11766271 1658.94/1654.14 c cleaning 17004 clauses out of 34026 with flag 11770001/11783272 1661.45/1656.63 c cleaning 17005 clauses out of 34021 with flag 11787000/11800271 1663.86/1659.09 c cleaning 16996 clauses out of 34016 with flag 11804000/11817271 1666.25/1661.45 c cleaning 16995 clauses out of 34020 with flag 11821000/11834271 1668.65/1663.89 c cleaning 17004 clauses out of 34025 with flag 11838000/11851271 1671.05/1666.23 c cleaning 17002 clauses out of 34021 with flag 11855000/11868271 1673.56/1668.70 c cleaning 17006 clauses out of 34019 with flag 11872000/11885271 1676.08/1671.24 c cleaning 16999 clauses out of 34014 with flag 11889001/11902272 1678.46/1673.67 c cleaning 17005 clauses out of 34014 with flag 11906000/11919271 1680.76/1675.94 c cleaning 16999 clauses out of 34010 with flag 11923001/11936272 1683.07/1678.24 c cleaning 16998 clauses out of 34010 with flag 11940000/11953271 1685.47/1680.64 c cleaning 16998 clauses out of 34012 with flag 11957000/11970271 1687.77/1682.97 c cleaning 16999 clauses out of 34015 with flag 11974001/11987272 1690.17/1685.33 c cleaning 16998 clauses out of 34015 with flag 11991000/12004271 1692.59/1687.74 c cleaning 16992 clauses out of 34017 with flag 12008000/12021271 1695.07/1690.22 c cleaning 17007 clauses out of 34025 with flag 12025000/12038271 1697.47/1692.60 c cleaning 16988 clauses out of 34018 with flag 12042000/12055271 1699.98/1695.18 c cleaning 17005 clauses out of 34030 with flag 12059000/12072271 1702.50/1697.68 c cleaning 17004 clauses out of 34025 with flag 12076000/12089271 1704.88/1700.01 c cleaning 17007 clauses out of 34022 with flag 12093001/12106272 1707.28/1702.40 c cleaning 17001 clauses out of 34016 with flag 12110002/12123273 1709.68/1704.89 c cleaning 17002 clauses out of 34013 with flag 12127000/12140271 1712.18/1707.40 c cleaning 16993 clauses out of 34011 with flag 12144000/12157271 1714.60/1709.76 c cleaning 17003 clauses out of 34018 with flag 12161000/12174271 1716.99/1712.19 c cleaning 16997 clauses out of 34015 with flag 12178000/12191271 1719.49/1714.60 c cleaning 17005 clauses out of 34018 with flag 12195000/12208271 1721.89/1717.07 c cleaning 16992 clauses out of 34013 with flag 12212000/12225271 1724.40/1719.61 c cleaning 17006 clauses out of 34021 with flag 12229000/12242271 1726.89/1722.06 c cleaning 17002 clauses out of 34017 with flag 12246002/12259273 1729.41/1724.59 c cleaning 16997 clauses out of 34013 with flag 12263000/12276271 1732.01/1727.10 c cleaning 17002 clauses out of 34016 with flag 12280000/12293271 1734.61/1729.71 c cleaning 17002 clauses out of 34014 with flag 12297000/12310271 1737.01/1732.15 c cleaning 17003 clauses out of 34014 with flag 12314002/12327273 1739.21/1734.32 c cleaning 16995 clauses out of 34009 with flag 12331000/12344271 1741.32/1736.48 c cleaning 17002 clauses out of 34014 with flag 12348000/12361271 1743.62/1738.75 c cleaning 16999 clauses out of 34012 with flag 12365000/12378271 1745.82/1740.91 c cleaning 16996 clauses out of 34013 with flag 12382000/12395271 1748.13/1743.23 c cleaning 16998 clauses out of 34017 with flag 12399000/12412271 1750.53/1745.63 c cleaning 16999 clauses out of 34019 with flag 12416000/12429271 1752.83/1747.91 c cleaning 17002 clauses out of 34020 with flag 12433000/12446271 1755.13/1750.31 c cleaning 17002 clauses out of 34018 with flag 12450000/12463271 1757.73/1752.80 c cleaning 16989 clauses out of 34016 with flag 12467000/12480271 1760.14/1755.20 c cleaning 17005 clauses out of 34029 with flag 12484002/12497273 1762.54/1757.63 c cleaning 17007 clauses out of 34023 with flag 12501001/12514272 1764.84/1759.93 c cleaning 17001 clauses out of 34016 with flag 12518001/12531272 1767.14/1762.29 c cleaning 16995 clauses out of 34014 with flag 12535000/12548271 1769.56/1764.67 c cleaning 17001 clauses out of 34020 with flag 12552001/12565272 1771.95/1767.09 c cleaning 17000 clauses out of 34018 with flag 12569000/12582271 1774.45/1769.57 c cleaning 17004 clauses out of 34019 with flag 12586001/12599272 1776.95/1772.05 c cleaning 17000 clauses out of 34015 with flag 12603001/12616272 1779.35/1774.50 c cleaning 16994 clauses out of 34014 with flag 12620000/12633271 1781.87/1776.93 c cleaning 16992 clauses out of 34020 with flag 12637000/12650271 1784.27/1779.32 c cleaning 17004 clauses out of 34028 with flag 12654000/12667271 1786.48/1781.57 c cleaning 17005 clauses out of 34025 with flag 12671001/12684272 1788.88/1783.98 c cleaning 16997 clauses out of 34019 with flag 12688000/12701271 1791.18/1786.23 c cleaning 17004 clauses out of 34022 with flag 12705000/12718271 1793.58/1788.65 c cleaning 17000 clauses out of 34019 with flag 12722001/12735272 1795.99/1791.11 c cleaning 16998 clauses out of 34018 with flag 12739000/12752271 1798.38/1793.44 c cleaning 17003 clauses out of 34020 with flag 12756000/12769271 1800.10/1795.12 c starts : 329 1800.10/1795.12 c conflicts : 12782517 1800.10/1795.12 c decisions : 14407876 1800.10/1795.12 c propagations : 73450229 1800.10/1795.12 c inspects : 7850729126 1800.10/1795.12 c shortcuts : 0 1800.10/1795.12 c learnt literals : 0 1800.10/1795.12 c learnt binary clauses : 0 1800.10/1795.12 c learnt ternary clauses : 0 1800.10/1795.12 c learnt constraints : 12782518 1800.10/1795.12 c ignored constraints : 0 1800.10/1795.12 c root simplifications : 0 1800.10/1795.12 c removed literals (reason simplification) : 160236454 1800.10/1795.12 c reason swapping (by a shorter reason) : 0 1800.10/1795.12 c Calls to reduceDB : 757 1800.10/1795.12 c number of reductions to clauses (during analyze) : 0 1800.10/1795.12 c number of learned constraints concerned by reduction : 0 1800.10/1795.12 c number of learning phase by resolution : 0 1800.10/1795.12 c number of learning phase by cutting planes : 0 1800.10/1795.12 c speed (assignments/second) : 40968.513748531666 1800.10/1795.12 c non guided choices 0 1800.10/1795.14 c learnt constraints type 1800.10/1795.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30313 1800.10/1795.14 c constraints type 1800.10/1795.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7853 1800.10/1795.14 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1800.10/1795.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/1795.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7853 1800.10/1795.14 s SATISFIABLE 1800.10/1795.14 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/1795.14 c objective function=-63 1800.10/1795.14 c Total wall clock time (in seconds): 1795.032
OK -63
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-3458362-1307159552/watcher-3458362-1307159552 -o /tmp/evaluation-result-3458362-1307159552/solver-3458362-1307159552 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458362-1307159552.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: 1.86 2.01 1.99 4/553 23214 /proc/meminfo: memFree=28952568/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 4844 0 1 0 0 0 0 0 25 0 2 0 827553147 13850947584 4546 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3381579 4560 917 9 0 3372735 0 [pid=23214/tid=23215] ppid=23212 vsize=13526316 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 8140 0 1 0 0 1 0 0 25 0 2 0 827553147 13850947584 8956 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0566659 s] /proc/loadavg: 1.86 2.01 1.99 4/553 23214 /proc/meminfo: memFree=28952568/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13550504 CPUtime=0.04 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 13999 0 1 0 3 1 0 0 25 0 13 0 827553147 13875716096 13696 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3387626 13696 1685 9 0 3378374 0 [pid=23214/tid=23215] ppid=23212 vsize=13550504 CPUtime=0.04 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 12852 0 1 0 3 1 0 0 25 0 13 0 827553147 13875716096 13696 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 47363738699795 0 4 0 16800971 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13550504 [startup+0.100688 s] /proc/loadavg: 1.86 2.01 1.99 4/553 23214 /proc/meminfo: memFree=28952568/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13622260 CPUtime=0.11 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 15581 0 1 0 9 2 0 0 25 0 18 0 827553147 13949194240 15258 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3405565 15259 2092 9 0 3396299 0 [pid=23214/tid=23215] ppid=23212 vsize=13622260 CPUtime=0.08 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 13635 0 1 0 7 1 0 0 18 0 18 0 827553147 13949194240 15259 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13622260 [startup+0.353928 s] /proc/loadavg: 1.86 2.01 1.99 4/553 23214 /proc/meminfo: memFree=28952568/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13638644 CPUtime=1.32 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 31776 0 1 0 128 4 0 0 25 0 18 0 827553147 13965971456 28813 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409661 28817 2232 9 0 3400395 0 [pid=23214/tid=23215] ppid=23212 vsize=13638644 CPUtime=0.56 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 20476 0 1 0 54 2 0 0 18 0 18 0 827553147 13965971456 28818 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 47363740461218 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 13638644 [startup+0.786557 s] /proc/loadavg: 1.86 2.01 1.99 4/553 23214 /proc/meminfo: memFree=28952568/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=1.93 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 32744 0 1 0 189 4 0 0 25 0 19 0 827553147 13967024128 28547 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 28553 2242 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=0.77 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 20929 0 1 0 74 3 0 0 19 0 19 0 827553147 13967024128 28553 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 13639672 [startup+1.50143 s] /proc/loadavg: 1.86 2.01 1.99 4/572 23233 /proc/meminfo: memFree=28830160/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=2.78 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 41816 0 1 0 273 5 0 0 25 0 19 0 827553147 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 37606 2269 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=1.43 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 23781 0 1 0 140 3 0 0 19 0 19 0 827553147 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505943252 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 232 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 415 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 1137 0 0 0 1 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 1329 0 0 0 0 0 0 0 18 0 19 0 827553149 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=0.03 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 3078 0 0 0 3 0 0 0 16 0 19 0 827553150 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.64 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5912 0 0 0 64 0 0 0 17 0 19 0 827553153 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.61 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4777 0 0 0 61 0 0 0 15 0 19 0 827553153 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 37606 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 13639672 [startup+3.10115 s] /proc/loadavg: 1.86 2.01 1.99 3/572 23233 /proc/meminfo: memFree=28786648/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=4.45 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 46693 0 1 0 439 6 0 0 25 0 19 0 827553147 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 42481 2269 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=2.96 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 23783 0 1 0 293 3 0 0 22 0 19 0 827553147 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912506030396 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 869 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 634 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 873 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 1446 0 0 0 1 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 1329 0 0 0 1 0 0 0 15 0 19 0 827553149 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=0.08 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 5259 0 0 0 8 0 0 0 16 0 19 0 827553150 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.68 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5918 0 0 0 68 0 0 0 15 0 19 0 827553153 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.64 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4782 0 0 0 64 0 0 0 15 0 19 0 827553153 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 42481 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.45 Current children cumulated vsize (KiB) 13639672 [startup+6.30159 s] /proc/loadavg: 1.87 2.01 1.99 3/572 23233 /proc/meminfo: memFree=28777964/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=7.72 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 48113 0 1 0 766 6 0 0 25 0 19 0 827553147 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 43888 2269 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=6.01 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 23787 0 1 0 598 3 0 0 25 0 19 0 827553147 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505887485 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 870 0 0 0 0 0 0 0 16 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 824 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 1020 0 0 0 1 0 0 0 16 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 264 0 0 0 0 0 0 0 16 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 416 0 0 0 0 0 0 0 15 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 1482 0 0 0 1 0 0 0 16 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.01 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 1391 0 0 0 1 0 0 0 15 0 19 0 827553149 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=0.23 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 6164 0 0 0 22 1 0 0 16 0 19 0 827553150 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.71 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5923 0 0 0 71 0 0 0 15 0 19 0 827553153 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.65 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 827553153 13967024128 43888 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 1100 0 0 0 73 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.71 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 3065 0 0 0 71 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.71 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 3059 0 0 0 71 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=33.58 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 15664 0 0 0 3348 10 0 0 15 0 19 0 827553150 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5925 0 0 0 73 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.65 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1667.16 Current children cumulated vsize (KiB) 13639672 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/572 23383 /proc/meminfo: memFree=28348932/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=1727.2 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 67262 0 1 0 172693 27 0 0 25 0 19 0 827553147 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 62115 2270 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=1684.95 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 24507 0 1 0 168487 8 0 0 25 0 19 0 827553147 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505959705 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0.77 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 2206 0 0 0 77 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0.77 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 897 0 0 0 77 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0.69 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 1177 0 0 0 69 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0.77 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 1910 0 0 0 76 1 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0.72 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 1716 0 0 0 72 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0.74 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 1100 0 0 0 74 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 3065 0 0 0 73 0 0 0 15 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 3059 0 0 0 73 0 0 0 16 0 19 0 827553149 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=34.83 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 15666 0 0 0 3472 11 0 0 15 0 19 0 827553150 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5925 0 0 0 73 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.65 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 62115 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1727.2 Current children cumulated vsize (KiB) 13639672 [startup+1782.32 s] /proc/loadavg: 2.00 2.02 2.00 3/572 23384 /proc/meminfo: memFree=28348276/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=1787.3 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 67333 0 1 0 178703 27 0 0 25 0 19 0 827553147 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 62153 2270 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=1743.62 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 24532 0 1 0 174354 8 0 0 18 0 19 0 827553147 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912506012174 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0.79 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 2213 0 0 0 79 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0.78 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 897 0 0 0 78 0 0 0 16 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 1184 0 0 0 73 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0.79 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 1920 0 0 0 78 1 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0.74 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 1716 0 0 0 74 0 0 0 16 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0.76 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 1110 0 0 0 76 0 0 0 16 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.74 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 3065 0 0 0 74 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.75 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 3063 0 0 0 75 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=36.08 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 15670 0 0 0 3597 11 0 0 15 0 19 0 827553150 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5925 0 0 0 73 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.65 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1787.3 Current children cumulated vsize (KiB) 13639672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.1 s] /proc/loadavg: 2.00 2.02 2.00 3/572 23385 /proc/meminfo: memFree=28347520/32951124 swapFree=58212616/67111528 [pid=23214] ppid=23212 vsize=13639672 CPUtime=1800.1 cores=0,2,4,6 /proc/23214/stat : 23214 (java) S 23212 23214 19861 0 -1 4202496 67338 0 1 0 179983 27 0 0 25 0 19 0 827553147 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/23214/statm: 3409918 62153 2270 9 0 3400652 0 [pid=23214/tid=23215] ppid=23212 vsize=13639672 CPUtime=1756.17 cores=0,2,4,6 /proc/23214/task/23215/stat : 23215 (java) R 23212 23214 19861 0 -1 4202560 24537 0 1 0 175609 8 0 0 25 0 19 0 827553147 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 46912505942483 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=23214/tid=23217] ppid=23212 vsize=13639672 CPUtime=0.79 cores=0,2,4,6 /proc/23214/task/23217/stat : 23217 (java) S 23212 23214 19861 0 -1 4202560 2213 0 0 0 79 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23218] ppid=23212 vsize=13639672 CPUtime=0.79 cores=0,2,4,6 /proc/23214/task/23218/stat : 23218 (java) S 23212 23214 19861 0 -1 4202560 897 0 0 0 79 0 0 0 16 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23219] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23219/stat : 23219 (java) S 23212 23214 19861 0 -1 4202560 1184 0 0 0 73 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23220] ppid=23212 vsize=13639672 CPUtime=0.8 cores=0,2,4,6 /proc/23214/task/23220/stat : 23220 (java) S 23212 23214 19861 0 -1 4202560 1920 0 0 0 79 1 0 0 16 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23221] ppid=23212 vsize=13639672 CPUtime=0.74 cores=0,2,4,6 /proc/23214/task/23221/stat : 23221 (java) S 23212 23214 19861 0 -1 4202560 1716 0 0 0 74 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 6 0 0 0 [pid=23214/tid=23222] ppid=23212 vsize=13639672 CPUtime=0.76 cores=0,2,4,6 /proc/23214/task/23222/stat : 23222 (java) S 23212 23214 19861 0 -1 4202560 1110 0 0 0 76 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23223] ppid=23212 vsize=13639672 CPUtime=0.75 cores=0,2,4,6 /proc/23214/task/23223/stat : 23223 (java) S 23212 23214 19861 0 -1 4202560 3065 0 0 0 75 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23224] ppid=23212 vsize=13639672 CPUtime=0.75 cores=0,2,4,6 /proc/23214/task/23224/stat : 23224 (java) S 23212 23214 19861 0 -1 4202560 3063 0 0 0 75 0 0 0 15 0 19 0 827553149 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23225] ppid=23212 vsize=13639672 CPUtime=36.32 cores=0,2,4,6 /proc/23214/task/23225/stat : 23225 (java) S 23212 23214 19861 0 -1 4202560 15670 0 0 0 3621 11 0 0 15 0 19 0 827553150 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 0 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23226] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23226/stat : 23226 (java) S 23212 23214 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23227] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23227/stat : 23227 (java) S 23212 23214 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553151 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23228] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23228/stat : 23228 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256172465 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23229] ppid=23212 vsize=13639672 CPUtime=0.73 cores=0,2,4,6 /proc/23214/task/23229/stat : 23229 (java) S 23212 23214 19861 0 -1 4202560 5925 0 0 0 73 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23230] ppid=23212 vsize=13639672 CPUtime=0.65 cores=0,2,4,6 /proc/23214/task/23230/stat : 23230 (java) S 23212 23214 19861 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 2 0 0 0 [pid=23214/tid=23231] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23231/stat : 23231 (java) S 23212 23214 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256164761 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 [pid=23214/tid=23232] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23232/stat : 23232 (java) S 23212 23214 19861 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827553153 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 0 0 0 0 [pid=23214/tid=23233] ppid=23212 vsize=13639672 CPUtime=0 cores=0,2,4,6 /proc/23214/task/23233/stat : 23233 (java) S 23212 23214 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553207 13967024128 62153 33554432000 1073741824 1073778376 140737419817824 18446744073709551615 228256165376 0 4 0 16800975 18446604450286054400 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13639672 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): 1795.17 CPU time (s): 1800.18 CPU user time (s): 1799.89 CPU system time (s): 0.288956 CPU usage (%): 100.279 Max. virtual memory (cumulated for all children) (KiB): 13639672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.288956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67382 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= 57478 involuntary context switches= 22369 runsolver used 10.4844 second user time and 22.1926 second system time The end
Begin job on node136 at 2011-06-04 05:52:32 IDJOB=3458362 IDBENCH=48182 IDSOLVER=1952 FILE ID=node136/3458362-1307159552 RUNJOBID= node136-1307155950-22830 PBS_JOBID= 13508780 Free space on /tmp= 73844 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_5.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458362-1307159552/watcher-3458362-1307159552 -o /tmp/evaluation-result-3458362-1307159552/solver-3458362-1307159552 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458362-1307159552.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 40141f2f083fa5e1f8a41aa043de0b1b RANDOM SEED=1937885375 node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28952988 kB Buffers: 283384 kB Cached: 524104 kB SwapCached: 7704 kB Active: 3290864 kB Inactive: 412240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28952988 kB SwapTotal: 67111528 kB SwapFree: 58212616 kB Dirty: 1072 kB Writeback: 0 kB AnonPages: 2893392 kB Mapped: 32804 kB Slab: 155868 kB PageTables: 69144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 182653076 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= 73844 MiB End job on node136 at 2011-06-04 06:22:29