Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | -7 | 481.882 | 479.609 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb |
MD5SUM | 0c3fb28b3ecb8f1eba2bffa356ef5364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 9.43457 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2932 |
Sum of products size (including duplicates) | 5864 |
Number of different products | 1466 |
Sum of products size | 2932 |
0.07/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.09 c See www.sat4j.org for details. 0.07/0.09 c version 2.3.1.v20110525 0.07/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.09 c java.vm.version 19.1-b02 0.07/0.09 c java.vm.vendor Sun Microsystems Inc. 0.07/0.09 c sun.arch.data.model 64 0.07/0.09 c java.version 1.6.0_24 0.07/0.09 c os.name Linux 0.07/0.09 c os.version 2.6.18-164.el5 0.07/0.09 c os.arch amd64 0.07/0.09 c Free memory 12995394264 0.07/0.09 c Max memory 13063553024 0.07/0.09 c Total memory 13063553024 0.07/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3458439-1307162242.opb 0.11/0.11 c reading problem ... 0.44/0.31 c ... done. Wall clock time 0.197s. 0.44/0.31 c #vars 1566 0.44/0.31 c #constraints 3084 0.44/0.31 c constraints type 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1466 0.44/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.44/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.44/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1466 0.67/0.48 c SATISFIABLE 0.67/0.48 c OPTIMIZING... 0.67/0.48 c Got one! Elapsed wall clock time (in seconds):0.366 0.67/0.48 o -4 0.96/0.67 c Got one! Elapsed wall clock time (in seconds):0.556 0.96/0.67 o -5 1.42/1.04 c cleaning 3064 clauses out of 6127 with flag 4000/6127 1.98/1.55 c cleaning 4527 clauses out of 9063 with flag 10000/12127 2.78/2.00 c cleaning 5768 clauses out of 11537 with flag 17001/19128 3.39/2.62 c cleaning 6853 clauses out of 13768 with flag 25000/27127 4.04/3.25 c cleaning 7957 clauses out of 15916 with flag 34001/36128 4.04/3.30 c Got one! Elapsed wall clock time (in seconds):3.185 4.04/3.30 o -6 4.58/3.71 c cleaning 6757 clauses out of 13529 with flag 5000/41698 5.35/4.11 c cleaning 6379 clauses out of 12773 with flag 11001/47699 5.85/4.62 c cleaning 6696 clauses out of 13393 with flag 18000/54698 6.45/5.25 c cleaning 7345 clauses out of 14697 with flag 26000/62698 7.15/5.94 c cleaning 8175 clauses out of 16353 with flag 35001/71699 7.96/6.70 c cleaning 9073 clauses out of 18177 with flag 45000/81698 8.56/7.35 c cleaning 9546 clauses out of 19104 with flag 55000/91698 9.26/8.04 c cleaning 9773 clauses out of 19558 with flag 65000/101698 9.86/8.71 c cleaning 9890 clauses out of 19785 with flag 75000/111698 10.75/9.52 c cleaning 9910 clauses out of 19895 with flag 85000/121698 11.47/10.29 c cleaning 9989 clauses out of 19985 with flag 95000/131698 12.28/11.07 c cleaning 9993 clauses out of 19996 with flag 105000/141698 12.98/11.75 c cleaning 9964 clauses out of 20003 with flag 115000/151698 13.78/12.50 c cleaning 10009 clauses out of 20039 with flag 125000/161698 14.50/13.23 c cleaning 10011 clauses out of 20030 with flag 135000/171698 15.28/14.05 c cleaning 9998 clauses out of 20019 with flag 145000/181698 15.98/14.76 c cleaning 10005 clauses out of 20021 with flag 155000/191698 16.70/15.44 c cleaning 10000 clauses out of 20016 with flag 165000/201698 17.38/16.15 c cleaning 10000 clauses out of 20016 with flag 175000/211698 18.09/16.85 c cleaning 10001 clauses out of 20016 with flag 185000/221698 18.80/17.55 c cleaning 10000 clauses out of 20015 with flag 195000/231698 19.49/18.27 c cleaning 10003 clauses out of 20015 with flag 205000/241698 20.19/18.92 c cleaning 9998 clauses out of 20012 with flag 215000/251698 20.89/19.63 c cleaning 9995 clauses out of 20014 with flag 225000/261698 21.59/20.37 c cleaning 9995 clauses out of 20019 with flag 235000/271698 22.39/21.16 c cleaning 10006 clauses out of 20024 with flag 245000/281698 23.10/21.88 c cleaning 9998 clauses out of 20018 with flag 255000/291698 23.80/22.56 c cleaning 10007 clauses out of 20020 with flag 265000/301698 24.50/23.23 c cleaning 9999 clauses out of 20013 with flag 275000/311698 25.20/23.97 c cleaning 9998 clauses out of 20014 with flag 285000/321698 26.00/24.70 c cleaning 10003 clauses out of 20016 with flag 295000/331698 26.70/25.41 c cleaning 9999 clauses out of 20013 with flag 305000/341698 27.40/26.14 c cleaning 9999 clauses out of 20014 with flag 315000/351698 28.10/26.85 c cleaning 10007 clauses out of 20015 with flag 325000/361698 28.82/27.55 c cleaning 9997 clauses out of 20008 with flag 335000/371698 29.51/28.29 c cleaning 9993 clauses out of 20011 with flag 345000/381698 30.30/29.09 c cleaning 9996 clauses out of 20018 with flag 355000/391698 31.21/29.91 c cleaning 10003 clauses out of 20022 with flag 365000/401698 31.91/30.69 c cleaning 9997 clauses out of 20019 with flag 375000/411698 32.71/31.49 c cleaning 10003 clauses out of 20022 with flag 385000/421698 33.41/32.19 c cleaning 10003 clauses out of 20019 with flag 395000/431698 34.11/32.82 c cleaning 9999 clauses out of 20016 with flag 405000/441698 34.81/33.51 c cleaning 10002 clauses out of 20017 with flag 415000/451698 35.51/34.21 c cleaning 10001 clauses out of 20016 with flag 425001/461699 36.21/34.91 c cleaning 9998 clauses out of 20014 with flag 435000/471698 36.91/35.62 c cleaning 10002 clauses out of 20016 with flag 445000/481698 37.63/36.35 c cleaning 10001 clauses out of 20014 with flag 455000/491698 38.31/37.05 c cleaning 9996 clauses out of 20013 with flag 465000/501698 39.02/37.73 c cleaning 9996 clauses out of 20017 with flag 475000/511698 39.73/38.47 c cleaning 9991 clauses out of 20021 with flag 485000/521698 40.42/39.16 c cleaning 9998 clauses out of 20030 with flag 495000/531698 41.12/39.86 c cleaning 9995 clauses out of 20032 with flag 505000/541698 41.82/40.53 c cleaning 10005 clauses out of 20038 with flag 515001/551699 42.52/41.23 c cleaning 10000 clauses out of 20032 with flag 525000/561698 43.22/41.90 c cleaning 10008 clauses out of 20032 with flag 535000/571698 43.82/42.57 c cleaning 9994 clauses out of 20024 with flag 545000/581698 44.52/43.24 c cleaning 9998 clauses out of 20031 with flag 555001/591699 45.34/44.05 c cleaning 9999 clauses out of 20032 with flag 565000/601698 46.02/44.72 c cleaning 10004 clauses out of 20034 with flag 575001/611699 46.72/45.42 c cleaning 9990 clauses out of 20029 with flag 585000/621698 47.34/46.08 c cleaning 10001 clauses out of 20039 with flag 595000/631698 48.05/46.75 c cleaning 10008 clauses out of 20042 with flag 605004/641702 48.35/47.00 c Got one! Elapsed wall clock time (in seconds):46.89 48.35/47.00 o -7 48.35/47.07 c cleaning 7650 clauses out of 15322 with flag 1002/646990 48.75/47.41 c cleaning 6822 clauses out of 13670 with flag 7000/652988 49.16/47.80 c cleaning 6912 clauses out of 13848 with flag 14000/659988 49.56/48.24 c cleaning 7462 clauses out of 14937 with flag 22001/667989 50.16/48.80 c cleaning 8224 clauses out of 16474 with flag 31000/676988 50.78/49.44 c cleaning 9108 clauses out of 18250 with flag 41000/686988 51.46/50.12 c cleaning 9566 clauses out of 19142 with flag 51000/696988 52.17/50.83 c cleaning 9755 clauses out of 19576 with flag 61000/706988 52.77/51.42 c cleaning 9906 clauses out of 19821 with flag 71000/716988 53.27/51.99 c cleaning 9947 clauses out of 19915 with flag 81000/726988 53.97/52.62 c cleaning 9974 clauses out of 19968 with flag 91000/736988 54.57/53.22 c cleaning 9990 clauses out of 19994 with flag 101000/746988 55.07/53.80 c cleaning 9988 clauses out of 20004 with flag 111000/756988 55.69/54.37 c cleaning 10004 clauses out of 20016 with flag 121000/766988 56.30/55.01 c cleaning 9992 clauses out of 20012 with flag 131000/776988 56.99/55.64 c cleaning 10001 clauses out of 20021 with flag 141001/786989 57.59/56.28 c cleaning 10007 clauses out of 20019 with flag 151000/796988 58.19/56.85 c cleaning 9999 clauses out of 20012 with flag 161000/806988 58.69/57.40 c cleaning 9996 clauses out of 20014 with flag 171001/816989 59.39/58.06 c cleaning 10001 clauses out of 20017 with flag 181000/826988 60.10/58.75 c cleaning 9998 clauses out of 20016 with flag 191000/836988 60.71/59.40 c cleaning 9999 clauses out of 20018 with flag 201000/846988 61.30/59.99 c cleaning 9994 clauses out of 20019 with flag 211000/856988 61.92/60.58 c cleaning 10006 clauses out of 20026 with flag 221001/866989 62.50/61.16 c cleaning 9998 clauses out of 20019 with flag 231000/876988 63.20/61.80 c cleaning 9997 clauses out of 20021 with flag 241000/886988 63.70/62.39 c cleaning 10000 clauses out of 20024 with flag 251000/896988 64.40/63.05 c cleaning 10010 clauses out of 20025 with flag 261001/906989 65.12/63.71 c cleaning 9990 clauses out of 20015 with flag 271001/916989 65.81/64.41 c cleaning 10002 clauses out of 20024 with flag 281000/926988 66.50/65.10 c cleaning 10005 clauses out of 20022 with flag 291000/936988 67.11/65.74 c cleaning 9991 clauses out of 20017 with flag 301000/946988 67.81/66.41 c cleaning 10005 clauses out of 20026 with flag 311000/956988 68.42/67.07 c cleaning 9991 clauses out of 20021 with flag 321000/966988 69.01/67.69 c cleaning 10002 clauses out of 20030 with flag 331000/976988 69.71/68.36 c cleaning 10001 clauses out of 20028 with flag 341000/986988 70.41/69.04 c cleaning 10006 clauses out of 20027 with flag 351000/996988 71.01/69.70 c cleaning 9998 clauses out of 20023 with flag 361002/1006990 71.61/70.30 c cleaning 9997 clauses out of 20023 with flag 371000/1016988 72.42/71.00 c cleaning 9997 clauses out of 20027 with flag 381001/1026989 73.02/71.67 c cleaning 10007 clauses out of 20029 with flag 391000/1036988 73.72/72.37 c cleaning 10004 clauses out of 20023 with flag 401001/1046989 74.52/73.13 c cleaning 10003 clauses out of 20021 with flag 411003/1056991 75.22/73.86 c cleaning 9994 clauses out of 20015 with flag 421000/1066988 75.93/74.57 c cleaning 10002 clauses out of 20021 with flag 431000/1076988 76.73/75.33 c cleaning 9999 clauses out of 20019 with flag 441000/1086988 77.35/75.97 c cleaning 9996 clauses out of 20020 with flag 451000/1096988 78.03/76.60 c cleaning 9997 clauses out of 20024 with flag 461000/1106988 78.63/77.29 c cleaning 9996 clauses out of 20027 with flag 471000/1116988 79.33/77.90 c cleaning 9990 clauses out of 20031 with flag 481000/1126988 79.83/78.47 c cleaning 9998 clauses out of 20041 with flag 491000/1136988 80.43/79.10 c cleaning 9995 clauses out of 20043 with flag 501000/1146988 81.14/79.75 c cleaning 9997 clauses out of 20048 with flag 511000/1156988 81.84/80.43 c cleaning 10010 clauses out of 20051 with flag 521000/1166988 82.44/81.07 c cleaning 9992 clauses out of 20041 with flag 531000/1176988 83.14/81.70 c cleaning 10001 clauses out of 20049 with flag 541000/1186988 83.65/82.27 c cleaning 10005 clauses out of 20049 with flag 551001/1196989 84.25/82.83 c cleaning 10002 clauses out of 20043 with flag 561000/1206988 84.96/83.56 c cleaning 9997 clauses out of 20041 with flag 571000/1216988 85.65/84.22 c cleaning 10009 clauses out of 20044 with flag 581000/1226988 86.25/84.88 c cleaning 9983 clauses out of 20035 with flag 591000/1236988 86.95/85.53 c cleaning 10011 clauses out of 20052 with flag 601000/1246988 87.56/86.16 c cleaning 10000 clauses out of 20041 with flag 611000/1256988 88.27/86.87 c cleaning 9997 clauses out of 20041 with flag 621000/1266988 88.96/87.54 c cleaning 10014 clauses out of 20047 with flag 631003/1276991 89.66/88.25 c cleaning 9996 clauses out of 20030 with flag 641000/1286988 90.26/88.84 c cleaning 9996 clauses out of 20034 with flag 651000/1296988 90.96/89.52 c cleaning 9993 clauses out of 20038 with flag 661000/1306988 91.46/90.11 c cleaning 10007 clauses out of 20046 with flag 671001/1316989 92.17/90.71 c cleaning 9999 clauses out of 20041 with flag 681003/1326991 92.79/91.36 c cleaning 9998 clauses out of 20039 with flag 691000/1336988 93.48/92.01 c cleaning 10010 clauses out of 20041 with flag 701000/1346988 94.18/92.72 c cleaning 10004 clauses out of 20031 with flag 711000/1356988 94.78/93.34 c cleaning 9993 clauses out of 20027 with flag 721000/1366988 95.38/93.99 c cleaning 9994 clauses out of 20034 with flag 731000/1376988 96.10/94.61 c cleaning 10014 clauses out of 20040 with flag 741000/1386988 96.78/95.30 c cleaning 10003 clauses out of 20026 with flag 751000/1396988 97.39/95.97 c cleaning 9996 clauses out of 20023 with flag 761000/1406988 98.20/96.75 c cleaning 10006 clauses out of 20028 with flag 771001/1416989 98.89/97.50 c cleaning 9985 clauses out of 20021 with flag 781000/1426988 99.59/98.15 c cleaning 9998 clauses out of 20036 with flag 791000/1436988 100.29/98.80 c cleaning 10006 clauses out of 20038 with flag 801000/1446988 100.99/99.51 c cleaning 10007 clauses out of 20034 with flag 811002/1456990 101.61/100.17 c cleaning 10002 clauses out of 20025 with flag 821000/1466988 102.29/100.88 c cleaning 10012 clauses out of 20024 with flag 831001/1476989 102.99/101.54 c cleaning 9994 clauses out of 20011 with flag 841000/1486988 103.71/102.22 c cleaning 9998 clauses out of 20017 with flag 851000/1496988 104.30/102.89 c cleaning 9996 clauses out of 20019 with flag 861000/1506988 105.01/103.51 c cleaning 10006 clauses out of 20024 with flag 871001/1516989 105.61/104.19 c cleaning 10002 clauses out of 20017 with flag 881000/1526988 106.31/104.86 c cleaning 10000 clauses out of 20015 with flag 891000/1536988 107.02/105.55 c cleaning 9997 clauses out of 20015 with flag 901000/1546988 107.61/106.17 c cleaning 9989 clauses out of 20019 with flag 911001/1556989 108.41/106.90 c cleaning 9985 clauses out of 20029 with flag 921000/1566988 109.11/107.60 c cleaning 10014 clauses out of 20044 with flag 931000/1576988 109.71/108.24 c cleaning 9985 clauses out of 20030 with flag 941000/1586988 110.33/108.89 c cleaning 10001 clauses out of 20045 with flag 951000/1596988 111.01/109.59 c cleaning 10012 clauses out of 20044 with flag 961000/1606988 111.71/110.28 c cleaning 10008 clauses out of 20033 with flag 971001/1616989 112.41/110.95 c cleaning 9996 clauses out of 20024 with flag 981000/1626988 113.11/111.64 c cleaning 9981 clauses out of 20028 with flag 991000/1636988 113.81/112.31 c cleaning 10003 clauses out of 20047 with flag 1001000/1646988 114.41/112.99 c cleaning 10002 clauses out of 20045 with flag 1011001/1656989 115.12/113.69 c cleaning 10003 clauses out of 20042 with flag 1021000/1666988 115.83/114.41 c cleaning 10009 clauses out of 20039 with flag 1031000/1676988 116.52/115.06 c cleaning 10002 clauses out of 20030 with flag 1041000/1686988 117.22/115.72 c cleaning 9999 clauses out of 20028 with flag 1051000/1696988 117.92/116.41 c cleaning 10005 clauses out of 20029 with flag 1061000/1706988 118.42/116.99 c cleaning 10001 clauses out of 20025 with flag 1071001/1716989 119.13/117.65 c cleaning 9989 clauses out of 20023 with flag 1081000/1726988 119.82/118.35 c cleaning 9998 clauses out of 20036 with flag 1091002/1736990 120.42/118.99 c cleaning 9992 clauses out of 20036 with flag 1101000/1746988 121.12/119.63 c cleaning 10004 clauses out of 20044 with flag 1111000/1756988 121.73/120.22 c cleaning 9999 clauses out of 20040 with flag 1121000/1766988 122.33/120.89 c cleaning 10000 clauses out of 20041 with flag 1131000/1776988 123.03/121.54 c cleaning 10006 clauses out of 20041 with flag 1141000/1786988 123.73/122.28 c cleaning 9999 clauses out of 20036 with flag 1151001/1796989 124.53/123.02 c cleaning 10004 clauses out of 20036 with flag 1161000/1806988 125.13/123.67 c cleaning 10002 clauses out of 20032 with flag 1171000/1816988 125.85/124.33 c cleaning 9999 clauses out of 20030 with flag 1181000/1826988 126.54/125.02 c cleaning 9996 clauses out of 20031 with flag 1191000/1836988 127.24/125.78 c cleaning 9987 clauses out of 20035 with flag 1201000/1846988 127.95/126.45 c cleaning 10014 clauses out of 20049 with flag 1211001/1856989 128.54/127.07 c cleaning 9997 clauses out of 20034 with flag 1221000/1866988 129.34/127.80 c cleaning 10007 clauses out of 20037 with flag 1231000/1876988 129.94/128.47 c cleaning 10002 clauses out of 20030 with flag 1241000/1886988 130.55/129.05 c cleaning 9986 clauses out of 20028 with flag 1251000/1896988 131.15/129.63 c cleaning 9988 clauses out of 20042 with flag 1261000/1906988 131.85/130.31 c cleaning 10003 clauses out of 20054 with flag 1271000/1916988 132.55/131.01 c cleaning 10002 clauses out of 20051 with flag 1281000/1926988 133.25/131.73 c cleaning 10005 clauses out of 20050 with flag 1291001/1936989 134.05/132.53 c cleaning 10004 clauses out of 20044 with flag 1301000/1946988 134.75/133.28 c cleaning 10008 clauses out of 20040 with flag 1311000/1956988 135.55/134.07 c cleaning 9994 clauses out of 20032 with flag 1321000/1966988 136.35/134.88 c cleaning 10011 clauses out of 20039 with flag 1331001/1976989 137.26/135.72 c cleaning 10012 clauses out of 20029 with flag 1341002/1986990 138.06/136.52 c cleaning 9975 clauses out of 20014 with flag 1351000/1996988 138.76/137.21 c cleaning 10010 clauses out of 20039 with flag 1361000/2006988 139.36/137.80 c cleaning 9997 clauses out of 20029 with flag 1371000/2016988 140.07/138.52 c cleaning 10000 clauses out of 20032 with flag 1381000/2026988 140.76/139.20 c cleaning 10009 clauses out of 20033 with flag 1391001/2036989 141.36/139.86 c cleaning 9992 clauses out of 20025 with flag 1401002/2046990 142.07/140.52 c cleaning 9997 clauses out of 20031 with flag 1411000/2056988 142.67/141.16 c cleaning 10003 clauses out of 20035 with flag 1421001/2066989 143.39/141.82 c cleaning 10003 clauses out of 20034 with flag 1431003/2076991 144.08/142.54 c cleaning 9991 clauses out of 20028 with flag 1441000/2086988 144.78/143.26 c cleaning 9985 clauses out of 20037 with flag 1451000/2096988 145.48/144.01 c cleaning 10002 clauses out of 20052 with flag 1461000/2106988 146.28/144.78 c cleaning 10001 clauses out of 20050 with flag 1471000/2116988 147.08/145.57 c cleaning 10003 clauses out of 20049 with flag 1481000/2126988 147.89/146.36 c cleaning 10017 clauses out of 20046 with flag 1491000/2136988 148.58/147.09 c cleaning 10004 clauses out of 20031 with flag 1501002/2146990 149.38/147.89 c cleaning 9990 clauses out of 20025 with flag 1511000/2156988 150.18/148.60 c cleaning 9991 clauses out of 20035 with flag 1521000/2166988 150.88/149.34 c cleaning 10010 clauses out of 20044 with flag 1531000/2176988 151.58/150.05 c cleaning 9995 clauses out of 20034 with flag 1541000/2186988 152.30/150.78 c cleaning 10013 clauses out of 20040 with flag 1551001/2196989 152.98/151.47 c cleaning 9981 clauses out of 20026 with flag 1561000/2206988 153.58/152.07 c cleaning 10014 clauses out of 20045 with flag 1571000/2216988 154.28/152.71 c cleaning 9988 clauses out of 20031 with flag 1581000/2226988 154.88/153.36 c cleaning 10017 clauses out of 20043 with flag 1591000/2236988 155.60/154.04 c cleaning 10010 clauses out of 20026 with flag 1601000/2246988 156.29/154.72 c cleaning 9997 clauses out of 20016 with flag 1611000/2256988 156.89/155.36 c cleaning 9995 clauses out of 20019 with flag 1621000/2266988 157.58/156.07 c cleaning 9997 clauses out of 20024 with flag 1631000/2276988 158.39/156.81 c cleaning 9998 clauses out of 20027 with flag 1641000/2286988 158.99/157.46 c cleaning 9990 clauses out of 20029 with flag 1651000/2296988 159.59/158.08 c cleaning 10003 clauses out of 20039 with flag 1661000/2306988 160.29/158.70 c cleaning 9997 clauses out of 20036 with flag 1671000/2316988 161.00/159.42 c cleaning 10007 clauses out of 20040 with flag 1681001/2326989 161.69/160.18 c cleaning 9985 clauses out of 20032 with flag 1691000/2336988 162.39/160.89 c cleaning 10016 clauses out of 20047 with flag 1701000/2346988 163.09/161.60 c cleaning 9998 clauses out of 20031 with flag 1711000/2356988 163.81/162.30 c cleaning 10002 clauses out of 20034 with flag 1721001/2366989 164.51/162.95 c cleaning 10001 clauses out of 20031 with flag 1731000/2376988 165.21/163.63 c cleaning 9989 clauses out of 20031 with flag 1741001/2386989 165.92/164.32 c cleaning 10006 clauses out of 20041 with flag 1751000/2396988 166.53/164.96 c cleaning 9995 clauses out of 20035 with flag 1761000/2406988 167.22/165.63 c cleaning 10007 clauses out of 20040 with flag 1771000/2416988 167.92/166.36 c cleaning 9991 clauses out of 20033 with flag 1781000/2426988 168.62/167.09 c cleaning 10005 clauses out of 20042 with flag 1791000/2436988 169.33/167.77 c cleaning 10009 clauses out of 20037 with flag 1801000/2446988 170.03/168.43 c cleaning 10000 clauses out of 20029 with flag 1811001/2456989 170.83/169.20 c cleaning 10000 clauses out of 20028 with flag 1821000/2466988 171.43/169.88 c cleaning 9988 clauses out of 20028 with flag 1831000/2476988 172.23/170.62 c cleaning 10006 clauses out of 20041 with flag 1841001/2486989 172.83/171.27 c cleaning 10001 clauses out of 20034 with flag 1851000/2496988 173.53/171.93 c cleaning 10003 clauses out of 20033 with flag 1861000/2506988 174.13/172.57 c cleaning 9999 clauses out of 20030 with flag 1871000/2516988 174.83/173.27 c cleaning 9997 clauses out of 20031 with flag 1881000/2526988 175.53/173.91 c cleaning 10003 clauses out of 20034 with flag 1891000/2536988 176.23/174.62 c cleaning 10005 clauses out of 20031 with flag 1901000/2546988 176.84/175.25 c cleaning 9987 clauses out of 20026 with flag 1911000/2556988 177.44/175.89 c cleaning 10002 clauses out of 20039 with flag 1921000/2566988 178.14/176.50 c cleaning 10005 clauses out of 20037 with flag 1931000/2576988 178.76/177.12 c cleaning 9984 clauses out of 20032 with flag 1941000/2586988 179.34/177.72 c cleaning 10002 clauses out of 20050 with flag 1951002/2596990 179.94/178.36 c cleaning 10012 clauses out of 20046 with flag 1961000/2606988 180.64/179.00 c cleaning 10003 clauses out of 20034 with flag 1971000/2616988 181.24/179.69 c cleaning 9990 clauses out of 20031 with flag 1981000/2626988 181.84/180.31 c cleaning 10000 clauses out of 20041 with flag 1991000/2636988 182.54/180.98 c cleaning 9994 clauses out of 20041 with flag 2001000/2646988 183.24/181.63 c cleaning 10012 clauses out of 20047 with flag 2011000/2656988 183.85/182.27 c cleaning 10006 clauses out of 20035 with flag 2021000/2666988 184.55/182.91 c cleaning 9990 clauses out of 20029 with flag 2031000/2676988 185.15/183.58 c cleaning 10005 clauses out of 20039 with flag 2041000/2686988 185.75/184.18 c cleaning 9997 clauses out of 20034 with flag 2051000/2696988 186.47/184.83 c cleaning 9995 clauses out of 20037 with flag 2061000/2706988 187.15/185.51 c cleaning 9995 clauses out of 20045 with flag 2071003/2716991 187.75/186.18 c cleaning 10004 clauses out of 20047 with flag 2081000/2726988 188.35/186.79 c cleaning 10001 clauses out of 20043 with flag 2091000/2736988 189.05/187.47 c cleaning 10000 clauses out of 20042 with flag 2101000/2746988 189.77/188.14 c cleaning 9999 clauses out of 20042 with flag 2111000/2756988 190.36/188.77 c cleaning 9991 clauses out of 20043 with flag 2121000/2766988 190.96/189.38 c cleaning 10003 clauses out of 20052 with flag 2131000/2776988 191.66/190.03 c cleaning 9999 clauses out of 20049 with flag 2141000/2786988 192.26/190.66 c cleaning 10004 clauses out of 20050 with flag 2151000/2796988 192.86/191.29 c cleaning 9998 clauses out of 20047 with flag 2161001/2806989 193.57/191.98 c cleaning 9993 clauses out of 20048 with flag 2171000/2816988 194.37/192.74 c cleaning 10002 clauses out of 20057 with flag 2181002/2826990 195.07/193.50 c cleaning 10013 clauses out of 20055 with flag 2191002/2836990 195.89/194.28 c cleaning 10006 clauses out of 20040 with flag 2201000/2846988 196.69/195.02 c cleaning 9996 clauses out of 20036 with flag 2211002/2856990 197.40/195.80 c cleaning 10000 clauses out of 20038 with flag 2221000/2866988 198.19/196.57 c cleaning 10013 clauses out of 20038 with flag 2231000/2876988 198.89/197.26 c cleaning 9988 clauses out of 20025 with flag 2241000/2886988 199.61/197.98 c cleaning 10002 clauses out of 20037 with flag 2251000/2896988 200.29/198.62 c cleaning 10009 clauses out of 20036 with flag 2261001/2906989 200.99/199.31 c cleaning 9996 clauses out of 20026 with flag 2271000/2916988 201.59/199.93 c cleaning 9987 clauses out of 20030 with flag 2281000/2926988 202.19/200.54 c cleaning 9994 clauses out of 20043 with flag 2291000/2936988 202.91/201.25 c cleaning 9997 clauses out of 20049 with flag 2301000/2946988 203.59/201.95 c cleaning 10002 clauses out of 20053 with flag 2311001/2956989 204.30/202.63 c cleaning 10007 clauses out of 20050 with flag 2321000/2966988 205.00/203.32 c cleaning 9995 clauses out of 20044 with flag 2331001/2976989 205.60/203.94 c cleaning 10012 clauses out of 20048 with flag 2341000/2986988 206.32/204.62 c cleaning 9995 clauses out of 20036 with flag 2351000/2996988 207.00/205.32 c cleaning 9998 clauses out of 20041 with flag 2361000/3006988 207.60/205.96 c cleaning 10011 clauses out of 20045 with flag 2371002/3016990 208.42/206.74 c cleaning 9987 clauses out of 20032 with flag 2381000/3026988 209.20/207.58 c cleaning 10000 clauses out of 20045 with flag 2391000/3036988 209.91/208.27 c cleaning 10002 clauses out of 20046 with flag 2401001/3046989 210.62/208.95 c cleaning 9998 clauses out of 20043 with flag 2411000/3056988 211.41/209.71 c cleaning 10003 clauses out of 20045 with flag 2421000/3066988 212.21/210.55 c cleaning 10001 clauses out of 20044 with flag 2431002/3076990 212.93/211.28 c cleaning 10000 clauses out of 20042 with flag 2441001/3086989 213.71/212.06 c cleaning 10004 clauses out of 20042 with flag 2451001/3096989 214.42/212.79 c cleaning 9998 clauses out of 20037 with flag 2461000/3106988 215.22/213.57 c cleaning 10007 clauses out of 20039 with flag 2471000/3116988 216.02/214.33 c cleaning 9996 clauses out of 20033 with flag 2481001/3126989 216.72/215.09 c cleaning 9992 clauses out of 20036 with flag 2491000/3136988 217.52/215.87 c cleaning 10010 clauses out of 20044 with flag 2501000/3146988 218.34/216.70 c cleaning 10006 clauses out of 20035 with flag 2511001/3156989 219.22/217.52 c cleaning 10004 clauses out of 20028 with flag 2521001/3166989 219.92/218.26 c cleaning 9991 clauses out of 20023 with flag 2531000/3176988 220.64/218.97 c cleaning 9998 clauses out of 20032 with flag 2541000/3186988 221.33/219.69 c cleaning 10003 clauses out of 20034 with flag 2551000/3196988 222.03/220.36 c cleaning 10004 clauses out of 20032 with flag 2561001/3206989 222.75/221.04 c cleaning 10000 clauses out of 20027 with flag 2571000/3216988 223.44/221.70 c cleaning 10000 clauses out of 20027 with flag 2581000/3226988 224.04/222.31 c cleaning 9993 clauses out of 20029 with flag 2591002/3236990 224.64/222.95 c cleaning 10000 clauses out of 20034 with flag 2601000/3246988 225.34/223.66 c cleaning 9996 clauses out of 20034 with flag 2611000/3256988 226.06/224.38 c cleaning 10004 clauses out of 20039 with flag 2621001/3266989 226.75/225.07 c cleaning 9999 clauses out of 20034 with flag 2631000/3276988 227.55/225.81 c cleaning 10003 clauses out of 20036 with flag 2641001/3286989 228.27/226.55 c cleaning 9994 clauses out of 20032 with flag 2651000/3296988 229.05/227.37 c cleaning 10005 clauses out of 20038 with flag 2661000/3306988 229.85/228.11 c cleaning 10003 clauses out of 20033 with flag 2671000/3316988 230.65/228.92 c cleaning 10001 clauses out of 20030 with flag 2681000/3326988 231.36/229.68 c cleaning 9994 clauses out of 20029 with flag 2691000/3336988 232.16/230.42 c cleaning 10009 clauses out of 20036 with flag 2701001/3346989 232.78/231.04 c cleaning 10003 clauses out of 20027 with flag 2711001/3356989 233.56/231.83 c cleaning 9997 clauses out of 20023 with flag 2721000/3366988 234.26/232.54 c cleaning 9989 clauses out of 20026 with flag 2731000/3376988 235.06/233.30 c cleaning 10003 clauses out of 20037 with flag 2741000/3386988 235.76/234.02 c cleaning 9993 clauses out of 20035 with flag 2751001/3396989 236.57/234.80 c cleaning 10010 clauses out of 20041 with flag 2761000/3406988 237.26/235.51 c cleaning 10003 clauses out of 20031 with flag 2771000/3416988 237.97/236.26 c cleaning 10006 clauses out of 20028 with flag 2781000/3426988 238.67/236.93 c cleaning 9984 clauses out of 20023 with flag 2791001/3436989 239.28/237.60 c cleaning 10004 clauses out of 20038 with flag 2801000/3446988 239.97/238.28 c cleaning 9981 clauses out of 20034 with flag 2811000/3456988 240.67/238.97 c cleaning 10006 clauses out of 20054 with flag 2821001/3466989 241.37/239.61 c cleaning 10006 clauses out of 20047 with flag 2831000/3476988 241.97/240.28 c cleaning 9992 clauses out of 20041 with flag 2841000/3486988 242.59/240.87 c cleaning 10006 clauses out of 20049 with flag 2851000/3496988 243.27/241.57 c cleaning 10011 clauses out of 20043 with flag 2861000/3506988 243.97/242.30 c cleaning 10002 clauses out of 20034 with flag 2871002/3516990 244.67/242.96 c cleaning 10013 clauses out of 20032 with flag 2881002/3526990 245.28/243.59 c cleaning 9990 clauses out of 20017 with flag 2891000/3536988 246.08/244.32 c cleaning 10009 clauses out of 20027 with flag 2901000/3546988 246.68/244.97 c cleaning 9995 clauses out of 20018 with flag 2911000/3556988 247.38/245.65 c cleaning 10005 clauses out of 20023 with flag 2921000/3566988 248.09/246.39 c cleaning 10001 clauses out of 20018 with flag 2931000/3576988 248.88/247.10 c cleaning 10000 clauses out of 20017 with flag 2941000/3586988 249.48/247.77 c cleaning 10000 clauses out of 20018 with flag 2951001/3596989 250.18/248.45 c cleaning 9998 clauses out of 20021 with flag 2961004/3606992 250.88/249.17 c cleaning 9989 clauses out of 20019 with flag 2971000/3616988 251.58/249.81 c cleaning 9988 clauses out of 20030 with flag 2981000/3626988 252.28/250.54 c cleaning 10017 clauses out of 20042 with flag 2991000/3636988 252.98/251.29 c cleaning 9997 clauses out of 20025 with flag 3001000/3646988 253.70/251.93 c cleaning 9996 clauses out of 20028 with flag 3011000/3656988 254.39/252.60 c cleaning 9999 clauses out of 20032 with flag 3021000/3666988 254.99/253.29 c cleaning 10007 clauses out of 20033 with flag 3031000/3676988 255.69/253.97 c cleaning 9996 clauses out of 20027 with flag 3041001/3686989 256.29/254.59 c cleaning 10001 clauses out of 20030 with flag 3051000/3696988 257.01/255.29 c cleaning 9999 clauses out of 20029 with flag 3061000/3706988 257.79/256.02 c cleaning 10004 clauses out of 20030 with flag 3071000/3716988 258.39/256.66 c cleaning 10001 clauses out of 20027 with flag 3081001/3726989 259.11/257.38 c cleaning 9999 clauses out of 20025 with flag 3091000/3736988 259.80/258.03 c cleaning 10000 clauses out of 20026 with flag 3101000/3746988 260.40/258.61 c cleaning 9996 clauses out of 20026 with flag 3111000/3756988 260.90/259.18 c cleaning 9998 clauses out of 20031 with flag 3121001/3766989 261.60/259.83 c cleaning 9997 clauses out of 20032 with flag 3131000/3776988 262.30/260.56 c cleaning 10006 clauses out of 20037 with flag 3141002/3786990 263.00/261.27 c cleaning 10004 clauses out of 20029 with flag 3151000/3796988 263.80/262.02 c cleaning 9995 clauses out of 20025 with flag 3161000/3806988 264.41/262.65 c cleaning 9998 clauses out of 20030 with flag 3171000/3816988 265.01/263.23 c cleaning 10000 clauses out of 20032 with flag 3181000/3826988 265.62/263.82 c cleaning 9995 clauses out of 20033 with flag 3191001/3836989 266.22/264.44 c cleaning 9996 clauses out of 20037 with flag 3201000/3846988 266.94/265.15 c cleaning 10004 clauses out of 20041 with flag 3211000/3856988 267.72/265.90 c cleaning 9998 clauses out of 20037 with flag 3221000/3866988 268.42/266.61 c cleaning 10006 clauses out of 20039 with flag 3231000/3876988 269.22/267.44 c cleaning 9994 clauses out of 20032 with flag 3241000/3886988 269.92/268.13 c cleaning 10006 clauses out of 20038 with flag 3251000/3896988 270.62/268.86 c cleaning 10007 clauses out of 20033 with flag 3261001/3906989 271.42/269.62 c cleaning 9997 clauses out of 20025 with flag 3271000/3916988 272.12/270.34 c cleaning 9992 clauses out of 20028 with flag 3281000/3926988 272.82/271.07 c cleaning 10009 clauses out of 20037 with flag 3291001/3936989 273.44/271.68 c cleaning 10001 clauses out of 20027 with flag 3301000/3946988 274.13/272.31 c cleaning 9993 clauses out of 20026 with flag 3311000/3956988 274.73/272.91 c cleaning 10008 clauses out of 20033 with flag 3321000/3966988 275.33/273.52 c cleaning 9995 clauses out of 20025 with flag 3331000/3976988 275.93/274.18 c cleaning 9995 clauses out of 20031 with flag 3341001/3986989 276.63/274.90 c cleaning 9995 clauses out of 20035 with flag 3351000/3996988 277.44/275.60 c cleaning 10005 clauses out of 20041 with flag 3361001/4006989 278.14/276.34 c cleaning 9999 clauses out of 20035 with flag 3371000/4016988 278.84/277.06 c cleaning 9994 clauses out of 20036 with flag 3381000/4026988 279.55/277.77 c cleaning 10007 clauses out of 20044 with flag 3391002/4036990 280.25/278.42 c cleaning 9999 clauses out of 20035 with flag 3401000/4046988 280.95/279.13 c cleaning 9990 clauses out of 20036 with flag 3411000/4056988 281.55/279.77 c cleaning 10011 clauses out of 20046 with flag 3421000/4066988 282.15/280.37 c cleaning 10003 clauses out of 20035 with flag 3431000/4076988 282.85/281.01 c cleaning 10002 clauses out of 20032 with flag 3441000/4086988 283.47/281.67 c cleaning 9993 clauses out of 20030 with flag 3451000/4096988 284.16/282.33 c cleaning 9996 clauses out of 20037 with flag 3461000/4106988 284.86/283.04 c cleaning 10009 clauses out of 20041 with flag 3471000/4116988 285.46/283.69 c cleaning 10002 clauses out of 20032 with flag 3481000/4126988 286.26/284.44 c cleaning 9998 clauses out of 20030 with flag 3491000/4136988 287.08/285.21 c cleaning 10006 clauses out of 20031 with flag 3501000/4146988 287.58/285.75 c cleaning 9992 clauses out of 20026 with flag 3511001/4156989 288.18/286.35 c cleaning 10004 clauses out of 20033 with flag 3521000/4166988 288.79/287.00 c cleaning 10007 clauses out of 20032 with flag 3531003/4176991 289.49/287.62 c cleaning 9980 clauses out of 20022 with flag 3541000/4186988 290.19/288.38 c cleaning 9999 clauses out of 20042 with flag 3551000/4196988 290.99/289.11 c cleaning 10003 clauses out of 20043 with flag 3561000/4206988 291.69/289.82 c cleaning 10012 clauses out of 20043 with flag 3571003/4216991 292.39/290.53 c cleaning 9994 clauses out of 20029 with flag 3581001/4226989 292.99/291.19 c cleaning 10002 clauses out of 20034 with flag 3591000/4236988 293.79/291.94 c cleaning 9999 clauses out of 20035 with flag 3601003/4246991 294.51/292.63 c cleaning 9993 clauses out of 20033 with flag 3611000/4256988 295.19/293.30 c cleaning 10005 clauses out of 20041 with flag 3621001/4266989 295.79/293.95 c cleaning 10000 clauses out of 20035 with flag 3631000/4276988 296.49/294.67 c cleaning 10003 clauses out of 20035 with flag 3641000/4286988 297.19/295.38 c cleaning 9999 clauses out of 20034 with flag 3651002/4296990 298.00/296.11 c cleaning 9992 clauses out of 20033 with flag 3661000/4306988 298.70/296.88 c cleaning 10008 clauses out of 20041 with flag 3671000/4316988 299.50/297.68 c cleaning 10008 clauses out of 20033 with flag 3681000/4326988 300.10/298.26 c cleaning 10004 clauses out of 20025 with flag 3691000/4336988 300.80/298.91 c cleaning 9993 clauses out of 20021 with flag 3701000/4346988 301.40/299.59 c cleaning 9988 clauses out of 20028 with flag 3711000/4356988 302.12/300.25 c cleaning 10013 clauses out of 20040 with flag 3721000/4366988 302.80/300.95 c cleaning 9998 clauses out of 20027 with flag 3731000/4376988 303.50/301.64 c cleaning 9998 clauses out of 20029 with flag 3741000/4386988 304.20/302.31 c cleaning 10001 clauses out of 20031 with flag 3751000/4396988 304.80/302.98 c cleaning 9989 clauses out of 20030 with flag 3761000/4406988 305.52/303.63 c cleaning 10009 clauses out of 20041 with flag 3771000/4416988 306.11/304.21 c cleaning 9999 clauses out of 20033 with flag 3781001/4426989 306.71/304.85 c cleaning 10001 clauses out of 20033 with flag 3791000/4436988 307.31/305.43 c cleaning 9987 clauses out of 20032 with flag 3801000/4446988 308.01/306.12 c cleaning 9998 clauses out of 20045 with flag 3811000/4456988 308.61/306.81 c cleaning 10007 clauses out of 20047 with flag 3821000/4466988 309.41/307.55 c cleaning 9996 clauses out of 20040 with flag 3831000/4476988 310.22/308.36 c cleaning 9991 clauses out of 20044 with flag 3841000/4486988 311.12/309.22 c cleaning 10003 clauses out of 20052 with flag 3851000/4496988 311.72/309.84 c cleaning 10005 clauses out of 20049 with flag 3861000/4506988 312.42/310.55 c cleaning 10010 clauses out of 20044 with flag 3871000/4516988 313.02/311.18 c cleaning 10006 clauses out of 20034 with flag 3881000/4526988 313.72/311.82 c cleaning 9997 clauses out of 20028 with flag 3891000/4536988 314.34/312.45 c cleaning 9999 clauses out of 20031 with flag 3901000/4546988 314.93/313.06 c cleaning 9998 clauses out of 20033 with flag 3911001/4556989 315.63/313.71 c cleaning 9991 clauses out of 20034 with flag 3921000/4566988 316.33/314.41 c cleaning 9995 clauses out of 20043 with flag 3931000/4576988 316.93/315.09 c cleaning 10001 clauses out of 20048 with flag 3941000/4586988 317.73/315.80 c cleaning 10001 clauses out of 20047 with flag 3951000/4596988 318.43/316.56 c cleaning 10006 clauses out of 20047 with flag 3961001/4606989 319.23/317.33 c cleaning 10010 clauses out of 20040 with flag 3971000/4616988 319.94/318.01 c cleaning 10007 clauses out of 20030 with flag 3981000/4626988 320.54/318.61 c cleaning 9994 clauses out of 20023 with flag 3991000/4636988 321.05/319.18 c cleaning 9994 clauses out of 20029 with flag 4001000/4646988 321.75/319.89 c cleaning 9998 clauses out of 20035 with flag 4011000/4656988 322.45/320.56 c cleaning 10009 clauses out of 20037 with flag 4021000/4666988 323.17/321.24 c cleaning 9995 clauses out of 20028 with flag 4031000/4676988 323.85/321.97 c cleaning 9991 clauses out of 20033 with flag 4041000/4686988 324.55/322.63 c cleaning 9996 clauses out of 20042 with flag 4051000/4696988 325.27/323.32 c cleaning 10002 clauses out of 20046 with flag 4061000/4706988 325.95/324.06 c cleaning 10004 clauses out of 20044 with flag 4071000/4716988 326.65/324.78 c cleaning 10009 clauses out of 20040 with flag 4081000/4726988 327.36/325.40 c cleaning 9996 clauses out of 20031 with flag 4091000/4736988 327.96/326.02 c cleaning 10003 clauses out of 20035 with flag 4101000/4746988 328.57/326.65 c cleaning 10003 clauses out of 20032 with flag 4111000/4756988 329.15/327.25 c cleaning 9995 clauses out of 20029 with flag 4121000/4766988 329.77/327.84 c cleaning 9990 clauses out of 20034 with flag 4131000/4776988 330.36/328.42 c cleaning 10006 clauses out of 20044 with flag 4141000/4786988 330.96/329.02 c cleaning 9996 clauses out of 20038 with flag 4151000/4796988 331.46/329.57 c cleaning 9992 clauses out of 20042 with flag 4161000/4806988 332.06/330.15 c cleaning 9994 clauses out of 20052 with flag 4171002/4816990 332.66/330.76 c cleaning 9985 clauses out of 20056 with flag 4181000/4826988 333.36/331.45 c cleaning 10024 clauses out of 20072 with flag 4191001/4836989 333.96/332.09 c cleaning 10008 clauses out of 20047 with flag 4201000/4846988 334.67/332.70 c cleaning 10004 clauses out of 20039 with flag 4211000/4856988 335.18/333.26 c cleaning 9997 clauses out of 20036 with flag 4221001/4866989 335.77/333.85 c cleaning 9999 clauses out of 20038 with flag 4231000/4876988 336.39/334.45 c cleaning 9983 clauses out of 20039 with flag 4241000/4886988 337.07/335.12 c cleaning 10009 clauses out of 20056 with flag 4251000/4896988 337.67/335.75 c cleaning 10009 clauses out of 20047 with flag 4261000/4906988 338.27/336.40 c cleaning 9989 clauses out of 20038 with flag 4271000/4916988 339.07/337.11 c cleaning 10012 clauses out of 20052 with flag 4281003/4926991 339.78/337.83 c cleaning 10009 clauses out of 20037 with flag 4291000/4936988 340.48/338.58 c cleaning 10001 clauses out of 20028 with flag 4301000/4946988 341.28/339.36 c cleaning 9999 clauses out of 20027 with flag 4311000/4956988 341.98/340.03 c cleaning 9993 clauses out of 20029 with flag 4321001/4966989 342.58/340.68 c cleaning 9992 clauses out of 20035 with flag 4331000/4976988 343.29/341.34 c cleaning 10018 clauses out of 20044 with flag 4341002/4986990 343.88/341.99 c cleaning 9998 clauses out of 20024 with flag 4351000/4996988 344.58/342.60 c cleaning 9995 clauses out of 20027 with flag 4361001/5006989 345.21/343.23 c cleaning 9991 clauses out of 20031 with flag 4371000/5016988 345.90/343.99 c cleaning 10014 clauses out of 20041 with flag 4381001/5026989 346.70/344.75 c cleaning 9995 clauses out of 20026 with flag 4391000/5036988 347.42/345.42 c cleaning 10008 clauses out of 20031 with flag 4401000/5046988 348.00/346.08 c cleaning 9995 clauses out of 20023 with flag 4411000/5056988 348.70/346.73 c cleaning 9995 clauses out of 20028 with flag 4421000/5066988 349.30/347.34 c cleaning 10002 clauses out of 20033 with flag 4431000/5076988 350.00/348.02 c cleaning 9998 clauses out of 20032 with flag 4441001/5086989 350.51/348.59 c cleaning 10004 clauses out of 20035 with flag 4451002/5096990 351.11/349.18 c cleaning 9997 clauses out of 20029 with flag 4461000/5106988 351.72/349.79 c cleaning 9994 clauses out of 20034 with flag 4471002/5116990 352.51/350.54 c cleaning 9996 clauses out of 20039 with flag 4481001/5126989 353.21/351.26 c cleaning 10006 clauses out of 20042 with flag 4491000/5136988 353.93/352.00 c cleaning 10003 clauses out of 20036 with flag 4501000/5146988 354.71/352.74 c cleaning 9991 clauses out of 20033 with flag 4511000/5156988 355.42/353.43 c cleaning 10015 clauses out of 20042 with flag 4521000/5166988 355.92/353.99 c cleaning 10003 clauses out of 20027 with flag 4531000/5176988 356.62/354.65 c cleaning 9986 clauses out of 20024 with flag 4541000/5186988 357.34/355.38 c cleaning 9986 clauses out of 20038 with flag 4551000/5196988 358.02/356.04 c cleaning 10017 clauses out of 20052 with flag 4561000/5206988 358.62/356.62 c cleaning 9997 clauses out of 20035 with flag 4571000/5216988 359.23/357.25 c cleaning 10007 clauses out of 20038 with flag 4581000/5226988 359.83/357.89 c cleaning 10007 clauses out of 20033 with flag 4591002/5236990 360.54/358.51 c cleaning 9999 clauses out of 20024 with flag 4601000/5246988 361.03/359.08 c cleaning 9995 clauses out of 20025 with flag 4611000/5256988 361.64/359.65 c cleaning 9988 clauses out of 20030 with flag 4621000/5266988 362.23/360.26 c cleaning 10000 clauses out of 20042 with flag 4631000/5276988 362.85/360.88 c cleaning 10008 clauses out of 20042 with flag 4641000/5286988 363.53/361.51 c cleaning 9991 clauses out of 20034 with flag 4651000/5296988 364.13/362.14 c cleaning 9998 clauses out of 20043 with flag 4661000/5306988 364.73/362.77 c cleaning 9997 clauses out of 20045 with flag 4671000/5316988 365.33/363.40 c cleaning 9994 clauses out of 20048 with flag 4681000/5326988 366.05/364.02 c cleaning 9995 clauses out of 20054 with flag 4691000/5336988 366.64/364.63 c cleaning 10008 clauses out of 20060 with flag 4701001/5346989 367.25/365.27 c cleaning 9988 clauses out of 20051 with flag 4711000/5356988 368.04/366.00 c cleaning 10020 clauses out of 20063 with flag 4721000/5366988 368.64/366.65 c cleaning 10000 clauses out of 20045 with flag 4731002/5376990 369.36/367.37 c cleaning 10012 clauses out of 20043 with flag 4741000/5386988 370.04/368.06 c cleaning 9996 clauses out of 20031 with flag 4751000/5396988 370.74/368.73 c cleaning 9994 clauses out of 20036 with flag 4761001/5406989 371.44/369.43 c cleaning 10008 clauses out of 20046 with flag 4771005/5416993 372.05/370.03 c cleaning 10001 clauses out of 20034 with flag 4781001/5426989 372.66/370.67 c cleaning 10004 clauses out of 20032 with flag 4791000/5436988 373.25/371.29 c cleaning 9996 clauses out of 20029 with flag 4801001/5446989 373.95/371.94 c cleaning 9986 clauses out of 20032 with flag 4811000/5456988 374.65/372.69 c cleaning 9995 clauses out of 20046 with flag 4821000/5466988 375.35/373.37 c cleaning 10010 clauses out of 20052 with flag 4831001/5476989 376.07/374.05 c cleaning 10011 clauses out of 20042 with flag 4841001/5486989 376.75/374.72 c cleaning 10002 clauses out of 20030 with flag 4851000/5496988 377.25/375.29 c cleaning 10008 clauses out of 20029 with flag 4861001/5506989 377.95/375.94 c cleaning 10000 clauses out of 20021 with flag 4871001/5516989 378.65/376.60 c cleaning 9991 clauses out of 20020 with flag 4881000/5526988 379.16/377.18 c cleaning 10005 clauses out of 20030 with flag 4891001/5536989 379.86/377.84 c cleaning 9990 clauses out of 20024 with flag 4901000/5546988 380.48/378.46 c cleaning 10004 clauses out of 20034 with flag 4911000/5556988 381.06/379.08 c cleaning 9992 clauses out of 20030 with flag 4921000/5566988 381.76/379.74 c cleaning 10002 clauses out of 20038 with flag 4931000/5576988 382.36/380.36 c cleaning 9995 clauses out of 20036 with flag 4941000/5586988 382.97/380.98 c cleaning 9986 clauses out of 20041 with flag 4951000/5596988 383.69/381.71 c cleaning 10012 clauses out of 20058 with flag 4961003/5606991 384.48/382.40 c cleaning 10012 clauses out of 20044 with flag 4971001/5616989 385.08/383.03 c cleaning 10000 clauses out of 20032 with flag 4981001/5626989 385.68/383.68 c cleaning 10003 clauses out of 20034 with flag 4991003/5636991 386.38/384.38 c cleaning 9992 clauses out of 20029 with flag 5001001/5646989 387.18/385.18 c cleaning 10002 clauses out of 20035 with flag 5011000/5656988 387.99/385.90 c cleaning 9999 clauses out of 20035 with flag 5021002/5666990 388.59/386.58 c cleaning 9998 clauses out of 20034 with flag 5031000/5676988 389.39/387.31 c cleaning 9993 clauses out of 20036 with flag 5041000/5686988 389.99/387.97 c cleaning 10008 clauses out of 20043 with flag 5051000/5696988 390.59/388.59 c cleaning 9991 clauses out of 20035 with flag 5061000/5706988 391.19/389.17 c cleaning 9995 clauses out of 20044 with flag 5071000/5716988 391.89/389.82 c cleaning 10001 clauses out of 20049 with flag 5081000/5726988 392.51/390.47 c cleaning 10014 clauses out of 20048 with flag 5091000/5736988 393.19/391.10 c cleaning 9998 clauses out of 20034 with flag 5101000/5746988 393.79/391.75 c cleaning 9997 clauses out of 20036 with flag 5111000/5756988 394.39/392.37 c cleaning 10000 clauses out of 20039 with flag 5121000/5766988 394.99/392.96 c cleaning 9991 clauses out of 20040 with flag 5131001/5776989 395.81/393.79 c cleaning 10001 clauses out of 20048 with flag 5141000/5786988 396.40/394.39 c cleaning 9995 clauses out of 20046 with flag 5151000/5796988 397.10/395.02 c cleaning 10009 clauses out of 20051 with flag 5161000/5806988 397.70/395.65 c cleaning 10001 clauses out of 20043 with flag 5171001/5816989 398.40/396.33 c cleaning 10000 clauses out of 20041 with flag 5181000/5826988 399.12/397.04 c cleaning 10010 clauses out of 20042 with flag 5191001/5836989 399.80/397.71 c cleaning 9982 clauses out of 20031 with flag 5201000/5846988 400.40/398.33 c cleaning 10006 clauses out of 20050 with flag 5211001/5856989 401.00/398.98 c cleaning 10005 clauses out of 20043 with flag 5221000/5866988 401.71/399.61 c cleaning 9989 clauses out of 20038 with flag 5231000/5876988 402.42/400.39 c cleaning 9996 clauses out of 20050 with flag 5241001/5886989 403.11/401.03 c cleaning 10010 clauses out of 20054 with flag 5251001/5896989 403.71/401.63 c cleaning 10005 clauses out of 20043 with flag 5261000/5906988 404.31/402.22 c cleaning 9992 clauses out of 20038 with flag 5271000/5916988 404.91/402.88 c cleaning 10004 clauses out of 20046 with flag 5281000/5926988 405.72/403.61 c cleaning 10006 clauses out of 20042 with flag 5291000/5936988 406.41/404.34 c cleaning 9994 clauses out of 20036 with flag 5301000/5946988 407.11/405.09 c cleaning 10015 clauses out of 20042 with flag 5311000/5956988 407.93/405.82 c cleaning 10009 clauses out of 20028 with flag 5321002/5966990 408.51/406.44 c cleaning 9995 clauses out of 20017 with flag 5331000/5976988 409.13/407.02 c cleaning 9989 clauses out of 20024 with flag 5341002/5986990 409.81/407.71 c cleaning 10002 clauses out of 20035 with flag 5351002/5996990 410.42/408.34 c cleaning 10009 clauses out of 20031 with flag 5361000/6006988 411.02/408.96 c cleaning 9995 clauses out of 20022 with flag 5371000/6016988 411.62/409.58 c cleaning 9998 clauses out of 20029 with flag 5381002/6026990 412.34/410.21 c cleaning 9983 clauses out of 20029 with flag 5391000/6036988 412.93/410.81 c cleaning 10010 clauses out of 20050 with flag 5401004/6046992 413.44/411.41 c cleaning 9997 clauses out of 20036 with flag 5411000/6056988 414.03/411.98 c cleaning 9990 clauses out of 20039 with flag 5421000/6066988 414.73/412.67 c cleaning 10000 clauses out of 20049 with flag 5431000/6076988 415.54/413.42 c cleaning 10009 clauses out of 20051 with flag 5441002/6086990 416.24/414.16 c cleaning 9994 clauses out of 20040 with flag 5451000/6096988 417.04/414.91 c cleaning 10009 clauses out of 20046 with flag 5461000/6106988 417.64/415.53 c cleaning 10004 clauses out of 20037 with flag 5471000/6116988 418.24/416.11 c cleaning 9995 clauses out of 20033 with flag 5481000/6126988 418.84/416.72 c cleaning 9992 clauses out of 20038 with flag 5491000/6136988 419.44/417.30 c cleaning 10002 clauses out of 20046 with flag 5501000/6146988 419.95/417.88 c cleaning 9998 clauses out of 20046 with flag 5511002/6156990 420.65/418.58 c cleaning 9987 clauses out of 20046 with flag 5521000/6166988 421.45/419.35 c cleaning 10010 clauses out of 20059 with flag 5531000/6176988 422.15/420.00 c cleaning 10002 clauses out of 20048 with flag 5541000/6186988 422.76/420.63 c cleaning 10000 clauses out of 20047 with flag 5551001/6196989 423.26/421.19 c cleaning 10002 clauses out of 20046 with flag 5561000/6206988 423.86/421.76 c cleaning 10005 clauses out of 20046 with flag 5571002/6216990 424.47/422.37 c cleaning 9998 clauses out of 20039 with flag 5581000/6226988 425.16/423.03 c cleaning 9990 clauses out of 20041 with flag 5591000/6236988 425.86/423.77 c cleaning 10011 clauses out of 20053 with flag 5601002/6246990 426.56/424.46 c cleaning 9998 clauses out of 20040 with flag 5611000/6256988 427.16/425.09 c cleaning 10006 clauses out of 20042 with flag 5621000/6266988 427.78/425.68 c cleaning 9994 clauses out of 20036 with flag 5631000/6276988 428.36/426.25 c cleaning 9994 clauses out of 20042 with flag 5641000/6286988 428.98/426.83 c cleaning 9995 clauses out of 20050 with flag 5651002/6296990 429.67/427.52 c cleaning 10014 clauses out of 20054 with flag 5661001/6306989 430.27/428.10 c cleaning 9999 clauses out of 20039 with flag 5671000/6316988 430.87/428.74 c cleaning 9998 clauses out of 20040 with flag 5681000/6326988 431.47/429.36 c cleaning 9988 clauses out of 20042 with flag 5691000/6336988 432.19/430.01 c cleaning 10013 clauses out of 20054 with flag 5701000/6346988 432.77/430.61 c cleaning 9996 clauses out of 20041 with flag 5711000/6356988 433.39/431.21 c cleaning 9998 clauses out of 20045 with flag 5721000/6366988 433.97/431.81 c cleaning 9990 clauses out of 20047 with flag 5731000/6376988 434.67/432.52 c cleaning 10005 clauses out of 20057 with flag 5741000/6386988 435.27/433.14 c cleaning 10009 clauses out of 20053 with flag 5751001/6396989 435.97/433.85 c cleaning 10001 clauses out of 20043 with flag 5761000/6406988 436.69/434.56 c cleaning 10002 clauses out of 20044 with flag 5771002/6416990 437.28/435.14 c cleaning 10001 clauses out of 20041 with flag 5781001/6426989 438.08/435.93 c cleaning 10012 clauses out of 20039 with flag 5791001/6436989 438.68/436.59 c cleaning 10004 clauses out of 20028 with flag 5801002/6446990 439.38/437.20 c cleaning 9991 clauses out of 20023 with flag 5811001/6456989 439.89/437.79 c cleaning 9991 clauses out of 20031 with flag 5821000/6466988 440.58/438.45 c cleaning 9983 clauses out of 20041 with flag 5831001/6476989 441.28/439.11 c cleaning 10011 clauses out of 20057 with flag 5841000/6486988 442.10/439.91 c cleaning 10000 clauses out of 20046 with flag 5851000/6496988 442.69/440.54 c cleaning 10013 clauses out of 20046 with flag 5861000/6506988 443.31/441.15 c cleaning 10011 clauses out of 20033 with flag 5871000/6516988 443.89/441.72 c cleaning 9988 clauses out of 20022 with flag 5881000/6526988 444.49/442.36 c cleaning 9999 clauses out of 20034 with flag 5891000/6536988 445.09/442.91 c cleaning 9989 clauses out of 20035 with flag 5901000/6546988 445.60/443.48 c cleaning 9991 clauses out of 20046 with flag 5911000/6556988 446.30/444.15 c cleaning 10022 clauses out of 20055 with flag 5921000/6566988 446.90/444.73 c cleaning 9997 clauses out of 20033 with flag 5931000/6576988 447.50/445.34 c cleaning 9995 clauses out of 20036 with flag 5941000/6586988 448.10/445.97 c cleaning 10000 clauses out of 20042 with flag 5951001/6596989 448.82/446.64 c cleaning 10007 clauses out of 20044 with flag 5961003/6606991 449.40/447.24 c cleaning 10002 clauses out of 20034 with flag 5971000/6616988 450.00/447.82 c cleaning 9989 clauses out of 20032 with flag 5981000/6626988 450.60/448.48 c cleaning 10015 clauses out of 20043 with flag 5991000/6636988 451.21/449.09 c cleaning 10006 clauses out of 20030 with flag 6001002/6646990 451.91/449.70 c cleaning 9986 clauses out of 20023 with flag 6011001/6656989 452.61/450.43 c cleaning 10003 clauses out of 20037 with flag 6021001/6666989 453.23/451.09 c cleaning 10009 clauses out of 20036 with flag 6031003/6676991 453.91/451.70 c cleaning 9989 clauses out of 20024 with flag 6041000/6686988 454.51/452.35 c cleaning 9988 clauses out of 20035 with flag 6051000/6696988 455.21/453.02 c cleaning 10005 clauses out of 20047 with flag 6061000/6706988 455.82/453.66 c cleaning 10006 clauses out of 20042 with flag 6071000/6716988 456.43/454.28 c cleaning 9999 clauses out of 20038 with flag 6081002/6726990 457.02/454.87 c cleaning 9993 clauses out of 20038 with flag 6091001/6736989 457.72/455.57 c cleaning 10003 clauses out of 20044 with flag 6101000/6746988 458.42/456.26 c cleaning 9999 clauses out of 20041 with flag 6111000/6756988 459.02/456.89 c cleaning 10000 clauses out of 20043 with flag 6121001/6766989 459.74/457.57 c cleaning 9993 clauses out of 20042 with flag 6131000/6776988 460.32/458.16 c cleaning 10001 clauses out of 20049 with flag 6141000/6786988 461.02/458.84 c cleaning 10007 clauses out of 20048 with flag 6151000/6796988 461.72/459.58 c cleaning 10010 clauses out of 20040 with flag 6161000/6806988 462.43/460.21 c cleaning 9996 clauses out of 20030 with flag 6171000/6816988 463.04/460.85 c cleaning 9998 clauses out of 20034 with flag 6181000/6826988 463.63/461.44 c cleaning 10000 clauses out of 20036 with flag 6191000/6836988 464.25/462.07 c cleaning 10005 clauses out of 20036 with flag 6201000/6846988 464.83/462.70 c cleaning 9990 clauses out of 20031 with flag 6211000/6856988 465.53/463.30 c cleaning 9997 clauses out of 20041 with flag 6221000/6866988 466.23/464.05 c cleaning 10006 clauses out of 20044 with flag 6231000/6876988 466.84/464.69 c cleaning 10002 clauses out of 20039 with flag 6241001/6886989 467.45/465.28 c cleaning 10003 clauses out of 20036 with flag 6251000/6896988 468.05/465.86 c cleaning 9994 clauses out of 20033 with flag 6261000/6906988 468.75/466.53 c cleaning 10008 clauses out of 20040 with flag 6271001/6916989 469.25/467.09 c cleaning 10003 clauses out of 20031 with flag 6281000/6926988 469.85/467.68 c cleaning 9985 clauses out of 20028 with flag 6291000/6936988 470.55/468.34 c cleaning 9999 clauses out of 20043 with flag 6301000/6946988 471.15/468.95 c cleaning 9997 clauses out of 20047 with flag 6311003/6956991 471.75/469.53 c cleaning 10006 clauses out of 20047 with flag 6321000/6966988 472.35/470.14 c cleaning 10006 clauses out of 20041 with flag 6331000/6976988 472.97/470.74 c cleaning 10000 clauses out of 20035 with flag 6341000/6986988 473.56/471.36 c cleaning 9996 clauses out of 20035 with flag 6351000/6996988 474.17/471.94 c cleaning 9988 clauses out of 20039 with flag 6361000/7006988 474.76/472.57 c cleaning 10000 clauses out of 20051 with flag 6371000/7016988 475.46/473.23 c cleaning 10002 clauses out of 20051 with flag 6381000/7026988 476.06/473.85 c cleaning 10002 clauses out of 20049 with flag 6391000/7036988 476.66/474.47 c cleaning 10001 clauses out of 20049 with flag 6401002/7046990 477.26/475.08 c cleaning 10004 clauses out of 20052 with flag 6411006/7056994 477.96/475.72 c cleaning 9994 clauses out of 20043 with flag 6421001/7066989 478.66/476.48 c cleaning 10003 clauses out of 20048 with flag 6431000/7076988 479.47/477.31 c cleaning 10005 clauses out of 20045 with flag 6441000/7086988 480.36/478.10 c cleaning 10002 clauses out of 20040 with flag 6451000/7096988 481.17/478.98 c cleaning 10004 clauses out of 20039 with flag 6461002/7106990 481.78/479.60 c starts : 279 481.78/479.60 c conflicts : 7113544 481.78/479.60 c decisions : 8513042 481.78/479.60 c propagations : 200675927 481.78/479.60 c inspects : 3340268250 481.78/479.60 c shortcuts : 0 481.78/479.60 c learnt literals : 15 481.78/479.60 c learnt binary clauses : 245 481.78/479.60 c learnt ternary clauses : 202621 481.78/479.60 c learnt constraints : 7113528 481.78/479.60 c ignored constraints : 0 481.78/479.60 c root simplifications : 0 481.78/479.60 c removed literals (reason simplification) : 269069767 481.78/479.60 c reason swapping (by a shorter reason) : 0 481.78/479.60 c Calls to reduceDB : 715 481.78/479.60 c number of reductions to clauses (during analyze) : 0 481.78/479.60 c number of learned constraints concerned by reduction : 0 481.78/479.60 c number of learning phase by resolution : 0 481.78/479.60 c number of learning phase by cutting planes : 0 481.78/479.60 c speed (assignments/second) : 463890.83272267465 481.78/479.60 c non guided choices 0 481.78/479.60 c learnt constraints type 481.78/479.60 c constraints type 481.78/479.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1466 481.78/479.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 481.78/479.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 481.78/479.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1466 481.78/479.60 s OPTIMUM FOUND 481.78/479.60 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 481.78/479.60 c objective function=-7 481.78/479.60 c Total wall clock time (in seconds): 479.483
OK -7
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458439-1307162242/watcher-3458439-1307162242 -o /tmp/evaluation-result-3458439-1307162242/solver-3458439-1307162242 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458439-1307162242.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.18 1.72 1.89 2/474 27913 /proc/meminfo: memFree=21422384/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 4168 0 1 0 0 0 0 0 22 0 2 0 808639567 13850947584 3871 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3381579 3885 917 9 0 3372735 0 [pid=27913/tid=27914] ppid=27911 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 4912 0 1 0 0 0 0 0 23 0 2 0 808639567 13850947584 5728 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.088784 s] /proc/loadavg: 1.18 1.72 1.89 2/474 27913 /proc/meminfo: memFree=21422384/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13620608 CPUtime=0.07 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 14539 0 1 0 6 1 0 0 22 0 18 0 808639567 13947502592 14236 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3405152 14236 1755 9 0 3395886 0 [pid=27913/tid=27914] ppid=27911 vsize=13620608 CPUtime=0.07 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 13363 0 1 0 6 1 0 0 25 0 18 0 808639567 13947502592 14236 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505177072 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13620608 [startup+0.104853 s] /proc/loadavg: 1.18 1.72 1.89 2/474 27913 /proc/meminfo: memFree=21422384/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13622156 CPUtime=0.11 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 15550 0 1 0 9 2 0 0 22 0 18 0 808639567 13949087744 15217 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3405539 15217 2092 9 0 3396273 0 [pid=27913/tid=27914] ppid=27911 vsize=13622156 CPUtime=0.08 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 13602 0 1 0 7 1 0 0 18 0 18 0 808639567 13949087744 15217 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13622156 [startup+0.300779 s] /proc/loadavg: 1.18 1.72 1.89 2/474 27913 /proc/meminfo: memFree=21422384/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13624576 CPUtime=0.44 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 18550 0 1 0 41 3 0 0 22 0 18 0 808639567 13951565824 17821 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406144 17822 2212 9 0 3396878 0 [pid=27913/tid=27914] ppid=27911 vsize=13624576 CPUtime=0.28 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 15112 0 1 0 26 2 0 0 18 0 18 0 808639567 13951565824 17822 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505571433 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 13624576 [startup+0.700724 s] /proc/loadavg: 1.18 1.72 1.89 2/474 27913 /proc/meminfo: memFree=21422384/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13626084 CPUtime=1.07 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 19877 0 1 0 104 3 0 0 22 0 19 0 808639567 13953110016 18693 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406521 18693 2230 9 0 3397255 0 [pid=27913/tid=27914] ppid=27911 vsize=13626084 CPUtime=0.68 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 15671 0 1 0 66 2 0 0 19 0 19 0 808639567 13953110016 18693 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505601621 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 13626084 [startup+1.50159 s] /proc/loadavg: 1.18 1.72 1.89 4/514 27956 /proc/meminfo: memFree=20942640/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13626340 CPUtime=1.98 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 21285 0 1 0 195 3 0 0 22 0 19 0 808639567 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406585 20096 2263 9 0 3397319 0 [pid=27913/tid=27914] ppid=27911 vsize=13626340 CPUtime=1.46 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 15903 0 1 0 144 2 0 0 20 0 19 0 808639567 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505628257 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 324 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 227 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808639570 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13626340 CPUtime=0.01 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 553 0 0 0 1 0 0 0 16 0 19 0 808639571 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13626340 CPUtime=0.22 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 1335 0 0 0 22 0 0 0 15 0 19 0 808639573 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13626340 CPUtime=0.25 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 1785 0 0 0 25 0 0 0 17 0 19 0 808639573 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639573 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13626340 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13953372160 20096 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 13626340 [startup+3.10125 s] /proc/loadavg: 1.25 1.73 1.89 3/514 27956 /proc/meminfo: memFree=20918832/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13627292 CPUtime=3.93 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 27781 0 1 0 389 4 0 0 22 0 19 0 808639567 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406823 24275 2263 9 0 3397557 0 [pid=27913/tid=27914] ppid=27911 vsize=13627292 CPUtime=3 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 15905 0 1 0 298 2 0 0 18 0 19 0 808639567 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505618953 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 808639570 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627292 CPUtime=0.06 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 775 0 0 0 6 0 0 0 16 0 19 0 808639571 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627292 CPUtime=0.5 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 50 0 0 0 15 0 19 0 808639573 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627292 CPUtime=0.32 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 2013 0 0 0 32 0 0 0 15 0 19 0 808639573 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639573 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13627292 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13954347008 24275 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 13627292 [startup+6.30075 s] /proc/loadavg: 1.25 1.73 1.89 3/514 27956 /proc/meminfo: memFree=20918776/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13627064 CPUtime=7.55 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 31172 0 1 0 751 4 0 0 22 0 19 0 808639567 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406766 23700 2263 9 0 3397500 0 [pid=27913/tid=27914] ppid=27911 vsize=13627064 CPUtime=6.06 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 15912 0 1 0 604 2 0 0 20 0 19 0 808639567 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505628746 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 285 0 0 0 0 0 0 0 16 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627064 CPUtime=0.01 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 808639570 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627064 CPUtime=0.15 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 947 0 0 0 15 0 0 0 15 0 19 0 808639571 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627064 CPUtime=0.51 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 51 0 0 0 15 0 19 0 808639573 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627064 CPUtime=0.76 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 5180 0 0 0 76 0 0 0 16 0 19 0 808639573 13954113536 23700 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 380 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 312 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 249 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627064 CPUtime=0.28 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 26 0 0 0 28 0 0 0 16 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 34 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 25 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 58 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 38 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627064 CPUtime=13.71 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 1548 0 0 0 1362 9 0 0 15 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627064 CPUtime=0.51 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 51 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627064 CPUtime=0.84 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 5189 0 0 0 84 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 478.97 Current children cumulated vsize (KiB) 13627064 [startup+478.301 s] /proc/loadavg: 2.01 1.97 1.93 3/514 27968 /proc/meminfo: memFree=20814552/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13627064 CPUtime=480.57 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 32760 0 1 0 48040 17 0 0 22 0 19 0 808639567 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406766 24523 2265 9 0 3397500 0 [pid=27913/tid=27914] ppid=27911 vsize=13627064 CPUtime=463.2 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 16617 0 1 0 46317 3 0 0 25 0 19 0 808639567 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505601631 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 380 0 0 0 27 0 0 0 16 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 312 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 249 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627064 CPUtime=0.28 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 26 0 0 0 28 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 34 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 25 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 58 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 38 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627064 CPUtime=13.75 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 1548 0 0 0 1366 9 0 0 15 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627064 CPUtime=0.51 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 51 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627064 CPUtime=0.84 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 5189 0 0 0 84 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808639573 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13954113536 24523 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 480.57 Current children cumulated vsize (KiB) 13627064 [startup+479.101 s] /proc/loadavg: 2.01 1.97 1.93 3/514 27968 /proc/meminfo: memFree=20814552/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13627064 CPUtime=481.36 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 32764 0 1 0 48119 17 0 0 22 0 19 0 808639567 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406766 24526 2265 9 0 3397500 0 [pid=27913/tid=27914] ppid=27911 vsize=13627064 CPUtime=463.98 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 16618 0 1 0 46395 3 0 0 25 0 19 0 808639567 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505618653 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 380 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 312 0 0 0 27 0 0 0 16 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 249 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627064 CPUtime=0.28 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 26 0 0 0 28 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 34 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 25 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 58 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 38 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627064 CPUtime=13.77 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 1551 0 0 0 1368 9 0 0 15 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627064 CPUtime=0.51 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 51 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627064 CPUtime=0.84 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 5189 0 0 0 84 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 481.36 Current children cumulated vsize (KiB) 13627064 [startup+479.501 s] /proc/loadavg: 2.01 1.97 1.93 3/514 27968 /proc/meminfo: memFree=20814552/32951124 swapFree=67057928/67111528 [pid=27913] ppid=27911 vsize=13627064 CPUtime=481.78 cores=0,2,4,6 /proc/27913/stat : 27913 (java) S 27911 27913 23895 0 -1 4202496 32764 0 1 0 48161 17 0 0 22 0 19 0 808639567 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27913/statm: 3406766 24526 2265 9 0 3397500 0 [pid=27913/tid=27914] ppid=27911 vsize=13627064 CPUtime=464.4 cores=0,2,4,6 /proc/27913/task/27914/stat : 27914 (java) R 27911 27913 23895 0 -1 4202560 16618 0 1 0 46437 3 0 0 25 0 19 0 808639567 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27913/tid=27917] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27917/stat : 27917 (java) S 27911 27913 23895 0 -1 4202560 380 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27918] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27918/stat : 27918 (java) S 27911 27913 23895 0 -1 4202560 312 0 0 0 27 0 0 0 16 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27919] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27919/stat : 27919 (java) S 27911 27913 23895 0 -1 4202560 249 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27920] ppid=27911 vsize=13627064 CPUtime=0.28 cores=0,2,4,6 /proc/27913/task/27920/stat : 27920 (java) S 27911 27913 23895 0 -1 4202560 26 0 0 0 28 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27921] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27921/stat : 27921 (java) S 27911 27913 23895 0 -1 4202560 34 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27922] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27922/stat : 27922 (java) S 27911 27913 23895 0 -1 4202560 25 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 4 0 0 0 [pid=27913/tid=27923] ppid=27911 vsize=13627064 CPUtime=0.26 cores=0,2,4,6 /proc/27913/task/27923/stat : 27923 (java) S 27911 27913 23895 0 -1 4202560 58 0 0 0 26 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27924] ppid=27911 vsize=13627064 CPUtime=0.27 cores=0,2,4,6 /proc/27913/task/27924/stat : 27924 (java) S 27911 27913 23895 0 -1 4202560 38 0 0 0 27 0 0 0 15 0 19 0 808639570 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27930] ppid=27911 vsize=13627064 CPUtime=13.77 cores=0,2,4,6 /proc/27913/task/27930/stat : 27930 (java) S 27911 27913 23895 0 -1 4202560 1551 0 0 0 1368 9 0 0 15 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 0 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27931] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27931/stat : 27931 (java) S 27911 27913 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27932] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27932/stat : 27932 (java) S 27911 27913 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808639571 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27942] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27942/stat : 27942 (java) S 27911 27913 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273440177 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27943] ppid=27911 vsize=13627064 CPUtime=0.51 cores=0,2,4,6 /proc/27913/task/27943/stat : 27943 (java) S 27911 27913 23895 0 -1 4202560 7106 0 0 0 51 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 2 0 0 0 [pid=27913/tid=27944] ppid=27911 vsize=13627064 CPUtime=0.84 cores=0,2,4,6 /proc/27913/task/27944/stat : 27944 (java) S 27911 27913 23895 0 -1 4202560 5189 0 0 0 84 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27945] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27945/stat : 27945 (java) S 27911 27913 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273432473 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 [pid=27913/tid=27946] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27946/stat : 27946 (java) S 27911 27913 23895 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808639573 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 0 0 0 0 [pid=27913/tid=27955] ppid=27911 vsize=13627064 CPUtime=0 cores=0,2,4,6 /proc/27913/task/27955/stat : 27955 (java) S 27911 27913 23895 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808639599 13954113536 24526 33554432000 1073741824 1073778376 140735037228672 18446744073709551615 254273433088 0 4 0 16800975 18446604450338392128 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 481.78 Current children cumulated vsize (KiB) 13627064 Child status: 30 Real time (s): 479.609 CPU time (s): 481.882 CPU user time (s): 481.701 CPU system time (s): 0.180972 CPU usage (%): 100.474 Max. virtual memory (cumulated for all children) (KiB): 13637700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 481.701 system time used= 0.180972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32789 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= 28686 involuntary context switches= 19116 runsolver used 2.50262 second user time and 5.2472 second system time The end
Begin job on node140 at 2011-06-04 06:37:22 IDJOB=3458439 IDBENCH=48259 IDSOLVER=1952 FILE ID=node140/3458439-1307162242 RUNJOBID= node140-1307162242-27899 PBS_JOBID= 13508776 Free space on /tmp= 73648 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458439-1307162242/watcher-3458439-1307162242 -o /tmp/evaluation-result-3458439-1307162242/solver-3458439-1307162242 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458439-1307162242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0c3fb28b3ecb8f1eba2bffa356ef5364 RANDOM SEED=500719560 node140.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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 : 5226.14 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.833 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.75 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.833 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.77 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.833 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.833 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.74 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21423044 kB Buffers: 309968 kB Cached: 3966992 kB SwapCached: 6932 kB Active: 7393012 kB Inactive: 3800092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21423044 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 6913344 kB Mapped: 37628 kB Slab: 214680 kB PageTables: 52404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 141383384 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73644 MiB End job on node140 at 2011-06-04 06:45:22