Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 29 | 3600.28 | 3603.12 |
| Name | PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb |
| MD5SUM | 016e97d12624722ea548165224db81f7 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.862524 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 584 |
| Total number of constraints | 427 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 394 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 34 |
| Number of terms in the objective function | 182 |
| 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 | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 182 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2406 |
| Sum of products size (including duplicates) | 10572 |
| Number of different products | 2406 |
| Sum of products size | 10572 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.13 c Pseudo Boolean Optimization by upper bound 0.13/0.13 c --- Begin Solver configuration --- 0.13/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.13 c Learn all clauses as in MiniSAT 0.13/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.13 c Expensive reason simplification 0.13/0.13 c Glucose 2.1 dynamic restart strategy 0.13/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.13 c timeout=2147483s 0.13/0.13 c DB Simplification allowed=false 0.13/0.13 c Listener: none 0.13/0.13 c --- End Solver configuration --- 0.13/0.13 c solving HOME/instance-4502252-1751424674.opb 0.13/0.13 c reading problem ... 0.13/0.13 c objective function found 0.52/0.31 c ... done. Wall clock time 0.179s. 0.52/0.31 c declared #vars 584 0.52/0.31 c internal #vars 2990 0.52/0.31 c #constraints 5666 0.52/0.31 c constraints type 0.52/0.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 40 0.52/0.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 424 0.52/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348 0.52/0.31 c org.sat4j.specs.Constr$1 => 618 0.52/0.31 c org.sat4j.pb.constraints.pb.UnitClausesPB => 16 0.52/0.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 115 0.52/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2105 0.52/0.31 c 5666 constraints processed. 0.52/0.32 c objective function length is 182 literals 0.91/0.53 c SATISFIABLE 0.91/0.53 c OPTIMIZING... 0.91/0.53 c Got one! Elapsed wall clock time (in seconds):0.407 0.91/0.53 o 67 1.68/0.92 c cleaning 2896 clauses out of 5792 with flag 8246/5792 2.09/1.19 c Got one! Elapsed wall clock time (in seconds):1.063 2.09/1.19 o 65 2.56/1.40 c cleaning 4027 clauses out of 8062 with flag 7132/10958 2.81/1.69 c cleaning 5013 clauses out of 10033 with flag 22954/16956 2.94/1.78 c Got one! Elapsed wall clock time (in seconds):1.648 2.94/1.78 o 64 3.13/1.83 c Got one! Elapsed wall clock time (in seconds):1.705 3.13/1.83 o 63 3.92/2.20 c cleaning 5213 clauses out of 10462 with flag 10967/22398 4.63/2.80 c cleaning 5612 clauses out of 11249 with flag 35418/28398 5.02/3.23 c cleaning 6317 clauses out of 12638 with flag 54367/35399 5.23/3.43 c Got one! Elapsed wall clock time (in seconds):3.304 5.23/3.43 o 61 5.23/3.49 c Got one! Elapsed wall clock time (in seconds):3.366 5.23/3.49 o 59 5.65/3.70 c cleaning 6195 clauses out of 12405 with flag 7365/41483 6.11/4.12 c cleaning 6101 clauses out of 12209 with flag 21946/47482 6.45/4.41 c cleaning 6530 clauses out of 13110 with flag 38702/54484 6.65/4.64 c cleaning 7287 clauses out of 14579 with flag 56552/62483 6.86/4.87 c cleaning 8145 clauses out of 16291 with flag 75854/71482 7.85/5.87 c cleaning 9072 clauses out of 18147 with flag 107417/81483 8.95/6.93 c cleaning 10032 clauses out of 20074 with flag 141843/92482 9.25/7.29 c cleaning 11020 clauses out of 22043 with flag 166734/104483 9.65/7.68 c cleaning 12011 clauses out of 24024 with flag 193258/117484 10.21/8.17 c cleaning 13005 clauses out of 26011 with flag 221819/131482 10.84/8.71 c cleaning 14004 clauses out of 28007 with flag 252148/146483 11.55/9.40 c cleaning 14999 clauses out of 30002 with flag 284677/162482 12.26/10.18 c cleaning 16000 clauses out of 32003 with flag 319154/179482 13.15/11.09 c cleaning 16999 clauses out of 34004 with flag 355156/197483 14.15/12.08 c cleaning 18000 clauses out of 36004 with flag 393154/216482 15.34/13.22 c cleaning 19003 clauses out of 38006 with flag 433158/236484 16.54/14.44 c cleaning 20002 clauses out of 40003 with flag 475159/257484 17.73/15.67 c cleaning 20996 clauses out of 42000 with flag 519255/279483 19.03/16.99 c cleaning 21999 clauses out of 44003 with flag 565561/302482 20.63/18.53 c cleaning 23000 clauses out of 46007 with flag 614009/326485 22.42/20.30 c cleaning 24002 clauses out of 48004 with flag 664378/351482 24.12/22.10 c cleaning 25001 clauses out of 50002 with flag 716866/377482 26.31/24.24 c cleaning 25999 clauses out of 52002 with flag 771606/404483 28.50/26.41 c cleaning 26999 clauses out of 54003 with flag 827998/432483 30.70/28.66 c cleaning 28002 clauses out of 56005 with flag 886000/461484 33.09/31.10 c cleaning 28998 clauses out of 58001 with flag 945997/491482 35.89/33.85 c cleaning 30000 clauses out of 60003 with flag 1007997/522482 38.88/36.87 c cleaning 30997 clauses out of 62003 with flag 1071997/554482 42.18/40.14 c cleaning 32001 clauses out of 64007 with flag 1137999/587483 45.66/43.60 c cleaning 33002 clauses out of 66008 with flag 1206009/621485 49.06/47.04 c cleaning 34000 clauses out of 68004 with flag 1276005/656483 52.85/50.88 c cleaning 35004 clauses out of 70007 with flag 1348011/692486 57.93/56.00 c cleaning 35998 clauses out of 72003 with flag 1446809/729486 64.15/62.18 c Got one! Elapsed wall clock time (in seconds):62.053 64.15/62.18 o 57 64.65/62.65 c cleaning 34270 clauses out of 68539 with flag 12686/762020 64.74/62.70 c Got one! Elapsed wall clock time (in seconds):62.572 64.74/62.70 o 56 65.24/63.20 c cleaning 19843 clauses out of 39693 with flag 14874/767444 65.54/63.50 c Got one! Elapsed wall clock time (in seconds):63.375 65.54/63.50 o 54 65.75/63.78 c cleaning 12868 clauses out of 25748 with flag 10941/773342 66.05/64.03 c cleaning 9432 clauses out of 18879 with flag 25584/779341 66.15/64.19 c cleaning 8214 clauses out of 16448 with flag 39586/786342 66.34/64.38 c cleaning 8112 clauses out of 16236 with flag 55600/794344 66.64/64.60 c cleaning 8557 clauses out of 17123 with flag 73598/803343 66.84/64.89 c cleaning 9285 clauses out of 18569 with flag 93604/813346 67.24/65.22 c cleaning 10139 clauses out of 20280 with flag 115598/824342 67.65/65.62 c cleaning 11069 clauses out of 22140 with flag 139596/836341 68.15/66.16 c cleaning 12034 clauses out of 24071 with flag 165597/849341 68.84/66.81 c cleaning 13019 clauses out of 26038 with flag 193610/863342 69.54/67.55 c cleaning 14008 clauses out of 28018 with flag 223618/878341 70.34/68.35 c cleaning 15004 clauses out of 30013 with flag 255626/894344 71.14/69.14 c cleaning 16004 clauses out of 32007 with flag 289622/911342 72.04/70.06 c cleaning 17001 clauses out of 34002 with flag 325620/929341 73.04/71.07 c cleaning 18001 clauses out of 36002 with flag 363622/948342 74.33/72.33 c cleaning 18996 clauses out of 38000 with flag 403620/968341 75.76/73.72 c cleaning 20004 clauses out of 40008 with flag 445632/989345 77.26/75.21 c cleaning 20999 clauses out of 42000 with flag 489628/1011341 78.86/76.80 c cleaning 22001 clauses out of 44004 with flag 535674/1034344 80.65/78.61 c cleaning 23002 clauses out of 46003 with flag 583690/1058344 82.75/80.72 c cleaning 24002 clauses out of 48003 with flag 633733/1083346 84.54/82.53 c cleaning 24993 clauses out of 49996 with flag 685740/1109341 86.54/84.53 c cleaning 25999 clauses out of 52004 with flag 739768/1136342 88.64/86.66 c cleaning 27000 clauses out of 54005 with flag 795778/1164342 91.03/89.02 c cleaning 27998 clauses out of 56005 with flag 853806/1193342 93.52/91.58 c cleaning 29001 clauses out of 58008 with flag 913836/1223343 96.22/94.28 c cleaning 29998 clauses out of 60007 with flag 975845/1254343 99.21/97.23 c cleaning 31005 clauses out of 62009 with flag 1039853/1286343 102.30/100.33 c cleaning 32001 clauses out of 64005 with flag 1105861/1319344 105.93/103.94 c cleaning 33000 clauses out of 66002 with flag 1173888/1353342 109.52/107.51 c cleaning 33997 clauses out of 68003 with flag 1243905/1388343 113.41/111.42 c cleaning 34997 clauses out of 70004 with flag 1315902/1424341 117.50/115.50 c cleaning 36000 clauses out of 72007 with flag 1389904/1461341 121.69/119.72 c cleaning 37001 clauses out of 74009 with flag 1465913/1499343 126.38/124.46 c cleaning 38003 clauses out of 76010 with flag 1543920/1538345 128.87/126.95 c Got one! Elapsed wall clock time (in seconds):126.826 128.87/126.95 o 52 129.77/127.82 c cleaning 33495 clauses out of 67000 with flag 10928/1567338 130.17/128.24 c cleaning 19745 clauses out of 39501 with flag 23409/1573334 130.37/128.42 c Got one! Elapsed wall clock time (in seconds):128.294 130.37/128.42 o 51 130.47/128.59 c cleaning 12582 clauses out of 25182 with flag 4725/1578760 130.87/128.94 c cleaning 9298 clauses out of 18601 with flag 18112/1584761 131.17/129.24 c cleaning 8144 clauses out of 16302 with flag 34896/1591760 131.37/129.42 c cleaning 8075 clauses out of 16159 with flag 53214/1599761 132.07/130.13 c cleaning 8534 clauses out of 17083 with flag 81673/1608760 132.46/130.51 c cleaning 9267 clauses out of 18550 with flag 108125/1618761 132.76/130.88 c cleaning 10133 clauses out of 20284 with flag 136025/1629762 133.86/131.97 c cleaning 11057 clauses out of 22149 with flag 178168/1641760 134.38/132.43 c Got one! Elapsed wall clock time (in seconds):132.304 134.38/132.43 o 50 134.81/132.77 c cleaning 11640 clauses out of 23287 with flag 12483/1653955 135.21/133.16 c cleaning 8816 clauses out of 17647 with flag 27824/1659955 135.70/133.64 c Got one! Elapsed wall clock time (in seconds):133.516 135.70/133.64 o 49 135.81/133.71 c cleaning 7386 clauses out of 14779 with flag 2333/1665903 136.11/134.08 c cleaning 6692 clauses out of 13394 with flag 15564/1671904 136.51/134.46 c cleaning 6845 clauses out of 13701 with flag 32175/1678903 137.21/135.11 c cleaning 7423 clauses out of 14856 with flag 53272/1686903 137.80/135.74 c cleaning 8214 clauses out of 16433 with flag 76320/1695903 138.40/136.35 c cleaning 9108 clauses out of 18221 with flag 100915/1705905 139.21/137.17 c Got one! Elapsed wall clock time (in seconds):137.041 139.21/137.17 o 47 139.50/137.47 c cleaning 11977 clauses out of 23967 with flag 10639/1720759 139.80/137.73 c cleaning 8990 clauses out of 17990 with flag 23562/1726759 140.10/138.08 c Got one! Elapsed wall clock time (in seconds):137.952 140.10/138.08 o 46 140.40/138.35 c cleaning 9942 clauses out of 19900 with flag 11974/1737659 140.80/138.72 c cleaning 7964 clauses out of 15955 with flag 27347/1743656 141.10/139.01 c cleaning 7488 clauses out of 14991 with flag 46336/1750656 141.20/139.17 c Got one! Elapsed wall clock time (in seconds):139.047 141.20/139.17 o 45 141.40/139.38 c cleaning 6380 clauses out of 12772 with flag 7596/1755925 141.79/139.71 c cleaning 6188 clauses out of 12391 with flag 20652/1761924 142.10/140.08 c cleaning 6599 clauses out of 13205 with flag 36938/1768926 142.29/140.27 c cleaning 7299 clauses out of 14604 with flag 53856/1776924 142.49/140.49 c cleaning 8154 clauses out of 16308 with flag 72879/1785927 142.89/140.80 c cleaning 9072 clauses out of 18152 with flag 94251/1795925 143.29/141.21 c cleaning 10036 clauses out of 20079 with flag 120293/1806924 143.69/141.65 c cleaning 11022 clauses out of 22044 with flag 147886/1818925 144.29/142.24 c cleaning 12007 clauses out of 24022 with flag 177299/1831925 144.99/142.90 c cleaning 13007 clauses out of 26014 with flag 207726/1845924 145.59/143.55 c cleaning 13998 clauses out of 28008 with flag 238688/1860925 148.80/146.76 c cleaning 14995 clauses out of 30012 with flag 322246/1876927 152.99/150.92 c cleaning 15993 clauses out of 32014 with flag 420414/1893924 156.28/154.24 c cleaning 17009 clauses out of 34022 with flag 504076/1911925 157.19/155.17 c cleaning 18003 clauses out of 36015 with flag 544941/1930927 158.38/156.33 c cleaning 19005 clauses out of 38010 with flag 588730/1950925 159.72/157.61 c cleaning 19997 clauses out of 40004 with flag 635155/1971924 161.01/159.00 c cleaning 21001 clauses out of 42009 with flag 683839/1993926 162.71/160.66 c cleaning 22002 clauses out of 44008 with flag 736499/2016926 164.41/162.34 c cleaning 22998 clauses out of 46004 with flag 790665/2040924 166.30/164.24 c cleaning 24002 clauses out of 48006 with flag 848560/2065924 168.20/166.10 c cleaning 25003 clauses out of 50006 with flag 906833/2091926 170.39/168.38 c cleaning 26003 clauses out of 52006 with flag 969312/2118929 172.69/170.68 c cleaning 26996 clauses out of 53998 with flag 1031380/2146924 177.28/175.22 c cleaning 27993 clauses out of 56002 with flag 1136267/2175924 186.11/184.07 c cleaning 28999 clauses out of 58009 with flag 1297371/2205924 194.54/192.47 c cleaning 29999 clauses out of 60012 with flag 1446498/2236926 196.93/194.86 c cleaning 31001 clauses out of 62011 with flag 1514461/2268924 200.02/198.00 c cleaning 31999 clauses out of 64010 with flag 1599360/2301924 203.72/201.63 c cleaning 32995 clauses out of 66011 with flag 1696024/2335924 206.91/204.83 c cleaning 34004 clauses out of 68019 with flag 1793794/2370927 208.61/206.51 c cleaning 35007 clauses out of 70014 with flag 1869711/2406926 210.71/208.68 c cleaning 35999 clauses out of 72005 with flag 1945505/2443924 212.92/210.84 c cleaning 36999 clauses out of 74009 with flag 2024418/2481927 215.11/213.02 c cleaning 38004 clauses out of 76007 with flag 2106754/2520924 217.39/215.38 c cleaning 39004 clauses out of 78007 with flag 2191743/2560928 220.28/218.21 c cleaning 39995 clauses out of 80002 with flag 2278142/2601927 223.18/221.15 c cleaning 40997 clauses out of 82007 with flag 2367056/2643927 226.47/224.42 c cleaning 42003 clauses out of 84009 with flag 2458877/2686926 229.66/227.61 c cleaning 42999 clauses out of 86004 with flag 2551605/2730924 232.95/230.94 c cleaning 43999 clauses out of 88005 with flag 2646637/2775924 236.57/234.54 c cleaning 45003 clauses out of 90008 with flag 2744299/2821926 239.86/237.87 c cleaning 45996 clauses out of 92003 with flag 2848667/2868924 242.16/240.17 c cleaning 47004 clauses out of 94008 with flag 2969561/2916925 243.86/241.83 c Got one! Elapsed wall clock time (in seconds):241.703 243.86/241.83 o 44 244.36/242.37 c cleaning 36476 clauses out of 72960 with flag 10870/2942881 244.76/242.72 c cleaning 21235 clauses out of 42482 with flag 23402/2948879 245.35/243.30 c cleaning 14114 clauses out of 28248 with flag 42378/2955880 245.45/243.47 c cleaning 11061 clauses out of 22134 with flag 58514/2963880 245.65/243.66 c cleaning 10032 clauses out of 20072 with flag 76713/2972879 246.06/244.09 c cleaning 10014 clauses out of 20039 with flag 105529/2982878 246.55/244.50 c cleaning 10506 clauses out of 21026 with flag 134025/2993879 246.95/244.92 c cleaning 11247 clauses out of 22520 with flag 163141/3005879 247.35/245.35 c cleaning 12135 clauses out of 24272 with flag 189870/3018878 248.25/246.21 c cleaning 13064 clauses out of 26139 with flag 227918/3032880 248.45/246.47 c Got one! Elapsed wall clock time (in seconds):246.344 248.45/246.47 o 43 248.67/246.65 c cleaning 9325 clauses out of 18657 with flag 6679/3038462 249.07/247.01 c cleaning 7658 clauses out of 15330 with flag 19761/3044460 249.37/247.33 c cleaning 7334 clauses out of 14672 with flag 34962/3051460 250.40/248.36 c cleaning 7640 clauses out of 15337 with flag 63452/3059459 251.40/249.32 c Got one! Elapsed wall clock time (in seconds):249.193 251.40/249.32 o 42 251.75/249.64 c cleaning 9013 clauses out of 18032 with flag 11391/3069794 252.05/249.93 c cleaning 7499 clauses out of 15018 with flag 25268/3075793 252.15/250.08 c Got one! Elapsed wall clock time (in seconds):249.955 252.15/250.08 o 40 252.27/250.18 c cleaning 6451 clauses out of 12913 with flag 4977/3081187 252.72/250.52 c cleaning 6228 clauses out of 12461 with flag 18073/3087186 253.02/250.82 c cleaning 6612 clauses out of 13234 with flag 33486/3094187 253.22/251.02 c cleaning 7312 clauses out of 14623 with flag 49775/3102188 253.82/251.62 c cleaning 8151 clauses out of 16313 with flag 71350/3111190 254.71/252.60 c cleaning 9067 clauses out of 18158 with flag 100150/3121186 256.51/254.30 c cleaning 10040 clauses out of 20091 with flag 143270/3132186 257.61/255.47 c cleaning 11015 clauses out of 22051 with flag 174570/3144186 258.91/256.72 c cleaning 12005 clauses out of 24036 with flag 211341/3157186 260.21/258.04 c cleaning 13003 clauses out of 26031 with flag 251747/3171186 261.70/259.56 c cleaning 14007 clauses out of 28029 with flag 289838/3186187 263.33/261.15 c cleaning 14996 clauses out of 30022 with flag 330955/3202187 265.12/262.99 c cleaning 16012 clauses out of 32027 with flag 377757/3219188 265.92/263.78 c cleaning 17000 clauses out of 34014 with flag 416907/3237187 266.81/264.62 c cleaning 18007 clauses out of 36016 with flag 455071/3256189 267.61/265.47 c cleaning 18999 clauses out of 38008 with flag 495084/3276188 268.71/266.54 c cleaning 20002 clauses out of 40008 with flag 537222/3297187 270.11/267.91 c cleaning 21000 clauses out of 42005 with flag 581323/3319186 271.60/269.46 c cleaning 21996 clauses out of 44006 with flag 627621/3342187 273.21/271.06 c cleaning 23001 clauses out of 46009 with flag 675651/3366186 274.90/272.75 c cleaning 24002 clauses out of 48010 with flag 725655/3391188 276.39/274.25 c cleaning 25002 clauses out of 50007 with flag 777779/3417187 278.20/276.09 c cleaning 25998 clauses out of 52005 with flag 831831/3444187 280.39/278.20 c cleaning 26997 clauses out of 54006 with flag 888192/3472186 282.68/280.50 c cleaning 28005 clauses out of 56009 with flag 946209/3501186 284.88/282.73 c cleaning 29001 clauses out of 58009 with flag 1006681/3531191 287.18/285.08 c cleaning 30001 clauses out of 60005 with flag 1068931/3562188 289.97/287.84 c cleaning 30996 clauses out of 62002 with flag 1133178/3594186 292.76/290.66 c cleaning 31998 clauses out of 64006 with flag 1199622/3627186 296.16/294.04 c cleaning 32998 clauses out of 66008 with flag 1267932/3661186 299.84/297.71 c cleaning 34000 clauses out of 68011 with flag 1338181/3696187 302.93/300.80 c cleaning 35005 clauses out of 70011 with flag 1410374/3732187 306.43/304.33 c cleaning 36001 clauses out of 72008 with flag 1485020/3769189 310.02/307.99 c cleaning 36999 clauses out of 74006 with flag 1561590/3807188 313.91/311.87 c cleaning 38002 clauses out of 76006 with flag 1640180/3846187 318.40/316.35 c cleaning 38999 clauses out of 78003 with flag 1720271/3886186 323.30/321.22 c cleaning 39999 clauses out of 80005 with flag 1802730/3927187 328.09/326.04 c cleaning 41003 clauses out of 82005 with flag 1892799/3969186 333.08/331.09 c cleaning 41988 clauses out of 84002 with flag 2015413/4012186 336.56/334.53 c cleaning 43004 clauses out of 86014 with flag 2123302/4056186 340.75/338.70 c cleaning 43999 clauses out of 88010 with flag 2245403/4101186 345.15/343.14 c cleaning 45002 clauses out of 90013 with flag 2364532/4147188 356.32/354.36 c cleaning 45993 clauses out of 92009 with flag 2545017/4194186 367.49/365.51 c cleaning 46988 clauses out of 94016 with flag 2727515/4242186 385.45/383.55 c cleaning 48010 clauses out of 96030 with flag 2991047/4291188 393.07/391.01 c cleaning 49002 clauses out of 98020 with flag 3151147/4341188 399.15/397.15 c cleaning 49999 clauses out of 100016 with flag 3302611/4392186 404.84/402.80 c cleaning 50999 clauses out of 102018 with flag 3437793/4444187 410.12/408.03 c Got one! Elapsed wall clock time (in seconds):407.907 410.12/408.03 o 39 411.01/408.99 c cleaning 53087 clauses out of 106183 with flag 11269/4499351 411.51/409.44 c cleaning 29544 clauses out of 59096 with flag 23929/4505351 412.31/410.21 c cleaning 18275 clauses out of 36555 with flag 42781/4512354 413.11/411.08 c cleaning 13133 clauses out of 26279 with flag 66285/4520353 413.80/411.76 c Got one! Elapsed wall clock time (in seconds):411.637 413.80/411.76 o 38 414.11/412.10 c cleaning 11928 clauses out of 23861 with flag 11045/4531068 414.50/412.40 c cleaning 8962 clauses out of 17933 with flag 24638/4537068 415.21/413.16 c cleaning 7984 clauses out of 15972 with flag 45320/4544069 415.50/413.45 c cleaning 7987 clauses out of 15987 with flag 62624/4552068 415.80/413.76 c cleaning 8492 clauses out of 17001 with flag 81923/4561069 416.10/414.10 c cleaning 9254 clauses out of 18508 with flag 103325/4571068 416.50/414.48 c cleaning 10126 clauses out of 20255 with flag 126393/4582069 417.00/414.92 c cleaning 11063 clauses out of 22128 with flag 151983/4594068 417.60/415.52 c cleaning 12029 clauses out of 24065 with flag 181435/4607068 418.20/416.14 c cleaning 13016 clauses out of 26037 with flag 214218/4621069 418.89/416.88 c cleaning 14007 clauses out of 28020 with flag 248353/4636068 419.20/417.10 c Got one! Elapsed wall clock time (in seconds):416.975 419.20/417.10 o 37 419.29/417.23 c cleaning 9548 clauses out of 19108 with flag 4519/4641163 419.59/417.57 c cleaning 7775 clauses out of 15561 with flag 17124/4647164 419.99/417.93 c cleaning 7392 clauses out of 14785 with flag 32214/4654163 420.59/418.57 c cleaning 7693 clauses out of 15394 with flag 50690/4662164 421.49/419.45 c cleaning 8341 clauses out of 16702 with flag 71350/4671165 422.48/420.48 c cleaning 9172 clauses out of 18359 with flag 96524/4681163 423.49/421.44 c cleaning 10087 clauses out of 20190 with flag 121851/4692166 424.59/422.58 c cleaning 11041 clauses out of 22100 with flag 150420/4704163 425.98/423.95 c cleaning 12016 clauses out of 24061 with flag 182494/4717165 427.69/425.60 c cleaning 13012 clauses out of 26043 with flag 219879/4731163 428.99/426.99 c cleaning 14007 clauses out of 28032 with flag 258638/4746164 429.78/427.74 c cleaning 15007 clauses out of 30024 with flag 298192/4762163 430.78/428.74 c cleaning 16003 clauses out of 32020 with flag 341730/4779166 433.27/431.23 c cleaning 17001 clauses out of 34014 with flag 403107/4797163 434.08/432.03 c cleaning 17999 clauses out of 36013 with flag 442855/4816163 435.67/433.67 c cleaning 19003 clauses out of 38015 with flag 490361/4836164 437.66/435.66 c cleaning 19996 clauses out of 40012 with flag 544137/4857164 440.06/438.00 c cleaning 20995 clauses out of 42015 with flag 602547/4879163 442.35/440.31 c cleaning 21988 clauses out of 44021 with flag 677762/4902164 443.16/441.11 c cleaning 22999 clauses out of 46033 with flag 748139/4926164 445.16/443.12 c cleaning 24010 clauses out of 48033 with flag 817646/4951163 447.45/445.48 c cleaning 25006 clauses out of 50023 with flag 891471/4977163 451.77/449.76 c cleaning 26002 clauses out of 52021 with flag 990440/5004167 454.46/452.44 c cleaning 27001 clauses out of 54015 with flag 1064236/5032163 456.95/454.94 c cleaning 28001 clauses out of 56014 with flag 1140873/5061163 459.25/457.20 c cleaning 29001 clauses out of 58014 with flag 1233541/5091164 461.64/459.63 c cleaning 30004 clauses out of 60013 with flag 1307203/5122164 463.64/461.61 c cleaning 31001 clauses out of 62008 with flag 1374323/5154163 465.83/463.88 c cleaning 31998 clauses out of 64008 with flag 1451469/5187164 467.33/465.32 c cleaning 32999 clauses out of 66011 with flag 1523203/5221165 472.92/470.95 c cleaning 33997 clauses out of 68010 with flag 1629935/5256163 475.72/473.79 c cleaning 35002 clauses out of 70013 with flag 1716933/5292163 481.11/479.16 c cleaning 35977 clauses out of 72011 with flag 1822492/5329163 482.50/480.58 c Got one! Elapsed wall clock time (in seconds):480.456 482.50/480.58 o 35 483.01/481.02 c cleaning 24035 clauses out of 48081 with flag 12090/5341210 483.30/481.31 c cleaning 15019 clauses out of 30047 with flag 24684/5347211 483.90/481.93 c cleaning 11009 clauses out of 22027 with flag 41659/5354210 484.70/482.73 c cleaning 9503 clauses out of 19019 with flag 62404/5362211 485.89/483.91 c cleaning 9253 clauses out of 18515 with flag 86777/5371210 486.99/485.04 c cleaning 9621 clauses out of 19263 with flag 112446/5381211 488.49/486.58 c cleaning 10314 clauses out of 20641 with flag 143175/5392210 490.09/488.10 c cleaning 11160 clauses out of 22330 with flag 176043/5404213 490.98/489.06 c cleaning 12083 clauses out of 24168 with flag 205388/5417211 491.88/490.00 c cleaning 13042 clauses out of 26085 with flag 235981/5431211 492.77/490.89 c cleaning 14013 clauses out of 28044 with flag 273285/5446212 493.57/491.67 c cleaning 15003 clauses out of 30029 with flag 312435/5462210 494.67/492.77 c cleaning 16004 clauses out of 32026 with flag 356699/5479210 495.67/493.76 c cleaning 17001 clauses out of 34022 with flag 400396/5497210 497.11/495.19 c cleaning 18008 clauses out of 36021 with flag 444151/5516210 498.80/496.81 c cleaning 19004 clauses out of 38013 with flag 502141/5536210 501.00/499.00 c cleaning 19997 clauses out of 40009 with flag 559912/5557210 502.89/500.95 c cleaning 21002 clauses out of 42016 with flag 620709/5579214 504.78/502.85 c cleaning 21996 clauses out of 44010 with flag 678426/5602210 506.78/504.81 c cleaning 23007 clauses out of 46015 with flag 734794/5626211 508.67/506.76 c cleaning 24003 clauses out of 48008 with flag 791082/5651211 510.97/509.07 c cleaning 24997 clauses out of 50004 with flag 851317/5677210 514.46/512.55 c cleaning 25973 clauses out of 52007 with flag 931380/5704210 517.85/515.93 c cleaning 27015 clauses out of 54034 with flag 1013866/5732210 520.75/518.89 c cleaning 28008 clauses out of 56021 with flag 1097719/5761212 523.44/521.57 c cleaning 29003 clauses out of 58011 with flag 1179656/5791210 526.73/524.88 c cleaning 29986 clauses out of 60010 with flag 1258860/5822212 529.63/527.74 c cleaning 31001 clauses out of 62022 with flag 1340092/5854210 532.92/531.01 c cleaning 31998 clauses out of 64022 with flag 1427531/5887211 535.92/534.08 c cleaning 33001 clauses out of 66023 with flag 1518655/5921210 539.30/537.42 c cleaning 34000 clauses out of 68023 with flag 1621477/5956211 542.30/540.48 c cleaning 35002 clauses out of 70022 with flag 1715256/5992210 544.90/543.05 c cleaning 35999 clauses out of 72020 with flag 1808108/6029210 545.89/544.02 c cleaning 37007 clauses out of 74024 with flag 1885079/6067213 546.89/545.06 c cleaning 38005 clauses out of 76015 with flag 1964257/6106211 547.99/546.15 c cleaning 38997 clauses out of 78012 with flag 2045099/6146213 549.13/547.24 c cleaning 40002 clauses out of 80013 with flag 2127939/6187211 550.63/548.71 c cleaning 41001 clauses out of 82010 with flag 2212395/6229210 551.93/550.03 c cleaning 41999 clauses out of 84009 with flag 2298831/6272210 553.22/551.31 c cleaning 42998 clauses out of 86010 with flag 2387734/6316210 554.93/553.08 c cleaning 44000 clauses out of 88012 with flag 2483276/6361210 557.22/555.31 c cleaning 45005 clauses out of 90013 with flag 2578672/6407211 559.51/557.67 c cleaning 46002 clauses out of 92007 with flag 2678625/6454210 561.91/560.07 c cleaning 47002 clauses out of 94005 with flag 2780266/6502210 564.40/562.50 c cleaning 47997 clauses out of 96005 with flag 2879800/6551212 566.50/564.67 c cleaning 49002 clauses out of 98007 with flag 2981736/6601211 569.89/568.03 c cleaning 49994 clauses out of 100005 with flag 3099785/6652211 573.28/571.41 c cleaning 51001 clauses out of 102010 with flag 3229449/6704210 578.67/576.85 c cleaning 52000 clauses out of 104010 with flag 3373879/6757211 582.66/580.86 c cleaning 52997 clauses out of 106010 with flag 3514682/6811211 586.65/584.87 c cleaning 54001 clauses out of 108013 with flag 3627729/6866211 592.04/590.29 c cleaning 55003 clauses out of 110012 with flag 3768157/6922211 596.44/594.63 c cleaning 56004 clauses out of 112008 with flag 3882155/6979210 600.53/598.72 c cleaning 56998 clauses out of 114005 with flag 3998175/7037211 605.32/603.51 c cleaning 57996 clauses out of 116006 with flag 4116219/7096210 610.51/608.78 c cleaning 59003 clauses out of 118010 with flag 4236239/7156210 616.09/614.35 c cleaning 59998 clauses out of 120007 with flag 4358251/7217210 622.68/620.92 c cleaning 61001 clauses out of 122015 with flag 4535701/7279216 629.46/627.71 c cleaning 61999 clauses out of 124009 with flag 4706231/7342211 637.94/636.15 c cleaning 62995 clauses out of 126011 with flag 4887158/7406212 647.21/645.45 c cleaning 64005 clauses out of 128016 with flag 5060238/7471212 653.20/651.46 c cleaning 64999 clauses out of 130009 with flag 5198055/7537210 659.28/657.55 c cleaning 66000 clauses out of 132010 with flag 5339138/7604210 668.16/666.43 c cleaning 67000 clauses out of 134011 with flag 5512687/7672211 683.63/681.90 c cleaning 67997 clauses out of 136011 with flag 5721319/7741211 699.59/697.97 c cleaning 68994 clauses out of 138015 with flag 5941082/7811212 710.77/709.12 c cleaning 70002 clauses out of 140020 with flag 6167767/7882211 713.86/712.21 c Got one! Elapsed wall clock time (in seconds):712.079 713.86/712.21 o 34 714.56/712.93 c cleaning 49887 clauses out of 99785 with flag 11136/7911978 715.16/713.50 c cleaning 27946 clauses out of 55897 with flag 24955/7917977 715.86/714.29 c cleaning 17458 clauses out of 34950 with flag 44684/7924976 716.86/715.05 c cleaning 12738 clauses out of 25494 with flag 66290/7932978 717.64/715.77 c cleaning 10863 clauses out of 21755 with flag 85959/7941977 718.44/716.59 c cleaning 10434 clauses out of 20892 with flag 107623/7951977 719.34/717.40 c cleaning 10722 clauses out of 21459 with flag 135116/7962978 720.34/718.44 c cleaning 11360 clauses out of 22735 with flag 162636/7974976 721.13/719.23 c cleaning 12182 clauses out of 24376 with flag 191331/7987977 722.04/720.17 c cleaning 13091 clauses out of 26195 with flag 221014/8001978 723.33/721.46 c cleaning 14046 clauses out of 28103 with flag 252467/8016977 724.53/722.60 c cleaning 15024 clauses out of 30056 with flag 290499/8032976 725.03/723.18 c cleaning 16015 clauses out of 32033 with flag 324768/8049977 726.52/724.66 c cleaning 17003 clauses out of 34017 with flag 369649/8067976 728.41/726.56 c cleaning 17997 clauses out of 36017 with flag 412432/8086979 730.11/728.20 c cleaning 19006 clauses out of 38017 with flag 460622/8106976 731.81/729.97 c cleaning 20002 clauses out of 40015 with flag 507976/8127980 734.70/732.82 c cleaning 21002 clauses out of 42009 with flag 564838/8149976 736.10/734.23 c cleaning 22000 clauses out of 44009 with flag 612708/8172978 737.09/735.22 c cleaning 22998 clauses out of 46008 with flag 661310/8196977 738.09/736.23 c cleaning 24001 clauses out of 48010 with flag 711455/8221977 739.39/737.56 c cleaning 25004 clauses out of 50008 with flag 766957/8247976 741.68/739.81 c cleaning 25990 clauses out of 52006 with flag 830646/8274978 744.48/742.66 c cleaning 27002 clauses out of 54014 with flag 903698/8302976 747.87/746.06 c cleaning 27993 clauses out of 56012 with flag 980391/8331976 751.26/749.46 c cleaning 28989 clauses out of 58020 with flag 1067054/8361977 753.55/751.74 c cleaning 30003 clauses out of 60030 with flag 1136383/8392976 755.45/753.67 c cleaning 31010 clauses out of 62027 with flag 1202073/8424976 757.55/755.78 c cleaning 32005 clauses out of 64019 with flag 1269682/8457978 759.95/758.14 c cleaning 33006 clauses out of 66015 with flag 1338917/8491979 762.44/760.61 c cleaning 33993 clauses out of 68008 with flag 1411408/8526978 765.94/764.13 c cleaning 35000 clauses out of 70014 with flag 1496466/8562977 771.42/769.67 c cleaning 35996 clauses out of 72015 with flag 1595899/8599978 775.21/773.41 c cleaning 36996 clauses out of 74017 with flag 1688175/8637976 778.91/777.15 c cleaning 38001 clauses out of 76023 with flag 1784084/8676978 782.00/780.22 c cleaning 39007 clauses out of 78021 with flag 1882150/8716977 787.42/785.65 c cleaning 40002 clauses out of 80013 with flag 1999313/8757976 792.11/790.35 c cleaning 40994 clauses out of 82011 with flag 2124320/8799976 795.60/793.87 c cleaning 41995 clauses out of 84017 with flag 2224550/8842976 799.69/798.00 c cleaning 43007 clauses out of 86022 with flag 2333438/8886976 804.79/803.08 c cleaning 44007 clauses out of 88019 with flag 2443046/8931980 809.17/807.44 c cleaning 44997 clauses out of 90008 with flag 2545751/8977976 813.36/811.63 c cleaning 45997 clauses out of 92011 with flag 2667533/9024976 817.35/815.62 c cleaning 47001 clauses out of 94017 with flag 2789584/9072979 833.52/831.80 c cleaning 47988 clauses out of 96014 with flag 2993090/9121977 846.69/845.05 c cleaning 49005 clauses out of 98026 with flag 3191535/9171977 849.48/847.87 c cleaning 50005 clauses out of 100024 with flag 3300995/9222980 852.47/850.85 c cleaning 50997 clauses out of 102015 with flag 3410590/9274976 855.57/853.97 c cleaning 52002 clauses out of 104020 with flag 3523421/9327978 858.67/857.09 c cleaning 53003 clauses out of 106017 with flag 3637828/9381977 862.35/860.73 c cleaning 53997 clauses out of 108013 with flag 3758404/9436976 867.14/865.52 c cleaning 55001 clauses out of 110016 with flag 3878124/9492976 872.23/870.61 c cleaning 56005 clauses out of 112015 with flag 3999145/9549976 877.32/875.75 c cleaning 56996 clauses out of 114012 with flag 4131308/9607978 882.21/880.69 c cleaning 57996 clauses out of 116016 with flag 4259524/9666978 886.80/885.20 c cleaning 59009 clauses out of 118019 with flag 4400761/9726977 892.78/891.27 c cleaning 59993 clauses out of 120009 with flag 4540783/9787976 899.95/898.34 c cleaning 60999 clauses out of 122016 with flag 4682408/9849976 906.33/904.78 c cleaning 62004 clauses out of 124019 with flag 4829844/9912978 911.52/909.98 c cleaning 63000 clauses out of 126015 with flag 4973208/9976978 915.41/913.86 c cleaning 63997 clauses out of 128014 with flag 5111579/10041977 918.71/917.16 c cleaning 65001 clauses out of 130017 with flag 5249682/10107977 921.90/920.33 c cleaning 65994 clauses out of 132015 with flag 5385941/10174976 924.79/923.24 c cleaning 66996 clauses out of 134022 with flag 5523129/10242977 927.88/926.38 c cleaning 68001 clauses out of 136026 with flag 5663064/10311977 932.88/931.35 c cleaning 69003 clauses out of 138024 with flag 5820436/10381976 935.87/934.36 c cleaning 70002 clauses out of 140023 with flag 5967401/10452978 938.57/937.06 c cleaning 70999 clauses out of 142020 with flag 6111910/10524977 945.05/943.59 c cleaning 72004 clauses out of 144020 with flag 6268259/10597976 953.43/951.99 c cleaning 73001 clauses out of 146022 with flag 6461702/10671982 963.51/962.02 c cleaning 73998 clauses out of 148016 with flag 6705819/10746977 975.10/973.54 c cleaning 75006 clauses out of 150018 with flag 6905264/10822977 978.19/976.62 c cleaning 75999 clauses out of 152013 with flag 7059280/10899978 981.49/979.94 c cleaning 76998 clauses out of 154013 with flag 7215289/10977977 987.87/986.37 c cleaning 78003 clauses out of 156015 with flag 7378332/11056977 995.45/993.95 c cleaning 78997 clauses out of 158011 with flag 7560223/11136976 996.25/994.78 c Got one! Elapsed wall clock time (in seconds):994.655 996.25/994.78 o 33 996.95/995.42 c cleaning 48239 clauses out of 96493 with flag 10853/11154455 997.35/995.83 c cleaning 27119 clauses out of 54252 with flag 24246/11160453 998.04/996.59 c cleaning 17054 clauses out of 34133 with flag 42771/11167453 999.04/997.50 c cleaning 12530 clauses out of 25079 with flag 63923/11175453 1000.04/998.52 c cleaning 9797 clauses out of 21551 with flag 82652/11184455 1000.94/999.46 c cleaning 9989 clauses out of 21752 with flag 104834/11194453 1001.84/1000.34 c cleaning 11012 clauses out of 22764 with flag 128333/11205454 1002.74/1001.24 c cleaning 11872 clauses out of 23753 with flag 153158/11217455 1003.83/1002.30 c cleaning 12431 clauses out of 24880 with flag 180115/11230454 1005.03/1003.51 c cleaning 13224 clauses out of 26449 with flag 209480/11244454 1006.17/1004.62 c cleaning 14109 clauses out of 28228 with flag 241890/11259457 1007.67/1006.11 c cleaning 15050 clauses out of 30116 with flag 274896/11275454 1009.26/1007.70 c cleaning 16023 clauses out of 32065 with flag 309955/11292453 1010.66/1009.14 c cleaning 17009 clauses out of 34042 with flag 350489/11310453 1011.86/1010.32 c cleaning 18004 clauses out of 36035 with flag 393350/11329455 1014.66/1013.19 c cleaning 19009 clauses out of 38030 with flag 450947/11349454 1016.25/1014.76 c cleaning 20010 clauses out of 40020 with flag 499749/11370453 1017.85/1016.38 c cleaning 21002 clauses out of 42011 with flag 550127/11392454 1020.45/1018.97 c cleaning 21990 clauses out of 44010 with flag 609198/11415455 1024.24/1022.77 c cleaning 23006 clauses out of 46022 with flag 676068/11439457 1027.03/1025.50 c cleaning 23994 clauses out of 48012 with flag 737657/11464453 1035.21/1033.74 c cleaning 24985 clauses out of 50018 with flag 877271/11490453 1044.29/1042.85 c cleaning 25990 clauses out of 52033 with flag 1047892/11517453 1054.23/1052.75 c cleaning 27004 clauses out of 54044 with flag 1230849/11545454 1060.52/1059.09 c cleaning 28013 clauses out of 56040 with flag 1353145/11574454 1064.51/1063.07 c cleaning 29008 clauses out of 58026 with flag 1437535/11604453 1067.61/1066.14 c cleaning 29995 clauses out of 60018 with flag 1510027/11635453 1072.29/1070.84 c cleaning 31007 clauses out of 62025 with flag 1591362/11667455 1077.08/1075.66 c cleaning 32000 clauses out of 64017 with flag 1675673/11700454 1081.77/1080.36 c cleaning 32994 clauses out of 66016 with flag 1764394/11734453 1084.36/1082.93 c cleaning 34001 clauses out of 68022 with flag 1844798/11769453 1087.25/1085.85 c cleaning 35005 clauses out of 70021 with flag 1940938/11805453 1089.45/1088.01 c cleaning 36008 clauses out of 72017 with flag 2016604/11842454 1091.55/1090.17 c cleaning 37000 clauses out of 74009 with flag 2100327/11880454 1093.64/1092.22 c cleaning 38002 clauses out of 76011 with flag 2179427/11919456 1095.63/1094.29 c cleaning 39001 clauses out of 78006 with flag 2259676/11959453 1098.23/1096.85 c cleaning 39998 clauses out of 80005 with flag 2343120/12000453 1100.72/1099.36 c cleaning 41001 clauses out of 82009 with flag 2430059/12042455 1103.82/1102.45 c cleaning 42005 clauses out of 84009 with flag 2520063/12085456 1106.71/1105.32 c cleaning 42996 clauses out of 86002 with flag 2610997/12129454 1109.90/1108.51 c cleaning 44002 clauses out of 88005 with flag 2703101/12174453 1113.40/1112.10 c cleaning 45003 clauses out of 90005 with flag 2795775/12220455 1117.49/1116.14 c cleaning 45997 clauses out of 92000 with flag 2891915/12267453 1121.38/1120.05 c cleaning 46999 clauses out of 94005 with flag 2990265/12315455 1125.38/1124.07 c cleaning 48003 clauses out of 96006 with flag 3090298/12364455 1129.67/1128.35 c cleaning 49001 clauses out of 98003 with flag 3190773/12414455 1134.46/1133.16 c cleaning 49999 clauses out of 100001 with flag 3293394/12465454 1139.15/1137.82 c cleaning 50996 clauses out of 102001 with flag 3397807/12517453 1145.13/1143.88 c cleaning 52000 clauses out of 104005 with flag 3523610/12570453 1149.52/1148.23 c cleaning 52999 clauses out of 106005 with flag 3634159/12624453 1153.91/1152.66 c cleaning 54000 clauses out of 108009 with flag 3746915/12679456 1158.31/1157.02 c cleaning 54997 clauses out of 110008 with flag 3861007/12735455 1163.19/1161.97 c cleaning 55999 clauses out of 112009 with flag 3975545/12792453 1168.35/1167.04 c cleaning 57003 clauses out of 114010 with flag 4094015/12850453 1174.23/1172.97 c cleaning 57994 clauses out of 116007 with flag 4215187/12909453 1179.83/1178.54 c cleaning 59002 clauses out of 118013 with flag 4337666/12969453 1186.52/1185.26 c cleaning 60001 clauses out of 120011 with flag 4462829/13030453 1193.20/1191.96 c cleaning 60999 clauses out of 122010 with flag 4589107/13092453 1200.48/1199.28 c cleaning 62003 clauses out of 124012 with flag 4718701/13155454 1208.27/1207.01 c cleaning 63000 clauses out of 126008 with flag 4849507/13219453 1215.55/1214.35 c cleaning 64003 clauses out of 128012 with flag 4982110/13284457 1223.23/1222.04 c cleaning 65003 clauses out of 130005 with flag 5115467/13350453 1231.32/1230.17 c cleaning 65999 clauses out of 132002 with flag 5251260/13417453 1239.10/1237.92 c cleaning 66995 clauses out of 134003 with flag 5388975/13485453 1246.98/1245.89 c cleaning 68000 clauses out of 136008 with flag 5528527/13554453 1255.66/1254.53 c cleaning 69000 clauses out of 138010 with flag 5669977/13624455 1264.94/1263.80 c cleaning 70001 clauses out of 140010 with flag 5812840/13695455 1274.42/1273.31 c cleaning 71002 clauses out of 142008 with flag 5958074/13767454 1284.10/1283.00 c cleaning 71996 clauses out of 144005 with flag 6107431/13840453 1296.98/1295.96 c cleaning 73001 clauses out of 146011 with flag 6263780/13914455 1308.95/1307.91 c cleaning 74003 clauses out of 148009 with flag 6420090/13989454 1320.22/1319.28 c cleaning 74998 clauses out of 150005 with flag 6577715/14065453 1333.89/1332.91 c cleaning 76004 clauses out of 152009 with flag 6738141/14142455 1346.98/1346.08 c cleaning 76997 clauses out of 154003 with flag 6899411/14220453 1360.34/1359.40 c cleaning 78002 clauses out of 156007 with flag 7061681/14299454 1374.01/1373.11 c cleaning 78994 clauses out of 158004 with flag 7225341/14379453 1389.98/1389.15 c cleaning 80003 clauses out of 160012 with flag 7393297/14460455 1397.66/1396.85 c Got one! Elapsed wall clock time (in seconds):1396.721 1397.66/1396.85 o 32 1398.56/1397.71 c cleaning 72519 clauses out of 145046 with flag 10603/14525492 1398.96/1398.18 c cleaning 39258 clauses out of 78526 with flag 23084/14531491 1399.56/1398.73 c cleaning 23131 clauses out of 46269 with flag 39229/14538492 1400.35/1399.50 c cleaning 15562 clauses out of 31138 with flag 62473/14546492 1401.25/1400.46 c cleaning 12052 clauses out of 24575 with flag 82515/14555491 1402.15/1401.34 c cleaning 10002 clauses out of 22523 with flag 104973/14565491 1402.95/1402.10 c cleaning 10994 clauses out of 23522 with flag 128716/14576492 1403.55/1402.78 c cleaning 11995 clauses out of 24527 with flag 159116/14588491 1404.95/1404.17 c cleaning 12759 clauses out of 25534 with flag 188128/14601493 1406.24/1405.40 c cleaning 13375 clauses out of 26773 with flag 218710/14615491 1407.24/1406.45 c cleaning 14192 clauses out of 28398 with flag 252314/14630491 1407.74/1406.98 c cleaning 15101 clauses out of 30206 with flag 285032/14646491 1408.84/1408.09 c cleaning 16048 clauses out of 32107 with flag 323682/14663493 1410.53/1409.72 c cleaning 17021 clauses out of 34057 with flag 365359/14681491 1412.22/1411.45 c cleaning 18009 clauses out of 36039 with flag 412204/14700494 1413.83/1413.10 c cleaning 19006 clauses out of 38029 with flag 456305/14720493 1415.82/1415.03 c cleaning 20002 clauses out of 40021 with flag 503487/14741491 1418.01/1417.22 c cleaning 21001 clauses out of 42020 with flag 552537/14763492 1420.40/1419.60 c cleaning 22005 clauses out of 44018 with flag 605849/14786491 1421.91/1421.12 c cleaning 22996 clauses out of 46015 with flag 660307/14810493 1423.60/1422.89 c cleaning 24003 clauses out of 48017 with flag 713110/14835491 1424.60/1423.90 c cleaning 25002 clauses out of 50015 with flag 765975/14861492 1425.80/1425.04 c cleaning 25998 clauses out of 52012 with flag 821002/14888491 1427.09/1426.39 c cleaning 27004 clauses out of 54014 with flag 877933/14916491 1428.59/1427.81 c cleaning 28004 clauses out of 56010 with flag 937053/14945491 1430.18/1429.42 c cleaning 28999 clauses out of 58006 with flag 998035/14975491 1431.78/1431.08 c cleaning 30002 clauses out of 60007 with flag 1060759/15006491 1433.89/1433.15 c cleaning 30997 clauses out of 62005 with flag 1125611/15038491 1436.48/1435.70 c cleaning 31999 clauses out of 64008 with flag 1194044/15071491 1439.77/1439.09 c cleaning 32999 clauses out of 66009 with flag 1273299/15105491 1442.96/1442.27 c cleaning 34001 clauses out of 68010 with flag 1358647/15140491 1446.64/1445.80 c cleaning 34995 clauses out of 70010 with flag 1447179/15176492 1450.32/1449.53 c cleaning 36000 clauses out of 72014 with flag 1533440/15213491 1454.01/1453.29 c cleaning 37007 clauses out of 74015 with flag 1618232/15251492 1458.30/1457.58 c cleaning 37994 clauses out of 76009 with flag 1741046/15290493 1461.59/1460.82 c cleaning 39004 clauses out of 78015 with flag 1841293/15330493 1465.28/1464.51 c cleaning 39998 clauses out of 80009 with flag 1949064/15371491 1472.26/1471.53 c cleaning 40983 clauses out of 82011 with flag 2057394/15413491 1476.16/1475.41 c cleaning 42006 clauses out of 84032 with flag 2163439/15456495 1478.55/1477.88 c cleaning 43011 clauses out of 86022 with flag 2251831/15500491 1481.15/1480.46 c cleaning 44004 clauses out of 88013 with flag 2342845/15545493 1484.04/1483.33 c cleaning 45001 clauses out of 90007 with flag 2435796/15591491 1486.93/1486.21 c cleaning 45996 clauses out of 92006 with flag 2537574/15638491 1489.93/1489.26 c cleaning 47000 clauses out of 94012 with flag 2635539/15686493 1493.12/1492.44 c cleaning 48004 clauses out of 96011 with flag 2734709/15735492 1496.31/1495.60 c cleaning 48998 clauses out of 98006 with flag 2837480/15785491 1499.81/1499.12 c cleaning 50006 clauses out of 100011 with flag 2940396/15836494 1503.50/1502.80 c cleaning 50999 clauses out of 102004 with flag 3044472/15888493 1507.49/1506.82 c cleaning 51997 clauses out of 104004 with flag 3154962/15941492 1513.07/1512.42 c cleaning 52999 clauses out of 106006 with flag 3282050/15995491 1519.96/1519.35 c cleaning 54003 clauses out of 108007 with flag 3415717/16050491 1524.05/1523.44 c Got one! Elapsed wall clock time (in seconds):1523.309 1524.05/1523.44 o 31 1524.76/1524.14 c cleaning 51004 clauses out of 102018 with flag 11301/16098505 1525.16/1524.57 c cleaning 28506 clauses out of 57014 with flag 23998/16104505 1525.66/1525.03 c cleaning 17750 clauses out of 35508 with flag 39905/16111505 1525.76/1525.19 c cleaning 12756 clauses out of 25759 with flag 56313/16119506 1526.76/1526.14 c cleaning 8998 clauses out of 22002 with flag 77898/16128505 1528.45/1527.86 c cleaning 9977 clauses out of 23006 with flag 103095/16138507 1529.04/1528.45 c cleaning 11002 clauses out of 24027 with flag 129937/16149505 1529.65/1529.08 c cleaning 12002 clauses out of 25025 with flag 154921/16161505 1530.14/1529.57 c cleaning 13002 clauses out of 26025 with flag 181809/16174507 1530.64/1530.01 c cleaning 13506 clauses out of 27024 with flag 210065/16188508 1531.84/1531.22 c cleaning 14249 clauses out of 28516 with flag 246465/16203506 1534.03/1533.47 c cleaning 15125 clauses out of 30266 with flag 293064/16219505 1537.73/1537.12 c cleaning 16066 clauses out of 32141 with flag 345886/16236505 1541.31/1540.76 c cleaning 17034 clauses out of 34076 with flag 413346/16254506 1542.11/1541.53 c cleaning 18017 clauses out of 36043 with flag 453801/16273507 1544.11/1543.54 c cleaning 19006 clauses out of 38024 with flag 499572/16293505 1545.00/1544.41 c cleaning 20009 clauses out of 40018 with flag 543783/16314505 1546.10/1545.50 c cleaning 21003 clauses out of 42011 with flag 589392/16336507 1547.20/1546.60 c cleaning 21997 clauses out of 44008 with flag 637250/16359507 1548.49/1547.97 c cleaning 23002 clauses out of 46009 with flag 687720/16383505 1550.69/1550.19 c cleaning 24000 clauses out of 48007 with flag 744510/16408505 1552.29/1551.77 c cleaning 25003 clauses out of 50008 with flag 798012/16434506 1554.18/1553.63 c cleaning 26002 clauses out of 52004 with flag 856775/16461505 1556.18/1555.63 c cleaning 26996 clauses out of 54002 with flag 918656/16489505 1558.37/1557.89 c cleaning 28002 clauses out of 56007 with flag 984429/16518506 1560.57/1560.09 c cleaning 29000 clauses out of 58005 with flag 1049412/16548506 1563.26/1562.73 c cleaning 30000 clauses out of 60005 with flag 1118353/16579506 1565.75/1565.22 c cleaning 31002 clauses out of 62004 with flag 1186168/16611505 1568.44/1567.92 c cleaning 32002 clauses out of 64005 with flag 1258107/16644508 1571.44/1570.90 c cleaning 33001 clauses out of 66001 with flag 1333268/16678506 1574.23/1573.78 c cleaning 33997 clauses out of 68000 with flag 1409634/16713506 1577.32/1576.85 c cleaning 35000 clauses out of 70005 with flag 1487940/16749508 1584.70/1584.28 c cleaning 35999 clauses out of 72002 with flag 1600679/16786505 1599.06/1598.65 c cleaning 36989 clauses out of 74003 with flag 1775250/16824505 1615.01/1614.57 c cleaning 38005 clauses out of 76018 with flag 1967201/16863509 1620.60/1620.14 c cleaning 38998 clauses out of 78011 with flag 2086114/16903507 1624.88/1624.45 c cleaning 40003 clauses out of 80011 with flag 2185766/16944505 1629.17/1628.73 c cleaning 41003 clauses out of 82008 with flag 2287561/16986505 1634.26/1633.81 c cleaning 41992 clauses out of 84006 with flag 2402612/17029506 1639.35/1638.94 c cleaning 43007 clauses out of 86014 with flag 2519242/17073506 1644.04/1643.67 c cleaning 43998 clauses out of 88007 with flag 2628704/17118506 1649.02/1648.69 c cleaning 44980 clauses out of 90008 with flag 2736607/17164505 1653.71/1653.37 c cleaning 46009 clauses out of 92028 with flag 2843542/17211505 1658.80/1658.41 c cleaning 47001 clauses out of 94019 with flag 2964261/17259505 1664.29/1663.90 c cleaning 47997 clauses out of 96018 with flag 3087489/17308505 1667.58/1667.30 c cleaning 49011 clauses out of 98021 with flag 3194848/17358505 1671.08/1670.71 c cleaning 49999 clauses out of 100012 with flag 3296855/17409507 1674.38/1674.06 c cleaning 51003 clauses out of 102011 with flag 3400853/17461505 1677.87/1677.56 c cleaning 52000 clauses out of 104008 with flag 3506853/17514505 1681.56/1681.28 c cleaning 52999 clauses out of 106012 with flag 3614877/17568509 1685.95/1685.64 c cleaning 54002 clauses out of 108013 with flag 3724911/17623509 1690.54/1690.24 c cleaning 54998 clauses out of 110008 with flag 3836942/17679506 1695.34/1695.01 c cleaning 55998 clauses out of 112009 with flag 3950997/17736505 1700.62/1700.33 c cleaning 57003 clauses out of 114011 with flag 4067291/17794505 1706.01/1705.72 c cleaning 58003 clauses out of 116008 with flag 4185453/17853505 1710.50/1710.23 c cleaning 59000 clauses out of 118006 with flag 4305601/17913506 1715.78/1715.58 c cleaning 60001 clauses out of 120006 with flag 4427945/17974506 1721.28/1721.08 c cleaning 60999 clauses out of 122005 with flag 4552293/18036506 1727.16/1726.96 c cleaning 62000 clauses out of 124006 with flag 4678408/18099506 1733.44/1733.21 c cleaning 63002 clauses out of 126008 with flag 4806554/18163508 1739.55/1739.21 c cleaning 63996 clauses out of 128004 with flag 4936723/18228506 1746.34/1746.06 c cleaning 64999 clauses out of 130007 with flag 5068995/18294505 1753.52/1753.27 c cleaning 66004 clauses out of 132009 with flag 5203106/18361506 1760.71/1760.40 c cleaning 66996 clauses out of 134005 with flag 5339328/18429506 1768.30/1768.09 c cleaning 68004 clauses out of 136010 with flag 5477820/18498507 1776.17/1775.99 c cleaning 69000 clauses out of 138006 with flag 5617877/18568507 1784.45/1784.28 c cleaning 70002 clauses out of 140005 with flag 5759958/18639506 1793.13/1792.94 c cleaning 70996 clauses out of 142002 with flag 5904110/18711505 1802.11/1801.97 c cleaning 72004 clauses out of 144007 with flag 6050288/18784506 1810.80/1810.68 c cleaning 73001 clauses out of 146003 with flag 6198518/18858506 1820.18/1820.06 c cleaning 73999 clauses out of 148002 with flag 6348630/18933506 1830.35/1830.21 c cleaning 75000 clauses out of 150004 with flag 6501332/19009507 1841.63/1841.56 c cleaning 76000 clauses out of 152005 with flag 6655853/19086508 1851.31/1851.29 c cleaning 76998 clauses out of 154003 with flag 6812428/19164506 1861.38/1861.39 c cleaning 77997 clauses out of 156004 with flag 6971318/19243505 1871.96/1871.99 c cleaning 79003 clauses out of 158007 with flag 7132597/19323505 1882.44/1882.40 c cleaning 79995 clauses out of 160004 with flag 7295210/19404505 1893.22/1893.26 c cleaning 80999 clauses out of 162009 with flag 7459532/19486505 1904.90/1904.92 c cleaning 82003 clauses out of 164010 with flag 7626091/19569505 1917.17/1917.28 c cleaning 83000 clauses out of 166008 with flag 7794458/19653506 1929.84/1929.96 c cleaning 84004 clauses out of 168010 with flag 7964712/19738508 1943.01/1943.19 c cleaning 84995 clauses out of 170003 with flag 8137881/19824505 1955.78/1955.91 c cleaning 86000 clauses out of 172008 with flag 8312472/19911505 1968.65/1968.83 c cleaning 86998 clauses out of 174008 with flag 8489235/19999505 1981.53/1981.76 c cleaning 88004 clauses out of 176011 with flag 8667561/20088506 1995.60/1995.85 c cleaning 89001 clauses out of 178008 with flag 8848037/20178507 2009.47/2009.74 c cleaning 90001 clauses out of 180005 with flag 9030479/20269505 2024.54/2024.81 c cleaning 91000 clauses out of 182006 with flag 9214706/20361507 2038.81/2039.10 c cleaning 92001 clauses out of 184005 with flag 9401052/20454506 2054.67/2055.10 c cleaning 92998 clauses out of 186003 with flag 9589297/20548505 2071.44/2071.85 c cleaning 94000 clauses out of 188008 with flag 9779568/20643508 2091.00/2091.46 c cleaning 94999 clauses out of 190006 with flag 10000940/20739506 2101.38/2101.89 c Got one! Elapsed wall clock time (in seconds):2101.76 2101.38/2101.89 o 30 2103.67/2104.12 c cleaning 96806 clauses out of 193636 with flag 10895/20838135 2104.57/2105.02 c cleaning 51405 clauses out of 102830 with flag 23472/20844135 2105.28/2105.67 c cleaning 29204 clauses out of 58425 with flag 38254/20851135 2105.97/2106.31 c cleaning 18607 clauses out of 37223 with flag 60357/20859137 2106.17/2106.55 c cleaning 13416 clauses out of 27615 with flag 80898/20868136 2106.47/2106.87 c cleaning 9999 clauses out of 24198 with flag 102430/20878135 2106.77/2107.16 c cleaning 11002 clauses out of 25199 with flag 125243/20889135 2107.16/2107.50 c cleaning 11992 clauses out of 26198 with flag 150410/20901136 2107.46/2107.87 c cleaning 13003 clauses out of 27205 with flag 177452/20914135 2107.85/2108.24 c cleaning 14003 clauses out of 28204 with flag 205589/20928137 2108.35/2108.76 c cleaning 14595 clauses out of 29199 with flag 237046/20943135 2108.95/2109.31 c cleaning 15301 clauses out of 30604 with flag 270274/20959135 2109.45/2109.89 c cleaning 16149 clauses out of 32306 with flag 306088/20976138 2110.15/2110.57 c cleaning 17071 clauses out of 34154 with flag 343296/20994135 2111.25/2111.67 c cleaning 18037 clauses out of 36083 with flag 385948/21013135 2112.75/2113.19 c cleaning 19018 clauses out of 38046 with flag 435278/21033135 2113.54/2113.90 c cleaning 20005 clauses out of 40030 with flag 484331/21054137 2114.04/2114.47 c cleaning 21011 clauses out of 42025 with flag 529336/21076137 2115.84/2116.24 c cleaning 21995 clauses out of 44012 with flag 587356/21099135 2117.93/2118.34 c cleaning 23003 clauses out of 46018 with flag 640128/21123136 2120.33/2120.76 c cleaning 24000 clauses out of 48018 with flag 693920/21148139 2122.83/2123.29 c cleaning 24998 clauses out of 50015 with flag 750531/21174136 2124.92/2125.34 c cleaning 25991 clauses out of 52017 with flag 810545/21201136 2127.32/2127.72 c cleaning 27007 clauses out of 54026 with flag 876693/21229136 2129.51/2129.95 c cleaning 28004 clauses out of 56018 with flag 945251/21258135 2131.81/2132.20 c cleaning 29002 clauses out of 58014 with flag 1019553/21288135 2133.80/2134.21 c cleaning 30007 clauses out of 60014 with flag 1088684/21319137 2135.70/2136.16 c cleaning 31003 clauses out of 62005 with flag 1162039/21351135 2138.29/2138.74 c cleaning 31996 clauses out of 64002 with flag 1248163/21384135 2141.69/2142.14 c cleaning 32996 clauses out of 66006 with flag 1339477/21418135 2146.17/2146.61 c cleaning 34000 clauses out of 68010 with flag 1435106/21453135 2149.37/2149.87 c cleaning 34999 clauses out of 70011 with flag 1524640/21489136 2153.36/2153.85 c cleaning 36005 clauses out of 72015 with flag 1615482/21526139 2159.65/2160.19 c cleaning 36997 clauses out of 74007 with flag 1719898/21564136 2162.04/2162.54 c cleaning 38002 clauses out of 76009 with flag 1803177/21603135 2165.13/2165.69 c cleaning 38999 clauses out of 78008 with flag 1893741/21643136 2168.22/2168.70 c cleaning 40002 clauses out of 80008 with flag 1988169/21684135 2171.42/2171.97 c cleaning 41000 clauses out of 82007 with flag 2086578/21726136 2174.41/2174.99 c cleaning 42001 clauses out of 84006 with flag 2182731/21769135 2177.61/2178.18 c cleaning 43003 clauses out of 86006 with flag 2278658/21813136 2181.69/2182.28 c cleaning 43994 clauses out of 88004 with flag 2378723/21858137 2193.47/2194.08 c cleaning 45005 clauses out of 90009 with flag 2528100/21904136 2206.24/2206.88 c cleaning 45997 clauses out of 92004 with flag 2706904/21951136 2210.33/2210.95 c cleaning 46999 clauses out of 94008 with flag 2814210/21999137 2213.92/2214.55 c cleaning 48000 clauses out of 96007 with flag 2923494/22048135 2218.65/2218.90 c cleaning 48997 clauses out of 98008 with flag 3042078/22098136 2224.44/2224.76 c cleaning 49993 clauses out of 100010 with flag 3180185/22149135 2230.52/2230.86 c cleaning 51004 clauses out of 102020 with flag 3322270/22201138 2234.82/2235.18 c cleaning 52003 clauses out of 104013 with flag 3457431/22254135 2239.40/2239.72 c cleaning 53002 clauses out of 106011 with flag 3596993/22308136 2243.10/2243.46 c cleaning 53998 clauses out of 108012 with flag 3716524/22363139 2246.79/2247.19 c cleaning 55008 clauses out of 110018 with flag 3829043/22419143 2251.18/2251.55 c cleaning 56000 clauses out of 112004 with flag 3943733/22476137 2255.37/2255.70 c cleaning 57002 clauses out of 114004 with flag 4060447/22534137 2261.25/2261.60 c cleaning 57999 clauses out of 116001 with flag 4183830/22593136 2267.95/2268.34 c cleaning 58992 clauses out of 118002 with flag 4336696/22653136 2270.44/2270.86 c cleaning 60001 clauses out of 120009 with flag 4462164/22714135 2273.44/2273.81 c cleaning 61003 clauses out of 122009 with flag 4586172/22776136 2277.93/2278.36 c cleaning 61995 clauses out of 124005 with flag 4735078/22839135 2284.01/2284.50 c cleaning 63003 clauses out of 126011 with flag 4896494/22903136 2288.61/2289.05 c cleaning 64000 clauses out of 128007 with flag 5030522/22968135 2293.89/2294.32 c cleaning 65004 clauses out of 130008 with flag 5165863/23034136 2308.57/2309.09 c cleaning 65989 clauses out of 132005 with flag 5382002/23101137 2315.75/2316.23 c cleaning 66995 clauses out of 134014 with flag 5552123/23169135 2321.44/2322.00 c cleaning 68002 clauses out of 136020 with flag 5715822/23238136 2324.23/2324.71 c cleaning 69000 clauses out of 138019 with flag 5856240/23308137 2326.82/2327.35 c cleaning 70001 clauses out of 140018 with flag 5998624/23379136 2329.62/2330.18 c cleaning 70997 clauses out of 142018 with flag 6143464/23451137 2333.31/2333.87 c cleaning 72008 clauses out of 144021 with flag 6293653/23524137 2339.10/2339.66 c cleaning 73005 clauses out of 146011 with flag 6449348/23598135 2344.99/2345.55 c cleaning 73994 clauses out of 148006 with flag 6606787/23673135 2351.52/2352.05 c cleaning 75004 clauses out of 150014 with flag 6764591/23749137 2358.00/2358.51 c cleaning 75998 clauses out of 152010 with flag 6922438/23826137 2365.38/2365.96 c cleaning 77002 clauses out of 154012 with flag 7081808/23904137 2372.87/2373.42 c cleaning 78000 clauses out of 156010 with flag 7242039/23983137 2380.25/2380.82 c cleaning 78996 clauses out of 158008 with flag 7406470/24063135 2388.44/2389.08 c cleaning 80003 clauses out of 160015 with flag 7572289/24144138 2397.12/2397.73 c cleaning 80996 clauses out of 162009 with flag 7739351/24226135 2406.70/2407.37 c cleaning 82003 clauses out of 164013 with flag 7909200/24309135 2415.68/2416.38 c cleaning 83000 clauses out of 166011 with flag 8080739/24393136 2424.47/2425.10 c cleaning 84003 clauses out of 168012 with flag 8253852/24478137 2433.74/2434.45 c cleaning 84996 clauses out of 170007 with flag 8428339/24564135 2443.82/2444.58 c cleaning 86003 clauses out of 172011 with flag 8604049/24651135 2454.50/2455.22 c cleaning 86996 clauses out of 174008 with flag 8782830/24739135 2465.98/2466.77 c cleaning 88001 clauses out of 176013 with flag 8962585/24828136 2477.36/2478.15 c cleaning 89003 clauses out of 178013 with flag 9145482/24918137 2488.34/2489.12 c cleaning 90001 clauses out of 180009 with flag 9329706/25009136 2499.61/2500.40 c cleaning 91000 clauses out of 182007 with flag 9522595/25101135 2508.89/2509.78 c cleaning 91997 clauses out of 184007 with flag 9715538/25194135 2519.77/2520.69 c cleaning 93006 clauses out of 186011 with flag 9918015/25288136 2529.75/2530.61 c cleaning 93995 clauses out of 188005 with flag 10130448/25383136 2541.13/2542.01 c cleaning 95003 clauses out of 190011 with flag 10333182/25479137 2552.50/2553.46 c cleaning 95999 clauses out of 192006 with flag 10535890/25576135 2564.87/2565.85 c cleaning 97004 clauses out of 194007 with flag 10749929/25674135 2574.06/2575.03 c cleaning 97991 clauses out of 196004 with flag 10962241/25773136 2585.53/2586.54 c cleaning 98986 clauses out of 198014 with flag 11184396/25873137 2600.90/2601.94 c cleaning 99986 clauses out of 200026 with flag 11477347/25974135 2613.88/2614.99 c cleaning 101012 clauses out of 202040 with flag 11748015/26076135 2623.96/2625.05 c cleaning 102002 clauses out of 204028 with flag 11991314/26179135 2633.13/2634.25 c cleaning 103005 clauses out of 206028 with flag 12213407/26283137 2643.71/2644.87 c cleaning 104002 clauses out of 208023 with flag 12440447/26388137 2653.99/2655.14 c cleaning 105002 clauses out of 210022 with flag 12689115/26494138 2669.06/2670.22 c cleaning 106001 clauses out of 212018 with flag 12955844/26601136 2682.36/2683.65 c cleaning 107001 clauses out of 214016 with flag 13212839/26709135 2693.57/2694.92 c cleaning 108001 clauses out of 216015 with flag 13450421/26818135 2706.57/2708.02 c cleaning 109002 clauses out of 218014 with flag 13679145/26928135 2719.54/2721.09 c cleaning 110003 clauses out of 220012 with flag 13910478/27039135 2733.10/2734.63 c cleaning 111005 clauses out of 222009 with flag 14144105/27151135 2746.27/2747.89 c cleaning 111998 clauses out of 224005 with flag 14375365/27264136 2761.44/2763.06 c cleaning 112997 clauses out of 226006 with flag 14609193/27378135 2775.11/2776.72 c cleaning 113995 clauses out of 228009 with flag 14860945/27493135 2792.06/2793.70 c cleaning 115000 clauses out of 230014 with flag 15110012/27609135 2806.73/2808.49 c cleaning 116008 clauses out of 232016 with flag 15360977/27726137 2819.59/2821.39 c cleaning 117002 clauses out of 234006 with flag 15610717/27844135 2832.86/2834.65 c cleaning 118001 clauses out of 236006 with flag 15857496/27963137 2848.53/2850.32 c cleaning 118998 clauses out of 238005 with flag 16110970/28083137 2862.30/2864.16 c cleaning 119999 clauses out of 240005 with flag 16360613/28204135 2879.05/2880.95 c cleaning 120997 clauses out of 242006 with flag 16614126/28326135 2896.11/2898.06 c cleaning 122001 clauses out of 244009 with flag 16909867/28449135 2920.58/2922.36 c cleaning 122997 clauses out of 246009 with flag 17252478/28573137 2936.15/2937.92 c cleaning 124002 clauses out of 248013 with flag 17530836/28698138 2952.13/2953.95 c cleaning 125003 clauses out of 250009 with flag 17795244/28824136 2971.48/2973.37 c cleaning 125995 clauses out of 252005 with flag 18070006/28951135 2988.94/2990.85 c cleaning 127004 clauses out of 254010 with flag 18349871/29079135 3009.09/3011.10 c cleaning 127996 clauses out of 256008 with flag 18629141/29208137 3023.46/3025.48 c cleaning 129002 clauses out of 258011 with flag 18940167/29338136 3042.12/3044.13 c cleaning 130001 clauses out of 260012 with flag 19218257/29469139 3060.20/3062.00 c cleaning 131001 clauses out of 262009 with flag 19488252/29601137 3076.57/3078.49 c cleaning 131996 clauses out of 264008 with flag 19767659/29734137 3097.73/3099.69 c cleaning 133003 clauses out of 266012 with flag 20058177/29868137 3117.19/3119.13 c cleaning 134001 clauses out of 268007 with flag 20346302/30003135 3136.54/3138.51 c cleaning 135001 clauses out of 270009 with flag 20631287/30139138 3156.89/3158.94 c cleaning 135995 clauses out of 272006 with flag 20922677/30276136 3178.64/3180.70 c cleaning 136999 clauses out of 274010 with flag 21209707/30414135 3201.38/3203.56 c cleaning 138000 clauses out of 276011 with flag 21495922/30553135 3225.23/3227.43 c cleaning 139001 clauses out of 278011 with flag 21783604/30693135 3247.68/3249.94 c cleaning 140005 clauses out of 280011 with flag 22075792/30834136 3270.62/3272.97 c cleaning 140999 clauses out of 282005 with flag 22370517/30976135 3293.86/3296.28 c cleaning 141998 clauses out of 284007 with flag 22666342/31119136 3319.80/3322.26 c cleaning 143004 clauses out of 286009 with flag 22971740/31263136 3343.95/3346.49 c cleaning 143999 clauses out of 288007 with flag 23282739/31408138 3369.89/3372.44 c cleaning 144998 clauses out of 290006 with flag 23591267/31554136 3396.02/3398.60 c cleaning 146000 clauses out of 292007 with flag 23906870/31701135 3423.26/3425.93 c cleaning 147001 clauses out of 294007 with flag 24215606/31849135 3445.51/3448.29 c cleaning 147997 clauses out of 296007 with flag 24595636/31998136 3447.91/3450.69 c Got one! Elapsed wall clock time (in seconds):3450.56 3447.91/3450.69 o 29 3449.41/3452.13 c cleaning 88733 clauses out of 177470 with flag 11635/32027596 3449.90/3452.67 c cleaning 47358 clauses out of 94736 with flag 24998/32033595 3450.70/3453.40 c cleaning 27186 clauses out of 54378 with flag 43610/32040595 3451.40/3454.10 c cleaning 17586 clauses out of 35193 with flag 66399/32048596 3452.00/3454.77 c cleaning 9258 clauses out of 26607 with flag 91348/32057596 3452.69/3455.45 c cleaning 10014 clauses out of 27348 with flag 114329/32067595 3453.40/3456.11 c cleaning 10998 clauses out of 28334 with flag 139079/32078595 3454.09/3456.81 c cleaning 12005 clauses out of 29337 with flag 166889/32090596 3454.89/3457.68 c cleaning 12994 clauses out of 30331 with flag 197563/32103595 3455.69/3458.41 c cleaning 13998 clauses out of 31337 with flag 228776/32117595 3456.78/3459.60 c cleaning 14994 clauses out of 32339 with flag 266789/32132595 3457.78/3460.59 c cleaning 16000 clauses out of 33345 with flag 303224/32148595 3458.78/3461.51 c cleaning 17000 clauses out of 34345 with flag 338774/32165595 3459.78/3462.59 c cleaning 17670 clauses out of 35346 with flag 377637/32183596 3461.18/3463.84 c cleaning 18335 clauses out of 36679 with flag 419759/32202599 3462.08/3464.77 c cleaning 19163 clauses out of 38341 with flag 460906/32222596 3463.38/3466.04 c cleaning 20086 clauses out of 40177 with flag 507426/32243595 3465.27/3467.95 c cleaning 21025 clauses out of 42093 with flag 565334/32265597 3467.06/3469.73 c cleaning 22027 clauses out of 44067 with flag 623012/32288596 3467.86/3470.59 c cleaning 23021 clauses out of 46041 with flag 672603/32312597 3468.96/3471.61 c cleaning 24010 clauses out of 48019 with flag 722604/32337596 3471.05/3473.75 c cleaning 24993 clauses out of 50008 with flag 789389/32363595 3473.35/3476.00 c cleaning 26006 clauses out of 52018 with flag 859219/32390598 3475.35/3478.02 c cleaning 27002 clauses out of 54016 with flag 918859/32418602 3477.74/3480.42 c cleaning 28001 clauses out of 56007 with flag 991814/32447595 3481.13/3483.80 c cleaning 28997 clauses out of 58006 with flag 1061990/32477595 3483.12/3485.89 c cleaning 29999 clauses out of 60010 with flag 1131630/32508596 3484.72/3487.46 c cleaning 31004 clauses out of 62010 with flag 1197425/32540595 3486.61/3489.37 c cleaning 31995 clauses out of 64007 with flag 1265260/32573596 3490.60/3493.31 c cleaning 32999 clauses out of 66011 with flag 1354138/32607595 3493.69/3496.40 c cleaning 33999 clauses out of 68012 with flag 1435875/32642595 3496.29/3499.08 c cleaning 35003 clauses out of 70013 with flag 1512677/32678595 3498.58/3501.36 c cleaning 36003 clauses out of 72010 with flag 1589891/32715595 3500.78/3503.53 c cleaning 37001 clauses out of 74007 with flag 1668836/32753595 3503.07/3505.85 c cleaning 38005 clauses out of 76009 with flag 1747348/32792598 3505.56/3508.36 c cleaning 38996 clauses out of 78003 with flag 1827778/32832597 3508.26/3511.06 c cleaning 40000 clauses out of 80006 with flag 1909861/32873596 3511.25/3514.03 c cleaning 40997 clauses out of 82005 with flag 1999606/32915595 3516.04/3518.82 c cleaning 42004 clauses out of 84010 with flag 2097120/32958597 3519.83/3522.68 c cleaning 43002 clauses out of 86004 with flag 2212982/33002595 3525.12/3527.95 c cleaning 43999 clauses out of 88004 with flag 2337212/33047597 3529.22/3532.09 c cleaning 44997 clauses out of 90003 with flag 2440018/33093595 3534.30/3537.19 c cleaning 45993 clauses out of 92006 with flag 2546539/33140595 3539.20/3542.04 c cleaning 47001 clauses out of 94015 with flag 2665574/33188597 3542.38/3545.20 c cleaning 48002 clauses out of 96012 with flag 2763573/33237595 3545.48/3548.35 c cleaning 49005 clauses out of 98012 with flag 2863695/33287597 3548.67/3551.56 c cleaning 50001 clauses out of 100005 with flag 2965899/33338595 3552.26/3555.13 c cleaning 51002 clauses out of 102005 with flag 3070063/33390596 3556.15/3559.00 c cleaning 52000 clauses out of 104004 with flag 3176139/33443597 3560.94/3563.83 c cleaning 52994 clauses out of 106002 with flag 3304879/33497595 3566.62/3569.51 c cleaning 53998 clauses out of 108010 with flag 3443534/33552597 3572.91/3575.85 c cleaning 55001 clauses out of 110011 with flag 3603887/33608596 3578.29/3581.21 c cleaning 55997 clauses out of 112011 with flag 3757491/33665597 3580.09/3583.05 c cleaning 56993 clauses out of 114012 with flag 3874593/33723595 3586.38/3589.35 c cleaning 58003 clauses out of 116021 with flag 4040485/33782597 3592.53/3595.49 c cleaning 59002 clauses out of 118017 with flag 4196330/33842596 3596.69/3599.68 c cleaning 60001 clauses out of 120016 with flag 4329753/33903597 3600.06/3603.02 c starts : 40510 3600.06/3603.03 c conflicts : 33944224 3600.06/3603.03 c decisions : 37908395 3600.06/3603.03 c propagations : 1491369394 3600.06/3603.03 c inspects : 47082514301 3600.06/3603.03 c shortcuts : 0 3600.06/3603.03 c learnt literals : 1 3600.06/3603.03 c learnt binary clauses : 97 3600.06/3603.03 c learnt ternary clauses : 361 3600.06/3603.03 c learnt constraints : 33944223 3600.06/3603.03 c ignored constraints : 0 3600.06/3603.03 c root simplifications : 0 3600.06/3603.03 c removed literals (reason simplification) : 274413236 3600.06/3603.03 c reason swapping (by a shorter reason) : 0 3600.06/3603.03 c Calls to reduceDB : 820 3600.06/3603.03 c Number of update (reduction) of LBD : 1447023 3600.06/3603.03 c Imported unit clauses : 0 3600.06/3603.03 c No decision after first conflict : false 3600.06/3603.04 c number of reductions to clauses (during analyze) : 0 3600.06/3603.04 c number of learned constraints concerned by reduction : 0 3600.06/3603.04 c number of learning phase by resolution : 0 3600.06/3603.04 c number of learning phase by cutting planes : 0 3600.06/3603.04 c number of rounding to 1 operations : 0 3600.06/3603.04 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3603.04 c number of reductions of the coefficients by power 2 : 0 3600.06/3603.04 c number of right shift for reduction by power 2 : 0 3600.06/3603.04 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3603.04 c number of ending skipping : 0 3600.06/3603.04 c number of internal skipping : 0 3600.06/3603.04 c number of derivation steps : 0 3600.06/3603.04 c number of skipped derivation steps : 0 3600.06/3603.04 c number of remaining unassigned : 0 3600.06/3603.04 c number of remaining assigned : 0 3600.06/3603.04 c number of falsified literals weakened from reason : 0 3600.06/3603.04 c number of falsified literals weakened from conflict : 0 3600.06/3603.04 c time for arithmetic operations : 0 3600.06/3603.04 c minimum degree of deleted constraints : null 3600.06/3603.04 c maximum degree of deleted constraints : null 3600.06/3603.04 c number of deleted constraints : 0 3600.06/3603.05 c speed (assignments/second) : 413956.50897099974 3600.06/3603.05 c non guided choices : 9118 3600.06/3603.09 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 100545 3600.06/3603.09 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 97 3600.06/3603.09 s SATISFIABLE 3600.06/3603.09 c Found 30 solution(s) 3600.06/3603.10 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 3600.06/3603.10 c objective function=29 3600.06/3603.10 c Total wall clock time (in seconds): 3602.974
OK 29
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56130 MiB free)
memory of node 1: 64465 MiB (55818 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502252-1751424674/watcher-4502252-1751424674 -o /tmp/evaluation-result-4502252-1751424674/solver-4502252-1751424674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751421064-60593 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502252-1751424674.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=61271, runsolver pid=61268
[startup+0.100058 s]*
/proc/loadavg: 3.39 3.17 3.06 4/316 61289
/proc/meminfo: memFree=114608488/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18930384 memory=57756 CPUtime=0.13 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 6577 0 0 0 11 2 0 0 20 0 18 0 58146005 19384713216 14439 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4732596 14439 5359 1 0 547626 0
[pid=61271/tid=61273] ppid=61268 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 5098 0 0 0 6 1 0 0 20 0 18 0 58146007 19384713216 14439 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18930384 memory=224227767625 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 14439 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18930384 memory=33073 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 14439 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57756 KiB
[startup+0.205613 s]*
/proc/loadavg: 3.39 3.17 3.06 6/316 61289
/proc/meminfo: memFree=114592168/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18930384 memory=64176 CPUtime=0.33 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 7144 0 0 0 31 2 0 0 20 0 18 0 58146005 19384713216 16044 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4732596 16044 5423 1 0 547975 0
[pid=61271/tid=61273] ppid=61268 vsize=18930384 memory=4026731291 CPUtime=0.17 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 5310 0 0 0 16 1 0 0 20 0 18 0 58146007 19384713216 16044 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18930384 memory=219932787024 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 16044 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18930384 memory=57385981083001 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 16044 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64176 KiB
[startup+0.305476 s]*
/proc/loadavg: 3.39 3.17 3.06 7/316 61289
/proc/meminfo: memFree=114574272/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18930384 memory=83640 CPUtime=0.52 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 8679 0 0 0 50 2 0 0 20 0 18 0 58146005 19384713216 20910 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4732596 20910 5423 1 0 548259 0
[pid=61271/tid=61273] ppid=61268 vsize=18930384 memory=-6000919472689933161 CPUtime=0.27 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 5343 0 0 0 25 2 0 0 20 0 18 0 58146007 19384713216 20910 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 20910 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58146009 19384713216 20910 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 83640 KiB
[startup+0.700202 s]
/proc/loadavg: 3.39 3.17 3.06 5/317 61290
/proc/meminfo: memFree=114570240/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18996948 memory=101880 CPUtime=1.28 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 15464 0 0 0 125 3 0 0 20 0 19 0 58146005 19452874752 25470 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4749237 25470 5487 1 0 552364 0
[pid=61271/tid=61273] ppid=61268 vsize=18996948 memory=17792 CPUtime=0.64 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 5462 0 0 0 62 2 0 0 20 0 19 0 58146007 19452874752 25470 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 25470 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 25470 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=18996948 memory=4496 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58146038 19452874752 25470 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101880 KiB
[startup+1.50021 s]
/proc/loadavg: 3.39 3.17 3.06 5/317 61290
/proc/meminfo: memFree=114549764/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18996948 memory=110468 CPUtime=2.71 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 21073 0 0 0 267 4 0 0 20 0 19 0 58146005 19452874752 27617 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4749237 27617 5487 1 0 552683 0
[pid=61271/tid=61273] ppid=61268 vsize=18996948 memory=11136 CPUtime=1.42 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 6051 0 0 0 140 2 0 0 20 0 19 0 58146007 19452874752 27617 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 27617 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 27617 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=18996948 memory=224194199869 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58146038 19452874752 27617 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110468 KiB
[startup+3.105 s]
/proc/loadavg: 3.44 3.18 3.06 4/317 61290
/proc/meminfo: memFree=114530732/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18996948 memory=129408 CPUtime=4.93 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 25072 0 0 0 488 5 0 0 20 0 19 0 58146005 19452874752 32352 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4749237 32352 5487 1 0 554275 0
[pid=61271/tid=61273] ppid=61268 vsize=18996948 memory=11136 CPUtime=3.02 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 6392 0 0 0 300 2 0 0 20 0 19 0 58146007 19452874752 32352 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18996948 memory=-6000919472689933161 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 32352 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 32352 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=18996948 memory=164 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58146038 19452874752 32352 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129408 KiB
[startup+6.30015 s]
/proc/loadavg: 3.44 3.18 3.06 4/317 61290
/proc/meminfo: memFree=114498144/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=18996948 memory=148252 CPUtime=8.36 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 25402 0 0 0 831 5 0 0 20 0 19 0 58146005 19452874752 37063 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4749237 37063 5519 1 0 554293 0
[pid=61271/tid=61273] ppid=61268 vsize=18996948 memory=0 CPUtime=6.21 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 6587 0 0 0 618 3 0 0 20 0 19 0 58146007 19452874752 37063 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 37063 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=18996948 memory=110468 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 58146009 19452874752 37063 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 58146038 19452874752 37063 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148252 KiB
[startup+12.7001 s]
/proc/loadavg: 3.37 3.17 3.06 4/318 61291
/proc/meminfo: memFree=114436704/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=181432 CPUtime=14.84 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 30206 0 0 0 1477 7 0 0 20 0 20 0 58146005 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 45358 5519 1 0 554582 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=0 CPUtime=12.57 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 7259 0 0 0 1254 3 0 0 20 0 20 0 58146007 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=198756 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181432 KiB
[startup+25.5002 s]
/proc/loadavg: 3.31 3.17 3.06 4/318 61291
/proc/meminfo: memFree=114387552/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=181432 CPUtime=27.61 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 31131 0 0 0 2754 7 0 0 20 0 20 0 58146005 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 45358 5519 1 0 554582 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=0 CPUtime=25.34 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 8021 0 0 0 2530 4 0 0 20 0 20 0 58146007 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=224194199869 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=-6000919472689933161 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 45358 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 27.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181432 KiB
[startup+51.1053 s]
/proc/loadavg: 3.21 3.15 3.06 4/319 61293
/proc/meminfo: memFree=114279048/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=191724 CPUtime=53.15 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 32555 0 0 0 5307 8 0 0 20 0 20 0 58146005 19521036288 47931 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 47931 5519 1 0 554582 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=11136 CPUtime=50.85 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 8092 0 0 0 5081 4 0 0 20 0 20 0 58146007 19521036288 47931 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=191724 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 47931 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
################
# More data... #
################
/proc/meminfo: memFree=110874384/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3220.14 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 99565 0 0 0 321918 96 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3211.58 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 38121 0 0 0 321128 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 1970 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3220.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.24 2.61 3/291 61569
/proc/meminfo: memFree=110872876/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3280 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 100312 0 0 0 327903 97 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3271.42 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 38669 0 0 0 327112 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2086 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3280 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3342.3 s]
/proc/loadavg: 2.12 2.21 2.58 3/291 61571
/proc/meminfo: memFree=110872940/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3339.85 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 101011 0 0 0 333888 97 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3331.27 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 39139 0 0 0 333097 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2208 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=9216 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3339.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.18 2.54 3/291 61575
/proc/meminfo: memFree=110869000/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3399.72 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 101103 0 0 0 339874 98 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=11136 CPUtime=3391.12 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 39218 0 0 0 339082 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2213 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3399.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3462.3 s]
/proc/loadavg: 2.08 2.16 2.51 3/289 61578
/proc/meminfo: memFree=110868968/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3459.58 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 102120 0 0 0 345859 99 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=14572 CPUtime=3450.96 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 40215 0 0 0 345066 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2213 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3459.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3522.3 s]
/proc/loadavg: 2.07 2.14 2.48 3/289 61580
/proc/meminfo: memFree=110869104/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3519.53 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 104761 0 0 0 351854 99 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3510.7 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 40664 0 0 0 351040 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2283 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=2174152 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3519.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.15 2.46 3/290 61589
/proc/meminfo: memFree=110868540/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3579.39 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 105691 0 0 0 357839 100 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3570.54 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 41385 0 0 0 357024 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2393 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=14572 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3579.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603 s]*
/proc/loadavg: 2.45 2.22 2.48 3/290 61590
/proc/meminfo: memFree=110868684/131249996 swapFree=33010160/33010684
[pid=61271] ppid=61268 vsize=19063512 memory=2174152 CPUtime=3600.06 cores=4,6
/proc/61271/stat : 61271 (java) S 61268 61271 58953 0 -1 4194304 107240 0 0 0 359906 100 0 0 20 0 20 0 58146005 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
/proc/61271/statm: 4765878 543538 5551 1 0 557364 0
[pid=61271/tid=61273] ppid=61268 vsize=19063512 memory=-6000919468461943657 CPUtime=3591.05 cores=4,6
/proc/61271/task/61273/stat : 61273 (java) R 61268 61271 58953 0 -1 4194368 41500 0 0 0 359075 30 0 0 20 0 20 0 58146007 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61282] ppid=61268 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/61271/task/61282/stat : 61282 (Finalizer) S 61268 61271 58953 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61289] ppid=61268 vsize=19063512 memory=4638778398332698723 CPUtime=0 cores=4,6
/proc/61271/task/61289/stat : 61289 (Common-Cleaner) S 61268 61271 58953 0 -1 4194368 2393 0 0 0 0 0 0 0 20 0 20 0 58146009 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
[pid=61271/tid=61290] ppid=61268 vsize=19063512 memory=161 CPUtime=0 cores=4,6
/proc/61271/task/61290/stat : 61290 (Timer-0) S 61268 61271 58953 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58146038 19521036288 543538 18446744073709551615 93836282327040 93836282330736 140734404523296 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93836282338552 93836282339344 93836286734336 140734404528513 140734404528614 140734404528614 140734404534216 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2174152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.12 s]
# the end of solver process 61271 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.26 s, system=1.02189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3603.12
CPU time (s): 3600.28
CPU user time (s): 3599.26
CPU system time (s): 1.02189
CPU usage (%): 99.9213
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2174152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 1.02189
maximum resident set size= 2175176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104345
involuntary context switches= 4284
# summary of solver processes directly reported to runsolver:
# pid: 61271
# total CPU time (s): 3600.28
# total CPU user time (s): 3599.26
# total CPU system time (s): 1.02189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63703 second user time and 14.3727 second system time
The end
Begin job on nodeC032 at 2025-07-02 04:51:14 IDJOB=4502252 IDBENCH=155310 IDSOLVER=3363 FILE ID=nodeC032/4502252-1751424674 RUNJOBID= nodeC032-1751421064-60593 SLURM_JOB_ID= 9598329 Free space on /tmp= 431148 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502252-1751424674/watcher-4502252-1751424674 -o /tmp/evaluation-result-4502252-1751424674/solver-4502252-1751424674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751421064-60593 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502252-1751424674.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 016e97d12624722ea548165224db81f7 RANDOM SEED=1449024997 nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.847 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.851 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3460.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.940 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.844 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.358 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 114636272 kB MemAvailable: 129126472 kB Buffers: 2728 kB Cached: 15170524 kB SwapCached: 20 kB Active: 943612 kB Inactive: 14803372 kB Active(anon): 588512 kB Inactive(anon): 3268 kB Active(file): 355100 kB Inactive(file): 14800104 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 9796 kB Writeback: 0 kB AnonPages: 575804 kB Mapped: 123076 kB Shmem: 18048 kB KReclaimable: 348472 kB Slab: 441256 kB SReclaimable: 348472 kB SUnreclaim: 92784 kB KernelStack: 4880 kB PageTables: 4336 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 10101576 kB VmallocTotal: 34359738367 kB VmallocUsed: 151080 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 407552 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431156 MiB End job on nodeC032 at 2025-07-02 05:51:17