Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 311 | 1800.28 | 978.029 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 39250f205953aedd83d7a2bcba6bda16 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 283 |
Best CPU time to get the best result obtained on this benchmark | 317.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 792 |
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 | 792 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 792 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c version 2.3.1.v20110525 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 9996466904 0.05/0.08 c Max memory 10048897024 0.05/0.08 c Total memory 10048897024 0.05/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 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 phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No 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-3454544-1307189167.opb 0.10/0.11 c reading problem ... 0.49/0.31 c ... done. Wall clock time 0.2s. 0.49/0.31 c #vars 792 0.49/0.31 c #constraints 3194 0.49/0.31 c constraints type 0.49/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 350 0.49/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2844 0.49/0.31 c constraints type 0.49/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2844 0.49/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 350 0.49/0.33 c And the winner is Resolution 0.55/0.81 c SATISFIABLE 0.55/0.81 c OPTIMIZING... 0.55/0.81 c Got one! Elapsed wall clock time (in seconds):0.707 0.55/0.81 o 349 0.55/0.84 c And the winner is CuttingPlanes 0.66/1.32 c Got one! Elapsed wall clock time (in seconds):1.216 0.66/1.32 o 338 0.92/1.47 c And the winner is Resolution 1.52/1.83 c Got one! Elapsed wall clock time (in seconds):1.724 1.52/1.83 o 331 3.12/2.47 c cleaning 2727 clauses out of 5462 with flag 5002/5462 4.74/3.18 c cleaning 4367 clauses out of 8734 with flag 11001/11461 5.72/3.67 c And the winner is Resolution 5.88/3.85 c Got one! Elapsed wall clock time (in seconds):3.738 5.88/3.85 o 311 6.19/4.09 c cleaning 5092 clauses out of 10188 with flag 2001/17282 7.79/4.84 c cleaning 5542 clauses out of 11095 with flag 8000/23281 9.84/5.85 c cleaning 6269 clauses out of 12553 with flag 15000/30281 11.78/6.86 c cleaning 7136 clauses out of 14285 with flag 23001/38282 14.14/8.00 c cleaning 8074 clauses out of 16148 with flag 32000/47281 16.69/9.37 c cleaning 9033 clauses out of 18075 with flag 42001/57282 19.42/10.73 c cleaning 9521 clauses out of 19041 with flag 52000/67281 23.36/12.79 c cleaning 9754 clauses out of 19521 with flag 62001/77282 26.31/14.22 c cleaning 9876 clauses out of 19766 with flag 72000/87281 28.82/15.56 c cleaning 9938 clauses out of 19890 with flag 82000/97281 31.31/16.87 c cleaning 9971 clauses out of 19952 with flag 92000/107281 33.83/18.20 c cleaning 9985 clauses out of 19982 with flag 102001/117282 36.76/19.68 c cleaning 9998 clauses out of 19996 with flag 112000/127281 39.48/21.04 c cleaning 9989 clauses out of 19998 with flag 122000/137281 42.56/22.68 c cleaning 9991 clauses out of 20010 with flag 132001/147282 45.87/24.39 c cleaning 9998 clauses out of 20018 with flag 142000/157281 48.38/25.66 c cleaning 10000 clauses out of 20021 with flag 152001/167282 51.28/27.12 c cleaning 10000 clauses out of 20020 with flag 162000/177281 54.18/28.65 c cleaning 9995 clauses out of 20020 with flag 172000/187281 58.25/30.78 c cleaning 10002 clauses out of 20026 with flag 182001/197282 60.93/32.14 c cleaning 9998 clauses out of 20024 with flag 192001/207282 64.42/34.00 c cleaning 10003 clauses out of 20026 with flag 202001/217282 68.65/36.13 c cleaning 9983 clauses out of 20022 with flag 212000/227281 71.54/37.62 c cleaning 10010 clauses out of 20040 with flag 222001/237282 74.23/39.07 c cleaning 10001 clauses out of 20029 with flag 232000/247281 77.32/40.66 c cleaning 10006 clauses out of 20029 with flag 242001/257282 80.13/42.16 c cleaning 10002 clauses out of 20023 with flag 252001/267282 83.01/43.67 c cleaning 9997 clauses out of 20020 with flag 262000/277281 85.93/45.19 c cleaning 10002 clauses out of 20024 with flag 272001/287282 88.58/46.52 c cleaning 10000 clauses out of 20022 with flag 282001/297282 92.00/48.35 c cleaning 9982 clauses out of 20022 with flag 292001/307282 95.65/50.25 c cleaning 9986 clauses out of 20039 with flag 302000/317281 98.34/51.68 c cleaning 10007 clauses out of 20053 with flag 312000/327281 101.38/53.21 c cleaning 10022 clauses out of 20047 with flag 322001/337282 104.37/54.81 c cleaning 10007 clauses out of 20024 with flag 332000/347281 107.03/56.27 c cleaning 10001 clauses out of 20019 with flag 342002/357283 109.88/57.74 c cleaning 9999 clauses out of 20016 with flag 352000/367281 112.74/59.27 c cleaning 9982 clauses out of 20017 with flag 362000/377281 115.72/60.81 c cleaning 10002 clauses out of 20035 with flag 372000/387281 118.57/62.36 c cleaning 10004 clauses out of 20033 with flag 382000/397281 121.47/63.86 c cleaning 10004 clauses out of 20031 with flag 392002/407283 124.88/65.60 c cleaning 10005 clauses out of 20025 with flag 402000/417281 127.85/67.24 c cleaning 9995 clauses out of 20021 with flag 412001/427282 130.30/68.55 c cleaning 10006 clauses out of 20026 with flag 422001/437282 132.75/69.80 c cleaning 10002 clauses out of 20020 with flag 432001/447282 135.00/71.09 c cleaning 9998 clauses out of 20017 with flag 442000/457281 138.01/72.67 c cleaning 9998 clauses out of 20020 with flag 452001/467282 140.81/74.14 c cleaning 10001 clauses out of 20022 with flag 462001/477282 143.88/75.74 c cleaning 9987 clauses out of 20020 with flag 472000/487281 146.90/77.30 c cleaning 10006 clauses out of 20033 with flag 482000/497281 151.86/79.91 c cleaning 9992 clauses out of 20027 with flag 492000/507281 155.89/82.05 c cleaning 10010 clauses out of 20036 with flag 502001/517282 159.10/83.73 c cleaning 9998 clauses out of 20025 with flag 512000/527281 162.13/85.36 c cleaning 9998 clauses out of 20028 with flag 522001/537282 165.47/87.13 c cleaning 9998 clauses out of 20030 with flag 532001/547282 168.69/88.87 c cleaning 10002 clauses out of 20032 with flag 542001/557282 171.90/90.57 c cleaning 9991 clauses out of 20029 with flag 552000/567281 175.12/92.31 c cleaning 10003 clauses out of 20039 with flag 562001/577282 178.66/94.10 c cleaning 10010 clauses out of 20035 with flag 572000/587281 181.86/95.82 c cleaning 10002 clauses out of 20025 with flag 582000/597281 184.66/97.32 c cleaning 9997 clauses out of 20023 with flag 592000/607281 187.68/98.98 c cleaning 9998 clauses out of 20026 with flag 602000/617281 191.17/100.81 c cleaning 10006 clauses out of 20028 with flag 612000/627281 194.17/102.44 c cleaning 10003 clauses out of 20023 with flag 622001/637282 196.97/103.95 c cleaning 10003 clauses out of 20019 with flag 632000/647281 200.36/105.76 c cleaning 9993 clauses out of 20016 with flag 642000/657281 203.46/107.48 c cleaning 10001 clauses out of 20024 with flag 652001/667282 206.46/109.03 c cleaning 10003 clauses out of 20023 with flag 662001/677282 208.85/110.33 c cleaning 9995 clauses out of 20019 with flag 672000/687281 211.45/111.79 c cleaning 10008 clauses out of 20025 with flag 682001/697282 214.54/113.40 c cleaning 9998 clauses out of 20017 with flag 692001/707282 217.32/114.93 c cleaning 10000 clauses out of 20019 with flag 702001/717282 220.10/116.51 c cleaning 9992 clauses out of 20018 with flag 712000/727281 223.29/118.19 c cleaning 10001 clauses out of 20027 with flag 722001/737282 226.76/120.04 c cleaning 10002 clauses out of 20025 with flag 732000/747281 230.14/121.86 c cleaning 9997 clauses out of 20023 with flag 742000/757281 233.13/123.45 c cleaning 10004 clauses out of 20027 with flag 752001/767282 236.31/125.12 c cleaning 9999 clauses out of 20022 with flag 762000/777281 239.39/126.90 c cleaning 10001 clauses out of 20023 with flag 772000/787281 243.00/128.74 c cleaning 9988 clauses out of 20023 with flag 782001/797282 246.33/130.50 c cleaning 9998 clauses out of 20034 with flag 792000/807281 250.11/132.55 c cleaning 9988 clauses out of 20037 with flag 802001/817282 253.76/134.59 c cleaning 10013 clauses out of 20049 with flag 812001/827282 256.73/136.15 c cleaning 10000 clauses out of 20035 with flag 822000/837281 259.72/137.76 c cleaning 9995 clauses out of 20035 with flag 832000/847281 263.07/139.55 c cleaning 10007 clauses out of 20041 with flag 842001/857282 266.33/141.36 c cleaning 10001 clauses out of 20033 with flag 852000/867281 269.70/143.15 c cleaning 9999 clauses out of 20033 with flag 862001/877282 272.67/144.73 c cleaning 10008 clauses out of 20034 with flag 872001/887282 275.67/146.35 c cleaning 9988 clauses out of 20026 with flag 882001/897282 278.89/148.14 c cleaning 10004 clauses out of 20037 with flag 892000/907281 281.87/149.73 c cleaning 9997 clauses out of 20033 with flag 902000/917281 285.04/151.44 c cleaning 10016 clauses out of 20036 with flag 912000/927281 288.21/153.18 c cleaning 9995 clauses out of 20020 with flag 922000/937281 291.90/155.16 c cleaning 10004 clauses out of 20025 with flag 932000/947281 295.44/157.05 c cleaning 10004 clauses out of 20022 with flag 942001/957282 299.63/159.29 c cleaning 10003 clauses out of 20017 with flag 952000/967281 302.79/160.92 c cleaning 9995 clauses out of 20014 with flag 962000/977281 305.85/162.63 c cleaning 10002 clauses out of 20020 with flag 972001/987282 309.02/164.33 c cleaning 10002 clauses out of 20017 with flag 982000/997281 312.20/166.10 c cleaning 9998 clauses out of 20015 with flag 992000/1007281 315.55/167.88 c cleaning 9978 clauses out of 20017 with flag 1002000/1017281 319.21/169.80 c cleaning 10000 clauses out of 20040 with flag 1012001/1027282 322.40/171.61 c cleaning 9996 clauses out of 20040 with flag 1022001/1037282 325.96/173.45 c cleaning 10002 clauses out of 20044 with flag 1032001/1047282 329.92/175.53 c cleaning 10002 clauses out of 20042 with flag 1042001/1057282 333.82/177.66 c cleaning 9998 clauses out of 20040 with flag 1052001/1067282 337.58/179.66 c cleaning 9998 clauses out of 20042 with flag 1062001/1077282 340.55/181.20 c cleaning 10005 clauses out of 20044 with flag 1072001/1087282 343.72/182.91 c cleaning 10002 clauses out of 20039 with flag 1082001/1097282 346.99/184.78 c cleaning 9996 clauses out of 20036 with flag 1092000/1107281 350.35/186.51 c cleaning 9997 clauses out of 20040 with flag 1102000/1117281 353.72/188.38 c cleaning 10002 clauses out of 20043 with flag 1112000/1127281 357.11/190.15 c cleaning 10004 clauses out of 20042 with flag 1122001/1137282 360.59/192.00 c cleaning 9996 clauses out of 20038 with flag 1132001/1147282 363.96/193.88 c cleaning 9997 clauses out of 20041 with flag 1142000/1157281 367.33/195.69 c cleaning 10003 clauses out of 20044 with flag 1152000/1167281 370.70/197.46 c cleaning 10000 clauses out of 20041 with flag 1162000/1177281 373.57/199.07 c cleaning 10016 clauses out of 20041 with flag 1172000/1187281 376.32/200.55 c cleaning 10002 clauses out of 20027 with flag 1182002/1197283 379.28/202.10 c cleaning 10001 clauses out of 20025 with flag 1192002/1207283 381.90/203.53 c cleaning 10009 clauses out of 20022 with flag 1202000/1217281 384.53/205.05 c cleaning 9997 clauses out of 20013 with flag 1212000/1227281 387.10/206.46 c cleaning 10000 clauses out of 20017 with flag 1222001/1237282 389.67/207.92 c cleaning 10007 clauses out of 20017 with flag 1232001/1247282 392.44/209.37 c cleaning 9997 clauses out of 20009 with flag 1242000/1257281 395.29/210.97 c cleaning 9999 clauses out of 20012 with flag 1252000/1267281 397.90/212.36 c cleaning 9986 clauses out of 20013 with flag 1262000/1277281 400.43/213.79 c cleaning 10006 clauses out of 20028 with flag 1272001/1287282 403.19/215.27 c cleaning 10003 clauses out of 20021 with flag 1282000/1297281 406.07/216.83 c cleaning 10005 clauses out of 20019 with flag 1292001/1307282 408.84/218.34 c cleaning 9995 clauses out of 20013 with flag 1302000/1317281 411.82/219.93 c cleaning 9999 clauses out of 20018 with flag 1312000/1327281 414.56/221.42 c cleaning 9997 clauses out of 20020 with flag 1322001/1337282 417.45/223.09 c cleaning 9985 clauses out of 20022 with flag 1332000/1347281 421.02/224.96 c cleaning 10010 clauses out of 20038 with flag 1342001/1357282 423.79/226.52 c cleaning 10001 clauses out of 20028 with flag 1352001/1367282 426.76/228.03 c cleaning 9989 clauses out of 20027 with flag 1362001/1377282 429.85/229.80 c cleaning 9996 clauses out of 20037 with flag 1372000/1387281 434.23/232.05 c cleaning 10004 clauses out of 20041 with flag 1382000/1397281 438.62/234.36 c cleaning 9993 clauses out of 20037 with flag 1392000/1407281 442.37/236.32 c cleaning 10016 clauses out of 20045 with flag 1402001/1417282 445.02/237.85 c cleaning 10006 clauses out of 20029 with flag 1412001/1427282 447.78/239.38 c cleaning 10001 clauses out of 20022 with flag 1422000/1437281 450.56/240.86 c cleaning 10000 clauses out of 20021 with flag 1432000/1447281 453.33/242.31 c cleaning 9995 clauses out of 20021 with flag 1442000/1457281 456.19/243.95 c cleaning 9986 clauses out of 20027 with flag 1452001/1467282 459.15/245.57 c cleaning 9992 clauses out of 20040 with flag 1462000/1477281 462.12/247.18 c cleaning 9999 clauses out of 20049 with flag 1472001/1487282 465.11/248.72 c cleaning 10002 clauses out of 20050 with flag 1482001/1497282 468.17/250.47 c cleaning 10002 clauses out of 20047 with flag 1492000/1507281 471.34/252.16 c cleaning 9998 clauses out of 20046 with flag 1502001/1517282 474.30/253.78 c cleaning 10006 clauses out of 20047 with flag 1512000/1527281 477.28/255.39 c cleaning 10003 clauses out of 20042 with flag 1522001/1537282 480.55/257.13 c cleaning 10007 clauses out of 20038 with flag 1532000/1547281 483.52/258.76 c cleaning 10004 clauses out of 20032 with flag 1542001/1557282 486.49/260.37 c cleaning 10003 clauses out of 20028 with flag 1552001/1567282 489.67/262.02 c cleaning 10003 clauses out of 20025 with flag 1562001/1577282 492.75/263.76 c cleaning 9999 clauses out of 20021 with flag 1572000/1587281 495.91/265.41 c cleaning 9995 clauses out of 20022 with flag 1582000/1597281 498.87/267.06 c cleaning 10007 clauses out of 20028 with flag 1592001/1607282 502.05/268.74 c cleaning 9998 clauses out of 20020 with flag 1602000/1617281 505.13/270.41 c cleaning 9984 clauses out of 20023 with flag 1612001/1627282 507.91/271.91 c cleaning 10012 clauses out of 20038 with flag 1622000/1637281 510.68/273.43 c cleaning 9987 clauses out of 20027 with flag 1632001/1647282 513.26/274.91 c cleaning 9997 clauses out of 20039 with flag 1642000/1657281 516.72/276.77 c cleaning 10003 clauses out of 20042 with flag 1652000/1667281 519.50/278.28 c cleaning 9997 clauses out of 20039 with flag 1662000/1677281 522.45/279.89 c cleaning 10002 clauses out of 20042 with flag 1672000/1687281 525.64/281.58 c cleaning 10001 clauses out of 20041 with flag 1682001/1697282 528.48/283.15 c cleaning 10003 clauses out of 20039 with flag 1692000/1707281 531.66/284.83 c cleaning 10006 clauses out of 20037 with flag 1702001/1717282 534.42/286.34 c cleaning 10002 clauses out of 20030 with flag 1712000/1727281 537.20/287.85 c cleaning 9996 clauses out of 20028 with flag 1722000/1737281 540.27/289.51 c cleaning 10006 clauses out of 20032 with flag 1732000/1747281 543.04/291.06 c cleaning 9982 clauses out of 20026 with flag 1742000/1757281 546.80/293.06 c cleaning 9999 clauses out of 20044 with flag 1752000/1767281 549.58/294.50 c cleaning 10010 clauses out of 20046 with flag 1762001/1777282 552.25/296.00 c cleaning 10006 clauses out of 20036 with flag 1772001/1787282 554.81/297.44 c cleaning 10004 clauses out of 20030 with flag 1782001/1797282 557.76/299.01 c cleaning 10002 clauses out of 20026 with flag 1792001/1807282 560.32/300.47 c cleaning 9997 clauses out of 20023 with flag 1802000/1817281 563.20/302.04 c cleaning 10001 clauses out of 20026 with flag 1812000/1827281 565.75/303.51 c cleaning 10002 clauses out of 20026 with flag 1822001/1837282 568.50/304.94 c cleaning 9998 clauses out of 20023 with flag 1832000/1847281 571.05/306.38 c cleaning 9999 clauses out of 20025 with flag 1842000/1857281 573.95/307.95 c cleaning 10002 clauses out of 20026 with flag 1852000/1867281 576.69/309.46 c cleaning 10001 clauses out of 20024 with flag 1862000/1877281 579.44/310.94 c cleaning 9999 clauses out of 20024 with flag 1872001/1887282 582.24/312.49 c cleaning 10002 clauses out of 20024 with flag 1882000/1897281 585.24/314.19 c cleaning 9998 clauses out of 20022 with flag 1892000/1907281 588.23/315.76 c cleaning 10003 clauses out of 20025 with flag 1902001/1917282 590.93/317.22 c cleaning 9997 clauses out of 20021 with flag 1912000/1927281 593.67/318.77 c cleaning 10000 clauses out of 20025 with flag 1922001/1937282 596.50/320.38 c cleaning 9998 clauses out of 20024 with flag 1932000/1947281 599.45/321.91 c cleaning 10007 clauses out of 20028 with flag 1942002/1957283 602.23/323.43 c cleaning 9998 clauses out of 20019 with flag 1952000/1967281 604.93/324.99 c cleaning 9999 clauses out of 20021 with flag 1962000/1977281 607.97/326.64 c cleaning 10002 clauses out of 20022 with flag 1972000/1987281 610.90/328.24 c cleaning 9978 clauses out of 20021 with flag 1982001/1997282 613.83/329.85 c cleaning 10012 clauses out of 20042 with flag 1992000/2007281 616.57/331.35 c cleaning 10010 clauses out of 20030 with flag 2002000/2017281 619.79/333.16 c cleaning 9994 clauses out of 20020 with flag 2012000/2027281 623.15/334.96 c cleaning 9986 clauses out of 20027 with flag 2022001/2037282 626.90/336.92 c cleaning 9992 clauses out of 20041 with flag 2032001/2047282 629.66/338.41 c cleaning 10012 clauses out of 20048 with flag 2042000/2057281 632.49/340.08 c cleaning 10002 clauses out of 20037 with flag 2052001/2067282 635.43/341.67 c cleaning 10001 clauses out of 20035 with flag 2062001/2077282 638.20/343.18 c cleaning 10008 clauses out of 20033 with flag 2072000/2087281 641.13/344.71 c cleaning 10001 clauses out of 20027 with flag 2082002/2097283 643.96/346.33 c cleaning 9998 clauses out of 20025 with flag 2092001/2107282 646.90/347.91 c cleaning 9995 clauses out of 20026 with flag 2102000/2117281 649.85/349.54 c cleaning 10009 clauses out of 20032 with flag 2112001/2127282 652.99/351.27 c cleaning 10001 clauses out of 20022 with flag 2122000/2137281 657.02/353.48 c cleaning 9997 clauses out of 20021 with flag 2132000/2147281 660.61/355.37 c cleaning 9993 clauses out of 20024 with flag 2142000/2157281 663.32/356.88 c cleaning 10000 clauses out of 20032 with flag 2152001/2167282 666.05/358.38 c cleaning 10010 clauses out of 20031 with flag 2162000/2177281 669.28/360.15 c cleaning 9994 clauses out of 20021 with flag 2172000/2187281 672.44/361.90 c cleaning 9990 clauses out of 20028 with flag 2182001/2197282 675.96/363.76 c cleaning 10002 clauses out of 20038 with flag 2192001/2207282 679.50/365.67 c cleaning 9999 clauses out of 20035 with flag 2202000/2217281 683.32/367.73 c cleaning 9999 clauses out of 20036 with flag 2212000/2227281 687.65/370.01 c cleaning 9992 clauses out of 20037 with flag 2222000/2237281 692.39/372.54 c cleaning 10003 clauses out of 20046 with flag 2232001/2247282 697.36/375.16 c cleaning 9991 clauses out of 20043 with flag 2242001/2257282 702.36/377.86 c cleaning 10003 clauses out of 20052 with flag 2252001/2267282 707.09/380.37 c cleaning 9998 clauses out of 20049 with flag 2262001/2277282 712.03/382.90 c cleaning 10011 clauses out of 20051 with flag 2272001/2287282 715.56/384.91 c cleaning 9999 clauses out of 20039 with flag 2282000/2297281 719.79/387.13 c cleaning 10004 clauses out of 20040 with flag 2292000/2307281 723.50/389.12 c cleaning 10000 clauses out of 20036 with flag 2302000/2317281 727.22/391.17 c cleaning 9994 clauses out of 20036 with flag 2312000/2327281 730.75/393.06 c cleaning 10003 clauses out of 20042 with flag 2322000/2337281 734.74/395.21 c cleaning 9999 clauses out of 20039 with flag 2332000/2347281 738.31/397.19 c cleaning 9997 clauses out of 20040 with flag 2342000/2357281 742.21/399.23 c cleaning 10011 clauses out of 20043 with flag 2352000/2367281 745.71/401.17 c cleaning 10004 clauses out of 20033 with flag 2362001/2377282 749.70/403.33 c cleaning 9990 clauses out of 20028 with flag 2372000/2387281 753.42/405.39 c cleaning 9996 clauses out of 20039 with flag 2382001/2397282 757.54/407.51 c cleaning 9988 clauses out of 20042 with flag 2392000/2407281 761.47/409.69 c cleaning 10010 clauses out of 20055 with flag 2402001/2417282 765.66/411.93 c cleaning 10002 clauses out of 20044 with flag 2412000/2427281 769.58/414.01 c cleaning 10011 clauses out of 20042 with flag 2422000/2437281 772.94/415.89 c cleaning 10003 clauses out of 20031 with flag 2432000/2447281 776.41/417.75 c cleaning 9992 clauses out of 20029 with flag 2442001/2457282 780.20/419.87 c cleaning 9996 clauses out of 20037 with flag 2452001/2467282 783.92/421.83 c cleaning 9997 clauses out of 20040 with flag 2462000/2477281 788.43/424.25 c cleaning 10007 clauses out of 20043 with flag 2472000/2487281 791.94/426.11 c cleaning 9994 clauses out of 20037 with flag 2482001/2497282 795.32/428.08 c cleaning 10001 clauses out of 20042 with flag 2492000/2507281 799.62/430.36 c cleaning 9999 clauses out of 20042 with flag 2502001/2517282 803.54/432.46 c cleaning 9997 clauses out of 20043 with flag 2512001/2527282 807.05/434.30 c cleaning 9993 clauses out of 20045 with flag 2522000/2537281 810.41/436.29 c cleaning 10005 clauses out of 20052 with flag 2532000/2547281 813.71/438.10 c cleaning 10001 clauses out of 20048 with flag 2542001/2557282 817.23/440.00 c cleaning 9999 clauses out of 20047 with flag 2552001/2567282 820.91/441.93 c cleaning 9994 clauses out of 20047 with flag 2562000/2577281 824.49/443.98 c cleaning 10003 clauses out of 20053 with flag 2572000/2587281 827.99/445.83 c cleaning 10002 clauses out of 20051 with flag 2582001/2597282 831.53/447.74 c cleaning 9996 clauses out of 20048 with flag 2592000/2607281 834.99/449.69 c cleaning 10004 clauses out of 20053 with flag 2602001/2617282 838.57/451.67 c cleaning 10000 clauses out of 20048 with flag 2612000/2627281 842.27/453.61 c cleaning 9998 clauses out of 20048 with flag 2622000/2637281 845.78/455.55 c cleaning 10001 clauses out of 20050 with flag 2632000/2647281 849.27/457.41 c cleaning 10018 clauses out of 20049 with flag 2642000/2657281 852.24/459.15 c cleaning 9993 clauses out of 20031 with flag 2652000/2667281 855.35/460.87 c cleaning 10003 clauses out of 20038 with flag 2662000/2677281 858.63/462.62 c cleaning 10004 clauses out of 20035 with flag 2672000/2687281 861.92/464.41 c cleaning 10006 clauses out of 20032 with flag 2682001/2697282 865.06/466.29 c cleaning 9992 clauses out of 20025 with flag 2692000/2707281 868.56/468.12 c cleaning 9999 clauses out of 20033 with flag 2702000/2717281 872.04/470.04 c cleaning 10005 clauses out of 20034 with flag 2712000/2727281 875.13/471.70 c cleaning 9996 clauses out of 20030 with flag 2722001/2737282 878.47/473.62 c cleaning 10000 clauses out of 20033 with flag 2732000/2747281 881.75/475.40 c cleaning 9999 clauses out of 20033 with flag 2742000/2757281 884.64/477.00 c cleaning 10003 clauses out of 20034 with flag 2752000/2767281 887.71/478.78 c cleaning 10004 clauses out of 20032 with flag 2762001/2777282 891.29/480.72 c cleaning 9999 clauses out of 20027 with flag 2772000/2787281 894.53/482.53 c cleaning 9993 clauses out of 20028 with flag 2782000/2797281 897.82/484.32 c cleaning 10006 clauses out of 20036 with flag 2792001/2807282 901.34/486.24 c cleaning 9998 clauses out of 20030 with flag 2802001/2817282 904.85/488.29 c cleaning 9993 clauses out of 20032 with flag 2812001/2827282 907.93/489.95 c cleaning 10007 clauses out of 20038 with flag 2822000/2837281 910.61/491.49 c cleaning 10006 clauses out of 20031 with flag 2832000/2847281 913.89/493.20 c cleaning 9996 clauses out of 20026 with flag 2842001/2857282 917.44/495.27 c cleaning 10005 clauses out of 20030 with flag 2852001/2867282 920.72/497.07 c cleaning 10000 clauses out of 20025 with flag 2862001/2877282 924.40/499.07 c cleaning 10008 clauses out of 20024 with flag 2872000/2887281 927.87/500.91 c cleaning 9993 clauses out of 20016 with flag 2882000/2897281 931.40/502.97 c cleaning 10001 clauses out of 20023 with flag 2892000/2907281 934.68/504.77 c cleaning 10003 clauses out of 20023 with flag 2902001/2917282 938.16/506.69 c cleaning 9998 clauses out of 20019 with flag 2912000/2927281 941.84/508.65 c cleaning 10001 clauses out of 20021 with flag 2922000/2937281 945.60/510.70 c cleaning 10004 clauses out of 20021 with flag 2932001/2947282 949.28/512.72 c cleaning 10000 clauses out of 20017 with flag 2942001/2957282 952.98/514.73 c cleaning 9992 clauses out of 20017 with flag 2952001/2967282 956.25/516.60 c cleaning 10000 clauses out of 20024 with flag 2962000/2977281 959.79/518.52 c cleaning 10003 clauses out of 20025 with flag 2972001/2987282 962.67/520.11 c cleaning 9994 clauses out of 20021 with flag 2982000/2997281 965.77/521.86 c cleaning 10008 clauses out of 20028 with flag 2992001/3007282 968.65/523.47 c cleaning 9997 clauses out of 20020 with flag 3002001/3017282 971.99/525.36 c cleaning 9993 clauses out of 20022 with flag 3012000/3027281 975.67/527.33 c cleaning 9993 clauses out of 20029 with flag 3022000/3037281 979.35/529.35 c cleaning 10004 clauses out of 20036 with flag 3032000/3047281 982.24/530.94 c cleaning 10001 clauses out of 20033 with flag 3042001/3057282 986.17/533.19 c cleaning 9999 clauses out of 20032 with flag 3052001/3067282 990.06/535.28 c cleaning 10002 clauses out of 20032 with flag 3062000/3077281 993.14/536.92 c cleaning 10006 clauses out of 20031 with flag 3072001/3087282 997.23/539.14 c cleaning 9992 clauses out of 20025 with flag 3082001/3097282 1001.56/541.59 c cleaning 9999 clauses out of 20033 with flag 3092001/3107282 1005.85/543.80 c cleaning 9999 clauses out of 20033 with flag 3102000/3117281 1009.32/545.76 c cleaning 10006 clauses out of 20034 with flag 3112000/3127281 1013.01/547.75 c cleaning 10005 clauses out of 20029 with flag 3122001/3137282 1016.71/549.81 c cleaning 10002 clauses out of 20024 with flag 3132001/3147282 1020.39/551.87 c cleaning 10002 clauses out of 20022 with flag 3142001/3157282 1025.07/554.36 c cleaning 10001 clauses out of 20019 with flag 3152000/3167281 1029.37/556.68 c cleaning 9998 clauses out of 20018 with flag 3162000/3177281 1033.44/558.93 c cleaning 9990 clauses out of 20020 with flag 3172000/3187281 1036.91/560.83 c cleaning 10003 clauses out of 20030 with flag 3182000/3197281 1040.56/562.85 c cleaning 9998 clauses out of 20027 with flag 3192000/3207281 1044.23/564.81 c cleaning 10002 clauses out of 20029 with flag 3202000/3217281 1047.76/566.86 c cleaning 9998 clauses out of 20027 with flag 3212000/3227281 1051.26/568.79 c cleaning 9999 clauses out of 20029 with flag 3222000/3237281 1054.88/570.70 c cleaning 10002 clauses out of 20031 with flag 3232001/3247282 1058.14/572.55 c cleaning 9999 clauses out of 20028 with flag 3242000/3257281 1061.49/574.47 c cleaning 10001 clauses out of 20029 with flag 3252000/3267281 1064.74/576.29 c cleaning 9997 clauses out of 20028 with flag 3262000/3277281 1067.99/578.08 c cleaning 9999 clauses out of 20032 with flag 3272001/3287282 1071.84/580.10 c cleaning 9997 clauses out of 20033 with flag 3282001/3297282 1076.18/582.53 c cleaning 9999 clauses out of 20036 with flag 3292001/3307282 1081.05/585.17 c cleaning 9998 clauses out of 20037 with flag 3302001/3317282 1084.89/587.23 c cleaning 9992 clauses out of 20038 with flag 3312000/3327281 1088.74/589.37 c cleaning 10002 clauses out of 20046 with flag 3322000/3337281 1093.05/591.79 c cleaning 10000 clauses out of 20045 with flag 3332001/3347282 1097.11/593.99 c cleaning 10005 clauses out of 20044 with flag 3342000/3357281 1101.39/596.29 c cleaning 9988 clauses out of 20039 with flag 3352000/3367281 1105.80/598.63 c cleaning 10004 clauses out of 20051 with flag 3362000/3377281 1110.34/601.12 c cleaning 10005 clauses out of 20047 with flag 3372000/3387281 1113.99/603.14 c cleaning 9998 clauses out of 20042 with flag 3382000/3397281 1117.85/605.21 c cleaning 9997 clauses out of 20045 with flag 3392001/3407282 1121.70/607.34 c cleaning 10003 clauses out of 20048 with flag 3402001/3417282 1126.01/609.76 c cleaning 9997 clauses out of 20045 with flag 3412001/3427282 1129.87/611.84 c cleaning 10006 clauses out of 20048 with flag 3422001/3437282 1133.57/613.84 c cleaning 9993 clauses out of 20041 with flag 3432000/3447281 1138.17/616.37 c cleaning 10001 clauses out of 20049 with flag 3442001/3457282 1143.09/619.03 c cleaning 10000 clauses out of 20047 with flag 3452000/3467281 1146.56/620.98 c cleaning 10009 clauses out of 20048 with flag 3462001/3477282 1149.80/622.77 c cleaning 9999 clauses out of 20038 with flag 3472000/3487281 1153.06/624.56 c cleaning 10007 clauses out of 20039 with flag 3482000/3497281 1156.78/626.61 c cleaning 9993 clauses out of 20032 with flag 3492000/3507281 1161.45/629.13 c cleaning 10002 clauses out of 20039 with flag 3502000/3517281 1166.28/631.72 c cleaning 10001 clauses out of 20037 with flag 3512000/3527281 1171.13/634.34 c cleaning 9998 clauses out of 20036 with flag 3522000/3537281 1176.05/637.05 c cleaning 9998 clauses out of 20038 with flag 3532000/3547281 1181.10/639.73 c cleaning 10001 clauses out of 20040 with flag 3542000/3557281 1185.97/642.33 c cleaning 9998 clauses out of 20039 with flag 3552000/3567281 1190.80/644.95 c cleaning 10002 clauses out of 20041 with flag 3562000/3577281 1195.85/647.61 c cleaning 9999 clauses out of 20039 with flag 3572000/3587281 1200.70/650.23 c cleaning 10001 clauses out of 20040 with flag 3582000/3597281 1205.76/652.96 c cleaning 10000 clauses out of 20039 with flag 3592000/3607281 1210.62/655.53 c cleaning 9996 clauses out of 20039 with flag 3602000/3617281 1215.42/658.19 c cleaning 10001 clauses out of 20043 with flag 3612000/3627281 1219.47/660.32 c cleaning 10007 clauses out of 20043 with flag 3622001/3637282 1222.52/662.10 c cleaning 10003 clauses out of 20036 with flag 3632001/3647282 1225.78/663.82 c cleaning 9998 clauses out of 20032 with flag 3642000/3657281 1229.13/665.74 c cleaning 10004 clauses out of 20034 with flag 3652000/3667281 1233.18/667.93 c cleaning 9996 clauses out of 20030 with flag 3662000/3677281 1237.43/670.25 c cleaning 9988 clauses out of 20034 with flag 3672000/3687281 1242.08/672.74 c cleaning 9998 clauses out of 20046 with flag 3682000/3697281 1245.39/674.60 c cleaning 10007 clauses out of 20049 with flag 3692001/3707282 1248.24/676.30 c cleaning 10004 clauses out of 20042 with flag 3702001/3717282 1251.29/677.99 c cleaning 10003 clauses out of 20037 with flag 3712000/3727281 1254.34/679.67 c cleaning 10001 clauses out of 20035 with flag 3722001/3737282 1257.66/681.56 c cleaning 9989 clauses out of 20033 with flag 3732000/3747281 1260.70/683.27 c cleaning 10009 clauses out of 20045 with flag 3742001/3757282 1264.16/685.15 c cleaning 9997 clauses out of 20036 with flag 3752001/3767282 1268.43/687.44 c cleaning 10000 clauses out of 20038 with flag 3762000/3777281 1272.55/689.80 c cleaning 9998 clauses out of 20039 with flag 3772001/3787282 1276.16/691.78 c cleaning 10003 clauses out of 20040 with flag 3782000/3797281 1279.61/693.60 c cleaning 10003 clauses out of 20037 with flag 3792000/3807281 1283.07/695.52 c cleaning 10001 clauses out of 20035 with flag 3802001/3817282 1286.98/697.75 c cleaning 9997 clauses out of 20034 with flag 3812001/3827282 1290.83/699.82 c cleaning 10000 clauses out of 20037 with flag 3822001/3837282 1294.52/701.84 c cleaning 9999 clauses out of 20037 with flag 3832001/3847282 1298.13/703.88 c cleaning 10001 clauses out of 20038 with flag 3842001/3857282 1302.04/706.06 c cleaning 9998 clauses out of 20037 with flag 3852001/3867282 1305.69/708.07 c cleaning 10005 clauses out of 20038 with flag 3862000/3877281 1309.34/710.07 c cleaning 9997 clauses out of 20034 with flag 3872001/3887282 1313.19/712.10 c cleaning 10002 clauses out of 20037 with flag 3882001/3897282 1316.77/714.14 c cleaning 9994 clauses out of 20034 with flag 3892000/3907281 1320.23/716.02 c cleaning 10000 clauses out of 20040 with flag 3902000/3917281 1323.46/717.86 c cleaning 9999 clauses out of 20040 with flag 3912000/3927281 1326.91/719.71 c cleaning 10000 clauses out of 20041 with flag 3922000/3937281 1330.32/721.63 c cleaning 10001 clauses out of 20042 with flag 3932001/3947282 1333.73/723.54 c cleaning 10001 clauses out of 20040 with flag 3942000/3957281 1337.19/725.45 c cleaning 9997 clauses out of 20040 with flag 3952001/3967282 1340.43/727.24 c cleaning 10007 clauses out of 20042 with flag 3962000/3977281 1343.41/728.99 c cleaning 10012 clauses out of 20035 with flag 3972000/3987281 1346.46/730.68 c cleaning 9987 clauses out of 20023 with flag 3982000/3997281 1349.71/732.44 c cleaning 9993 clauses out of 20036 with flag 3992000/4007281 1353.56/734.57 c cleaning 10002 clauses out of 20043 with flag 4002000/4017281 1356.66/736.39 c cleaning 10000 clauses out of 20041 with flag 4012000/4027281 1359.95/738.19 c cleaning 9995 clauses out of 20042 with flag 4022001/4037282 1363.37/740.02 c cleaning 9995 clauses out of 20047 with flag 4032001/4047282 1368.62/742.88 c cleaning 9998 clauses out of 20052 with flag 4042001/4057282 1374.31/745.95 c cleaning 9999 clauses out of 20054 with flag 4052001/4067282 1379.76/748.81 c cleaning 9998 clauses out of 20055 with flag 4062001/4077282 1385.01/751.61 c cleaning 10004 clauses out of 20057 with flag 4072001/4087282 1390.26/754.44 c cleaning 10001 clauses out of 20053 with flag 4082001/4097282 1395.56/757.36 c cleaning 9995 clauses out of 20052 with flag 4092001/4107282 1400.85/760.18 c cleaning 10003 clauses out of 20056 with flag 4102000/4117281 1406.06/762.93 c cleaning 9997 clauses out of 20053 with flag 4112000/4127281 1411.31/765.79 c cleaning 10005 clauses out of 20056 with flag 4122000/4137281 1416.85/768.78 c cleaning 10000 clauses out of 20052 with flag 4132001/4147282 1422.32/771.67 c cleaning 9999 clauses out of 20051 with flag 4142000/4157281 1427.62/774.48 c cleaning 9999 clauses out of 20052 with flag 4152000/4167281 1432.82/777.24 c cleaning 10015 clauses out of 20054 with flag 4162001/4177282 1437.32/779.78 c cleaning 9995 clauses out of 20038 with flag 4172000/4187281 1441.38/781.99 c cleaning 10004 clauses out of 20043 with flag 4182000/4197281 1445.66/784.31 c cleaning 9995 clauses out of 20039 with flag 4192000/4207281 1449.93/786.55 c cleaning 10003 clauses out of 20044 with flag 4202000/4217281 1454.57/789.18 c cleaning 9996 clauses out of 20042 with flag 4212001/4227282 1459.64/791.82 c cleaning 10002 clauses out of 20045 with flag 4222000/4237281 1463.68/794.11 c cleaning 10000 clauses out of 20044 with flag 4232001/4247282 1468.73/796.72 c cleaning 10000 clauses out of 20044 with flag 4242001/4257282 1473.64/799.47 c cleaning 10001 clauses out of 20043 with flag 4252000/4267281 1478.69/802.11 c cleaning 9996 clauses out of 20043 with flag 4262001/4277282 1483.53/804.73 c cleaning 10003 clauses out of 20047 with flag 4272001/4287282 1488.39/807.40 c cleaning 9997 clauses out of 20043 with flag 4282000/4297281 1493.42/810.05 c cleaning 9999 clauses out of 20047 with flag 4292001/4307282 1497.87/812.41 c cleaning 10004 clauses out of 20048 with flag 4302001/4317282 1502.73/815.04 c cleaning 9997 clauses out of 20044 with flag 4312001/4327282 1507.56/817.64 c cleaning 10001 clauses out of 20047 with flag 4322001/4337282 1511.93/820.07 c cleaning 9998 clauses out of 20046 with flag 4332001/4347282 1517.00/822.73 c cleaning 9999 clauses out of 20048 with flag 4342001/4357282 1522.03/825.43 c cleaning 9998 clauses out of 20049 with flag 4352001/4367282 1526.27/827.79 c cleaning 10007 clauses out of 20051 with flag 4362001/4377282 1531.01/830.37 c cleaning 10005 clauses out of 20044 with flag 4372001/4387282 1535.05/832.58 c cleaning 9992 clauses out of 20038 with flag 4382000/4397281 1539.89/835.15 c cleaning 10001 clauses out of 20047 with flag 4392001/4407282 1544.34/837.54 c cleaning 10006 clauses out of 20046 with flag 4402001/4417282 1548.46/839.81 c cleaning 9995 clauses out of 20039 with flag 4412000/4427281 1552.90/842.25 c cleaning 10006 clauses out of 20045 with flag 4422001/4437282 1556.75/844.39 c cleaning 10004 clauses out of 20038 with flag 4432000/4447281 1561.39/846.85 c cleaning 10003 clauses out of 20034 with flag 4442000/4457281 1566.11/849.42 c cleaning 9999 clauses out of 20031 with flag 4452000/4467281 1570.95/852.06 c cleaning 10000 clauses out of 20032 with flag 4462000/4477281 1574.99/854.26 c cleaning 10013 clauses out of 20032 with flag 4472000/4487281 1578.24/856.07 c cleaning 10000 clauses out of 20020 with flag 4482001/4497282 1581.12/857.77 c cleaning 10000 clauses out of 20019 with flag 4492000/4507281 1583.96/859.39 c cleaning 9998 clauses out of 20020 with flag 4502001/4517282 1587.65/861.34 c cleaning 9979 clauses out of 20022 with flag 4512001/4527282 1590.66/863.00 c cleaning 10000 clauses out of 20042 with flag 4522000/4537281 1593.75/864.85 c cleaning 10013 clauses out of 20042 with flag 4532000/4547281 1597.99/867.14 c cleaning 9983 clauses out of 20030 with flag 4542001/4557282 1603.04/869.82 c cleaning 9999 clauses out of 20046 with flag 4552000/4567281 1606.69/871.84 c cleaning 10014 clauses out of 20047 with flag 4562000/4577281 1610.97/874.22 c cleaning 10002 clauses out of 20033 with flag 4572000/4587281 1614.22/876.09 c cleaning 10000 clauses out of 20032 with flag 4582001/4597282 1618.86/878.55 c cleaning 10000 clauses out of 20031 with flag 4592000/4607281 1622.71/880.62 c cleaning 10008 clauses out of 20031 with flag 4602000/4617281 1625.87/882.44 c cleaning 9994 clauses out of 20024 with flag 4612001/4627282 1628.71/884.01 c cleaning 10004 clauses out of 20029 with flag 4622000/4637281 1632.76/886.24 c cleaning 9997 clauses out of 20025 with flag 4632000/4647281 1637.00/888.57 c cleaning 10001 clauses out of 20028 with flag 4642000/4657281 1641.53/891.02 c cleaning 9998 clauses out of 20027 with flag 4652000/4667281 1644.94/892.98 c cleaning 9997 clauses out of 20029 with flag 4662000/4677281 1648.18/894.74 c cleaning 9999 clauses out of 20033 with flag 4672001/4687282 1651.03/896.34 c cleaning 10001 clauses out of 20034 with flag 4682001/4697282 1654.11/898.10 c cleaning 10002 clauses out of 20032 with flag 4692000/4707281 1656.98/899.76 c cleaning 10009 clauses out of 20031 with flag 4702001/4717282 1659.81/901.33 c cleaning 10007 clauses out of 20023 with flag 4712002/4727283 1662.66/903.02 c cleaning 9992 clauses out of 20015 with flag 4722001/4737282 1665.94/904.82 c cleaning 10007 clauses out of 20022 with flag 4732000/4747281 1668.98/906.53 c cleaning 9996 clauses out of 20016 with flag 4742001/4757282 1672.23/908.36 c cleaning 9991 clauses out of 20019 with flag 4752000/4767281 1675.48/910.16 c cleaning 9997 clauses out of 20029 with flag 4762001/4777282 1679.35/912.34 c cleaning 10004 clauses out of 20032 with flag 4772001/4787282 1683.80/914.79 c cleaning 10001 clauses out of 20028 with flag 4782001/4797282 1688.44/917.20 c cleaning 10003 clauses out of 20027 with flag 4792001/4807282 1693.28/919.86 c cleaning 10002 clauses out of 20024 with flag 4802001/4817282 1697.98/922.46 c cleaning 9999 clauses out of 20022 with flag 4812001/4827282 1702.63/924.99 c cleaning 10001 clauses out of 20023 with flag 4822001/4837282 1707.47/927.54 c cleaning 10000 clauses out of 20022 with flag 4832001/4847282 1711.92/929.96 c cleaning 9998 clauses out of 20022 with flag 4842001/4857282 1716.80/932.67 c cleaning 10000 clauses out of 20024 with flag 4852001/4867282 1721.44/935.14 c cleaning 9998 clauses out of 20024 with flag 4862001/4877282 1726.09/937.64 c cleaning 10003 clauses out of 20026 with flag 4872001/4887282 1730.94/940.21 c cleaning 9999 clauses out of 20023 with flag 4882001/4897282 1735.64/942.87 c cleaning 9999 clauses out of 20024 with flag 4892001/4907282 1740.68/945.55 c cleaning 10002 clauses out of 20025 with flag 4902001/4917282 1745.12/947.99 c cleaning 9997 clauses out of 20023 with flag 4912001/4927282 1749.17/950.15 c cleaning 9994 clauses out of 20026 with flag 4922001/4937282 1753.28/952.48 c cleaning 9997 clauses out of 20032 with flag 4932001/4947282 1757.54/954.81 c cleaning 9998 clauses out of 20034 with flag 4942000/4957281 1761.81/957.04 c cleaning 10001 clauses out of 20036 with flag 4952000/4967281 1766.21/959.44 c cleaning 10002 clauses out of 20036 with flag 4962001/4977282 1770.74/961.94 c cleaning 9998 clauses out of 20034 with flag 4972001/4987282 1774.78/964.18 c cleaning 9999 clauses out of 20035 with flag 4982000/4997281 1779.21/966.50 c cleaning 10000 clauses out of 20036 with flag 4992000/5007281 1783.45/968.85 c cleaning 10001 clauses out of 20037 with flag 5002001/5017282 1787.99/971.38 c cleaning 10004 clauses out of 20036 with flag 5012001/5027282 1792.38/973.76 c cleaning 9994 clauses out of 20031 with flag 5022000/5037281 1797.03/976.20 c cleaning 10002 clauses out of 20037 with flag 5032000/5047281 1800.13/977.95 c starts : 277 1800.13/977.95 c conflicts : 5054399 1800.13/977.95 c decisions : 6062578 1800.13/977.95 c propagations : 75964588 1800.13/977.95 c inspects : 1593566603 1800.13/977.95 c shortcuts : 0 1800.13/977.95 c learnt literals : 0 1800.13/977.95 c learnt binary clauses : 236 1800.13/977.95 c learnt ternary clauses : 438 1800.13/977.95 c learnt constraints : 5054399 1800.13/977.95 c ignored constraints : 0 1800.13/977.95 c root simplifications : 0 1800.13/977.95 c removed literals (reason simplification) : 673793727 1800.13/977.95 c reason swapping (by a shorter reason) : 0 1800.13/977.95 c Calls to reduceDB : 507 1800.13/977.95 c number of reductions to clauses (during analyze) : 0 1800.13/977.95 c number of learned constraints concerned by reduction : 0 1800.13/977.95 c number of learning phase by resolution : 0 1800.13/977.95 c number of learning phase by cutting planes : 0 1800.13/977.95 c speed (assignments/second) : 77984.3168213563 1800.13/977.95 c non guided choices 138 1800.13/977.96 c learnt constraints type 1800.13/977.96 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 236 1800.13/977.96 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16955 1800.13/977.96 c constraints type 1800.13/977.96 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 350 1800.13/977.96 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.13/977.96 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2844 1800.13/977.96 c constraints type 1800.13/977.96 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2844 1800.13/977.96 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 350 1800.13/977.96 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.13/977.96 s SATISFIABLE 1800.13/977.96 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 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 -x519 x520 -x521 x522 -x523 x524 -x525 x526 -x527 x528 x529 -x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 x540 -x541 x542 -x543 x544 -x545 -x546 -x547 x548 x549 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 x560 -x561 -x562 x563 -x564 x565 -x566 -x567 x568 -x569 x570 -x571 x572 -x573 x574 -x575 x576 x577 -x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 -x587 x588 -x589 x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 x599 -x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x610 -x611 x612 -x613 x614 -x615 x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624 -x625 x626 x627 -x628 -x629 x630 -x631 x632 -x633 x634 -x635 x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 x671 -x672 -x673 x674 -x675 x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 x709 -x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 -x725 -x726 -x727 x728 x729 -x730 -x731 -x732 x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 x746 x747 -x748 -x749 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 x764 x765 -x766 -x767 -x768 -x769 x770 -x771 x772 -x773 -x774 -x775 x776 x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 x790 -x791 x792 1800.13/977.96 c objective function=311 1800.13/977.96 c Total wall clock time (in seconds): 977.853
OK 311
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-3454544-1307189167/watcher-3454544-1307189167 -o /tmp/evaluation-result-3454544-1307189167/solver-3454544-1307189167 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454544-1307189167.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: 3.85 3.83 3.00 2/578 6472 /proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10430980 CPUtime=0 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 2172 0 1 0 0 0 0 0 25 0 2 0 830515390 10681323520 1874 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2607745 1888 906 9 0 2598901 0 [pid=6472/tid=6473] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 8823 0 1 0 0 0 0 0 25 0 10 0 830515391 10703900672 9648 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741217742888 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9648 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) R 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9649 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9649 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9650 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9651 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9651 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9652 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10453028 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) R 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 830515392 10703900672 9653 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.068299 s] /proc/loadavg: 3.85 3.83 3.00 2/578 6472 /proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 11865 0 1 0 4 1 0 0 25 0 18 0 830515390 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2618272 11562 1754 9 0 2609006 0 [pid=6472/tid=6473] ppid=6470 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 10690 0 1 0 4 1 0 0 25 0 18 0 830515391 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11562 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11563 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11563 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11564 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10473088 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10724442112 11564 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473088 [startup+0.10129 s] /proc/loadavg: 3.85 3.83 3.00 2/578 6472 /proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10540032 CPUtime=0.1 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 830515390 10792992768 12798 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2635008 12799 2093 9 0 2625742 0 [pid=6472/tid=6473] ppid=6470 vsize=10540032 CPUtime=0.08 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 11216 0 1 0 7 1 0 0 25 0 18 0 830515391 10792992768 12799 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741223295796 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12799 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12800 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12801 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10540032 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10792992768 12801 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540032 [startup+0.30121 s] /proc/loadavg: 3.85 3.83 3.00 2/578 6472 /proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10542132 CPUtime=0.49 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 15906 0 1 0 47 2 0 0 25 0 18 0 830515390 10795143168 15434 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2635533 15435 2201 9 0 2626267 0 [pid=6472/tid=6473] ppid=6470 vsize=10542132 CPUtime=0.29 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) R 6470 6472 3716 0 -1 4202560 13181 0 1 0 27 2 0 0 25 0 18 0 830515391 10795143168 15435 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505576537 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15436 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15436 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15437 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15437 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15438 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15438 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15439 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10542132 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830515392 10795143168 15439 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10542132 [startup+0.701139 s] /proc/loadavg: 3.85 3.83 3.00 2/578 6472 /proc/meminfo: memFree=29930208/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10546244 CPUtime=0.55 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 16302 0 1 0 53 2 0 0 25 0 19 0 830515390 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2636561 15830 2218 9 0 2627295 0 [pid=6472/tid=6473] ppid=6470 vsize=10546244 CPUtime=0.3 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13413 0 1 0 28 2 0 0 25 0 19 0 830515391 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10546244 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10799353856 15830 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10546244 [startup+1.50101 s] /proc/loadavg: 3.85 3.83 3.00 3/601 6501 /proc/meminfo: memFree=29621512/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10548956 CPUtime=1.29 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 21036 0 1 0 126 3 0 0 25 0 19 0 830515390 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2637239 19144 2230 9 0 2627973 0 [pid=6472/tid=6473] ppid=6470 vsize=10548956 CPUtime=0.31 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13591 0 1 0 29 2 0 0 17 0 19 0 830515391 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19144 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515392 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6483] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830515393 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6484] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830515394 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6485] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830515394 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6486] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6487] ppid=6470 vsize=10548956 CPUtime=0.28 cores=0,2,4,6 /proc/6472/task/6487/stat : 6487 (java) R 6470 6472 3716 0 -1 4202560 3663 0 0 0 28 0 0 0 16 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741221485065 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6488] ppid=6470 vsize=10548956 CPUtime=0.32 cores=0,2,4,6 /proc/6472/task/6488/stat : 6488 (java) R 6470 6472 3716 0 -1 4202560 1637 0 0 0 32 0 0 0 16 0 19 0 830515396 10802130944 19145 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 47741219516466 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6472/tid=6489] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830515396 10802130944 19146 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6490] ppid=6470 vsize=10548956 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830515396 10802130944 19155 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 10548956 [startup+3.10074 s] /proc/loadavg: 3.85 3.83 3.00 6/604 6507 /proc/meminfo: memFree=29352656/32950928 swapFree=41528364/67111528 ################ # More data... # ################ /proc/meminfo: memFree=25503748/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10554060 CPUtime=1625.67 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 322086 0 1 0 162506 61 0 0 25 0 22 0 830515390 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2638515 316214 2261 9 0 2629249 0 [pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.88 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1423 0 0 0 88 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.87 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 360 0 0 0 87 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.73 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 280 0 0 0 73 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.89 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 461 0 0 0 89 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=0.91 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1054 0 0 0 91 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.93 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 827 0 0 0 93 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.83 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1301 0 0 0 83 0 0 0 16 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=0.91 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 798 0 0 0 91 0 0 0 15 0 22 0 830515392 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=139.64 cores=0,2,4,6 /proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 97573 0 0 0 13935 29 0 0 15 0 22 0 830515393 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6 /proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6 /proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=736.36 cores=0,2,4,6 /proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 347 0 0 0 73635 1 0 0 25 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505166080 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=736.62 cores=0,2,4,6 /proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 73650 12 0 0 17 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506071124 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 316214 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1625.67 Current children cumulated vsize (KiB) 10554060 [startup+942.301 s] /proc/loadavg: 3.99 3.86 3.53 5/604 6599 /proc/meminfo: memFree=26085532/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10554060 CPUtime=1734.64 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 325143 0 1 0 173401 63 0 0 25 0 22 0 830515390 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2638515 319239 2261 9 0 2629249 0 [pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.92 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1423 0 0 0 92 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.92 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 360 0 0 0 92 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.79 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 292 0 0 0 79 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 477 0 0 0 95 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1063 0 0 0 95 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 828 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.88 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1303 0 0 0 88 0 0 0 16 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 803 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=150.8 cores=0,2,4,6 /proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 100555 0 0 0 15050 30 0 0 15 0 22 0 830515393 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6 /proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6 /proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=785.08 cores=0,2,4,6 /proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 375 0 0 0 78506 2 0 0 25 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505673746 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=785.33 cores=0,2,4,6 /proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 78521 12 0 0 17 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506095652 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 319239 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1734.64 Current children cumulated vsize (KiB) 10554060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+977.922 s] /proc/loadavg: 3.84 3.83 3.53 5/604 6599 /proc/meminfo: memFree=25875204/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=10554060 CPUtime=1800.13 cores=0,2,4,6 /proc/6472/stat : 6472 (java) S 6470 6472 3716 0 -1 4202496 331365 0 1 0 179950 63 0 0 25 0 22 0 830515390 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 2638515 325442 2261 9 0 2629249 0 [pid=6472/tid=6473] ppid=6470 vsize=10554060 CPUtime=0.31 cores=0,2,4,6 /proc/6472/task/6473/stat : 6473 (java) S 6470 6472 3716 0 -1 4202560 13774 0 1 0 29 2 0 0 15 0 22 0 830515391 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6474] ppid=6470 vsize=10554060 CPUtime=0.96 cores=0,2,4,6 /proc/6472/task/6474/stat : 6474 (java) S 6470 6472 3716 0 -1 4202560 1435 0 0 0 96 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6475] ppid=6470 vsize=10554060 CPUtime=0.94 cores=0,2,4,6 /proc/6472/task/6475/stat : 6475 (java) S 6470 6472 3716 0 -1 4202560 364 0 0 0 94 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6476] ppid=6470 vsize=10554060 CPUtime=0.84 cores=0,2,4,6 /proc/6472/task/6476/stat : 6476 (java) S 6470 6472 3716 0 -1 4202560 305 0 0 0 84 0 0 0 16 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6477] ppid=6470 vsize=10554060 CPUtime=0.99 cores=0,2,4,6 /proc/6472/task/6477/stat : 6477 (java) S 6470 6472 3716 0 -1 4202560 478 0 0 0 99 0 0 0 16 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6478] ppid=6470 vsize=10554060 CPUtime=1 cores=0,2,4,6 /proc/6472/task/6478/stat : 6478 (java) S 6470 6472 3716 0 -1 4202560 1135 0 0 0 100 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6479] ppid=6470 vsize=10554060 CPUtime=0.97 cores=0,2,4,6 /proc/6472/task/6479/stat : 6479 (java) S 6470 6472 3716 0 -1 4202560 830 0 0 0 97 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6480] ppid=6470 vsize=10554060 CPUtime=0.93 cores=0,2,4,6 /proc/6472/task/6480/stat : 6480 (java) S 6470 6472 3716 0 -1 4202560 1345 0 0 0 93 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6481] ppid=6470 vsize=10554060 CPUtime=1.02 cores=0,2,4,6 /proc/6472/task/6481/stat : 6481 (java) S 6470 6472 3716 0 -1 4202560 807 0 0 0 102 0 0 0 15 0 22 0 830515392 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6483] ppid=6470 vsize=10554060 CPUtime=156.69 cores=0,2,4,6 /proc/6472/task/6483/stat : 6483 (java) S 6470 6472 3716 0 -1 4202560 106610 0 0 0 15638 31 0 0 15 0 22 0 830515393 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 0 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6484] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6484/stat : 6484 (java) S 6470 6472 3716 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6485] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6485/stat : 6485 (java) S 6470 6472 3716 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830515394 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6486] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6486/stat : 6486 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826063793 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6487] ppid=6470 vsize=10554060 CPUtime=0.78 cores=0,2,4,6 /proc/6472/task/6487/stat : 6487 (java) S 6470 6472 3716 0 -1 4202560 6969 0 0 0 77 1 0 0 16 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 [pid=6472/tid=6488] ppid=6470 vsize=10554060 CPUtime=0.95 cores=0,2,4,6 /proc/6472/task/6488/stat : 6488 (java) S 6470 6472 3716 0 -1 4202560 3664 0 0 0 95 0 0 0 15 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 2 0 0 0 [pid=6472/tid=6489] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6489/stat : 6489 (java) S 6470 6472 3716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056089 0 4 0 16800975 18446604452587811776 0 0 -1 6 0 0 0 [pid=6472/tid=6490] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6490/stat : 6490 (java) S 6470 6472 3716 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830515396 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6504] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6504/stat : 6504 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830515524 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 0 0 0 0 [pid=6472/tid=6508] ppid=6470 vsize=10554060 CPUtime=814.74 cores=0,2,4,6 /proc/6472/task/6508/stat : 6508 (java) R 6470 6472 3716 0 -1 4202560 390 0 0 0 81472 2 0 0 25 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912505635243 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6472/tid=6509] ppid=6470 vsize=10554060 CPUtime=815 cores=0,2,4,6 /proc/6472/task/6509/stat : 6509 (java) R 6470 6472 3716 0 -1 4202560 108924 0 0 0 81488 12 0 0 17 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 46912506071121 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=6472/tid=6510] ppid=6470 vsize=10554060 CPUtime=0 cores=0,2,4,6 /proc/6472/task/6510/stat : 6510 (java) S 6470 6472 3716 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830515775 10807357440 325442 33554432000 1073741824 1073778376 140735055499328 18446744073709551615 251826056704 0 4 0 16800975 18446604452587811776 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 10554060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+978.028 s] /proc/loadavg: 3.84 3.83 3.53 5/604 6599 /proc/meminfo: memFree=25875204/32950928 swapFree=41528364/67111528 [pid=6472] ppid=6470 vsize=0 CPUtime=1800.27 cores=0,2,4,6 /proc/6472/stat : 6472 (java) Z 6470 6472 3716 0 -1 4203548 331401 0 1 0 179958 69 0 0 17 0 2 0 830515390 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6472/statm: 0 0 0 0 0 0 0 [pid=6472/tid=6510] ppid=6470 vsize=0 CPUtime=0.05 cores=0,2,4,6 /proc/6472/task/6510/stat : 6510 (java) R 6470 6472 3716 0 -1 4203588 0 0 0 0 0 5 0 0 18 0 2 0 830515775 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 978.029 CPU time (s): 1800.28 CPU user time (s): 1799.59 CPU system time (s): 0.691894 CPU usage (%): 184.072 Max. virtual memory (cumulated for all children) (KiB): 10556696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.691894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 331401 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= 37533 involuntary context switches= 19474 runsolver used 5.8951 second user time and 12.867 second system time The end
Begin job on node126 at 2011-06-04 14:06:07 IDJOB=3454544 IDBENCH=2185 IDSOLVER=1950 FILE ID=node126/3454544-1307189167 RUNJOBID= node126-1307188252-6022 PBS_JOBID= 13508841 Free space on /tmp= 73796 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454544-1307189167/watcher-3454544-1307189167 -o /tmp/evaluation-result-3454544-1307189167/solver-3454544-1307189167 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454544-1307189167.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39250f205953aedd83d7a2bcba6bda16 RANDOM SEED=1824498361 node126.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.783 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.56 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.783 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.74 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.783 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.80 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.783 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.75 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.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29931216 kB Buffers: 315152 kB Cached: 487284 kB SwapCached: 15388 kB Active: 2253920 kB Inactive: 445264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29931216 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 2924 kB Writeback: 0 kB AnonPages: 1894204 kB Mapped: 31892 kB Slab: 148868 kB PageTables: 100656 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 186746828 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= 73796 MiB End job on node126 at 2011-06-04 14:22:27