Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | OPT | -26 | 1283.72 | 739.73 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
| MD5SUM | fac2f381943513d71e556a5764721ca3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 2.58061 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -26 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 1248 |
| Sum of products size (including duplicates) | 2496 |
| Number of different products | 624 |
| Sum of products size | 1248 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.1.v20110525 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 9996466904 0.01/0.09 c Max memory 10048897024 0.01/0.09 c Total memory 10048897024 0.01/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3737328-1338721084.opb 0.09/0.12 c reading problem ... 0.21/0.25 c ... done. Wall clock time 0.133s. 0.21/0.25 c #vars 724 0.21/0.25 c #constraints 1972 0.21/0.25 c constraints type 0.21/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 624 0.21/0.25 c org.sat4j.minisat.constraints.cnf.UnitClauses => 100 0.21/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624 0.21/0.25 c constraints type 0.21/0.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624 0.21/0.25 c org.sat4j.pb.constraints.pb.UnitClausesPB => 100 0.21/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 624 0.21/0.27 c And the winner is Resolution 0.41/0.76 c SATISFIABLE 0.41/0.76 c OPTIMIZING... 0.41/0.76 c Got one! Elapsed wall clock time (in seconds):0.637 0.41/0.76 o -19 0.41/0.77 c And the winner is Resolution 0.42/1.26 c Got one! Elapsed wall clock time (in seconds):1.138 0.42/1.26 o -20 0.56/1.39 c And the winner is CuttingPlanes 1.23/1.76 c Got one! Elapsed wall clock time (in seconds):1.639 1.23/1.76 o -21 1.23/1.77 c And the winner is Resolution 1.32/2.26 c Got one! Elapsed wall clock time (in seconds):2.14 1.32/2.26 o -22 1.32/2.29 c And the winner is Resolution 1.53/2.76 c Got one! Elapsed wall clock time (in seconds):2.641 1.53/2.76 o -23 1.94/2.94 c And the winner is Resolution 2.06/3.26 c Got one! Elapsed wall clock time (in seconds):3.142 2.06/3.26 o -24 2.15/3.33 c cleaning 3170 clauses out of 6339 with flag 1001/6339 2.85/3.62 c cleaning 4584 clauses out of 9169 with flag 7001/12339 2.85/3.65 c And the winner is Resolution 2.99/3.76 c Got one! Elapsed wall clock time (in seconds):3.644 2.99/3.76 o -25 3.53/4.02 c cleaning 4805 clauses out of 9621 with flag 5000/17375 4.12/4.35 c cleaning 5399 clauses out of 10816 with flag 11000/23375 4.93/4.75 c cleaning 6207 clauses out of 12417 with flag 18000/30375 5.90/5.20 c cleaning 7099 clauses out of 14210 with flag 26000/38375 6.87/5.74 c cleaning 8055 clauses out of 16111 with flag 35000/47375 8.25/6.45 c cleaning 9028 clauses out of 18056 with flag 45000/57375 9.65/7.13 c cleaning 9512 clauses out of 19028 with flag 55000/67375 11.02/7.82 c cleaning 9753 clauses out of 19516 with flag 65000/77375 12.19/8.49 c cleaning 9873 clauses out of 19764 with flag 75001/87376 13.75/9.21 c cleaning 9941 clauses out of 19890 with flag 85000/97375 14.90/9.87 c cleaning 9973 clauses out of 19949 with flag 95000/107375 16.44/10.61 c cleaning 9988 clauses out of 19977 with flag 105001/117376 17.59/11.29 c cleaning 9994 clauses out of 19988 with flag 115000/127375 19.16/12.10 c cleaning 9993 clauses out of 19994 with flag 125000/137375 20.87/12.91 c cleaning 9995 clauses out of 20001 with flag 135000/147375 22.24/13.66 c cleaning 9997 clauses out of 20006 with flag 145000/157375 23.79/14.44 c cleaning 10001 clauses out of 20010 with flag 155001/167376 25.13/15.20 c cleaning 9998 clauses out of 20008 with flag 165000/177375 26.65/15.90 c cleaning 9990 clauses out of 20010 with flag 175000/187375 27.80/16.58 c cleaning 10006 clauses out of 20020 with flag 185000/197375 29.33/17.33 c cleaning 10005 clauses out of 20014 with flag 195000/207375 30.88/18.10 c cleaning 10004 clauses out of 20009 with flag 205000/217375 32.39/18.97 c cleaning 9993 clauses out of 20005 with flag 215000/227375 33.72/19.68 c cleaning 10002 clauses out of 20013 with flag 225001/237376 35.26/20.42 c cleaning 9998 clauses out of 20010 with flag 235000/247375 36.40/21.10 c cleaning 10000 clauses out of 20012 with flag 245000/257375 37.90/21.85 c cleaning 9999 clauses out of 20012 with flag 255000/267375 39.03/22.50 c cleaning 10004 clauses out of 20014 with flag 265001/277376 40.40/23.18 c cleaning 9996 clauses out of 20010 with flag 275001/287376 41.92/23.96 c cleaning 10004 clauses out of 20013 with flag 285000/297375 43.42/24.73 c cleaning 10005 clauses out of 20010 with flag 295001/307376 44.74/25.45 c cleaning 10000 clauses out of 20004 with flag 305000/317375 46.27/26.20 c cleaning 10001 clauses out of 20005 with flag 315001/327376 47.60/26.91 c cleaning 10002 clauses out of 20006 with flag 325003/337378 48.89/27.64 c cleaning 9998 clauses out of 20001 with flag 335000/347375 50.01/28.26 c cleaning 10000 clauses out of 20003 with flag 345000/357375 51.34/28.93 c cleaning 9998 clauses out of 20003 with flag 355000/367375 52.68/29.62 c cleaning 9996 clauses out of 20005 with flag 365000/377375 53.95/30.40 c cleaning 9995 clauses out of 20011 with flag 375002/387377 55.49/31.12 c cleaning 10003 clauses out of 20014 with flag 385000/397375 56.83/31.81 c cleaning 10001 clauses out of 20012 with flag 395001/407376 58.15/32.55 c cleaning 10002 clauses out of 20011 with flag 405001/417376 59.65/33.37 c cleaning 10001 clauses out of 20008 with flag 415000/427375 61.18/34.14 c cleaning 9998 clauses out of 20007 with flag 425000/437375 62.49/34.84 c cleaning 10000 clauses out of 20010 with flag 435001/447376 63.81/35.53 c cleaning 10002 clauses out of 20009 with flag 445000/457375 65.10/36.30 c cleaning 9994 clauses out of 20007 with flag 455000/467375 66.62/37.03 c cleaning 10005 clauses out of 20013 with flag 465000/477375 67.93/37.72 c cleaning 9997 clauses out of 20008 with flag 475000/487375 69.28/38.46 c cleaning 10003 clauses out of 20011 with flag 485000/497375 70.74/39.22 c cleaning 10004 clauses out of 20009 with flag 495001/507376 72.06/39.95 c cleaning 9994 clauses out of 20005 with flag 505001/517376 73.39/40.65 c cleaning 10003 clauses out of 20011 with flag 515001/527376 74.71/41.36 c cleaning 9998 clauses out of 20008 with flag 525001/537376 75.98/42.09 c cleaning 9990 clauses out of 20010 with flag 535001/547376 77.30/42.80 c cleaning 10008 clauses out of 20020 with flag 545001/557376 78.61/43.48 c cleaning 9997 clauses out of 20012 with flag 555001/567376 79.92/44.17 c cleaning 10001 clauses out of 20014 with flag 565000/577375 81.38/44.93 c cleaning 10002 clauses out of 20014 with flag 575001/587376 82.50/45.55 c cleaning 9999 clauses out of 20011 with flag 585000/597375 83.82/46.25 c cleaning 9988 clauses out of 20012 with flag 595000/607375 85.12/46.92 c cleaning 10001 clauses out of 20024 with flag 605000/617375 86.39/47.66 c cleaning 10005 clauses out of 20023 with flag 615000/627375 87.72/48.36 c cleaning 10009 clauses out of 20018 with flag 625000/637375 89.04/49.05 c cleaning 10000 clauses out of 20009 with flag 635000/647375 90.36/49.73 c cleaning 10002 clauses out of 20009 with flag 645000/657375 91.63/50.43 c cleaning 10000 clauses out of 20008 with flag 655001/667376 92.94/51.10 c cleaning 9995 clauses out of 20007 with flag 665000/677375 94.25/51.83 c cleaning 10002 clauses out of 20012 with flag 675000/687375 95.35/52.49 c cleaning 10002 clauses out of 20010 with flag 685000/697375 96.62/53.18 c cleaning 9996 clauses out of 20009 with flag 695001/707376 97.94/53.85 c cleaning 10004 clauses out of 20012 with flag 705000/717375 99.24/54.50 c cleaning 9996 clauses out of 20008 with flag 715000/727375 100.35/55.16 c cleaning 10002 clauses out of 20012 with flag 725000/737375 101.61/55.89 c cleaning 10004 clauses out of 20010 with flag 735000/747375 102.92/56.58 c cleaning 9999 clauses out of 20007 with flag 745001/757376 104.24/57.27 c cleaning 10004 clauses out of 20007 with flag 755000/767375 105.59/57.90 c cleaning 0 clauses out of 5546 with flag 0/5548 105.92/58.17 c cleaning 9991 clauses out of 20003 with flag 765000/777375 107.56/58.93 c cleaning 10000 clauses out of 20012 with flag 775000/787375 109.20/59.75 c cleaning 10006 clauses out of 20012 with flag 785000/797375 110.72/60.53 c cleaning 9997 clauses out of 20006 with flag 795000/807375 112.15/61.35 c cleaning 9997 clauses out of 20009 with flag 805000/817375 113.45/62.09 c cleaning 9997 clauses out of 20012 with flag 815000/827375 114.97/62.85 c cleaning 10004 clauses out of 20015 with flag 825000/837375 116.48/63.64 c cleaning 9997 clauses out of 20011 with flag 835000/847375 117.95/64.44 c cleaning 10008 clauses out of 20016 with flag 845002/857377 119.26/65.20 c cleaning 9999 clauses out of 20006 with flag 855000/867375 120.79/66.00 c cleaning 9997 clauses out of 20007 with flag 865000/877375 122.27/66.79 c cleaning 10000 clauses out of 20010 with flag 875000/887375 123.71/67.52 c cleaning 9997 clauses out of 20012 with flag 885002/897377 125.03/68.26 c cleaning 10004 clauses out of 20014 with flag 895001/907376 126.31/68.96 c cleaning 9991 clauses out of 20010 with flag 905001/917376 127.61/69.65 c cleaning 10007 clauses out of 20018 with flag 915000/927375 129.07/70.48 c cleaning 9997 clauses out of 20011 with flag 925000/937375 130.55/71.20 c cleaning 10001 clauses out of 20015 with flag 935001/947376 131.85/71.97 c cleaning 9999 clauses out of 20014 with flag 945001/957376 133.34/72.70 c cleaning 10004 clauses out of 20014 with flag 955000/967375 134.79/73.53 c cleaning 9997 clauses out of 20010 with flag 965000/977375 136.28/74.33 c cleaning 10003 clauses out of 20013 with flag 975000/987375 137.57/75.07 c cleaning 9995 clauses out of 20010 with flag 985000/997375 139.08/75.86 c cleaning 10001 clauses out of 20015 with flag 995000/1007375 140.50/76.69 c cleaning 9999 clauses out of 20014 with flag 1005000/1017375 141.99/77.42 c cleaning 9999 clauses out of 20015 with flag 1015000/1027375 143.30/78.20 c cleaning 9992 clauses out of 20016 with flag 1025000/1037375 144.77/78.96 c cleaning 10006 clauses out of 20024 with flag 1035000/1047375 146.22/79.76 c cleaning 10000 clauses out of 20019 with flag 1045001/1057376 147.71/80.54 c cleaning 10000 clauses out of 20018 with flag 1055000/1067375 149.01/81.29 c cleaning 9997 clauses out of 20018 with flag 1065000/1077375 150.49/82.02 c cleaning 10008 clauses out of 20023 with flag 1075002/1087377 151.94/82.80 c cleaning 9999 clauses out of 20013 with flag 1085000/1097375 153.25/83.51 c cleaning 10005 clauses out of 20015 with flag 1095001/1107376 154.52/84.25 c cleaning 9996 clauses out of 20010 with flag 1105001/1117376 155.82/84.97 c cleaning 9998 clauses out of 20013 with flag 1115000/1127375 157.27/85.78 c cleaning 9993 clauses out of 20016 with flag 1125001/1137376 158.74/86.52 c cleaning 10006 clauses out of 20022 with flag 1135000/1147375 160.04/87.26 c cleaning 9998 clauses out of 20016 with flag 1145000/1157375 161.34/88.00 c cleaning 10003 clauses out of 20018 with flag 1155000/1167375 162.96/88.80 c cleaning 10001 clauses out of 20015 with flag 1165000/1177375 164.26/89.50 c cleaning 10000 clauses out of 20014 with flag 1175000/1187375 165.55/90.24 c cleaning 10000 clauses out of 20014 with flag 1185000/1197375 167.02/91.02 c cleaning 10002 clauses out of 20014 with flag 1195000/1207375 168.44/91.85 c cleaning 10004 clauses out of 20012 with flag 1205000/1217375 169.92/92.60 c cleaning 9996 clauses out of 20009 with flag 1215001/1227376 171.22/93.39 c cleaning 9999 clauses out of 20012 with flag 1225000/1237375 172.70/94.11 c cleaning 10005 clauses out of 20014 with flag 1235001/1247376 173.92/94.86 c cleaning 9991 clauses out of 20008 with flag 1245000/1257375 175.22/95.57 c cleaning 10003 clauses out of 20017 with flag 1255000/1267375 176.72/96.30 c cleaning 10003 clauses out of 20015 with flag 1265001/1277376 178.00/97.04 c cleaning 9996 clauses out of 20011 with flag 1275000/1287375 179.45/97.88 c cleaning 10001 clauses out of 20015 with flag 1285000/1297375 180.92/98.63 c cleaning 10004 clauses out of 20014 with flag 1295000/1307375 182.21/99.34 c cleaning 10000 clauses out of 20011 with flag 1305001/1317376 183.50/100.08 c cleaning 10005 clauses out of 20010 with flag 1315000/1327375 184.71/100.78 c cleaning 9998 clauses out of 20005 with flag 1325000/1337375 185.99/101.48 c cleaning 9993 clauses out of 20007 with flag 1335000/1347375 187.28/102.16 c cleaning 9999 clauses out of 20014 with flag 1345000/1357375 188.58/102.88 c cleaning 10007 clauses out of 20015 with flag 1355000/1367375 189.99/103.69 c cleaning 9996 clauses out of 20008 with flag 1365000/1377375 191.26/104.38 c cleaning 9995 clauses out of 20013 with flag 1375001/1387376 192.74/105.13 c cleaning 10004 clauses out of 20017 with flag 1385000/1397375 194.02/105.86 c cleaning 10000 clauses out of 20013 with flag 1395000/1407375 195.45/106.66 c cleaning 10002 clauses out of 20013 with flag 1405000/1417375 196.73/107.38 c cleaning 9999 clauses out of 20011 with flag 1415000/1427375 198.21/108.11 c cleaning 9999 clauses out of 20012 with flag 1425000/1437375 199.50/108.81 c cleaning 10007 clauses out of 20014 with flag 1435001/1447376 200.89/109.60 c cleaning 10002 clauses out of 20006 with flag 1445000/1457375 201.96/110.28 c cleaning 9995 clauses out of 20004 with flag 1455000/1467375 203.25/110.95 c cleaning 9993 clauses out of 20009 with flag 1465000/1477375 204.52/111.67 c cleaning 9999 clauses out of 20016 with flag 1475000/1487375 206.12/112.51 c cleaning 10005 clauses out of 20018 with flag 1485001/1497376 207.44/113.24 c cleaning 10006 clauses out of 20012 with flag 1495000/1507375 208.70/113.97 c cleaning 9992 clauses out of 20006 with flag 1505000/1517375 209.98/114.64 c cleaning 9986 clauses out of 20014 with flag 1515000/1527375 211.40/115.42 c cleaning 10004 clauses out of 20029 with flag 1525001/1537376 212.67/116.14 c cleaning 9994 clauses out of 20024 with flag 1535000/1547375 213.94/116.85 c cleaning 10004 clauses out of 20031 with flag 1545001/1557376 215.21/117.53 c cleaning 9998 clauses out of 20027 with flag 1555001/1567376 216.60/118.33 c cleaning 9998 clauses out of 20028 with flag 1565000/1577375 217.88/119.03 c cleaning 10008 clauses out of 20031 with flag 1575001/1587376 219.14/119.77 c cleaning 9989 clauses out of 20022 with flag 1585000/1597375 220.42/120.48 c cleaning 10013 clauses out of 20033 with flag 1595000/1607375 221.81/121.23 c cleaning 10004 clauses out of 20020 with flag 1605000/1617375 223.08/121.92 c cleaning 10006 clauses out of 20017 with flag 1615001/1627376 224.35/122.64 c cleaning 10000 clauses out of 20010 with flag 1625000/1637375 224.82/122.94 c And the winner is Resolution 225.11/123.29 c Got one! Elapsed wall clock time (in seconds):123.174 225.11/123.29 o -26 225.31/123.41 c cleaning 7759 clauses out of 15528 with flag 2000/1642893 226.11/123.90 c cleaning 6881 clauses out of 13769 with flag 8000/1648893 226.79/124.37 c cleaning 6942 clauses out of 13888 with flag 15000/1655893 227.84/124.90 c cleaning 7466 clauses out of 14947 with flag 23001/1663894 228.92/125.51 c cleaning 8236 clauses out of 16480 with flag 32000/1672893 230.32/126.30 c cleaning 9117 clauses out of 18244 with flag 42000/1682893 231.58/127.07 c cleaning 9559 clauses out of 19128 with flag 52001/1692894 233.07/127.86 c cleaning 9780 clauses out of 19569 with flag 62001/1702894 234.55/128.62 c cleaning 9889 clauses out of 19788 with flag 72000/1712893 235.92/129.42 c cleaning 9944 clauses out of 19899 with flag 82000/1722893 237.19/130.14 c cleaning 9966 clauses out of 19955 with flag 92000/1732893 238.47/130.85 c cleaning 9989 clauses out of 19989 with flag 102000/1742893 239.72/131.51 c cleaning 9999 clauses out of 20000 with flag 112000/1752893 241.10/132.30 c cleaning 9998 clauses out of 20001 with flag 122000/1762893 242.19/132.99 c cleaning 9996 clauses out of 20003 with flag 132000/1772893 243.46/133.66 c cleaning 9999 clauses out of 20009 with flag 142002/1782895 244.73/134.35 c cleaning 10001 clauses out of 20008 with flag 152000/1792893 246.13/135.12 c cleaning 9997 clauses out of 20007 with flag 162000/1802893 247.20/135.79 c cleaning 9998 clauses out of 20010 with flag 172000/1812893 248.49/136.48 c cleaning 10000 clauses out of 20012 with flag 182000/1822893 249.75/137.17 c cleaning 10001 clauses out of 20012 with flag 192000/1832893 251.15/137.91 c cleaning 9998 clauses out of 20011 with flag 202000/1842893 252.43/138.62 c cleaning 10000 clauses out of 20013 with flag 212000/1852893 253.69/139.34 c cleaning 10000 clauses out of 20014 with flag 222001/1862894 254.95/140.00 c cleaning 9992 clauses out of 20013 with flag 232000/1872893 256.17/140.77 c cleaning 10011 clauses out of 20023 with flag 242002/1882895 257.44/141.49 c cleaning 9994 clauses out of 20011 with flag 252001/1892894 258.92/142.24 c cleaning 10002 clauses out of 20017 with flag 262001/1902894 260.21/142.93 c cleaning 9995 clauses out of 20014 with flag 272000/1912893 261.59/143.74 c cleaning 10007 clauses out of 20020 with flag 282001/1922894 262.86/144.48 c cleaning 10002 clauses out of 20012 with flag 292000/1932893 264.33/145.22 c cleaning 9989 clauses out of 20010 with flag 302000/1942893 265.58/145.92 c cleaning 10002 clauses out of 20022 with flag 312001/1952894 266.78/146.69 c cleaning 10004 clauses out of 20019 with flag 322000/1962893 268.06/147.40 c cleaning 9994 clauses out of 20015 with flag 332000/1972893 269.51/148.14 c cleaning 9988 clauses out of 20021 with flag 342000/1982893 270.78/148.87 c cleaning 10010 clauses out of 20034 with flag 352001/1992894 272.16/149.69 c cleaning 9998 clauses out of 20023 with flag 362000/2002893 273.61/150.42 c cleaning 10007 clauses out of 20025 with flag 372000/2012893 274.87/151.14 c cleaning 10004 clauses out of 20019 with flag 382001/2022894 276.14/151.84 c cleaning 9988 clauses out of 20014 with flag 392000/2032893 277.54/152.63 c cleaning 10005 clauses out of 20027 with flag 402001/2042894 278.60/153.29 c cleaning 10006 clauses out of 20021 with flag 412000/2052893 280.09/154.07 c cleaning 9997 clauses out of 20016 with flag 422001/2062894 281.33/154.73 c cleaning 10003 clauses out of 20018 with flag 432000/2072893 282.72/155.53 c cleaning 10000 clauses out of 20015 with flag 442000/2082893 283.99/156.25 c cleaning 10002 clauses out of 20016 with flag 452001/2092894 285.24/156.94 c cleaning 10003 clauses out of 20014 with flag 462001/2102894 286.50/157.67 c cleaning 9995 clauses out of 20010 with flag 472000/2112893 287.93/158.48 c cleaning 10007 clauses out of 20017 with flag 482002/2122895 289.39/159.23 c cleaning 10000 clauses out of 20008 with flag 492000/2132893 290.68/159.99 c cleaning 10000 clauses out of 20008 with flag 502000/2142893 292.14/160.72 c cleaning 10003 clauses out of 20009 with flag 512001/2152894 293.53/161.56 c cleaning 9996 clauses out of 20005 with flag 522000/2162893 294.79/162.29 c cleaning 9989 clauses out of 20009 with flag 532000/2172893 296.24/163.03 c cleaning 10003 clauses out of 20020 with flag 542000/2182893 297.50/163.74 c cleaning 10010 clauses out of 20019 with flag 552002/2192895 298.89/164.53 c cleaning 9987 clauses out of 20007 with flag 562000/2202893 300.15/165.24 c cleaning 10005 clauses out of 20020 with flag 572000/2212893 301.41/165.94 c cleaning 10003 clauses out of 20015 with flag 582000/2222893 302.67/166.66 c cleaning 9998 clauses out of 20012 with flag 592000/2232893 304.05/167.46 c cleaning 9995 clauses out of 20014 with flag 602000/2242893 305.31/168.20 c cleaning 9992 clauses out of 20019 with flag 612000/2252893 306.56/168.87 c cleaning 9997 clauses out of 20027 with flag 622000/2262893 307.81/169.58 c cleaning 10007 clauses out of 20030 with flag 632000/2272893 309.19/170.39 c cleaning 10003 clauses out of 20024 with flag 642001/2282894 310.44/171.08 c cleaning 9999 clauses out of 20021 with flag 652001/2292894 311.70/171.76 c cleaning 10010 clauses out of 20021 with flag 662000/2302893 312.96/172.48 c cleaning 9999 clauses out of 20011 with flag 672000/2312893 314.33/173.27 c cleaning 9998 clauses out of 20012 with flag 682000/2322893 315.59/173.99 c cleaning 10004 clauses out of 20014 with flag 692000/2332893 317.04/174.74 c cleaning 10003 clauses out of 20012 with flag 702002/2342895 318.29/175.48 c cleaning 10001 clauses out of 20008 with flag 712001/2352894 319.88/176.32 c cleaning 9999 clauses out of 20006 with flag 722000/2362893 321.16/177.09 c cleaning 9994 clauses out of 20008 with flag 732001/2372894 322.41/177.80 c cleaning 9995 clauses out of 20013 with flag 742000/2382893 323.86/178.52 c cleaning 10000 clauses out of 20021 with flag 752003/2392896 325.26/179.31 c cleaning 10006 clauses out of 20019 with flag 762001/2402894 326.51/180.02 c cleaning 10001 clauses out of 20012 with flag 772000/2412893 327.76/180.76 c cleaning 9996 clauses out of 20012 with flag 782001/2422894 329.03/181.49 c cleaning 10000 clauses out of 20016 with flag 792001/2432894 330.40/182.29 c cleaning 10004 clauses out of 20016 with flag 802001/2442894 331.85/183.01 c cleaning 9996 clauses out of 20011 with flag 812000/2452893 333.12/183.73 c cleaning 10003 clauses out of 20015 with flag 822000/2462893 334.35/184.49 c cleaning 10000 clauses out of 20012 with flag 832000/2472893 335.92/185.31 c cleaning 9999 clauses out of 20012 with flag 842000/2482893 337.18/186.03 c cleaning 10000 clauses out of 20014 with flag 852001/2492894 338.44/186.76 c cleaning 10000 clauses out of 20014 with flag 862001/2502894 339.69/187.48 c cleaning 9997 clauses out of 20014 with flag 872001/2512894 341.08/188.25 c cleaning 10000 clauses out of 20016 with flag 882000/2522893 342.34/188.99 c cleaning 10000 clauses out of 20016 with flag 892000/2532893 343.78/189.73 c cleaning 10004 clauses out of 20017 with flag 902001/2542894 345.04/190.42 c cleaning 9991 clauses out of 20012 with flag 912000/2552893 346.42/191.24 c cleaning 10004 clauses out of 20022 with flag 922001/2562894 347.69/191.98 c cleaning 10001 clauses out of 20018 with flag 932001/2572894 349.13/192.73 c cleaning 10000 clauses out of 20018 with flag 942002/2582895 350.39/193.44 c cleaning 9998 clauses out of 20016 with flag 952000/2592893 351.75/194.27 c cleaning 10003 clauses out of 20018 with flag 962000/2602893 353.20/195.00 c cleaning 9999 clauses out of 20015 with flag 972000/2612893 354.47/195.73 c cleaning 10002 clauses out of 20016 with flag 982000/2622893 355.91/196.52 c cleaning 9994 clauses out of 20014 with flag 992000/2632893 357.28/197.37 c cleaning 9998 clauses out of 20020 with flag 1002000/2642893 358.72/198.13 c cleaning 10005 clauses out of 20022 with flag 1012000/2652893 359.97/198.84 c cleaning 10002 clauses out of 20019 with flag 1022002/2662895 361.21/199.60 c cleaning 10002 clauses out of 20015 with flag 1032000/2672893 362.75/200.43 c cleaning 10002 clauses out of 20015 with flag 1042002/2682895 364.21/201.22 c cleaning 10002 clauses out of 20012 with flag 1052001/2692894 365.44/201.99 c cleaning 9998 clauses out of 20009 with flag 1062000/2702893 366.90/202.76 c cleaning 9998 clauses out of 20011 with flag 1072000/2712893 368.47/203.61 c cleaning 10003 clauses out of 20013 with flag 1082000/2722893 369.73/204.37 c cleaning 9999 clauses out of 20010 with flag 1092000/2732893 371.19/205.11 c cleaning 10001 clauses out of 20012 with flag 1102001/2742894 372.45/205.86 c cleaning 9999 clauses out of 20010 with flag 1112000/2752893 373.82/206.68 c cleaning 9997 clauses out of 20012 with flag 1122001/2762894 375.26/207.49 c cleaning 10006 clauses out of 20016 with flag 1132002/2772895 376.72/208.22 c cleaning 9997 clauses out of 20008 with flag 1142000/2782893 378.18/209.03 c cleaning 9996 clauses out of 20011 with flag 1152000/2792893 379.55/209.87 c cleaning 10003 clauses out of 20016 with flag 1162001/2802894 381.01/210.64 c cleaning 9995 clauses out of 20013 with flag 1172001/2812894 382.46/211.42 c cleaning 10004 clauses out of 20018 with flag 1182001/2822894 383.71/212.19 c cleaning 9996 clauses out of 20013 with flag 1192000/2832893 385.28/213.04 c cleaning 10002 clauses out of 20017 with flag 1202000/2842893 386.54/213.79 c cleaning 10003 clauses out of 20015 with flag 1212000/2852893 387.99/214.53 c cleaning 10003 clauses out of 20012 with flag 1222000/2862893 389.44/215.30 c cleaning 9999 clauses out of 20009 with flag 1232000/2872893 390.80/216.12 c cleaning 10000 clauses out of 20011 with flag 1242001/2882894 392.04/216.88 c cleaning 9998 clauses out of 20010 with flag 1252000/2892893 393.49/217.65 c cleaning 9996 clauses out of 20013 with flag 1262001/2902894 394.94/218.44 c cleaning 10001 clauses out of 20018 with flag 1272002/2912895 396.28/219.29 c cleaning 10001 clauses out of 20015 with flag 1282000/2922893 397.74/220.04 c cleaning 9996 clauses out of 20015 with flag 1292001/2932894 399.17/220.87 c cleaning 10004 clauses out of 20018 with flag 1302000/2942893 400.63/221.67 c cleaning 10002 clauses out of 20014 with flag 1312000/2952893 402.18/222.58 c cleaning 10000 clauses out of 20012 with flag 1322000/2962893 403.64/223.37 c cleaning 10003 clauses out of 20013 with flag 1332001/2972894 405.24/224.23 c cleaning 10005 clauses out of 20011 with flag 1342002/2982895 406.68/225.03 c cleaning 9995 clauses out of 20004 with flag 1352000/2992893 408.21/225.93 c cleaning 10002 clauses out of 20009 with flag 1362000/3002893 409.64/226.70 c cleaning 10001 clauses out of 20008 with flag 1372001/3012894 410.88/227.45 c cleaning 9985 clauses out of 20006 with flag 1382000/3022893 412.33/228.21 c cleaning 10000 clauses out of 20023 with flag 1392002/3032895 413.71/229.03 c cleaning 10004 clauses out of 20021 with flag 1402000/3042893 414.95/229.75 c cleaning 9998 clauses out of 20018 with flag 1412001/3052894 416.39/230.56 c cleaning 9999 clauses out of 20020 with flag 1422001/3062894 417.83/231.36 c cleaning 10000 clauses out of 20020 with flag 1432000/3072893 419.39/232.20 c cleaning 10000 clauses out of 20020 with flag 1442000/3082893 420.84/233.01 c cleaning 9999 clauses out of 20020 with flag 1452000/3092893 422.10/233.77 c cleaning 10004 clauses out of 20021 with flag 1462000/3102893 423.54/234.53 c cleaning 10002 clauses out of 20017 with flag 1472000/3112893 424.93/235.38 c cleaning 9999 clauses out of 20015 with flag 1482000/3122893 426.36/236.16 c cleaning 10000 clauses out of 20017 with flag 1492001/3132894 427.81/236.96 c cleaning 10002 clauses out of 20016 with flag 1502000/3142893 429.24/237.76 c cleaning 9999 clauses out of 20014 with flag 1512000/3152893 430.80/238.68 c cleaning 10001 clauses out of 20015 with flag 1522000/3162893 432.24/239.45 c cleaning 9989 clauses out of 20014 with flag 1532000/3172893 433.70/240.20 c cleaning 10005 clauses out of 20025 with flag 1542000/3182893 434.96/240.96 c cleaning 9988 clauses out of 20020 with flag 1552000/3192893 436.29/241.77 c cleaning 10004 clauses out of 20032 with flag 1562000/3202893 437.74/242.50 c cleaning 10009 clauses out of 20029 with flag 1572001/3212894 439.00/243.27 c cleaning 10002 clauses out of 20019 with flag 1582000/3222893 440.45/244.05 c cleaning 9996 clauses out of 20017 with flag 1592000/3232893 442.02/244.93 c cleaning 10009 clauses out of 20021 with flag 1602000/3242893 443.26/245.69 c cleaning 10004 clauses out of 20012 with flag 1612000/3252893 444.71/246.46 c cleaning 9995 clauses out of 20008 with flag 1622000/3262893 446.13/247.25 c cleaning 9998 clauses out of 20013 with flag 1632000/3272893 447.71/248.10 c cleaning 10000 clauses out of 20016 with flag 1642001/3282894 448.93/248.85 c cleaning 10006 clauses out of 20015 with flag 1652000/3292893 450.17/249.59 c cleaning 9991 clauses out of 20009 with flag 1662000/3302893 451.60/250.35 c cleaning 10004 clauses out of 20018 with flag 1672000/3312893 452.96/251.16 c cleaning 9995 clauses out of 20015 with flag 1682001/3322894 454.21/251.88 c cleaning 9999 clauses out of 20019 with flag 1692000/3332893 455.63/252.60 c cleaning 10006 clauses out of 20021 with flag 1702001/3342894 456.85/253.34 c cleaning 9999 clauses out of 20014 with flag 1712000/3352893 458.21/254.17 c cleaning 10000 clauses out of 20016 with flag 1722001/3362894 459.64/254.93 c cleaning 10008 clauses out of 20015 with flag 1732000/3372893 461.06/255.72 c cleaning 9999 clauses out of 20007 with flag 1742000/3382893 462.30/256.47 c cleaning 10001 clauses out of 20008 with flag 1752000/3392893 463.86/257.32 c cleaning 10002 clauses out of 20007 with flag 1762000/3402893 465.08/258.07 c cleaning 9998 clauses out of 20007 with flag 1772002/3412895 466.50/258.82 c cleaning 9996 clauses out of 20008 with flag 1782001/3422894 467.74/259.59 c cleaning 10002 clauses out of 20011 with flag 1792000/3432893 469.27/260.43 c cleaning 9993 clauses out of 20010 with flag 1802001/3442894 470.51/261.16 c cleaning 9993 clauses out of 20016 with flag 1812000/3452893 471.75/261.88 c cleaning 10001 clauses out of 20025 with flag 1822002/3462895 473.17/262.64 c cleaning 10003 clauses out of 20022 with flag 1832000/3472893 474.52/263.49 c cleaning 9999 clauses out of 20019 with flag 1842000/3482893 475.96/264.27 c cleaning 10004 clauses out of 20021 with flag 1852001/3492894 477.41/265.02 c cleaning 10005 clauses out of 20016 with flag 1862000/3502893 478.63/265.79 c cleaning 9998 clauses out of 20011 with flag 1872000/3512893 480.17/266.62 c cleaning 9996 clauses out of 20013 with flag 1882000/3522893 481.41/267.37 c cleaning 10002 clauses out of 20018 with flag 1892001/3532894 482.63/268.09 c cleaning 9996 clauses out of 20015 with flag 1902000/3542893 484.06/268.83 c cleaning 10000 clauses out of 20019 with flag 1912000/3552893 485.39/269.63 c cleaning 10007 clauses out of 20019 with flag 1922000/3562893 486.63/270.38 c cleaning 9998 clauses out of 20014 with flag 1932002/3572895 488.05/271.14 c cleaning 10002 clauses out of 20016 with flag 1942002/3582895 489.29/271.87 c cleaning 10002 clauses out of 20012 with flag 1952000/3592893 490.84/272.71 c cleaning 10001 clauses out of 20010 with flag 1962000/3602893 492.05/273.43 c cleaning 10005 clauses out of 20010 with flag 1972001/3612894 493.29/274.18 c cleaning 9993 clauses out of 20004 with flag 1982000/3622893 494.72/274.91 c cleaning 9999 clauses out of 20011 with flag 1992000/3632893 496.03/275.73 c cleaning 9996 clauses out of 20012 with flag 2002000/3642893 497.26/276.47 c cleaning 9997 clauses out of 20016 with flag 2012000/3652893 498.50/277.19 c cleaning 9995 clauses out of 20019 with flag 2022000/3662893 499.92/277.94 c cleaning 10008 clauses out of 20026 with flag 2032002/3672895 501.44/278.80 c cleaning 10003 clauses out of 20016 with flag 2042000/3682893 502.66/279.57 c cleaning 9994 clauses out of 20014 with flag 2052001/3692894 504.10/280.33 c cleaning 10006 clauses out of 20021 with flag 2062002/3702895 505.32/281.06 c cleaning 10000 clauses out of 20013 with flag 2072000/3712893 506.67/281.87 c cleaning 9994 clauses out of 20013 with flag 2082000/3722893 508.11/282.62 c cleaning 9998 clauses out of 20019 with flag 2092000/3732893 509.32/283.37 c cleaning 10009 clauses out of 20022 with flag 2102001/3742894 510.74/284.14 c cleaning 10001 clauses out of 20012 with flag 2112000/3752893 512.11/284.95 c cleaning 9999 clauses out of 20011 with flag 2122000/3762893 513.31/285.69 c cleaning 9997 clauses out of 20012 with flag 2132000/3772893 514.73/286.40 c cleaning 9995 clauses out of 20016 with flag 2142001/3782894 515.97/287.14 c cleaning 10004 clauses out of 20020 with flag 2152000/3792893 517.48/288.01 c cleaning 9993 clauses out of 20017 with flag 2162001/3802894 518.69/288.76 c cleaning 10002 clauses out of 20023 with flag 2172000/3812893 520.13/289.55 c cleaning 9996 clauses out of 20021 with flag 2182000/3822893 521.35/290.29 c cleaning 10006 clauses out of 20025 with flag 2192000/3832893 522.87/291.16 c cleaning 10005 clauses out of 20020 with flag 2202001/3842894 524.30/291.92 c cleaning 9997 clauses out of 20015 with flag 2212001/3852894 525.55/292.67 c cleaning 9999 clauses out of 20018 with flag 2222001/3862894 526.77/293.38 c cleaning 10003 clauses out of 20018 with flag 2232000/3872893 528.31/294.21 c cleaning 9999 clauses out of 20015 with flag 2242000/3882893 529.53/294.94 c cleaning 10004 clauses out of 20017 with flag 2252001/3892894 530.75/295.68 c cleaning 9994 clauses out of 20014 with flag 2262002/3902895 532.16/296.44 c cleaning 9999 clauses out of 20018 with flag 2272000/3912893 533.50/297.28 c cleaning 10001 clauses out of 20019 with flag 2282000/3922893 534.93/298.02 c cleaning 10001 clauses out of 20018 with flag 2292000/3932893 536.33/298.80 c cleaning 10007 clauses out of 20018 with flag 2302001/3942894 537.55/299.51 c cleaning 9998 clauses out of 20011 with flag 2312001/3952894 538.88/300.36 c cleaning 9997 clauses out of 20013 with flag 2322001/3962894 540.28/301.11 c cleaning 10003 clauses out of 20016 with flag 2332001/3972894 541.50/301.84 c cleaning 9997 clauses out of 20012 with flag 2342000/3982893 542.74/302.52 c cleaning 10001 clauses out of 20016 with flag 2352001/3992894 544.06/303.32 c cleaning 9996 clauses out of 20014 with flag 2362000/4002893 545.29/304.08 c cleaning 10001 clauses out of 20018 with flag 2372000/4012893 546.73/304.88 c cleaning 10003 clauses out of 20017 with flag 2382000/4022893 548.15/305.67 c cleaning 9998 clauses out of 20014 with flag 2392000/4032893 549.68/306.52 c cleaning 9988 clauses out of 20017 with flag 2402001/4042894 551.10/307.32 c cleaning 9998 clauses out of 20029 with flag 2412001/4052894 552.52/308.10 c cleaning 9998 clauses out of 20031 with flag 2422001/4062894 553.74/308.83 c cleaning 10009 clauses out of 20032 with flag 2432000/4072893 555.05/309.69 c cleaning 9995 clauses out of 20023 with flag 2442000/4082893 556.48/310.46 c cleaning 10006 clauses out of 20028 with flag 2452000/4092893 557.92/311.23 c cleaning 9997 clauses out of 20022 with flag 2462000/4102893 559.13/311.99 c cleaning 10000 clauses out of 20026 with flag 2472001/4112894 560.65/312.85 c cleaning 10008 clauses out of 20025 with flag 2482000/4122893 562.07/313.63 c cleaning 10003 clauses out of 20019 with flag 2492002/4132895 563.29/314.36 c cleaning 10006 clauses out of 20016 with flag 2502002/4142895 564.50/315.07 c cleaning 9996 clauses out of 20008 with flag 2512000/4152893 566.04/315.95 c cleaning 9998 clauses out of 20013 with flag 2522001/4162894 567.48/316.75 c cleaning 10000 clauses out of 20014 with flag 2532000/4172893 568.88/317.53 c cleaning 10001 clauses out of 20014 with flag 2542000/4182893 570.10/318.27 c cleaning 9999 clauses out of 20016 with flag 2552003/4192896 571.60/319.17 c cleaning 10001 clauses out of 20015 with flag 2562001/4202894 573.02/319.97 c cleaning 10001 clauses out of 20014 with flag 2572001/4212894 574.45/320.73 c cleaning 9989 clauses out of 20013 with flag 2582001/4222894 575.86/321.51 c cleaning 9997 clauses out of 20023 with flag 2592000/4232893 577.19/322.35 c cleaning 10000 clauses out of 20026 with flag 2602000/4242893 578.59/323.14 c cleaning 10005 clauses out of 20026 with flag 2612000/4252893 580.00/323.91 c cleaning 10001 clauses out of 20021 with flag 2622000/4262893 581.23/324.65 c cleaning 10005 clauses out of 20021 with flag 2632001/4272894 582.76/325.51 c cleaning 9986 clauses out of 20016 with flag 2642001/4282894 584.17/326.31 c cleaning 10007 clauses out of 20029 with flag 2652000/4292893 585.39/327.06 c cleaning 9996 clauses out of 20022 with flag 2662000/4302893 586.82/327.85 c cleaning 9996 clauses out of 20026 with flag 2672000/4312893 588.31/328.72 c cleaning 10004 clauses out of 20030 with flag 2682000/4322893 589.53/329.48 c cleaning 10004 clauses out of 20027 with flag 2692001/4332894 590.95/330.23 c cleaning 10003 clauses out of 20022 with flag 2702000/4342893 592.16/330.99 c cleaning 9990 clauses out of 20019 with flag 2712000/4352893 593.69/331.85 c cleaning 10010 clauses out of 20030 with flag 2722001/4362894 595.11/332.60 c cleaning 10001 clauses out of 20019 with flag 2732000/4372893 596.34/333.33 c cleaning 9999 clauses out of 20019 with flag 2742001/4382894 597.54/334.08 c cleaning 9998 clauses out of 20019 with flag 2752000/4392893 599.09/334.95 c cleaning 10000 clauses out of 20021 with flag 2762000/4402893 600.50/335.72 c cleaning 10001 clauses out of 20021 with flag 2772000/4412893 601.74/336.48 c cleaning 10001 clauses out of 20020 with flag 2782000/4422893 603.15/337.26 c cleaning 9997 clauses out of 20019 with flag 2792000/4432893 604.67/338.15 c cleaning 9993 clauses out of 20022 with flag 2802000/4442893 606.09/338.95 c cleaning 10013 clauses out of 20029 with flag 2812000/4452893 607.50/339.70 c cleaning 10003 clauses out of 20016 with flag 2822000/4462893 608.72/340.49 c cleaning 9996 clauses out of 20014 with flag 2832001/4472894 610.25/341.35 c cleaning 10003 clauses out of 20017 with flag 2842000/4482893 611.68/342.11 c cleaning 9994 clauses out of 20014 with flag 2852000/4492893 612.86/342.85 c cleaning 9998 clauses out of 20020 with flag 2862000/4502893 614.08/343.58 c cleaning 10006 clauses out of 20023 with flag 2872001/4512894 615.59/344.43 c cleaning 9997 clauses out of 20016 with flag 2882000/4522893 616.80/345.19 c cleaning 10003 clauses out of 20020 with flag 2892001/4532894 618.22/345.98 c cleaning 9997 clauses out of 20016 with flag 2902000/4542893 619.63/346.77 c cleaning 10006 clauses out of 20019 with flag 2912000/4552893 621.18/347.62 c cleaning 10002 clauses out of 20014 with flag 2922001/4562894 622.37/348.39 c cleaning 10003 clauses out of 20011 with flag 2932000/4572893 623.81/349.16 c cleaning 10000 clauses out of 20009 with flag 2942001/4582894 625.23/349.91 c cleaning 10000 clauses out of 20008 with flag 2952000/4592893 626.54/350.78 c cleaning 9994 clauses out of 20008 with flag 2962000/4602893 627.95/351.59 c cleaning 9992 clauses out of 20014 with flag 2972000/4612893 629.36/352.35 c cleaning 10000 clauses out of 20022 with flag 2982000/4622893 630.78/353.13 c cleaning 9999 clauses out of 20024 with flag 2992002/4632895 632.27/354.00 c cleaning 9998 clauses out of 20025 with flag 3002002/4642895 633.49/354.75 c cleaning 10005 clauses out of 20025 with flag 3012000/4652893 634.90/355.50 c cleaning 9996 clauses out of 20020 with flag 3022000/4662893 636.10/356.26 c cleaning 10003 clauses out of 20025 with flag 3032001/4672894 637.60/357.14 c cleaning 10002 clauses out of 20021 with flag 3042000/4682893 639.00/357.92 c cleaning 9997 clauses out of 20020 with flag 3052001/4692894 640.22/358.68 c cleaning 10003 clauses out of 20022 with flag 3062000/4702893 641.61/359.45 c cleaning 9999 clauses out of 20019 with flag 3072000/4712893 643.09/360.33 c cleaning 9993 clauses out of 20020 with flag 3082000/4722893 644.50/361.13 c cleaning 10001 clauses out of 20028 with flag 3092001/4732894 645.93/361.92 c cleaning 10010 clauses out of 20027 with flag 3102001/4742894 647.15/362.68 c cleaning 9996 clauses out of 20016 with flag 3112000/4752893 648.65/363.54 c cleaning 10000 clauses out of 20020 with flag 3122000/4762893 650.08/364.30 c cleaning 10001 clauses out of 20020 with flag 3132000/4772893 651.29/365.06 c cleaning 10004 clauses out of 20019 with flag 3142000/4782893 652.50/365.78 c cleaning 10002 clauses out of 20015 with flag 3152000/4792893 654.01/366.64 c cleaning 9993 clauses out of 20014 with flag 3162001/4802894 655.43/367.42 c cleaning 9996 clauses out of 20020 with flag 3172000/4812893 656.83/368.21 c cleaning 10008 clauses out of 20025 with flag 3182001/4822894 658.04/368.97 c cleaning 9995 clauses out of 20017 with flag 3192001/4832894 659.53/369.84 c cleaning 9996 clauses out of 20022 with flag 3202001/4842894 660.96/370.64 c cleaning 10008 clauses out of 20026 with flag 3212001/4852894 662.34/371.41 c cleaning 9998 clauses out of 20018 with flag 3222001/4862894 662.96/371.88 c cleaning 0 clauses out of 11528 with flag 0/11531 663.90/372.47 c cleaning 9997 clauses out of 20019 with flag 3232000/4872893 665.30/373.23 c cleaning 10004 clauses out of 20022 with flag 3242000/4882893 666.72/374.02 c cleaning 9985 clauses out of 20018 with flag 3252000/4892893 667.91/374.80 c cleaning 10006 clauses out of 20033 with flag 3262000/4902893 669.43/375.62 c cleaning 10002 clauses out of 20027 with flag 3272000/4912893 670.84/376.41 c cleaning 9994 clauses out of 20026 with flag 3282001/4922894 672.04/377.18 c cleaning 10007 clauses out of 20032 with flag 3292001/4932894 673.46/377.96 c cleaning 10010 clauses out of 20025 with flag 3302001/4942894 674.78/378.78 c cleaning 10001 clauses out of 20014 with flag 3312000/4952893 676.20/379.57 c cleaning 10002 clauses out of 20013 with flag 3322000/4962893 677.60/380.36 c cleaning 10005 clauses out of 20012 with flag 3332001/4972894 679.01/381.12 c cleaning 9988 clauses out of 20006 with flag 3342000/4982893 680.33/381.95 c cleaning 10005 clauses out of 20019 with flag 3352001/4992894 681.75/382.74 c cleaning 10003 clauses out of 20013 with flag 3362000/5002893 683.14/383.51 c cleaning 9997 clauses out of 20010 with flag 3372000/5012893 684.34/384.26 c cleaning 9999 clauses out of 20013 with flag 3382000/5022893 685.84/385.11 c cleaning 9997 clauses out of 20014 with flag 3392000/5032893 687.24/385.90 c cleaning 9998 clauses out of 20017 with flag 3402000/5042893 688.45/386.63 c cleaning 10001 clauses out of 20019 with flag 3412000/5052893 689.65/387.38 c cleaning 10002 clauses out of 20019 with flag 3422001/5062894 691.18/388.24 c cleaning 9997 clauses out of 20017 with flag 3432001/5072894 692.37/388.98 c cleaning 10002 clauses out of 20019 with flag 3442000/5082893 693.77/389.77 c cleaning 9995 clauses out of 20017 with flag 3452000/5092893 695.19/390.57 c cleaning 10004 clauses out of 20022 with flag 3462000/5102893 696.71/391.43 c cleaning 9996 clauses out of 20018 with flag 3472000/5112893 698.12/392.22 c cleaning 9999 clauses out of 20022 with flag 3482000/5122893 699.32/392.99 c cleaning 9998 clauses out of 20023 with flag 3492000/5132893 700.73/393.76 c cleaning 10006 clauses out of 20026 with flag 3502001/5142894 702.01/394.59 c cleaning 10000 clauses out of 20019 with flag 3512000/5152893 703.41/395.33 c cleaning 10008 clauses out of 20019 with flag 3522000/5162893 704.62/396.06 c cleaning 9991 clauses out of 20011 with flag 3532000/5172893 706.00/396.83 c cleaning 10000 clauses out of 20020 with flag 3542000/5182893 707.33/397.66 c cleaning 10000 clauses out of 20020 with flag 3552000/5192893 708.52/398.38 c cleaning 10001 clauses out of 20020 with flag 3562000/5202893 709.92/399.18 c cleaning 9999 clauses out of 20020 with flag 3572001/5212894 711.32/399.92 c cleaning 10007 clauses out of 20022 with flag 3582002/5222895 712.61/400.78 c cleaning 10000 clauses out of 20014 with flag 3592001/5232894 714.03/401.57 c cleaning 10001 clauses out of 20014 with flag 3602001/5242894 715.42/402.35 c cleaning 9999 clauses out of 20014 with flag 3612002/5252895 716.82/403.10 c cleaning 9993 clauses out of 20014 with flag 3622001/5262894 718.12/403.95 c cleaning 9997 clauses out of 20020 with flag 3632000/5272893 719.53/404.72 c cleaning 9997 clauses out of 20023 with flag 3642000/5282893 720.72/405.47 c cleaning 9998 clauses out of 20026 with flag 3652000/5292893 722.12/406.26 c cleaning 10009 clauses out of 20028 with flag 3662000/5302893 723.60/407.17 c cleaning 9986 clauses out of 20019 with flag 3672000/5312893 725.00/407.99 c cleaning 10012 clauses out of 20034 with flag 3682001/5322894 726.39/408.79 c cleaning 9996 clauses out of 20022 with flag 3692001/5332894 727.79/409.52 c cleaning 9998 clauses out of 20026 with flag 3702001/5342894 729.14/410.33 c cleaning 9989 clauses out of 20027 with flag 3712000/5352893 730.52/411.16 c cleaning 10006 clauses out of 20038 with flag 3722000/5362893 731.94/411.92 c cleaning 10003 clauses out of 20033 with flag 3732001/5372894 733.36/412.74 c cleaning 10003 clauses out of 20029 with flag 3742000/5382893 734.88/413.63 c cleaning 10005 clauses out of 20027 with flag 3752001/5392894 736.27/414.44 c cleaning 10001 clauses out of 20021 with flag 3762000/5402893 737.47/415.19 c cleaning 9990 clauses out of 20020 with flag 3772000/5412893 738.87/415.99 c cleaning 10009 clauses out of 20031 with flag 3782001/5422894 740.42/416.86 c cleaning 10004 clauses out of 20021 with flag 3792000/5432893 741.80/417.67 c cleaning 9996 clauses out of 20018 with flag 3802001/5442894 743.19/418.48 c cleaning 9998 clauses out of 20021 with flag 3812000/5452893 744.59/419.26 c cleaning 10000 clauses out of 20023 with flag 3822000/5462893 746.09/420.18 c cleaning 10002 clauses out of 20025 with flag 3832002/5472895 747.48/420.92 c cleaning 9999 clauses out of 20022 with flag 3842001/5482894 748.67/421.64 c cleaning 9998 clauses out of 20022 with flag 3852000/5492893 749.88/422.38 c cleaning 10004 clauses out of 20024 with flag 3862000/5502893 751.37/423.30 c cleaning 10007 clauses out of 20021 with flag 3872001/5512894 752.76/424.06 c cleaning 9999 clauses out of 20013 with flag 3882000/5522893 754.15/424.82 c cleaning 9990 clauses out of 20014 with flag 3892000/5532893 755.55/425.61 c cleaning 9995 clauses out of 20024 with flag 3902000/5542893 756.84/426.49 c cleaning 10005 clauses out of 20030 with flag 3912001/5552894 758.23/427.25 c cleaning 10003 clauses out of 20024 with flag 3922000/5562893 759.61/428.04 c cleaning 9995 clauses out of 20021 with flag 3932000/5572893 761.01/428.80 c cleaning 10009 clauses out of 20026 with flag 3942000/5582893 762.30/429.65 c cleaning 10004 clauses out of 20018 with flag 3952001/5592894 763.70/430.47 c cleaning 10004 clauses out of 20015 with flag 3962002/5602895 765.09/431.25 c cleaning 9988 clauses out of 20009 with flag 3972000/5612893 766.46/432.04 c cleaning 10001 clauses out of 20021 with flag 3982000/5622893 767.96/432.92 c cleaning 10008 clauses out of 20021 with flag 3992001/5632894 769.14/433.70 c cleaning 9993 clauses out of 20013 with flag 4002001/5642894 770.54/434.44 c cleaning 9996 clauses out of 20019 with flag 4012000/5652893 771.92/435.21 c cleaning 9999 clauses out of 20023 with flag 4022000/5662893 773.22/436.07 c cleaning 10001 clauses out of 20024 with flag 4032000/5672893 774.60/436.84 c cleaning 10007 clauses out of 20023 with flag 4042000/5682893 775.78/437.59 c cleaning 9997 clauses out of 20016 with flag 4052000/5692893 777.19/438.33 c cleaning 10000 clauses out of 20019 with flag 4062000/5702893 778.68/439.26 c cleaning 10004 clauses out of 20019 with flag 4072000/5712893 780.08/440.08 c cleaning 10002 clauses out of 20015 with flag 4082000/5722893 781.46/440.88 c cleaning 9997 clauses out of 20014 with flag 4092001/5732894 782.85/441.66 c cleaning 10000 clauses out of 20017 with flag 4102001/5742894 784.32/442.55 c cleaning 9998 clauses out of 20016 with flag 4112000/5752893 785.72/443.32 c cleaning 9994 clauses out of 20018 with flag 4122000/5762893 786.90/444.08 c cleaning 9997 clauses out of 20025 with flag 4132001/5772894 788.29/444.89 c cleaning 9990 clauses out of 20027 with flag 4142000/5782893 789.97/445.81 c cleaning 10008 clauses out of 20037 with flag 4152000/5792893 791.17/446.60 c cleaning 10002 clauses out of 20029 with flag 4162000/5802893 792.55/447.38 c cleaning 9998 clauses out of 20027 with flag 4172000/5812893 793.94/448.15 c cleaning 10005 clauses out of 20030 with flag 4182001/5822894 795.28/448.98 c cleaning 9996 clauses out of 20025 with flag 4192001/5832894 796.68/449.74 c cleaning 10003 clauses out of 20030 with flag 4202002/5842895 798.07/450.52 c cleaning 9999 clauses out of 20025 with flag 4212000/5852893 799.47/451.33 c cleaning 10005 clauses out of 20026 with flag 4222000/5862893 800.96/452.22 c cleaning 10001 clauses out of 20023 with flag 4232002/5872895 802.15/452.98 c cleaning 9997 clauses out of 20020 with flag 4242000/5882893 803.55/453.77 c cleaning 10004 clauses out of 20024 with flag 4252001/5892894 804.94/454.57 c cleaning 10002 clauses out of 20020 with flag 4262001/5902894 806.61/455.53 c cleaning 10004 clauses out of 20017 with flag 4272000/5912893 807.81/456.29 c cleaning 9998 clauses out of 20013 with flag 4282000/5922893 809.20/457.07 c cleaning 9999 clauses out of 20015 with flag 4292000/5932893 810.58/457.87 c cleaning 10002 clauses out of 20016 with flag 4302000/5942893 812.09/458.72 c cleaning 9989 clauses out of 20014 with flag 4312000/5952893 813.47/459.51 c cleaning 9998 clauses out of 20025 with flag 4322000/5962893 814.66/460.27 c cleaning 10002 clauses out of 20027 with flag 4332000/5972893 816.06/461.07 c cleaning 10004 clauses out of 20025 with flag 4342000/5982893 817.54/461.97 c cleaning 10003 clauses out of 20022 with flag 4352001/5992894 818.91/462.75 c cleaning 9999 clauses out of 20018 with flag 4362000/6002893 820.30/463.56 c cleaning 9996 clauses out of 20019 with flag 4372000/6012893 821.68/464.37 c cleaning 9995 clauses out of 20023 with flag 4382000/6022893 823.19/465.25 c cleaning 10002 clauses out of 20029 with flag 4392001/6032894 824.57/466.04 c cleaning 9993 clauses out of 20026 with flag 4402000/6042893 825.95/466.82 c cleaning 10011 clauses out of 20034 with flag 4412001/6052894 827.33/467.64 c cleaning 10000 clauses out of 20023 with flag 4422001/6062894 828.81/468.58 c cleaning 10002 clauses out of 20022 with flag 4432000/6072893 830.39/469.43 c cleaning 10005 clauses out of 20021 with flag 4442001/6082894 831.77/470.20 c cleaning 10005 clauses out of 20015 with flag 4452000/6092893 832.95/471.00 c cleaning 9993 clauses out of 20010 with flag 4462000/6102893 834.63/471.91 c cleaning 9998 clauses out of 20017 with flag 4472000/6112893 835.99/472.73 c cleaning 10005 clauses out of 20020 with flag 4482001/6122894 837.18/473.49 c cleaning 10002 clauses out of 20015 with flag 4492001/6132894 838.57/474.29 c cleaning 10004 clauses out of 20012 with flag 4502000/6142893 840.06/475.18 c cleaning 9999 clauses out of 20009 with flag 4512001/6152894 841.43/475.96 c cleaning 9992 clauses out of 20010 with flag 4522001/6162894 842.81/476.76 c cleaning 9993 clauses out of 20017 with flag 4532000/6172893 844.20/477.55 c cleaning 10000 clauses out of 20025 with flag 4542001/6182894 845.67/478.46 c cleaning 10000 clauses out of 20024 with flag 4552000/6192893 847.05/479.26 c cleaning 10007 clauses out of 20025 with flag 4562001/6202894 848.43/480.06 c cleaning 9996 clauses out of 20018 with flag 4572001/6212894 849.81/480.83 c cleaning 10001 clauses out of 20021 with flag 4582000/6222893 851.28/481.77 c cleaning 9995 clauses out of 20020 with flag 4592000/6232893 852.66/482.55 c cleaning 9999 clauses out of 20025 with flag 4602000/6242893 854.04/483.36 c cleaning 10005 clauses out of 20026 with flag 4612000/6252893 855.42/484.15 c cleaning 9995 clauses out of 20021 with flag 4622000/6262893 856.94/485.04 c cleaning 10005 clauses out of 20028 with flag 4632002/6272895 858.31/485.87 c cleaning 10008 clauses out of 20021 with flag 4642000/6282893 859.89/486.70 c cleaning 10003 clauses out of 20014 with flag 4652001/6292894 861.08/487.49 c cleaning 9999 clauses out of 20011 with flag 4662001/6302894 862.58/488.40 c cleaning 9995 clauses out of 20012 with flag 4672001/6312894 864.12/489.23 c cleaning 10005 clauses out of 20018 with flag 4682002/6322895 865.31/489.98 c cleaning 9997 clauses out of 20011 with flag 4692000/6332893 866.69/490.79 c cleaning 9986 clauses out of 20015 with flag 4702001/6342894 868.39/491.73 c cleaning 10008 clauses out of 20028 with flag 4712000/6352893 869.77/492.53 c cleaning 9995 clauses out of 20020 with flag 4722000/6362893 871.16/493.34 c cleaning 10011 clauses out of 20026 with flag 4732001/6372894 872.54/494.11 c cleaning 10002 clauses out of 20014 with flag 4742000/6382893 874.03/495.01 c cleaning 9992 clauses out of 20012 with flag 4752000/6392893 875.39/495.80 c cleaning 10001 clauses out of 20021 with flag 4762001/6402894 876.57/496.60 c cleaning 9992 clauses out of 20020 with flag 4772001/6412894 878.15/497.40 c cleaning 9992 clauses out of 20028 with flag 4782001/6422894 879.64/498.35 c cleaning 10014 clauses out of 20036 with flag 4792001/6432894 881.00/499.16 c cleaning 10007 clauses out of 20021 with flag 4802000/6442893 882.38/499.99 c cleaning 9999 clauses out of 20014 with flag 4812000/6452893 883.74/500.76 c cleaning 10001 clauses out of 20016 with flag 4822001/6462894 885.22/501.68 c cleaning 9992 clauses out of 20014 with flag 4832000/6472893 886.78/502.51 c cleaning 10007 clauses out of 20023 with flag 4842001/6482894 888.16/503.30 c cleaning 10002 clauses out of 20018 with flag 4852003/6492896 889.54/504.13 c cleaning 9995 clauses out of 20014 with flag 4862001/6502894 891.00/505.04 c cleaning 10009 clauses out of 20018 with flag 4872001/6512894 892.37/505.84 c cleaning 9989 clauses out of 20008 with flag 4882000/6522893 893.75/506.65 c cleaning 10004 clauses out of 20019 with flag 4892000/6532893 895.13/507.46 c cleaning 10002 clauses out of 20015 with flag 4902000/6542893 896.78/508.40 c cleaning 10001 clauses out of 20014 with flag 4912001/6552894 898.18/509.24 c cleaning 9999 clauses out of 20012 with flag 4922000/6562893 899.56/510.06 c cleaning 10002 clauses out of 20014 with flag 4932001/6572894 900.93/510.89 c cleaning 9994 clauses out of 20012 with flag 4942001/6582894 902.57/511.83 c cleaning 10002 clauses out of 20017 with flag 4952000/6592893 903.75/512.59 c cleaning 9998 clauses out of 20016 with flag 4962001/6602894 905.10/513.39 c cleaning 9997 clauses out of 20017 with flag 4972000/6612893 906.46/514.19 c cleaning 9995 clauses out of 20020 with flag 4982000/6622893 908.09/515.14 c cleaning 9998 clauses out of 20025 with flag 4992000/6632893 909.47/515.93 c cleaning 10009 clauses out of 20028 with flag 5002001/6642894 910.84/516.78 c cleaning 9995 clauses out of 20019 with flag 5012001/6652894 912.39/517.61 c cleaning 10002 clauses out of 20023 with flag 5022000/6662893 913.85/518.54 c cleaning 10008 clauses out of 20021 with flag 5032000/6672893 915.24/519.34 c cleaning 9991 clauses out of 20013 with flag 5042000/6682893 916.62/520.12 c cleaning 10004 clauses out of 20022 with flag 5052000/6692893 918.01/520.92 c cleaning 9996 clauses out of 20019 with flag 5062001/6702894 919.46/521.84 c cleaning 10001 clauses out of 20022 with flag 5072000/6712893 920.84/522.63 c cleaning 10005 clauses out of 20021 with flag 5082000/6722893 922.22/523.44 c cleaning 9998 clauses out of 20016 with flag 5092000/6732893 923.39/524.20 c cleaning 9995 clauses out of 20019 with flag 5102001/6742894 925.04/525.14 c cleaning 10009 clauses out of 20024 with flag 5112001/6752894 926.42/525.98 c cleaning 10004 clauses out of 20014 with flag 5122000/6762893 927.80/526.78 c cleaning 9998 clauses out of 20011 with flag 5132001/6772894 929.18/527.57 c cleaning 9992 clauses out of 20012 with flag 5142000/6782893 930.63/528.48 c cleaning 10003 clauses out of 20021 with flag 5152001/6792894 932.00/529.27 c cleaning 10000 clauses out of 20017 with flag 5162000/6802893 933.39/530.08 c cleaning 9987 clauses out of 20016 with flag 5172000/6812893 934.96/530.93 c cleaning 10008 clauses out of 20029 with flag 5182000/6822893 936.40/531.89 c cleaning 10001 clauses out of 20021 with flag 5192000/6832893 937.96/532.73 c cleaning 10000 clauses out of 20020 with flag 5202000/6842893 939.35/533.57 c cleaning 9998 clauses out of 20020 with flag 5212000/6852893 940.92/534.45 c cleaning 10002 clauses out of 20023 with flag 5222001/6862894 942.37/535.39 c cleaning 10000 clauses out of 20020 with flag 5232000/6872893 943.95/536.21 c cleaning 10005 clauses out of 20020 with flag 5242000/6882893 945.34/537.06 c cleaning 9997 clauses out of 20015 with flag 5252000/6892893 946.73/537.86 c cleaning 10004 clauses out of 20019 with flag 5262001/6902894 948.37/538.81 c cleaning 10005 clauses out of 20015 with flag 5272001/6912894 949.74/539.66 c cleaning 9999 clauses out of 20009 with flag 5282000/6922893 951.11/540.47 c cleaning 9988 clauses out of 20010 with flag 5292000/6932893 952.67/541.30 c cleaning 10008 clauses out of 20024 with flag 5302002/6942895 953.92/542.20 c cleaning 9999 clauses out of 20014 with flag 5312000/6952893 955.49/543.04 c cleaning 10000 clauses out of 20017 with flag 5322002/6962895 956.86/543.85 c cleaning 9999 clauses out of 20015 with flag 5332000/6972893 958.22/544.69 c cleaning 9993 clauses out of 20017 with flag 5342001/6982894 959.87/545.68 c cleaning 10007 clauses out of 20023 with flag 5352000/6992893 961.21/546.47 c cleaning 10001 clauses out of 20017 with flag 5362001/7002894 962.60/547.25 c cleaning 9992 clauses out of 20015 with flag 5372000/7012893 963.96/548.09 c cleaning 10009 clauses out of 20023 with flag 5382000/7022893 965.64/549.02 c cleaning 9985 clauses out of 20014 with flag 5392000/7032893 967.00/549.87 c cleaning 10004 clauses out of 20029 with flag 5402000/7042893 968.56/550.73 c cleaning 10012 clauses out of 20025 with flag 5412000/7052893 969.92/551.55 c cleaning 10000 clauses out of 20013 with flag 5422000/7062893 971.57/552.52 c cleaning 10000 clauses out of 20013 with flag 5432000/7072893 972.95/553.32 c cleaning 10001 clauses out of 20013 with flag 5442000/7082893 974.30/554.16 c cleaning 9993 clauses out of 20012 with flag 5452000/7092893 975.86/555.02 c cleaning 10000 clauses out of 20019 with flag 5462000/7102893 977.28/555.92 c cleaning 9994 clauses out of 20019 with flag 5472000/7112893 978.66/556.73 c cleaning 10004 clauses out of 20026 with flag 5482001/7122894 980.02/557.55 c cleaning 10005 clauses out of 20022 with flag 5492001/7132894 981.36/558.39 c cleaning 9993 clauses out of 20016 with flag 5502000/7142893 982.98/559.33 c cleaning 10008 clauses out of 20024 with flag 5512001/7152894 984.34/560.16 c cleaning 9992 clauses out of 20014 with flag 5522000/7162893 985.70/561.00 c cleaning 10003 clauses out of 20022 with flag 5532000/7172893 987.24/561.85 c cleaning 9997 clauses out of 20020 with flag 5542001/7182894 988.68/562.79 c cleaning 10004 clauses out of 20022 with flag 5552000/7192893 990.24/563.60 c cleaning 9993 clauses out of 20018 with flag 5562000/7202893 991.60/564.45 c cleaning 10012 clauses out of 20028 with flag 5572003/7212896 992.96/565.28 c cleaning 10005 clauses out of 20016 with flag 5582003/7222896 994.60/566.25 c cleaning 9997 clauses out of 20009 with flag 5592001/7232894 995.96/567.09 c cleaning 9999 clauses out of 20012 with flag 5602001/7242894 997.52/567.94 c cleaning 9996 clauses out of 20012 with flag 5612000/7252893 998.90/568.73 c cleaning 9997 clauses out of 20016 with flag 5622000/7262893 1000.32/569.68 c cleaning 10001 clauses out of 20019 with flag 5632000/7272893 1001.87/570.53 c cleaning 9985 clauses out of 20018 with flag 5642000/7282893 1003.24/571.36 c cleaning 10004 clauses out of 20033 with flag 5652000/7292893 1004.80/572.21 c cleaning 10004 clauses out of 20030 with flag 5662001/7302894 1006.27/573.14 c cleaning 9992 clauses out of 20025 with flag 5672000/7312893 1007.81/574.01 c cleaning 10008 clauses out of 20033 with flag 5682000/7322893 1009.18/574.89 c cleaning 9999 clauses out of 20026 with flag 5692001/7332894 1010.74/575.79 c cleaning 9998 clauses out of 20027 with flag 5702001/7342894 1012.38/576.74 c cleaning 9995 clauses out of 20029 with flag 5712001/7352894 1013.76/577.58 c cleaning 10005 clauses out of 20033 with flag 5722000/7362893 1015.31/578.42 c cleaning 10003 clauses out of 20028 with flag 5732000/7372893 1016.67/579.27 c cleaning 10000 clauses out of 20025 with flag 5742000/7382893 1018.32/580.24 c cleaning 10001 clauses out of 20025 with flag 5752000/7392893 1019.69/581.07 c cleaning 10005 clauses out of 20024 with flag 5762000/7402893 1021.25/581.91 c cleaning 9999 clauses out of 20019 with flag 5772000/7412893 1022.61/582.79 c cleaning 9984 clauses out of 20020 with flag 5782000/7422893 1024.25/583.79 c cleaning 10005 clauses out of 20036 with flag 5792000/7432893 1025.83/584.65 c cleaning 10009 clauses out of 20031 with flag 5802000/7442893 1027.18/585.45 c cleaning 10002 clauses out of 20022 with flag 5812000/7452893 1028.55/586.29 c cleaning 9999 clauses out of 20021 with flag 5822001/7462894 1030.15/587.29 c cleaning 10003 clauses out of 20021 with flag 5832000/7472893 1031.70/588.15 c cleaning 10005 clauses out of 20020 with flag 5842002/7482895 1033.06/588.99 c cleaning 9997 clauses out of 20014 with flag 5852001/7492894 1034.63/589.85 c cleaning 10002 clauses out of 20016 with flag 5862000/7502893 1036.23/590.86 c cleaning 9999 clauses out of 20014 with flag 5872000/7512893 1037.80/591.73 c cleaning 9997 clauses out of 20016 with flag 5882001/7522894 1039.14/592.56 c cleaning 10001 clauses out of 20018 with flag 5892000/7532893 1040.69/593.42 c cleaning 10006 clauses out of 20017 with flag 5902000/7542893 1042.13/594.38 c cleaning 9999 clauses out of 20011 with flag 5912000/7552893 1043.69/595.22 c cleaning 10004 clauses out of 20012 with flag 5922000/7562893 1045.05/596.05 c cleaning 9994 clauses out of 20008 with flag 5932000/7572893 1046.44/596.86 c cleaning 10000 clauses out of 20013 with flag 5942000/7582893 1048.05/597.87 c cleaning 9997 clauses out of 20013 with flag 5952000/7592893 1049.60/598.75 c cleaning 9991 clauses out of 20016 with flag 5962000/7602893 1051.15/599.63 c cleaning 10006 clauses out of 20025 with flag 5972000/7612893 1052.51/600.46 c cleaning 10005 clauses out of 20021 with flag 5982002/7622895 1054.13/601.44 c cleaning 10000 clauses out of 20015 with flag 5992001/7632894 1055.69/602.32 c cleaning 9999 clauses out of 20015 with flag 6002001/7642894 1057.06/603.19 c cleaning 10001 clauses out of 20015 with flag 6012000/7652893 1058.60/604.06 c cleaning 9998 clauses out of 20014 with flag 6022000/7662893 1060.23/605.07 c cleaning 10001 clauses out of 20017 with flag 6032001/7672894 1061.76/605.90 c cleaning 9999 clauses out of 20015 with flag 6042000/7682893 1063.11/606.74 c cleaning 10002 clauses out of 20016 with flag 6052000/7692893 1064.67/607.60 c cleaning 9991 clauses out of 20013 with flag 6062000/7702893 1066.08/608.59 c cleaning 10004 clauses out of 20023 with flag 6072001/7712894 1067.65/609.44 c cleaning 10009 clauses out of 20018 with flag 6082000/7722893 1069.18/610.34 c cleaning 10001 clauses out of 20010 with flag 6092001/7732894 1070.54/611.17 c cleaning 9988 clauses out of 20008 with flag 6102000/7742893 1072.16/612.19 c cleaning 10003 clauses out of 20020 with flag 6112000/7752893 1073.70/613.10 c cleaning 10005 clauses out of 20017 with flag 6122000/7762893 1075.25/613.96 c cleaning 9987 clauses out of 20012 with flag 6132000/7772893 1076.81/614.84 c cleaning 10005 clauses out of 20025 with flag 6142000/7782893 1078.41/615.85 c cleaning 10006 clauses out of 20021 with flag 6152001/7792894 1079.96/616.70 c cleaning 10000 clauses out of 20015 with flag 6162001/7802894 1081.31/617.57 c cleaning 10000 clauses out of 20014 with flag 6172000/7812893 1082.86/618.46 c cleaning 9990 clauses out of 20014 with flag 6182000/7822893 1084.46/619.49 c cleaning 10009 clauses out of 20026 with flag 6192002/7832895 1086.23/620.42 c cleaning 10008 clauses out of 20015 with flag 6202000/7842893 1087.57/621.27 c cleaning 9992 clauses out of 20007 with flag 6212001/7852894 1089.12/622.13 c cleaning 9998 clauses out of 20015 with flag 6222001/7862894 1090.73/623.16 c cleaning 9998 clauses out of 20018 with flag 6232002/7872895 1092.28/624.04 c cleaning 10002 clauses out of 20019 with flag 6242001/7882894 1093.81/624.92 c cleaning 10004 clauses out of 20016 with flag 6252000/7892893 1095.18/625.80 c cleaning 10002 clauses out of 20013 with flag 6262001/7902894 1096.78/626.79 c cleaning 9996 clauses out of 20010 with flag 6272000/7912893 1098.36/627.66 c cleaning 9995 clauses out of 20015 with flag 6282001/7922894 1099.90/628.53 c cleaning 10004 clauses out of 20020 with flag 6292001/7932894 1101.25/629.37 c cleaning 10002 clauses out of 20015 with flag 6302000/7942893 1102.91/630.34 c cleaning 10002 clauses out of 20013 with flag 6312000/7952893 1104.46/631.24 c cleaning 9999 clauses out of 20012 with flag 6322001/7962894 1106.00/632.14 c cleaning 9998 clauses out of 20013 with flag 6332001/7972894 1107.34/632.96 c cleaning 9998 clauses out of 20014 with flag 6342001/7982894 1108.94/633.97 c cleaning 9990 clauses out of 20015 with flag 6352000/7992893 1110.49/634.85 c cleaning 10003 clauses out of 20025 with flag 6362000/8002893 1112.06/635.72 c cleaning 10001 clauses out of 20022 with flag 6372000/8012893 1113.40/636.58 c cleaning 9996 clauses out of 20021 with flag 6382000/8022893 1115.05/637.53 c cleaning 10002 clauses out of 20026 with flag 6392001/8032894 1116.40/638.38 c cleaning 9996 clauses out of 20025 with flag 6402002/8042895 1117.97/639.23 c cleaning 9997 clauses out of 20028 with flag 6412001/8052894 1119.30/640.07 c cleaning 10008 clauses out of 20030 with flag 6422000/8062893 1120.90/641.07 c cleaning 10006 clauses out of 20023 with flag 6432001/8072894 1122.43/641.90 c cleaning 9987 clauses out of 20016 with flag 6442000/8082893 1123.78/642.79 c cleaning 10010 clauses out of 20029 with flag 6452000/8092893 1125.34/643.67 c cleaning 9989 clauses out of 20019 with flag 6462000/8102893 1126.98/644.66 c cleaning 10004 clauses out of 20030 with flag 6472000/8112893 1128.51/645.53 c cleaning 9995 clauses out of 20028 with flag 6482002/8122895 1130.05/646.41 c cleaning 10006 clauses out of 20032 with flag 6492001/8132894 1131.60/647.30 c cleaning 10008 clauses out of 20026 with flag 6502001/8142894 1133.19/648.33 c cleaning 9995 clauses out of 20018 with flag 6512001/8152894 1134.74/649.23 c cleaning 9991 clauses out of 20022 with flag 6522000/8162893 1136.30/650.13 c cleaning 10007 clauses out of 20031 with flag 6532000/8172893 1137.63/650.95 c cleaning 9998 clauses out of 20025 with flag 6542001/8182894 1139.03/651.88 c cleaning 10001 clauses out of 20026 with flag 6552000/8192893 1140.59/652.72 c cleaning 10001 clauses out of 20025 with flag 6562000/8202893 1141.92/653.53 c cleaning 9992 clauses out of 20024 with flag 6572000/8212893 1143.28/654.40 c cleaning 10009 clauses out of 20032 with flag 6582000/8222893 1144.92/655.35 c cleaning 10000 clauses out of 20023 with flag 6592000/8232893 1146.25/656.16 c cleaning 10004 clauses out of 20023 with flag 6602000/8242893 1147.81/657.04 c cleaning 10006 clauses out of 20020 with flag 6612001/8252894 1149.34/657.90 c cleaning 10001 clauses out of 20013 with flag 6622000/8262893 1150.92/658.94 c cleaning 9993 clauses out of 20013 with flag 6632001/8272894 1152.46/659.83 c cleaning 9996 clauses out of 20019 with flag 6642000/8282893 1153.80/660.68 c cleaning 10004 clauses out of 20024 with flag 6652001/8292894 1155.34/661.59 c cleaning 10005 clauses out of 20019 with flag 6662000/8302893 1156.92/662.57 c cleaning 10005 clauses out of 20014 with flag 6672000/8312893 1158.46/663.41 c cleaning 9996 clauses out of 20009 with flag 6682000/8322893 1159.80/664.27 c cleaning 9995 clauses out of 20013 with flag 6692000/8332893 1161.35/665.14 c cleaning 10004 clauses out of 20018 with flag 6702000/8342893 1163.13/666.20 c cleaning 10005 clauses out of 20017 with flag 6712003/8352896 1164.47/667.07 c cleaning 9997 clauses out of 20008 with flag 6722000/8362893 1166.01/667.98 c cleaning 10000 clauses out of 20011 with flag 6732000/8372893 1167.55/668.84 c cleaning 9997 clauses out of 20012 with flag 6742001/8382894 1169.14/669.88 c cleaning 10004 clauses out of 20014 with flag 6752000/8392893 1170.65/670.71 c cleaning 10001 clauses out of 20010 with flag 6762000/8402893 1171.98/671.58 c cleaning 9989 clauses out of 20008 with flag 6772000/8412893 1173.71/672.52 c cleaning 10007 clauses out of 20020 with flag 6782001/8422894 1175.30/673.55 c cleaning 9996 clauses out of 20012 with flag 6792000/8432893 1176.83/674.45 c cleaning 10000 clauses out of 20018 with flag 6802002/8442895 1178.38/675.38 c cleaning 10002 clauses out of 20016 with flag 6812000/8452893 1179.91/676.29 c cleaning 9996 clauses out of 20014 with flag 6822000/8462893 1181.70/677.36 c cleaning 9995 clauses out of 20018 with flag 6832000/8472893 1183.44/678.30 c cleaning 10007 clauses out of 20023 with flag 6842000/8482893 1184.96/679.21 c cleaning 10004 clauses out of 20016 with flag 6852000/8492893 1186.52/680.11 c cleaning 9999 clauses out of 20012 with flag 6862000/8502893 1188.12/681.17 c cleaning 10004 clauses out of 20013 with flag 6872000/8512893 1189.66/682.07 c cleaning 9993 clauses out of 20009 with flag 6882001/8522894 1191.18/682.95 c cleaning 9991 clauses out of 20016 with flag 6892001/8532894 1192.71/683.82 c cleaning 10007 clauses out of 20025 with flag 6902001/8542894 1194.29/684.86 c cleaning 10001 clauses out of 20018 with flag 6912001/8552894 1195.83/685.74 c cleaning 10002 clauses out of 20017 with flag 6922001/8562894 1197.36/686.65 c cleaning 9996 clauses out of 20014 with flag 6932000/8572893 1198.90/687.52 c cleaning 9997 clauses out of 20018 with flag 6942000/8582893 1200.47/688.53 c cleaning 9994 clauses out of 20021 with flag 6952000/8592893 1201.99/689.40 c cleaning 10008 clauses out of 20027 with flag 6962000/8602893 1203.31/690.25 c cleaning 10002 clauses out of 20019 with flag 6972000/8612893 1204.85/691.13 c cleaning 10003 clauses out of 20017 with flag 6982000/8622893 1206.47/692.10 c cleaning 9996 clauses out of 20015 with flag 6992001/8632894 1207.81/692.99 c cleaning 10005 clauses out of 20018 with flag 7002000/8642893 1209.35/693.86 c cleaning 9994 clauses out of 20012 with flag 7012000/8652893 1210.86/694.75 c cleaning 10002 clauses out of 20020 with flag 7022002/8662895 1212.62/695.80 c cleaning 10003 clauses out of 20016 with flag 7032000/8672893 1213.95/696.69 c cleaning 9997 clauses out of 20013 with flag 7042000/8682893 1215.47/697.57 c cleaning 9989 clauses out of 20016 with flag 7052000/8692893 1217.02/698.46 c cleaning 10006 clauses out of 20029 with flag 7062002/8702895 1218.63/699.45 c cleaning 10007 clauses out of 20021 with flag 7072000/8712893 1220.16/700.33 c cleaning 9997 clauses out of 20014 with flag 7082000/8722893 1221.68/701.20 c cleaning 9989 clauses out of 20018 with flag 7092001/8732894 1223.00/702.07 c cleaning 10004 clauses out of 20027 with flag 7102000/8742893 1224.63/703.07 c cleaning 9999 clauses out of 20023 with flag 7112000/8752893 1226.17/703.97 c cleaning 10001 clauses out of 20024 with flag 7122000/8762893 1227.68/704.84 c cleaning 10003 clauses out of 20023 with flag 7132000/8772893 1229.21/705.74 c cleaning 10005 clauses out of 20021 with flag 7142001/8782894 1230.84/706.75 c cleaning 9995 clauses out of 20016 with flag 7152001/8792894 1232.37/707.62 c cleaning 10008 clauses out of 20020 with flag 7162000/8802893 1233.71/708.47 c cleaning 10001 clauses out of 20012 with flag 7172000/8812893 1235.22/709.34 c cleaning 9997 clauses out of 20011 with flag 7182000/8822893 1236.83/710.34 c cleaning 9996 clauses out of 20014 with flag 7192000/8832893 1238.35/711.21 c cleaning 10006 clauses out of 20019 with flag 7202001/8842894 1239.89/712.11 c cleaning 9996 clauses out of 20012 with flag 7212000/8852893 1241.21/712.96 c cleaning 10001 clauses out of 20016 with flag 7222000/8862893 1242.86/713.99 c cleaning 9997 clauses out of 20014 with flag 7232000/8872893 1244.37/714.85 c cleaning 9999 clauses out of 20017 with flag 7242000/8882893 1245.91/715.72 c cleaning 10006 clauses out of 20019 with flag 7252001/8892894 1247.24/716.58 c cleaning 9993 clauses out of 20011 with flag 7262000/8902893 1248.86/717.56 c cleaning 10002 clauses out of 20018 with flag 7272000/8912893 1250.40/718.46 c cleaning 9999 clauses out of 20017 with flag 7282001/8922894 1251.95/719.34 c cleaning 10004 clauses out of 20018 with flag 7292001/8932894 1253.28/720.18 c cleaning 10001 clauses out of 20013 with flag 7302001/8942894 1255.02/721.20 c cleaning 9994 clauses out of 20011 with flag 7312000/8952893 1256.36/722.08 c cleaning 10009 clauses out of 20017 with flag 7322000/8962893 1257.89/722.91 c cleaning 9991 clauses out of 20007 with flag 7332000/8972893 1259.24/723.76 c cleaning 9995 clauses out of 20016 with flag 7342000/8982893 1260.86/724.75 c cleaning 10007 clauses out of 20021 with flag 7352000/8992893 1262.19/725.58 c cleaning 10002 clauses out of 20013 with flag 7362000/9002893 1263.72/726.46 c cleaning 9995 clauses out of 20010 with flag 7372000/9012893 1265.25/727.30 c cleaning 10006 clauses out of 20015 with flag 7382000/9022893 1266.67/728.24 c cleaning 10000 clauses out of 20007 with flag 7392000/9032893 1268.20/729.10 c cleaning 9991 clauses out of 20007 with flag 7402000/9042893 1269.52/729.91 c cleaning 10005 clauses out of 20015 with flag 7412000/9052893 1270.85/730.70 c cleaning 9996 clauses out of 20007 with flag 7422000/9062893 1272.25/731.69 c cleaning 10000 clauses out of 20011 with flag 7432001/9072894 1273.57/732.49 c cleaning 9999 clauses out of 20009 with flag 7442000/9082893 1274.91/733.28 c cleaning 9996 clauses out of 20009 with flag 7452001/9092894 1276.45/734.11 c cleaning 10000 clauses out of 20009 with flag 7462000/9102893 1277.81/735.07 c cleaning 9994 clauses out of 20006 with flag 7472000/9112893 1279.15/735.85 c cleaning 10002 clauses out of 20007 with flag 7482000/9122893 1279.68/736.26 c And the winner is Resolution 1283.41/739.72 c starts : 286 1283.41/739.72 c conflicts : 9126260 1283.41/739.72 c decisions : 9724598 1283.41/739.72 c propagations : 52462673 1283.41/739.72 c inspects : 5701441713 1283.41/739.72 c shortcuts : 0 1283.41/739.72 c learnt literals : 54 1283.41/739.72 c learnt binary clauses : 1148 1283.41/739.72 c learnt ternary clauses : 6945 1283.41/739.72 c learnt constraints : 9126205 1283.41/739.72 c ignored constraints : 0 1283.41/739.72 c root simplifications : 0 1283.41/739.72 c removed literals (reason simplification) : 70123065 1283.41/739.72 c reason swapping (by a shorter reason) : 0 1283.41/739.72 c Calls to reduceDB : 916 1283.41/739.72 c number of reductions to clauses (during analyze) : 0 1283.41/739.72 c number of learned constraints concerned by reduction : 0 1283.41/739.72 c number of learning phase by resolution : 0 1283.41/739.72 c number of learning phase by cutting planes : 0 1283.41/739.72 c speed (assignments/second) : 85107.81991674588 1283.41/739.72 c non guided choices 0 1283.41/739.72 c learnt constraints type 1283.41/739.72 c constraints type 1283.41/739.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 624 1283.41/739.72 c org.sat4j.minisat.constraints.cnf.UnitClauses => 100 1283.41/739.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 0 1283.41/739.72 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 624 1283.41/739.72 c constraints type 1283.41/739.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 624 1283.41/739.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 0 1283.41/739.72 c org.sat4j.pb.constraints.pb.UnitClausesPB => 100 1283.41/739.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 624 1283.41/739.72 s OPTIMUM FOUND 1283.41/739.72 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 1283.41/739.72 c objective function=-26 1283.41/739.72 c Total wall clock time (in seconds): 739.601
OK -26
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-3737328-1338721084/watcher-3737328-1338721084 -o /tmp/evaluation-result-3737328-1338721084/solver-3737328-1338721084 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737328-1338721084.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.25 3.45 3.47 4/197 15728 /proc/meminfo: memFree=25691860/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=336 CPUtime=0 cores=0,2,4,6 /proc/15728/stat : 15728 (java) R 15726 15728 12644 0 -1 4202496 88 0 0 0 0 0 0 0 20 0 1 0 338233804 344064 41 33554432000 1073741824 1073778376 140733750855728 140733750852904 270698376583 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/15728/statm: 625 46 37 9 0 29 0 [startup+0.0417939 s] /proc/loadavg: 3.25 3.45 3.47 4/197 15728 /proc/meminfo: memFree=25691860/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11044572 CPUtime=0.01 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 4053 0 1 0 1 0 0 0 20 0 10 0 338233804 11309641728 11396 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2761143 11396 1539 9 0 2751844 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11044572 [startup+0.100199 s] /proc/loadavg: 3.25 3.45 3.47 4/197 15728 /proc/meminfo: memFree=25691860/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 5214 0 1 0 8 1 0 0 20 0 18 0 338233804 11864465408 13576 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2896598 13583 2095 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300274 s] /proc/loadavg: 3.25 3.45 3.47 4/197 15728 /proc/meminfo: memFree=25691860/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 6287 0 1 0 39 2 0 0 20 0 19 0 338233804 12137111552 16400 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 16400 2228 9 0 2953849 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 11852648 [startup+0.700125 s] /proc/loadavg: 3.25 3.45 3.47 4/197 15728 /proc/meminfo: memFree=25691860/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 6287 0 1 0 39 2 0 0 20 0 19 0 338233804 12137111552 16400 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 16400 2228 9 0 2953849 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 11852648 [startup+1.5006 s] /proc/loadavg: 3.25 3.45 3.47 2/216 15753 /proc/meminfo: memFree=25628148/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=1.11 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 12514 0 1 0 106 5 0 0 20 0 19 0 338233804 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 23302 2243 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=0.22 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) S 15726 15728 12644 0 -1 4202560 3375 0 1 0 21 1 0 0 20 0 19 0 338233805 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906497717400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233808 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=0.27 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 2661 0 0 0 27 0 0 0 20 0 19 0 338233811 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) R 15726 15728 12644 0 -1 4202560 5158 0 0 0 29 0 0 0 20 0 19 0 338233811 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906309851016 139906501564069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 23302 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 11852648 [startup+3.10067 s] /proc/loadavg: 3.25 3.45 3.47 2/216 15759 /proc/meminfo: memFree=25598756/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=2.06 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 13532 0 1 0 194 12 0 0 20 0 19 0 338233804 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 40600 2253 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=0.23 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) S 15726 15728 12644 0 -1 4202560 3376 0 1 0 21 2 0 0 20 0 19 0 338233805 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906497717400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338233807 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233808 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 3149 0 0 0 46 0 0 0 20 0 19 0 338233811 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5635 0 0 0 58 0 0 0 20 0 19 0 338233811 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233980 12137111552 40600 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 11852648 heavy processes: [startup+6.30074 s] /proc/loadavg: 3.31 3.46 3.47 8/219 15771 /proc/meminfo: memFree=25239644/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=8.05 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 13809 0 1 0 785 20 0 0 20 0 22 0 338233804 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 116785 2282 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=0.24 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) S 15726 15728 12644 0 -1 4202560 3379 0 1 0 22 2 0 0 20 0 22 0 338233805 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906497717400 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338233807 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=0.2 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 39 0 0 0 20 0 0 0 20 0 22 0 338233808 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338233809 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 338233809 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233811 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=0.66 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 3156 0 0 0 66 0 0 0 20 0 22 0 338233811 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.7 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5638 0 0 0 70 0 0 0 20 0 22 0 338233811 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233811 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338233811 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 338233980 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=15728/tid=15769] ppid=15726 vsize=11852648 CPUtime=2.33 cores=0,2,4,6 /proc/15728/task/15769/stat : 15769 (java) R 15726 15728 12644 0 -1 4202560 7 0 0 0 233 0 0 0 20 0 22 0 338234181 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906305651016 139906362360765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=15728/tid=15770] ppid=15726 vsize=11852648 CPUtime=2.33 cores=0,2,4,6 /proc/15728/task/15770/stat : 15770 (java) R 15726 15728 12644 0 -1 4202560 82 0 0 0 231 2 0 0 20 0 22 0 338234181 12137111552 116785 33554432000 1073741824 1073778376 140734255653824 139906304597608 139906362376972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15771] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 267 0 0 0 422 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=4.37 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 258 0 0 0 432 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=4.35 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 430 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=4.33 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 269 0 0 0 430 3 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=4.46 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 268 0 0 0 441 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=4.4 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 261 0 0 0 436 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=4.34 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 429 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=4.3 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 262 0 0 0 426 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=202.43 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 211 0 0 0 20226 17 0 0 20 0 19 0 338233808 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 5963 0 0 0 120 2 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5820 0 0 0 76 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 41 0 0 0 11 14 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233980 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1281.21 Current children cumulated vsize (KiB) 11852648 [startup+739.101 s] /proc/loadavg: 3.37 3.34 3.39 4/217 15906 /proc/meminfo: memFree=22734436/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=1282.82 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 20010 0 1 0 128178 104 0 0 20 0 19 0 338233804 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 171867 2284 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=2.65 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) R 15726 15728 12644 0 -1 4202560 3721 0 1 0 262 3 0 0 20 0 19 0 338233805 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906497717016 139906362986587 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=4.27 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 267 0 0 0 422 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=4.37 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 258 0 0 0 432 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=4.35 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 430 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=4.33 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 269 0 0 0 430 3 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=4.46 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 268 0 0 0 441 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=4.4 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 261 0 0 0 436 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=4.34 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 429 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=4.3 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 262 0 0 0 426 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=202.43 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 211 0 0 0 20226 17 0 0 20 0 19 0 338233808 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 5963 0 0 0 120 2 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5820 0 0 0 76 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 41 0 0 0 11 14 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233980 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1282.82 Current children cumulated vsize (KiB) 11852648 [startup+739.501 s] /proc/loadavg: 3.37 3.34 3.39 4/217 15906 /proc/meminfo: memFree=22734436/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=1283.21 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 20010 0 1 0 128217 104 0 0 20 0 19 0 338233804 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 171867 2284 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=3.05 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) R 15726 15728 12644 0 -1 4202560 3721 0 1 0 302 3 0 0 20 0 19 0 338233805 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906497717016 139906362986356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=4.27 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 267 0 0 0 422 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=4.37 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 258 0 0 0 432 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=4.35 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 430 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=4.33 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 269 0 0 0 430 3 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=4.46 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 268 0 0 0 441 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=4.4 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 261 0 0 0 436 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=4.34 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 429 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=4.3 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 262 0 0 0 426 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=202.43 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 211 0 0 0 20226 17 0 0 20 0 19 0 338233808 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 5963 0 0 0 120 2 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5820 0 0 0 76 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 41 0 0 0 11 14 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233980 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1283.21 Current children cumulated vsize (KiB) 11852648 [startup+739.701 s] /proc/loadavg: 3.37 3.34 3.39 4/217 15906 /proc/meminfo: memFree=22734436/32873648 swapFree=6864/6864 [pid=15728] ppid=15726 vsize=11852648 CPUtime=1283.41 cores=0,2,4,6 /proc/15728/stat : 15728 (java) S 15726 15728 12644 0 -1 4202496 20010 0 1 0 128237 104 0 0 20 0 19 0 338233804 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 140734255644960 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/15728/statm: 2963162 171867 2284 9 0 2953849 0 [pid=15728/tid=15730] ppid=15726 vsize=11852648 CPUtime=3.25 cores=0,2,4,6 /proc/15728/task/15730/stat : 15730 (java) R 15726 15728 12644 0 -1 4202560 3721 0 1 0 322 3 0 0 20 0 19 0 338233805 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906497717016 139906362120118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15731] ppid=15726 vsize=11852648 CPUtime=4.27 cores=0,2,4,6 /proc/15728/task/15731/stat : 15731 (java) S 15726 15728 12644 0 -1 4202560 267 0 0 0 422 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906486778920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15732] ppid=15726 vsize=11852648 CPUtime=4.37 cores=0,2,4,6 /proc/15728/task/15732/stat : 15732 (java) S 15726 15728 12644 0 -1 4202560 258 0 0 0 432 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906485726120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15733] ppid=15726 vsize=11852648 CPUtime=4.35 cores=0,2,4,6 /proc/15728/task/15733/stat : 15733 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 430 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906484673320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15734] ppid=15726 vsize=11852648 CPUtime=4.33 cores=0,2,4,6 /proc/15728/task/15734/stat : 15734 (java) S 15726 15728 12644 0 -1 4202560 269 0 0 0 430 3 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906483620520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15735] ppid=15726 vsize=11852648 CPUtime=4.46 cores=0,2,4,6 /proc/15728/task/15735/stat : 15735 (java) S 15726 15728 12644 0 -1 4202560 268 0 0 0 441 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906482567720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15736] ppid=15726 vsize=11852648 CPUtime=4.4 cores=0,2,4,6 /proc/15728/task/15736/stat : 15736 (java) S 15726 15728 12644 0 -1 4202560 261 0 0 0 436 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906481514920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15737] ppid=15726 vsize=11852648 CPUtime=4.34 cores=0,2,4,6 /proc/15728/task/15737/stat : 15737 (java) S 15726 15728 12644 0 -1 4202560 259 0 0 0 429 5 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906480462120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15738] ppid=15726 vsize=11852648 CPUtime=4.3 cores=0,2,4,6 /proc/15728/task/15738/stat : 15738 (java) S 15726 15728 12644 0 -1 4202560 262 0 0 0 426 4 0 0 20 0 19 0 338233807 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906327537832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15739] ppid=15726 vsize=11852648 CPUtime=202.43 cores=0,2,4,6 /proc/15728/task/15739/stat : 15739 (java) S 15726 15728 12644 0 -1 4202560 211 0 0 0 20226 17 0 0 20 0 19 0 338233808 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906315127784 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15740] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15740/stat : 15740 (java) S 15726 15728 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906314073848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15741] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15741/stat : 15741 (java) S 15726 15728 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338233809 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906313020936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15742] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15742/stat : 15742 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906311969424 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15743] ppid=15726 vsize=11852648 CPUtime=1.22 cores=0,2,4,6 /proc/15728/task/15743/stat : 15743 (java) S 15726 15728 12644 0 -1 4202560 5963 0 0 0 120 2 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906310916536 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15744] ppid=15726 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/15728/task/15744/stat : 15744 (java) S 15726 15728 12644 0 -1 4202560 5820 0 0 0 76 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906309863736 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=15728/tid=15745] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15745/stat : 15745 (java) S 15726 15728 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906308811128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=15728/tid=15746] ppid=15726 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/15728/task/15746/stat : 15746 (java) S 15726 15728 12644 0 -1 4202560 41 0 0 0 11 14 0 0 20 0 19 0 338233811 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906307758536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=15728/tid=15759] ppid=15726 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/15728/task/15759/stat : 15759 (java) S 15726 15728 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338233980 12137111552 171867 33554432000 1073741824 1073778376 140734255653824 139906303546536 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1283.41 Current children cumulated vsize (KiB) 11852648 Child status: 30 Real time (s): 739.73 CPU time (s): 1283.72 CPU user time (s): 1282.46 CPU system time (s): 1.25981 CPU usage (%): 173.539 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1282.46 system time used= 1.25981 maximum resident set size= 687508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20021 page faults= 1 swaps= 0 block input operations= 0 block output operations= 808 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 44684 involuntary context switches= 64999 runsolver used 3.14952 second user time and 8.21175 second system time The end
Begin job on node125 at 2012-06-03 12:58:04 IDJOB=3737328 IDBENCH=48218 IDSOLVER=2328 FILE ID=node125/3737328-1338721084 RUNJOBID= node125-1338714015-12660 PBS_JOBID= 14636751 Free space on /tmp= 70440 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737328-1338721084/watcher-3737328-1338721084 -o /tmp/evaluation-result-3737328-1338721084/solver-3737328-1338721084 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737328-1338721084.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=1085131703 node125.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.373 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 : 5332.74 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.373 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.373 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.92 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.373 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.90 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.373 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.91 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.373 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 : 5438.54 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.373 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.91 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.373 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: 32873648 kB MemFree: 25692124 kB Buffers: 609476 kB Cached: 5029504 kB SwapCached: 2308 kB Active: 3108556 kB Inactive: 3165336 kB Active(anon): 625948 kB Inactive(anon): 9240 kB Active(file): 2482608 kB Inactive(file): 3156096 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 639332 kB Mapped: 22480 kB Shmem: 96 kB Slab: 767496 kB SReclaimable: 211236 kB SUnreclaim: 556260 kB KernelStack: 1624 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10462508 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 581632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70440 MiB End job on node125 at 2012-06-03 13:10:24