| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | UNSAT | 777.735 | 775.121 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb |
| MD5SUM | 9f20f031d3068edba1350cbde5c721b5 |
| 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 | 160.67 |
| 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 | 641 |
| 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.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100526 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c Armin Biere (Picosat) restarts strategy 0.23/0.21 c Glucose learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-2659407-1276280129.opb 0.23/0.21 c reading problem ... 0.91/0.64 c ... done. Wall clock time 0.436s. 0.91/0.65 c #vars 231 0.91/0.65 c #constraints 2707 0.91/0.65 c constraints type 0.91/0.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442 0.91/0.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.91/0.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242 0.91/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 3.21/1.90 c cleaning 2498 clauses out of 5003 with flag 5003/5003 3.96/2.64 c cleaning 4250 clauses out of 8504 with flag 11002/11002 4.87/3.50 c cleaning 5620 clauses out of 11252 with flag 18000/18000 5.88/4.56 c cleaning 6814 clauses out of 13634 with flag 26002/26002 7.26/5.88 c cleaning 7904 clauses out of 15818 with flag 35000/35000 9.15/7.64 c cleaning 8941 clauses out of 17914 with flag 45000/45000 10.82/9.25 c cleaning 9483 clauses out of 18975 with flag 55002/55002 12.42/10.84 c cleaning 9738 clauses out of 19490 with flag 65000/65000 13.92/12.39 c cleaning 9872 clauses out of 19753 with flag 75001/75001 15.42/13.84 c cleaning 9936 clauses out of 19881 with flag 85001/85001 16.82/15.22 c cleaning 9967 clauses out of 19945 with flag 95001/95001 18.13/16.55 c cleaning 9984 clauses out of 19978 with flag 105001/105001 19.53/17.90 c cleaning 9996 clauses out of 19994 with flag 115001/115001 20.73/19.19 c cleaning 9995 clauses out of 19997 with flag 125000/125000 22.03/20.49 c cleaning 9990 clauses out of 20002 with flag 135000/135000 23.23/21.63 c cleaning 9997 clauses out of 20012 with flag 145000/145000 24.43/22.81 c cleaning 10005 clauses out of 20015 with flag 155000/155000 25.64/24.01 c cleaning 10002 clauses out of 20011 with flag 165001/165001 26.84/25.24 c cleaning 9999 clauses out of 20009 with flag 175001/175001 28.14/26.52 c cleaning 10002 clauses out of 20009 with flag 185000/185000 29.24/27.66 c cleaning 9996 clauses out of 20008 with flag 195001/195001 30.54/28.90 c cleaning 9999 clauses out of 20012 with flag 205001/205001 31.54/29.98 c cleaning 10002 clauses out of 20015 with flag 215003/215003 32.76/31.15 c cleaning 9999 clauses out of 20013 with flag 225003/225003 33.86/32.29 c cleaning 10000 clauses out of 20013 with flag 235002/235002 35.06/33.47 c cleaning 10000 clauses out of 20014 with flag 245003/245003 36.26/34.67 c cleaning 10002 clauses out of 20011 with flag 255000/255000 37.46/35.88 c cleaning 9999 clauses out of 20010 with flag 265001/265001 38.56/36.90 c cleaning 9997 clauses out of 20011 with flag 275001/275001 39.66/38.09 c cleaning 10004 clauses out of 20013 with flag 285000/285000 41.17/39.53 c cleaning 10002 clauses out of 20009 with flag 295000/295000 42.47/40.80 c cleaning 9994 clauses out of 20007 with flag 305000/305000 43.57/41.95 c cleaning 10000 clauses out of 20015 with flag 315002/315002 44.87/43.28 c cleaning 10002 clauses out of 20014 with flag 325001/325001 46.07/44.45 c cleaning 10001 clauses out of 20014 with flag 335003/335003 47.27/45.69 c cleaning 9998 clauses out of 20010 with flag 345000/345000 48.48/46.88 c cleaning 10001 clauses out of 20012 with flag 355000/355000 49.68/48.08 c cleaning 9999 clauses out of 20013 with flag 365002/365002 50.88/49.24 c cleaning 9995 clauses out of 20012 with flag 375000/375000 52.08/50.43 c cleaning 10001 clauses out of 20017 with flag 385000/385000 53.30/51.66 c cleaning 9998 clauses out of 20017 with flag 395001/395001 54.40/52.73 c cleaning 10005 clauses out of 20019 with flag 405001/405001 55.50/53.87 c cleaning 9999 clauses out of 20014 with flag 415001/415001 56.60/54.99 c cleaning 10001 clauses out of 20014 with flag 425000/425000 57.80/56.16 c cleaning 9993 clauses out of 20013 with flag 435000/435000 58.99/57.31 c cleaning 10003 clauses out of 20021 with flag 445001/445001 60.10/58.41 c cleaning 9997 clauses out of 20017 with flag 455000/455000 61.30/59.62 c cleaning 10001 clauses out of 20021 with flag 465001/465001 62.40/60.80 c cleaning 10006 clauses out of 20024 with flag 475005/475005 63.70/62.07 c cleaning 10004 clauses out of 20015 with flag 485002/485002 65.00/63.34 c cleaning 9999 clauses out of 20010 with flag 495001/495001 66.19/64.58 c cleaning 10002 clauses out of 20011 with flag 505001/505001 67.40/65.73 c cleaning 9999 clauses out of 20010 with flag 515002/515002 68.71/67.01 c cleaning 9999 clauses out of 20009 with flag 525000/525000 69.91/68.23 c cleaning 10001 clauses out of 20012 with flag 535002/535002 71.10/69.44 c cleaning 10001 clauses out of 20009 with flag 545000/545000 72.30/70.60 c cleaning 10001 clauses out of 20011 with flag 555003/555003 73.41/71.72 c cleaning 9999 clauses out of 20008 with flag 565001/565001 74.51/72.80 c cleaning 10000 clauses out of 20010 with flag 575002/575002 75.72/74.01 c cleaning 9995 clauses out of 20009 with flag 585001/585001 76.82/75.16 c cleaning 10002 clauses out of 20016 with flag 595003/595003 78.02/76.35 c cleaning 10001 clauses out of 20012 with flag 605001/605001 79.32/77.61 c cleaning 9989 clauses out of 20010 with flag 615000/615000 80.42/78.79 c cleaning 10006 clauses out of 20023 with flag 625002/625002 81.62/79.90 c cleaning 10000 clauses out of 20016 with flag 635001/635001 82.72/81.01 c cleaning 10006 clauses out of 20017 with flag 645002/645002 83.92/82.21 c cleaning 10002 clauses out of 20010 with flag 655001/655001 85.02/83.33 c cleaning 10001 clauses out of 20010 with flag 665003/665003 86.22/84.59 c cleaning 10001 clauses out of 20009 with flag 675003/675003 87.32/85.68 c cleaning 9998 clauses out of 20005 with flag 685000/685000 88.43/86.79 c cleaning 9997 clauses out of 20007 with flag 695000/695000 89.63/87.96 c cleaning 9997 clauses out of 20010 with flag 705000/705000 90.83/89.12 c cleaning 9998 clauses out of 20013 with flag 715000/715000 91.86/90.19 c cleaning 9994 clauses out of 20015 with flag 725000/725000 92.95/91.25 c cleaning 10006 clauses out of 20022 with flag 735001/735001 94.16/92.44 c cleaning 10004 clauses out of 20017 with flag 745002/745002 95.36/93.65 c cleaning 10001 clauses out of 20011 with flag 755000/755000 96.45/94.77 c cleaning 10003 clauses out of 20012 with flag 765002/765002 97.75/96.00 c cleaning 9997 clauses out of 20007 with flag 775000/775000 98.85/97.18 c cleaning 10003 clauses out of 20010 with flag 785000/785000 100.35/98.64 c cleaning 9999 clauses out of 20009 with flag 795002/795002 101.65/99.90 c cleaning 9996 clauses out of 20008 with flag 805000/805000 102.96/101.28 c cleaning 10000 clauses out of 20014 with flag 815002/815002 104.26/102.56 c cleaning 10002 clauses out of 20015 with flag 825003/825003 105.66/103.92 c cleaning 9996 clauses out of 20010 with flag 835000/835000 107.06/105.32 c cleaning 10001 clauses out of 20018 with flag 845004/845004 108.37/106.70 c cleaning 10000 clauses out of 20016 with flag 855003/855003 109.66/107.97 c cleaning 10000 clauses out of 20014 with flag 865001/865001 110.96/109.29 c cleaning 10004 clauses out of 20016 with flag 875003/875003 112.66/110.93 c cleaning 10000 clauses out of 20011 with flag 885002/885002 113.87/112.19 c cleaning 9998 clauses out of 20009 with flag 895000/895000 115.16/113.41 c cleaning 9998 clauses out of 20011 with flag 905000/905000 116.26/114.55 c cleaning 10002 clauses out of 20013 with flag 915000/915000 117.47/115.77 c cleaning 10001 clauses out of 20011 with flag 925000/925000 118.77/117.05 c cleaning 9996 clauses out of 20012 with flag 935002/935002 120.07/118.31 c cleaning 9999 clauses out of 20015 with flag 945001/945001 121.27/119.59 c cleaning 10004 clauses out of 20015 with flag 955000/955000 122.57/120.86 c cleaning 10000 clauses out of 20014 with flag 965003/965003 123.78/122.07 c cleaning 10000 clauses out of 20011 with flag 975000/975000 125.17/123.44 c cleaning 10001 clauses out of 20015 with flag 985004/985004 126.37/124.69 c cleaning 9997 clauses out of 20011 with flag 995001/995001 127.57/125.84 c cleaning 10000 clauses out of 20013 with flag 1005000/1005000 128.77/127.09 c cleaning 10001 clauses out of 20013 with flag 1015000/1015000 130.07/128.32 c cleaning 9998 clauses out of 20014 with flag 1025002/1025002 131.37/129.63 c cleaning 10001 clauses out of 20016 with flag 1035002/1035002 132.57/130.80 c cleaning 10001 clauses out of 20015 with flag 1045002/1045002 133.68/131.99 c cleaning 9993 clauses out of 20012 with flag 1055000/1055000 134.87/133.11 c cleaning 10002 clauses out of 20020 with flag 1065001/1065001 136.06/134.30 c cleaning 10002 clauses out of 20018 with flag 1075001/1075001 137.17/135.44 c cleaning 10002 clauses out of 20015 with flag 1085000/1085000 138.36/136.61 c cleaning 10000 clauses out of 20013 with flag 1095000/1095000 139.46/137.76 c cleaning 9998 clauses out of 20014 with flag 1105001/1105001 140.57/138.85 c cleaning 10003 clauses out of 20015 with flag 1115000/1115000 141.67/139.97 c cleaning 10002 clauses out of 20013 with flag 1125001/1125001 142.97/141.24 c cleaning 9998 clauses out of 20010 with flag 1135000/1135000 144.17/142.49 c cleaning 9999 clauses out of 20014 with flag 1145002/1145002 145.47/143.76 c cleaning 10003 clauses out of 20014 with flag 1155001/1155001 146.97/145.24 c cleaning 9992 clauses out of 20011 with flag 1165001/1165001 148.17/146.41 c cleaning 10005 clauses out of 20018 with flag 1175000/1175000 149.37/147.67 c cleaning 9998 clauses out of 20015 with flag 1185002/1185002 150.77/149.05 c cleaning 10003 clauses out of 20015 with flag 1195000/1195000 152.07/150.37 c cleaning 10003 clauses out of 20014 with flag 1205002/1205002 153.27/151.55 c cleaning 10002 clauses out of 20011 with flag 1215002/1215002 154.47/152.76 c cleaning 9995 clauses out of 20008 with flag 1225001/1225001 155.78/154.07 c cleaning 10000 clauses out of 20013 with flag 1235001/1235001 157.17/155.46 c cleaning 9999 clauses out of 20012 with flag 1245000/1245000 158.47/156.72 c cleaning 9999 clauses out of 20013 with flag 1255000/1255000 159.67/157.93 c cleaning 10003 clauses out of 20015 with flag 1265001/1265001 160.88/159.18 c cleaning 9994 clauses out of 20011 with flag 1275000/1275000 162.07/160.39 c cleaning 10002 clauses out of 20017 with flag 1285000/1285000 163.28/161.60 c cleaning 9998 clauses out of 20015 with flag 1295000/1295000 164.59/162.81 c cleaning 10002 clauses out of 20018 with flag 1305001/1305001 165.78/164.01 c cleaning 9999 clauses out of 20016 with flag 1315001/1315001 167.08/165.36 c cleaning 10003 clauses out of 20017 with flag 1325001/1325001 168.58/166.81 c cleaning 10002 clauses out of 20014 with flag 1335001/1335001 169.78/168.06 c cleaning 10004 clauses out of 20011 with flag 1345000/1345000 170.98/169.29 c cleaning 9996 clauses out of 20007 with flag 1355000/1355000 172.29/170.53 c cleaning 10002 clauses out of 20011 with flag 1365000/1365000 173.48/171.79 c cleaning 10001 clauses out of 20010 with flag 1375001/1375001 174.68/172.98 c cleaning 9998 clauses out of 20009 with flag 1385001/1385001 176.08/174.35 c cleaning 9999 clauses out of 20010 with flag 1395000/1395000 177.38/175.68 c cleaning 9999 clauses out of 20012 with flag 1405001/1405001 178.68/176.94 c cleaning 10002 clauses out of 20012 with flag 1415000/1415000 179.89/178.16 c cleaning 9998 clauses out of 20010 with flag 1425000/1425000 181.08/179.39 c cleaning 10001 clauses out of 20012 with flag 1435000/1435000 182.38/180.68 c cleaning 10001 clauses out of 20011 with flag 1445000/1445000 183.77/182.02 c cleaning 10000 clauses out of 20011 with flag 1455001/1455001 184.97/183.21 c cleaning 10000 clauses out of 20013 with flag 1465003/1465003 186.07/184.39 c cleaning 9999 clauses out of 20012 with flag 1475002/1475002 187.47/185.70 c cleaning 9997 clauses out of 20012 with flag 1485001/1485001 188.57/186.90 c cleaning 10003 clauses out of 20015 with flag 1495001/1495001 189.88/188.11 c cleaning 9994 clauses out of 20011 with flag 1505000/1505000 190.97/189.29 c cleaning 10001 clauses out of 20017 with flag 1515000/1515000 192.26/190.55 c cleaning 10006 clauses out of 20016 with flag 1525000/1525000 193.37/191.66 c cleaning 9994 clauses out of 20010 with flag 1535000/1535000 194.57/192.80 c cleaning 10003 clauses out of 20017 with flag 1545001/1545001 195.77/194.02 c cleaning 10000 clauses out of 20013 with flag 1555000/1555000 196.87/195.14 c cleaning 10002 clauses out of 20014 with flag 1565001/1565001 197.87/196.19 c cleaning 10003 clauses out of 20013 with flag 1575002/1575002 199.07/197.38 c cleaning 9997 clauses out of 20009 with flag 1585001/1585001 200.36/198.67 c cleaning 10001 clauses out of 20012 with flag 1595001/1595001 201.56/199.87 c cleaning 9999 clauses out of 20010 with flag 1605000/1605000 202.66/200.98 c cleaning 10002 clauses out of 20013 with flag 1615002/1615002 203.76/202.04 c cleaning 9998 clauses out of 20011 with flag 1625002/1625002 204.96/203.20 c cleaning 9999 clauses out of 20011 with flag 1635000/1635000 206.16/204.41 c cleaning 10001 clauses out of 20013 with flag 1645001/1645001 207.16/205.46 c cleaning 10003 clauses out of 20013 with flag 1655002/1655002 208.26/206.52 c cleaning 9996 clauses out of 20008 with flag 1665000/1665000 209.36/207.61 c cleaning 9996 clauses out of 20012 with flag 1675000/1675000 210.67/208.92 c cleaning 10004 clauses out of 20017 with flag 1685001/1685001 211.66/209.94 c cleaning 9998 clauses out of 20012 with flag 1695000/1695000 212.76/211.00 c cleaning 10000 clauses out of 20014 with flag 1705000/1705000 213.87/212.13 c cleaning 10001 clauses out of 20017 with flag 1715003/1715003 214.97/213.29 c cleaning 9998 clauses out of 20013 with flag 1725000/1725000 216.18/214.46 c cleaning 10002 clauses out of 20016 with flag 1735001/1735001 217.38/215.62 c cleaning 10001 clauses out of 20015 with flag 1745002/1745002 218.57/216.82 c cleaning 9999 clauses out of 20012 with flag 1755000/1755000 219.67/217.92 c cleaning 9999 clauses out of 20013 with flag 1765000/1765000 220.77/219.00 c cleaning 10003 clauses out of 20015 with flag 1775001/1775001 221.87/220.11 c cleaning 10000 clauses out of 20011 with flag 1785000/1785000 223.17/221.45 c cleaning 10001 clauses out of 20011 with flag 1795000/1795000 224.37/222.68 c cleaning 10002 clauses out of 20011 with flag 1805001/1805001 225.57/223.89 c cleaning 9998 clauses out of 20008 with flag 1815000/1815000 226.77/225.08 c cleaning 10001 clauses out of 20014 with flag 1825004/1825004 227.87/226.19 c cleaning 9994 clauses out of 20011 with flag 1835002/1835002 229.18/227.40 c cleaning 10003 clauses out of 20015 with flag 1845000/1845000 230.28/228.56 c cleaning 10000 clauses out of 20013 with flag 1855001/1855001 231.48/229.76 c cleaning 9999 clauses out of 20013 with flag 1865001/1865001 232.69/230.98 c cleaning 10002 clauses out of 20013 with flag 1875000/1875000 233.79/232.09 c cleaning 10001 clauses out of 20012 with flag 1885001/1885001 235.08/233.33 c cleaning 9994 clauses out of 20010 with flag 1895000/1895000 236.38/234.69 c cleaning 10006 clauses out of 20017 with flag 1905001/1905001 237.78/236.01 c cleaning 10003 clauses out of 20011 with flag 1915001/1915001 238.88/237.10 c cleaning 10000 clauses out of 20008 with flag 1925001/1925001 240.08/238.34 c cleaning 9989 clauses out of 20008 with flag 1935001/1935001 241.30/239.51 c cleaning 9999 clauses out of 20018 with flag 1945000/1945000 242.49/240.73 c cleaning 10004 clauses out of 20020 with flag 1955001/1955001 243.80/242.03 c cleaning 9995 clauses out of 20015 with flag 1965000/1965000 245.19/243.43 c cleaning 10005 clauses out of 20021 with flag 1975001/1975001 246.39/244.67 c cleaning 10001 clauses out of 20015 with flag 1985000/1985000 247.59/245.87 c cleaning 10004 clauses out of 20014 with flag 1995000/1995000 248.79/247.00 c cleaning 9998 clauses out of 20010 with flag 2005000/2005000 249.99/248.29 c cleaning 10000 clauses out of 20012 with flag 2015000/2015000 251.29/249.56 c cleaning 10005 clauses out of 20015 with flag 2025003/2025003 252.39/250.70 c cleaning 10000 clauses out of 20013 with flag 2035006/2035006 253.71/251.93 c cleaning 9994 clauses out of 20008 with flag 2045001/2045001 254.81/253.01 c cleaning 10000 clauses out of 20013 with flag 2055000/2055000 255.81/254.05 c cleaning 10005 clauses out of 20017 with flag 2065004/2065004 256.91/255.14 c cleaning 9996 clauses out of 20008 with flag 2075000/2075000 257.90/256.13 c cleaning 10001 clauses out of 20012 with flag 2085000/2085000 259.30/257.53 c cleaning 10001 clauses out of 20011 with flag 2095000/2095000 260.51/258.76 c cleaning 9994 clauses out of 20011 with flag 2105001/2105001 261.72/259.91 c cleaning 9998 clauses out of 20017 with flag 2115001/2115001 262.82/261.04 c cleaning 10003 clauses out of 20019 with flag 2125001/2125001 264.02/262.24 c cleaning 10003 clauses out of 20018 with flag 2135003/2135003 265.12/263.30 c cleaning 10003 clauses out of 20014 with flag 2145002/2145002 266.23/264.48 c cleaning 10000 clauses out of 20009 with flag 2155000/2155000 267.42/265.66 c cleaning 10002 clauses out of 20009 with flag 2165000/2165000 268.82/267.05 c cleaning 9994 clauses out of 20008 with flag 2175001/2175001 270.12/268.40 c cleaning 10001 clauses out of 20013 with flag 2185000/2185000 271.41/269.60 c cleaning 9991 clauses out of 20012 with flag 2195000/2195000 272.51/270.77 c cleaning 10004 clauses out of 20023 with flag 2205002/2205002 273.71/271.92 c cleaning 9999 clauses out of 20017 with flag 2215000/2215000 274.81/273.04 c cleaning 10007 clauses out of 20019 with flag 2225001/2225001 275.91/274.19 c cleaning 9994 clauses out of 20012 with flag 2235001/2235001 277.11/275.38 c cleaning 10004 clauses out of 20017 with flag 2245000/2245000 278.41/276.61 c cleaning 9999 clauses out of 20014 with flag 2255001/2255001 279.61/277.82 c cleaning 10000 clauses out of 20014 with flag 2265000/2265000 280.81/279.04 c cleaning 10005 clauses out of 20018 with flag 2275004/2275004 282.11/280.32 c cleaning 9998 clauses out of 20009 with flag 2285000/2285000 283.31/281.58 c cleaning 9999 clauses out of 20011 with flag 2295000/2295000 284.51/282.76 c cleaning 10001 clauses out of 20012 with flag 2305000/2305000 285.70/283.90 c cleaning 10002 clauses out of 20013 with flag 2315002/2315002 286.90/285.16 c cleaning 9993 clauses out of 20010 with flag 2325001/2325001 288.00/286.28 c cleaning 10000 clauses out of 20018 with flag 2335002/2335002 289.21/287.46 c cleaning 9999 clauses out of 20016 with flag 2345000/2345000 290.40/288.66 c cleaning 10006 clauses out of 20018 with flag 2355001/2355001 291.60/289.84 c cleaning 9996 clauses out of 20011 with flag 2365000/2365000 292.80/291.03 c cleaning 9998 clauses out of 20015 with flag 2375000/2375000 294.00/292.20 c cleaning 9999 clauses out of 20017 with flag 2385000/2385000 295.10/293.36 c cleaning 10003 clauses out of 20018 with flag 2395000/2395000 296.40/294.67 c cleaning 10002 clauses out of 20017 with flag 2405002/2405002 297.61/295.86 c cleaning 10000 clauses out of 20013 with flag 2415000/2415000 298.91/297.15 c cleaning 10001 clauses out of 20013 with flag 2425000/2425000 300.11/298.34 c cleaning 9997 clauses out of 20012 with flag 2435000/2435000 301.21/299.48 c cleaning 10002 clauses out of 20016 with flag 2445001/2445001 302.41/300.68 c cleaning 10003 clauses out of 20013 with flag 2455000/2455000 303.51/301.76 c cleaning 9997 clauses out of 20010 with flag 2465000/2465000 304.70/302.99 c cleaning 10004 clauses out of 20016 with flag 2475003/2475003 305.90/304.15 c cleaning 9997 clauses out of 20010 with flag 2485001/2485001 307.10/305.34 c cleaning 10003 clauses out of 20013 with flag 2495001/2495001 308.20/306.46 c cleaning 9999 clauses out of 20010 with flag 2505001/2505001 309.50/307.72 c cleaning 9987 clauses out of 20010 with flag 2515000/2515000 310.61/308.81 c cleaning 10006 clauses out of 20024 with flag 2525001/2525001 311.72/309.96 c cleaning 10003 clauses out of 20017 with flag 2535000/2535000 312.91/311.14 c cleaning 10004 clauses out of 20015 with flag 2545001/2545001 314.22/312.41 c cleaning 9997 clauses out of 20012 with flag 2555002/2555002 315.41/313.60 c cleaning 10003 clauses out of 20014 with flag 2565001/2565001 316.61/314.87 c cleaning 9999 clauses out of 20011 with flag 2575001/2575001 317.91/316.18 c cleaning 9995 clauses out of 20011 with flag 2585000/2585000 319.01/317.29 c cleaning 10001 clauses out of 20017 with flag 2595001/2595001 320.31/318.55 c cleaning 10006 clauses out of 20019 with flag 2605004/2605004 321.41/319.67 c cleaning 9999 clauses out of 20009 with flag 2615000/2615000 322.61/320.81 c cleaning 9997 clauses out of 20010 with flag 2625000/2625000 323.71/321.93 c cleaning 9996 clauses out of 20014 with flag 2635001/2635001 324.92/323.11 c cleaning 10001 clauses out of 20018 with flag 2645001/2645001 325.92/324.16 c cleaning 10001 clauses out of 20016 with flag 2655000/2655000 327.02/325.23 c cleaning 10004 clauses out of 20015 with flag 2665000/2665000 328.12/326.39 c cleaning 10002 clauses out of 20011 with flag 2675000/2675000 329.31/327.56 c cleaning 9995 clauses out of 20010 with flag 2685001/2685001 330.51/328.77 c cleaning 10005 clauses out of 20017 with flag 2695003/2695003 331.83/330.04 c cleaning 10000 clauses out of 20009 with flag 2705000/2705000 333.03/331.24 c cleaning 10003 clauses out of 20011 with flag 2715002/2715002 334.33/332.54 c cleaning 9997 clauses out of 20006 with flag 2725000/2725000 335.63/333.85 c cleaning 9997 clauses out of 20009 with flag 2735000/2735000 336.83/335.05 c cleaning 9999 clauses out of 20012 with flag 2745000/2745000 338.13/336.35 c cleaning 9999 clauses out of 20013 with flag 2755000/2755000 339.33/337.56 c cleaning 9999 clauses out of 20016 with flag 2765002/2765002 340.54/338.78 c cleaning 9999 clauses out of 20015 with flag 2775000/2775000 341.64/339.89 c cleaning 10000 clauses out of 20017 with flag 2785001/2785001 342.94/341.10 c cleaning 10004 clauses out of 20017 with flag 2795001/2795001 343.95/342.19 c cleaning 10001 clauses out of 20015 with flag 2805003/2805003 345.34/343.52 c cleaning 9999 clauses out of 20012 with flag 2815001/2815001 346.54/344.78 c cleaning 9999 clauses out of 20013 with flag 2825001/2825001 348.26/346.34 c cleaning 10001 clauses out of 20014 with flag 2835001/2835001 349.94/347.78 c cleaning 10001 clauses out of 20013 with flag 2845001/2845001 351.33/349.14 c cleaning 10001 clauses out of 20011 with flag 2855000/2855000 352.64/350.46 c cleaning 9995 clauses out of 20010 with flag 2865000/2865000 353.84/351.68 c cleaning 10002 clauses out of 20015 with flag 2875000/2875000 355.14/353.00 c cleaning 10004 clauses out of 20015 with flag 2885002/2885002 356.44/354.28 c cleaning 10000 clauses out of 20011 with flag 2895002/2895002 357.73/355.56 c cleaning 9998 clauses out of 20010 with flag 2905001/2905001 358.93/356.78 c cleaning 9997 clauses out of 20012 with flag 2915001/2915001 360.23/358.09 c cleaning 9994 clauses out of 20014 with flag 2925000/2925000 361.53/359.35 c cleaning 10004 clauses out of 20021 with flag 2935001/2935001 362.64/360.45 c cleaning 9998 clauses out of 20016 with flag 2945000/2945000 363.95/361.71 c cleaning 10002 clauses out of 20019 with flag 2955001/2955001 365.05/362.85 c cleaning 10005 clauses out of 20018 with flag 2965002/2965002 366.26/364.03 c cleaning 10002 clauses out of 20011 with flag 2975000/2975000 367.36/365.16 c cleaning 9995 clauses out of 20009 with flag 2985000/2985000 368.56/366.35 c cleaning 10001 clauses out of 20016 with flag 2995002/2995002 369.66/367.45 c cleaning 10004 clauses out of 20013 with flag 3005000/3005000 370.77/368.58 c cleaning 9999 clauses out of 20010 with flag 3015001/3015001 371.95/369.74 c cleaning 10004 clauses out of 20013 with flag 3025003/3025003 373.16/370.92 c cleaning 10001 clauses out of 20008 with flag 3035002/3035002 374.26/372.07 c cleaning 9999 clauses out of 20005 with flag 3045000/3045000 375.56/373.34 c cleaning 9994 clauses out of 20007 with flag 3055001/3055001 376.66/374.46 c cleaning 10002 clauses out of 20012 with flag 3065000/3065000 377.77/375.57 c cleaning 9998 clauses out of 20010 with flag 3075000/3075000 378.97/376.74 c cleaning 10000 clauses out of 20012 with flag 3085000/3085000 380.18/377.97 c cleaning 9995 clauses out of 20014 with flag 3095002/3095002 381.46/379.29 c cleaning 10004 clauses out of 20019 with flag 3105002/3105002 382.67/380.41 c cleaning 10003 clauses out of 20015 with flag 3115002/3115002 383.77/381.54 c cleaning 9999 clauses out of 20011 with flag 3125001/3125001 384.87/382.68 c cleaning 9999 clauses out of 20011 with flag 3135000/3135000 386.08/383.83 c cleaning 10002 clauses out of 20013 with flag 3145001/3145001 387.18/384.97 c cleaning 9990 clauses out of 20010 with flag 3155000/3155000 388.29/386.03 c cleaning 10000 clauses out of 20020 with flag 3165000/3165000 389.28/387.07 c cleaning 10004 clauses out of 20020 with flag 3175000/3175000 390.49/388.27 c cleaning 10005 clauses out of 20016 with flag 3185000/3185000 391.88/389.62 c cleaning 10000 clauses out of 20012 with flag 3195001/3195001 393.08/390.88 c cleaning 10003 clauses out of 20011 with flag 3205000/3205000 394.28/392.07 c cleaning 9995 clauses out of 20009 with flag 3215001/3215001 395.58/393.32 c cleaning 10002 clauses out of 20014 with flag 3225001/3225001 396.78/394.56 c cleaning 9999 clauses out of 20012 with flag 3235001/3235001 397.99/395.73 c cleaning 10001 clauses out of 20014 with flag 3245002/3245002 399.30/397.01 c cleaning 9995 clauses out of 20012 with flag 3255001/3255001 400.59/398.39 c cleaning 10002 clauses out of 20017 with flag 3265001/3265001 401.89/399.62 c cleaning 10002 clauses out of 20016 with flag 3275002/3275002 403.19/400.91 c cleaning 10003 clauses out of 20016 with flag 3285004/3285004 404.40/402.11 c cleaning 9996 clauses out of 20009 with flag 3295000/3295000 405.49/403.29 c cleaning 10003 clauses out of 20013 with flag 3305000/3305000 406.69/404.43 c cleaning 10001 clauses out of 20011 with flag 3315001/3315001 407.89/405.64 c cleaning 10001 clauses out of 20010 with flag 3325001/3325001 409.09/406.82 c cleaning 9993 clauses out of 20008 with flag 3335000/3335000 410.19/407.94 c cleaning 10000 clauses out of 20016 with flag 3345001/3345001 411.40/409.20 c cleaning 10000 clauses out of 20015 with flag 3355000/3355000 412.60/410.33 c cleaning 10001 clauses out of 20016 with flag 3365001/3365001 413.80/411.50 c cleaning 10005 clauses out of 20017 with flag 3375003/3375003 415.00/412.76 c cleaning 10002 clauses out of 20009 with flag 3385000/3385000 416.10/413.88 c cleaning 9997 clauses out of 20008 with flag 3395001/3395001 417.30/415.03 c cleaning 9997 clauses out of 20010 with flag 3405000/3405000 418.40/416.18 c cleaning 10003 clauses out of 20014 with flag 3415001/3415001 419.61/417.32 c cleaning 10002 clauses out of 20011 with flag 3425001/3425001 420.71/418.47 c cleaning 9999 clauses out of 20008 with flag 3435000/3435000 422.01/419.77 c cleaning 9999 clauses out of 20011 with flag 3445002/3445002 423.31/421.00 c cleaning 9993 clauses out of 20010 with flag 3455000/3455000 424.51/422.30 c cleaning 10002 clauses out of 20018 with flag 3465001/3465001 425.71/423.50 c cleaning 9999 clauses out of 20015 with flag 3475000/3475000 427.00/424.74 c cleaning 10003 clauses out of 20017 with flag 3485001/3485001 428.21/425.94 c cleaning 10000 clauses out of 20014 with flag 3495001/3495001 429.51/427.20 c cleaning 9997 clauses out of 20013 with flag 3505000/3505000 430.81/428.54 c cleaning 10002 clauses out of 20018 with flag 3515002/3515002 432.01/429.77 c cleaning 10003 clauses out of 20016 with flag 3525002/3525002 433.31/431.06 c cleaning 9998 clauses out of 20011 with flag 3535000/3535000 434.71/432.42 c cleaning 9998 clauses out of 20013 with flag 3545000/3545000 436.01/433.72 c cleaning 9999 clauses out of 20015 with flag 3555000/3555000 437.21/434.96 c cleaning 9998 clauses out of 20016 with flag 3565000/3565000 438.41/436.17 c cleaning 10006 clauses out of 20021 with flag 3575003/3575003 439.60/437.35 c cleaning 10000 clauses out of 20012 with flag 3585000/3585000 440.81/438.57 c cleaning 9999 clauses out of 20012 with flag 3595000/3595000 442.01/439.70 c cleaning 10002 clauses out of 20014 with flag 3605001/3605001 443.02/440.78 c cleaning 10001 clauses out of 20011 with flag 3615000/3615000 444.22/441.94 c cleaning 10001 clauses out of 20011 with flag 3625001/3625001 445.52/443.21 c cleaning 10001 clauses out of 20011 with flag 3635002/3635002 446.62/444.36 c cleaning 9993 clauses out of 20008 with flag 3645000/3645000 447.92/445.64 c cleaning 10002 clauses out of 20016 with flag 3655001/3655001 449.02/446.77 c cleaning 10002 clauses out of 20014 with flag 3665001/3665001 450.12/447.88 c cleaning 9999 clauses out of 20012 with flag 3675001/3675001 451.42/449.15 c cleaning 9998 clauses out of 20012 with flag 3685000/3685000 452.71/450.43 c cleaning 10005 clauses out of 20019 with flag 3695005/3695005 453.93/451.62 c cleaning 9990 clauses out of 20009 with flag 3705000/3705000 455.13/452.84 c cleaning 10005 clauses out of 20020 with flag 3715001/3715001 456.43/454.17 c cleaning 10005 clauses out of 20015 with flag 3725001/3725001 457.63/455.33 c cleaning 9998 clauses out of 20009 with flag 3735000/3735000 458.73/456.48 c cleaning 9998 clauses out of 20011 with flag 3745000/3745000 460.03/457.79 c cleaning 10002 clauses out of 20014 with flag 3755001/3755001 461.43/459.13 c cleaning 9999 clauses out of 20011 with flag 3765000/3765000 462.63/460.38 c cleaning 10003 clauses out of 20013 with flag 3775001/3775001 463.93/461.61 c cleaning 10001 clauses out of 20011 with flag 3785002/3785002 465.03/462.77 c cleaning 10001 clauses out of 20010 with flag 3795002/3795002 466.24/463.95 c cleaning 9994 clauses out of 20008 with flag 3805001/3805001 467.44/465.16 c cleaning 10006 clauses out of 20018 with flag 3815005/3815005 468.84/466.50 c cleaning 10001 clauses out of 20009 with flag 3825002/3825002 470.14/467.87 c cleaning 9999 clauses out of 20007 with flag 3835001/3835001 471.34/469.07 c cleaning 9997 clauses out of 20007 with flag 3845000/3845000 472.54/470.26 c cleaning 9998 clauses out of 20010 with flag 3855000/3855000 473.74/471.41 c cleaning 9997 clauses out of 20013 with flag 3865001/3865001 474.94/472.63 c cleaning 10000 clauses out of 20016 with flag 3875001/3875001 476.15/473.81 c cleaning 10005 clauses out of 20019 with flag 3885004/3885004 477.35/475.07 c cleaning 10000 clauses out of 20011 with flag 3895001/3895001 478.56/476.30 c cleaning 9999 clauses out of 20010 with flag 3905000/3905000 479.95/477.60 c cleaning 10001 clauses out of 20014 with flag 3915003/3915003 481.15/478.81 c cleaning 9993 clauses out of 20010 with flag 3925000/3925000 482.35/480.01 c cleaning 10002 clauses out of 20017 with flag 3935000/3935000 483.65/481.36 c cleaning 9993 clauses out of 20015 with flag 3945000/3945000 485.04/482.75 c cleaning 10000 clauses out of 20022 with flag 3955000/3955000 486.26/483.91 c cleaning 10005 clauses out of 20022 with flag 3965000/3965000 487.36/485.07 c cleaning 10004 clauses out of 20018 with flag 3975001/3975001 488.65/486.30 c cleaning 10003 clauses out of 20014 with flag 3985001/3985001 489.75/487.48 c cleaning 10001 clauses out of 20011 with flag 3995001/3995001 490.95/488.61 c cleaning 10000 clauses out of 20011 with flag 4005002/4005002 492.05/489.74 c cleaning 10000 clauses out of 20009 with flag 4015000/4015000 493.15/490.83 c cleaning 10001 clauses out of 20010 with flag 4025001/4025001 494.45/492.14 c cleaning 9999 clauses out of 20009 with flag 4035001/4035001 495.65/493.39 c cleaning 10000 clauses out of 20009 with flag 4045000/4045000 496.96/494.65 c cleaning 9998 clauses out of 20013 with flag 4055004/4055004 498.15/495.86 c cleaning 10001 clauses out of 20011 with flag 4065000/4065000 499.36/497.05 c cleaning 9996 clauses out of 20011 with flag 4075001/4075001 500.66/498.31 c cleaning 10005 clauses out of 20015 with flag 4085001/4085001 501.76/499.50 c cleaning 10000 clauses out of 20010 with flag 4095001/4095001 502.96/500.65 c cleaning 10000 clauses out of 20011 with flag 4105002/4105002 504.15/501.87 c cleaning 9998 clauses out of 20009 with flag 4115000/4115000 505.36/503.02 c cleaning 10000 clauses out of 20011 with flag 4125000/4125000 506.66/504.31 c cleaning 10002 clauses out of 20011 with flag 4135000/4135000 508.05/505.77 c cleaning 9997 clauses out of 20009 with flag 4145000/4145000 509.47/507.11 c cleaning 9999 clauses out of 20015 with flag 4155003/4155003 510.86/508.51 c cleaning 9995 clauses out of 20015 with flag 4165002/4165002 512.07/509.74 c cleaning 10000 clauses out of 20019 with flag 4175001/4175001 513.26/510.98 c cleaning 10001 clauses out of 20020 with flag 4185002/4185002 514.66/512.32 c cleaning 10006 clauses out of 20019 with flag 4195002/4195002 516.16/513.81 c cleaning 9987 clauses out of 20011 with flag 4205000/4205000 517.17/514.88 c cleaning 10007 clauses out of 20024 with flag 4215000/4215000 518.36/516.00 c cleaning 10007 clauses out of 20018 with flag 4225001/4225001 519.57/517.25 c cleaning 10002 clauses out of 20011 with flag 4235001/4235001 520.67/518.39 c cleaning 9999 clauses out of 20009 with flag 4245001/4245001 521.97/519.66 c cleaning 10001 clauses out of 20012 with flag 4255003/4255003 523.17/520.85 c cleaning 10000 clauses out of 20010 with flag 4265002/4265002 524.47/522.13 c cleaning 10000 clauses out of 20010 with flag 4275002/4275002 525.47/523.16 c cleaning 10000 clauses out of 20010 with flag 4285002/4285002 526.57/524.28 c cleaning 9998 clauses out of 20008 with flag 4295000/4295000 527.77/525.45 c cleaning 10002 clauses out of 20012 with flag 4305002/4305002 528.97/526.63 c cleaning 9996 clauses out of 20010 with flag 4315002/4315002 530.28/527.93 c cleaning 10004 clauses out of 20015 with flag 4325003/4325003 531.38/529.09 c cleaning 9998 clauses out of 20008 with flag 4335000/4335000 532.67/530.31 c cleaning 9999 clauses out of 20011 with flag 4345001/4345001 533.77/531.43 c cleaning 9999 clauses out of 20012 with flag 4355001/4355001 534.87/532.52 c cleaning 10001 clauses out of 20013 with flag 4365001/4365001 536.07/533.75 c cleaning 9998 clauses out of 20011 with flag 4375000/4375000 537.28/534.96 c cleaning 10004 clauses out of 20016 with flag 4385003/4385003 538.48/536.14 c cleaning 9994 clauses out of 20009 with flag 4395000/4395000 539.67/537.38 c cleaning 10002 clauses out of 20016 with flag 4405001/4405001 541.08/538.76 c cleaning 10000 clauses out of 20013 with flag 4415000/4415000 542.48/540.11 c cleaning 9996 clauses out of 20015 with flag 4425002/4425002 543.77/541.41 c cleaning 10003 clauses out of 20018 with flag 4435001/4435001 544.88/542.51 c cleaning 10002 clauses out of 20015 with flag 4445001/4445001 546.08/543.70 c cleaning 10001 clauses out of 20015 with flag 4455003/4455003 547.29/544.90 c cleaning 9999 clauses out of 20012 with flag 4465001/4465001 548.48/546.18 c cleaning 10000 clauses out of 20013 with flag 4475001/4475001 549.88/547.59 c cleaning 10000 clauses out of 20012 with flag 4485000/4485000 551.29/548.98 c cleaning 10000 clauses out of 20012 with flag 4495000/4495000 552.58/550.21 c cleaning 10001 clauses out of 20012 with flag 4505000/4505000 553.88/551.54 c cleaning 9999 clauses out of 20012 with flag 4515001/4515001 555.08/552.75 c cleaning 9999 clauses out of 20012 with flag 4525000/4525000 556.18/553.89 c cleaning 10003 clauses out of 20016 with flag 4535003/4535003 557.38/555.08 c cleaning 10001 clauses out of 20012 with flag 4545002/4545002 558.68/556.35 c cleaning 10002 clauses out of 20012 with flag 4555003/4555003 559.89/557.55 c cleaning 9998 clauses out of 20008 with flag 4565001/4565001 561.09/558.80 c cleaning 9999 clauses out of 20009 with flag 4575000/4575000 562.30/559.94 c cleaning 9999 clauses out of 20012 with flag 4585002/4585002 563.48/561.17 c cleaning 10003 clauses out of 20014 with flag 4595003/4595003 564.68/562.36 c cleaning 9998 clauses out of 20009 with flag 4605001/4605001 565.98/563.66 c cleaning 10002 clauses out of 20011 with flag 4615001/4615001 567.19/564.86 c cleaning 9992 clauses out of 20012 with flag 4625004/4625004 568.49/566.13 c cleaning 9999 clauses out of 20018 with flag 4635002/4635002 569.69/567.30 c cleaning 10003 clauses out of 20018 with flag 4645001/4645001 570.89/568.53 c cleaning 10005 clauses out of 20015 with flag 4655001/4655001 571.99/569.69 c cleaning 9999 clauses out of 20009 with flag 4665000/4665000 573.29/570.93 c cleaning 9996 clauses out of 20010 with flag 4675000/4675000 574.48/572.13 c cleaning 9997 clauses out of 20014 with flag 4685000/4685000 575.78/573.47 c cleaning 10003 clauses out of 20018 with flag 4695001/4695001 577.18/574.85 c cleaning 9997 clauses out of 20015 with flag 4705001/4705001 578.48/576.16 c cleaning 9998 clauses out of 20019 with flag 4715002/4715002 579.79/577.46 c cleaning 10003 clauses out of 20021 with flag 4725002/4725002 581.18/578.86 c cleaning 10004 clauses out of 20017 with flag 4735001/4735001 582.59/580.22 c cleaning 9999 clauses out of 20014 with flag 4745002/4745002 583.99/581.62 c cleaning 9996 clauses out of 20014 with flag 4755001/4755001 585.39/583.03 c cleaning 10003 clauses out of 20018 with flag 4765001/4765001 586.58/584.28 c cleaning 10003 clauses out of 20015 with flag 4775001/4775001 587.88/585.53 c cleaning 9998 clauses out of 20012 with flag 4785001/4785001 589.19/586.89 c cleaning 9997 clauses out of 20014 with flag 4795001/4795001 590.49/588.15 c cleaning 10003 clauses out of 20016 with flag 4805000/4805000 591.90/589.57 c cleaning 9993 clauses out of 20013 with flag 4815000/4815000 593.10/590.76 c cleaning 10005 clauses out of 20021 with flag 4825001/4825001 594.29/591.93 c cleaning 10005 clauses out of 20015 with flag 4835000/4835000 595.49/593.11 c cleaning 9993 clauses out of 20010 with flag 4845000/4845000 596.69/594.38 c cleaning 9999 clauses out of 20017 with flag 4855000/4855000 597.98/595.69 c cleaning 10002 clauses out of 20019 with flag 4865001/4865001 599.18/596.89 c cleaning 10006 clauses out of 20018 with flag 4875002/4875002 600.38/598.03 c cleaning 9997 clauses out of 20010 with flag 4885000/4885000 601.68/599.31 c cleaning 10000 clauses out of 20016 with flag 4895003/4895003 602.89/600.54 c cleaning 10003 clauses out of 20013 with flag 4905000/4905000 604.09/601.77 c cleaning 10001 clauses out of 20011 with flag 4915001/4915001 605.48/603.17 c cleaning 9998 clauses out of 20009 with flag 4925000/4925000 606.78/604.42 c cleaning 10001 clauses out of 20012 with flag 4935001/4935001 607.99/605.64 c cleaning 10000 clauses out of 20010 with flag 4945000/4945000 609.19/606.87 c cleaning 9994 clauses out of 20010 with flag 4955000/4955000 610.49/608.10 c cleaning 9998 clauses out of 20017 with flag 4965001/4965001 611.69/609.38 c cleaning 10001 clauses out of 20019 with flag 4975001/4975001 612.99/610.64 c cleaning 10004 clauses out of 20019 with flag 4985002/4985002 614.18/611.86 c cleaning 10000 clauses out of 20013 with flag 4995000/4995000 615.38/613.04 c cleaning 10001 clauses out of 20016 with flag 5005003/5005003 616.68/614.37 c cleaning 10001 clauses out of 20013 with flag 5015001/5015001 618.08/615.70 c cleaning 9999 clauses out of 20013 with flag 5025002/5025002 619.18/616.88 c cleaning 9998 clauses out of 20012 with flag 5035000/5035000 620.48/618.20 c cleaning 9994 clauses out of 20014 with flag 5045000/5045000 621.89/619.58 c cleaning 10000 clauses out of 20020 with flag 5055000/5055000 623.19/620.89 c cleaning 10006 clauses out of 20025 with flag 5065005/5065005 624.59/622.21 c cleaning 9996 clauses out of 20015 with flag 5075001/5075001 625.89/623.52 c cleaning 10001 clauses out of 20018 with flag 5085000/5085000 626.99/624.63 c cleaning 10000 clauses out of 20018 with flag 5095001/5095001 628.09/625.80 c cleaning 10005 clauses out of 20019 with flag 5105002/5105002 629.40/627.02 c cleaning 10003 clauses out of 20013 with flag 5115001/5115001 630.60/628.24 c cleaning 10001 clauses out of 20012 with flag 5125003/5125003 631.80/629.45 c cleaning 9993 clauses out of 20008 with flag 5135000/5135000 633.00/630.62 c cleaning 10004 clauses out of 20017 with flag 5145002/5145002 634.20/631.80 c cleaning 10000 clauses out of 20011 with flag 5155000/5155000 635.30/632.92 c cleaning 9999 clauses out of 20014 with flag 5165003/5165003 636.30/633.98 c cleaning 10003 clauses out of 20013 with flag 5175001/5175001 637.50/635.19 c cleaning 9999 clauses out of 20009 with flag 5185000/5185000 638.81/636.45 c cleaning 10003 clauses out of 20011 with flag 5195001/5195001 640.20/637.84 c cleaning 9995 clauses out of 20008 with flag 5205001/5205001 641.31/638.94 c cleaning 9999 clauses out of 20012 with flag 5215000/5215000 642.51/640.14 c cleaning 10000 clauses out of 20013 with flag 5225000/5225000 643.81/641.49 c cleaning 10002 clauses out of 20013 with flag 5235000/5235000 645.31/642.95 c cleaning 9997 clauses out of 20013 with flag 5245002/5245002 646.61/644.21 c cleaning 9995 clauses out of 20014 with flag 5255000/5255000 647.82/645.40 c cleaning 10007 clauses out of 20022 with flag 5265003/5265003 648.92/646.52 c cleaning 10001 clauses out of 20014 with flag 5275002/5275002 650.11/647.75 c cleaning 10000 clauses out of 20012 with flag 5285001/5285001 651.61/649.24 c cleaning 9997 clauses out of 20012 with flag 5295001/5295001 653.12/650.78 c cleaning 9997 clauses out of 20014 with flag 5305000/5305000 654.32/651.94 c cleaning 10005 clauses out of 20018 with flag 5315001/5315001 655.52/653.19 c cleaning 10003 clauses out of 20014 with flag 5325002/5325002 656.83/654.46 c cleaning 10000 clauses out of 20011 with flag 5335002/5335002 658.12/655.72 c cleaning 9998 clauses out of 20010 with flag 5345001/5345001 659.22/656.89 c cleaning 10002 clauses out of 20012 with flag 5355001/5355001 660.42/658.03 c cleaning 9996 clauses out of 20011 with flag 5365002/5365002 661.62/659.23 c cleaning 9998 clauses out of 20014 with flag 5375001/5375001 662.93/660.53 c cleaning 9997 clauses out of 20015 with flag 5385000/5385000 664.13/661.78 c cleaning 10002 clauses out of 20019 with flag 5395001/5395001 665.43/663.04 c cleaning 10005 clauses out of 20018 with flag 5405002/5405002 666.74/664.34 c cleaning 10001 clauses out of 20012 with flag 5415001/5415001 668.13/665.71 c cleaning 10000 clauses out of 20012 with flag 5425002/5425002 669.23/666.86 c cleaning 10001 clauses out of 20010 with flag 5435000/5435000 670.43/668.00 c cleaning 10002 clauses out of 20012 with flag 5445003/5445003 671.53/669.16 c cleaning 9991 clauses out of 20007 with flag 5455000/5455000 672.73/670.37 c cleaning 10005 clauses out of 20017 with flag 5465001/5465001 673.85/671.49 c cleaning 10003 clauses out of 20016 with flag 5475005/5475005 675.05/672.67 c cleaning 9996 clauses out of 20008 with flag 5485000/5485000 676.25/673.84 c cleaning 9996 clauses out of 20012 with flag 5495000/5495000 677.45/675.05 c cleaning 10005 clauses out of 20018 with flag 5505002/5505002 678.75/676.31 c cleaning 10002 clauses out of 20012 with flag 5515001/5515001 679.96/677.60 c cleaning 10003 clauses out of 20010 with flag 5525001/5525001 681.35/678.93 c cleaning 9993 clauses out of 20007 with flag 5535001/5535001 682.55/680.13 c cleaning 9998 clauses out of 20015 with flag 5545002/5545002 683.65/681.29 c cleaning 10005 clauses out of 20017 with flag 5555002/5555002 684.96/682.55 c cleaning 10001 clauses out of 20013 with flag 5565003/5565003 686.35/683.91 c cleaning 9996 clauses out of 20010 with flag 5575001/5575001 687.56/685.19 c cleaning 10002 clauses out of 20014 with flag 5585001/5585001 688.97/686.51 c cleaning 9991 clauses out of 20011 with flag 5595000/5595000 690.17/687.72 c cleaning 10003 clauses out of 20020 with flag 5605000/5605000 691.37/688.96 c cleaning 9999 clauses out of 20018 with flag 5615001/5615001 692.57/690.19 c cleaning 10006 clauses out of 20021 with flag 5625003/5625003 693.87/691.43 c cleaning 9999 clauses out of 20013 with flag 5635001/5635001 695.38/692.99 c cleaning 10000 clauses out of 20015 with flag 5645002/5645002 696.87/694.46 c cleaning 9989 clauses out of 20016 with flag 5655003/5655003 698.27/695.81 c cleaning 10006 clauses out of 20027 with flag 5665003/5665003 699.57/697.13 c cleaning 9998 clauses out of 20020 with flag 5675002/5675002 701.07/698.64 c cleaning 10003 clauses out of 20021 with flag 5685001/5685001 702.47/700.09 c cleaning 9998 clauses out of 20017 with flag 5695000/5695000 703.98/701.52 c cleaning 9998 clauses out of 20022 with flag 5705003/5705003 705.62/703.11 c cleaning 10006 clauses out of 20024 with flag 5715003/5715003 707.04/704.53 c cleaning 10004 clauses out of 20016 with flag 5725001/5725001 708.24/705.75 c cleaning 9995 clauses out of 20011 with flag 5735000/5735000 709.54/707.03 c cleaning 10001 clauses out of 20017 with flag 5745001/5745001 710.74/708.25 c cleaning 10001 clauses out of 20017 with flag 5755002/5755002 712.05/709.57 c cleaning 10002 clauses out of 20016 with flag 5765002/5765002 713.34/710.89 c cleaning 10003 clauses out of 20012 with flag 5775000/5775000 714.64/712.16 c cleaning 9994 clauses out of 20009 with flag 5785000/5785000 715.94/713.44 c cleaning 10000 clauses out of 20019 with flag 5795004/5795004 717.24/714.73 c cleaning 9998 clauses out of 20016 with flag 5805001/5805001 718.55/716.05 c cleaning 10000 clauses out of 20018 with flag 5815001/5815001 720.04/717.60 c cleaning 9995 clauses out of 20017 with flag 5825000/5825000 721.45/718.92 c cleaning 10003 clauses out of 20022 with flag 5835000/5835000 722.76/720.27 c cleaning 10005 clauses out of 20019 with flag 5845000/5845000 724.16/721.64 c cleaning 9996 clauses out of 20016 with flag 5855002/5855002 725.55/723.05 c cleaning 10002 clauses out of 20022 with flag 5865004/5865004 727.15/724.61 c cleaning 10000 clauses out of 20018 with flag 5875002/5875002 728.56/726.06 c cleaning 10005 clauses out of 20019 with flag 5885003/5885003 729.95/727.49 c cleaning 9989 clauses out of 20011 with flag 5895000/5895000 731.45/728.92 c cleaning 9998 clauses out of 20022 with flag 5905000/5905000 733.05/730.57 c cleaning 10008 clauses out of 20028 with flag 5915004/5915004 734.55/732.02 c cleaning 9997 clauses out of 20016 with flag 5925000/5925000 736.26/733.77 c cleaning 10007 clauses out of 20020 with flag 5935001/5935001 737.68/735.12 c cleaning 10003 clauses out of 20011 with flag 5945000/5945000 739.19/736.62 c cleaning 9995 clauses out of 20008 with flag 5955000/5955000 740.60/738.01 c cleaning 9998 clauses out of 20013 with flag 5965000/5965000 741.99/739.42 c cleaning 10001 clauses out of 20016 with flag 5975001/5975001 743.39/740.84 c cleaning 9997 clauses out of 20014 with flag 5985000/5985000 744.69/742.10 c cleaning 10005 clauses out of 20017 with flag 5995000/5995000 746.21/743.63 c cleaning 10001 clauses out of 20012 with flag 6005000/6005000 747.50/744.99 c cleaning 9999 clauses out of 20011 with flag 6015000/6015000 749.00/746.43 c cleaning 10003 clauses out of 20012 with flag 6025000/6025000 750.52/747.96 c cleaning 9991 clauses out of 20010 with flag 6035002/6035002 751.72/749.19 c cleaning 9996 clauses out of 20018 with flag 6045001/6045001 753.11/750.50 c cleaning 9998 clauses out of 20021 with flag 6055000/6055000 754.31/751.73 c cleaning 10009 clauses out of 20025 with flag 6065002/6065002 755.72/753.13 c cleaning 10001 clauses out of 20015 with flag 6075001/6075001 757.02/754.42 c cleaning 9998 clauses out of 20013 with flag 6085000/6085000 758.23/755.68 c cleaning 10003 clauses out of 20015 with flag 6095000/6095000 759.62/757.06 c cleaning 9998 clauses out of 20016 with flag 6105004/6105004 761.02/758.45 c cleaning 10003 clauses out of 20015 with flag 6115001/6115001 762.42/759.82 c cleaning 10001 clauses out of 20012 with flag 6125001/6125001 763.72/761.20 c cleaning 10000 clauses out of 20011 with flag 6135001/6135001 765.12/762.51 c cleaning 10001 clauses out of 20010 with flag 6145000/6145000 766.31/763.75 c cleaning 10000 clauses out of 20009 with flag 6155000/6155000 767.71/765.14 c cleaning 9996 clauses out of 20011 with flag 6165002/6165002 769.01/766.48 c cleaning 10004 clauses out of 20013 with flag 6175000/6175000 770.51/767.91 c cleaning 9995 clauses out of 20009 with flag 6185000/6185000 771.71/769.17 c cleaning 10003 clauses out of 20015 with flag 6195001/6195001 773.11/770.56 c cleaning 10000 clauses out of 20011 with flag 6205000/6205000 774.42/771.84 c cleaning 9996 clauses out of 20011 with flag 6215000/6215000 775.72/773.18 c cleaning 10007 clauses out of 20018 with flag 6225004/6225004 777.03/774.45 c cleaning 9992 clauses out of 20007 with flag 6235000/6235000 777.62/775.04 c starts : 275 777.62/775.04 c conflicts : 6240307 777.62/775.04 c decisions : 8825084 777.62/775.04 c propagations : 302285480 777.62/775.04 c inspects : 3313713861 777.62/775.04 c learnt literals : 10 777.62/775.04 c learnt binary clauses : 43 777.62/775.04 c learnt ternary clauses : 1211 777.62/775.04 c learnt clauses : 6240296 777.62/775.04 c ignored clauses : 0 777.62/775.04 c root simplifications : 0 777.62/775.04 c removed literals (reason simplification) : 34488312 777.62/775.04 c reason swapping (by a shorter reason) : 0 777.62/775.04 c Calls to reduceDB : 625 777.62/775.04 c number of reductions to clauses (during analyze) : 0 777.62/775.04 c number of learned constraints concerned by reduction : 0 777.62/775.04 c number of learning phase by resolution : 0 777.62/775.04 c number of learning phase by cutting planes : 0 777.62/775.04 c speed (assignments/second) : 390349.49773824017 777.62/775.04 c non guided choices 169 777.62/775.07 c learnt constraints type 777.62/775.07 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 15271 777.62/775.07 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43 777.62/775.07 c constraints type 777.62/775.07 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2442 777.62/775.07 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 777.62/775.07 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 242 777.62/775.07 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 777.62/775.07 s UNSATISFIABLE 777.62/775.07 c Total wall clock time (in seconds): 774.858
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-2659407-1276280129/watcher-2659407-1276280129 -o /tmp/evaluation-result-2659407-1276280129/solver-2659407-1276280129 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659407-1276280129.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.02 1.01 1.00 3/106 6020 /proc/meminfo: memFree=1566812/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=248 CPUtime=0 /proc/6020/stat : 6020 (java) R 6018 6020 5199 0 -1 4194304 282 0 0 0 0 0 0 0 16 0 1 0 3614416 253952 28 1992294400 134512640 134550932 4287142640 18446744073709551615 7619038 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6020/statm: 62 28 21 10 0 23 0 [startup+0.0320659 s] /proc/loadavg: 1.02 1.01 1.00 3/106 6020 /proc/meminfo: memFree=1566812/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1518368 CPUtime=0.01 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 2794 0 1 0 0 1 0 0 15 0 4 0 3614416 1554808832 2237 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 379592 2237 519 10 0 377303 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1518368 [startup+0.101281 s] /proc/loadavg: 1.02 1.01 1.00 3/106 6020 /proc/meminfo: memFree=1566812/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1524184 CPUtime=0.09 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 3965 0 1 0 7 2 0 0 15 0 12 0 3614416 1560764416 3404 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 381046 3404 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524184 [startup+0.301312 s] /proc/loadavg: 1.02 1.01 1.00 3/106 6020 /proc/meminfo: memFree=1566812/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1526256 CPUtime=0.35 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 5294 0 1 0 32 3 0 0 15 0 12 0 3614416 1562886144 4731 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 381564 4731 1361 10 0 378866 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1526256 [startup+0.701386 s] /proc/loadavg: 1.02 1.01 1.00 3/106 6020 /proc/meminfo: memFree=1566812/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1528412 CPUtime=1.09 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 7105 0 1 0 105 4 0 0 15 0 13 0 3614416 1565093888 6468 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382103 6469 1403 10 0 379405 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 1528412 [startup+1.50252 s] /proc/loadavg: 1.02 1.01 1.00 4/119 6033 /proc/meminfo: memFree=1544388/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1530876 CPUtime=2.68 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 8410 0 1 0 264 4 0 0 15 0 13 0 3614416 1567617024 7396 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382719 7396 1424 10 0 380021 0 [pid=6020/tid=6022] ppid=6018 vsize=1530876 CPUtime=1.47 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 5218 0 1 0 145 2 0 0 25 0 13 0 3614417 1567617024 7396 1992294400 134512640 134550932 4287142640 18446744073709551615 4109398675 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 3614419 1567617024 7396 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 3614419 1567617024 7396 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 3614420 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 3614421 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 3614421 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1530876 CPUtime=0.11 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 131 0 0 0 11 0 0 0 22 0 13 0 3614425 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1530876 CPUtime=1.07 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 1992 0 0 0 107 0 0 0 16 0 13 0 3614425 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 3614425 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567617024 7397 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 1530876 [startup+3.1008 s] /proc/loadavg: 1.02 1.01 1.00 2/119 6033 /proc/meminfo: memFree=1538932/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1530876 CPUtime=4.47 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 9682 0 1 0 442 5 0 0 15 0 13 0 3614416 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382719 8665 1442 10 0 380021 0 [pid=6020/tid=6022] ppid=6018 vsize=1530876 CPUtime=3.01 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 5611 0 1 0 299 2 0 0 25 0 13 0 3614417 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4109398745 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 13 0 3614419 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 13 0 3614419 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1530876 CPUtime=0.04 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 354 0 0 0 4 0 0 0 16 0 13 0 3614420 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1530876 CPUtime=0.2 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 142 0 0 0 20 0 0 0 15 0 13 0 3614425 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1530876 CPUtime=1.16 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 2000 0 0 0 116 0 0 0 15 0 13 0 3614425 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 3614425 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567617024 8665 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.47 Current children cumulated vsize (KiB) 1530876 [startup+6.30236 s] /proc/loadavg: 1.02 1.01 1.00 2/119 6033 /proc/meminfo: memFree=1536204/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1530876 CPUtime=7.84 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 10105 0 1 0 779 5 0 0 15 0 13 0 3614416 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382719 9084 1442 10 0 380021 0 [pid=6020/tid=6022] ppid=6018 vsize=1530876 CPUtime=6.11 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 5615 0 1 0 609 2 0 0 25 0 13 0 3614417 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4109399244 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1530876 CPUtime=0.01 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 370 0 0 0 1 0 0 0 16 0 13 0 3614419 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1530876 CPUtime=0.01 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 351 0 0 0 1 0 0 0 16 0 13 0 3614419 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1530876 CPUtime=0.11 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 542 0 0 0 11 0 0 0 16 0 13 0 3614420 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1530876 CPUtime=0.21 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 142 0 0 0 21 0 0 0 15 0 13 0 3614425 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1530876 CPUtime=1.33 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 2017 0 0 0 133 0 0 0 16 0 13 0 3614425 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 3614425 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567617024 9084 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.84 Current children cumulated vsize (KiB) 1530876 [startup+12.7015 s] /proc/loadavg: 1.01 1.01 1.00 2/119 6033 /proc/meminfo: memFree=1534468/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1530876 CPUtime=14.32 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 10325 0 1 0 1427 5 0 0 15 0 13 0 3614416 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382719 9300 1442 10 0 380021 0 [pid=6020/tid=6022] ppid=6018 vsize=1530876 CPUtime=12.38 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 5619 0 1 0 1236 2 0 0 25 0 13 0 3614417 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4109316176 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1530876 CPUtime=0.03 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 386 0 0 0 3 0 0 0 16 0 13 0 3614419 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1530876 CPUtime=0.03 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 373 0 0 0 3 0 0 0 15 0 13 0 3614419 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1530876 CPUtime=0.22 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 715 0 0 0 22 0 0 0 16 0 13 0 3614420 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1530876 CPUtime=0.21 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 142 0 0 0 21 0 0 0 15 0 13 0 3614425 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1530876 CPUtime=1.4 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 2022 0 0 0 140 0 0 0 16 0 13 0 3614425 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 3614425 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1530876 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567617024 9300 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 1530876 [startup+25.5012 s] /proc/loadavg: 1.01 1.01 1.00 2/119 6033 /proc/meminfo: memFree=1533972/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1530876 CPUtime=27.14 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 10473 0 1 0 2709 5 0 0 15 0 13 0 3614416 1567617024 9438 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382719 9438 1442 10 0 380021 0 [pid=6020/tid=6022] ppid=6018 vsize=1530876 CPUtime=24.86 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 5629 0 1 0 2484 2 0 0 25 0 13 0 3614417 1567617024 9438 1992294400 134512640 134550932 4287142640 18446744073709551615 4109316951 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1530876 CPUtime=0.06 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 388 0 0 0 6 0 0 0 16 0 13 0 3614419 1567617024 9438 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1530876 CPUtime=0.06 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 376 0 0 0 6 0 0 0 15 0 13 0 3614419 1567617024 9438 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1530876 CPUtime=0.47 ################ # More data... # ################ /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 770.51 Current children cumulated vsize (KiB) 1531056 [startup+771.11 s] /proc/loadavg: 1.00 1.00 1.00 3/119 6053 /proc/meminfo: memFree=1526920/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1531056 CPUtime=773.72 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 14623 0 1 0 77316 56 0 0 15 0 13 0 3614416 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382764 10712 1442 10 0 380066 0 [pid=6020/tid=6022] ppid=6018 vsize=1531056 CPUtime=750.27 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 6239 0 1 0 74999 28 0 0 25 0 13 0 3614417 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4109316951 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1531056 CPUtime=1.81 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 400 0 0 0 172 9 0 0 15 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1531056 CPUtime=1.67 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 387 0 0 0 159 8 0 0 16 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1531056 CPUtime=17.71 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1998 0 0 0 1764 7 0 0 16 0 13 0 3614420 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1531056 CPUtime=0.25 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 237 0 0 0 25 0 0 0 16 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1531056 CPUtime=1.94 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 4249 0 0 0 193 1 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 773.72 Current children cumulated vsize (KiB) 1531056 [startup+772.702 s] /proc/loadavg: 1.00 1.00 1.00 2/119 6053 /proc/meminfo: memFree=1526920/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1531056 CPUtime=775.32 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 14624 0 1 0 77475 57 0 0 15 0 13 0 3614416 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382764 10712 1442 10 0 380066 0 [pid=6020/tid=6022] ppid=6018 vsize=1531056 CPUtime=751.83 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 6240 0 1 0 75155 28 0 0 25 0 13 0 3614417 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4109398800 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1531056 CPUtime=1.82 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 400 0 0 0 173 9 0 0 16 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1531056 CPUtime=1.68 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 387 0 0 0 160 8 0 0 15 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1531056 CPUtime=17.74 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1998 0 0 0 1767 7 0 0 16 0 13 0 3614420 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1531056 CPUtime=0.25 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 237 0 0 0 25 0 0 0 16 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1531056 CPUtime=1.94 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 4249 0 0 0 193 1 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 775.32 Current children cumulated vsize (KiB) 1531056 [startup+774.302 s] /proc/loadavg: 1.00 1.00 1.00 2/119 6053 /proc/meminfo: memFree=1526920/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1531056 CPUtime=776.93 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 14626 0 1 0 77636 57 0 0 15 0 13 0 3614416 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382764 10712 1442 10 0 380066 0 [pid=6020/tid=6022] ppid=6018 vsize=1531056 CPUtime=753.4 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 6242 0 1 0 75312 28 0 0 25 0 13 0 3614417 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4109316951 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1531056 CPUtime=1.82 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 400 0 0 0 173 9 0 0 16 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1531056 CPUtime=1.68 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 387 0 0 0 160 8 0 0 15 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1531056 CPUtime=17.78 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1998 0 0 0 1771 7 0 0 15 0 13 0 3614420 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1531056 CPUtime=0.25 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 237 0 0 0 25 0 0 0 16 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1531056 CPUtime=1.94 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 4249 0 0 0 193 1 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 776.93 Current children cumulated vsize (KiB) 1531056 [startup+774.702 s] /proc/loadavg: 1.00 1.00 1.00 2/119 6053 /proc/meminfo: memFree=1526920/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1531056 CPUtime=777.32 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 14627 0 1 0 77675 57 0 0 15 0 13 0 3614416 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382764 10712 1442 10 0 380066 0 [pid=6020/tid=6022] ppid=6018 vsize=1531056 CPUtime=753.76 /proc/6020/task/6022/stat : 6022 (java) R 6018 6020 5199 0 -1 4202560 6243 0 1 0 75348 28 0 0 25 0 13 0 3614417 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4109381204 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1531056 CPUtime=1.82 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 400 0 0 0 173 9 0 0 16 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1531056 CPUtime=1.68 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 387 0 0 0 160 8 0 0 15 0 13 0 3614419 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1531056 CPUtime=17.8 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1998 0 0 0 1773 7 0 0 16 0 13 0 3614420 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1531056 CPUtime=0.25 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 237 0 0 0 25 0 0 0 16 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1531056 CPUtime=1.94 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 4249 0 0 0 193 1 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 13 0 3614425 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531056 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1567801344 10712 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 777.32 Current children cumulated vsize (KiB) 1531056 [startup+775.101 s] /proc/loadavg: 1.00 1.00 1.00 2/119 6053 /proc/meminfo: memFree=1526920/2059040 swapFree=4192956/4192956 [pid=6020] ppid=6018 vsize=1531380 CPUtime=777.72 /proc/6020/stat : 6020 (java) S 6018 6020 5199 0 -1 4202496 14641 0 1 0 77715 57 0 0 15 0 13 0 3614416 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/6020/statm: 382845 10726 1445 10 0 380147 0 [pid=6020/tid=6022] ppid=6018 vsize=1531380 CPUtime=754.11 /proc/6020/task/6022/stat : 6022 (java) S 6018 6020 5199 0 -1 4202560 6249 0 1 0 75383 28 0 0 25 0 13 0 3614417 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6023] ppid=6018 vsize=1531380 CPUtime=1.82 /proc/6020/task/6023/stat : 6023 (java) S 6018 6020 5199 0 -1 4202560 400 0 0 0 173 9 0 0 16 0 13 0 3614419 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6024] ppid=6018 vsize=1531380 CPUtime=1.68 /proc/6020/task/6024/stat : 6024 (java) S 6018 6020 5199 0 -1 4202560 387 0 0 0 160 8 0 0 15 0 13 0 3614419 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6025] ppid=6018 vsize=1531380 CPUtime=17.8 /proc/6020/task/6025/stat : 6025 (java) S 6018 6020 5199 0 -1 4202560 1998 0 0 0 1773 7 0 0 16 0 13 0 3614420 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 0 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6026] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6026/stat : 6026 (java) S 6018 6020 5199 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 3614421 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6027] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6027/stat : 6027 (java) S 6018 6020 5199 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 3614421 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6028] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6028/stat : 6028 (java) S 6018 6020 5199 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 3614425 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6029] ppid=6018 vsize=1531380 CPUtime=0.25 /proc/6020/task/6029/stat : 6029 (java) S 6018 6020 5199 0 -1 4202560 237 0 0 0 25 0 0 0 16 0 13 0 3614425 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6030] ppid=6018 vsize=1531380 CPUtime=1.97 /proc/6020/task/6030/stat : 6030 (java) S 6018 6020 5199 0 -1 4202560 4251 0 0 0 196 1 0 0 15 0 13 0 3614425 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6031] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6031/stat : 6031 (java) S 6018 6020 5199 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 3614425 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 0 0 0 0 [pid=6020/tid=6032] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6032/stat : 6032 (java) S 6018 6020 5199 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 13 0 3614425 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 [pid=6020/tid=6033] ppid=6018 vsize=1531380 CPUtime=0 /proc/6020/task/6033/stat : 6033 (java) S 6018 6020 5199 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 3614481 1568133120 10726 1992294400 134512640 134550932 4287142640 18446744073709551615 4294960144 0 4 0 16800975 18446604437841696576 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 777.72 Current children cumulated vsize (KiB) 1531380 Child status: 20 Real time (s): 775.121 CPU time (s): 777.735 CPU user time (s): 777.157 CPU system time (s): 0.577912 CPU usage (%): 100.337 Max. virtual memory (cumulated for all children) (KiB): 1537364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 777.157 system time used= 0.577912 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14645 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= 23048 involuntary context switches= 14540 runsolver used 1.63675 second user time and 4.29235 second system time The end
Begin job on node012 at 2010-06-11 20:15:29 IDJOB=2659407 IDBENCH=1270 IDSOLVER=1164 FILE ID=node012/2659407-1276280129 PBS_JOBID= 11173096 Free space on /tmp= 62412 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659407-1276280129/watcher-2659407-1276280129 -o /tmp/evaluation-result-2659407-1276280129/solver-2659407-1276280129 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659407-1276280129.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9f20f031d3068edba1350cbde5c721b5 RANDOM SEED=1382749951 node012.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.258 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.51 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.258 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1567332 kB Buffers: 57076 kB Cached: 308144 kB SwapCached: 0 kB Active: 170508 kB Inactive: 253904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1567332 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 59152 kB Mapped: 15388 kB Slab: 45460 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182180 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= 62408 MiB End job on node012 at 2010-06-11 20:28:24