| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution VeriPB 2025-06-06 | SAT (TO) | 5400081 | 3422.15 | 3700.26 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat50_4_16_1.opb |
| MD5SUM | d01f39fb61de71c60f300d6712f658b6 |
| 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 | 2899749 |
| Best CPU time to get the best result obtained on this benchmark | 124.337 |
| 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 | 5100 |
| Total number of constraints | 7606 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7500 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1225 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 143877824 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 43040121046 |
| Number of bits of the sum of numbers in the objective function | 36 |
| Biggest number in a constraint | 143877824 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 43040121046 |
| Number of bits of the biggest sum of numbers | 36 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.14 c Pseudo Boolean Optimization by upper bound 0.12/0.14 c --- Begin Solver configuration --- 0.12/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.14 c Learn all clauses as in MiniSAT 0.12/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.14 c Expensive reason simplification 0.12/0.14 c Glucose 2.1 dynamic restart strategy 0.12/0.14 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.12/0.14 c timeout=2147483s 0.12/0.14 c DB Simplification allowed=false 0.12/0.14 c Listener: none 0.12/0.14 c --- End Solver configuration --- 0.12/0.14 c solving HOME/instance-4503891-1751446068.opb 0.12/0.14 c reading problem ... 0.12/0.15 c using VERIPB proof format 0.12/0.15 c objective function found 0.48/0.32 c ... done. Wall clock time 0.177s. 0.48/0.32 c declared #vars 5100 0.48/0.32 c #constraints 12512 0.48/0.32 c constraints type 0.48/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 0.48/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.48/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 0.48/0.32 c org.sat4j.specs.Constr$1 => 2 0.48/0.32 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.48/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 0.48/0.32 c 12512 constraints processed. 0.48/0.33 c objective function length is 4950 literals 0.87/0.59 c SATISFIABLE 0.87/0.59 c OPTIMIZING... 0.87/0.59 c Got one! Elapsed wall clock time (in seconds):0.456 0.87/0.59 o 5400081 3.22/1.78 c cleaning 2565 clauses out of 5147 with flag 10403/5147 5.20/2.74 c cleaning 4273 clauses out of 8584 with flag 22675/11149 6.42/3.75 c cleaning 5638 clauses out of 11309 with flag 36823/18147 7.72/4.90 c cleaning 6823 clauses out of 13672 with flag 52998/26148 9.00/6.17 c cleaning 7906 clauses out of 15849 with flag 71259/35148 10.49/7.57 c cleaning 8957 clauses out of 17942 with flag 91857/45147 12.24/9.21 c cleaning 9974 clauses out of 19985 with flag 115426/56147 14.14/11.11 c cleaning 11003 clauses out of 22012 with flag 140279/68148 16.25/13.23 c cleaning 12005 clauses out of 24009 with flag 166323/81148 18.95/15.82 c cleaning 13000 clauses out of 26003 with flag 195152/95147 21.34/18.20 c cleaning 13997 clauses out of 28003 with flag 225320/110147 24.04/20.94 c cleaning 15003 clauses out of 30007 with flag 257749/126148 26.97/23.86 c cleaning 16000 clauses out of 32005 with flag 292042/143149 30.12/26.94 c cleaning 16998 clauses out of 34003 with flag 328410/161147 33.51/30.33 c cleaning 18001 clauses out of 36006 with flag 367418/180148 37.10/33.90 c cleaning 18996 clauses out of 38004 with flag 408142/200147 40.57/37.56 c cleaning 20001 clauses out of 40008 with flag 450773/221147 44.17/41.19 c cleaning 21000 clauses out of 42008 with flag 495156/243148 48.26/45.22 c cleaning 22002 clauses out of 44008 with flag 541506/266148 52.34/49.32 c cleaning 22999 clauses out of 46005 with flag 589798/290147 56.66/53.60 c cleaning 23999 clauses out of 48006 with flag 640052/315147 61.41/58.24 c cleaning 25000 clauses out of 50007 with flag 692367/341147 65.61/62.48 c cleaning 26000 clauses out of 52007 with flag 746742/368147 70.21/67.54 c cleaning 27002 clauses out of 54007 with flag 803116/396147 74.90/72.22 c cleaning 28001 clauses out of 56005 with flag 861556/425147 79.61/76.94 c cleaning 29001 clauses out of 58005 with flag 921844/455148 84.60/81.96 c cleaning 30001 clauses out of 60004 with flag 984301/486148 89.81/87.11 c cleaning 30998 clauses out of 62003 with flag 1048497/518148 94.81/92.17 c cleaning 32002 clauses out of 64006 with flag 1115010/551149 100.14/97.68 c cleaning 32998 clauses out of 66002 with flag 1183380/585147 105.73/103.20 c cleaning 33997 clauses out of 68004 with flag 1253820/620147 111.22/108.70 c cleaning 35001 clauses out of 70007 with flag 1326326/656147 116.93/114.46 c cleaning 35999 clauses out of 72006 with flag 1400683/693147 122.74/120.28 c cleaning 37003 clauses out of 74009 with flag 1477145/731149 129.04/126.52 c cleaning 38003 clauses out of 76005 with flag 1555597/770148 135.38/133.17 c cleaning 38996 clauses out of 78001 with flag 1636070/810147 142.09/139.87 c cleaning 40002 clauses out of 80005 with flag 1718649/851147 149.18/146.91 c cleaning 40997 clauses out of 82003 with flag 1803283/893147 156.39/154.13 c cleaning 42004 clauses out of 84007 with flag 1889751/936148 164.10/162.07 c cleaning 42999 clauses out of 86002 with flag 1978301/980147 171.85/169.78 c cleaning 44000 clauses out of 88004 with flag 2069208/1025148 178.58/176.49 c cleaning 45001 clauses out of 90004 with flag 2161864/1071148 185.72/183.45 c cleaning 45998 clauses out of 92003 with flag 2256528/1118148 193.05/191.37 c cleaning 46997 clauses out of 94004 with flag 2353141/1166147 200.37/198.60 c cleaning 48001 clauses out of 96008 with flag 2451851/1215148 207.50/205.79 c cleaning 49001 clauses out of 98006 with flag 2552395/1265147 215.10/213.34 c cleaning 50003 clauses out of 100005 with flag 2655101/1316147 222.91/221.42 c cleaning 50996 clauses out of 102003 with flag 2759745/1368148 230.73/229.24 c cleaning 52001 clauses out of 104006 with flag 2866281/1421147 238.84/237.39 c cleaning 52996 clauses out of 106005 with flag 2975008/1475147 247.35/245.85 c cleaning 53998 clauses out of 108009 with flag 3085683/1530147 256.17/254.80 c cleaning 55002 clauses out of 110011 with flag 3198686/1586147 264.68/263.37 c cleaning 55997 clauses out of 112009 with flag 3313291/1643147 273.12/271.70 c cleaning 57004 clauses out of 114013 with flag 3430140/1701148 282.06/280.80 c cleaning 58000 clauses out of 116008 with flag 3548935/1760147 291.06/289.85 c cleaning 59003 clauses out of 118008 with flag 3669617/1820147 300.15/298.94 c cleaning 59994 clauses out of 120005 with flag 3792234/1881147 309.34/308.15 c cleaning 61001 clauses out of 122012 with flag 3916954/1943148 318.90/318.48 c cleaning 61998 clauses out of 124010 with flag 4043827/2006147 328.70/328.23 c cleaning 63002 clauses out of 126012 with flag 4172572/2070147 338.92/338.45 c cleaning 64003 clauses out of 128010 with flag 4303315/2135147 349.03/349.51 c cleaning 65001 clauses out of 130008 with flag 4436333/2201148 359.25/359.79 c cleaning 66001 clauses out of 132007 with flag 4571164/2268148 369.66/370.16 c cleaning 66995 clauses out of 134005 with flag 4708196/2336147 380.41/381.30 c cleaning 68000 clauses out of 136011 with flag 4847033/2405148 391.14/392.03 c cleaning 68999 clauses out of 138011 with flag 4987922/2475148 402.30/403.15 c cleaning 70001 clauses out of 140012 with flag 5130832/2546148 412.87/413.97 c cleaning 71000 clauses out of 142010 with flag 5275863/2618147 424.18/425.28 c cleaning 71999 clauses out of 144010 with flag 5422785/2691147 435.55/436.72 c cleaning 73000 clauses out of 146012 with flag 5571662/2765148 447.46/448.63 c cleaning 74004 clauses out of 148012 with flag 5722406/2840148 459.19/460.34 c cleaning 74997 clauses out of 150008 with flag 5875330/2916148 470.79/472.27 c cleaning 75998 clauses out of 152010 with flag 6030350/2993147 483.41/484.86 c cleaning 77003 clauses out of 154013 with flag 6187464/3071148 495.32/497.54 c cleaning 77998 clauses out of 156010 with flag 6346574/3150148 507.72/509.90 c cleaning 79002 clauses out of 158011 with flag 6507567/3230147 519.96/522.14 c cleaning 80001 clauses out of 160010 with flag 6670724/3311148 532.88/535.36 c cleaning 80998 clauses out of 162008 with flag 6835835/3393147 546.36/548.86 c cleaning 82006 clauses out of 164011 with flag 7003029/3476148 559.11/561.79 c cleaning 82994 clauses out of 166004 with flag 7171979/3560147 572.85/575.47 c cleaning 84000 clauses out of 168010 with flag 7342920/3645147 586.45/589.21 c cleaning 85001 clauses out of 170011 with flag 7515803/3731148 600.36/603.12 c cleaning 85998 clauses out of 172009 with flag 7690731/3818147 614.51/617.25 c cleaning 87000 clauses out of 174011 with flag 7867672/3906147 628.74/631.69 c cleaning 87999 clauses out of 176011 with flag 8046686/3995147 643.34/646.23 c cleaning 89000 clauses out of 178012 with flag 8227692/4085147 658.17/662.68 c cleaning 90006 clauses out of 180013 with flag 8410978/4176148 673.41/677.85 c cleaning 91000 clauses out of 182007 with flag 8596088/4268148 689.70/694.56 c cleaning 92003 clauses out of 184007 with flag 8783321/4361148 705.53/710.36 c cleaning 92997 clauses out of 186004 with flag 8972508/4455148 722.08/727.36 c cleaning 93999 clauses out of 188006 with flag 9163769/4550147 738.71/743.91 c cleaning 95001 clauses out of 190007 with flag 9357023/4646147 754.55/760.20 c cleaning 95995 clauses out of 192006 with flag 9552219/4743147 770.42/776.10 c cleaning 97000 clauses out of 194011 with flag 9749688/4841147 786.38/792.97 c cleaning 98004 clauses out of 196011 with flag 9948854/4940147 802.09/809.36 c cleaning 99003 clauses out of 198007 with flag 10149893/5040147 818.55/825.72 c cleaning 99996 clauses out of 200005 with flag 10353070/5141148 834.93/842.43 c cleaning 100995 clauses out of 202008 with flag 10558328/5243147 851.23/858.72 c cleaning 102007 clauses out of 204014 with flag 10765137/5346148 867.31/875.29 c cleaning 102999 clauses out of 206006 with flag 10974223/5450147 884.10/892.03 c cleaning 104001 clauses out of 208008 with flag 11185512/5555148 901.38/909.85 c cleaning 104999 clauses out of 210007 with flag 11398708/5661148 918.59/927.02 c cleaning 106004 clauses out of 212007 with flag 11613701/5768147 936.35/944.98 c cleaning 107000 clauses out of 214004 with flag 11830842/5876148 954.49/963.58 c cleaning 107991 clauses out of 216004 with flag 12050060/5985148 972.76/981.76 c cleaning 109003 clauses out of 218013 with flag 12271204/6095148 990.52/999.34 c cleaning 109998 clauses out of 220010 with flag 12494557/6206148 1008.52/1017.32 c cleaning 111001 clauses out of 222011 with flag 12719747/6318147 1026.40/1035.99 c cleaning 111996 clauses out of 224010 with flag 12947118/6431147 1045.21/1054.87 c cleaning 113001 clauses out of 226015 with flag 13176550/6545148 1063.83/1073.46 c cleaning 114004 clauses out of 228013 with flag 13408100/6660147 1083.33/1093.39 c cleaning 115001 clauses out of 230009 with flag 13641305/6776147 1102.92/1112.90 c cleaning 116003 clauses out of 232008 with flag 13876585/6893147 1122.08/1132.48 c cleaning 116996 clauses out of 234005 with flag 14113808/7011147 1141.58/1152.15 c cleaning 117998 clauses out of 236009 with flag 14353062/7130147 1161.36/1171.93 c cleaning 119004 clauses out of 238011 with flag 14594279/7250147 1180.72/1191.47 c cleaning 120000 clauses out of 240007 with flag 14837777/7371147 1200.60/1211.60 c cleaning 120997 clauses out of 242007 with flag 15083165/7493147 1221.74/1232.64 c cleaning 121999 clauses out of 244010 with flag 15330466/7616147 1242.65/1261.46 c cleaning 122999 clauses out of 246012 with flag 15579603/7740148 1264.10/1297.57 c cleaning 124004 clauses out of 248014 with flag 15830905/7865149 1286.04/1552.96 c cleaning 125004 clauses out of 250010 with flag 16084383/7991149 1306.67/1573.57 c cleaning 126001 clauses out of 252005 with flag 16339828/8118148 1328.58/1595.44 c cleaning 126998 clauses out of 254003 with flag 16597323/8246147 1351.12/1618.00 c cleaning 127996 clauses out of 256005 with flag 16856699/8375147 1373.49/1640.30 c cleaning 129001 clauses out of 258009 with flag 17118427/8505147 1395.46/1662.27 c cleaning 129998 clauses out of 260008 with flag 17382579/8636147 1417.27/1683.90 c cleaning 130997 clauses out of 262010 with flag 17648577/8768147 1438.88/1705.53 c cleaning 132000 clauses out of 264014 with flag 17915956/8901148 1462.02/1728.61 c cleaning 132999 clauses out of 266013 with flag 18185769/9035147 1483.57/1750.17 c cleaning 134001 clauses out of 268015 with flag 18457838/9170148 1506.62/1773.13 c cleaning 135004 clauses out of 270014 with flag 18732029/9306148 1530.41/1796.92 c cleaning 135997 clauses out of 272009 with flag 19008258/9443147 1553.47/1819.93 c cleaning 137005 clauses out of 274013 with flag 19286109/9581148 1576.29/1842.72 c cleaning 138000 clauses out of 276008 with flag 19565958/9720148 1599.04/1865.47 c cleaning 138999 clauses out of 278008 with flag 19847659/9860148 1622.54/1888.96 c cleaning 139995 clauses out of 280008 with flag 20131167/10001147 1645.65/1912.06 c cleaning 140998 clauses out of 282013 with flag 20416624/10143147 1669.85/1936.22 c cleaning 142006 clauses out of 284015 with flag 20704018/10286147 1693.67/1960.01 c cleaning 142997 clauses out of 286009 with flag 20993560/10430147 1718.09/1984.43 c cleaning 144001 clauses out of 288013 with flag 21285315/10575148 1742.33/2008.68 c cleaning 144996 clauses out of 290012 with flag 21579096/10721148 1767.74/2034.09 c cleaning 146003 clauses out of 292015 with flag 21874679/10868147 1793.33/2059.58 c cleaning 147003 clauses out of 294013 with flag 22172452/11016148 1818.74/2084.95 c cleaning 147999 clauses out of 296010 with flag 22471993/11165148 1845.25/2111.41 c cleaning 149001 clauses out of 298011 with flag 22773637/11315148 1870.36/2136.59 c cleaning 149997 clauses out of 300010 with flag 23077543/11466148 1896.41/2162.55 c cleaning 151004 clauses out of 302013 with flag 23383129/11618148 1921.36/2187.40 c cleaning 151998 clauses out of 304008 with flag 23690933/11771147 1947.56/2213.69 c cleaning 152999 clauses out of 306011 with flag 24000624/11925148 1973.40/2239.44 c cleaning 154000 clauses out of 308012 with flag 24312387/12080148 1999.03/2265.05 c cleaning 155002 clauses out of 310014 with flag 24626542/12236150 2024.99/2290.94 c cleaning 156002 clauses out of 312009 with flag 24942733/12393147 2052.32/2318.26 c cleaning 156998 clauses out of 314007 with flag 25260400/12551147 2079.16/2345.09 c cleaning 158002 clauses out of 316010 with flag 25579871/12710148 2106.78/2372.61 c cleaning 158997 clauses out of 318007 with flag 25901768/12870147 2135.80/2401.65 c cleaning 159996 clauses out of 320011 with flag 26226149/13031148 2165.25/2431.00 c cleaning 161001 clauses out of 322014 with flag 26552131/13193147 2192.45/2458.17 c cleaning 161999 clauses out of 324013 with flag 26879841/13356147 2221.60/2486.97 c cleaning 163000 clauses out of 326014 with flag 27209550/13520147 2250.03/2515.34 c cleaning 164005 clauses out of 328014 with flag 27541369/13685147 2278.55/2543.85 c cleaning 164996 clauses out of 330009 with flag 27875187/13851147 2309.57/2574.86 c cleaning 166001 clauses out of 332013 with flag 28210916/14018147 2338.70/2603.83 c cleaning 167004 clauses out of 334012 with flag 28548704/14186147 2367.84/2632.90 c cleaning 167999 clauses out of 336009 with flag 28888439/14355148 2398.46/2663.54 c cleaning 168996 clauses out of 338009 with flag 29230553/14525147 2426.67/2691.69 c cleaning 170003 clauses out of 340014 with flag 29574254/14696148 2455.20/2720.16 c cleaning 171001 clauses out of 342011 with flag 29920241/14868148 2484.95/2749.80 c cleaning 172000 clauses out of 344009 with flag 30268285/15041147 2514.67/2779.58 c cleaning 172998 clauses out of 346009 with flag 30618197/15215147 2546.14/2810.93 c cleaning 173998 clauses out of 348012 with flag 30970114/15390148 2577.81/2842.58 c cleaning 174998 clauses out of 350013 with flag 31323827/15566147 2608.34/2873.23 c cleaning 176004 clauses out of 352016 with flag 31679760/15743148 2641.08/2906.41 c cleaning 177001 clauses out of 354011 with flag 32037835/15921147 2673.28/2938.86 c cleaning 178002 clauses out of 356011 with flag 32397835/16100148 2705.62/2971.72 c cleaning 178999 clauses out of 358008 with flag 32759896/16280147 2739.18/3005.22 c cleaning 180003 clauses out of 360010 with flag 33123898/16461148 2773.72/3039.75 c cleaning 180996 clauses out of 362007 with flag 33489481/16643148 2804.31/3070.48 c cleaning 181997 clauses out of 364011 with flag 33857752/16826148 2836.84/3103.10 c cleaning 183001 clauses out of 366013 with flag 34227934/17010147 2868.51/3134.86 c cleaning 184003 clauses out of 368013 with flag 34599675/17195148 2901.50/3168.05 c cleaning 184999 clauses out of 370010 with flag 34973749/17381148 2934.20/3201.14 c cleaning 185993 clauses out of 372010 with flag 35349643/17568147 2967.24/3234.31 c cleaning 186999 clauses out of 374018 with flag 35727811/17756148 3000.53/3267.57 c cleaning 188006 clauses out of 376018 with flag 36107814/17945147 3033.43/3300.57 c cleaning 188998 clauses out of 378012 with flag 36489714/18135147 3068.50/3335.79 c cleaning 190001 clauses out of 380014 with flag 36873596/18326147 3103.41/3370.84 c cleaning 191007 clauses out of 382014 with flag 37259736/18518148 3139.42/3407.22 c cleaning 191997 clauses out of 384006 with flag 37647460/18711147 3174.85/3442.70 c cleaning 193000 clauses out of 386009 with flag 38037447/18905147 3211.50/3479.32 c cleaning 193996 clauses out of 388009 with flag 38429136/19100147 3247.38/3520.03 c cleaning 195002 clauses out of 390013 with flag 38823012/19296147 3281.74/3554.40 c cleaning 195999 clauses out of 392011 with flag 39219073/19493147 3317.33/3590.06 c cleaning 197004 clauses out of 394012 with flag 39616966/19691147 3354.53/3628.18 c cleaning 198000 clauses out of 396008 with flag 40016863/19890147 3391.84/3669.90 c cleaning 199004 clauses out of 398009 with flag 40419200/20090148 3421.85/3700.02 c starts : 10 3421.85/3700.03 c conflicts : 20279764 3421.85/3700.03 c decisions : 22489747 3421.85/3700.03 c propagations : 208810191 3421.85/3700.03 c inspects : 4782758999 3421.85/3700.03 c shortcuts : 0 3421.85/3700.03 c learnt literals : 0 3421.85/3700.03 c learnt binary clauses : 0 3421.85/3700.03 c learnt ternary clauses : 3 3421.85/3700.03 c learnt constraints : 20279764 3421.85/3700.03 c ignored constraints : 0 3421.85/3700.03 c root simplifications : 0 3421.85/3700.03 c removed literals (reason simplification) : 1646401487 3421.85/3700.03 c reason swapping (by a shorter reason) : 0 3421.85/3700.03 c Calls to reduceDB : 196 3421.85/3700.03 c Number of update (reduction) of LBD : 129874 3421.85/3700.03 c Imported unit clauses : 0 3421.85/3700.03 c No decision after first conflict : false 3421.85/3700.03 c number of reductions to clauses (during analyze) : 0 3421.85/3700.03 c number of learned constraints concerned by reduction : 0 3421.85/3700.03 c number of learning phase by resolution : 0 3421.85/3700.04 c number of learning phase by cutting planes : 0 3421.85/3700.04 c number of rounding to 1 operations : 0 3421.85/3700.04 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3421.85/3700.04 c number of reductions of the coefficients by power 2 : 0 3421.85/3700.04 c number of right shift for reduction by power 2 : 0 3421.85/3700.04 c number of reductions of the coefficients by GCD over coefficients : 0 3421.85/3700.04 c number of ending skipping : 0 3421.85/3700.04 c number of internal skipping : 0 3421.85/3700.04 c number of derivation steps : 0 3421.85/3700.04 c number of skipped derivation steps : 0 3421.85/3700.04 c number of remaining unassigned : 0 3421.85/3700.04 c number of remaining assigned : 0 3421.85/3700.04 c number of falsified literals weakened from reason : 0 3421.85/3700.04 c number of falsified literals weakened from conflict : 0 3421.85/3700.04 c time for arithmetic operations : 0 3421.85/3700.04 c minimum degree of deleted constraints : null 3421.85/3700.04 c maximum degree of deleted constraints : null 3421.85/3700.04 c number of deleted constraints : 0 3421.85/3700.05 c speed (assignments/second) : 56439.93076174781 3421.85/3700.05 c non guided choices : 183 3422.07/3700.11 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 388621 3422.07/3700.11 s SATISFIABLE 3422.07/3700.11 c Found 1 solution(s) 3422.07/3700.13 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 x107 -x108 -x109 x110 -x111 x112 x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 x1778 -x1779 -x1780 x1781 x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 -x1789 x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 x2352 -x2353 -x2354 x2355 -x2356 -x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 3422.07/3700.13 c objective function=5400081 3422.07/3700.13 c Total wall clock time (in seconds): 3699.997
OK 5400081
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (51549 MiB free)
memory of node 1: 64465 MiB (38730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503891-1751446068/watcher-4503891-1751446068 -o /tmp/evaluation-result-4503891-1751446068/solver-4503891-1751446068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751442406-63292 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503891-1751446068 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503891-1751446068.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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=63677, runsolver pid=63674
[startup+0.100059 s]*
/proc/loadavg: 4.16 4.17 4.11 5/344 63695
/proc/meminfo: memFree=92415544/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=18930384 memory=57780 CPUtime=0.12 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 6567 0 0 0 10 2 0 0 20 0 18 0 60283403 19384713216 14445 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4732596 14445 5362 1 0 547619 0
[pid=63677/tid=63679] ppid=63674 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 5067 0 0 0 7 1 0 0 20 0 18 0 60283404 19384713216 14445 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60283406 19384713216 14445 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=18930384 memory=59585004336271 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60283407 19384713216 14445 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB
[startup+0.205699 s]*
/proc/loadavg: 4.16 4.17 4.11 6/344 63695
/proc/meminfo: memFree=92404580/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=18930384 memory=66048 CPUtime=0.29 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 7015 0 0 0 27 2 0 0 20 0 18 0 60283403 19384713216 16512 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4732596 16512 5426 1 0 547927 0
[pid=63677/tid=63679] ppid=63674 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 5288 0 0 0 15 1 0 0 20 0 18 0 60283404 19384713216 16512 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=18930384 memory=16955 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60283406 19384713216 16512 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60283407 19384713216 16512 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66048 KiB
[startup+0.305659 s]*
/proc/loadavg: 4.16 4.17 4.11 7/344 63695
/proc/meminfo: memFree=92376224/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=18930384 memory=95288 CPUtime=0.48 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 8798 0 0 0 45 3 0 0 20 0 18 0 60283403 19384713216 23822 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4732596 23822 5426 1 0 549083 0
[pid=63677/tid=63679] ppid=63674 vsize=18930384 memory=-6000919489852762473 CPUtime=0.26 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) S 63674 63677 63282 0 -1 4194368 5335 0 0 0 24 2 0 0 20 0 18 0 60283404 19384713216 23822 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 60283406 19384713216 23822 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 60283407 19384713216 23822 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95288 KiB
[startup+0.700176 s]
/proc/loadavg: 4.16 4.17 4.11 6/345 63696
/proc/meminfo: memFree=92345852/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=18996948 memory=158980 CPUtime=1.24 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 11823 0 0 0 119 5 0 0 20 0 19 0 60283403 19452874752 39745 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4749237 39745 5458 1 0 551554 0
[pid=63677/tid=63679] ppid=63674 vsize=18996948 memory=18432 CPUtime=0.59 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 5490 0 0 0 56 3 0 0 20 0 19 0 60283404 19452874752 39745 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 60283406 19452874752 39745 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 60283407 19452874752 39745 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 60283439 19452874752 39745 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158980 KiB
[startup+1.50018 s]
/proc/loadavg: 4.16 4.17 4.11 6/346 63697
/proc/meminfo: memFree=92290276/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=181856 CPUtime=2.82 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 22091 0 0 0 275 7 0 0 20 0 20 0 60283403 19521036288 45464 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 45464 5490 1 0 554234 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=0 CPUtime=1.35 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) S 63674 63677 63282 0 -1 4194368 5812 0 0 0 131 4 0 0 20 0 20 0 60283404 19521036288 45464 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 45464 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 45464 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 45464 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181856 KiB
[startup+3.10547 s]
/proc/loadavg: 4.22 4.19 4.12 5/346 63697
/proc/meminfo: memFree=92247812/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=191104 CPUtime=5.83 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 24657 0 0 0 574 9 0 0 20 0 20 0 60283403 19521036288 47776 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 47776 5490 1 0 554278 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=10752 CPUtime=2.9 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 6775 0 0 0 286 4 0 0 20 0 20 0 60283404 19521036288 47776 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=-6000919489852762473 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 47776 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 47776 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 47776 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191104 KiB
[startup+6.3002 s]
/proc/loadavg: 4.22 4.19 4.12 5/346 63697
/proc/meminfo: memFree=91896788/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=503008 CPUtime=9.29 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 25555 0 0 0 913 16 0 0 20 0 20 0 60283403 19521036288 125752 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 125752 5490 1 0 554364 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=0 CPUtime=6.07 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 7117 0 0 0 596 11 0 0 20 0 20 0 60283404 19521036288 125752 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 125752 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 125752 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=183912 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 125752 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 9.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 503008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.20 4.12 5/325 63714
/proc/meminfo: memFree=94269204/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=767492 CPUtime=15.75 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 28266 0 0 0 1551 24 0 0 20 0 20 0 60283403 19521036288 191873 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 191873 5522 1 0 554364 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=183912 CPUtime=12.44 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 8430 0 0 0 1226 18 0 0 20 0 20 0 60283404 19521036288 191873 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=679428 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 191873 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 191873 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 191873 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 15.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 767492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.37 4.22 4.13 5/345 63764
/proc/meminfo: memFree=100724220/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=1322696 CPUtime=28.72 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 36292 0 0 0 2832 40 0 0 20 0 20 0 60283403 19521036288 330674 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 330674 5522 1 0 554364 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=1322696 CPUtime=25.16 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 10018 0 0 0 2483 33 0 0 20 0 20 0 60283404 19521036288 330674 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 330674 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=-6000919489852762473 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 30 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 330674 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 330674 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1322696 KiB
[startup+51.1056 s]
/proc/loadavg: 4.32 4.22 4.13 5/345 63899
/proc/meminfo: memFree=120301376/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=1328844 CPUtime=54.15 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 38605 0 0 0 5365 50 0 0 20 0 20 0 60283403 19521036288 332211 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 332211 5522 1 0 554364 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=1328844 CPUtime=50.53 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 11170 0 0 0 5011 42 0 0 20 0 20 0 60283404 19521036288 332211 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=1265328 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 332211 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
################
# More data... #
################
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1256 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3015.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.28 4.27 5/347 64101
/proc/meminfo: memFree=59450328/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3075.12 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 106567 0 0 0 306434 1078 0 0 20 0 20 0 60283403 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541774 5522 1 0 554620 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=2892 CPUtime=3042.93 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 41383 0 0 0 303306 987 0 0 20 0 20 0 60283404 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=7872403608789342564 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3075.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.24 4.26 5/347 64103
/proc/meminfo: memFree=58512900/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3134.54 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 106652 0 0 0 312358 1096 0 0 20 0 20 0 60283403 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541774 5522 1 0 554620 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=7686721470264483783 CPUtime=3101.66 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 41429 0 0 0 309162 1004 0 0 20 0 20 0 60283404 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3134.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.27 4.27 5/321 64116
/proc/meminfo: memFree=61998840/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3194.46 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 107867 0 0 0 318333 1113 0 0 20 0 20 0 60283403 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541774 5522 1 0 554620 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=7686721470264483783 CPUtime=3161.12 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 42286 0 0 0 315092 1020 0 0 20 0 20 0 60283404 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1308 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3194.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.28 4.27 5/344 64240
/proc/meminfo: memFree=97117600/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3249.66 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 109076 0 0 0 323835 1131 0 0 20 0 20 0 60283403 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541774 5522 1 0 554620 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=14248 CPUtime=3215.64 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 43311 0 0 0 320527 1037 0 0 20 0 20 0 60283404 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=2167096 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1359 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3249.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.26 5/343 64242
/proc/meminfo: memFree=96506084/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3309.58 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 109720 0 0 0 329805 1153 0 0 20 0 20 0 60283403 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541774 5522 1 0 554620 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=21608 CPUtime=3274.99 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 43551 0 0 0 326442 1057 0 0 20 0 20 0 60283404 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=-6000919481363753065 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1442 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541774 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3309.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167096 KiB
[startup+3642.3 s]
/proc/loadavg: 4.17 4.23 4.26 5/342 64245
/proc/meminfo: memFree=95901636/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167608 CPUtime=3364.18 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 111533 0 0 0 335248 1170 0 0 20 0 20 0 60283403 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541902 5522 1 0 554731 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=2167096 CPUtime=3328.48 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 43895 0 0 0 331776 1072 0 0 20 0 20 0 60283404 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=2167608 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=2167608 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1443 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=14248 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3364.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167608 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.28 4.23 4.25 5/342 64314
/proc/meminfo: memFree=107110632/131250000 swapFree=33010672/33010684
[pid=63677] ppid=63674 vsize=19063512 memory=2167608 CPUtime=3421.85 cores=0,2
/proc/63677/stat : 63677 (java) S 63674 63677 63282 0 -1 4194304 111619 0 0 0 340999 1186 0 0 20 0 20 0 60283403 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
/proc/63677/statm: 4765878 541902 5522 1 0 554731 0
[pid=63677/tid=63679] ppid=63674 vsize=19063512 memory=-6000919502704371817 CPUtime=3385.5 cores=0,2
/proc/63677/task/63679/stat : 63679 (java) R 63674 63677 63282 0 -1 4194368 43907 0 0 0 337462 1088 0 0 20 0 20 0 60283404 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63688] ppid=63674 vsize=19063512 memory=2432 CPUtime=0 cores=0,2
/proc/63677/task/63688/stat : 63688 (Finalizer) S 63674 63677 63282 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 60283406 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63695] ppid=63674 vsize=19063512 memory=3456 CPUtime=0 cores=0,2
/proc/63677/task/63695/stat : 63695 (Common-Cleaner) S 63674 63677 63282 0 -1 4194368 1444 0 0 0 0 0 0 0 20 0 20 0 60283407 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
[pid=63677/tid=63696] ppid=63674 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/63677/task/63696/stat : 63696 (Timer-0) S 63674 63677 63282 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 60283439 19521036288 541902 18446744073709551615 94112204902400 94112204906096 140723931141424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94112204913912 94112204914704 94112230256640 140723931150640 140723931150822 140723931150822 140723931156424 0
Current children cumulated CPU time: 3421.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2167608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3700.26 s]
# the end of solver process 63677 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3410.26 s, system=11.8956 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3700.2 s]*
/proc/loadavg: 4.28 4.23 4.25 5/324 64317
/proc/meminfo: memFree=109253000/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3700.26
CPU time (s): 3422.15
CPU user time (s): 3410.26
CPU system time (s): 11.8956
CPU usage (%): 92.4841
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2168376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3410.26
system time used= 11.8956
maximum resident set size= 2168504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25558560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134491
involuntary context switches= 10984
# summary of solver processes directly reported to runsolver:
# pid: 63677
# total CPU time (s): 3422.15
# total CPU user time (s): 3410.26
# total CPU system time (s): 11.8956
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.34451 second user time and 16.0081 second system time
The end
Begin job on nodeC014 at 2025-07-02 10:47:48 IDJOB=4503891 IDBENCH=155610 IDSOLVER=3364 FILE ID=nodeC014/4503891-1751446068 RUNJOBID= nodeC014-1751442406-63292 SLURM_JOB_ID= 9598413 Free space on /tmp= 430468 MiB SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503891-1751446068/watcher-4503891-1751446068 -o /tmp/evaluation-result-4503891-1751446068/solver-4503891-1751446068 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751442406-63292 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4503891-1751446068 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4503891-1751446068.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6 RANDOM SEED=1748723725 nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.017 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.104 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.125 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.425 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.113 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.114 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.064 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.370 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 92446164 kB MemAvailable: 121468464 kB Buffers: 2508 kB Cached: 29792868 kB SwapCached: 4 kB Active: 8785092 kB Inactive: 29329376 kB Active(anon): 8333388 kB Inactive(anon): 3852 kB Active(file): 451704 kB Inactive(file): 29325524 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 50528 kB Writeback: 0 kB AnonPages: 8317188 kB Mapped: 124072 kB Shmem: 18064 kB KReclaimable: 168624 kB Slab: 261528 kB SReclaimable: 168624 kB SUnreclaim: 92904 kB KernelStack: 5280 kB PageTables: 20024 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 8871748 kB VmallocTotal: 34359738367 kB VmallocUsed: 151608 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8026112 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430532 MiB End job on nodeC014 at 2025-07-02 11:49:29