Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1803.57 | 980.148 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 44.8062 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 723 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.16 c version 2.2.0.v20100531 0.08/0.16 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.16 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.16 c java.vm.version 11.2-b01 0.08/0.16 c java.vm.vendor Sun Microsystems Inc. 0.08/0.16 c sun.arch.data.model 32 0.08/0.16 c java.version 1.6.0_12 0.08/0.16 c os.name Linux 0.08/0.16 c os.version 2.6.18-164.el5 0.08/0.16 c os.arch i386 0.08/0.16 c Free memory 1393557488 0.08/0.16 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@4413ee 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1cb25f1 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.23 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.23 c No reason simplification 0.22/0.23 c Armin Biere (Picosat) restarts strategy 0.22/0.23 c Glucose learned constraints deletion strategy 0.22/0.23 c timeout=2147483s 0.22/0.23 c DB Simplification allowed=false 0.22/0.23 c --- End Solver configuration --- 0.22/0.23 0.22/0.23 c solving HOME/instance-2662419-1276296899.opb 0.22/0.23 c reading problem ... 1.08/0.73 c ... done. Wall clock time 0.507s. 1.08/0.73 c #vars 231 1.08/0.73 c #constraints 2707 1.08/0.73 c constraints type 1.08/0.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442 1.08/0.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.08/0.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242 1.08/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1.08/0.73 c constraints type 1.08/0.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 242 1.08/0.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2442 1.08/0.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.08/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 8.20/4.37 c cleaning 2496 clauses out of 5000 with flag 5000/5000 9.55/5.09 c cleaning 4249 clauses out of 8505 with flag 11001/11001 11.28/5.90 c cleaning 5621 clauses out of 11255 with flag 18000/18000 13.41/7.01 c cleaning 6814 clauses out of 13635 with flag 26001/26001 15.73/8.20 c cleaning 7907 clauses out of 15822 with flag 35002/35002 18.07/9.46 c cleaning 8950 clauses out of 17913 with flag 45000/45000 20.99/10.92 c cleaning 9476 clauses out of 18963 with flag 55000/55000 23.69/12.33 c cleaning 9737 clauses out of 19488 with flag 65001/65001 26.41/13.72 c cleaning 9871 clauses out of 19750 with flag 75000/75000 29.12/15.11 c cleaning 9933 clauses out of 19879 with flag 85000/85000 32.03/16.68 c cleaning 9968 clauses out of 19946 with flag 95000/95000 34.54/17.98 c cleaning 9981 clauses out of 19980 with flag 105002/105002 37.64/19.51 c cleaning 9990 clauses out of 19998 with flag 115001/115001 40.36/20.98 c cleaning 10001 clauses out of 20008 with flag 125001/125001 43.25/22.48 c cleaning 10001 clauses out of 20008 with flag 135002/135002 45.76/23.72 c cleaning 9996 clauses out of 20006 with flag 145001/145001 48.26/25.09 c cleaning 9995 clauses out of 20009 with flag 155000/155000 51.15/26.51 c cleaning 10001 clauses out of 20015 with flag 165001/165001 53.45/27.77 c cleaning 9998 clauses out of 20013 with flag 175000/175000 55.95/29.07 c cleaning 10002 clauses out of 20015 with flag 185000/185000 58.63/30.49 c cleaning 10002 clauses out of 20015 with flag 195002/195002 61.14/31.77 c cleaning 9998 clauses out of 20011 with flag 205000/205000 64.03/33.22 c cleaning 10004 clauses out of 20014 with flag 215001/215001 66.73/34.69 c cleaning 9999 clauses out of 20009 with flag 225000/225000 69.39/36.06 c cleaning 9996 clauses out of 20010 with flag 235000/235000 72.10/37.43 c cleaning 10003 clauses out of 20015 with flag 245001/245001 74.57/38.80 c cleaning 10002 clauses out of 20011 with flag 255000/255000 77.47/40.22 c cleaning 9998 clauses out of 20010 with flag 265001/265001 80.54/41.84 c cleaning 9997 clauses out of 20012 with flag 275001/275001 83.41/43.31 c cleaning 10005 clauses out of 20015 with flag 285001/285001 86.31/44.81 c cleaning 9994 clauses out of 20010 with flag 295001/295001 89.00/46.29 c cleaning 10002 clauses out of 20015 with flag 305000/305000 91.65/47.66 c cleaning 9997 clauses out of 20014 with flag 315001/315001 94.53/49.12 c cleaning 10001 clauses out of 20016 with flag 325000/325000 97.21/50.51 c cleaning 10004 clauses out of 20015 with flag 335000/335000 99.50/51.73 c cleaning 10000 clauses out of 20013 with flag 345002/345002 102.33/53.22 c cleaning 10003 clauses out of 20013 with flag 355002/355002 105.21/54.75 c cleaning 9999 clauses out of 20009 with flag 365001/365001 107.89/56.15 c cleaning 10003 clauses out of 20011 with flag 375002/375002 110.56/57.53 c cleaning 9992 clauses out of 20006 with flag 385000/385000 113.40/59.02 c cleaning 10002 clauses out of 20016 with flag 395002/395002 116.08/60.49 c cleaning 9997 clauses out of 20013 with flag 405001/405001 118.74/61.87 c cleaning 9999 clauses out of 20016 with flag 415001/415001 121.42/63.21 c cleaning 10005 clauses out of 20018 with flag 425002/425002 123.87/64.53 c cleaning 10001 clauses out of 20012 with flag 435001/435001 126.74/66.04 c cleaning 9999 clauses out of 20011 with flag 445001/445001 129.40/67.43 c cleaning 10001 clauses out of 20012 with flag 455001/455001 132.07/68.81 c cleaning 10001 clauses out of 20012 with flag 465002/465002 134.51/70.13 c cleaning 10000 clauses out of 20009 with flag 475000/475000 137.18/71.54 c cleaning 10000 clauses out of 20010 with flag 485001/485001 139.63/72.87 c cleaning 9998 clauses out of 20009 with flag 495000/495000 142.30/74.20 c cleaning 9995 clauses out of 20011 with flag 505000/505000 144.74/75.51 c cleaning 10000 clauses out of 20016 with flag 515000/515000 147.22/76.82 c cleaning 10002 clauses out of 20017 with flag 525001/525001 149.88/78.21 c cleaning 10002 clauses out of 20015 with flag 535001/535001 152.53/79.65 c cleaning 10001 clauses out of 20012 with flag 545000/545000 155.37/81.19 c cleaning 10004 clauses out of 20015 with flag 555004/555004 158.23/82.66 c cleaning 9998 clauses out of 20007 with flag 565000/565000 160.89/84.02 c cleaning 10000 clauses out of 20009 with flag 575000/575000 163.75/85.52 c cleaning 9997 clauses out of 20010 with flag 585001/585001 166.56/87.04 c cleaning 10001 clauses out of 20012 with flag 595000/595000 169.42/88.56 c cleaning 10002 clauses out of 20011 with flag 605000/605000 172.27/90.02 c cleaning 9997 clauses out of 20010 with flag 615001/615001 174.74/91.40 c cleaning 10000 clauses out of 20015 with flag 625003/625003 177.56/92.88 c cleaning 9998 clauses out of 20013 with flag 635001/635001 180.21/94.30 c cleaning 10002 clauses out of 20014 with flag 645000/645000 183.08/95.73 c cleaning 9998 clauses out of 20012 with flag 655000/655000 185.72/97.11 c cleaning 10002 clauses out of 20014 with flag 665000/665000 188.34/98.53 c cleaning 9997 clauses out of 20013 with flag 675001/675001 190.99/99.92 c cleaning 10003 clauses out of 20015 with flag 685000/685000 193.26/101.18 c cleaning 9999 clauses out of 20013 with flag 695001/695001 195.89/102.53 c cleaning 10001 clauses out of 20013 with flag 705000/705000 198.31/103.88 c cleaning 9998 clauses out of 20013 with flag 715001/715001 200.96/105.28 c cleaning 10002 clauses out of 20014 with flag 725000/725000 203.62/106.62 c cleaning 9999 clauses out of 20013 with flag 735001/735001 206.06/107.90 c cleaning 10001 clauses out of 20013 with flag 745000/745000 208.48/109.20 c cleaning 10002 clauses out of 20014 with flag 755002/755002 211.14/110.61 c cleaning 10001 clauses out of 20011 with flag 765001/765001 213.59/111.96 c cleaning 9997 clauses out of 20011 with flag 775002/775002 216.82/113.65 c cleaning 9996 clauses out of 20012 with flag 785000/785000 219.44/115.09 c cleaning 9995 clauses out of 20016 with flag 795000/795000 222.29/116.60 c cleaning 10004 clauses out of 20021 with flag 805000/805000 225.12/118.00 c cleaning 10004 clauses out of 20018 with flag 815001/815001 227.76/119.44 c cleaning 10002 clauses out of 20016 with flag 825003/825003 230.58/120.97 c cleaning 9999 clauses out of 20012 with flag 835001/835001 233.21/122.38 c cleaning 10002 clauses out of 20015 with flag 845003/845003 235.86/123.78 c cleaning 10002 clauses out of 20012 with flag 855002/855002 238.50/125.17 c cleaning 9998 clauses out of 20008 with flag 865000/865000 241.12/126.58 c cleaning 9999 clauses out of 20010 with flag 875000/875000 244.34/128.24 c cleaning 10003 clauses out of 20014 with flag 885003/885003 247.00/129.62 c cleaning 10002 clauses out of 20008 with flag 895000/895000 248.25/130.35 c cleaning 0 clauses out of 5003 with flag 0/5003 249.86/131.22 c cleaning 9996 clauses out of 20008 with flag 905002/905002 252.90/132.90 c cleaning 9999 clauses out of 20012 with flag 915002/915002 255.74/134.36 c cleaning 9999 clauses out of 20011 with flag 925000/925000 258.38/135.75 c cleaning 9999 clauses out of 20012 with flag 935000/935000 261.19/137.23 c cleaning 10004 clauses out of 20014 with flag 945001/945001 264.02/138.71 c cleaning 10004 clauses out of 20013 with flag 955004/955004 266.47/140.08 c cleaning 9997 clauses out of 20006 with flag 965001/965001 268.91/141.38 c cleaning 9995 clauses out of 20008 with flag 975000/975000 271.72/142.85 c cleaning 10001 clauses out of 20013 with flag 985000/985000 274.18/144.16 c cleaning 9995 clauses out of 20012 with flag 995000/995000 276.99/145.63 c cleaning 10004 clauses out of 20019 with flag 1005002/1005002 279.64/147.09 c cleaning 10001 clauses out of 20014 with flag 1015001/1015001 282.63/148.69 c cleaning 9997 clauses out of 20013 with flag 1025001/1025001 285.66/150.23 c cleaning 10002 clauses out of 20015 with flag 1035000/1035000 288.51/151.76 c cleaning 10004 clauses out of 20016 with flag 1045003/1045003 291.32/153.28 c cleaning 10000 clauses out of 20009 with flag 1055000/1055000 294.52/154.92 c cleaning 10000 clauses out of 20011 with flag 1065002/1065002 297.17/156.39 c cleaning 9997 clauses out of 20010 with flag 1075001/1075001 300.00/157.88 c cleaning 9996 clauses out of 20012 with flag 1085000/1085000 303.04/159.41 c cleaning 9999 clauses out of 20016 with flag 1095000/1095000 306.21/161.17 c cleaning 9997 clauses out of 20018 with flag 1105001/1105001 309.26/162.73 c cleaning 10001 clauses out of 20020 with flag 1115000/1115000 311.87/164.17 c cleaning 10005 clauses out of 20022 with flag 1125003/1125003 314.70/165.63 c cleaning 10005 clauses out of 20017 with flag 1135003/1135003 317.71/167.26 c cleaning 10000 clauses out of 20009 with flag 1145000/1145000 320.72/168.84 c cleaning 9985 clauses out of 20010 with flag 1155001/1155001 323.55/170.38 c cleaning 10005 clauses out of 20024 with flag 1165000/1165000 326.58/171.90 c cleaning 10009 clauses out of 20023 with flag 1175004/1175004 329.37/173.48 c cleaning 9999 clauses out of 20010 with flag 1185000/1185000 332.39/175.09 c cleaning 9999 clauses out of 20011 with flag 1195000/1195000 335.22/176.56 c cleaning 9997 clauses out of 20013 with flag 1205001/1205001 338.24/178.14 c cleaning 9998 clauses out of 20015 with flag 1215000/1215000 341.42/179.81 c cleaning 9998 clauses out of 20018 with flag 1225001/1225001 344.03/181.28 c cleaning 9999 clauses out of 20020 with flag 1235001/1235001 347.05/182.85 c cleaning 10001 clauses out of 20020 with flag 1245000/1245000 350.27/184.59 c cleaning 9999 clauses out of 20019 with flag 1255000/1255000 353.25/186.14 c cleaning 10001 clauses out of 20021 with flag 1265001/1265001 356.07/187.64 c cleaning 9999 clauses out of 20019 with flag 1275000/1275000 358.70/189.07 c cleaning 9995 clauses out of 20020 with flag 1285000/1285000 361.32/190.46 c cleaning 10008 clauses out of 20028 with flag 1295003/1295003 364.09/191.92 c cleaning 10000 clauses out of 20017 with flag 1305000/1305000 366.92/193.48 c cleaning 10002 clauses out of 20017 with flag 1315000/1315000 369.95/195.02 c cleaning 10004 clauses out of 20018 with flag 1325003/1325003 372.57/196.45 c cleaning 9993 clauses out of 20011 with flag 1335000/1335000 375.37/197.97 c cleaning 10005 clauses out of 20020 with flag 1345002/1345002 378.18/199.43 c cleaning 10000 clauses out of 20013 with flag 1355000/1355000 380.80/200.82 c cleaning 9999 clauses out of 20013 with flag 1365000/1365000 383.42/202.24 c cleaning 9994 clauses out of 20014 with flag 1375000/1375000 386.21/203.74 c cleaning 10004 clauses out of 20020 with flag 1385000/1385000 389.03/205.28 c cleaning 10001 clauses out of 20016 with flag 1395000/1395000 392.07/206.82 c cleaning 10002 clauses out of 20016 with flag 1405001/1405001 395.07/208.45 c cleaning 10001 clauses out of 20014 with flag 1415001/1415001 398.26/210.18 c cleaning 10003 clauses out of 20014 with flag 1425002/1425002 401.26/211.73 c cleaning 9997 clauses out of 20010 with flag 1435001/1435001 403.87/213.20 c cleaning 10001 clauses out of 20013 with flag 1445001/1445001 406.90/214.75 c cleaning 9997 clauses out of 20012 with flag 1455001/1455001 409.88/216.30 c cleaning 10003 clauses out of 20018 with flag 1465004/1465004 412.50/217.75 c cleaning 10000 clauses out of 20011 with flag 1475000/1475000 415.31/219.20 c cleaning 9998 clauses out of 20012 with flag 1485001/1485001 418.12/220.74 c cleaning 10002 clauses out of 20013 with flag 1495000/1495000 420.92/222.27 c cleaning 10001 clauses out of 20011 with flag 1505000/1505000 423.71/223.73 c cleaning 10002 clauses out of 20010 with flag 1515000/1515000 426.52/225.28 c cleaning 9998 clauses out of 20008 with flag 1525000/1525000 429.34/226.75 c cleaning 9998 clauses out of 20013 with flag 1535003/1535003 432.31/228.36 c cleaning 10002 clauses out of 20015 with flag 1545003/1545003 435.13/229.86 c cleaning 10000 clauses out of 20011 with flag 1555001/1555001 438.13/231.41 c cleaning 10001 clauses out of 20010 with flag 1565000/1565000 440.93/232.96 c cleaning 9996 clauses out of 20010 with flag 1575001/1575001 444.10/234.69 c cleaning 10003 clauses out of 20016 with flag 1585003/1585003 447.12/236.24 c cleaning 9995 clauses out of 20011 with flag 1595001/1595001 449.75/237.65 c cleaning 10003 clauses out of 20017 with flag 1605002/1605002 452.54/239.19 c cleaning 10003 clauses out of 20013 with flag 1615001/1615001 455.51/240.70 c cleaning 10000 clauses out of 20010 with flag 1625001/1625001 458.32/242.26 c cleaning 10001 clauses out of 20011 with flag 1635002/1635002 461.13/243.71 c cleaning 9995 clauses out of 20008 with flag 1645000/1645000 463.74/245.16 c cleaning 9995 clauses out of 20013 with flag 1655000/1655000 466.51/246.60 c cleaning 10000 clauses out of 20019 with flag 1665001/1665001 469.32/248.19 c cleaning 10003 clauses out of 20018 with flag 1675000/1675000 472.52/249.83 c cleaning 9999 clauses out of 20015 with flag 1685000/1685000 475.32/251.31 c cleaning 10000 clauses out of 20018 with flag 1695002/1695002 478.31/252.97 c cleaning 10005 clauses out of 20016 with flag 1705000/1705000 481.50/254.62 c cleaning 10000 clauses out of 20012 with flag 1715001/1715001 484.31/256.13 c cleaning 10003 clauses out of 20011 with flag 1725000/1725000 487.31/257.74 c cleaning 9999 clauses out of 20009 with flag 1735001/1735001 490.26/259.31 c cleaning 9994 clauses out of 20011 with flag 1745002/1745002 493.06/260.83 c cleaning 9999 clauses out of 20017 with flag 1755002/1755002 496.06/262.43 c cleaning 9996 clauses out of 20016 with flag 1765000/1765000 498.86/263.93 c cleaning 10004 clauses out of 20022 with flag 1775002/1775002 501.80/265.51 c cleaning 10003 clauses out of 20016 with flag 1785000/1785000 504.41/266.99 c cleaning 10006 clauses out of 20019 with flag 1795006/1795006 507.40/268.51 c cleaning 9997 clauses out of 20008 with flag 1805001/1805001 510.20/270.05 c cleaning 9996 clauses out of 20011 with flag 1815001/1815001 513.17/271.61 c cleaning 10005 clauses out of 20014 with flag 1825000/1825000 516.16/273.24 c cleaning 9999 clauses out of 20010 with flag 1835001/1835001 518.96/274.79 c cleaning 9997 clauses out of 20010 with flag 1845000/1845000 521.96/276.37 c cleaning 10004 clauses out of 20016 with flag 1855003/1855003 524.92/277.98 c cleaning 9995 clauses out of 20010 with flag 1865001/1865001 527.73/279.49 c cleaning 10000 clauses out of 20014 with flag 1875000/1875000 530.72/281.08 c cleaning 9994 clauses out of 20014 with flag 1885000/1885000 533.52/282.57 c cleaning 10006 clauses out of 20021 with flag 1895001/1895001 536.48/284.11 c cleaning 10003 clauses out of 20015 with flag 1905001/1905001 539.08/285.54 c cleaning 10002 clauses out of 20014 with flag 1915003/1915003 542.27/287.27 c cleaning 9989 clauses out of 20009 with flag 1925000/1925000 545.27/288.81 c cleaning 10000 clauses out of 20021 with flag 1935001/1935001 548.23/290.44 c cleaning 10006 clauses out of 20022 with flag 1945002/1945002 551.21/292.09 c cleaning 9996 clauses out of 20014 with flag 1955000/1955000 554.42/293.73 c cleaning 10001 clauses out of 20018 with flag 1965000/1965000 557.40/295.33 c cleaning 10002 clauses out of 20017 with flag 1975000/1975000 560.36/296.92 c cleaning 10004 clauses out of 20015 with flag 1985000/1985000 563.55/298.67 c cleaning 10002 clauses out of 20013 with flag 1995002/1995002 566.34/300.17 c cleaning 10002 clauses out of 20010 with flag 2005001/2005001 569.13/301.65 c cleaning 9996 clauses out of 20008 with flag 2015001/2015001 572.08/303.25 c cleaning 10002 clauses out of 20012 with flag 2025001/2025001 574.88/304.74 c cleaning 9999 clauses out of 20011 with flag 2035002/2035002 577.86/306.33 c cleaning 10000 clauses out of 20012 with flag 2045002/2045002 580.46/307.80 c cleaning 9999 clauses out of 20013 with flag 2055003/2055003 583.21/309.29 c cleaning 9999 clauses out of 20013 with flag 2065002/2065002 586.19/310.85 c cleaning 9995 clauses out of 20012 with flag 2075000/2075000 589.19/312.41 c cleaning 9996 clauses out of 20018 with flag 2085001/2085001 592.17/314.05 c cleaning 10004 clauses out of 20022 with flag 2095001/2095001 595.50/315.87 c cleaning 10007 clauses out of 20019 with flag 2105002/2105002 598.49/317.48 c cleaning 10001 clauses out of 20012 with flag 2115002/2115002 601.49/319.06 c cleaning 10000 clauses out of 20010 with flag 2125001/2125001 604.46/320.64 c cleaning 9998 clauses out of 20009 with flag 2135000/2135000 607.61/322.35 c cleaning 10002 clauses out of 20011 with flag 2145000/2145000 610.38/323.87 c cleaning 10001 clauses out of 20010 with flag 2155001/2155001 613.37/325.44 c cleaning 9995 clauses out of 20008 with flag 2165000/2165000 615.95/326.86 c cleaning 10003 clauses out of 20014 with flag 2175001/2175001 619.09/328.51 c cleaning 10001 clauses out of 20010 with flag 2185000/2185000 621.89/330.09 c cleaning 9994 clauses out of 20009 with flag 2195000/2195000 624.86/331.62 c cleaning 9997 clauses out of 20015 with flag 2205000/2205000 627.85/333.25 c cleaning 10002 clauses out of 20018 with flag 2215000/2215000 631.35/335.12 c cleaning 9995 clauses out of 20016 with flag 2225000/2225000 634.13/336.65 c cleaning 10006 clauses out of 20021 with flag 2235000/2235000 637.29/338.31 c cleaning 10006 clauses out of 20019 with flag 2245004/2245004 640.07/339.82 c cleaning 9999 clauses out of 20010 with flag 2255001/2255001 642.99/341.43 c cleaning 10000 clauses out of 20011 with flag 2265001/2265001 645.96/343.09 c cleaning 9999 clauses out of 20010 with flag 2275000/2275000 649.13/344.73 c cleaning 10002 clauses out of 20013 with flag 2285002/2285002 652.10/346.31 c cleaning 9999 clauses out of 20009 with flag 2295000/2295000 654.83/347.89 c cleaning 10002 clauses out of 20013 with flag 2305003/2305003 657.80/349.48 c cleaning 9995 clauses out of 20008 with flag 2315000/2315000 660.97/351.12 c cleaning 10004 clauses out of 20015 with flag 2325002/2325002 663.94/352.71 c cleaning 10005 clauses out of 20015 with flag 2335006/2335006 667.06/354.42 c cleaning 9998 clauses out of 20007 with flag 2345003/2345003 670.04/356.01 c cleaning 10002 clauses out of 20010 with flag 2355004/2355004 672.83/357.53 c cleaning 9995 clauses out of 20005 with flag 2365001/2365001 675.79/359.20 c cleaning 9999 clauses out of 20009 with flag 2375000/2375000 679.30/361.07 c cleaning 10000 clauses out of 20011 with flag 2385001/2385001 682.25/362.68 c cleaning 10001 clauses out of 20011 with flag 2395001/2395001 685.41/364.32 c cleaning 10000 clauses out of 20010 with flag 2405001/2405001 688.59/366.08 c cleaning 10000 clauses out of 20010 with flag 2415001/2415001 691.51/367.66 c cleaning 9995 clauses out of 20011 with flag 2425002/2425002 694.50/369.28 c cleaning 10001 clauses out of 20015 with flag 2435001/2435001 697.46/370.83 c cleaning 9993 clauses out of 20013 with flag 2445000/2445000 700.24/372.34 c cleaning 10006 clauses out of 20022 with flag 2455002/2455002 703.38/374.01 c cleaning 10002 clauses out of 20016 with flag 2465002/2465002 706.13/375.54 c cleaning 10001 clauses out of 20013 with flag 2475001/2475001 709.32/377.22 c cleaning 9998 clauses out of 20012 with flag 2485001/2485001 712.27/378.80 c cleaning 9998 clauses out of 20016 with flag 2495003/2495003 715.58/380.63 c cleaning 9994 clauses out of 20015 with flag 2505000/2505000 718.14/382.04 c cleaning 10005 clauses out of 20022 with flag 2515001/2515001 720.91/383.58 c cleaning 9992 clauses out of 20018 with flag 2525002/2525002 723.89/385.14 c cleaning 10004 clauses out of 20027 with flag 2535003/2535003 726.61/386.64 c cleaning 10006 clauses out of 20020 with flag 2545000/2545000 729.38/388.19 c cleaning 9996 clauses out of 20015 with flag 2555001/2555001 731.95/389.57 c cleaning 10003 clauses out of 20019 with flag 2565001/2565001 734.72/391.03 c cleaning 10006 clauses out of 20019 with flag 2575004/2575004 737.43/392.59 c cleaning 9998 clauses out of 20010 with flag 2585001/2585001 740.36/394.17 c cleaning 10002 clauses out of 20011 with flag 2595000/2595000 743.32/395.71 c cleaning 9997 clauses out of 20010 with flag 2605001/2605001 745.91/397.19 c cleaning 10000 clauses out of 20016 with flag 2615004/2615004 748.80/398.73 c cleaning 10005 clauses out of 20017 with flag 2625005/2625005 751.56/400.25 c cleaning 9998 clauses out of 20008 with flag 2635001/2635001 754.52/401.88 c cleaning 9994 clauses out of 20009 with flag 2645000/2645000 757.48/403.48 c cleaning 9998 clauses out of 20015 with flag 2655000/2655000 760.39/405.04 c cleaning 10001 clauses out of 20017 with flag 2665000/2665000 763.36/406.60 c cleaning 10006 clauses out of 20018 with flag 2675002/2675002 766.31/408.23 c cleaning 9999 clauses out of 20010 with flag 2685000/2685000 769.08/409.78 c cleaning 9998 clauses out of 20011 with flag 2695000/2695000 772.00/411.38 c cleaning 10001 clauses out of 20014 with flag 2705001/2705001 774.76/412.88 c cleaning 10006 clauses out of 20016 with flag 2715004/2715004 777.72/414.46 c cleaning 9997 clauses out of 20006 with flag 2725000/2725000 780.69/416.03 c cleaning 10000 clauses out of 20010 with flag 2735001/2735001 783.60/417.67 c cleaning 10001 clauses out of 20009 with flag 2745000/2745000 786.96/419.43 c cleaning 9998 clauses out of 20009 with flag 2755001/2755001 789.92/421.04 c cleaning 10001 clauses out of 20011 with flag 2765001/2765001 792.68/422.54 c cleaning 9998 clauses out of 20009 with flag 2775000/2775000 795.60/424.19 c cleaning 10002 clauses out of 20012 with flag 2785001/2785001 798.75/425.80 c cleaning 9997 clauses out of 20009 with flag 2795000/2795000 801.51/427.31 c cleaning 9999 clauses out of 20012 with flag 2805000/2805000 803.88/428.68 c cleaning 10003 clauses out of 20013 with flag 2815000/2815000 806.99/430.30 c cleaning 9997 clauses out of 20010 with flag 2825000/2825000 809.75/431.81 c cleaning 10003 clauses out of 20013 with flag 2835000/2835000 812.72/433.48 c cleaning 9991 clauses out of 20014 with flag 2845004/2845004 815.46/434.98 c cleaning 10003 clauses out of 20022 with flag 2855003/2855003 818.77/436.72 c cleaning 9998 clauses out of 20016 with flag 2865000/2865000 821.72/438.36 c cleaning 9999 clauses out of 20018 with flag 2875000/2875000 825.07/440.13 c cleaning 10000 clauses out of 20022 with flag 2885003/2885003 828.43/441.97 c cleaning 10004 clauses out of 20025 with flag 2895006/2895006 831.74/443.77 c cleaning 10005 clauses out of 20019 with flag 2905004/2905004 834.70/445.31 c cleaning 9999 clauses out of 20011 with flag 2915001/2915001 837.85/447.05 c cleaning 9997 clauses out of 20012 with flag 2925001/2925001 841.23/448.84 c cleaning 9988 clauses out of 20015 with flag 2935001/2935001 844.12/450.41 c cleaning 10002 clauses out of 20026 with flag 2945000/2945000 847.29/452.14 c cleaning 10008 clauses out of 20025 with flag 2955001/2955001 850.03/453.69 c cleaning 10001 clauses out of 20016 with flag 2965000/2965000 853.39/455.41 c cleaning 10006 clauses out of 20017 with flag 2975002/2975002 856.07/456.95 c cleaning 9994 clauses out of 20010 with flag 2985001/2985001 859.02/458.51 c cleaning 10000 clauses out of 20015 with flag 2995000/2995000 862.16/460.23 c cleaning 10006 clauses out of 20018 with flag 3005003/3005003 865.12/461.85 c cleaning 10002 clauses out of 20009 with flag 3015000/3015000 867.81/463.31 c cleaning 9997 clauses out of 20009 with flag 3025002/3025002 870.37/464.73 c cleaning 10001 clauses out of 20010 with flag 3035000/3035000 873.13/466.25 c cleaning 9997 clauses out of 20010 with flag 3045001/3045001 875.88/467.76 c cleaning 10005 clauses out of 20015 with flag 3055003/3055003 878.96/469.48 c cleaning 9999 clauses out of 20011 with flag 3065004/3065004 881.70/470.91 c cleaning 10000 clauses out of 20008 with flag 3075000/3075000 884.44/472.46 c cleaning 9995 clauses out of 20008 with flag 3085000/3085000 887.19/473.93 c cleaning 9998 clauses out of 20014 with flag 3095001/3095001 889.88/475.50 c cleaning 10001 clauses out of 20017 with flag 3105002/3105002 892.82/477.02 c cleaning 10002 clauses out of 20014 with flag 3115000/3115000 895.76/478.65 c cleaning 9999 clauses out of 20014 with flag 3125002/3125002 898.50/480.12 c cleaning 9998 clauses out of 20014 with flag 3135001/3135001 901.18/481.68 c cleaning 10002 clauses out of 20015 with flag 3145000/3145000 904.13/483.28 c cleaning 9999 clauses out of 20013 with flag 3155000/3155000 907.07/484.84 c cleaning 10004 clauses out of 20015 with flag 3165001/3165001 909.63/486.29 c cleaning 9998 clauses out of 20010 with flag 3175000/3175000 912.70/487.97 c cleaning 9998 clauses out of 20012 with flag 3185000/3185000 915.83/489.61 c cleaning 10005 clauses out of 20016 with flag 3195002/3195002 918.57/491.18 c cleaning 10001 clauses out of 20011 with flag 3205002/3205002 921.52/492.79 c cleaning 10001 clauses out of 20013 with flag 3215005/3215005 924.59/494.44 c cleaning 9998 clauses out of 20014 with flag 3225007/3225007 927.33/495.98 c cleaning 9996 clauses out of 20009 with flag 3235000/3235000 930.27/497.53 c cleaning 10001 clauses out of 20014 with flag 3245001/3245001 933.40/499.23 c cleaning 10000 clauses out of 20012 with flag 3255000/3255000 936.49/500.99 c cleaning 9999 clauses out of 20014 with flag 3265002/3265002 939.43/502.54 c cleaning 10002 clauses out of 20015 with flag 3275002/3275002 942.37/504.18 c cleaning 10000 clauses out of 20011 with flag 3285000/3285000 945.50/505.80 c cleaning 10000 clauses out of 20012 with flag 3295001/3295001 948.18/507.38 c cleaning 10000 clauses out of 20013 with flag 3305002/3305002 950.91/508.87 c cleaning 9998 clauses out of 20012 with flag 3315001/3315001 953.86/510.47 c cleaning 10002 clauses out of 20013 with flag 3325000/3325000 957.18/512.22 c cleaning 9999 clauses out of 20011 with flag 3335000/3335000 960.26/513.91 c cleaning 10000 clauses out of 20012 with flag 3345000/3345000 963.39/515.62 c cleaning 10003 clauses out of 20013 with flag 3355001/3355001 966.52/517.34 c cleaning 9996 clauses out of 20009 with flag 3365000/3365000 969.66/519.04 c cleaning 10000 clauses out of 20014 with flag 3375001/3375001 972.94/520.86 c cleaning 9999 clauses out of 20014 with flag 3385001/3385001 976.09/522.52 c cleaning 10000 clauses out of 20014 with flag 3395000/3395000 979.01/524.14 c cleaning 10003 clauses out of 20015 with flag 3405001/3405001 982.15/525.82 c cleaning 10002 clauses out of 20011 with flag 3415000/3415000 984.82/527.34 c cleaning 9995 clauses out of 20014 with flag 3425005/3425005 987.36/528.79 c cleaning 10005 clauses out of 20016 with flag 3435002/3435002 990.30/530.38 c cleaning 10003 clauses out of 20011 with flag 3445002/3445002 993.04/531.88 c cleaning 9998 clauses out of 20006 with flag 3455000/3455000 995.92/533.50 c cleaning 9998 clauses out of 20008 with flag 3465000/3465000 999.05/535.15 c cleaning 10003 clauses out of 20012 with flag 3475002/3475002 1001.79/536.65 c cleaning 9999 clauses out of 20009 with flag 3485002/3485002 1004.53/538.16 c cleaning 10003 clauses out of 20013 with flag 3495005/3495005 1007.22/539.65 c cleaning 10000 clauses out of 20007 with flag 3505002/3505002 1009.97/541.18 c cleaning 9998 clauses out of 20006 with flag 3515001/3515001 1013.09/542.89 c cleaning 9997 clauses out of 20008 with flag 3525001/3525001 1016.24/544.51 c cleaning 9996 clauses out of 20012 with flag 3535002/3535002 1019.11/546.18 c cleaning 10001 clauses out of 20014 with flag 3545000/3545000 1021.85/547.68 c cleaning 9997 clauses out of 20014 with flag 3555001/3555001 1024.79/549.27 c cleaning 10004 clauses out of 20019 with flag 3565003/3565003 1027.73/550.84 c cleaning 10003 clauses out of 20012 with flag 3575000/3575000 1030.60/552.42 c cleaning 9995 clauses out of 20010 with flag 3585001/3585001 1033.73/554.19 c cleaning 10003 clauses out of 20015 with flag 3595001/3595001 1036.67/555.76 c cleaning 9997 clauses out of 20011 with flag 3605000/3605000 1039.81/557.47 c cleaning 10001 clauses out of 20014 with flag 3615000/3615000 1042.90/559.18 c cleaning 10000 clauses out of 20014 with flag 3625001/3625001 1045.83/560.79 c cleaning 10003 clauses out of 20014 with flag 3635001/3635001 1049.36/562.65 c cleaning 9998 clauses out of 20010 with flag 3645000/3645000 1052.51/564.35 c cleaning 10001 clauses out of 20013 with flag 3655001/3655001 1055.77/566.15 c cleaning 10002 clauses out of 20012 with flag 3665001/3665001 1058.90/567.86 c cleaning 9995 clauses out of 20011 with flag 3675002/3675002 1061.84/569.48 c cleaning 9998 clauses out of 20015 with flag 3685001/3685001 1064.97/571.11 c cleaning 9998 clauses out of 20017 with flag 3695001/3695001 1067.83/572.71 c cleaning 10005 clauses out of 20018 with flag 3705000/3705000 1070.58/574.26 c cleaning 10001 clauses out of 20014 with flag 3715001/3715001 1073.49/575.84 c cleaning 10003 clauses out of 20012 with flag 3725000/3725000 1076.43/577.47 c cleaning 9994 clauses out of 20009 with flag 3735000/3735000 1079.49/579.18 c cleaning 10000 clauses out of 20015 with flag 3745000/3745000 1082.80/580.94 c cleaning 10002 clauses out of 20015 with flag 3755000/3755000 1086.13/582.70 c cleaning 10000 clauses out of 20015 with flag 3765002/3765002 1089.06/584.37 c cleaning 10002 clauses out of 20013 with flag 3775000/3775000 1092.13/586.09 c cleaning 10000 clauses out of 20012 with flag 3785001/3785001 1095.46/587.82 c cleaning 9996 clauses out of 20012 with flag 3795001/3795001 1098.79/589.64 c cleaning 10000 clauses out of 20015 with flag 3805000/3805000 1101.71/591.22 c cleaning 10003 clauses out of 20019 with flag 3815004/3815004 1104.97/593.05 c cleaning 10001 clauses out of 20013 with flag 3825001/3825001 1107.70/594.56 c cleaning 9996 clauses out of 20011 with flag 3835000/3835000 1110.64/596.13 c cleaning 10004 clauses out of 20016 with flag 3845001/3845001 1113.55/597.77 c cleaning 10003 clauses out of 20013 with flag 3855002/3855002 1116.62/599.46 c cleaning 9999 clauses out of 20008 with flag 3865000/3865000 1119.53/601.09 c cleaning 9998 clauses out of 20012 with flag 3875003/3875003 1122.86/602.83 c cleaning 9999 clauses out of 20011 with flag 3885000/3885000 1125.77/604.46 c cleaning 10000 clauses out of 20014 with flag 3895002/3895002 1128.64/606.09 c cleaning 10002 clauses out of 20013 with flag 3905001/3905001 1131.75/607.77 c cleaning 9997 clauses out of 20011 with flag 3915001/3915001 1134.69/609.40 c cleaning 10000 clauses out of 20014 with flag 3925001/3925001 1137.79/611.03 c cleaning 10001 clauses out of 20015 with flag 3935002/3935002 1140.87/612.78 c cleaning 9999 clauses out of 20012 with flag 3945000/3945000 1143.97/614.41 c cleaning 10000 clauses out of 20013 with flag 3955000/3955000 1147.09/616.14 c cleaning 10001 clauses out of 20014 with flag 3965001/3965001 1150.01/617.79 c cleaning 9998 clauses out of 20012 with flag 3975000/3975000 1153.07/619.47 c cleaning 10000 clauses out of 20016 with flag 3985002/3985002 1156.38/621.25 c cleaning 9997 clauses out of 20018 with flag 3995004/3995004 1159.51/622.90 c cleaning 10005 clauses out of 20019 with flag 4005002/4005002 1162.63/624.61 c cleaning 10000 clauses out of 20016 with flag 4015004/4015004 1165.68/626.36 c cleaning 9998 clauses out of 20014 with flag 4025002/4025002 1169.00/628.15 c cleaning 9996 clauses out of 20014 with flag 4035000/4035000 1171.91/629.78 c cleaning 10003 clauses out of 20018 with flag 4045000/4045000 1175.22/631.55 c cleaning 9996 clauses out of 20015 with flag 4055000/4055000 1178.48/633.32 c cleaning 10000 clauses out of 20019 with flag 4065000/4065000 1181.20/634.88 c cleaning 10006 clauses out of 20021 with flag 4075002/4075002 1184.32/636.50 c cleaning 9991 clauses out of 20016 with flag 4085003/4085003 1187.82/638.49 c cleaning 9989 clauses out of 20023 with flag 4095001/4095001 1191.65/640.50 c cleaning 10000 clauses out of 20033 with flag 4105000/4105000 1194.78/642.24 c cleaning 10007 clauses out of 20033 with flag 4115000/4115000 1198.09/644.00 c cleaning 10007 clauses out of 20027 with flag 4125001/4125001 1201.22/645.72 c cleaning 10001 clauses out of 20019 with flag 4135000/4135000 1204.45/647.59 c cleaning 10005 clauses out of 20020 with flag 4145002/4145002 1207.77/649.36 c cleaning 10002 clauses out of 20014 with flag 4155001/4155001 1211.09/651.13 c cleaning 10003 clauses out of 20013 with flag 4165002/4165002 1214.18/652.86 c cleaning 9995 clauses out of 20008 with flag 4175000/4175000 1217.63/654.70 c cleaning 9999 clauses out of 20014 with flag 4185001/4185001 1220.34/656.28 c cleaning 9998 clauses out of 20015 with flag 4195001/4195001 1223.66/658.00 c cleaning 10004 clauses out of 20017 with flag 4205001/4205001 1226.76/659.71 c cleaning 10002 clauses out of 20014 with flag 4215002/4215002 1229.80/661.46 c cleaning 9997 clauses out of 20010 with flag 4225000/4225000 1232.71/663.05 c cleaning 10003 clauses out of 20015 with flag 4235002/4235002 1235.82/664.73 c cleaning 10001 clauses out of 20011 with flag 4245001/4245001 1238.93/666.42 c cleaning 9999 clauses out of 20011 with flag 4255002/4255002 1241.98/668.12 c cleaning 10002 clauses out of 20011 with flag 4265001/4265001 1244.89/669.76 c cleaning 10000 clauses out of 20010 with flag 4275002/4275002 1248.00/671.50 c cleaning 9998 clauses out of 20009 with flag 4285001/4285001 1251.12/673.18 c cleaning 10002 clauses out of 20011 with flag 4295001/4295001 1254.15/674.87 c cleaning 10002 clauses out of 20010 with flag 4305002/4305002 1257.27/676.58 c cleaning 9998 clauses out of 20008 with flag 4315002/4315002 1260.76/678.44 c cleaning 9997 clauses out of 20011 with flag 4325003/4325003 1263.86/680.12 c cleaning 10001 clauses out of 20015 with flag 4335004/4335004 1267.12/681.92 c cleaning 10000 clauses out of 20010 with flag 4345000/4345000 1270.41/683.73 c cleaning 9998 clauses out of 20011 with flag 4355001/4355001 1273.90/685.65 c cleaning 9996 clauses out of 20012 with flag 4365000/4365000 1277.21/687.44 c cleaning 10003 clauses out of 20016 with flag 4375000/4375000 1280.04/689.09 c cleaning 10001 clauses out of 20013 with flag 4385000/4385000 1282.75/690.56 c cleaning 9999 clauses out of 20012 with flag 4395000/4395000 1285.85/692.25 c cleaning 10001 clauses out of 20013 with flag 4405000/4405000 1288.77/693.88 c cleaning 10000 clauses out of 20013 with flag 4415001/4415001 1291.80/695.54 c cleaning 10003 clauses out of 20015 with flag 4425003/4425003 1294.71/697.11 c cleaning 10000 clauses out of 20011 with flag 4435002/4435002 1297.81/698.80 c cleaning 9999 clauses out of 20009 with flag 4445000/4445000 1300.72/700.49 c cleaning 9995 clauses out of 20010 with flag 4455000/4455000 1303.97/702.25 c cleaning 10000 clauses out of 20016 with flag 4465001/4465001 1306.87/703.88 c cleaning 10001 clauses out of 20016 with flag 4475001/4475001 1309.98/705.52 c cleaning 10003 clauses out of 20014 with flag 4485000/4485000 1313.09/707.23 c cleaning 9993 clauses out of 20011 with flag 4495000/4495000 1315.91/708.84 c cleaning 10004 clauses out of 20018 with flag 4505000/4505000 1318.61/710.38 c cleaning 10003 clauses out of 20016 with flag 4515002/4515002 1321.52/711.91 c cleaning 10002 clauses out of 20015 with flag 4525004/4525004 1324.43/713.51 c cleaning 10000 clauses out of 20011 with flag 4535002/4535002 1327.26/715.19 c cleaning 9999 clauses out of 20010 with flag 4545001/4545001 1329.96/716.69 c cleaning 9990 clauses out of 20010 with flag 4555000/4555000 1332.65/718.17 c cleaning 10002 clauses out of 20020 with flag 4565000/4565000 1335.34/719.66 c cleaning 9999 clauses out of 20018 with flag 4575000/4575000 1338.37/721.32 c cleaning 10003 clauses out of 20019 with flag 4585000/4585000 1340.89/722.77 c cleaning 10000 clauses out of 20016 with flag 4595000/4595000 1343.78/724.31 c cleaning 10004 clauses out of 20016 with flag 4605000/4605000 1346.48/725.88 c cleaning 9998 clauses out of 20015 with flag 4615003/4615003 1349.51/727.51 c cleaning 10003 clauses out of 20014 with flag 4625000/4625000 1352.41/729.13 c cleaning 9999 clauses out of 20011 with flag 4635000/4635000 1355.30/730.73 c cleaning 9998 clauses out of 20013 with flag 4645001/4645001 1358.21/732.31 c cleaning 10001 clauses out of 20015 with flag 4655001/4655001 1361.04/733.98 c cleaning 10001 clauses out of 20013 with flag 4665000/4665000 1364.14/735.65 c cleaning 10001 clauses out of 20013 with flag 4675001/4675001 1367.05/737.27 c cleaning 10000 clauses out of 20011 with flag 4685000/4685000 1370.15/738.98 c cleaning 10000 clauses out of 20012 with flag 4695001/4695001 1373.37/740.75 c cleaning 9997 clauses out of 20012 with flag 4705001/4705001 1376.48/742.49 c cleaning 9999 clauses out of 20018 with flag 4715004/4715004 1379.76/744.28 c cleaning 10002 clauses out of 20015 with flag 4725000/4725000 1383.05/746.01 c cleaning 10003 clauses out of 20014 with flag 4735001/4735001 1386.07/747.70 c cleaning 9995 clauses out of 20011 with flag 4745001/4745001 1389.36/749.52 c cleaning 10004 clauses out of 20016 with flag 4755001/4755001 1393.04/751.59 c cleaning 9997 clauses out of 20014 with flag 4765003/4765003 1396.14/753.26 c cleaning 9995 clauses out of 20015 with flag 4775001/4775001 1399.36/755.02 c cleaning 9998 clauses out of 20020 with flag 4785001/4785001 1402.06/756.55 c cleaning 10002 clauses out of 20021 with flag 4795000/4795000 1405.15/758.24 c cleaning 10001 clauses out of 20020 with flag 4805001/4805001 1408.05/759.81 c cleaning 10006 clauses out of 20018 with flag 4815000/4815000 1411.07/761.53 c cleaning 9996 clauses out of 20015 with flag 4825003/4825003 1414.16/763.25 c cleaning 10000 clauses out of 20016 with flag 4835000/4835000 1417.06/764.83 c cleaning 10003 clauses out of 20017 with flag 4845001/4845001 1419.95/766.47 c cleaning 9998 clauses out of 20013 with flag 4855000/4855000 1422.97/768.18 c cleaning 10003 clauses out of 20015 with flag 4865000/4865000 1426.28/769.92 c cleaning 9997 clauses out of 20012 with flag 4875000/4875000 1429.15/771.57 c cleaning 10002 clauses out of 20018 with flag 4885003/4885003 1432.45/773.39 c cleaning 9999 clauses out of 20014 with flag 4895001/4895001 1435.65/775.12 c cleaning 10002 clauses out of 20015 with flag 4905001/4905001 1438.74/776.81 c cleaning 9999 clauses out of 20012 with flag 4915000/4915000 1441.63/778.43 c cleaning 9999 clauses out of 20013 with flag 4925000/4925000 1444.73/780.18 c cleaning 10001 clauses out of 20015 with flag 4935001/4935001 1447.76/781.87 c cleaning 10002 clauses out of 20016 with flag 4945003/4945003 1450.85/783.55 c cleaning 9999 clauses out of 20012 with flag 4955001/4955001 1454.53/785.51 c cleaning 10002 clauses out of 20013 with flag 4965001/4965001 1457.61/787.23 c cleaning 10002 clauses out of 20011 with flag 4975001/4975001 1460.83/789.04 c cleaning 10001 clauses out of 20008 with flag 4985000/4985000 1464.33/790.92 c cleaning 9996 clauses out of 20008 with flag 4995001/4995001 1467.19/792.53 c cleaning 10000 clauses out of 20011 with flag 5005000/5005000 1470.29/794.28 c cleaning 9993 clauses out of 20011 with flag 5015000/5015000 1473.49/796.08 c cleaning 10003 clauses out of 20018 with flag 5025000/5025000 1476.56/797.78 c cleaning 10002 clauses out of 20015 with flag 5035000/5035000 1479.84/799.55 c cleaning 10001 clauses out of 20014 with flag 5045001/5045001 1483.13/801.36 c cleaning 10001 clauses out of 20016 with flag 5055004/5055004 1486.54/803.24 c cleaning 10002 clauses out of 20013 with flag 5065002/5065002 1489.83/805.05 c cleaning 9997 clauses out of 20011 with flag 5075002/5075002 1493.51/807.08 c cleaning 9992 clauses out of 20013 with flag 5085001/5085001 1496.99/808.96 c cleaning 10002 clauses out of 20020 with flag 5095000/5095000 1500.60/810.90 c cleaning 10003 clauses out of 20019 with flag 5105001/5105001 1504.09/812.87 c cleaning 9999 clauses out of 20018 with flag 5115003/5115003 1504.78/813.33 c cleaning 0 clauses out of 11001 with flag 0/11001 1507.87/815.05 c cleaning 10001 clauses out of 20016 with flag 5125000/5125000 1511.44/817.00 c cleaning 10003 clauses out of 20017 with flag 5135002/5135002 1515.10/819.07 c cleaning 9997 clauses out of 20012 with flag 5145000/5145000 1518.37/820.80 c cleaning 9997 clauses out of 20015 with flag 5155000/5155000 1521.05/822.39 c cleaning 10001 clauses out of 20018 with flag 5165000/5165000 1524.26/824.11 c cleaning 9998 clauses out of 20017 with flag 5175000/5175000 1527.35/825.85 c cleaning 10003 clauses out of 20021 with flag 5185002/5185002 1530.05/827.38 c cleaning 10004 clauses out of 20018 with flag 5195002/5195002 1532.94/828.99 c cleaning 9998 clauses out of 20012 with flag 5205000/5205000 1535.95/830.66 c cleaning 10001 clauses out of 20014 with flag 5215000/5215000 1539.03/832.33 c cleaning 9996 clauses out of 20014 with flag 5225001/5225001 1541.73/833.83 c cleaning 10002 clauses out of 20017 with flag 5235000/5235000 1544.79/835.51 c cleaning 9998 clauses out of 20015 with flag 5245000/5245000 1547.80/837.29 c cleaning 10003 clauses out of 20018 with flag 5255001/5255001 1551.28/839.12 c cleaning 10000 clauses out of 20015 with flag 5265001/5265001 1553.95/840.69 c cleaning 10000 clauses out of 20016 with flag 5275002/5275002 1556.83/842.28 c cleaning 10001 clauses out of 20015 with flag 5285001/5285001 1559.84/843.94 c cleaning 10002 clauses out of 20014 with flag 5295001/5295001 1562.52/845.46 c cleaning 9998 clauses out of 20012 with flag 5305001/5305001 1565.21/846.99 c cleaning 10001 clauses out of 20014 with flag 5315001/5315001 1568.47/848.73 c cleaning 10002 clauses out of 20013 with flag 5325001/5325001 1571.29/850.36 c cleaning 9997 clauses out of 20012 with flag 5335002/5335002 1574.15/851.91 c cleaning 10001 clauses out of 20014 with flag 5345001/5345001 1577.04/853.54 c cleaning 10003 clauses out of 20013 with flag 5355001/5355001 1579.90/855.18 c cleaning 9991 clauses out of 20010 with flag 5365001/5365001 1582.91/856.82 c cleaning 10002 clauses out of 20018 with flag 5375000/5375000 1585.57/858.39 c cleaning 10003 clauses out of 20017 with flag 5385001/5385001 1588.45/860.00 c cleaning 9995 clauses out of 20015 with flag 5395002/5395002 1591.33/861.59 c cleaning 9999 clauses out of 20018 with flag 5405000/5405000 1594.34/863.24 c cleaning 9991 clauses out of 20020 with flag 5415001/5415001 1597.21/864.81 c cleaning 10005 clauses out of 20028 with flag 5425000/5425000 1600.09/866.42 c cleaning 10005 clauses out of 20024 with flag 5435001/5435001 1602.97/868.00 c cleaning 9999 clauses out of 20018 with flag 5445000/5445000 1605.57/869.54 c cleaning 10004 clauses out of 20019 with flag 5455000/5455000 1608.25/871.09 c cleaning 10003 clauses out of 20016 with flag 5465001/5465001 1611.12/872.70 c cleaning 9999 clauses out of 20012 with flag 5475000/5475000 1613.80/874.18 c cleaning 9993 clauses out of 20015 with flag 5485002/5485002 1616.80/875.85 c cleaning 10005 clauses out of 20020 with flag 5495000/5495000 1619.68/877.43 c cleaning 10002 clauses out of 20016 with flag 5505001/5505001 1622.56/879.03 c cleaning 10004 clauses out of 20013 with flag 5515000/5515000 1625.63/880.71 c cleaning 9998 clauses out of 20011 with flag 5525002/5525002 1628.44/882.38 c cleaning 9999 clauses out of 20014 with flag 5535003/5535003 1631.31/883.99 c cleaning 9993 clauses out of 20014 with flag 5545002/5545002 1634.38/885.67 c cleaning 10006 clauses out of 20022 with flag 5555003/5555003 1637.46/887.39 c cleaning 9986 clauses out of 20014 with flag 5565001/5565001 1640.65/889.10 c cleaning 10005 clauses out of 20028 with flag 5575001/5575001 1643.72/890.84 c cleaning 10007 clauses out of 20025 with flag 5585003/5585003 1646.39/892.38 c cleaning 10003 clauses out of 20015 with flag 5595000/5595000 1649.66/894.12 c cleaning 10003 clauses out of 20012 with flag 5605000/5605000 1652.86/895.96 c cleaning 9998 clauses out of 20011 with flag 5615002/5615002 1655.74/897.56 c cleaning 10003 clauses out of 20013 with flag 5625002/5625002 1658.79/899.23 c cleaning 9994 clauses out of 20009 with flag 5635001/5635001 1661.67/900.84 c cleaning 9997 clauses out of 20014 with flag 5645000/5645000 1665.26/902.82 c cleaning 10002 clauses out of 20017 with flag 5655000/5655000 1668.33/904.52 c cleaning 10003 clauses out of 20015 with flag 5665000/5665000 1671.41/906.26 c cleaning 9999 clauses out of 20013 with flag 5675001/5675001 1674.48/907.93 c cleaning 9994 clauses out of 20014 with flag 5685001/5685001 1678.06/909.93 c cleaning 9997 clauses out of 20019 with flag 5695000/5695000 1681.54/911.83 c cleaning 10003 clauses out of 20025 with flag 5705003/5705003 1684.79/913.65 c cleaning 10002 clauses out of 20021 with flag 5715002/5715002 1688.05/915.47 c cleaning 10003 clauses out of 20019 with flag 5725002/5725002 1691.27/917.28 c cleaning 9999 clauses out of 20016 with flag 5735002/5735002 1694.34/918.95 c cleaning 9998 clauses out of 20016 with flag 5745001/5745001 1697.21/920.54 c cleaning 10006 clauses out of 20020 with flag 5755003/5755003 1700.08/922.19 c cleaning 10002 clauses out of 20012 with flag 5765001/5765001 1702.88/923.80 c cleaning 10001 clauses out of 20011 with flag 5775002/5775002 1705.75/925.36 c cleaning 9996 clauses out of 20010 with flag 5785002/5785002 1708.43/926.90 c cleaning 9997 clauses out of 20014 with flag 5795002/5795002 1711.89/928.74 c cleaning 10000 clauses out of 20015 with flag 5805000/5805000 1714.88/930.46 c cleaning 10004 clauses out of 20019 with flag 5815004/5815004 1717.75/932.02 c cleaning 10005 clauses out of 20015 with flag 5825004/5825004 1720.61/933.62 c cleaning 9991 clauses out of 20006 with flag 5835000/5835000 1723.28/935.19 c cleaning 9999 clauses out of 20016 with flag 5845001/5845001 1726.45/936.93 c cleaning 10000 clauses out of 20016 with flag 5855000/5855000 1729.31/938.51 c cleaning 10000 clauses out of 20017 with flag 5865001/5865001 1732.19/940.13 c cleaning 10003 clauses out of 20017 with flag 5875001/5875001 1735.27/941.84 c cleaning 9998 clauses out of 20015 with flag 5885002/5885002 1738.08/943.48 c cleaning 10002 clauses out of 20015 with flag 5895000/5895000 1741.34/945.25 c cleaning 10005 clauses out of 20017 with flag 5905004/5905004 1744.21/946.81 c cleaning 9998 clauses out of 20008 with flag 5915000/5915000 1747.27/948.52 c cleaning 9998 clauses out of 20010 with flag 5925000/5925000 1750.27/950.26 c cleaning 9998 clauses out of 20013 with flag 5935001/5935001 1753.33/951.94 c cleaning 10001 clauses out of 20015 with flag 5945001/5945001 1756.19/953.58 c cleaning 10001 clauses out of 20014 with flag 5955001/5955001 1759.25/955.23 c cleaning 10002 clauses out of 20013 with flag 5965001/5965001 1762.05/956.90 c cleaning 10000 clauses out of 20011 with flag 5975001/5975001 1764.91/958.48 c cleaning 10001 clauses out of 20010 with flag 5985000/5985000 1767.57/959.97 c cleaning 9997 clauses out of 20009 with flag 5995000/5995000 1770.43/961.52 c cleaning 10001 clauses out of 20013 with flag 6005001/6005001 1773.45/963.22 c cleaning 9999 clauses out of 20012 with flag 6015001/6015001 1776.51/964.97 c cleaning 10003 clauses out of 20016 with flag 6025004/6025004 1779.58/966.63 c cleaning 9995 clauses out of 20010 with flag 6035001/6035001 1782.64/968.30 c cleaning 10004 clauses out of 20014 with flag 6045000/6045000 1785.43/969.92 c cleaning 10001 clauses out of 20011 with flag 6055001/6055001 1788.30/971.53 c cleaning 9998 clauses out of 20010 with flag 6065001/6065001 1791.16/973.20 c cleaning 9999 clauses out of 20011 with flag 6075000/6075000 1794.22/974.88 c cleaning 9995 clauses out of 20012 with flag 6085000/6085000 1797.21/976.53 c cleaning 9997 clauses out of 20017 with flag 6095000/6095000 1800.07/978.11 c cleaning 9999 clauses out of 20021 with flag 6105001/6105001 1803.12/979.88 c cleaning 10002 clauses out of 20021 with flag 6115000/6115000
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662419-1276296899/watcher-2662419-1276296899 -o /tmp/evaluation-result-2662419-1276296899/solver-2662419-1276296899 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662419-1276296899.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.50 1.63 3/106 6976 /proc/meminfo: memFree=1549548/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=248 CPUtime=0 /proc/6976/stat : 6976 (java6) R 6974 6976 6752 0 -1 4194304 108 0 0 0 0 0 0 0 23 0 1 0 5276312 253952 28 1992294400 134512640 134550932 4291075648 18446744073709551615 1847892 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6976/statm: 62 28 21 10 0 23 0 [startup+0.080375 s] /proc/loadavg: 1.00 1.50 1.63 3/106 6976 /proc/meminfo: memFree=1549548/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1521796 CPUtime=0.06 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 3761 0 1 0 4 2 0 0 15 0 7 0 5276312 1558319104 3203 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 380449 3203 1038 10 0 377759 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1521796 [startup+0.101375 s] /proc/loadavg: 1.00 1.50 1.63 3/106 6976 /proc/meminfo: memFree=1549548/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1524180 CPUtime=0.08 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 3946 0 1 0 6 2 0 0 15 0 12 0 5276312 1560760320 3386 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 381045 3387 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524180 [startup+0.301371 s] /proc/loadavg: 1.00 1.50 1.63 3/106 6976 /proc/meminfo: memFree=1549548/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1526068 CPUtime=0.34 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 5417 0 1 0 31 3 0 0 15 0 12 0 5276312 1562693632 4854 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 381517 4854 1358 10 0 378820 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1526068 [startup+0.701365 s] /proc/loadavg: 1.00 1.50 1.63 3/106 6976 /proc/meminfo: memFree=1549548/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1528204 CPUtime=1.08 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 7378 0 1 0 104 4 0 0 15 0 12 0 5276312 1564880896 6708 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 382051 6708 1396 10 0 379354 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1528204 [startup+1.50235 s] /proc/loadavg: 1.16 1.52 1.63 4/122 6992 /proc/meminfo: memFree=1524868/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1535332 CPUtime=2.66 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 11286 0 1 0 261 5 0 0 15 0 16 0 5276312 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 383833 9562 1420 10 0 381136 0 [pid=6976/tid=6978] ppid=6974 vsize=1535332 CPUtime=0.7 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5250 0 1 0 67 3 0 0 25 0 16 0 5276314 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 16 0 5276315 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 5276315 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 5276317 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 5276317 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5276318 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 5276322 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1535332 CPUtime=0.39 /proc/6976/task/6985/stat : 6985 (java) R 6974 6976 6752 0 -1 4202560 1144 0 0 0 39 0 0 0 21 0 16 0 5276322 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 106106722 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1535332 CPUtime=0.41 /proc/6976/task/6986/stat : 6986 (java) R 6974 6976 6752 0 -1 4202560 2623 0 0 0 41 0 0 0 18 0 16 0 5276322 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 104163931 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 5276322 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 5276322 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1535332 CPUtime=0.52 /proc/6976/task/6989/stat : 6989 (java) R 6974 6976 6752 0 -1 4202560 78 0 0 0 52 0 0 0 25 0 16 0 5276386 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4109460133 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1535332 CPUtime=0.6 /proc/6976/task/6990/stat : 6990 (java) R 6974 6976 6752 0 -1 4202560 1123 0 0 0 60 0 0 0 18 0 16 0 5276386 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4109486964 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276387 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1535332 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276388 1572179968 9562 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 1535332 [startup+3.10132 s] /proc/loadavg: 1.16 1.52 1.63 7/122 6992 /proc/meminfo: memFree=1501060/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1547924 CPUtime=5.83 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 37243 0 1 0 566 17 0 0 15 0 16 0 5276312 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386981 31989 1423 10 0 384284 0 [pid=6976/tid=6978] ppid=6974 vsize=1547924 CPUtime=0.7 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5250 0 1 0 67 3 0 0 18 0 16 0 5276314 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 16 0 5276315 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 5276315 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 5276317 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 16 0 5276317 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 16 0 5276318 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 5276322 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1547924 CPUtime=0.66 /proc/6976/task/6985/stat : 6985 (java) R 6974 6976 6752 0 -1 4202560 3202 0 0 0 66 0 0 0 22 0 16 0 5276322 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 103863404 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1547924 CPUtime=1.98 /proc/6976/task/6986/stat : 6986 (java) R 6974 6976 6752 0 -1 4202560 7240 0 0 0 197 1 0 0 18 0 16 0 5276322 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 106261036 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 5276322 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 5276322 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1547924 CPUtime=0.53 /proc/6976/task/6989/stat : 6989 (java) R 6974 6976 6752 0 -1 4202560 80 0 0 0 53 0 0 0 25 0 16 0 5276386 1585074176 31989 1992294400 134512640 134550932 4291473984 18446744073709551615 106408676 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1547924 CPUtime=1.9 /proc/6976/task/6990/stat : 6990 (java) R 6974 6976 6752 0 -1 4202560 20403 0 0 0 180 10 0 0 19 0 16 0 5276386 1585074176 31992 1992294400 134512640 134550932 4291473984 18446744073709551615 4109494118 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276387 1585074176 31993 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1547924 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276388 1585074176 31998 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.83 Current children cumulated vsize (KiB) 1547924 [startup+6.30127 s] /proc/loadavg: 1.16 1.52 1.63 3/122 6992 /proc/meminfo: memFree=1390948/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1545456 CPUtime=12.03 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 47978 0 1 0 1182 21 0 0 15 0 16 0 5276312 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386364 40918 1448 10 0 383667 0 [pid=6976/tid=6978] ppid=6974 vsize=1545456 CPUtime=0.7 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5250 0 1 0 67 3 0 0 18 0 16 0 5276314 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1545456 CPUtime=0.05 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 872 0 0 0 5 0 0 0 15 0 16 0 5276315 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1545456 CPUtime=0.04 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 634 0 0 0 4 0 0 0 16 0 16 0 5276315 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1545456 CPUtime=0.12 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 1447 0 0 0 12 0 0 0 16 0 16 0 5276317 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5276317 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5276318 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 5276322 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1545456 CPUtime=1.04 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 4448 0 0 0 104 0 0 0 15 0 16 0 5276322 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1545456 CPUtime=2.76 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7424 0 0 0 275 1 0 0 15 0 16 0 5276322 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 5276322 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 5276322 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1545456 CPUtime=2.77 /proc/6976/task/6989/stat : 6989 (java) R 6974 6976 6752 0 -1 4202560 85 0 0 0 277 0 0 0 18 0 16 0 5276386 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4109951032 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1545456 CPUtime=4.48 /proc/6976/task/6990/stat : 6990 (java) R 6974 6976 6752 0 -1 4202560 26750 0 0 0 435 13 0 0 25 0 16 0 5276386 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4110030567 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276387 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1545456 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 5276388 1582546944 40918 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.03 Current children cumulated vsize (KiB) 1545456 [startup+12.7012 s] /proc/loadavg: 1.30 1.54 1.64 3/122 6992 /proc/meminfo: memFree=1361312/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1539188 CPUtime=24.43 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 57178 0 1 0 2417 26 0 0 15 0 16 0 5276312 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 384797 48433 1448 10 0 382100 0 [pid=6976/tid=6978] ppid=6974 vsize=1539188 CPUtime=0.7 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5250 0 1 0 67 3 0 0 18 0 16 0 5276314 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1539188 CPUtime=0.12 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 2126 0 0 0 11 1 0 0 16 0 16 0 5276315 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1539188 CPUtime=0.12 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 1757 0 0 0 12 0 0 0 15 0 16 0 5276315 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1539188 CPUtime=0.4 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 2449 0 0 0 40 0 0 0 16 0 16 0 5276317 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1539188 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 5276317 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1539188 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 5276318 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1539188 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 5276322 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1539188 CPUtime=1.04 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 4448 0 0 0 104 0 0 0 15 0 16 0 5276322 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1539188 CPUtime=2.93 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7436 0 0 0 292 1 0 0 15 0 16 0 5276322 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1539188 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 5276322 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1539188 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 5276322 1576128512 48433 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/loadavg: 3.33 2.77 2.29 4/125 7030 /proc/meminfo: memFree=1288252/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1544956 CPUtime=1801.54 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 76027 0 1 0 180056 98 0 0 15 0 18 0 5276312 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386239 65846 1448 10 0 383542 0 [pid=6976/tid=6978] ppid=6974 vsize=1544956 CPUtime=0.71 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5321 0 1 0 68 3 0 0 15 0 18 0 5276314 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1544956 CPUtime=9.55 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 5126 0 0 0 934 21 0 0 15 0 18 0 5276315 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1544956 CPUtime=9.55 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 5092 0 0 0 940 15 0 0 16 0 18 0 5276315 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1544956 CPUtime=140.21 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 12859 0 0 0 14007 14 0 0 16 0 18 0 5276317 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 5276317 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5276318 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1544956 CPUtime=1.41 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 5797 0 0 0 140 1 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1544956 CPUtime=3.14 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7437 0 0 0 313 1 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1544956 CPUtime=816.61 /proc/6976/task/6989/stat : 6989 (java) R 6974 6976 6752 0 -1 4202560 753 0 0 0 81654 7 0 0 16 0 18 0 5276386 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4109922017 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1544956 CPUtime=820.26 /proc/6976/task/6990/stat : 6990 (java) R 6974 6976 6752 0 -1 4202560 32507 0 0 0 81997 29 0 0 16 0 18 0 5276386 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4110016738 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276387 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276388 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=7029] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7029/stat : 7029 (java) S 6974 6976 6752 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 5374161 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=7030] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7030/stat : 7030 (java) R 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 5374163 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 2743528 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1801.54 Current children cumulated vsize (KiB) 1544956 [startup+979.802 s] /proc/loadavg: 3.33 2.77 2.29 4/125 7030 /proc/meminfo: memFree=1288252/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1544956 CPUtime=1803.12 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 76027 0 1 0 180214 98 0 0 15 0 18 0 5276312 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386239 65846 1448 10 0 383542 0 [pid=6976/tid=6978] ppid=6974 vsize=1544956 CPUtime=0.71 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5321 0 1 0 68 3 0 0 15 0 18 0 5276314 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1544956 CPUtime=9.55 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 5126 0 0 0 934 21 0 0 15 0 18 0 5276315 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1544956 CPUtime=9.55 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 5092 0 0 0 940 15 0 0 16 0 18 0 5276315 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1544956 CPUtime=140.21 /proc/6976/task/6981/stat : 6981 (java) S 6974 6976 6752 0 -1 4202560 12859 0 0 0 14007 14 0 0 15 0 18 0 5276317 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 5276317 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5276318 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1544956 CPUtime=1.41 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 5797 0 0 0 140 1 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1544956 CPUtime=3.14 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7437 0 0 0 313 1 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1544956 CPUtime=817.4 /proc/6976/task/6989/stat : 6989 (java) R 6974 6976 6752 0 -1 4202560 753 0 0 0 81733 7 0 0 17 0 18 0 5276386 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4110713946 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1544956 CPUtime=821.05 /proc/6976/task/6990/stat : 6990 (java) R 6974 6976 6752 0 -1 4202560 32507 0 0 0 82076 29 0 0 17 0 18 0 5276386 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4110016944 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276387 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276388 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=7029] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7029/stat : 7029 (java) S 6974 6976 6752 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 5374161 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=7030] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7030/stat : 7030 (java) R 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 5374163 1582034944 65846 1992294400 134512640 134550932 4291473984 18446744073709551615 2743528 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1803.12 Current children cumulated vsize (KiB) 1544956 [startup+980.002 s] /proc/loadavg: 3.33 2.77 2.29 2/125 7030 /proc/meminfo: memFree=1288252/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1544956 CPUtime=1803.43 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 76029 0 1 0 180245 98 0 0 15 0 18 0 5276312 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386239 65847 1448 10 0 383542 0 [pid=6976/tid=6978] ppid=6974 vsize=1544956 CPUtime=0.71 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5321 0 1 0 68 3 0 0 15 0 18 0 5276314 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1544956 CPUtime=9.56 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 5126 0 0 0 935 21 0 0 15 0 18 0 5276315 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1544956 CPUtime=9.57 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 5092 0 0 0 942 15 0 0 16 0 18 0 5276315 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1544956 CPUtime=140.31 /proc/6976/task/6981/stat : 6981 (java) R 6974 6976 6752 0 -1 4202560 12859 0 0 0 14017 14 0 0 15 0 18 0 5276317 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 105697130 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 5276317 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5276318 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1544956 CPUtime=1.41 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 5797 0 0 0 140 1 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1544956 CPUtime=3.14 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7437 0 0 0 313 1 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1544956 CPUtime=817.49 /proc/6976/task/6989/stat : 6989 (java) S 6974 6976 6752 0 -1 4202560 753 0 0 0 81742 7 0 0 17 0 18 0 5276386 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1544956 CPUtime=821.13 /proc/6976/task/6990/stat : 6990 (java) S 6974 6976 6752 0 -1 4202560 32507 0 0 0 82084 29 0 0 17 0 18 0 5276386 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276387 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276388 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=7029] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7029/stat : 7029 (java) S 6974 6976 6752 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 5374161 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=7030] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7030/stat : 7030 (java) S 6974 6976 6752 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 5374163 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1803.43 Current children cumulated vsize (KiB) 1544956 [startup+980.11 s] /proc/loadavg: 3.33 2.77 2.29 2/125 7030 /proc/meminfo: memFree=1288252/2059040 swapFree=4192956/4192956 [pid=6976] ppid=6974 vsize=1544956 CPUtime=1803.53 /proc/6976/stat : 6976 (java) S 6974 6976 6752 0 -1 4202496 76029 0 1 0 180255 98 0 0 15 0 18 0 5276312 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6976/statm: 386239 65847 1448 10 0 383542 0 [pid=6976/tid=6978] ppid=6974 vsize=1544956 CPUtime=0.71 /proc/6976/task/6978/stat : 6978 (java) S 6974 6976 6752 0 -1 4202560 5321 0 1 0 68 3 0 0 15 0 18 0 5276314 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6979] ppid=6974 vsize=1544956 CPUtime=9.56 /proc/6976/task/6979/stat : 6979 (java) S 6974 6976 6752 0 -1 4202560 5126 0 0 0 935 21 0 0 15 0 18 0 5276315 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6980] ppid=6974 vsize=1544956 CPUtime=9.57 /proc/6976/task/6980/stat : 6980 (java) S 6974 6976 6752 0 -1 4202560 5092 0 0 0 942 15 0 0 16 0 18 0 5276315 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6981] ppid=6974 vsize=1544956 CPUtime=140.41 /proc/6976/task/6981/stat : 6981 (java) R 6974 6976 6752 0 -1 4202560 12859 0 0 0 14027 14 0 0 16 0 18 0 5276317 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 104187720 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=6976/tid=6982] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6982/stat : 6982 (java) S 6974 6976 6752 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 5276317 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6983] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6983/stat : 6983 (java) S 6974 6976 6752 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 5276318 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6984] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6984/stat : 6984 (java) S 6974 6976 6752 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6985] ppid=6974 vsize=1544956 CPUtime=1.41 /proc/6976/task/6985/stat : 6985 (java) S 6974 6976 6752 0 -1 4202560 5797 0 0 0 140 1 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6986] ppid=6974 vsize=1544956 CPUtime=3.14 /proc/6976/task/6986/stat : 6986 (java) S 6974 6976 6752 0 -1 4202560 7437 0 0 0 313 1 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6987] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6987/stat : 6987 (java) S 6974 6976 6752 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6988] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6988/stat : 6988 (java) S 6974 6976 6752 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 18 0 5276322 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6989] ppid=6974 vsize=1544956 CPUtime=817.49 /proc/6976/task/6989/stat : 6989 (java) S 6974 6976 6752 0 -1 4202560 753 0 0 0 81742 7 0 0 17 0 18 0 5276386 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=6990] ppid=6974 vsize=1544956 CPUtime=821.13 /proc/6976/task/6990/stat : 6990 (java) S 6974 6976 6752 0 -1 4202560 32507 0 0 0 82084 29 0 0 17 0 18 0 5276386 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6991] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6991/stat : 6991 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276387 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=6992] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/6992/stat : 6992 (java) S 6974 6976 6752 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 5276388 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 1 0 0 0 [pid=6976/tid=7029] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7029/stat : 7029 (java) S 6974 6976 6752 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 5374161 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 [pid=6976/tid=7030] ppid=6974 vsize=1544956 CPUtime=0 /proc/6976/task/7030/stat : 7030 (java) S 6974 6976 6752 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 5374163 1582034944 65847 1992294400 134512640 134550932 4291473984 18446744073709551615 4294960144 0 4 0 16800975 18446604437871605568 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1803.53 Current children cumulated vsize (KiB) 1544956 Child ended because it received signal 9 (SIGKILL) Real time (s): 980.148 CPU time (s): 1803.57 CPU user time (s): 1802.57 CPU system time (s): 1.00785 CPU usage (%): 184.01 Max. virtual memory (cumulated for all children) (KiB): 1550460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1802.56 system time used= 1.00785 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76029 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= 29073 involuntary context switches= 48846 runsolver used 4.92925 second user time and 11.2023 second system time The end
Begin job on node017 at 2010-06-12 00:54:59 IDJOB=2662419 IDBENCH=1315 IDSOLVER=1166 FILE ID=node017/2662419-1276296899 PBS_JOBID= 11173131 Free space on /tmp= 62348 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662419-1276296899/watcher-2662419-1276296899 -o /tmp/evaluation-result-2662419-1276296899/solver-2662419-1276296899 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662419-1276296899.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED=1730738318 node017.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549820 kB Buffers: 72044 kB Cached: 308624 kB SwapCached: 0 kB Active: 172740 kB Inactive: 268524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549820 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 404 kB Writeback: 8 kB AnonPages: 60552 kB Mapped: 15400 kB Slab: 46056 kB PageTables: 3872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62348 MiB End job on node017 at 2010-06-12 01:11:19