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 | SAT (TO) | 9 | 1800.08 | 959.234 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.160975 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.1.v20110525 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 9996466904 0.08/0.10 c Max memory 10048897024 0.08/0.10 c Total memory 10048897024 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3732832-1338686521.opb 0.08/0.13 c reading problem ... 0.23/0.25 c ... done. Wall clock time 0.124s. 0.23/0.25 c #vars 776 0.23/0.25 c #constraints 867 0.23/0.25 c constraints type 0.23/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4 0.23/0.25 c org.sat4j.minisat.constraints.card.MinWatchCard => 165 0.23/0.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697 0.23/0.25 c constraints type 0.23/0.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 697 0.23/0.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4 0.23/0.25 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 165 0.23/0.27 c And the winner is CuttingPlanes 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.629 0.41/0.76 o 19 1.32/1.04 c And the winner is CuttingPlanes 1.71/1.27 c Got one! Elapsed wall clock time (in seconds):1.139 1.71/1.27 o 18 1.81/1.33 c And the winner is CuttingPlanes 2.03/1.77 c Got one! Elapsed wall clock time (in seconds):1.644 2.03/1.77 o 17 2.03/1.80 c And the winner is CuttingPlanes 2.16/2.28 c Got one! Elapsed wall clock time (in seconds):2.147 2.16/2.28 o 14 2.24/2.34 c And the winner is CuttingPlanes 2.48/2.78 c Got one! Elapsed wall clock time (in seconds):2.651 2.48/2.78 o 13 2.51/2.83 c And the winner is CuttingPlanes 2.60/3.28 c Got one! Elapsed wall clock time (in seconds):3.153 2.60/3.28 o 12 2.64/3.38 c And the winner is CuttingPlanes 2.81/3.78 c Got one! Elapsed wall clock time (in seconds):3.656 2.81/3.78 o 10 2.83/3.86 c And the winner is CuttingPlanes 2.95/4.29 c Got one! Elapsed wall clock time (in seconds):4.159 2.95/4.29 o 9 3.63/4.66 c cleaning 4180 clauses out of 8368 with flag 4000/8368 4.68/5.17 c cleaning 5091 clauses out of 10189 with flag 10001/14369 6.06/5.82 c cleaning 6041 clauses out of 12099 with flag 17002/21370 7.48/6.55 c cleaning 7011 clauses out of 14056 with flag 25000/29368 9.13/7.31 c cleaning 8017 clauses out of 16045 with flag 34000/38368 10.91/8.25 c cleaning 9009 clauses out of 18029 with flag 44001/48369 12.69/9.17 c cleaning 9506 clauses out of 19019 with flag 54000/58368 14.67/10.11 c cleaning 9748 clauses out of 19514 with flag 64001/68369 16.67/11.19 c cleaning 9871 clauses out of 19766 with flag 74001/78369 18.43/12.06 c cleaning 9939 clauses out of 19894 with flag 84000/88368 20.20/12.96 c cleaning 9968 clauses out of 19955 with flag 94000/98368 21.98/13.89 c cleaning 9982 clauses out of 19987 with flag 104000/108368 23.73/14.80 c cleaning 9996 clauses out of 20005 with flag 114000/118368 25.50/15.69 c cleaning 10002 clauses out of 20009 with flag 124000/128368 27.48/16.60 c cleaning 9995 clauses out of 20007 with flag 134000/138368 29.24/17.54 c cleaning 9992 clauses out of 20012 with flag 144000/148368 30.98/18.49 c cleaning 10006 clauses out of 20021 with flag 154001/158369 32.95/19.41 c cleaning 9997 clauses out of 20014 with flag 164000/168368 34.71/20.31 c cleaning 10004 clauses out of 20018 with flag 174001/178369 36.29/21.16 c cleaning 10004 clauses out of 20014 with flag 184001/188369 38.07/22.03 c cleaning 9998 clauses out of 20011 with flag 194002/198370 39.81/22.93 c cleaning 9998 clauses out of 20014 with flag 204003/208371 41.57/23.87 c cleaning 10003 clauses out of 20013 with flag 214000/218368 43.55/24.87 c cleaning 9997 clauses out of 20011 with flag 224001/228369 45.50/25.80 c cleaning 9997 clauses out of 20014 with flag 234001/238369 47.46/26.85 c cleaning 10004 clauses out of 20016 with flag 244000/248368 49.42/27.86 c cleaning 9996 clauses out of 20012 with flag 254000/258368 51.19/28.78 c cleaning 9997 clauses out of 20016 with flag 264000/268368 52.91/29.69 c cleaning 9998 clauses out of 20020 with flag 274001/278369 54.87/30.64 c cleaning 10002 clauses out of 20022 with flag 284001/288369 56.84/31.60 c cleaning 10004 clauses out of 20019 with flag 294000/298368 58.60/32.54 c cleaning 9997 clauses out of 20015 with flag 304000/308368 60.55/33.59 c cleaning 10003 clauses out of 20018 with flag 314000/318368 62.30/34.50 c cleaning 9999 clauses out of 20015 with flag 324000/328368 64.26/35.48 c cleaning 9997 clauses out of 20018 with flag 334002/338370 66.22/36.48 c cleaning 10000 clauses out of 20020 with flag 344001/348369 68.15/37.49 c cleaning 10007 clauses out of 20020 with flag 354001/358369 70.30/38.51 c cleaning 9999 clauses out of 20013 with flag 364001/368369 72.25/39.51 c cleaning 9993 clauses out of 20014 with flag 374001/378369 74.20/40.59 c cleaning 9998 clauses out of 20020 with flag 384000/388368 76.14/41.58 c cleaning 10008 clauses out of 20022 with flag 394000/398368 77.87/42.47 c cleaning 10001 clauses out of 20016 with flag 404002/408370 79.83/43.43 c cleaning 9998 clauses out of 20013 with flag 414000/418368 81.78/44.41 c cleaning 9999 clauses out of 20015 with flag 424000/428368 83.68/45.42 c cleaning 9993 clauses out of 20016 with flag 434000/438368 85.63/46.41 c cleaning 9999 clauses out of 20023 with flag 444000/448368 87.18/47.30 c cleaning 10003 clauses out of 20026 with flag 454002/458370 89.33/48.34 c cleaning 10000 clauses out of 20021 with flag 464000/468368 91.45/49.43 c cleaning 9997 clauses out of 20021 with flag 474000/478368 93.19/50.37 c cleaning 10001 clauses out of 20025 with flag 484001/488369 95.14/51.33 c cleaning 9999 clauses out of 20024 with flag 494001/498369 97.09/52.30 c cleaning 9999 clauses out of 20024 with flag 504000/508368 99.01/53.35 c cleaning 10008 clauses out of 20026 with flag 514001/518369 101.16/54.46 c cleaning 9997 clauses out of 20019 with flag 524002/528370 103.10/55.46 c cleaning 9999 clauses out of 20020 with flag 534000/538368 105.24/56.51 c cleaning 10004 clauses out of 20024 with flag 544003/548371 107.37/57.60 c cleaning 10004 clauses out of 20018 with flag 554001/558369 109.32/58.64 c cleaning 9996 clauses out of 20013 with flag 564000/568368 111.26/59.65 c cleaning 9998 clauses out of 20017 with flag 574000/578368 113.21/60.68 c cleaning 9998 clauses out of 20021 with flag 584002/588370 115.14/61.64 c cleaning 10001 clauses out of 20024 with flag 594003/598371 116.87/62.58 c cleaning 9993 clauses out of 20022 with flag 604002/608370 118.82/63.55 c cleaning 10006 clauses out of 20027 with flag 614000/618368 120.77/64.59 c cleaning 10005 clauses out of 20021 with flag 624000/628368 122.89/65.63 c cleaning 10003 clauses out of 20017 with flag 634001/638369 124.83/66.68 c cleaning 9996 clauses out of 20015 with flag 644002/648370 126.97/67.71 c cleaning 10000 clauses out of 20017 with flag 654000/658368 128.91/68.75 c cleaning 10000 clauses out of 20017 with flag 664000/668368 130.83/69.80 c cleaning 9991 clauses out of 20017 with flag 674000/678368 132.97/70.83 c cleaning 10000 clauses out of 20026 with flag 684000/688368 134.91/71.87 c cleaning 10009 clauses out of 20029 with flag 694003/698371 137.05/72.93 c cleaning 10001 clauses out of 20017 with flag 704000/708368 139.17/74.05 c cleaning 9996 clauses out of 20017 with flag 714001/718369 141.10/75.00 c cleaning 9999 clauses out of 20021 with flag 724001/728369 142.87/75.96 c cleaning 9998 clauses out of 20022 with flag 734001/738369 144.80/76.97 c cleaning 10005 clauses out of 20024 with flag 744001/748369 146.90/78.03 c cleaning 9999 clauses out of 20018 with flag 754000/758368 148.84/79.03 c cleaning 10000 clauses out of 20021 with flag 764002/768370 150.78/80.06 c cleaning 9995 clauses out of 20020 with flag 774001/778369 152.72/81.07 c cleaning 10000 clauses out of 20025 with flag 784001/788369 154.82/82.11 c cleaning 10001 clauses out of 20024 with flag 794000/798368 156.76/83.12 c cleaning 10002 clauses out of 20025 with flag 804002/808370 158.69/84.15 c cleaning 9999 clauses out of 20022 with flag 814001/818369 160.43/85.09 c cleaning 10004 clauses out of 20023 with flag 824001/828369 162.53/86.13 c cleaning 9996 clauses out of 20018 with flag 834000/838368 164.46/87.18 c cleaning 10001 clauses out of 20024 with flag 844002/848370 166.59/88.29 c cleaning 9989 clauses out of 20021 with flag 854000/858368 168.72/89.36 c cleaning 10011 clauses out of 20033 with flag 864001/868369 170.82/90.43 c cleaning 10002 clauses out of 20021 with flag 874000/878368 172.77/91.40 c cleaning 10005 clauses out of 20020 with flag 884001/888369 174.50/92.35 c cleaning 10008 clauses out of 20015 with flag 894001/898369 176.43/93.33 c cleaning 9995 clauses out of 20007 with flag 904001/908369 178.33/94.32 c cleaning 9999 clauses out of 20011 with flag 914000/918368 180.06/95.26 c cleaning 10001 clauses out of 20013 with flag 924001/928369 182.22/96.33 c cleaning 9994 clauses out of 20012 with flag 934001/938369 184.03/97.30 c cleaning 10004 clauses out of 20019 with flag 944002/948370 186.12/98.35 c cleaning 10003 clauses out of 20013 with flag 954000/958368 188.25/99.41 c cleaning 9996 clauses out of 20011 with flag 964001/968369 190.19/100.41 c cleaning 10002 clauses out of 20015 with flag 974001/978369 192.13/101.42 c cleaning 10001 clauses out of 20012 with flag 984000/988368 194.21/102.53 c cleaning 9996 clauses out of 20011 with flag 994000/998368 196.15/103.59 c cleaning 9995 clauses out of 20016 with flag 1004001/1008369 198.28/104.61 c cleaning 10007 clauses out of 20021 with flag 1014001/1018369 200.21/105.66 c cleaning 9992 clauses out of 20013 with flag 1024000/1028368 202.30/106.77 c cleaning 10001 clauses out of 20021 with flag 1034000/1038368 204.22/107.75 c cleaning 10005 clauses out of 20020 with flag 1044000/1048368 206.36/108.84 c cleaning 9996 clauses out of 20016 with flag 1054001/1058369 208.49/109.90 c cleaning 9998 clauses out of 20019 with flag 1064000/1068368 210.58/111.06 c cleaning 9997 clauses out of 20022 with flag 1074001/1078369 212.49/112.03 c cleaning 10004 clauses out of 20025 with flag 1084001/1088369 214.41/113.05 c cleaning 9998 clauses out of 20020 with flag 1094000/1098368 216.33/114.06 c cleaning 10001 clauses out of 20022 with flag 1104000/1108368 218.43/115.11 c cleaning 10006 clauses out of 20023 with flag 1114002/1118370 220.36/116.13 c cleaning 9994 clauses out of 20015 with flag 1124000/1128368 222.49/117.21 c cleaning 10003 clauses out of 20021 with flag 1134000/1138368 224.41/118.24 c cleaning 10000 clauses out of 20019 with flag 1144001/1148369 226.50/119.33 c cleaning 10000 clauses out of 20019 with flag 1154001/1158369 228.44/120.39 c cleaning 9991 clauses out of 20018 with flag 1164000/1168368 230.37/121.37 c cleaning 9993 clauses out of 20028 with flag 1174001/1178369 232.29/122.34 c cleaning 10006 clauses out of 20036 with flag 1184002/1188370 234.38/123.43 c cleaning 10005 clauses out of 20028 with flag 1194000/1198368 236.32/124.45 c cleaning 10001 clauses out of 20024 with flag 1204001/1208369 238.25/125.47 c cleaning 10000 clauses out of 20023 with flag 1214001/1218369 240.17/126.50 c cleaning 10004 clauses out of 20023 with flag 1224001/1228369 242.47/127.61 c cleaning 9993 clauses out of 20018 with flag 1234000/1238368 244.37/128.68 c cleaning 10001 clauses out of 20025 with flag 1244000/1248368 246.50/129.71 c cleaning 9999 clauses out of 20025 with flag 1254001/1258369 248.43/130.80 c cleaning 10002 clauses out of 20030 with flag 1264005/1268373 250.70/131.94 c cleaning 10001 clauses out of 20025 with flag 1274002/1278370 252.82/133.06 c cleaning 9998 clauses out of 20022 with flag 1284000/1288368 254.94/134.19 c cleaning 10005 clauses out of 20027 with flag 1294003/1298371 257.26/135.33 c cleaning 10000 clauses out of 20019 with flag 1304000/1308368 259.32/136.44 c cleaning 9997 clauses out of 20021 with flag 1314002/1318370 261.46/137.53 c cleaning 9999 clauses out of 20023 with flag 1324001/1328369 263.17/138.45 c cleaning 10002 clauses out of 20023 with flag 1334000/1338368 264.89/139.39 c cleaning 10005 clauses out of 20022 with flag 1344001/1348369 266.98/140.41 c cleaning 9997 clauses out of 20016 with flag 1354000/1358368 268.70/141.38 c cleaning 9998 clauses out of 20019 with flag 1364000/1368368 270.61/142.39 c cleaning 10000 clauses out of 20021 with flag 1374000/1378368 272.54/143.36 c cleaning 10005 clauses out of 20021 with flag 1384000/1388368 274.61/144.48 c cleaning 10003 clauses out of 20017 with flag 1394001/1398369 276.73/145.51 c cleaning 9996 clauses out of 20013 with flag 1404000/1408368 278.64/146.56 c cleaning 9999 clauses out of 20018 with flag 1414001/1418369 280.59/147.59 c cleaning 9998 clauses out of 20020 with flag 1424002/1428370 282.65/148.62 c cleaning 10000 clauses out of 20020 with flag 1434000/1438368 284.35/149.59 c cleaning 9997 clauses out of 20020 with flag 1444000/1448368 286.28/150.59 c cleaning 10006 clauses out of 20026 with flag 1454003/1458371 288.19/151.53 c cleaning 9993 clauses out of 20017 with flag 1464000/1468368 290.27/152.64 c cleaning 10004 clauses out of 20024 with flag 1474000/1478368 292.39/153.76 c cleaning 9998 clauses out of 20020 with flag 1484000/1488368 294.92/155.07 c cleaning 10000 clauses out of 20022 with flag 1494000/1498368 297.25/156.27 c cleaning 10005 clauses out of 20022 with flag 1504000/1508368 299.92/157.60 c cleaning 9996 clauses out of 20017 with flag 1514000/1518368 302.23/158.89 c cleaning 10003 clauses out of 20021 with flag 1524000/1528368 304.54/160.01 c cleaning 9999 clauses out of 20019 with flag 1534001/1538369 306.67/161.14 c cleaning 10000 clauses out of 20019 with flag 1544000/1548368 308.74/162.27 c cleaning 10004 clauses out of 20019 with flag 1554000/1558368 310.86/163.31 c cleaning 10000 clauses out of 20016 with flag 1564001/1568369 312.98/164.40 c cleaning 10000 clauses out of 20015 with flag 1574000/1578368 314.89/165.42 c cleaning 9998 clauses out of 20015 with flag 1584000/1588368 316.96/166.52 c cleaning 9996 clauses out of 20018 with flag 1594001/1598369 318.87/167.57 c cleaning 10002 clauses out of 20021 with flag 1604000/1608368 320.99/168.63 c cleaning 9997 clauses out of 20019 with flag 1614000/1618368 322.89/169.64 c cleaning 10005 clauses out of 20022 with flag 1624000/1628368 324.96/170.71 c cleaning 10001 clauses out of 20018 with flag 1634001/1638369 326.70/171.67 c cleaning 10002 clauses out of 20018 with flag 1644002/1648370 328.81/172.78 c cleaning 10003 clauses out of 20014 with flag 1654000/1658368 330.92/173.83 c cleaning 9991 clauses out of 20011 with flag 1664000/1668368 332.98/174.93 c cleaning 10000 clauses out of 20021 with flag 1674001/1678369 335.09/176.05 c cleaning 9994 clauses out of 20020 with flag 1684000/1688368 337.21/177.20 c cleaning 9998 clauses out of 20026 with flag 1694000/1698368 339.52/178.37 c cleaning 10005 clauses out of 20028 with flag 1704000/1708368 341.79/179.55 c cleaning 10003 clauses out of 20023 with flag 1714000/1718368 343.90/180.64 c cleaning 10000 clauses out of 20021 with flag 1724001/1728369 346.01/181.75 c cleaning 9994 clauses out of 20021 with flag 1734001/1738369 348.12/182.89 c cleaning 10006 clauses out of 20026 with flag 1744000/1748368 350.58/184.10 c cleaning 9992 clauses out of 20020 with flag 1754000/1758368 352.70/185.22 c cleaning 10006 clauses out of 20030 with flag 1764002/1768370 354.61/186.29 c cleaning 9999 clauses out of 20022 with flag 1774000/1778368 356.71/187.39 c cleaning 10001 clauses out of 20023 with flag 1784000/1788368 358.97/188.52 c cleaning 10000 clauses out of 20022 with flag 1794000/1798368 360.88/189.57 c cleaning 9998 clauses out of 20023 with flag 1804001/1808369 362.99/190.68 c cleaning 9999 clauses out of 20024 with flag 1814000/1818368 365.29/191.82 c cleaning 10000 clauses out of 20026 with flag 1824001/1828369 367.36/192.98 c cleaning 9996 clauses out of 20025 with flag 1834000/1838368 369.46/194.09 c cleaning 10001 clauses out of 20029 with flag 1844000/1848368 371.57/195.14 c cleaning 9998 clauses out of 20028 with flag 1854000/1858368 373.66/196.29 c cleaning 9997 clauses out of 20030 with flag 1864000/1868368 375.90/197.47 c cleaning 10004 clauses out of 20034 with flag 1874001/1878369 378.01/198.54 c cleaning 10002 clauses out of 20029 with flag 1884000/1888368 380.12/199.65 c cleaning 10005 clauses out of 20027 with flag 1894000/1898368 382.22/200.75 c cleaning 10000 clauses out of 20022 with flag 1904000/1908368 384.48/201.91 c cleaning 9998 clauses out of 20022 with flag 1914000/1918368 386.38/203.00 c cleaning 10008 clauses out of 20026 with flag 1924002/1928370 388.69/204.12 c cleaning 9994 clauses out of 20017 with flag 1934001/1938369 390.80/205.24 c cleaning 10001 clauses out of 20024 with flag 1944002/1948370 392.86/206.35 c cleaning 9999 clauses out of 20022 with flag 1954001/1958369 394.97/207.41 c cleaning 10001 clauses out of 20024 with flag 1964002/1968370 396.87/208.46 c cleaning 10000 clauses out of 20023 with flag 1974002/1978370 398.97/209.53 c cleaning 9998 clauses out of 20021 with flag 1984000/1988368 400.82/210.58 c cleaning 10009 clauses out of 20023 with flag 1994000/1998368 402.73/211.55 c cleaning 9996 clauses out of 20014 with flag 2004000/2008368 404.84/212.61 c cleaning 10000 clauses out of 20018 with flag 2014000/2018368 406.75/213.67 c cleaning 9997 clauses out of 20018 with flag 2024000/2028368 408.81/214.73 c cleaning 10001 clauses out of 20021 with flag 2034000/2038368 410.72/215.72 c cleaning 10004 clauses out of 20021 with flag 2044001/2048369 412.43/216.63 c cleaning 9999 clauses out of 20016 with flag 2054000/2058368 414.35/217.62 c cleaning 9997 clauses out of 20017 with flag 2064000/2068368 416.22/218.64 c cleaning 10006 clauses out of 20020 with flag 2074000/2078368 417.92/219.59 c cleaning 10005 clauses out of 20015 with flag 2084001/2088369 420.23/220.77 c cleaning 9991 clauses out of 20010 with flag 2094001/2098369 422.53/221.91 c cleaning 9996 clauses out of 20020 with flag 2104002/2108370 424.78/223.12 c cleaning 10004 clauses out of 20023 with flag 2114001/2118369 426.69/224.17 c cleaning 9995 clauses out of 20018 with flag 2124000/2128368 428.60/225.18 c cleaning 9997 clauses out of 20026 with flag 2134003/2138371 430.72/226.21 c cleaning 10007 clauses out of 20027 with flag 2144001/2148369 432.78/227.32 c cleaning 10001 clauses out of 20020 with flag 2154001/2158369 434.69/228.38 c cleaning 10000 clauses out of 20018 with flag 2164000/2168368 436.79/229.41 c cleaning 9999 clauses out of 20020 with flag 2174002/2178370 438.68/230.42 c cleaning 9999 clauses out of 20019 with flag 2184000/2188368 440.55/231.48 c cleaning 10000 clauses out of 20020 with flag 2194000/2198368 442.85/232.69 c cleaning 10005 clauses out of 20022 with flag 2204002/2208370 445.35/233.90 c cleaning 9994 clauses out of 20015 with flag 2214000/2218368 447.85/235.20 c cleaning 10001 clauses out of 20022 with flag 2224001/2228369 450.10/236.50 c cleaning 9998 clauses out of 20020 with flag 2234000/2238368 452.42/237.62 c cleaning 10002 clauses out of 20022 with flag 2244000/2248368 454.51/238.77 c cleaning 9999 clauses out of 20022 with flag 2254002/2258370 456.61/239.87 c cleaning 10004 clauses out of 20021 with flag 2264000/2268368 459.04/241.12 c cleaning 10002 clauses out of 20017 with flag 2274000/2278368 461.33/242.38 c cleaning 9994 clauses out of 20016 with flag 2284001/2288369 463.43/243.47 c cleaning 10003 clauses out of 20021 with flag 2294000/2298368 465.54/244.57 c cleaning 10002 clauses out of 20019 with flag 2304001/2308369 467.78/245.76 c cleaning 9994 clauses out of 20016 with flag 2314000/2318368 469.89/246.87 c cleaning 10003 clauses out of 20022 with flag 2324000/2328368 472.00/247.96 c cleaning 10001 clauses out of 20019 with flag 2334000/2338368 474.29/249.14 c cleaning 9998 clauses out of 20018 with flag 2344000/2348368 476.53/250.35 c cleaning 10003 clauses out of 20020 with flag 2354000/2358368 478.63/251.41 c cleaning 9998 clauses out of 20017 with flag 2364000/2368368 480.52/252.48 c cleaning 10001 clauses out of 20019 with flag 2374000/2378368 482.63/253.56 c cleaning 9995 clauses out of 20018 with flag 2384000/2388368 484.67/254.70 c cleaning 9995 clauses out of 20023 with flag 2394000/2398368 486.78/255.76 c cleaning 10006 clauses out of 20031 with flag 2404003/2408371 488.87/256.83 c cleaning 10000 clauses out of 20022 with flag 2414000/2418368 490.77/257.85 c cleaning 9997 clauses out of 20022 with flag 2424000/2428368 492.81/258.95 c cleaning 10010 clauses out of 20025 with flag 2434000/2438368 494.91/260.06 c cleaning 10003 clauses out of 20015 with flag 2444000/2448368 497.01/261.19 c cleaning 9988 clauses out of 20012 with flag 2454000/2458368 499.31/262.35 c cleaning 9995 clauses out of 20025 with flag 2464001/2468369 501.56/263.55 c cleaning 10007 clauses out of 20029 with flag 2474000/2478368 503.67/264.62 c cleaning 10001 clauses out of 20023 with flag 2484001/2488369 505.78/265.74 c cleaning 10001 clauses out of 20021 with flag 2494000/2498368 507.87/266.83 c cleaning 9991 clauses out of 20020 with flag 2504000/2508368 509.91/267.98 c cleaning 10003 clauses out of 20029 with flag 2514000/2518368 512.01/269.03 c cleaning 10004 clauses out of 20027 with flag 2524001/2528369 513.90/270.08 c cleaning 10000 clauses out of 20022 with flag 2534000/2538368 515.99/271.13 c cleaning 10001 clauses out of 20022 with flag 2544000/2548368 518.22/272.31 c cleaning 10004 clauses out of 20023 with flag 2554002/2558370 520.12/273.38 c cleaning 10001 clauses out of 20017 with flag 2564000/2568368 522.02/274.39 c cleaning 9996 clauses out of 20017 with flag 2574001/2578369 524.13/275.47 c cleaning 10003 clauses out of 20023 with flag 2584003/2588371 526.19/276.55 c cleaning 10001 clauses out of 20019 with flag 2594002/2598370 528.09/277.59 c cleaning 10001 clauses out of 20017 with flag 2604001/2608369 530.38/278.70 c cleaning 9997 clauses out of 20015 with flag 2614000/2618368 532.28/279.75 c cleaning 9997 clauses out of 20019 with flag 2624001/2628369 534.52/280.90 c cleaning 10001 clauses out of 20022 with flag 2634001/2638369 536.63/282.02 c cleaning 10000 clauses out of 20021 with flag 2644001/2648369 538.52/283.07 c cleaning 10000 clauses out of 20020 with flag 2654000/2658368 540.41/284.08 c cleaning 10001 clauses out of 20020 with flag 2664000/2668368 542.46/285.14 c cleaning 9993 clauses out of 20019 with flag 2674000/2678368 544.16/286.08 c cleaning 9999 clauses out of 20026 with flag 2684000/2688368 546.04/287.09 c cleaning 10005 clauses out of 20027 with flag 2694000/2698368 547.93/288.09 c cleaning 10003 clauses out of 20022 with flag 2704000/2708368 549.97/289.14 c cleaning 10000 clauses out of 20019 with flag 2714000/2718368 552.07/290.21 c cleaning 10002 clauses out of 20019 with flag 2724000/2728368 553.96/291.25 c cleaning 9999 clauses out of 20017 with flag 2734000/2738368 556.06/292.31 c cleaning 9999 clauses out of 20019 with flag 2744001/2748369 557.90/293.35 c cleaning 9997 clauses out of 20019 with flag 2754000/2758368 559.81/294.38 c cleaning 10002 clauses out of 20022 with flag 2764000/2768368 561.72/295.38 c cleaning 10005 clauses out of 20023 with flag 2774003/2778371 563.81/296.43 c cleaning 9993 clauses out of 20016 with flag 2784001/2788369 565.85/297.52 c cleaning 10007 clauses out of 20023 with flag 2794001/2798369 567.74/298.56 c cleaning 9998 clauses out of 20016 with flag 2804001/2808369 569.84/299.64 c cleaning 9997 clauses out of 20017 with flag 2814000/2818368 571.74/300.69 c cleaning 9997 clauses out of 20021 with flag 2824001/2828369 573.97/301.81 c cleaning 10002 clauses out of 20025 with flag 2834002/2838370 575.87/302.88 c cleaning 9994 clauses out of 20022 with flag 2844001/2848369 577.96/303.92 c cleaning 10003 clauses out of 20029 with flag 2854002/2858370 579.85/304.95 c cleaning 9997 clauses out of 20024 with flag 2864000/2868368 581.87/306.03 c cleaning 10001 clauses out of 20028 with flag 2874001/2878369 583.78/307.09 c cleaning 10002 clauses out of 20026 with flag 2884000/2888368 585.86/308.11 c cleaning 9999 clauses out of 20026 with flag 2894002/2898370 587.95/309.21 c cleaning 10000 clauses out of 20026 with flag 2904001/2908369 589.99/310.35 c cleaning 10000 clauses out of 20026 with flag 2914001/2918369 592.09/311.46 c cleaning 10001 clauses out of 20025 with flag 2924000/2928368 593.98/312.44 c cleaning 10001 clauses out of 20028 with flag 2934004/2938372 595.86/313.45 c cleaning 10006 clauses out of 20025 with flag 2944002/2948370 597.88/314.53 c cleaning 10000 clauses out of 20018 with flag 2954001/2958369 599.78/315.52 c cleaning 9998 clauses out of 20019 with flag 2964002/2968370 601.68/316.56 c cleaning 9997 clauses out of 20019 with flag 2974000/2978368 603.57/317.59 c cleaning 10002 clauses out of 20025 with flag 2984003/2988371 605.61/318.61 c cleaning 10004 clauses out of 20020 with flag 2994000/2998368 607.31/319.56 c cleaning 10000 clauses out of 20017 with flag 3004001/3008369 609.21/320.56 c cleaning 10001 clauses out of 20017 with flag 3014001/3018369 611.31/321.66 c cleaning 10000 clauses out of 20015 with flag 3024000/3028368 613.34/322.70 c cleaning 10001 clauses out of 20016 with flag 3034001/3038369 615.03/323.69 c cleaning 10001 clauses out of 20014 with flag 3044000/3048368 616.94/324.62 c cleaning 9997 clauses out of 20014 with flag 3054001/3058369 619.05/325.72 c cleaning 9998 clauses out of 20016 with flag 3064000/3068368 620.88/326.80 c cleaning 9996 clauses out of 20019 with flag 3074001/3078369 622.97/327.81 c cleaning 10001 clauses out of 20023 with flag 3084001/3088369 624.86/328.86 c cleaning 10003 clauses out of 20021 with flag 3094000/3098368 626.96/329.90 c cleaning 10004 clauses out of 20019 with flag 3104001/3108369 628.98/331.00 c cleaning 9995 clauses out of 20015 with flag 3114001/3118369 630.67/331.97 c cleaning 9997 clauses out of 20020 with flag 3124001/3128369 632.95/333.11 c cleaning 10006 clauses out of 20024 with flag 3134002/3138370 634.85/334.16 c cleaning 9998 clauses out of 20016 with flag 3144000/3148368 637.07/335.31 c cleaning 10002 clauses out of 20018 with flag 3154000/3158368 638.96/336.33 c cleaning 9999 clauses out of 20017 with flag 3164001/3168369 641.05/337.40 c cleaning 9995 clauses out of 20017 with flag 3174000/3178368 642.94/338.48 c cleaning 10004 clauses out of 20023 with flag 3184001/3188369 644.97/339.56 c cleaning 10002 clauses out of 20018 with flag 3194000/3198368 646.87/340.59 c cleaning 10005 clauses out of 20017 with flag 3204001/3208369 648.97/341.65 c cleaning 9998 clauses out of 20011 with flag 3214000/3218368 651.06/342.73 c cleaning 9996 clauses out of 20013 with flag 3224000/3228368 653.10/343.88 c cleaning 10000 clauses out of 20018 with flag 3234001/3238369 654.98/344.89 c cleaning 9998 clauses out of 20018 with flag 3244001/3248369 657.06/345.98 c cleaning 10001 clauses out of 20020 with flag 3254001/3258369 659.15/347.05 c cleaning 9994 clauses out of 20019 with flag 3264001/3268369 661.39/348.26 c cleaning 10004 clauses out of 20024 with flag 3274000/3278368 663.67/349.40 c cleaning 10005 clauses out of 20022 with flag 3284002/3288370 665.56/350.41 c cleaning 10002 clauses out of 20015 with flag 3294000/3298368 667.44/351.47 c cleaning 9989 clauses out of 20014 with flag 3304001/3308369 669.46/352.58 c cleaning 10004 clauses out of 20025 with flag 3314001/3318369 671.54/353.64 c cleaning 10001 clauses out of 20020 with flag 3324000/3328368 673.63/354.70 c cleaning 10005 clauses out of 20019 with flag 3334000/3338368 675.51/355.77 c cleaning 9992 clauses out of 20014 with flag 3344000/3348368 677.73/356.91 c cleaning 9995 clauses out of 20022 with flag 3354000/3358368 679.61/357.95 c cleaning 10000 clauses out of 20027 with flag 3364000/3368368 681.50/358.97 c cleaning 10005 clauses out of 20028 with flag 3374001/3378369 683.37/359.99 c cleaning 9996 clauses out of 20022 with flag 3384000/3388368 685.39/361.08 c cleaning 9996 clauses out of 20027 with flag 3394001/3398369 687.47/362.13 c cleaning 9997 clauses out of 20030 with flag 3404000/3408368 689.37/363.16 c cleaning 10000 clauses out of 20033 with flag 3414000/3418368 691.26/364.19 c cleaning 10005 clauses out of 20033 with flag 3424000/3428368 693.28/365.26 c cleaning 10002 clauses out of 20028 with flag 3434000/3438368 695.15/366.27 c cleaning 10005 clauses out of 20028 with flag 3444002/3448370 697.24/367.30 c cleaning 10005 clauses out of 20021 with flag 3454000/3458368 699.14/368.35 c cleaning 10006 clauses out of 20016 with flag 3464000/3468368 701.16/369.42 c cleaning 9990 clauses out of 20010 with flag 3474000/3478368 703.06/370.44 c cleaning 9999 clauses out of 20020 with flag 3484000/3488368 704.92/371.50 c cleaning 9998 clauses out of 20021 with flag 3494000/3498368 707.01/372.55 c cleaning 9998 clauses out of 20024 with flag 3504001/3508369 709.05/373.64 c cleaning 9997 clauses out of 20025 with flag 3514000/3518368 710.94/374.69 c cleaning 9996 clauses out of 20028 with flag 3524000/3528368 713.03/375.73 c cleaning 10000 clauses out of 20032 with flag 3534000/3538368 715.11/376.81 c cleaning 10003 clauses out of 20033 with flag 3544001/3548369 717.15/377.90 c cleaning 10002 clauses out of 20029 with flag 3554000/3558368 719.04/378.98 c cleaning 9996 clauses out of 20027 with flag 3564000/3568368 721.14/380.03 c cleaning 10005 clauses out of 20031 with flag 3574000/3578368 723.02/381.03 c cleaning 10004 clauses out of 20026 with flag 3584000/3588368 725.05/382.12 c cleaning 10000 clauses out of 20022 with flag 3594000/3598368 726.93/383.19 c cleaning 9992 clauses out of 20022 with flag 3604000/3608368 729.21/384.30 c cleaning 10005 clauses out of 20030 with flag 3614000/3618368 731.28/385.45 c cleaning 10000 clauses out of 20026 with flag 3624001/3628369 733.32/386.52 c cleaning 9999 clauses out of 20025 with flag 3634000/3638368 735.20/387.59 c cleaning 9995 clauses out of 20026 with flag 3644000/3648368 737.29/388.62 c cleaning 10006 clauses out of 20031 with flag 3654000/3658368 739.38/389.74 c cleaning 10007 clauses out of 20025 with flag 3664000/3668368 741.60/390.97 c cleaning 9992 clauses out of 20018 with flag 3674000/3678368 743.71/392.03 c cleaning 10003 clauses out of 20026 with flag 3684000/3688368 745.79/393.18 c cleaning 10001 clauses out of 20023 with flag 3694000/3698368 747.86/394.26 c cleaning 10001 clauses out of 20023 with flag 3704001/3708369 750.09/395.45 c cleaning 10003 clauses out of 20022 with flag 3714001/3718369 752.37/396.63 c cleaning 9993 clauses out of 20019 with flag 3724001/3728369 754.45/397.75 c cleaning 9997 clauses out of 20025 with flag 3734000/3738368 756.54/398.87 c cleaning 10006 clauses out of 20030 with flag 3744002/3748370 758.56/400.00 c cleaning 9999 clauses out of 20022 with flag 3754000/3758368 760.83/401.13 c cleaning 10002 clauses out of 20024 with flag 3764001/3768369 763.14/402.32 c cleaning 9998 clauses out of 20022 with flag 3774001/3778369 765.42/403.52 c cleaning 10000 clauses out of 20024 with flag 3784001/3788369 767.63/404.75 c cleaning 10001 clauses out of 20024 with flag 3794001/3798369 769.71/405.90 c cleaning 9994 clauses out of 20022 with flag 3804000/3808368 772.00/407.03 c cleaning 9995 clauses out of 20028 with flag 3814000/3818368 774.28/408.24 c cleaning 10005 clauses out of 20033 with flag 3824000/3828368 776.51/409.47 c cleaning 10003 clauses out of 20028 with flag 3834000/3838368 778.99/410.70 c cleaning 9999 clauses out of 20026 with flag 3844001/3848369 781.07/411.85 c cleaning 9995 clauses out of 20026 with flag 3854000/3858368 783.54/413.11 c cleaning 10000 clauses out of 20032 with flag 3864001/3868369 785.75/414.35 c cleaning 9999 clauses out of 20032 with flag 3874001/3878369 788.23/415.63 c cleaning 10004 clauses out of 20033 with flag 3884001/3888369 790.72/416.90 c cleaning 10003 clauses out of 20030 with flag 3894002/3898370 793.00/418.13 c cleaning 9999 clauses out of 20025 with flag 3904000/3908368 795.39/419.43 c cleaning 9997 clauses out of 20027 with flag 3914001/3918369 797.66/420.65 c cleaning 9995 clauses out of 20030 with flag 3924001/3928369 799.94/421.80 c cleaning 9999 clauses out of 20034 with flag 3934000/3938368 802.03/422.97 c cleaning 10000 clauses out of 20035 with flag 3944000/3948368 804.46/424.22 c cleaning 10000 clauses out of 20036 with flag 3954001/3958369 806.54/425.38 c cleaning 10005 clauses out of 20035 with flag 3964000/3968368 808.82/426.58 c cleaning 9996 clauses out of 20030 with flag 3974000/3978368 811.09/427.76 c cleaning 9999 clauses out of 20034 with flag 3984000/3988368 813.11/428.80 c cleaning 10006 clauses out of 20035 with flag 3994000/3998368 814.98/429.81 c cleaning 10007 clauses out of 20031 with flag 4004002/4008370 816.67/430.77 c cleaning 10003 clauses out of 20022 with flag 4014000/4018368 818.55/431.78 c cleaning 10002 clauses out of 20019 with flag 4024000/4028368 820.56/432.82 c cleaning 9993 clauses out of 20019 with flag 4034002/4038370 822.24/433.78 c cleaning 10004 clauses out of 20028 with flag 4044004/4048372 824.32/434.82 c cleaning 10000 clauses out of 20021 with flag 4054001/4058369 826.01/435.78 c cleaning 9999 clauses out of 20021 with flag 4064001/4068369 828.01/436.82 c cleaning 9997 clauses out of 20021 with flag 4074000/4078368 829.66/437.80 c cleaning 10002 clauses out of 20024 with flag 4084000/4088368 831.73/438.80 c cleaning 9996 clauses out of 20023 with flag 4094001/4098369 833.42/439.78 c cleaning 9999 clauses out of 20026 with flag 4104000/4108368 835.44/440.88 c cleaning 9997 clauses out of 20027 with flag 4114000/4118368 837.31/441.88 c cleaning 9994 clauses out of 20030 with flag 4124000/4128368 839.18/442.88 c cleaning 10003 clauses out of 20037 with flag 4134001/4138369 841.06/443.86 c cleaning 10002 clauses out of 20033 with flag 4144000/4148368 843.08/444.94 c cleaning 10001 clauses out of 20031 with flag 4154000/4158368 844.95/445.91 c cleaning 9999 clauses out of 20031 with flag 4164001/4168369 847.02/447.01 c cleaning 9999 clauses out of 20031 with flag 4174000/4178368 848.89/448.02 c cleaning 9997 clauses out of 20033 with flag 4184001/4188369 850.72/449.06 c cleaning 10006 clauses out of 20036 with flag 4194001/4198369 852.61/450.03 c cleaning 9996 clauses out of 20029 with flag 4204000/4208368 854.68/451.14 c cleaning 9996 clauses out of 20035 with flag 4214002/4218370 856.56/452.20 c cleaning 10007 clauses out of 20038 with flag 4224001/4228369 858.77/453.31 c cleaning 10004 clauses out of 20030 with flag 4234000/4238368 860.43/454.29 c cleaning 10006 clauses out of 20027 with flag 4244001/4248369 862.51/455.34 c cleaning 9998 clauses out of 20022 with flag 4254002/4258370 864.38/456.35 c cleaning 9998 clauses out of 20023 with flag 4264001/4268369 866.39/457.41 c cleaning 10005 clauses out of 20025 with flag 4274001/4278369 868.26/458.41 c cleaning 9993 clauses out of 20019 with flag 4284000/4288368 870.15/459.41 c cleaning 10004 clauses out of 20027 with flag 4294001/4298369 872.01/460.46 c cleaning 9998 clauses out of 20022 with flag 4304000/4308368 874.03/461.54 c cleaning 9991 clauses out of 20024 with flag 4314000/4318368 875.90/462.56 c cleaning 10004 clauses out of 20035 with flag 4324002/4328370 877.97/463.65 c cleaning 10005 clauses out of 20030 with flag 4334001/4338369 880.05/464.71 c cleaning 9998 clauses out of 20024 with flag 4344000/4348368 882.07/465.85 c cleaning 10000 clauses out of 20026 with flag 4354000/4358368 883.96/466.85 c cleaning 10002 clauses out of 20026 with flag 4364000/4368368 885.84/467.87 c cleaning 10000 clauses out of 20025 with flag 4374001/4378369 887.73/468.87 c cleaning 10001 clauses out of 20024 with flag 4384000/4388368 889.75/469.95 c cleaning 9992 clauses out of 20024 with flag 4394001/4398369 891.63/470.93 c cleaning 10001 clauses out of 20032 with flag 4404001/4408369 893.51/471.95 c cleaning 9997 clauses out of 20030 with flag 4414000/4418368 895.37/472.91 c cleaning 9999 clauses out of 20034 with flag 4424001/4428369 897.23/473.93 c cleaning 10012 clauses out of 20035 with flag 4434001/4438369 898.91/474.89 c cleaning 10003 clauses out of 20023 with flag 4444001/4448369 900.98/475.93 c cleaning 9993 clauses out of 20019 with flag 4454000/4458368 903.05/477.01 c cleaning 9998 clauses out of 20027 with flag 4464001/4468369 904.86/478.04 c cleaning 10005 clauses out of 20029 with flag 4474001/4478369 906.73/479.06 c cleaning 9998 clauses out of 20024 with flag 4484001/4488369 908.62/480.02 c cleaning 10005 clauses out of 20026 with flag 4494001/4498369 910.49/481.06 c cleaning 10002 clauses out of 20020 with flag 4504000/4508368 912.49/482.14 c cleaning 10002 clauses out of 20020 with flag 4514002/4518370 914.54/483.28 c cleaning 10003 clauses out of 20017 with flag 4524001/4528369 916.61/484.30 c cleaning 9991 clauses out of 20013 with flag 4534000/4538368 918.49/485.34 c cleaning 10003 clauses out of 20022 with flag 4544000/4548368 920.89/486.64 c cleaning 10002 clauses out of 20020 with flag 4554001/4558369 922.96/487.73 c cleaning 9998 clauses out of 20018 with flag 4564001/4568369 924.83/488.78 c cleaning 10000 clauses out of 20019 with flag 4574000/4578368 926.90/489.81 c cleaning 10006 clauses out of 20020 with flag 4584001/4588369 928.69/490.86 c cleaning 9992 clauses out of 20014 with flag 4594001/4598369 930.57/491.88 c cleaning 10000 clauses out of 20021 with flag 4604000/4608368 932.64/492.95 c cleaning 10004 clauses out of 20021 with flag 4614000/4618368 934.72/494.09 c cleaning 9998 clauses out of 20017 with flag 4624000/4628368 937.13/495.35 c cleaning 9996 clauses out of 20021 with flag 4634002/4638370 939.41/496.56 c cleaning 10004 clauses out of 20023 with flag 4644000/4648368 941.88/497.80 c cleaning 9996 clauses out of 20019 with flag 4654000/4658368 944.15/499.03 c cleaning 10000 clauses out of 20023 with flag 4664000/4668368 946.35/500.28 c cleaning 10004 clauses out of 20024 with flag 4674001/4678369 948.42/501.39 c cleaning 10002 clauses out of 20019 with flag 4684000/4688368 950.47/502.47 c cleaning 9998 clauses out of 20017 with flag 4694000/4698368 952.74/503.61 c cleaning 9998 clauses out of 20020 with flag 4704001/4708369 954.74/504.75 c cleaning 9999 clauses out of 20022 with flag 4714001/4718369 956.82/505.82 c cleaning 10001 clauses out of 20023 with flag 4724001/4728369 958.90/506.94 c cleaning 9997 clauses out of 20021 with flag 4734000/4738368 961.16/508.12 c cleaning 9992 clauses out of 20026 with flag 4744002/4748370 963.38/509.33 c cleaning 10004 clauses out of 20032 with flag 4754000/4758368 965.45/510.42 c cleaning 10000 clauses out of 20028 with flag 4764000/4768368 967.31/511.44 c cleaning 10006 clauses out of 20029 with flag 4774001/4778369 969.38/512.50 c cleaning 10001 clauses out of 20022 with flag 4784000/4788368 971.39/513.63 c cleaning 10003 clauses out of 20021 with flag 4794000/4798368 973.49/514.76 c cleaning 9995 clauses out of 20020 with flag 4804002/4808370 975.55/515.85 c cleaning 10009 clauses out of 20024 with flag 4814001/4818369 977.83/517.02 c cleaning 10006 clauses out of 20017 with flag 4824003/4828371 980.02/518.25 c cleaning 9995 clauses out of 20010 with flag 4834002/4838370 982.26/519.44 c cleaning 9997 clauses out of 20014 with flag 4844001/4848369 984.53/520.61 c cleaning 10002 clauses out of 20016 with flag 4854000/4858368 986.81/521.82 c cleaning 9998 clauses out of 20014 with flag 4864000/4868368 989.01/523.08 c cleaning 9997 clauses out of 20018 with flag 4874002/4878370 991.27/524.26 c cleaning 9997 clauses out of 20021 with flag 4884002/4888370 993.54/525.45 c cleaning 10005 clauses out of 20023 with flag 4894001/4898369 995.60/526.60 c cleaning 9992 clauses out of 20019 with flag 4904002/4908370 997.80/527.78 c cleaning 9998 clauses out of 20026 with flag 4914001/4918369 1000.07/528.94 c cleaning 10002 clauses out of 20027 with flag 4924000/4928368 1002.13/530.03 c cleaning 10002 clauses out of 20025 with flag 4934000/4938368 1004.01/531.09 c cleaning 10000 clauses out of 20023 with flag 4944000/4948368 1006.23/532.27 c cleaning 10003 clauses out of 20023 with flag 4954000/4958368 1008.10/533.29 c cleaning 10001 clauses out of 20020 with flag 4964000/4968368 1010.16/534.36 c cleaning 10004 clauses out of 20019 with flag 4974000/4978368 1012.23/535.45 c cleaning 10000 clauses out of 20017 with flag 4984002/4988370 1014.43/536.63 c cleaning 9993 clauses out of 20016 with flag 4994001/4998369 1016.52/537.75 c cleaning 9999 clauses out of 20022 with flag 5004000/5008368 1018.60/538.84 c cleaning 9999 clauses out of 20025 with flag 5014002/5018370 1020.67/539.91 c cleaning 9998 clauses out of 20024 with flag 5024000/5028368 1022.69/541.06 c cleaning 9994 clauses out of 20026 with flag 5034000/5038368 1024.75/542.19 c cleaning 10000 clauses out of 20033 with flag 5044001/5048369 1027.02/543.37 c cleaning 10002 clauses out of 20034 with flag 5054002/5058370 1029.31/544.56 c cleaning 10002 clauses out of 20031 with flag 5064001/5068369 1031.50/545.75 c cleaning 9997 clauses out of 20030 with flag 5074002/5078370 1033.58/546.89 c cleaning 10006 clauses out of 20031 with flag 5084000/5088368 1035.86/548.03 c cleaning 9999 clauses out of 20026 with flag 5094001/5098369 1037.94/549.12 c cleaning 10003 clauses out of 20026 with flag 5104000/5108368 1039.99/550.29 c cleaning 9990 clauses out of 20023 with flag 5114000/5118368 1042.26/551.45 c cleaning 10002 clauses out of 20033 with flag 5124000/5128368 1044.52/552.62 c cleaning 10002 clauses out of 20031 with flag 5134000/5138368 1046.59/553.72 c cleaning 10005 clauses out of 20029 with flag 5144000/5148368 1048.59/554.83 c cleaning 10001 clauses out of 20024 with flag 5154000/5158368 1050.66/555.96 c cleaning 10000 clauses out of 20023 with flag 5164000/5168368 1052.72/557.07 c cleaning 10006 clauses out of 20025 with flag 5174002/5178370 1054.97/558.22 c cleaning 9998 clauses out of 20018 with flag 5184001/5188369 1057.18/559.40 c cleaning 9990 clauses out of 20019 with flag 5194000/5198368 1059.25/560.55 c cleaning 10003 clauses out of 20029 with flag 5204000/5208368 1061.51/561.71 c cleaning 10004 clauses out of 20026 with flag 5214000/5218368 1063.58/562.85 c cleaning 9999 clauses out of 20023 with flag 5224001/5228369 1065.79/564.08 c cleaning 9999 clauses out of 20023 with flag 5234000/5238368 1067.85/565.19 c cleaning 9999 clauses out of 20024 with flag 5244000/5248368 1070.11/566.34 c cleaning 10004 clauses out of 20026 with flag 5254001/5258369 1072.17/567.44 c cleaning 10001 clauses out of 20023 with flag 5264002/5268370 1074.38/568.61 c cleaning 9999 clauses out of 20021 with flag 5274001/5278369 1076.45/569.79 c cleaning 9995 clauses out of 20021 with flag 5284000/5288368 1078.72/570.92 c cleaning 10000 clauses out of 20026 with flag 5294000/5298368 1080.80/572.09 c cleaning 10000 clauses out of 20026 with flag 5304000/5308368 1083.16/573.31 c cleaning 10003 clauses out of 20026 with flag 5314000/5318368 1085.42/574.50 c cleaning 9991 clauses out of 20023 with flag 5324000/5328368 1087.49/575.68 c cleaning 10005 clauses out of 20033 with flag 5334001/5338369 1089.56/576.79 c cleaning 10010 clauses out of 20027 with flag 5344000/5348368 1091.77/577.97 c cleaning 9998 clauses out of 20018 with flag 5354001/5358369 1094.02/579.11 c cleaning 9996 clauses out of 20019 with flag 5364000/5368368 1096.09/580.23 c cleaning 10005 clauses out of 20023 with flag 5374000/5378368 1098.16/581.36 c cleaning 9998 clauses out of 20018 with flag 5384000/5388368 1100.42/582.52 c cleaning 9999 clauses out of 20020 with flag 5394000/5398368 1102.48/583.68 c cleaning 9999 clauses out of 20021 with flag 5404000/5408368 1104.74/584.85 c cleaning 10000 clauses out of 20022 with flag 5414000/5418368 1106.81/585.99 c cleaning 10003 clauses out of 20025 with flag 5424003/5428371 1109.22/587.28 c cleaning 9997 clauses out of 20021 with flag 5434002/5438370 1111.49/588.45 c cleaning 9996 clauses out of 20023 with flag 5444001/5448369 1113.77/589.62 c cleaning 9994 clauses out of 20028 with flag 5454002/5458370 1115.84/590.74 c cleaning 10010 clauses out of 20033 with flag 5464001/5468369 1118.21/592.01 c cleaning 9994 clauses out of 20023 with flag 5474001/5478369 1120.10/593.08 c cleaning 10008 clauses out of 20028 with flag 5484000/5488368 1122.17/594.14 c cleaning 10000 clauses out of 20020 with flag 5494000/5498368 1124.06/595.14 c cleaning 9999 clauses out of 20020 with flag 5504000/5508368 1126.04/596.30 c cleaning 9999 clauses out of 20021 with flag 5514000/5518368 1128.11/597.38 c cleaning 10004 clauses out of 20022 with flag 5524000/5528368 1130.17/598.43 c cleaning 10003 clauses out of 20019 with flag 5534001/5538369 1132.01/599.47 c cleaning 9999 clauses out of 20016 with flag 5544001/5548369 1134.21/600.64 c cleaning 9999 clauses out of 20016 with flag 5554000/5558368 1136.28/601.71 c cleaning 10005 clauses out of 20018 with flag 5564001/5568369 1138.14/602.79 c cleaning 10000 clauses out of 20012 with flag 5574000/5578368 1140.20/603.84 c cleaning 9994 clauses out of 20012 with flag 5584000/5588368 1142.18/604.98 c cleaning 9996 clauses out of 20018 with flag 5594000/5598368 1144.24/606.06 c cleaning 10001 clauses out of 20023 with flag 5604001/5608369 1146.30/607.15 c cleaning 10003 clauses out of 20021 with flag 5614000/5618368 1148.36/608.25 c cleaning 9997 clauses out of 20020 with flag 5624002/5628370 1150.55/609.43 c cleaning 9999 clauses out of 20021 with flag 5634000/5638368 1152.61/610.51 c cleaning 9992 clauses out of 20023 with flag 5644001/5648369 1154.45/611.60 c cleaning 10007 clauses out of 20031 with flag 5654001/5658369 1156.50/612.70 c cleaning 9997 clauses out of 20023 with flag 5664000/5668368 1158.72/613.81 c cleaning 10000 clauses out of 20026 with flag 5674000/5678368 1160.57/614.87 c cleaning 9991 clauses out of 20026 with flag 5684000/5688368 1162.64/615.91 c cleaning 10005 clauses out of 20037 with flag 5694002/5698370 1164.51/616.97 c cleaning 10006 clauses out of 20031 with flag 5704001/5708369 1166.52/618.08 c cleaning 10000 clauses out of 20024 with flag 5714000/5718368 1168.59/619.12 c cleaning 10002 clauses out of 20025 with flag 5724001/5728369 1170.46/620.19 c cleaning 9994 clauses out of 20023 with flag 5734001/5738369 1172.52/621.23 c cleaning 9996 clauses out of 20028 with flag 5744000/5748368 1174.55/622.38 c cleaning 10002 clauses out of 20032 with flag 5754000/5758368 1176.61/623.45 c cleaning 9999 clauses out of 20030 with flag 5764000/5768368 1178.67/624.52 c cleaning 10001 clauses out of 20031 with flag 5774000/5778368 1180.54/625.60 c cleaning 10003 clauses out of 20033 with flag 5784003/5788371 1182.73/626.73 c cleaning 10004 clauses out of 20028 with flag 5794001/5798369 1184.82/627.80 c cleaning 10002 clauses out of 20024 with flag 5804001/5808369 1186.68/628.84 c cleaning 10000 clauses out of 20021 with flag 5814000/5818368 1188.74/629.94 c cleaning 9990 clauses out of 20021 with flag 5824000/5828368 1190.73/631.03 c cleaning 10000 clauses out of 20031 with flag 5834000/5838368 1192.58/632.08 c cleaning 10001 clauses out of 20031 with flag 5844000/5848368 1194.64/633.14 c cleaning 10002 clauses out of 20030 with flag 5854000/5858368 1196.49/634.14 c cleaning 10004 clauses out of 20031 with flag 5864003/5868371 1198.52/635.27 c cleaning 9992 clauses out of 20025 with flag 5874001/5878369 1200.58/636.32 c cleaning 10007 clauses out of 20032 with flag 5884000/5888368 1202.44/637.37 c cleaning 10005 clauses out of 20025 with flag 5894000/5898368 1204.32/638.36 c cleaning 10000 clauses out of 20020 with flag 5904000/5908368 1206.32/639.45 c cleaning 10001 clauses out of 20020 with flag 5914000/5918368 1208.18/640.50 c cleaning 9995 clauses out of 20019 with flag 5924000/5928368 1210.44/641.62 c cleaning 9997 clauses out of 20024 with flag 5934000/5938368 1212.50/642.71 c cleaning 9993 clauses out of 20027 with flag 5944000/5948368 1214.52/643.81 c cleaning 9999 clauses out of 20034 with flag 5954000/5958368 1216.59/644.93 c cleaning 10002 clauses out of 20036 with flag 5964001/5968369 1218.64/646.03 c cleaning 10010 clauses out of 20034 with flag 5974001/5978369 1220.70/647.10 c cleaning 10003 clauses out of 20024 with flag 5984001/5988369 1222.91/648.33 c cleaning 10000 clauses out of 20021 with flag 5994001/5998369 1224.98/649.49 c cleaning 9999 clauses out of 20020 with flag 6004000/6008368 1227.26/650.68 c cleaning 9996 clauses out of 20022 with flag 6014001/6018369 1229.51/651.87 c cleaning 10006 clauses out of 20027 with flag 6024002/6028370 1231.70/653.09 c cleaning 9999 clauses out of 20020 with flag 6034001/6038369 1233.95/654.28 c cleaning 9997 clauses out of 20021 with flag 6044001/6048369 1236.23/655.47 c cleaning 10000 clauses out of 20024 with flag 6054001/6058369 1238.47/656.66 c cleaning 9997 clauses out of 20023 with flag 6064000/6068368 1240.68/657.86 c cleaning 10003 clauses out of 20026 with flag 6074000/6078368 1242.94/659.02 c cleaning 10008 clauses out of 20023 with flag 6084000/6088368 1245.18/660.23 c cleaning 9994 clauses out of 20015 with flag 6094000/6098368 1247.44/661.42 c cleaning 9994 clauses out of 20022 with flag 6104001/6108369 1249.84/662.75 c cleaning 10002 clauses out of 20029 with flag 6114002/6118370 1252.09/663.91 c cleaning 10000 clauses out of 20025 with flag 6124000/6128368 1254.15/665.05 c cleaning 10000 clauses out of 20026 with flag 6134001/6138369 1256.21/666.15 c cleaning 9993 clauses out of 20025 with flag 6144000/6148368 1258.42/667.34 c cleaning 10002 clauses out of 20032 with flag 6154000/6158368 1260.48/668.48 c cleaning 9999 clauses out of 20031 with flag 6164001/6168369 1262.74/669.63 c cleaning 10000 clauses out of 20032 with flag 6174001/6178369 1264.99/670.84 c cleaning 10005 clauses out of 20033 with flag 6184002/6188370 1267.04/671.99 c cleaning 9998 clauses out of 20026 with flag 6194000/6198368 1269.29/673.15 c cleaning 9998 clauses out of 20030 with flag 6204002/6208370 1271.55/674.35 c cleaning 10006 clauses out of 20030 with flag 6214000/6218368 1273.82/675.54 c cleaning 10006 clauses out of 20024 with flag 6224000/6228368 1276.20/676.83 c cleaning 9993 clauses out of 20019 with flag 6234001/6238369 1278.46/678.07 c cleaning 10000 clauses out of 20025 with flag 6244000/6248368 1280.72/679.21 c cleaning 10007 clauses out of 20027 with flag 6254002/6258370 1282.77/680.32 c cleaning 9993 clauses out of 20018 with flag 6264000/6268368 1284.94/681.59 c cleaning 9994 clauses out of 20025 with flag 6274000/6278368 1287.19/682.79 c cleaning 9997 clauses out of 20031 with flag 6284000/6288368 1289.66/684.09 c cleaning 10006 clauses out of 20035 with flag 6294001/6298369 1291.92/685.28 c cleaning 10003 clauses out of 20029 with flag 6304001/6308369 1294.34/686.50 c cleaning 10003 clauses out of 20026 with flag 6314001/6318369 1296.39/687.66 c cleaning 10000 clauses out of 20022 with flag 6324000/6328368 1298.64/688.86 c cleaning 9999 clauses out of 20022 with flag 6334000/6338368 1300.69/689.96 c cleaning 10003 clauses out of 20024 with flag 6344001/6348369 1302.91/691.14 c cleaning 9997 clauses out of 20020 with flag 6354000/6358368 1304.96/692.27 c cleaning 10003 clauses out of 20024 with flag 6364001/6368369 1307.22/693.41 c cleaning 10000 clauses out of 20021 with flag 6374001/6378369 1309.26/694.56 c cleaning 9997 clauses out of 20020 with flag 6384000/6388368 1311.63/695.82 c cleaning 9996 clauses out of 20025 with flag 6394002/6398370 1313.88/697.01 c cleaning 10006 clauses out of 20027 with flag 6404000/6408368 1315.94/698.15 c cleaning 10002 clauses out of 20021 with flag 6414000/6418368 1318.20/699.36 c cleaning 10004 clauses out of 20019 with flag 6424000/6428368 1320.61/700.67 c cleaning 9996 clauses out of 20019 with flag 6434004/6438372 1323.09/701.92 c cleaning 9998 clauses out of 20019 with flag 6444000/6448368 1325.14/703.05 c cleaning 10000 clauses out of 20024 with flag 6454003/6458371 1327.20/704.16 c cleaning 9998 clauses out of 20021 with flag 6464000/6468368 1329.54/705.40 c cleaning 10003 clauses out of 20027 with flag 6474004/6478372 1331.61/706.58 c cleaning 9997 clauses out of 20020 with flag 6484000/6488368 1333.86/707.76 c cleaning 10002 clauses out of 20024 with flag 6494001/6498369 1336.31/709.01 c cleaning 9994 clauses out of 20021 with flag 6504000/6508368 1338.55/710.20 c cleaning 10002 clauses out of 20027 with flag 6514000/6518368 1340.61/711.32 c cleaning 10006 clauses out of 20025 with flag 6524000/6528368 1342.86/712.53 c cleaning 9998 clauses out of 20019 with flag 6534000/6538368 1345.12/713.72 c cleaning 9998 clauses out of 20021 with flag 6544000/6548368 1347.32/714.99 c cleaning 9997 clauses out of 20023 with flag 6554000/6558368 1349.59/716.20 c cleaning 9998 clauses out of 20026 with flag 6564000/6568368 1352.05/717.42 c cleaning 9993 clauses out of 20028 with flag 6574000/6578368 1354.30/718.62 c cleaning 10008 clauses out of 20035 with flag 6584000/6588368 1356.48/719.90 c cleaning 10001 clauses out of 20029 with flag 6594002/6598370 1358.72/721.01 c cleaning 9999 clauses out of 20026 with flag 6604000/6608368 1360.97/722.26 c cleaning 10000 clauses out of 20028 with flag 6614001/6618369 1363.24/723.44 c cleaning 10001 clauses out of 20028 with flag 6624001/6628369 1365.62/724.73 c cleaning 10001 clauses out of 20028 with flag 6634002/6638370 1367.89/725.99 c cleaning 9997 clauses out of 20025 with flag 6644000/6648368 1370.17/727.14 c cleaning 9998 clauses out of 20029 with flag 6654001/6658369 1372.42/728.39 c cleaning 10005 clauses out of 20031 with flag 6664001/6668369 1374.81/729.70 c cleaning 9999 clauses out of 20028 with flag 6674003/6678371 1377.08/730.87 c cleaning 10006 clauses out of 20027 with flag 6684001/6688369 1379.53/732.11 c cleaning 9991 clauses out of 20020 with flag 6694000/6698368 1381.79/733.33 c cleaning 9993 clauses out of 20029 with flag 6704000/6708368 1384.19/734.68 c cleaning 10006 clauses out of 20037 with flag 6714001/6718369 1386.44/735.89 c cleaning 10005 clauses out of 20033 with flag 6724003/6728371 1388.50/736.99 c cleaning 10008 clauses out of 20026 with flag 6734001/6738369 1390.55/738.03 c cleaning 9998 clauses out of 20017 with flag 6744000/6748368 1392.52/739.20 c cleaning 10002 clauses out of 20019 with flag 6754000/6758368 1394.79/740.33 c cleaning 9999 clauses out of 20018 with flag 6764001/6768369 1396.63/741.39 c cleaning 10002 clauses out of 20018 with flag 6774000/6778368 1398.91/742.51 c cleaning 10002 clauses out of 20017 with flag 6784001/6788369 1400.86/743.61 c cleaning 10001 clauses out of 20016 with flag 6794002/6798370 1402.70/744.65 c cleaning 9997 clauses out of 20013 with flag 6804000/6808368 1404.54/745.69 c cleaning 9999 clauses out of 20016 with flag 6814000/6818368 1406.39/746.69 c cleaning 10000 clauses out of 20017 with flag 6824000/6828368 1408.57/747.84 c cleaning 9999 clauses out of 20018 with flag 6834001/6838369 1410.62/748.98 c cleaning 10000 clauses out of 20019 with flag 6844001/6848369 1412.68/750.08 c cleaning 9997 clauses out of 20019 with flag 6854001/6858369 1414.73/751.12 c cleaning 10002 clauses out of 20021 with flag 6864000/6868368 1416.69/752.28 c cleaning 9994 clauses out of 20019 with flag 6874000/6878368 1418.95/753.41 c cleaning 9998 clauses out of 20025 with flag 6884000/6888368 1420.80/754.46 c cleaning 9999 clauses out of 20027 with flag 6894000/6898368 1422.66/755.49 c cleaning 10006 clauses out of 20029 with flag 6904001/6908369 1424.85/756.69 c cleaning 10006 clauses out of 20022 with flag 6914000/6918368 1427.11/757.82 c cleaning 9991 clauses out of 20016 with flag 6924000/6928368 1429.38/759.01 c cleaning 10005 clauses out of 20025 with flag 6934000/6938368 1431.64/760.28 c cleaning 9998 clauses out of 20022 with flag 6944002/6948370 1434.01/761.53 c cleaning 10004 clauses out of 20022 with flag 6954000/6958368 1436.47/762.83 c cleaning 9996 clauses out of 20019 with flag 6964001/6968369 1438.52/763.97 c cleaning 9994 clauses out of 20023 with flag 6974001/6978369 1440.76/765.14 c cleaning 10002 clauses out of 20030 with flag 6984002/6988370 1443.14/766.44 c cleaning 10003 clauses out of 20027 with flag 6994001/6998369 1445.38/767.62 c cleaning 10004 clauses out of 20023 with flag 7004000/7008368 1447.45/768.79 c cleaning 10004 clauses out of 20021 with flag 7014002/7018370 1449.90/770.02 c cleaning 9988 clauses out of 20015 with flag 7024000/7028368 1452.09/771.21 c cleaning 10004 clauses out of 20027 with flag 7034000/7038368 1454.14/772.31 c cleaning 9998 clauses out of 20023 with flag 7044000/7048368 1455.98/773.40 c cleaning 10000 clauses out of 20025 with flag 7054000/7058368 1458.41/774.60 c cleaning 9999 clauses out of 20026 with flag 7064001/7068369 1460.58/775.80 c cleaning 10001 clauses out of 20027 with flag 7074001/7078369 1462.63/776.93 c cleaning 9996 clauses out of 20025 with flag 7084000/7088368 1464.89/778.13 c cleaning 10000 clauses out of 20029 with flag 7094000/7098368 1466.94/779.28 c cleaning 10003 clauses out of 20029 with flag 7104000/7108368 1469.31/780.50 c cleaning 10008 clauses out of 20027 with flag 7114001/7118369 1471.36/781.66 c cleaning 9996 clauses out of 20018 with flag 7124000/7128368 1473.42/782.71 c cleaning 10001 clauses out of 20022 with flag 7134000/7138368 1475.28/783.77 c cleaning 10000 clauses out of 20021 with flag 7144000/7148368 1477.44/784.95 c cleaning 9988 clauses out of 20021 with flag 7154000/7158368 1479.27/785.97 c cleaning 10008 clauses out of 20033 with flag 7164000/7168368 1481.32/787.07 c cleaning 10006 clauses out of 20026 with flag 7174001/7178369 1483.57/788.24 c cleaning 10002 clauses out of 20020 with flag 7184001/7188369 1485.92/789.57 c cleaning 9996 clauses out of 20020 with flag 7194003/7198371 1488.18/790.79 c cleaning 9998 clauses out of 20021 with flag 7204000/7208368 1490.41/791.95 c cleaning 10002 clauses out of 20024 with flag 7214001/7218369 1492.67/793.11 c cleaning 10002 clauses out of 20022 with flag 7224001/7228369 1494.84/794.38 c cleaning 9997 clauses out of 20019 with flag 7234000/7238368 1497.08/795.55 c cleaning 10002 clauses out of 20024 with flag 7244002/7248370 1499.34/796.75 c cleaning 9995 clauses out of 20020 with flag 7254000/7258368 1501.60/797.94 c cleaning 9993 clauses out of 20026 with flag 7264001/7268369 1503.79/799.18 c cleaning 10005 clauses out of 20032 with flag 7274000/7278368 1506.04/800.36 c cleaning 10001 clauses out of 20029 with flag 7284002/7288370 1508.27/801.54 c cleaning 9999 clauses out of 20026 with flag 7294000/7298368 1510.53/802.74 c cleaning 9998 clauses out of 20028 with flag 7304001/7308369 1512.89/804.09 c cleaning 9997 clauses out of 20030 with flag 7314001/7318369 1515.15/805.28 c cleaning 10009 clauses out of 20033 with flag 7324001/7328369 1517.58/806.50 c cleaning 9999 clauses out of 20023 with flag 7334000/7338368 1519.63/807.69 c cleaning 9996 clauses out of 20026 with flag 7344002/7348370 1521.82/808.88 c cleaning 10003 clauses out of 20028 with flag 7354000/7358368 1524.06/810.03 c cleaning 9999 clauses out of 20025 with flag 7364000/7368368 1526.31/811.21 c cleaning 10004 clauses out of 20027 with flag 7374001/7378369 1528.37/812.37 c cleaning 9993 clauses out of 20024 with flag 7384002/7388370 1530.53/813.58 c cleaning 10005 clauses out of 20029 with flag 7394000/7398368 1532.79/814.75 c cleaning 10005 clauses out of 20025 with flag 7404001/7408369 1535.03/815.90 c cleaning 9996 clauses out of 20019 with flag 7414000/7418368 1537.10/817.00 c cleaning 10002 clauses out of 20025 with flag 7424002/7428370 1539.25/818.22 c cleaning 10000 clauses out of 20021 with flag 7434000/7438368 1541.31/819.32 c cleaning 10001 clauses out of 20022 with flag 7444001/7448369 1543.35/820.49 c cleaning 9995 clauses out of 20020 with flag 7454000/7458368 1545.40/821.60 c cleaning 10002 clauses out of 20025 with flag 7464000/7468368 1547.57/822.77 c cleaning 9999 clauses out of 20023 with flag 7474000/7478368 1549.63/823.85 c cleaning 10002 clauses out of 20025 with flag 7484001/7488369 1551.87/825.08 c cleaning 9999 clauses out of 20024 with flag 7494002/7498370 1554.11/826.25 c cleaning 10002 clauses out of 20025 with flag 7504002/7508370 1556.47/827.56 c cleaning 10000 clauses out of 20021 with flag 7514000/7518368 1558.52/828.69 c cleaning 10000 clauses out of 20026 with flag 7524005/7528373 1560.76/829.85 c cleaning 9999 clauses out of 20021 with flag 7534000/7538368 1563.00/831.00 c cleaning 10002 clauses out of 20024 with flag 7544002/7548370 1565.20/832.22 c cleaning 9998 clauses out of 20022 with flag 7554002/7558370 1567.25/833.37 c cleaning 9998 clauses out of 20023 with flag 7564001/7568369 1569.50/834.52 c cleaning 10001 clauses out of 20025 with flag 7574001/7578369 1571.77/835.72 c cleaning 9998 clauses out of 20023 with flag 7584000/7588368 1573.95/836.93 c cleaning 10004 clauses out of 20025 with flag 7594000/7598368 1576.18/838.14 c cleaning 10004 clauses out of 20021 with flag 7604000/7608368 1578.25/839.28 c cleaning 9998 clauses out of 20018 with flag 7614001/7618369 1580.52/840.43 c cleaning 9997 clauses out of 20019 with flag 7624000/7628368 1582.71/841.67 c cleaning 10000 clauses out of 20022 with flag 7634000/7638368 1584.95/842.87 c cleaning 9999 clauses out of 20022 with flag 7644000/7648368 1587.38/844.10 c cleaning 9998 clauses out of 20023 with flag 7654000/7658368 1589.42/845.25 c cleaning 10002 clauses out of 20027 with flag 7664002/7668370 1591.57/846.49 c cleaning 10000 clauses out of 20024 with flag 7674001/7678369 1594.01/847.71 c cleaning 9997 clauses out of 20025 with flag 7684002/7688370 1596.25/848.94 c cleaning 9997 clauses out of 20026 with flag 7694000/7698368 1598.48/850.16 c cleaning 9996 clauses out of 20029 with flag 7704000/7708368 1600.88/851.41 c cleaning 10003 clauses out of 20034 with flag 7714001/7718369 1602.92/852.59 c cleaning 9999 clauses out of 20030 with flag 7724000/7728368 1605.16/853.75 c cleaning 10011 clauses out of 20031 with flag 7734000/7738368 1607.39/854.97 c cleaning 9993 clauses out of 20020 with flag 7744000/7748368 1609.78/856.20 c cleaning 10007 clauses out of 20027 with flag 7754000/7758368 1612.02/857.47 c cleaning 9999 clauses out of 20021 with flag 7764001/7768369 1614.27/858.64 c cleaning 9996 clauses out of 20021 with flag 7774000/7778368 1616.31/859.78 c cleaning 10004 clauses out of 20026 with flag 7784001/7788369 1618.68/861.05 c cleaning 10005 clauses out of 20023 with flag 7794002/7798370 1620.91/862.28 c cleaning 9994 clauses out of 20017 with flag 7804001/7808369 1623.15/863.49 c cleaning 10000 clauses out of 20023 with flag 7814001/7818369 1625.59/864.74 c cleaning 9999 clauses out of 20023 with flag 7824001/7828369 1627.74/865.96 c cleaning 9995 clauses out of 20023 with flag 7834000/7838368 1629.97/867.13 c cleaning 10004 clauses out of 20032 with flag 7844004/7848372 1632.20/868.32 c cleaning 10001 clauses out of 20024 with flag 7854000/7858368 1634.44/869.55 c cleaning 9998 clauses out of 20023 with flag 7864000/7868368 1636.80/870.83 c cleaning 9994 clauses out of 20025 with flag 7874000/7878368 1639.03/872.02 c cleaning 10007 clauses out of 20031 with flag 7884000/7888368 1641.27/873.22 c cleaning 10001 clauses out of 20024 with flag 7894000/7898368 1643.51/874.41 c cleaning 9999 clauses out of 20023 with flag 7904000/7908368 1645.76/875.60 c cleaning 10001 clauses out of 20026 with flag 7914002/7918370 1647.80/876.79 c cleaning 9998 clauses out of 20024 with flag 7924001/7928369 1650.24/878.01 c cleaning 10000 clauses out of 20026 with flag 7934001/7938369 1652.48/879.21 c cleaning 9995 clauses out of 20025 with flag 7944000/7948368 1654.66/880.47 c cleaning 10007 clauses out of 20031 with flag 7954001/7958369 1657.12/881.72 c cleaning 10001 clauses out of 20024 with flag 7964001/7968369 1659.36/882.91 c cleaning 9996 clauses out of 20022 with flag 7974000/7978368 1661.40/884.09 c cleaning 10003 clauses out of 20028 with flag 7984002/7988370 1663.59/885.28 c cleaning 10002 clauses out of 20025 with flag 7994002/7998370 1665.83/886.46 c cleaning 9997 clauses out of 20021 with flag 8004000/8008368 1668.06/887.67 c cleaning 9999 clauses out of 20025 with flag 8014001/8018369 1670.50/888.91 c cleaning 10004 clauses out of 20027 with flag 8024002/8028370 1672.67/890.20 c cleaning 9999 clauses out of 20021 with flag 8034000/8038368 1674.91/891.34 c cleaning 9992 clauses out of 20022 with flag 8044000/8048368 1677.14/892.54 c cleaning 10012 clauses out of 20031 with flag 8054001/8058369 1679.59/893.83 c cleaning 9999 clauses out of 20018 with flag 8064000/8068368 1681.98/895.11 c cleaning 9995 clauses out of 20020 with flag 8074001/8078369 1684.22/896.34 c cleaning 10000 clauses out of 20024 with flag 8084000/8088368 1686.46/897.59 c cleaning 9999 clauses out of 20024 with flag 8094000/8098368 1688.90/898.84 c cleaning 9999 clauses out of 20026 with flag 8104001/8108369 1691.07/900.07 c cleaning 10006 clauses out of 20028 with flag 8114002/8118370 1693.52/901.30 c cleaning 9995 clauses out of 20022 with flag 8124002/8128370 1695.55/902.47 c cleaning 10000 clauses out of 20026 with flag 8134001/8138369 1697.99/903.74 c cleaning 10000 clauses out of 20026 with flag 8144001/8148369 1700.15/904.99 c cleaning 9998 clauses out of 20025 with flag 8154000/8158368 1702.38/906.18 c cleaning 9994 clauses out of 20028 with flag 8164001/8168369 1704.61/907.36 c cleaning 10001 clauses out of 20033 with flag 8174000/8178368 1706.85/908.56 c cleaning 10007 clauses out of 20033 with flag 8184001/8188369 1709.23/909.82 c cleaning 9999 clauses out of 20025 with flag 8194000/8198368 1711.45/911.04 c cleaning 9990 clauses out of 20027 with flag 8204001/8208369 1713.68/912.28 c cleaning 10006 clauses out of 20036 with flag 8214000/8218368 1715.91/913.49 c cleaning 10002 clauses out of 20031 with flag 8224001/8228369 1718.27/914.76 c cleaning 10005 clauses out of 20030 with flag 8234002/8238370 1720.70/916.02 c cleaning 10005 clauses out of 20023 with flag 8244000/8248368 1722.72/917.18 c cleaning 9996 clauses out of 20019 with flag 8254001/8258369 1725.15/918.41 c cleaning 10000 clauses out of 20024 with flag 8264002/8268370 1727.51/919.75 c cleaning 10004 clauses out of 20022 with flag 8274000/8278368 1729.73/920.91 c cleaning 9993 clauses out of 20020 with flag 8284002/8288370 1731.76/922.04 c cleaning 9999 clauses out of 20026 with flag 8294001/8298369 1734.00/923.24 c cleaning 9998 clauses out of 20026 with flag 8304000/8308368 1736.33/924.54 c cleaning 10007 clauses out of 20029 with flag 8314001/8318369 1738.37/925.68 c cleaning 10005 clauses out of 20021 with flag 8324000/8328368 1740.61/926.83 c cleaning 9991 clauses out of 20016 with flag 8334000/8338368 1742.84/928.03 c cleaning 10007 clauses out of 20027 with flag 8344002/8348370 1745.19/929.33 c cleaning 10001 clauses out of 20018 with flag 8354000/8358368 1747.43/930.52 c cleaning 9999 clauses out of 20017 with flag 8364000/8368368 1749.46/931.67 c cleaning 10001 clauses out of 20020 with flag 8374002/8378370 1751.50/932.80 c cleaning 10004 clauses out of 20017 with flag 8384000/8388368 1753.86/934.03 c cleaning 9994 clauses out of 20014 with flag 8394001/8398369 1756.08/935.22 c cleaning 10000 clauses out of 20019 with flag 8404000/8408368 1758.11/936.36 c cleaning 9999 clauses out of 20020 with flag 8414001/8418369 1760.16/937.45 c cleaning 10000 clauses out of 20020 with flag 8424000/8428368 1762.31/938.65 c cleaning 10000 clauses out of 20022 with flag 8434002/8438370 1764.34/939.74 c cleaning 10000 clauses out of 20020 with flag 8444000/8448368 1766.37/940.87 c cleaning 10000 clauses out of 20021 with flag 8454001/8458369 1768.42/941.98 c cleaning 9999 clauses out of 20020 with flag 8464000/8468368 1770.59/943.15 c cleaning 9995 clauses out of 20021 with flag 8474000/8478368 1772.62/944.23 c cleaning 10000 clauses out of 20027 with flag 8484001/8488369 1774.66/945.35 c cleaning 10002 clauses out of 20027 with flag 8494001/8498369 1776.69/946.46 c cleaning 10001 clauses out of 20024 with flag 8504000/8508368 1778.88/947.67 c cleaning 9995 clauses out of 20023 with flag 8514000/8518368 1780.92/948.76 c cleaning 10003 clauses out of 20028 with flag 8524000/8528368 1782.95/949.85 c cleaning 9999 clauses out of 20025 with flag 8534000/8538368 1784.98/950.95 c cleaning 10001 clauses out of 20027 with flag 8544001/8548369 1787.11/952.17 c cleaning 10001 clauses out of 20025 with flag 8554000/8558368 1789.13/953.23 c cleaning 10003 clauses out of 20024 with flag 8564000/8568368 1791.36/954.41 c cleaning 10001 clauses out of 20021 with flag 8574000/8578368 1793.40/955.56 c cleaning 10001 clauses out of 20021 with flag 8584001/8588369 1795.55/956.71 c cleaning 9996 clauses out of 20019 with flag 8594000/8598368 1797.58/957.81 c cleaning 10001 clauses out of 20023 with flag 8604000/8608368 1799.62/958.91 c cleaning 10001 clauses out of 20022 with flag 8614000/8618368 1800.08/959.22 c starts : 9 1800.08/959.22 c conflicts : 3459 1800.08/959.22 c decisions : 450435 1800.08/959.22 c propagations : 1313162 1800.08/959.22 c inspects : 855808529 1800.08/959.22 c shortcuts : 0 1800.08/959.22 c learnt literals : 0 1800.08/959.22 c learnt binary clauses : 0 1800.08/959.22 c learnt ternary clauses : 0 1800.08/959.22 c learnt constraints : 3458 1800.08/959.22 c ignored constraints : 0 1800.08/959.22 c root simplifications : 0 1800.08/959.22 c removed literals (reason simplification) : 0 1800.08/959.22 c reason swapping (by a shorter reason) : 0 1800.08/959.22 c Calls to reduceDB : 0 1800.08/959.22 c number of reductions to clauses (during analyze) : 0 1800.08/959.22 c number of learned constraints concerned by reduction : 0 1800.08/959.22 c number of learning phase by resolution : 0 1800.08/959.22 c number of learning phase by cutting planes : 0 1800.08/959.22 c speed (assignments/second) : 1375.1438591641036 1800.08/959.22 c non guided choices 0 1800.08/959.22 c learnt constraints type 1800.08/959.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3458 1800.08/959.22 c constraints type 1800.08/959.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4 1800.08/959.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 165 1800.08/959.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 697 1800.08/959.22 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.08/959.22 c constraints type 1800.08/959.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 697 1800.08/959.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4 1800.08/959.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 165 1800.08/959.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.08/959.22 s SATISFIABLE 1800.08/959.22 v x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 x23 x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 x73 x74 x75 x76 -x77 x78 -x79 -x80 -x81 x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 -x106 x107 x108 x109 x110 x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 x120 -x121 -x122 x123 x124 x125 x126 x127 x128 x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174 x175 -x176 -x177 x178 x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 x191 x192 x193 -x194 x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 x209 x210 -x211 x212 x213 x214 -x215 x216 x217 -x218 -x219 x220 x221 x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 x235 x236 -x237 -x238 x239 x240 -x241 -x242 x243 x244 x245 -x246 -x247 -x248 x249 x250 -x251 -x252 x253 x254 x255 -x256 x257 x258 x259 -x260 x261 x262 x263 x264 -x265 -x266 -x267 x268 x269 -x270 x271 x272 -x273 -x274 -x275 x276 x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 x297 x298 x299 -x300 x301 -x302 -x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 -x315 x316 x317 -x318 -x319 -x320 x321 x322 x323 x324 x325 -x326 x327 x328 -x329 -x330 -x331 x332 x333 -x334 x335 -x336 x337 x338 x339 x340 x341 x342 x343 -x344 x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 x355 -x356 x357 -x358 x359 x360 -x361 -x362 x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 x419 x420 -x421 -x422 -x423 -x424 x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 x447 x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 -x457 -x458 -x459 x460 -x461 -x462 x463 x464 x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 x481 x482 -x483 x484 x485 -x486 -x487 -x488 -x489 x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 x513 x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 x531 x532 -x533 -x534 -x535 x536 x537 -x538 -x539 x540 x541 x542 x543 x544 x545 x546 -x547 x548 x549 -x550 -x551 x552 x553 -x554 -x555 x556 x557 x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 x574 x575 -x576 x577 x578 x579 x580 -x581 x582 -x583 x584 x585 x586 x587 -x588 -x589 x590 x591 x592 x593 x594 x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 x608 -x609 x610 x611 -x612 -x613 -x614 x615 x616 x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 x633 x634 -x635 -x636 -x637 -x638 x639 x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 x654 x655 x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 x671 x672 x673 -x674 x675 x676 x677 -x678 x679 -x680 -x681 -x682 x683 x684 -x685 -x686 x687 x688 -x689 -x690 x691 x692 x693 x694 x695 x696 -x697 -x698 -x699 -x700 x701 x702 -x703 x704 x705 x706 -x707 x708 x709 -x710 -x711 x712 x713 -x714 -x715 x716 x717 x718 -x719 x720 x721 -x722 -x723 x724 x725 -x726 -x727 x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 x749 -x750 x751 x752 x753 -x754 x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 x764 -x765 x766 x767 x768 x769 x770 x771 x772 -x773 x774 x775 x776 1800.08/959.22 c objective function=9 1800.08/959.22 c Total wall clock time (in seconds): 959.094
OK 9
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-3732832-1338686521/watcher-3732832-1338686521 -o /tmp/evaluation-result-3732832-1338686521/solver-3732832-1338686521 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732832-1338686521.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.43 3.56 3.56 3/200 29774 /proc/meminfo: memFree=25645444/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/29774/stat : 29774 (java) D 29772 29774 27163 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334777455 9515008 183 33554432000 1073741824 1073778376 140736323379872 140736323370904 273589026485 0 0 4096 0 18446744072100748580 0 0 17 4 0 0 0 0 0 /proc/29774/statm: 2323 183 140 9 0 71 0 [startup+0.103253 s] /proc/loadavg: 3.43 3.56 3.56 3/200 29774 /proc/meminfo: memFree=25645444/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11586392 CPUtime=0.08 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 4901 0 1 0 6 2 0 0 20 0 18 0 334777455 11864465408 12753 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2896598 12759 2012 9 0 2887285 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11586392 [startup+0.200259 s] /proc/loadavg: 3.43 3.56 3.56 3/200 29774 /proc/meminfo: memFree=25645444/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11586392 CPUtime=0.23 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 5598 0 1 0 21 2 0 0 20 0 18 0 334777455 11864465408 13895 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2896598 13895 2189 9 0 2887285 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 11586392 [startup+0.300296 s] /proc/loadavg: 3.43 3.56 3.56 3/200 29774 /proc/meminfo: memFree=25645444/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 6059 0 1 0 37 4 0 0 20 0 19 0 334777455 12137111552 16253 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 16253 2237 9 0 2953849 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 11852648 [startup+0.700272 s] /proc/loadavg: 3.43 3.56 3.56 3/200 29774 /proc/meminfo: memFree=25645444/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=0.41 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 6059 0 1 0 37 4 0 0 20 0 19 0 334777455 12137111552 16253 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 16253 2237 9 0 2953849 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 11852648 [startup+1.50076 s] /proc/loadavg: 3.43 3.56 3.56 4/219 29799 /proc/meminfo: memFree=25554220/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=2.03 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 19306 0 1 0 192 11 0 0 20 0 19 0 334777455 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 26796 2249 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.24 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3435 0 1 0 22 2 0 0 20 0 19 0 334777456 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334777459 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334777460 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334777460 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.55 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8842 0 0 0 53 2 0 0 20 0 19 0 334777462 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.47 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 5697 0 0 0 47 0 0 0 20 0 19 0 334777462 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334777482 12137111552 26796 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 11852648 [startup+3.10071 s] /proc/loadavg: 3.43 3.56 3.56 2/219 29805 /proc/meminfo: memFree=25539024/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=2.6 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 20662 0 1 0 243 17 0 0 20 0 19 0 334777455 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 35534 2254 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.24 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3437 0 1 0 22 2 0 0 20 0 19 0 334777456 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334777458 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334777459 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334777460 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334777460 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.69 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8864 0 0 0 67 2 0 0 20 0 19 0 334777462 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 6993 0 0 0 58 0 0 0 20 0 19 0 334777462 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334777462 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334777482 12137111552 35534 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 11852648 [startup+6.3008 s] /proc/loadavg: 3.47 3.57 3.56 5/222 29820 /proc/meminfo: memFree=25208404/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=7.08 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 21025 0 1 0 681 27 0 0 20 0 22 0 334777455 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 120579 2279 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3439 0 1 0 23 2 0 0 20 0 22 0 334777456 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334777458 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=0.05 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 40 0 0 0 5 0 0 0 20 0 22 0 334777459 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8892 0 0 0 80 2 0 0 20 0 22 0 334777462 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.64 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 7072 0 0 0 62 2 0 0 20 0 22 0 334777462 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334777482 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29818] ppid=29772 vsize=11852648 CPUtime=1.9 cores=0,2,4,6 /proc/29774/task/29818/stat : 29818 (java) R 29772 29774 27163 0 -1 4202560 10 0 0 0 190 0 0 0 20 0 22 0 334777884 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584021504064 140584152881504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29819] ppid=29772 vsize=11852648 CPUtime=1.9 cores=0,2,4,6 /proc/29774/task/29819/stat : 29819 (java) R 29772 29774 27163 0 -1 4202560 136 0 0 0 186 4 0 0 20 0 22 0 334777884 12137111552 120579 33554432000 1073741824 1073778376 140735527274528 140584018344736 140584152938951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ /proc/29774/statm: 2963162 181632 2283 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3831 0 1 0 27 4 0 0 20 0 22 0 334777456 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=2.88 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 134 0 0 0 285 3 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=2.74 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 124 0 0 0 271 3 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=2.83 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 280 3 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=2.84 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 142 0 0 0 281 3 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=2.74 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 138 0 0 0 270 4 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=2.89 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 142 0 0 0 286 3 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=2.87 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 135 0 0 0 283 4 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 288 4 0 0 20 0 22 0 334777458 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=118.32 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 170 0 0 0 11818 14 0 0 20 0 22 0 334777459 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8915 0 0 0 97 2 0 0 20 0 22 0 334777462 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.88 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 7117 0 0 0 86 2 0 0 20 0 22 0 334777462 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0.36 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 53 0 0 0 16 20 0 0 20 0 22 0 334777462 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334777482 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29818] ppid=29772 vsize=11852648 CPUtime=809.99 cores=0,2,4,6 /proc/29774/task/29818/stat : 29818 (java) R 29772 29774 27163 0 -1 4202560 326 0 0 0 80985 14 0 0 20 0 22 0 334777884 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584021504024 140584152965760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29819] ppid=29772 vsize=11852648 CPUtime=809.98 cores=0,2,4,6 /proc/29774/task/29819/stat : 29819 (java) R 29772 29774 27163 0 -1 4202560 344 0 0 0 80978 20 0 0 20 0 22 0 334777884 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584018344680 140584152875952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29820] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29820/stat : 29820 (java) S 29772 29774 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334777884 12137111552 181632 33554432000 1073741824 1073778376 140735527274528 140584020452392 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1768.99 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+959.201 s] /proc/loadavg: 3.75 3.67 3.64 5/221 30107 /proc/meminfo: memFree=26949208/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 23318 0 1 0 179916 92 0 0 20 0 22 0 334777455 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 181657 2283 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3846 0 1 0 27 4 0 0 20 0 22 0 334777456 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=2.94 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 143 0 0 0 291 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=2.78 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 129 0 0 0 275 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=2.86 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 283 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=2.89 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 149 0 0 0 286 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=2.81 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 140 0 0 0 277 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=2.94 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 142 0 0 0 291 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 137 0 0 0 288 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=2.96 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 292 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=121.22 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 170 0 0 0 12108 14 0 0 20 0 22 0 334777459 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8915 0 0 0 97 2 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.88 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 7117 0 0 0 86 2 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 53 0 0 0 16 21 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334777482 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29818] ppid=29772 vsize=11852648 CPUtime=823.84 cores=0,2,4,6 /proc/29774/task/29818/stat : 29818 (java) R 29772 29774 27163 0 -1 4202560 326 0 0 0 82370 14 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584021504064 140584152888385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29819] ppid=29772 vsize=11852648 CPUtime=823.83 cores=0,2,4,6 /proc/29774/task/29819/stat : 29819 (java) R 29772 29774 27163 0 -1 4202560 344 0 0 0 82363 20 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584018344736 140584152939638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29820] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29820/stat : 29820 (java) S 29772 29774 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584020452392 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+959.201 s] /proc/loadavg: 3.75 3.67 3.64 5/221 30107 /proc/meminfo: memFree=26949208/32873844 swapFree=7112/7112 [pid=29774] ppid=29772 vsize=11852648 CPUtime=1800.08 cores=0,2,4,6 /proc/29774/stat : 29774 (java) S 29772 29774 27163 0 -1 4202496 23318 0 1 0 179916 92 0 0 20 0 22 0 334777455 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140735527265664 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29774/statm: 2963162 181657 2283 9 0 2953849 0 [pid=29774/tid=29776] ppid=29772 vsize=11852648 CPUtime=0.31 cores=0,2,4,6 /proc/29774/task/29776/stat : 29776 (java) S 29772 29774 27163 0 -1 4202560 3846 0 1 0 27 4 0 0 20 0 22 0 334777456 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584212681880 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29777] ppid=29772 vsize=11852648 CPUtime=2.94 cores=0,2,4,6 /proc/29774/task/29777/stat : 29777 (java) S 29772 29774 27163 0 -1 4202560 143 0 0 0 291 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584151410984 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29778] ppid=29772 vsize=11852648 CPUtime=2.78 cores=0,2,4,6 /proc/29774/task/29778/stat : 29778 (java) S 29772 29774 27163 0 -1 4202560 129 0 0 0 275 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584150358184 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29779] ppid=29772 vsize=11852648 CPUtime=2.86 cores=0,2,4,6 /proc/29774/task/29779/stat : 29779 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 283 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584149305896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29780] ppid=29772 vsize=11852648 CPUtime=2.89 cores=0,2,4,6 /proc/29774/task/29780/stat : 29780 (java) S 29772 29774 27163 0 -1 4202560 149 0 0 0 286 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584148253096 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29781] ppid=29772 vsize=11852648 CPUtime=2.81 cores=0,2,4,6 /proc/29774/task/29781/stat : 29781 (java) S 29772 29774 27163 0 -1 4202560 140 0 0 0 277 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584147200808 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29782] ppid=29772 vsize=11852648 CPUtime=2.94 cores=0,2,4,6 /proc/29774/task/29782/stat : 29782 (java) S 29772 29774 27163 0 -1 4202560 142 0 0 0 291 3 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584146148008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29783] ppid=29772 vsize=11852648 CPUtime=2.92 cores=0,2,4,6 /proc/29774/task/29783/stat : 29783 (java) S 29772 29774 27163 0 -1 4202560 137 0 0 0 288 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584043179048 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29784] ppid=29772 vsize=11852648 CPUtime=2.96 cores=0,2,4,6 /proc/29774/task/29784/stat : 29784 (java) S 29772 29774 27163 0 -1 4202560 159 0 0 0 292 4 0 0 20 0 22 0 334777458 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584042126248 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29785] ppid=29772 vsize=11852648 CPUtime=121.22 cores=0,2,4,6 /proc/29774/task/29785/stat : 29785 (java) S 29772 29774 27163 0 -1 4202560 170 0 0 0 12108 14 0 0 20 0 22 0 334777459 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584029927656 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29786] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29786/stat : 29786 (java) S 29772 29774 27163 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584028873720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29787] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29787/stat : 29787 (java) S 29772 29774 27163 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334777460 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584027821320 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29788] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29788/stat : 29788 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584026769808 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29789] ppid=29772 vsize=11852648 CPUtime=0.99 cores=0,2,4,6 /proc/29774/task/29789/stat : 29789 (java) S 29772 29774 27163 0 -1 4202560 8915 0 0 0 97 2 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584025717432 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29790] ppid=29772 vsize=11852648 CPUtime=0.88 cores=0,2,4,6 /proc/29774/task/29790/stat : 29790 (java) S 29772 29774 27163 0 -1 4202560 7117 0 0 0 86 2 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584024664632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29791] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29791/stat : 29791 (java) S 29772 29774 27163 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584023612536 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29774/tid=29792] ppid=29772 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/29774/task/29792/stat : 29792 (java) S 29772 29774 27163 0 -1 4202560 53 0 0 0 16 21 0 0 20 0 22 0 334777462 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584022559944 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29774/tid=29795] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29795/stat : 29795 (java) S 29772 29774 27163 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334777482 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584019399848 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29818] ppid=29772 vsize=11852648 CPUtime=823.84 cores=0,2,4,6 /proc/29774/task/29818/stat : 29818 (java) R 29772 29774 27163 0 -1 4202560 326 0 0 0 82370 14 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584021504064 140584152888385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29774/tid=29819] ppid=29772 vsize=11852648 CPUtime=823.83 cores=0,2,4,6 /proc/29774/task/29819/stat : 29819 (java) R 29772 29774 27163 0 -1 4202560 344 0 0 0 82363 20 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584018344736 140584152939638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29774/tid=29820] ppid=29772 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/29774/task/29820/stat : 29820 (java) S 29772 29774 27163 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334777884 12137111552 181657 33554432000 1073741824 1073778376 140735527274528 140584020452392 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29774 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=869138 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=353794 # CPU time returned by wait4() is 1796.22 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 959.234 CPU time (s): 1800.08 CPU user time (s): 1799.16 CPU system time (s): 0.92 CPU usage (%): 187.658 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.87 system time used= 1.35379 maximum resident set size= 726740 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23348 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47278 involuntary context switches= 63035 runsolver used 3.58245 second user time and 8.80366 second system time The end
Begin job on node132 at 2012-06-03 03:22:01 IDJOB=3732832 IDBENCH=2219 IDSOLVER=2328 FILE ID=node132/3732832-1338686521 RUNJOBID= node132-1338678626-27182 PBS_JOBID= 14636681 Free space on /tmp= 71216 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732832-1338686521/watcher-3732832-1338686521 -o /tmp/evaluation-result-3732832-1338686521/solver-3732832-1338686521 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732832-1338686521.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440 RANDOM SEED=1939850863 node132.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.832 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.66 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.832 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 : 5332.55 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.832 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 : 5332.56 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.832 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 : 5332.56 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.832 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 : 5332.55 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.832 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 : 5332.56 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.832 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 : 5332.55 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.832 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25646072 kB Buffers: 600632 kB Cached: 3071812 kB SwapCached: 2292 kB Active: 4177444 kB Inactive: 2119364 kB Active(anon): 2617360 kB Inactive(anon): 7120 kB Active(file): 1560084 kB Inactive(file): 2112244 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67102708 kB Dirty: 468 kB Writeback: 0 kB AnonPages: 2639948 kB Mapped: 19280 kB Shmem: 8 kB Slab: 774488 kB SReclaimable: 215960 kB SUnreclaim: 558528 kB KernelStack: 1648 kB PageTables: 8980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 2594816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71216 MiB End job on node132 at 2012-06-03 03:38:03