Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 13 | 1800.15 | 1797.24 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1797.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 12995394264 0.06/0.09 c Max memory 13063553024 0.06/0.09 c Total memory 13063553024 0.06/0.09 c Number of processors 8 0.11/0.12 c Pseudo Boolean Optimization 0.11/0.12 c --- Begin Solver configuration --- 0.11/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.12 c Learn all clauses as in MiniSAT 0.11/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.12 c Expensive reason simplification 0.11/0.12 c Armin Biere (Picosat) restarts strategy 0.11/0.12 c Glucose learned constraints deletion strategy 0.11/0.12 c timeout=2147483s 0.11/0.12 c DB Simplification allowed=false 0.11/0.12 c --- End Solver configuration --- 0.11/0.12 c solving HOME/instance-3458308-1307158709.opb 0.11/0.12 c reading problem ... 0.77/0.53 c ... done. Wall clock time 0.36s. 0.77/0.53 c #vars 6404 0.77/0.53 c #constraints 12608 0.77/0.53 c constraints type 0.77/0.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404 0.77/0.53 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204 1.41/0.62 c SATISFIABLE 1.41/0.62 c OPTIMIZING... 1.41/0.62 c Got one! Elapsed wall clock time (in seconds):0.493 1.41/0.62 o 15 2.83/1.83 c cleaning 2497 clauses out of 5000 with flag 5000/5000 4.00/2.97 c cleaning 4250 clauses out of 8505 with flag 11002/11002 5.42/4.34 c cleaning 5620 clauses out of 11254 with flag 18001/18001 6.91/5.89 c cleaning 6814 clauses out of 13635 with flag 26002/26002 8.74/7.66 c cleaning 7907 clauses out of 15821 with flag 35002/35002 10.94/9.86 c cleaning 8952 clauses out of 17912 with flag 45000/45000 13.33/12.29 c cleaning 9977 clauses out of 19960 with flag 56000/56000 14.93/13.85 c Got one! Elapsed wall clock time (in seconds):13.739 14.93/13.85 o 14 15.84/14.74 c cleaning 11338 clauses out of 22688 with flag 5001/68705 17.14/16.00 c cleaning 8667 clauses out of 17350 with flag 11001/74705 18.66/17.59 c cleaning 7837 clauses out of 15682 with flag 18000/81704 20.55/19.46 c cleaning 7918 clauses out of 15845 with flag 26000/89704 22.65/21.59 c cleaning 8461 clauses out of 16927 with flag 35000/98704 25.27/24.20 c cleaning 9229 clauses out of 18467 with flag 45001/108705 28.25/27.18 c cleaning 10113 clauses out of 20237 with flag 56000/119704 31.16/30.05 c cleaning 11056 clauses out of 22124 with flag 68000/131704 34.18/33.04 c cleaning 12029 clauses out of 24069 with flag 81001/144705 37.06/35.92 c cleaning 12515 clauses out of 25040 with flag 94001/157705 40.17/39.03 c cleaning 12753 clauses out of 25524 with flag 107000/170704 43.07/41.95 c cleaning 12880 clauses out of 25771 with flag 120000/183704 46.18/45.09 c cleaning 12938 clauses out of 25892 with flag 133001/196705 49.07/47.95 c cleaning 12975 clauses out of 25955 with flag 146002/209706 52.28/51.16 c cleaning 12985 clauses out of 25978 with flag 159000/222704 55.68/54.54 c cleaning 12991 clauses out of 25993 with flag 172000/235704 58.88/57.77 c cleaning 12997 clauses out of 26003 with flag 185001/248705 62.19/61.05 c cleaning 12997 clauses out of 26006 with flag 198001/261705 65.19/64.01 c cleaning 13003 clauses out of 26009 with flag 211001/274705 68.21/67.02 c cleaning 12996 clauses out of 26005 with flag 224000/287704 71.20/70.08 c cleaning 12999 clauses out of 26010 with flag 237001/300705 74.30/73.16 c cleaning 13000 clauses out of 26011 with flag 250001/313705 77.20/76.07 c cleaning 12999 clauses out of 26011 with flag 263001/326705 80.11/78.99 c cleaning 13001 clauses out of 26012 with flag 276001/339705 83.11/81.92 c cleaning 12998 clauses out of 26010 with flag 289000/352704 86.52/85.37 c cleaning 13000 clauses out of 26012 with flag 302000/365704 90.02/88.89 c cleaning 13000 clauses out of 26013 with flag 315001/378705 93.64/92.49 c cleaning 12998 clauses out of 26013 with flag 328001/391705 96.73/95.56 c cleaning 13002 clauses out of 26014 with flag 341000/404704 100.03/98.89 c cleaning 13003 clauses out of 26015 with flag 354003/417707 103.64/102.49 c cleaning 13002 clauses out of 26012 with flag 367003/430707 106.94/105.78 c cleaning 12999 clauses out of 26007 with flag 380000/443704 110.24/109.07 c cleaning 12999 clauses out of 26008 with flag 393000/456704 113.75/112.52 c cleaning 12999 clauses out of 26009 with flag 406000/469704 116.85/115.66 c cleaning 12998 clauses out of 26010 with flag 419000/482704 120.15/118.97 c cleaning 13002 clauses out of 26013 with flag 432001/495705 123.66/122.45 c cleaning 12999 clauses out of 26011 with flag 445001/508705 127.26/126.00 c cleaning 12995 clauses out of 26012 with flag 458001/521705 130.56/129.33 c cleaning 13005 clauses out of 26018 with flag 471002/534706 134.06/132.87 c cleaning 13000 clauses out of 26012 with flag 484001/547705 137.77/136.51 c cleaning 13001 clauses out of 26011 with flag 497000/560704 141.37/140.12 c cleaning 13001 clauses out of 26010 with flag 510000/573704 145.07/143.81 c cleaning 12999 clauses out of 26009 with flag 523000/586704 148.28/147.03 c cleaning 13002 clauses out of 26010 with flag 536000/599704 151.48/150.28 c cleaning 12999 clauses out of 26008 with flag 549000/612704 154.68/153.40 c cleaning 12998 clauses out of 26011 with flag 562002/625706 157.59/156.35 c cleaning 12999 clauses out of 26011 with flag 575000/638704 160.71/159.43 c cleaning 13002 clauses out of 26014 with flag 588002/651706 164.40/163.13 c cleaning 13001 clauses out of 26012 with flag 601002/664706 168.20/166.93 c cleaning 13000 clauses out of 26010 with flag 614001/677705 171.10/169.83 c cleaning 12999 clauses out of 26010 with flag 627001/690705 174.04/172.75 c cleaning 12999 clauses out of 26010 with flag 640000/703704 176.92/175.65 c cleaning 12999 clauses out of 26011 with flag 653000/716704 179.92/178.62 c cleaning 13001 clauses out of 26013 with flag 666001/729705 183.12/181.82 c cleaning 13000 clauses out of 26011 with flag 679000/742704 186.33/185.08 c cleaning 13000 clauses out of 26012 with flag 692001/755705 189.73/188.43 c cleaning 13000 clauses out of 26012 with flag 705001/768705 193.03/191.71 c cleaning 13001 clauses out of 26013 with flag 718002/781706 195.95/194.62 c cleaning 12998 clauses out of 26010 with flag 731000/794704 198.64/197.34 c cleaning 13001 clauses out of 26014 with flag 744002/807706 201.34/200.11 c cleaning 13000 clauses out of 26011 with flag 757000/820704 204.18/202.85 c cleaning 13000 clauses out of 26012 with flag 770001/833705 206.88/205.57 c cleaning 13000 clauses out of 26011 with flag 783000/846704 209.59/208.29 c cleaning 12997 clauses out of 26011 with flag 796000/859704 212.39/211.06 c cleaning 13002 clauses out of 26015 with flag 809001/872705 215.00/213.62 c cleaning 12997 clauses out of 26012 with flag 822000/885704 217.50/216.19 c cleaning 13000 clauses out of 26015 with flag 835000/898704 220.22/218.88 c cleaning 13005 clauses out of 26015 with flag 848000/911704 223.21/221.84 c cleaning 13003 clauses out of 26010 with flag 861000/924704 225.61/224.26 c cleaning 12994 clauses out of 26007 with flag 874000/937704 228.21/226.82 c cleaning 13001 clauses out of 26013 with flag 887000/950704 230.92/229.60 c cleaning 12998 clauses out of 26012 with flag 900000/963704 233.82/232.45 c cleaning 13004 clauses out of 26015 with flag 913001/976705 236.93/235.50 c cleaning 13002 clauses out of 26010 with flag 926000/989704 239.83/238.49 c cleaning 12997 clauses out of 26009 with flag 939001/1002705 242.83/241.46 c cleaning 12999 clauses out of 26012 with flag 952001/1015705 245.56/244.13 c cleaning 13002 clauses out of 26014 with flag 965002/1028706 248.35/246.92 c cleaning 12997 clauses out of 26010 with flag 978000/1041704 250.96/249.55 c cleaning 13003 clauses out of 26015 with flag 991002/1054706 253.76/252.30 c cleaning 13000 clauses out of 26012 with flag 1004002/1067706 256.58/255.14 c cleaning 13000 clauses out of 26012 with flag 1017002/1080706 259.26/257.82 c cleaning 13001 clauses out of 26010 with flag 1030000/1093704 262.08/260.70 c cleaning 12999 clauses out of 26009 with flag 1043000/1106704 265.07/263.63 c cleaning 13001 clauses out of 26011 with flag 1056001/1119705 267.98/266.52 c cleaning 12997 clauses out of 26009 with flag 1069000/1132704 270.90/269.50 c cleaning 12999 clauses out of 26012 with flag 1082000/1145704 273.99/272.50 c cleaning 13002 clauses out of 26014 with flag 1095001/1158705 276.99/275.50 c cleaning 13002 clauses out of 26011 with flag 1108000/1171704 279.89/278.46 c cleaning 13000 clauses out of 26009 with flag 1121000/1184704 282.80/281.30 c cleaning 12999 clauses out of 26010 with flag 1134001/1197705 285.70/284.25 c cleaning 12996 clauses out of 26010 with flag 1147000/1210704 288.72/287.27 c cleaning 13002 clauses out of 26014 with flag 1160000/1223704 291.71/290.26 c cleaning 13000 clauses out of 26014 with flag 1173002/1236706 294.82/293.39 c cleaning 13001 clauses out of 26012 with flag 1186000/1249704 297.92/296.46 c cleaning 13000 clauses out of 26011 with flag 1199000/1262704 301.12/299.60 c cleaning 13001 clauses out of 26011 with flag 1212000/1275704 304.23/302.75 c cleaning 12999 clauses out of 26012 with flag 1225002/1288706 307.35/305.89 c cleaning 12998 clauses out of 26012 with flag 1238001/1301705 310.54/309.06 c cleaning 12999 clauses out of 26014 with flag 1251001/1314705 313.73/312.21 c cleaning 12999 clauses out of 26014 with flag 1264000/1327704 316.54/315.02 c cleaning 13006 clauses out of 26016 with flag 1277001/1340705 319.14/317.67 c cleaning 12999 clauses out of 26010 with flag 1290001/1353705 322.24/320.73 c cleaning 12999 clauses out of 26011 with flag 1303001/1366705 325.25/323.75 c cleaning 13000 clauses out of 26011 with flag 1316000/1379704 328.16/326.64 c cleaning 13000 clauses out of 26011 with flag 1329000/1392704 330.95/329.46 c cleaning 13002 clauses out of 26012 with flag 1342001/1405705 333.77/332.23 c cleaning 13000 clauses out of 26009 with flag 1355000/1418704 336.65/335.10 c cleaning 12999 clauses out of 26011 with flag 1368002/1431706 339.46/337.98 c cleaning 13001 clauses out of 26010 with flag 1381000/1444704 342.36/340.91 c cleaning 12999 clauses out of 26010 with flag 1394001/1457705 345.26/343.73 c cleaning 13000 clauses out of 26011 with flag 1407001/1470705 348.17/346.66 c cleaning 12992 clauses out of 26011 with flag 1420001/1483705 350.97/349.48 c cleaning 13004 clauses out of 26019 with flag 1433001/1496705 354.07/352.53 c cleaning 12995 clauses out of 26014 with flag 1446000/1509704 356.97/355.48 c cleaning 13005 clauses out of 26020 with flag 1459001/1522705 359.77/358.22 c cleaning 12999 clauses out of 26014 with flag 1472000/1535704 362.48/360.94 c cleaning 13003 clauses out of 26017 with flag 1485002/1548706 365.18/363.68 c cleaning 12999 clauses out of 26012 with flag 1498000/1561704 368.09/366.55 c cleaning 12999 clauses out of 26013 with flag 1511000/1574704 371.10/369.53 c cleaning 13002 clauses out of 26015 with flag 1524001/1587705 373.89/372.34 c cleaning 12998 clauses out of 26012 with flag 1537000/1600704 377.00/375.45 c cleaning 12997 clauses out of 26015 with flag 1550001/1613705 379.80/378.24 c cleaning 13005 clauses out of 26017 with flag 1563000/1626704 382.71/381.19 c cleaning 13001 clauses out of 26013 with flag 1576001/1639705 385.71/384.17 c cleaning 12999 clauses out of 26011 with flag 1589000/1652704 388.83/387.26 c cleaning 13001 clauses out of 26015 with flag 1602003/1665707 392.03/390.48 c cleaning 13000 clauses out of 26011 with flag 1615000/1678704 395.33/393.75 c cleaning 12999 clauses out of 26012 with flag 1628001/1691705 398.74/397.13 c cleaning 12997 clauses out of 26012 with flag 1641000/1704704 402.12/400.57 c cleaning 13004 clauses out of 26016 with flag 1654001/1717705 405.34/403.78 c cleaning 13001 clauses out of 26013 with flag 1667002/1730706 408.54/406.96 c cleaning 12999 clauses out of 26013 with flag 1680003/1743707 411.73/410.13 c cleaning 13000 clauses out of 26011 with flag 1693000/1756704 415.03/413.42 c cleaning 12997 clauses out of 26011 with flag 1706000/1769704 417.93/416.31 c cleaning 13001 clauses out of 26015 with flag 1719001/1782705 420.76/419.16 c cleaning 12998 clauses out of 26013 with flag 1732000/1795704 423.64/422.01 c cleaning 12999 clauses out of 26017 with flag 1745002/1808706 426.44/424.89 c cleaning 13002 clauses out of 26021 with flag 1758005/1821709 429.34/427.74 c cleaning 13001 clauses out of 26016 with flag 1771002/1834706 432.05/430.45 c cleaning 12995 clauses out of 26013 with flag 1784000/1847704 434.85/433.25 c cleaning 13005 clauses out of 26020 with flag 1797002/1860706 437.65/436.08 c cleaning 13001 clauses out of 26017 with flag 1810004/1873708 440.57/438.99 c cleaning 12997 clauses out of 26012 with flag 1823000/1886704 443.46/441.89 c cleaning 13000 clauses out of 26015 with flag 1836000/1899704 446.36/444.76 c cleaning 13000 clauses out of 26015 with flag 1849000/1912704 449.16/447.54 c cleaning 13001 clauses out of 26015 with flag 1862000/1925704 451.97/450.37 c cleaning 13001 clauses out of 26015 with flag 1875001/1938705 454.88/453.28 c cleaning 12999 clauses out of 26014 with flag 1888001/1951705 457.86/456.27 c cleaning 12995 clauses out of 26014 with flag 1901000/1964704 460.86/459.22 c cleaning 13001 clauses out of 26020 with flag 1914001/1977705 463.87/462.23 c cleaning 13004 clauses out of 26019 with flag 1927001/1990705 466.57/464.93 c cleaning 13002 clauses out of 26014 with flag 1940000/2003704 469.38/467.80 c cleaning 13001 clauses out of 26012 with flag 1953000/2016704 472.49/470.87 c cleaning 13001 clauses out of 26012 with flag 1966001/2029705 475.48/473.82 c cleaning 13001 clauses out of 26013 with flag 1979003/2042707 478.48/476.85 c cleaning 13002 clauses out of 26012 with flag 1992003/2055707 481.99/480.38 c cleaning 13000 clauses out of 26009 with flag 2005002/2068706 485.49/483.86 c cleaning 13002 clauses out of 26008 with flag 2018001/2081705 488.59/486.91 c cleaning 12997 clauses out of 26005 with flag 2031000/2094704 491.59/489.92 c cleaning 12998 clauses out of 26009 with flag 2044001/2107705 494.70/493.03 c cleaning 13001 clauses out of 26011 with flag 2057001/2120705 495.30/493.65 c Got one! Elapsed wall clock time (in seconds):493.534 495.30/493.65 o 13 495.82/494.15 c cleaning 9339 clauses out of 18685 with flag 3000/2126380 496.92/495.23 c cleaning 7669 clauses out of 15347 with flag 9001/2132381 498.12/496.45 c cleaning 7330 clauses out of 14678 with flag 16001/2139381 499.63/497.92 c cleaning 7667 clauses out of 15348 with flag 24001/2147381 501.22/499.57 c cleaning 8333 clauses out of 16680 with flag 33000/2156380 503.13/501.47 c cleaning 9169 clauses out of 18348 with flag 43001/2166381 506.03/504.34 c cleaning 10083 clauses out of 20178 with flag 54000/2177380 509.23/507.59 c cleaning 11040 clauses out of 22096 with flag 66001/2189381 512.94/511.25 c cleaning 12023 clauses out of 24055 with flag 79000/2202380 516.64/514.97 c cleaning 12515 clauses out of 25034 with flag 92002/2215382 520.55/518.81 c cleaning 12753 clauses out of 25518 with flag 105001/2228381 523.65/521.90 c cleaning 12877 clauses out of 25765 with flag 118001/2241381 526.55/524.87 c cleaning 12936 clauses out of 25887 with flag 131000/2254380 529.67/527.97 c cleaning 12970 clauses out of 25952 with flag 144001/2267381 532.85/531.17 c cleaning 12985 clauses out of 25982 with flag 157001/2280381 536.06/534.34 c cleaning 12991 clauses out of 25997 with flag 170001/2293381 539.16/537.44 c cleaning 12996 clauses out of 26005 with flag 183000/2306380 542.36/540.62 c cleaning 12996 clauses out of 26010 with flag 196001/2319381 545.46/543.76 c cleaning 13006 clauses out of 26015 with flag 209002/2332382 548.88/547.16 c cleaning 13002 clauses out of 26012 with flag 222005/2345385 552.38/550.69 c cleaning 12994 clauses out of 26005 with flag 235000/2358380 555.98/554.21 c cleaning 12999 clauses out of 26012 with flag 248001/2371381 559.39/557.66 c cleaning 13000 clauses out of 26012 with flag 261000/2384380 562.98/561.26 c cleaning 13001 clauses out of 26012 with flag 274000/2397380 566.58/564.80 c cleaning 12999 clauses out of 26011 with flag 287000/2410380 569.99/568.28 c cleaning 13001 clauses out of 26014 with flag 300002/2423382 573.50/571.78 c cleaning 12999 clauses out of 26012 with flag 313001/2436381 577.12/575.35 c cleaning 12999 clauses out of 26012 with flag 326000/2449380 580.60/578.89 c cleaning 12999 clauses out of 26015 with flag 339002/2462382 584.41/582.60 c cleaning 13001 clauses out of 26015 with flag 352001/2475381 587.61/585.87 c cleaning 13002 clauses out of 26015 with flag 365002/2488382 590.91/589.12 c cleaning 12998 clauses out of 26012 with flag 378001/2501381 594.41/592.62 c cleaning 13003 clauses out of 26015 with flag 391002/2514382 597.82/596.07 c cleaning 13001 clauses out of 26011 with flag 404001/2527381 601.42/599.66 c cleaning 13000 clauses out of 26010 with flag 417001/2540381 605.33/603.53 c cleaning 13001 clauses out of 26009 with flag 430000/2553380 609.05/607.23 c cleaning 12995 clauses out of 26009 with flag 443001/2566381 612.84/611.00 c cleaning 13003 clauses out of 26015 with flag 456002/2579382 616.44/614.61 c cleaning 12997 clauses out of 26010 with flag 469000/2592380 620.14/618.33 c cleaning 13000 clauses out of 26014 with flag 482001/2605381 623.84/622.05 c cleaning 13000 clauses out of 26014 with flag 495001/2618381 627.54/625.74 c cleaning 13000 clauses out of 26014 with flag 508001/2631381 630.85/629.10 c cleaning 13000 clauses out of 26013 with flag 521000/2644380 634.38/632.56 c cleaning 13000 clauses out of 26016 with flag 534003/2657383 637.97/636.17 c cleaning 12998 clauses out of 26013 with flag 547000/2670380 641.77/639.90 c cleaning 13000 clauses out of 26015 with flag 560000/2683380 645.57/643.75 c cleaning 13003 clauses out of 26017 with flag 573002/2696382 648.87/647.08 c cleaning 12998 clauses out of 26012 with flag 586000/2709380 652.18/650.35 c cleaning 13001 clauses out of 26015 with flag 599001/2722381 655.38/653.56 c cleaning 13003 clauses out of 26015 with flag 612002/2735382 658.68/656.83 c cleaning 12998 clauses out of 26010 with flag 625000/2748380 661.90/660.05 c cleaning 13001 clauses out of 26012 with flag 638000/2761380 665.21/663.37 c cleaning 13000 clauses out of 26011 with flag 651000/2774380 668.69/666.84 c cleaning 13000 clauses out of 26012 with flag 664001/2787381 672.20/670.34 c cleaning 13002 clauses out of 26015 with flag 677004/2800384 675.40/673.53 c cleaning 12998 clauses out of 26011 with flag 690002/2813382 678.70/676.84 c cleaning 12996 clauses out of 26011 with flag 703000/2826380 682.11/680.22 c cleaning 13003 clauses out of 26015 with flag 716000/2839380 685.51/683.64 c cleaning 13002 clauses out of 26016 with flag 729004/2852384 689.01/687.11 c cleaning 12999 clauses out of 26010 with flag 742000/2865380 692.51/690.70 c cleaning 12999 clauses out of 26011 with flag 755000/2878380 696.23/694.32 c cleaning 12998 clauses out of 26013 with flag 768001/2891381 699.93/698.01 c cleaning 12999 clauses out of 26014 with flag 781000/2904380 703.24/701.33 c cleaning 13001 clauses out of 26016 with flag 794001/2917381 706.54/704.64 c cleaning 13002 clauses out of 26015 with flag 807001/2930381 709.84/707.95 c cleaning 13000 clauses out of 26014 with flag 820002/2943382 713.25/711.38 c cleaning 12995 clauses out of 26012 with flag 833000/2956380 716.86/714.92 c cleaning 13002 clauses out of 26017 with flag 846000/2969380 720.35/718.49 c cleaning 13001 clauses out of 26015 with flag 859000/2982380 724.16/722.24 c cleaning 12999 clauses out of 26016 with flag 872002/2995382 727.76/725.81 c cleaning 13002 clauses out of 26016 with flag 885001/3008381 731.28/729.39 c cleaning 13002 clauses out of 26014 with flag 898001/3021381 734.76/732.83 c cleaning 13002 clauses out of 26011 with flag 911000/3034380 737.78/735.87 c cleaning 13001 clauses out of 26012 with flag 924003/3047383 740.87/738.90 c cleaning 12999 clauses out of 26010 with flag 937002/3060382 744.17/742.27 c cleaning 13001 clauses out of 26010 with flag 950001/3073381 747.88/745.99 c cleaning 12994 clauses out of 26008 with flag 963000/3086380 751.28/749.40 c cleaning 13002 clauses out of 26015 with flag 976001/3099381 754.49/752.58 c cleaning 13002 clauses out of 26015 with flag 989003/3112383 758.00/756.01 c cleaning 13003 clauses out of 26011 with flag 1002001/3125381 761.70/759.79 c cleaning 12997 clauses out of 26007 with flag 1015000/3138380 765.49/763.59 c cleaning 12999 clauses out of 26010 with flag 1028000/3151380 769.40/767.41 c cleaning 13001 clauses out of 26013 with flag 1041002/3164382 772.81/770.89 c cleaning 12998 clauses out of 26010 with flag 1054000/3177380 776.61/774.60 c cleaning 12999 clauses out of 26012 with flag 1067000/3190380 780.01/778.03 c cleaning 12999 clauses out of 26013 with flag 1080000/3203380 783.71/781.79 c cleaning 13004 clauses out of 26016 with flag 1093002/3216382 787.22/785.25 c cleaning 13000 clauses out of 26011 with flag 1106001/3229381 790.52/788.61 c cleaning 13001 clauses out of 26010 with flag 1119000/3242380 794.04/792.09 c cleaning 13000 clauses out of 26010 with flag 1132001/3255381 797.62/795.69 c cleaning 13000 clauses out of 26009 with flag 1145000/3268380 801.22/799.29 c cleaning 12999 clauses out of 26010 with flag 1158001/3281381 804.83/802.82 c cleaning 12999 clauses out of 26010 with flag 1171000/3294380 808.35/806.34 c cleaning 13004 clauses out of 26013 with flag 1184002/3307382 811.83/809.85 c cleaning 12998 clauses out of 26007 with flag 1197000/3320380 815.04/813.06 c cleaning 12997 clauses out of 26012 with flag 1210003/3333383 818.04/816.07 c cleaning 13000 clauses out of 26014 with flag 1223002/3346382 821.24/819.24 c cleaning 13001 clauses out of 26013 with flag 1236001/3359381 824.54/822.51 c cleaning 12999 clauses out of 26013 with flag 1249002/3372382 827.95/825.97 c cleaning 13000 clauses out of 26012 with flag 1262000/3385380 831.36/829.41 c cleaning 13000 clauses out of 26013 with flag 1275001/3398381 835.06/833.05 c cleaning 13000 clauses out of 26012 with flag 1288000/3411380 838.36/836.39 c cleaning 13000 clauses out of 26012 with flag 1301000/3424380 841.96/839.97 c cleaning 13002 clauses out of 26015 with flag 1314003/3437383 845.17/843.19 c cleaning 12999 clauses out of 26012 with flag 1327002/3450382 848.47/846.45 c cleaning 12998 clauses out of 26011 with flag 1340000/3463380 851.77/849.70 c cleaning 13000 clauses out of 26014 with flag 1353001/3476381 855.08/853.08 c cleaning 13003 clauses out of 26015 with flag 1366002/3489382 858.68/856.61 c cleaning 12999 clauses out of 26012 with flag 1379002/3502382 862.08/860.11 c cleaning 12999 clauses out of 26012 with flag 1392001/3515381 865.88/863.80 c cleaning 12999 clauses out of 26012 with flag 1405000/3528380 869.28/867.25 c cleaning 13004 clauses out of 26017 with flag 1418004/3541384 872.59/870.60 c cleaning 12997 clauses out of 26010 with flag 1431001/3554381 876.09/874.09 c cleaning 13000 clauses out of 26013 with flag 1444001/3567381 879.70/877.61 c cleaning 13000 clauses out of 26013 with flag 1457001/3580381 883.22/881.13 c cleaning 13002 clauses out of 26014 with flag 1470002/3593382 886.81/884.79 c cleaning 12995 clauses out of 26010 with flag 1483000/3606380 890.10/888.08 c cleaning 13001 clauses out of 26015 with flag 1496000/3619380 893.51/891.40 c cleaning 13003 clauses out of 26015 with flag 1509001/3632381 896.71/894.66 c cleaning 12997 clauses out of 26011 with flag 1522000/3645380 900.11/898.00 c cleaning 12997 clauses out of 26015 with flag 1535001/3658381 903.42/901.38 c cleaning 13004 clauses out of 26019 with flag 1548002/3671382 906.82/904.77 c cleaning 13000 clauses out of 26014 with flag 1561001/3684381 910.22/908.18 c cleaning 12999 clauses out of 26014 with flag 1574001/3697381 913.52/911.47 c cleaning 13000 clauses out of 26014 with flag 1587000/3710380 917.03/914.96 c cleaning 13002 clauses out of 26015 with flag 1600001/3723381 920.65/918.55 c cleaning 13000 clauses out of 26013 with flag 1613001/3736381 924.23/922.10 c cleaning 13001 clauses out of 26013 with flag 1626001/3749381 927.64/925.57 c cleaning 13001 clauses out of 26013 with flag 1639002/3762382 931.15/929.00 c cleaning 12999 clauses out of 26010 with flag 1652000/3775380 934.65/932.51 c cleaning 12999 clauses out of 26011 with flag 1665000/3788380 938.16/936.05 c cleaning 13000 clauses out of 26012 with flag 1678000/3801380 941.65/939.57 c cleaning 12999 clauses out of 26014 with flag 1691002/3814382 945.25/943.19 c cleaning 13000 clauses out of 26013 with flag 1704000/3827380 948.85/946.76 c cleaning 13000 clauses out of 26013 with flag 1717000/3840380 952.35/950.27 c cleaning 13000 clauses out of 26014 with flag 1730001/3853381 955.95/953.89 c cleaning 13000 clauses out of 26013 with flag 1743000/3866380 959.56/957.49 c cleaning 13001 clauses out of 26014 with flag 1756001/3879381 963.27/961.14 c cleaning 12998 clauses out of 26013 with flag 1769001/3892381 966.97/964.81 c cleaning 12997 clauses out of 26014 with flag 1782000/3905380 970.57/968.42 c cleaning 13003 clauses out of 26019 with flag 1795002/3918382 974.27/972.12 c cleaning 13003 clauses out of 26016 with flag 1808002/3931382 978.06/975.90 c cleaning 12999 clauses out of 26012 with flag 1821001/3944381 981.77/979.65 c cleaning 12995 clauses out of 26012 with flag 1834000/3957380 985.28/983.17 c cleaning 13002 clauses out of 26018 with flag 1847001/3970381 989.08/986.92 c cleaning 13002 clauses out of 26017 with flag 1860002/3983382 992.69/990.57 c cleaning 12997 clauses out of 26013 with flag 1873000/3996380 996.39/994.25 c cleaning 13000 clauses out of 26016 with flag 1886000/4009380 1000.19/998.05 c cleaning 12999 clauses out of 26016 with flag 1899000/4022380 1003.59/1001.47 c cleaning 13005 clauses out of 26018 with flag 1912001/4035381 1007.00/1004.86 c cleaning 12998 clauses out of 26012 with flag 1925000/4048380 1010.59/1008.41 c cleaning 13005 clauses out of 26014 with flag 1938000/4061380 1014.00/1011.91 c cleaning 13000 clauses out of 26009 with flag 1951000/4074380 1017.72/1015.54 c cleaning 12998 clauses out of 26009 with flag 1964000/4087380 1021.42/1019.26 c cleaning 12999 clauses out of 26013 with flag 1977002/4100382 1025.13/1022.98 c cleaning 13003 clauses out of 26015 with flag 1990003/4113383 1028.91/1026.79 c cleaning 13002 clauses out of 26010 with flag 2003001/4126381 1032.42/1030.28 c cleaning 12997 clauses out of 26007 with flag 2016000/4139380 1036.03/1033.82 c cleaning 13001 clauses out of 26013 with flag 2029003/4152383 1039.73/1037.58 c cleaning 12997 clauses out of 26010 with flag 2042001/4165381 1043.64/1041.44 c cleaning 12997 clauses out of 26015 with flag 2055003/4178383 1047.54/1045.30 c cleaning 13001 clauses out of 26015 with flag 2068000/4191380 1051.14/1048.91 c cleaning 12999 clauses out of 26014 with flag 2081000/4204380 1054.74/1052.56 c cleaning 13002 clauses out of 26016 with flag 2094001/4217381 1058.44/1056.25 c cleaning 12999 clauses out of 26013 with flag 2107000/4230380 1062.25/1060.09 c cleaning 13002 clauses out of 26016 with flag 2120002/4243382 1066.16/1063.95 c cleaning 12999 clauses out of 26012 with flag 2133000/4256380 1070.16/1067.97 c cleaning 13002 clauses out of 26014 with flag 2146001/4269381 1074.16/1071.98 c cleaning 13001 clauses out of 26011 with flag 2159000/4282380 1078.16/1075.94 c cleaning 12998 clauses out of 26012 with flag 2172002/4295382 1082.17/1079.97 c cleaning 13000 clauses out of 26013 with flag 2185001/4308381 1086.16/1083.98 c cleaning 13000 clauses out of 26012 with flag 2198000/4321380 1089.86/1087.69 c cleaning 13001 clauses out of 26014 with flag 2211002/4334382 1093.67/1091.48 c cleaning 13001 clauses out of 26013 with flag 2224002/4347382 1097.37/1095.13 c cleaning 12998 clauses out of 26011 with flag 2237001/4360381 1101.27/1099.00 c cleaning 12998 clauses out of 26012 with flag 2250000/4373380 1105.28/1103.05 c cleaning 13000 clauses out of 26014 with flag 2263000/4386380 1109.28/1107.08 c cleaning 13001 clauses out of 26015 with flag 2276001/4399381 1113.38/1111.12 c cleaning 13002 clauses out of 26013 with flag 2289000/4412380 1117.08/1114.89 c cleaning 13000 clauses out of 26013 with flag 2302002/4425382 1120.90/1118.63 c cleaning 12998 clauses out of 26011 with flag 2315000/4438380 1124.79/1122.52 c cleaning 13002 clauses out of 26014 with flag 2328001/4451381 1128.78/1126.55 c cleaning 12997 clauses out of 26014 with flag 2341003/4464383 1132.79/1130.54 c cleaning 12999 clauses out of 26014 with flag 2354000/4477380 1136.79/1134.53 c cleaning 13001 clauses out of 26016 with flag 2367001/4490381 1140.89/1138.67 c cleaning 12999 clauses out of 26014 with flag 2380000/4503380 1144.99/1142.75 c cleaning 12996 clauses out of 26015 with flag 2393000/4516380 1149.09/1146.90 c cleaning 13005 clauses out of 26021 with flag 2406002/4529382 1152.09/1149.88 c cleaning 12999 clauses out of 26014 with flag 2419000/4542380 1155.11/1152.85 c cleaning 13003 clauses out of 26015 with flag 2432000/4555380 1158.11/1155.80 c cleaning 13001 clauses out of 26012 with flag 2445000/4568380 1161.01/1158.78 c cleaning 12999 clauses out of 26012 with flag 2458001/4581381 1164.11/1161.89 c cleaning 13001 clauses out of 26012 with flag 2471000/4594380 1167.51/1165.20 c cleaning 12999 clauses out of 26012 with flag 2484001/4607381 1170.82/1168.56 c cleaning 13001 clauses out of 26012 with flag 2497000/4620380 1174.12/1171.81 c cleaning 13000 clauses out of 26012 with flag 2510001/4633381 1177.42/1175.18 c cleaning 13001 clauses out of 26012 with flag 2523001/4646381 1180.82/1178.54 c cleaning 12998 clauses out of 26012 with flag 2536002/4659382 1183.64/1181.37 c cleaning 13000 clauses out of 26013 with flag 2549001/4672381 1186.52/1184.21 c cleaning 13000 clauses out of 26012 with flag 2562000/4685380 1189.43/1187.16 c cleaning 12998 clauses out of 26012 with flag 2575000/4698380 1192.44/1190.15 c cleaning 12999 clauses out of 26014 with flag 2588000/4711380 1195.24/1192.97 c cleaning 13001 clauses out of 26015 with flag 2601000/4724380 1198.24/1195.94 c cleaning 13002 clauses out of 26017 with flag 2614003/4737383 1201.44/1199.13 c cleaning 13002 clauses out of 26012 with flag 2627000/4750380 1204.56/1202.28 c cleaning 13000 clauses out of 26011 with flag 2640001/4763381 1207.75/1205.43 c cleaning 12998 clauses out of 26012 with flag 2653002/4776382 1211.05/1208.73 c cleaning 13001 clauses out of 26013 with flag 2666001/4789381 1214.36/1212.05 c cleaning 13000 clauses out of 26012 with flag 2679001/4802381 1217.66/1215.36 c cleaning 12997 clauses out of 26012 with flag 2692001/4815381 1220.96/1218.64 c cleaning 13001 clauses out of 26014 with flag 2705000/4828380 1224.38/1222.03 c cleaning 13001 clauses out of 26014 with flag 2718001/4841381 1227.69/1225.40 c cleaning 13000 clauses out of 26013 with flag 2731001/4854381 1231.18/1228.85 c cleaning 13003 clauses out of 26015 with flag 2744003/4867383 1234.68/1232.33 c cleaning 12998 clauses out of 26011 with flag 2757002/4880382 1238.18/1235.84 c cleaning 13001 clauses out of 26012 with flag 2770001/4893381 1241.59/1239.29 c cleaning 12998 clauses out of 26011 with flag 2783001/4906381 1245.19/1242.81 c cleaning 13002 clauses out of 26013 with flag 2796001/4919381 1248.49/1246.20 c cleaning 13000 clauses out of 26011 with flag 2809001/4932381 1252.10/1249.72 c cleaning 13001 clauses out of 26014 with flag 2822004/4945384 1255.61/1253.27 c cleaning 12998 clauses out of 26010 with flag 2835001/4958381 1259.11/1256.77 c cleaning 13000 clauses out of 26013 with flag 2848002/4971382 1262.11/1259.77 c cleaning 13003 clauses out of 26017 with flag 2861006/4984386 1265.24/1262.88 c cleaning 12997 clauses out of 26008 with flag 2874000/4997380 1268.43/1266.09 c cleaning 13002 clauses out of 26011 with flag 2887000/5010380 1271.62/1269.24 c cleaning 12999 clauses out of 26010 with flag 2900001/5023381 1274.83/1272.47 c cleaning 12998 clauses out of 26010 with flag 2913000/5036380 1278.03/1275.69 c cleaning 13002 clauses out of 26013 with flag 2926001/5049381 1281.33/1278.96 c cleaning 13000 clauses out of 26012 with flag 2939002/5062382 1284.74/1282.30 c cleaning 12999 clauses out of 26011 with flag 2952001/5075381 1288.04/1285.70 c cleaning 13002 clauses out of 26011 with flag 2965000/5088380 1291.34/1288.95 c cleaning 12997 clauses out of 26010 with flag 2978001/5101381 1294.64/1292.29 c cleaning 12999 clauses out of 26013 with flag 2991001/5114381 1298.04/1295.60 c cleaning 13004 clauses out of 26017 with flag 3004004/5127384 1301.24/1298.88 c cleaning 12998 clauses out of 26010 with flag 3017001/5140381 1304.65/1302.27 c cleaning 12998 clauses out of 26012 with flag 3030001/5153381 1307.95/1305.60 c cleaning 13000 clauses out of 26013 with flag 3043000/5166380 1311.55/1309.15 c cleaning 12998 clauses out of 26013 with flag 3056000/5179380 1314.67/1312.30 c cleaning 13002 clauses out of 26017 with flag 3069002/5192382 1317.86/1315.45 c cleaning 12999 clauses out of 26013 with flag 3082000/5205380 1321.27/1318.85 c cleaning 13002 clauses out of 26016 with flag 3095002/5218382 1324.76/1322.33 c cleaning 12999 clauses out of 26012 with flag 3108000/5231380 1328.17/1325.78 c cleaning 13001 clauses out of 26015 with flag 3121002/5244382 1331.67/1329.21 c cleaning 13001 clauses out of 26012 with flag 3134000/5257380 1335.07/1332.62 c cleaning 13001 clauses out of 26011 with flag 3147000/5270380 1338.59/1336.13 c cleaning 12998 clauses out of 26010 with flag 3160000/5283380 1342.31/1339.88 c cleaning 13004 clauses out of 26015 with flag 3173003/5296383 1345.78/1343.38 c cleaning 13000 clauses out of 26012 with flag 3186004/5309384 1349.58/1347.16 c cleaning 13001 clauses out of 26009 with flag 3199001/5322381 1353.31/1350.83 c cleaning 13000 clauses out of 26008 with flag 3212001/5335381 1357.09/1354.70 c cleaning 13000 clauses out of 26007 with flag 3225000/5348380 1360.59/1358.17 c cleaning 12998 clauses out of 26008 with flag 3238001/5361381 1363.99/1361.55 c cleaning 12997 clauses out of 26009 with flag 3251000/5374380 1367.52/1365.02 c cleaning 12999 clauses out of 26014 with flag 3264002/5387382 1371.10/1368.60 c cleaning 12999 clauses out of 26013 with flag 3277000/5400380 1374.61/1372.13 c cleaning 12998 clauses out of 26014 with flag 3290000/5413380 1378.21/1375.71 c cleaning 13001 clauses out of 26016 with flag 3303000/5426380 1381.83/1379.37 c cleaning 13002 clauses out of 26016 with flag 3316001/5439381 1385.61/1383.16 c cleaning 12998 clauses out of 26013 with flag 3329000/5452380 1389.41/1386.94 c cleaning 13001 clauses out of 26015 with flag 3342000/5465380 1393.31/1390.87 c cleaning 13000 clauses out of 26014 with flag 3355000/5478380 1397.02/1394.57 c cleaning 13002 clauses out of 26014 with flag 3368000/5491380 1400.82/1398.39 c cleaning 12996 clauses out of 26012 with flag 3381000/5504380 1404.52/1402.00 c cleaning 13004 clauses out of 26020 with flag 3394004/5517384 1407.82/1405.39 c cleaning 13003 clauses out of 26012 with flag 3407000/5530380 1410.82/1408.33 c cleaning 13000 clauses out of 26010 with flag 3420001/5543381 1414.03/1411.52 c cleaning 13002 clauses out of 26009 with flag 3433000/5556380 1417.23/1414.72 c cleaning 12996 clauses out of 26008 with flag 3446001/5569381 1420.65/1418.13 c cleaning 12999 clauses out of 26013 with flag 3459002/5582382 1424.15/1421.60 c cleaning 13001 clauses out of 26014 with flag 3472002/5595382 1427.65/1425.14 c cleaning 13001 clauses out of 26011 with flag 3485000/5608380 1431.26/1428.70 c cleaning 13002 clauses out of 26011 with flag 3498001/5621381 1434.67/1432.18 c cleaning 12999 clauses out of 26012 with flag 3511004/5634384 1438.26/1435.75 c cleaning 12998 clauses out of 26012 with flag 3524003/5647383 1441.56/1439.06 c cleaning 13000 clauses out of 26011 with flag 3537000/5660380 1444.97/1442.43 c cleaning 13002 clauses out of 26015 with flag 3550004/5673384 1448.46/1445.95 c cleaning 13000 clauses out of 26009 with flag 3563000/5686380 1451.97/1449.43 c cleaning 13000 clauses out of 26010 with flag 3576001/5699381 1455.47/1452.91 c cleaning 12998 clauses out of 26009 with flag 3589000/5712380 1459.08/1456.50 c cleaning 13000 clauses out of 26012 with flag 3602001/5725381 1462.68/1460.13 c cleaning 12998 clauses out of 26012 with flag 3615001/5738381 1466.28/1463.70 c cleaning 13000 clauses out of 26013 with flag 3628000/5751380 1469.90/1467.32 c cleaning 13001 clauses out of 26014 with flag 3641001/5764381 1473.48/1470.98 c cleaning 12999 clauses out of 26013 with flag 3654001/5777381 1477.09/1474.53 c cleaning 13002 clauses out of 26015 with flag 3667002/5790382 1480.59/1478.00 c cleaning 13000 clauses out of 26011 with flag 3680000/5803380 1484.10/1481.55 c cleaning 13001 clauses out of 26013 with flag 3693002/5816382 1487.70/1485.15 c cleaning 13000 clauses out of 26012 with flag 3706002/5829382 1491.21/1488.68 c cleaning 13001 clauses out of 26012 with flag 3719002/5842382 1494.81/1492.25 c cleaning 12997 clauses out of 26009 with flag 3732000/5855380 1498.52/1496.01 c cleaning 13000 clauses out of 26012 with flag 3745000/5868380 1502.31/1499.73 c cleaning 13000 clauses out of 26013 with flag 3758001/5881381 1505.91/1503.33 c cleaning 12999 clauses out of 26012 with flag 3771000/5894380 1509.53/1506.97 c cleaning 13002 clauses out of 26013 with flag 3784000/5907380 1513.31/1510.71 c cleaning 13004 clauses out of 26017 with flag 3797006/5920386 1517.11/1514.54 c cleaning 12999 clauses out of 26008 with flag 3810001/5933381 1520.82/1518.29 c cleaning 13000 clauses out of 26010 with flag 3823002/5946382 1524.43/1521.89 c cleaning 13001 clauses out of 26011 with flag 3836003/5959383 1528.13/1525.53 c cleaning 12997 clauses out of 26007 with flag 3849000/5972380 1531.84/1529.22 c cleaning 12999 clauses out of 26011 with flag 3862001/5985381 1535.74/1533.12 c cleaning 13001 clauses out of 26011 with flag 3875000/5998380 1539.54/1536.96 c cleaning 13001 clauses out of 26011 with flag 3888001/6011381 1543.44/1540.88 c cleaning 13001 clauses out of 26009 with flag 3901000/6024380 1546.44/1543.89 c cleaning 13001 clauses out of 26010 with flag 3914002/6037382 1549.44/1546.88 c cleaning 12999 clauses out of 26007 with flag 3927000/6050380 1552.46/1549.91 c cleaning 12994 clauses out of 26008 with flag 3940000/6063380 1555.55/1552.99 c cleaning 13000 clauses out of 26017 with flag 3953003/6076383 1558.75/1556.13 c cleaning 13004 clauses out of 26014 with flag 3966000/6089380 1561.75/1559.13 c cleaning 13000 clauses out of 26012 with flag 3979002/6102382 1564.76/1562.15 c cleaning 12998 clauses out of 26011 with flag 3992001/6115381 1567.98/1565.40 c cleaning 13001 clauses out of 26013 with flag 4005001/6128381 1571.36/1568.72 c cleaning 13003 clauses out of 26011 with flag 4018000/6141380 1574.66/1572.00 c cleaning 12998 clauses out of 26009 with flag 4031001/6154381 1577.88/1575.28 c cleaning 12999 clauses out of 26010 with flag 4044000/6167380 1581.18/1578.53 c cleaning 12999 clauses out of 26014 with flag 4057003/6180383 1584.39/1581.78 c cleaning 13001 clauses out of 26012 with flag 4070000/6193380 1587.68/1585.04 c cleaning 12998 clauses out of 26011 with flag 4083000/6206380 1590.99/1588.39 c cleaning 12999 clauses out of 26013 with flag 4096000/6219380 1594.39/1591.72 c cleaning 13003 clauses out of 26015 with flag 4109001/6232381 1597.78/1595.11 c cleaning 12999 clauses out of 26011 with flag 4122000/6245380 1601.18/1598.52 c cleaning 13004 clauses out of 26020 with flag 4135008/6258388 1604.49/1601.84 c cleaning 12999 clauses out of 26008 with flag 4148000/6271380 1607.79/1605.16 c cleaning 13002 clauses out of 26013 with flag 4161004/6284384 1611.29/1608.63 c cleaning 12997 clauses out of 26007 with flag 4174000/6297380 1614.79/1612.12 c cleaning 13000 clauses out of 26011 with flag 4187001/6310381 1618.19/1615.54 c cleaning 13002 clauses out of 26016 with flag 4200006/6323386 1621.50/1618.88 c cleaning 12998 clauses out of 26009 with flag 4213001/6336381 1625.00/1622.35 c cleaning 13002 clauses out of 26013 with flag 4226003/6349383 1628.60/1625.95 c cleaning 13002 clauses out of 26008 with flag 4239000/6362380 1632.01/1629.37 c cleaning 12998 clauses out of 26008 with flag 4252002/6375382 1635.41/1632.76 c cleaning 12997 clauses out of 26008 with flag 4265000/6388380 1638.91/1636.25 c cleaning 13005 clauses out of 26018 with flag 4278007/6401387 1642.51/1639.81 c cleaning 12997 clauses out of 26008 with flag 4291002/6414382 1645.81/1643.16 c cleaning 13000 clauses out of 26009 with flag 4304000/6427380 1648.92/1646.25 c cleaning 12999 clauses out of 26010 with flag 4317001/6440381 1652.32/1649.63 c cleaning 13000 clauses out of 26014 with flag 4330004/6453384 1655.72/1653.04 c cleaning 12997 clauses out of 26010 with flag 4343000/6466380 1659.02/1656.39 c cleaning 13001 clauses out of 26014 with flag 4356001/6479381 1662.55/1659.86 c cleaning 12999 clauses out of 26013 with flag 4369001/6492381 1665.95/1663.27 c cleaning 13000 clauses out of 26013 with flag 4382000/6505380 1669.54/1666.85 c cleaning 13002 clauses out of 26013 with flag 4395000/6518380 1673.04/1670.37 c cleaning 12999 clauses out of 26012 with flag 4408001/6531381 1676.45/1673.73 c cleaning 13000 clauses out of 26013 with flag 4421001/6544381 1679.55/1676.86 c cleaning 13001 clauses out of 26014 with flag 4434002/6557382 1682.75/1680.01 c cleaning 13000 clauses out of 26011 with flag 4447000/6570380 1685.98/1683.26 c cleaning 13003 clauses out of 26013 with flag 4460002/6583382 1689.28/1686.55 c cleaning 12998 clauses out of 26008 with flag 4473000/6596380 1692.68/1689.93 c cleaning 12997 clauses out of 26010 with flag 4486000/6609380 1696.18/1693.49 c cleaning 13001 clauses out of 26016 with flag 4499003/6622383 1699.68/1696.95 c cleaning 13001 clauses out of 26014 with flag 4512002/6635382 1703.30/1700.53 c cleaning 13001 clauses out of 26013 with flag 4525002/6648382 1706.88/1704.13 c cleaning 12996 clauses out of 26010 with flag 4538000/6661380 1710.49/1707.73 c cleaning 13001 clauses out of 26015 with flag 4551001/6674381 1714.09/1711.33 c cleaning 13001 clauses out of 26014 with flag 4564001/6687381 1717.72/1714.97 c cleaning 13002 clauses out of 26013 with flag 4577001/6700381 1721.21/1718.42 c cleaning 13001 clauses out of 26010 with flag 4590000/6713380 1724.71/1721.95 c cleaning 12999 clauses out of 26009 with flag 4603000/6726380 1728.31/1725.54 c cleaning 12998 clauses out of 26010 with flag 4616000/6739380 1731.81/1729.05 c cleaning 12999 clauses out of 26012 with flag 4629000/6752380 1735.33/1732.57 c cleaning 13000 clauses out of 26014 with flag 4642001/6765381 1738.64/1735.86 c cleaning 13003 clauses out of 26014 with flag 4655001/6778381 1741.52/1738.71 c cleaning 12998 clauses out of 26010 with flag 4668000/6791380 1744.93/1742.13 c cleaning 13002 clauses out of 26013 with flag 4681001/6804381 1748.03/1745.21 c cleaning 13001 clauses out of 26011 with flag 4694001/6817381 1751.13/1748.34 c cleaning 13000 clauses out of 26010 with flag 4707001/6830381 1754.44/1751.63 c cleaning 13002 clauses out of 26013 with flag 4720004/6843384 1758.04/1755.21 c cleaning 12998 clauses out of 26008 with flag 4733001/6856381 1761.55/1758.70 c cleaning 13001 clauses out of 26010 with flag 4746001/6869381 1765.25/1762.40 c cleaning 13000 clauses out of 26010 with flag 4759002/6882382 1768.95/1766.10 c cleaning 12999 clauses out of 26009 with flag 4772001/6895381 1772.45/1769.61 c cleaning 13001 clauses out of 26012 with flag 4785003/6908383 1775.66/1772.84 c cleaning 13001 clauses out of 26011 with flag 4798003/6921383 1779.16/1776.31 c cleaning 12998 clauses out of 26007 with flag 4811000/6934380 1782.76/1779.92 c cleaning 13001 clauses out of 26009 with flag 4824000/6947380 1786.46/1783.65 c cleaning 12999 clauses out of 26008 with flag 4837000/6960380 1789.77/1786.95 c cleaning 13001 clauses out of 26011 with flag 4850002/6973382 1792.98/1790.10 c cleaning 13001 clauses out of 26009 with flag 4863001/6986381 1796.18/1793.34 c cleaning 13002 clauses out of 26009 with flag 4876002/6999382 1799.38/1796.51 c cleaning 12998 clauses out of 26007 with flag 4889002/7012382 1800.10/1797.22 c starts : 297 1800.10/1797.22 c conflicts : 7015427 1800.10/1797.22 c decisions : 11198152 1800.10/1797.22 c propagations : 1491538696 1800.10/1797.22 c inspects : 15081626547 1800.10/1797.22 c shortcuts : 0 1800.10/1797.22 c learnt literals : 0 1800.10/1797.22 c learnt binary clauses : 0 1800.10/1797.22 c learnt ternary clauses : 0 1800.10/1797.22 c learnt constraints : 7015427 1800.10/1797.22 c ignored constraints : 0 1800.10/1797.22 c root simplifications : 0 1800.10/1797.22 c removed literals (reason simplification) : 21234571 1800.10/1797.22 c reason swapping (by a shorter reason) : 0 1800.10/1797.22 c Calls to reduceDB : 547 1800.10/1797.22 c number of reductions to clauses (during analyze) : 0 1800.10/1797.22 c number of learned constraints concerned by reduction : 0 1800.10/1797.22 c number of learning phase by resolution : 0 1800.10/1797.22 c number of learning phase by cutting planes : 0 1800.10/1797.22 c speed (assignments/second) : 1144189.192506465 1800.10/1797.22 c non guided choices 0 1800.10/1797.23 c learnt constraints type 1800.10/1797.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16076 1800.10/1797.23 c constraints type 1800.10/1797.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6404 1800.10/1797.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.10/1797.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204 1800.10/1797.23 s SATISFIABLE 1800.10/1797.23 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 1800.10/1797.23 c objective function=13 1800.10/1797.23 c Total wall clock time (in seconds): 1797.12
OK 13
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-3458308-1307158709/watcher-3458308-1307158709 -o /tmp/evaluation-result-3458308-1307158709/solver-3458308-1307158709 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458308-1307158709.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.92 2.01 1.88 3/495 16341 /proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 5914 0 1 0 0 0 0 0 25 0 2 0 827470485 13850947584 5615 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3381579 5629 917 9 0 3372735 0 [pid=16341/tid=16342] ppid=16339 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 7442 0 1 0 0 0 0 0 25 0 2 0 827470485 13850947584 8258 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0703889 s] /proc/loadavg: 1.92 2.01 1.88 3/495 16341 /proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13555088 CPUtime=0.06 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 14308 0 1 0 5 1 0 0 25 0 18 0 827470485 13880410112 14004 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3388772 14005 1742 9 0 3379506 0 [pid=16341/tid=16342] ppid=16339 vsize=13555088 CPUtime=0.05 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 13133 0 1 0 4 1 0 0 22 0 18 0 827470485 13880410112 14005 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455741510403 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13555088 [startup+0.105369 s] /proc/loadavg: 1.92 2.01 1.88 3/495 16341 /proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13621644 CPUtime=0.11 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 15426 0 1 0 9 2 0 0 25 0 18 0 827470485 13948563456 15122 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3405411 15123 2092 9 0 3396145 0 [pid=16341/tid=16342] ppid=16339 vsize=13621644 CPUtime=0.08 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 13666 0 1 0 7 1 0 0 22 0 18 0 827470485 13948563456 15123 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658973131 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13621644 [startup+0.325328 s] /proc/loadavg: 1.92 2.01 1.88 3/495 16341 /proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13624216 CPUtime=0.53 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 18054 0 1 0 51 2 0 0 25 0 18 0 827470485 13951197184 17708 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3406054 17708 2220 9 0 3396788 0 [pid=16341/tid=16342] ppid=16339 vsize=13624216 CPUtime=0.31 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 15350 0 1 0 29 2 0 0 18 0 18 0 827470485 13951197184 17708 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455746005812 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 13624216 [startup+0.702227 s] /proc/loadavg: 1.92 2.01 1.88 3/495 16341 /proc/meminfo: memFree=29077028/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=1.65 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 28115 0 1 0 161 4 0 0 25 0 19 0 827470485 13963681792 24452 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 24452 2241 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=0.67 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 17850 0 1 0 65 2 0 0 19 0 19 0 827470485 13963681792 24452 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 13636408 [startup+1.50117 s] /proc/loadavg: 1.92 2.01 1.88 3/514 16360 /proc/meminfo: memFree=28986440/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=2.53 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 28627 0 1 0 249 4 0 0 25 0 19 0 827470485 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 24964 2243 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1.47 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18349 0 1 0 144 3 0 0 20 0 19 0 827470485 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658972341 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827470487 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827470488 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827470489 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827470489 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.49 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) R 16339 16341 12918 0 -1 4202560 3980 0 0 0 49 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 47455744084669 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.54 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5136 0 0 0 54 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 24964 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 13636408 [startup+3.10085 s] /proc/loadavg: 1.92 2.01 1.88 3/514 16362 /proc/meminfo: memFree=28971064/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=4.2 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 32986 0 1 0 415 5 0 0 25 0 19 0 827470485 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 29316 2268 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=3 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18544 0 1 0 297 3 0 0 25 0 19 0 827470485 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505881036 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 206 0 0 0 0 0 0 0 16 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 892 0 0 0 0 0 0 0 18 0 19 0 827470487 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0.05 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 1794 0 0 0 5 0 0 0 16 0 19 0 827470488 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.53 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3988 0 0 0 53 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.57 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5143 0 0 0 57 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 29316 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 13636408 [startup+6.30128 s] /proc/loadavg: 1.93 2.01 1.88 3/534 16403 /proc/meminfo: memFree=28849724/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=7.43 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 33510 0 1 0 737 6 0 0 25 0 19 0 827470485 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 29580 2269 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=6.11 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 18546 0 1 0 608 3 0 0 25 0 19 0 827470485 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505920224 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 647 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 251 0 0 0 0 0 0 0 16 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.01 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 696 0 0 0 1 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 892 0 0 0 0 0 0 0 15 0 19 0 827470487 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=0.11 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 1981 0 0 0 11 0 0 0 16 0 19 0 827470488 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.55 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3991 0 0 0 55 0 0 0 15 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.58 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 58 0 0 0 15 0 19 0 827470491 13963681792 29580 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 512 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.4 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1015 0 0 0 40 0 0 0 16 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.38 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1220 0 0 0 38 0 0 0 15 0 19 0 827470487 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=19.53 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5228 0 0 0 1943 10 0 0 15 0 19 0 827470488 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34042 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1665.04 Current children cumulated vsize (KiB) 13636408 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/535 16460 /proc/meminfo: memFree=28385264/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=1725.11 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38729 0 1 0 172455 56 0 0 25 0 19 0 827470485 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 34075 2270 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1700.19 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19067 0 1 0 169979 40 0 0 25 0 19 0 827470485 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505820064 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 231 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 43 0 0 0 16 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.45 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 45 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.45 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 512 0 0 0 45 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1015 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.4 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1220 0 0 0 40 0 0 0 15 0 19 0 827470487 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=20.25 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5261 0 0 0 2015 10 0 0 15 0 19 0 827470488 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34075 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1725.11 Current children cumulated vsize (KiB) 13636408 [startup+1782.3 s] /proc/loadavg: 2.13 2.05 2.00 3/535 16462 /proc/meminfo: memFree=28381636/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=1785.16 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38800 0 1 0 178459 57 0 0 25 0 19 0 827470485 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 34121 2270 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1759.44 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19084 0 1 0 175903 41 0 0 25 0 19 0 827470485 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505880769 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 231 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 44 0 0 0 16 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.46 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 46 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 516 0 0 0 47 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1016 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1223 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=20.93 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5303 0 0 0 2083 10 0 0 15 0 19 0 827470488 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34121 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1785.16 Current children cumulated vsize (KiB) 13636408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.2 s] /proc/loadavg: 2.10 2.05 2.00 3/535 16462 /proc/meminfo: memFree=28381760/32951132 swapFree=57925096/67111528 [pid=16341] ppid=16339 vsize=13636408 CPUtime=1800.1 cores=0,2,4,6 /proc/16341/stat : 16341 (java) S 16339 16341 12918 0 -1 4202496 38814 0 1 0 179952 58 0 0 25 0 19 0 827470485 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/16341/statm: 3409102 34130 2270 9 0 3399836 0 [pid=16341/tid=16342] ppid=16339 vsize=13636408 CPUtime=1774.15 cores=0,2,4,6 /proc/16341/task/16342/stat : 16342 (java) R 16339 16341 12918 0 -1 4202560 19089 0 1 0 177373 42 0 0 25 0 19 0 827470485 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 46912505903628 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16341/tid=16344] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6 /proc/16341/task/16344/stat : 16344 (java) S 16339 16341 12918 0 -1 4202560 685 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16345] ppid=16339 vsize=13636408 CPUtime=0.42 cores=0,2,4,6 /proc/16341/task/16345/stat : 16345 (java) S 16339 16341 12918 0 -1 4202560 232 0 0 0 42 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16346] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6 /proc/16341/task/16346/stat : 16346 (java) S 16339 16341 12918 0 -1 4202560 28 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16347] ppid=16339 vsize=13636408 CPUtime=0.44 cores=0,2,4,6 /proc/16341/task/16347/stat : 16347 (java) S 16339 16341 12918 0 -1 4202560 33 0 0 0 44 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16348] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6 /proc/16341/task/16348/stat : 16348 (java) S 16339 16341 12918 0 -1 4202560 285 0 0 0 47 0 0 0 16 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16349] ppid=16339 vsize=13636408 CPUtime=0.47 cores=0,2,4,6 /proc/16341/task/16349/stat : 16349 (java) S 16339 16341 12918 0 -1 4202560 517 0 0 0 47 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16350] ppid=16339 vsize=13636408 CPUtime=0.43 cores=0,2,4,6 /proc/16341/task/16350/stat : 16350 (java) S 16339 16341 12918 0 -1 4202560 1016 0 0 0 43 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16351] ppid=16339 vsize=13636408 CPUtime=0.41 cores=0,2,4,6 /proc/16341/task/16351/stat : 16351 (java) S 16339 16341 12918 0 -1 4202560 1223 0 0 0 41 0 0 0 15 0 19 0 827470487 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16352] ppid=16339 vsize=13636408 CPUtime=21.13 cores=0,2,4,6 /proc/16341/task/16352/stat : 16352 (java) S 16339 16341 12918 0 -1 4202560 5310 0 0 0 2103 10 0 0 15 0 19 0 827470488 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 0 0 16800975 18446604445919887552 0 0 -1 4 0 0 0 [pid=16341/tid=16353] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16353/stat : 16353 (java) S 16339 16341 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16354] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16354/stat : 16354 (java) S 16339 16341 12918 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 827470489 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 [pid=16341/tid=16355] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16355/stat : 16355 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658970033 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16356] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16356/stat : 16356 (java) S 16339 16341 12918 0 -1 4202560 3995 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 0 0 0 0 [pid=16341/tid=16357] ppid=16339 vsize=13636408 CPUtime=0.59 cores=0,2,4,6 /proc/16341/task/16357/stat : 16357 (java) S 16339 16341 12918 0 -1 4202560 5145 0 0 0 59 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16358] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16358/stat : 16358 (java) S 16339 16341 12918 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962329 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16359] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16359/stat : 16359 (java) S 16339 16341 12918 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827470491 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 2 0 0 0 [pid=16341/tid=16360] ppid=16339 vsize=13636408 CPUtime=0 cores=0,2,4,6 /proc/16341/task/16360/stat : 16360 (java) S 16339 16341 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827470534 13963681792 34130 33554432000 1073741824 1073778376 140734822651728 18446744073709551615 210658962944 0 4 0 16800975 18446604445919887552 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 13636408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1797.24 CPU time (s): 1800.15 CPU user time (s): 1799.56 CPU system time (s): 0.59191 CPU usage (%): 100.162 Max. virtual memory (cumulated for all children) (KiB): 13636408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.59191 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38852 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= 50976 involuntary context switches= 38313 runsolver used 9.79051 second user time and 20.2799 second system time The end
Begin job on node129 at 2011-06-04 05:38:29 IDJOB=3458308 IDBENCH=48128 IDSOLVER=1952 FILE ID=node129/3458308-1307158709 RUNJOBID= node129-1307156908-16155 PBS_JOBID= 13508787 Free space on /tmp= 73860 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458308-1307158709/watcher-3458308-1307158709 -o /tmp/evaluation-result-3458308-1307158709/solver-3458308-1307158709 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458308-1307158709.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=726566327 node129.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.831 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.66 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.831 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.83 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.831 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.831 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.82 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.831 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.74 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.831 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.831 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29077308 kB Buffers: 315864 kB Cached: 2122856 kB SwapCached: 49348 kB Active: 441772 kB Inactive: 3150152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29077308 kB SwapTotal: 67111528 kB SwapFree: 57925096 kB Dirty: 1388 kB Writeback: 0 kB AnonPages: 1115536 kB Mapped: 14584 kB Slab: 153576 kB PageTables: 59092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 147302244 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73880 MiB End job on node129 at 2011-06-04 06:08:28