Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 191 | 1800.22 | 963.892 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | eb2e849a72ed563d78cdb83a394edb27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 30.7263 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | YES |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
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 | 32 |
Number of terms in the objective function | 456 |
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 | 456 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 456 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.09/0.09 c version 2.3.1.v20110525 0.09/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.09 c java.vm.version 19.1-b02 0.09/0.09 c java.vm.vendor Sun Microsystems Inc. 0.09/0.09 c sun.arch.data.model 64 0.09/0.09 c java.version 1.6.0_24 0.09/0.09 c os.name Linux 0.09/0.09 c os.version 2.6.18-164.el5 0.09/0.09 c os.arch amd64 0.09/0.09 c Free memory 9996466904 0.09/0.09 c Max memory 10048897024 0.09/0.09 c Total memory 10048897024 0.09/0.09 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-3455142-1307189154.opb 0.10/0.11 c reading problem ... 0.31/0.28 c ... done. Wall clock time 0.17s. 0.31/0.28 c #vars 456 0.31/0.28 c #constraints 1602 0.31/0.28 c constraints type 0.31/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 126 0.31/0.28 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1476 0.31/0.28 c constraints type 0.31/0.28 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1476 0.31/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 126 0.56/0.31 c And the winner is Resolution 0.66/0.78 c SATISFIABLE 0.66/0.78 c OPTIMIZING... 0.66/0.78 c Got one! Elapsed wall clock time (in seconds):0.676 0.66/0.78 o 222 0.70/0.80 c And the winner is Resolution 0.72/1.29 c Got one! Elapsed wall clock time (in seconds):1.185 0.72/1.29 o 218 0.73/1.31 c And the winner is Resolution 0.83/1.80 c Got one! Elapsed wall clock time (in seconds):1.691 0.83/1.80 o 214 0.83/1.83 c And the winner is Resolution 0.99/2.31 c Got one! Elapsed wall clock time (in seconds):2.199 0.99/2.31 o 198 0.99/2.33 c And the winner is Resolution 1.10/2.81 c Got one! Elapsed wall clock time (in seconds):2.704 1.10/2.81 o 197 1.10/2.84 c And the winner is Resolution 1.57/3.32 c Got one! Elapsed wall clock time (in seconds):3.209 1.57/3.32 o 196 2.71/3.74 c And the winner is Resolution 2.80/3.82 c Got one! Elapsed wall clock time (in seconds):3.715 2.80/3.82 o 195 3.05/3.91 c And the winner is Resolution 3.11/4.33 c Got one! Elapsed wall clock time (in seconds):4.219 3.11/4.33 o 194 3.30/4.46 c cleaning 3358 clauses out of 6726 with flag 1001/6726 3.49/4.54 c And the winner is Resolution 3.88/4.83 c Got one! Elapsed wall clock time (in seconds):4.727 3.88/4.83 o 193 3.88/4.86 c And the winner is Resolution 3.99/5.34 c Got one! Elapsed wall clock time (in seconds):5.233 3.99/5.34 o 192 3.99/5.35 c And the winner is Resolution 4.02/5.84 c Got one! Elapsed wall clock time (in seconds):5.737 4.02/5.84 o 191 5.51/6.59 c cleaning 4583 clauses out of 9180 with flag 5001/12538 7.29/7.40 c cleaning 5294 clauses out of 10597 with flag 11001/18538 9.07/8.37 c cleaning 6151 clauses out of 12302 with flag 18000/25537 11.30/9.42 c cleaning 7072 clauses out of 14151 with flag 26000/33537 13.46/10.51 c cleaning 8036 clauses out of 16080 with flag 35001/42538 15.43/11.55 c cleaning 9018 clauses out of 18044 with flag 45001/52538 17.98/12.87 c cleaning 9507 clauses out of 19026 with flag 55001/62538 20.95/14.32 c cleaning 9759 clauses out of 19519 with flag 65001/72538 22.67/15.30 c cleaning 9877 clauses out of 19759 with flag 75000/82537 25.41/16.64 c cleaning 9938 clauses out of 19883 with flag 85001/92538 29.16/18.52 c cleaning 9968 clauses out of 19944 with flag 95000/102537 32.68/20.38 c cleaning 9984 clauses out of 19976 with flag 105000/112537 35.22/21.66 c cleaning 9991 clauses out of 19993 with flag 115001/122538 38.00/23.02 c cleaning 9994 clauses out of 20002 with flag 125001/132538 41.51/24.81 c cleaning 9998 clauses out of 20008 with flag 135001/142538 43.61/25.97 c cleaning 9998 clauses out of 20010 with flag 145001/152538 46.34/27.30 c cleaning 9999 clauses out of 20011 with flag 155000/162537 49.27/28.85 c cleaning 9999 clauses out of 20012 with flag 165000/172537 52.41/30.43 c cleaning 10000 clauses out of 20013 with flag 175000/182537 54.90/31.70 c cleaning 10006 clauses out of 20017 with flag 185004/192541 56.63/32.69 c cleaning 9997 clauses out of 20008 with flag 195001/202538 58.75/33.78 c cleaning 10000 clauses out of 20010 with flag 205000/212537 61.27/35.07 c cleaning 10000 clauses out of 20010 with flag 215000/222537 63.78/36.36 c cleaning 10000 clauses out of 20010 with flag 225000/232537 66.25/37.67 c cleaning 9998 clauses out of 20010 with flag 235000/242537 68.97/39.08 c cleaning 9999 clauses out of 20012 with flag 245000/252537 71.67/40.50 c cleaning 10007 clauses out of 20014 with flag 255001/262538 75.34/42.32 c cleaning 9999 clauses out of 20006 with flag 265000/272537 79.04/44.23 c cleaning 9995 clauses out of 20007 with flag 275000/282537 82.77/46.15 c cleaning 10002 clauses out of 20012 with flag 285000/292537 86.04/47.81 c cleaning 9999 clauses out of 20010 with flag 295000/302537 88.09/48.98 c cleaning 10000 clauses out of 20011 with flag 305000/312537 89.99/49.98 c cleaning 9996 clauses out of 20011 with flag 315000/322537 92.28/51.17 c cleaning 10002 clauses out of 20015 with flag 325000/332537 94.57/52.39 c cleaning 9998 clauses out of 20013 with flag 335000/342537 97.43/53.86 c cleaning 10002 clauses out of 20016 with flag 345001/352538 101.09/55.79 c cleaning 9998 clauses out of 20014 with flag 355001/362538 104.98/57.73 c cleaning 10004 clauses out of 20016 with flag 365001/372538 108.67/59.68 c cleaning 9998 clauses out of 20012 with flag 375001/382538 112.72/61.72 c cleaning 10007 clauses out of 20014 with flag 385001/392538 115.00/62.94 c cleaning 9996 clauses out of 20007 with flag 395001/402538 116.87/63.94 c cleaning 9998 clauses out of 20010 with flag 405000/412537 118.78/64.96 c cleaning 10000 clauses out of 20012 with flag 415000/422537 120.80/66.09 c cleaning 10001 clauses out of 20012 with flag 425000/432537 122.88/67.14 c cleaning 9996 clauses out of 20011 with flag 435000/442537 124.76/68.18 c cleaning 10005 clauses out of 20015 with flag 445000/452537 126.83/69.22 c cleaning 9998 clauses out of 20011 with flag 455001/462538 129.06/70.49 c cleaning 10000 clauses out of 20013 with flag 465001/472538 131.70/71.81 c cleaning 10001 clauses out of 20013 with flag 475001/482538 135.76/73.94 c cleaning 9998 clauses out of 20012 with flag 485001/492538 139.84/76.08 c cleaning 10000 clauses out of 20014 with flag 495001/502538 143.89/78.15 c cleaning 10000 clauses out of 20014 with flag 505001/512538 146.32/79.48 c cleaning 10000 clauses out of 20014 with flag 515001/522538 150.01/81.37 c cleaning 10004 clauses out of 20014 with flag 525001/532538 153.85/83.36 c cleaning 10000 clauses out of 20010 with flag 535001/542538 158.05/85.52 c cleaning 10000 clauses out of 20010 with flag 545001/552538 162.12/87.62 c cleaning 9998 clauses out of 20010 with flag 555001/562538 166.18/89.77 c cleaning 10003 clauses out of 20012 with flag 565001/572538 170.44/91.91 c cleaning 9998 clauses out of 20009 with flag 575001/582538 173.64/93.66 c cleaning 10001 clauses out of 20010 with flag 585000/592537 176.09/94.92 c cleaning 10000 clauses out of 20010 with flag 595001/602538 178.35/96.10 c cleaning 10002 clauses out of 20010 with flag 605001/612538 180.80/97.43 c cleaning 9999 clauses out of 20008 with flag 615001/622538 183.00/98.69 c cleaning 10000 clauses out of 20009 with flag 625001/632538 185.45/99.97 c cleaning 9999 clauses out of 20009 with flag 635001/642538 187.51/101.05 c cleaning 9998 clauses out of 20010 with flag 645001/652538 189.79/102.22 c cleaning 9998 clauses out of 20012 with flag 655001/662538 191.99/103.48 c cleaning 10002 clauses out of 20014 with flag 665001/672538 194.21/104.64 c cleaning 10001 clauses out of 20012 with flag 675001/682538 196.86/106.07 c cleaning 10000 clauses out of 20011 with flag 685001/692538 199.51/107.45 c cleaning 9998 clauses out of 20011 with flag 695001/702538 202.33/108.92 c cleaning 10000 clauses out of 20013 with flag 705001/712538 204.38/110.03 c cleaning 10002 clauses out of 20013 with flag 715001/722538 206.80/111.30 c cleaning 10000 clauses out of 20011 with flag 725001/732538 209.26/112.61 c cleaning 9999 clauses out of 20011 with flag 735001/742538 211.65/113.99 c cleaning 10002 clauses out of 20012 with flag 745001/752538 214.10/115.25 c cleaning 9997 clauses out of 20010 with flag 755001/762538 216.57/116.56 c cleaning 9999 clauses out of 20013 with flag 765001/772538 218.99/117.85 c cleaning 9999 clauses out of 20014 with flag 775001/782538 221.16/119.02 c cleaning 9999 clauses out of 20014 with flag 785000/792537 223.60/120.31 c cleaning 10001 clauses out of 20015 with flag 795000/802537 225.85/121.57 c cleaning 9998 clauses out of 20014 with flag 805000/812537 228.49/122.93 c cleaning 10002 clauses out of 20016 with flag 815000/822537 230.89/124.24 c cleaning 9999 clauses out of 20014 with flag 825000/832537 233.31/125.51 c cleaning 9998 clauses out of 20015 with flag 835000/842537 235.75/126.81 c cleaning 10001 clauses out of 20017 with flag 845000/852537 237.99/128.07 c cleaning 9999 clauses out of 20016 with flag 855000/862537 240.56/129.45 c cleaning 10000 clauses out of 20017 with flag 865000/872537 242.99/130.71 c cleaning 9999 clauses out of 20017 with flag 875000/882537 246.23/132.47 c cleaning 10006 clauses out of 20019 with flag 885001/892538 248.86/133.80 c cleaning 10003 clauses out of 20013 with flag 895001/902538 250.82/134.93 c cleaning 9998 clauses out of 20010 with flag 905001/912538 252.86/136.01 c cleaning 10004 clauses out of 20012 with flag 915001/922538 254.90/137.11 c cleaning 9997 clauses out of 20008 with flag 925001/932538 256.94/138.23 c cleaning 10004 clauses out of 20011 with flag 935001/942538 259.11/139.42 c cleaning 9999 clauses out of 20007 with flag 945001/952538 261.15/140.57 c cleaning 10002 clauses out of 20008 with flag 955001/962538 263.19/141.63 c cleaning 9998 clauses out of 20006 with flag 965001/972538 265.23/142.76 c cleaning 9998 clauses out of 20008 with flag 975001/982538 267.39/143.99 c cleaning 9998 clauses out of 20010 with flag 985001/992538 269.64/145.12 c cleaning 9999 clauses out of 20012 with flag 995001/1002538 271.68/146.28 c cleaning 10002 clauses out of 20013 with flag 1005001/1012538 273.71/147.32 c cleaning 10000 clauses out of 20011 with flag 1015001/1022538 275.88/148.57 c cleaning 10002 clauses out of 20011 with flag 1025001/1032538 278.08/149.70 c cleaning 9997 clauses out of 20009 with flag 1035001/1042538 280.32/150.92 c cleaning 10000 clauses out of 20012 with flag 1045001/1052538 282.36/152.05 c cleaning 10000 clauses out of 20012 with flag 1055001/1062538 284.53/153.29 c cleaning 10002 clauses out of 20012 with flag 1065001/1072538 286.56/154.37 c cleaning 9999 clauses out of 20009 with flag 1075000/1082537 288.99/155.65 c cleaning 9999 clauses out of 20010 with flag 1085000/1092537 291.62/157.00 c cleaning 9999 clauses out of 20011 with flag 1095000/1102537 294.00/158.38 c cleaning 10001 clauses out of 20012 with flag 1105000/1112537 296.60/159.71 c cleaning 10000 clauses out of 20011 with flag 1115000/1122537 299.02/161.07 c cleaning 10000 clauses out of 20011 with flag 1125000/1132537 301.45/162.39 c cleaning 9998 clauses out of 20011 with flag 1135000/1142537 304.22/163.85 c cleaning 10002 clauses out of 20013 with flag 1145000/1152537 306.62/165.13 c cleaning 9996 clauses out of 20011 with flag 1155000/1162537 309.05/166.45 c cleaning 10002 clauses out of 20015 with flag 1165000/1172537 311.27/167.63 c cleaning 10002 clauses out of 20013 with flag 1175000/1182537 313.82/169.08 c cleaning 10001 clauses out of 20011 with flag 1185000/1192537 316.46/170.50 c cleaning 9997 clauses out of 20010 with flag 1195000/1202537 319.25/171.93 c cleaning 10004 clauses out of 20013 with flag 1205000/1212537 321.87/173.34 c cleaning 9998 clauses out of 20009 with flag 1215000/1222537 324.63/174.89 c cleaning 10001 clauses out of 20011 with flag 1225000/1232537 327.23/176.26 c cleaning 9995 clauses out of 20010 with flag 1235000/1242537 330.05/177.70 c cleaning 10002 clauses out of 20015 with flag 1245000/1252537 332.67/179.17 c cleaning 10002 clauses out of 20013 with flag 1255000/1262537 335.44/180.64 c cleaning 9999 clauses out of 20011 with flag 1265000/1272537 338.25/182.13 c cleaning 9999 clauses out of 20012 with flag 1275000/1282537 340.85/183.54 c cleaning 10000 clauses out of 20013 with flag 1285000/1292537 343.46/185.00 c cleaning 10000 clauses out of 20013 with flag 1295000/1302537 346.40/186.53 c cleaning 10002 clauses out of 20013 with flag 1305000/1312537 348.80/187.86 c cleaning 9996 clauses out of 20011 with flag 1315000/1322537 351.45/189.28 c cleaning 10003 clauses out of 20015 with flag 1325000/1332537 355.45/191.36 c cleaning 9999 clauses out of 20013 with flag 1335001/1342538 359.15/193.32 c cleaning 10005 clauses out of 20014 with flag 1345001/1352538 363.36/195.51 c cleaning 9999 clauses out of 20009 with flag 1355001/1362538 367.16/197.56 c cleaning 9999 clauses out of 20009 with flag 1365000/1372537 371.37/199.74 c cleaning 10000 clauses out of 20010 with flag 1375000/1382537 375.50/201.98 c cleaning 10000 clauses out of 20011 with flag 1385001/1392538 380.31/204.42 c cleaning 9999 clauses out of 20011 with flag 1395001/1402538 384.75/206.79 c cleaning 9999 clauses out of 20012 with flag 1405001/1412538 388.52/208.78 c cleaning 9997 clauses out of 20013 with flag 1415001/1422538 392.87/211.03 c cleaning 10000 clauses out of 20016 with flag 1425001/1432538 396.88/213.16 c cleaning 10003 clauses out of 20016 with flag 1435001/1442538 401.08/215.36 c cleaning 10001 clauses out of 20013 with flag 1445001/1452538 404.88/217.39 c cleaning 10001 clauses out of 20012 with flag 1455001/1462538 409.21/219.64 c cleaning 10000 clauses out of 20011 with flag 1465001/1472538 413.41/221.88 c cleaning 9996 clauses out of 20011 with flag 1475001/1482538 417.81/224.17 c cleaning 10003 clauses out of 20015 with flag 1485001/1492538 422.01/226.37 c cleaning 9998 clauses out of 20012 with flag 1495001/1502538 426.34/228.65 c cleaning 10001 clauses out of 20014 with flag 1505001/1512538 430.34/230.78 c cleaning 9996 clauses out of 20013 with flag 1515001/1522538 433.14/232.21 c cleaning 10002 clauses out of 20017 with flag 1525001/1532538 435.74/233.69 c cleaning 10000 clauses out of 20015 with flag 1535001/1542538 438.45/235.19 c cleaning 10003 clauses out of 20015 with flag 1545001/1552538 441.45/236.73 c cleaning 9998 clauses out of 20012 with flag 1555001/1562538 444.25/238.23 c cleaning 9999 clauses out of 20014 with flag 1565001/1572538 447.07/239.80 c cleaning 10000 clauses out of 20015 with flag 1575001/1582538 449.96/241.36 c cleaning 10003 clauses out of 20015 with flag 1585001/1592538 452.76/242.90 c cleaning 9997 clauses out of 20012 with flag 1595001/1602538 455.76/244.43 c cleaning 10000 clauses out of 20015 with flag 1605001/1612538 458.56/245.99 c cleaning 10006 clauses out of 20014 with flag 1615000/1622537 462.86/248.22 c cleaning 9998 clauses out of 20008 with flag 1625000/1632537 466.86/250.35 c cleaning 10001 clauses out of 20010 with flag 1635000/1642537 470.86/252.49 c cleaning 9998 clauses out of 20009 with flag 1645000/1652537 475.07/254.65 c cleaning 10001 clauses out of 20011 with flag 1655000/1662537 479.39/256.93 c cleaning 9999 clauses out of 20010 with flag 1665000/1672537 483.59/259.11 c cleaning 10001 clauses out of 20011 with flag 1675000/1682537 487.79/261.31 c cleaning 10001 clauses out of 20010 with flag 1685000/1692537 491.79/263.46 c cleaning 9999 clauses out of 20009 with flag 1695000/1702537 495.95/265.66 c cleaning 9996 clauses out of 20010 with flag 1705000/1712537 500.14/267.80 c cleaning 10003 clauses out of 20014 with flag 1715000/1722537 504.14/269.98 c cleaning 9998 clauses out of 20011 with flag 1725000/1732537 508.34/272.18 c cleaning 10001 clauses out of 20013 with flag 1735000/1742537 512.14/274.19 c cleaning 9996 clauses out of 20012 with flag 1745000/1752537 516.33/276.38 c cleaning 10005 clauses out of 20016 with flag 1755000/1762537 520.33/278.41 c cleaning 10001 clauses out of 20012 with flag 1765001/1772538 524.53/280.69 c cleaning 10000 clauses out of 20011 with flag 1775001/1782538 529.25/283.15 c cleaning 9997 clauses out of 20011 with flag 1785001/1792538 533.65/285.41 c cleaning 9998 clauses out of 20014 with flag 1795001/1802538 538.05/287.72 c cleaning 10003 clauses out of 20016 with flag 1805001/1812538 542.45/290.03 c cleaning 10000 clauses out of 20013 with flag 1815001/1822538 546.78/292.36 c cleaning 9998 clauses out of 20013 with flag 1825001/1832538 551.18/294.68 c cleaning 10000 clauses out of 20015 with flag 1835001/1842538 555.61/296.98 c cleaning 10003 clauses out of 20015 with flag 1845001/1852538 560.02/299.29 c cleaning 9998 clauses out of 20012 with flag 1855001/1862538 564.53/301.65 c cleaning 9998 clauses out of 20014 with flag 1865001/1872538 568.73/303.88 c cleaning 9999 clauses out of 20016 with flag 1875001/1882538 573.12/306.12 c cleaning 10003 clauses out of 20017 with flag 1885001/1892538 577.32/308.36 c cleaning 10002 clauses out of 20014 with flag 1895001/1902538 581.87/310.70 c cleaning 10000 clauses out of 20012 with flag 1905001/1912538 586.27/313.00 c cleaning 9998 clauses out of 20012 with flag 1915001/1922538 590.47/315.22 c cleaning 10000 clauses out of 20014 with flag 1925001/1932538 594.86/317.52 c cleaning 10001 clauses out of 20014 with flag 1935001/1942538 599.07/319.77 c cleaning 10000 clauses out of 20013 with flag 1945001/1952538 603.27/321.95 c cleaning 9995 clauses out of 20013 with flag 1955001/1962538 607.67/324.25 c cleaning 10003 clauses out of 20018 with flag 1965001/1972538 611.87/326.46 c cleaning 9999 clauses out of 20015 with flag 1975001/1982538 616.06/328.66 c cleaning 10003 clauses out of 20015 with flag 1985000/1992537 619.86/330.63 c cleaning 10002 clauses out of 20013 with flag 1995001/2002538 623.47/332.56 c cleaning 10001 clauses out of 20011 with flag 2005001/2012538 627.27/334.55 c cleaning 9999 clauses out of 20009 with flag 2015000/2022537 631.38/336.70 c cleaning 9998 clauses out of 20011 with flag 2025001/2032538 635.20/338.81 c cleaning 9998 clauses out of 20013 with flag 2035001/2042538 639.40/340.92 c cleaning 9999 clauses out of 20014 with flag 2045000/2052537 643.18/342.99 c cleaning 10001 clauses out of 20015 with flag 2055000/2062537 647.29/345.17 c cleaning 9996 clauses out of 20014 with flag 2065000/2072537 651.29/347.20 c cleaning 10003 clauses out of 20019 with flag 2075001/2082538 655.69/349.53 c cleaning 9998 clauses out of 20016 with flag 2085001/2092538 660.31/351.97 c cleaning 10003 clauses out of 20018 with flag 2095001/2102538 664.89/354.38 c cleaning 10003 clauses out of 20015 with flag 2105001/2112538 669.69/356.84 c cleaning 9999 clauses out of 20012 with flag 2115001/2122538 673.29/358.72 c cleaning 10002 clauses out of 20013 with flag 2125001/2132538 676.89/360.60 c cleaning 10002 clauses out of 20011 with flag 2135001/2142538 680.62/362.61 c cleaning 9998 clauses out of 20009 with flag 2145001/2152538 684.22/364.58 c cleaning 10001 clauses out of 20011 with flag 2155001/2162538 688.03/366.57 c cleaning 10000 clauses out of 20010 with flag 2165001/2172538 691.65/368.47 c cleaning 10001 clauses out of 20010 with flag 2175001/2182538 695.38/370.46 c cleaning 9996 clauses out of 20009 with flag 2185001/2192538 699.78/372.72 c cleaning 10003 clauses out of 20013 with flag 2195001/2202538 703.98/374.93 c cleaning 9998 clauses out of 20010 with flag 2205001/2212538 708.18/377.12 c cleaning 10002 clauses out of 20012 with flag 2215001/2222538 712.28/379.38 c cleaning 9997 clauses out of 20010 with flag 2225001/2232538 716.48/381.54 c cleaning 10002 clauses out of 20013 with flag 2235001/2242538 720.48/383.64 c cleaning 9997 clauses out of 20011 with flag 2245001/2252538 724.68/385.83 c cleaning 10002 clauses out of 20014 with flag 2255001/2262538 728.81/388.08 c cleaning 9998 clauses out of 20012 with flag 2265001/2272538 733.02/390.22 c cleaning 10001 clauses out of 20014 with flag 2275001/2282538 736.61/392.14 c cleaning 9999 clauses out of 20013 with flag 2285001/2292538 740.21/394.04 c cleaning 9998 clauses out of 20014 with flag 2295001/2302538 743.97/396.09 c cleaning 10001 clauses out of 20016 with flag 2305001/2312538 747.73/398.02 c cleaning 10000 clauses out of 20015 with flag 2315001/2322538 751.33/399.95 c cleaning 9999 clauses out of 20015 with flag 2325001/2332538 754.93/401.82 c cleaning 10003 clauses out of 20016 with flag 2335001/2342538 758.27/403.70 c cleaning 9995 clauses out of 20013 with flag 2345001/2352538 762.04/405.61 c cleaning 10002 clauses out of 20018 with flag 2355001/2362538 765.43/407.47 c cleaning 10000 clauses out of 20016 with flag 2365001/2372538 769.02/409.31 c cleaning 10001 clauses out of 20016 with flag 2375001/2382538 772.55/411.23 c cleaning 9998 clauses out of 20015 with flag 2385001/2392538 776.14/413.11 c cleaning 10002 clauses out of 20017 with flag 2395001/2402538 779.54/414.95 c cleaning 9997 clauses out of 20015 with flag 2405001/2412538 783.15/416.83 c cleaning 10004 clauses out of 20018 with flag 2415001/2422538 786.85/418.82 c cleaning 9997 clauses out of 20014 with flag 2425001/2432538 789.84/420.40 c cleaning 10000 clauses out of 20016 with flag 2435000/2442537 793.46/422.35 c cleaning 10000 clauses out of 20017 with flag 2445001/2452538 796.02/423.78 c cleaning 9999 clauses out of 20017 with flag 2455001/2462538 799.30/425.55 c cleaning 10001 clauses out of 20018 with flag 2465001/2472538 803.10/427.59 c cleaning 9996 clauses out of 20017 with flag 2475001/2482538 807.08/429.68 c cleaning 10003 clauses out of 20021 with flag 2485001/2492538 811.07/431.70 c cleaning 9998 clauses out of 20018 with flag 2495001/2502538 814.96/433.84 c cleaning 10003 clauses out of 20020 with flag 2505001/2512538 818.94/435.98 c cleaning 10001 clauses out of 20017 with flag 2515001/2522538 823.12/438.16 c cleaning 10000 clauses out of 20016 with flag 2525001/2532538 827.31/440.31 c cleaning 9998 clauses out of 20016 with flag 2535001/2542538 831.21/442.49 c cleaning 10002 clauses out of 20018 with flag 2545001/2552538 835.19/444.58 c cleaning 9998 clauses out of 20016 with flag 2555001/2562538 838.99/446.60 c cleaning 9997 clauses out of 20018 with flag 2565001/2572538 842.94/448.67 c cleaning 10003 clauses out of 20021 with flag 2575001/2582538 846.85/450.78 c cleaning 10001 clauses out of 20018 with flag 2585001/2592538 850.63/452.76 c cleaning 10000 clauses out of 20017 with flag 2595001/2602538 854.41/454.74 c cleaning 9997 clauses out of 20017 with flag 2605001/2612538 858.38/456.82 c cleaning 10002 clauses out of 20020 with flag 2615001/2622538 862.25/458.94 c cleaning 10000 clauses out of 20018 with flag 2625001/2632538 866.05/460.94 c cleaning 9999 clauses out of 20018 with flag 2635001/2642538 869.59/462.89 c cleaning 9999 clauses out of 20019 with flag 2645001/2652538 873.36/464.86 c cleaning 10003 clauses out of 20019 with flag 2655000/2662537 877.43/467.00 c cleaning 9998 clauses out of 20016 with flag 2665000/2672537 881.20/469.04 c cleaning 10002 clauses out of 20018 with flag 2675000/2682537 885.17/471.12 c cleaning 9998 clauses out of 20016 with flag 2685000/2692537 888.95/473.18 c cleaning 10003 clauses out of 20018 with flag 2695000/2702537 893.02/475.37 c cleaning 10000 clauses out of 20015 with flag 2705000/2712537 897.03/477.48 c cleaning 10003 clauses out of 20015 with flag 2715000/2722537 901.20/479.67 c cleaning 9999 clauses out of 20012 with flag 2725000/2732537 905.16/481.77 c cleaning 9998 clauses out of 20013 with flag 2735000/2742537 909.44/484.01 c cleaning 9999 clauses out of 20015 with flag 2745000/2752537 913.40/486.17 c cleaning 10000 clauses out of 20016 with flag 2755000/2762537 917.57/488.32 c cleaning 10001 clauses out of 20016 with flag 2765000/2772537 921.51/490.44 c cleaning 9999 clauses out of 20015 with flag 2775000/2782537 925.79/492.78 c cleaning 10002 clauses out of 20016 with flag 2785000/2792537 929.95/494.99 c cleaning 9999 clauses out of 20014 with flag 2795000/2802537 934.32/497.23 c cleaning 10001 clauses out of 20015 with flag 2805000/2812537 938.48/499.42 c cleaning 9999 clauses out of 20014 with flag 2815000/2822537 942.69/501.71 c cleaning 9998 clauses out of 20015 with flag 2825000/2832537 946.69/503.86 c cleaning 10000 clauses out of 20017 with flag 2835000/2842537 950.85/506.04 c cleaning 9998 clauses out of 20017 with flag 2845000/2852537 955.00/508.25 c cleaning 10006 clauses out of 20019 with flag 2855000/2862537 959.24/510.52 c cleaning 9998 clauses out of 20013 with flag 2865000/2872537 963.39/512.72 c cleaning 10000 clauses out of 20015 with flag 2875000/2882537 967.39/514.88 c cleaning 9999 clauses out of 20015 with flag 2885000/2892537 971.53/517.02 c cleaning 10003 clauses out of 20016 with flag 2895000/2902537 975.60/519.24 c cleaning 9995 clauses out of 20013 with flag 2905000/2912537 979.74/521.48 c cleaning 10002 clauses out of 20018 with flag 2915000/2922537 984.07/523.72 c cleaning 9999 clauses out of 20016 with flag 2925000/2932537 988.23/525.96 c cleaning 10002 clauses out of 20017 with flag 2935000/2942537 992.68/528.31 c cleaning 10001 clauses out of 20015 with flag 2945000/2952537 996.83/530.53 c cleaning 9999 clauses out of 20014 with flag 2955000/2962537 1000.78/532.66 c cleaning 9999 clauses out of 20015 with flag 2965000/2972537 1004.74/534.78 c cleaning 10000 clauses out of 20016 with flag 2975000/2982537 1008.80/536.90 c cleaning 10006 clauses out of 20017 with flag 2985001/2992538 1012.37/538.89 c cleaning 9998 clauses out of 20011 with flag 2995001/3002538 1016.32/540.95 c cleaning 10002 clauses out of 20013 with flag 3005001/3012538 1018.69/542.24 c cleaning 9997 clauses out of 20010 with flag 3015000/3022537 1020.90/543.52 c cleaning 10002 clauses out of 20013 with flag 3025000/3032537 1023.44/544.96 c cleaning 9999 clauses out of 20011 with flag 3035000/3042537 1025.79/546.21 c cleaning 9998 clauses out of 20012 with flag 3045000/3052537 1028.33/547.63 c cleaning 10002 clauses out of 20014 with flag 3055000/3062537 1031.16/549.24 c cleaning 10001 clauses out of 20012 with flag 3065000/3072537 1033.31/550.44 c cleaning 10001 clauses out of 20011 with flag 3075000/3082537 1035.66/551.77 c cleaning 9998 clauses out of 20010 with flag 3085000/3092537 1038.20/553.15 c cleaning 10002 clauses out of 20012 with flag 3095000/3102537 1040.85/554.69 c cleaning 10000 clauses out of 20010 with flag 3105000/3112537 1043.19/555.94 c cleaning 10002 clauses out of 20011 with flag 3115001/3122538 1045.54/557.24 c cleaning 9997 clauses out of 20009 with flag 3125001/3132538 1048.08/558.64 c cleaning 9999 clauses out of 20012 with flag 3135001/3142538 1050.51/560.09 c cleaning 10001 clauses out of 20013 with flag 3145001/3152538 1054.05/562.00 c cleaning 10002 clauses out of 20012 with flag 3155001/3162538 1057.99/564.07 c cleaning 9998 clauses out of 20010 with flag 3165001/3172538 1061.93/566.11 c cleaning 9999 clauses out of 20012 with flag 3175001/3182538 1064.62/567.69 c cleaning 10000 clauses out of 20013 with flag 3185001/3192538 1067.52/569.21 c cleaning 10001 clauses out of 20013 with flag 3195001/3202538 1070.05/570.66 c cleaning 9997 clauses out of 20012 with flag 3205001/3212538 1072.79/572.19 c cleaning 10000 clauses out of 20015 with flag 3215001/3222538 1075.59/573.77 c cleaning 9999 clauses out of 20015 with flag 3225001/3232538 1078.35/575.24 c cleaning 9999 clauses out of 20016 with flag 3235001/3242538 1081.06/576.72 c cleaning 10003 clauses out of 20017 with flag 3245001/3252538 1083.80/578.21 c cleaning 9999 clauses out of 20014 with flag 3255001/3262538 1086.50/579.80 c cleaning 10000 clauses out of 20015 with flag 3265001/3272538 1089.20/581.25 c cleaning 9998 clauses out of 20015 with flag 3275001/3282538 1092.74/583.16 c cleaning 10000 clauses out of 20016 with flag 3285000/3292537 1097.08/585.48 c cleaning 10001 clauses out of 20016 with flag 3295000/3302537 1101.50/587.89 c cleaning 9999 clauses out of 20015 with flag 3305000/3312537 1106.03/590.28 c cleaning 10005 clauses out of 20016 with flag 3315000/3322537 1110.36/592.58 c cleaning 9998 clauses out of 20011 with flag 3325000/3332537 1114.90/594.97 c cleaning 10002 clauses out of 20013 with flag 3335000/3342537 1119.71/597.53 c cleaning 10000 clauses out of 20011 with flag 3345000/3352537 1124.04/599.80 c cleaning 10001 clauses out of 20011 with flag 3355000/3362537 1128.37/602.18 c cleaning 9996 clauses out of 20010 with flag 3365000/3372537 1132.89/604.54 c cleaning 9999 clauses out of 20014 with flag 3375000/3382537 1137.50/607.00 c cleaning 10001 clauses out of 20015 with flag 3385000/3392537 1142.06/609.42 c cleaning 10002 clauses out of 20014 with flag 3395000/3402537 1146.55/611.86 c cleaning 9997 clauses out of 20012 with flag 3405000/3412537 1151.08/614.24 c cleaning 10002 clauses out of 20015 with flag 3415000/3422537 1155.31/616.55 c cleaning 10005 clauses out of 20013 with flag 3425000/3432537 1160.05/619.08 c cleaning 9997 clauses out of 20008 with flag 3435000/3442537 1164.97/621.68 c cleaning 10000 clauses out of 20011 with flag 3445000/3452537 1169.90/624.23 c cleaning 9998 clauses out of 20011 with flag 3455000/3462537 1174.92/626.99 c cleaning 10001 clauses out of 20013 with flag 3465000/3472537 1179.81/629.51 c cleaning 10000 clauses out of 20012 with flag 3475000/3482537 1184.54/632.02 c cleaning 9999 clauses out of 20012 with flag 3485000/3492537 1189.48/634.67 c cleaning 10000 clauses out of 20013 with flag 3495000/3502537 1194.26/637.30 c cleaning 10002 clauses out of 20013 with flag 3505000/3512537 1199.17/639.80 c cleaning 10002 clauses out of 20011 with flag 3515000/3522537 1203.69/642.27 c cleaning 9998 clauses out of 20009 with flag 3525000/3532537 1208.41/644.78 c cleaning 9998 clauses out of 20011 with flag 3535000/3542537 1213.41/647.44 c cleaning 10001 clauses out of 20013 with flag 3545000/3552537 1217.93/649.85 c cleaning 9998 clauses out of 20012 with flag 3555000/3562537 1222.85/652.41 c cleaning 10001 clauses out of 20014 with flag 3565000/3572537 1227.56/654.99 c cleaning 10000 clauses out of 20013 with flag 3575000/3582537 1232.40/657.59 c cleaning 10001 clauses out of 20013 with flag 3585000/3592537 1237.50/660.24 c cleaning 10001 clauses out of 20012 with flag 3595000/3602537 1242.01/662.68 c cleaning 9996 clauses out of 20011 with flag 3605000/3612537 1246.72/665.19 c cleaning 10001 clauses out of 20015 with flag 3615000/3622537 1251.73/667.87 c cleaning 10001 clauses out of 20014 with flag 3625000/3632537 1256.44/670.34 c cleaning 10000 clauses out of 20013 with flag 3635000/3642537 1261.14/672.86 c cleaning 9998 clauses out of 20013 with flag 3645000/3652537 1265.08/674.92 c cleaning 10003 clauses out of 20016 with flag 3655001/3662538 1269.48/677.39 c cleaning 9999 clauses out of 20013 with flag 3665001/3672538 1274.03/679.79 c cleaning 9998 clauses out of 20014 with flag 3675001/3682538 1278.92/682.32 c cleaning 10004 clauses out of 20016 with flag 3685001/3692538 1283.62/684.81 c cleaning 9998 clauses out of 20012 with flag 3695001/3702538 1288.20/687.41 c cleaning 10002 clauses out of 20014 with flag 3705001/3712538 1292.91/689.85 c cleaning 9999 clauses out of 20012 with flag 3715001/3722538 1297.61/692.33 c cleaning 10001 clauses out of 20013 with flag 3725001/3732538 1302.12/694.74 c cleaning 9998 clauses out of 20012 with flag 3735001/3742538 1302.93/695.35 c cleaning 0 clauses out of 5172 with flag 0/5182 1307.32/697.52 c cleaning 10003 clauses out of 20014 with flag 3745001/3752538 1311.41/699.72 c cleaning 9996 clauses out of 20011 with flag 3755001/3762538 1315.51/701.91 c cleaning 10002 clauses out of 20015 with flag 3765001/3772538 1319.73/704.20 c cleaning 9998 clauses out of 20013 with flag 3775001/3782538 1324.04/706.52 c cleaning 10002 clauses out of 20015 with flag 3785001/3792538 1328.35/708.89 c cleaning 10000 clauses out of 20013 with flag 3795001/3802538 1332.86/711.24 c cleaning 10000 clauses out of 20013 with flag 3805001/3812538 1337.29/713.67 c cleaning 10000 clauses out of 20013 with flag 3815001/3822538 1341.60/715.96 c cleaning 9999 clauses out of 20013 with flag 3825001/3832538 1345.72/718.20 c cleaning 9996 clauses out of 20014 with flag 3835001/3842538 1350.08/720.46 c cleaning 10005 clauses out of 20018 with flag 3845001/3852538 1354.63/722.90 c cleaning 10000 clauses out of 20013 with flag 3855001/3862538 1358.95/725.20 c cleaning 10000 clauses out of 20013 with flag 3865001/3872538 1363.06/727.46 c cleaning 9998 clauses out of 20013 with flag 3875001/3882538 1367.38/729.74 c cleaning 10002 clauses out of 20015 with flag 3885001/3892538 1371.57/732.09 c cleaning 9999 clauses out of 20013 with flag 3895001/3902538 1375.88/734.33 c cleaning 9999 clauses out of 20014 with flag 3905001/3912538 1380.00/736.58 c cleaning 10002 clauses out of 20015 with flag 3915001/3922538 1384.33/738.86 c cleaning 9999 clauses out of 20013 with flag 3925001/3932538 1388.94/741.39 c cleaning 10001 clauses out of 20014 with flag 3935001/3942538 1393.43/743.74 c cleaning 10000 clauses out of 20013 with flag 3945001/3952538 1397.75/746.06 c cleaning 9999 clauses out of 20013 with flag 3955001/3962538 1402.07/748.32 c cleaning 9999 clauses out of 20014 with flag 3965001/3972538 1406.29/750.66 c cleaning 10003 clauses out of 20015 with flag 3975001/3982538 1410.21/752.72 c cleaning 10001 clauses out of 20012 with flag 3985001/3992538 1414.33/754.91 c cleaning 9999 clauses out of 20011 with flag 3995001/4002538 1418.45/757.16 c cleaning 10002 clauses out of 20012 with flag 4005001/4012538 1422.87/759.53 c cleaning 10000 clauses out of 20010 with flag 4015001/4022538 1426.98/761.71 c cleaning 9998 clauses out of 20010 with flag 4025001/4032538 1431.09/763.93 c cleaning 9999 clauses out of 20012 with flag 4035001/4042538 1435.01/766.06 c cleaning 10005 clauses out of 20013 with flag 4045001/4052538 1439.19/768.32 c cleaning 9999 clauses out of 20008 with flag 4055001/4062538 1443.10/770.44 c cleaning 9997 clauses out of 20009 with flag 4065001/4072538 1446.80/772.49 c cleaning 9999 clauses out of 20012 with flag 4075001/4082538 1450.91/774.62 c cleaning 10001 clauses out of 20013 with flag 4085001/4092538 1454.89/776.83 c cleaning 10001 clauses out of 20012 with flag 4095001/4102538 1458.63/778.89 c cleaning 9997 clauses out of 20011 with flag 4105001/4112538 1462.91/781.18 c cleaning 10001 clauses out of 20014 with flag 4115001/4122538 1467.01/783.36 c cleaning 10003 clauses out of 20013 with flag 4125001/4132538 1471.39/785.70 c cleaning 10001 clauses out of 20010 with flag 4135001/4142538 1475.51/787.91 c cleaning 10001 clauses out of 20009 with flag 4145001/4152538 1479.39/790.06 c cleaning 9995 clauses out of 20008 with flag 4155001/4162538 1483.29/792.19 c cleaning 10002 clauses out of 20013 with flag 4165001/4172538 1487.29/794.40 c cleaning 9997 clauses out of 20011 with flag 4175001/4182538 1491.58/796.63 c cleaning 10003 clauses out of 20014 with flag 4185001/4192538 1495.66/798.82 c cleaning 9998 clauses out of 20011 with flag 4195001/4202538 1499.38/800.89 c cleaning 10002 clauses out of 20013 with flag 4205001/4212538 1503.56/803.14 c cleaning 9999 clauses out of 20011 with flag 4215001/4222538 1507.46/805.27 c cleaning 10002 clauses out of 20012 with flag 4225001/4232538 1511.35/807.33 c cleaning 9995 clauses out of 20010 with flag 4235001/4242538 1515.21/809.49 c cleaning 10003 clauses out of 20015 with flag 4245001/4252538 1519.22/811.70 c cleaning 9999 clauses out of 20012 with flag 4255001/4262538 1523.33/813.82 c cleaning 10000 clauses out of 20013 with flag 4265001/4272538 1527.23/815.91 c cleaning 10000 clauses out of 20013 with flag 4275001/4282538 1530.93/817.99 c cleaning 10002 clauses out of 20013 with flag 4285001/4292538 1535.03/820.11 c cleaning 10001 clauses out of 20011 with flag 4295001/4302538 1538.73/822.13 c cleaning 9998 clauses out of 20010 with flag 4305001/4312538 1542.63/824.23 c cleaning 10003 clauses out of 20012 with flag 4315001/4322538 1546.53/826.32 c cleaning 9998 clauses out of 20009 with flag 4325001/4332538 1550.44/828.41 c cleaning 9998 clauses out of 20011 with flag 4335001/4342538 1554.53/830.62 c cleaning 10001 clauses out of 20013 with flag 4345001/4352538 1558.23/832.69 c cleaning 9998 clauses out of 20012 with flag 4355001/4362538 1562.09/834.80 c cleaning 10002 clauses out of 20014 with flag 4365001/4372538 1566.18/836.92 c cleaning 10002 clauses out of 20012 with flag 4375001/4382538 1570.09/839.03 c cleaning 9999 clauses out of 20010 with flag 4385001/4392538 1573.99/841.14 c cleaning 9999 clauses out of 20011 with flag 4395001/4402538 1577.71/843.12 c cleaning 9997 clauses out of 20012 with flag 4405001/4412538 1581.53/845.25 c cleaning 10002 clauses out of 20015 with flag 4415001/4422538 1585.44/847.32 c cleaning 9999 clauses out of 20013 with flag 4425001/4432538 1589.16/849.36 c cleaning 9999 clauses out of 20014 with flag 4435001/4442538 1593.27/851.57 c cleaning 10005 clauses out of 20015 with flag 4445001/4452538 1597.50/853.81 c cleaning 9999 clauses out of 20010 with flag 4455001/4462538 1601.41/855.93 c cleaning 9999 clauses out of 20011 with flag 4465001/4472538 1605.52/858.15 c cleaning 10000 clauses out of 20012 with flag 4475001/4482538 1608.82/859.95 c cleaning 9997 clauses out of 20012 with flag 4485001/4492538 1612.57/862.05 c cleaning 10005 clauses out of 20015 with flag 4495001/4502538 1616.48/864.17 c cleaning 10000 clauses out of 20010 with flag 4505001/4512538 1620.78/866.46 c cleaning 9997 clauses out of 20010 with flag 4515001/4522538 1624.28/868.32 c cleaning 10003 clauses out of 20013 with flag 4525001/4532538 1628.03/870.44 c cleaning 9997 clauses out of 20010 with flag 4535001/4542538 1631.93/872.52 c cleaning 10000 clauses out of 20013 with flag 4545001/4552538 1635.83/874.68 c cleaning 9998 clauses out of 20013 with flag 4555001/4562538 1639.75/876.79 c cleaning 10003 clauses out of 20015 with flag 4565001/4572538 1644.11/879.11 c cleaning 10001 clauses out of 20012 with flag 4575001/4582538 1648.21/881.33 c cleaning 9999 clauses out of 20011 with flag 4585001/4592538 1652.51/883.61 c cleaning 10002 clauses out of 20012 with flag 4595001/4602538 1656.61/885.85 c cleaning 9998 clauses out of 20010 with flag 4605001/4612538 1660.22/887.83 c cleaning 10000 clauses out of 20012 with flag 4615001/4622538 1663.52/889.69 c cleaning 9998 clauses out of 20012 with flag 4625001/4632538 1667.22/891.62 c cleaning 10001 clauses out of 20014 with flag 4635001/4642538 1670.72/893.53 c cleaning 10001 clauses out of 20013 with flag 4645001/4652538 1674.26/895.44 c cleaning 10000 clauses out of 20012 with flag 4655001/4662538 1677.73/897.35 c cleaning 9999 clauses out of 20012 with flag 4665001/4672538 1681.22/899.25 c cleaning 10003 clauses out of 20013 with flag 4675001/4682538 1685.11/901.40 c cleaning 9999 clauses out of 20010 with flag 4685001/4692538 1689.25/903.67 c cleaning 9997 clauses out of 20011 with flag 4695001/4702538 1693.31/905.82 c cleaning 9999 clauses out of 20014 with flag 4705001/4712538 1697.18/907.97 c cleaning 10000 clauses out of 20015 with flag 4715001/4722538 1701.25/910.12 c cleaning 10002 clauses out of 20015 with flag 4725001/4732538 1705.23/912.31 c cleaning 9997 clauses out of 20013 with flag 4735001/4742538 1709.12/914.49 c cleaning 10000 clauses out of 20016 with flag 4745001/4752538 1713.22/916.64 c cleaning 10000 clauses out of 20016 with flag 4755001/4762538 1717.11/918.79 c cleaning 10003 clauses out of 20016 with flag 4765001/4772538 1720.84/920.77 c cleaning 10000 clauses out of 20013 with flag 4775001/4782538 1724.50/922.78 c cleaning 9999 clauses out of 20013 with flag 4785001/4792538 1728.40/924.87 c cleaning 10000 clauses out of 20014 with flag 4795001/4802538 1732.09/926.89 c cleaning 9997 clauses out of 20014 with flag 4805001/4812538 1736.24/929.14 c cleaning 10001 clauses out of 20017 with flag 4815001/4822538 1740.14/931.24 c cleaning 10004 clauses out of 20016 with flag 4825001/4832538 1743.83/933.28 c cleaning 9998 clauses out of 20012 with flag 4835001/4842538 1747.91/935.40 c cleaning 10002 clauses out of 20014 with flag 4845001/4852538 1751.61/937.43 c cleaning 9995 clauses out of 20012 with flag 4855001/4862538 1755.50/939.52 c cleaning 10003 clauses out of 20017 with flag 4865001/4872538 1759.43/941.68 c cleaning 9999 clauses out of 20014 with flag 4875001/4882538 1763.33/943.80 c cleaning 10000 clauses out of 20015 with flag 4885001/4892538 1767.32/945.97 c cleaning 9997 clauses out of 20015 with flag 4895001/4902538 1771.17/948.10 c cleaning 10005 clauses out of 20018 with flag 4905001/4912538 1774.86/950.09 c cleaning 9999 clauses out of 20013 with flag 4915001/4922538 1778.53/952.00 c cleaning 9999 clauses out of 20014 with flag 4925001/4932538 1782.22/954.03 c cleaning 10002 clauses out of 20015 with flag 4935001/4942538 1785.89/956.06 c cleaning 9999 clauses out of 20013 with flag 4945001/4952538 1789.81/958.15 c cleaning 10003 clauses out of 20014 with flag 4955001/4962538 1793.68/960.24 c cleaning 9997 clauses out of 20011 with flag 4965001/4972538 1797.61/962.49 c cleaning 10002 clauses out of 20014 with flag 4975001/4982538 1800.09/963.82 c starts : 284 1800.09/963.82 c conflicts : 4988565 1800.09/963.82 c decisions : 5021617 1800.09/963.82 c propagations : 38566339 1800.09/963.82 c inspects : 2016207464 1800.09/963.82 c shortcuts : 0 1800.09/963.82 c learnt literals : 0 1800.09/963.82 c learnt binary clauses : 38 1800.09/963.82 c learnt ternary clauses : 190 1800.09/963.82 c learnt constraints : 4988565 1800.09/963.82 c ignored constraints : 0 1800.09/963.82 c root simplifications : 0 1800.09/963.82 c removed literals (reason simplification) : 566305761 1800.09/963.82 c reason swapping (by a shorter reason) : 0 1800.09/963.82 c Calls to reduceDB : 500 1800.09/963.82 c number of reductions to clauses (during analyze) : 0 1800.09/963.82 c number of learned constraints concerned by reduction : 0 1800.09/963.82 c number of learning phase by resolution : 0 1800.09/963.82 c number of learning phase by cutting planes : 0 1800.09/963.82 c speed (assignments/second) : 40258.07377622451 1800.09/963.82 c non guided choices 76 1800.09/963.83 c learnt constraints type 1800.09/963.84 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 38 1800.09/963.84 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16064 1800.09/963.84 c constraints type 1800.09/963.84 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 126 1800.09/963.84 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.09/963.84 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1476 1800.09/963.84 c constraints type 1800.09/963.84 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1476 1800.09/963.84 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 126 1800.09/963.84 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.09/963.84 s SATISFIABLE 1800.09/963.84 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 1800.09/963.84 c objective function=191 1800.09/963.84 c Total wall clock time (in seconds): 963.729
OK 191
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-3455142-1307189154/watcher-3455142-1307189154 -o /tmp/evaluation-result-3455142-1307189154/solver-3455142-1307189154 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455142-1307189154.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.96 3.23 2.67 2/474 26445 /proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 5172 0 1 0 0 0 0 0 25 0 2 0 830513305 10694979584 4874 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2611079 4886 917 9 0 2602235 0 [pid=26445/tid=26446] ppid=26442 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 6366 0 1 0 0 0 0 0 25 0 2 0 830513305 10694979584 7182 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.089751 s] /proc/loadavg: 2.96 3.23 2.67 2/474 26445 /proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10539820 CPUtime=0.09 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 12938 0 1 0 8 1 0 0 25 0 18 0 830513305 10792775680 12624 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2634955 12624 2084 9 0 2625689 0 [pid=26445/tid=26446] ppid=26442 vsize=10539820 CPUtime=0.07 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 11054 0 1 0 6 1 0 0 18 0 18 0 830513305 10792775680 12624 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271550537472 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539820 [startup+0.100565 s] /proc/loadavg: 2.96 3.23 2.67 2/474 26445 /proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10539820 CPUtime=0.1 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 13117 0 1 0 9 1 0 0 25 0 18 0 830513305 10792775680 12803 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2634955 12804 2093 9 0 2625689 0 [pid=26445/tid=26446] ppid=26442 vsize=10539820 CPUtime=0.08 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) R 26442 26445 23433 0 -1 4202560 11220 0 1 0 7 1 0 0 18 0 18 0 830513305 10792775680 12804 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 47911356297221 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539820 [startup+0.300485 s] /proc/loadavg: 2.96 3.23 2.67 2/474 26445 /proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10546524 CPUtime=0.56 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 17109 0 1 0 54 2 0 0 25 0 22 0 830513305 10799640576 15907 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2636631 15908 2209 9 0 2627365 0 [pid=26445/tid=26446] ppid=26442 vsize=10546524 CPUtime=0.26 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12776 0 1 0 25 1 0 0 19 0 22 0 830513305 10799640576 15908 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 10546524 [startup+0.700484 s] /proc/loadavg: 2.96 3.23 2.67 2/474 26445 /proc/meminfo: memFree=30823320/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10546756 CPUtime=0.66 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 17481 0 1 0 64 2 0 0 25 0 19 0 830513305 10799878144 15990 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2636689 15990 2218 9 0 2627423 0 [pid=26445/tid=26446] ppid=26442 vsize=10546756 CPUtime=0.26 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12776 0 1 0 25 1 0 0 19 0 19 0 830513305 10799878144 15990 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 10546756 [startup+1.50134 s] /proc/loadavg: 2.88 3.21 2.66 3/493 26471 /proc/meminfo: memFree=30766632/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10547904 CPUtime=0.83 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 18331 0 1 0 81 2 0 0 25 0 19 0 830513305 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2636976 16640 2224 9 0 2627710 0 [pid=26445/tid=26446] ppid=26442 vsize=10547904 CPUtime=0.27 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 12891 0 1 0 26 1 0 0 17 0 19 0 830513305 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830513308 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513310 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10547904 CPUtime=0.21 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 2371 0 0 0 21 0 0 0 16 0 19 0 830513310 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10547904 CPUtime=0.23 cores=0,2,4,6 /proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 1668 0 0 0 23 0 0 0 15 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26463] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26464] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830513311 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26467] ppid=26442 vsize=10547904 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830513334 10801053696 16640 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.83 Current children cumulated vsize (KiB) 10547904 [startup+3.10104 s] /proc/loadavg: 2.88 3.21 2.66 3/493 26477 /proc/meminfo: memFree=30762664/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10552168 CPUtime=1.52 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 27022 0 1 0 149 3 0 0 25 0 19 0 830513305 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2638042 22609 2227 9 0 2628776 0 [pid=26445/tid=26446] ppid=26442 vsize=10552168 CPUtime=0.28 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13025 0 1 0 27 1 0 0 16 0 19 0 830513305 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513307 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830513308 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513310 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10552168 CPUtime=0.59 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) R 26442 26445 23433 0 -1 4202560 8870 0 0 0 58 1 0 0 16 0 19 0 830513310 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 47911357147474 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10552168 CPUtime=0.4 cores=0,2,4,6 /proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3137 0 0 0 40 0 0 0 16 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26463] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26464] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830513311 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26467] ppid=26442 vsize=10552168 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830513334 10805420032 22609 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 10552168 heavy processes: [startup+6.30139 s] /proc/loadavg: 2.88 3.21 2.66 3/493 26502 /proc/meminfo: memFree=30545028/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10552600 CPUtime=5.09 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 113105 0 1 0 494 15 0 0 25 0 22 0 830513305 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2638150 106377 2259 9 0 2628884 0 [pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13210 0 1 0 27 1 0 0 17 0 22 0 830513305 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 372 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 241 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 265 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 248 0 0 0 0 0 0 0 18 0 22 0 830513307 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=0.02 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 1318 0 0 0 2 0 0 0 15 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 106377 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.4 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11437 0 0 0 139 1 0 0 15 0 22 0 830513310 10805862400 106378 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.74 cores=0,2,4,6 ################ # More data... # ################ [pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=712.99 cores=0,2,4,6 /proc/26445/task/26503/stat : 26503 (java) S 26442 26445 23433 0 -1 4202560 2745 0 0 0 71297 2 0 0 17 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=713.03 cores=0,2,4,6 /proc/26445/task/26504/stat : 26504 (java) S 26442 26445 23433 0 -1 4202560 170986 0 0 0 71283 20 0 0 17 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 327559 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1538.96 Current children cumulated vsize (KiB) 10552600 [startup+882.301 s] /proc/loadavg: 3.80 3.80 3.37 4/496 26698 /proc/meminfo: memFree=29298908/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10552600 CPUtime=1649.91 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 338811 0 1 0 164937 54 0 0 25 0 22 0 830513305 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2638150 331494 2260 9 0 2628884 0 [pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13276 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 636 0 0 0 96 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.91 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 91 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.9 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 248 0 0 0 90 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=0.97 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 113 0 0 0 97 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.02 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 858 0 0 0 102 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=0.97 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 97 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0.92 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 412 0 0 0 92 0 0 0 15 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.92 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 757 0 0 0 92 0 0 0 16 0 22 0 830513307 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=110.43 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 86073 0 0 0 11026 17 0 0 16 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6 /proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=763.57 cores=0,2,4,6 /proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2746 0 0 0 76355 2 0 0 16 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505722645 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=763.63 cores=0,2,4,6 /proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170987 0 0 0 76343 20 0 0 16 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912506080930 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 331494 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1649.91 Current children cumulated vsize (KiB) 10552600 [startup+942.301 s] /proc/loadavg: 3.71 3.77 3.38 5/496 26700 /proc/meminfo: memFree=29281152/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10552600 CPUtime=1760.5 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 341726 0 1 0 175994 56 0 0 25 0 22 0 830513305 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2638150 334376 2260 9 0 2628884 0 [pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13298 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=1.01 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 636 0 0 0 101 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 252 0 0 0 96 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=1.03 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 126 0 0 0 103 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.07 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 861 0 0 0 107 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=1.03 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 103 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=0.96 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 419 0 0 0 96 0 0 0 15 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 769 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=120 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 88918 0 0 0 11981 19 0 0 16 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6 /proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 6 0 0 0 [pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=813.85 cores=0,2,4,6 /proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2752 0 0 0 81383 2 0 0 16 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505675812 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=813.94 cores=0,2,4,6 /proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170988 0 0 0 81373 21 0 0 16 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505689832 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 334376 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (KiB) 10552600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+963.801 s] /proc/loadavg: 3.56 3.74 3.37 5/496 26700 /proc/meminfo: memFree=29273200/32951124 swapFree=55639044/67111528 [pid=26445] ppid=26442 vsize=10552600 CPUtime=1800.09 cores=0,2,4,6 /proc/26445/stat : 26445 (java) S 26442 26445 23433 0 -1 4202496 342117 0 1 0 179952 57 0 0 25 0 22 0 830513305 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/26445/statm: 2638150 334753 2260 9 0 2628884 0 [pid=26445/tid=26446] ppid=26442 vsize=10552600 CPUtime=0.28 cores=0,2,4,6 /proc/26445/task/26446/stat : 26446 (java) S 26442 26445 23433 0 -1 4202560 13304 0 1 0 27 1 0 0 15 0 22 0 830513305 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26449] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6 /proc/26445/task/26449/stat : 26449 (java) S 26442 26445 23433 0 -1 4202560 639 0 0 0 104 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26450] ppid=26442 vsize=10552600 CPUtime=0.99 cores=0,2,4,6 /proc/26445/task/26450/stat : 26450 (java) S 26442 26445 23433 0 -1 4202560 335 0 0 0 99 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26451] ppid=26442 vsize=10552600 CPUtime=0.98 cores=0,2,4,6 /proc/26445/task/26451/stat : 26451 (java) S 26442 26445 23433 0 -1 4202560 252 0 0 0 98 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26452] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6 /proc/26445/task/26452/stat : 26452 (java) S 26442 26445 23433 0 -1 4202560 126 0 0 0 104 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26453] ppid=26442 vsize=10552600 CPUtime=1.1 cores=0,2,4,6 /proc/26445/task/26453/stat : 26453 (java) S 26442 26445 23433 0 -1 4202560 873 0 0 0 110 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26454] ppid=26442 vsize=10552600 CPUtime=1.04 cores=0,2,4,6 /proc/26445/task/26454/stat : 26454 (java) S 26442 26445 23433 0 -1 4202560 614 0 0 0 104 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26455] ppid=26442 vsize=10552600 CPUtime=1 cores=0,2,4,6 /proc/26445/task/26455/stat : 26455 (java) S 26442 26445 23433 0 -1 4202560 419 0 0 0 100 0 0 0 15 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26456] ppid=26442 vsize=10552600 CPUtime=0.99 cores=0,2,4,6 /proc/26445/task/26456/stat : 26456 (java) S 26442 26445 23433 0 -1 4202560 769 0 0 0 99 0 0 0 16 0 22 0 830513307 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26457] ppid=26442 vsize=10552600 CPUtime=123.47 cores=0,2,4,6 /proc/26445/task/26457/stat : 26457 (java) S 26442 26445 23433 0 -1 4202560 89282 0 0 0 12328 19 0 0 16 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 0 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26458] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26458/stat : 26458 (java) S 26442 26445 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26459] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26459/stat : 26459 (java) S 26442 26445 23433 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830513308 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26460] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26460/stat : 26460 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513310 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562361265 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26461] ppid=26442 vsize=10552600 CPUtime=1.74 cores=0,2,4,6 /proc/26445/task/26461/stat : 26461 (java) S 26442 26445 23433 0 -1 4202560 11484 0 0 0 173 1 0 0 15 0 22 0 830513310 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26462] ppid=26442 vsize=10552600 CPUtime=0.86 cores=0,2,4,6 /proc/26445/task/26462/stat : 26462 (java) S 26442 26445 23433 0 -1 4202560 3423 0 0 0 86 0 0 0 16 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26463] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26463/stat : 26463 (java) S 26442 26445 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562353561 0 4 0 16800975 18446604446166637312 0 0 -1 4 0 0 0 [pid=26445/tid=26464] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26464/stat : 26464 (java) S 26442 26445 23433 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830513311 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 0 0 0 0 [pid=26445/tid=26467] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26467/stat : 26467 (java) S 26442 26445 23433 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830513334 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 [pid=26445/tid=26503] ppid=26442 vsize=10552600 CPUtime=831.81 cores=0,2,4,6 /proc/26445/task/26503/stat : 26503 (java) R 26442 26445 23433 0 -1 4202560 2754 0 0 0 83179 2 0 0 16 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505755540 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26445/tid=26504] ppid=26442 vsize=10552600 CPUtime=831.92 cores=0,2,4,6 /proc/26445/task/26504/stat : 26504 (java) R 26442 26445 23433 0 -1 4202560 170990 0 0 0 83171 21 0 0 17 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 46912505871185 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26445/tid=26505] ppid=26442 vsize=10552600 CPUtime=0 cores=0,2,4,6 /proc/26445/task/26505/stat : 26505 (java) S 26442 26445 23433 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830513890 10805862400 334753 33554432000 1073741824 1073778376 140733349560720 18446744073709551615 271562354176 0 4 0 16800975 18446604446166637312 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 10552600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 963.892 CPU time (s): 1800.22 CPU user time (s): 1799.59 CPU system time (s): 0.630904 CPU usage (%): 186.766 Max. virtual memory (cumulated for all children) (KiB): 10553956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.630904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 342151 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= 37630 involuntary context switches= 13510 runsolver used 4.84626 second user time and 10.1325 second system time The end
Begin job on node133 at 2011-06-04 14:05:54 IDJOB=3455142 IDBENCH=2171 IDSOLVER=1950 FILE ID=node133/3455142-1307189154 RUNJOBID= node133-1307188073-26140 PBS_JOBID= 13508830 Free space on /tmp= 73980 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455142-1307189154/watcher-3455142-1307189154 -o /tmp/evaluation-result-3455142-1307189154/solver-3455142-1307189154 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455142-1307189154.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=1176246668 node133.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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.834 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.82 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.834 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 : 6741.12 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30823592 kB Buffers: 326944 kB Cached: 511792 kB SwapCached: 10584 kB Active: 1383512 kB Inactive: 468572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30823592 kB SwapTotal: 67111528 kB SwapFree: 55639044 kB Dirty: 500 kB Writeback: 0 kB AnonPages: 1010740 kB Mapped: 21252 kB Slab: 152944 kB PageTables: 55312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 125270660 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73980 MiB End job on node133 at 2011-06-04 14:22:00