Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | OPT | 62 | 892.736 | 515.606 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb |
MD5SUM | 7070b0ccf5287a23c61644383564c46b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62 |
Best CPU time to get the best result obtained on this benchmark | 0.067989 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62 |
Optimality of the best value was proved | YES |
Number of variables | 672 |
Total number of constraints | 2028 |
Number of constraints which are clauses | 2004 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 672 |
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 | 672 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 672 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.1.v20110525 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 9996466904 0.06/0.11 c Max memory 10048897024 0.06/0.11 c Total memory 10048897024 0.06/0.11 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization 0.06/0.13 c ManyCore solver with 2 solvers running in parallel 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c Expensive reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3732128-1338684657.opb 0.06/0.13 c reading problem ... 0.44/0.32 c ... done. Wall clock time 0.186s. 0.44/0.32 c #vars 672 0.44/0.32 c #constraints 2028 0.44/0.32 c constraints type 0.44/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1618 0.44/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 0.44/0.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 386 0.44/0.32 c constraints type 0.44/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 386 0.44/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1618 0.44/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24 1.57/0.65 c And the winner is Resolution 2.08/0.83 c SATISFIABLE 2.08/0.83 c OPTIMIZING... 2.08/0.83 c Got one! Elapsed wall clock time (in seconds):0.691 2.08/0.83 o 70 2.08/0.84 c And the winner is CuttingPlanes 2.15/1.33 c Got one! Elapsed wall clock time (in seconds):1.194 2.15/1.33 o 68 2.15/1.34 c And the winner is Resolution 2.17/1.83 c Got one! Elapsed wall clock time (in seconds):1.698 2.17/1.83 o 66 2.17/1.89 c cleaning 2974 clauses out of 5956 with flag 1000/5956 2.99/2.12 c cleaning 4491 clauses out of 8984 with flag 7003/11959 3.56/2.41 c cleaning 5735 clauses out of 11490 with flag 14000/18956 4.15/2.76 c cleaning 6873 clauses out of 13757 with flag 22002/26958 4.98/3.13 c cleaning 7934 clauses out of 15883 with flag 31001/35957 5.77/3.55 c cleaning 8968 clauses out of 17950 with flag 41002/45958 6.57/3.98 c cleaning 9484 clauses out of 18979 with flag 51000/55956 7.36/4.40 c And the winner is Resolution 7.56/4.84 c Got one! Elapsed wall clock time (in seconds):4.701 7.56/4.84 o 64 7.89/5.03 c And the winner is CuttingPlanes 7.98/5.34 c Got one! Elapsed wall clock time (in seconds):5.207 7.98/5.34 o 62 8.12/5.47 c cleaning 11787 clauses out of 23592 with flag 2000/70053 8.87/5.80 c cleaning 8886 clauses out of 17803 with flag 8000/76053 9.44/6.16 c cleaning 7956 clauses out of 15916 with flag 15001/83054 10.42/6.64 c cleaning 7960 clauses out of 15958 with flag 23000/91053 11.58/7.20 c cleaning 8493 clauses out of 16998 with flag 32001/100054 12.78/7.82 c cleaning 9229 clauses out of 18504 with flag 42000/110053 14.14/8.53 c cleaning 9620 clauses out of 19275 with flag 52000/120053 15.50/9.23 c cleaning 9821 clauses out of 19654 with flag 62000/130053 16.87/9.94 c cleaning 9889 clauses out of 19834 with flag 72001/140054 18.40/10.71 c cleaning 9954 clauses out of 19944 with flag 82000/150053 19.75/11.41 c cleaning 9982 clauses out of 19990 with flag 92000/160053 21.30/12.23 c cleaning 9991 clauses out of 20009 with flag 102001/170054 22.85/13.02 c cleaning 9989 clauses out of 20017 with flag 112000/180053 24.39/13.85 c cleaning 9992 clauses out of 20028 with flag 122000/190053 25.94/14.69 c cleaning 10008 clauses out of 20037 with flag 132001/200054 27.69/15.57 c cleaning 9992 clauses out of 20027 with flag 142000/210053 29.45/16.43 c cleaning 9997 clauses out of 20035 with flag 152000/220053 30.96/17.29 c cleaning 10002 clauses out of 20038 with flag 162000/230053 32.70/18.13 c cleaning 9996 clauses out of 20036 with flag 172000/240053 34.25/18.96 c cleaning 9993 clauses out of 20040 with flag 182000/250053 35.79/19.76 c cleaning 9999 clauses out of 20047 with flag 192000/260053 37.50/20.64 c cleaning 10012 clauses out of 20049 with flag 202001/270054 39.43/21.60 c cleaning 9990 clauses out of 20036 with flag 212000/280053 40.95/22.48 c cleaning 10000 clauses out of 20047 with flag 222001/290054 42.68/23.35 c cleaning 10006 clauses out of 20046 with flag 232000/300053 44.37/24.24 c cleaning 9995 clauses out of 20041 with flag 242001/310054 46.09/25.13 c cleaning 10001 clauses out of 20046 with flag 252001/320054 47.79/26.04 c cleaning 10009 clauses out of 20044 with flag 262000/330053 49.31/26.83 c cleaning 10003 clauses out of 20036 with flag 272001/340054 50.98/27.72 c cleaning 9997 clauses out of 20032 with flag 282000/350053 52.71/28.62 c cleaning 10006 clauses out of 20036 with flag 292001/360054 54.41/29.53 c cleaning 9995 clauses out of 20030 with flag 302001/370054 56.13/30.45 c cleaning 9989 clauses out of 20034 with flag 312000/380053 57.80/31.37 c cleaning 10019 clauses out of 20045 with flag 322000/390053 59.52/32.28 c cleaning 9993 clauses out of 20026 with flag 332000/400053 61.44/33.21 c cleaning 10003 clauses out of 20034 with flag 342001/410054 63.15/34.13 c cleaning 10000 clauses out of 20030 with flag 352000/420053 64.81/35.08 c cleaning 9996 clauses out of 20030 with flag 362000/430053 66.71/36.00 c cleaning 10004 clauses out of 20035 with flag 372001/440054 68.42/36.93 c cleaning 9991 clauses out of 20030 with flag 382000/450053 70.15/37.84 c cleaning 10001 clauses out of 20040 with flag 392001/460054 71.80/38.74 c cleaning 10003 clauses out of 20039 with flag 402001/470054 73.51/39.63 c cleaning 10000 clauses out of 20035 with flag 412000/480053 75.01/40.47 c cleaning 9994 clauses out of 20035 with flag 422000/490053 76.70/41.39 c cleaning 10000 clauses out of 20042 with flag 432001/500054 78.53/42.38 c cleaning 9994 clauses out of 20041 with flag 442000/510053 80.43/43.30 c cleaning 10022 clauses out of 20048 with flag 452001/520054 82.12/44.23 c cleaning 9987 clauses out of 20025 with flag 462000/530053 83.83/45.18 c cleaning 10000 clauses out of 20039 with flag 472001/540054 85.68/46.18 c cleaning 10006 clauses out of 20039 with flag 482001/550054 87.57/47.12 c cleaning 10000 clauses out of 20033 with flag 492001/560054 89.27/48.06 c cleaning 9997 clauses out of 20034 with flag 502002/570055 91.15/49.05 c cleaning 9994 clauses out of 20035 with flag 512000/580053 93.00/50.09 c cleaning 10000 clauses out of 20041 with flag 522000/590053 94.89/51.00 c cleaning 10005 clauses out of 20042 with flag 532001/600054 96.57/51.94 c cleaning 10017 clauses out of 20037 with flag 542001/610054 98.45/52.90 c cleaning 10005 clauses out of 20020 with flag 552001/620054 100.28/53.92 c cleaning 9989 clauses out of 20014 with flag 562000/630053 102.16/54.90 c cleaning 9995 clauses out of 20025 with flag 572000/640053 103.83/55.86 c cleaning 9988 clauses out of 20031 with flag 582001/650054 105.71/56.83 c cleaning 10019 clauses out of 20042 with flag 592000/660053 107.32/57.79 c cleaning 9987 clauses out of 20024 with flag 602001/670054 109.00/58.68 c cleaning 10003 clauses out of 20036 with flag 612000/680053 110.69/59.58 c cleaning 10007 clauses out of 20033 with flag 622000/690053 112.57/60.53 c cleaning 10004 clauses out of 20026 with flag 632000/700053 114.39/61.58 c cleaning 9991 clauses out of 20023 with flag 642001/710054 116.26/62.52 c cleaning 10003 clauses out of 20033 with flag 652002/720055 117.93/63.42 c cleaning 9997 clauses out of 20029 with flag 662001/730054 119.60/64.34 c cleaning 9995 clauses out of 20032 with flag 672001/740054 121.40/65.33 c cleaning 10001 clauses out of 20036 with flag 682000/750053 123.07/66.25 c cleaning 9996 clauses out of 20036 with flag 692001/760054 124.74/67.16 c cleaning 9986 clauses out of 20039 with flag 702000/770053 126.60/68.11 c cleaning 10008 clauses out of 20053 with flag 712000/780053 128.36/69.11 c cleaning 10012 clauses out of 20045 with flag 722000/790053 130.02/70.03 c cleaning 9999 clauses out of 20034 with flag 732001/800054 131.69/70.96 c cleaning 9989 clauses out of 20034 with flag 742000/810053 133.35/71.87 c cleaning 9999 clauses out of 20045 with flag 752000/820053 135.13/72.86 c cleaning 10006 clauses out of 20046 with flag 762000/830053 136.79/73.78 c cleaning 10001 clauses out of 20041 with flag 772001/840054 138.65/74.73 c cleaning 10001 clauses out of 20039 with flag 782000/850053 140.30/75.65 c cleaning 9999 clauses out of 20038 with flag 792000/860053 142.27/76.71 c cleaning 10001 clauses out of 20040 with flag 802001/870054 143.92/77.61 c cleaning 10001 clauses out of 20039 with flag 812001/880054 145.58/78.55 c cleaning 9996 clauses out of 20038 with flag 822001/890054 147.22/79.48 c cleaning 9994 clauses out of 20041 with flag 832000/900053 148.98/80.49 c cleaning 10002 clauses out of 20048 with flag 842001/910054 150.85/81.43 c cleaning 10002 clauses out of 20045 with flag 852000/920053 152.50/82.33 c cleaning 10008 clauses out of 20044 with flag 862001/930054 154.15/83.23 c cleaning 9997 clauses out of 20035 with flag 872000/940053 155.92/84.28 c cleaning 9998 clauses out of 20039 with flag 882001/950054 157.56/85.20 c cleaning 10006 clauses out of 20040 with flag 892000/960053 159.40/86.12 c cleaning 9995 clauses out of 20035 with flag 902001/970054 161.05/87.08 c cleaning 10017 clauses out of 20041 with flag 912002/980055 163.00/88.11 c cleaning 9995 clauses out of 20023 with flag 922001/990054 164.66/89.03 c cleaning 9988 clauses out of 20028 with flag 932001/1000054 166.48/90.00 c cleaning 9992 clauses out of 20039 with flag 942000/1010053 167.93/90.88 c cleaning 10015 clauses out of 20047 with flag 952000/1020053 169.88/91.91 c cleaning 10000 clauses out of 20033 with flag 962001/1030054 171.53/92.83 c cleaning 10001 clauses out of 20032 with flag 972000/1040053 173.38/93.82 c cleaning 9995 clauses out of 20031 with flag 982000/1050053 175.24/94.81 c cleaning 10006 clauses out of 20036 with flag 992000/1060053 176.96/95.89 c cleaning 10000 clauses out of 20030 with flag 1002000/1070053 178.81/96.88 c cleaning 10000 clauses out of 20030 with flag 1012000/1080053 180.64/97.84 c cleaning 10005 clauses out of 20030 with flag 1022000/1090053 182.45/98.82 c cleaning 10000 clauses out of 20026 with flag 1032001/1100054 184.19/99.84 c cleaning 9999 clauses out of 20026 with flag 1042001/1110054 185.83/100.79 c cleaning 9993 clauses out of 20026 with flag 1052000/1120053 187.69/101.75 c cleaning 9998 clauses out of 20033 with flag 1062000/1130053 189.52/102.70 c cleaning 10000 clauses out of 20037 with flag 1072002/1140055 191.27/103.79 c cleaning 9997 clauses out of 20036 with flag 1082001/1150054 193.11/104.80 c cleaning 10002 clauses out of 20038 with flag 1092000/1160053 194.96/105.78 c cleaning 10001 clauses out of 20037 with flag 1102001/1170054 196.79/106.75 c cleaning 9998 clauses out of 20035 with flag 1112000/1180053 198.73/107.84 c cleaning 9999 clauses out of 20037 with flag 1122000/1190053 200.57/108.82 c cleaning 9995 clauses out of 20038 with flag 1132000/1200053 202.19/109.78 c cleaning 9998 clauses out of 20044 with flag 1142001/1210054 204.02/110.78 c cleaning 9999 clauses out of 20046 with flag 1152001/1220054 205.92/111.86 c cleaning 10013 clauses out of 20046 with flag 1162000/1230053 207.73/112.86 c cleaning 9999 clauses out of 20033 with flag 1172000/1240053 209.54/113.84 c cleaning 10013 clauses out of 20034 with flag 1182000/1250053 211.37/114.83 c cleaning 9991 clauses out of 20021 with flag 1192000/1260053 213.08/115.90 c cleaning 10000 clauses out of 20030 with flag 1202000/1270053 214.89/116.86 c cleaning 9999 clauses out of 20030 with flag 1212000/1280053 216.71/117.86 c cleaning 9998 clauses out of 20031 with flag 1222000/1290053 218.55/118.84 c cleaning 9986 clauses out of 20034 with flag 1232001/1300054 220.46/119.94 c cleaning 10007 clauses out of 20048 with flag 1242001/1310054 222.28/120.92 c cleaning 10007 clauses out of 20041 with flag 1252001/1320054 224.07/121.91 c cleaning 10001 clauses out of 20032 with flag 1262000/1330053 225.88/122.92 c cleaning 9987 clauses out of 20031 with flag 1272000/1340053 227.80/124.00 c cleaning 10001 clauses out of 20044 with flag 1282000/1350053 229.43/124.98 c cleaning 10006 clauses out of 20043 with flag 1292000/1360053 231.24/125.98 c cleaning 9998 clauses out of 20037 with flag 1302000/1370053 233.05/126.96 c cleaning 10001 clauses out of 20040 with flag 1312001/1380054 234.96/128.02 c cleaning 10005 clauses out of 20038 with flag 1322000/1390053 236.77/129.00 c cleaning 10000 clauses out of 20034 with flag 1332001/1400054 238.57/130.01 c cleaning 10001 clauses out of 20033 with flag 1342000/1410053 240.36/131.04 c cleaning 10000 clauses out of 20032 with flag 1352000/1420053 242.23/132.18 c cleaning 9996 clauses out of 20032 with flag 1362000/1430053 244.06/133.19 c cleaning 10002 clauses out of 20036 with flag 1372000/1440053 245.86/134.19 c cleaning 9996 clauses out of 20035 with flag 1382001/1450054 247.64/135.20 c cleaning 10009 clauses out of 20039 with flag 1392001/1460054 249.73/136.34 c cleaning 9996 clauses out of 20030 with flag 1402001/1470054 251.54/137.31 c cleaning 10004 clauses out of 20034 with flag 1412001/1480054 253.33/138.31 c cleaning 10000 clauses out of 20029 with flag 1422000/1490053 255.13/139.32 c cleaning 9997 clauses out of 20030 with flag 1432001/1500054 256.99/140.44 c cleaning 9994 clauses out of 20032 with flag 1442000/1510053 258.80/141.42 c cleaning 10002 clauses out of 20038 with flag 1452000/1520053 260.60/142.40 c cleaning 10000 clauses out of 20037 with flag 1462001/1530054 262.37/143.41 c cleaning 10000 clauses out of 20036 with flag 1472000/1540053 264.43/144.62 c cleaning 10002 clauses out of 20037 with flag 1482001/1550054 266.42/145.70 c cleaning 10013 clauses out of 20035 with flag 1492001/1560054 268.20/146.72 c cleaning 9991 clauses out of 20022 with flag 1502001/1570054 269.79/147.68 c cleaning 9992 clauses out of 20030 with flag 1512000/1580053 271.65/148.78 c cleaning 9998 clauses out of 20039 with flag 1522001/1590054 273.45/149.73 c cleaning 9993 clauses out of 20040 with flag 1532000/1600053 275.26/150.70 c cleaning 10004 clauses out of 20048 with flag 1542001/1610054 276.84/151.68 c cleaning 10003 clauses out of 20043 with flag 1552000/1620053 278.70/152.77 c cleaning 9997 clauses out of 20040 with flag 1562000/1630053 280.67/153.80 c cleaning 10005 clauses out of 20043 with flag 1572000/1640053 282.26/154.77 c cleaning 9996 clauses out of 20038 with flag 1582000/1650053 284.24/155.81 c cleaning 9999 clauses out of 20042 with flag 1592000/1660053 286.10/156.93 c cleaning 9998 clauses out of 20043 with flag 1602000/1670053 287.88/157.92 c cleaning 10003 clauses out of 20045 with flag 1612000/1680053 289.66/158.92 c cleaning 10006 clauses out of 20043 with flag 1622001/1690054 291.44/159.92 c cleaning 10006 clauses out of 20036 with flag 1632000/1700053 293.29/161.03 c cleaning 9991 clauses out of 20031 with flag 1642001/1710054 295.07/162.02 c cleaning 10004 clauses out of 20039 with flag 1652000/1720053 296.86/163.07 c cleaning 10007 clauses out of 20035 with flag 1662000/1730053 298.65/164.09 c cleaning 10001 clauses out of 20029 with flag 1672001/1740054 300.50/165.19 c cleaning 9988 clauses out of 20027 with flag 1682000/1750053 302.48/166.20 c cleaning 10004 clauses out of 20039 with flag 1692000/1760053 304.07/167.20 c cleaning 9993 clauses out of 20036 with flag 1702001/1770054 305.84/168.17 c cleaning 10004 clauses out of 20042 with flag 1712000/1780053 307.87/169.34 c cleaning 10008 clauses out of 20039 with flag 1722001/1790054 309.65/170.33 c cleaning 9996 clauses out of 20031 with flag 1732001/1800054 311.43/171.36 c cleaning 10007 clauses out of 20035 with flag 1742001/1810054 313.21/172.37 c cleaning 9993 clauses out of 20027 with flag 1752000/1820053 315.25/173.50 c cleaning 9996 clauses out of 20034 with flag 1762000/1830053 316.81/174.49 c cleaning 10001 clauses out of 20040 with flag 1772002/1840055 318.81/175.51 c cleaning 10002 clauses out of 20038 with flag 1782001/1850054 320.59/176.53 c cleaning 9998 clauses out of 20036 with flag 1792001/1860054 322.42/177.67 c cleaning 9999 clauses out of 20037 with flag 1802000/1870053 324.21/178.68 c cleaning 10003 clauses out of 20038 with flag 1812000/1880053 326.18/179.71 c cleaning 9994 clauses out of 20035 with flag 1822000/1890053 327.95/180.72 c cleaning 10005 clauses out of 20043 with flag 1832002/1900055 329.79/181.88 c cleaning 9994 clauses out of 20036 with flag 1842000/1910053 331.76/182.91 c cleaning 10010 clauses out of 20042 with flag 1852000/1920053 333.53/183.94 c cleaning 10003 clauses out of 20032 with flag 1862000/1930053 335.30/184.98 c cleaning 9999 clauses out of 20029 with flag 1872000/1940053 337.31/186.16 c cleaning 9997 clauses out of 20030 with flag 1882000/1950053 339.28/187.25 c cleaning 9997 clauses out of 20034 with flag 1892001/1960054 341.25/188.32 c cleaning 9997 clauses out of 20037 with flag 1902001/1970054 343.00/189.40 c cleaning 9999 clauses out of 20039 with flag 1912000/1980053 345.22/190.60 c cleaning 10002 clauses out of 20041 with flag 1922001/1990054 346.99/191.65 c cleaning 9992 clauses out of 20039 with flag 1932001/2000054 347.76/192.18 c cleaning 0 clauses out of 5597 with flag 0/5600 349.34/192.99 c cleaning 10004 clauses out of 20046 with flag 1942000/2010053 351.75/194.22 c cleaning 9999 clauses out of 20043 with flag 1952001/2020054 353.51/195.27 c cleaning 9998 clauses out of 20043 with flag 1962000/2030053 355.44/196.34 c cleaning 10005 clauses out of 20046 with flag 1972001/2040054 357.39/197.40 c cleaning 10004 clauses out of 20041 with flag 1982001/2050054 359.37/198.66 c cleaning 10003 clauses out of 20037 with flag 1992001/2060054 361.31/199.71 c cleaning 9994 clauses out of 20034 with flag 2002001/2070054 363.06/200.72 c cleaning 10003 clauses out of 20039 with flag 2012000/2080053 364.82/201.76 c cleaning 10001 clauses out of 20036 with flag 2022000/2090053 366.80/202.98 c cleaning 9997 clauses out of 20035 with flag 2032000/2100053 368.76/204.04 c cleaning 10006 clauses out of 20039 with flag 2042001/2110054 370.73/205.12 c cleaning 9995 clauses out of 20032 with flag 2052000/2120053 372.67/206.23 c cleaning 10011 clauses out of 20037 with flag 2062000/2130053 374.66/207.47 c cleaning 9988 clauses out of 20027 with flag 2072001/2140054 376.40/208.49 c cleaning 10005 clauses out of 20038 with flag 2082000/2150053 378.34/209.57 c cleaning 10007 clauses out of 20034 with flag 2092001/2160054 380.28/210.64 c cleaning 10006 clauses out of 20027 with flag 2102001/2170054 382.45/211.91 c cleaning 9999 clauses out of 20020 with flag 2112000/2180053 384.21/212.97 c cleaning 9988 clauses out of 20022 with flag 2122001/2190054 386.16/214.00 c cleaning 10006 clauses out of 20034 with flag 2132001/2200054 387.93/215.07 c cleaning 10007 clauses out of 20027 with flag 2142000/2210053 390.12/216.32 c cleaning 9995 clauses out of 20021 with flag 2152001/2220054 391.89/217.36 c cleaning 9991 clauses out of 20026 with flag 2162001/2230054 393.62/218.39 c cleaning 10000 clauses out of 20035 with flag 2172001/2240054 395.56/219.49 c cleaning 9998 clauses out of 20035 with flag 2182001/2250054 397.74/220.71 c cleaning 9998 clauses out of 20037 with flag 2192001/2260054 399.47/221.77 c cleaning 10000 clauses out of 20039 with flag 2202001/2270054 401.43/222.84 c cleaning 10003 clauses out of 20039 with flag 2212001/2280054 403.37/223.90 c cleaning 9996 clauses out of 20035 with flag 2222000/2290053 405.35/225.12 c cleaning 9998 clauses out of 20040 with flag 2232001/2300054 407.10/226.17 c cleaning 9997 clauses out of 20042 with flag 2242001/2310054 409.02/227.22 c cleaning 10003 clauses out of 20045 with flag 2252001/2320054 410.75/228.29 c cleaning 10000 clauses out of 20041 with flag 2262000/2330053 412.74/229.48 c cleaning 10003 clauses out of 20042 with flag 2272001/2340054 414.68/230.54 c cleaning 9995 clauses out of 20038 with flag 2282000/2350053 416.62/231.63 c cleaning 10002 clauses out of 20044 with flag 2292001/2360054 418.54/232.70 c cleaning 9997 clauses out of 20042 with flag 2302001/2370054 420.49/233.95 c cleaning 10003 clauses out of 20044 with flag 2312000/2380053 422.64/235.11 c cleaning 9998 clauses out of 20041 with flag 2322000/2390053 424.59/236.25 c cleaning 10001 clauses out of 20044 with flag 2332001/2400054 426.51/237.36 c cleaning 9992 clauses out of 20042 with flag 2342000/2410053 428.72/238.61 c cleaning 10004 clauses out of 20051 with flag 2352001/2420054 430.44/239.70 c cleaning 10000 clauses out of 20047 with flag 2362001/2430054 432.39/240.79 c cleaning 9999 clauses out of 20046 with flag 2372000/2440053 434.54/241.92 c cleaning 10006 clauses out of 20047 with flag 2382000/2450053 436.55/243.15 c cleaning 10006 clauses out of 20043 with flag 2392002/2460055 438.51/244.22 c cleaning 9994 clauses out of 20036 with flag 2402001/2470054 440.45/245.33 c cleaning 10003 clauses out of 20042 with flag 2412001/2480054 442.40/246.44 c cleaning 9998 clauses out of 20038 with flag 2422000/2490053 444.54/247.75 c cleaning 10002 clauses out of 20040 with flag 2432000/2500053 446.49/248.86 c cleaning 10003 clauses out of 20038 with flag 2442000/2510053 448.44/249.92 c cleaning 10001 clauses out of 20036 with flag 2452001/2520054 450.38/251.01 c cleaning 10000 clauses out of 20034 with flag 2462000/2530053 452.35/252.23 c cleaning 9998 clauses out of 20035 with flag 2472001/2540054 454.29/253.35 c cleaning 9991 clauses out of 20036 with flag 2482000/2550053 456.22/254.45 c cleaning 10003 clauses out of 20045 with flag 2492000/2560053 458.17/255.56 c cleaning 10000 clauses out of 20042 with flag 2502000/2570053 460.32/256.86 c cleaning 9999 clauses out of 20043 with flag 2512001/2580054 462.44/258.03 c cleaning 10011 clauses out of 20043 with flag 2522000/2590053 464.40/259.16 c cleaning 9990 clauses out of 20032 with flag 2532000/2600053 466.33/260.26 c cleaning 10002 clauses out of 20043 with flag 2542001/2610054 468.68/261.61 c cleaning 9997 clauses out of 20040 with flag 2552000/2620053 470.59/262.80 c cleaning 9998 clauses out of 20043 with flag 2562000/2630053 472.74/263.96 c cleaning 10004 clauses out of 20046 with flag 2572001/2640054 474.67/265.07 c cleaning 10007 clauses out of 20041 with flag 2582000/2650053 476.81/266.38 c cleaning 9994 clauses out of 20035 with flag 2592001/2660054 478.74/267.49 c cleaning 10004 clauses out of 20041 with flag 2602001/2670054 480.85/268.62 c cleaning 9991 clauses out of 20036 with flag 2612000/2680053 482.76/269.76 c cleaning 9999 clauses out of 20046 with flag 2622001/2690054 484.88/271.08 c cleaning 10001 clauses out of 20047 with flag 2632001/2700054 486.80/272.20 c cleaning 10001 clauses out of 20045 with flag 2642000/2710053 488.93/273.34 c cleaning 10004 clauses out of 20044 with flag 2652000/2720053 490.84/274.48 c cleaning 10002 clauses out of 20042 with flag 2662002/2730055 493.20/275.82 c cleaning 9995 clauses out of 20039 with flag 2672001/2740054 495.13/276.99 c cleaning 10000 clauses out of 20043 with flag 2682000/2750053 497.26/278.15 c cleaning 10003 clauses out of 20044 with flag 2692001/2760054 499.19/279.30 c cleaning 9998 clauses out of 20041 with flag 2702001/2770054 501.55/280.66 c cleaning 10000 clauses out of 20043 with flag 2712001/2780054 503.68/281.80 c cleaning 9998 clauses out of 20044 with flag 2722002/2790055 505.60/282.95 c cleaning 9994 clauses out of 20044 with flag 2732000/2800053 507.51/284.07 c cleaning 10005 clauses out of 20050 with flag 2742000/2810053 509.65/285.35 c cleaning 10003 clauses out of 20045 with flag 2752000/2820053 511.57/286.48 c cleaning 10001 clauses out of 20042 with flag 2762000/2830053 513.48/287.59 c cleaning 10005 clauses out of 20042 with flag 2772001/2840054 515.41/288.68 c cleaning 10003 clauses out of 20036 with flag 2782000/2850053 517.55/289.96 c cleaning 10006 clauses out of 20034 with flag 2792001/2860054 519.65/291.15 c cleaning 9999 clauses out of 20027 with flag 2802000/2870053 521.56/292.30 c cleaning 9995 clauses out of 20028 with flag 2812000/2880053 523.66/293.45 c cleaning 10002 clauses out of 20033 with flag 2822000/2890053 525.82/294.75 c cleaning 9999 clauses out of 20031 with flag 2832000/2900053 527.73/295.84 c cleaning 9996 clauses out of 20032 with flag 2842000/2910053 529.66/296.93 c cleaning 10001 clauses out of 20037 with flag 2852001/2920054 531.55/298.08 c cleaning 10003 clauses out of 20036 with flag 2862001/2930054 533.68/299.38 c cleaning 9995 clauses out of 20033 with flag 2872001/2940054 535.60/300.46 c cleaning 10005 clauses out of 20038 with flag 2882001/2950054 537.51/301.52 c cleaning 9994 clauses out of 20032 with flag 2892000/2960053 539.43/302.63 c cleaning 10002 clauses out of 20039 with flag 2902001/2970054 541.57/303.93 c cleaning 10000 clauses out of 20037 with flag 2912001/2980054 543.29/304.99 c cleaning 9996 clauses out of 20036 with flag 2922000/2990053 545.38/306.13 c cleaning 10005 clauses out of 20040 with flag 2932000/3000053 547.29/307.23 c cleaning 10008 clauses out of 20037 with flag 2942002/3010055 549.28/308.44 c cleaning 9999 clauses out of 20028 with flag 2952001/3020054 551.20/309.53 c cleaning 9999 clauses out of 20029 with flag 2962001/3030054 553.10/310.62 c cleaning 9997 clauses out of 20029 with flag 2972000/3040053 555.00/311.74 c cleaning 10000 clauses out of 20033 with flag 2982001/3050054 557.17/313.03 c cleaning 10001 clauses out of 20032 with flag 2992000/3060053 559.08/314.10 c cleaning 9996 clauses out of 20032 with flag 3002001/3070054 560.99/315.20 c cleaning 9997 clauses out of 20035 with flag 3012000/3080053 562.88/316.30 c cleaning 10002 clauses out of 20039 with flag 3022001/3090054 565.18/317.70 c cleaning 9997 clauses out of 20037 with flag 3032001/3100054 567.07/318.80 c cleaning 10001 clauses out of 20040 with flag 3042001/3110054 568.97/319.90 c cleaning 9997 clauses out of 20038 with flag 3052000/3120053 570.67/320.99 c cleaning 10005 clauses out of 20041 with flag 3062000/3130053 572.69/322.19 c cleaning 10006 clauses out of 20038 with flag 3072002/3140055 574.60/323.27 c cleaning 9994 clauses out of 20031 with flag 3082001/3150054 576.53/324.37 c cleaning 10006 clauses out of 20036 with flag 3092000/3160053 578.43/325.45 c cleaning 9991 clauses out of 20031 with flag 3102001/3170054 580.59/326.75 c cleaning 10000 clauses out of 20038 with flag 3112000/3180053 582.48/327.85 c cleaning 10000 clauses out of 20039 with flag 3122001/3190054 584.38/328.98 c cleaning 10000 clauses out of 20038 with flag 3132000/3200053 586.45/330.10 c cleaning 10010 clauses out of 20038 with flag 3142000/3210053 588.56/331.41 c cleaning 9998 clauses out of 20028 with flag 3152000/3220053 590.46/332.51 c cleaning 9999 clauses out of 20030 with flag 3162000/3230053 592.36/333.61 c cleaning 9998 clauses out of 20031 with flag 3172000/3240053 594.27/334.72 c cleaning 9998 clauses out of 20033 with flag 3182000/3250053 596.41/336.05 c cleaning 9997 clauses out of 20035 with flag 3192000/3260053 598.30/337.18 c cleaning 10009 clauses out of 20038 with flag 3202000/3270053 600.21/338.28 c cleaning 9996 clauses out of 20029 with flag 3212000/3280053 602.13/339.37 c cleaning 9999 clauses out of 20034 with flag 3222001/3290054 604.43/340.70 c cleaning 9991 clauses out of 20035 with flag 3232001/3300054 606.12/341.78 c cleaning 10001 clauses out of 20043 with flag 3242000/3310053 608.19/342.92 c cleaning 10006 clauses out of 20042 with flag 3252000/3320053 610.10/344.06 c cleaning 9997 clauses out of 20037 with flag 3262001/3330054 612.22/345.36 c cleaning 10006 clauses out of 20039 with flag 3272000/3340053 614.10/346.47 c cleaning 9998 clauses out of 20034 with flag 3282001/3350054 616.00/347.57 c cleaning 9998 clauses out of 20035 with flag 3292000/3360053 617.90/348.66 c cleaning 10003 clauses out of 20038 with flag 3302001/3370054 620.00/349.96 c cleaning 10005 clauses out of 20034 with flag 3312000/3380053 621.90/351.07 c cleaning 10006 clauses out of 20030 with flag 3322001/3390054 623.80/352.17 c cleaning 9993 clauses out of 20023 with flag 3332000/3400053 625.67/353.29 c cleaning 9996 clauses out of 20031 with flag 3342001/3410054 627.97/354.61 c cleaning 9991 clauses out of 20034 with flag 3352000/3420053 629.88/355.71 c cleaning 10002 clauses out of 20044 with flag 3362001/3430054 631.76/356.82 c cleaning 9996 clauses out of 20041 with flag 3372000/3440053 633.65/357.92 c cleaning 10001 clauses out of 20046 with flag 3382001/3450054 635.75/359.22 c cleaning 10006 clauses out of 20044 with flag 3392000/3460053 637.64/360.34 c cleaning 9995 clauses out of 20039 with flag 3402001/3470054 639.53/361.49 c cleaning 9998 clauses out of 20043 with flag 3412000/3480053 641.61/362.61 c cleaning 9999 clauses out of 20046 with flag 3422001/3490054 643.69/363.94 c cleaning 10012 clauses out of 20048 with flag 3432002/3500055 645.58/365.06 c cleaning 9994 clauses out of 20034 with flag 3442000/3510053 647.48/366.16 c cleaning 10000 clauses out of 20040 with flag 3452000/3520053 649.36/367.28 c cleaning 9998 clauses out of 20040 with flag 3462000/3530053 651.66/368.61 c cleaning 10005 clauses out of 20042 with flag 3472000/3540053 653.55/369.77 c cleaning 9997 clauses out of 20037 with flag 3482000/3550053 655.43/370.88 c cleaning 10005 clauses out of 20040 with flag 3492000/3560053 657.50/372.01 c cleaning 9998 clauses out of 20035 with flag 3502000/3570053 659.37/373.27 c cleaning 10002 clauses out of 20037 with flag 3512000/3580053 661.47/374.42 c cleaning 10004 clauses out of 20036 with flag 3522001/3590054 663.32/375.58 c cleaning 9995 clauses out of 20031 with flag 3532000/3600053 665.20/376.68 c cleaning 10003 clauses out of 20036 with flag 3542000/3610053 667.46/378.03 c cleaning 10002 clauses out of 20034 with flag 3552001/3620054 669.35/379.18 c cleaning 9993 clauses out of 20032 with flag 3562001/3630054 671.43/380.32 c cleaning 10005 clauses out of 20039 with flag 3572001/3640054 673.31/381.46 c cleaning 10001 clauses out of 20033 with flag 3582000/3650053 675.58/382.81 c cleaning 9999 clauses out of 20032 with flag 3592000/3660053 677.45/383.98 c cleaning 10003 clauses out of 20033 with flag 3602000/3670053 679.52/385.13 c cleaning 10002 clauses out of 20031 with flag 3612001/3680054 681.38/386.26 c cleaning 10007 clauses out of 20029 with flag 3622001/3690054 683.45/387.57 c cleaning 10001 clauses out of 20021 with flag 3632000/3700053 685.52/388.70 c cleaning 9999 clauses out of 20020 with flag 3642000/3710053 687.37/389.85 c cleaning 10000 clauses out of 20021 with flag 3652000/3720053 689.22/390.99 c cleaning 9998 clauses out of 20022 with flag 3662001/3730054 691.29/392.29 c cleaning 9998 clauses out of 20023 with flag 3672000/3740053 693.36/393.45 c cleaning 10000 clauses out of 20025 with flag 3682000/3750053 695.42/394.62 c cleaning 9995 clauses out of 20026 with flag 3692001/3760054 697.30/395.79 c cleaning 9997 clauses out of 20030 with flag 3702000/3770053 699.76/397.20 c cleaning 9990 clauses out of 20034 with flag 3712001/3780054 701.82/398.42 c cleaning 10005 clauses out of 20043 with flag 3722000/3790053 703.67/399.56 c cleaning 10004 clauses out of 20038 with flag 3732000/3800053 705.72/400.70 c cleaning 9997 clauses out of 20035 with flag 3742001/3810054 707.78/402.06 c cleaning 10002 clauses out of 20038 with flag 3752001/3820054 709.65/403.18 c cleaning 10000 clauses out of 20035 with flag 3762000/3830053 711.70/404.32 c cleaning 10002 clauses out of 20035 with flag 3772000/3840053 713.56/405.48 c cleaning 9999 clauses out of 20033 with flag 3782000/3850053 715.84/406.86 c cleaning 10002 clauses out of 20035 with flag 3792001/3860054 717.71/407.98 c cleaning 9993 clauses out of 20032 with flag 3802000/3870053 719.79/409.11 c cleaning 9996 clauses out of 20040 with flag 3812001/3880054 721.65/410.22 c cleaning 10006 clauses out of 20043 with flag 3822000/3890053 723.56/411.48 c cleaning 10000 clauses out of 20037 with flag 3832000/3900053 725.62/412.62 c cleaning 10001 clauses out of 20038 with flag 3842001/3910054 727.48/413.74 c cleaning 10012 clauses out of 20037 with flag 3852001/3920054 729.36/414.89 c cleaning 10002 clauses out of 20025 with flag 3862001/3930054 731.62/416.22 c cleaning 9988 clauses out of 20022 with flag 3872000/3940053 733.47/417.36 c cleaning 9997 clauses out of 20034 with flag 3882000/3950053 735.55/418.52 c cleaning 9991 clauses out of 20037 with flag 3892000/3960053 737.41/419.68 c cleaning 10006 clauses out of 20046 with flag 3902000/3970053 739.71/421.04 c cleaning 10000 clauses out of 20041 with flag 3912001/3980054 741.57/422.18 c cleaning 10003 clauses out of 20040 with flag 3922000/3990053 743.62/423.34 c cleaning 10005 clauses out of 20037 with flag 3932000/4000053 745.49/424.49 c cleaning 10002 clauses out of 20033 with flag 3942001/4010054 747.90/425.91 c cleaning 9999 clauses out of 20030 with flag 3952000/4020053 749.75/427.06 c cleaning 10002 clauses out of 20031 with flag 3962000/4030053 751.62/428.17 c cleaning 9998 clauses out of 20028 with flag 3972000/4040053 753.48/429.29 c cleaning 10001 clauses out of 20031 with flag 3982001/4050054 755.71/430.65 c cleaning 9997 clauses out of 20029 with flag 3992000/4060053 757.57/431.75 c cleaning 10011 clauses out of 20033 with flag 4002001/4070054 759.42/432.88 c cleaning 9991 clauses out of 20022 with flag 4012001/4080054 761.45/434.02 c cleaning 10004 clauses out of 20030 with flag 4022000/4090053 763.69/435.40 c cleaning 9996 clauses out of 20027 with flag 4032001/4100054 765.55/436.55 c cleaning 10000 clauses out of 20031 with flag 4042001/4110054 767.40/437.68 c cleaning 9997 clauses out of 20030 with flag 4052000/4120053 769.48/438.83 c cleaning 10008 clauses out of 20034 with flag 4062001/4130054 771.50/440.18 c cleaning 9994 clauses out of 20025 with flag 4072000/4140053 773.56/441.33 c cleaning 10008 clauses out of 20031 with flag 4082000/4150053 775.62/442.51 c cleaning 9996 clauses out of 20023 with flag 4092000/4160053 777.48/443.64 c cleaning 9999 clauses out of 20027 with flag 4102000/4170053 779.72/445.03 c cleaning 10001 clauses out of 20028 with flag 4112000/4180053 781.57/446.17 c cleaning 10003 clauses out of 20029 with flag 4122002/4190055 783.62/447.30 c cleaning 10006 clauses out of 20025 with flag 4132001/4200054 785.47/448.46 c cleaning 9993 clauses out of 20018 with flag 4142000/4210053 787.70/449.88 c cleaning 9996 clauses out of 20025 with flag 4152000/4220053 789.73/451.06 c cleaning 9999 clauses out of 20029 with flag 4162000/4230053 791.59/452.19 c cleaning 10002 clauses out of 20031 with flag 4172001/4240054 793.64/453.34 c cleaning 10001 clauses out of 20028 with flag 4182000/4250053 795.88/454.70 c cleaning 10001 clauses out of 20028 with flag 4192001/4260054 797.74/455.88 c cleaning 10003 clauses out of 20026 with flag 4202000/4270053 799.80/457.03 c cleaning 10005 clauses out of 20024 with flag 4212001/4280054 801.84/458.20 c cleaning 9988 clauses out of 20018 with flag 4222000/4290053 803.87/459.60 c cleaning 10005 clauses out of 20030 with flag 4232000/4300053 806.13/460.81 c cleaning 9997 clauses out of 20025 with flag 4242000/4310053 808.20/462.01 c cleaning 10000 clauses out of 20029 with flag 4252001/4320054 810.04/463.16 c cleaning 9998 clauses out of 20028 with flag 4262000/4330053 812.28/464.54 c cleaning 10005 clauses out of 20030 with flag 4272000/4340053 814.30/465.72 c cleaning 9996 clauses out of 20025 with flag 4282000/4350053 816.36/466.91 c cleaning 10003 clauses out of 20029 with flag 4292000/4360053 818.42/468.10 c cleaning 10005 clauses out of 20026 with flag 4302000/4370053 820.65/469.52 c cleaning 9988 clauses out of 20023 with flag 4312002/4380055 822.67/470.74 c cleaning 10004 clauses out of 20034 with flag 4322001/4390054 824.53/471.90 c cleaning 10004 clauses out of 20030 with flag 4332001/4400054 826.55/473.09 c cleaning 9997 clauses out of 20025 with flag 4342000/4410053 828.75/474.48 c cleaning 9995 clauses out of 20028 with flag 4352000/4420053 830.80/475.64 c cleaning 9995 clauses out of 20033 with flag 4362000/4430053 832.88/476.81 c cleaning 10006 clauses out of 20038 with flag 4372000/4440053 834.73/477.99 c cleaning 10000 clauses out of 20032 with flag 4382000/4450053 837.15/479.41 c cleaning 9995 clauses out of 20031 with flag 4392000/4460053 839.00/480.55 c cleaning 10000 clauses out of 20036 with flag 4402000/4470053 841.03/481.76 c cleaning 10006 clauses out of 20037 with flag 4412001/4480054 842.88/482.89 c cleaning 10003 clauses out of 20031 with flag 4422001/4490054 845.09/484.22 c cleaning 10001 clauses out of 20028 with flag 4432001/4500054 846.93/485.38 c cleaning 9998 clauses out of 20027 with flag 4442001/4510054 848.98/486.56 c cleaning 10000 clauses out of 20029 with flag 4452001/4520054 851.02/487.74 c cleaning 9994 clauses out of 20028 with flag 4462000/4530053 853.25/489.13 c cleaning 10006 clauses out of 20035 with flag 4472001/4540054 855.10/490.29 c cleaning 10000 clauses out of 20028 with flag 4482000/4550053 857.15/491.46 c cleaning 9997 clauses out of 20029 with flag 4492001/4560054 859.19/492.60 c cleaning 10006 clauses out of 20032 with flag 4502001/4570054 861.38/494.03 c cleaning 10000 clauses out of 20025 with flag 4512000/4580053 863.41/495.23 c cleaning 9997 clauses out of 20025 with flag 4522000/4590053 865.24/496.36 c cleaning 10000 clauses out of 20028 with flag 4532000/4600053 867.28/497.55 c cleaning 10000 clauses out of 20028 with flag 4542000/4610053 869.48/498.95 c cleaning 10004 clauses out of 20028 with flag 4552001/4620054 871.52/500.14 c cleaning 9999 clauses out of 20023 with flag 4562000/4630053 873.56/501.33 c cleaning 10000 clauses out of 20025 with flag 4572001/4640054 875.39/502.48 c cleaning 10002 clauses out of 20024 with flag 4582000/4650053 877.82/503.91 c cleaning 9997 clauses out of 20022 with flag 4592000/4660053 879.66/505.09 c cleaning 9999 clauses out of 20023 with flag 4602000/4670053 881.70/506.21 c cleaning 9999 clauses out of 20024 with flag 4612000/4680053 883.55/507.30 c cleaning 10005 clauses out of 20025 with flag 4622000/4690053 885.50/508.66 c cleaning 10004 clauses out of 20020 with flag 4632000/4700053 886.91/509.57 c And the winner is Resolution 891.19/515.59 c starts : 353 891.19/515.59 c conflicts : 4707587 891.19/515.59 c decisions : 4967670 891.19/515.59 c propagations : 287689348 891.19/515.59 c inspects : 1999008930 891.19/515.59 c shortcuts : 0 891.19/515.59 c learnt literals : 33 891.19/515.59 c learnt binary clauses : 302 891.19/515.59 c learnt ternary clauses : 1085 891.19/515.59 c learnt constraints : 4707553 891.19/515.59 c ignored constraints : 0 891.19/515.59 c root simplifications : 0 891.19/515.59 c removed literals (reason simplification) : 85514093 891.19/515.59 c reason swapping (by a shorter reason) : 0 891.19/515.59 c Calls to reduceDB : 472 891.19/515.59 c number of reductions to clauses (during analyze) : 0 891.19/515.59 c number of learned constraints concerned by reduction : 0 891.19/515.59 c number of learning phase by resolution : 0 891.19/515.59 c number of learning phase by cutting planes : 0 891.19/515.59 c speed (assignments/second) : 563822.588231605 891.19/515.59 c non guided choices 166 891.19/515.59 c learnt constraints type 891.19/515.59 c constraints type 891.19/515.59 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1618 891.19/515.59 c org.sat4j.minisat.constraints.card.MinWatchCard => 24 891.19/515.59 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 386 891.19/515.59 c constraints type 891.19/515.59 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 386 891.19/515.59 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1618 891.19/515.59 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24 891.19/515.59 s OPTIMUM FOUND 891.19/515.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 891.19/515.60 c objective function=62 891.19/515.60 c Total wall clock time (in seconds): 515.46
OK 62
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3732128-1338684657/watcher-3732128-1338684657 -o /tmp/evaluation-result-3732128-1338684657/solver-3732128-1338684657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732128-1338684657.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.82 3.86 3.81 4/198 8239 /proc/meminfo: memFree=26130692/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/8239/stat : 8239 (java) R 8237 8239 5561 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 334590043 278528 34 33554432000 1073741824 1073778376 140735921385392 140735921382568 209874677031 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 84 42 33 9 0 25 0 [startup+0.071695 s] /proc/loadavg: 3.82 3.86 3.81 4/198 8239 /proc/meminfo: memFree=26130692/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11253516 CPUtime=0.04 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 4305 0 1 0 3 1 0 0 20 0 13 0 334590043 11523600384 12156 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2813379 12156 1708 9 0 2804080 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11253516 [startup+0.10025 s] /proc/loadavg: 3.82 3.86 3.81 4/198 8239 /proc/meminfo: memFree=26130692/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11586392 CPUtime=0.06 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 4472 0 1 0 5 1 0 0 20 0 18 0 334590043 11864465408 12834 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2896598 12834 1778 9 0 2887285 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11586392 [startup+0.300214 s] /proc/loadavg: 3.82 3.86 3.81 4/198 8239 /proc/meminfo: memFree=26130692/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11586392 CPUtime=0.44 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 6192 0 1 0 42 2 0 0 20 0 18 0 334590043 11864465408 15833 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2896598 15788 2223 9 0 2887285 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 11586392 [startup+0.700267 s] /proc/loadavg: 3.82 3.86 3.81 4/198 8239 /proc/meminfo: memFree=26130692/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=1.89 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 15650 0 1 0 183 6 0 0 20 0 19 0 334590043 12137111552 29025 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 29025 2253 9 0 2953849 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 11852648 [startup+1.50072 s] /proc/loadavg: 3.82 3.86 3.81 3/217 8264 /proc/meminfo: memFree=26010652/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=2.17 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 17928 0 1 0 209 8 0 0 20 0 19 0 334590043 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 33668 2255 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) S 8237 8239 5561 0 -1 4202560 3381 0 1 0 27 2 0 0 20 0 19 0 334590045 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139997157532824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334590047 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334590048 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.57 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6785 0 0 0 56 1 0 0 20 0 19 0 334590052 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=0.56 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 6429 0 0 0 55 1 0 0 20 0 19 0 334590052 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 33668 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.82 3.86 3.81 5/220 8270 /proc/meminfo: memFree=25932316/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=4.98 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 18130 0 1 0 486 12 0 0 20 0 22 0 334590043 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 91089 2281 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) S 8237 8239 5561 0 -1 4202560 3382 0 1 0 28 2 0 0 20 0 22 0 334590045 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139997157532824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=0.06 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 22 0 334590048 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334590049 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334590049 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6791 0 0 0 75 1 0 0 20 0 22 0 334590052 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=0.74 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 6435 0 0 0 72 2 0 0 20 0 22 0 334590052 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8267] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8267/stat : 8267 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590177 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996966568872 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8268] ppid=8237 vsize=11852648 CPUtime=1.14 cores=0,2,4,6 /proc/8239/task/8268/stat : 8268 (java) R 8237 8239 5561 0 -1 4202560 7 0 0 0 114 0 0 0 20 0 22 0 334590227 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996965515600 139997026501845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8269] ppid=8237 vsize=11852648 CPUtime=1.15 cores=0,2,4,6 /proc/8239/task/8269/stat : 8269 (java) R 8237 8239 5561 0 -1 4202560 109 0 0 0 112 3 0 0 20 0 22 0 334590227 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996963408296 139997026537778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8270] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8270/stat : 8270 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590227 12137111552 91089 33554432000 1073741824 1073778376 140735129855792 139996964463912 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.98 Current children cumulated vsize (KiB) 11852648 [startup+6.30077 s] /proc/loadavg: 3.76 3.85 3.80 5/219 8276 /proc/meminfo: memFree=25594048/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=9.81 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 18275 0 1 0 963 18 0 0 20 0 22 0 334590043 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 140966 2282 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) S 8237 8239 5561 0 -1 4202560 3382 0 1 0 28 2 0 0 20 0 22 0 334590045 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139997157532824 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334590047 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 38 0 0 0 25 0 0 0 20 0 22 0 334590048 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334590049 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334590049 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6792 0 0 0 76 1 0 0 20 0 22 0 334590052 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=0.83 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 6443 0 0 0 81 2 0 0 20 0 22 0 334590052 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334590052 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8273] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8273/stat : 8273 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334590528 12137111552 140966 33554432000 1073741824 1073778376 140735129855792 139996964464296 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6792 0 0 0 83 1 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 9650 0 0 0 131 2 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0.17 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 29 0 0 0 5 12 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8276] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8276/stat : 8276 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590578 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996966569000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 889.19 Current children cumulated vsize (KiB) 11852648 [startup+514.301 s] /proc/loadavg: 3.19 3.41 3.60 4/216 8697 /proc/meminfo: memFree=26744228/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=889.99 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 23086 0 1 0 88928 71 0 0 20 0 19 0 334590043 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 230113 2283 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=4.78 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) R 8237 8239 5561 0 -1 4202560 3685 0 1 0 475 3 0 0 20 0 19 0 334590045 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997157532440 139997026195394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 114 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=2.37 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 124 0 0 0 235 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 116 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=2.39 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 106 0 0 0 236 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=2.38 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 118 0 0 0 235 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 126 0 0 0 233 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=137.31 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 204 0 0 0 13719 12 0 0 20 0 19 0 334590048 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6792 0 0 0 83 1 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 9650 0 0 0 131 2 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0.17 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 29 0 0 0 5 12 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8276] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8276/stat : 8276 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590578 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996966569000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 889.99 Current children cumulated vsize (KiB) 11852648 [startup+515.101 s] /proc/loadavg: 3.10 3.38 3.59 3/216 8697 /proc/meminfo: memFree=26744228/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=890.79 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 23088 0 1 0 89008 71 0 0 20 0 19 0 334590043 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 230113 2283 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=5.57 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) R 8237 8239 5561 0 -1 4202560 3685 0 1 0 554 3 0 0 20 0 19 0 334590045 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997157532440 139997026195382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 114 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=2.37 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 124 0 0 0 235 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 116 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=2.39 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 106 0 0 0 236 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=2.38 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 118 0 0 0 235 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 126 0 0 0 233 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=137.31 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 204 0 0 0 13719 12 0 0 20 0 19 0 334590048 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6792 0 0 0 83 1 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 9650 0 0 0 131 2 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0.18 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 31 0 0 0 5 13 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8276] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8276/stat : 8276 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590578 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996966569000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 890.79 Current children cumulated vsize (KiB) 11852648 [startup+515.501 s] /proc/loadavg: 3.10 3.38 3.59 3/216 8697 /proc/meminfo: memFree=26744228/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=11852648 CPUtime=891.19 cores=0,2,4,6 /proc/8239/stat : 8239 (java) S 8237 8239 5561 0 -1 4202496 23088 0 1 0 89048 71 0 0 20 0 19 0 334590043 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 140735129846928 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8239/statm: 2963162 230113 2283 9 0 2953849 0 [pid=8239/tid=8241] ppid=8237 vsize=11852648 CPUtime=5.97 cores=0,2,4,6 /proc/8239/task/8241/stat : 8241 (java) R 8237 8239 5561 0 -1 4202560 3685 0 1 0 594 3 0 0 20 0 19 0 334590045 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997157532440 139997027156613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8242] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8242/stat : 8242 (java) S 8237 8239 5561 0 -1 4202560 114 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997146593448 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8243] ppid=8237 vsize=11852648 CPUtime=2.37 cores=0,2,4,6 /proc/8239/task/8243/stat : 8243 (java) S 8237 8239 5561 0 -1 4202560 124 0 0 0 235 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997145540904 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8244] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8244/stat : 8244 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 234 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139997144488360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8245] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8245/stat : 8245 (java) S 8237 8239 5561 0 -1 4202560 116 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996991613480 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8246] ppid=8237 vsize=11852648 CPUtime=2.39 cores=0,2,4,6 /proc/8239/task/8246/stat : 8246 (java) S 8237 8239 5561 0 -1 4202560 106 0 0 0 236 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996990560936 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8247] ppid=8237 vsize=11852648 CPUtime=2.38 cores=0,2,4,6 /proc/8239/task/8247/stat : 8247 (java) S 8237 8239 5561 0 -1 4202560 118 0 0 0 235 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996989508392 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8248] ppid=8237 vsize=11852648 CPUtime=2.41 cores=0,2,4,6 /proc/8239/task/8248/stat : 8248 (java) S 8237 8239 5561 0 -1 4202560 120 0 0 0 239 2 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996988455848 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8249] ppid=8237 vsize=11852648 CPUtime=2.36 cores=0,2,4,6 /proc/8239/task/8249/stat : 8249 (java) S 8237 8239 5561 0 -1 4202560 126 0 0 0 233 3 0 0 20 0 19 0 334590047 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996987403304 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8250] ppid=8237 vsize=11852648 CPUtime=137.31 cores=0,2,4,6 /proc/8239/task/8250/stat : 8250 (java) S 8237 8239 5561 0 -1 4202560 204 0 0 0 13719 12 0 0 20 0 19 0 334590048 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996974991464 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8251] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8251/stat : 8251 (java) S 8237 8239 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996973937784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8252] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8252/stat : 8252 (java) S 8237 8239 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334590049 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996972885128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8253] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8253/stat : 8253 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996971833872 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8239/tid=8254] ppid=8237 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/8239/task/8254/stat : 8254 (java) S 8237 8239 5561 0 -1 4202560 6792 0 0 0 83 1 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996970781240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8239/tid=8255] ppid=8237 vsize=11852648 CPUtime=1.33 cores=0,2,4,6 /proc/8239/task/8255/stat : 8255 (java) S 8237 8239 5561 0 -1 4202560 9650 0 0 0 131 2 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996969728696 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8256] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8256/stat : 8256 (java) S 8237 8239 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996968676344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8239/tid=8257] ppid=8237 vsize=11852648 CPUtime=0.18 cores=0,2,4,6 /proc/8239/task/8257/stat : 8257 (java) S 8237 8239 5561 0 -1 4202560 31 0 0 0 5 13 0 0 20 0 19 0 334590052 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996967624008 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8239/tid=8276] ppid=8237 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/8239/task/8276/stat : 8276 (java) S 8237 8239 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334590578 12137111552 230113 33554432000 1073741824 1073778376 140735129855792 139996966569000 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 891.19 Current children cumulated vsize (KiB) 11852648 [startup+515.601 s] /proc/loadavg: 3.10 3.38 3.59 3/216 8697 /proc/meminfo: memFree=26744228/32873844 swapFree=7632/7632 [pid=8239] ppid=8237 vsize=0 CPUtime=891 cores=0,2,4,6 /proc/8239/stat : 8239 (java) R 8237 8239 5561 0 -1 4203524 23099 0 1 0 89008 92 0 0 20 0 1 0 334590043 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8239/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 891 Current children cumulated vsize (KiB) 0 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.71997 # lost CPU user time (s): 2.03998 # lost CPU system time (s): -0.32 Real time (s): 515.606 CPU time (s): 892.736 CPU user time (s): 892.127 CPU system time (s): 0.608858 CPU usage (%): 173.143 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 890.087 system time used= 0.928858 maximum resident set size= 920476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23099 page faults= 1 swaps= 0 block input operations= 0 block output operations= 568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26326 involuntary context switches= 36599 runsolver used 1.18082 second user time and 2.48862 second system time The end
Begin job on node141 at 2012-06-03 02:50:57 IDJOB=3732128 IDBENCH=2029 IDSOLVER=2328 FILE ID=node141/3732128-1338684657 RUNJOBID= node141-1338678623-5580 PBS_JOBID= 14636672 Free space on /tmp= 70720 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732128-1338684657/watcher-3732128-1338684657 -o /tmp/evaluation-result-3732128-1338684657/solver-3732128-1338684657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732128-1338684657.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7070b0ccf5287a23c61644383564c46b RANDOM SEED=207311330 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26130576 kB Buffers: 392064 kB Cached: 3133128 kB SwapCached: 216 kB Active: 3537276 kB Inactive: 2316628 kB Active(anon): 2319424 kB Inactive(anon): 11300 kB Active(file): 1217852 kB Inactive(file): 2305328 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 484 kB Writeback: 0 kB AnonPages: 2409468 kB Mapped: 18920 kB Shmem: 172 kB Slab: 739488 kB SReclaimable: 181700 kB SUnreclaim: 557788 kB KernelStack: 1792 kB PageTables: 8848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10461148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2347008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70720 MiB End job on node141 at 2012-06-03 02:59:33