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) | 77 | 1801.17 | 1065.85 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
| MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 4.24935 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 1226 |
| Total number of constraints | 4208 |
| Number of constraints which are clauses | 4208 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 1226 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1226 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1226 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.1.v20110525 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 9996466904 0.07/0.10 c Max memory 10048897024 0.07/0.10 c Total memory 10048897024 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3734647-1338692014.opb 0.07/0.13 c reading problem ... 0.52/0.39 c ... done. Wall clock time 0.262s. 0.52/0.39 c #vars 1226 0.52/0.39 c #constraints 4208 0.52/0.39 c constraints type 0.52/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3297 0.52/0.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 911 0.52/0.39 c constraints type 0.52/0.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 911 0.52/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3297 0.73/0.43 c And the winner is CuttingPlanes 0.94/0.89 c SATISFIABLE 0.94/0.89 c OPTIMIZING... 0.94/0.89 c Got one! Elapsed wall clock time (in seconds):0.767 0.94/0.89 o 88 0.95/0.91 c And the winner is Resolution 1.11/1.40 c Got one! Elapsed wall clock time (in seconds):1.276 1.11/1.40 o 86 1.11/1.41 c And the winner is Resolution 1.17/1.91 c Got one! Elapsed wall clock time (in seconds):1.781 1.17/1.91 o 84 1.17/1.92 c And the winner is Resolution 1.21/2.41 c Got one! Elapsed wall clock time (in seconds):2.287 1.21/2.41 o 83 2.97/2.99 c cleaning 2504 clauses out of 5014 with flag 5001/5014 4.04/3.49 c cleaning 4251 clauses out of 8509 with flag 11000/11013 5.33/4.02 c cleaning 5623 clauses out of 11259 with flag 18001/18014 6.54/4.69 c cleaning 6815 clauses out of 13636 with flag 26001/26014 7.98/5.37 c cleaning 7903 clauses out of 15821 with flag 35001/35014 9.89/6.27 c cleaning 8954 clauses out of 17917 with flag 45000/45013 11.68/7.16 c cleaning 9471 clauses out of 18963 with flag 55000/55013 13.25/7.94 c cleaning 9741 clauses out of 19493 with flag 65001/65014 15.02/8.90 c cleaning 9875 clauses out of 19751 with flag 75000/75013 16.79/9.74 c cleaning 9934 clauses out of 19877 with flag 85001/85014 18.15/10.42 c And the winner is CuttingPlanes 18.15/10.43 c Got one! Elapsed wall clock time (in seconds):10.307 18.15/10.43 o 82 18.99/10.85 c cleaning 12021 clauses out of 24053 with flag 5001/99124 20.17/11.41 c cleaning 9014 clauses out of 18032 with flag 11001/105124 21.30/12.02 c cleaning 8003 clauses out of 16018 with flag 18001/112124 22.45/12.70 c cleaning 8001 clauses out of 16014 with flag 26000/120123 23.81/13.37 c cleaning 8502 clauses out of 17013 with flag 35000/129123 25.59/14.24 c cleaning 9251 clauses out of 18512 with flag 45001/139124 27.13/15.09 c cleaning 9627 clauses out of 19261 with flag 55001/149124 28.88/15.96 c cleaning 9809 clauses out of 19634 with flag 65001/159124 30.44/16.76 c cleaning 9911 clauses out of 19825 with flag 75001/169124 32.01/17.60 c cleaning 9950 clauses out of 19914 with flag 85001/179124 33.94/18.52 c cleaning 9977 clauses out of 19963 with flag 95000/189123 35.50/19.35 c cleaning 9985 clauses out of 19986 with flag 105000/199123 37.06/20.18 c cleaning 9999 clauses out of 20002 with flag 115001/209124 38.82/21.04 c cleaning 10000 clauses out of 20003 with flag 125001/219124 40.55/21.96 c cleaning 9994 clauses out of 20002 with flag 135000/229123 42.10/22.75 c cleaning 9997 clauses out of 20008 with flag 145000/239123 43.65/23.59 c cleaning 9998 clauses out of 20012 with flag 155001/249124 45.39/24.46 c cleaning 9992 clauses out of 20013 with flag 165000/259123 47.11/25.37 c cleaning 10006 clauses out of 20022 with flag 175001/269124 49.07/26.37 c cleaning 10001 clauses out of 20015 with flag 185000/279123 50.81/27.20 c cleaning 10000 clauses out of 20015 with flag 195001/289124 52.45/28.07 c cleaning 10001 clauses out of 20015 with flag 205001/299124 54.16/28.94 c cleaning 9999 clauses out of 20013 with flag 215000/309123 55.71/29.79 c cleaning 10002 clauses out of 20015 with flag 225001/319124 57.66/30.72 c cleaning 10000 clauses out of 20012 with flag 235000/329123 59.40/31.69 c cleaning 9999 clauses out of 20012 with flag 245000/339123 61.53/32.78 c cleaning 9997 clauses out of 20013 with flag 255000/349123 63.49/33.70 c cleaning 10002 clauses out of 20016 with flag 265000/359123 65.24/34.62 c cleaning 10002 clauses out of 20014 with flag 275000/369123 66.79/35.41 c cleaning 10003 clauses out of 20012 with flag 285000/379123 68.31/36.26 c cleaning 9998 clauses out of 20010 with flag 295001/389124 69.04/36.61 c And the winner is CuttingPlanes 69.08/37.05 c Got one! Elapsed wall clock time (in seconds):36.919 69.08/37.05 o 81 69.39/37.21 c cleaning 7856 clauses out of 15715 with flag 2000/394827 70.33/37.77 c cleaning 6926 clauses out of 13859 with flag 8000/400827 71.68/38.45 c cleaning 6962 clauses out of 13933 with flag 15000/407827 72.98/39.19 c cleaning 7483 clauses out of 14972 with flag 23001/415828 74.73/40.00 c cleaning 8239 clauses out of 16489 with flag 32001/424828 76.47/40.94 c cleaning 9121 clauses out of 18250 with flag 42001/434828 78.03/41.80 c cleaning 9557 clauses out of 19128 with flag 52000/444827 79.92/42.75 c cleaning 9774 clauses out of 19571 with flag 62000/454827 81.86/43.70 c cleaning 9893 clauses out of 19798 with flag 72001/464828 83.60/44.63 c cleaning 9945 clauses out of 19905 with flag 82001/474828 85.13/45.48 c cleaning 9979 clauses out of 19960 with flag 92001/484828 86.82/46.31 c cleaning 9981 clauses out of 19981 with flag 102001/494828 88.78/47.38 c cleaning 9995 clauses out of 19999 with flag 112000/504827 90.51/48.30 c cleaning 9999 clauses out of 20006 with flag 122002/514829 92.24/49.15 c cleaning 9995 clauses out of 20006 with flag 132001/524828 94.17/50.10 c cleaning 10004 clauses out of 20012 with flag 142002/534829 96.10/51.11 c cleaning 9994 clauses out of 20006 with flag 152000/544827 97.63/51.93 c cleaning 10001 clauses out of 20013 with flag 162001/554828 99.17/52.77 c cleaning 10004 clauses out of 20011 with flag 172000/564827 101.04/53.71 c cleaning 9998 clauses out of 20007 with flag 182000/574827 102.55/54.59 c cleaning 9997 clauses out of 20009 with flag 192000/584827 105.28/55.92 c cleaning 9997 clauses out of 20013 with flag 202001/594828 107.61/57.16 c cleaning 10003 clauses out of 20018 with flag 212003/604830 109.25/58.07 c cleaning 9998 clauses out of 20014 with flag 222002/614829 110.98/58.99 c cleaning 10002 clauses out of 20015 with flag 232001/624828 112.88/59.95 c cleaning 9998 clauses out of 20013 with flag 242001/634828 114.61/60.89 c cleaning 10001 clauses out of 20014 with flag 252000/644827 116.46/61.89 c cleaning 10004 clauses out of 20013 with flag 262000/654827 118.37/62.86 c cleaning 9995 clauses out of 20010 with flag 272001/664828 120.30/63.83 c cleaning 9999 clauses out of 20014 with flag 282000/674827 122.00/64.80 c cleaning 9999 clauses out of 20015 with flag 292000/684827 124.06/65.86 c cleaning 10003 clauses out of 20017 with flag 302001/694828 125.97/66.84 c cleaning 9992 clauses out of 20013 with flag 312000/704827 127.68/67.77 c cleaning 10003 clauses out of 20023 with flag 322002/714829 129.59/68.71 c cleaning 9999 clauses out of 20018 with flag 332000/724827 131.44/69.76 c cleaning 9999 clauses out of 20020 with flag 342001/734828 133.14/70.61 c cleaning 10006 clauses out of 20021 with flag 352001/744828 134.44/71.39 c cleaning 9997 clauses out of 20014 with flag 362000/754827 135.94/72.18 c cleaning 10000 clauses out of 20017 with flag 372000/764827 137.57/73.10 c cleaning 10004 clauses out of 20018 with flag 382001/774828 139.26/73.97 c cleaning 10003 clauses out of 20013 with flag 392000/784827 141.15/74.91 c cleaning 10001 clauses out of 20011 with flag 402001/794828 143.06/75.99 c cleaning 9996 clauses out of 20009 with flag 412000/804827 145.26/77.10 c cleaning 10002 clauses out of 20013 with flag 422000/814827 146.56/77.89 c And the winner is CuttingPlanes 146.78/78.25 c Got one! Elapsed wall clock time (in seconds):78.118 146.78/78.25 o 80 147.48/78.66 c cleaning 11327 clauses out of 22657 with flag 5000/827473 148.57/79.29 c cleaning 8663 clauses out of 17331 with flag 11001/833474 150.04/80.00 c cleaning 7830 clauses out of 15668 with flag 18001/840474 151.45/80.87 c cleaning 7913 clauses out of 15838 with flag 26001/848474 153.14/81.72 c cleaning 8457 clauses out of 16924 with flag 35000/857473 155.02/82.72 c cleaning 9229 clauses out of 18467 with flag 45000/867473 156.53/83.56 c And the winner is CuttingPlanes 156.67/84.01 c Got one! Elapsed wall clock time (in seconds):83.886 156.67/84.01 o 79 157.43/84.45 c cleaning 11584 clauses out of 23177 with flag 5000/881412 158.62/85.14 c cleaning 8792 clauses out of 17593 with flag 11000/887412 159.92/85.83 c cleaning 7896 clauses out of 15802 with flag 18001/894413 161.40/86.65 c cleaning 7948 clauses out of 15905 with flag 26000/902412 163.07/87.57 c cleaning 8471 clauses out of 16957 with flag 35000/911412 165.08/88.62 c cleaning 9235 clauses out of 18486 with flag 45000/921412 166.97/89.63 c cleaning 9622 clauses out of 19252 with flag 55001/931413 168.65/90.59 c cleaning 9810 clauses out of 19629 with flag 65000/941412 170.53/91.57 c cleaning 9907 clauses out of 19820 with flag 75001/951413 172.53/92.65 c cleaning 9950 clauses out of 19913 with flag 85001/961413 174.22/93.58 c cleaning 9971 clauses out of 19962 with flag 95000/971412 175.89/94.49 c cleaning 9988 clauses out of 19992 with flag 105001/981413 177.75/95.41 c cleaning 9999 clauses out of 20004 with flag 115001/991413 179.54/96.41 c cleaning 9999 clauses out of 20004 with flag 125000/1001412 181.41/97.40 c cleaning 9995 clauses out of 20006 with flag 135001/1011413 183.28/98.46 c cleaning 9998 clauses out of 20010 with flag 145000/1021412 185.16/99.41 c cleaning 9995 clauses out of 20014 with flag 155002/1031414 187.35/100.61 c cleaning 10004 clauses out of 20018 with flag 165001/1041413 189.02/101.59 c cleaning 10002 clauses out of 20014 with flag 175001/1051413 190.91/102.54 c cleaning 10001 clauses out of 20012 with flag 185001/1061413 192.80/103.53 c cleaning 10002 clauses out of 20011 with flag 195001/1071413 194.60/104.55 c cleaning 9997 clauses out of 20009 with flag 205001/1081413 196.26/105.48 c cleaning 9999 clauses out of 20012 with flag 215001/1091413 198.53/106.69 c cleaning 9999 clauses out of 20012 with flag 225000/1101412 200.38/107.68 c cleaning 10000 clauses out of 20014 with flag 235001/1111413 202.15/108.63 c cleaning 9999 clauses out of 20014 with flag 245001/1121413 203.82/109.53 c cleaning 9999 clauses out of 20014 with flag 255000/1131412 205.49/110.45 c cleaning 10005 clauses out of 20016 with flag 265001/1141413 207.15/111.38 c cleaning 10000 clauses out of 20010 with flag 275000/1151412 208.94/112.39 c cleaning 10004 clauses out of 20011 with flag 285001/1161413 210.99/113.42 c cleaning 9999 clauses out of 20006 with flag 295000/1171412 212.86/114.44 c cleaning 10000 clauses out of 20008 with flag 305001/1181413 214.72/115.40 c cleaning 9995 clauses out of 20008 with flag 315001/1191413 216.27/116.38 c cleaning 9992 clauses out of 20013 with flag 325001/1201413 218.14/117.35 c cleaning 9998 clauses out of 20020 with flag 335000/1211412 220.00/118.33 c cleaning 10001 clauses out of 20023 with flag 345001/1221413 221.66/119.23 c cleaning 10002 clauses out of 20022 with flag 355001/1231413 223.43/120.27 c cleaning 10001 clauses out of 20020 with flag 365001/1241413 225.08/121.17 c cleaning 10002 clauses out of 20018 with flag 375000/1251412 226.75/122.08 c cleaning 10002 clauses out of 20016 with flag 385000/1261412 228.59/123.04 c cleaning 10005 clauses out of 20017 with flag 395003/1271415 230.55/124.12 c cleaning 9998 clauses out of 20010 with flag 405001/1281413 232.22/125.07 c cleaning 10000 clauses out of 20011 with flag 415000/1291412 234.28/126.13 c cleaning 10002 clauses out of 20011 with flag 425000/1301412 235.94/127.09 c cleaning 9999 clauses out of 20010 with flag 435001/1311413 237.89/128.19 c cleaning 9995 clauses out of 20011 with flag 445001/1321413 239.73/129.15 c cleaning 9999 clauses out of 20016 with flag 455001/1331413 241.58/130.18 c cleaning 10001 clauses out of 20016 with flag 465000/1341412 243.63/131.22 c cleaning 9996 clauses out of 20015 with flag 475000/1351412 245.36/132.27 c cleaning 9999 clauses out of 20019 with flag 485000/1361412 247.02/133.19 c cleaning 9999 clauses out of 20020 with flag 495000/1371412 248.87/134.15 c cleaning 10001 clauses out of 20021 with flag 505000/1381412 250.71/135.13 c cleaning 9998 clauses out of 20020 with flag 515000/1391412 252.44/136.19 c cleaning 10000 clauses out of 20022 with flag 525000/1401412 254.29/137.16 c cleaning 10002 clauses out of 20022 with flag 535000/1411412 256.12/138.16 c cleaning 10000 clauses out of 20020 with flag 545000/1421412 257.97/139.17 c cleaning 10009 clauses out of 20021 with flag 555001/1431413 259.92/140.28 c cleaning 9997 clauses out of 20012 with flag 565001/1441413 261.99/141.32 c cleaning 9996 clauses out of 20014 with flag 575000/1451412 263.83/142.36 c cleaning 9997 clauses out of 20018 with flag 585000/1461412 265.66/143.31 c cleaning 10005 clauses out of 20021 with flag 595000/1471412 267.58/144.41 c cleaning 10005 clauses out of 20017 with flag 605001/1481413 269.22/145.37 c cleaning 9999 clauses out of 20011 with flag 615000/1491412 271.46/146.53 c cleaning 9996 clauses out of 20013 with flag 625001/1501413 273.28/147.56 c cleaning 9998 clauses out of 20016 with flag 635000/1511412 275.19/148.70 c cleaning 10000 clauses out of 20018 with flag 645000/1521412 277.03/149.62 c cleaning 10002 clauses out of 20019 with flag 655001/1531413 278.65/150.56 c cleaning 10004 clauses out of 20017 with flag 665001/1541413 280.48/151.52 c cleaning 10001 clauses out of 20013 with flag 675001/1551413 282.41/152.64 c cleaning 9997 clauses out of 20011 with flag 685000/1561412 284.44/153.74 c cleaning 9999 clauses out of 20015 with flag 695001/1571413 286.27/154.73 c cleaning 10001 clauses out of 20015 with flag 705000/1581412 288.10/155.78 c cleaning 9998 clauses out of 20015 with flag 715001/1591413 290.21/156.92 c cleaning 9995 clauses out of 20016 with flag 725000/1601412 292.04/157.93 c cleaning 10003 clauses out of 20021 with flag 735000/1611412 293.85/158.96 c cleaning 10002 clauses out of 20018 with flag 745000/1621412 296.06/160.10 c cleaning 10001 clauses out of 20016 with flag 755000/1631412 297.94/161.22 c cleaning 9999 clauses out of 20015 with flag 765000/1641412 299.77/162.28 c cleaning 9998 clauses out of 20017 with flag 775001/1651413 301.99/163.46 c cleaning 10004 clauses out of 20018 with flag 785000/1661412 304.02/164.52 c cleaning 10003 clauses out of 20014 with flag 795000/1671412 306.33/165.84 c cleaning 9999 clauses out of 20012 with flag 805001/1681413 308.54/167.01 c cleaning 10000 clauses out of 20013 with flag 815001/1691413 311.17/168.40 c cleaning 9996 clauses out of 20012 with flag 825000/1701412 312.99/169.50 c cleaning 9993 clauses out of 20016 with flag 835000/1711412 315.24/170.75 c cleaning 10003 clauses out of 20023 with flag 845000/1721412 317.25/171.84 c cleaning 10004 clauses out of 20020 with flag 855000/1731412 319.26/172.91 c cleaning 9999 clauses out of 20016 with flag 865000/1741412 321.25/174.03 c cleaning 10000 clauses out of 20017 with flag 875000/1751412 323.35/175.23 c cleaning 10005 clauses out of 20017 with flag 885000/1761412 325.36/176.38 c cleaning 10002 clauses out of 20013 with flag 895001/1771413 327.36/177.47 c cleaning 10000 clauses out of 20010 with flag 905000/1781412 329.36/178.54 c cleaning 9999 clauses out of 20010 with flag 915000/1791412 331.24/179.66 c cleaning 9996 clauses out of 20012 with flag 925001/1801413 333.02/180.66 c cleaning 9999 clauses out of 20015 with flag 935000/1811412 334.64/181.59 c cleaning 9999 clauses out of 20016 with flag 945000/1821412 336.43/182.58 c cleaning 10003 clauses out of 20017 with flag 955000/1831412 338.31/183.69 c cleaning 9999 clauses out of 20014 with flag 965000/1841412 340.08/184.66 c cleaning 10006 clauses out of 20017 with flag 975002/1851414 341.88/185.64 c cleaning 9997 clauses out of 20009 with flag 985000/1861412 343.67/186.65 c cleaning 9995 clauses out of 20012 with flag 995000/1871412 345.53/187.79 c cleaning 10003 clauses out of 20018 with flag 1005001/1881413 347.54/188.84 c cleaning 10000 clauses out of 20014 with flag 1015000/1891412 349.54/189.91 c cleaning 10001 clauses out of 20014 with flag 1025000/1901412 351.33/190.95 c cleaning 10004 clauses out of 20014 with flag 1035001/1911413 353.60/192.29 c cleaning 10001 clauses out of 20009 with flag 1045000/1921412 356.00/193.57 c cleaning 9997 clauses out of 20008 with flag 1055000/1931412 358.19/194.72 c cleaning 9999 clauses out of 20011 with flag 1065000/1941412 360.37/195.94 c cleaning 10001 clauses out of 20012 with flag 1075000/1951412 362.41/197.19 c cleaning 9999 clauses out of 20012 with flag 1085001/1961413 364.20/198.19 c cleaning 9998 clauses out of 20012 with flag 1095000/1971412 366.18/199.21 c cleaning 10001 clauses out of 20015 with flag 1105001/1981413 367.98/200.28 c cleaning 9999 clauses out of 20016 with flag 1115003/1991415 370.02/201.49 c cleaning 10002 clauses out of 20014 with flag 1125000/2001412 372.02/202.55 c cleaning 9996 clauses out of 20013 with flag 1135001/2011413 373.82/203.57 c cleaning 9997 clauses out of 20016 with flag 1145000/2021412 375.62/204.60 c cleaning 10003 clauses out of 20019 with flag 1155000/2031412 377.86/205.81 c cleaning 9998 clauses out of 20016 with flag 1165000/2041412 379.66/206.87 c cleaning 10000 clauses out of 20019 with flag 1175001/2051413 381.43/207.85 c cleaning 10002 clauses out of 20019 with flag 1185001/2061413 383.42/208.94 c cleaning 10004 clauses out of 20017 with flag 1195001/2071413 385.44/210.17 c cleaning 9996 clauses out of 20012 with flag 1205000/2081412 387.42/211.28 c cleaning 10001 clauses out of 20016 with flag 1215000/2091412 389.41/212.36 c cleaning 9999 clauses out of 20015 with flag 1225000/2101412 391.39/213.42 c cleaning 10000 clauses out of 20017 with flag 1235001/2111413 393.42/214.61 c cleaning 9997 clauses out of 20016 with flag 1245000/2121412 395.37/215.72 c cleaning 9996 clauses out of 20019 with flag 1255000/2131412 397.35/216.80 c cleaning 10001 clauses out of 20023 with flag 1265000/2141412 399.14/217.89 c cleaning 10000 clauses out of 20022 with flag 1275000/2151412 401.37/219.10 c cleaning 10003 clauses out of 20022 with flag 1285000/2161412 403.13/220.14 c cleaning 10002 clauses out of 20020 with flag 1295001/2171413 405.12/221.20 c cleaning 9998 clauses out of 20018 with flag 1305001/2181413 406.91/222.29 c cleaning 10001 clauses out of 20020 with flag 1315001/2191413 409.13/223.50 c cleaning 9999 clauses out of 20018 with flag 1325000/2201412 410.90/224.55 c cleaning 10007 clauses out of 20020 with flag 1335001/2211413 412.88/225.61 c cleaning 9996 clauses out of 20012 with flag 1345000/2221412 414.85/226.72 c cleaning 10004 clauses out of 20017 with flag 1355001/2231413 416.85/227.99 c cleaning 10004 clauses out of 20012 with flag 1365000/2241412 418.83/229.06 c cleaning 10001 clauses out of 20009 with flag 1375001/2251413 420.99/230.22 c cleaning 10000 clauses out of 20008 with flag 1385001/2261413 422.75/231.29 c cleaning 9997 clauses out of 20008 with flag 1395001/2271413 425.14/232.61 c cleaning 9998 clauses out of 20011 with flag 1405001/2281413 427.12/233.78 c cleaning 10001 clauses out of 20013 with flag 1415001/2291413 429.46/235.01 c cleaning 9999 clauses out of 20012 with flag 1425001/2301413 431.42/236.17 c cleaning 9999 clauses out of 20013 with flag 1435001/2311413 433.61/237.43 c cleaning 9999 clauses out of 20013 with flag 1445000/2321412 435.56/238.53 c cleaning 9994 clauses out of 20014 with flag 1455000/2331412 437.32/239.58 c cleaning 10002 clauses out of 20021 with flag 1465001/2341413 439.28/240.65 c cleaning 10003 clauses out of 20018 with flag 1475000/2351412 441.30/241.85 c cleaning 10001 clauses out of 20016 with flag 1485001/2361413 443.27/242.92 c cleaning 10001 clauses out of 20014 with flag 1495000/2371412 445.01/243.98 c cleaning 10000 clauses out of 20014 with flag 1505001/2381413 446.96/245.04 c cleaning 10000 clauses out of 20013 with flag 1515000/2391412 449.14/246.31 c cleaning 9999 clauses out of 20013 with flag 1525000/2401412 451.32/247.54 c cleaning 10002 clauses out of 20014 with flag 1535000/2411412 452.64/248.33 c And the winner is CuttingPlanes 452.64/248.33 c Got one! Elapsed wall clock time (in seconds):248.208 452.64/248.33 o 78 453.69/248.83 c cleaning 10295 clauses out of 20596 with flag 5001/2421996 455.04/249.64 c cleaning 8147 clauses out of 16301 with flag 11001/2427996 456.60/250.68 c cleaning 7572 clauses out of 15154 with flag 18001/2434996 458.36/251.70 c cleaning 7787 clauses out of 15581 with flag 26000/2442995 460.32/252.74 c cleaning 8392 clauses out of 16795 with flag 35001/2451996 462.46/253.92 c cleaning 9195 clauses out of 18404 with flag 45002/2461997 464.65/255.26 c cleaning 9600 clauses out of 19207 with flag 55000/2471995 466.80/256.40 c cleaning 9799 clauses out of 19607 with flag 65000/2481995 468.94/257.60 c cleaning 9900 clauses out of 19808 with flag 75000/2491995 470.90/258.73 c cleaning 9946 clauses out of 19909 with flag 85001/2501996 473.49/260.22 c cleaning 9975 clauses out of 19962 with flag 95000/2511995 475.64/261.48 c cleaning 9990 clauses out of 19988 with flag 105001/2521996 478.19/262.81 c cleaning 9995 clauses out of 19997 with flag 115000/2531995 480.14/263.93 c cleaning 9999 clauses out of 20002 with flag 125000/2541995 482.32/265.26 c cleaning 9994 clauses out of 20004 with flag 135001/2551996 484.65/266.51 c cleaning 9996 clauses out of 20009 with flag 145000/2561995 487.00/267.81 c cleaning 9999 clauses out of 20013 with flag 155000/2571995 489.16/269.04 c cleaning 10001 clauses out of 20014 with flag 165000/2581995 491.53/270.45 c cleaning 10004 clauses out of 20013 with flag 175000/2591995 493.45/271.58 c cleaning 9999 clauses out of 20009 with flag 185000/2601995 495.80/272.83 c cleaning 9998 clauses out of 20010 with flag 195000/2611995 496.75/273.48 c And the winner is CuttingPlanes 496.94/273.64 c Got one! Elapsed wall clock time (in seconds):273.513 496.94/273.64 o 77 497.26/273.83 c cleaning 7776 clauses out of 15563 with flag 2000/2617546 498.79/274.84 c cleaning 6890 clauses out of 13788 with flag 8001/2623547 500.32/275.78 c cleaning 6942 clauses out of 13897 with flag 15000/2630546 502.06/276.71 c cleaning 7472 clauses out of 14955 with flag 23000/2638546 503.78/277.78 c cleaning 8235 clauses out of 16483 with flag 32000/2647546 506.10/279.14 c cleaning 9119 clauses out of 18249 with flag 42001/2657547 508.02/280.27 c cleaning 9562 clauses out of 19131 with flag 52002/2667548 510.15/281.40 c cleaning 9781 clauses out of 19568 with flag 62001/2677547 512.31/282.65 c cleaning 9888 clauses out of 19788 with flag 72002/2687548 514.64/284.02 c cleaning 9943 clauses out of 19898 with flag 82000/2697546 516.77/285.23 c cleaning 9974 clauses out of 19956 with flag 92001/2707547 518.70/286.39 c cleaning 9986 clauses out of 19981 with flag 102000/2717546 520.84/287.50 c cleaning 9989 clauses out of 19995 with flag 112000/2727546 522.78/288.78 c cleaning 9999 clauses out of 20007 with flag 122001/2737547 524.89/289.95 c cleaning 9997 clauses out of 20008 with flag 132001/2747547 527.23/291.20 c cleaning 9999 clauses out of 20010 with flag 142000/2757546 529.77/292.64 c cleaning 9997 clauses out of 20011 with flag 152000/2767546 531.70/293.88 c cleaning 9999 clauses out of 20015 with flag 162001/2777547 533.62/294.96 c cleaning 10001 clauses out of 20015 with flag 172000/2787546 535.54/296.06 c cleaning 10001 clauses out of 20014 with flag 182000/2797546 537.47/297.13 c cleaning 9999 clauses out of 20013 with flag 192000/2807546 539.77/298.52 c cleaning 9999 clauses out of 20014 with flag 202000/2817546 541.69/299.66 c cleaning 9998 clauses out of 20015 with flag 212000/2827546 543.63/300.72 c cleaning 9999 clauses out of 20017 with flag 222000/2837546 545.55/301.81 c cleaning 10001 clauses out of 20018 with flag 232000/2847546 547.48/303.08 c cleaning 9996 clauses out of 20017 with flag 242000/2857546 549.39/304.19 c cleaning 10002 clauses out of 20021 with flag 252000/2867546 551.52/305.31 c cleaning 10004 clauses out of 20020 with flag 262001/2877547 553.66/306.59 c cleaning 10005 clauses out of 20015 with flag 272000/2887546 556.40/308.18 c cleaning 9998 clauses out of 20010 with flag 282000/2897546 559.34/309.72 c cleaning 9998 clauses out of 20012 with flag 292000/2907546 561.66/311.04 c cleaning 10000 clauses out of 20014 with flag 302000/2917546 563.79/312.27 c cleaning 9993 clauses out of 20014 with flag 312000/2927546 566.29/313.70 c cleaning 10002 clauses out of 20021 with flag 322000/2937546 568.60/315.09 c cleaning 10002 clauses out of 20019 with flag 332000/2947546 570.90/316.35 c cleaning 9997 clauses out of 20018 with flag 342001/2957547 572.81/317.46 c cleaning 10003 clauses out of 20020 with flag 352000/2967546 575.11/318.81 c cleaning 10000 clauses out of 20018 with flag 362001/2977547 577.02/319.93 c cleaning 10006 clauses out of 20017 with flag 372000/2987546 578.94/321.02 c cleaning 9997 clauses out of 20011 with flag 382000/2997546 580.85/322.18 c cleaning 10001 clauses out of 20014 with flag 392000/3007546 583.18/323.52 c cleaning 10005 clauses out of 20014 with flag 402001/3017547 585.08/324.65 c cleaning 9999 clauses out of 20009 with flag 412001/3027547 587.39/325.93 c cleaning 10000 clauses out of 20009 with flag 422000/3037546 589.51/327.12 c cleaning 10000 clauses out of 20009 with flag 432000/3047546 591.81/328.56 c cleaning 9996 clauses out of 20010 with flag 442001/3057547 593.91/329.76 c cleaning 9997 clauses out of 20014 with flag 452001/3067547 596.01/330.97 c cleaning 9995 clauses out of 20016 with flag 462000/3077546 598.35/332.22 c cleaning 10004 clauses out of 20022 with flag 472001/3087547 600.64/333.67 c cleaning 9999 clauses out of 20018 with flag 482001/3097547 602.96/334.95 c cleaning 10006 clauses out of 20019 with flag 492001/3107547 604.85/336.06 c cleaning 9997 clauses out of 20012 with flag 502000/3117546 607.15/337.30 c cleaning 9998 clauses out of 20015 with flag 512000/3127546 609.25/338.65 c cleaning 10005 clauses out of 20018 with flag 522001/3137547 611.39/339.81 c cleaning 9998 clauses out of 20013 with flag 532001/3147547 613.29/340.91 c cleaning 10003 clauses out of 20015 with flag 542001/3157547 615.21/342.05 c cleaning 9998 clauses out of 20012 with flag 552001/3167547 617.31/343.38 c cleaning 9996 clauses out of 20013 with flag 562000/3177546 619.22/344.50 c cleaning 9999 clauses out of 20017 with flag 572000/3187546 621.30/345.68 c cleaning 9999 clauses out of 20019 with flag 582001/3197547 623.39/346.82 c cleaning 10002 clauses out of 20019 with flag 592000/3207546 625.52/348.13 c cleaning 10004 clauses out of 20017 with flag 602000/3217546 627.63/349.38 c cleaning 9999 clauses out of 20014 with flag 612001/3227547 629.71/350.52 c cleaning 10001 clauses out of 20015 with flag 622001/3237547 631.61/351.63 c cleaning 10000 clauses out of 20014 with flag 632001/3247547 633.71/352.97 c cleaning 9995 clauses out of 20013 with flag 642000/3257546 635.57/354.09 c cleaning 9999 clauses out of 20018 with flag 652000/3267546 637.48/355.19 c cleaning 10002 clauses out of 20019 with flag 662000/3277546 639.78/356.42 c cleaning 10000 clauses out of 20018 with flag 672001/3287547 642.01/357.80 c cleaning 10001 clauses out of 20017 with flag 682000/3297546 643.91/358.96 c cleaning 10003 clauses out of 20016 with flag 692000/3307546 646.00/360.11 c cleaning 10000 clauses out of 20014 with flag 702001/3317547 647.89/361.28 c cleaning 9998 clauses out of 20014 with flag 712001/3327547 650.19/362.66 c cleaning 9999 clauses out of 20015 with flag 722000/3337546 652.27/363.86 c cleaning 10000 clauses out of 20016 with flag 732000/3347546 654.36/365.09 c cleaning 10002 clauses out of 20016 with flag 742000/3357546 656.45/366.27 c cleaning 10002 clauses out of 20014 with flag 752000/3367546 658.71/367.66 c cleaning 9996 clauses out of 20012 with flag 762000/3377546 660.77/368.85 c cleaning 10002 clauses out of 20017 with flag 772001/3387547 662.86/370.05 c cleaning 9998 clauses out of 20014 with flag 782000/3397546 664.71/371.18 c cleaning 9997 clauses out of 20016 with flag 792000/3407546 666.97/372.56 c cleaning 10002 clauses out of 20020 with flag 802001/3417547 669.06/373.78 c cleaning 10000 clauses out of 20017 with flag 812000/3427546 671.11/374.97 c cleaning 10002 clauses out of 20017 with flag 822000/3437546 673.41/376.22 c cleaning 9993 clauses out of 20015 with flag 832000/3447546 675.65/377.63 c cleaning 10001 clauses out of 20024 with flag 842002/3457548 677.75/378.84 c cleaning 10002 clauses out of 20021 with flag 852000/3467546 679.84/380.08 c cleaning 9999 clauses out of 20020 with flag 862001/3477547 681.89/381.29 c cleaning 9999 clauses out of 20020 with flag 872000/3487546 684.16/382.70 c cleaning 10001 clauses out of 20021 with flag 882000/3497546 686.45/384.00 c cleaning 10003 clauses out of 20023 with flag 892003/3507549 688.52/385.17 c cleaning 10003 clauses out of 20018 with flag 902001/3517547 690.38/386.28 c cleaning 10001 clauses out of 20014 with flag 912000/3527546 692.85/387.71 c cleaning 10002 clauses out of 20013 with flag 922000/3537546 694.71/388.86 c cleaning 10000 clauses out of 20011 with flag 932000/3547546 696.99/390.12 c cleaning 10002 clauses out of 20012 with flag 942001/3557547 698.83/391.29 c cleaning 9996 clauses out of 20009 with flag 952000/3567546 701.09/392.66 c cleaning 10000 clauses out of 20013 with flag 962000/3577546 703.15/393.80 c cleaning 10001 clauses out of 20013 with flag 972000/3587546 705.42/395.16 c cleaning 9997 clauses out of 20012 with flag 982000/3597546 708.08/396.62 c cleaning 9999 clauses out of 20016 with flag 992001/3607547 710.76/398.23 c cleaning 10002 clauses out of 20016 with flag 1002000/3617546 713.41/399.71 c cleaning 9997 clauses out of 20016 with flag 1012002/3627548 715.26/400.89 c cleaning 10001 clauses out of 20017 with flag 1022000/3637546 717.31/402.06 c cleaning 9995 clauses out of 20017 with flag 1032001/3647547 719.56/403.47 c cleaning 10005 clauses out of 20021 with flag 1042000/3657546 721.65/404.65 c cleaning 9997 clauses out of 20016 with flag 1052000/3667546 723.72/405.85 c cleaning 10002 clauses out of 20020 with flag 1062001/3677547 725.58/406.96 c cleaning 9997 clauses out of 20017 with flag 1072000/3687546 727.81/408.31 c cleaning 10006 clauses out of 20021 with flag 1082001/3697547 729.88/409.59 c cleaning 10002 clauses out of 20014 with flag 1092000/3707546 732.16/410.82 c cleaning 10001 clauses out of 20013 with flag 1102001/3717547 734.41/412.15 c cleaning 9997 clauses out of 20011 with flag 1112000/3727546 736.86/413.68 c cleaning 10004 clauses out of 20014 with flag 1122000/3737546 739.33/415.01 c cleaning 9998 clauses out of 20011 with flag 1132001/3747547 741.38/416.28 c cleaning 10000 clauses out of 20013 with flag 1142001/3757547 743.63/417.58 c cleaning 9996 clauses out of 20012 with flag 1152000/3767546 746.26/419.12 c cleaning 9998 clauses out of 20017 with flag 1162001/3777547 748.51/420.44 c cleaning 10001 clauses out of 20021 with flag 1172003/3787549 750.56/421.67 c cleaning 10003 clauses out of 20017 with flag 1182000/3797546 752.62/422.89 c cleaning 10002 clauses out of 20014 with flag 1192000/3807546 755.03/424.38 c cleaning 10000 clauses out of 20012 with flag 1202000/3817546 757.10/425.53 c cleaning 10000 clauses out of 20013 with flag 1212001/3827547 758.95/426.65 c cleaning 9998 clauses out of 20012 with flag 1222000/3837546 761.01/427.88 c cleaning 9998 clauses out of 20015 with flag 1232001/3847547 763.39/429.30 c cleaning 9996 clauses out of 20016 with flag 1242000/3857546 765.45/430.53 c cleaning 10002 clauses out of 20020 with flag 1252000/3867546 767.90/431.90 c cleaning 10002 clauses out of 20018 with flag 1262000/3877546 770.72/433.54 c cleaning 10003 clauses out of 20017 with flag 1272001/3887547 773.14/435.09 c cleaning 10001 clauses out of 20014 with flag 1282001/3897547 775.39/436.35 c cleaning 9998 clauses out of 20013 with flag 1292001/3907547 777.63/437.67 c cleaning 10002 clauses out of 20015 with flag 1302001/3917547 780.06/439.02 c cleaning 10001 clauses out of 20015 with flag 1312003/3927549 782.46/440.59 c cleaning 9994 clauses out of 20011 with flag 1322000/3937546 784.91/441.95 c cleaning 10001 clauses out of 20017 with flag 1332000/3947546 786.76/443.08 c cleaning 9997 clauses out of 20016 with flag 1342000/3957546 789.40/444.51 c cleaning 10004 clauses out of 20019 with flag 1352000/3967546 791.79/446.03 c cleaning 10000 clauses out of 20016 with flag 1362001/3977547 793.83/447.26 c cleaning 10002 clauses out of 20017 with flag 1372002/3987548 796.07/448.52 c cleaning 10000 clauses out of 20013 with flag 1382000/3997546 798.32/449.86 c cleaning 10001 clauses out of 20015 with flag 1392002/4007548 800.91/451.48 c cleaning 9997 clauses out of 20012 with flag 1402000/4017546 803.53/452.91 c cleaning 10001 clauses out of 20016 with flag 1412001/4027547 805.79/454.26 c cleaning 10001 clauses out of 20015 with flag 1422001/4037547 808.01/455.59 c cleaning 9996 clauses out of 20013 with flag 1432000/4047546 810.58/457.17 c cleaning 10003 clauses out of 20020 with flag 1442003/4057549 813.01/458.53 c cleaning 10002 clauses out of 20014 with flag 1452000/4067546 815.25/459.90 c cleaning 9999 clauses out of 20012 with flag 1462000/4077546 817.66/461.28 c cleaning 10000 clauses out of 20013 with flag 1472000/4087546 820.24/462.87 c cleaning 9999 clauses out of 20014 with flag 1482001/4097547 822.85/464.36 c cleaning 9998 clauses out of 20015 with flag 1492001/4107547 825.24/465.70 c cleaning 9997 clauses out of 20016 with flag 1502000/4117546 827.45/467.05 c cleaning 10005 clauses out of 20021 with flag 1512002/4127548 830.04/468.64 c cleaning 10000 clauses out of 20015 with flag 1522001/4137547 832.46/470.04 c cleaning 10003 clauses out of 20020 with flag 1532006/4147552 834.91/471.42 c cleaning 10002 clauses out of 20011 with flag 1542000/4157546 837.31/472.87 c cleaning 9998 clauses out of 20009 with flag 1552000/4167546 840.06/474.59 c cleaning 9998 clauses out of 20012 with flag 1562001/4177547 842.46/475.93 c cleaning 10003 clauses out of 20015 with flag 1572002/4187548 844.48/477.18 c cleaning 10003 clauses out of 20010 with flag 1582000/4197546 846.69/478.46 c cleaning 9994 clauses out of 20007 with flag 1592000/4207546 849.05/479.95 c cleaning 9999 clauses out of 20014 with flag 1602001/4217547 851.25/481.21 c cleaning 9996 clauses out of 20014 with flag 1612000/4227546 853.24/482.45 c cleaning 10001 clauses out of 20018 with flag 1622000/4237546 855.44/483.75 c cleaning 9996 clauses out of 20017 with flag 1632000/4247546 857.97/485.31 c cleaning 9998 clauses out of 20021 with flag 1642000/4257546 860.19/486.61 c cleaning 10006 clauses out of 20023 with flag 1652000/4267546 862.22/487.86 c cleaning 9997 clauses out of 20017 with flag 1662000/4277546 864.40/489.15 c cleaning 9999 clauses out of 20021 with flag 1672001/4287547 866.79/490.68 c cleaning 10000 clauses out of 20025 with flag 1682004/4297550 869.00/491.99 c cleaning 10002 clauses out of 20022 with flag 1692001/4307547 871.42/493.32 c cleaning 10005 clauses out of 20020 with flag 1702001/4317547 873.63/494.66 c cleaning 9998 clauses out of 20014 with flag 1712000/4327546 876.21/496.21 c cleaning 9999 clauses out of 20018 with flag 1722002/4337548 878.41/497.57 c cleaning 9997 clauses out of 20017 with flag 1732000/4347546 880.81/498.91 c cleaning 10002 clauses out of 20020 with flag 1742000/4357546 883.02/500.24 c cleaning 10000 clauses out of 20018 with flag 1752000/4367546 885.38/501.77 c cleaning 9996 clauses out of 20019 with flag 1762001/4377547 887.55/503.08 c cleaning 10005 clauses out of 20022 with flag 1772000/4387546 890.15/504.55 c cleaning 10002 clauses out of 20018 with flag 1782001/4397547 892.95/506.12 c cleaning 9994 clauses out of 20015 with flag 1792000/4407546 895.87/507.96 c cleaning 10002 clauses out of 20021 with flag 1802000/4417546 898.28/509.35 c cleaning 10000 clauses out of 20020 with flag 1812001/4427547 900.69/510.74 c cleaning 10000 clauses out of 20020 with flag 1822001/4437547 903.11/512.10 c cleaning 10002 clauses out of 20019 with flag 1832000/4447546 905.44/513.65 c cleaning 9997 clauses out of 20018 with flag 1842001/4457547 907.80/515.06 c cleaning 10003 clauses out of 20020 with flag 1852000/4467546 910.40/516.50 c cleaning 9998 clauses out of 20017 with flag 1862000/4477546 912.81/517.94 c cleaning 10001 clauses out of 20019 with flag 1872000/4487546 915.53/519.69 c cleaning 10005 clauses out of 20019 with flag 1882001/4497547 918.32/521.22 c cleaning 10001 clauses out of 20014 with flag 1892001/4507547 920.52/522.59 c cleaning 9998 clauses out of 20013 with flag 1902001/4517547 922.90/523.98 c cleaning 9998 clauses out of 20015 with flag 1912001/4527547 924.10/524.82 c cleaning 0 clauses out of 7153 with flag 0/7153 926.50/526.10 c cleaning 10001 clauses out of 20017 with flag 1922001/4537547 928.82/527.47 c cleaning 9998 clauses out of 20016 with flag 1932001/4547547 931.41/528.90 c cleaning 9997 clauses out of 20017 with flag 1942000/4557546 933.96/530.57 c cleaning 10001 clauses out of 20021 with flag 1952001/4567547 936.56/532.01 c cleaning 9995 clauses out of 20020 with flag 1962001/4577547 939.15/533.54 c cleaning 10005 clauses out of 20025 with flag 1972001/4587547 941.54/534.95 c cleaning 10001 clauses out of 20020 with flag 1982001/4597547 944.30/536.63 c cleaning 10006 clauses out of 20018 with flag 1992000/4607546 946.70/538.06 c cleaning 10004 clauses out of 20012 with flag 2002000/4617546 948.90/539.38 c cleaning 9998 clauses out of 20008 with flag 2012000/4627546 951.52/540.80 c cleaning 9998 clauses out of 20010 with flag 2022000/4637546 954.03/542.41 c cleaning 10004 clauses out of 20013 with flag 2032001/4647547 956.22/543.76 c cleaning 9994 clauses out of 20008 with flag 2042000/4657546 958.39/545.04 c cleaning 10001 clauses out of 20014 with flag 2052000/4667546 960.37/546.28 c cleaning 9998 clauses out of 20013 with flag 2062000/4677546 962.70/547.77 c cleaning 10003 clauses out of 20016 with flag 2072001/4687547 964.70/548.98 c cleaning 10002 clauses out of 20013 with flag 2082001/4697547 967.07/550.37 c cleaning 10001 clauses out of 20011 with flag 2092001/4707547 969.46/551.79 c cleaning 9997 clauses out of 20010 with flag 2102001/4717547 972.18/553.47 c cleaning 10000 clauses out of 20013 with flag 2112001/4727547 974.78/554.90 c cleaning 10004 clauses out of 20013 with flag 2122001/4737547 976.97/556.20 c cleaning 9996 clauses out of 20009 with flag 2132001/4747547 979.15/557.60 c cleaning 9997 clauses out of 20012 with flag 2142000/4757546 982.06/559.33 c cleaning 10002 clauses out of 20016 with flag 2152001/4767547 984.65/560.89 c cleaning 9999 clauses out of 20014 with flag 2162001/4777547 987.40/562.41 c cleaning 9997 clauses out of 20015 with flag 2172001/4787547 989.80/563.88 c cleaning 9999 clauses out of 20018 with flag 2182001/4797547 992.51/565.56 c cleaning 10002 clauses out of 20019 with flag 2192001/4807547 994.91/566.94 c cleaning 9997 clauses out of 20018 with flag 2202002/4817548 997.28/568.31 c cleaning 9996 clauses out of 20021 with flag 2212002/4827548 999.66/569.71 c cleaning 10005 clauses out of 20023 with flag 2222000/4837546 1002.15/571.35 c cleaning 10003 clauses out of 20019 with flag 2232001/4847547 1004.29/572.66 c cleaning 10001 clauses out of 20016 with flag 2242001/4857547 1006.67/574.02 c cleaning 9993 clauses out of 20015 with flag 2252001/4867547 1009.02/575.46 c cleaning 10003 clauses out of 20021 with flag 2262000/4877546 1011.65/577.13 c cleaning 9997 clauses out of 20018 with flag 2272000/4887546 1014.04/578.59 c cleaning 10006 clauses out of 20021 with flag 2282000/4897546 1016.78/580.10 c cleaning 10001 clauses out of 20015 with flag 2292000/4907546 1019.15/581.54 c cleaning 9998 clauses out of 20015 with flag 2302001/4917547 1022.00/583.37 c cleaning 10002 clauses out of 20017 with flag 2312001/4927547 1024.56/584.84 c cleaning 10000 clauses out of 20014 with flag 2322000/4937546 1027.33/586.40 c cleaning 9997 clauses out of 20016 with flag 2332002/4947548 1029.90/587.95 c cleaning 9998 clauses out of 20017 with flag 2342000/4957546 1032.75/589.73 c cleaning 9997 clauses out of 20019 with flag 2352000/4967546 1035.34/591.25 c cleaning 10006 clauses out of 20023 with flag 2362001/4977547 1038.09/592.81 c cleaning 9997 clauses out of 20016 with flag 2372000/4987546 1040.62/594.31 c cleaning 9998 clauses out of 20019 with flag 2382000/4997546 1043.32/596.00 c cleaning 10000 clauses out of 20021 with flag 2392000/5007546 1045.69/597.44 c cleaning 10001 clauses out of 20021 with flag 2402000/5017546 1048.05/598.87 c cleaning 9995 clauses out of 20020 with flag 2412000/5027546 1050.60/600.34 c cleaning 10003 clauses out of 20025 with flag 2422000/5037546 1053.28/602.02 c cleaning 10000 clauses out of 20022 with flag 2432000/5047546 1055.43/603.35 c cleaning 10005 clauses out of 20023 with flag 2442001/5057547 1057.80/604.77 c cleaning 10002 clauses out of 20017 with flag 2452000/5067546 1060.19/606.13 c cleaning 10001 clauses out of 20016 with flag 2462001/5077547 1063.05/607.96 c cleaning 10001 clauses out of 20014 with flag 2472000/5087546 1065.43/609.38 c cleaning 9996 clauses out of 20013 with flag 2482000/5097546 1068.19/610.97 c cleaning 10004 clauses out of 20017 with flag 2492000/5107546 1070.74/612.45 c cleaning 9998 clauses out of 20014 with flag 2502001/5117547 1073.21/614.04 c cleaning 10004 clauses out of 20016 with flag 2512001/5127547 1075.57/615.42 c cleaning 9998 clauses out of 20012 with flag 2522001/5137547 1077.93/616.81 c cleaning 9993 clauses out of 20014 with flag 2532001/5147547 1080.10/618.13 c cleaning 10001 clauses out of 20020 with flag 2542000/5157546 1082.75/619.84 c cleaning 9995 clauses out of 20019 with flag 2552000/5167546 1085.11/621.26 c cleaning 9999 clauses out of 20024 with flag 2562000/5177546 1087.66/622.75 c cleaning 10003 clauses out of 20025 with flag 2572000/5187546 1090.01/624.13 c cleaning 10002 clauses out of 20023 with flag 2582001/5197547 1092.55/625.75 c cleaning 9998 clauses out of 20020 with flag 2592000/5207546 1095.12/627.27 c cleaning 10005 clauses out of 20023 with flag 2602001/5217547 1097.63/628.73 c cleaning 10000 clauses out of 20017 with flag 2612000/5227546 1099.80/630.05 c cleaning 9999 clauses out of 20018 with flag 2622001/5237547 1102.26/631.65 c cleaning 9998 clauses out of 20019 with flag 2632001/5247547 1104.41/632.96 c cleaning 10006 clauses out of 20021 with flag 2642001/5257547 1106.76/634.31 c cleaning 9999 clauses out of 20014 with flag 2652000/5267546 1108.92/635.68 c cleaning 10001 clauses out of 20015 with flag 2662000/5277546 1111.78/637.47 c cleaning 9994 clauses out of 20014 with flag 2672000/5287546 1114.51/639.03 c cleaning 10006 clauses out of 20022 with flag 2682002/5297548 1117.05/640.56 c cleaning 10000 clauses out of 20016 with flag 2692002/5307548 1120.02/642.23 c cleaning 9995 clauses out of 20014 with flag 2702000/5317546 1122.68/643.96 c cleaning 10001 clauses out of 20019 with flag 2712000/5327546 1125.00/645.35 c cleaning 9994 clauses out of 20018 with flag 2722000/5337546 1127.36/646.75 c cleaning 10004 clauses out of 20024 with flag 2732000/5347546 1129.70/648.14 c cleaning 10000 clauses out of 20020 with flag 2742000/5357546 1132.56/649.93 c cleaning 9998 clauses out of 20020 with flag 2752000/5367546 1134.89/651.37 c cleaning 10002 clauses out of 20022 with flag 2762000/5377546 1137.46/652.81 c cleaning 10000 clauses out of 20021 with flag 2772001/5387547 1139.80/654.22 c cleaning 9998 clauses out of 20020 with flag 2782000/5397546 1142.66/656.00 c cleaning 10008 clauses out of 20023 with flag 2792001/5407547 1145.00/657.40 c cleaning 9999 clauses out of 20014 with flag 2802000/5417546 1147.38/658.83 c cleaning 9996 clauses out of 20015 with flag 2812000/5427546 1149.53/660.20 c cleaning 9996 clauses out of 20019 with flag 2822000/5437546 1152.19/661.89 c cleaning 9999 clauses out of 20023 with flag 2832000/5447546 1154.33/663.19 c cleaning 10003 clauses out of 20025 with flag 2842001/5457547 1156.86/664.67 c cleaning 10001 clauses out of 20021 with flag 2852000/5467546 1159.41/666.17 c cleaning 10002 clauses out of 20020 with flag 2862000/5477546 1162.22/667.91 c cleaning 10003 clauses out of 20019 with flag 2872001/5487547 1164.72/669.40 c cleaning 10000 clauses out of 20017 with flag 2882002/5497548 1167.06/670.86 c cleaning 9996 clauses out of 20015 with flag 2892000/5507546 1169.60/672.38 c cleaning 10000 clauses out of 20020 with flag 2902001/5517547 1172.46/674.13 c cleaning 9996 clauses out of 20019 with flag 2912000/5527546 1175.36/675.89 c cleaning 10003 clauses out of 20024 with flag 2922001/5537547 1178.11/677.44 c cleaning 9997 clauses out of 20021 with flag 2932001/5547547 1181.44/679.33 c cleaning 10002 clauses out of 20023 with flag 2942000/5557546 1185.10/681.54 c cleaning 10001 clauses out of 20022 with flag 2952001/5567547 1187.62/683.10 c cleaning 10003 clauses out of 20021 with flag 2962001/5577547 1190.53/684.73 c cleaning 10001 clauses out of 20018 with flag 2972001/5587547 1193.25/686.38 c cleaning 9997 clauses out of 20016 with flag 2982000/5597546 1195.84/688.06 c cleaning 10004 clauses out of 20019 with flag 2992000/5607546 1197.97/689.39 c cleaning 10001 clauses out of 20016 with flag 3002001/5617547 1200.50/690.84 c cleaning 10003 clauses out of 20014 with flag 3012000/5627546 1202.63/692.18 c cleaning 10000 clauses out of 20012 with flag 3022001/5637547 1205.24/693.84 c cleaning 10000 clauses out of 20011 with flag 3032000/5647546 1207.60/695.24 c cleaning 9997 clauses out of 20011 with flag 3042000/5657546 1209.91/696.62 c cleaning 9995 clauses out of 20014 with flag 3052000/5667546 1212.23/698.06 c cleaning 10001 clauses out of 20019 with flag 3062000/5677546 1214.82/699.78 c cleaning 10000 clauses out of 20018 with flag 3072000/5687546 1217.11/701.11 c cleaning 10004 clauses out of 20019 with flag 3082001/5697547 1219.20/702.47 c cleaning 10002 clauses out of 20015 with flag 3092001/5707547 1221.49/703.90 c cleaning 9999 clauses out of 20013 with flag 3102001/5717547 1224.24/705.63 c cleaning 9997 clauses out of 20013 with flag 3112000/5727546 1226.56/707.01 c cleaning 10006 clauses out of 20018 with flag 3122002/5737548 1228.88/708.46 c cleaning 10001 clauses out of 20011 with flag 3132001/5747547 1231.17/709.82 c cleaning 9997 clauses out of 20009 with flag 3142000/5757546 1233.73/711.58 c cleaning 10000 clauses out of 20012 with flag 3152000/5767546 1236.22/713.07 c cleaning 9995 clauses out of 20012 with flag 3162000/5777546 1238.74/714.54 c cleaning 10004 clauses out of 20018 with flag 3172001/5787547 1241.26/716.01 c cleaning 9998 clauses out of 20017 with flag 3182004/5797550 1243.64/717.69 c cleaning 10003 clauses out of 20017 with flag 3192002/5807548 1245.97/719.08 c cleaning 9995 clauses out of 20013 with flag 3202001/5817547 1248.31/720.46 c cleaning 10003 clauses out of 20017 with flag 3212000/5827546 1250.59/721.82 c cleaning 9997 clauses out of 20014 with flag 3222000/5837546 1253.14/723.52 c cleaning 10005 clauses out of 20017 with flag 3232000/5847546 1255.44/724.92 c cleaning 9999 clauses out of 20013 with flag 3242001/5857547 1257.75/726.39 c cleaning 9997 clauses out of 20013 with flag 3252000/5867546 1260.25/727.86 c cleaning 10002 clauses out of 20016 with flag 3262000/5877546 1263.01/729.69 c cleaning 10001 clauses out of 20015 with flag 3272001/5887547 1265.49/731.16 c cleaning 9995 clauses out of 20013 with flag 3282000/5897546 1267.79/732.54 c cleaning 10001 clauses out of 20019 with flag 3292001/5907547 1270.09/733.92 c cleaning 10000 clauses out of 20018 with flag 3302001/5917547 1272.85/735.72 c cleaning 9998 clauses out of 20018 with flag 3312001/5927547 1275.14/737.18 c cleaning 9999 clauses out of 20019 with flag 3322000/5937546 1277.64/738.63 c cleaning 10000 clauses out of 20020 with flag 3332000/5947546 1279.94/740.07 c cleaning 10003 clauses out of 20021 with flag 3342001/5957547 1282.66/741.83 c cleaning 9998 clauses out of 20018 with flag 3352001/5967547 1284.95/743.24 c cleaning 9998 clauses out of 20019 with flag 3362000/5977546 1287.24/744.65 c cleaning 10000 clauses out of 20021 with flag 3372000/5987546 1289.55/746.03 c cleaning 9999 clauses out of 20021 with flag 3382000/5997546 1292.11/747.72 c cleaning 9999 clauses out of 20023 with flag 3392001/6007547 1294.45/749.12 c cleaning 9997 clauses out of 20023 with flag 3402000/6017546 1296.54/750.48 c cleaning 10000 clauses out of 20027 with flag 3412001/6027547 1298.85/751.85 c cleaning 10002 clauses out of 20026 with flag 3422000/6037546 1301.31/753.45 c cleaning 10006 clauses out of 20024 with flag 3432000/6047546 1303.81/754.90 c cleaning 10002 clauses out of 20018 with flag 3442000/6057546 1305.92/756.28 c cleaning 10002 clauses out of 20017 with flag 3452001/6067547 1308.26/757.69 c cleaning 9997 clauses out of 20014 with flag 3462000/6077546 1310.88/759.33 c cleaning 10003 clauses out of 20018 with flag 3472001/6087547 1312.99/760.68 c cleaning 10001 clauses out of 20015 with flag 3482001/6097547 1315.50/762.12 c cleaning 9999 clauses out of 20014 with flag 3492001/6107547 1317.83/763.56 c cleaning 9994 clauses out of 20014 with flag 3502000/6117546 1320.45/765.27 c cleaning 10002 clauses out of 20020 with flag 3512000/6127546 1322.91/766.76 c cleaning 10001 clauses out of 20019 with flag 3522001/6137547 1325.20/768.14 c cleaning 9998 clauses out of 20017 with flag 3532000/6147546 1327.50/769.57 c cleaning 10000 clauses out of 20020 with flag 3542001/6157547 1330.25/771.31 c cleaning 9999 clauses out of 20019 with flag 3552000/6167546 1332.58/772.72 c cleaning 10000 clauses out of 20020 with flag 3562000/6177546 1334.89/774.10 c cleaning 10001 clauses out of 20020 with flag 3572000/6187546 1337.21/775.53 c cleaning 9998 clauses out of 20019 with flag 3582000/6197546 1339.78/777.27 c cleaning 10002 clauses out of 20022 with flag 3592001/6207547 1342.08/778.69 c cleaning 10005 clauses out of 20020 with flag 3602001/6217547 1344.38/780.09 c cleaning 9997 clauses out of 20014 with flag 3612000/6227546 1346.84/781.50 c cleaning 9997 clauses out of 20017 with flag 3622000/6237546 1349.28/783.16 c cleaning 10003 clauses out of 20021 with flag 3632001/6247547 1351.77/784.64 c cleaning 10000 clauses out of 20019 with flag 3642002/6257548 1354.27/786.11 c cleaning 10000 clauses out of 20018 with flag 3652001/6267547 1356.59/787.51 c cleaning 10000 clauses out of 20017 with flag 3662000/6277546 1359.14/789.21 c cleaning 9997 clauses out of 20018 with flag 3672001/6287547 1361.24/790.55 c cleaning 10003 clauses out of 20021 with flag 3682001/6297547 1363.55/791.93 c cleaning 9996 clauses out of 20017 with flag 3692000/6307546 1365.78/793.31 c cleaning 10000 clauses out of 20021 with flag 3702000/6317546 1368.18/794.99 c cleaning 10002 clauses out of 20021 with flag 3712000/6327546 1370.47/796.33 c cleaning 10001 clauses out of 20019 with flag 3722000/6337546 1372.75/797.76 c cleaning 9998 clauses out of 20018 with flag 3732000/6347546 1375.21/799.27 c cleaning 10003 clauses out of 20020 with flag 3742000/6357546 1377.76/800.99 c cleaning 10002 clauses out of 20017 with flag 3752000/6367546 1380.05/802.33 c cleaning 9995 clauses out of 20015 with flag 3762000/6377546 1382.15/803.69 c cleaning 10005 clauses out of 20020 with flag 3772000/6387546 1384.45/805.05 c cleaning 9996 clauses out of 20015 with flag 3782000/6397546 1386.99/806.77 c cleaning 10001 clauses out of 20020 with flag 3792001/6407547 1389.46/808.25 c cleaning 9999 clauses out of 20018 with flag 3802000/6417546 1391.93/809.72 c cleaning 10005 clauses out of 20019 with flag 3812000/6427546 1394.41/811.20 c cleaning 9995 clauses out of 20014 with flag 3822000/6437546 1397.00/812.97 c cleaning 10001 clauses out of 20019 with flag 3832000/6447546 1399.49/814.41 c cleaning 10000 clauses out of 20019 with flag 3842001/6457547 1401.80/815.87 c cleaning 10000 clauses out of 20019 with flag 3852001/6467547 1404.10/817.30 c cleaning 9997 clauses out of 20018 with flag 3862000/6477546 1406.83/819.03 c cleaning 9997 clauses out of 20021 with flag 3872000/6487546 1409.13/820.47 c cleaning 10003 clauses out of 20025 with flag 3882001/6497547 1411.42/821.87 c cleaning 10004 clauses out of 20021 with flag 3892000/6507546 1413.91/823.33 c cleaning 9999 clauses out of 20018 with flag 3902001/6517547 1416.47/825.10 c cleaning 10001 clauses out of 20018 with flag 3912000/6527546 1418.95/826.54 c cleaning 10004 clauses out of 20018 with flag 3922001/6537547 1421.25/827.96 c cleaning 9996 clauses out of 20013 with flag 3932000/6547546 1423.55/829.34 c cleaning 10002 clauses out of 20017 with flag 3942000/6557546 1426.26/831.12 c cleaning 10000 clauses out of 20016 with flag 3952001/6567547 1428.76/832.61 c cleaning 9998 clauses out of 20016 with flag 3962001/6577547 1431.01/834.05 c cleaning 9999 clauses out of 20017 with flag 3972000/6587546 1433.29/835.47 c cleaning 9999 clauses out of 20018 with flag 3982000/6597546 1435.88/837.14 c cleaning 10002 clauses out of 20019 with flag 3992000/6607546 1438.14/838.52 c cleaning 9998 clauses out of 20018 with flag 4002001/6617547 1440.39/839.97 c cleaning 10008 clauses out of 20020 with flag 4012001/6627547 1443.07/841.51 c cleaning 9996 clauses out of 20011 with flag 4022000/6637546 1446.16/843.50 c cleaning 9997 clauses out of 20016 with flag 4032001/6647547 1448.63/845.06 c cleaning 9998 clauses out of 20018 with flag 4042000/6657546 1451.11/846.57 c cleaning 10001 clauses out of 20021 with flag 4052001/6667547 1453.60/848.07 c cleaning 10001 clauses out of 20019 with flag 4062000/6677546 1456.66/850.03 c cleaning 10007 clauses out of 20019 with flag 4072001/6687547 1458.97/851.48 c cleaning 10000 clauses out of 20013 with flag 4082002/6697548 1461.45/852.96 c cleaning 10000 clauses out of 20012 with flag 4092001/6707547 1463.87/854.42 c cleaning 10000 clauses out of 20012 with flag 4102001/6717547 1466.77/856.30 c cleaning 9997 clauses out of 20012 with flag 4112001/6727547 1469.05/857.75 c cleaning 10002 clauses out of 20014 with flag 4122000/6737546 1471.36/859.13 c cleaning 9997 clauses out of 20013 with flag 4132001/6747547 1473.61/860.58 c cleaning 10000 clauses out of 20016 with flag 4142001/6757547 1476.32/862.34 c cleaning 9996 clauses out of 20016 with flag 4152001/6767547 1478.78/863.82 c cleaning 10003 clauses out of 20020 with flag 4162001/6777547 1481.05/865.29 c cleaning 10002 clauses out of 20017 with flag 4172001/6787547 1483.73/866.85 c cleaning 10000 clauses out of 20015 with flag 4182001/6797547 1486.41/868.61 c cleaning 9996 clauses out of 20015 with flag 4192001/6807547 1488.72/870.03 c cleaning 10003 clauses out of 20019 with flag 4202001/6817547 1490.98/871.49 c cleaning 10000 clauses out of 20015 with flag 4212000/6827546 1493.24/872.89 c cleaning 9997 clauses out of 20015 with flag 4222000/6837546 1495.93/874.67 c cleaning 10000 clauses out of 20020 with flag 4232002/6847548 1498.35/876.16 c cleaning 10001 clauses out of 20018 with flag 4242000/6857546 1500.79/877.66 c cleaning 9998 clauses out of 20018 with flag 4252001/6867547 1503.46/879.24 c cleaning 10003 clauses out of 20019 with flag 4262000/6877546 1506.21/881.05 c cleaning 9995 clauses out of 20018 with flag 4272002/6887548 1508.46/882.45 c cleaning 10002 clauses out of 20021 with flag 4282000/6897546 1510.92/883.90 c cleaning 10004 clauses out of 20019 with flag 4292000/6907546 1513.22/885.37 c cleaning 9997 clauses out of 20015 with flag 4302000/6917546 1516.12/887.20 c cleaning 10003 clauses out of 20019 with flag 4312001/6927547 1518.38/888.66 c cleaning 9998 clauses out of 20015 with flag 4322000/6937546 1520.86/890.16 c cleaning 9999 clauses out of 20017 with flag 4332000/6947546 1523.31/891.65 c cleaning 10002 clauses out of 20019 with flag 4342001/6957547 1526.09/893.47 c cleaning 9997 clauses out of 20018 with flag 4352002/6967548 1528.55/895.00 c cleaning 10003 clauses out of 20020 with flag 4362001/6977547 1531.22/896.54 c cleaning 9998 clauses out of 20017 with flag 4372001/6987547 1533.68/898.03 c cleaning 10002 clauses out of 20019 with flag 4382001/6997547 1536.22/899.79 c cleaning 9999 clauses out of 20018 with flag 4392002/7007548 1538.66/901.27 c cleaning 10000 clauses out of 20017 with flag 4402000/7017546 1541.35/902.81 c cleaning 10002 clauses out of 20018 with flag 4412001/7027547 1543.59/904.26 c cleaning 10002 clauses out of 20015 with flag 4422000/7037546 1546.10/905.99 c cleaning 9994 clauses out of 20013 with flag 4432000/7047546 1548.56/907.48 c cleaning 9997 clauses out of 20019 with flag 4442000/7057546 1551.03/909.00 c cleaning 10002 clauses out of 20022 with flag 4452000/7067546 1553.69/910.50 c cleaning 10001 clauses out of 20021 with flag 4462001/7077547 1556.54/912.45 c cleaning 10002 clauses out of 20020 with flag 4472001/7087547 1558.81/913.90 c cleaning 9999 clauses out of 20018 with flag 4482001/7097547 1561.41/915.42 c cleaning 10004 clauses out of 20019 with flag 4492001/7107547 1563.86/916.91 c cleaning 10005 clauses out of 20016 with flag 4502002/7117548 1566.79/918.84 c cleaning 9997 clauses out of 20009 with flag 4512000/7127546 1569.60/920.57 c cleaning 10000 clauses out of 20013 with flag 4522001/7137547 1571.85/921.99 c cleaning 9997 clauses out of 20012 with flag 4532000/7147546 1574.23/923.42 c cleaning 9999 clauses out of 20016 with flag 4542001/7157547 1577.13/925.33 c cleaning 10001 clauses out of 20017 with flag 4552001/7167547 1579.79/926.90 c cleaning 9999 clauses out of 20015 with flag 4562000/7177546 1582.41/928.53 c cleaning 10002 clauses out of 20016 with flag 4572000/7187546 1584.82/930.07 c cleaning 9999 clauses out of 20015 with flag 4582001/7197547 1587.51/931.85 c cleaning 9998 clauses out of 20016 with flag 4592001/7207547 1589.75/933.25 c cleaning 10001 clauses out of 20017 with flag 4602000/7217546 1592.17/934.75 c cleaning 9997 clauses out of 20017 with flag 4612001/7227547 1594.55/936.21 c cleaning 10004 clauses out of 20019 with flag 4622000/7237546 1597.00/937.99 c cleaning 10001 clauses out of 20016 with flag 4632001/7247547 1599.42/939.40 c cleaning 10004 clauses out of 20015 with flag 4642001/7257547 1601.59/940.82 c cleaning 9999 clauses out of 20011 with flag 4652001/7267547 1603.78/942.25 c cleaning 9998 clauses out of 20012 with flag 4662001/7277547 1606.44/944.01 c cleaning 9995 clauses out of 20014 with flag 4672001/7287547 1608.63/945.43 c cleaning 10002 clauses out of 20018 with flag 4682000/7297546 1611.05/946.94 c cleaning 10004 clauses out of 20016 with flag 4692000/7307546 1613.46/948.43 c cleaning 10001 clauses out of 20013 with flag 4702001/7317547 1616.10/950.29 c cleaning 9995 clauses out of 20012 with flag 4712001/7327547 1618.52/951.77 c cleaning 10001 clauses out of 20016 with flag 4722000/7337546 1620.93/953.23 c cleaning 9998 clauses out of 20016 with flag 4732001/7347547 1623.36/954.76 c cleaning 10002 clauses out of 20017 with flag 4742000/7357546 1626.05/956.56 c cleaning 9997 clauses out of 20016 with flag 4752001/7367547 1628.29/957.96 c cleaning 9996 clauses out of 20018 with flag 4762000/7377546 1630.54/959.34 c cleaning 10003 clauses out of 20023 with flag 4772001/7387547 1632.77/960.70 c cleaning 10006 clauses out of 20019 with flag 4782000/7397546 1635.29/962.46 c cleaning 9996 clauses out of 20013 with flag 4792000/7407546 1637.52/963.85 c cleaning 9998 clauses out of 20017 with flag 4802000/7417546 1639.97/965.34 c cleaning 10004 clauses out of 20021 with flag 4812002/7427548 1642.39/966.84 c cleaning 10001 clauses out of 20016 with flag 4822001/7437547 1645.27/968.72 c cleaning 9997 clauses out of 20014 with flag 4832000/7447546 1647.74/970.23 c cleaning 10000 clauses out of 20018 with flag 4842001/7457547 1650.35/971.81 c cleaning 10005 clauses out of 20017 with flag 4852000/7467546 1652.79/973.36 c cleaning 9998 clauses out of 20012 with flag 4862000/7477546 1655.98/975.41 c cleaning 9996 clauses out of 20015 with flag 4872001/7487547 1658.43/976.95 c cleaning 10003 clauses out of 20019 with flag 4882001/7497547 1661.05/978.51 c cleaning 9994 clauses out of 20015 with flag 4892000/7507546 1663.50/980.09 c cleaning 10001 clauses out of 20021 with flag 4902000/7517546 1666.47/981.92 c cleaning 9999 clauses out of 20020 with flag 4912000/7527546 1668.89/983.47 c cleaning 10001 clauses out of 20021 with flag 4922000/7537546 1671.52/985.03 c cleaning 10007 clauses out of 20021 with flag 4932001/7547547 1674.51/986.89 c cleaning 9997 clauses out of 20014 with flag 4942001/7557547 1677.79/988.98 c cleaning 9999 clauses out of 20016 with flag 4952000/7567546 1680.39/990.53 c cleaning 9998 clauses out of 20017 with flag 4962000/7577546 1682.83/992.07 c cleaning 10002 clauses out of 20020 with flag 4972001/7587547 1685.65/993.71 c cleaning 10000 clauses out of 20018 with flag 4982001/7597547 1688.53/995.62 c cleaning 9999 clauses out of 20017 with flag 4992000/7607546 1691.33/997.30 c cleaning 10005 clauses out of 20019 with flag 5002001/7617547 1693.72/998.89 c cleaning 10001 clauses out of 20013 with flag 5012000/7627546 1696.34/1000.44 c cleaning 9995 clauses out of 20012 with flag 5022000/7637546 1699.19/1002.30 c cleaning 9996 clauses out of 20017 with flag 5032000/7647546 1701.59/1003.85 c cleaning 10002 clauses out of 20022 with flag 5042001/7657547 1704.20/1005.45 c cleaning 10004 clauses out of 20019 with flag 5052000/7667546 1706.99/1007.12 c cleaning 9999 clauses out of 20015 with flag 5062000/7677546 1709.71/1008.96 c cleaning 9999 clauses out of 20017 with flag 5072001/7687547 1712.51/1010.61 c cleaning 10003 clauses out of 20018 with flag 5082001/7697547 1715.11/1012.20 c cleaning 10000 clauses out of 20015 with flag 5092001/7707547 1717.74/1013.86 c cleaning 9999 clauses out of 20015 with flag 5102001/7717547 1721.59/1016.26 c cleaning 9997 clauses out of 20015 with flag 5112000/7727546 1724.64/1018.04 c cleaning 10000 clauses out of 20018 with flag 5122000/7737546 1727.68/1019.82 c cleaning 10003 clauses out of 20019 with flag 5132001/7747547 1730.48/1021.56 c cleaning 9999 clauses out of 20015 with flag 5142000/7757546 1733.94/1023.78 c cleaning 10002 clauses out of 20016 with flag 5152000/7767546 1736.74/1025.41 c cleaning 10002 clauses out of 20014 with flag 5162000/7777546 1739.15/1026.93 c cleaning 10000 clauses out of 20013 with flag 5172001/7787547 1741.72/1028.51 c cleaning 10000 clauses out of 20013 with flag 5182001/7797547 1744.48/1030.50 c cleaning 9996 clauses out of 20012 with flag 5192000/7807546 1746.89/1031.95 c cleaning 10005 clauses out of 20017 with flag 5202001/7817547 1749.24/1033.47 c cleaning 9996 clauses out of 20012 with flag 5212001/7827547 1751.69/1034.99 c cleaning 9999 clauses out of 20016 with flag 5222001/7837547 1754.50/1036.88 c cleaning 9999 clauses out of 20017 with flag 5232001/7847547 1756.92/1038.35 c cleaning 10000 clauses out of 20018 with flag 5242001/7857547 1759.32/1039.80 c cleaning 10001 clauses out of 20018 with flag 5252001/7867547 1761.52/1041.27 c cleaning 10000 clauses out of 20017 with flag 5262001/7877547 1764.15/1043.03 c cleaning 10001 clauses out of 20017 with flag 5272001/7887547 1766.34/1044.47 c cleaning 10000 clauses out of 20015 with flag 5282000/7897546 1768.74/1045.93 c cleaning 10003 clauses out of 20015 with flag 5292000/7907546 1771.17/1047.43 c cleaning 9998 clauses out of 20013 with flag 5302001/7917547 1773.82/1049.23 c cleaning 9997 clauses out of 20015 with flag 5312001/7927547 1776.17/1050.72 c cleaning 9999 clauses out of 20017 with flag 5322000/7937546 1778.57/1052.24 c cleaning 9999 clauses out of 20018 with flag 5332000/7947546 1780.96/1053.75 c cleaning 10000 clauses out of 20019 with flag 5342000/7957546 1783.61/1055.59 c cleaning 9996 clauses out of 20019 with flag 5352000/7967546 1786.01/1057.01 c cleaning 10007 clauses out of 20024 with flag 5362001/7977547 1788.79/1058.75 c cleaning 9998 clauses out of 20016 with flag 5372000/7987546 1791.79/1060.55 c cleaning 9998 clauses out of 20018 with flag 5382000/7997546 1794.65/1062.43 c cleaning 10003 clauses out of 20021 with flag 5392001/8007547 1797.41/1064.10 c cleaning 10001 clauses out of 20017 with flag 5402000/8017546 1800.20/1065.81 c starts : 38 1800.20/1065.81 c conflicts : 8914 1800.20/1065.81 c decisions : 110006 1800.20/1065.81 c propagations : 776904 1800.20/1065.81 c inspects : 183662773 1800.20/1065.81 c shortcuts : 0 1800.20/1065.81 c learnt literals : 0 1800.20/1065.81 c learnt binary clauses : 0 1800.20/1065.81 c learnt ternary clauses : 0 1800.20/1065.81 c learnt constraints : 8913 1800.20/1065.81 c ignored constraints : 0 1800.20/1065.81 c root simplifications : 0 1800.20/1065.82 c removed literals (reason simplification) : 0 1800.20/1065.82 c reason swapping (by a shorter reason) : 0 1800.20/1065.82 c Calls to reduceDB : 1 1800.20/1065.82 c number of reductions to clauses (during analyze) : 0 1800.20/1065.82 c number of learned constraints concerned by reduction : 0 1800.20/1065.82 c number of learning phase by resolution : 0 1800.20/1065.82 c number of learning phase by cutting planes : 0 1800.20/1065.82 c speed (assignments/second) : 980.7288839516771 1800.20/1065.82 c non guided choices 0 1800.20/1065.82 c learnt constraints type 1800.20/1065.82 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 142 1800.20/1065.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 10 1800.20/1065.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8761 1800.20/1065.82 c constraints type 1800.20/1065.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3297 1800.20/1065.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.20/1065.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 911 1800.20/1065.82 c constraints type 1800.20/1065.82 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 911 1800.20/1065.82 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3297 1800.20/1065.82 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.20/1065.82 s SATISFIABLE 1800.20/1065.83 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 -x777 x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 x786 -x787 x788 -x789 -x790 x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.20/1065.83 c objective function=77 1800.20/1065.83 c Total wall clock time (in seconds): 1065.699
OK 77
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-3734647-1338692014/watcher-3734647-1338692014 -o /tmp/evaluation-result-3734647-1338692014/solver-3734647-1338692014 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734647-1338692014.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.99 3.96 3.91 4/197 24432 /proc/meminfo: memFree=24866100/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/24432/stat : 24432 (java) D 24430 24432 20030 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335327530 9515008 183 33554432000 1073741824 1073778376 140734739059600 140734739050632 251032059573 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2323 183 140 9 0 71 0 [startup+0.083086 s] /proc/loadavg: 3.99 3.96 3.91 4/197 24432 /proc/meminfo: memFree=24866100/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11586392 CPUtime=0.05 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 3912 0 1 0 4 1 0 0 20 0 18 0 335327530 11864465408 12786 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2896598 12786 1765 9 0 2887285 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11586392 [startup+0.10025 s] /proc/loadavg: 3.99 3.96 3.91 4/197 24432 /proc/meminfo: memFree=24866100/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 4223 0 1 0 6 1 0 0 20 0 18 0 335327530 11864465408 13097 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2896598 13107 1959 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300218 s] /proc/loadavg: 3.99 3.96 3.91 4/197 24432 /proc/meminfo: memFree=24866100/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11586392 CPUtime=0.52 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 7775 0 1 0 50 2 0 0 20 0 18 0 335327530 11864465408 17493 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2896598 17493 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 11586392 [startup+0.700262 s] /proc/loadavg: 3.99 3.96 3.91 4/197 24432 /proc/meminfo: memFree=24866100/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=0.94 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 10484 0 1 0 89 5 0 0 20 0 19 0 335327530 12137111552 23249 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 23249 2247 9 0 2953849 0 Current children cumulated CPU time (s) 0.94 Current children cumulated vsize (KiB) 11852648 [startup+1.50071 s] /proc/loadavg: 4.07 3.98 3.91 3/216 24457 /proc/meminfo: memFree=24776264/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=1.17 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 11830 0 1 0 110 7 0 0 20 0 19 0 335327530 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 25478 2255 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 2886 0 1 0 35 2 0 0 20 0 19 0 335327531 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335327533 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335327534 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731034754024 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335327535 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335327535 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327537 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=0.29 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 3190 0 0 0 29 0 0 0 20 0 19 0 335327537 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=0.34 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 4447 0 0 0 34 0 0 0 20 0 19 0 335327537 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327537 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335327537 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24457] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24457/stat : 24457 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335327621 12137111552 25478 33554432000 1073741824 1073778376 140735506295088 140731023172520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 11852648 [startup+3.10071 s] /proc/loadavg: 4.07 3.98 3.91 3/216 24463 /proc/meminfo: memFree=24765404/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=3.43 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 22791 0 1 0 332 11 0 0 20 0 22 0 335327530 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 51289 2287 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 2888 0 1 0 36 2 0 0 20 0 22 0 335327531 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=0.01 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) S 24430 24432 20030 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 22 0 335327534 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731034754024 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=0.72 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 10026 0 0 0 70 2 0 0 20 0 22 0 335327537 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 8444 0 0 0 82 2 0 0 20 0 22 0 335327537 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24457] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24457/stat : 24457 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327621 12137111552 51289 33554432000 1073741824 1073778376 140735506295088 140731023172520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.43 Current children cumulated vsize (KiB) 11852648 [startup+6.30078 s] /proc/loadavg: 4.07 3.98 3.91 4/218 24466 /proc/meminfo: memFree=24342432/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=10.09 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 22997 0 1 0 991 18 0 0 20 0 22 0 335327530 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 132560 2287 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 2888 0 1 0 36 2 0 0 20 0 22 0 335327531 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335327533 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=0.13 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) R 24430 24432 20030 0 -1 4202560 34 0 0 0 13 0 0 0 20 0 22 0 335327534 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731034752880 140731695447316 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 10041 0 0 0 104 2 0 0 20 0 22 0 335327537 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=0.91 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 8446 0 0 0 89 2 0 0 20 0 22 0 335327537 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24457] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24457/stat : 24457 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327621 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731023172520 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24464] ppid=24430 vsize=11852648 CPUtime=3.66 cores=0,2,4,6 /proc/24432/task/24464/stat : 24464 (java) S 24430 24432 20030 0 -1 4202560 10 0 0 0 366 0 0 0 20 0 22 0 335327772 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731024224392 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24465] ppid=24430 vsize=11852648 CPUtime=3.68 cores=0,2,4,6 /proc/24432/task/24465/stat : 24465 (java) S 24430 24432 20030 0 -1 4202560 208 0 0 0 362 6 0 0 20 0 22 0 335327772 12137111552 132560 33554432000 1073741824 1073778376 140735506295088 140731025275224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=24432/tid=24587] ppid=24430 vsize=11852648 CPUtime=411.38 cores=0,2,4,6 /proc/24432/task/24587/stat : 24587 (java) S 24430 24432 20030 0 -1 4202560 49 0 0 0 41129 9 0 0 20 0 22 0 335354895 12137111552 337880 33554432000 1073741824 1073778376 140735506295088 140731024224456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24588] ppid=24430 vsize=11852648 CPUtime=411.41 cores=0,2,4,6 /proc/24432/task/24588/stat : 24588 (java) S 24430 24432 20030 0 -1 4202560 10 0 0 0 41133 8 0 0 20 0 22 0 335354895 12137111552 337880 33554432000 1073741824 1073778376 140735506295088 140731023170376 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24589] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24589/stat : 24589 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335354895 12137111552 337880 33554432000 1073741824 1073778376 140735506295088 140731025278504 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1604.01 Current children cumulated vsize (KiB) 11852648 [startup+1002.3 s] /proc/loadavg: 3.16 3.33 3.55 5/220 24625 /proc/meminfo: memFree=23904240/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=1699.19 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 27672 0 1 0 169807 112 0 0 20 0 22 0 335327530 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 345087 2289 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 3453 0 1 0 41 5 0 0 20 0 22 0 335327531 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=6.1 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 607 3 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=6.15 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 262 0 0 0 611 4 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=6.36 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 260 0 0 0 632 4 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=6.26 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 265 0 0 0 622 4 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=6.15 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 611 4 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=6.39 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 263 0 0 0 634 5 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=6.38 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 261 0 0 0 633 5 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=6.15 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 264 0 0 0 610 5 0 0 20 0 22 0 335327533 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=322.19 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) S 24430 24432 20030 0 -1 4202560 398 0 0 0 32194 25 0 0 20 0 22 0 335327534 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731034754024 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 10042 0 0 0 116 2 0 0 20 0 22 0 335327537 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=1.56 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 9639 0 0 0 154 2 0 0 20 0 22 0 335327537 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 53 0 0 0 16 19 0 0 20 0 22 0 335327537 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24466] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24466/stat : 24466 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327772 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731026330408 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24587] ppid=24430 vsize=11852648 CPUtime=444.28 cores=0,2,4,6 /proc/24432/task/24587/stat : 24587 (java) R 24430 24432 20030 0 -1 4202560 55 0 0 0 44419 9 0 0 20 0 22 0 335354895 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731024224336 140731533042388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24588] ppid=24430 vsize=11852648 CPUtime=444.31 cores=0,2,4,6 /proc/24432/task/24588/stat : 24588 (java) R 24430 24432 20030 0 -1 4202560 10 0 0 0 44422 9 0 0 20 0 22 0 335354895 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731023170592 140731533454408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24589] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24589/stat : 24589 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335354895 12137111552 345087 33554432000 1073741824 1073778376 140735506295088 140731025278504 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1699.19 Current children cumulated vsize (KiB) 11852648 [startup+1062.3 s] /proc/loadavg: 3.50 3.41 3.56 4/219 24756 /proc/meminfo: memFree=25377672/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=1794.45 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 27839 0 1 0 179324 121 0 0 20 0 22 0 335327530 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 408063 2289 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 3488 0 1 0 41 5 0 0 20 0 22 0 335327531 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=6.37 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 634 3 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=6.46 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 262 0 0 0 642 4 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=6.57 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 260 0 0 0 652 5 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=6.48 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 265 0 0 0 644 4 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=6.39 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 634 5 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=6.64 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 263 0 0 0 659 5 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=6.64 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 261 0 0 0 659 5 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=6.38 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 264 0 0 0 633 5 0 0 20 0 22 0 335327533 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=347.7 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) S 24430 24432 20030 0 -1 4202560 413 0 0 0 34741 29 0 0 20 0 22 0 335327534 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731034754024 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 10042 0 0 0 116 2 0 0 20 0 22 0 335327537 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=1.56 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 9639 0 0 0 154 2 0 0 20 0 22 0 335327537 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 57 0 0 0 17 20 0 0 20 0 22 0 335327537 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24466] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24466/stat : 24466 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327772 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731026330408 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24587] ppid=24430 vsize=11852648 CPUtime=478.17 cores=0,2,4,6 /proc/24432/task/24587/stat : 24587 (java) R 24430 24432 20030 0 -1 4202560 56 0 0 0 47807 10 0 0 20 0 22 0 335354895 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731024224456 140731533409074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24588] ppid=24430 vsize=11852648 CPUtime=478.22 cores=0,2,4,6 /proc/24432/task/24588/stat : 24588 (java) R 24430 24432 20030 0 -1 4202560 122 0 0 0 47808 14 0 0 20 0 22 0 335354895 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731023170304 140731533636373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24589] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24589/stat : 24589 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335354895 12137111552 408063 33554432000 1073741824 1073778376 140735506295088 140731025278504 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1065.8 s] /proc/loadavg: 3.54 3.42 3.56 5/219 24756 /proc/meminfo: memFree=25232140/32873844 swapFree=7372/7372 [pid=24432] ppid=24430 vsize=11852648 CPUtime=1800.2 cores=0,2,4,6 /proc/24432/stat : 24432 (java) S 24430 24432 20030 0 -1 4202496 27843 0 1 0 179899 121 0 0 20 0 22 0 335327530 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140735506286224 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/24432/statm: 2963162 409087 2289 9 0 2953849 0 [pid=24432/tid=24434] ppid=24430 vsize=11852648 CPUtime=0.46 cores=0,2,4,6 /proc/24432/task/24434/stat : 24434 (java) S 24430 24432 20030 0 -1 4202560 3490 0 1 0 41 5 0 0 20 0 22 0 335327531 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731688592536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24435] ppid=24430 vsize=11852648 CPUtime=6.38 cores=0,2,4,6 /proc/24432/task/24435/stat : 24435 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 635 3 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731657002024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24436] ppid=24430 vsize=11852648 CPUtime=6.46 cores=0,2,4,6 /proc/24432/task/24436/stat : 24436 (java) S 24430 24432 20030 0 -1 4202560 262 0 0 0 642 4 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731655949224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24437] ppid=24430 vsize=11852648 CPUtime=6.59 cores=0,2,4,6 /proc/24432/task/24437/stat : 24437 (java) S 24430 24432 20030 0 -1 4202560 260 0 0 0 654 5 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731654896424 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24438] ppid=24430 vsize=11852648 CPUtime=6.48 cores=0,2,4,6 /proc/24432/task/24438/stat : 24438 (java) S 24430 24432 20030 0 -1 4202560 265 0 0 0 644 4 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731653843624 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24439] ppid=24430 vsize=11852648 CPUtime=6.4 cores=0,2,4,6 /proc/24432/task/24439/stat : 24439 (java) S 24430 24432 20030 0 -1 4202560 268 0 0 0 635 5 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731652790824 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24440] ppid=24430 vsize=11852648 CPUtime=6.65 cores=0,2,4,6 /proc/24432/task/24440/stat : 24440 (java) S 24430 24432 20030 0 -1 4202560 263 0 0 0 660 5 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731651738024 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24441] ppid=24430 vsize=11852648 CPUtime=6.64 cores=0,2,4,6 /proc/24432/task/24441/stat : 24441 (java) S 24430 24432 20030 0 -1 4202560 261 0 0 0 659 5 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731518781736 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24442] ppid=24430 vsize=11852648 CPUtime=6.4 cores=0,2,4,6 /proc/24432/task/24442/stat : 24442 (java) S 24430 24432 20030 0 -1 4202560 264 0 0 0 635 5 0 0 20 0 22 0 335327533 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731517728936 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24443] ppid=24430 vsize=11852648 CPUtime=349 cores=0,2,4,6 /proc/24432/task/24443/stat : 24443 (java) S 24430 24432 20030 0 -1 4202560 415 0 0 0 34871 29 0 0 20 0 22 0 335327534 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731034754024 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24444] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24444/stat : 24444 (java) S 24430 24432 20030 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731033700088 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24445] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24445/stat : 24445 (java) S 24430 24432 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335327535 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731032647176 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24446] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24446/stat : 24446 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731031595664 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24447] ppid=24430 vsize=11852648 CPUtime=1.18 cores=0,2,4,6 /proc/24432/task/24447/stat : 24447 (java) S 24430 24432 20030 0 -1 4202560 10042 0 0 0 116 2 0 0 20 0 22 0 335327537 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731030542776 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24448] ppid=24430 vsize=11852648 CPUtime=1.56 cores=0,2,4,6 /proc/24432/task/24448/stat : 24448 (java) S 24430 24432 20030 0 -1 4202560 9639 0 0 0 154 2 0 0 20 0 22 0 335327537 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731029489976 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24449] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24449/stat : 24449 (java) S 24430 24432 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335327537 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731028437368 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24450] ppid=24430 vsize=11852648 CPUtime=0.38 cores=0,2,4,6 /proc/24432/task/24450/stat : 24450 (java) S 24430 24432 20030 0 -1 4202560 57 0 0 0 17 21 0 0 20 0 22 0 335327537 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731027384776 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24432/tid=24466] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24466/stat : 24466 (java) S 24430 24432 20030 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335327772 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731026330408 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24432/tid=24587] ppid=24430 vsize=11852648 CPUtime=480.37 cores=0,2,4,6 /proc/24432/task/24587/stat : 24587 (java) R 24430 24432 20030 0 -1 4202560 56 0 0 0 48027 10 0 0 20 0 22 0 335354895 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731024224336 140731533211344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24432/tid=24588] ppid=24430 vsize=11852648 CPUtime=480.41 cores=0,2,4,6 /proc/24432/task/24588/stat : 24588 (java) R 24430 24432 20030 0 -1 4202560 122 0 0 0 48027 14 0 0 20 0 22 0 335354895 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731023170448 140731533753296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24432/tid=24589] ppid=24430 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/24432/task/24589/stat : 24589 (java) S 24430 24432 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335354895 12137111552 409087 33554432000 1073741824 1073778376 140735506295088 140731025278504 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 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 Child status: 143 Real time (s): 1065.85 CPU time (s): 1801.17 CPU user time (s): 1799.5 CPU system time (s): 1.67274 CPU usage (%): 168.989 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 1.67274 maximum resident set size= 1638512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27876 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48555 involuntary context switches= 94964 runsolver used 3.9124 second user time and 9.31258 second system time The end
Begin job on node118 at 2012-06-03 04:53:34 IDJOB=3734647 IDBENCH=2884 IDSOLVER=2328 FILE ID=node118/3734647-1338692014 RUNJOBID= node118-1338678623-20049 PBS_JOBID= 14636695 Free space on /tmp= 70968 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734647-1338692014/watcher-3734647-1338692014 -o /tmp/evaluation-result-3734647-1338692014/solver-3734647-1338692014 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734647-1338692014.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED=958905352 node118.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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 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.212 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 : 5438.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.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 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.212 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 : 5320.68 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.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 24866480 kB Buffers: 486636 kB Cached: 3841304 kB SwapCached: 0 kB Active: 4128704 kB Inactive: 3010548 kB Active(anon): 2801452 kB Inactive(anon): 11328 kB Active(file): 1327252 kB Inactive(file): 2999220 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 2817512 kB Mapped: 19864 kB Shmem: 200 kB Slab: 723960 kB SReclaimable: 165096 kB SUnreclaim: 558864 kB KernelStack: 1632 kB PageTables: 9732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 10458844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2758656 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= 70968 MiB End job on node118 at 2012-06-03 05:11:22