Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 618.434 | 615.213 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo |
MD5SUM | ed627c94e924dd829be1b38440fce2ad |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 171.049 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 911 |
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 |
Top cost | 45526 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45525 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
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.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.08 c version 2.2.1.v20100705 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.08 c java.vm.version 11.2-b01 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 32 0.04/0.08 c java.version 1.6.0_12 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.18-164.el5 0.04/0.08 c os.arch i386 0.04/0.08 c Free memory 1393557488 0.04/0.08 c Max memory 1395916800 0.04/0.08 c Total memory 1395916800 0.04/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2698725-1278326298.wbo 0.11/0.10 c reading problem ... 0.27/0.29 c ... done. Wall clock time 0.191s. 0.27/0.29 c #vars 1142 0.27/0.29 c #constraints 2707 0.27/0.29 c constraints type 0.27/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520 0.27/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 16 0.27/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164 0.27/0.29 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7 0.76/0.42 c SATISFIABLE 0.76/0.42 c OPTIMIZING... 0.76/0.42 c Got one! Elapsed wall clock time (in seconds):0.324 0.76/0.42 o 550 0.76/0.47 c Got one! Elapsed wall clock time (in seconds):0.377 0.76/0.47 o 238 1.06/0.55 c Got one! Elapsed wall clock time (in seconds):0.453 1.06/0.55 o 218 1.36/0.61 c Got one! Elapsed wall clock time (in seconds):0.517 1.36/0.61 o 183 1.65/0.75 c Got one! Elapsed wall clock time (in seconds):0.65 1.65/0.75 o 173 1.65/0.79 c Got one! Elapsed wall clock time (in seconds):0.696 1.65/0.79 o 167 1.95/0.84 c Got one! Elapsed wall clock time (in seconds):0.741 1.95/0.84 o 133 2.42/1.10 c Got one! Elapsed wall clock time (in seconds):1.006 2.42/1.10 o 94 2.52/1.20 c Got one! Elapsed wall clock time (in seconds):1.104 2.52/1.20 o 89 2.52/1.27 c cleaning 2497 clauses out of 5001 with flag 5001/5001 2.65/1.34 c Got one! Elapsed wall clock time (in seconds):1.241 2.65/1.34 o 82 2.76/1.50 c Got one! Elapsed wall clock time (in seconds):1.4 2.76/1.50 o 81 3.06/1.70 c Got one! Elapsed wall clock time (in seconds):1.602 3.06/1.70 o 59 3.32/1.90 c Got one! Elapsed wall clock time (in seconds):1.803 3.32/1.90 o 53 3.32/1.95 c cleaning 4250 clauses out of 8503 with flag 11000/11000 3.32/1.98 c Got one! Elapsed wall clock time (in seconds):1.885 3.32/1.98 o 48 3.49/2.04 c Got one! Elapsed wall clock time (in seconds):1.949 3.49/2.04 o 41 3.68/2.15 c Got one! Elapsed wall clock time (in seconds):2.058 3.68/2.15 o 40 3.78/2.29 c Got one! Elapsed wall clock time (in seconds):2.191 3.78/2.29 o 37 3.98/2.48 c Got one! Elapsed wall clock time (in seconds):2.385 3.98/2.48 o 23 4.08/2.51 c Got one! Elapsed wall clock time (in seconds):2.409 4.08/2.51 o 8 4.18/2.61 c Got one! Elapsed wall clock time (in seconds):2.515 4.18/2.61 o 7 4.18/2.67 c cleaning 5625 clauses out of 11254 with flag 18001/18001 4.33/2.73 c Got one! Elapsed wall clock time (in seconds):2.633 4.33/2.73 o 6 5.06/3.37 c cleaning 6809 clauses out of 13628 with flag 26000/26000 5.28/3.51 c Got one! Elapsed wall clock time (in seconds):3.417 5.28/3.51 o 2 5.98/4.27 c cleaning 7909 clauses out of 15823 with flag 35004/35004 6.88/5.15 c cleaning 8949 clauses out of 17910 with flag 45000/45000 7.69/5.99 c cleaning 9476 clauses out of 18961 with flag 55000/55000 8.61/6.86 c cleaning 9740 clauses out of 19485 with flag 65000/65000 9.41/7.66 c cleaning 9867 clauses out of 19745 with flag 75000/75000 10.21/8.43 c cleaning 9931 clauses out of 19878 with flag 85000/85000 11.01/9.22 c cleaning 9968 clauses out of 19947 with flag 95000/95000 11.72/9.95 c cleaning 9985 clauses out of 19981 with flag 105002/105002 12.41/10.67 c cleaning 9994 clauses out of 19994 with flag 115000/115000 13.32/11.51 c cleaning 9990 clauses out of 20000 with flag 125000/125000 14.02/12.29 c cleaning 10001 clauses out of 20010 with flag 135000/135000 14.82/13.04 c cleaning 9994 clauses out of 20010 with flag 145001/145001 15.52/13.76 c cleaning 9999 clauses out of 20016 with flag 155001/155001 16.23/14.47 c cleaning 10002 clauses out of 20018 with flag 165002/165002 16.93/15.16 c cleaning 10000 clauses out of 20014 with flag 175000/175000 17.73/15.95 c cleaning 10002 clauses out of 20014 with flag 185000/185000 18.43/16.67 c cleaning 9998 clauses out of 20013 with flag 195001/195001 18.43/16.69 c Got one! Elapsed wall clock time (in seconds):16.597 18.43/16.69 o 1 19.53/17.76 c cleaning 10003 clauses out of 20015 with flag 205001/205001 20.44/18.62 c cleaning 10004 clauses out of 20013 with flag 215002/215002 21.03/19.28 c cleaning 9998 clauses out of 20009 with flag 225002/225002 21.73/19.91 c cleaning 9994 clauses out of 20009 with flag 235000/235000 22.33/20.56 c cleaning 10002 clauses out of 20016 with flag 245001/245001 23.03/21.21 c cleaning 9999 clauses out of 20014 with flag 255001/255001 23.63/21.89 c cleaning 10003 clauses out of 20014 with flag 265000/265000 24.43/22.63 c cleaning 10000 clauses out of 20013 with flag 275002/275002 25.03/23.28 c cleaning 9999 clauses out of 20011 with flag 285000/285000 25.73/23.94 c cleaning 10002 clauses out of 20012 with flag 295000/295000 26.43/24.61 c cleaning 10001 clauses out of 20010 with flag 305000/305000 27.14/25.31 c cleaning 10002 clauses out of 20011 with flag 315002/315002 27.73/25.97 c cleaning 10000 clauses out of 20007 with flag 325000/325000 28.44/26.66 c cleaning 9995 clauses out of 20007 with flag 335000/335000 29.15/27.37 c cleaning 10002 clauses out of 20013 with flag 345001/345001 29.85/28.02 c cleaning 9996 clauses out of 20010 with flag 355000/355000 30.45/28.69 c cleaning 10001 clauses out of 20017 with flag 365003/365003 31.14/29.39 c cleaning 10000 clauses out of 20014 with flag 375001/375001 31.84/30.07 c cleaning 10006 clauses out of 20016 with flag 385003/385003 32.55/30.75 c cleaning 9996 clauses out of 20007 with flag 395000/395000 33.34/31.51 c cleaning 10001 clauses out of 20013 with flag 405002/405002 34.04/32.23 c cleaning 9998 clauses out of 20012 with flag 415002/415002 34.65/32.87 c cleaning 10003 clauses out of 20013 with flag 425001/425001 35.25/33.49 c cleaning 9998 clauses out of 20009 with flag 435000/435000 35.95/34.19 c cleaning 9998 clauses out of 20011 with flag 445000/445000 36.65/34.88 c cleaning 10002 clauses out of 20013 with flag 455000/455000 37.35/35.56 c cleaning 9997 clauses out of 20011 with flag 465000/465000 37.95/36.16 c cleaning 10001 clauses out of 20014 with flag 475000/475000 38.65/36.82 c cleaning 10004 clauses out of 20014 with flag 485001/485001 39.35/37.53 c cleaning 9992 clauses out of 20009 with flag 495000/495000 39.97/38.15 c cleaning 10005 clauses out of 20018 with flag 505001/505001 40.57/38.77 c cleaning 10000 clauses out of 20012 with flag 515000/515000 41.18/39.38 c cleaning 10002 clauses out of 20014 with flag 525002/525002 41.89/40.04 c cleaning 9993 clauses out of 20010 with flag 535000/535000 42.49/40.65 c cleaning 10005 clauses out of 20022 with flag 545005/545005 43.09/41.29 c cleaning 9998 clauses out of 20014 with flag 555002/555002 43.79/41.91 c cleaning 10001 clauses out of 20014 with flag 565000/565000 44.39/42.56 c cleaning 9998 clauses out of 20013 with flag 575000/575000 45.09/43.21 c cleaning 10000 clauses out of 20015 with flag 585000/585000 45.70/43.84 c cleaning 10003 clauses out of 20016 with flag 595001/595001 46.29/44.50 c cleaning 10000 clauses out of 20012 with flag 605000/605000 47.00/45.12 c cleaning 10000 clauses out of 20013 with flag 615001/615001 47.59/45.77 c cleaning 10005 clauses out of 20013 with flag 625001/625001 48.30/46.44 c cleaning 9994 clauses out of 20007 with flag 635000/635000 48.90/47.08 c cleaning 10001 clauses out of 20014 with flag 645001/645001 49.60/47.73 c cleaning 10004 clauses out of 20015 with flag 655003/655003 50.40/48.50 c cleaning 9999 clauses out of 20008 with flag 665000/665000 51.00/49.16 c cleaning 10003 clauses out of 20011 with flag 675002/675002 51.60/49.75 c cleaning 9999 clauses out of 20006 with flag 685000/685000 52.20/50.39 c cleaning 9998 clauses out of 20009 with flag 695002/695002 52.90/51.03 c cleaning 9998 clauses out of 20009 with flag 705000/705000 53.51/51.70 c cleaning 9997 clauses out of 20011 with flag 715000/715000 54.31/52.43 c cleaning 10002 clauses out of 20014 with flag 725000/725000 54.91/53.08 c cleaning 10001 clauses out of 20012 with flag 735000/735000 55.51/53.68 c cleaning 10002 clauses out of 20011 with flag 745000/745000 56.21/54.30 c cleaning 9999 clauses out of 20009 with flag 755000/755000 56.82/54.94 c cleaning 9998 clauses out of 20010 with flag 765000/765000 57.52/55.61 c cleaning 9999 clauses out of 20012 with flag 775000/775000 58.12/56.26 c cleaning 10001 clauses out of 20013 with flag 785000/785000 58.72/56.86 c cleaning 10005 clauses out of 20014 with flag 795002/795002 59.42/57.50 c cleaning 10000 clauses out of 20009 with flag 805002/805002 60.02/58.17 c cleaning 9999 clauses out of 20007 with flag 815000/815000 60.72/58.82 c cleaning 9996 clauses out of 20009 with flag 825001/825001 61.42/59.52 c cleaning 10001 clauses out of 20012 with flag 835000/835000 62.02/60.17 c cleaning 10002 clauses out of 20013 with flag 845002/845002 62.73/60.86 c cleaning 9998 clauses out of 20009 with flag 855000/855000 63.33/61.44 c cleaning 10002 clauses out of 20011 with flag 865000/865000 63.93/62.03 c cleaning 9997 clauses out of 20010 with flag 875001/875001 64.54/62.63 c cleaning 10002 clauses out of 20012 with flag 885000/885000 65.23/63.32 c cleaning 10000 clauses out of 20010 with flag 895000/895000 65.83/63.95 c cleaning 9997 clauses out of 20010 with flag 905000/905000 66.53/64.64 c cleaning 10002 clauses out of 20014 with flag 915001/915001 67.13/65.24 c cleaning 10000 clauses out of 20012 with flag 925001/925001 67.84/65.97 c cleaning 10002 clauses out of 20012 with flag 935001/935001 68.63/66.72 c cleaning 10003 clauses out of 20011 with flag 945002/945002 69.23/67.39 c cleaning 9993 clauses out of 20007 with flag 955001/955001 69.93/68.06 c cleaning 10004 clauses out of 20015 with flag 965002/965002 70.63/68.73 c cleaning 9993 clauses out of 20010 with flag 975001/975001 71.33/69.41 c cleaning 10002 clauses out of 20016 with flag 985000/985000 71.93/70.04 c cleaning 10001 clauses out of 20015 with flag 995001/995001 72.53/70.66 c cleaning 10001 clauses out of 20014 with flag 1005001/1005001 73.13/71.28 c cleaning 9995 clauses out of 20012 with flag 1015000/1015000 73.73/71.90 c cleaning 10001 clauses out of 20017 with flag 1025000/1025000 74.44/72.56 c cleaning 9997 clauses out of 20016 with flag 1035000/1035000 75.13/73.21 c cleaning 10004 clauses out of 20021 with flag 1045002/1045002 75.73/73.86 c cleaning 10003 clauses out of 20016 with flag 1055001/1055001 76.44/74.55 c cleaning 10003 clauses out of 20015 with flag 1065003/1065003 77.14/75.26 c cleaning 9991 clauses out of 20011 with flag 1075002/1075002 77.85/75.99 c cleaning 10007 clauses out of 20019 with flag 1085001/1085001 78.54/76.66 c cleaning 10003 clauses out of 20012 with flag 1095001/1095001 79.14/77.29 c cleaning 10002 clauses out of 20011 with flag 1105003/1105003 79.85/77.93 c cleaning 10000 clauses out of 20008 with flag 1115002/1115002 80.54/78.60 c cleaning 9998 clauses out of 20006 with flag 1125000/1125000 81.15/79.27 c cleaning 9997 clauses out of 20008 with flag 1135000/1135000 81.85/79.95 c cleaning 10004 clauses out of 20013 with flag 1145002/1145002 82.55/80.63 c cleaning 9997 clauses out of 20007 with flag 1155000/1155000 83.25/81.32 c cleaning 10002 clauses out of 20012 with flag 1165002/1165002 84.05/82.13 c cleaning 10000 clauses out of 20009 with flag 1175001/1175001 84.75/82.83 c cleaning 9997 clauses out of 20008 with flag 1185000/1185000 85.46/83.59 c cleaning 9999 clauses out of 20011 with flag 1195000/1195000 86.15/84.26 c cleaning 9997 clauses out of 20012 with flag 1205000/1205000 86.85/84.98 c cleaning 10001 clauses out of 20016 with flag 1215001/1215001 87.55/85.66 c cleaning 10005 clauses out of 20015 with flag 1225001/1225001 88.25/86.33 c cleaning 9997 clauses out of 20010 with flag 1235001/1235001 88.95/87.00 c cleaning 10000 clauses out of 20013 with flag 1245001/1245001 89.65/87.70 c cleaning 10002 clauses out of 20015 with flag 1255003/1255003 90.35/88.48 c cleaning 9996 clauses out of 20012 with flag 1265002/1265002 91.06/89.19 c cleaning 9997 clauses out of 20015 with flag 1275001/1275001 91.76/89.83 c cleaning 10004 clauses out of 20019 with flag 1285002/1285002 92.46/90.50 c cleaning 10003 clauses out of 20015 with flag 1295002/1295002 93.05/91.17 c cleaning 9996 clauses out of 20011 with flag 1305001/1305001 93.76/91.89 c cleaning 10003 clauses out of 20015 with flag 1315001/1315001 94.46/92.57 c cleaning 10004 clauses out of 20013 with flag 1325002/1325002 95.16/93.28 c cleaning 10001 clauses out of 20007 with flag 1335000/1335000 95.86/93.92 c cleaning 9998 clauses out of 20008 with flag 1345002/1345002 96.56/94.63 c cleaning 9999 clauses out of 20008 with flag 1355000/1355000 97.16/95.26 c cleaning 9994 clauses out of 20009 with flag 1365000/1365000 97.76/95.87 c cleaning 10006 clauses out of 20015 with flag 1375000/1375000 98.47/96.50 c cleaning 9995 clauses out of 20009 with flag 1385000/1385000 99.07/97.14 c cleaning 9998 clauses out of 20016 with flag 1395002/1395002 99.77/97.81 c cleaning 10004 clauses out of 20016 with flag 1405000/1405000 100.37/98.47 c cleaning 10002 clauses out of 20012 with flag 1415000/1415000 101.07/99.13 c cleaning 10000 clauses out of 20010 with flag 1425000/1425000 101.67/99.79 c cleaning 10000 clauses out of 20011 with flag 1435001/1435001 102.38/100.45 c cleaning 9997 clauses out of 20011 with flag 1445001/1445001 103.08/101.13 c cleaning 10004 clauses out of 20014 with flag 1455001/1455001 103.68/101.78 c cleaning 10002 clauses out of 20009 with flag 1465000/1465000 104.38/102.46 c cleaning 9998 clauses out of 20008 with flag 1475001/1475001 105.08/103.14 c cleaning 10001 clauses out of 20009 with flag 1485000/1485000 105.78/103.81 c cleaning 9998 clauses out of 20008 with flag 1495000/1495000 106.38/104.48 c cleaning 9995 clauses out of 20010 with flag 1505000/1505000 107.08/105.12 c cleaning 10003 clauses out of 20015 with flag 1515000/1515000 107.78/105.82 c cleaning 10002 clauses out of 20014 with flag 1525002/1525002 108.38/106.45 c cleaning 10000 clauses out of 20012 with flag 1535002/1535002 109.08/107.11 c cleaning 10001 clauses out of 20011 with flag 1545001/1545001 109.69/107.77 c cleaning 9996 clauses out of 20009 with flag 1555000/1555000 110.38/108.47 c cleaning 10002 clauses out of 20015 with flag 1565002/1565002 111.08/109.12 c cleaning 10002 clauses out of 20011 with flag 1575000/1575000 111.68/109.76 c cleaning 10000 clauses out of 20012 with flag 1585003/1585003 112.28/110.40 c cleaning 10002 clauses out of 20012 with flag 1595003/1595003 113.18/111.21 c cleaning 9991 clauses out of 20008 with flag 1605001/1605001 113.78/111.89 c cleaning 10006 clauses out of 20019 with flag 1615003/1615003 114.48/112.59 c cleaning 10000 clauses out of 20012 with flag 1625002/1625002 115.29/113.32 c cleaning 9999 clauses out of 20010 with flag 1635000/1635000 115.88/113.95 c cleaning 9996 clauses out of 20013 with flag 1645002/1645002 116.48/114.59 c cleaning 9996 clauses out of 20015 with flag 1655000/1655000 117.28/115.30 c cleaning 9999 clauses out of 20019 with flag 1665000/1665000 117.99/116.01 c cleaning 9998 clauses out of 20022 with flag 1675002/1675002 118.68/116.72 c cleaning 10006 clauses out of 20025 with flag 1685003/1685003 119.28/117.38 c cleaning 10003 clauses out of 20016 with flag 1695000/1695000 119.98/118.00 c cleaning 10001 clauses out of 20015 with flag 1705002/1705002 120.69/118.71 c cleaning 9999 clauses out of 20012 with flag 1715000/1715000 121.29/119.37 c cleaning 10003 clauses out of 20017 with flag 1725004/1725004 121.99/120.07 c cleaning 10000 clauses out of 20012 with flag 1735002/1735002 122.69/120.75 c cleaning 9996 clauses out of 20011 with flag 1745001/1745001 123.39/121.43 c cleaning 9987 clauses out of 20014 with flag 1755000/1755000 124.00/122.07 c cleaning 10007 clauses out of 20027 with flag 1765000/1765000 124.69/122.78 c cleaning 9997 clauses out of 20020 with flag 1775000/1775000 125.49/123.52 c cleaning 10007 clauses out of 20025 with flag 1785002/1785002 126.10/124.17 c cleaning 10001 clauses out of 20016 with flag 1795000/1795000 126.70/124.79 c cleaning 9999 clauses out of 20015 with flag 1805000/1805000 127.41/125.43 c cleaning 10000 clauses out of 20017 with flag 1815001/1815001 128.00/126.09 c cleaning 10001 clauses out of 20017 with flag 1825001/1825001 128.80/126.87 c cleaning 10007 clauses out of 20017 with flag 1835002/1835002 129.61/127.61 c cleaning 9995 clauses out of 20010 with flag 1845002/1845002 130.31/128.31 c cleaning 10004 clauses out of 20015 with flag 1855002/1855002 131.01/129.04 c cleaning 10002 clauses out of 20012 with flag 1865003/1865003 131.71/129.74 c cleaning 9996 clauses out of 20009 with flag 1875002/1875002 132.41/130.44 c cleaning 10000 clauses out of 20011 with flag 1885000/1885000 133.11/131.10 c cleaning 10000 clauses out of 20012 with flag 1895001/1895001 133.81/131.81 c cleaning 10000 clauses out of 20013 with flag 1905002/1905002 134.41/132.47 c cleaning 10003 clauses out of 20011 with flag 1915000/1915000 135.11/133.19 c cleaning 9998 clauses out of 20009 with flag 1925001/1925001 135.91/133.92 c cleaning 10001 clauses out of 20010 with flag 1935000/1935000 136.51/134.55 c cleaning 10001 clauses out of 20009 with flag 1945000/1945000 137.22/135.28 c cleaning 9998 clauses out of 20008 with flag 1955000/1955000 137.91/135.96 c cleaning 10001 clauses out of 20010 with flag 1965000/1965000 138.61/136.66 c cleaning 10000 clauses out of 20009 with flag 1975000/1975000 139.31/137.33 c cleaning 10002 clauses out of 20011 with flag 1985002/1985002 139.91/137.96 c cleaning 10000 clauses out of 20008 with flag 1995001/1995001 140.62/138.68 c cleaning 9998 clauses out of 20007 with flag 2005000/2005000 141.31/139.38 c cleaning 10002 clauses out of 20009 with flag 2015000/2015000 142.11/140.10 c cleaning 9997 clauses out of 20010 with flag 2025003/2025003 142.82/140.81 c cleaning 9997 clauses out of 20010 with flag 2035000/2035000 143.42/141.46 c cleaning 10001 clauses out of 20013 with flag 2045000/2045000 144.13/142.10 c cleaning 9998 clauses out of 20012 with flag 2055000/2055000 144.83/142.82 c cleaning 9995 clauses out of 20014 with flag 2065000/2065000 145.53/143.53 c cleaning 10004 clauses out of 20019 with flag 2075000/2075000 146.23/144.23 c cleaning 10001 clauses out of 20015 with flag 2085000/2085000 146.83/144.88 c cleaning 9997 clauses out of 20015 with flag 2095001/2095001 147.53/145.50 c cleaning 10003 clauses out of 20017 with flag 2105000/2105000 148.13/146.17 c cleaning 9999 clauses out of 20014 with flag 2115000/2115000 148.83/146.83 c cleaning 9998 clauses out of 20015 with flag 2125000/2125000 149.53/147.50 c cleaning 10000 clauses out of 20017 with flag 2135000/2135000 150.13/148.12 c cleaning 10001 clauses out of 20017 with flag 2145000/2145000 150.73/148.77 c cleaning 10005 clauses out of 20018 with flag 2155002/2155002 151.54/149.51 c cleaning 10004 clauses out of 20016 with flag 2165005/2165005 152.13/150.19 c cleaning 9991 clauses out of 20007 with flag 2175000/2175000 152.93/150.94 c cleaning 10005 clauses out of 20017 with flag 2185001/2185001 153.63/151.61 c cleaning 10000 clauses out of 20012 with flag 2195001/2195001 154.23/152.27 c cleaning 9995 clauses out of 20011 with flag 2205000/2205000 154.84/152.90 c cleaning 10004 clauses out of 20018 with flag 2215002/2215002 155.63/153.60 c cleaning 9997 clauses out of 20014 with flag 2225002/2225002 156.23/154.26 c cleaning 10000 clauses out of 20015 with flag 2235000/2235000 156.94/154.95 c cleaning 10002 clauses out of 20017 with flag 2245002/2245002 157.54/155.58 c cleaning 10004 clauses out of 20014 with flag 2255001/2255001 158.25/156.29 c cleaning 10002 clauses out of 20013 with flag 2265004/2265004 158.94/156.94 c cleaning 9999 clauses out of 20007 with flag 2275000/2275000 159.55/157.59 c cleaning 9995 clauses out of 20008 with flag 2285000/2285000 160.24/158.23 c cleaning 10000 clauses out of 20014 with flag 2295001/2295001 160.85/158.84 c cleaning 10002 clauses out of 20014 with flag 2305001/2305001 161.45/159.48 c cleaning 10000 clauses out of 20012 with flag 2315001/2315001 162.15/160.11 c cleaning 10000 clauses out of 20011 with flag 2325000/2325000 162.75/160.75 c cleaning 10001 clauses out of 20014 with flag 2335003/2335003 163.45/161.41 c cleaning 10000 clauses out of 20010 with flag 2345000/2345000 164.05/162.04 c cleaning 10001 clauses out of 20010 with flag 2355000/2355000 164.65/162.64 c cleaning 10000 clauses out of 20010 with flag 2365001/2365001 165.35/163.30 c cleaning 9998 clauses out of 20009 with flag 2375000/2375000 165.95/163.94 c cleaning 10003 clauses out of 20016 with flag 2385005/2385005 166.65/164.61 c cleaning 9995 clauses out of 20008 with flag 2395000/2395000 167.25/165.26 c cleaning 9999 clauses out of 20013 with flag 2405000/2405000 167.85/165.84 c cleaning 10000 clauses out of 20014 with flag 2415000/2415000 168.45/166.45 c cleaning 10002 clauses out of 20014 with flag 2425000/2425000 169.16/167.11 c cleaning 9992 clauses out of 20012 with flag 2435000/2435000 169.76/167.71 c cleaning 10002 clauses out of 20020 with flag 2445000/2445000 170.36/168.33 c cleaning 9999 clauses out of 20022 with flag 2455004/2455004 170.96/168.93 c cleaning 10004 clauses out of 20019 with flag 2465000/2465000 171.56/169.59 c cleaning 10003 clauses out of 20015 with flag 2475000/2475000 172.27/170.21 c cleaning 9999 clauses out of 20013 with flag 2485001/2485001 172.87/170.83 c cleaning 10005 clauses out of 20017 with flag 2495004/2495004 173.47/171.45 c cleaning 9999 clauses out of 20008 with flag 2505000/2505000 174.17/172.10 c cleaning 10000 clauses out of 20014 with flag 2515005/2515005 174.78/172.73 c cleaning 10000 clauses out of 20010 with flag 2525001/2525001 175.37/173.37 c cleaning 9997 clauses out of 20009 with flag 2535000/2535000 176.07/174.00 c cleaning 10001 clauses out of 20012 with flag 2545000/2545000 176.67/174.62 c cleaning 9997 clauses out of 20011 with flag 2555000/2555000 177.37/175.33 c cleaning 9999 clauses out of 20016 with flag 2565002/2565002 177.98/175.98 c cleaning 10004 clauses out of 20016 with flag 2575001/2575001 178.68/176.64 c cleaning 9996 clauses out of 20011 with flag 2585000/2585000 179.28/177.26 c cleaning 10000 clauses out of 20015 with flag 2595000/2595000 179.98/177.92 c cleaning 9997 clauses out of 20018 with flag 2605003/2605003 180.68/178.61 c cleaning 10007 clauses out of 20022 with flag 2615004/2615004 181.39/179.37 c cleaning 10002 clauses out of 20014 with flag 2625003/2625003 182.18/180.14 c cleaning 10002 clauses out of 20009 with flag 2635000/2635000 182.88/180.89 c cleaning 9992 clauses out of 20007 with flag 2645000/2645000 183.68/181.63 c cleaning 9994 clauses out of 20015 with flag 2655000/2655000 184.38/182.31 c cleaning 10007 clauses out of 20022 with flag 2665001/2665001 185.08/183.01 c cleaning 10003 clauses out of 20017 with flag 2675003/2675003 185.69/183.65 c cleaning 10000 clauses out of 20012 with flag 2685001/2685001 186.38/184.35 c cleaning 10005 clauses out of 20015 with flag 2695004/2695004 187.09/185.05 c cleaning 9996 clauses out of 20007 with flag 2705001/2705001 187.79/185.74 c cleaning 9992 clauses out of 20010 with flag 2715000/2715000 188.59/186.50 c cleaning 10005 clauses out of 20018 with flag 2725000/2725000 189.29/187.25 c cleaning 10005 clauses out of 20016 with flag 2735003/2735003 189.99/187.99 c cleaning 9999 clauses out of 20008 with flag 2745000/2745000 190.69/188.70 c cleaning 9997 clauses out of 20010 with flag 2755001/2755001 191.39/189.32 c cleaning 10001 clauses out of 20013 with flag 2765001/2765001 191.99/189.98 c cleaning 9994 clauses out of 20011 with flag 2775000/2775000 192.79/190.79 c cleaning 10004 clauses out of 20017 with flag 2785000/2785000 193.50/191.48 c cleaning 10001 clauses out of 20017 with flag 2795004/2795004 194.19/192.16 c cleaning 10003 clauses out of 20015 with flag 2805003/2805003 194.80/192.77 c cleaning 10000 clauses out of 20009 with flag 2815000/2815000 195.61/193.53 c cleaning 9995 clauses out of 20010 with flag 2825001/2825001 196.30/194.24 c cleaning 10000 clauses out of 20016 with flag 2835002/2835002 197.00/194.94 c cleaning 10004 clauses out of 20016 with flag 2845002/2845002 197.60/195.59 c cleaning 10000 clauses out of 20012 with flag 2855002/2855002 198.30/196.22 c cleaning 9999 clauses out of 20011 with flag 2865001/2865001 198.91/196.82 c cleaning 9998 clauses out of 20011 with flag 2875000/2875000 199.50/197.44 c cleaning 9999 clauses out of 20013 with flag 2885000/2885000 200.20/198.10 c cleaning 10000 clauses out of 20016 with flag 2895002/2895002 200.90/198.82 c cleaning 10000 clauses out of 20014 with flag 2905000/2905000 201.71/199.62 c cleaning 10004 clauses out of 20016 with flag 2915002/2915002 202.31/200.29 c cleaning 10001 clauses out of 20012 with flag 2925002/2925002 203.01/200.90 c cleaning 9999 clauses out of 20010 with flag 2935001/2935001 203.61/201.56 c cleaning 9999 clauses out of 20010 with flag 2945000/2945000 204.31/202.20 c cleaning 9999 clauses out of 20012 with flag 2955001/2955001 204.91/202.85 c cleaning 10001 clauses out of 20014 with flag 2965002/2965002 205.71/203.60 c cleaning 10001 clauses out of 20013 with flag 2975002/2975002 206.41/204.33 c cleaning 9993 clauses out of 20010 with flag 2985000/2985000 207.01/204.97 c cleaning 10002 clauses out of 20017 with flag 2995000/2995000 207.72/205.61 c cleaning 10001 clauses out of 20016 with flag 3005001/3005001 208.31/206.25 c cleaning 10003 clauses out of 20015 with flag 3015001/3015001 209.01/206.96 c cleaning 9997 clauses out of 20011 with flag 3025000/3025000 209.61/207.59 c cleaning 10005 clauses out of 20015 with flag 3035001/3035001 210.41/208.31 c cleaning 9995 clauses out of 20010 with flag 3045001/3045001 211.02/208.96 c cleaning 9998 clauses out of 20014 with flag 3055000/3055000 211.61/209.59 c cleaning 10005 clauses out of 20017 with flag 3065001/3065001 212.32/210.23 c cleaning 9993 clauses out of 20011 with flag 3075000/3075000 212.92/210.89 c cleaning 10004 clauses out of 20018 with flag 3085000/3085000 213.63/211.57 c cleaning 10004 clauses out of 20015 with flag 3095001/3095001 214.33/212.25 c cleaning 9998 clauses out of 20010 with flag 3105000/3105000 215.03/212.99 c cleaning 10001 clauses out of 20013 with flag 3115001/3115001 215.73/213.68 c cleaning 9999 clauses out of 20012 with flag 3125001/3125001 216.43/214.36 c cleaning 10003 clauses out of 20014 with flag 3135002/3135002 217.13/215.02 c cleaning 9999 clauses out of 20010 with flag 3145001/3145001 217.73/215.67 c cleaning 10001 clauses out of 20011 with flag 3155001/3155001 218.53/216.40 c cleaning 10001 clauses out of 20010 with flag 3165001/3165001 219.13/217.08 c cleaning 10000 clauses out of 20009 with flag 3175001/3175001 219.84/217.78 c cleaning 9996 clauses out of 20008 with flag 3185000/3185000 220.53/218.46 c cleaning 10001 clauses out of 20014 with flag 3195002/3195002 221.23/219.10 c cleaning 9997 clauses out of 20011 with flag 3205000/3205000 221.83/219.77 c cleaning 10000 clauses out of 20014 with flag 3215000/3215000 222.53/220.43 c cleaning 10002 clauses out of 20016 with flag 3225002/3225002 223.14/221.05 c cleaning 10000 clauses out of 20013 with flag 3235001/3235001 223.74/221.68 c cleaning 10000 clauses out of 20013 with flag 3245001/3245001 224.35/222.29 c cleaning 9998 clauses out of 20014 with flag 3255002/3255002 225.04/222.93 c cleaning 10000 clauses out of 20014 with flag 3265000/3265000 225.74/223.60 c cleaning 10003 clauses out of 20014 with flag 3275000/3275000 226.45/224.31 c cleaning 10004 clauses out of 20013 with flag 3285002/3285002 227.04/224.97 c cleaning 9990 clauses out of 20007 with flag 3295000/3295000 227.75/225.64 c cleaning 10000 clauses out of 20020 with flag 3305003/3305003 228.44/226.33 c cleaning 9998 clauses out of 20018 with flag 3315001/3315001 229.05/226.99 c cleaning 10004 clauses out of 20019 with flag 3325000/3325000 229.75/227.66 c cleaning 10001 clauses out of 20016 with flag 3335001/3335001 230.45/228.35 c cleaning 10004 clauses out of 20015 with flag 3345001/3345001 231.15/229.01 c cleaning 9993 clauses out of 20010 with flag 3355000/3355000 231.75/229.69 c cleaning 9996 clauses out of 20017 with flag 3365000/3365000 232.45/230.39 c cleaning 10001 clauses out of 20021 with flag 3375000/3375000 233.16/231.05 c cleaning 10007 clauses out of 20022 with flag 3385002/3385002 233.85/231.76 c cleaning 10003 clauses out of 20013 with flag 3395000/3395000 234.56/232.46 c cleaning 9998 clauses out of 20010 with flag 3405000/3405000 235.27/233.15 c cleaning 10001 clauses out of 20013 with flag 3415001/3415001 235.86/233.79 c cleaning 9999 clauses out of 20011 with flag 3425000/3425000 236.56/234.48 c cleaning 10000 clauses out of 20015 with flag 3435003/3435003 237.27/235.12 c cleaning 10001 clauses out of 20014 with flag 3445002/3445002 237.97/235.80 c cleaning 10002 clauses out of 20013 with flag 3455002/3455002 238.57/236.43 c cleaning 9999 clauses out of 20010 with flag 3465001/3465001 239.17/237.07 c cleaning 10000 clauses out of 20010 with flag 3475000/3475000 239.87/237.72 c cleaning 9999 clauses out of 20011 with flag 3485001/3485001 240.57/238.42 c cleaning 9995 clauses out of 20012 with flag 3495001/3495001 241.17/239.05 c cleaning 9995 clauses out of 20016 with flag 3505000/3505000 241.98/239.83 c cleaning 10009 clauses out of 20026 with flag 3515005/3515005 242.68/240.55 c cleaning 10000 clauses out of 20012 with flag 3525000/3525000 243.28/241.19 c cleaning 10003 clauses out of 20014 with flag 3535002/3535002 243.98/241.88 c cleaning 9997 clauses out of 20009 with flag 3545000/3545000 244.68/242.55 c cleaning 9999 clauses out of 20016 with flag 3555004/3555004 245.48/243.33 c cleaning 9999 clauses out of 20013 with flag 3565000/3565000 246.18/244.01 c cleaning 10000 clauses out of 20014 with flag 3575000/3575000 246.78/244.64 c cleaning 10002 clauses out of 20015 with flag 3585001/3585001 247.49/245.31 c cleaning 10000 clauses out of 20013 with flag 3595001/3595001 248.19/246.04 c cleaning 9999 clauses out of 20014 with flag 3605002/3605002 248.79/246.68 c cleaning 9995 clauses out of 20013 with flag 3615000/3615000 249.49/247.38 c cleaning 10005 clauses out of 20019 with flag 3625001/3625001 250.19/248.05 c cleaning 9999 clauses out of 20014 with flag 3635001/3635001 250.89/248.72 c cleaning 10000 clauses out of 20016 with flag 3645002/3645002 251.59/249.41 c cleaning 10001 clauses out of 20015 with flag 3655001/3655001 252.19/250.08 c cleaning 10002 clauses out of 20014 with flag 3665001/3665001 252.90/250.72 c cleaning 9995 clauses out of 20011 with flag 3675000/3675000 253.49/251.35 c cleaning 10004 clauses out of 20016 with flag 3685000/3685000 254.19/252.01 c cleaning 9999 clauses out of 20012 with flag 3695000/3695000 254.79/252.67 c cleaning 10003 clauses out of 20013 with flag 3705000/3705000 255.51/253.32 c cleaning 9994 clauses out of 20012 with flag 3715002/3715002 256.11/253.99 c cleaning 10001 clauses out of 20017 with flag 3725001/3725001 256.81/254.69 c cleaning 9999 clauses out of 20016 with flag 3735001/3735001 257.51/255.33 c cleaning 10002 clauses out of 20018 with flag 3745002/3745002 258.11/255.96 c cleaning 10001 clauses out of 20016 with flag 3755002/3755002 258.71/256.58 c cleaning 10002 clauses out of 20013 with flag 3765000/3765000 259.41/257.29 c cleaning 9998 clauses out of 20011 with flag 3775000/3775000 260.11/257.92 c cleaning 10004 clauses out of 20014 with flag 3785001/3785001 260.81/258.61 c cleaning 9995 clauses out of 20010 with flag 3795001/3795001 261.41/259.24 c cleaning 10001 clauses out of 20016 with flag 3805002/3805002 262.01/259.88 c cleaning 9998 clauses out of 20013 with flag 3815000/3815000 262.71/260.55 c cleaning 10001 clauses out of 20015 with flag 3825000/3825000 263.31/261.18 c cleaning 10002 clauses out of 20014 with flag 3835000/3835000 264.02/261.80 c cleaning 10000 clauses out of 20014 with flag 3845002/3845002 264.62/262.47 c cleaning 9997 clauses out of 20012 with flag 3855000/3855000 265.32/263.12 c cleaning 10001 clauses out of 20016 with flag 3865001/3865001 265.92/263.78 c cleaning 10005 clauses out of 20017 with flag 3875003/3875003 266.62/264.45 c cleaning 10001 clauses out of 20009 with flag 3885000/3885000 267.33/265.12 c cleaning 9998 clauses out of 20010 with flag 3895002/3895002 268.02/265.86 c cleaning 9995 clauses out of 20011 with flag 3905001/3905001 268.73/266.58 c cleaning 9998 clauses out of 20016 with flag 3915001/3915001 269.43/267.27 c cleaning 10007 clauses out of 20022 with flag 3925005/3925005 270.13/267.97 c cleaning 10000 clauses out of 20012 with flag 3935002/3935002 270.73/268.59 c cleaning 9997 clauses out of 20010 with flag 3945000/3945000 271.43/269.23 c cleaning 9998 clauses out of 20014 with flag 3955001/3955001 272.03/269.86 c cleaning 10004 clauses out of 20016 with flag 3965001/3965001 272.63/270.48 c cleaning 10002 clauses out of 20013 with flag 3975002/3975002 273.34/271.15 c cleaning 10000 clauses out of 20010 with flag 3985001/3985001 274.04/271.83 c cleaning 9998 clauses out of 20009 with flag 3995000/3995000 274.74/272.53 c cleaning 9996 clauses out of 20014 with flag 4005003/4005003 275.44/273.22 c cleaning 10006 clauses out of 20015 with flag 4015000/4015000 276.14/273.91 c cleaning 10001 clauses out of 20011 with flag 4025002/4025002 276.94/274.73 c cleaning 9997 clauses out of 20008 with flag 4035000/4035000 277.64/275.43 c cleaning 10001 clauses out of 20011 with flag 4045000/4045000 278.35/276.15 c cleaning 10002 clauses out of 20012 with flag 4055002/4055002 279.04/276.81 c cleaning 9999 clauses out of 20008 with flag 4065000/4065000 279.64/277.46 c cleaning 10002 clauses out of 20013 with flag 4075004/4075004 280.34/278.12 c cleaning 10000 clauses out of 20007 with flag 4085000/4085000 280.94/278.79 c cleaning 9997 clauses out of 20008 with flag 4095001/4095001 281.64/279.46 c cleaning 9993 clauses out of 20011 with flag 4105001/4105001 282.33/280.10 c cleaning 10002 clauses out of 20018 with flag 4115001/4115001 282.91/280.76 c cleaning 10001 clauses out of 20015 with flag 4125000/4125000 283.61/281.45 c cleaning 9999 clauses out of 20014 with flag 4135000/4135000 284.41/282.21 c cleaning 10002 clauses out of 20016 with flag 4145001/4145001 285.11/282.94 c cleaning 9996 clauses out of 20013 with flag 4155000/4155000 285.92/283.71 c cleaning 9996 clauses out of 20017 with flag 4165000/4165000 286.62/284.42 c cleaning 10001 clauses out of 20021 with flag 4175000/4175000 287.32/285.15 c cleaning 10007 clauses out of 20021 with flag 4185001/4185001 288.02/285.81 c cleaning 10001 clauses out of 20013 with flag 4195000/4195000 288.63/286.47 c cleaning 10003 clauses out of 20013 with flag 4205001/4205001 289.33/287.14 c cleaning 9995 clauses out of 20009 with flag 4215000/4215000 290.03/287.81 c cleaning 9999 clauses out of 20014 with flag 4225000/4225000 290.72/288.50 c cleaning 10001 clauses out of 20016 with flag 4235001/4235001 291.33/289.19 c cleaning 10006 clauses out of 20017 with flag 4245003/4245003 292.03/289.82 c cleaning 9999 clauses out of 20008 with flag 4255000/4255000 292.63/290.47 c cleaning 10000 clauses out of 20009 with flag 4265000/4265000 293.33/291.11 c cleaning 9997 clauses out of 20012 with flag 4275003/4275003 293.93/291.72 c cleaning 10002 clauses out of 20013 with flag 4285001/4285001 294.53/292.37 c cleaning 10001 clauses out of 20011 with flag 4295001/4295001 295.13/292.99 c cleaning 9997 clauses out of 20010 with flag 4305001/4305001 295.94/293.74 c cleaning 10003 clauses out of 20014 with flag 4315002/4315002 296.53/294.38 c cleaning 9997 clauses out of 20010 with flag 4325001/4325001 297.23/295.03 c cleaning 9998 clauses out of 20013 with flag 4335001/4335001 297.83/295.68 c cleaning 10004 clauses out of 20015 with flag 4345001/4345001 298.53/296.35 c cleaning 9994 clauses out of 20010 with flag 4355000/4355000 299.24/297.06 c cleaning 10001 clauses out of 20016 with flag 4365000/4365000 299.93/297.77 c cleaning 9998 clauses out of 20015 with flag 4375000/4375000 300.64/298.40 c cleaning 10004 clauses out of 20019 with flag 4385002/4385002 301.24/299.08 c cleaning 9991 clauses out of 20013 with flag 4395000/4395000 301.94/299.74 c cleaning 10005 clauses out of 20022 with flag 4405000/4405000 302.64/300.48 c cleaning 10002 clauses out of 20017 with flag 4415000/4415000 303.34/301.17 c cleaning 10003 clauses out of 20017 with flag 4425002/4425002 304.04/301.84 c cleaning 9999 clauses out of 20012 with flag 4435000/4435000 304.65/302.49 c cleaning 10000 clauses out of 20013 with flag 4445000/4445000 305.34/303.19 c cleaning 10002 clauses out of 20014 with flag 4455001/4455001 306.14/303.92 c cleaning 9994 clauses out of 20011 with flag 4465000/4465000 306.85/304.63 c cleaning 10007 clauses out of 20021 with flag 4475004/4475004 307.45/305.28 c cleaning 9998 clauses out of 20012 with flag 4485002/4485002 308.15/305.91 c cleaning 10000 clauses out of 20012 with flag 4495000/4495000 308.75/306.56 c cleaning 10002 clauses out of 20015 with flag 4505003/4505003 309.45/307.24 c cleaning 9997 clauses out of 20011 with flag 4515001/4515001 310.05/307.89 c cleaning 10005 clauses out of 20016 with flag 4525003/4525003 310.75/308.57 c cleaning 9999 clauses out of 20008 with flag 4535000/4535000 311.46/309.22 c cleaning 9998 clauses out of 20009 with flag 4545000/4545000 312.06/309.84 c cleaning 10001 clauses out of 20011 with flag 4555000/4555000 312.76/310.50 c cleaning 10001 clauses out of 20011 with flag 4565001/4565001 313.47/311.21 c cleaning 9999 clauses out of 20009 with flag 4575000/4575000 314.07/311.88 c cleaning 10002 clauses out of 20011 with flag 4585001/4585001 314.77/312.53 c cleaning 9994 clauses out of 20008 with flag 4595000/4595000 315.37/313.19 c cleaning 9997 clauses out of 20014 with flag 4605000/4605000 316.07/313.88 c cleaning 9999 clauses out of 20017 with flag 4615000/4615000 316.77/314.54 c cleaning 10001 clauses out of 20019 with flag 4625001/4625001 317.37/315.19 c cleaning 10000 clauses out of 20018 with flag 4635001/4635001 318.07/315.82 c cleaning 10000 clauses out of 20020 with flag 4645003/4645003 318.67/316.44 c cleaning 10001 clauses out of 20017 with flag 4655000/4655000 319.37/317.13 c cleaning 10000 clauses out of 20016 with flag 4665000/4665000 320.08/317.81 c cleaning 10000 clauses out of 20016 with flag 4675000/4675000 320.68/318.48 c cleaning 10004 clauses out of 20017 with flag 4685001/4685001 321.38/319.13 c cleaning 9997 clauses out of 20012 with flag 4695000/4695000 322.07/319.84 c cleaning 9998 clauses out of 20016 with flag 4705001/4705001 322.67/320.48 c cleaning 10005 clauses out of 20017 with flag 4715000/4715000 323.38/321.14 c cleaning 10002 clauses out of 20013 with flag 4725001/4725001 324.07/321.80 c cleaning 9998 clauses out of 20010 with flag 4735000/4735000 324.69/322.44 c cleaning 10002 clauses out of 20014 with flag 4745002/4745002 325.29/323.08 c cleaning 9998 clauses out of 20010 with flag 4755000/4755000 325.99/323.73 c cleaning 10000 clauses out of 20012 with flag 4765000/4765000 326.59/324.37 c cleaning 10002 clauses out of 20013 with flag 4775001/4775001 327.29/325.06 c cleaning 9998 clauses out of 20011 with flag 4785001/4785001 327.99/325.70 c cleaning 10001 clauses out of 20012 with flag 4795000/4795000 328.59/326.36 c cleaning 10003 clauses out of 20013 with flag 4805002/4805002 329.29/327.04 c cleaning 9999 clauses out of 20009 with flag 4815001/4815001 330.00/327.71 c cleaning 9997 clauses out of 20009 with flag 4825000/4825000 330.69/328.43 c cleaning 9995 clauses out of 20012 with flag 4835000/4835000 331.39/329.13 c cleaning 10001 clauses out of 20018 with flag 4845001/4845001 332.09/329.82 c cleaning 10006 clauses out of 20017 with flag 4855001/4855001 332.79/330.50 c cleaning 9997 clauses out of 20011 with flag 4865001/4865001 333.40/331.13 c cleaning 9999 clauses out of 20013 with flag 4875000/4875000 334.00/331.76 c cleaning 9996 clauses out of 20015 with flag 4885001/4885001 334.70/332.46 c cleaning 10004 clauses out of 20018 with flag 4895000/4895000 335.40/333.17 c cleaning 9999 clauses out of 20015 with flag 4905001/4905001 336.20/333.93 c cleaning 10000 clauses out of 20016 with flag 4915001/4915001 336.80/334.58 c cleaning 10005 clauses out of 20015 with flag 4925000/4925000 337.60/335.32 c cleaning 9999 clauses out of 20011 with flag 4935001/4935001 338.30/336.01 c cleaning 10001 clauses out of 20012 with flag 4945001/4945001 339.00/336.73 c cleaning 10002 clauses out of 20010 with flag 4955000/4955000 339.70/337.49 c cleaning 9998 clauses out of 20010 with flag 4965002/4965002 340.51/338.21 c cleaning 9998 clauses out of 20010 with flag 4975000/4975000 341.11/338.87 c cleaning 10001 clauses out of 20013 with flag 4985001/4985001 341.71/339.49 c cleaning 9993 clauses out of 20011 with flag 4995000/4995000 342.41/340.16 c cleaning 10000 clauses out of 20018 with flag 5005000/5005000 343.11/340.88 c cleaning 9999 clauses out of 20018 with flag 5015000/5015000 343.81/341.53 c cleaning 10005 clauses out of 20020 with flag 5025001/5025001 344.61/342.30 c cleaning 10000 clauses out of 20015 with flag 5035001/5035001 345.31/343.08 c cleaning 9986 clauses out of 20014 with flag 5045000/5045000 346.02/343.73 c cleaning 9996 clauses out of 20028 with flag 5055000/5055000 346.63/344.37 c cleaning 10012 clauses out of 20033 with flag 5065001/5065001 347.32/345.04 c cleaning 10005 clauses out of 20021 with flag 5075001/5075001 347.92/345.68 c cleaning 10002 clauses out of 20017 with flag 5085002/5085002 348.62/346.37 c cleaning 10000 clauses out of 20014 with flag 5095001/5095001 349.32/347.07 c cleaning 10004 clauses out of 20018 with flag 5105005/5105005 350.02/347.78 c cleaning 9995 clauses out of 20011 with flag 5115002/5115002 350.73/348.42 c cleaning 10003 clauses out of 20014 with flag 5125000/5125000 351.42/349.10 c cleaning 10000 clauses out of 20011 with flag 5135000/5135000 352.03/349.74 c cleaning 9998 clauses out of 20012 with flag 5145001/5145001 352.63/350.39 c cleaning 10003 clauses out of 20015 with flag 5155002/5155002 353.43/351.12 c cleaning 9996 clauses out of 20011 with flag 5165001/5165001 354.03/351.79 c cleaning 9999 clauses out of 20014 with flag 5175000/5175000 354.73/352.45 c cleaning 10001 clauses out of 20016 with flag 5185001/5185001 355.44/353.10 c cleaning 10005 clauses out of 20017 with flag 5195003/5195003 356.04/353.77 c cleaning 10000 clauses out of 20012 with flag 5205003/5205003 356.74/354.40 c cleaning 9997 clauses out of 20009 with flag 5215000/5215000 357.34/355.05 c cleaning 10001 clauses out of 20016 with flag 5225004/5225004 358.04/355.71 c cleaning 10000 clauses out of 20012 with flag 5235001/5235001 358.64/356.39 c cleaning 9999 clauses out of 20011 with flag 5245000/5245000 359.34/357.04 c cleaning 10000 clauses out of 20012 with flag 5255000/5255000 359.94/357.67 c cleaning 10001 clauses out of 20012 with flag 5265000/5265000 360.64/358.32 c cleaning 9998 clauses out of 20011 with flag 5275000/5275000 361.34/359.10 c cleaning 9996 clauses out of 20014 with flag 5285001/5285001 362.05/359.78 c cleaning 10002 clauses out of 20018 with flag 5295001/5295001 362.74/360.45 c cleaning 9999 clauses out of 20016 with flag 5305001/5305001 363.44/361.10 c cleaning 10000 clauses out of 20019 with flag 5315003/5315003 364.04/361.80 c cleaning 9999 clauses out of 20018 with flag 5325002/5325002 364.75/362.47 c cleaning 10006 clauses out of 20021 with flag 5335004/5335004 365.45/363.11 c cleaning 10000 clauses out of 20011 with flag 5345000/5345000 366.15/363.81 c cleaning 10001 clauses out of 20015 with flag 5355004/5355004 366.75/364.46 c cleaning 10002 clauses out of 20011 with flag 5365001/5365001 367.35/365.09 c cleaning 9997 clauses out of 20010 with flag 5375002/5375002 368.06/365.71 c cleaning 10000 clauses out of 20011 with flag 5385000/5385000 368.67/366.37 c cleaning 10001 clauses out of 20014 with flag 5395003/5395003 369.36/367.07 c cleaning 10000 clauses out of 20014 with flag 5405004/5405004 370.06/367.77 c cleaning 9994 clauses out of 20011 with flag 5415001/5415001 370.66/368.38 c cleaning 10004 clauses out of 20017 with flag 5425001/5425001 371.37/369.03 c cleaning 10003 clauses out of 20012 with flag 5435000/5435000 371.97/369.65 c cleaning 10001 clauses out of 20009 with flag 5445000/5445000 372.57/370.30 c cleaning 9991 clauses out of 20008 with flag 5455000/5455000 373.27/370.99 c cleaning 10003 clauses out of 20018 with flag 5465001/5465001 373.97/371.64 c cleaning 9997 clauses out of 20015 with flag 5475001/5475001 374.57/372.24 c cleaning 10000 clauses out of 20017 with flag 5485000/5485000 375.28/372.92 c cleaning 9999 clauses out of 20017 with flag 5495000/5495000 375.87/373.57 c cleaning 10002 clauses out of 20018 with flag 5505000/5505000 376.57/374.22 c cleaning 10000 clauses out of 20017 with flag 5515001/5515001 377.28/374.90 c cleaning 10006 clauses out of 20017 with flag 5525001/5525001 377.88/375.59 c cleaning 10000 clauses out of 20012 with flag 5535002/5535002 378.58/376.23 c cleaning 9996 clauses out of 20010 with flag 5545000/5545000 379.18/376.88 c cleaning 10004 clauses out of 20015 with flag 5555001/5555001 379.98/377.62 c cleaning 9998 clauses out of 20011 with flag 5565001/5565001 380.58/378.28 c cleaning 9995 clauses out of 20013 with flag 5575001/5575001 381.28/378.93 c cleaning 10004 clauses out of 20017 with flag 5585000/5585000 381.98/379.60 c cleaning 9997 clauses out of 20014 with flag 5595001/5595001 382.68/380.30 c cleaning 10000 clauses out of 20016 with flag 5605000/5605000 383.28/380.96 c cleaning 10003 clauses out of 20016 with flag 5615000/5615000 383.99/381.61 c cleaning 9999 clauses out of 20014 with flag 5625001/5625001 384.68/382.33 c cleaning 10002 clauses out of 20015 with flag 5635001/5635001 385.29/382.97 c cleaning 9998 clauses out of 20012 with flag 5645000/5645000 385.99/383.68 c cleaning 10003 clauses out of 20015 with flag 5655001/5655001 386.70/384.34 c cleaning 9997 clauses out of 20011 with flag 5665000/5665000 387.40/385.08 c cleaning 10003 clauses out of 20018 with flag 5675004/5675004 388.10/385.78 c cleaning 10000 clauses out of 20013 with flag 5685002/5685002 388.80/386.47 c cleaning 10003 clauses out of 20013 with flag 5695002/5695002 389.50/387.18 c cleaning 9997 clauses out of 20010 with flag 5705002/5705002 390.20/387.84 c cleaning 10002 clauses out of 20011 with flag 5715000/5715000 390.89/388.50 c cleaning 9995 clauses out of 20009 with flag 5725000/5725000 391.50/389.19 c cleaning 10001 clauses out of 20014 with flag 5735000/5735000 392.30/389.95 c cleaning 10005 clauses out of 20017 with flag 5745004/5745004 392.90/390.57 c cleaning 9995 clauses out of 20009 with flag 5755001/5755001 393.60/391.20 c cleaning 9997 clauses out of 20014 with flag 5765001/5765001 394.20/391.89 c cleaning 10004 clauses out of 20018 with flag 5775002/5775002 394.90/392.56 c cleaning 9997 clauses out of 20012 with flag 5785000/5785000 395.60/393.29 c cleaning 9996 clauses out of 20017 with flag 5795002/5795002 396.40/394.00 c cleaning 9999 clauses out of 20019 with flag 5805000/5805000 397.10/394.71 c cleaning 10001 clauses out of 20020 with flag 5815000/5815000 397.80/395.44 c cleaning 10004 clauses out of 20020 with flag 5825001/5825001 398.50/396.11 c cleaning 10003 clauses out of 20016 with flag 5835001/5835001 399.20/396.80 c cleaning 9999 clauses out of 20012 with flag 5845000/5845000 399.80/397.48 c cleaning 9995 clauses out of 20015 with flag 5855002/5855002 400.52/398.19 c cleaning 10003 clauses out of 20019 with flag 5865001/5865001 401.21/398.89 c cleaning 10001 clauses out of 20017 with flag 5875002/5875002 402.01/399.64 c cleaning 10002 clauses out of 20015 with flag 5885001/5885001 402.72/400.40 c cleaning 9996 clauses out of 20012 with flag 5895000/5895000 403.62/401.23 c cleaning 9988 clauses out of 20020 with flag 5905004/5905004 404.32/401.98 c cleaning 10001 clauses out of 20031 with flag 5915003/5915003 405.22/402.82 c cleaning 10006 clauses out of 20027 with flag 5925000/5925000 405.92/403.51 c cleaning 10008 clauses out of 20024 with flag 5935003/5935003 406.52/404.17 c cleaning 9996 clauses out of 20014 with flag 5945001/5945001 407.13/404.79 c cleaning 10000 clauses out of 20017 with flag 5955000/5955000 407.82/405.40 c cleaning 10003 clauses out of 20018 with flag 5965001/5965001 408.42/406.03 c cleaning 9997 clauses out of 20014 with flag 5975000/5975000 409.02/406.64 c cleaning 10002 clauses out of 20017 with flag 5985000/5985000 409.62/407.23 c cleaning 10002 clauses out of 20016 with flag 5995001/5995001 410.32/407.90 c cleaning 9999 clauses out of 20013 with flag 6005000/6005000 410.92/408.56 c cleaning 9998 clauses out of 20014 with flag 6015000/6015000 411.63/409.25 c cleaning 9986 clauses out of 20018 with flag 6025002/6025002 412.33/409.91 c cleaning 9990 clauses out of 20031 with flag 6035001/6035001 412.93/410.54 c cleaning 9980 clauses out of 20041 with flag 6045001/6045001 413.53/411.19 c cleaning 9988 clauses out of 20061 with flag 6055001/6055001 414.33/411.95 c cleaning 9988 clauses out of 20072 with flag 6065000/6065000 415.03/412.60 c cleaning 9990 clauses out of 20084 with flag 6075000/6075000 415.63/413.25 c cleaning 9982 clauses out of 20096 with flag 6085002/6085002 416.24/413.88 c cleaning 9984 clauses out of 20112 with flag 6095000/6095000 416.94/414.56 c cleaning 9986 clauses out of 20128 with flag 6105000/6105000 417.74/415.30 c cleaning 9998 clauses out of 20142 with flag 6115000/6115000 418.44/416.03 c cleaning 9986 clauses out of 20144 with flag 6125000/6125000 419.14/416.72 c cleaning 9990 clauses out of 20158 with flag 6135000/6135000 419.84/417.40 c cleaning 9988 clauses out of 20168 with flag 6145000/6145000 420.45/418.08 c cleaning 9997 clauses out of 20182 with flag 6155002/6155002 421.14/418.77 c cleaning 9986 clauses out of 20184 with flag 6165001/6165001 421.84/419.45 c cleaning 9974 clauses out of 20197 with flag 6175000/6175000 422.55/420.12 c cleaning 9991 clauses out of 20224 with flag 6185001/6185001 423.14/420.79 c cleaning 9993 clauses out of 20235 with flag 6195003/6195003 423.85/421.48 c cleaning 9975 clauses out of 20239 with flag 6205000/6205000 424.56/422.18 c cleaning 9989 clauses out of 20264 with flag 6215000/6215000 425.26/422.80 c cleaning 9997 clauses out of 20277 with flag 6225002/6225002 425.86/423.47 c cleaning 9981 clauses out of 20279 with flag 6235001/6235001 426.46/424.09 c cleaning 9998 clauses out of 20298 with flag 6245001/6245001 427.36/424.93 c cleaning 9990 clauses out of 20299 with flag 6255000/6255000 428.17/425.72 c cleaning 10001 clauses out of 20310 with flag 6265001/6265001 428.86/426.49 c cleaning 9991 clauses out of 20308 with flag 6275000/6275000 429.57/427.13 c cleaning 9981 clauses out of 20317 with flag 6285000/6285000 430.17/427.79 c cleaning 9987 clauses out of 20337 with flag 6295001/6295001 430.87/428.42 c cleaning 9979 clauses out of 20350 with flag 6305001/6305001 431.47/429.06 c cleaning 9979 clauses out of 20371 with flag 6315001/6315001 432.07/429.67 c cleaning 9985 clauses out of 20392 with flag 6325001/6325001 432.87/430.41 c cleaning 9999 clauses out of 20407 with flag 6335001/6335001 433.47/431.09 c cleaning 9987 clauses out of 20407 with flag 6345000/6345000 434.17/431.73 c cleaning 9992 clauses out of 20420 with flag 6355000/6355000 434.88/432.42 c cleaning 9980 clauses out of 20428 with flag 6365000/6365000 435.58/433.15 c cleaning 10001 clauses out of 20448 with flag 6375000/6375000 436.28/433.85 c cleaning 9995 clauses out of 20449 with flag 6385002/6385002 436.99/434.54 c cleaning 9976 clauses out of 20452 with flag 6395000/6395000 437.68/435.25 c cleaning 9987 clauses out of 20476 with flag 6405000/6405000 438.38/435.92 c cleaning 9992 clauses out of 20489 with flag 6415000/6415000 438.99/436.60 c cleaning 9991 clauses out of 20497 with flag 6425000/6425000 439.69/437.28 c cleaning 9994 clauses out of 20507 with flag 6435001/6435001 440.39/437.91 c cleaning 9972 clauses out of 20512 with flag 6445000/6445000 440.99/438.56 c cleaning 9985 clauses out of 20541 with flag 6455001/6455001 441.59/439.18 c cleaning 9977 clauses out of 20558 with flag 6465003/6465003 442.29/439.81 c cleaning 9986 clauses out of 20579 with flag 6475001/6475001 442.90/440.47 c cleaning 9989 clauses out of 20592 with flag 6485000/6485000 443.60/441.14 c cleaning 9987 clauses out of 20603 with flag 6495000/6495000 444.20/441.80 c cleaning 9991 clauses out of 20616 with flag 6505000/6505000 444.90/442.42 c cleaning 10003 clauses out of 20626 with flag 6515001/6515001 445.60/443.10 c cleaning 9996 clauses out of 20625 with flag 6525003/6525003 446.20/443.77 c cleaning 9975 clauses out of 20626 with flag 6535000/6535000 446.91/444.43 c cleaning 10007 clauses out of 20655 with flag 6545004/6545004 447.60/445.12 c cleaning 9974 clauses out of 20644 with flag 6555000/6555000 448.30/445.80 c cleaning 9993 clauses out of 20670 with flag 6565000/6565000 449.01/446.51 c cleaning 10001 clauses out of 20682 with flag 6575005/6575005 449.60/447.13 c cleaning 9972 clauses out of 20677 with flag 6585001/6585001 450.22/447.77 c cleaning 9992 clauses out of 20706 with flag 6595002/6595002 450.92/448.40 c cleaning 9993 clauses out of 20714 with flag 6605002/6605002 451.61/449.11 c cleaning 9994 clauses out of 20719 with flag 6615000/6615000 452.22/449.73 c cleaning 9997 clauses out of 20725 with flag 6625000/6625000 452.92/450.40 c cleaning 9979 clauses out of 20729 with flag 6635001/6635001 453.52/451.07 c cleaning 9991 clauses out of 20750 with flag 6645001/6645001 454.22/451.76 c cleaning 9989 clauses out of 20758 with flag 6655000/6655000 454.92/452.49 c cleaning 9997 clauses out of 20769 with flag 6665000/6665000 455.62/453.18 c cleaning 9993 clauses out of 20775 with flag 6675003/6675003 456.44/453.90 c cleaning 10006 clauses out of 20780 with flag 6685001/6685001 457.24/454.72 c cleaning 9997 clauses out of 20773 with flag 6695000/6695000 458.04/455.53 c cleaning 9998 clauses out of 20777 with flag 6705001/6705001 458.95/456.40 c cleaning 9993 clauses out of 20779 with flag 6715001/6715001 459.64/457.13 c cleaning 9984 clauses out of 20785 with flag 6725000/6725000 460.24/457.75 c cleaning 9990 clauses out of 20802 with flag 6735001/6735001 460.95/458.40 c cleaning 9960 clauses out of 20811 with flag 6745000/6745000 461.55/459.04 c cleaning 9985 clauses out of 20851 with flag 6755000/6755000 462.25/459.73 c cleaning 9981 clauses out of 20870 with flag 6765004/6765004 462.85/460.38 c cleaning 9970 clauses out of 20885 with flag 6775000/6775000 463.65/461.12 c cleaning 9974 clauses out of 20918 with flag 6785003/6785003 464.25/461.76 c cleaning 9978 clauses out of 20945 with flag 6795004/6795004 464.95/462.41 c cleaning 9987 clauses out of 20964 with flag 6805001/6805001 465.56/463.09 c cleaning 9982 clauses out of 20976 with flag 6815000/6815000 466.26/463.73 c cleaning 9974 clauses out of 20994 with flag 6825000/6825000 466.86/464.38 c cleaning 9975 clauses out of 21020 with flag 6835000/6835000 467.57/465.06 c cleaning 9972 clauses out of 21046 with flag 6845001/6845001 468.27/465.71 c cleaning 9958 clauses out of 21074 with flag 6855001/6855001 468.87/466.40 c cleaning 9983 clauses out of 21117 with flag 6865002/6865002 469.57/467.07 c cleaning 9984 clauses out of 21132 with flag 6875000/6875000 470.27/467.71 c cleaning 9979 clauses out of 21148 with flag 6885000/6885000 470.97/468.42 c cleaning 9977 clauses out of 21170 with flag 6895001/6895001 471.67/469.11 c cleaning 9989 clauses out of 21192 with flag 6905000/6905000 472.37/469.81 c cleaning 9986 clauses out of 21203 with flag 6915000/6915000 473.07/470.51 c cleaning 9989 clauses out of 21219 with flag 6925002/6925002 473.67/471.18 c cleaning 9977 clauses out of 21229 with flag 6935001/6935001 474.38/471.82 c cleaning 9975 clauses out of 21251 with flag 6945000/6945000 474.97/472.48 c cleaning 9974 clauses out of 21279 with flag 6955003/6955003 475.67/473.13 c cleaning 9976 clauses out of 21302 with flag 6965000/6965000 476.37/473.86 c cleaning 9980 clauses out of 21326 with flag 6975000/6975000 477.07/474.58 c cleaning 9997 clauses out of 21346 with flag 6985000/6985000 477.87/475.31 c cleaning 9998 clauses out of 21353 with flag 6995004/6995004 478.48/475.97 c cleaning 9982 clauses out of 21352 with flag 7005001/7005001 479.18/476.67 c cleaning 9988 clauses out of 21371 with flag 7015002/7015002 479.89/477.34 c cleaning 9969 clauses out of 21382 with flag 7025001/7025001 480.49/477.98 c cleaning 9985 clauses out of 21412 with flag 7035000/7035000 481.19/478.64 c cleaning 9991 clauses out of 21428 with flag 7045001/7045001 481.89/479.34 c cleaning 9982 clauses out of 21437 with flag 7055001/7055001 482.59/480.01 c cleaning 9996 clauses out of 21455 with flag 7065001/7065001 483.29/480.70 c cleaning 9986 clauses out of 21458 with flag 7075000/7075000 483.88/481.38 c cleaning 9979 clauses out of 21472 with flag 7085000/7085000 484.59/482.10 c cleaning 9983 clauses out of 21493 with flag 7095000/7095000 485.29/482.78 c cleaning 9993 clauses out of 21511 with flag 7105001/7105001 486.09/483.57 c cleaning 9997 clauses out of 21519 with flag 7115002/7115002 486.79/484.21 c cleaning 9976 clauses out of 21520 with flag 7125000/7125000 487.49/484.94 c cleaning 9984 clauses out of 21544 with flag 7135000/7135000 488.19/485.61 c cleaning 9991 clauses out of 21561 with flag 7145001/7145001 488.79/486.29 c cleaning 9986 clauses out of 21571 with flag 7155002/7155002 489.49/486.97 c cleaning 9985 clauses out of 21583 with flag 7165000/7165000 490.20/487.67 c cleaning 9994 clauses out of 21598 with flag 7175000/7175000 490.91/488.36 c cleaning 9991 clauses out of 21604 with flag 7185000/7185000 491.60/489.03 c cleaning 9982 clauses out of 21614 with flag 7195001/7195001 492.20/489.66 c cleaning 10003 clauses out of 21633 with flag 7205002/7205002 492.90/490.33 c cleaning 9985 clauses out of 21628 with flag 7215000/7215000 493.60/491.00 c cleaning 9987 clauses out of 21643 with flag 7225000/7225000 494.21/491.67 c cleaning 9990 clauses out of 21656 with flag 7235000/7235000 495.00/492.44 c cleaning 9998 clauses out of 21668 with flag 7245002/7245002 495.71/493.15 c cleaning 9988 clauses out of 21668 with flag 7255000/7255000 496.42/493.85 c cleaning 9992 clauses out of 21681 with flag 7265001/7265001 497.01/494.49 c cleaning 9989 clauses out of 21690 with flag 7275002/7275002 497.81/495.21 c cleaning 10001 clauses out of 21700 with flag 7285001/7285001 498.51/495.90 c cleaning 9989 clauses out of 21701 with flag 7295003/7295003 499.22/496.61 c cleaning 9990 clauses out of 21711 with flag 7305002/7305002 499.92/497.30 c cleaning 9982 clauses out of 21719 with flag 7315000/7315000 500.52/497.98 c cleaning 9988 clauses out of 21738 with flag 7325001/7325001 501.33/498.74 c cleaning 9983 clauses out of 21749 with flag 7335000/7335000 502.03/499.43 c cleaning 9986 clauses out of 21766 with flag 7345000/7345000 502.73/500.14 c cleaning 9988 clauses out of 21782 with flag 7355002/7355002 503.43/500.88 c cleaning 9991 clauses out of 21793 with flag 7365001/7365001 504.14/501.52 c cleaning 9985 clauses out of 21801 with flag 7375000/7375000 504.84/502.23 c cleaning 10006 clauses out of 21818 with flag 7385002/7385002 505.44/502.86 c cleaning 9991 clauses out of 21812 with flag 7395002/7395002 506.14/503.56 c cleaning 9977 clauses out of 21820 with flag 7405001/7405001 506.85/504.23 c cleaning 9972 clauses out of 21843 with flag 7415001/7415001 507.55/504.92 c cleaning 9988 clauses out of 21872 with flag 7425002/7425002 508.25/505.60 c cleaning 9989 clauses out of 21882 with flag 7435000/7435000 508.85/506.29 c cleaning 9982 clauses out of 21894 with flag 7445001/7445001 509.55/506.98 c cleaning 9977 clauses out of 21914 with flag 7455003/7455003 510.26/507.65 c cleaning 9983 clauses out of 21935 with flag 7465001/7465001 510.96/508.39 c cleaning 9990 clauses out of 21952 with flag 7475001/7475001 511.66/509.06 c cleaning 9994 clauses out of 21964 with flag 7485003/7485003 512.36/509.77 c cleaning 9985 clauses out of 21968 with flag 7495001/7495001 513.08/510.49 c cleaning 9989 clauses out of 21983 with flag 7505001/7505001 513.78/511.15 c cleaning 9975 clauses out of 21993 with flag 7515000/7515000 514.48/511.88 c cleaning 9995 clauses out of 22020 with flag 7525002/7525002 515.28/512.67 c cleaning 9991 clauses out of 22024 with flag 7535001/7535001 516.08/513.40 c cleaning 9992 clauses out of 22039 with flag 7545007/7545007 516.69/514.02 c cleaning 9975 clauses out of 22040 with flag 7555000/7555000 517.29/514.67 c cleaning 9989 clauses out of 22067 with flag 7565002/7565002 518.00/515.32 c cleaning 9991 clauses out of 22078 with flag 7575002/7575002 518.70/516.07 c cleaning 9993 clauses out of 22085 with flag 7585000/7585000 519.51/516.80 c cleaning 9998 clauses out of 22092 with flag 7595000/7595000 520.21/517.50 c cleaning 9995 clauses out of 22095 with flag 7605001/7605001 520.91/518.20 c cleaning 9975 clauses out of 22099 with flag 7615000/7615000 521.71/519.01 c cleaning 10005 clauses out of 22126 with flag 7625002/7625002 522.41/519.70 c cleaning 9985 clauses out of 22121 with flag 7635002/7635002 523.12/520.42 c cleaning 9992 clauses out of 22137 with flag 7645003/7645003 523.82/521.15 c cleaning 9994 clauses out of 22142 with flag 7655000/7655000 524.52/521.89 c cleaning 9977 clauses out of 22148 with flag 7665000/7665000 525.33/522.63 c cleaning 9982 clauses out of 22172 with flag 7675001/7675001 525.94/523.28 c cleaning 9970 clauses out of 22189 with flag 7685000/7685000 526.64/523.94 c cleaning 9991 clauses out of 22220 with flag 7695001/7695001 527.34/524.60 c cleaning 9989 clauses out of 22230 with flag 7705002/7705002 527.94/525.22 c cleaning 9984 clauses out of 22240 with flag 7715001/7715001 528.55/525.85 c cleaning 9994 clauses out of 22256 with flag 7725001/7725001 529.25/526.52 c cleaning 9980 clauses out of 22268 with flag 7735007/7735007 529.96/527.23 c cleaning 9981 clauses out of 22281 with flag 7745000/7745000 530.67/527.97 c cleaning 9988 clauses out of 22300 with flag 7755000/7755000 531.47/528.73 c cleaning 9992 clauses out of 22315 with flag 7765003/7765003 532.07/529.39 c cleaning 10001 clauses out of 22321 with flag 7775001/7775001 532.77/530.06 c cleaning 9989 clauses out of 22319 with flag 7785000/7785000 533.47/530.74 c cleaning 9989 clauses out of 22330 with flag 7795000/7795000 534.17/531.40 c cleaning 9962 clauses out of 22341 with flag 7805000/7805000 534.88/532.11 c cleaning 9981 clauses out of 22379 with flag 7815000/7815000 535.49/532.79 c cleaning 9990 clauses out of 22400 with flag 7825002/7825002 536.19/533.45 c cleaning 9970 clauses out of 22408 with flag 7835000/7835000 536.90/534.17 c cleaning 9981 clauses out of 22439 with flag 7845001/7845001 537.60/534.88 c cleaning 9967 clauses out of 22457 with flag 7855000/7855000 538.40/535.61 c cleaning 9999 clauses out of 22492 with flag 7865002/7865002 539.10/536.30 c cleaning 9965 clauses out of 22491 with flag 7875000/7875000 539.81/537.02 c cleaning 9993 clauses out of 22526 with flag 7885000/7885000 540.52/537.73 c cleaning 9979 clauses out of 22534 with flag 7895001/7895001 541.12/538.39 c cleaning 9992 clauses out of 22554 with flag 7905000/7905000 541.83/539.02 c cleaning 9979 clauses out of 22562 with flag 7915000/7915000 542.42/539.65 c cleaning 9987 clauses out of 22583 with flag 7925000/7925000 543.02/540.28 c cleaning 9991 clauses out of 22596 with flag 7935000/7935000 543.73/540.96 c cleaning 9993 clauses out of 22605 with flag 7945000/7945000 544.42/541.64 c cleaning 9988 clauses out of 22612 with flag 7955000/7955000 545.13/542.34 c cleaning 9992 clauses out of 22624 with flag 7965000/7965000 545.93/543.14 c cleaning 9990 clauses out of 22632 with flag 7975000/7975000 546.63/543.84 c cleaning 9979 clauses out of 22643 with flag 7985001/7985001 547.35/544.54 c cleaning 9998 clauses out of 22666 with flag 7995003/7995003 548.05/545.22 c cleaning 9985 clauses out of 22666 with flag 8005001/8005001 548.65/545.89 c cleaning 9995 clauses out of 22680 with flag 8015000/8015000 549.36/546.60 c cleaning 9984 clauses out of 22687 with flag 8025002/8025002 550.16/547.32 c cleaning 9997 clauses out of 22703 with flag 8035002/8035002 550.86/548.05 c cleaning 9989 clauses out of 22707 with flag 8045003/8045003 551.57/548.73 c cleaning 9984 clauses out of 22717 with flag 8055002/8055002 552.17/549.39 c cleaning 9986 clauses out of 22731 with flag 8065000/8065000 552.88/550.06 c cleaning 9994 clauses out of 22745 with flag 8075000/8075000 553.58/550.75 c cleaning 9986 clauses out of 22751 with flag 8085000/8085000 554.19/551.38 c cleaning 9985 clauses out of 22768 with flag 8095003/8095003 554.99/552.14 c cleaning 10003 clauses out of 22782 with flag 8105002/8105002 555.59/552.79 c cleaning 9978 clauses out of 22778 with flag 8115001/8115001 556.29/553.47 c cleaning 9988 clauses out of 22800 with flag 8125001/8125001 557.10/554.20 c cleaning 9992 clauses out of 22812 with flag 8135001/8135001 557.71/554.86 c cleaning 9989 clauses out of 22819 with flag 8145000/8145000 558.42/555.53 c cleaning 9998 clauses out of 22830 with flag 8155000/8155000 559.11/556.22 c cleaning 9987 clauses out of 22832 with flag 8165000/8165000 559.81/556.91 c cleaning 10002 clauses out of 22846 with flag 8175001/8175001 560.41/557.58 c cleaning 9988 clauses out of 22846 with flag 8185003/8185003 561.11/558.22 c cleaning 9975 clauses out of 22856 with flag 8195001/8195001 561.72/558.82 c cleaning 9997 clauses out of 22882 with flag 8205002/8205002 562.32/559.47 c cleaning 9986 clauses out of 22885 with flag 8215002/8215002 563.02/560.19 c cleaning 9986 clauses out of 22898 with flag 8225001/8225001 563.73/560.85 c cleaning 10000 clauses out of 22914 with flag 8235003/8235003 564.43/561.53 c cleaning 9979 clauses out of 22915 with flag 8245004/8245004 565.14/562.22 c cleaning 9978 clauses out of 22934 with flag 8255002/8255002 565.74/562.86 c cleaning 9982 clauses out of 22954 with flag 8265000/8265000 566.34/563.49 c cleaning 9982 clauses out of 22972 with flag 8275000/8275000 567.25/564.30 c cleaning 10006 clauses out of 22992 with flag 8285002/8285002 568.05/565.13 c cleaning 9983 clauses out of 22984 with flag 8295000/8295000 568.66/565.77 c cleaning 9976 clauses out of 23002 with flag 8305001/8305001 569.47/566.54 c cleaning 10004 clauses out of 23029 with flag 8315004/8315004 570.17/567.21 c cleaning 9984 clauses out of 23021 with flag 8325000/8325000 570.77/567.89 c cleaning 9984 clauses out of 23037 with flag 8335000/8335000 571.58/568.64 c cleaning 9988 clauses out of 23053 with flag 8345000/8345000 572.27/569.33 c cleaning 9993 clauses out of 23066 with flag 8355001/8355001 572.88/569.99 c cleaning 9993 clauses out of 23075 with flag 8365003/8365003 573.58/570.61 c cleaning 9977 clauses out of 23079 with flag 8375000/8375000 574.18/571.26 c cleaning 9982 clauses out of 23102 with flag 8385000/8385000 574.79/571.90 c cleaning 9991 clauses out of 23121 with flag 8395001/8395001 575.50/572.54 c cleaning 9991 clauses out of 23131 with flag 8405002/8405002 576.20/573.22 c cleaning 9972 clauses out of 23138 with flag 8415000/8415000 576.80/573.87 c cleaning 9984 clauses out of 23168 with flag 8425002/8425002 577.50/574.55 c cleaning 10001 clauses out of 23182 with flag 8435000/8435000 578.21/575.26 c cleaning 9998 clauses out of 23183 with flag 8445002/8445002 578.92/575.94 c cleaning 9993 clauses out of 23184 with flag 8455001/8455001 579.52/576.57 c cleaning 9979 clauses out of 23193 with flag 8465003/8465003 580.22/577.22 c cleaning 9975 clauses out of 23212 with flag 8475001/8475001 580.83/577.89 c cleaning 9990 clauses out of 23236 with flag 8485000/8485000 581.54/578.55 c cleaning 9983 clauses out of 23246 with flag 8495000/8495000 582.24/579.21 c cleaning 9994 clauses out of 23263 with flag 8505000/8505000 582.84/579.88 c cleaning 9984 clauses out of 23270 with flag 8515001/8515001 583.54/580.58 c cleaning 9992 clauses out of 23288 with flag 8525003/8525003 584.25/581.25 c cleaning 9988 clauses out of 23293 with flag 8535000/8535000 585.05/582.00 c cleaning 9993 clauses out of 23305 with flag 8545000/8545000 585.66/582.63 c cleaning 9976 clauses out of 23313 with flag 8555001/8555001 586.36/583.31 c cleaning 9998 clauses out of 23337 with flag 8565001/8565001 587.07/584.03 c cleaning 9980 clauses out of 23338 with flag 8575000/8575000 587.77/584.70 c cleaning 9975 clauses out of 23359 with flag 8585001/8585001 588.37/585.32 c cleaning 9997 clauses out of 23384 with flag 8595001/8595001 589.07/586.03 c cleaning 9986 clauses out of 23387 with flag 8605001/8605001 589.68/586.69 c cleaning 9989 clauses out of 23401 with flag 8615001/8615001 590.38/587.37 c cleaning 9992 clauses out of 23412 with flag 8625001/8625001 591.18/588.12 c cleaning 10000 clauses out of 23419 with flag 8635000/8635000 591.89/588.85 c cleaning 9992 clauses out of 23419 with flag 8645000/8645000 592.59/589.54 c cleaning 9997 clauses out of 23428 with flag 8655001/8655001 593.29/590.24 c cleaning 9996 clauses out of 23433 with flag 8665003/8665003 594.10/591.01 c cleaning 9993 clauses out of 23434 with flag 8675000/8675000 594.81/591.76 c cleaning 9987 clauses out of 23441 with flag 8685000/8685000 595.51/592.40 c cleaning 9992 clauses out of 23454 with flag 8695000/8695000 596.12/593.05 c cleaning 9988 clauses out of 23462 with flag 8705000/8705000 596.92/593.81 c cleaning 9996 clauses out of 23474 with flag 8715000/8715000 597.63/594.53 c cleaning 9978 clauses out of 23479 with flag 8725001/8725001 598.33/595.23 c cleaning 9987 clauses out of 23500 with flag 8735000/8735000 598.93/595.90 c cleaning 9987 clauses out of 23513 with flag 8745000/8745000 599.73/596.60 c cleaning 9986 clauses out of 23526 with flag 8755000/8755000 600.44/597.35 c cleaning 10002 clauses out of 23540 with flag 8765000/8765000 601.24/598.16 c cleaning 9998 clauses out of 23539 with flag 8775001/8775001 601.95/598.83 c cleaning 9987 clauses out of 23540 with flag 8785000/8785000 602.66/599.51 c cleaning 9996 clauses out of 23553 with flag 8795000/8795000 603.26/600.18 c cleaning 9992 clauses out of 23558 with flag 8805001/8805001 603.96/600.84 c cleaning 9987 clauses out of 23567 with flag 8815002/8815002 604.66/601.50 c cleaning 9990 clauses out of 23579 with flag 8825001/8825001 605.43/602.31 c cleaning 9997 clauses out of 23590 with flag 8835002/8835002 606.23/603.15 c cleaning 9997 clauses out of 23593 with flag 8845002/8845002 606.93/603.88 c cleaning 9982 clauses out of 23595 with flag 8855001/8855001 607.73/604.65 c cleaning 10018 clauses out of 23612 with flag 8865000/8865000 608.54/605.41 c cleaning 9992 clauses out of 23594 with flag 8875000/8875000 609.34/606.21 c cleaning 10005 clauses out of 23604 with flag 8885002/8885002 610.05/606.95 c cleaning 9998 clauses out of 23599 with flag 8895002/8895002 610.95/607.82 c cleaning 9987 clauses out of 23599 with flag 8905001/8905001 611.67/608.54 c cleaning 9962 clauses out of 23612 with flag 8915001/8915001 612.37/609.24 c cleaning 9965 clauses out of 23649 with flag 8925000/8925000 613.17/610.05 c cleaning 9989 clauses out of 23690 with flag 8935006/8935006 613.99/610.87 c cleaning 9987 clauses out of 23700 with flag 8945005/8945005 614.80/611.62 c cleaning 9975 clauses out of 23709 with flag 8955001/8955001 615.51/612.38 c cleaning 9983 clauses out of 23736 with flag 8965003/8965003 616.41/613.25 c cleaning 9977 clauses out of 23751 with flag 8975001/8975001 617.21/614.08 c cleaning 9964 clauses out of 23773 with flag 8985001/8985001 618.22/615.05 c cleaning 9963 clauses out of 23808 with flag 8995000/8995000 618.32/615.19 c starts : 322 618.32/615.19 c conflicts : 8996623 618.32/615.19 c decisions : 12848309 618.32/615.19 c propagations : 436521466 618.32/615.19 c inspects : 4779060330 618.32/615.19 c learnt literals : 4 618.32/615.19 c learnt binary clauses : 35 618.32/615.19 c learnt ternary clauses : 1723 618.32/615.19 c learnt clauses : 8996618 618.32/615.19 c ignored clauses : 0 618.32/615.19 c root simplifications : 0 618.32/615.19 c removed literals (reason simplification) : 48229000 618.32/615.19 c reason swapping (by a shorter reason) : 0 618.32/615.19 c Calls to reduceDB : 901 618.32/615.19 c number of reductions to clauses (during analyze) : 0 618.32/615.19 c number of learned constraints concerned by reduction : 0 618.32/615.19 c number of learning phase by resolution : 0 618.32/615.19 c number of learning phase by cutting planes : 0 618.32/615.19 c speed (assignments/second) : 729361.6119017941 618.32/615.19 c non guided choices 2975 618.32/615.19 c learnt constraints type 618.32/615.19 c constraints type 618.32/615.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2520 618.32/615.19 c org.sat4j.minisat.constraints.card.MinWatchCard => 16 618.32/615.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 164 618.32/615.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7 618.32/615.19 s OPTIMUM FOUND 618.32/615.19 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 618.32/615.19 c objective function=1 618.32/615.19 c Total wall clock time (in seconds): 615.096
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698725-1278326298/watcher-2698725-1278326298 -o /tmp/evaluation-result-2698725-1278326298/solver-2698725-1278326298 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698725-1278326298.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.97 1.83 4/196 4548 /proc/meminfo: memFree=32325756/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=13164 CPUtime=0 /proc/4548/stat : 4548 (java) R 4546 4548 3794 0 -1 4194304 737 0 0 0 0 0 0 0 21 0 1 0 844478 13479936 326 4089446400 134512640 134550932 4287979200 18446744073709551615 10274437 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/4548/statm: 3291 332 142 10 0 1121 0 [startup+0.0646219 s] /proc/loadavg: 1.99 1.97 1.83 4/196 4548 /proc/meminfo: memFree=32325756/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1528568 CPUtime=0.04 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 4211 0 1 0 4 0 0 0 21 0 18 0 844478 1565253632 3650 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 382142 3651 1089 10 0 379445 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1528568 [startup+0.101134 s] /proc/loadavg: 1.99 1.97 1.83 4/196 4548 /proc/meminfo: memFree=32325756/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1529720 CPUtime=0.11 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 5212 0 1 0 10 1 0 0 21 0 18 0 844478 1566433280 4647 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 382430 4649 1347 10 0 379733 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529720 [startup+0.300572 s] /proc/loadavg: 1.99 1.97 1.83 4/196 4548 /proc/meminfo: memFree=32325756/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1531548 CPUtime=0.51 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 7488 0 1 0 50 1 0 0 21 0 18 0 844478 1568305152 6828 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 382887 6828 1409 10 0 380190 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1531548 [startup+0.700501 s] /proc/loadavg: 1.99 1.97 1.83 4/196 4548 /proc/meminfo: memFree=32325756/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1549468 CPUtime=1.65 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 15309 0 1 0 163 2 0 0 21 0 19 0 844478 1586655232 12390 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 387367 12390 1425 10 0 384670 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 1549468 [startup+1.50137 s] /proc/loadavg: 1.99 1.97 1.83 3/215 4567 /proc/meminfo: memFree=32276924/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1547424 CPUtime=2.86 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 19613 0 1 0 283 3 0 0 21 0 19 0 844478 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386856 15313 1445 10 0 384159 0 [pid=4548/tid=4550] ppid=4546 vsize=1547424 CPUtime=1.46 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9099 0 1 0 145 1 0 0 20 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4108952384 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 32 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 95 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 170 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 19 0 844479 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 844480 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1547424 CPUtime=0.67 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 3245 0 0 0 67 0 0 0 15 0 19 0 844483 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1547424 CPUtime=0.67 /proc/4548/task/4564/stat : 4564 (java) R 4546 4548 3794 0 -1 4202560 5422 0 0 0 67 0 0 0 15 0 19 0 844483 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 103335520 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844483 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1584562176 15313 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 1547424 [startup+3.10108 s] /proc/loadavg: 1.99 1.97 1.83 3/215 4567 /proc/meminfo: memFree=32266632/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1547424 CPUtime=4.85 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 23200 0 1 0 482 3 0 0 21 0 19 0 844478 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386856 16415 1445 10 0 384159 0 [pid=4548/tid=4550] ppid=4546 vsize=1547424 CPUtime=3.04 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9099 0 1 0 303 1 0 0 19 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4109469126 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 127 0 0 0 0 0 0 0 16 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 150 0 0 0 0 0 0 0 16 0 19 0 844479 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1547424 CPUtime=0.02 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 799 0 0 0 2 0 0 0 15 0 19 0 844480 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1547424 CPUtime=1.03 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 103 0 0 0 16 0 19 0 844483 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1547424 CPUtime=0.72 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5430 0 0 0 72 0 0 0 15 0 19 0 844483 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844483 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1547424 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1584562176 16415 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.85 Current children cumulated vsize (KiB) 1547424 [startup+6.30052 s] /proc/loadavg: 1.99 1.97 1.83 3/215 4567 /proc/meminfo: memFree=32266136/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1545312 CPUtime=8.11 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 23534 0 1 0 807 4 0 0 21 0 19 0 844478 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386328 16247 1445 10 0 383631 0 [pid=4548/tid=4550] ppid=4546 vsize=1545312 CPUtime=6.17 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9101 0 1 0 616 1 0 0 19 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4109566020 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 577 0 0 0 0 0 0 0 16 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 844479 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1545312 CPUtime=0.08 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 1113 0 0 0 8 0 0 0 15 0 19 0 844480 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1545312 CPUtime=1.04 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 104 0 0 0 15 0 19 0 844483 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1545312 CPUtime=0.75 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5433 0 0 0 75 0 0 0 15 0 19 0 844483 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 844483 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1582399488 16247 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 8.11 Current children cumulated vsize (KiB) 1545312 [startup+12.7014 s] /proc/loadavg: 1.99 1.97 1.83 3/215 4567 /proc/meminfo: memFree=32266012/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1545312 CPUtime=14.52 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 23551 0 1 0 1448 4 0 0 21 0 19 0 844478 1582399488 16256 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386328 16256 1445 10 0 383631 0 [pid=4548/tid=4550] ppid=4546 vsize=1545312 CPUtime=12.45 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9109 0 1 0 1244 1 0 0 21 0 19 0 844479 1582399488 16256 4089446400 134512640 134550932 4287979200 18446744073709551615 4109910502 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 19 0 844479 1582399488 16256 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 140 0 0 0 31 3 0 0 16 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 4 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1545312 CPUtime=0.36 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 18 0 0 0 33 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1545312 CPUtime=0.34 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 16 0 0 0 30 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1545312 CPUtime=0.33 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 31 0 0 0 28 5 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1545312 CPUtime=0.32 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 91 0 0 0 26 6 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1545312 CPUtime=0.31 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 109 0 0 0 28 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1545312 CPUtime=0.35 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 590 0 0 0 31 4 0 0 16 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1545312 CPUtime=0.32 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 177 0 0 0 28 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1545312 CPUtime=13.42 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 2348 0 0 0 1323 19 0 0 15 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1545312 CPUtime=1.04 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 104 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1545312 CPUtime=0.83 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5436 0 0 0 83 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 617.52 Current children cumulated vsize (KiB) 1545312 [startup+614.701 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4768 /proc/meminfo: memFree=31894804/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1545312 CPUtime=617.92 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 25858 0 1 0 61732 60 0 0 21 0 19 0 844478 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386328 17605 1445 10 0 383631 0 [pid=4548/tid=4550] ppid=4546 vsize=1545312 CPUtime=599.82 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9992 0 1 0 59979 3 0 0 25 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4109469242 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1545312 CPUtime=0.34 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 140 0 0 0 31 3 0 0 16 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 4 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1545312 CPUtime=0.36 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 18 0 0 0 33 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1545312 CPUtime=0.34 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 16 0 0 0 30 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1545312 CPUtime=0.33 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 31 0 0 0 28 5 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1545312 CPUtime=0.32 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 91 0 0 0 26 6 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1545312 CPUtime=0.31 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 109 0 0 0 28 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1545312 CPUtime=0.35 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 590 0 0 0 31 4 0 0 16 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1545312 CPUtime=0.32 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 177 0 0 0 28 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1545312 CPUtime=13.42 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 2348 0 0 0 1323 19 0 0 15 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1545312 CPUtime=1.04 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 104 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1545312 CPUtime=0.83 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5436 0 0 0 83 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 617.92 Current children cumulated vsize (KiB) 1545312 [startup+615.101 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4768 /proc/meminfo: memFree=31894680/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1545312 CPUtime=618.32 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 25859 0 1 0 61772 60 0 0 21 0 19 0 844478 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386328 17605 1445 10 0 383631 0 [pid=4548/tid=4550] ppid=4546 vsize=1545312 CPUtime=600.21 /proc/4548/task/4550/stat : 4550 (java) R 4546 4548 3794 0 -1 4202560 9993 0 1 0 60017 4 0 0 25 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4109607724 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1545312 CPUtime=0.34 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 140 0 0 0 31 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 4 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1545312 CPUtime=0.36 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 18 0 0 0 33 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1545312 CPUtime=0.34 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 16 0 0 0 30 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1545312 CPUtime=0.33 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 31 0 0 0 28 5 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1545312 CPUtime=0.33 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 91 0 0 0 27 6 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1545312 CPUtime=0.31 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 109 0 0 0 28 3 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1545312 CPUtime=0.36 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 590 0 0 0 32 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1545312 CPUtime=0.32 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 177 0 0 0 28 4 0 0 15 0 19 0 844479 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1545312 CPUtime=13.43 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 2348 0 0 0 1324 19 0 0 15 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1545312 CPUtime=1.04 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 104 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1545312 CPUtime=0.83 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5436 0 0 0 83 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 844483 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1545312 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1582399488 17605 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 618.32 Current children cumulated vsize (KiB) 1545312 [startup+615.201 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4768 /proc/meminfo: memFree=31894680/32951124 swapFree=67111528/67111528 [pid=4548] ppid=4546 vsize=1545636 CPUtime=618.42 /proc/4548/stat : 4548 (java) S 4546 4548 3794 0 -1 4202496 25871 0 1 0 61782 60 0 0 21 0 19 0 844478 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/4548/statm: 386409 17617 1446 10 0 383712 0 [pid=4548/tid=4550] ppid=4546 vsize=1545636 CPUtime=600.31 /proc/4548/task/4550/stat : 4550 (java) S 4546 4548 3794 0 -1 4202560 9998 0 1 0 60027 4 0 0 17 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4551] ppid=4546 vsize=1545636 CPUtime=0.34 /proc/4548/task/4551/stat : 4551 (java) S 4546 4548 3794 0 -1 4202560 140 0 0 0 31 3 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 4 0 0 0 [pid=4548/tid=4552] ppid=4546 vsize=1545636 CPUtime=0.36 /proc/4548/task/4552/stat : 4552 (java) S 4546 4548 3794 0 -1 4202560 18 0 0 0 33 3 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4553] ppid=4546 vsize=1545636 CPUtime=0.34 /proc/4548/task/4553/stat : 4553 (java) S 4546 4548 3794 0 -1 4202560 16 0 0 0 30 4 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4554] ppid=4546 vsize=1545636 CPUtime=0.33 /proc/4548/task/4554/stat : 4554 (java) S 4546 4548 3794 0 -1 4202560 31 0 0 0 28 5 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4555] ppid=4546 vsize=1545636 CPUtime=0.33 /proc/4548/task/4555/stat : 4555 (java) S 4546 4548 3794 0 -1 4202560 91 0 0 0 27 6 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4556] ppid=4546 vsize=1545636 CPUtime=0.31 /proc/4548/task/4556/stat : 4556 (java) S 4546 4548 3794 0 -1 4202560 109 0 0 0 28 3 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4557] ppid=4546 vsize=1545636 CPUtime=0.36 /proc/4548/task/4557/stat : 4557 (java) S 4546 4548 3794 0 -1 4202560 590 0 0 0 32 4 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 2 0 0 0 [pid=4548/tid=4558] ppid=4546 vsize=1545636 CPUtime=0.32 /proc/4548/task/4558/stat : 4558 (java) S 4546 4548 3794 0 -1 4202560 177 0 0 0 28 4 0 0 15 0 19 0 844479 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4559] ppid=4546 vsize=1545636 CPUtime=13.43 /proc/4548/task/4559/stat : 4559 (java) S 4546 4548 3794 0 -1 4202560 2348 0 0 0 1324 19 0 0 15 0 19 0 844480 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 0 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4560] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4560/stat : 4560 (java) S 4546 4548 3794 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 844480 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4561] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4561/stat : 4561 (java) S 4546 4548 3794 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 844480 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 1 0 0 0 [pid=4548/tid=4562] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4562/stat : 4562 (java) S 4546 4548 3794 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 844483 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4563] ppid=4546 vsize=1545636 CPUtime=1.04 /proc/4548/task/4563/stat : 4563 (java) S 4546 4548 3794 0 -1 4202560 5807 0 0 0 104 0 0 0 15 0 19 0 844483 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 5 0 0 0 [pid=4548/tid=4564] ppid=4546 vsize=1545636 CPUtime=0.83 /proc/4548/task/4564/stat : 4564 (java) S 4546 4548 3794 0 -1 4202560 5436 0 0 0 83 0 0 0 15 0 19 0 844483 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 0 0 0 0 [pid=4548/tid=4565] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4565/stat : 4565 (java) S 4546 4548 3794 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 844483 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 [pid=4548/tid=4566] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4566/stat : 4566 (java) S 4546 4548 3794 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 844483 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 3 0 0 0 [pid=4548/tid=4567] ppid=4546 vsize=1545636 CPUtime=0 /proc/4548/task/4567/stat : 4567 (java) S 4546 4548 3794 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 844510 1582731264 17617 4089446400 134512640 134550932 4287979200 18446744073709551615 4294960144 0 4 0 16800975 18446604471116273664 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 618.42 Current children cumulated vsize (KiB) 1545636 Child status: 30 Real time (s): 615.213 CPU time (s): 618.434 CPU user time (s): 617.827 CPU system time (s): 0.606907 CPU usage (%): 100.524 Max. virtual memory (cumulated for all children) (KiB): 1550104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 617.827 system time used= 0.606907 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25874 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= 35613 involuntary context switches= 220592 runsolver used 1.06684 second user time and 2.34864 second system time The end
Begin job on node108 at 2010-07-05 12:38:18 IDJOB=2698725 IDBENCH=78980 IDSOLVER=1211 FILE ID=node108/2698725-1278326298 PBS_JOBID= 11207478 Free space on /tmp= 74160 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698725-1278326298/watcher-2698725-1278326298 -o /tmp/evaluation-result-2698725-1278326298/solver-2698725-1278326298 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698725-1278326298.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad RANDOM SEED=418294631 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.99 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2681.499 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32326268 kB Buffers: 34028 kB Cached: 338240 kB SwapCached: 0 kB Active: 247000 kB Inactive: 275968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32326268 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 480 kB Writeback: 0 kB AnonPages: 151436 kB Mapped: 20336 kB Slab: 36168 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654456 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74148 MiB End job on node108 at 2010-07-05 12:48:33