Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 76 | 1800.07 | 1797.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_3.opb |
MD5SUM | 31a0e10ee8ac2049545ec8eab33f6948 |
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 | 52 |
Best CPU time to get the best result obtained on this benchmark | 1797.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 69 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/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-3458337-1307159062.opb 0.10/0.11 c reading problem ... 0.46/0.58 c ... done. Wall clock time 0.353s. 0.46/0.58 c #vars 6816 0.46/0.58 c #constraints 13132 0.46/0.58 c constraints type 0.46/0.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6816 0.46/0.58 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316 0.46/0.58 c SATISFIABLE 0.46/0.58 c OPTIMIZING... 0.46/0.58 c Got one! Elapsed wall clock time (in seconds):0.47 0.46/0.58 o 85 1.37/0.61 c Got one! Elapsed wall clock time (in seconds):0.497 1.37/0.61 o 84 1.63/0.70 c Got one! Elapsed wall clock time (in seconds):0.591 1.63/0.70 o 82 1.63/0.73 c Got one! Elapsed wall clock time (in seconds):0.621 1.63/0.73 o 81 1.63/0.76 c Got one! Elapsed wall clock time (in seconds):0.656 1.63/0.76 o 79 1.99/1.05 c Got one! Elapsed wall clock time (in seconds):0.941 1.99/1.05 o 78 1.99/1.08 c Got one! Elapsed wall clock time (in seconds):0.966 1.99/1.08 o 77 2.73/1.73 c Got one! Elapsed wall clock time (in seconds):1.621 2.73/1.73 o 76 2.93/1.92 c cleaning 3192 clauses out of 6398 with flag 1002/6398 4.11/3.08 c cleaning 4599 clauses out of 9204 with flag 7000/12396 5.52/4.42 c cleaning 5796 clauses out of 11605 with flag 14000/19396 6.82/5.79 c cleaning 6897 clauses out of 13809 with flag 22000/27396 8.55/7.47 c cleaning 7949 clauses out of 15913 with flag 31001/36397 10.56/9.46 c cleaning 8973 clauses out of 17964 with flag 41001/46397 12.56/11.48 c cleaning 9993 clauses out of 19990 with flag 52000/57396 14.76/13.68 c cleaning 10989 clauses out of 21997 with flag 64000/69396 17.17/16.07 c cleaning 11996 clauses out of 24008 with flag 77000/82396 19.88/18.71 c cleaning 13000 clauses out of 26012 with flag 91000/96396 22.60/21.41 c cleaning 13497 clauses out of 27013 with flag 105001/110397 25.10/23.92 c cleaning 13755 clauses out of 27517 with flag 119002/124398 27.90/26.74 c cleaning 13869 clauses out of 27760 with flag 133000/138396 30.51/29.38 c cleaning 13935 clauses out of 27891 with flag 147000/152396 33.23/32.09 c cleaning 13966 clauses out of 27956 with flag 161000/166396 35.82/34.61 c cleaning 13986 clauses out of 27990 with flag 175000/180396 38.32/37.18 c cleaning 13998 clauses out of 28005 with flag 189001/194397 41.43/40.23 c cleaning 13996 clauses out of 28006 with flag 203000/208396 44.33/43.11 c cleaning 13997 clauses out of 28011 with flag 217001/222397 47.33/46.14 c cleaning 13998 clauses out of 28013 with flag 231000/236396 50.63/49.40 c cleaning 14002 clauses out of 28016 with flag 245001/250397 53.54/52.36 c cleaning 14003 clauses out of 28014 with flag 259001/264397 56.14/54.92 c cleaning 14002 clauses out of 28011 with flag 273001/278397 58.85/57.61 c cleaning 13998 clauses out of 28009 with flag 287001/292397 61.55/60.32 c cleaning 13997 clauses out of 28010 with flag 301000/306396 64.26/63.03 c cleaning 14000 clauses out of 28014 with flag 315001/320397 67.16/66.01 c cleaning 14000 clauses out of 28014 with flag 329001/334397 70.06/68.86 c cleaning 13998 clauses out of 28014 with flag 343001/348397 72.88/71.65 c cleaning 14000 clauses out of 28015 with flag 357000/362396 75.97/74.80 c cleaning 13999 clauses out of 28015 with flag 371000/376396 78.88/77.67 c cleaning 14002 clauses out of 28018 with flag 385002/390398 81.38/80.17 c cleaning 14002 clauses out of 28014 with flag 399000/404396 84.18/82.97 c cleaning 13999 clauses out of 28012 with flag 413000/418396 87.09/85.84 c cleaning 13997 clauses out of 28014 with flag 427001/432397 89.89/88.69 c cleaning 14000 clauses out of 28017 with flag 441001/446397 92.79/91.55 c cleaning 14001 clauses out of 28016 with flag 455000/460396 95.79/94.52 c cleaning 13999 clauses out of 28016 with flag 469001/474397 98.50/97.29 c cleaning 13998 clauses out of 28017 with flag 483001/488397 101.60/100.31 c cleaning 14001 clauses out of 28019 with flag 497001/502397 104.51/103.27 c cleaning 13996 clauses out of 28017 with flag 511000/516396 107.21/105.98 c cleaning 13999 clauses out of 28022 with flag 525001/530397 110.12/108.80 c cleaning 14008 clauses out of 28023 with flag 539001/544397 113.02/111.70 c cleaning 13995 clauses out of 28014 with flag 553000/558396 115.84/114.57 c cleaning 14003 clauses out of 28020 with flag 567001/572397 118.83/117.60 c cleaning 13991 clauses out of 28016 with flag 581000/586396 121.43/120.18 c cleaning 14008 clauses out of 28026 with flag 595001/600397 124.13/122.83 c cleaning 14000 clauses out of 28017 with flag 609000/614396 126.93/125.62 c cleaning 14000 clauses out of 28017 with flag 623000/628396 129.64/128.39 c cleaning 14002 clauses out of 28018 with flag 637001/642397 132.14/130.83 c cleaning 14002 clauses out of 28016 with flag 651001/656397 134.56/133.25 c cleaning 14000 clauses out of 28013 with flag 665000/670396 137.16/135.81 c cleaning 14001 clauses out of 28014 with flag 679001/684397 139.97/138.68 c cleaning 13998 clauses out of 28012 with flag 693000/698396 142.76/141.41 c cleaning 14002 clauses out of 28016 with flag 707002/712398 145.58/144.25 c cleaning 13999 clauses out of 28012 with flag 721000/726396 148.89/147.59 c cleaning 13991 clauses out of 28013 with flag 735000/740396 152.19/150.83 c cleaning 14003 clauses out of 28022 with flag 749000/754396 155.38/154.04 c cleaning 14001 clauses out of 28019 with flag 763000/768396 158.68/157.32 c cleaning 14000 clauses out of 28018 with flag 777000/782396 161.78/160.43 c cleaning 13996 clauses out of 28018 with flag 791000/796396 164.98/163.62 c cleaning 14001 clauses out of 28023 with flag 805001/810397 168.21/166.85 c cleaning 14000 clauses out of 28022 with flag 819001/824397 171.31/169.95 c cleaning 14000 clauses out of 28021 with flag 833000/838396 174.51/173.18 c cleaning 14000 clauses out of 28021 with flag 847000/852396 177.92/176.56 c cleaning 13998 clauses out of 28022 with flag 861001/866397 181.22/179.80 c cleaning 14003 clauses out of 28023 with flag 875000/880396 183.72/182.40 c cleaning 14002 clauses out of 28021 with flag 889001/894397 186.62/185.26 c cleaning 13999 clauses out of 28018 with flag 903000/908396 189.43/188.02 c cleaning 14001 clauses out of 28020 with flag 917001/922397 191.93/190.55 c cleaning 13997 clauses out of 28018 with flag 931000/936396 194.63/193.20 c cleaning 14001 clauses out of 28022 with flag 945001/950397 197.54/196.20 c cleaning 14004 clauses out of 28021 with flag 959001/964397 200.45/199.11 c cleaning 14000 clauses out of 28016 with flag 973000/978396 203.66/202.21 c cleaning 14002 clauses out of 28017 with flag 987001/992397 206.76/205.34 c cleaning 14002 clauses out of 28015 with flag 1001001/1006397 209.66/208.20 c cleaning 13993 clauses out of 28012 with flag 1015000/1020396 212.57/211.12 c cleaning 14001 clauses out of 28019 with flag 1029000/1034396 215.47/214.07 c cleaning 13999 clauses out of 28018 with flag 1043000/1048396 218.29/216.85 c cleaning 14004 clauses out of 28019 with flag 1057000/1062396 221.17/219.71 c cleaning 14000 clauses out of 28016 with flag 1071001/1076397 223.87/222.42 c cleaning 14002 clauses out of 28016 with flag 1085001/1090397 226.78/225.38 c cleaning 13998 clauses out of 28014 with flag 1099001/1104397 229.88/228.40 c cleaning 14002 clauses out of 28016 with flag 1113001/1118397 232.88/231.45 c cleaning 13999 clauses out of 28013 with flag 1127000/1132396 235.98/234.51 c cleaning 13999 clauses out of 28015 with flag 1141001/1146397 238.98/237.58 c cleaning 14001 clauses out of 28015 with flag 1155000/1160396 242.09/240.64 c cleaning 14000 clauses out of 28014 with flag 1169000/1174396 244.89/243.44 c cleaning 14000 clauses out of 28015 with flag 1183001/1188397 247.79/246.32 c cleaning 13999 clauses out of 28014 with flag 1197000/1202396 250.59/249.19 c cleaning 13995 clauses out of 28015 with flag 1211000/1216396 253.51/252.05 c cleaning 14004 clauses out of 28022 with flag 1225002/1230398 256.50/255.00 c cleaning 14001 clauses out of 28016 with flag 1239000/1244396 259.40/257.94 c cleaning 13999 clauses out of 28016 with flag 1253001/1258397 262.21/260.74 c cleaning 13999 clauses out of 28016 with flag 1267000/1272396 265.11/263.64 c cleaning 14000 clauses out of 28017 with flag 1281000/1286396 268.11/266.67 c cleaning 13995 clauses out of 28017 with flag 1295000/1300396 271.02/269.56 c cleaning 14000 clauses out of 28022 with flag 1309000/1314396 273.81/272.39 c cleaning 14008 clauses out of 28023 with flag 1323001/1328397 276.42/274.93 c cleaning 14004 clauses out of 28015 with flag 1337001/1342397 279.22/277.73 c cleaning 14000 clauses out of 28011 with flag 1351001/1356397 281.83/280.35 c cleaning 13994 clauses out of 28010 with flag 1365000/1370396 284.63/283.19 c cleaning 14003 clauses out of 28016 with flag 1379000/1384396 287.74/286.20 c cleaning 13998 clauses out of 28013 with flag 1393000/1398396 291.04/289.56 c cleaning 13996 clauses out of 28015 with flag 1407000/1412396 293.95/292.42 c cleaning 14003 clauses out of 28019 with flag 1421000/1426396 296.85/295.37 c cleaning 13999 clauses out of 28016 with flag 1435000/1440396 299.77/298.24 c cleaning 14002 clauses out of 28018 with flag 1449001/1454397 302.56/301.01 c cleaning 14000 clauses out of 28015 with flag 1463000/1468396 305.36/303.89 c cleaning 14000 clauses out of 28015 with flag 1477000/1482396 308.36/306.80 c cleaning 14001 clauses out of 28015 with flag 1491000/1496396 311.26/309.74 c cleaning 13996 clauses out of 28014 with flag 1505000/1510396 313.97/312.50 c cleaning 14003 clauses out of 28019 with flag 1519001/1524397 316.67/315.16 c cleaning 13994 clauses out of 28015 with flag 1533000/1538396 319.27/317.79 c cleaning 14001 clauses out of 28021 with flag 1547000/1552396 322.08/320.52 c cleaning 13999 clauses out of 28021 with flag 1561001/1566397 324.88/323.38 c cleaning 14000 clauses out of 28022 with flag 1575001/1580397 327.68/326.18 c cleaning 13997 clauses out of 28022 with flag 1589001/1594397 330.49/328.95 c cleaning 14003 clauses out of 28024 with flag 1603000/1608396 333.30/331.77 c cleaning 14002 clauses out of 28022 with flag 1617001/1622397 336.50/334.90 c cleaning 13996 clauses out of 28019 with flag 1631000/1636396 339.70/338.13 c cleaning 14006 clauses out of 28024 with flag 1645001/1650397 343.00/341.42 c cleaning 13998 clauses out of 28017 with flag 1659000/1664396 346.10/344.50 c cleaning 14004 clauses out of 28019 with flag 1673000/1678396 349.10/347.60 c cleaning 13994 clauses out of 28015 with flag 1687000/1692396 352.42/350.80 c cleaning 13996 clauses out of 28021 with flag 1701000/1706396 355.62/354.03 c cleaning 14002 clauses out of 28025 with flag 1715000/1720396 358.83/357.26 c cleaning 13997 clauses out of 28023 with flag 1729000/1734396 362.12/360.52 c cleaning 14000 clauses out of 28026 with flag 1743000/1748396 365.33/363.78 c cleaning 14004 clauses out of 28027 with flag 1757001/1762397 368.53/366.91 c cleaning 14001 clauses out of 28023 with flag 1771001/1776397 371.84/370.24 c cleaning 14005 clauses out of 28021 with flag 1785000/1790396 375.24/373.65 c cleaning 14002 clauses out of 28017 with flag 1799001/1804397 378.84/377.27 c cleaning 14000 clauses out of 28015 with flag 1813001/1818397 382.45/380.80 c cleaning 13995 clauses out of 28014 with flag 1827000/1832396 385.95/384.32 c cleaning 13996 clauses out of 28019 with flag 1841000/1846396 389.45/387.83 c cleaning 14002 clauses out of 28025 with flag 1855002/1860398 392.96/391.31 c cleaning 13999 clauses out of 28022 with flag 1869001/1874397 396.46/394.84 c cleaning 13999 clauses out of 28023 with flag 1883001/1888397 399.87/398.23 c cleaning 13998 clauses out of 28024 with flag 1897001/1902397 403.28/401.69 c cleaning 14005 clauses out of 28025 with flag 1911000/1916396 406.77/405.12 c cleaning 14002 clauses out of 28021 with flag 1925001/1930397 410.07/408.44 c cleaning 13996 clauses out of 28018 with flag 1939000/1944396 413.57/411.94 c cleaning 14003 clauses out of 28023 with flag 1953001/1958397 417.07/415.44 c cleaning 13993 clauses out of 28019 with flag 1967000/1972396 420.68/419.09 c cleaning 14006 clauses out of 28027 with flag 1981001/1986397 423.48/421.84 c cleaning 14004 clauses out of 28020 with flag 1995000/2000396 425.98/424.33 c cleaning 13999 clauses out of 28016 with flag 2009000/2014396 428.69/427.10 c cleaning 14001 clauses out of 28017 with flag 2023000/2028396 431.39/429.70 c cleaning 14000 clauses out of 28017 with flag 2037001/2042397 434.00/432.38 c cleaning 13998 clauses out of 28018 with flag 2051002/2056398 437.10/435.43 c cleaning 14000 clauses out of 28018 with flag 2065000/2070396 440.01/438.34 c cleaning 13998 clauses out of 28020 with flag 2079002/2084398 442.81/441.16 c cleaning 14004 clauses out of 28021 with flag 2093001/2098397 445.61/443.98 c cleaning 13997 clauses out of 28017 with flag 2107001/2112397 448.52/446.82 c cleaning 13994 clauses out of 28020 with flag 2121001/2126397 451.33/449.67 c cleaning 14001 clauses out of 28026 with flag 2135001/2140397 454.33/452.69 c cleaning 14002 clauses out of 28024 with flag 2149000/2154396 457.34/455.61 c cleaning 14000 clauses out of 28022 with flag 2163000/2168396 460.24/458.59 c cleaning 14006 clauses out of 28022 with flag 2177000/2182396 462.94/461.22 c cleaning 14005 clauses out of 28017 with flag 2191001/2196397 465.65/463.97 c cleaning 13996 clauses out of 28012 with flag 2205001/2210397 468.45/466.71 c cleaning 13998 clauses out of 28015 with flag 2219000/2224396 471.15/469.48 c cleaning 13999 clauses out of 28018 with flag 2233001/2238397 473.95/472.21 c cleaning 13997 clauses out of 28019 with flag 2247001/2252397 476.66/474.91 c cleaning 14001 clauses out of 28022 with flag 2261001/2266397 479.36/477.62 c cleaning 13996 clauses out of 28020 with flag 2275000/2280396 482.26/480.53 c cleaning 14002 clauses out of 28024 with flag 2289000/2294396 485.26/483.53 c cleaning 14005 clauses out of 28022 with flag 2303000/2308396 488.36/486.64 c cleaning 14000 clauses out of 28017 with flag 2317000/2322396 491.46/489.76 c cleaning 14006 clauses out of 28018 with flag 2331001/2336397 494.68/492.99 c cleaning 13993 clauses out of 28011 with flag 2345000/2350396 497.88/496.18 c cleaning 14001 clauses out of 28019 with flag 2359001/2364397 500.87/499.19 c cleaning 13995 clauses out of 28018 with flag 2373001/2378397 504.18/502.42 c cleaning 14002 clauses out of 28023 with flag 2387001/2392397 507.38/505.64 c cleaning 14003 clauses out of 28021 with flag 2401001/2406397 510.58/508.87 c cleaning 13997 clauses out of 28017 with flag 2415000/2420396 513.78/512.09 c cleaning 14005 clauses out of 28021 with flag 2429001/2434397 516.99/515.25 c cleaning 14002 clauses out of 28015 with flag 2443000/2448396 520.19/518.45 c cleaning 13996 clauses out of 28014 with flag 2457001/2462397 523.39/521.68 c cleaning 14000 clauses out of 28018 with flag 2471001/2476397 526.70/524.91 c cleaning 14000 clauses out of 28017 with flag 2485000/2490396 529.91/528.18 c cleaning 13993 clauses out of 28017 with flag 2499000/2504396 533.21/531.42 c cleaning 14001 clauses out of 28024 with flag 2513000/2518396 536.52/534.77 c cleaning 14001 clauses out of 28023 with flag 2527000/2532396 539.82/538.02 c cleaning 14000 clauses out of 28023 with flag 2541001/2546397 543.01/541.23 c cleaning 14001 clauses out of 28024 with flag 2555002/2560398 546.31/544.60 c cleaning 13999 clauses out of 28021 with flag 2569000/2574396 549.72/547.93 c cleaning 14005 clauses out of 28022 with flag 2583000/2588396 553.02/551.26 c cleaning 13995 clauses out of 28018 with flag 2597001/2602397 556.33/554.56 c cleaning 13994 clauses out of 28022 with flag 2611000/2616396 559.52/557.80 c cleaning 14003 clauses out of 28028 with flag 2625000/2630396 562.83/561.04 c cleaning 13998 clauses out of 28027 with flag 2639002/2644398 566.03/564.26 c cleaning 14009 clauses out of 28027 with flag 2653000/2658396 569.23/567.46 c cleaning 14000 clauses out of 28019 with flag 2667001/2672397 572.34/570.59 c cleaning 13998 clauses out of 28018 with flag 2681000/2686396 575.64/573.83 c cleaning 14001 clauses out of 28021 with flag 2695001/2700397 578.74/576.99 c cleaning 14003 clauses out of 28019 with flag 2709000/2714396 582.05/580.26 c cleaning 13996 clauses out of 28016 with flag 2723000/2728396 585.25/583.44 c cleaning 14000 clauses out of 28022 with flag 2737002/2742398 588.45/586.63 c cleaning 13999 clauses out of 28021 with flag 2751001/2756397 591.65/589.86 c cleaning 13999 clauses out of 28021 with flag 2765000/2770396 594.95/593.13 c cleaning 14000 clauses out of 28023 with flag 2779001/2784397 598.17/596.39 c cleaning 14003 clauses out of 28022 with flag 2793000/2798396 601.56/599.74 c cleaning 14003 clauses out of 28020 with flag 2807001/2812397 604.67/602.86 c cleaning 13995 clauses out of 28016 with flag 2821000/2826396 607.66/605.88 c cleaning 14000 clauses out of 28022 with flag 2835001/2840397 610.77/608.99 c cleaning 14005 clauses out of 28021 with flag 2849000/2854396 613.76/611.95 c cleaning 14004 clauses out of 28018 with flag 2863002/2868398 616.88/615.09 c cleaning 13995 clauses out of 28012 with flag 2877000/2882396 619.98/618.15 c cleaning 13993 clauses out of 28018 with flag 2891001/2896397 623.08/621.27 c cleaning 13998 clauses out of 28025 with flag 2905001/2910397 626.28/624.45 c cleaning 14005 clauses out of 28026 with flag 2919000/2924396 629.48/627.68 c cleaning 13999 clauses out of 28022 with flag 2933001/2938397 632.78/630.96 c cleaning 14006 clauses out of 28022 with flag 2947000/2952396 635.89/634.05 c cleaning 13995 clauses out of 28017 with flag 2961001/2966397 639.09/637.23 c cleaning 14001 clauses out of 28021 with flag 2975000/2980396 641.89/640.05 c cleaning 13998 clauses out of 28020 with flag 2989000/2994396 644.49/642.63 c cleaning 14001 clauses out of 28022 with flag 3003000/3008396 646.90/645.05 c cleaning 14002 clauses out of 28021 with flag 3017000/3022396 649.50/647.60 c cleaning 14003 clauses out of 28019 with flag 3031000/3036396 652.21/650.30 c cleaning 14004 clauses out of 28018 with flag 3045002/3050398 655.11/653.27 c cleaning 13996 clauses out of 28013 with flag 3059001/3064397 657.91/656.08 c cleaning 14002 clauses out of 28016 with flag 3073000/3078396 660.62/658.78 c cleaning 14003 clauses out of 28015 with flag 3087001/3092397 663.42/661.56 c cleaning 13998 clauses out of 28012 with flag 3101001/3106397 666.02/664.19 c cleaning 14000 clauses out of 28013 with flag 3115000/3120396 668.93/667.06 c cleaning 13999 clauses out of 28013 with flag 3129000/3134396 671.84/669.95 c cleaning 13995 clauses out of 28015 with flag 3143001/3148397 674.93/673.06 c cleaning 14005 clauses out of 28020 with flag 3157001/3162397 677.84/675.96 c cleaning 13995 clauses out of 28015 with flag 3171001/3176397 680.76/678.85 c cleaning 13998 clauses out of 28020 with flag 3185001/3190397 683.64/681.76 c cleaning 14007 clauses out of 28022 with flag 3199001/3204397 686.75/684.82 c cleaning 13998 clauses out of 28015 with flag 3213001/3218397 689.85/688.00 c cleaning 14000 clauses out of 28018 with flag 3227002/3232398 693.06/691.18 c cleaning 14003 clauses out of 28017 with flag 3241001/3246397 696.08/694.19 c cleaning 13999 clauses out of 28014 with flag 3255001/3260397 699.18/697.25 c cleaning 13998 clauses out of 28015 with flag 3269001/3274397 701.98/700.05 c cleaning 14007 clauses out of 28019 with flag 3283003/3288399 704.89/702.98 c cleaning 13999 clauses out of 28009 with flag 3297000/3302396 707.99/706.07 c cleaning 13997 clauses out of 28011 with flag 3311001/3316397 711.19/709.21 c cleaning 13995 clauses out of 28013 with flag 3325000/3330396 714.39/712.49 c cleaning 13998 clauses out of 28019 with flag 3339001/3344397 717.79/715.82 c cleaning 13999 clauses out of 28021 with flag 3353001/3358397 720.80/718.86 c cleaning 14001 clauses out of 28022 with flag 3367001/3372397 724.20/722.24 c cleaning 14004 clauses out of 28021 with flag 3381001/3386397 727.41/725.46 c cleaning 13995 clauses out of 28018 with flag 3395002/3400398 730.91/728.92 c cleaning 14002 clauses out of 28021 with flag 3409000/3414396 734.21/732.23 c cleaning 14000 clauses out of 28019 with flag 3423000/3428396 737.02/735.01 c cleaning 14000 clauses out of 28019 with flag 3437000/3442396 739.72/737.79 c cleaning 14002 clauses out of 28020 with flag 3451001/3456397 742.62/740.61 c cleaning 14001 clauses out of 28018 with flag 3465001/3470397 745.42/743.43 c cleaning 13998 clauses out of 28016 with flag 3479000/3484396 748.23/746.28 c cleaning 14001 clauses out of 28019 with flag 3493001/3498397 751.13/749.19 c cleaning 14004 clauses out of 28017 with flag 3507000/3512396 754.13/752.17 c cleaning 13998 clauses out of 28013 with flag 3521000/3526396 757.33/755.31 c cleaning 14000 clauses out of 28015 with flag 3535000/3540396 760.43/758.40 c cleaning 13997 clauses out of 28015 with flag 3549000/3554396 763.43/761.48 c cleaning 14002 clauses out of 28020 with flag 3563002/3568398 766.44/764.40 c cleaning 13998 clauses out of 28017 with flag 3577001/3582397 769.34/767.34 c cleaning 13998 clauses out of 28018 with flag 3591000/3596396 772.24/770.30 c cleaning 14001 clauses out of 28020 with flag 3605000/3610396 775.36/773.38 c cleaning 14001 clauses out of 28019 with flag 3619000/3624396 778.15/776.15 c cleaning 14003 clauses out of 28019 with flag 3633001/3638397 780.75/778.79 c cleaning 13998 clauses out of 28016 with flag 3647001/3652397 783.36/781.40 c cleaning 14003 clauses out of 28017 with flag 3661000/3666396 786.07/784.05 c cleaning 14000 clauses out of 28014 with flag 3675000/3680396 788.69/786.68 c cleaning 13995 clauses out of 28014 with flag 3689000/3694396 791.38/789.36 c cleaning 13999 clauses out of 28020 with flag 3703001/3708397 793.98/792.01 c cleaning 14000 clauses out of 28021 with flag 3717001/3722397 796.78/794.77 c cleaning 13995 clauses out of 28021 with flag 3731001/3736397 799.59/797.60 c cleaning 14007 clauses out of 28026 with flag 3745001/3750397 802.39/800.35 c cleaning 13996 clauses out of 28018 with flag 3759000/3764396 805.29/803.27 c cleaning 14001 clauses out of 28023 with flag 3773001/3778397 808.09/806.08 c cleaning 14001 clauses out of 28022 with flag 3787001/3792397 810.71/808.68 c cleaning 13998 clauses out of 28020 with flag 3801000/3806396 813.60/811.51 c cleaning 14002 clauses out of 28022 with flag 3815000/3820396 816.30/814.27 c cleaning 14002 clauses out of 28021 with flag 3829001/3834397 819.20/817.14 c cleaning 13995 clauses out of 28018 with flag 3843000/3848396 821.90/819.90 c cleaning 14002 clauses out of 28023 with flag 3857000/3862396 824.80/822.72 c cleaning 14002 clauses out of 28021 with flag 3871000/3876396 827.40/825.38 c cleaning 13997 clauses out of 28020 with flag 3885001/3890397 830.21/828.12 c cleaning 13998 clauses out of 28023 with flag 3899001/3904397 833.01/830.95 c cleaning 14001 clauses out of 28025 with flag 3913001/3918397 835.81/833.76 c cleaning 14001 clauses out of 28024 with flag 3927001/3932397 838.81/836.76 c cleaning 14000 clauses out of 28022 with flag 3941000/3946396 841.61/839.56 c cleaning 14002 clauses out of 28023 with flag 3955001/3960397 844.51/842.41 c cleaning 13994 clauses out of 28020 with flag 3969000/3974396 847.11/845.08 c cleaning 14009 clauses out of 28027 with flag 3983001/3988397 850.02/847.96 c cleaning 13999 clauses out of 28018 with flag 3997001/4002397 852.92/850.81 c cleaning 14001 clauses out of 28018 with flag 4011000/4016396 855.92/853.86 c cleaning 14000 clauses out of 28017 with flag 4025000/4030396 859.03/856.91 c cleaning 14002 clauses out of 28018 with flag 4039001/4044397 862.03/859.93 c cleaning 14000 clauses out of 28016 with flag 4053001/4058397 865.03/862.94 c cleaning 13996 clauses out of 28016 with flag 4067001/4072397 868.13/866.01 c cleaning 13999 clauses out of 28019 with flag 4081000/4086396 871.03/868.91 c cleaning 14002 clauses out of 28020 with flag 4095000/4100396 874.15/872.04 c cleaning 14001 clauses out of 28019 with flag 4109001/4114397 877.04/874.98 c cleaning 14000 clauses out of 28018 with flag 4123001/4128397 880.07/877.99 c cleaning 14000 clauses out of 28018 with flag 4137001/4142397 883.26/881.15 c cleaning 14001 clauses out of 28017 with flag 4151000/4156396 886.26/884.10 c cleaning 14000 clauses out of 28017 with flag 4165001/4170397 889.26/887.15 c cleaning 13997 clauses out of 28016 with flag 4179000/4184396 892.26/890.19 c cleaning 13995 clauses out of 28019 with flag 4193000/4198396 895.37/893.27 c cleaning 13999 clauses out of 28024 with flag 4207000/4212396 898.47/896.37 c cleaning 14000 clauses out of 28025 with flag 4221000/4226396 901.57/899.49 c cleaning 14002 clauses out of 28026 with flag 4235001/4240397 904.77/902.66 c cleaning 13999 clauses out of 28023 with flag 4249000/4254396 907.87/905.71 c cleaning 14004 clauses out of 28025 with flag 4263001/4268397 910.97/908.89 c cleaning 14000 clauses out of 28020 with flag 4277000/4282396 914.08/911.95 c cleaning 13996 clauses out of 28020 with flag 4291000/4296396 917.27/915.12 c cleaning 14007 clauses out of 28025 with flag 4305001/4310397 920.17/918.04 c cleaning 13998 clauses out of 28018 with flag 4319001/4324397 923.07/920.96 c cleaning 13992 clauses out of 28020 with flag 4333001/4338397 926.08/924.00 c cleaning 14007 clauses out of 28027 with flag 4347000/4352396 929.29/927.13 c cleaning 13999 clauses out of 28020 with flag 4361000/4366396 932.20/930.07 c cleaning 14001 clauses out of 28021 with flag 4375000/4380396 935.30/933.10 c cleaning 13999 clauses out of 28022 with flag 4389002/4394398 938.20/936.10 c cleaning 14000 clauses out of 28021 with flag 4403000/4408396 941.21/939.10 c cleaning 14005 clauses out of 28021 with flag 4417000/4422396 944.41/942.21 c cleaning 13995 clauses out of 28016 with flag 4431000/4436396 947.41/945.22 c cleaning 14000 clauses out of 28022 with flag 4445001/4450397 950.42/948.26 c cleaning 14001 clauses out of 28021 with flag 4459000/4464396 953.51/951.33 c cleaning 14001 clauses out of 28021 with flag 4473001/4478397 956.21/954.08 c cleaning 14006 clauses out of 28019 with flag 4487000/4492396 959.02/956.85 c cleaning 14002 clauses out of 28013 with flag 4501000/4506396 961.92/959.70 c cleaning 13997 clauses out of 28012 with flag 4515001/4520397 964.53/962.37 c cleaning 13999 clauses out of 28015 with flag 4529001/4534397 967.23/965.02 c cleaning 13997 clauses out of 28015 with flag 4543000/4548396 970.04/967.82 c cleaning 13999 clauses out of 28018 with flag 4557000/4562396 972.84/970.65 c cleaning 14003 clauses out of 28021 with flag 4571002/4576398 975.75/973.60 c cleaning 14001 clauses out of 28017 with flag 4585001/4590397 978.65/976.42 c cleaning 13998 clauses out of 28016 with flag 4599001/4604397 981.46/979.21 c cleaning 14003 clauses out of 28017 with flag 4613000/4618396 984.46/982.25 c cleaning 14002 clauses out of 28015 with flag 4627001/4632397 987.47/985.26 c cleaning 13995 clauses out of 28012 with flag 4641000/4646396 990.47/988.23 c cleaning 14000 clauses out of 28018 with flag 4655001/4660397 993.58/991.31 c cleaning 14001 clauses out of 28018 with flag 4669001/4674397 996.38/994.12 c cleaning 13999 clauses out of 28016 with flag 4683000/4688396 999.29/997.03 c cleaning 13998 clauses out of 28018 with flag 4697001/4702397 1002.09/999.86 c cleaning 14001 clauses out of 28020 with flag 4711001/4716397 1004.90/1002.62 c cleaning 13998 clauses out of 28019 with flag 4725001/4730397 1007.60/1005.40 c cleaning 13997 clauses out of 28020 with flag 4739000/4744396 1010.70/1008.40 c cleaning 14001 clauses out of 28023 with flag 4753000/4758396 1013.51/1011.21 c cleaning 13998 clauses out of 28022 with flag 4767000/4772396 1016.21/1013.93 c cleaning 14005 clauses out of 28025 with flag 4781001/4786397 1019.12/1016.82 c cleaning 14003 clauses out of 28019 with flag 4795000/4800396 1021.92/1019.67 c cleaning 14000 clauses out of 28017 with flag 4809001/4814397 1024.82/1022.56 c cleaning 14000 clauses out of 28019 with flag 4823003/4828399 1027.82/1025.53 c cleaning 13996 clauses out of 28016 with flag 4837000/4842396 1030.94/1028.64 c cleaning 13997 clauses out of 28020 with flag 4851000/4856396 1033.82/1031.55 c cleaning 13998 clauses out of 28024 with flag 4865001/4870397 1036.73/1034.48 c cleaning 14003 clauses out of 28026 with flag 4879001/4884397 1039.74/1037.49 c cleaning 14005 clauses out of 28023 with flag 4893001/4898397 1042.63/1040.37 c cleaning 13998 clauses out of 28019 with flag 4907002/4912398 1045.63/1043.32 c cleaning 13998 clauses out of 28021 with flag 4921002/4926398 1048.73/1046.46 c cleaning 14005 clauses out of 28021 with flag 4935000/4940396 1052.04/1049.76 c cleaning 13999 clauses out of 28016 with flag 4949000/4954396 1055.24/1052.94 c cleaning 14001 clauses out of 28018 with flag 4963001/4968397 1058.47/1056.17 c cleaning 14000 clauses out of 28017 with flag 4977001/4982397 1061.77/1059.42 c cleaning 14001 clauses out of 28017 with flag 4991001/4996397 1065.07/1062.75 c cleaning 13999 clauses out of 28016 with flag 5005001/5010397 1068.27/1066.01 c cleaning 13997 clauses out of 28016 with flag 5019000/5024396 1071.46/1069.16 c cleaning 13994 clauses out of 28020 with flag 5033001/5038397 1074.57/1072.27 c cleaning 14000 clauses out of 28026 with flag 5047001/5052397 1077.77/1075.46 c cleaning 13998 clauses out of 28026 with flag 5061001/5066397 1080.97/1078.67 c cleaning 14000 clauses out of 28028 with flag 5075001/5080397 1084.28/1081.95 c cleaning 14000 clauses out of 28027 with flag 5089000/5094396 1087.58/1085.23 c cleaning 14002 clauses out of 28028 with flag 5103001/5108397 1090.88/1088.60 c cleaning 14002 clauses out of 28026 with flag 5117001/5122397 1094.28/1091.95 c cleaning 13998 clauses out of 28024 with flag 5131001/5136397 1097.48/1095.11 c cleaning 14007 clauses out of 28025 with flag 5145000/5150396 1100.39/1098.06 c cleaning 14000 clauses out of 28018 with flag 5159000/5164396 1103.50/1101.21 c cleaning 13995 clauses out of 28019 with flag 5173001/5178397 1106.80/1104.47 c cleaning 14005 clauses out of 28024 with flag 5187001/5192397 1110.00/1107.64 c cleaning 14000 clauses out of 28018 with flag 5201000/5206396 1112.99/1110.66 c cleaning 14003 clauses out of 28018 with flag 5215000/5220396 1116.30/1113.91 c cleaning 13999 clauses out of 28016 with flag 5229001/5234397 1119.40/1117.07 c cleaning 13998 clauses out of 28017 with flag 5243001/5248397 1122.70/1120.40 c cleaning 14002 clauses out of 28019 with flag 5257001/5262397 1126.00/1123.67 c cleaning 13991 clauses out of 28016 with flag 5271000/5276396 1129.21/1126.88 c cleaning 14002 clauses out of 28025 with flag 5285000/5290396 1132.41/1130.03 c cleaning 14004 clauses out of 28023 with flag 5299000/5304396 1135.71/1133.35 c cleaning 14000 clauses out of 28019 with flag 5313000/5318396 1138.91/1136.51 c cleaning 14001 clauses out of 28020 with flag 5327001/5332397 1142.13/1139.75 c cleaning 13996 clauses out of 28019 with flag 5341001/5346397 1145.32/1142.96 c cleaning 14004 clauses out of 28022 with flag 5355000/5360396 1148.52/1146.15 c cleaning 13995 clauses out of 28019 with flag 5369001/5374397 1151.72/1149.38 c cleaning 13992 clauses out of 28024 with flag 5383001/5388397 1155.02/1152.64 c cleaning 14009 clauses out of 28031 with flag 5397000/5402396 1158.23/1155.84 c cleaning 14001 clauses out of 28023 with flag 5411001/5416397 1161.54/1159.14 c cleaning 14000 clauses out of 28021 with flag 5425000/5430396 1164.84/1162.40 c cleaning 14003 clauses out of 28021 with flag 5439000/5444396 1168.25/1165.82 c cleaning 13997 clauses out of 28018 with flag 5453000/5458396 1171.15/1168.71 c cleaning 14006 clauses out of 28021 with flag 5467000/5472396 1174.15/1171.73 c cleaning 14001 clauses out of 28015 with flag 5481000/5486396 1176.96/1174.55 c cleaning 14003 clauses out of 28015 with flag 5495001/5500397 1179.85/1177.47 c cleaning 13994 clauses out of 28012 with flag 5509001/5514397 1182.87/1180.47 c cleaning 14003 clauses out of 28018 with flag 5523001/5528397 1185.76/1183.33 c cleaning 13997 clauses out of 28014 with flag 5537000/5542396 1188.56/1186.17 c cleaning 13996 clauses out of 28018 with flag 5551001/5556397 1191.47/1189.03 c cleaning 13998 clauses out of 28021 with flag 5565000/5570396 1194.27/1191.84 c cleaning 14001 clauses out of 28023 with flag 5579000/5584396 1197.18/1194.75 c cleaning 14005 clauses out of 28022 with flag 5593000/5598396 1199.97/1197.59 c cleaning 13998 clauses out of 28018 with flag 5607001/5612397 1202.98/1200.54 c cleaning 14004 clauses out of 28019 with flag 5621000/5626396 1205.78/1203.41 c cleaning 13993 clauses out of 28015 with flag 5635000/5640396 1208.78/1206.34 c cleaning 14003 clauses out of 28023 with flag 5649001/5654397 1211.68/1209.28 c cleaning 14001 clauses out of 28019 with flag 5663000/5668396 1214.68/1212.31 c cleaning 14000 clauses out of 28018 with flag 5677000/5682396 1217.68/1215.29 c cleaning 13999 clauses out of 28020 with flag 5691002/5696398 1220.68/1218.28 c cleaning 13997 clauses out of 28020 with flag 5705001/5710397 1223.60/1221.13 c cleaning 14003 clauses out of 28022 with flag 5719000/5724396 1226.49/1224.06 c cleaning 14002 clauses out of 28019 with flag 5733000/5738396 1229.50/1227.01 c cleaning 13995 clauses out of 28017 with flag 5747000/5752396 1232.31/1229.84 c cleaning 13995 clauses out of 28023 with flag 5761001/5766397 1235.20/1232.78 c cleaning 14003 clauses out of 28027 with flag 5775000/5780396 1238.20/1235.75 c cleaning 14003 clauses out of 28024 with flag 5789000/5794396 1241.00/1238.52 c cleaning 14004 clauses out of 28021 with flag 5803000/5808396 1243.90/1241.47 c cleaning 13997 clauses out of 28018 with flag 5817001/5822397 1246.81/1244.36 c cleaning 14000 clauses out of 28021 with flag 5831001/5836397 1249.71/1247.24 c cleaning 13998 clauses out of 28020 with flag 5845000/5850396 1252.61/1250.13 c cleaning 13998 clauses out of 28023 with flag 5859001/5864397 1255.53/1253.04 c cleaning 14000 clauses out of 28024 with flag 5873000/5878396 1258.51/1256.06 c cleaning 14002 clauses out of 28024 with flag 5887000/5892396 1261.32/1258.85 c cleaning 14001 clauses out of 28022 with flag 5901000/5906396 1264.22/1261.77 c cleaning 14006 clauses out of 28021 with flag 5915000/5920396 1267.22/1264.74 c cleaning 13995 clauses out of 28017 with flag 5929002/5934398 1270.12/1267.61 c cleaning 14004 clauses out of 28020 with flag 5943000/5948396 1273.23/1270.75 c cleaning 13997 clauses out of 28016 with flag 5957000/5962396 1276.23/1273.78 c cleaning 14001 clauses out of 28019 with flag 5971000/5976396 1278.93/1276.48 c cleaning 13999 clauses out of 28018 with flag 5985000/5990396 1281.74/1279.31 c cleaning 14001 clauses out of 28019 with flag 5999000/6004396 1284.64/1282.12 c cleaning 14007 clauses out of 28020 with flag 6013002/6018398 1287.35/1284.86 c cleaning 13993 clauses out of 28011 with flag 6027000/6032396 1290.14/1287.61 c cleaning 14002 clauses out of 28019 with flag 6041001/6046397 1293.04/1290.52 c cleaning 14002 clauses out of 28018 with flag 6055002/6060398 1295.84/1293.33 c cleaning 13997 clauses out of 28015 with flag 6069001/6074397 1298.65/1296.10 c cleaning 13998 clauses out of 28017 with flag 6083000/6088396 1301.45/1298.99 c cleaning 14000 clauses out of 28020 with flag 6097001/6102397 1304.35/1301.85 c cleaning 14001 clauses out of 28019 with flag 6111000/6116396 1307.27/1304.73 c cleaning 13999 clauses out of 28019 with flag 6125001/6130397 1310.16/1307.61 c cleaning 14001 clauses out of 28020 with flag 6139001/6144397 1312.96/1310.43 c cleaning 13997 clauses out of 28018 with flag 6153000/6158396 1315.76/1313.25 c cleaning 13999 clauses out of 28022 with flag 6167001/6172397 1318.67/1316.14 c cleaning 14004 clauses out of 28022 with flag 6181000/6186396 1321.67/1319.14 c cleaning 13995 clauses out of 28018 with flag 6195000/6200396 1324.57/1322.01 c cleaning 14002 clauses out of 28023 with flag 6209000/6214396 1327.47/1324.90 c cleaning 13997 clauses out of 28022 with flag 6223001/6228397 1330.17/1327.68 c cleaning 14000 clauses out of 28025 with flag 6237001/6242397 1333.18/1330.61 c cleaning 14002 clauses out of 28024 with flag 6251000/6256396 1335.98/1333.48 c cleaning 14000 clauses out of 28023 with flag 6265001/6270397 1338.88/1336.35 c cleaning 13997 clauses out of 28022 with flag 6279000/6284396 1341.68/1339.19 c cleaning 14000 clauses out of 28026 with flag 6293001/6298397 1344.70/1342.12 c cleaning 13999 clauses out of 28025 with flag 6307000/6312396 1347.48/1344.94 c cleaning 14002 clauses out of 28027 with flag 6321001/6326397 1350.38/1347.83 c cleaning 14002 clauses out of 28024 with flag 6335000/6340396 1353.39/1350.84 c cleaning 14001 clauses out of 28022 with flag 6349000/6354396 1356.39/1353.83 c cleaning 13996 clauses out of 28022 with flag 6363001/6368397 1359.39/1356.82 c cleaning 14000 clauses out of 28025 with flag 6377000/6382396 1362.20/1359.69 c cleaning 13998 clauses out of 28025 with flag 6391000/6396396 1365.09/1362.55 c cleaning 14005 clauses out of 28027 with flag 6405000/6410396 1368.10/1365.51 c cleaning 13998 clauses out of 28023 with flag 6419001/6424397 1371.01/1368.45 c cleaning 14004 clauses out of 28025 with flag 6433001/6438397 1373.90/1371.35 c cleaning 14004 clauses out of 28021 with flag 6447001/6452397 1376.80/1374.27 c cleaning 13998 clauses out of 28017 with flag 6461001/6466397 1379.81/1377.21 c cleaning 14000 clauses out of 28019 with flag 6475001/6480397 1382.71/1380.19 c cleaning 14001 clauses out of 28018 with flag 6489000/6494396 1385.71/1383.14 c cleaning 14000 clauses out of 28017 with flag 6503000/6508396 1388.62/1386.09 c cleaning 14001 clauses out of 28019 with flag 6517002/6522398 1391.51/1388.98 c cleaning 13999 clauses out of 28017 with flag 6531001/6536397 1394.52/1391.97 c cleaning 14001 clauses out of 28017 with flag 6545000/6550396 1397.32/1394.81 c cleaning 13993 clauses out of 28016 with flag 6559000/6564396 1400.42/1397.84 c cleaning 14000 clauses out of 28023 with flag 6573000/6578396 1403.43/1400.84 c cleaning 14002 clauses out of 28024 with flag 6587001/6592397 1406.43/1403.82 c cleaning 13998 clauses out of 28022 with flag 6601001/6606397 1409.33/1406.72 c cleaning 14001 clauses out of 28023 with flag 6615000/6620396 1412.33/1409.75 c cleaning 14000 clauses out of 28024 with flag 6629002/6634398 1415.23/1412.68 c cleaning 14001 clauses out of 28024 with flag 6643002/6648398 1418.24/1415.65 c cleaning 13998 clauses out of 28021 with flag 6657000/6662396 1421.23/1418.64 c cleaning 14002 clauses out of 28024 with flag 6671001/6676397 1424.25/1421.62 c cleaning 14002 clauses out of 28021 with flag 6685000/6690396 1427.16/1424.54 c cleaning 14003 clauses out of 28020 with flag 6699001/6704397 1430.05/1427.40 c cleaning 13997 clauses out of 28016 with flag 6713000/6718396 1432.66/1430.08 c cleaning 14006 clauses out of 28019 with flag 6727000/6732396 1435.26/1432.67 c cleaning 14002 clauses out of 28014 with flag 6741001/6746397 1437.96/1435.39 c cleaning 13999 clauses out of 28012 with flag 6755001/6760397 1440.67/1438.07 c cleaning 13998 clauses out of 28012 with flag 6769000/6774396 1443.47/1440.84 c cleaning 14001 clauses out of 28014 with flag 6783000/6788396 1446.38/1443.70 c cleaning 13999 clauses out of 28013 with flag 6797000/6802396 1449.08/1446.51 c cleaning 14005 clauses out of 28014 with flag 6811000/6816396 1452.28/1449.66 c cleaning 14000 clauses out of 28010 with flag 6825001/6830397 1455.48/1452.88 c cleaning 13993 clauses out of 28009 with flag 6839000/6844396 1458.58/1455.97 c cleaning 13999 clauses out of 28016 with flag 6853000/6858396 1461.40/1458.77 c cleaning 14000 clauses out of 28018 with flag 6867001/6872397 1464.29/1461.64 c cleaning 14002 clauses out of 28019 with flag 6881002/6886398 1467.09/1464.47 c cleaning 13998 clauses out of 28015 with flag 6895000/6900396 1470.10/1467.49 c cleaning 14001 clauses out of 28019 with flag 6909002/6914398 1472.80/1470.15 c cleaning 14006 clauses out of 28017 with flag 6923001/6928397 1475.40/1472.73 c cleaning 13995 clauses out of 28010 with flag 6937000/6942396 1477.92/1475.28 c cleaning 13996 clauses out of 28016 with flag 6951001/6956397 1480.61/1477.96 c cleaning 14002 clauses out of 28019 with flag 6965000/6970396 1483.32/1480.64 c cleaning 14001 clauses out of 28017 with flag 6979000/6984396 1486.01/1483.38 c cleaning 14000 clauses out of 28017 with flag 6993001/6998397 1488.72/1486.01 c cleaning 13998 clauses out of 28017 with flag 7007001/7012397 1491.43/1488.70 c cleaning 14004 clauses out of 28020 with flag 7021002/7026398 1494.53/1491.83 c cleaning 13995 clauses out of 28014 with flag 7035000/7040396 1497.64/1494.98 c cleaning 14001 clauses out of 28019 with flag 7049000/7054396 1500.84/1498.20 c cleaning 14005 clauses out of 28019 with flag 7063001/7068397 1504.04/1501.39 c cleaning 13996 clauses out of 28013 with flag 7077000/7082396 1507.25/1504.57 c cleaning 14001 clauses out of 28017 with flag 7091000/7096396 1510.35/1507.63 c cleaning 14001 clauses out of 28017 with flag 7105001/7110397 1513.45/1510.79 c cleaning 14002 clauses out of 28016 with flag 7119001/7124397 1516.75/1514.05 c cleaning 13996 clauses out of 28013 with flag 7133000/7138396 1519.86/1517.14 c cleaning 14000 clauses out of 28017 with flag 7147000/7152396 1522.86/1520.16 c cleaning 13994 clauses out of 28017 with flag 7161000/7166396 1525.76/1523.04 c cleaning 14000 clauses out of 28025 with flag 7175002/7180398 1528.47/1525.78 c cleaning 14002 clauses out of 28024 with flag 7189001/7194397 1531.27/1528.55 c cleaning 14002 clauses out of 28021 with flag 7203000/7208396 1534.09/1531.32 c cleaning 13999 clauses out of 28020 with flag 7217001/7222397 1536.88/1534.18 c cleaning 14006 clauses out of 28022 with flag 7231002/7236398 1539.78/1537.00 c cleaning 14002 clauses out of 28016 with flag 7245002/7250398 1542.48/1539.76 c cleaning 14000 clauses out of 28012 with flag 7259000/7264396 1545.28/1542.50 c cleaning 14003 clauses out of 28013 with flag 7273001/7278397 1547.98/1545.24 c cleaning 13998 clauses out of 28009 with flag 7287000/7292396 1550.68/1547.97 c cleaning 13994 clauses out of 28011 with flag 7301000/7306396 1553.58/1550.84 c cleaning 14000 clauses out of 28017 with flag 7315000/7320396 1556.48/1553.71 c cleaning 13998 clauses out of 28017 with flag 7329000/7334396 1559.40/1556.68 c cleaning 14006 clauses out of 28019 with flag 7343000/7348396 1562.39/1559.64 c cleaning 13999 clauses out of 28013 with flag 7357000/7362396 1565.29/1562.51 c cleaning 14001 clauses out of 28015 with flag 7371001/7376397 1568.10/1565.37 c cleaning 13997 clauses out of 28014 with flag 7385001/7390397 1570.80/1568.01 c cleaning 14002 clauses out of 28018 with flag 7399002/7404398 1573.50/1570.70 c cleaning 14001 clauses out of 28015 with flag 7413001/7418397 1576.11/1573.33 c cleaning 14001 clauses out of 28014 with flag 7427001/7432397 1578.82/1576.02 c cleaning 13995 clauses out of 28012 with flag 7441000/7446396 1581.52/1578.74 c cleaning 13996 clauses out of 28017 with flag 7455000/7460396 1584.22/1581.40 c cleaning 13996 clauses out of 28021 with flag 7469000/7474396 1586.72/1583.95 c cleaning 14005 clauses out of 28025 with flag 7483000/7488396 1589.43/1586.63 c cleaning 14002 clauses out of 28020 with flag 7497000/7502396 1592.13/1589.36 c cleaning 13996 clauses out of 28019 with flag 7511001/7516397 1594.83/1592.07 c cleaning 14000 clauses out of 28023 with flag 7525001/7530397 1597.53/1594.76 c cleaning 14001 clauses out of 28022 with flag 7539000/7544396 1600.24/1597.44 c cleaning 14000 clauses out of 28021 with flag 7553000/7558396 1602.94/1600.10 c cleaning 14002 clauses out of 28022 with flag 7567001/7572397 1605.55/1602.75 c cleaning 14002 clauses out of 28019 with flag 7581000/7586396 1608.25/1605.44 c cleaning 13996 clauses out of 28018 with flag 7595001/7600397 1610.75/1607.99 c cleaning 13998 clauses out of 28022 with flag 7609001/7614397 1613.55/1610.70 c cleaning 13999 clauses out of 28023 with flag 7623000/7628396 1616.25/1613.40 c cleaning 14001 clauses out of 28025 with flag 7637001/7642397 1618.87/1616.04 c cleaning 14004 clauses out of 28023 with flag 7651000/7656396 1621.36/1618.55 c cleaning 14002 clauses out of 28020 with flag 7665001/7670397 1623.76/1620.97 c cleaning 13996 clauses out of 28017 with flag 7679000/7684396 1626.26/1623.44 c cleaning 14004 clauses out of 28021 with flag 7693000/7698396 1628.78/1625.97 c cleaning 14000 clauses out of 28017 with flag 7707000/7712396 1631.27/1628.49 c cleaning 14003 clauses out of 28018 with flag 7721001/7726397 1634.07/1631.28 c cleaning 13992 clauses out of 28014 with flag 7735000/7740396 1636.88/1634.04 c cleaning 14008 clauses out of 28022 with flag 7749000/7754396 1639.69/1636.88 c cleaning 13996 clauses out of 28014 with flag 7763000/7768396 1642.39/1639.58 c cleaning 14002 clauses out of 28019 with flag 7777001/7782397 1644.99/1642.16 c cleaning 13998 clauses out of 28017 with flag 7791001/7796397 1647.59/1644.76 c cleaning 14002 clauses out of 28019 with flag 7805001/7810397 1650.59/1647.73 c cleaning 13998 clauses out of 28018 with flag 7819002/7824398 1653.49/1650.67 c cleaning 13999 clauses out of 28018 with flag 7833000/7838396 1656.40/1653.54 c cleaning 14000 clauses out of 28019 with flag 7847000/7852396 1659.20/1656.31 c cleaning 13998 clauses out of 28020 with flag 7861001/7866397 1662.11/1659.21 c cleaning 14003 clauses out of 28022 with flag 7875001/7880397 1664.91/1662.09 c cleaning 13999 clauses out of 28020 with flag 7889002/7894398 1667.72/1664.87 c cleaning 13997 clauses out of 28020 with flag 7903001/7908397 1670.53/1667.68 c cleaning 14001 clauses out of 28022 with flag 7917000/7922396 1673.42/1670.53 c cleaning 14002 clauses out of 28022 with flag 7931001/7936397 1676.32/1673.46 c cleaning 13999 clauses out of 28020 with flag 7945001/7950397 1679.33/1676.45 c cleaning 14005 clauses out of 28020 with flag 7959000/7964396 1682.12/1679.28 c cleaning 13997 clauses out of 28016 with flag 7973001/7978397 1684.94/1682.04 c cleaning 13995 clauses out of 28018 with flag 7987000/7992396 1687.93/1685.07 c cleaning 14000 clauses out of 28023 with flag 8001000/8006396 1690.83/1687.92 c cleaning 14003 clauses out of 28024 with flag 8015001/8020397 1693.64/1690.73 c cleaning 13997 clauses out of 28020 with flag 8029000/8034396 1696.43/1693.51 c cleaning 14004 clauses out of 28024 with flag 8043001/8048397 1699.24/1696.34 c cleaning 13996 clauses out of 28019 with flag 8057000/8062396 1702.03/1699.19 c cleaning 14005 clauses out of 28023 with flag 8071000/8076396 1704.93/1702.02 c cleaning 14001 clauses out of 28018 with flag 8085000/8090396 1707.83/1704.91 c cleaning 14000 clauses out of 28017 with flag 8099000/8104396 1710.73/1707.83 c cleaning 14002 clauses out of 28018 with flag 8113001/8118397 1713.44/1710.58 c cleaning 13996 clauses out of 28015 with flag 8127000/8132396 1716.34/1713.45 c cleaning 13994 clauses out of 28020 with flag 8141001/8146397 1719.24/1716.30 c cleaning 14002 clauses out of 28025 with flag 8155000/8160396 1722.04/1719.18 c cleaning 13996 clauses out of 28023 with flag 8169000/8174396 1724.84/1721.96 c cleaning 13997 clauses out of 28028 with flag 8183001/8188397 1727.86/1724.93 c cleaning 14002 clauses out of 28030 with flag 8197000/8202396 1730.85/1727.97 c cleaning 14007 clauses out of 28029 with flag 8211001/8216397 1733.75/1730.81 c cleaning 13999 clauses out of 28021 with flag 8225000/8230396 1736.95/1734.00 c cleaning 14006 clauses out of 28022 with flag 8239000/8244396 1740.16/1737.29 c cleaning 14000 clauses out of 28018 with flag 8253002/8258398 1743.47/1740.51 c cleaning 14002 clauses out of 28016 with flag 8267000/8272396 1746.67/1743.78 c cleaning 13998 clauses out of 28015 with flag 8281001/8286397 1750.07/1747.11 c cleaning 14000 clauses out of 28016 with flag 8295000/8300396 1753.27/1750.39 c cleaning 13994 clauses out of 28016 with flag 8309000/8314396 1756.57/1753.67 c cleaning 14006 clauses out of 28022 with flag 8323000/8328396 1759.88/1756.93 c cleaning 14002 clauses out of 28017 with flag 8337001/8342397 1763.28/1760.30 c cleaning 13995 clauses out of 28014 with flag 8351000/8356396 1766.58/1763.69 c cleaning 14001 clauses out of 28019 with flag 8365000/8370396 1770.08/1767.13 c cleaning 13999 clauses out of 28020 with flag 8379002/8384398 1773.38/1770.49 c cleaning 14001 clauses out of 28020 with flag 8393001/8398397 1776.58/1773.69 c cleaning 13998 clauses out of 28018 with flag 8407000/8412396 1779.88/1776.94 c cleaning 13999 clauses out of 28023 with flag 8421003/8426399 1783.19/1780.29 c cleaning 14003 clauses out of 28021 with flag 8435000/8440396 1786.69/1783.71 c cleaning 14000 clauses out of 28019 with flag 8449001/8454397 1790.19/1787.22 c cleaning 13998 clauses out of 28018 with flag 8463000/8468396 1793.69/1790.78 c cleaning 14001 clauses out of 28021 with flag 8477001/8482397 1797.21/1794.27 c cleaning 14000 clauses out of 28021 with flag 8491002/8496398 1800.01/1797.02 c starts : 307 1800.01/1797.02 c conflicts : 8507477 1800.01/1797.02 c decisions : 13386820 1800.01/1797.02 c propagations : 1123762317 1800.01/1797.02 c inspects : 11883542142 1800.01/1797.02 c shortcuts : 0 1800.01/1797.02 c learnt literals : 0 1800.01/1797.02 c learnt binary clauses : 0 1800.01/1797.02 c learnt ternary clauses : 0 1800.01/1797.02 c learnt constraints : 8507477 1800.01/1797.02 c ignored constraints : 0 1800.01/1797.02 c root simplifications : 0 1800.01/1797.02 c removed literals (reason simplification) : 5822565 1800.01/1797.02 c reason swapping (by a shorter reason) : 0 1800.01/1797.02 c Calls to reduceDB : 610 1800.01/1797.02 c number of reductions to clauses (during analyze) : 0 1800.01/1797.02 c number of learned constraints concerned by reduction : 0 1800.01/1797.02 c number of learning phase by resolution : 0 1800.01/1797.02 c number of learning phase by cutting planes : 0 1800.01/1797.02 c speed (assignments/second) : 625951.1521271239 1800.01/1797.02 c non guided choices 10061 1800.01/1797.03 c learnt constraints type 1800.01/1797.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25124 1800.01/1797.03 c constraints type 1800.01/1797.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6816 1800.01/1797.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.01/1797.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316 1800.01/1797.03 s SATISFIABLE 1800.01/1797.03 v x1 -x2 -x3 -x4 x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 1800.01/1797.03 c objective function=76 1800.01/1797.03 c Total wall clock time (in seconds): 1796.923
OK 76
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458337-1307159062/watcher-3458337-1307159062 -o /tmp/evaluation-result-3458337-1307159062/solver-3458337-1307159062 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458337-1307159062.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8924 /proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13508980 CPUtime=0 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 2174 0 1 0 0 0 0 0 25 0 2 0 808321841 13833195520 1875 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3377245 1887 906 9 0 3368401 0 [pid=8924/tid=8925] ppid=8922 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 5998 0 1 0 0 0 0 0 25 0 2 0 808321841 13850947584 6814 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0950409 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8924 /proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13621992 CPUtime=0.09 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 15395 0 1 0 8 1 0 0 25 0 18 0 808321841 13948919808 15090 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3405498 15090 2075 9 0 3396232 0 [pid=8924/tid=8925] ppid=8922 vsize=13621992 CPUtime=0.08 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) D 8922 8924 5628 0 -1 4202560 13549 0 1 0 7 1 0 0 18 0 18 0 808321841 13948919808 15090 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270338427063 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13621992 [startup+0.105335 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8924 /proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13621992 CPUtime=0.1 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 15602 0 1 0 9 1 0 0 25 0 18 0 808321841 13948919808 15297 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3405498 15297 2093 9 0 3396232 0 [pid=8924/tid=8925] ppid=8922 vsize=13621992 CPUtime=0.09 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 13714 0 1 0 8 1 0 0 18 0 18 0 808321841 13948919808 15297 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621992 [startup+0.300269 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8924 /proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13623780 CPUtime=0.46 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 18018 0 1 0 45 1 0 0 25 0 18 0 808321841 13950750720 17479 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3405945 17479 2218 9 0 3396679 0 [pid=8924/tid=8925] ppid=8922 vsize=13623780 CPUtime=0.28 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 15284 0 1 0 27 1 0 0 18 0 18 0 808321841 13950750720 17479 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 13623780 [startup+0.700271 s] /proc/loadavg: 2.00 2.00 2.00 2/454 8924 /proc/meminfo: memFree=24650984/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=1.63 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 29547 0 1 0 159 4 0 0 25 0 19 0 808321841 14025650176 25786 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 25786 2240 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=0.67 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 18196 0 1 0 66 1 0 0 19 0 19 0 808321841 14025650176 25786 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505193351 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 13696924 [startup+1.50112 s] /proc/loadavg: 2.00 2.00 2.00 4/474 8944 /proc/meminfo: memFree=24529128/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=2.53 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 30771 0 1 0 249 4 0 0 25 0 19 0 808321841 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 27010 2243 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1.48 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 19401 0 1 0 146 2 0 0 20 0 19 0 808321841 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505804354 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321843 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 808321844 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808321845 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808321845 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.54 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5755 0 0 0 53 1 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.49 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 4454 0 0 0 49 0 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 27010 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 13696924 [startup+3.10079 s] /proc/loadavg: 2.00 2.00 2.00 4/474 8944 /proc/meminfo: memFree=24503032/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=4.21 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 35557 0 1 0 416 5 0 0 25 0 19 0 808321841 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 31789 2268 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=3.02 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5628 0 -1 4202560 19855 0 1 0 300 2 0 0 25 0 19 0 808321841 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 352 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 157 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 424 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 775 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 628 0 0 0 0 0 0 0 18 0 19 0 808321843 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0.04 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) R 8922 8924 5628 0 -1 4202560 1819 0 0 0 4 0 0 0 15 0 19 0 808321844 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 47568364353784 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.56 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5763 0 0 0 55 1 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.52 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 4460 0 0 0 52 0 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 31789 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 13696924 [startup+6.30112 s] /proc/loadavg: 2.00 2.00 2.00 3/474 8944 /proc/meminfo: memFree=24493468/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=7.45 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 37481 0 1 0 740 5 0 0 25 0 19 0 808321841 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 33256 2268 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=6.14 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 19858 0 1 0 612 2 0 0 25 0 19 0 808321841 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505803833 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 426 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 96 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 157 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 254 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 19 0 808321843 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=0.12 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 2384 0 0 0 12 0 0 0 16 0 19 0 808321844 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5432 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 33256 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.47 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 47 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 906 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=24.42 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7401 0 0 0 2430 12 0 0 15 0 19 0 808321844 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38728 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1725.24 Current children cumulated vsize (KiB) 13696924 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 9000 /proc/meminfo: memFree=24453068/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=1785.29 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44800 0 1 0 178503 26 0 0 25 0 19 0 808321841 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 38794 2269 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1755.27 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20460 0 1 0 175522 5 0 0 25 0 19 0 808321841 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505931066 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.41 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 132 0 0 0 41 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.44 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 44 0 0 0 15 0 19 0 808321843 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.22 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7468 0 0 0 2509 13 0 0 15 0 19 0 808321844 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38794 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1785.29 Current children cumulated vsize (KiB) 13696924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797 s] /proc/loadavg: 2.01 2.02 2.00 2/454 9004 /proc/meminfo: memFree=24548680/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=1800.01 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44823 0 1 0 179975 26 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 38809 2269 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1769.81 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20464 0 1 0 176975 6 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505868220 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 140 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 1 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 16 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.39 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7477 0 0 0 2526 13 0 0 15 0 19 0 808321844 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 13696924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797 s] /proc/loadavg: 2.01 2.02 2.00 2/454 9004 /proc/meminfo: memFree=24548680/32951124 swapFree=50923800/67111528 [pid=8924] ppid=8922 vsize=13696924 CPUtime=1800.01 cores=0,2,4,6 /proc/8924/stat : 8924 (java) S 8922 8924 5628 0 -1 4202496 44823 0 1 0 179975 26 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8924/statm: 3424231 38809 2269 9 0 3414965 0 [pid=8924/tid=8925] ppid=8922 vsize=13696924 CPUtime=1769.81 cores=0,2,4,6 /proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5628 0 -1 4202560 20464 0 1 0 176975 6 0 0 25 0 19 0 808321841 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 46912505868220 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=8924/tid=8927] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6 /proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5628 0 -1 4202560 502 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8928] ppid=8922 vsize=13696924 CPUtime=0.42 cores=0,2,4,6 /proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5628 0 -1 4202560 140 0 0 0 42 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8929] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6 /proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5628 0 -1 4202560 509 0 0 0 45 1 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8930] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5628 0 -1 4202560 324 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8931] ppid=8922 vsize=13696924 CPUtime=0.43 cores=0,2,4,6 /proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5628 0 -1 4202560 71 0 0 0 43 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8932] ppid=8922 vsize=13696924 CPUtime=0.48 cores=0,2,4,6 /proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5628 0 -1 4202560 702 0 0 0 48 0 0 0 16 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8933] ppid=8922 vsize=13696924 CPUtime=0.46 cores=0,2,4,6 /proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5628 0 -1 4202560 907 0 0 0 46 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8934] ppid=8922 vsize=13696924 CPUtime=0.45 cores=0,2,4,6 /proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5628 0 -1 4202560 808 0 0 0 45 0 0 0 15 0 19 0 808321843 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8935] ppid=8922 vsize=13696924 CPUtime=25.39 cores=0,2,4,6 /proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5628 0 -1 4202560 7477 0 0 0 2526 13 0 0 15 0 19 0 808321844 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 0 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8936] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5628 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8937] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808321845 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 [pid=8924/tid=8938] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350207409 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8939] ppid=8922 vsize=13696924 CPUtime=0.57 cores=0,2,4,6 /proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5628 0 -1 4202560 5764 0 0 0 56 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8940] ppid=8922 vsize=13696924 CPUtime=0.59 cores=0,2,4,6 /proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5628 0 -1 4202560 5900 0 0 0 58 1 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 0 0 0 0 [pid=8924/tid=8941] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350199705 0 4 0 16800975 18446604448437675264 0 0 -1 6 0 0 0 [pid=8924/tid=8942] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5628 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 808321847 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 4 0 0 0 [pid=8924/tid=8944] ppid=8922 vsize=13696924 CPUtime=0 cores=0,2,4,6 /proc/8924/task/8944/stat : 8944 (java) S 8922 8924 5628 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808321889 14025650176 38809 33554432000 1073741824 1073778376 140735830817040 18446744073709551615 270350200320 0 4 0 16800975 18446604448437675264 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 13696924 Child status: 143 Real time (s): 1797.06 CPU time (s): 1800.07 CPU user time (s): 1799.79 CPU system time (s): 0.275958 CPU usage (%): 100.168 Max. virtual memory (cumulated for all children) (KiB): 13696924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.275958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44873 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= 52017 involuntary context switches= 22565 runsolver used 8.25574 second user time and 16.6885 second system time The end
Begin job on node143 at 2011-06-04 05:44:22 IDJOB=3458337 IDBENCH=48157 IDSOLVER=1952 FILE ID=node143/3458337-1307159062 RUNJOBID= node143-1307155462-8495 PBS_JOBID= 13508773 Free space on /tmp= 73976 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458337-1307159062/watcher-3458337-1307159062 -o /tmp/evaluation-result-3458337-1307159062/solver-3458337-1307159062 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458337-1307159062.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948 RANDOM SEED=16773117 node143.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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 : 5226.15 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.846 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.74 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.846 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.83 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24651124 kB Buffers: 302624 kB Cached: 453236 kB SwapCached: 9140 kB Active: 7541428 kB Inactive: 477960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24651124 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 924 kB Writeback: 0 kB AnonPages: 7260356 kB Mapped: 28268 kB Slab: 132276 kB PageTables: 79948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 129091468 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73976 MiB End job on node143 at 2011-06-04 06:14:21