Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | OPTIMUM | 353.74 | 350.029 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo |
MD5SUM | 0bc882feda752f8542fa470cf04f3d53 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 307.459 |
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 | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 137245 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137244 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 721 |
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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.1.v20100705 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.08 c java.vm.version 11.2-b01 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 32 0.00/0.08 c java.version 1.6.0_12 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/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-2698065-1278327629.wbo 0.11/0.10 c reading problem ... 0.56/0.31 c ... done. Wall clock time 0.211s. 0.56/0.31 c #vars 2938 0.56/0.31 c #constraints 2707 0.56/0.31 c constraints type 0.56/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 0.56/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 1.76/0.74 c SATISFIABLE 1.76/0.74 c OPTIMIZING... 1.76/0.74 c Got one! Elapsed wall clock time (in seconds):0.647 1.76/0.74 o 345 2.06/0.81 c Got one! Elapsed wall clock time (in seconds):0.718 2.06/0.81 o 238 2.06/0.86 c Got one! Elapsed wall clock time (in seconds):0.765 2.06/0.86 o 195 2.34/0.90 c Got one! Elapsed wall clock time (in seconds):0.804 2.34/0.90 o 189 2.34/0.94 c Got one! Elapsed wall clock time (in seconds):0.842 2.34/0.94 o 168 2.34/1.00 c Got one! Elapsed wall clock time (in seconds):0.905 2.34/1.00 o 163 2.52/1.04 c Got one! Elapsed wall clock time (in seconds):0.944 2.52/1.04 o 151 2.83/1.31 c Got one! Elapsed wall clock time (in seconds):1.211 2.83/1.31 o 145 2.83/1.35 c Got one! Elapsed wall clock time (in seconds):1.252 2.83/1.35 o 138 3.03/1.52 c Got one! Elapsed wall clock time (in seconds):1.422 3.03/1.52 o 134 3.13/1.62 c Got one! Elapsed wall clock time (in seconds):1.524 3.13/1.62 o 127 3.23/1.72 c Got one! Elapsed wall clock time (in seconds):1.627 3.23/1.72 o 116 3.23/1.77 c Got one! Elapsed wall clock time (in seconds):1.674 3.23/1.77 o 107 3.33/1.84 c Got one! Elapsed wall clock time (in seconds):1.748 3.33/1.84 o 101 3.53/2.01 c Got one! Elapsed wall clock time (in seconds):1.918 3.53/2.01 o 91 3.53/2.06 c cleaning 2498 clauses out of 5000 with flag 5000/5000 3.76/2.22 c Got one! Elapsed wall clock time (in seconds):2.126 3.76/2.22 o 67 3.85/2.31 c Got one! Elapsed wall clock time (in seconds):2.209 3.85/2.31 o 66 3.85/2.35 c Got one! Elapsed wall clock time (in seconds):2.25 3.85/2.35 o 65 3.95/2.49 c Got one! Elapsed wall clock time (in seconds):2.392 3.95/2.49 o 59 4.15/2.61 c Got one! Elapsed wall clock time (in seconds):2.513 4.15/2.61 o 50 4.45/2.90 c Got one! Elapsed wall clock time (in seconds):2.802 4.45/2.90 o 49 4.98/3.45 c cleaning 4248 clauses out of 8503 with flag 11001/11001 5.58/4.09 c Got one! Elapsed wall clock time (in seconds):3.991 5.58/4.09 o 44 5.78/4.28 c Got one! Elapsed wall clock time (in seconds):4.186 5.78/4.28 o 39 6.39/4.80 c Got one! Elapsed wall clock time (in seconds):4.706 6.39/4.80 o 38 6.50/4.96 c cleaning 5623 clauses out of 11254 with flag 18000/18000 6.50/4.99 c Got one! Elapsed wall clock time (in seconds):4.897 6.50/4.99 o 37 6.66/5.09 c Got one! Elapsed wall clock time (in seconds):4.996 6.66/5.09 o 31 7.09/5.35 c Got one! Elapsed wall clock time (in seconds):5.257 7.09/5.35 o 28 7.50/5.72 c Got one! Elapsed wall clock time (in seconds):5.622 7.50/5.72 o 25 8.00/6.29 c cleaning 6812 clauses out of 13632 with flag 26001/26001 8.15/6.38 c Got one! Elapsed wall clock time (in seconds):6.283 8.15/6.38 o 23 8.37/6.48 c Got one! Elapsed wall clock time (in seconds):6.387 8.37/6.48 o 19 8.80/6.82 c Got one! Elapsed wall clock time (in seconds):6.722 8.80/6.82 o 15 9.40/7.40 c Got one! Elapsed wall clock time (in seconds):7.302 9.40/7.40 o 14 9.80/7.83 c cleaning 7906 clauses out of 15819 with flag 35000/35000 11.32/9.38 c cleaning 8955 clauses out of 17913 with flag 45000/45000 12.55/10.55 c cleaning 9476 clauses out of 18960 with flag 55002/55002 12.66/10.69 c Got one! Elapsed wall clock time (in seconds):10.594 12.66/10.69 o 12 13.65/11.68 c cleaning 9740 clauses out of 19482 with flag 65000/65000 14.75/12.70 c cleaning 9865 clauses out of 19742 with flag 75000/75000 15.76/13.72 c cleaning 9936 clauses out of 19877 with flag 85000/85000 16.76/14.74 c cleaning 9965 clauses out of 19941 with flag 95000/95000 17.86/15.81 c cleaning 9981 clauses out of 19976 with flag 105000/105000 18.86/16.83 c Got one! Elapsed wall clock time (in seconds):16.737 18.86/16.83 o 11 18.96/16.90 c cleaning 9994 clauses out of 19995 with flag 115000/115000 20.06/18.06 c cleaning 9991 clauses out of 20002 with flag 125001/125001 21.07/19.09 c cleaning 10002 clauses out of 20010 with flag 135000/135000 22.07/20.01 c cleaning 10000 clauses out of 20009 with flag 145001/145001 22.17/20.10 c Got one! Elapsed wall clock time (in seconds):20.008 22.17/20.10 o 10 23.17/21.10 c cleaning 9996 clauses out of 20008 with flag 155000/155000 24.57/22.54 c cleaning 10003 clauses out of 20014 with flag 165002/165002 25.58/23.56 c cleaning 9999 clauses out of 20010 with flag 175001/175001 26.38/24.39 c cleaning 9997 clauses out of 20012 with flag 185002/185002 26.58/24.59 c Got one! Elapsed wall clock time (in seconds):24.494 26.58/24.59 o 9 27.29/25.25 c cleaning 10003 clauses out of 20013 with flag 195000/195000 28.18/26.10 c cleaning 10004 clauses out of 20012 with flag 205002/205002 28.69/26.63 c Got one! Elapsed wall clock time (in seconds):26.532 28.69/26.63 o 6 28.99/26.97 c cleaning 10002 clauses out of 20009 with flag 215003/215003 29.79/27.77 c cleaning 10000 clauses out of 20006 with flag 225002/225002 30.60/28.60 c cleaning 9998 clauses out of 20005 with flag 235001/235001 31.39/29.30 c cleaning 10000 clauses out of 20007 with flag 245001/245001 32.09/30.05 c cleaning 9998 clauses out of 20007 with flag 255001/255001 32.80/30.77 c cleaning 9996 clauses out of 20008 with flag 265000/265000 33.70/31.60 c cleaning 9987 clauses out of 20012 with flag 275000/275000 34.40/32.31 c cleaning 10004 clauses out of 20025 with flag 285000/285000 35.10/33.01 c cleaning 10005 clauses out of 20023 with flag 295002/295002 35.80/33.78 c cleaning 9998 clauses out of 20017 with flag 305001/305001 36.50/34.46 c cleaning 10003 clauses out of 20018 with flag 315000/315000 37.21/35.17 c cleaning 10003 clauses out of 20015 with flag 325000/325000 37.91/35.85 c cleaning 10004 clauses out of 20015 with flag 335003/335003 38.61/36.55 c cleaning 9998 clauses out of 20008 with flag 345000/345000 39.31/37.24 c cleaning 9994 clauses out of 20010 with flag 355000/355000 40.01/37.96 c cleaning 10003 clauses out of 20016 with flag 365000/365000 40.72/38.66 c cleaning 10001 clauses out of 20016 with flag 375003/375003 40.83/38.76 c Got one! Elapsed wall clock time (in seconds):38.662 40.83/38.76 o 5 41.74/39.64 c cleaning 10001 clauses out of 20012 with flag 385000/385000 42.54/40.49 c cleaning 10004 clauses out of 20013 with flag 395002/395002 43.44/41.35 c cleaning 9997 clauses out of 20007 with flag 405000/405000 44.24/42.13 c cleaning 9999 clauses out of 20010 with flag 415000/415000 44.95/42.81 c cleaning 10001 clauses out of 20011 with flag 425000/425000 45.64/43.54 c cleaning 10001 clauses out of 20011 with flag 435001/435001 46.24/44.19 c cleaning 9999 clauses out of 20010 with flag 445001/445001 46.94/44.89 c cleaning 9995 clauses out of 20011 with flag 455001/455001 47.65/45.56 c cleaning 10000 clauses out of 20016 with flag 465001/465001 48.46/46.34 c cleaning 10003 clauses out of 20016 with flag 475001/475001 49.16/47.06 c cleaning 10001 clauses out of 20012 with flag 485000/485000 49.96/47.82 c cleaning 10002 clauses out of 20012 with flag 495001/495001 50.67/48.58 c cleaning 10001 clauses out of 20011 with flag 505002/505002 51.47/49.36 c cleaning 10000 clauses out of 20009 with flag 515001/515001 52.17/50.09 c cleaning 9997 clauses out of 20008 with flag 525000/525000 52.97/50.81 c cleaning 10000 clauses out of 20011 with flag 535000/535000 53.67/51.54 c cleaning 9998 clauses out of 20011 with flag 545000/545000 54.37/52.26 c cleaning 10003 clauses out of 20013 with flag 555000/555000 55.17/53.04 c cleaning 10001 clauses out of 20013 with flag 565003/565003 55.88/53.76 c cleaning 9997 clauses out of 20009 with flag 575000/575000 56.68/54.54 c cleaning 9999 clauses out of 20013 with flag 585001/585001 57.48/55.33 c cleaning 9998 clauses out of 20013 with flag 595000/595000 58.29/56.12 c cleaning 9997 clauses out of 20016 with flag 605001/605001 59.20/57.00 c cleaning 10004 clauses out of 20019 with flag 615001/615001 60.00/57.84 c cleaning 10004 clauses out of 20014 with flag 625000/625000 60.71/58.58 c cleaning 9998 clauses out of 20010 with flag 635000/635000 61.52/59.36 c cleaning 10002 clauses out of 20013 with flag 645001/645001 62.21/60.06 c cleaning 10002 clauses out of 20011 with flag 655001/655001 63.02/60.85 c cleaning 10003 clauses out of 20011 with flag 665003/665003 63.72/61.59 c cleaning 9995 clauses out of 20006 with flag 675001/675001 64.62/62.45 c cleaning 10001 clauses out of 20012 with flag 685002/685002 65.53/63.34 c cleaning 10000 clauses out of 20009 with flag 695000/695000 66.33/64.14 c cleaning 10001 clauses out of 20009 with flag 705000/705000 67.14/64.96 c cleaning 9997 clauses out of 20009 with flag 715001/715001 67.73/65.54 c Got one! Elapsed wall clock time (in seconds):65.443 67.73/65.54 o 3 67.93/65.75 c cleaning 10002 clauses out of 20011 with flag 725000/725000 68.84/66.66 c cleaning 9999 clauses out of 20011 with flag 735002/735002 69.75/67.54 c cleaning 9998 clauses out of 20013 with flag 745003/745003 70.65/68.44 c cleaning 9998 clauses out of 20013 with flag 755001/755001 71.35/69.20 c cleaning 10001 clauses out of 20016 with flag 765002/765002 72.16/69.92 c cleaning 10002 clauses out of 20015 with flag 775002/775002 72.86/70.65 c cleaning 9995 clauses out of 20011 with flag 785000/785000 73.67/71.41 c cleaning 9999 clauses out of 20016 with flag 795000/795000 74.36/72.14 c cleaning 10005 clauses out of 20019 with flag 805002/805002 75.17/72.91 c cleaning 9999 clauses out of 20013 with flag 815001/815001 75.78/73.57 c cleaning 10002 clauses out of 20013 with flag 825000/825000 76.69/74.40 c cleaning 9995 clauses out of 20011 with flag 835000/835000 77.49/75.20 c cleaning 10006 clauses out of 20018 with flag 845002/845002 78.20/75.92 c cleaning 9999 clauses out of 20011 with flag 855001/855001 78.90/76.68 c cleaning 10002 clauses out of 20011 with flag 865000/865000 79.70/77.43 c cleaning 10000 clauses out of 20011 with flag 875002/875002 80.41/78.12 c cleaning 10003 clauses out of 20011 with flag 885002/885002 81.10/78.84 c cleaning 9996 clauses out of 20007 with flag 895001/895001 81.91/79.66 c cleaning 9998 clauses out of 20010 with flag 905000/905000 82.81/80.57 c cleaning 9992 clauses out of 20012 with flag 915000/915000 83.72/81.42 c cleaning 9999 clauses out of 20020 with flag 925000/925000 84.41/82.14 c cleaning 10009 clauses out of 20024 with flag 935003/935003 85.12/82.82 c cleaning 10005 clauses out of 20013 with flag 945001/945001 85.73/83.47 c cleaning 9999 clauses out of 20008 with flag 955001/955001 86.53/84.24 c cleaning 9998 clauses out of 20009 with flag 965001/965001 87.23/84.98 c cleaning 10001 clauses out of 20012 with flag 975002/975002 87.94/85.68 c cleaning 10001 clauses out of 20010 with flag 985001/985001 88.64/86.30 c cleaning 9997 clauses out of 20008 with flag 995000/995000 89.35/87.02 c cleaning 9991 clauses out of 20011 with flag 1005000/1005000 90.05/87.73 c cleaning 10000 clauses out of 20021 with flag 1015001/1015001 90.75/88.42 c cleaning 10002 clauses out of 20020 with flag 1025000/1025000 91.56/89.24 c cleaning 10005 clauses out of 20019 with flag 1035001/1035001 92.36/90.01 c cleaning 10002 clauses out of 20014 with flag 1045001/1045001 93.06/90.72 c cleaning 9997 clauses out of 20014 with flag 1055003/1055003 93.76/91.48 c cleaning 9999 clauses out of 20014 with flag 1065000/1065000 94.57/92.23 c cleaning 10006 clauses out of 20015 with flag 1075000/1075000 95.27/92.97 c cleaning 10001 clauses out of 20010 with flag 1085001/1085001 96.07/93.71 c cleaning 9999 clauses out of 20009 with flag 1095001/1095001 96.78/94.45 c cleaning 10001 clauses out of 20010 with flag 1105001/1105001 97.48/95.18 c cleaning 9998 clauses out of 20009 with flag 1115001/1115001 98.18/95.89 c cleaning 10000 clauses out of 20010 with flag 1125000/1125000 98.98/96.67 c cleaning 10002 clauses out of 20013 with flag 1135003/1135003 99.69/97.40 c cleaning 9996 clauses out of 20008 with flag 1145000/1145000 100.39/98.05 c cleaning 9995 clauses out of 20012 with flag 1155000/1155000 101.09/98.70 c cleaning 10000 clauses out of 20017 with flag 1165000/1165000 101.79/99.47 c cleaning 10003 clauses out of 20017 with flag 1175000/1175000 102.50/100.12 c cleaning 9999 clauses out of 20015 with flag 1185001/1185001 103.20/100.85 c cleaning 10004 clauses out of 20017 with flag 1195002/1195002 103.90/101.54 c cleaning 9995 clauses out of 20011 with flag 1205000/1205000 104.62/102.21 c cleaning 10002 clauses out of 20017 with flag 1215001/1215001 105.42/103.02 c cleaning 10001 clauses out of 20014 with flag 1225000/1225000 106.13/103.73 c cleaning 9996 clauses out of 20013 with flag 1235000/1235000 106.83/104.45 c cleaning 10001 clauses out of 20017 with flag 1245000/1245000 107.63/105.22 c cleaning 10003 clauses out of 20016 with flag 1255000/1255000 108.43/106.04 c cleaning 10000 clauses out of 20016 with flag 1265003/1265003 109.14/106.73 c cleaning 10000 clauses out of 20013 with flag 1275000/1275000 109.85/107.49 c cleaning 9993 clauses out of 20013 with flag 1285000/1285000 110.65/108.24 c cleaning 10005 clauses out of 20021 with flag 1295001/1295001 111.46/109.02 c cleaning 10000 clauses out of 20015 with flag 1305000/1305000 112.26/109.89 c cleaning 10003 clauses out of 20015 with flag 1315000/1315000 113.07/110.69 c cleaning 10001 clauses out of 20012 with flag 1325000/1325000 113.78/111.37 c cleaning 9996 clauses out of 20012 with flag 1335001/1335001 114.48/112.06 c cleaning 9997 clauses out of 20015 with flag 1345000/1345000 115.28/112.89 c cleaning 10005 clauses out of 20019 with flag 1355001/1355001 116.19/113.73 c cleaning 10004 clauses out of 20016 with flag 1365003/1365003 116.99/114.56 c cleaning 10002 clauses out of 20009 with flag 1375000/1375000 117.70/115.24 c cleaning 9997 clauses out of 20007 with flag 1385000/1385000 118.50/116.05 c cleaning 10001 clauses out of 20010 with flag 1395000/1395000 119.31/116.87 c cleaning 9993 clauses out of 20009 with flag 1405000/1405000 120.12/117.61 c cleaning 10004 clauses out of 20016 with flag 1415000/1415000 120.82/118.37 c cleaning 9998 clauses out of 20012 with flag 1425000/1425000 121.63/119.13 c cleaning 9999 clauses out of 20015 with flag 1435001/1435001 122.33/119.86 c cleaning 10004 clauses out of 20015 with flag 1445000/1445000 123.03/120.58 c cleaning 9997 clauses out of 20012 with flag 1455001/1455001 123.83/121.38 c cleaning 9998 clauses out of 20014 with flag 1465000/1465000 124.64/122.16 c cleaning 10004 clauses out of 20019 with flag 1475003/1475003 125.44/122.92 c cleaning 10001 clauses out of 20013 with flag 1485001/1485001 126.14/123.66 c cleaning 10002 clauses out of 20014 with flag 1495003/1495003 126.95/124.44 c cleaning 10003 clauses out of 20009 with flag 1505000/1505000 127.65/125.14 c cleaning 9997 clauses out of 20006 with flag 1515000/1515000 128.25/125.78 c cleaning 10001 clauses out of 20009 with flag 1525000/1525000 128.96/126.48 c cleaning 9997 clauses out of 20012 with flag 1535004/1535004 129.66/127.20 c cleaning 10002 clauses out of 20014 with flag 1545003/1545003 130.46/127.99 c cleaning 10000 clauses out of 20012 with flag 1555003/1555003 131.27/128.77 c cleaning 9999 clauses out of 20010 with flag 1565001/1565001 132.07/129.53 c cleaning 10002 clauses out of 20010 with flag 1575000/1575000 132.78/130.23 c cleaning 10000 clauses out of 20008 with flag 1585000/1585000 133.48/130.94 c cleaning 10001 clauses out of 20011 with flag 1595003/1595003 134.19/131.64 c cleaning 9997 clauses out of 20007 with flag 1605000/1605000 135.00/132.40 c cleaning 9999 clauses out of 20011 with flag 1615001/1615001 135.70/133.19 c cleaning 9996 clauses out of 20011 with flag 1625000/1625000 136.50/133.93 c cleaning 9998 clauses out of 20015 with flag 1635000/1635000 137.21/134.67 c cleaning 10002 clauses out of 20017 with flag 1645000/1645000 138.01/135.41 c cleaning 9996 clauses out of 20016 with flag 1655001/1655001 138.71/136.18 c cleaning 10005 clauses out of 20019 with flag 1665000/1665000 139.52/136.97 c cleaning 10000 clauses out of 20014 with flag 1675000/1675000 140.22/137.68 c cleaning 10005 clauses out of 20015 with flag 1685001/1685001 141.02/138.43 c cleaning 10000 clauses out of 20010 with flag 1695001/1695001 141.73/139.18 c cleaning 10000 clauses out of 20011 with flag 1705002/1705002 142.53/139.91 c cleaning 9999 clauses out of 20010 with flag 1715001/1715001 143.34/140.71 c cleaning 9996 clauses out of 20010 with flag 1725000/1725000 144.24/141.62 c cleaning 10000 clauses out of 20016 with flag 1735002/1735002 145.05/142.46 c cleaning 10001 clauses out of 20014 with flag 1745000/1745000 145.85/143.26 c cleaning 10002 clauses out of 20013 with flag 1755000/1755000 146.65/144.05 c cleaning 10001 clauses out of 20011 with flag 1765000/1765000 147.35/144.77 c cleaning 10001 clauses out of 20010 with flag 1775000/1775000 148.15/145.57 c cleaning 10003 clauses out of 20015 with flag 1785006/1785006 148.96/146.38 c cleaning 9999 clauses out of 20007 with flag 1795001/1795001 149.86/147.25 c cleaning 9998 clauses out of 20009 with flag 1805002/1805002 150.66/148.06 c cleaning 9997 clauses out of 20009 with flag 1815000/1815000 151.36/148.75 c cleaning 9999 clauses out of 20013 with flag 1825001/1825001 152.18/149.54 c cleaning 10003 clauses out of 20015 with flag 1835002/1835002 152.98/150.32 c cleaning 10002 clauses out of 20010 with flag 1845000/1845000 153.69/151.03 c cleaning 9996 clauses out of 20008 with flag 1855000/1855000 154.39/151.79 c cleaning 10002 clauses out of 20014 with flag 1865002/1865002 155.20/152.56 c cleaning 9997 clauses out of 20010 with flag 1875000/1875000 155.90/153.27 c cleaning 9999 clauses out of 20016 with flag 1885003/1885003 156.71/154.07 c cleaning 10000 clauses out of 20017 with flag 1895003/1895003 157.51/154.83 c cleaning 10003 clauses out of 20014 with flag 1905000/1905000 158.31/155.61 c cleaning 9999 clauses out of 20012 with flag 1915001/1915001 159.02/156.39 c cleaning 10002 clauses out of 20013 with flag 1925001/1925001 159.83/157.14 c cleaning 9999 clauses out of 20011 with flag 1935001/1935001 160.64/157.99 c cleaning 9998 clauses out of 20011 with flag 1945000/1945000 161.54/158.84 c cleaning 9998 clauses out of 20014 with flag 1955001/1955001 162.45/159.71 c cleaning 9999 clauses out of 20015 with flag 1965000/1965000 163.05/160.38 c cleaning 10001 clauses out of 20018 with flag 1975002/1975002 163.75/161.07 c cleaning 10005 clauses out of 20017 with flag 1985002/1985002 164.55/161.82 c cleaning 10000 clauses out of 20012 with flag 1995002/1995002 165.16/162.49 c cleaning 10000 clauses out of 20010 with flag 2005000/2005000 165.86/163.17 c cleaning 9999 clauses out of 20010 with flag 2015000/2015000 166.67/163.95 c cleaning 10001 clauses out of 20011 with flag 2025000/2025000 167.46/164.72 c cleaning 9999 clauses out of 20010 with flag 2035000/2035000 168.17/165.46 c cleaning 10001 clauses out of 20013 with flag 2045002/2045002 168.88/166.15 c cleaning 9998 clauses out of 20010 with flag 2055000/2055000 169.57/166.84 c cleaning 9999 clauses out of 20012 with flag 2065000/2065000 170.28/167.59 c cleaning 10000 clauses out of 20013 with flag 2075000/2075000 170.99/168.28 c cleaning 10001 clauses out of 20014 with flag 2085001/2085001 171.69/168.97 c cleaning 10003 clauses out of 20013 with flag 2095001/2095001 172.39/169.67 c cleaning 9999 clauses out of 20011 with flag 2105002/2105002 173.09/170.31 c cleaning 9999 clauses out of 20011 with flag 2115001/2115001 173.69/170.99 c cleaning 9999 clauses out of 20012 with flag 2125001/2125001 174.50/171.70 c cleaning 10003 clauses out of 20013 with flag 2135001/2135001 175.20/172.43 c cleaning 9993 clauses out of 20011 with flag 2145002/2145002 175.91/173.18 c cleaning 10004 clauses out of 20016 with flag 2155000/2155000 176.82/174.04 c cleaning 10001 clauses out of 20015 with flag 2165003/2165003 177.52/174.77 c cleaning 10002 clauses out of 20013 with flag 2175002/2175002 178.22/175.44 c cleaning 10003 clauses out of 20012 with flag 2185003/2185003 178.92/176.14 c cleaning 9997 clauses out of 20006 with flag 2195000/2195000 179.62/176.86 c cleaning 9995 clauses out of 20010 with flag 2205001/2205001 180.33/177.50 c cleaning 9996 clauses out of 20014 with flag 2215000/2215000 180.93/178.19 c cleaning 9996 clauses out of 20019 with flag 2225001/2225001 181.54/178.79 c cleaning 10005 clauses out of 20023 with flag 2235001/2235001 182.34/179.52 c cleaning 10007 clauses out of 20019 with flag 2245002/2245002 183.04/180.25 c cleaning 9995 clauses out of 20010 with flag 2255000/2255000 183.64/180.89 c cleaning 10004 clauses out of 20015 with flag 2265000/2265000 184.45/181.67 c cleaning 9992 clauses out of 20011 with flag 2275000/2275000 185.25/182.42 c cleaning 10005 clauses out of 20020 with flag 2285001/2285001 185.95/183.19 c cleaning 9991 clauses out of 20014 with flag 2295000/2295000 186.75/183.94 c cleaning 10005 clauses out of 20023 with flag 2305000/2305000 187.57/184.75 c cleaning 10002 clauses out of 20020 with flag 2315002/2315002 188.36/185.51 c cleaning 10007 clauses out of 20021 with flag 2325005/2325005 189.17/186.32 c cleaning 10002 clauses out of 20010 with flag 2335001/2335001 189.88/187.09 c cleaning 9999 clauses out of 20007 with flag 2345000/2345000 190.69/187.89 c cleaning 9999 clauses out of 20008 with flag 2355000/2355000 191.49/188.68 c cleaning 9996 clauses out of 20009 with flag 2365000/2365000 192.39/189.52 c cleaning 10000 clauses out of 20014 with flag 2375001/2375001 193.11/190.23 c cleaning 9998 clauses out of 20014 with flag 2385001/2385001 193.90/191.01 c cleaning 10003 clauses out of 20017 with flag 2395002/2395002 194.71/191.81 c cleaning 10001 clauses out of 20014 with flag 2405002/2405002 195.51/192.63 c cleaning 10000 clauses out of 20011 with flag 2415000/2415000 196.32/193.49 c cleaning 9997 clauses out of 20011 with flag 2425000/2425000 197.22/194.30 c cleaning 10004 clauses out of 20015 with flag 2435001/2435001 197.92/195.07 c cleaning 10000 clauses out of 20014 with flag 2445004/2445004 198.73/195.84 c cleaning 9997 clauses out of 20010 with flag 2455000/2455000 199.53/196.66 c cleaning 10002 clauses out of 20015 with flag 2465002/2465002 200.33/197.49 c cleaning 10000 clauses out of 20012 with flag 2475001/2475001 201.24/198.31 c cleaning 9996 clauses out of 20011 with flag 2485000/2485000 202.05/199.11 c cleaning 10003 clauses out of 20015 with flag 2495000/2495000 202.65/199.79 c cleaning 10001 clauses out of 20013 with flag 2505001/2505001 203.45/200.51 c cleaning 10001 clauses out of 20013 with flag 2515002/2515002 204.16/201.26 c cleaning 9997 clauses out of 20010 with flag 2525000/2525000 204.86/201.98 c cleaning 10003 clauses out of 20013 with flag 2535000/2535000 205.56/202.67 c cleaning 9999 clauses out of 20010 with flag 2545000/2545000 206.37/203.48 c cleaning 9998 clauses out of 20012 with flag 2555001/2555001 207.07/204.14 c cleaning 10002 clauses out of 20013 with flag 2565000/2565000 207.67/204.76 c cleaning 10001 clauses out of 20012 with flag 2575001/2575001 208.38/205.43 c cleaning 9998 clauses out of 20011 with flag 2585001/2585001 209.08/206.15 c cleaning 10001 clauses out of 20012 with flag 2595000/2595000 209.79/206.82 c cleaning 9998 clauses out of 20011 with flag 2605000/2605000 210.50/207.55 c cleaning 10000 clauses out of 20016 with flag 2615003/2615003 211.30/208.33 c cleaning 10001 clauses out of 20013 with flag 2625000/2625000 212.01/209.09 c cleaning 10003 clauses out of 20015 with flag 2635003/2635003 212.80/209.81 c cleaning 9997 clauses out of 20014 with flag 2645005/2645005 213.61/210.65 c cleaning 10003 clauses out of 20016 with flag 2655004/2655004 214.42/211.41 c cleaning 10002 clauses out of 20010 with flag 2665001/2665001 215.12/212.16 c cleaning 10000 clauses out of 20009 with flag 2675002/2675002 215.92/212.92 c cleaning 9994 clauses out of 20008 with flag 2685001/2685001 216.82/213.82 c cleaning 10002 clauses out of 20013 with flag 2695000/2695000 217.63/214.63 c cleaning 9999 clauses out of 20011 with flag 2705000/2705000 218.44/215.44 c cleaning 9999 clauses out of 20012 with flag 2715000/2715000 219.14/216.12 c cleaning 9999 clauses out of 20014 with flag 2725001/2725001 219.84/216.82 c cleaning 10002 clauses out of 20015 with flag 2735001/2735001 220.54/217.55 c cleaning 9999 clauses out of 20018 with flag 2745006/2745006 221.25/218.24 c cleaning 9996 clauses out of 20014 with flag 2755001/2755001 221.86/218.89 c cleaning 10003 clauses out of 20017 with flag 2765000/2765000 222.65/219.69 c cleaning 10001 clauses out of 20014 with flag 2775000/2775000 223.35/220.39 c cleaning 10001 clauses out of 20013 with flag 2785000/2785000 224.06/221.10 c cleaning 9999 clauses out of 20012 with flag 2795000/2795000 224.86/221.87 c cleaning 9998 clauses out of 20013 with flag 2805000/2805000 225.66/222.69 c cleaning 9999 clauses out of 20015 with flag 2815000/2815000 226.47/223.41 c cleaning 10000 clauses out of 20016 with flag 2825000/2825000 227.17/224.15 c cleaning 10005 clauses out of 20019 with flag 2835003/2835003 227.98/224.90 c cleaning 10001 clauses out of 20014 with flag 2845003/2845003 228.78/225.75 c cleaning 9993 clauses out of 20010 with flag 2855000/2855000 229.59/226.51 c cleaning 9999 clauses out of 20017 with flag 2865000/2865000 230.39/227.33 c cleaning 9997 clauses out of 20020 with flag 2875002/2875002 231.19/228.11 c cleaning 10003 clauses out of 20022 with flag 2885001/2885001 231.80/228.76 c cleaning 10002 clauses out of 20019 with flag 2895001/2895001 232.59/229.55 c cleaning 9998 clauses out of 20017 with flag 2905001/2905001 233.40/230.36 c cleaning 10001 clauses out of 20018 with flag 2915000/2915000 234.20/231.12 c cleaning 10005 clauses out of 20017 with flag 2925000/2925000 234.90/231.88 c cleaning 9998 clauses out of 20012 with flag 2935000/2935000 235.60/232.59 c cleaning 9999 clauses out of 20014 with flag 2945000/2945000 236.51/233.41 c cleaning 10001 clauses out of 20016 with flag 2955001/2955001 237.21/234.16 c cleaning 9996 clauses out of 20015 with flag 2965001/2965001 238.11/235.02 c cleaning 10005 clauses out of 20020 with flag 2975002/2975002 238.81/235.78 c cleaning 9999 clauses out of 20013 with flag 2985000/2985000 239.62/236.52 c cleaning 10002 clauses out of 20015 with flag 2995001/2995001 240.32/237.27 c cleaning 10001 clauses out of 20014 with flag 3005002/3005002 241.13/238.01 c cleaning 9995 clauses out of 20011 with flag 3015000/3015000 241.83/238.76 c cleaning 9999 clauses out of 20017 with flag 3025001/3025001 242.63/239.53 c cleaning 10006 clauses out of 20020 with flag 3035003/3035003 243.33/240.26 c cleaning 10003 clauses out of 20012 with flag 3045001/3045001 244.04/240.96 c cleaning 9998 clauses out of 20009 with flag 3055001/3055001 244.74/241.68 c cleaning 10002 clauses out of 20010 with flag 3065000/3065000 245.54/242.47 c cleaning 10001 clauses out of 20008 with flag 3075000/3075000 246.35/243.25 c cleaning 10001 clauses out of 20009 with flag 3085002/3085002 247.06/243.98 c cleaning 9999 clauses out of 20008 with flag 3095002/3095002 247.76/244.68 c cleaning 10000 clauses out of 20008 with flag 3105001/3105001 248.47/245.39 c cleaning 10000 clauses out of 20009 with flag 3115002/3115002 249.27/246.11 c cleaning 9995 clauses out of 20007 with flag 3125000/3125000 249.87/246.77 c cleaning 10004 clauses out of 20015 with flag 3135003/3135003 250.58/247.49 c cleaning 9995 clauses out of 20008 with flag 3145000/3145000 251.38/248.22 c cleaning 9997 clauses out of 20014 with flag 3155001/3155001 252.08/248.96 c cleaning 10004 clauses out of 20019 with flag 3165003/3165003 252.79/249.66 c cleaning 9996 clauses out of 20012 with flag 3175000/3175000 253.59/250.41 c cleaning 10002 clauses out of 20020 with flag 3185004/3185004 254.39/251.21 c cleaning 10003 clauses out of 20016 with flag 3195002/3195002 255.10/251.92 c cleaning 9991 clauses out of 20011 with flag 3205000/3205000 255.90/252.71 c cleaning 10006 clauses out of 20020 with flag 3215000/3215000 256.60/253.48 c cleaning 9999 clauses out of 20014 with flag 3225000/3225000 257.50/254.36 c cleaning 10003 clauses out of 20015 with flag 3235000/3235000 258.31/255.12 c cleaning 9999 clauses out of 20014 with flag 3245002/3245002 259.11/255.92 c cleaning 9993 clauses out of 20014 with flag 3255001/3255001 259.82/256.61 c cleaning 10002 clauses out of 20022 with flag 3265002/3265002 260.54/257.31 c cleaning 10006 clauses out of 20018 with flag 3275000/3275000 261.23/258.06 c cleaning 10003 clauses out of 20015 with flag 3285003/3285003 261.93/258.76 c cleaning 10000 clauses out of 20009 with flag 3295000/3295000 262.74/259.52 c cleaning 9996 clauses out of 20009 with flag 3305000/3305000 263.53/260.31 c cleaning 10001 clauses out of 20013 with flag 3315000/3315000 264.44/261.20 c cleaning 10000 clauses out of 20012 with flag 3325000/3325000 265.35/262.12 c cleaning 9998 clauses out of 20012 with flag 3335000/3335000 266.05/262.88 c cleaning 10004 clauses out of 20017 with flag 3345003/3345003 266.75/263.58 c cleaning 9996 clauses out of 20012 with flag 3355002/3355002 267.56/264.37 c cleaning 10004 clauses out of 20016 with flag 3365002/3365002 268.37/265.17 c cleaning 10003 clauses out of 20012 with flag 3375002/3375002 269.17/265.96 c cleaning 10000 clauses out of 20008 with flag 3385001/3385001 269.97/266.73 c cleaning 9999 clauses out of 20007 with flag 3395000/3395000 270.68/267.41 c cleaning 10002 clauses out of 20009 with flag 3405001/3405001 271.38/268.15 c cleaning 9998 clauses out of 20009 with flag 3415003/3415003 272.08/268.87 c cleaning 9996 clauses out of 20008 with flag 3425000/3425000 272.98/269.72 c cleaning 10003 clauses out of 20015 with flag 3435003/3435003 273.79/270.50 c cleaning 10003 clauses out of 20011 with flag 3445002/3445002 274.50/271.22 c cleaning 9999 clauses out of 20007 with flag 3455001/3455001 275.21/271.97 c cleaning 9996 clauses out of 20007 with flag 3465000/3465000 276.02/272.77 c cleaning 9998 clauses out of 20011 with flag 3475000/3475000 276.72/273.49 c cleaning 10002 clauses out of 20014 with flag 3485001/3485001 277.42/274.19 c cleaning 9999 clauses out of 20011 with flag 3495000/3495000 278.23/274.94 c cleaning 10004 clauses out of 20014 with flag 3505002/3505002 278.93/275.67 c cleaning 9994 clauses out of 20008 with flag 3515000/3515000 279.63/276.37 c cleaning 10002 clauses out of 20014 with flag 3525000/3525000 280.33/277.08 c cleaning 10000 clauses out of 20012 with flag 3535000/3535000 281.03/277.74 c cleaning 10000 clauses out of 20012 with flag 3545000/3545000 281.74/278.42 c cleaning 10002 clauses out of 20012 with flag 3555000/3555000 282.34/279.08 c cleaning 10001 clauses out of 20013 with flag 3565003/3565003 283.14/279.83 c cleaning 9998 clauses out of 20010 with flag 3575001/3575001 283.75/280.50 c cleaning 10002 clauses out of 20012 with flag 3585001/3585001 284.55/281.24 c cleaning 9997 clauses out of 20012 with flag 3595003/3595003 285.26/281.92 c cleaning 9997 clauses out of 20012 with flag 3605000/3605000 285.97/282.66 c cleaning 10003 clauses out of 20018 with flag 3615003/3615003 286.66/283.40 c cleaning 9995 clauses out of 20012 with flag 3625000/3625000 287.36/284.06 c cleaning 10004 clauses out of 20018 with flag 3635001/3635001 287.96/284.69 c cleaning 9998 clauses out of 20014 with flag 3645001/3645001 288.67/285.32 c cleaning 10003 clauses out of 20016 with flag 3655001/3655001 289.28/285.99 c cleaning 10004 clauses out of 20015 with flag 3665003/3665003 290.07/286.71 c cleaning 10000 clauses out of 20008 with flag 3675000/3675000 290.67/287.37 c cleaning 9996 clauses out of 20008 with flag 3685000/3685000 291.38/288.08 c cleaning 10000 clauses out of 20012 with flag 3695000/3695000 292.08/288.74 c cleaning 10000 clauses out of 20012 with flag 3705000/3705000 292.79/289.48 c cleaning 10002 clauses out of 20013 with flag 3715001/3715001 293.49/290.18 c cleaning 10001 clauses out of 20012 with flag 3725002/3725002 294.20/290.86 c cleaning 9997 clauses out of 20009 with flag 3735000/3735000 294.90/291.59 c cleaning 9998 clauses out of 20013 with flag 3745001/3745001 295.60/292.28 c cleaning 10002 clauses out of 20018 with flag 3755004/3755004 296.30/292.97 c cleaning 10000 clauses out of 20015 with flag 3765003/3765003 297.20/293.84 c cleaning 10002 clauses out of 20014 with flag 3775002/3775002 297.90/294.55 c cleaning 10000 clauses out of 20010 with flag 3785000/3785000 298.61/295.24 c cleaning 10001 clauses out of 20011 with flag 3795001/3795001 299.32/295.94 c cleaning 10000 clauses out of 20009 with flag 3805000/3805000 300.12/296.71 c cleaning 10002 clauses out of 20013 with flag 3815004/3815004 300.82/297.44 c cleaning 10001 clauses out of 20007 with flag 3825000/3825000 301.53/298.13 c cleaning 9997 clauses out of 20006 with flag 3835000/3835000 302.32/298.93 c cleaning 9999 clauses out of 20011 with flag 3845002/3845002 302.92/299.58 c cleaning 9994 clauses out of 20010 with flag 3855000/3855000 303.63/300.23 c cleaning 10005 clauses out of 20019 with flag 3865003/3865003 304.33/300.92 c cleaning 9997 clauses out of 20011 with flag 3875000/3875000 305.03/301.67 c cleaning 9996 clauses out of 20014 with flag 3885000/3885000 305.74/302.38 c cleaning 10006 clauses out of 20019 with flag 3895001/3895001 306.44/303.03 c cleaning 10004 clauses out of 20015 with flag 3905003/3905003 307.15/303.72 c cleaning 9999 clauses out of 20012 with flag 3915004/3915004 307.85/304.48 c cleaning 9998 clauses out of 20013 with flag 3925004/3925004 308.65/305.20 c cleaning 9996 clauses out of 20012 with flag 3935001/3935001 309.26/305.89 c cleaning 9996 clauses out of 20015 with flag 3945000/3945000 309.96/306.59 c cleaning 10005 clauses out of 20020 with flag 3955001/3955001 310.77/307.32 c cleaning 10002 clauses out of 20015 with flag 3965001/3965001 311.37/307.98 c cleaning 10001 clauses out of 20012 with flag 3975000/3975000 312.07/308.65 c cleaning 10002 clauses out of 20011 with flag 3985000/3985000 312.88/309.45 c cleaning 9997 clauses out of 20012 with flag 3995003/3995003 313.69/310.21 c cleaning 10004 clauses out of 20015 with flag 4005003/4005003 314.28/310.89 c cleaning 9995 clauses out of 20008 with flag 4015000/4015000 314.99/311.54 c cleaning 10000 clauses out of 20014 with flag 4025001/4025001 315.69/312.28 c cleaning 9999 clauses out of 20013 with flag 4035000/4035000 316.50/313.07 c cleaning 10003 clauses out of 20015 with flag 4045001/4045001 317.20/313.74 c cleaning 9999 clauses out of 20013 with flag 4055002/4055002 317.80/314.35 c cleaning 10003 clauses out of 20013 with flag 4065001/4065001 318.60/315.15 c cleaning 10002 clauses out of 20012 with flag 4075003/4075003 319.40/315.94 c cleaning 9996 clauses out of 20007 with flag 4085000/4085000 320.01/316.59 c cleaning 9999 clauses out of 20011 with flag 4095000/4095000 320.81/317.35 c cleaning 10002 clauses out of 20013 with flag 4105001/4105001 321.51/318.03 c cleaning 9998 clauses out of 20010 with flag 4115000/4115000 322.22/318.72 c cleaning 9998 clauses out of 20012 with flag 4125000/4125000 322.82/319.34 c cleaning 10005 clauses out of 20015 with flag 4135001/4135001 323.52/320.09 c cleaning 9994 clauses out of 20009 with flag 4145000/4145000 324.32/320.83 c cleaning 9999 clauses out of 20016 with flag 4155001/4155001 325.04/321.58 c cleaning 9998 clauses out of 20016 with flag 4165000/4165000 325.75/322.29 c cleaning 10007 clauses out of 20020 with flag 4175002/4175002 326.44/322.99 c cleaning 10000 clauses out of 20012 with flag 4185001/4185001 327.24/323.77 c cleaning 10000 clauses out of 20011 with flag 4195000/4195000 328.05/324.52 c cleaning 10000 clauses out of 20014 with flag 4205003/4205003 328.85/325.32 c cleaning 10001 clauses out of 20013 with flag 4215002/4215002 329.55/326.01 c cleaning 9999 clauses out of 20010 with flag 4225000/4225000 330.17/326.65 c cleaning 9998 clauses out of 20011 with flag 4235000/4235000 330.96/327.40 c cleaning 10001 clauses out of 20013 with flag 4245000/4245000 331.77/328.23 c cleaning 9992 clauses out of 20016 with flag 4255004/4255004 332.48/328.98 c cleaning 10004 clauses out of 20020 with flag 4265000/4265000 333.28/329.78 c cleaning 9998 clauses out of 20016 with flag 4275000/4275000 334.28/330.73 c cleaning 10003 clauses out of 20018 with flag 4285000/4285000 334.98/331.45 c cleaning 9999 clauses out of 20015 with flag 4295000/4295000 335.80/332.21 c cleaning 10005 clauses out of 20018 with flag 4305002/4305002 336.50/332.93 c cleaning 10001 clauses out of 20011 with flag 4315000/4315000 337.21/333.65 c cleaning 9997 clauses out of 20012 with flag 4325002/4325002 337.91/334.32 c cleaning 9997 clauses out of 20013 with flag 4335000/4335000 338.51/334.96 c cleaning 10005 clauses out of 20017 with flag 4345001/4345001 339.21/335.67 c cleaning 9991 clauses out of 20011 with flag 4355000/4355000 339.92/336.31 c cleaning 10006 clauses out of 20020 with flag 4365000/4365000 340.53/336.99 c cleaning 10002 clauses out of 20014 with flag 4375000/4375000 341.33/337.78 c cleaning 9999 clauses out of 20012 with flag 4385000/4385000 342.13/338.56 c cleaning 9998 clauses out of 20014 with flag 4395001/4395001 343.04/339.40 c cleaning 9993 clauses out of 20015 with flag 4405000/4405000 343.74/340.17 c cleaning 10005 clauses out of 20024 with flag 4415002/4415002 344.66/341.01 c cleaning 10000 clauses out of 20019 with flag 4425002/4425002 345.56/341.90 c cleaning 10005 clauses out of 20017 with flag 4435000/4435000 346.36/342.70 c cleaning 9989 clauses out of 20012 with flag 4445000/4445000 347.17/343.58 c cleaning 10003 clauses out of 20026 with flag 4455003/4455003 348.07/344.49 c cleaning 9999 clauses out of 20022 with flag 4465002/4465002 348.98/345.36 c cleaning 10004 clauses out of 20022 with flag 4475001/4475001 350.00/346.35 c cleaning 10000 clauses out of 20016 with flag 4485000/4485000 350.81/347.16 c cleaning 10003 clauses out of 20016 with flag 4495000/4495000 351.62/347.99 c cleaning 10000 clauses out of 20012 with flag 4505000/4505000 352.52/348.86 c cleaning 9992 clauses out of 20012 with flag 4515000/4515000 353.44/349.74 c cleaning 10009 clauses out of 20021 with flag 4525002/4525002 353.64/349.98 c starts : 292 353.64/349.98 c conflicts : 4527768 353.64/349.98 c decisions : 7067584 353.64/349.98 c propagations : 240012936 353.64/349.98 c inspects : 2317835402 353.64/349.98 c learnt literals : 9 353.64/349.98 c learnt binary clauses : 56 353.64/349.98 c learnt ternary clauses : 1195 353.64/349.98 c learnt clauses : 4527758 353.64/349.98 c ignored clauses : 0 353.64/349.98 c root simplifications : 0 353.64/349.98 c removed literals (reason simplification) : 21940944 353.64/349.98 c reason swapping (by a shorter reason) : 0 353.64/349.98 c Calls to reduceDB : 454 353.64/349.98 c number of reductions to clauses (during analyze) : 0 353.64/349.98 c number of learned constraints concerned by reduction : 0 353.64/349.98 c number of learning phase by resolution : 0 353.64/349.98 c number of learning phase by cutting planes : 0 353.64/349.98 c speed (assignments/second) : 843811.6292069652 353.64/349.98 c non guided choices 5041 353.64/349.98 c learnt constraints type 353.64/349.98 c constraints type 353.64/349.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 353.64/349.98 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 353.64/349.98 s OPTIMUM FOUND 353.64/349.98 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 353.64/349.98 c objective function=3 353.64/349.98 c Total wall clock time (in seconds): 349.886
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698065-1278327629/watcher-2698065-1278327629 -o /tmp/evaluation-result-2698065-1278327629/solver-2698065-1278327629 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698065-1278327629.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: 2.03 2.02 1.95 3/200 4649 /proc/meminfo: memFree=32354344/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=13164 CPUtime=0 /proc/4649/stat : 4649 (java) R 4647 4649 3904 0 -1 4194304 776 0 0 0 0 0 0 0 25 0 1 0 975664 13479936 345 4089446400 134512640 134550932 4290612080 18446744073709551615 7378555 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/4649/statm: 3291 350 142 10 0 1121 0 [startup+0.0955869 s] /proc/loadavg: 2.03 2.02 1.95 3/200 4649 /proc/meminfo: memFree=32354344/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1529712 CPUtime=0.11 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 5150 0 1 0 10 1 0 0 25 0 18 0 975664 1566425088 4587 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 382428 4588 1345 10 0 379731 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529712 [startup+0.100605 s] /proc/loadavg: 2.03 2.02 1.95 3/200 4649 /proc/meminfo: memFree=32354344/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1529712 CPUtime=0.11 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 5195 0 1 0 10 1 0 0 25 0 18 0 975664 1566425088 4632 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 382428 4632 1345 10 0 379731 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529712 [startup+0.300547 s] /proc/loadavg: 2.03 2.02 1.95 3/200 4649 /proc/meminfo: memFree=32354344/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1532976 CPUtime=0.56 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 7932 0 1 0 54 2 0 0 25 0 18 0 975664 1569767424 7118 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 383244 7118 1407 10 0 380547 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 1532976 [startup+0.700475 s] /proc/loadavg: 2.03 2.02 1.95 3/200 4649 /proc/meminfo: memFree=32354344/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1551656 CPUtime=1.76 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 17905 0 1 0 173 3 0 0 25 0 19 0 975664 1588895744 12702 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 387914 12702 1423 10 0 385217 0 Current children cumulated CPU time (s) 1.76 Current children cumulated vsize (KiB) 1551656 [startup+1.50139 s] /proc/loadavg: 2.03 2.02 1.95 4/219 4668 /proc/meminfo: memFree=32291004/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1551656 CPUtime=3.03 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 26373 0 1 0 299 4 0 0 25 0 19 0 975664 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 387914 21169 1431 10 0 385217 0 [pid=4649/tid=4651] ppid=4647 vsize=1551656 CPUtime=1.48 /proc/4649/task/4651/stat : 4651 (java) R 4647 4649 3904 0 -1 4202560 14546 0 1 0 146 2 0 0 20 0 19 0 975665 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4109279961 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 975666 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975666 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975666 1588895744 21169 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975666 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 975666 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 19 0 975667 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 19 0 975667 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1551656 CPUtime=0.77 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 6021 0 0 0 76 1 0 0 16 0 19 0 975669 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1551656 CPUtime=0.76 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4731 0 0 0 76 0 0 0 17 0 19 0 975669 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 975669 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1588895744 21170 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 1551656 [startup+3.10111 s] /proc/loadavg: 2.02 2.02 1.95 3/219 4668 /proc/meminfo: memFree=32247356/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1551656 CPUtime=4.68 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 33316 0 1 0 463 5 0 0 25 0 19 0 975664 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 387914 28109 1445 10 0 385217 0 [pid=4649/tid=4651] ppid=4647 vsize=1551656 CPUtime=3.05 /proc/4649/task/4651/stat : 4651 (java) R 4647 4649 3904 0 -1 4202560 20301 0 1 0 303 2 0 0 18 0 19 0 975665 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4109450374 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 143 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 259 0 0 0 0 0 0 0 18 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 584 0 0 0 0 0 0 0 16 0 19 0 975666 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1551656 CPUtime=0.8 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 6028 0 0 0 79 1 0 0 15 0 19 0 975669 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1551656 CPUtime=0.78 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4735 0 0 0 78 0 0 0 16 0 19 0 975669 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 975669 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1551656 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1588895744 28109 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.68 Current children cumulated vsize (KiB) 1551656 [startup+6.30152 s] /proc/loadavg: 2.02 2.02 1.95 4/219 4668 /proc/meminfo: memFree=32239768/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1551172 CPUtime=8.15 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 35988 0 1 0 809 6 0 0 25 0 19 0 975664 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 387793 29665 1445 10 0 385096 0 [pid=4649/tid=4651] ppid=4647 vsize=1551172 CPUtime=6.21 /proc/4649/task/4651/stat : 4651 (java) S 4647 4649 3904 0 -1 4202560 20306 0 1 0 619 2 0 0 19 0 19 0 975665 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4652/stat : 4652 (java) R 4647 4649 3904 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 400 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 361 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 278 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1551172 CPUtime=0.03 /proc/4649/task/4660/stat : 4660 (java) R 4647 4649 3904 0 -1 4202560 1254 0 0 0 3 0 0 0 15 0 19 0 975666 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 105777476 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1551172 CPUtime=1.02 /proc/4649/task/4664/stat : 4664 (java) R 4647 4649 3904 0 -1 4202560 7005 0 0 0 101 1 0 0 15 0 19 0 975669 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 102348434 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1551172 CPUtime=0.83 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4744 0 0 0 83 0 0 0 15 0 19 0 975669 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 975669 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1588400128 29665 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.15 Current children cumulated vsize (KiB) 1551172 [startup+12.7014 s] /proc/loadavg: 2.02 2.02 1.95 3/219 4668 /proc/meminfo: memFree=32237364/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1551172 CPUtime=14.75 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 36643 0 1 0 1469 6 0 0 25 0 19 0 975664 1588400128 30314 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 387793 30314 1445 10 0 385096 0 [pid=4649/tid=4651] ppid=4647 vsize=1551172 CPUtime=12.49 /proc/4649/task/4651/stat : 4651 (java) R 4647 4649 3904 0 -1 4202560 20308 0 1 0 1247 2 0 0 25 0 19 0 975665 1588400128 30314 4089446400 134512640 134550932 4290612080 18446744073709551615 4109688650 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1551172 CPUtime=0 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 975666 1588400128 30314 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 ################ # More data... # ################ /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 36 0 0 0 30 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 181 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 3 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 430 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1552196 CPUtime=0.29 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 51 0 0 0 25 4 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1552196 CPUtime=0.27 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 229 0 0 0 24 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1552196 CPUtime=0.27 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 375 0 0 0 24 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1552196 CPUtime=0.32 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 216 0 0 0 29 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1552196 CPUtime=0.26 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 293 0 0 0 24 2 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1552196 CPUtime=9.12 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 2870 0 0 0 903 9 0 0 16 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1552196 CPUtime=1.15 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 7037 0 0 0 114 1 0 0 16 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1552196 CPUtime=0.95 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4747 0 0 0 95 0 0 0 15 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 352.43 Current children cumulated vsize (KiB) 1552196 [startup+349.501 s] /proc/loadavg: 2.00 2.00 1.95 3/219 4686 /proc/meminfo: memFree=32222820/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1552196 CPUtime=353.23 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 38309 0 1 0 35277 46 0 0 25 0 19 0 975664 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 388049 31495 1445 10 0 385352 0 [pid=4649/tid=4651] ppid=4647 vsize=1552196 CPUtime=339.54 /proc/4649/task/4651/stat : 4651 (java) R 4647 4649 3904 0 -1 4202560 20753 0 1 0 33949 5 0 0 25 0 19 0 975665 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4109271615 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1552196 CPUtime=0.33 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 36 0 0 0 30 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 181 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 3 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 430 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1552196 CPUtime=0.29 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 51 0 0 0 25 4 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1552196 CPUtime=0.27 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 229 0 0 0 24 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1552196 CPUtime=0.27 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 375 0 0 0 24 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1552196 CPUtime=0.32 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 216 0 0 0 29 3 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1552196 CPUtime=0.26 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 293 0 0 0 24 2 0 0 15 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1552196 CPUtime=9.14 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 2870 0 0 0 905 9 0 0 16 0 19 0 975666 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1552196 CPUtime=1.15 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 7037 0 0 0 114 1 0 0 16 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1552196 CPUtime=0.95 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4747 0 0 0 95 0 0 0 15 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 975669 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1589448704 31495 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 353.23 Current children cumulated vsize (KiB) 1552196 [startup+349.901 s] /proc/loadavg: 2.00 2.00 1.95 3/219 4686 /proc/meminfo: memFree=32222696/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1552196 CPUtime=353.64 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 38312 0 1 0 35318 46 0 0 25 0 19 0 975664 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 388049 31497 1445 10 0 385352 0 [pid=4649/tid=4651] ppid=4647 vsize=1552196 CPUtime=339.92 /proc/4649/task/4651/stat : 4651 (java) R 4647 4649 3904 0 -1 4202560 20754 0 1 0 33987 5 0 0 25 0 19 0 975665 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4108855055 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1552196 CPUtime=0.33 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 36 0 0 0 30 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 181 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 3 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1552196 CPUtime=0.3 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 430 0 0 0 27 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1552196 CPUtime=0.29 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 51 0 0 0 25 4 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1552196 CPUtime=0.28 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 229 0 0 0 25 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1552196 CPUtime=0.27 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 375 0 0 0 24 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1552196 CPUtime=0.32 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 216 0 0 0 29 3 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1552196 CPUtime=0.26 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 293 0 0 0 24 2 0 0 15 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1552196 CPUtime=9.16 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 2872 0 0 0 907 9 0 0 16 0 19 0 975666 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1552196 CPUtime=1.15 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 7037 0 0 0 114 1 0 0 16 0 19 0 975669 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1552196 CPUtime=0.95 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4747 0 0 0 95 0 0 0 15 0 19 0 975669 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 975669 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1552196 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1589448704 31497 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 353.64 Current children cumulated vsize (KiB) 1552196 [startup+350.001 s] /proc/loadavg: 2.00 2.00 1.95 3/219 4686 /proc/meminfo: memFree=32222696/32951124 swapFree=67111528/67111528 [pid=4649] ppid=4647 vsize=1552520 CPUtime=353.72 /proc/4649/stat : 4649 (java) S 4647 4649 3904 0 -1 4202496 38324 0 1 0 35326 46 0 0 25 0 19 0 975664 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4649/statm: 388130 31509 1446 10 0 385433 0 [pid=4649/tid=4651] ppid=4647 vsize=1552520 CPUtime=340 /proc/4649/task/4651/stat : 4651 (java) S 4647 4649 3904 0 -1 4202560 20759 0 1 0 33995 5 0 0 25 0 19 0 975665 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4652] ppid=4647 vsize=1552520 CPUtime=0.33 /proc/4649/task/4652/stat : 4652 (java) S 4647 4649 3904 0 -1 4202560 36 0 0 0 30 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4653] ppid=4647 vsize=1552520 CPUtime=0.3 /proc/4649/task/4653/stat : 4653 (java) S 4647 4649 3904 0 -1 4202560 181 0 0 0 27 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 3 0 0 0 [pid=4649/tid=4654] ppid=4647 vsize=1552520 CPUtime=0.3 /proc/4649/task/4654/stat : 4654 (java) S 4647 4649 3904 0 -1 4202560 430 0 0 0 27 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4655] ppid=4647 vsize=1552520 CPUtime=0.29 /proc/4649/task/4655/stat : 4655 (java) S 4647 4649 3904 0 -1 4202560 51 0 0 0 25 4 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 1 0 0 0 [pid=4649/tid=4656] ppid=4647 vsize=1552520 CPUtime=0.28 /proc/4649/task/4656/stat : 4656 (java) S 4647 4649 3904 0 -1 4202560 229 0 0 0 25 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4657] ppid=4647 vsize=1552520 CPUtime=0.27 /proc/4649/task/4657/stat : 4657 (java) S 4647 4649 3904 0 -1 4202560 375 0 0 0 24 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4658] ppid=4647 vsize=1552520 CPUtime=0.32 /proc/4649/task/4658/stat : 4658 (java) S 4647 4649 3904 0 -1 4202560 216 0 0 0 29 3 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4659] ppid=4647 vsize=1552520 CPUtime=0.26 /proc/4649/task/4659/stat : 4659 (java) S 4647 4649 3904 0 -1 4202560 293 0 0 0 24 2 0 0 15 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4660] ppid=4647 vsize=1552520 CPUtime=9.16 /proc/4649/task/4660/stat : 4660 (java) S 4647 4649 3904 0 -1 4202560 2872 0 0 0 907 9 0 0 16 0 19 0 975666 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 0 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4661] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4661/stat : 4661 (java) S 4647 4649 3904 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 975667 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4662] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4662/stat : 4662 (java) S 4647 4649 3904 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 975667 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 [pid=4649/tid=4663] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4663/stat : 4663 (java) S 4647 4649 3904 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 975669 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4664] ppid=4647 vsize=1552520 CPUtime=1.15 /proc/4649/task/4664/stat : 4664 (java) S 4647 4649 3904 0 -1 4202560 7037 0 0 0 114 1 0 0 16 0 19 0 975669 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 6 0 0 0 [pid=4649/tid=4665] ppid=4647 vsize=1552520 CPUtime=0.95 /proc/4649/task/4665/stat : 4665 (java) S 4647 4649 3904 0 -1 4202560 4747 0 0 0 95 0 0 0 15 0 19 0 975669 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 5 0 0 0 [pid=4649/tid=4666] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4666/stat : 4666 (java) S 4647 4649 3904 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 975669 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 4 0 0 0 [pid=4649/tid=4667] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4667/stat : 4667 (java) S 4647 4649 3904 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 975669 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 2 0 0 0 [pid=4649/tid=4668] ppid=4647 vsize=1552520 CPUtime=0 /proc/4649/task/4668/stat : 4668 (java) S 4647 4649 3904 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 975703 1589780480 31509 4089446400 134512640 134550932 4290612080 18446744073709551615 4294960144 0 4 0 16800975 18446604471093005056 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 353.72 Current children cumulated vsize (KiB) 1552520 Child status: 30 Real time (s): 350.029 CPU time (s): 353.74 CPU user time (s): 353.269 CPU system time (s): 0.470928 CPU usage (%): 101.06 Max. virtual memory (cumulated for all children) (KiB): 1554716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 353.269 system time used= 0.470928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38327 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= 21778 involuntary context switches= 128793 runsolver used 0.573912 second user time and 1.13283 second system time The end
Begin job on node133 at 2010-07-05 13:00:29 IDJOB=2698065 IDBENCH=79272 IDSOLVER=1211 FILE ID=node133/2698065-1278327629 PBS_JOBID= 11207432 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186--soft-0-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-2698065-1278327629/watcher-2698065-1278327629 -o /tmp/evaluation-result-2698065-1278327629/solver-2698065-1278327629 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698065-1278327629.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0bc882feda752f8542fa470cf04f3d53 RANDOM SEED=2118498347 node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32354748 kB Buffers: 26044 kB Cached: 286536 kB SwapCached: 0 kB Active: 266456 kB Inactive: 231348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32354748 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 185836 kB Mapped: 20348 kB Slab: 36564 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1635748 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node133 at 2010-07-05 13:06:19