Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 13 | 1800.13 | 1797.15 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
MD5SUM | e3f554c192a1ee7b261cc2808827870e |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 1797.12 |
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 | 50 |
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) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 6226 |
Sum of products size | 12452 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 12995394264 0.05/0.09 c Max memory 13063553024 0.05/0.09 c Total memory 13063553024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458328-1307158980.opb 0.10/0.11 c reading problem ... 0.49/0.45 c ... done. Wall clock time 0.346s. 0.49/0.45 c #vars 6426 0.49/0.45 c #constraints 12652 0.49/0.45 c constraints type 0.49/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426 0.49/0.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226 1.14/0.58 c SATISFIABLE 1.14/0.58 c OPTIMIZING... 1.14/0.58 c Got one! Elapsed wall clock time (in seconds):0.476 1.14/0.58 o 17 1.36/0.64 c Got one! Elapsed wall clock time (in seconds):0.528 1.36/0.64 o 16 1.65/0.72 c Got one! Elapsed wall clock time (in seconds):0.608 1.65/0.72 o 15 2.74/1.77 c cleaning 2585 clauses out of 5178 with flag 5001/5178 4.01/2.93 c cleaning 4294 clauses out of 8592 with flag 11000/11177 5.32/4.20 c cleaning 5644 clauses out of 11299 with flag 18001/18178 6.83/5.73 c cleaning 6823 clauses out of 13654 with flag 26000/26177 8.65/7.51 c cleaning 7911 clauses out of 15832 with flag 35001/35178 10.55/9.49 c cleaning 8955 clauses out of 17920 with flag 45000/45177 12.75/11.65 c cleaning 9977 clauses out of 19965 with flag 56000/56177 14.96/13.83 c cleaning 10993 clauses out of 21989 with flag 68001/68178 17.16/16.04 c Got one! Elapsed wall clock time (in seconds):15.934 17.16/16.04 o 14 18.06/16.95 c cleaning 13844 clauses out of 27701 with flag 5001/84883 19.28/18.18 c cleaning 9923 clauses out of 19857 with flag 11001/90883 20.88/19.70 c cleaning 8463 clauses out of 16933 with flag 18000/97882 22.78/21.64 c cleaning 8232 clauses out of 16471 with flag 26001/105883 25.39/24.31 c cleaning 8614 clauses out of 17241 with flag 35003/114885 27.59/26.44 c cleaning 9310 clauses out of 18625 with flag 45001/124883 30.08/28.95 c cleaning 10150 clauses out of 20314 with flag 56000/135882 32.79/31.64 c cleaning 11076 clauses out of 22165 with flag 68001/147883 35.89/34.72 c cleaning 12041 clauses out of 24088 with flag 81000/160882 39.10/37.99 c cleaning 12524 clauses out of 25049 with flag 94002/173884 41.70/40.56 c cleaning 12758 clauses out of 25523 with flag 107000/186882 44.22/43.08 c cleaning 12875 clauses out of 25765 with flag 120000/199882 47.11/45.91 c cleaning 12941 clauses out of 25891 with flag 133001/212883 50.22/49.06 c cleaning 12971 clauses out of 25950 with flag 146001/225883 53.22/52.03 c cleaning 12987 clauses out of 25979 with flag 159001/238883 56.23/55.02 c cleaning 12990 clauses out of 25991 with flag 172000/251882 59.03/57.84 c cleaning 12998 clauses out of 26003 with flag 185002/264884 61.85/60.68 c cleaning 12995 clauses out of 26003 with flag 198000/277882 64.94/63.75 c cleaning 13000 clauses out of 26009 with flag 211001/290883 67.95/66.71 c cleaning 12998 clauses out of 26010 with flag 224002/303884 71.05/69.84 c cleaning 12995 clauses out of 26010 with flag 237000/316882 73.76/72.57 c cleaning 12999 clauses out of 26015 with flag 250000/329882 76.56/75.30 c cleaning 13003 clauses out of 26016 with flag 263000/342882 79.37/78.13 c cleaning 13004 clauses out of 26015 with flag 276002/355884 82.47/81.22 c cleaning 12997 clauses out of 26009 with flag 289000/368882 85.57/84.30 c cleaning 12997 clauses out of 26012 with flag 302000/381882 88.58/87.31 c cleaning 13006 clauses out of 26018 with flag 315003/394885 91.28/90.10 c cleaning 12998 clauses out of 26009 with flag 328000/407882 94.19/92.98 c cleaning 13002 clauses out of 26012 with flag 341001/420883 97.00/95.79 c cleaning 13001 clauses out of 26011 with flag 354002/433884 99.80/98.52 c cleaning 12999 clauses out of 26010 with flag 367002/446884 102.70/101.40 c cleaning 12998 clauses out of 26009 with flag 380000/459882 105.61/104.38 c cleaning 13003 clauses out of 26011 with flag 393000/472882 108.31/107.10 c cleaning 13001 clauses out of 26011 with flag 406003/485885 111.11/109.81 c cleaning 12997 clauses out of 26009 with flag 419002/498884 113.82/112.58 c cleaning 12999 clauses out of 26012 with flag 432002/511884 116.72/115.44 c cleaning 13000 clauses out of 26012 with flag 445001/524883 119.72/118.41 c cleaning 13000 clauses out of 26012 with flag 458001/537883 122.53/121.25 c cleaning 13001 clauses out of 26012 with flag 471001/550883 125.53/124.28 c cleaning 12999 clauses out of 26013 with flag 484003/563885 128.44/127.12 c cleaning 13001 clauses out of 26011 with flag 497000/576882 131.14/129.87 c cleaning 13005 clauses out of 26012 with flag 510002/589884 133.74/132.41 c cleaning 12999 clauses out of 26005 with flag 523000/602882 136.76/135.48 c cleaning 13001 clauses out of 26007 with flag 536001/615883 140.45/139.19 c cleaning 12998 clauses out of 26007 with flag 549002/628884 143.37/142.08 c cleaning 12996 clauses out of 26007 with flag 562000/641882 146.06/144.70 c cleaning 13001 clauses out of 26012 with flag 575001/654883 148.57/147.29 c cleaning 12998 clauses out of 26012 with flag 588002/667884 151.37/150.04 c cleaning 13002 clauses out of 26013 with flag 601001/680883 154.48/153.12 c cleaning 13001 clauses out of 26015 with flag 614005/693887 157.59/156.21 c cleaning 13000 clauses out of 26009 with flag 627000/706882 160.69/159.38 c cleaning 12997 clauses out of 26010 with flag 640001/719883 163.99/162.68 c cleaning 13000 clauses out of 26013 with flag 653001/732883 167.50/166.14 c cleaning 13002 clauses out of 26014 with flag 666002/745884 171.00/169.61 c cleaning 12999 clauses out of 26011 with flag 679001/758883 174.50/173.19 c cleaning 13002 clauses out of 26012 with flag 692001/771883 177.91/176.56 c cleaning 13000 clauses out of 26009 with flag 705000/784882 181.21/179.80 c cleaning 12998 clauses out of 26009 with flag 718000/797882 184.44/183.01 c cleaning 12999 clauses out of 26013 with flag 731002/810884 187.54/186.19 c cleaning 13001 clauses out of 26014 with flag 744002/823884 190.55/189.19 c cleaning 12999 clauses out of 26012 with flag 757001/836883 193.75/192.31 c cleaning 13001 clauses out of 26015 with flag 770003/849885 197.06/195.62 c cleaning 13002 clauses out of 26014 with flag 783003/862885 200.36/198.90 c cleaning 12996 clauses out of 26009 with flag 796000/875882 203.46/202.08 c cleaning 13004 clauses out of 26015 with flag 809002/888884 206.26/204.84 c cleaning 13000 clauses out of 26010 with flag 822001/901883 209.17/207.76 c cleaning 13001 clauses out of 26014 with flag 835005/914887 211.97/210.51 c cleaning 12999 clauses out of 26008 with flag 848000/927882 214.88/213.49 c cleaning 13001 clauses out of 26012 with flag 861003/940885 217.98/216.50 c cleaning 12997 clauses out of 26008 with flag 874000/953882 221.08/219.61 c cleaning 13002 clauses out of 26013 with flag 887002/966884 223.90/222.44 c cleaning 12995 clauses out of 26009 with flag 900000/979882 226.80/225.32 c cleaning 12999 clauses out of 26014 with flag 913000/992882 229.71/228.27 c cleaning 13002 clauses out of 26017 with flag 926002/1005884 232.63/231.15 c cleaning 13001 clauses out of 26014 with flag 939001/1018883 235.21/233.76 c cleaning 13000 clauses out of 26012 with flag 952000/1031882 237.92/236.41 c cleaning 12998 clauses out of 26012 with flag 965000/1044882 240.52/239.03 c cleaning 13000 clauses out of 26014 with flag 978000/1057882 243.22/241.72 c cleaning 13003 clauses out of 26015 with flag 991001/1070883 245.93/244.47 c cleaning 12998 clauses out of 26011 with flag 1004000/1083882 249.15/247.68 c cleaning 13005 clauses out of 26013 with flag 1017000/1096882 252.45/250.93 c cleaning 12997 clauses out of 26008 with flag 1030000/1109882 255.64/254.19 c cleaning 12997 clauses out of 26011 with flag 1043000/1122882 258.84/257.40 c cleaning 13000 clauses out of 26014 with flag 1056000/1135882 262.26/260.76 c cleaning 13005 clauses out of 26016 with flag 1069002/1148884 265.56/264.06 c cleaning 13000 clauses out of 26009 with flag 1082000/1161882 268.86/267.41 c cleaning 12999 clauses out of 26009 with flag 1095000/1174882 271.76/270.29 c cleaning 13000 clauses out of 26010 with flag 1108000/1187882 274.56/273.09 c cleaning 12999 clauses out of 26012 with flag 1121002/1200884 277.47/275.96 c cleaning 12999 clauses out of 26011 with flag 1134000/1213882 280.27/278.70 c cleaning 13000 clauses out of 26012 with flag 1147000/1226882 282.98/281.45 c cleaning 12997 clauses out of 26014 with flag 1160002/1239884 285.78/284.26 c cleaning 13002 clauses out of 26016 with flag 1173001/1252883 288.48/287.00 c cleaning 12997 clauses out of 26014 with flag 1186001/1265883 291.19/289.69 c cleaning 13000 clauses out of 26016 with flag 1199000/1278882 294.31/292.72 c cleaning 13002 clauses out of 26016 with flag 1212000/1291882 297.51/295.96 c cleaning 13002 clauses out of 26017 with flag 1225003/1304885 300.70/299.21 c cleaning 12999 clauses out of 26013 with flag 1238001/1317883 303.80/302.27 c cleaning 13004 clauses out of 26014 with flag 1251001/1330883 306.60/305.04 c cleaning 12997 clauses out of 26010 with flag 1264001/1343883 309.73/308.13 c cleaning 13000 clauses out of 26014 with flag 1277002/1356884 313.03/311.46 c cleaning 13001 clauses out of 26014 with flag 1290002/1369884 316.22/314.63 c cleaning 13000 clauses out of 26012 with flag 1303001/1382883 319.22/317.61 c cleaning 12999 clauses out of 26011 with flag 1316000/1395882 322.32/320.75 c cleaning 13001 clauses out of 26013 with flag 1329001/1408883 325.62/324.03 c cleaning 13003 clauses out of 26013 with flag 1342002/1421884 329.33/327.74 c cleaning 13002 clauses out of 26009 with flag 1355001/1434883 333.13/331.54 c cleaning 12998 clauses out of 26007 with flag 1368001/1447883 336.83/335.20 c cleaning 13001 clauses out of 26009 with flag 1381001/1460883 340.34/338.72 c cleaning 12996 clauses out of 26007 with flag 1394000/1473882 343.86/342.27 c cleaning 13000 clauses out of 26012 with flag 1407001/1486883 347.54/345.92 c cleaning 13001 clauses out of 26014 with flag 1420003/1499885 351.14/349.58 c cleaning 13000 clauses out of 26010 with flag 1433000/1512882 354.86/353.27 c cleaning 13002 clauses out of 26012 with flag 1446002/1525884 358.17/356.54 c cleaning 13001 clauses out of 26009 with flag 1459001/1538883 361.65/360.01 c cleaning 12998 clauses out of 26007 with flag 1472000/1551882 365.15/363.57 c cleaning 13002 clauses out of 26009 with flag 1485000/1564882 368.76/367.11 c cleaning 12999 clauses out of 26009 with flag 1498002/1577884 372.16/370.55 c cleaning 13000 clauses out of 26008 with flag 1511000/1590882 375.67/374.10 c cleaning 12998 clauses out of 26008 with flag 1524000/1603882 379.26/377.61 c cleaning 12998 clauses out of 26011 with flag 1537001/1616883 382.66/381.02 c cleaning 13003 clauses out of 26013 with flag 1550001/1629883 385.97/384.39 c cleaning 12999 clauses out of 26010 with flag 1563001/1642883 389.57/387.98 c cleaning 13001 clauses out of 26014 with flag 1576004/1655886 392.87/391.23 c cleaning 12996 clauses out of 26009 with flag 1589000/1668882 396.27/394.62 c cleaning 13001 clauses out of 26013 with flag 1602000/1681882 399.57/397.93 c cleaning 12998 clauses out of 26013 with flag 1615001/1694883 403.08/401.40 c cleaning 12998 clauses out of 26014 with flag 1628000/1707882 406.60/404.94 c cleaning 13001 clauses out of 26017 with flag 1641001/1720883 410.09/408.45 c cleaning 13002 clauses out of 26015 with flag 1654000/1733882 413.69/412.03 c cleaning 13000 clauses out of 26013 with flag 1667000/1746882 417.39/415.77 c cleaning 13001 clauses out of 26014 with flag 1680001/1759883 420.91/419.27 c cleaning 13002 clauses out of 26013 with flag 1693001/1772883 424.11/422.47 c cleaning 13003 clauses out of 26017 with flag 1706007/1785889 427.41/425.73 c cleaning 12997 clauses out of 26007 with flag 1719000/1798882 430.61/428.92 c cleaning 12998 clauses out of 26010 with flag 1732000/1811882 433.91/432.22 c cleaning 12999 clauses out of 26013 with flag 1745001/1824883 437.01/435.38 c cleaning 12998 clauses out of 26016 with flag 1758003/1837885 440.22/438.57 c cleaning 12997 clauses out of 26015 with flag 1771000/1850882 443.52/441.81 c cleaning 13000 clauses out of 26019 with flag 1784001/1863883 446.82/445.16 c cleaning 13002 clauses out of 26020 with flag 1797002/1876884 450.22/448.54 c cleaning 12999 clauses out of 26017 with flag 1810001/1889883 453.62/451.98 c cleaning 13002 clauses out of 26017 with flag 1823000/1902882 456.92/455.23 c cleaning 13000 clauses out of 26016 with flag 1836001/1915883 460.22/458.51 c cleaning 13001 clauses out of 26016 with flag 1849001/1928883 463.42/461.76 c cleaning 13004 clauses out of 26019 with flag 1862005/1941887 466.82/465.18 c cleaning 13001 clauses out of 26013 with flag 1875003/1954885 470.23/468.55 c cleaning 12998 clauses out of 26010 with flag 1888001/1967883 473.53/471.91 c cleaning 12999 clauses out of 26012 with flag 1901001/1980883 476.94/475.25 c cleaning 13003 clauses out of 26013 with flag 1914001/1993883 480.14/478.42 c cleaning 13003 clauses out of 26013 with flag 1927004/2006886 483.14/481.49 c cleaning 13000 clauses out of 26008 with flag 1940002/2019884 486.85/485.12 c cleaning 12998 clauses out of 26006 with flag 1953000/2032882 490.34/488.64 c cleaning 12999 clauses out of 26009 with flag 1966001/2045883 493.95/492.26 c cleaning 12997 clauses out of 26009 with flag 1979000/2058882 497.75/496.08 c cleaning 12999 clauses out of 26012 with flag 1992000/2071882 501.27/499.54 c cleaning 13002 clauses out of 26017 with flag 2005004/2084886 504.16/502.49 c cleaning 13000 clauses out of 26013 with flag 2018002/2097884 507.16/505.43 c cleaning 12999 clauses out of 26012 with flag 2031001/2110883 510.16/508.47 c cleaning 13003 clauses out of 26012 with flag 2044000/2123882 513.07/511.38 c cleaning 12998 clauses out of 26009 with flag 2057000/2136882 515.98/514.27 c cleaning 12999 clauses out of 26011 with flag 2070000/2149882 518.90/517.13 c cleaning 12999 clauses out of 26012 with flag 2083000/2162882 521.78/520.09 c cleaning 13001 clauses out of 26014 with flag 2096001/2175883 524.78/523.09 c cleaning 12999 clauses out of 26012 with flag 2109000/2188882 527.99/526.28 c cleaning 13002 clauses out of 26013 with flag 2122000/2201882 531.39/529.68 c cleaning 13000 clauses out of 26014 with flag 2135003/2214885 534.59/532.83 c cleaning 13000 clauses out of 26011 with flag 2148000/2227882 537.90/536.11 c cleaning 12999 clauses out of 26011 with flag 2161000/2240882 541.20/539.41 c cleaning 12999 clauses out of 26012 with flag 2174000/2253882 544.60/542.89 c cleaning 13000 clauses out of 26016 with flag 2187003/2266885 547.91/546.20 c cleaning 13000 clauses out of 26014 with flag 2200001/2279883 551.21/549.48 c cleaning 13000 clauses out of 26013 with flag 2213000/2292882 554.81/553.01 c cleaning 12998 clauses out of 26013 with flag 2226000/2305882 558.32/556.61 c cleaning 13001 clauses out of 26015 with flag 2239000/2318882 561.92/560.10 c cleaning 13002 clauses out of 26014 with flag 2252000/2331882 565.42/563.70 c cleaning 12997 clauses out of 26012 with flag 2265000/2344882 568.93/567.19 c cleaning 13001 clauses out of 26015 with flag 2278000/2357882 572.74/570.94 c cleaning 12999 clauses out of 26014 with flag 2291000/2370882 576.33/574.51 c cleaning 13001 clauses out of 26015 with flag 2304000/2383882 580.14/578.31 c cleaning 13002 clauses out of 26017 with flag 2317003/2396885 583.75/581.96 c cleaning 12999 clauses out of 26012 with flag 2330000/2409882 587.44/585.66 c cleaning 12998 clauses out of 26013 with flag 2343000/2422882 591.25/589.44 c cleaning 13006 clauses out of 26018 with flag 2356003/2435885 594.25/592.42 c cleaning 12996 clauses out of 26009 with flag 2369000/2448882 597.35/595.51 c cleaning 12997 clauses out of 26013 with flag 2382000/2461882 600.45/598.64 c cleaning 12999 clauses out of 26016 with flag 2395000/2474882 603.56/601.73 c cleaning 13001 clauses out of 26017 with flag 2408000/2487882 606.66/604.86 c cleaning 13004 clauses out of 26019 with flag 2421003/2500885 609.86/608.09 c cleaning 13001 clauses out of 26012 with flag 2434000/2513882 613.06/611.25 c cleaning 12999 clauses out of 26013 with flag 2447002/2526884 616.26/614.44 c cleaning 12997 clauses out of 26012 with flag 2460000/2539882 619.46/617.66 c cleaning 13000 clauses out of 26017 with flag 2473002/2552884 622.67/620.89 c cleaning 13002 clauses out of 26015 with flag 2486000/2565882 625.97/624.19 c cleaning 12999 clauses out of 26013 with flag 2499000/2578882 629.37/627.51 c cleaning 12999 clauses out of 26014 with flag 2512000/2591882 632.58/630.77 c cleaning 12999 clauses out of 26015 with flag 2525000/2604882 635.88/634.04 c cleaning 13002 clauses out of 26016 with flag 2538000/2617882 639.18/637.33 c cleaning 12999 clauses out of 26014 with flag 2551000/2630882 642.48/640.67 c cleaning 13002 clauses out of 26017 with flag 2564002/2643884 645.89/644.06 c cleaning 12997 clauses out of 26015 with flag 2577002/2656884 649.09/647.30 c cleaning 13006 clauses out of 26017 with flag 2590001/2669883 652.49/650.62 c cleaning 12997 clauses out of 26010 with flag 2603000/2682882 655.80/653.92 c cleaning 13000 clauses out of 26013 with flag 2616000/2695882 659.20/657.36 c cleaning 13001 clauses out of 26015 with flag 2629002/2708884 662.60/660.77 c cleaning 13000 clauses out of 26012 with flag 2642000/2721882 666.01/664.19 c cleaning 12998 clauses out of 26012 with flag 2655000/2734882 669.51/667.61 c cleaning 13000 clauses out of 26014 with flag 2668000/2747882 673.03/671.17 c cleaning 12998 clauses out of 26014 with flag 2681000/2760882 676.42/674.59 c cleaning 13004 clauses out of 26017 with flag 2694001/2773883 680.02/678.17 c cleaning 12998 clauses out of 26012 with flag 2707000/2786882 683.52/681.65 c cleaning 13001 clauses out of 26014 with flag 2720000/2799882 687.02/685.10 c cleaning 13000 clauses out of 26016 with flag 2733003/2812885 690.64/688.75 c cleaning 13001 clauses out of 26014 with flag 2746001/2825883 694.12/692.23 c cleaning 13001 clauses out of 26012 with flag 2759000/2838882 697.62/695.79 c cleaning 12997 clauses out of 26011 with flag 2772000/2851882 701.43/699.50 c cleaning 12998 clauses out of 26015 with flag 2785001/2864883 705.03/703.13 c cleaning 13001 clauses out of 26016 with flag 2798000/2877882 708.53/706.68 c cleaning 13000 clauses out of 26015 with flag 2811000/2890882 712.03/710.18 c cleaning 13001 clauses out of 26015 with flag 2824000/2903882 715.63/713.71 c cleaning 12999 clauses out of 26014 with flag 2837000/2916882 719.04/717.11 c cleaning 12999 clauses out of 26015 with flag 2850000/2929882 722.56/720.68 c cleaning 12999 clauses out of 26016 with flag 2863000/2942882 726.14/724.24 c cleaning 13003 clauses out of 26018 with flag 2876001/2955883 729.85/727.99 c cleaning 12999 clauses out of 26014 with flag 2889000/2968882 733.57/731.66 c cleaning 13001 clauses out of 26016 with flag 2902001/2981883 736.95/735.00 c cleaning 13001 clauses out of 26014 with flag 2915000/2994882 740.07/738.12 c cleaning 13004 clauses out of 26014 with flag 2928001/3007883 742.96/741.01 c cleaning 12999 clauses out of 26011 with flag 2941002/3020884 745.87/743.96 c cleaning 13001 clauses out of 26011 with flag 2954001/3033883 749.17/747.25 c cleaning 12998 clauses out of 26010 with flag 2967001/3046883 752.37/750.49 c cleaning 12998 clauses out of 26011 with flag 2980000/3059882 755.88/753.96 c cleaning 13002 clauses out of 26013 with flag 2993000/3072882 759.28/757.33 c cleaning 13001 clauses out of 26013 with flag 3006002/3085884 762.69/760.70 c cleaning 12998 clauses out of 26011 with flag 3019001/3098883 766.29/764.30 c cleaning 12999 clauses out of 26015 with flag 3032003/3111885 769.69/767.80 c cleaning 13005 clauses out of 26013 with flag 3045000/3124882 773.40/771.40 c cleaning 13000 clauses out of 26008 with flag 3058000/3137882 777.20/775.25 c cleaning 13001 clauses out of 26009 with flag 3071001/3150883 781.20/779.26 c cleaning 12999 clauses out of 26008 with flag 3084001/3163883 785.33/783.34 c cleaning 13000 clauses out of 26009 with flag 3097001/3176883 788.81/786.86 c cleaning 12996 clauses out of 26008 with flag 3110000/3189882 791.82/789.87 c cleaning 12998 clauses out of 26013 with flag 3123001/3202883 794.82/792.85 c cleaning 12999 clauses out of 26014 with flag 3136000/3215882 797.72/795.79 c cleaning 13002 clauses out of 26017 with flag 3149002/3228884 800.82/798.87 c cleaning 12999 clauses out of 26013 with flag 3162000/3241882 803.82/801.80 c cleaning 13000 clauses out of 26015 with flag 3175001/3254883 806.73/804.73 c cleaning 13000 clauses out of 26014 with flag 3188000/3267882 809.73/807.71 c cleaning 13001 clauses out of 26015 with flag 3201001/3280883 812.85/810.83 c cleaning 13005 clauses out of 26015 with flag 3214002/3293884 816.15/814.15 c cleaning 13000 clauses out of 26009 with flag 3227001/3306883 819.64/817.60 c cleaning 13000 clauses out of 26010 with flag 3240002/3319884 823.04/821.09 c cleaning 12993 clauses out of 26008 with flag 3253000/3332882 826.74/824.72 c cleaning 13002 clauses out of 26015 with flag 3266000/3345882 830.25/828.22 c cleaning 13002 clauses out of 26015 with flag 3279002/3358884 833.55/831.61 c cleaning 13000 clauses out of 26012 with flag 3292001/3371883 837.15/835.16 c cleaning 13001 clauses out of 26013 with flag 3305002/3384884 840.76/838.74 c cleaning 12999 clauses out of 26011 with flag 3318001/3397883 844.16/842.17 c cleaning 12997 clauses out of 26012 with flag 3331001/3410883 847.77/845.73 c cleaning 13002 clauses out of 26017 with flag 3344003/3423885 851.08/849.01 c cleaning 13001 clauses out of 26014 with flag 3357002/3436884 854.08/852.09 c cleaning 13002 clauses out of 26014 with flag 3370003/3449885 857.28/855.27 c cleaning 12998 clauses out of 26010 with flag 3383001/3462883 860.49/858.48 c cleaning 13000 clauses out of 26013 with flag 3396002/3475884 863.69/861.63 c cleaning 13000 clauses out of 26011 with flag 3409000/3488882 866.89/864.89 c cleaning 12998 clauses out of 26011 with flag 3422000/3501882 870.20/868.15 c cleaning 12995 clauses out of 26013 with flag 3435000/3514882 873.50/871.40 c cleaning 13004 clauses out of 26020 with flag 3448002/3527884 876.80/874.70 c cleaning 13001 clauses out of 26014 with flag 3461000/3540882 880.11/878.07 c cleaning 12998 clauses out of 26013 with flag 3474000/3553882 883.33/881.27 c cleaning 12998 clauses out of 26015 with flag 3487000/3566882 886.63/884.54 c cleaning 13001 clauses out of 26020 with flag 3500003/3579885 889.93/887.82 c cleaning 13000 clauses out of 26017 with flag 3513001/3592883 893.12/891.11 c cleaning 13001 clauses out of 26018 with flag 3526002/3605884 896.62/894.55 c cleaning 12997 clauses out of 26017 with flag 3539002/3618884 899.92/897.84 c cleaning 13002 clauses out of 26020 with flag 3552002/3631884 903.32/901.26 c cleaning 12997 clauses out of 26016 with flag 3565000/3644882 906.33/904.31 c cleaning 13006 clauses out of 26020 with flag 3578001/3657883 909.23/907.11 c cleaning 13003 clauses out of 26013 with flag 3591000/3670882 911.94/909.85 c cleaning 12998 clauses out of 26010 with flag 3604000/3683882 914.83/912.73 c cleaning 12999 clauses out of 26013 with flag 3617001/3696883 917.83/915.73 c cleaning 13000 clauses out of 26013 with flag 3630000/3709882 920.75/918.69 c cleaning 13003 clauses out of 26013 with flag 3643000/3722882 923.84/921.77 c cleaning 13001 clauses out of 26011 with flag 3656001/3735883 926.94/924.88 c cleaning 12998 clauses out of 26009 with flag 3669000/3748882 930.04/927.90 c cleaning 12998 clauses out of 26011 with flag 3682000/3761882 933.14/931.05 c cleaning 13001 clauses out of 26013 with flag 3695000/3774882 936.24/934.11 c cleaning 12999 clauses out of 26013 with flag 3708001/3787883 939.35/937.30 c cleaning 13000 clauses out of 26013 with flag 3721000/3800882 942.55/940.48 c cleaning 13003 clauses out of 26016 with flag 3734003/3813885 945.55/943.48 c cleaning 12998 clauses out of 26012 with flag 3747002/3826884 948.65/946.53 c cleaning 13002 clauses out of 26013 with flag 3760001/3839883 951.76/949.63 c cleaning 12998 clauses out of 26011 with flag 3773001/3852883 954.87/952.79 c cleaning 12998 clauses out of 26012 with flag 3786000/3865882 958.18/956.04 c cleaning 13006 clauses out of 26015 with flag 3799001/3878883 961.16/959.00 c cleaning 12995 clauses out of 26008 with flag 3812000/3891882 964.06/961.99 c cleaning 13000 clauses out of 26013 with flag 3825000/3904882 967.07/964.99 c cleaning 12999 clauses out of 26013 with flag 3838000/3917882 970.29/968.12 c cleaning 13001 clauses out of 26015 with flag 3851001/3930883 973.48/971.36 c cleaning 12998 clauses out of 26013 with flag 3864000/3943882 976.67/974.50 c cleaning 13002 clauses out of 26016 with flag 3877001/3956883 979.88/977.72 c cleaning 12999 clauses out of 26016 with flag 3890003/3969885 982.99/980.84 c cleaning 12999 clauses out of 26014 with flag 3903000/3982882 985.79/983.63 c cleaning 13001 clauses out of 26016 with flag 3916001/3995883 988.59/986.42 c cleaning 13001 clauses out of 26015 with flag 3929001/4008883 991.50/989.31 c cleaning 13002 clauses out of 26015 with flag 3942002/4021884 994.40/992.26 c cleaning 12999 clauses out of 26013 with flag 3955002/4034884 997.50/995.30 c cleaning 13000 clauses out of 26012 with flag 3968000/4047882 1000.50/998.36 c cleaning 12998 clauses out of 26012 with flag 3981000/4060882 1003.60/1001.46 c cleaning 13003 clauses out of 26016 with flag 3994002/4073884 1006.71/1004.59 c cleaning 13000 clauses out of 26013 with flag 4007002/4086884 1009.82/1007.63 c cleaning 12999 clauses out of 26012 with flag 4020001/4099883 1012.91/1010.74 c cleaning 12998 clauses out of 26014 with flag 4033002/4112884 1015.81/1013.66 c cleaning 13000 clauses out of 26015 with flag 4046001/4125883 1018.81/1016.66 c cleaning 13000 clauses out of 26014 with flag 4059000/4138882 1021.81/1019.70 c cleaning 12999 clauses out of 26014 with flag 4072000/4151882 1025.02/1022.83 c cleaning 13000 clauses out of 26015 with flag 4085000/4164882 1028.13/1025.94 c cleaning 13004 clauses out of 26017 with flag 4098002/4177884 1031.23/1029.02 c cleaning 12998 clauses out of 26011 with flag 4111000/4190882 1034.33/1032.10 c cleaning 12999 clauses out of 26013 with flag 4124000/4203882 1037.45/1035.26 c cleaning 13001 clauses out of 26014 with flag 4137000/4216882 1040.64/1038.45 c cleaning 13001 clauses out of 26013 with flag 4150000/4229882 1043.84/1041.64 c cleaning 13000 clauses out of 26015 with flag 4163003/4242885 1047.04/1044.87 c cleaning 12998 clauses out of 26012 with flag 4176000/4255882 1050.25/1048.02 c cleaning 13001 clauses out of 26014 with flag 4189000/4268882 1053.46/1051.24 c cleaning 13003 clauses out of 26016 with flag 4202003/4281885 1056.66/1054.41 c cleaning 12995 clauses out of 26010 with flag 4215000/4294882 1059.86/1057.69 c cleaning 13003 clauses out of 26015 with flag 4228000/4307882 1063.16/1060.99 c cleaning 12996 clauses out of 26013 with flag 4241001/4320883 1066.37/1064.13 c cleaning 13005 clauses out of 26017 with flag 4254001/4333883 1069.67/1067.42 c cleaning 12997 clauses out of 26011 with flag 4267000/4346882 1072.77/1070.58 c cleaning 13004 clauses out of 26015 with flag 4280001/4359883 1075.88/1073.69 c cleaning 13000 clauses out of 26011 with flag 4293001/4372883 1078.97/1076.79 c cleaning 12996 clauses out of 26010 with flag 4306000/4385882 1082.28/1080.00 c cleaning 13000 clauses out of 26015 with flag 4319001/4398883 1085.48/1083.23 c cleaning 13002 clauses out of 26015 with flag 4332001/4411883 1088.68/1086.47 c cleaning 13002 clauses out of 26014 with flag 4345002/4424884 1091.98/1089.74 c cleaning 12997 clauses out of 26010 with flag 4358000/4437882 1095.39/1093.10 c cleaning 12999 clauses out of 26014 with flag 4371001/4450883 1098.59/1096.38 c cleaning 13000 clauses out of 26014 with flag 4384000/4463882 1101.79/1099.58 c cleaning 13001 clauses out of 26014 with flag 4397000/4476882 1104.79/1102.58 c cleaning 13000 clauses out of 26014 with flag 4410001/4489883 1107.50/1105.27 c cleaning 13001 clauses out of 26013 with flag 4423000/4502882 1110.51/1108.20 c cleaning 13001 clauses out of 26012 with flag 4436000/4515882 1113.31/1111.01 c cleaning 12999 clauses out of 26012 with flag 4449001/4528883 1116.11/1113.87 c cleaning 13002 clauses out of 26015 with flag 4462003/4541885 1119.01/1116.73 c cleaning 12999 clauses out of 26010 with flag 4475000/4554882 1122.02/1119.73 c cleaning 13001 clauses out of 26016 with flag 4488005/4567887 1124.92/1122.63 c cleaning 13001 clauses out of 26010 with flag 4501000/4580882 1128.02/1125.76 c cleaning 12998 clauses out of 26010 with flag 4514001/4593883 1131.22/1128.98 c cleaning 13001 clauses out of 26011 with flag 4527000/4606882 1134.24/1131.98 c cleaning 13003 clauses out of 26012 with flag 4540002/4619884 1137.13/1134.87 c cleaning 12999 clauses out of 26007 with flag 4553000/4632882 1140.34/1138.00 c cleaning 13000 clauses out of 26009 with flag 4566001/4645883 1143.44/1141.11 c cleaning 12995 clauses out of 26008 with flag 4579000/4658882 1146.54/1144.28 c cleaning 13001 clauses out of 26013 with flag 4592000/4671882 1149.54/1147.30 c cleaning 13003 clauses out of 26013 with flag 4605001/4684883 1152.34/1150.07 c cleaning 12998 clauses out of 26010 with flag 4618001/4697883 1155.26/1152.94 c cleaning 13004 clauses out of 26015 with flag 4631004/4710886 1158.05/1155.75 c cleaning 12996 clauses out of 26007 with flag 4644000/4723882 1160.96/1158.65 c cleaning 12998 clauses out of 26011 with flag 4657000/4736882 1163.86/1161.58 c cleaning 12998 clauses out of 26013 with flag 4670000/4749882 1166.86/1164.59 c cleaning 13005 clauses out of 26015 with flag 4683000/4762882 1169.66/1167.40 c cleaning 12999 clauses out of 26010 with flag 4696000/4775882 1172.46/1170.11 c cleaning 13001 clauses out of 26012 with flag 4709001/4788883 1175.27/1172.92 c cleaning 13000 clauses out of 26010 with flag 4722000/4801882 1178.07/1175.75 c cleaning 13000 clauses out of 26011 with flag 4735001/4814883 1180.87/1178.56 c cleaning 13000 clauses out of 26013 with flag 4748003/4827885 1183.78/1181.44 c cleaning 12999 clauses out of 26011 with flag 4761001/4840883 1186.58/1184.26 c cleaning 13000 clauses out of 26014 with flag 4774003/4853885 1189.40/1187.08 c cleaning 13000 clauses out of 26011 with flag 4787000/4866882 1192.19/1189.84 c cleaning 12999 clauses out of 26011 with flag 4800000/4879882 1195.09/1192.70 c cleaning 12998 clauses out of 26012 with flag 4813000/4892882 1197.99/1195.64 c cleaning 12999 clauses out of 26014 with flag 4826000/4905882 1201.00/1198.60 c cleaning 13003 clauses out of 26016 with flag 4839001/4918883 1203.80/1201.49 c cleaning 12999 clauses out of 26012 with flag 4852000/4931882 1206.70/1204.32 c cleaning 12999 clauses out of 26014 with flag 4865001/4944883 1209.61/1207.28 c cleaning 13005 clauses out of 26015 with flag 4878001/4957883 1212.71/1210.37 c cleaning 13000 clauses out of 26010 with flag 4891001/4970883 1215.83/1213.47 c cleaning 12998 clauses out of 26009 with flag 4904000/4983882 1218.91/1216.61 c cleaning 13001 clauses out of 26011 with flag 4917000/4996882 1222.12/1219.74 c cleaning 13001 clauses out of 26011 with flag 4930001/5009883 1225.02/1222.66 c cleaning 12997 clauses out of 26009 with flag 4943000/5022882 1228.02/1225.68 c cleaning 13000 clauses out of 26014 with flag 4956002/5035884 1231.24/1228.86 c cleaning 13000 clauses out of 26015 with flag 4969003/5048885 1234.43/1232.08 c cleaning 12996 clauses out of 26012 with flag 4982000/5061882 1237.73/1235.34 c cleaning 13002 clauses out of 26017 with flag 4995001/5074883 1240.83/1238.46 c cleaning 12998 clauses out of 26014 with flag 5008000/5087882 1244.23/1241.82 c cleaning 12999 clauses out of 26017 with flag 5021001/5100883 1247.53/1245.12 c cleaning 13003 clauses out of 26017 with flag 5034000/5113882 1250.74/1248.32 c cleaning 12998 clauses out of 26017 with flag 5047003/5126885 1254.04/1251.62 c cleaning 13004 clauses out of 26017 with flag 5060001/5139883 1257.15/1254.72 c cleaning 13003 clauses out of 26012 with flag 5073000/5152882 1259.95/1257.55 c cleaning 13000 clauses out of 26011 with flag 5086002/5165884 1262.86/1260.41 c cleaning 12996 clauses out of 26009 with flag 5099000/5178882 1265.65/1263.28 c cleaning 13001 clauses out of 26014 with flag 5112001/5191883 1268.57/1266.18 c cleaning 12998 clauses out of 26012 with flag 5125000/5204882 1271.56/1269.17 c cleaning 12997 clauses out of 26014 with flag 5138000/5217882 1274.56/1272.12 c cleaning 13003 clauses out of 26020 with flag 5151003/5230885 1277.56/1275.13 c cleaning 13000 clauses out of 26014 with flag 5164000/5243882 1280.57/1278.20 c cleaning 12999 clauses out of 26014 with flag 5177000/5256882 1283.57/1281.16 c cleaning 12999 clauses out of 26015 with flag 5190000/5269882 1286.57/1284.12 c cleaning 13002 clauses out of 26018 with flag 5203002/5282884 1289.59/1287.14 c cleaning 13003 clauses out of 26016 with flag 5216002/5295884 1292.68/1290.25 c cleaning 12997 clauses out of 26012 with flag 5229001/5308883 1295.88/1293.45 c cleaning 13003 clauses out of 26014 with flag 5242000/5321882 1298.98/1296.54 c cleaning 12998 clauses out of 26012 with flag 5255001/5334883 1302.09/1299.61 c cleaning 13000 clauses out of 26014 with flag 5268001/5347883 1305.19/1302.77 c cleaning 13000 clauses out of 26015 with flag 5281002/5360884 1308.31/1305.89 c cleaning 12999 clauses out of 26014 with flag 5294001/5373883 1311.40/1308.99 c cleaning 13001 clauses out of 26016 with flag 5307002/5386884 1314.60/1312.20 c cleaning 13000 clauses out of 26013 with flag 5320000/5399882 1317.70/1315.21 c cleaning 13000 clauses out of 26014 with flag 5333001/5412883 1320.60/1318.16 c cleaning 13001 clauses out of 26018 with flag 5346005/5425887 1323.51/1321.06 c cleaning 13000 clauses out of 26012 with flag 5359000/5438882 1326.51/1324.02 c cleaning 13000 clauses out of 26015 with flag 5372003/5451885 1329.51/1327.02 c cleaning 13000 clauses out of 26015 with flag 5385003/5464885 1332.42/1329.97 c cleaning 12999 clauses out of 26013 with flag 5398001/5477883 1335.42/1332.90 c cleaning 12999 clauses out of 26013 with flag 5411000/5490882 1338.23/1335.74 c cleaning 13002 clauses out of 26015 with flag 5424001/5503883 1341.24/1338.77 c cleaning 12997 clauses out of 26012 with flag 5437000/5516882 1344.33/1341.81 c cleaning 13000 clauses out of 26016 with flag 5450001/5529883 1347.23/1344.78 c cleaning 13000 clauses out of 26015 with flag 5463000/5542882 1350.33/1347.86 c cleaning 12996 clauses out of 26015 with flag 5476000/5555882 1353.46/1350.94 c cleaning 13005 clauses out of 26021 with flag 5489002/5568884 1356.54/1354.10 c cleaning 13003 clauses out of 26017 with flag 5502003/5581885 1359.64/1357.16 c cleaning 12995 clauses out of 26013 with flag 5515002/5594884 1362.64/1360.12 c cleaning 13003 clauses out of 26017 with flag 5528001/5607883 1365.74/1363.23 c cleaning 12999 clauses out of 26013 with flag 5541000/5620882 1368.86/1366.39 c cleaning 12999 clauses out of 26016 with flag 5554002/5633884 1372.17/1369.62 c cleaning 13001 clauses out of 26017 with flag 5567002/5646884 1375.25/1372.72 c cleaning 12999 clauses out of 26016 with flag 5580002/5659884 1378.35/1375.85 c cleaning 13000 clauses out of 26015 with flag 5593000/5672882 1381.56/1379.06 c cleaning 13000 clauses out of 26016 with flag 5606001/5685883 1384.66/1382.19 c cleaning 12998 clauses out of 26016 with flag 5619001/5698883 1387.86/1385.34 c cleaning 13002 clauses out of 26019 with flag 5632002/5711884 1391.06/1388.54 c cleaning 13000 clauses out of 26016 with flag 5645001/5724883 1394.37/1391.83 c cleaning 13000 clauses out of 26015 with flag 5658000/5737882 1397.57/1395.00 c cleaning 13002 clauses out of 26016 with flag 5671001/5750883 1400.68/1398.14 c cleaning 13000 clauses out of 26013 with flag 5684000/5763882 1403.77/1401.23 c cleaning 12997 clauses out of 26013 with flag 5697000/5776882 1406.98/1404.44 c cleaning 13001 clauses out of 26016 with flag 5710000/5789882 1410.28/1407.70 c cleaning 13001 clauses out of 26017 with flag 5723002/5802884 1413.48/1410.96 c cleaning 12999 clauses out of 26014 with flag 5736000/5815882 1416.28/1413.75 c cleaning 12999 clauses out of 26015 with flag 5749000/5828882 1419.29/1416.73 c cleaning 13000 clauses out of 26017 with flag 5762001/5841883 1422.29/1419.71 c cleaning 12998 clauses out of 26016 with flag 5775000/5854882 1425.39/1422.85 c cleaning 13004 clauses out of 26019 with flag 5788001/5867883 1428.59/1426.02 c cleaning 12999 clauses out of 26015 with flag 5801001/5880883 1431.89/1429.36 c cleaning 12998 clauses out of 26015 with flag 5814000/5893882 1434.99/1432.49 c cleaning 12999 clauses out of 26017 with flag 5827000/5906882 1438.40/1435.82 c cleaning 13003 clauses out of 26018 with flag 5840000/5919882 1441.70/1439.15 c cleaning 12997 clauses out of 26017 with flag 5853002/5932884 1444.71/1442.16 c cleaning 13002 clauses out of 26018 with flag 5866000/5945882 1447.81/1445.21 c cleaning 13001 clauses out of 26016 with flag 5879000/5958882 1451.02/1448.40 c cleaning 13002 clauses out of 26015 with flag 5892000/5971882 1453.91/1451.37 c cleaning 13004 clauses out of 26014 with flag 5905001/5984883 1456.62/1454.08 c cleaning 12998 clauses out of 26010 with flag 5918001/5997883 1459.42/1456.82 c cleaning 13001 clauses out of 26014 with flag 5931003/6010885 1462.12/1459.56 c cleaning 13000 clauses out of 26011 with flag 5944001/6023883 1465.12/1462.50 c cleaning 13000 clauses out of 26010 with flag 5957000/6036882 1468.13/1465.55 c cleaning 12998 clauses out of 26010 with flag 5970000/6049882 1471.03/1468.46 c cleaning 13000 clauses out of 26013 with flag 5983001/6062883 1474.13/1471.54 c cleaning 13000 clauses out of 26012 with flag 5996000/6075882 1476.84/1474.24 c cleaning 13000 clauses out of 26012 with flag 6009000/6088882 1479.64/1477.00 c cleaning 12998 clauses out of 26012 with flag 6022000/6101882 1482.54/1479.93 c cleaning 12998 clauses out of 26014 with flag 6035000/6114882 1485.64/1483.08 c cleaning 13001 clauses out of 26016 with flag 6048000/6127882 1488.64/1486.00 c cleaning 13002 clauses out of 26016 with flag 6061001/6140883 1491.65/1489.01 c cleaning 13002 clauses out of 26016 with flag 6074003/6153885 1494.65/1492.02 c cleaning 12996 clauses out of 26012 with flag 6087001/6166883 1497.67/1495.07 c cleaning 13003 clauses out of 26015 with flag 6100000/6179882 1500.75/1498.16 c cleaning 12999 clauses out of 26012 with flag 6113000/6192882 1503.75/1501.15 c cleaning 12997 clauses out of 26014 with flag 6126001/6205883 1507.05/1504.45 c cleaning 12999 clauses out of 26016 with flag 6139000/6218882 1510.05/1507.50 c cleaning 13004 clauses out of 26020 with flag 6152003/6231885 1513.15/1510.57 c cleaning 13000 clauses out of 26014 with flag 6165001/6244883 1516.27/1513.67 c cleaning 12999 clauses out of 26014 with flag 6178001/6257883 1519.57/1516.93 c cleaning 13002 clauses out of 26015 with flag 6191001/6270883 1522.67/1520.00 c cleaning 13001 clauses out of 26014 with flag 6204002/6283884 1525.67/1523.02 c cleaning 13000 clauses out of 26011 with flag 6217000/6296882 1528.57/1525.95 c cleaning 12999 clauses out of 26012 with flag 6230001/6309883 1531.57/1529.00 c cleaning 12998 clauses out of 26012 with flag 6243000/6322882 1534.78/1532.13 c cleaning 13003 clauses out of 26016 with flag 6256002/6335884 1537.68/1535.05 c cleaning 12997 clauses out of 26011 with flag 6269000/6348882 1540.49/1537.85 c cleaning 12999 clauses out of 26014 with flag 6282000/6361882 1543.39/1540.76 c cleaning 13001 clauses out of 26017 with flag 6295002/6374884 1546.39/1543.74 c cleaning 13000 clauses out of 26014 with flag 6308000/6387882 1549.59/1546.95 c cleaning 12999 clauses out of 26014 with flag 6321000/6400882 1552.49/1549.87 c cleaning 13000 clauses out of 26015 with flag 6334000/6413882 1555.49/1552.85 c cleaning 13001 clauses out of 26016 with flag 6347001/6426883 1558.50/1555.90 c cleaning 13002 clauses out of 26015 with flag 6360001/6439883 1561.70/1559.00 c cleaning 13002 clauses out of 26012 with flag 6373000/6452882 1564.82/1562.15 c cleaning 13001 clauses out of 26011 with flag 6386001/6465883 1567.80/1565.14 c cleaning 12999 clauses out of 26010 with flag 6399001/6478883 1570.10/1567.43 c Got one! Elapsed wall clock time (in seconds):1567.322 1570.10/1567.43 o 13 1570.90/1568.23 c cleaning 13928 clauses out of 27875 with flag 5003/6493747 1571.91/1569.22 c cleaning 9967 clauses out of 19946 with flag 11002/6499746 1573.01/1570.38 c cleaning 8479 clauses out of 16977 with flag 18000/6506744 1574.41/1571.71 c cleaning 8241 clauses out of 16498 with flag 26000/6514744 1575.91/1573.25 c cleaning 8620 clauses out of 17259 with flag 35002/6523746 1577.61/1574.97 c cleaning 9312 clauses out of 18637 with flag 45000/6533744 1579.61/1576.90 c cleaning 10156 clauses out of 20325 with flag 56000/6544744 1581.62/1578.96 c cleaning 11075 clauses out of 22171 with flag 68002/6556746 1584.02/1581.36 c cleaning 12036 clauses out of 24094 with flag 81000/6569744 1586.42/1583.70 c cleaning 12524 clauses out of 25059 with flag 94001/6582745 1588.72/1586.03 c cleaning 12759 clauses out of 25534 with flag 107000/6595744 1591.03/1588.41 c cleaning 12879 clauses out of 25775 with flag 120000/6608744 1593.45/1590.78 c cleaning 12939 clauses out of 25896 with flag 133000/6621744 1595.84/1593.18 c cleaning 12968 clauses out of 25958 with flag 146001/6634745 1598.34/1595.61 c cleaning 12988 clauses out of 25989 with flag 159000/6647744 1600.75/1598.09 c cleaning 12993 clauses out of 26004 with flag 172003/6660747 1603.25/1600.51 c cleaning 12996 clauses out of 26009 with flag 185001/6673745 1605.65/1602.96 c cleaning 13000 clauses out of 26012 with flag 198000/6686744 1608.05/1605.37 c cleaning 12996 clauses out of 26015 with flag 211003/6699747 1610.45/1607.79 c cleaning 12998 clauses out of 26016 with flag 224000/6712744 1612.85/1610.15 c cleaning 13001 clauses out of 26019 with flag 237001/6725745 1615.16/1612.41 c cleaning 12999 clauses out of 26017 with flag 250000/6738744 1617.46/1614.76 c cleaning 13002 clauses out of 26018 with flag 263000/6751744 1619.88/1617.13 c cleaning 12999 clauses out of 26017 with flag 276001/6764745 1622.17/1619.43 c cleaning 13000 clauses out of 26018 with flag 289001/6777745 1624.47/1621.75 c cleaning 13001 clauses out of 26017 with flag 302000/6790744 1626.77/1624.07 c cleaning 13000 clauses out of 26017 with flag 315001/6803745 1629.17/1626.43 c cleaning 12997 clauses out of 26016 with flag 328000/6816744 1631.57/1628.87 c cleaning 13000 clauses out of 26021 with flag 341002/6829746 1633.98/1631.26 c cleaning 13002 clauses out of 26019 with flag 354000/6842744 1636.40/1633.67 c cleaning 13000 clauses out of 26018 with flag 367001/6855745 1638.88/1636.12 c cleaning 13001 clauses out of 26017 with flag 380000/6868744 1641.19/1638.45 c cleaning 13001 clauses out of 26016 with flag 393000/6881744 1643.59/1640.82 c cleaning 12998 clauses out of 26016 with flag 406001/6894745 1645.99/1643.22 c cleaning 13001 clauses out of 26018 with flag 419001/6907745 1648.40/1645.71 c cleaning 12999 clauses out of 26016 with flag 432000/6920744 1650.91/1648.20 c cleaning 13004 clauses out of 26019 with flag 445002/6933746 1653.41/1650.64 c cleaning 13000 clauses out of 26015 with flag 458002/6946746 1655.81/1653.08 c cleaning 12998 clauses out of 26017 with flag 471004/6959748 1658.21/1655.48 c cleaning 12999 clauses out of 26017 with flag 484002/6972746 1660.71/1657.94 c cleaning 13003 clauses out of 26017 with flag 497001/6985745 1663.12/1660.38 c cleaning 13000 clauses out of 26013 with flag 510000/6998744 1665.62/1662.85 c cleaning 12999 clauses out of 26013 with flag 523000/7011744 1668.02/1665.26 c cleaning 12997 clauses out of 26014 with flag 536000/7024744 1670.43/1667.69 c cleaning 13001 clauses out of 26018 with flag 549001/7037745 1672.92/1670.17 c cleaning 13000 clauses out of 26017 with flag 562001/7050745 1675.42/1672.66 c cleaning 13001 clauses out of 26016 with flag 575000/7063744 1677.93/1675.19 c cleaning 13000 clauses out of 26015 with flag 588000/7076744 1680.45/1677.64 c cleaning 13001 clauses out of 26016 with flag 601001/7089745 1682.83/1680.02 c cleaning 13000 clauses out of 26015 with flag 614001/7102745 1685.33/1682.51 c cleaning 12998 clauses out of 26014 with flag 627000/7115744 1687.84/1685.05 c cleaning 12999 clauses out of 26017 with flag 640001/7128745 1690.36/1687.56 c cleaning 13002 clauses out of 26021 with flag 653004/7141748 1692.94/1690.12 c cleaning 13001 clauses out of 26017 with flag 666002/7154746 1695.34/1692.58 c cleaning 13000 clauses out of 26015 with flag 679001/7167745 1697.74/1694.94 c cleaning 12997 clauses out of 26016 with flag 692002/7180746 1700.05/1697.30 c cleaning 13001 clauses out of 26017 with flag 705000/7193744 1702.56/1699.75 c cleaning 13002 clauses out of 26017 with flag 718001/7206745 1704.96/1702.10 c cleaning 13000 clauses out of 26015 with flag 731001/7219745 1707.26/1704.46 c cleaning 13000 clauses out of 26016 with flag 744002/7232746 1709.86/1707.08 c cleaning 13003 clauses out of 26014 with flag 757000/7245744 1712.77/1709.98 c cleaning 13004 clauses out of 26013 with flag 770002/7258746 1716.07/1713.22 c cleaning 12995 clauses out of 26008 with flag 783001/7271745 1719.27/1716.45 c cleaning 13001 clauses out of 26012 with flag 796000/7284744 1722.48/1719.64 c cleaning 13003 clauses out of 26013 with flag 809002/7297746 1725.60/1722.75 c cleaning 12998 clauses out of 26009 with flag 822001/7310745 1728.79/1725.98 c cleaning 13001 clauses out of 26012 with flag 835002/7323746 1732.09/1729.25 c cleaning 12998 clauses out of 26010 with flag 848001/7336745 1735.40/1732.61 c cleaning 13003 clauses out of 26014 with flag 861003/7349747 1738.82/1735.95 c cleaning 12999 clauses out of 26008 with flag 874000/7362744 1741.81/1738.90 c cleaning 12999 clauses out of 26010 with flag 887001/7375745 1744.51/1741.68 c cleaning 12998 clauses out of 26011 with flag 900001/7388745 1747.31/1744.48 c cleaning 13004 clauses out of 26015 with flag 913003/7401747 1750.31/1747.41 c cleaning 12997 clauses out of 26008 with flag 926000/7414744 1753.32/1750.45 c cleaning 12997 clauses out of 26013 with flag 939002/7427746 1756.33/1753.51 c cleaning 13000 clauses out of 26014 with flag 952000/7440744 1759.83/1756.91 c cleaning 13001 clauses out of 26016 with flag 965002/7453746 1763.13/1760.26 c cleaning 12999 clauses out of 26013 with flag 978000/7466744 1766.53/1763.61 c cleaning 12998 clauses out of 26014 with flag 991000/7479744 1769.84/1766.93 c cleaning 12999 clauses out of 26019 with flag 1004003/7492747 1773.34/1770.40 c cleaning 13001 clauses out of 26017 with flag 1017000/7505744 1776.84/1773.95 c cleaning 13002 clauses out of 26016 with flag 1030000/7518744 1780.35/1777.45 c cleaning 13003 clauses out of 26015 with flag 1043001/7531745 1783.45/1780.53 c cleaning 12999 clauses out of 26012 with flag 1056001/7544745 1786.55/1783.69 c cleaning 13003 clauses out of 26016 with flag 1069004/7557748 1789.65/1786.71 c cleaning 13000 clauses out of 26009 with flag 1082000/7570744 1792.77/1789.87 c cleaning 12999 clauses out of 26012 with flag 1095003/7583747 1795.97/1793.04 c cleaning 12998 clauses out of 26011 with flag 1108001/7596745 1799.16/1796.23 c cleaning 13004 clauses out of 26014 with flag 1121002/7609746 1800.07/1797.12 c starts : 300 1800.07/1797.12 c conflicts : 7613290 1800.07/1797.12 c decisions : 11505454 1800.07/1797.12 c propagations : 1468612262 1800.07/1797.12 c inspects : 14635589228 1800.07/1797.12 c shortcuts : 0 1800.07/1797.12 c learnt literals : 0 1800.07/1797.12 c learnt binary clauses : 0 1800.07/1797.12 c learnt ternary clauses : 0 1800.07/1797.12 c learnt constraints : 7613290 1800.07/1797.12 c ignored constraints : 0 1800.07/1797.12 c root simplifications : 0 1800.07/1797.12 c removed literals (reason simplification) : 30135837 1800.07/1797.12 c reason swapping (by a shorter reason) : 0 1800.07/1797.12 c Calls to reduceDB : 592 1800.07/1797.12 c number of reductions to clauses (during analyze) : 0 1800.07/1797.12 c number of learned constraints concerned by reduction : 0 1800.07/1797.12 c number of learning phase by resolution : 0 1800.07/1797.12 c number of learning phase by cutting planes : 0 1800.07/1797.12 c speed (assignments/second) : 6393944.99059594 1800.07/1797.12 c non guided choices 0 1800.07/1797.13 c learnt constraints type 1800.07/1797.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16588 1800.07/1797.13 c constraints type 1800.07/1797.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6426 1800.07/1797.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1797.13 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226 1800.07/1797.13 s SATISFIABLE 1800.07/1797.13 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.07/1797.13 c objective function=13 1800.07/1797.13 c Total wall clock time (in seconds): 1797.02
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-3458328-1307158980/watcher-3458328-1307158980 -o /tmp/evaluation-result-3458328-1307158980/solver-3458328-1307158980 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458328-1307158980.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.93 2.01 1.99 2/476 14484 /proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=86844 CPUtime=0 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 1420 0 1 0 0 0 0 0 25 0 2 0 827496134 88928256 1123 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 21711 1129 876 9 0 12867 0 [pid=14484/tid=14485] ppid=14482 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 6156 0 1 0 0 0 0 0 25 0 2 0 827496135 13850947584 6972 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0723831 s] /proc/loadavg: 1.93 2.01 1.99 2/476 14484 /proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13555088 CPUtime=0.05 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 14341 0 1 0 4 1 0 0 25 0 18 0 827496134 13880410112 14039 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3388772 14041 1743 9 0 3379506 0 [pid=14484/tid=14485] ppid=14482 vsize=13555088 CPUtime=0.05 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 13171 0 1 0 4 1 0 0 18 0 18 0 827496135 13880410112 14042 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976260551315 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13555088 [startup+0.100379 s] /proc/loadavg: 1.93 2.01 1.99 2/476 14484 /proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13622280 CPUtime=0.1 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 15579 0 1 0 8 2 0 0 25 0 18 0 827496134 13949214720 15252 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3405570 15252 2092 9 0 3396304 0 [pid=14484/tid=14485] ppid=14482 vsize=13622280 CPUtime=0.09 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 13635 0 1 0 7 2 0 0 18 0 18 0 827496135 13949214720 15253 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976256208571 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622280 [startup+0.307211 s] /proc/loadavg: 1.93 2.01 1.99 2/476 14484 /proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13623796 CPUtime=0.49 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 18176 0 1 0 46 3 0 0 25 0 18 0 827496134 13950767104 17472 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3405949 17472 2220 9 0 3396683 0 [pid=14484/tid=14485] ppid=14482 vsize=13623796 CPUtime=0.29 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 15313 0 1 0 27 2 0 0 18 0 18 0 827496135 13950767104 17472 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46976254869984 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 13623796 [startup+0.700302 s] /proc/loadavg: 1.93 2.01 1.99 2/476 14484 /proc/meminfo: memFree=26238928/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13635532 CPUtime=1.65 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 27672 0 1 0 161 4 0 0 25 0 19 0 827496134 13962784768 25057 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408883 25057 2241 9 0 3399617 0 [pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=0.68 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 17986 0 1 0 65 3 0 0 19 0 19 0 827496135 13962784768 25057 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505818884 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 13635532 [startup+1.50115 s] /proc/loadavg: 1.94 2.01 1.99 4/495 14503 /proc/meminfo: memFree=26145364/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13635532 CPUtime=2.54 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 28345 0 1 0 249 5 0 0 25 0 19 0 827496134 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408883 25730 2244 9 0 3399617 0 [pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=1.48 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18643 0 1 0 145 3 0 0 20 0 19 0 827496135 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505617797 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496137 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827496138 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13635532 CPUtime=0.51 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4964 0 0 0 51 0 0 0 15 0 19 0 827496140 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13635532 CPUtime=0.52 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3579 0 0 0 52 0 0 0 15 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496141 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13962784768 25730 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.54 Current children cumulated vsize (KiB) 13635532 [startup+3.10087 s] /proc/loadavg: 1.94 2.01 1.99 4/495 14503 /proc/meminfo: memFree=26129740/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13635532 CPUtime=4.21 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 32685 0 1 0 416 5 0 0 25 0 19 0 827496134 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408883 30063 2269 9 0 3399617 0 [pid=14484/tid=14485] ppid=14482 vsize=13635532 CPUtime=3.01 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18839 0 1 0 298 3 0 0 25 0 19 0 827496135 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505891061 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 486 0 0 0 0 0 0 0 16 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 239 0 0 0 0 0 0 0 16 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 411 0 0 0 0 0 0 0 18 0 19 0 827496137 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13635532 CPUtime=0.05 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 1808 0 0 0 5 0 0 0 15 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13635532 CPUtime=0.54 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4970 0 0 0 54 0 0 0 15 0 19 0 827496140 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13635532 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3586 0 0 0 55 0 0 0 15 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496141 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13635532 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13962784768 30063 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 13635532 [startup+6.3013 s] /proc/loadavg: 1.94 2.01 1.99 3/495 14503 /proc/meminfo: memFree=26128728/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13632260 CPUtime=7.45 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 33200 0 1 0 740 5 0 0 25 0 19 0 827496134 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408065 29556 2269 9 0 3398799 0 [pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=6.15 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 18841 0 1 0 612 3 0 0 20 0 19 0 827496135 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505937768 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 734 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 240 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 411 0 0 0 0 0 0 0 15 0 19 0 827496137 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=0.11 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 1981 0 0 0 11 0 0 0 15 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.57 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3589 0 0 0 57 0 0 0 15 0 19 0 827496141 13959434240 29556 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.39 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 598 0 0 0 39 0 0 0 15 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.4 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 40 0 0 0 16 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.4 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 40 0 0 0 16 0 19 0 827496137 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=20.34 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5233 0 0 0 2025 9 0 0 15 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34383 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1665.12 Current children cumulated vsize (KiB) 13632260 [startup+1722.3 s] /proc/loadavg: 2.01 2.08 2.03 3/495 14561 /proc/meminfo: memFree=26094964/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13632260 CPUtime=1725.18 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38833 0 1 0 172497 21 0 0 25 0 19 0 827496134 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408065 34427 2270 9 0 3398799 0 [pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1699.34 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19405 0 1 0 169927 7 0 0 25 0 19 0 827496135 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505617903 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.39 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 39 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.42 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 42 0 0 0 16 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 309 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 598 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.42 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 42 0 0 0 15 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 43 0 0 0 16 0 19 0 827496137 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=21.24 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5281 0 0 0 2115 9 0 0 15 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34427 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1725.18 Current children cumulated vsize (KiB) 13632260 [startup+1782.3 s] /proc/loadavg: 2.04 2.08 2.03 3/495 14562 /proc/meminfo: memFree=26094288/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13632260 CPUtime=1785.25 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38885 0 1 0 178503 22 0 0 25 0 19 0 827496134 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408065 34452 2270 9 0 3398799 0 [pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1758.53 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19424 0 1 0 175846 7 0 0 25 0 19 0 827496135 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505819577 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 41 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 45 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 311 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 600 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 43 0 0 0 15 0 19 0 827496137 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=21.99 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5306 0 0 0 2189 10 0 0 15 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34452 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1785.25 Current children cumulated vsize (KiB) 13632260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.1 s] /proc/loadavg: 1.81 2.02 2.01 2/471 14583 /proc/meminfo: memFree=26189512/32951124 swapFree=60688864/67111528 [pid=14484] ppid=14482 vsize=13632260 CPUtime=1800.07 cores=0,2,4,6 /proc/14484/stat : 14484 (java) S 14482 14484 11037 0 -1 4202496 38896 0 1 0 179985 22 0 0 25 0 19 0 827496134 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/14484/statm: 3408065 34458 2270 9 0 3398799 0 [pid=14484/tid=14485] ppid=14482 vsize=13632260 CPUtime=1773.12 cores=0,2,4,6 /proc/14484/task/14485/stat : 14485 (java) R 14482 14484 11037 0 -1 4202560 19429 0 1 0 177305 7 0 0 25 0 19 0 827496135 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 46912505891671 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=14484/tid=14487] ppid=14482 vsize=13632260 CPUtime=0.41 cores=0,2,4,6 /proc/14484/task/14487/stat : 14487 (java) S 14482 14484 11037 0 -1 4202560 1143 0 0 0 41 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14488] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6 /proc/14484/task/14488/stat : 14488 (java) S 14482 14484 11037 0 -1 4202560 462 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14489] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14489/stat : 14489 (java) S 14482 14484 11037 0 -1 4202560 536 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14490] ppid=14482 vsize=13632260 CPUtime=0.43 cores=0,2,4,6 /proc/14484/task/14490/stat : 14490 (java) S 14482 14484 11037 0 -1 4202560 311 0 0 0 43 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14491] ppid=14482 vsize=13632260 CPUtime=0.45 cores=0,2,4,6 /proc/14484/task/14491/stat : 14491 (java) S 14482 14484 11037 0 -1 4202560 344 0 0 0 45 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14492] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14492/stat : 14492 (java) S 14482 14484 11037 0 -1 4202560 600 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14493] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14493/stat : 14493 (java) S 14482 14484 11037 0 -1 4202560 505 0 0 0 44 0 0 0 15 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14494] ppid=14482 vsize=13632260 CPUtime=0.44 cores=0,2,4,6 /proc/14484/task/14494/stat : 14494 (java) S 14482 14484 11037 0 -1 4202560 441 0 0 0 44 0 0 0 16 0 19 0 827496137 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14495] ppid=14482 vsize=13632260 CPUtime=22.19 cores=0,2,4,6 /proc/14484/task/14495/stat : 14495 (java) S 14482 14484 11037 0 -1 4202560 5312 0 0 0 2209 10 0 0 15 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 0 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14496] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14496/stat : 14496 (java) S 14482 14484 11037 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14497] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14497/stat : 14497 (java) S 14482 14484 11037 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827496138 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 6 0 0 0 [pid=14484/tid=14498] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14498/stat : 14498 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496140 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347716017 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14499] ppid=14482 vsize=13632260 CPUtime=0.55 cores=0,2,4,6 /proc/14484/task/14499/stat : 14499 (java) S 14482 14484 11037 0 -1 4202560 4971 0 0 0 55 0 0 0 15 0 19 0 827496140 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 2 0 0 0 [pid=14484/tid=14500] ppid=14482 vsize=13632260 CPUtime=0.59 cores=0,2,4,6 /proc/14484/task/14500/stat : 14500 (java) S 14482 14484 11037 0 -1 4202560 3592 0 0 0 59 0 0 0 15 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14501] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14501/stat : 14501 (java) S 14482 14484 11037 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708313 0 4 0 16800975 18446604446016411456 0 0 -1 4 0 0 0 [pid=14484/tid=14502] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14502/stat : 14502 (java) S 14482 14484 11037 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827496141 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 [pid=14484/tid=14503] ppid=14482 vsize=13632260 CPUtime=0 cores=0,2,4,6 /proc/14484/task/14503/stat : 14503 (java) S 14482 14484 11037 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827496182 13959434240 34458 33554432000 1073741824 1073778376 140735802081360 18446744073709551615 232347708928 0 4 0 16800975 18446604446016411456 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 13632260 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.15 CPU time (s): 1800.13 CPU user time (s): 1799.89 CPU system time (s): 0.236963 CPU usage (%): 100.166 Max. virtual memory (cumulated for all children) (KiB): 13635532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.236963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38935 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= 52139 involuntary context switches= 22507 runsolver used 8.79966 second user time and 18.6752 second system time The end
Begin job on node132 at 2011-06-04 05:43:00 IDJOB=3458328 IDBENCH=48148 IDSOLVER=1952 FILE ID=node132/3458328-1307158980 RUNJOBID= node132-1307155368-14099 PBS_JOBID= 13508784 Free space on /tmp= 73928 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458328-1307158980/watcher-3458328-1307158980 -o /tmp/evaluation-result-3458328-1307158980/solver-3458328-1307158980 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458328-1307158980.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=872556910 node132.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.833 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.833 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.74 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.833 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.76 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.833 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.75 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.833 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.77 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.833 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.67 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.833 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.82 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26239208 kB Buffers: 323716 kB Cached: 2984716 kB SwapCached: 15140 kB Active: 1095040 kB Inactive: 5355988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26239208 kB SwapTotal: 67111528 kB SwapFree: 60688864 kB Dirty: 1176 kB Writeback: 0 kB AnonPages: 3135564 kB Mapped: 27364 kB Slab: 143860 kB PageTables: 50096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 122645040 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73928 MiB End job on node132 at 2011-06-04 06:12:59