Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | OPT | -7 | 322.56 | 320.718 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb |
MD5SUM | e70f8e0da8fa345ba6e82dce1b0133d2 |
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.70052 |
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) | 2952 |
Sum of products size (including duplicates) | 5904 |
Number of different products | 1476 |
Sum of products size | 2952 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 12995394264 0.02/0.09 c Max memory 13063553024 0.02/0.09 c Total memory 13063553024 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458411-1307161263.opb 0.10/0.11 c reading problem ... 0.41/0.35 c ... done. Wall clock time 0.237s. 0.41/0.35 c #vars 1576 0.41/0.35 c #constraints 3104 0.41/0.35 c constraints type 0.41/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476 0.41/0.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 0.41/0.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 0.41/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476 0.79/0.53 c SATISFIABLE 0.79/0.53 c OPTIMIZING... 0.79/0.53 c Got one! Elapsed wall clock time (in seconds):0.414 0.79/0.53 o -4 0.93/0.69 c Got one! Elapsed wall clock time (in seconds):0.574 0.93/0.69 o -5 1.27/0.99 c cleaning 3108 clauses out of 6215 with flag 4003/6215 1.84/1.43 c cleaning 4543 clauses out of 9104 with flag 10000/12212 2.53/1.86 c cleaning 5774 clauses out of 11561 with flag 17000/19212 3.31/2.28 c Got one! Elapsed wall clock time (in seconds):2.164 3.31/2.28 o -6 3.84/2.71 c cleaning 9110 clauses out of 18300 with flag 5000/31725 4.25/3.12 c cleaning 7591 clauses out of 15190 with flag 11000/37725 4.65/3.52 c cleaning 7296 clauses out of 14600 with flag 18001/44726 5.05/3.97 c cleaning 7642 clauses out of 15303 with flag 26000/52725 5.57/4.49 c cleaning 8329 clauses out of 16662 with flag 35001/61726 6.15/5.07 c cleaning 9166 clauses out of 18333 with flag 45001/71726 6.75/5.64 c cleaning 9569 clauses out of 19166 with flag 55000/81725 7.46/6.31 c cleaning 9762 clauses out of 19597 with flag 65000/91725 7.96/6.85 c cleaning 9911 clauses out of 19835 with flag 75000/101725 8.66/7.50 c cleaning 9949 clauses out of 19924 with flag 85000/111725 9.27/8.10 c cleaning 9974 clauses out of 19975 with flag 95000/121725 9.77/8.67 c cleaning 9988 clauses out of 20002 with flag 105001/131726 10.47/9.35 c cleaning 9999 clauses out of 20013 with flag 115000/141725 11.17/10.00 c cleaning 10002 clauses out of 20014 with flag 125000/151725 11.67/10.55 c cleaning 9999 clauses out of 20012 with flag 135000/161725 12.29/11.10 c cleaning 10002 clauses out of 20013 with flag 145000/171725 12.99/11.80 c cleaning 10001 clauses out of 20011 with flag 155000/181725 13.59/12.47 c cleaning 9994 clauses out of 20010 with flag 165000/191725 14.31/13.13 c cleaning 10002 clauses out of 20016 with flag 175000/201725 14.90/13.70 c cleaning 10005 clauses out of 20015 with flag 185001/211726 15.60/14.42 c cleaning 10000 clauses out of 20009 with flag 195000/221725 16.10/14.94 c cleaning 9990 clauses out of 20009 with flag 205000/231725 16.80/15.62 c cleaning 9999 clauses out of 20019 with flag 215000/241725 17.30/16.18 c cleaning 9997 clauses out of 20020 with flag 225000/251725 17.90/16.77 c cleaning 10000 clauses out of 20023 with flag 235000/261725 18.50/17.32 c cleaning 10006 clauses out of 20023 with flag 245000/271725 19.10/17.95 c cleaning 10006 clauses out of 20018 with flag 255001/281726 19.70/18.58 c cleaning 9995 clauses out of 20011 with flag 265000/291725 20.30/19.19 c cleaning 9999 clauses out of 20016 with flag 275000/301725 20.92/19.77 c cleaning 10000 clauses out of 20017 with flag 285000/311725 21.50/20.32 c cleaning 9996 clauses out of 20017 with flag 295000/321725 22.12/20.92 c cleaning 10010 clauses out of 20024 with flag 305003/331728 22.70/21.53 c cleaning 9996 clauses out of 20011 with flag 315000/341725 23.30/22.10 c cleaning 10006 clauses out of 20017 with flag 325002/351727 23.80/22.64 c cleaning 10000 clauses out of 20009 with flag 335000/361725 24.41/23.26 c cleaning 9997 clauses out of 20011 with flag 345002/371727 25.02/23.85 c cleaning 9998 clauses out of 20012 with flag 355000/381725 25.62/24.45 c cleaning 10004 clauses out of 20014 with flag 365000/391725 26.22/25.04 c cleaning 9997 clauses out of 20010 with flag 375000/401725 26.82/25.62 c cleaning 9999 clauses out of 20014 with flag 385001/411726 27.42/26.21 c cleaning 10000 clauses out of 20014 with flag 395000/421725 28.02/26.83 c cleaning 9998 clauses out of 20014 with flag 405000/431725 28.64/27.42 c cleaning 9995 clauses out of 20016 with flag 415000/441725 29.23/28.02 c cleaning 10008 clauses out of 20022 with flag 425001/451726 29.85/28.63 c cleaning 9993 clauses out of 20013 with flag 435000/461725 30.43/29.28 c cleaning 9996 clauses out of 20020 with flag 445000/471725 31.13/29.92 c cleaning 10004 clauses out of 20028 with flag 455004/481729 31.73/30.52 c cleaning 10001 clauses out of 20020 with flag 465000/491725 32.33/31.10 c cleaning 9993 clauses out of 20019 with flag 475000/501725 32.83/31.69 c cleaning 10000 clauses out of 20026 with flag 485000/511725 33.43/32.26 c cleaning 10000 clauses out of 20026 with flag 495000/521725 34.03/32.85 c cleaning 10001 clauses out of 20026 with flag 505000/531725 34.63/33.41 c cleaning 10001 clauses out of 20025 with flag 515000/541725 35.13/34.02 c cleaning 10000 clauses out of 20024 with flag 525000/551725 35.83/34.64 c cleaning 9997 clauses out of 20024 with flag 535000/561725 36.45/35.28 c cleaning 9997 clauses out of 20027 with flag 545000/571725 37.03/35.88 c cleaning 10001 clauses out of 20031 with flag 555001/581726 37.73/36.51 c cleaning 9998 clauses out of 20029 with flag 565000/591725 38.33/37.11 c cleaning 10012 clauses out of 20031 with flag 575000/601725 38.83/37.64 c cleaning 9983 clauses out of 20020 with flag 585001/611726 39.43/38.24 c cleaning 9998 clauses out of 20036 with flag 595000/621725 40.06/38.89 c cleaning 10013 clauses out of 20038 with flag 605000/631725 40.66/39.48 c cleaning 10010 clauses out of 20026 with flag 615001/641726 41.26/40.08 c cleaning 9994 clauses out of 20016 with flag 625001/651726 41.87/40.71 c cleaning 9998 clauses out of 20021 with flag 635000/661725 42.55/41.34 c cleaning 10005 clauses out of 20023 with flag 645000/671725 43.16/41.98 c cleaning 9999 clauses out of 20018 with flag 655000/681725 43.86/42.62 c cleaning 9999 clauses out of 20020 with flag 665001/691726 44.46/43.23 c cleaning 9996 clauses out of 20020 with flag 675000/701725 45.06/43.81 c cleaning 9994 clauses out of 20025 with flag 685001/711726 45.66/44.40 c cleaning 9994 clauses out of 20030 with flag 695000/721725 46.16/44.97 c cleaning 10006 clauses out of 20036 with flag 705000/731725 46.77/45.55 c cleaning 9992 clauses out of 20031 with flag 715001/741726 47.38/46.13 c cleaning 10002 clauses out of 20038 with flag 725000/751725 47.97/46.70 c cleaning 10002 clauses out of 20036 with flag 735000/761725 48.49/47.30 c cleaning 10008 clauses out of 20037 with flag 745003/771728 49.17/47.91 c cleaning 10000 clauses out of 20026 with flag 755000/781725 49.77/48.51 c cleaning 9997 clauses out of 20026 with flag 765000/791725 50.27/49.08 c cleaning 10001 clauses out of 20029 with flag 775000/801725 50.87/49.64 c cleaning 10008 clauses out of 20030 with flag 785002/811727 51.47/50.21 c cleaning 9980 clauses out of 20020 with flag 795000/821725 52.07/50.83 c cleaning 9996 clauses out of 20040 with flag 805000/831725 52.67/51.41 c cleaning 9997 clauses out of 20045 with flag 815001/841726 53.17/51.97 c cleaning 10012 clauses out of 20048 with flag 825001/851726 53.87/52.60 c cleaning 10000 clauses out of 20035 with flag 835000/861725 54.48/53.29 c cleaning 9996 clauses out of 20035 with flag 845000/871725 55.20/53.94 c cleaning 10004 clauses out of 20039 with flag 855000/881725 55.78/54.55 c cleaning 10004 clauses out of 20037 with flag 865002/891727 56.48/55.29 c cleaning 10009 clauses out of 20034 with flag 875003/901728 57.18/55.91 c cleaning 10004 clauses out of 20022 with flag 885000/911725 57.68/56.49 c cleaning 10001 clauses out of 20018 with flag 895000/921725 58.28/57.06 c cleaning 9996 clauses out of 20017 with flag 905000/931725 58.88/57.63 c cleaning 10004 clauses out of 20024 with flag 915003/941728 59.50/58.26 c cleaning 9995 clauses out of 20017 with flag 925000/951725 60.18/58.94 c cleaning 9995 clauses out of 20022 with flag 935000/961725 60.78/59.53 c cleaning 10000 clauses out of 20027 with flag 945000/971725 61.49/60.21 c cleaning 10003 clauses out of 20027 with flag 955000/981725 62.09/60.82 c cleaning 10002 clauses out of 20025 with flag 965001/991726 62.69/61.49 c cleaning 10002 clauses out of 20023 with flag 975001/1001726 63.39/62.14 c cleaning 9993 clauses out of 20020 with flag 985000/1011725 64.01/62.75 c cleaning 10003 clauses out of 20027 with flag 995000/1021725 64.59/63.33 c cleaning 9998 clauses out of 20024 with flag 1005000/1031725 65.11/63.88 c cleaning 10003 clauses out of 20026 with flag 1015000/1041725 65.70/64.45 c cleaning 9998 clauses out of 20023 with flag 1025000/1051725 66.30/65.10 c cleaning 9991 clauses out of 20025 with flag 1035000/1061725 67.00/65.74 c cleaning 10003 clauses out of 20034 with flag 1045000/1071725 67.60/66.32 c cleaning 10004 clauses out of 20031 with flag 1055000/1081725 68.21/66.91 c cleaning 10000 clauses out of 20028 with flag 1065001/1091726 68.71/67.48 c cleaning 10001 clauses out of 20027 with flag 1075000/1101725 69.31/68.08 c cleaning 9990 clauses out of 20026 with flag 1085000/1111725 69.91/68.68 c cleaning 10009 clauses out of 20036 with flag 1095000/1121725 70.63/69.33 c cleaning 10001 clauses out of 20027 with flag 1105000/1131725 71.22/69.96 c cleaning 9993 clauses out of 20026 with flag 1115000/1141725 71.92/70.61 c cleaning 10002 clauses out of 20033 with flag 1125000/1151725 72.52/71.22 c cleaning 9997 clauses out of 20031 with flag 1135000/1161725 73.12/71.86 c cleaning 10003 clauses out of 20034 with flag 1145000/1171725 73.72/72.41 c cleaning 9991 clauses out of 20031 with flag 1155000/1181725 74.22/72.93 c cleaning 10007 clauses out of 20040 with flag 1165000/1191725 74.72/73.49 c cleaning 9989 clauses out of 20034 with flag 1175001/1201726 75.32/74.05 c cleaning 10008 clauses out of 20044 with flag 1185000/1211725 75.92/74.63 c cleaning 10006 clauses out of 20036 with flag 1195000/1221725 76.53/75.20 c cleaning 10004 clauses out of 20031 with flag 1205001/1231726 76.83/75.50 c Got one! Elapsed wall clock time (in seconds):75.391 76.83/75.50 o -7 77.03/75.78 c cleaning 10503 clauses out of 21033 with flag 5000/1242732 77.43/76.12 c cleaning 8262 clauses out of 16534 with flag 11004/1248736 77.83/76.50 c cleaning 7625 clauses out of 15268 with flag 18000/1255732 78.25/76.93 c cleaning 7813 clauses out of 15644 with flag 26001/1263733 78.63/77.37 c cleaning 8406 clauses out of 16830 with flag 35000/1272732 79.23/77.93 c cleaning 9204 clauses out of 18427 with flag 45003/1282735 79.83/78.53 c cleaning 9601 clauses out of 19222 with flag 55002/1292734 80.45/79.21 c cleaning 9802 clauses out of 19619 with flag 65000/1302732 81.13/79.84 c cleaning 9905 clauses out of 19817 with flag 75000/1312732 81.83/80.56 c cleaning 9953 clauses out of 19914 with flag 85002/1322734 82.53/81.20 c cleaning 9977 clauses out of 19960 with flag 95001/1332733 83.03/81.79 c cleaning 9989 clauses out of 19981 with flag 105000/1342732 83.64/82.42 c cleaning 9980 clauses out of 19992 with flag 115000/1352732 84.24/82.99 c cleaning 10003 clauses out of 20013 with flag 125001/1362733 84.86/83.55 c cleaning 9992 clauses out of 20009 with flag 135000/1372732 85.34/84.05 c cleaning 9994 clauses out of 20017 with flag 145000/1382732 85.97/84.68 c cleaning 10003 clauses out of 20023 with flag 155000/1392732 86.55/85.21 c cleaning 10009 clauses out of 20025 with flag 165005/1402737 87.07/85.75 c cleaning 9991 clauses out of 20011 with flag 175000/1412732 87.55/86.24 c cleaning 9994 clauses out of 20021 with flag 185001/1422733 88.05/86.73 c cleaning 9996 clauses out of 20026 with flag 195000/1432732 88.65/87.37 c cleaning 9988 clauses out of 20030 with flag 205000/1442732 89.38/88.02 c cleaning 9981 clauses out of 20042 with flag 215000/1452732 89.96/88.63 c cleaning 10017 clauses out of 20062 with flag 225001/1462733 90.48/89.20 c cleaning 10002 clauses out of 20045 with flag 235001/1472733 91.16/89.88 c cleaning 10012 clauses out of 20043 with flag 245001/1482733 91.76/90.45 c cleaning 10008 clauses out of 20030 with flag 255000/1492732 92.36/91.03 c cleaning 10001 clauses out of 20022 with flag 265000/1502732 92.96/91.68 c cleaning 9992 clauses out of 20021 with flag 275000/1512732 93.56/92.23 c cleaning 10007 clauses out of 20029 with flag 285000/1522732 94.27/92.90 c cleaning 9980 clauses out of 20022 with flag 295000/1532732 94.89/93.58 c cleaning 10012 clauses out of 20042 with flag 305000/1542732 95.47/94.12 c cleaning 10002 clauses out of 20030 with flag 315000/1552732 95.99/94.69 c cleaning 10005 clauses out of 20028 with flag 325000/1562732 96.57/95.24 c cleaning 10002 clauses out of 20023 with flag 335000/1572732 97.17/95.82 c cleaning 9997 clauses out of 20021 with flag 345000/1582732 97.67/96.34 c cleaning 9999 clauses out of 20024 with flag 355000/1592732 98.27/96.98 c cleaning 9991 clauses out of 20025 with flag 365000/1602732 98.87/97.58 c cleaning 10003 clauses out of 20034 with flag 375000/1612732 99.48/98.17 c cleaning 9995 clauses out of 20031 with flag 385000/1622732 100.08/98.76 c cleaning 9997 clauses out of 20036 with flag 395000/1632732 100.78/99.44 c cleaning 10011 clauses out of 20040 with flag 405001/1642733 101.40/100.11 c cleaning 10001 clauses out of 20028 with flag 415000/1652732 102.18/100.80 c cleaning 10003 clauses out of 20027 with flag 425000/1662732 102.78/101.42 c cleaning 10002 clauses out of 20025 with flag 435001/1672733 103.48/102.13 c cleaning 10009 clauses out of 20023 with flag 445001/1682733 104.08/102.77 c cleaning 9979 clauses out of 20013 with flag 455000/1692732 104.70/103.37 c cleaning 10007 clauses out of 20034 with flag 465001/1702733 105.29/103.98 c cleaning 9999 clauses out of 20026 with flag 475000/1712732 105.81/104.50 c cleaning 9983 clauses out of 20027 with flag 485000/1722732 106.39/105.07 c cleaning 10010 clauses out of 20044 with flag 495000/1732732 106.91/105.59 c cleaning 9998 clauses out of 20034 with flag 505000/1742732 107.39/106.10 c cleaning 9994 clauses out of 20036 with flag 515000/1752732 108.01/106.65 c cleaning 10002 clauses out of 20045 with flag 525003/1762735 108.49/107.16 c cleaning 10004 clauses out of 20041 with flag 535001/1772733 109.11/107.73 c cleaning 9998 clauses out of 20036 with flag 545000/1782732 109.60/108.25 c cleaning 10016 clauses out of 20039 with flag 555001/1792733 110.21/108.86 c cleaning 9989 clauses out of 20026 with flag 565004/1802736 110.80/109.41 c cleaning 10000 clauses out of 20033 with flag 575000/1812732 111.31/109.94 c cleaning 9994 clauses out of 20035 with flag 585002/1822734 111.90/110.52 c cleaning 9998 clauses out of 20039 with flag 595000/1832732 112.42/111.09 c cleaning 10011 clauses out of 20041 with flag 605000/1842732 113.00/111.62 c cleaning 10001 clauses out of 20030 with flag 615000/1852732 113.62/112.22 c cleaning 10009 clauses out of 20030 with flag 625001/1862733 114.10/112.72 c cleaning 9992 clauses out of 20020 with flag 635000/1872732 114.62/113.28 c cleaning 9995 clauses out of 20028 with flag 645000/1882732 115.21/113.83 c cleaning 10001 clauses out of 20033 with flag 655000/1892732 115.83/114.48 c cleaning 9997 clauses out of 20032 with flag 665000/1902732 116.51/115.10 c cleaning 9994 clauses out of 20035 with flag 675000/1912732 117.11/115.73 c cleaning 10002 clauses out of 20043 with flag 685002/1922734 117.71/116.39 c cleaning 10007 clauses out of 20040 with flag 695001/1932733 118.31/116.98 c cleaning 10006 clauses out of 20032 with flag 705000/1942732 118.91/117.58 c cleaning 10000 clauses out of 20026 with flag 715000/1952732 119.61/118.20 c cleaning 9992 clauses out of 20026 with flag 725000/1962732 120.23/118.85 c cleaning 10007 clauses out of 20034 with flag 735000/1972732 120.81/119.47 c cleaning 10005 clauses out of 20028 with flag 745001/1982733 121.52/120.13 c cleaning 10009 clauses out of 20025 with flag 755003/1992735 122.12/120.79 c cleaning 9993 clauses out of 20013 with flag 765000/2002732 122.73/121.39 c cleaning 9989 clauses out of 20021 with flag 775001/2012733 123.45/122.06 c cleaning 10007 clauses out of 20031 with flag 785000/2022732 124.03/122.66 c cleaning 9998 clauses out of 20024 with flag 795000/2032732 124.73/123.33 c cleaning 10006 clauses out of 20026 with flag 805000/2042732 125.33/123.94 c cleaning 9994 clauses out of 20020 with flag 815000/2052732 126.03/124.60 c cleaning 9996 clauses out of 20026 with flag 825000/2062732 126.53/125.20 c cleaning 9998 clauses out of 20032 with flag 835002/2072734 127.23/125.87 c cleaning 9994 clauses out of 20032 with flag 845000/2082732 127.85/126.51 c cleaning 10004 clauses out of 20038 with flag 855000/2092732 128.53/127.18 c cleaning 10001 clauses out of 20034 with flag 865000/2102732 129.23/127.84 c cleaning 9991 clauses out of 20034 with flag 875001/2112733 129.83/128.49 c cleaning 10013 clauses out of 20043 with flag 885001/2122733 130.54/129.10 c cleaning 9984 clauses out of 20029 with flag 895000/2132732 131.04/129.66 c cleaning 9993 clauses out of 20045 with flag 905000/2142732 131.74/130.32 c cleaning 10016 clauses out of 20052 with flag 915000/2152732 132.36/130.97 c cleaning 10009 clauses out of 20036 with flag 925000/2162732 132.94/131.52 c cleaning 10001 clauses out of 20027 with flag 935000/2172732 133.46/132.08 c cleaning 10001 clauses out of 20026 with flag 945000/2182732 134.04/132.61 c cleaning 10001 clauses out of 20025 with flag 955000/2192732 134.64/133.21 c cleaning 10008 clauses out of 20024 with flag 965000/2202732 135.14/133.72 c cleaning 9983 clauses out of 20016 with flag 975000/2212732 135.66/134.29 c cleaning 9998 clauses out of 20033 with flag 985000/2222732 136.24/134.88 c cleaning 10005 clauses out of 20036 with flag 995001/2232733 136.84/135.49 c cleaning 9997 clauses out of 20030 with flag 1005000/2242732 137.44/136.01 c cleaning 10010 clauses out of 20033 with flag 1015000/2252732 138.04/136.60 c cleaning 9992 clauses out of 20023 with flag 1025000/2262732 138.54/137.16 c cleaning 10008 clauses out of 20031 with flag 1035000/2272732 139.15/137.71 c cleaning 9999 clauses out of 20024 with flag 1045001/2282733 139.75/138.36 c cleaning 9995 clauses out of 20024 with flag 1055000/2292732 140.35/138.99 c cleaning 9994 clauses out of 20030 with flag 1065001/2302733 140.95/139.54 c cleaning 9993 clauses out of 20035 with flag 1075000/2312732 141.45/140.02 c cleaning 10011 clauses out of 20044 with flag 1085002/2322734 141.95/140.52 c cleaning 9997 clauses out of 20031 with flag 1095000/2332732 142.45/141.06 c cleaning 9994 clauses out of 20034 with flag 1105000/2342732 142.95/141.59 c cleaning 10006 clauses out of 20040 with flag 1115000/2352732 143.55/142.10 c cleaning 9998 clauses out of 20034 with flag 1125000/2362732 144.05/142.62 c cleaning 10007 clauses out of 20037 with flag 1135001/2372733 144.56/143.15 c cleaning 9998 clauses out of 20029 with flag 1145000/2382732 145.15/143.72 c cleaning 9996 clauses out of 20032 with flag 1155001/2392733 145.66/144.28 c cleaning 10000 clauses out of 20038 with flag 1165003/2402735 146.27/144.87 c cleaning 9998 clauses out of 20035 with flag 1175000/2412732 146.77/145.38 c cleaning 9999 clauses out of 20038 with flag 1185001/2422733 147.37/145.93 c cleaning 10002 clauses out of 20038 with flag 1195000/2432732 147.97/146.50 c cleaning 10002 clauses out of 20037 with flag 1205001/2442733 148.47/147.07 c cleaning 10002 clauses out of 20035 with flag 1215001/2452733 149.07/147.64 c cleaning 9989 clauses out of 20032 with flag 1225000/2462732 149.67/148.25 c cleaning 10013 clauses out of 20043 with flag 1235000/2472732 150.17/148.77 c cleaning 9995 clauses out of 20030 with flag 1245000/2482732 150.87/149.42 c cleaning 9992 clauses out of 20036 with flag 1255001/2492733 151.37/149.94 c cleaning 10011 clauses out of 20044 with flag 1265001/2502733 151.87/150.48 c cleaning 10000 clauses out of 20032 with flag 1275000/2512732 152.37/150.96 c cleaning 10002 clauses out of 20033 with flag 1285001/2522733 152.97/151.52 c cleaning 9996 clauses out of 20030 with flag 1295000/2532732 153.47/152.04 c cleaning 9998 clauses out of 20034 with flag 1305000/2542732 153.98/152.55 c cleaning 9996 clauses out of 20036 with flag 1315000/2552732 154.48/153.09 c cleaning 9990 clauses out of 20041 with flag 1325001/2562733 155.08/153.62 c cleaning 10004 clauses out of 20050 with flag 1335000/2572732 155.58/154.15 c cleaning 10003 clauses out of 20046 with flag 1345000/2582732 156.08/154.68 c cleaning 9999 clauses out of 20043 with flag 1355000/2592732 156.68/155.26 c cleaning 10000 clauses out of 20044 with flag 1365000/2602732 157.28/155.80 c cleaning 10004 clauses out of 20044 with flag 1375000/2612732 157.88/156.42 c cleaning 9992 clauses out of 20040 with flag 1385000/2622732 158.48/157.06 c cleaning 10013 clauses out of 20048 with flag 1395000/2632732 159.09/157.67 c cleaning 10004 clauses out of 20036 with flag 1405001/2642733 159.70/158.29 c cleaning 9993 clauses out of 20032 with flag 1415001/2652733 160.40/158.94 c cleaning 10001 clauses out of 20038 with flag 1425000/2662732 160.91/159.47 c cleaning 10004 clauses out of 20037 with flag 1435000/2672732 161.50/160.06 c cleaning 10004 clauses out of 20034 with flag 1445001/2682733 162.02/160.57 c cleaning 9992 clauses out of 20030 with flag 1455001/2692733 162.60/161.15 c cleaning 10005 clauses out of 20037 with flag 1465000/2702732 163.22/161.72 c cleaning 9993 clauses out of 20032 with flag 1475000/2712732 163.70/162.23 c cleaning 10005 clauses out of 20040 with flag 1485001/2722733 164.32/162.86 c cleaning 9994 clauses out of 20035 with flag 1495001/2732733 164.90/163.48 c cleaning 10003 clauses out of 20040 with flag 1505000/2742732 165.50/164.09 c cleaning 10004 clauses out of 20037 with flag 1515000/2752732 166.10/164.69 c cleaning 10000 clauses out of 20034 with flag 1525001/2762733 166.80/165.30 c cleaning 9994 clauses out of 20033 with flag 1535000/2772732 167.30/165.86 c cleaning 9994 clauses out of 20039 with flag 1545000/2782732 167.90/166.48 c cleaning 9987 clauses out of 20045 with flag 1555000/2792732 168.51/167.08 c cleaning 10002 clauses out of 20058 with flag 1565000/2802732 169.21/167.78 c cleaning 10006 clauses out of 20056 with flag 1575000/2812732 169.91/168.42 c cleaning 10004 clauses out of 20050 with flag 1585000/2822732 170.41/169.00 c cleaning 10005 clauses out of 20046 with flag 1595000/2832732 171.01/169.59 c cleaning 9982 clauses out of 20041 with flag 1605000/2842732 171.71/170.21 c cleaning 10012 clauses out of 20059 with flag 1615000/2852732 172.31/170.84 c cleaning 10012 clauses out of 20048 with flag 1625001/2862733 172.91/171.42 c cleaning 10007 clauses out of 20035 with flag 1635000/2872732 173.51/172.01 c cleaning 10003 clauses out of 20028 with flag 1645000/2882732 174.02/172.57 c cleaning 9995 clauses out of 20025 with flag 1655000/2892732 174.62/173.17 c cleaning 9994 clauses out of 20032 with flag 1665002/2902734 175.24/173.72 c cleaning 10003 clauses out of 20036 with flag 1675000/2912732 175.73/174.29 c cleaning 10006 clauses out of 20035 with flag 1685002/2922734 176.45/174.94 c cleaning 10000 clauses out of 20028 with flag 1695001/2932733 176.93/175.48 c cleaning 9987 clauses out of 20027 with flag 1705000/2942732 177.55/176.02 c cleaning 9996 clauses out of 20040 with flag 1715000/2952732 178.03/176.56 c cleaning 10004 clauses out of 20044 with flag 1725000/2962732 178.54/177.07 c cleaning 9998 clauses out of 20041 with flag 1735001/2972733 179.03/177.59 c cleaning 9999 clauses out of 20042 with flag 1745000/2982732 179.53/178.06 c cleaning 9995 clauses out of 20043 with flag 1755000/2992732 180.13/178.63 c cleaning 9999 clauses out of 20048 with flag 1765000/3002732 180.63/179.20 c cleaning 9998 clauses out of 20049 with flag 1775000/3012732 181.34/179.84 c cleaning 10008 clauses out of 20052 with flag 1785001/3022733 181.96/180.48 c cleaning 10007 clauses out of 20044 with flag 1795001/3032733 182.65/181.14 c cleaning 9989 clauses out of 20036 with flag 1805000/3042732 183.25/181.77 c cleaning 10004 clauses out of 20047 with flag 1815000/3052732 183.95/182.43 c cleaning 9999 clauses out of 20043 with flag 1825000/3062732 184.55/183.08 c cleaning 10006 clauses out of 20044 with flag 1835000/3072732 185.27/183.75 c cleaning 10008 clauses out of 20038 with flag 1845000/3082732 185.85/184.38 c cleaning 9985 clauses out of 20030 with flag 1855000/3092732 186.55/185.09 c cleaning 10004 clauses out of 20044 with flag 1865000/3102732 187.05/185.56 c cleaning 10005 clauses out of 20040 with flag 1875000/3112732 187.65/186.13 c cleaning 9996 clauses out of 20035 with flag 1885000/3122732 188.15/186.70 c cleaning 10011 clauses out of 20040 with flag 1895001/3132733 188.75/187.26 c cleaning 9995 clauses out of 20028 with flag 1905000/3142732 189.35/187.81 c cleaning 10008 clauses out of 20033 with flag 1915000/3152732 189.75/188.29 c cleaning 9998 clauses out of 20027 with flag 1925002/3162734 190.26/188.79 c cleaning 9984 clauses out of 20027 with flag 1935000/3172732 190.78/189.30 c cleaning 10015 clauses out of 20043 with flag 1945000/3182732 191.36/189.80 c cleaning 9990 clauses out of 20028 with flag 1955000/3192732 191.78/190.31 c cleaning 10000 clauses out of 20038 with flag 1965000/3202732 192.37/190.82 c cleaning 9996 clauses out of 20038 with flag 1975000/3212732 192.77/191.31 c cleaning 9989 clauses out of 20042 with flag 1985000/3222732 193.37/191.84 c cleaning 9994 clauses out of 20053 with flag 1995000/3232732 193.87/192.38 c cleaning 9999 clauses out of 20059 with flag 2005000/3242732 194.47/192.97 c cleaning 9990 clauses out of 20060 with flag 2015000/3252732 195.08/193.58 c cleaning 10016 clauses out of 20070 with flag 2025000/3262732 195.77/194.20 c cleaning 10021 clauses out of 20056 with flag 2035002/3272734 196.37/194.83 c cleaning 10004 clauses out of 20035 with flag 2045002/3282734 197.07/195.50 c cleaning 10008 clauses out of 20031 with flag 2055002/3292734 197.67/196.19 c cleaning 10004 clauses out of 20020 with flag 2065000/3302732 198.29/196.78 c cleaning 9993 clauses out of 20016 with flag 2075000/3312732 198.79/197.28 c cleaning 10001 clauses out of 20024 with flag 2085001/3322733 199.39/197.86 c cleaning 9996 clauses out of 20025 with flag 2095003/3332735 199.99/198.40 c cleaning 10002 clauses out of 20027 with flag 2105001/3342733 200.50/198.91 c cleaning 10003 clauses out of 20024 with flag 2115000/3352732 201.00/199.45 c cleaning 10000 clauses out of 20022 with flag 2125001/3362733 201.50/199.96 c cleaning 9993 clauses out of 20021 with flag 2135000/3372732 202.01/200.47 c cleaning 10000 clauses out of 20028 with flag 2145000/3382732 202.51/200.99 c cleaning 9994 clauses out of 20028 with flag 2155000/3392732 203.11/201.51 c cleaning 9994 clauses out of 20034 with flag 2165000/3402732 203.61/202.02 c cleaning 9993 clauses out of 20040 with flag 2175000/3412732 204.21/202.62 c cleaning 10012 clauses out of 20047 with flag 2185000/3422732 204.71/203.16 c cleaning 10011 clauses out of 20040 with flag 2195005/3432737 205.31/203.73 c cleaning 9989 clauses out of 20024 with flag 2205000/3442732 205.91/204.36 c cleaning 9999 clauses out of 20035 with flag 2215000/3452732 206.51/204.98 c cleaning 9990 clauses out of 20036 with flag 2225000/3462732 207.23/205.68 c cleaning 10011 clauses out of 20046 with flag 2235000/3472732 207.91/206.35 c cleaning 10003 clauses out of 20035 with flag 2245000/3482732 208.61/207.00 c cleaning 9989 clauses out of 20032 with flag 2255000/3492732 209.21/207.61 c cleaning 10012 clauses out of 20043 with flag 2265000/3502732 209.71/208.17 c cleaning 10008 clauses out of 20031 with flag 2275000/3512732 210.31/208.76 c cleaning 10006 clauses out of 20027 with flag 2285004/3522736 211.01/209.46 c cleaning 9995 clauses out of 20017 with flag 2295000/3532732 211.63/210.11 c cleaning 10006 clauses out of 20023 with flag 2305001/3542733 212.31/210.77 c cleaning 9994 clauses out of 20017 with flag 2315001/3552733 213.01/211.41 c cleaning 10004 clauses out of 20022 with flag 2325000/3562732 213.51/211.94 c cleaning 9990 clauses out of 20018 with flag 2335000/3572732 214.01/212.48 c cleaning 10003 clauses out of 20028 with flag 2345000/3582732 214.61/213.02 c cleaning 9999 clauses out of 20025 with flag 2355000/3592732 215.11/213.55 c cleaning 9990 clauses out of 20026 with flag 2365000/3602732 215.71/214.10 c cleaning 10001 clauses out of 20036 with flag 2375000/3612732 216.22/214.65 c cleaning 10000 clauses out of 20035 with flag 2385000/3622732 216.72/215.18 c cleaning 9992 clauses out of 20035 with flag 2395000/3632732 217.32/215.76 c cleaning 10017 clauses out of 20043 with flag 2405000/3642732 217.93/216.34 c cleaning 9985 clauses out of 20026 with flag 2415000/3652732 218.53/216.95 c cleaning 9990 clauses out of 20041 with flag 2425000/3662732 219.13/217.56 c cleaning 10017 clauses out of 20052 with flag 2435001/3672733 219.73/218.16 c cleaning 10000 clauses out of 20034 with flag 2445000/3682732 220.24/218.69 c cleaning 10007 clauses out of 20034 with flag 2455000/3692732 220.84/219.22 c cleaning 9993 clauses out of 20027 with flag 2465000/3702732 221.34/219.78 c cleaning 10008 clauses out of 20034 with flag 2475000/3712732 221.94/220.38 c cleaning 9997 clauses out of 20026 with flag 2485000/3722732 222.54/220.95 c cleaning 10002 clauses out of 20029 with flag 2495000/3732732 223.04/221.49 c cleaning 10005 clauses out of 20027 with flag 2505000/3742732 223.64/222.05 c cleaning 10006 clauses out of 20022 with flag 2515000/3752732 224.24/222.61 c cleaning 9994 clauses out of 20016 with flag 2525000/3762732 224.74/223.17 c cleaning 9994 clauses out of 20022 with flag 2535000/3772732 225.24/223.70 c cleaning 9997 clauses out of 20028 with flag 2545000/3782732 225.84/224.23 c cleaning 10010 clauses out of 20032 with flag 2555001/3792733 226.34/224.76 c cleaning 9999 clauses out of 20021 with flag 2565000/3802732 226.84/225.27 c cleaning 9997 clauses out of 20022 with flag 2575000/3812732 227.35/225.76 c cleaning 9991 clauses out of 20026 with flag 2585001/3822733 227.85/226.26 c cleaning 9998 clauses out of 20034 with flag 2595000/3832732 228.45/226.86 c cleaning 10005 clauses out of 20039 with flag 2605003/3842735 228.95/227.37 c cleaning 9999 clauses out of 20031 with flag 2615000/3852732 229.55/227.91 c cleaning 9980 clauses out of 20032 with flag 2625000/3862732 230.05/228.43 c cleaning 9998 clauses out of 20052 with flag 2635000/3872732 230.65/229.02 c cleaning 10006 clauses out of 20054 with flag 2645000/3882732 231.25/229.63 c cleaning 10007 clauses out of 20049 with flag 2655001/3892733 231.85/230.26 c cleaning 10008 clauses out of 20043 with flag 2665002/3902734 232.57/230.92 c cleaning 10010 clauses out of 20033 with flag 2675001/3912733 233.06/231.46 c cleaning 10002 clauses out of 20024 with flag 2685002/3922734 233.56/232.01 c cleaning 9975 clauses out of 20020 with flag 2695000/3932732 234.16/232.54 c cleaning 10012 clauses out of 20045 with flag 2705000/3942732 234.78/233.13 c cleaning 10003 clauses out of 20033 with flag 2715000/3952732 235.26/233.67 c cleaning 9990 clauses out of 20030 with flag 2725000/3962732 235.88/234.24 c cleaning 10002 clauses out of 20040 with flag 2735000/3972732 236.37/234.74 c cleaning 9998 clauses out of 20038 with flag 2745000/3982732 236.87/235.24 c cleaning 10004 clauses out of 20040 with flag 2755000/3992732 237.37/235.75 c cleaning 9995 clauses out of 20036 with flag 2765000/4002732 237.97/236.36 c cleaning 10004 clauses out of 20041 with flag 2775000/4012732 238.57/236.92 c cleaning 10005 clauses out of 20037 with flag 2785000/4022732 239.08/237.45 c cleaning 10006 clauses out of 20033 with flag 2795001/4032733 239.58/237.97 c cleaning 9997 clauses out of 20026 with flag 2805000/4042732 240.08/238.47 c cleaning 9999 clauses out of 20030 with flag 2815001/4052733 240.58/238.93 c cleaning 9994 clauses out of 20035 with flag 2825005/4062737 241.08/239.45 c cleaning 9995 clauses out of 20037 with flag 2835001/4072733 241.68/240.08 c cleaning 9989 clauses out of 20041 with flag 2845000/4082732 242.28/240.68 c cleaning 9990 clauses out of 20052 with flag 2855000/4092732 242.98/241.30 c cleaning 10013 clauses out of 20062 with flag 2865000/4102732 243.60/241.94 c cleaning 10008 clauses out of 20049 with flag 2875000/4112732 244.18/242.50 c cleaning 10008 clauses out of 20040 with flag 2885000/4122732 244.70/243.02 c cleaning 10000 clauses out of 20032 with flag 2895000/4132732 245.19/243.51 c cleaning 9992 clauses out of 20033 with flag 2905001/4142733 245.69/244.00 c cleaning 9999 clauses out of 20040 with flag 2915000/4152732 246.19/244.50 c cleaning 10001 clauses out of 20041 with flag 2925000/4162732 246.69/245.04 c cleaning 9994 clauses out of 20042 with flag 2935002/4172734 247.29/245.60 c cleaning 9999 clauses out of 20046 with flag 2945000/4182732 247.79/246.16 c cleaning 9997 clauses out of 20047 with flag 2955000/4192732 248.39/246.72 c cleaning 10004 clauses out of 20050 with flag 2965000/4202732 248.89/247.29 c cleaning 9997 clauses out of 20046 with flag 2975000/4212732 249.49/247.86 c cleaning 9995 clauses out of 20049 with flag 2985000/4222732 250.09/248.46 c cleaning 10012 clauses out of 20055 with flag 2995001/4232733 250.69/249.09 c cleaning 9998 clauses out of 20042 with flag 3005000/4242732 251.31/249.68 c cleaning 10010 clauses out of 20044 with flag 3015000/4252732 251.89/250.24 c cleaning 10006 clauses out of 20035 with flag 3025001/4262733 252.51/250.86 c cleaning 9998 clauses out of 20028 with flag 3035000/4272732 253.09/251.43 c cleaning 10003 clauses out of 20030 with flag 3045000/4282732 253.61/251.99 c cleaning 9998 clauses out of 20027 with flag 3055000/4292732 254.20/252.58 c cleaning 10000 clauses out of 20029 with flag 3065000/4302732 254.81/253.12 c cleaning 9995 clauses out of 20029 with flag 3075000/4312732 255.31/253.65 c cleaning 9995 clauses out of 20035 with flag 3085001/4322733 255.82/254.14 c cleaning 10000 clauses out of 20040 with flag 3095001/4332733 256.31/254.64 c cleaning 9988 clauses out of 20039 with flag 3105000/4342732 256.92/255.25 c cleaning 10002 clauses out of 20052 with flag 3115001/4352733 257.61/255.99 c cleaning 10021 clauses out of 20051 with flag 3125002/4362734 258.31/256.61 c cleaning 10004 clauses out of 20027 with flag 3135000/4372732 258.81/257.13 c cleaning 9994 clauses out of 20024 with flag 3145001/4382733 259.31/257.63 c cleaning 9994 clauses out of 20029 with flag 3155000/4392732 259.81/258.18 c cleaning 9998 clauses out of 20036 with flag 3165001/4402733 260.41/258.73 c cleaning 10007 clauses out of 20038 with flag 3175001/4412733 260.91/259.26 c cleaning 10001 clauses out of 20033 with flag 3185003/4422735 261.51/259.89 c cleaning 9986 clauses out of 20029 with flag 3195000/4432732 262.11/260.49 c cleaning 10012 clauses out of 20043 with flag 3205000/4442732 262.71/261.07 c cleaning 10008 clauses out of 20031 with flag 3215000/4452732 263.31/261.61 c cleaning 9995 clauses out of 20023 with flag 3225000/4462732 263.81/262.15 c cleaning 9984 clauses out of 20028 with flag 3235000/4472732 264.41/262.71 c cleaning 9990 clauses out of 20044 with flag 3245000/4482732 264.91/263.29 c cleaning 9995 clauses out of 20054 with flag 3255000/4492732 265.51/263.86 c cleaning 10013 clauses out of 20061 with flag 3265002/4502734 266.21/264.52 c cleaning 10009 clauses out of 20047 with flag 3275001/4512733 266.84/265.14 c cleaning 10006 clauses out of 20037 with flag 3285000/4522732 267.32/265.65 c cleaning 10006 clauses out of 20032 with flag 3295001/4532733 267.83/266.17 c cleaning 10003 clauses out of 20025 with flag 3305000/4542732 268.42/266.74 c cleaning 10005 clauses out of 20023 with flag 3315001/4552733 268.94/267.24 c cleaning 9994 clauses out of 20018 with flag 3325001/4562733 269.42/267.74 c cleaning 9991 clauses out of 20023 with flag 3335000/4572732 269.92/268.25 c cleaning 9995 clauses out of 20033 with flag 3345001/4582733 270.42/268.77 c cleaning 10003 clauses out of 20038 with flag 3355001/4592733 271.02/269.30 c cleaning 9999 clauses out of 20036 with flag 3365002/4602734 271.52/269.80 c cleaning 9992 clauses out of 20036 with flag 3375001/4612733 272.02/270.32 c cleaning 10001 clauses out of 20045 with flag 3385002/4622734 272.52/270.81 c cleaning 9995 clauses out of 20042 with flag 3395000/4632732 273.12/271.41 c cleaning 10012 clauses out of 20048 with flag 3405001/4642733 273.63/271.98 c cleaning 9995 clauses out of 20035 with flag 3415000/4652732 274.23/272.59 c cleaning 10011 clauses out of 20040 with flag 3425000/4662732 274.83/273.17 c cleaning 10002 clauses out of 20028 with flag 3435000/4672732 275.44/273.72 c cleaning 10006 clauses out of 20029 with flag 3445003/4682735 275.94/274.24 c cleaning 9996 clauses out of 20021 with flag 3455001/4692733 276.44/274.76 c cleaning 9998 clauses out of 20024 with flag 3465000/4702732 276.94/275.28 c cleaning 9990 clauses out of 20026 with flag 3475000/4712732 277.54/275.84 c cleaning 10007 clauses out of 20036 with flag 3485000/4722732 278.04/276.37 c cleaning 10004 clauses out of 20030 with flag 3495001/4732733 278.54/276.88 c cleaning 9976 clauses out of 20025 with flag 3505000/4742732 279.14/277.48 c cleaning 10001 clauses out of 20051 with flag 3515002/4752734 279.74/278.09 c cleaning 10022 clauses out of 20051 with flag 3525003/4762735 280.25/278.59 c cleaning 9989 clauses out of 20027 with flag 3535001/4772733 280.85/279.15 c cleaning 10004 clauses out of 20037 with flag 3545000/4782732 281.35/279.69 c cleaning 9993 clauses out of 20033 with flag 3555000/4792732 281.95/280.25 c cleaning 10010 clauses out of 20040 with flag 3565000/4802732 282.45/280.78 c cleaning 9993 clauses out of 20030 with flag 3575000/4812732 283.05/281.30 c cleaning 9990 clauses out of 20038 with flag 3585001/4822733 283.55/281.81 c cleaning 9998 clauses out of 20048 with flag 3595001/4832733 284.05/282.33 c cleaning 10002 clauses out of 20049 with flag 3605000/4842732 284.66/282.92 c cleaning 10015 clauses out of 20047 with flag 3615000/4852732 285.16/283.47 c cleaning 9987 clauses out of 20032 with flag 3625000/4862732 285.66/283.96 c cleaning 10005 clauses out of 20045 with flag 3635000/4872732 286.36/284.60 c cleaning 10016 clauses out of 20043 with flag 3645003/4882735 286.86/285.16 c cleaning 9999 clauses out of 20025 with flag 3655001/4892733 287.46/285.72 c cleaning 10001 clauses out of 20025 with flag 3665000/4902732 287.96/286.28 c cleaning 9999 clauses out of 20024 with flag 3675000/4912732 288.66/286.90 c cleaning 10000 clauses out of 20027 with flag 3685002/4922734 289.16/287.48 c cleaning 10003 clauses out of 20025 with flag 3695000/4932732 289.76/288.04 c cleaning 9990 clauses out of 20022 with flag 3705000/4942732 290.26/288.58 c cleaning 9983 clauses out of 20032 with flag 3715000/4952732 290.77/289.06 c cleaning 10006 clauses out of 20049 with flag 3725000/4962732 291.47/289.70 c cleaning 10001 clauses out of 20043 with flag 3735000/4972732 291.97/290.21 c cleaning 10001 clauses out of 20042 with flag 3745000/4982732 292.47/290.73 c cleaning 10011 clauses out of 20043 with flag 3755002/4992734 292.97/291.29 c cleaning 9997 clauses out of 20030 with flag 3765000/5002732 293.57/291.85 c cleaning 9991 clauses out of 20033 with flag 3775000/5012732 294.17/292.41 c cleaning 10000 clauses out of 20042 with flag 3785000/5022732 294.67/292.95 c cleaning 10002 clauses out of 20042 with flag 3795000/5032732 295.17/293.48 c cleaning 9995 clauses out of 20040 with flag 3805000/5042732 295.78/294.01 c cleaning 10007 clauses out of 20045 with flag 3815000/5052732 296.28/294.52 c cleaning 10001 clauses out of 20041 with flag 3825003/5062735 296.78/295.02 c cleaning 9994 clauses out of 20038 with flag 3835001/5072733 297.29/295.54 c cleaning 9996 clauses out of 20045 with flag 3845002/5082734 297.89/296.11 c cleaning 9997 clauses out of 20047 with flag 3855000/5092732 298.49/296.72 c cleaning 10014 clauses out of 20049 with flag 3865000/5102732 298.99/297.25 c cleaning 10004 clauses out of 20036 with flag 3875001/5112733 299.49/297.76 c cleaning 10001 clauses out of 20031 with flag 3885000/5122732 299.99/298.26 c cleaning 10003 clauses out of 20032 with flag 3895002/5132734 300.69/298.90 c cleaning 9993 clauses out of 20028 with flag 3905001/5142733 301.29/299.52 c cleaning 9996 clauses out of 20034 with flag 3915000/5152732 301.89/300.10 c cleaning 10010 clauses out of 20038 with flag 3925000/5162732 302.39/300.62 c cleaning 9997 clauses out of 20028 with flag 3935000/5172732 302.99/301.22 c cleaning 10003 clauses out of 20031 with flag 3945000/5182732 303.49/301.75 c cleaning 10004 clauses out of 20030 with flag 3955002/5192734 304.09/302.30 c cleaning 9992 clauses out of 20024 with flag 3965000/5202732 304.59/302.84 c cleaning 9993 clauses out of 20032 with flag 3975000/5212732 305.09/303.36 c cleaning 9999 clauses out of 20039 with flag 3985000/5222732 305.70/303.94 c cleaning 9999 clauses out of 20041 with flag 3995001/5232733 306.20/304.49 c cleaning 10004 clauses out of 20041 with flag 4005000/5242732 306.80/305.01 c cleaning 10003 clauses out of 20037 with flag 4015000/5252732 307.30/305.57 c cleaning 10000 clauses out of 20035 with flag 4025001/5262733 307.80/306.08 c cleaning 10000 clauses out of 20035 with flag 4035001/5272733 308.41/306.62 c cleaning 9991 clauses out of 20034 with flag 4045000/5282732 309.01/307.26 c cleaning 10012 clauses out of 20044 with flag 4055001/5292733 309.61/307.82 c cleaning 10000 clauses out of 20031 with flag 4065000/5302732 310.11/308.33 c cleaning 9996 clauses out of 20031 with flag 4075000/5312732 310.61/308.86 c cleaning 10005 clauses out of 20035 with flag 4085000/5322732 311.11/309.38 c cleaning 9992 clauses out of 20031 with flag 4095001/5332733 311.71/309.96 c cleaning 10008 clauses out of 20041 with flag 4105003/5342735 312.31/310.50 c cleaning 9992 clauses out of 20030 with flag 4115000/5352732 312.81/311.03 c cleaning 10001 clauses out of 20039 with flag 4125001/5362733 313.31/311.55 c cleaning 10001 clauses out of 20039 with flag 4135002/5372734 313.91/312.12 c cleaning 9987 clauses out of 20036 with flag 4145000/5382732 314.41/312.68 c cleaning 10014 clauses out of 20051 with flag 4155002/5392734 315.02/313.23 c cleaning 9995 clauses out of 20036 with flag 4165001/5402733 315.61/313.82 c cleaning 9999 clauses out of 20040 with flag 4175000/5412732 316.21/314.40 c cleaning 10001 clauses out of 20041 with flag 4185000/5422732 316.71/314.91 c cleaning 9997 clauses out of 20040 with flag 4195000/5432732 317.22/315.46 c cleaning 9994 clauses out of 20044 with flag 4205001/5442733 317.72/315.99 c cleaning 9988 clauses out of 20049 with flag 4215000/5452732 318.33/316.53 c cleaning 10004 clauses out of 20061 with flag 4225000/5462732 318.83/317.08 c cleaning 9997 clauses out of 20057 with flag 4235000/5472732 319.43/317.62 c cleaning 10000 clauses out of 20061 with flag 4245001/5482733 320.23/318.42 c cleaning 10009 clauses out of 20060 with flag 4255000/5492732 320.93/319.11 c cleaning 10010 clauses out of 20051 with flag 4265000/5502732 321.73/319.91 c cleaning 9999 clauses out of 20041 with flag 4275000/5512732 322.53/320.71 c starts : 257 322.53/320.71 c conflicts : 5522015 322.53/320.71 c decisions : 6617965 322.53/320.71 c propagations : 159528735 322.53/320.71 c inspects : 2634282672 322.53/320.71 c shortcuts : 0 322.53/320.71 c learnt literals : 22 322.53/320.71 c learnt binary clauses : 224 322.53/320.71 c learnt ternary clauses : 158506 322.53/320.71 c learnt constraints : 5521992 322.53/320.71 c ignored constraints : 0 322.53/320.71 c root simplifications : 0 322.53/320.71 c removed literals (reason simplification) : 210370767 322.53/320.71 c reason swapping (by a shorter reason) : 0 322.53/320.71 c Calls to reduceDB : 554 322.53/320.71 c number of reductions to clauses (during analyze) : 0 322.53/320.71 c number of learned constraints concerned by reduction : 0 322.53/320.71 c number of learning phase by resolution : 0 322.53/320.71 c number of learning phase by cutting planes : 0 322.53/320.71 c speed (assignments/second) : 650595.9731488882 322.53/320.71 c non guided choices 0 322.53/320.71 c learnt constraints type 322.53/320.71 c constraints type 322.53/320.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1476 322.53/320.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 102 322.53/320.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50 322.53/320.71 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1476 322.53/320.71 s OPTIMUM FOUND 322.53/320.71 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 322.53/320.71 c objective function=-7 322.53/320.71 c Total wall clock time (in seconds): 320.595
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-3458411-1307161263/watcher-3458411-1307161263 -o /tmp/evaluation-result-3458411-1307161263/solver-3458411-1307161263 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458411-1307161263.opb running on 4 cores: 1,3,5,7 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.95 2.00 2.00 2/511 24606 /proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 5226 0 1 0 0 0 0 0 22 0 2 0 808541870 13850947584 4928 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3381579 4942 917 9 0 3372735 0 [pid=24606/tid=24607] ppid=24603 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 5344 0 1 0 0 0 0 0 23 0 2 0 808541871 13850947584 6160 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0340549 s] /proc/loadavg: 1.95 2.00 2.00 2/511 24606 /proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13537012 CPUtime=0.02 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 13179 0 1 0 1 1 0 0 22 0 10 0 808541870 13861900288 12878 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3384253 12879 1512 9 0 3375001 0 [pid=24606/tid=24607] ppid=24603 vsize=13537012 CPUtime=0.01 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 12059 0 1 0 0 1 0 0 25 0 10 0 808541871 13861900288 12880 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 47586906588696 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13537012 [startup+0.101066 s] /proc/loadavg: 1.95 2.00 2.00 2/511 24606 /proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13622396 CPUtime=0.1 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 15508 0 1 0 8 2 0 0 22 0 18 0 808541870 13949333504 15175 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3405599 15177 2092 9 0 3396333 0 [pid=24606/tid=24607] ppid=24603 vsize=13622396 CPUtime=0.08 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 13564 0 1 0 6 2 0 0 18 0 18 0 808541871 13949333504 15177 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 47586903523333 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622396 [startup+0.310804 s] /proc/loadavg: 1.95 2.00 2.00 2/511 24606 /proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13625468 CPUtime=0.41 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 18390 0 1 0 39 2 0 0 22 0 18 0 808541870 13952479232 17924 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406367 17924 2213 9 0 3397101 0 [pid=24606/tid=24607] ppid=24603 vsize=13625468 CPUtime=0.26 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15059 0 1 0 24 2 0 0 18 0 18 0 808541871 13952479232 17924 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505539721 0 4 0 16800975 0 0 0 -1 3 0 0 5 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 13625468 [startup+0.700939 s] /proc/loadavg: 1.95 2.00 2.00 2/511 24606 /proc/meminfo: memFree=21760092/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=1.04 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 19984 0 1 0 101 3 0 0 22 0 19 0 808541870 13953531904 18985 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 18985 2230 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=0.62 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15638 0 1 0 60 2 0 0 19 0 19 0 808541871 13953531904 18985 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505619229 0 4 0 16800975 0 0 0 -1 3 0 0 5 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 13626496 [startup+1.50078 s] /proc/loadavg: 1.95 2.00 2.00 3/550 24653 /proc/meminfo: memFree=21293360/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=2.02 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 27053 0 1 0 198 4 0 0 22 0 19 0 808541870 13953531904 23857 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 23858 2264 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=1.38 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15881 0 1 0 136 2 0 0 20 0 19 0 808541871 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505602717 0 4 0 16800975 0 0 0 -1 3 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23858 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.02 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 664 0 0 0 2 0 0 0 16 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.26 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1278 0 0 0 26 0 0 0 15 0 19 0 808541877 13953531904 23859 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.31 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) R 24603 24606 20485 0 -1 4202560 7287 0 0 0 31 0 0 0 15 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264726096470 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 23860 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 13626496 [startup+3.10147 s] /proc/loadavg: 2.03 2.01 2.00 4/551 24654 /proc/meminfo: memFree=20472224/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=4.25 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 32382 0 1 0 420 5 0 0 22 0 19 0 808541870 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 26201 2264 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=2.93 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15884 0 1 0 291 2 0 0 25 0 19 0 808541871 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505602334 0 4 0 16800975 0 0 0 -1 3 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.01 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 203 0 0 0 1 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.06 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 855 0 0 0 6 0 0 0 16 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.34 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 34 0 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.86 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12088 0 0 0 85 1 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 26201 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 13626496 [startup+6.30087 s] /proc/loadavg: 2.03 2.01 2.00 3/551 24655 /proc/meminfo: memFree=20471392/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=7.46 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 32541 0 1 0 741 5 0 0 22 0 19 0 808541870 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 26193 2264 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=6.01 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 15891 0 1 0 599 2 0 0 25 0 19 0 808541871 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505830704 0 4 0 16800975 0 0 0 -1 3 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.01 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 204 0 0 0 1 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 194 0 0 0 0 0 0 0 16 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 808541873 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 993 0 0 0 17 0 0 0 16 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.35 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 35 0 0 0 15 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.86 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12088 0 0 0 85 1 0 0 15 0 19 0 808541877 13953531904 26193 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.14 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 14 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 5 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 162 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.7 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1059 11 0 0 16 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 320.13 Current children cumulated vsize (KiB) 13626496 [startup+319.901 s] /proc/loadavg: 2.03 2.04 2.00 3/551 24667 /proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=321.73 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33818 0 1 0 32151 22 0 0 22 0 19 0 808541870 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 25017 2266 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=308.35 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16434 0 1 0 30832 3 0 0 25 0 19 0 808541871 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505988720 0 4 0 16800975 0 0 0 -1 5 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 162 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.74 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1063 11 0 0 16 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25017 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 321.73 Current children cumulated vsize (KiB) 13626496 [startup+320.302 s] /proc/loadavg: 2.03 2.04 2.00 3/551 24667 /proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=322.13 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33822 0 1 0 32191 22 0 0 22 0 19 0 808541870 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 25020 2266 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=308.73 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16435 0 1 0 30870 3 0 0 25 0 19 0 808541871 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505609954 0 4 0 16800975 0 0 0 -1 5 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 165 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.75 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1064 11 0 0 16 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 322.13 Current children cumulated vsize (KiB) 13626496 [startup+320.701 s] /proc/loadavg: 2.03 2.04 2.00 3/551 24667 /proc/meminfo: memFree=20316312/32951124 swapFree=62999000/67111528 [pid=24606] ppid=24603 vsize=13626496 CPUtime=322.53 cores=1,3,5,7 /proc/24606/stat : 24606 (java) S 24603 24606 20485 0 -1 4202496 33822 0 1 0 32231 22 0 0 22 0 19 0 808541870 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/24606/statm: 3406624 25020 2266 9 0 3397358 0 [pid=24606/tid=24607] ppid=24603 vsize=13626496 CPUtime=309.13 cores=1,3,5,7 /proc/24606/task/24607/stat : 24607 (java) R 24603 24606 20485 0 -1 4202560 16435 0 1 0 30910 3 0 0 25 0 19 0 808541871 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 46912505830751 0 4 0 16800975 0 0 0 -1 5 0 0 5 [pid=24606/tid=24609] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24609/stat : 24609 (java) S 24603 24606 20485 0 -1 4202560 226 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24611] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24611/stat : 24611 (java) S 24603 24606 20485 0 -1 4202560 299 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24612] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24612/stat : 24612 (java) S 24603 24606 20485 0 -1 4202560 55 0 0 0 15 1 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24613] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24613/stat : 24613 (java) S 24603 24606 20485 0 -1 4202560 128 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24615] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24615/stat : 24615 (java) S 24603 24606 20485 0 -1 4202560 165 0 0 0 16 0 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24616] ppid=24603 vsize=13626496 CPUtime=0.16 cores=1,3,5,7 /proc/24606/task/24616/stat : 24616 (java) S 24603 24606 20485 0 -1 4202560 26 0 0 0 16 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24617] ppid=24603 vsize=13626496 CPUtime=0.17 cores=1,3,5,7 /proc/24606/task/24617/stat : 24617 (java) S 24603 24606 20485 0 -1 4202560 219 0 0 0 16 1 0 0 16 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24618] ppid=24603 vsize=13626496 CPUtime=0.15 cores=1,3,5,7 /proc/24606/task/24618/stat : 24618 (java) S 24603 24606 20485 0 -1 4202560 187 0 0 0 15 0 0 0 15 0 19 0 808541873 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24619] ppid=24603 vsize=13626496 CPUtime=10.75 cores=1,3,5,7 /proc/24606/task/24619/stat : 24619 (java) S 24603 24606 20485 0 -1 4202560 1537 0 0 0 1064 11 0 0 16 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 0 0 16800975 18446604457920004480 0 0 -1 5 0 0 0 [pid=24606/tid=24620] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24620/stat : 24620 (java) S 24603 24606 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24621] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24621/stat : 24621 (java) S 24603 24606 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541874 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24622] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24622/stat : 24622 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738228657 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24623] ppid=24603 vsize=13626496 CPUtime=0.36 cores=1,3,5,7 /proc/24606/task/24623/stat : 24623 (java) S 24603 24606 20485 0 -1 4202560 1279 0 0 0 36 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24624] ppid=24603 vsize=13626496 CPUtime=0.92 cores=1,3,5,7 /proc/24606/task/24624/stat : 24624 (java) S 24603 24606 20485 0 -1 4202560 12096 0 0 0 91 1 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 1 0 0 0 [pid=24606/tid=24625] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24625/stat : 24625 (java) S 24603 24606 20485 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738220953 0 4 0 16800975 18446604457920004480 0 0 -1 3 0 0 0 [pid=24606/tid=24626] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24626/stat : 24626 (java) S 24603 24606 20485 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 808541877 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 [pid=24606/tid=24653] ppid=24603 vsize=13626496 CPUtime=0 cores=1,3,5,7 /proc/24606/task/24653/stat : 24653 (java) S 24603 24606 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808541906 13953531904 25020 33554432000 1073741824 1073778376 140733965589392 18446744073709551615 264738221568 0 4 0 16800975 18446604457920004480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 322.53 Current children cumulated vsize (KiB) 13626496 Child status: 30 Real time (s): 320.718 CPU time (s): 322.56 CPU user time (s): 322.333 CPU system time (s): 0.226965 CPU usage (%): 100.574 Max. virtual memory (cumulated for all children) (KiB): 13626496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 322.333 system time used= 0.226965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33849 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= 23168 involuntary context switches= 9954 runsolver used 1.62775 second user time and 3.9424 second system time The end
Begin job on node141 at 2011-06-04 06:21:03 IDJOB=3458411 IDBENCH=48231 IDSOLVER=1952 FILE ID=node141/3458411-1307161263 RUNJOBID= node141-1307161263-24591 PBS_JOBID= 13508775 Free space on /tmp= 73908 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_3.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458411-1307161263/watcher-3458411-1307161263 -o /tmp/evaluation-result-3458411-1307161263/solver-3458411-1307161263 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458411-1307161263.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e70f8e0da8fa345ba6e82dce1b0133d2 RANDOM SEED=807397065 node141.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.806 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.61 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.806 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 : 5362.96 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.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 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.75 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.806 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.806 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: 21760992 kB Buffers: 278040 kB Cached: 659952 kB SwapCached: 8848 kB Active: 10349768 kB Inactive: 575172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21760992 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 608 kB Writeback: 0 kB AnonPages: 9985040 kB Mapped: 25176 kB Slab: 125376 kB PageTables: 70028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150651392 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= 73904 MiB End job on node141 at 2011-06-04 06:26:23