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) | 28 | 3600.74 | 3599.86 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_4_shg.opb |
| MD5SUM | f8cbff203f2ec66bcdec19280bdd1d00 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 22 |
| Best CPU time to get the best result obtained on this benchmark | 0.101308 |
| 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 | 147 |
| Total number of constraints | 240 |
| Number of constraints which are clauses | 240 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 147 |
| 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 | 147 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 147 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.19 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.19 c See www.sat4j.org for details. 0.12/0.21 c version PB25.v20250606 0.24/0.24 c java.runtime.name OpenJDK Runtime Environment 0.24/0.24 c java.vm.name OpenJDK 64-Bit Server VM 0.24/0.24 c java.vm.version 22.0.1+8-16 0.24/0.24 c java.vm.vendor Oracle Corporation 0.24/0.24 c sun.arch.data.model 64 0.24/0.24 c java.version 22.0.1 0.24/0.24 c os.name Linux 0.24/0.24 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.24/0.24 c os.arch amd64 0.24/0.25 c Free memory 2104792832 0.24/0.25 c Max memory 16282288128 0.24/0.25 c Total memory 2113929216 0.24/0.26 c Number of processors 2 0.42/0.36 c Pseudo Boolean Optimization by upper bound 0.42/0.36 c --- Begin Solver configuration --- 0.42/0.36 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.42/0.36 c Learn all clauses as in MiniSAT 0.42/0.36 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.42/0.36 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.42/0.36 c Expensive reason simplification 0.42/0.36 c Glucose 2.1 dynamic restart strategy 0.42/0.36 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.42/0.36 c timeout=2147483s 0.42/0.36 c DB Simplification allowed=false 0.42/0.36 c Listener: none 0.42/0.36 c --- End Solver configuration --- 0.42/0.36 c solving HOME/instance-4502792-1751472378.opb 0.42/0.36 c reading problem ... 0.42/0.36 c objective function found 0.60/0.45 c ... done. Wall clock time 0.089s. 0.60/0.45 c declared #vars 147 0.60/0.45 c #constraints 240 0.60/0.45 c constraints type 0.60/0.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.60/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 239 0.60/0.45 c 240 constraints processed. 0.60/0.50 c objective function length is 147 literals 0.60/0.51 c SATISFIABLE 0.60/0.51 c OPTIMIZING... 0.60/0.51 c Got one! Elapsed wall clock time (in seconds):0.152 0.60/0.52 o 32 0.60/0.52 c Got one! Elapsed wall clock time (in seconds):0.158 0.60/0.52 o 31 0.74/0.57 c Got one! Elapsed wall clock time (in seconds):0.214 0.74/0.57 o 30 1.67/1.03 c cleaning 2574 clauses out of 5157 with flag 11259/5157 2.45/1.40 c cleaning 4291 clauses out of 8587 with flag 26602/11161 2.65/1.57 c cleaning 5640 clauses out of 11294 with flag 43738/18159 3.03/1.74 c cleaning 6819 clauses out of 13652 with flag 62513/26157 3.35/1.92 c cleaning 7909 clauses out of 15833 with flag 84332/35157 3.64/2.12 c cleaning 8957 clauses out of 17925 with flag 109499/45158 3.83/2.32 c cleaning 9974 clauses out of 19968 with flag 136601/56158 4.03/2.52 c cleaning 10987 clauses out of 21993 with flag 165083/68157 4.23/2.74 c cleaning 11993 clauses out of 24006 with flag 195373/81157 4.44/2.97 c cleaning 13001 clauses out of 26014 with flag 228515/95158 4.73/3.23 c cleaning 13993 clauses out of 28012 with flag 264095/110157 4.93/3.48 c cleaning 15000 clauses out of 30021 with flag 302912/126159 5.31/3.75 c cleaning 15999 clauses out of 32020 with flag 344754/143158 5.76/4.12 c cleaning 17001 clauses out of 34022 with flag 388144/161159 6.45/4.83 c cleaning 18004 clauses out of 36020 with flag 434401/180158 6.96/5.39 c cleaning 18996 clauses out of 38016 with flag 482545/200158 7.46/5.89 c cleaning 20003 clauses out of 40020 with flag 534775/221158 8.05/6.40 c cleaning 21003 clauses out of 42016 with flag 588420/243157 8.45/6.85 c cleaning 21997 clauses out of 44013 with flag 643976/266157 8.95/7.32 c cleaning 22993 clauses out of 46016 with flag 702850/290157 9.45/7.84 c cleaning 24001 clauses out of 48023 with flag 764385/315157 9.94/8.39 c cleaning 24998 clauses out of 50022 with flag 827410/341157 10.54/8.97 c cleaning 26010 clauses out of 52025 with flag 893868/368158 11.24/9.63 c cleaning 27001 clauses out of 54014 with flag 962669/396157 12.04/10.40 c cleaning 27991 clauses out of 56013 with flag 1035412/425157 12.93/11.32 c cleaning 29005 clauses out of 58022 with flag 1111047/455157 13.83/12.24 c cleaning 30002 clauses out of 60018 with flag 1188774/486158 14.65/13.06 c cleaning 30998 clauses out of 62016 with flag 1269126/518158 15.54/13.92 c cleaning 32000 clauses out of 64017 with flag 1352087/551157 16.34/14.73 c cleaning 33001 clauses out of 66017 with flag 1437136/585157 17.24/15.63 c cleaning 33994 clauses out of 68016 with flag 1526163/620157 18.11/16.42 c cleaning 35004 clauses out of 70024 with flag 1615860/656159 19.11/17.46 c cleaning 35993 clauses out of 72019 with flag 1708468/693158 20.10/18.46 c cleaning 36998 clauses out of 74025 with flag 1804376/731157 21.10/19.43 c cleaning 38000 clauses out of 76027 with flag 1902794/770157 22.10/20.40 c cleaning 39004 clauses out of 78027 with flag 2005144/810157 23.71/22.03 c cleaning 40009 clauses out of 80026 with flag 2111698/851160 24.71/23.02 c cleaning 41002 clauses out of 82014 with flag 2216786/893157 25.93/24.22 c cleaning 42002 clauses out of 84013 with flag 2322053/936158 27.32/25.62 c cleaning 42996 clauses out of 86010 with flag 2429366/980157 28.52/26.82 c cleaning 43994 clauses out of 88014 with flag 2541140/1025157 29.62/27.99 c cleaning 45002 clauses out of 90020 with flag 2654387/1071157 30.91/29.30 c cleaning 46003 clauses out of 92018 with flag 2769161/1118157 32.51/30.80 c cleaning 47008 clauses out of 94016 with flag 2890621/1166158 33.72/32.04 c cleaning 48000 clauses out of 96007 with flag 3012149/1215157 35.21/33.50 c cleaning 49001 clauses out of 98016 with flag 3136391/1265166 36.61/34.94 c cleaning 49996 clauses out of 100006 with flag 3262599/1316157 38.43/36.71 c cleaning 50996 clauses out of 102010 with flag 3400782/1368157 39.93/38.25 c cleaning 52004 clauses out of 104015 with flag 3533018/1421158 41.32/39.66 c cleaning 52993 clauses out of 106010 with flag 3666167/1475157 43.62/41.91 c cleaning 54007 clauses out of 108017 with flag 3806914/1530157 46.92/45.25 c cleaning 55002 clauses out of 110011 with flag 3950409/1586158 49.22/47.54 c cleaning 56003 clauses out of 112008 with flag 4092739/1643157 51.51/49.87 c cleaning 56989 clauses out of 114006 with flag 4239241/1701158 53.31/51.63 c cleaning 58006 clauses out of 116019 with flag 4385357/1760160 55.11/53.47 c cleaning 58997 clauses out of 118010 with flag 4534131/1820157 56.83/55.12 c cleaning 59995 clauses out of 120013 with flag 4690240/1881157 58.31/56.69 c cleaning 61005 clauses out of 122019 with flag 4854587/1943158 60.50/58.85 c cleaning 62002 clauses out of 124013 with flag 5013823/2006157 62.52/60.80 c cleaning 63004 clauses out of 126011 with flag 5172819/2070157 64.83/63.12 c cleaning 64000 clauses out of 128007 with flag 5339169/2135157 67.11/65.41 c cleaning 65000 clauses out of 130008 with flag 5509659/2201158 69.31/67.63 c cleaning 65998 clauses out of 132007 with flag 5681775/2268157 71.73/70.04 c cleaning 66998 clauses out of 134009 with flag 5853029/2336157 74.51/72.89 c cleaning 68004 clauses out of 136011 with flag 6019139/2405157 77.41/75.76 c cleaning 68998 clauses out of 138007 with flag 6197848/2475157 80.51/78.84 c cleaning 70001 clauses out of 140010 with flag 6377312/2546158 83.40/81.74 c cleaning 70995 clauses out of 142008 with flag 6564819/2618157 86.10/84.40 c cleaning 72005 clauses out of 144014 with flag 6747915/2691158 88.60/86.96 c cleaning 73001 clauses out of 146009 with flag 6939737/2765158 91.49/89.80 c cleaning 74004 clauses out of 148008 with flag 7131655/2840158 94.59/92.90 c cleaning 74992 clauses out of 150003 with flag 7327922/2916157 98.28/96.66 c cleaning 76002 clauses out of 152012 with flag 7532303/2993158 101.28/99.65 c cleaning 77003 clauses out of 154009 with flag 7735223/3071157 104.58/102.91 c cleaning 77984 clauses out of 156006 with flag 7936984/3150157 108.10/106.41 c cleaning 79006 clauses out of 158022 with flag 8136895/3230157 111.50/109.82 c cleaning 80001 clauses out of 160016 with flag 8341784/3311157 114.50/112.83 c cleaning 81001 clauses out of 162016 with flag 8549099/3393158 117.81/116.13 c cleaning 81998 clauses out of 164014 with flag 8757501/3476157 121.39/119.77 c cleaning 83009 clauses out of 166017 with flag 8969243/3560158 125.58/123.99 c cleaning 83996 clauses out of 168008 with flag 9194310/3645158 129.48/127.89 c cleaning 85000 clauses out of 170011 with flag 9420956/3731157 133.38/131.71 c cleaning 85999 clauses out of 172011 with flag 9661760/3818157 136.87/135.22 c cleaning 86999 clauses out of 174013 with flag 9914284/3906158 141.56/139.92 c cleaning 87996 clauses out of 176013 with flag 10166158/3995157 146.45/144.87 c cleaning 89006 clauses out of 178017 with flag 10412462/4085157 150.95/149.30 c cleaning 90000 clauses out of 180012 with flag 10663166/4176158 155.44/153.84 c cleaning 91006 clauses out of 182012 with flag 10915180/4268158 161.27/159.64 c cleaning 91989 clauses out of 184006 with flag 11177719/4361158 164.67/163.02 c cleaning 93003 clauses out of 186016 with flag 11408881/4455157 168.26/166.69 c cleaning 93998 clauses out of 188013 with flag 11642122/4550157 171.56/169.97 c cleaning 94994 clauses out of 190015 with flag 11877633/4646157 174.95/173.35 c cleaning 96006 clauses out of 192021 with flag 12116453/4743157 178.66/177.09 c cleaning 96996 clauses out of 194015 with flag 12360412/4841157 183.75/182.13 c cleaning 98000 clauses out of 196020 with flag 12603583/4940158 186.93/185.31 c cleaning 98999 clauses out of 198020 with flag 12845156/5040158 191.63/190.04 c cleaning 100010 clauses out of 200021 with flag 13091389/5141158 195.95/194.31 c cleaning 100999 clauses out of 202012 with flag 13341967/5243159 200.54/198.94 c cleaning 102006 clauses out of 204011 with flag 13599725/5346157 205.13/203.50 c cleaning 102987 clauses out of 206005 with flag 13857389/5450157 209.68/208.06 c cleaning 103994 clauses out of 208018 with flag 14114478/5555157 213.96/212.30 c cleaning 105000 clauses out of 210024 with flag 14375849/5661157 217.67/216.09 c cleaning 105998 clauses out of 212024 with flag 14637163/5768157 222.76/221.12 c cleaning 107002 clauses out of 214027 with flag 14900704/5876158 227.24/225.67 c cleaning 108009 clauses out of 216024 with flag 15166041/5985157 231.93/230.38 c cleaning 108995 clauses out of 218015 with flag 15432975/6095157 238.43/236.88 c cleaning 110011 clauses out of 220021 with flag 15717024/6206158 244.21/242.62 c cleaning 110997 clauses out of 222009 with flag 15989906/6318157 250.10/248.50 c cleaning 111999 clauses out of 224013 with flag 16264109/6431158 256.51/254.91 c cleaning 113000 clauses out of 226014 with flag 16538078/6545158 262.80/261.22 c cleaning 114004 clauses out of 228013 with flag 16814402/6660157 269.67/268.01 c cleaning 114998 clauses out of 230009 with flag 17110831/6776157 276.69/274.63 c cleaning 115998 clauses out of 232011 with flag 17407585/6893157 283.28/281.23 c cleaning 116997 clauses out of 234013 with flag 17707626/7011157 290.91/288.80 c cleaning 118007 clauses out of 236019 with flag 18000779/7130160 297.40/295.36 c cleaning 119001 clauses out of 238010 with flag 18303185/7250158 302.49/300.43 c cleaning 119994 clauses out of 240008 with flag 18614374/7371157 310.29/307.81 c cleaning 121001 clauses out of 242014 with flag 18931829/7493157 317.97/315.51 c cleaning 121992 clauses out of 244014 with flag 19250907/7616158 325.32/322.80 c cleaning 123000 clauses out of 246022 with flag 19557584/7740158 332.10/329.65 c cleaning 124004 clauses out of 248021 with flag 19862702/7865157 339.19/336.79 c cleaning 125002 clauses out of 250017 with flag 20171647/7991157 348.03/345.53 c cleaning 126006 clauses out of 252016 with flag 20497345/8118158 356.63/354.14 c cleaning 126995 clauses out of 254009 with flag 20821802/8246157 363.40/360.92 c cleaning 127999 clauses out of 256015 with flag 21146988/8375158 370.09/367.63 c cleaning 129006 clauses out of 258017 with flag 21479527/8505159 376.39/373.97 c cleaning 129998 clauses out of 260009 with flag 21815063/8636157 383.67/381.24 c cleaning 131000 clauses out of 262011 with flag 22138465/8768157 391.31/388.83 c cleaning 132001 clauses out of 264011 with flag 22467833/8901157 399.21/396.72 c cleaning 132994 clauses out of 266010 with flag 22799201/9035157 406.89/404.42 c cleaning 134002 clauses out of 268016 with flag 23137824/9170157 413.97/411.57 c cleaning 135008 clauses out of 270015 with flag 23488561/9306158 422.21/419.74 c cleaning 135992 clauses out of 272007 with flag 23843578/9443158 429.50/427.07 c cleaning 137002 clauses out of 274015 with flag 24204313/9581158 438.49/436.07 c cleaning 138008 clauses out of 276016 with flag 24589711/9720161 448.16/445.74 c cleaning 138995 clauses out of 278005 with flag 24930855/9860158 456.05/453.60 c cleaning 140004 clauses out of 280012 with flag 25287044/10001160 463.58/461.12 c cleaning 140997 clauses out of 282006 with flag 25641248/10143158 471.46/469.03 c cleaning 141995 clauses out of 284008 with flag 25996635/10286157 479.83/477.41 c cleaning 142997 clauses out of 286014 with flag 26355564/10430158 489.32/486.98 c cleaning 144003 clauses out of 288016 with flag 26723419/10575157 498.52/496.13 c cleaning 145005 clauses out of 290013 with flag 27093564/10721157 507.51/505.15 c cleaning 146001 clauses out of 292008 with flag 27461250/10868157 516.88/514.58 c cleaning 146991 clauses out of 294007 with flag 27837295/11016157 526.06/523.72 c cleaning 147992 clauses out of 296016 with flag 28216173/11165157 534.64/532.33 c cleaning 149002 clauses out of 298024 with flag 28613225/11315157 543.03/540.76 c cleaning 149999 clauses out of 300022 with flag 29007634/11466157 552.81/550.54 c cleaning 151000 clauses out of 302023 with flag 29398154/11618157 561.98/559.77 c cleaning 152001 clauses out of 304023 with flag 29791457/11771157 573.76/571.53 c cleaning 153003 clauses out of 306022 with flag 30189941/11925157 584.14/581.97 c cleaning 153998 clauses out of 308019 with flag 30587031/12080157 595.92/593.76 c cleaning 155007 clauses out of 310023 with flag 30989092/12236159 606.59/604.40 c cleaning 155999 clauses out of 312014 with flag 31385568/12393157 618.37/616.22 c cleaning 157007 clauses out of 314017 with flag 31782262/12551159 629.84/627.73 c cleaning 158001 clauses out of 316008 with flag 32185830/12710157 641.41/639.36 c cleaning 158995 clauses out of 318007 with flag 32594623/12870157 652.99/651.01 c cleaning 160001 clauses out of 320012 with flag 33013122/13031157 657.99/655.93 c Got one! Elapsed wall clock time (in seconds):655.569 657.99/655.93 o 29 660.60/658.52 c cleaning 138181 clauses out of 276387 with flag 12212/13147533 661.49/659.45 c cleaning 72096 clauses out of 144206 with flag 27034/13153533 661.89/659.85 c cleaning 39544 clauses out of 79109 with flag 44349/13160532 662.20/660.13 c cleaning 23769 clauses out of 47566 with flag 64077/13168533 662.39/660.39 c cleaning 16381 clauses out of 32796 with flag 87838/13177532 662.69/660.62 c cleaning 13188 clauses out of 26415 with flag 113929/13187532 662.89/660.83 c cleaning 12103 clauses out of 24229 with flag 141505/13198534 663.10/661.10 c cleaning 12052 clauses out of 24125 with flag 171492/13210533 663.39/661.32 c cleaning 12533 clauses out of 25073 with flag 204732/13223533 663.59/661.57 c cleaning 13271 clauses out of 26545 with flag 240387/13237538 663.89/661.83 c cleaning 14127 clauses out of 28268 with flag 277648/13252532 664.10/662.09 c cleaning 15063 clauses out of 30143 with flag 317896/13268534 664.48/662.41 c cleaning 16033 clauses out of 32078 with flag 361602/13285532 664.78/662.77 c cleaning 17014 clauses out of 34045 with flag 407965/13303532 665.20/663.16 c cleaning 18002 clauses out of 36033 with flag 456060/13322534 665.68/663.61 c cleaning 19009 clauses out of 38029 with flag 508071/13342532 666.09/664.05 c cleaning 20006 clauses out of 40020 with flag 560925/13363532 666.58/664.51 c cleaning 21009 clauses out of 42018 with flag 616261/13385536 666.98/665.01 c cleaning 21997 clauses out of 44006 with flag 673815/13408533 667.58/665.56 c cleaning 23003 clauses out of 46009 with flag 733386/13432533 668.19/666.11 c cleaning 24004 clauses out of 48007 with flag 796525/13457534 668.78/666.71 c cleaning 24999 clauses out of 50001 with flag 861842/13483532 669.37/667.33 c cleaning 25996 clauses out of 52003 with flag 929240/13510533 670.45/668.27 c cleaning 26997 clauses out of 54007 with flag 1001500/13538533 671.15/668.93 c cleaning 28003 clauses out of 56010 with flag 1075611/13567533 671.95/669.77 c cleaning 28991 clauses out of 58006 with flag 1153870/13597532 672.84/670.66 c cleaning 30006 clauses out of 60018 with flag 1234911/13628535 673.64/671.44 c cleaning 31005 clauses out of 62010 with flag 1316138/13660533 674.44/672.20 c cleaning 31995 clauses out of 64004 with flag 1397648/13693532 675.45/673.23 c cleaning 33002 clauses out of 66010 with flag 1483903/13727533 676.26/674.08 c cleaning 33996 clauses out of 68007 with flag 1574037/13762532 677.14/674.94 c cleaning 35003 clauses out of 70012 with flag 1662765/13798533 678.36/676.17 c cleaning 36002 clauses out of 72008 with flag 1760310/13835532 679.35/677.15 c cleaning 37001 clauses out of 74008 with flag 1856826/13873534 680.44/678.29 c cleaning 37998 clauses out of 76006 with flag 1956179/13912533 681.64/679.47 c cleaning 38997 clauses out of 78008 with flag 2058780/13952533 682.73/680.53 c cleaning 39994 clauses out of 80010 with flag 2160130/13993532 683.93/681.75 c cleaning 41008 clauses out of 82016 with flag 2266212/14035532 685.13/682.97 c cleaning 41991 clauses out of 84008 with flag 2377607/14078532 686.72/684.41 c cleaning 43007 clauses out of 86018 with flag 2489742/14122533 688.22/685.94 c cleaning 43998 clauses out of 88010 with flag 2603809/14167532 689.61/687.33 c cleaning 44995 clauses out of 90012 with flag 2722899/14213532 691.01/688.71 c cleaning 46002 clauses out of 92017 with flag 2843394/14260532 692.51/690.25 c cleaning 47002 clauses out of 94015 with flag 2965017/14308532 693.81/691.59 c cleaning 48006 clauses out of 96015 with flag 3088190/14357534 695.71/693.42 c cleaning 48998 clauses out of 98010 with flag 3218200/14407535 697.21/694.95 c cleaning 49999 clauses out of 100010 with flag 3346212/14458533 698.90/696.60 c cleaning 51005 clauses out of 102011 with flag 3477363/14510533 700.50/698.23 c cleaning 51996 clauses out of 104007 with flag 3610309/14563534 702.20/699.94 c cleaning 52990 clauses out of 106010 with flag 3746057/14617533 703.79/701.57 c cleaning 54000 clauses out of 108019 with flag 3886247/14672532 705.79/703.57 c cleaning 55004 clauses out of 110020 with flag 4025929/14728533 708.30/706.06 c cleaning 55991 clauses out of 112015 with flag 4174100/14785532 710.39/708.16 c cleaning 57007 clauses out of 114024 with flag 4321175/14843532 712.58/710.31 c cleaning 58006 clauses out of 116017 with flag 4469543/14902532 714.97/712.77 c cleaning 58999 clauses out of 118011 with flag 4618592/14962532 717.47/715.20 c cleaning 60001 clauses out of 120016 with flag 4776679/15023536 719.31/717.01 c cleaning 60997 clauses out of 122011 with flag 4932999/15085532 721.49/719.27 c cleaning 62003 clauses out of 124017 with flag 5094816/15148535 724.30/722.03 c cleaning 62992 clauses out of 126011 with flag 5262866/15212532 726.89/724.70 c cleaning 64005 clauses out of 128021 with flag 5432724/15277534 729.59/727.39 c cleaning 65000 clauses out of 130014 with flag 5604826/15343532 732.98/730.71 c cleaning 66004 clauses out of 132015 with flag 5774500/15410533 735.39/733.16 c cleaning 67004 clauses out of 134011 with flag 5947521/15478533 738.07/735.87 c cleaning 67993 clauses out of 136006 with flag 6123881/15547532 740.77/738.53 c cleaning 69004 clauses out of 138016 with flag 6300216/15617535 743.56/741.35 c cleaning 70002 clauses out of 140009 with flag 6478058/15688532 746.45/744.21 c cleaning 71001 clauses out of 142008 with flag 6661260/15760533 749.85/747.69 c cleaning 72002 clauses out of 144006 with flag 6846474/15833532 752.64/750.43 c cleaning 72999 clauses out of 146005 with flag 7028717/15907533 755.85/753.62 c cleaning 73998 clauses out of 148006 with flag 7219514/15982533 758.54/756.30 c cleaning 75000 clauses out of 150007 with flag 7402785/16058532 761.83/759.69 c cleaning 76001 clauses out of 152007 with flag 7596244/16135532 765.02/762.82 c cleaning 77005 clauses out of 154009 with flag 7797792/16213535 768.51/766.38 c cleaning 77991 clauses out of 156003 with flag 8001431/16292534 772.32/770.16 c cleaning 79006 clauses out of 158013 with flag 8204239/16372535 775.90/773.72 c cleaning 80002 clauses out of 160005 with flag 8407540/16453533 781.06/778.81 c cleaning 80993 clauses out of 162002 with flag 8618935/16535532 784.75/782.57 c cleaning 81996 clauses out of 164010 with flag 8829986/16618533 788.44/786.26 c cleaning 83003 clauses out of 166013 with flag 9038867/16702532 792.35/790.17 c cleaning 84002 clauses out of 168010 with flag 9251310/16787532 797.52/795.35 c cleaning 84999 clauses out of 170008 with flag 9471610/16873532 802.12/799.96 c cleaning 85999 clauses out of 172009 with flag 9694846/16960532 806.41/804.25 c cleaning 86998 clauses out of 174010 with flag 9912448/17048532 810.61/808.42 c cleaning 87999 clauses out of 176012 with flag 10133288/17137532 815.21/813.10 c cleaning 88999 clauses out of 178013 with flag 10351817/17227532 820.30/818.11 c cleaning 90000 clauses out of 180014 with flag 10576588/17318532 825.48/823.37 c cleaning 91000 clauses out of 182014 with flag 10806008/17410532 830.98/828.83 c cleaning 92004 clauses out of 184014 with flag 11035588/17503532 837.69/835.55 c cleaning 92992 clauses out of 186010 with flag 11271130/17597532 842.39/840.22 c cleaning 94005 clauses out of 188018 with flag 11510803/17692532 847.68/845.55 c cleaning 94986 clauses out of 190013 with flag 11752953/17788532 853.07/850.91 c cleaning 96009 clauses out of 192029 with flag 11989481/17885534 858.65/856.58 c cleaning 96997 clauses out of 194019 with flag 12233347/17983533 863.85/861.79 c cleaning 98003 clauses out of 196021 with flag 12476096/18082532 869.34/867.22 c cleaning 99005 clauses out of 198019 with flag 12723854/18182533 874.24/872.12 c cleaning 99992 clauses out of 200013 with flag 12969414/18283532 879.32/877.29 c cleaning 101006 clauses out of 202022 with flag 13218475/18385533 884.52/882.44 c cleaning 102005 clauses out of 204016 with flag 13465881/18488533 890.71/888.64 c cleaning 102990 clauses out of 206010 with flag 13720098/18592532 897.40/895.23 c cleaning 104009 clauses out of 208021 with flag 13980801/18697533 902.48/900.39 c cleaning 104989 clauses out of 210012 with flag 14249353/18803533 907.30/904.97 c cleaning 106003 clauses out of 212022 with flag 14530054/18910532 912.00/909.67 c cleaning 107002 clauses out of 214020 with flag 14803534/19018533 916.69/914.36 c cleaning 108005 clauses out of 216018 with flag 15078578/19127533 921.98/919.65 c cleaning 109001 clauses out of 218012 with flag 15354599/19237532 927.17/924.84 c cleaning 109999 clauses out of 220011 with flag 15633312/19348532 931.97/929.63 c cleaning 110994 clauses out of 222012 with flag 15914545/19460532 936.76/934.40 c cleaning 112005 clauses out of 224022 with flag 16201188/19573536 942.26/939.97 c cleaning 112994 clauses out of 226013 with flag 16486657/19687532 949.02/946.65 c cleaning 114001 clauses out of 228020 with flag 16780480/19802533 954.60/952.22 c cleaning 115000 clauses out of 230019 with flag 17078601/19918533 961.00/958.69 c cleaning 116001 clauses out of 232018 with flag 17388679/20035532 967.18/964.85 c cleaning 117002 clauses out of 234017 with flag 17688354/20153532 972.49/970.19 c cleaning 118000 clauses out of 236016 with flag 17985621/20272533 977.96/975.69 c cleaning 119007 clauses out of 238019 with flag 18289516/20392536 983.47/981.18 c cleaning 119998 clauses out of 240009 with flag 18595109/20513533 990.15/987.83 c cleaning 120996 clauses out of 242010 with flag 18914892/20635532 996.54/994.20 c cleaning 121995 clauses out of 244015 with flag 19221927/20758533 1002.80/1000.41 c cleaning 123005 clauses out of 246019 with flag 19531277/20882532 1008.49/1006.13 c cleaning 123999 clauses out of 248014 with flag 19842322/21007532 1014.48/1012.14 c cleaning 125003 clauses out of 250016 with flag 20171793/21133533 1021.97/1019.67 c cleaning 125996 clauses out of 252012 with flag 20492514/21260532 1029.15/1026.81 c cleaning 127007 clauses out of 254018 with flag 20809893/21388534 1037.83/1035.58 c cleaning 127999 clauses out of 256012 with flag 21132575/21517535 1045.52/1043.27 c cleaning 128998 clauses out of 258010 with flag 21466127/21647532 1054.50/1052.25 c cleaning 130003 clauses out of 260012 with flag 21806780/21778532 1062.98/1060.31 c cleaning 130998 clauses out of 262010 with flag 22134208/21910533 1071.46/1068.85 c cleaning 132003 clauses out of 264014 with flag 22467878/22043535 1079.75/1077.15 c cleaning 133001 clauses out of 266008 with flag 22804015/22177532 1088.54/1085.95 c cleaning 134002 clauses out of 268007 with flag 23140950/22312532 1097.12/1094.59 c cleaning 134997 clauses out of 270005 with flag 23484239/22448532 1105.90/1103.31 c cleaning 136002 clauses out of 272008 with flag 23829170/22585532 1115.64/1113.03 c cleaning 136998 clauses out of 274007 with flag 24174202/22723533 1125.41/1122.83 c cleaning 137999 clauses out of 276008 with flag 24520274/22862532 1134.31/1131.72 c cleaning 138996 clauses out of 278009 with flag 24863014/23002532 1142.19/1139.67 c cleaning 140000 clauses out of 280013 with flag 25209167/23143532 1150.97/1148.49 c cleaning 140998 clauses out of 282013 with flag 25561987/23285532 1160.00/1157.43 c cleaning 142001 clauses out of 284016 with flag 25911484/23428533 1169.59/1167.10 c cleaning 143007 clauses out of 286014 with flag 26284104/23572532 1178.37/1175.81 c cleaning 144002 clauses out of 288007 with flag 26652164/23717532 1184.85/1182.39 c cleaning 144996 clauses out of 290006 with flag 27016485/23863533 1192.71/1190.19 c cleaning 145997 clauses out of 292009 with flag 27379496/24010532 1200.69/1198.13 c cleaning 147002 clauses out of 294012 with flag 27748339/24158532 1208.48/1205.97 c cleaning 147991 clauses out of 296010 with flag 28117855/24307532 1216.96/1214.47 c cleaning 148995 clauses out of 298019 with flag 28495905/24457532 1225.25/1222.75 c cleaning 150000 clauses out of 300025 with flag 28876113/24608533 1234.67/1232.12 c cleaning 151001 clauses out of 302024 with flag 29257332/24760532 1243.66/1241.19 c cleaning 152007 clauses out of 304026 with flag 29640879/24913535 1251.83/1249.39 c cleaning 153004 clauses out of 306017 with flag 30022718/25067533 1261.82/1259.36 c cleaning 154000 clauses out of 308012 with flag 30415081/25222532 1272.51/1270.08 c cleaning 154998 clauses out of 310012 with flag 30817898/25378532 1282.49/1280.01 c cleaning 156002 clauses out of 312014 with flag 31217698/25535532 1291.36/1288.99 c cleaning 156994 clauses out of 314012 with flag 31621450/25693532 1301.34/1298.96 c cleaning 158005 clauses out of 316018 with flag 32026597/25852532 1311.62/1309.29 c cleaning 159000 clauses out of 318013 with flag 32432064/26012532 1323.11/1320.76 c cleaning 159997 clauses out of 320013 with flag 32837279/26173532 1333.29/1330.95 c cleaning 161002 clauses out of 322016 with flag 33253587/26335532 1344.17/1341.81 c cleaning 162004 clauses out of 324015 with flag 33674206/26498533 1353.30/1350.95 c cleaning 162991 clauses out of 326010 with flag 34106058/26662532 1363.19/1360.84 c cleaning 164003 clauses out of 328021 with flag 34521926/26827534 1373.78/1371.42 c cleaning 164992 clauses out of 330016 with flag 34947497/26993532 1384.65/1382.36 c cleaning 166000 clauses out of 332024 with flag 35406303/27160532 1395.14/1392.82 c cleaning 167007 clauses out of 334024 with flag 35839983/27328532 1406.22/1403.91 c cleaning 167998 clauses out of 336018 with flag 36281944/27497533 1417.91/1415.60 c cleaning 169003 clauses out of 338019 with flag 36738976/27667532 1429.51/1427.30 c cleaning 170007 clauses out of 340021 with flag 37176727/27838537 1440.09/1437.88 c cleaning 171004 clauses out of 342011 with flag 37617607/28010534 1453.68/1451.46 c cleaning 171984 clauses out of 344006 with flag 38063700/28183533 1466.56/1464.38 c cleaning 172998 clauses out of 346021 with flag 38514042/28357532 1480.24/1478.04 c cleaning 173991 clauses out of 348023 with flag 38957654/28532532 1490.17/1487.92 c cleaning 175000 clauses out of 350033 with flag 39407640/28708533 1505.64/1503.44 c cleaning 176013 clauses out of 352033 with flag 39881159/28885533 1517.91/1515.72 c cleaning 177001 clauses out of 354019 with flag 40358725/29063532 1523.10/1520.91 c Got one! Elapsed wall clock time (in seconds):1520.549 1523.10/1520.91 o 28 1525.39/1523.25 c cleaning 146458 clauses out of 292937 with flag 12533/29179451 1526.89/1524.72 c cleaning 76231 clauses out of 152478 with flag 27301/29185450 1527.30/1525.19 c cleaning 41605 clauses out of 83247 with flag 44011/29192450 1527.59/1525.41 c cleaning 24808 clauses out of 49640 with flag 63743/29200448 1527.69/1525.57 c cleaning 16912 clauses out of 33834 with flag 85917/29209450 1527.89/1525.74 c cleaning 13448 clauses out of 26922 with flag 110522/29219450 1528.09/1525.92 c cleaning 12227 clauses out of 24474 with flag 137950/29230450 1528.30/1526.11 c cleaning 12114 clauses out of 24246 with flag 166958/29242449 1528.49/1526.31 c cleaning 12558 clauses out of 25131 with flag 198040/29255448 1528.69/1526.55 c cleaning 13281 clauses out of 26573 with flag 232954/29269448 1528.99/1526.80 c cleaning 14140 clauses out of 28292 with flag 269786/29284448 1529.20/1527.09 c cleaning 15070 clauses out of 30152 with flag 309410/29300448 1529.49/1527.39 c cleaning 16028 clauses out of 32083 with flag 351534/29317449 1529.89/1527.74 c cleaning 17025 clauses out of 34054 with flag 397169/29335448 1530.30/1528.12 c cleaning 18015 clauses out of 36031 with flag 446121/29354450 1530.59/1528.49 c cleaning 19006 clauses out of 38014 with flag 496622/29374448 1531.09/1528.91 c cleaning 19997 clauses out of 40008 with flag 551506/29395448 1531.49/1529.37 c cleaning 20999 clauses out of 42011 with flag 607719/29417448 1531.98/1529.86 c cleaning 22002 clauses out of 44013 with flag 666782/29440449 1532.68/1530.50 c cleaning 23004 clauses out of 46015 with flag 729017/29464453 1533.08/1531.00 c cleaning 23999 clauses out of 48006 with flag 792213/29489448 1533.79/1531.61 c cleaning 25001 clauses out of 50008 with flag 860856/29515449 1534.49/1532.37 c cleaning 25996 clauses out of 52006 with flag 931441/29542448 1535.20/1533.02 c cleaning 27005 clauses out of 54010 with flag 1003505/29570448 1535.99/1533.86 c cleaning 28003 clauses out of 56006 with flag 1078812/29599449 1536.79/1534.64 c cleaning 28998 clauses out of 58002 with flag 1154655/29629448 1537.68/1535.51 c cleaning 30003 clauses out of 60005 with flag 1232645/29660449 1538.58/1536.42 c cleaning 30999 clauses out of 62003 with flag 1315135/29692450 1539.58/1537.46 c cleaning 32001 clauses out of 64002 with flag 1401012/29725448 1540.58/1538.45 c cleaning 32994 clauses out of 66001 with flag 1488894/29759448 1541.73/1539.52 c cleaning 33995 clauses out of 68007 with flag 1577914/29794448 1542.93/1540.74 c cleaning 34998 clauses out of 70012 with flag 1669980/29830448 1544.03/1541.84 c cleaning 36002 clauses out of 72016 with flag 1762861/29867450 1545.13/1542.99 c cleaning 36997 clauses out of 74014 with flag 1861639/29905450 1546.34/1544.18 c cleaning 37996 clauses out of 76016 with flag 1961172/29944449 1547.72/1545.51 c cleaning 39003 clauses out of 78019 with flag 2061764/29984448 1549.23/1547.07 c cleaning 40002 clauses out of 80016 with flag 2167249/30025448 1550.92/1548.74 c cleaning 40999 clauses out of 82014 with flag 2277865/30067448 1552.02/1549.88 c cleaning 42007 clauses out of 84016 with flag 2384883/30110449 1553.41/1551.23 c cleaning 42990 clauses out of 86008 with flag 2497292/30154448 1554.71/1552.55 c cleaning 44003 clauses out of 88018 with flag 2612896/30199448 1556.11/1553.98 c cleaning 45001 clauses out of 90016 with flag 2728642/30245449 1557.50/1555.30 c cleaning 46007 clauses out of 92019 with flag 2846584/30292453 1558.80/1556.64 c cleaning 46994 clauses out of 94009 with flag 2967745/30340450 1560.40/1558.26 c cleaning 48005 clauses out of 96013 with flag 3093197/30389448 1562.39/1560.26 c cleaning 49007 clauses out of 98013 with flag 3229082/30439453 1564.50/1562.32 c cleaning 49990 clauses out of 100001 with flag 3370044/30490448 1566.21/1564.06 c cleaning 51000 clauses out of 102011 with flag 3501549/30542448 1567.99/1565.81 c cleaning 52002 clauses out of 104012 with flag 3640296/30595449 1569.59/1567.41 c cleaning 52996 clauses out of 106009 with flag 3775511/30649448 1571.30/1569.11 c cleaning 53999 clauses out of 108013 with flag 3914001/30704448 1572.89/1570.79 c cleaning 55003 clauses out of 110015 with flag 4053545/30760449 1574.79/1572.66 c cleaning 55997 clauses out of 112012 with flag 4195072/30817449 1576.88/1574.77 c cleaning 57004 clauses out of 114014 with flag 4341922/30875448 1579.19/1577.03 c cleaning 58001 clauses out of 116010 with flag 4500668/30934448 1581.58/1579.46 c cleaning 59003 clauses out of 118009 with flag 4658054/30994448 1584.19/1582.07 c cleaning 59994 clauses out of 120007 with flag 4818142/31055449 1586.37/1584.29 c cleaning 61001 clauses out of 122013 with flag 4970330/31117449 1588.47/1586.35 c cleaning 62005 clauses out of 124011 with flag 5122216/31180448 1590.57/1588.46 c cleaning 62998 clauses out of 126007 with flag 5276984/31244449 1593.17/1591.07 c cleaning 63994 clauses out of 128008 with flag 5444205/31309448 1595.92/1593.70 c cleaning 65000 clauses out of 130014 with flag 5608386/31375448 1598.32/1596.16 c cleaning 66001 clauses out of 132014 with flag 5769659/31442448 1600.90/1598.76 c cleaning 67002 clauses out of 134014 with flag 5935104/31510449 1603.70/1601.53 c cleaning 68003 clauses out of 136011 with flag 6104957/31579448 1606.69/1604.52 c cleaning 68998 clauses out of 138008 with flag 6279829/31649448 1609.68/1607.53 c cleaning 69993 clauses out of 140010 with flag 6452237/31720448 1612.59/1610.41 c cleaning 71006 clauses out of 142018 with flag 6626832/31792449 1615.68/1613.52 c cleaning 72001 clauses out of 144011 with flag 6803474/31865448 1619.08/1616.98 c cleaning 72998 clauses out of 146011 with flag 6982570/31939449 1622.07/1619.93 c cleaning 74002 clauses out of 148012 with flag 7160872/32014448 1625.28/1623.14 c cleaning 75002 clauses out of 150011 with flag 7340976/32090449 1629.36/1627.29 c cleaning 75996 clauses out of 152008 with flag 7539581/32167448 1633.35/1631.23 c cleaning 77004 clauses out of 154013 with flag 7740423/32245449 1637.04/1634.96 c cleaning 78001 clauses out of 156008 with flag 7936696/32324448 1640.74/1638.63 c cleaning 79002 clauses out of 158007 with flag 8139822/32404448 1645.25/1643.16 c cleaning 79997 clauses out of 160007 with flag 8345209/32485450 1650.24/1648.13 c cleaning 81003 clauses out of 162008 with flag 8562556/32567448 1654.81/1652.79 c cleaning 81998 clauses out of 164005 with flag 8776264/32650448 1659.70/1657.62 c cleaning 83003 clauses out of 166007 with flag 8984544/32734448 1664.60/1662.58 c cleaning 84003 clauses out of 168005 with flag 9197290/32819449 1669.59/1667.51 c cleaning 84992 clauses out of 170001 with flag 9411587/32905448 1672.59/1670.59 c cleaning 85991 clauses out of 172010 with flag 9627982/32992449 1676.09/1674.10 c cleaning 87007 clauses out of 174020 with flag 9850721/33080450 1680.08/1678.07 c cleaning 88007 clauses out of 176014 with flag 10073184/33169451 1684.08/1682.02 c cleaning 88996 clauses out of 178004 with flag 10291958/33259448 1687.96/1685.90 c cleaning 90000 clauses out of 180008 with flag 10515291/33350448 1691.35/1689.31 c cleaning 90997 clauses out of 182008 with flag 10736930/33442448 1695.06/1693.10 c cleaning 92001 clauses out of 184012 with flag 10962894/33535449 1699.34/1697.30 c cleaning 93005 clauses out of 186010 with flag 11202042/33629448 1702.93/1701.00 c cleaning 93981 clauses out of 188005 with flag 11434555/33724448 1706.62/1704.68 c cleaning 94995 clauses out of 190025 with flag 11669913/33820449 1711.41/1709.40 c cleaning 96015 clauses out of 192032 with flag 11910035/33917451 1716.02/1714.02 c cleaning 96994 clauses out of 194014 with flag 12159762/34015448 1720.19/1718.20 c cleaning 98004 clauses out of 196020 with flag 12405429/34114448 1724.11/1722.15 c cleaning 98997 clauses out of 198016 with flag 12655074/34214448 1728.58/1726.68 c cleaning 100006 clauses out of 200020 with flag 12905820/34315449 1732.87/1730.97 c cleaning 101005 clauses out of 202015 with flag 13156019/34417450 1737.26/1735.32 c cleaning 101995 clauses out of 204009 with flag 13409894/34520449 1742.07/1740.16 c cleaning 103000 clauses out of 206013 with flag 13663257/34624448 1746.75/1744.89 c cleaning 104006 clauses out of 208014 with flag 13920243/34729449 1751.83/1749.90 c cleaning 104997 clauses out of 210010 with flag 14181476/34835451 1756.12/1754.29 c cleaning 105989 clauses out of 212010 with flag 14441192/34942448 1760.21/1758.30 c cleaning 107011 clauses out of 214023 with flag 14703276/35050450 1765.09/1763.18 c cleaning 107997 clauses out of 216010 with flag 14965617/35159448 1769.37/1767.44 c cleaning 109005 clauses out of 218013 with flag 15233339/35269448 1774.37/1772.46 c cleaning 110002 clauses out of 220008 with flag 15505956/35380448 1780.07/1778.17 c cleaning 110996 clauses out of 222006 with flag 15781522/35492448 1787.06/1785.18 c cleaning 112000 clauses out of 224010 with flag 16082128/35605448 1792.94/1791.07 c cleaning 113002 clauses out of 226010 with flag 16366849/35719448 1798.52/1796.66 c cleaning 113992 clauses out of 228008 with flag 16655697/35834448 1805.11/1803.23 c cleaning 114998 clauses out of 230016 with flag 16945121/35950448 1810.41/1808.53 c cleaning 116004 clauses out of 232019 with flag 17237346/36067449 1816.70/1814.82 c cleaning 116999 clauses out of 234014 with flag 17530271/36185448 1824.78/1822.99 c cleaning 118001 clauses out of 236015 with flag 17839814/36304448 1830.38/1828.56 c cleaning 119004 clauses out of 238015 with flag 18125002/36424449 1837.47/1835.62 c cleaning 119995 clauses out of 240010 with flag 18414993/36545448 1843.56/1841.74 c cleaning 121004 clauses out of 242017 with flag 18705421/36667450 1849.86/1848.06 c cleaning 121997 clauses out of 244011 with flag 19003455/36790448 1856.53/1854.72 c cleaning 123007 clauses out of 246014 with flag 19303031/36914448 1862.83/1861.09 c cleaning 123996 clauses out of 248007 with flag 19601834/37039448 1869.12/1867.39 c cleaning 124997 clauses out of 250011 with flag 19909209/37165448 1876.40/1874.60 c cleaning 126001 clauses out of 252015 with flag 20215175/37292449 1883.60/1881.80 c cleaning 126997 clauses out of 254013 with flag 20522976/37420448 1890.69/1888.97 c cleaning 128003 clauses out of 256016 with flag 20833890/37549448 1898.17/1896.40 c cleaning 128994 clauses out of 258015 with flag 21150104/37679450 1907.19/1905.41 c cleaning 130005 clauses out of 260022 with flag 21466467/37810451 1914.58/1912.82 c cleaning 131005 clauses out of 262014 with flag 21784384/37942448 1922.78/1921.01 c cleaning 132001 clauses out of 264009 with flag 22111204/38075448 1929.36/1927.69 c cleaning 132995 clauses out of 266008 with flag 22442860/38209448 1936.55/1934.87 c cleaning 133999 clauses out of 268014 with flag 22776765/38344449 1947.34/1945.60 c cleaning 134996 clauses out of 270014 with flag 23115193/38480448 1958.72/1957.09 c cleaning 136000 clauses out of 272018 with flag 23447394/38617448 1970.09/1968.44 c cleaning 137009 clauses out of 274018 with flag 23786462/38755448 1978.97/1977.30 c cleaning 137999 clauses out of 276009 with flag 24126160/38894448 1988.56/1986.96 c cleaning 138997 clauses out of 278010 with flag 24464618/39034448 1997.65/1996.06 c cleaning 140006 clauses out of 280014 with flag 24805441/39175449 2007.12/2005.50 c cleaning 140998 clauses out of 282007 with flag 25152612/39317448 2015.22/2013.69 c cleaning 141996 clauses out of 284009 with flag 25504041/39460448 2023.80/2022.24 c cleaning 143003 clauses out of 286014 with flag 25856946/39604449 2033.49/2032.00 c cleaning 143996 clauses out of 288012 with flag 26221027/39749450 2042.88/2041.39 c cleaning 145000 clauses out of 290014 with flag 26581803/39895448 2052.26/2050.76 c cleaning 145995 clauses out of 292014 with flag 26943338/40042448 2062.79/2061.23 c cleaning 147001 clauses out of 294019 with flag 27302114/40190448 2072.47/2070.98 c cleaning 147999 clauses out of 296019 with flag 27665241/40339449 2082.57/2081.09 c cleaning 149006 clauses out of 298019 with flag 28027166/40489448 2093.73/2092.26 c cleaning 149993 clauses out of 300013 with flag 28392483/40640448 2106.52/2105.03 c cleaning 151004 clauses out of 302021 with flag 28769557/40792449 2117.08/2115.68 c cleaning 152008 clauses out of 304018 with flag 29158679/40945450 2127.58/2126.15 c cleaning 152995 clauses out of 306010 with flag 29543587/41099450 2139.83/2138.49 c cleaning 154000 clauses out of 308014 with flag 29933856/41254449 2150.91/2149.54 c cleaning 155003 clauses out of 310013 with flag 30328006/41410448 2161.99/2160.63 c cleaning 156004 clauses out of 312012 with flag 30739326/41567450 2174.77/2173.41 c cleaning 156993 clauses out of 314006 with flag 31131875/41725448 2187.73/2186.43 c cleaning 158001 clauses out of 316014 with flag 31524527/41884449 2200.42/2199.11 c cleaning 158999 clauses out of 318016 with flag 31919640/42044452 2211.88/2210.70 c cleaning 160002 clauses out of 320014 with flag 32313590/42205449 2226.27/2225.08 c cleaning 161007 clauses out of 322013 with flag 32714234/42367450 2239.13/2237.94 c cleaning 161999 clauses out of 324006 with flag 33118199/42530450 2251.61/2250.31 c cleaning 162993 clauses out of 326005 with flag 33531900/42694448 2263.20/2261.92 c cleaning 163998 clauses out of 328012 with flag 33945376/42859448 2279.97/2278.73 c cleaning 165006 clauses out of 330015 with flag 34348730/43025449 2292.95/2291.63 c cleaning 166003 clauses out of 332010 with flag 34750729/43192450 2305.23/2303.91 c cleaning 166998 clauses out of 334005 with flag 35152299/43360448 2319.11/2317.80 c cleaning 167998 clauses out of 336008 with flag 35570566/43529449 2332.19/2330.93 c cleaning 169002 clauses out of 338009 with flag 35982915/43699448 2346.38/2345.16 c cleaning 169998 clauses out of 340007 with flag 36398510/43870448 2359.85/2358.62 c cleaning 171000 clauses out of 342011 with flag 36813516/44042450 2375.72/2374.25 c cleaning 171992 clauses out of 344009 with flag 37235793/44215448 2390.70/2389.23 c cleaning 173003 clauses out of 346018 with flag 37648777/44389449 2403.87/2402.44 c cleaning 174000 clauses out of 348014 with flag 38073309/44564448 2416.26/2414.90 c cleaning 175006 clauses out of 350015 with flag 38513988/44740449 2431.74/2430.31 c cleaning 176002 clauses out of 352008 with flag 38949647/44917448 2446.11/2444.72 c cleaning 176997 clauses out of 354006 with flag 39387883/45095448 2460.59/2459.24 c cleaning 178007 clauses out of 356019 with flag 39821519/45274458 2475.77/2474.42 c cleaning 178992 clauses out of 358003 with flag 40263679/45454449 2490.29/2488.98 c cleaning 180004 clauses out of 360012 with flag 40706196/45635450 2506.49/2505.18 c cleaning 180997 clauses out of 362006 with flag 41160598/45817448 2523.75/2522.45 c cleaning 182004 clauses out of 364009 with flag 41622112/46000448 2539.23/2537.93 c cleaning 182992 clauses out of 366006 with flag 42064864/46184449 2556.51/2555.20 c cleaning 184006 clauses out of 368013 with flag 42513430/46369448 2573.02/2571.70 c cleaning 185000 clauses out of 370010 with flag 42964442/46555451 2590.99/2589.76 c cleaning 185993 clauses out of 372007 with flag 43428818/46742448 2606.97/2605.74 c cleaning 187000 clauses out of 374015 with flag 43879999/46930449 2625.26/2624.09 c cleaning 187997 clauses out of 376014 with flag 44352670/47119448 2647.24/2646.10 c cleaning 188997 clauses out of 378018 with flag 44838697/47309449 2664.13/2662.93 c cleaning 190005 clauses out of 380021 with flag 45287825/47500449 2681.00/2679.80 c cleaning 191000 clauses out of 382015 with flag 45757843/47692448 2698.68/2697.59 c cleaning 191999 clauses out of 384015 with flag 46215922/47885448 2715.76/2714.65 c cleaning 193001 clauses out of 386017 with flag 46673102/48079449 2733.14/2732.07 c cleaning 193994 clauses out of 388016 with flag 47128852/48274449 2750.40/2749.35 c cleaning 195007 clauses out of 390021 with flag 47594619/48470448 2768.27/2767.25 c cleaning 195999 clauses out of 392015 with flag 48059779/48667449 2786.33/2785.31 c cleaning 197007 clauses out of 394016 with flag 48527288/48865449 2808.13/2807.19 c cleaning 197997 clauses out of 396008 with flag 49014963/49064448 2830.28/2829.35 c cleaning 198998 clauses out of 398013 with flag 49495386/49264450 2850.66/2849.77 c cleaning 199999 clauses out of 400013 with flag 49983827/49465448 2869.83/2868.93 c cleaning 201003 clauses out of 402016 with flag 50487583/49667450 2897.68/2896.71 c cleaning 201993 clauses out of 404013 with flag 50995197/49870450 2912.16/2911.21 c cleaning 203004 clauses out of 406018 with flag 51481752/50074448 2926.50/2925.55 c cleaning 204003 clauses out of 408014 with flag 51979512/50279448 2940.39/2939.44 c cleaning 204996 clauses out of 410011 with flag 52479411/50485448 2952.98/2952.06 c cleaning 205998 clauses out of 412016 with flag 52981268/50692449 2966.80/2965.89 c cleaning 206995 clauses out of 414017 with flag 53483084/50900448 2979.68/2978.77 c cleaning 208002 clauses out of 416023 with flag 53987348/51109449 2991.97/2991.09 c cleaning 209005 clauses out of 418020 with flag 54491518/51319448 3005.34/3004.47 c cleaning 210003 clauses out of 420015 with flag 55004288/51530448 3016.53/3015.61 c cleaning 211006 clauses out of 422013 with flag 55517098/51742449 3031.81/3030.93 c cleaning 211999 clauses out of 424007 with flag 56031905/51955449 3045.24/3044.30 c cleaning 213003 clauses out of 426007 with flag 56548766/52169448 3058.12/3057.24 c cleaning 213997 clauses out of 428004 with flag 57070518/52384448 3070.79/3069.94 c cleaning 214990 clauses out of 430008 with flag 57601538/52600449 3084.18/3083.36 c cleaning 215999 clauses out of 432017 with flag 58134638/52817448 3097.56/3096.78 c cleaning 216999 clauses out of 434019 with flag 58668727/53035449 3111.90/3111.08 c cleaning 218003 clauses out of 436020 with flag 59204560/53254449 3125.27/3124.46 c cleaning 219004 clauses out of 438018 with flag 59751017/53474450 3139.55/3138.78 c cleaning 220000 clauses out of 440012 with flag 60295516/53695448 3152.52/3151.72 c cleaning 221002 clauses out of 442012 with flag 60844328/53917448 3166.91/3166.12 c cleaning 222000 clauses out of 444011 with flag 61389716/54140449 3178.38/3177.62 c cleaning 223000 clauses out of 446011 with flag 61934697/54364449 3191.36/3190.68 c cleaning 224002 clauses out of 448010 with flag 62481719/54589448 3203.44/3202.75 c cleaning 225002 clauses out of 450011 with flag 63049451/54815451 3217.22/3216.52 c cleaning 225998 clauses out of 452006 with flag 63623619/55042448 3234.00/3233.36 c cleaning 226994 clauses out of 454009 with flag 64203777/55270449 3249.08/3248.40 c cleaning 227996 clauses out of 456014 with flag 64768955/55499448 3266.75/3266.08 c cleaning 229007 clauses out of 458019 with flag 65344777/55729449 3285.19/3284.58 c cleaning 230003 clauses out of 460011 with flag 65925957/55960448 3301.25/3300.69 c cleaning 231001 clauses out of 462010 with flag 66500724/56192450 3317.42/3316.82 c cleaning 231993 clauses out of 464007 with flag 67095964/56425448 3334.38/3333.82 c cleaning 232992 clauses out of 466015 with flag 67681353/56659449 3348.36/3347.87 c cleaning 233998 clauses out of 468022 with flag 68275102/56894448 3367.05/3366.15 c cleaning 235000 clauses out of 470024 with flag 68864999/57130448 3381.82/3380.92 c cleaning 236010 clauses out of 472027 with flag 69450033/57367451 3399.09/3398.21 c cleaning 237004 clauses out of 474017 with flag 70055217/57605451 3416.16/3415.37 c cleaning 237986 clauses out of 476010 with flag 70657137/57844448 3433.74/3433.00 c cleaning 238998 clauses out of 478024 with flag 71260420/58084448 3451.41/3450.61 c cleaning 240005 clauses out of 480027 with flag 71860135/58325449 3470.08/3469.30 c cleaning 241010 clauses out of 482021 with flag 72469793/58567448 3497.64/3496.98 c cleaning 242001 clauses out of 484012 with flag 73093024/58810449 3517.73/3517.10 c cleaning 242991 clauses out of 486010 with flag 73721405/59054448 3542.66/3542.06 c cleaning 243999 clauses out of 488019 with flag 74332629/59299448 3557.51/3556.98 c cleaning 245003 clauses out of 490027 with flag 74955322/59545455 3578.31/3577.70 c cleaning 245988 clauses out of 492017 with flag 75576934/59792448 3592.49/3591.99 c cleaning 247001 clauses out of 494031 with flag 76194563/60040450 3600.07/3599.53 c starts : 34 3600.07/3599.56 c conflicts : 60243695 3600.07/3599.56 c decisions : 116388559 3600.07/3599.56 c propagations : 1391808402 3600.07/3599.56 c inspects : 31733580254 3600.07/3599.57 c shortcuts : 0 3600.07/3599.57 c learnt literals : 0 3600.07/3599.57 c learnt binary clauses : 0 3600.07/3599.57 c learnt ternary clauses : 0 3600.07/3599.57 c learnt constraints : 60243695 3600.07/3599.57 c ignored constraints : 0 3600.07/3599.57 c root simplifications : 0 3600.07/3599.57 c removed literals (reason simplification) : 96274313 3600.07/3599.57 c reason swapping (by a shorter reason) : 0 3600.07/3599.57 c Calls to reduceDB : 575 3600.07/3599.57 c Number of update (reduction) of LBD : 10736134 3600.07/3599.57 c Imported unit clauses : 0 3600.07/3599.59 c No decision after first conflict : false 3600.07/3599.59 c number of reductions to clauses (during analyze) : 0 3600.07/3599.59 c number of learned constraints concerned by reduction : 0 3600.07/3599.59 c number of learning phase by resolution : 0 3600.07/3599.59 c number of learning phase by cutting planes : 0 3600.07/3599.59 c number of rounding to 1 operations : 0 3600.07/3599.59 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3599.59 c number of reductions of the coefficients by power 2 : 0 3600.07/3599.59 c number of right shift for reduction by power 2 : 0 3600.07/3599.59 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3599.59 c number of ending skipping : 0 3600.07/3599.59 c number of internal skipping : 0 3600.07/3599.59 c number of derivation steps : 0 3600.07/3599.59 c number of skipped derivation steps : 0 3600.07/3599.59 c number of remaining unassigned : 0 3600.07/3599.59 c number of remaining assigned : 0 3600.07/3599.59 c number of falsified literals weakened from reason : 0 3600.07/3599.59 c number of falsified literals weakened from conflict : 0 3600.07/3599.59 c time for arithmetic operations : 0 3600.27/3599.61 c minimum degree of deleted constraints : null 3600.27/3599.61 c maximum degree of deleted constraints : null 3600.27/3599.61 c number of deleted constraints : 0 3600.27/3599.62 c speed (assignments/second) : 386709.907638072 3600.27/3599.62 c non guided choices : 0 3600.66/3599.81 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 450275 3600.66/3599.81 s SATISFIABLE 3600.66/3599.81 c Found 5 solution(s) 3600.66/3599.82 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 3600.66/3599.82 c objective function=28 3600.66/3599.82 c Total wall clock time (in seconds): 3599.467
OK 28
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: 63837 MiB (60950 MiB free)
memory of node 1: 64465 MiB (63320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502792-1751472378/watcher-4502792-1751472378 -o /tmp/evaluation-result-4502792-1751472378/solver-4502792-1751472378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62840 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502792-1751472378.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=64899, runsolver pid=64896
[startup+0.100072 s]*
/proc/loadavg: 4.09 4.11 4.14 9/323 64917
/proc/meminfo: memFree=127188216/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18930384 memory=50140 CPUtime=0.12 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 5727 0 0 0 9 3 0 0 20 0 18 0 62916569 19384713216 12535 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4732596 12535 5304 1 0 546955 0
[pid=64899/tid=64901] ppid=64896 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 4638 0 0 0 5 2 0 0 20 0 18 0 62916571 19384713216 12535 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62916576 19384713216 12535 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18930384 memory=55195547748946 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62916577 19384713216 12535 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50140 KiB
[startup+0.21375 s]*
/proc/loadavg: 4.25 4.14 4.15 8/323 64917
/proc/meminfo: memFree=127110984/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18930384 memory=53680 CPUtime=0.24 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 6060 0 0 0 20 4 0 0 20 0 18 0 62916569 19384713216 13420 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4732596 13420 5336 1 0 547229 0
[pid=64899/tid=64901] ppid=64896 vsize=18930384 memory=4026728732 CPUtime=0.14 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 4947 0 0 0 12 2 0 0 20 0 18 0 62916571 19384713216 13420 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18930384 memory=2576 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62916576 19384713216 13420 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18930384 memory=54096036103158 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62916577 19384713216 13420 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53680 KiB
[startup+0.313937 s]*
/proc/loadavg: 4.25 4.14 4.15 6/323 64917
/proc/meminfo: memFree=127096680/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18930384 memory=59896 CPUtime=0.42 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 6611 0 0 0 37 5 0 0 20 0 18 0 62916569 19384713216 14974 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4732596 14974 5336 1 0 547723 0
[pid=64899/tid=64901] ppid=64896 vsize=18930384 memory=-6000919481229142121 CPUtime=0.25 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 5166 0 0 0 22 3 0 0 20 0 18 0 62916571 19384713216 14974 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 62916576 19384713216 14974 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 62916577 19384713216 14974 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59896 KiB
[startup+0.700382 s]
/proc/loadavg: 4.25 4.14 4.15 9/325 64919
/proc/meminfo: memFree=126894968/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18996948 memory=72284 CPUtime=1.07 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 8791 0 0 0 101 6 0 0 20 0 19 0 62916569 19452874752 18071 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4749237 18071 5464 1 0 549343 0
[pid=64899/tid=64901] ppid=64896 vsize=18996948 memory=17920 CPUtime=0.56 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 5395 0 0 0 53 3 0 0 20 0 19 0 62916571 19452874752 18071 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62916576 19452874752 18071 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62916577 19452874752 18071 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62916619 19452874752 18071 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72284 KiB
[startup+1.5003 s]
/proc/loadavg: 4.25 4.14 4.15 7/326 64920
/proc/meminfo: memFree=126752556/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18996948 memory=84772 CPUtime=2.65 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 15939 0 0 0 257 8 0 0 20 0 19 0 62916569 19452874752 21193 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4749237 21193 5464 1 0 551361 0
[pid=64899/tid=64901] ppid=64896 vsize=18996948 memory=0 CPUtime=1.31 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 5813 0 0 0 127 4 0 0 20 0 19 0 62916571 19452874752 21193 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62916576 19452874752 21193 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62916577 19452874752 21193 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62916619 19452874752 21193 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84772 KiB
[startup+3.10548 s]
/proc/loadavg: 4.25 4.14 4.15 5/326 64920
/proc/meminfo: memFree=126236244/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=18996948 memory=119852 CPUtime=4.64 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 16633 0 0 0 455 9 0 0 20 0 19 0 62916569 19452874752 29963 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4749237 29963 5464 1 0 551383 0
[pid=64899/tid=64901] ppid=64896 vsize=18996948 memory=11264 CPUtime=2.89 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 6089 0 0 0 285 4 0 0 20 0 19 0 62916571 19452874752 29963 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=18996948 memory=-6000919481229142121 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 62916576 19452874752 29963 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 62916577 19452874752 29963 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 62916619 19452874752 29963 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119852 KiB
[startup+6.30044 s]
/proc/loadavg: 4.23 4.14 4.15 8/327 64922
/proc/meminfo: memFree=125556372/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=173776 CPUtime=7.95 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 20412 0 0 0 783 12 0 0 20 0 20 0 62916569 19521036288 43444 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 43444 5528 1 0 551672 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=0 CPUtime=6.02 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 6526 0 0 0 596 6 0 0 20 0 20 0 62916571 19521036288 43444 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 43444 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 43444 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=86820 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 43444 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173776 KiB
[startup+12.7005 s]
/proc/loadavg: 4.29 4.16 4.15 6/327 64922
/proc/meminfo: memFree=123999516/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=179976 CPUtime=14.34 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 22645 0 0 0 1422 12 0 0 20 0 20 0 62916569 19521036288 44994 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 44994 5528 1 0 551672 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=86820 CPUtime=12.34 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 7037 0 0 0 1228 6 0 0 20 0 20 0 62916571 19521036288 44994 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 44994 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=179976 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 44994 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 44994 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179976 KiB
[startup+25.5004 s]
/proc/loadavg: 4.24 4.15 4.15 6/325 64987
/proc/meminfo: memFree=123041040/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=235620 CPUtime=27.22 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 25196 0 0 0 2707 15 0 0 20 0 20 0 62916569 19521036288 58905 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 58905 5528 1 0 551672 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=-6000919481229142121 CPUtime=24.95 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 7516 0 0 0 2489 6 0 0 20 0 20 0 62916571 19521036288 58905 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 58905 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 58905 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 58905 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 235620 KiB
[startup+51.1135 s]
/proc/loadavg: 4.26 4.17 4.16 5/327 64989
/proc/meminfo: memFree=117565328/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=352896 CPUtime=52.82 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 25515 0 0 0 5263 19 0 0 20 0 20 0 62916569 19521036288 88224 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 88224 5560 1 0 551672 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=173776 CPUtime=50.1 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 7564 0 0 0 5004 6 0 0 20 0 20 0 62916571 19521036288 88224 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=317996 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 88224 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=0 CPUtime=0 cores=4,6
################
# More data... #
################
Current children cumulated memory: 2166364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.19 4.39 5/326 65222
/proc/meminfo: memFree=111055036/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2166364 CPUtime=3342.87 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 89176 0 0 0 334089 198 0 0 20 0 20 0 62916569 19521036288 541591 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 541591 5560 1 0 555303 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=2166364 CPUtime=3324.99 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 33662 0 0 0 332471 28 0 0 20 0 20 0 62916571 19521036288 541591 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 541591 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=2166364 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1362 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 541591 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=2166364 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 541591 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3342.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.37 5/326 65224
/proc/meminfo: memFree=111055044/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2168488 CPUtime=3403.18 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 92109 0 0 0 340118 200 0 0 20 0 20 0 62916569 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 542122 5560 1 0 555303 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=2166364 CPUtime=3384.63 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 34598 0 0 0 338435 28 0 0 20 0 20 0 62916571 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=2166364 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=2166364 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1362 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3403.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.25 4.38 5/326 65226
/proc/meminfo: memFree=110600168/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2168488 CPUtime=3463.09 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 93196 0 0 0 346106 203 0 0 20 0 20 0 62916569 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 542122 5560 1 0 555303 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=2166364 CPUtime=3444.49 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 35463 0 0 0 344421 28 0 0 20 0 20 0 62916571 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=2168488 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1457 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 542122 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3463.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.66 4.37 4.42 5/326 65229
/proc/meminfo: memFree=110600200/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2168616 CPUtime=3523 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 94880 0 0 0 352095 205 0 0 20 0 20 0 62916569 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 542154 5560 1 0 555304 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=2168488 CPUtime=3504.08 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 35993 0 0 0 350380 28 0 0 20 0 20 0 62916571 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=2168488 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=2168488 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3523 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168616 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.31 4.39 4/304 65243
/proc/meminfo: memFree=114877964/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2168616 CPUtime=3582.9 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 95226 0 0 0 358082 208 0 0 20 0 20 0 62916569 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 542154 5560 1 0 555304 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=14464 CPUtime=3563.65 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 36103 0 0 0 356337 28 0 0 20 0 20 0 62916571 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=2168616 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.5 s]
/proc/loadavg: 4.07 4.26 4.37 4/302 65266
/proc/meminfo: memFree=114887972/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19063512 memory=2168616 CPUtime=3600.07 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 95326 0 0 0 359798 209 0 0 20 0 20 0 62916569 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4765878 542154 5560 1 0 555304 0
[pid=64899/tid=64901] ppid=64896 vsize=19063512 memory=2168616 CPUtime=3580.8 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 36201 0 0 0 358052 28 0 0 20 0 20 0 62916571 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19063512 memory=2168488 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 62916576 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 20 0 62916577 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64919] ppid=64896 vsize=19063512 memory=2168616 CPUtime=0 cores=4,6
/proc/64899/task/64919/stat : 64919 (Timer-0) S 64896 64899 62829 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 62916619 19521036288 542154 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.86 s]
# the end of solver process 64899 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.62 s, system=2.11653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3599.61 s]
/proc/loadavg: 4.07 4.26 4.37 4/302 65266
/proc/meminfo: memFree=114887972/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19263204 memory=2169256 CPUtime=3600.27 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 97350 0 0 0 359818 209 0 0 20 0 21 0 62916569 19725520896 542314 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4815801 542314 5592 1 0 556211 0
[pid=64899/tid=64901] ppid=64896 vsize=19263204 memory=17920 CPUtime=3580.9 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 36451 0 0 0 358062 28 0 0 20 0 21 0 62916571 19725520896 542314 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19263204 memory=11264 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62916576 19725520896 542314 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19263204 memory=-6000919481229142121 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 21 0 62916577 19725520896 542314 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2169256 KiB
[startup+3599.8 s]
/proc/loadavg: 4.07 4.26 4.37 4/302 65266
/proc/meminfo: memFree=114887972/131382120 swapFree=33010416/33010684
[pid=64899] ppid=64896 vsize=19263204 memory=2169384 CPUtime=3600.66 cores=4,6
/proc/64899/stat : 64899 (java) S 64896 64899 62829 0 -1 4194304 97464 0 0 0 359857 209 0 0 20 0 21 0 62916569 19725520896 542346 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
/proc/64899/statm: 4815801 542346 5592 1 0 556243 0
[pid=64899/tid=64901] ppid=64896 vsize=19263204 memory=9344 CPUtime=3581.1 cores=4,6
/proc/64899/task/64901/stat : 64901 (java) R 64896 64899 62829 0 -1 4194368 36451 0 0 0 358082 28 0 0 20 0 21 0 62916571 19725520896 542346 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64910] ppid=64896 vsize=19263204 memory=2212 CPUtime=0 cores=4,6
/proc/64899/task/64910/stat : 64910 (Finalizer) S 64896 64899 62829 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 62916576 19725520896 542346 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
[pid=64899/tid=64917] ppid=64896 vsize=19263204 memory=2688 CPUtime=0 cores=4,6
/proc/64899/task/64917/stat : 64917 (Common-Cleaner) S 64896 64899 62829 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 21 0 62916577 19725520896 542346 18446744073709551615 94758240415744 94758240419440 140725822959008 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94758240427256 94758240428048 94758257766400 140725822962049 140725822962150 140725822962150 140725822967752 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2169384 KiB
Child status: 143
Real time (s): 3599.86
CPU time (s): 3600.74
CPU user time (s): 3598.62
CPU system time (s): 2.11653
CPU usage (%): 100.024
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2169384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 2.11653
maximum resident set size= 2169512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107851
involuntary context switches= 4111
# summary of solver processes directly reported to runsolver:
# pid: 64899
# total CPU time (s): 3600.74
# total CPU user time (s): 3598.62
# total CPU system time (s): 2.11653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9077 second user time and 36.1103 second system time
The end
Begin job on nodeC002 at 2025-07-02 18:06:18 IDJOB=4502792 IDBENCH=155398 IDSOLVER=3363 FILE ID=nodeC002/4502792-1751472378 RUNJOBID= nodeC002-1751465155-62840 SLURM_JOB_ID= 9598478 Free space on /tmp= 432728 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_4_shg.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502792-1751472378/watcher-4502792-1751472378 -o /tmp/evaluation-result-4502792-1751472378/solver-4502792-1751472378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751465155-62840 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4502792-1751472378.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f8cbff203f2ec66bcdec19280bdd1d00 RANDOM SEED=1693209131 nodeC002 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 : 0xb00001f cpu MHz : 3498.747 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 2494.185 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1197.212 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 2494.215 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1696.069 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 2693.974 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 1496.582 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 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 : 0xb00001f cpu MHz : 2194.913 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 127258444 kB MemAvailable: 127665492 kB Buffers: 2128 kB Cached: 1213540 kB SwapCached: 28 kB Active: 2638444 kB Inactive: 910452 kB Active(anon): 2344756 kB Inactive(anon): 6404 kB Active(file): 293688 kB Inactive(file): 904048 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18676 kB Writeback: 48 kB AnonPages: 2336352 kB Mapped: 123160 kB Shmem: 17932 kB KReclaimable: 97880 kB Slab: 182568 kB SReclaimable: 97880 kB SUnreclaim: 84688 kB KernelStack: 4960 kB PageTables: 8084 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 7080348 kB VmallocTotal: 34359738367 kB VmallocUsed: 150280 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2097152 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: 181064 kB DirectMap2M: 8110080 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432140 MiB End job on nodeC002 at 2025-07-02 19:06:18