| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 5400081 | 3600.35 | 3602.17 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.10/0.10 c java.runtime.name OpenJDK Runtime Environment 0.10/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.10/0.10 c java.vm.version 22.0.1+8-16 0.10/0.10 c java.vm.vendor Oracle Corporation 0.10/0.10 c sun.arch.data.model 64 0.10/0.10 c java.version 22.0.1 0.10/0.10 c os.name Linux 0.10/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.10/0.10 c os.arch amd64 0.10/0.11 c Free memory 2104792832 0.10/0.11 c Max memory 16282288128 0.10/0.11 c Total memory 2113929216 0.10/0.11 c Number of processors 2 0.10/0.15 c Pseudo Boolean Optimization by upper bound 0.10/0.15 c --- Begin Solver configuration --- 0.10/0.15 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.10/0.15 c Learn all clauses as in MiniSAT 0.10/0.15 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.15 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.15 c Expensive reason simplification 0.10/0.15 c Glucose 2.1 dynamic restart strategy 0.10/0.15 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.10/0.15 c timeout=2147483s 0.10/0.15 c DB Simplification allowed=false 0.10/0.15 c Listener: none 0.10/0.15 c --- End Solver configuration --- 0.10/0.15 c solving HOME/instance-4503890-1751440544.opb 0.10/0.15 c reading problem ... 0.10/0.15 c objective function found 0.47/0.32 c ... done. Wall clock time 0.167s. 0.47/0.32 c declared #vars 5100 0.47/0.32 c #constraints 12512 0.47/0.32 c constraints type 0.47/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850 0.47/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.47/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375 0.47/0.32 c org.sat4j.specs.Constr$1 => 2 0.47/0.32 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.47/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276 0.47/0.32 c 12512 constraints processed. 0.47/0.34 c objective function length is 4950 literals 0.86/0.53 c SATISFIABLE 0.86/0.53 c OPTIMIZING... 0.86/0.53 c Got one! Elapsed wall clock time (in seconds):0.378 0.86/0.53 o 5400081 2.57/1.41 c cleaning 2565 clauses out of 5147 with flag 10403/5147 3.39/2.10 c cleaning 4273 clauses out of 8584 with flag 22675/11149 4.19/2.95 c cleaning 5638 clauses out of 11309 with flag 36823/18147 5.20/3.93 c cleaning 6823 clauses out of 13672 with flag 52998/26148 6.20/4.99 c cleaning 7906 clauses out of 15849 with flag 71259/35148 7.40/6.20 c cleaning 8957 clauses out of 17942 with flag 91857/45147 8.95/7.60 c cleaning 9974 clauses out of 19985 with flag 115426/56147 10.54/9.28 c cleaning 11003 clauses out of 22012 with flag 140279/68148 12.45/11.12 c cleaning 12005 clauses out of 24009 with flag 166323/81148 14.76/13.38 c cleaning 13000 clauses out of 26003 with flag 195152/95147 16.95/15.50 c cleaning 13997 clauses out of 28003 with flag 225320/110147 19.35/17.94 c cleaning 15003 clauses out of 30007 with flag 257749/126148 21.97/20.54 c cleaning 16000 clauses out of 32005 with flag 292042/143149 24.69/23.27 c cleaning 16998 clauses out of 34003 with flag 328410/161147 27.68/26.28 c cleaning 18001 clauses out of 36006 with flag 367418/180148 30.88/29.42 c cleaning 18996 clauses out of 38004 with flag 408142/200147 34.00/32.56 c cleaning 20001 clauses out of 40008 with flag 450773/221147 37.19/35.73 c cleaning 21000 clauses out of 42008 with flag 495156/243148 40.78/39.32 c cleaning 22002 clauses out of 44008 with flag 541506/266148 44.38/42.96 c cleaning 22999 clauses out of 46005 with flag 589798/290147 48.20/46.79 c cleaning 23999 clauses out of 48006 with flag 640052/315147 52.39/50.93 c cleaning 25000 clauses out of 50007 with flag 692367/341147 56.08/54.65 c cleaning 26000 clauses out of 52007 with flag 746742/368147 60.18/58.79 c cleaning 27002 clauses out of 54007 with flag 803116/396147 64.37/62.95 c cleaning 28001 clauses out of 56005 with flag 861556/425147 68.57/67.10 c cleaning 29001 clauses out of 58005 with flag 921844/455148 73.09/71.61 c cleaning 30001 clauses out of 60004 with flag 984301/486148 77.58/76.18 c cleaning 30998 clauses out of 62003 with flag 1048497/518148 82.06/80.61 c cleaning 32002 clauses out of 64006 with flag 1115010/551149 86.78/85.35 c cleaning 32998 clauses out of 66002 with flag 1183380/585147 91.67/90.24 c cleaning 33997 clauses out of 68004 with flag 1253820/620147 96.58/95.18 c cleaning 35001 clauses out of 70007 with flag 1326326/656147 101.78/100.31 c cleaning 35999 clauses out of 72006 with flag 1400683/693147 106.87/105.45 c cleaning 37003 clauses out of 74009 with flag 1477145/731149 112.35/110.99 c cleaning 38003 clauses out of 76005 with flag 1555597/770148 118.04/116.60 c cleaning 38996 clauses out of 78001 with flag 1636070/810147 123.96/122.54 c cleaning 40002 clauses out of 80005 with flag 1718649/851147 130.14/128.77 c cleaning 40997 clauses out of 82003 with flag 1803283/893147 136.57/135.16 c cleaning 42004 clauses out of 84007 with flag 1889751/936148 143.46/142.00 c cleaning 42999 clauses out of 86002 with flag 1978301/980147 150.30/148.86 c cleaning 44000 clauses out of 88004 with flag 2069208/1025148 156.21/154.76 c cleaning 45001 clauses out of 90004 with flag 2161864/1071148 162.40/160.87 c cleaning 45998 clauses out of 92003 with flag 2256528/1118148 168.83/167.28 c cleaning 46997 clauses out of 94004 with flag 2353141/1166147 175.32/173.72 c cleaning 48001 clauses out of 96008 with flag 2451851/1215148 181.62/180.09 c cleaning 49001 clauses out of 98006 with flag 2552395/1265147 188.30/186.70 c cleaning 50003 clauses out of 100005 with flag 2655101/1316147 195.09/193.56 c cleaning 50996 clauses out of 102003 with flag 2759745/1368148 201.98/200.48 c cleaning 52001 clauses out of 104006 with flag 2866281/1421147 209.27/207.71 c cleaning 52996 clauses out of 106005 with flag 2975008/1475147 216.66/215.19 c cleaning 53998 clauses out of 108009 with flag 3085683/1530147 224.54/223.02 c cleaning 55002 clauses out of 110011 with flag 3198686/1586147 232.12/230.62 c cleaning 55997 clauses out of 112009 with flag 3313291/1643147 239.40/237.94 c cleaning 57004 clauses out of 114013 with flag 3430140/1701148 247.29/245.85 c cleaning 58000 clauses out of 116008 with flag 3548935/1760147 255.27/253.88 c cleaning 59003 clauses out of 118008 with flag 3669617/1820147 263.35/261.90 c cleaning 59994 clauses out of 120005 with flag 3792234/1881147 271.59/270.12 c cleaning 61001 clauses out of 122012 with flag 3916954/1943148 280.07/278.61 c cleaning 61998 clauses out of 124010 with flag 4043827/2006147 288.65/287.26 c cleaning 63002 clauses out of 126012 with flag 4172572/2070147 297.83/296.41 c cleaning 64003 clauses out of 128010 with flag 4303315/2135147 306.61/305.28 c cleaning 65001 clauses out of 130008 with flag 4436333/2201148 315.69/314.38 c cleaning 66001 clauses out of 132007 with flag 4571164/2268148 324.97/323.61 c cleaning 66995 clauses out of 134005 with flag 4708196/2336147 334.36/333.02 c cleaning 68000 clauses out of 136011 with flag 4847033/2405148 343.83/342.52 c cleaning 68999 clauses out of 138011 with flag 4987922/2475148 353.89/352.59 c cleaning 70001 clauses out of 140012 with flag 5130832/2546148 363.27/362.00 c cleaning 71000 clauses out of 142010 with flag 5275863/2618147 373.61/372.20 c cleaning 71999 clauses out of 144010 with flag 5422785/2691147 383.49/382.16 c cleaning 73000 clauses out of 146012 with flag 5571662/2765148 394.17/392.82 c cleaning 74004 clauses out of 148012 with flag 5722406/2840148 404.55/403.21 c cleaning 74997 clauses out of 150008 with flag 5875330/2916148 414.82/413.54 c cleaning 75998 clauses out of 152010 with flag 6030350/2993147 425.99/424.76 c cleaning 77003 clauses out of 154013 with flag 6187464/3071148 436.47/435.24 c cleaning 77998 clauses out of 156010 with flag 6346574/3150148 447.45/446.25 c cleaning 79002 clauses out of 158011 with flag 6507567/3230147 458.48/457.21 c cleaning 80001 clauses out of 160010 with flag 6670724/3311148 469.96/468.75 c cleaning 80998 clauses out of 162008 with flag 6835835/3393147 482.02/480.86 c cleaning 82006 clauses out of 164011 with flag 7003029/3476148 493.30/492.17 c cleaning 82994 clauses out of 166004 with flag 7171979/3560147 505.47/504.33 c cleaning 84000 clauses out of 168010 with flag 7342920/3645147 517.69/516.55 c cleaning 85001 clauses out of 170011 with flag 7515803/3731148 530.06/529.00 c cleaning 85998 clauses out of 172009 with flag 7690731/3818147 542.74/541.62 c cleaning 87000 clauses out of 174011 with flag 7867672/3906147 555.42/554.36 c cleaning 87999 clauses out of 176011 with flag 8046686/3995147 568.39/567.37 c cleaning 89000 clauses out of 178012 with flag 8227692/4085147 581.66/580.65 c cleaning 90006 clauses out of 180013 with flag 8410978/4176148 595.14/594.16 c cleaning 91000 clauses out of 182007 with flag 8596088/4268148 609.70/608.72 c cleaning 92003 clauses out of 184007 with flag 8783321/4361148 623.78/622.89 c cleaning 92997 clauses out of 186004 with flag 8972508/4455148 638.73/637.78 c cleaning 93999 clauses out of 188006 with flag 9163769/4550147 653.60/652.69 c cleaning 95001 clauses out of 190007 with flag 9357023/4646147 667.68/666.72 c cleaning 95995 clauses out of 192006 with flag 9552219/4743147 681.85/680.97 c cleaning 97000 clauses out of 194011 with flag 9749688/4841147 696.03/695.16 c cleaning 98004 clauses out of 196011 with flag 9948854/4940147 709.90/709.05 c cleaning 99003 clauses out of 198007 with flag 10149893/5040147 724.36/723.56 c cleaning 99996 clauses out of 200005 with flag 10353070/5141148 738.93/738.16 c cleaning 100995 clauses out of 202008 with flag 10558328/5243147 753.72/752.84 c cleaning 102007 clauses out of 204014 with flag 10765137/5346148 768.08/767.25 c cleaning 102999 clauses out of 206006 with flag 10974223/5450147 783.06/782.28 c cleaning 104001 clauses out of 208008 with flag 11185512/5555148 798.52/797.78 c cleaning 104999 clauses out of 210007 with flag 11398708/5661148 813.98/813.23 c cleaning 106004 clauses out of 212007 with flag 11613701/5768147 830.37/829.26 c cleaning 107000 clauses out of 214004 with flag 11830842/5876148 846.63/845.58 c cleaning 107991 clauses out of 216004 with flag 12050060/5985148 862.99/861.95 c cleaning 109003 clauses out of 218013 with flag 12271204/6095148 878.45/877.46 c cleaning 109998 clauses out of 220010 with flag 12494557/6206148 894.52/893.52 c cleaning 111001 clauses out of 222011 with flag 12719747/6318147 910.48/909.57 c cleaning 111996 clauses out of 224010 with flag 12947118/6431147 927.42/926.41 c cleaning 113001 clauses out of 226015 with flag 13176550/6545148 944.09/943.10 c cleaning 114004 clauses out of 228013 with flag 13408100/6660147 961.55/960.67 c cleaning 115001 clauses out of 230009 with flag 13641305/6776147 979.12/978.21 c cleaning 116003 clauses out of 232008 with flag 13876585/6893147 996.08/995.29 c cleaning 116996 clauses out of 234005 with flag 14113808/7011147 1013.52/1012.68 c cleaning 117998 clauses out of 236009 with flag 14353062/7130147 1031.28/1030.45 c cleaning 119004 clauses out of 238011 with flag 14594279/7250147 1048.55/1047.79 c cleaning 120000 clauses out of 240007 with flag 14837777/7371147 1066.30/1065.51 c cleaning 120997 clauses out of 242007 with flag 15083165/7493147 1085.16/1084.40 c cleaning 121999 clauses out of 244010 with flag 15330466/7616147 1103.82/1103.17 c cleaning 122999 clauses out of 246012 with flag 15579603/7740148 1123.23/1122.50 c cleaning 124004 clauses out of 248014 with flag 15830905/7865149 1142.89/1142.22 c cleaning 125004 clauses out of 250010 with flag 16084383/7991149 1161.15/1160.50 c cleaning 126001 clauses out of 252005 with flag 16339828/8118148 1180.81/1180.22 c cleaning 126998 clauses out of 254003 with flag 16597323/8246147 1200.98/1200.45 c cleaning 127996 clauses out of 256005 with flag 16856699/8375147 1220.84/1220.32 c cleaning 129001 clauses out of 258009 with flag 17118427/8505147 1240.49/1239.94 c cleaning 129998 clauses out of 260008 with flag 17382579/8636147 1259.76/1259.23 c cleaning 130997 clauses out of 262010 with flag 17648577/8768147 1279.02/1278.54 c cleaning 132000 clauses out of 264014 with flag 17915956/8901148 1299.78/1299.35 c cleaning 132999 clauses out of 266013 with flag 18185769/9035147 1319.04/1318.63 c cleaning 134001 clauses out of 268015 with flag 18457838/9170148 1339.60/1339.22 c cleaning 135004 clauses out of 270014 with flag 18732029/9306148 1360.96/1360.67 c cleaning 135997 clauses out of 272009 with flag 19008258/9443147 1381.52/1381.24 c cleaning 137005 clauses out of 274013 with flag 19286109/9581148 1401.96/1401.69 c cleaning 138000 clauses out of 276008 with flag 19565958/9720148 1422.23/1421.98 c cleaning 138999 clauses out of 278008 with flag 19847659/9860148 1443.29/1443.02 c cleaning 139995 clauses out of 280008 with flag 20131167/10001147 1463.94/1463.78 c cleaning 140998 clauses out of 282013 with flag 20416624/10143147 1485.60/1485.41 c cleaning 142006 clauses out of 284015 with flag 20704018/10286147 1506.86/1506.76 c cleaning 142997 clauses out of 286009 with flag 20993560/10430147 1528.88/1528.75 c cleaning 144001 clauses out of 288013 with flag 21285315/10575148 1550.44/1550.39 c cleaning 144996 clauses out of 290012 with flag 21579096/10721148 1573.40/1573.30 c cleaning 146003 clauses out of 292015 with flag 21874679/10868147 1596.25/1596.22 c cleaning 147003 clauses out of 294013 with flag 22172452/11016148 1618.90/1618.92 c cleaning 147999 clauses out of 296010 with flag 22471993/11165148 1642.66/1642.77 c cleaning 149001 clauses out of 298011 with flag 22773637/11315148 1665.32/1665.41 c cleaning 149997 clauses out of 300010 with flag 23077543/11466148 1688.84/1688.91 c cleaning 151004 clauses out of 302013 with flag 23383129/11618148 1711.00/1711.17 c cleaning 151998 clauses out of 304008 with flag 23690933/11771147 1734.64/1734.83 c cleaning 152999 clauses out of 306011 with flag 24000624/11925148 1757.80/1758.02 c cleaning 154000 clauses out of 308012 with flag 24312387/12080148 1780.64/1780.90 c cleaning 155002 clauses out of 310014 with flag 24626542/12236150 1803.58/1803.92 c cleaning 156002 clauses out of 312009 with flag 24942733/12393147 1828.23/1828.60 c cleaning 156998 clauses out of 314007 with flag 25260400/12551147 1852.17/1852.58 c cleaning 158002 clauses out of 316010 with flag 25579871/12710148 1876.81/1877.29 c cleaning 158997 clauses out of 318007 with flag 25901768/12870147 1902.86/1903.38 c cleaning 159996 clauses out of 320011 with flag 26226149/13031148 1929.30/1929.82 c cleaning 161001 clauses out of 322014 with flag 26552131/13193147 1953.64/1954.21 c cleaning 161999 clauses out of 324013 with flag 26879841/13356147 1979.61/1980.16 c cleaning 163000 clauses out of 326014 with flag 27209550/13520147 2005.05/2005.64 c cleaning 164005 clauses out of 328014 with flag 27541369/13685147 2030.81/2031.42 c cleaning 164996 clauses out of 330009 with flag 27875187/13851147 2058.75/2059.49 c cleaning 166001 clauses out of 332013 with flag 28210916/14018147 2084.70/2085.42 c cleaning 167004 clauses out of 334012 with flag 28548704/14186147 2111.44/2111.78 c cleaning 167999 clauses out of 336009 with flag 28888439/14355148 2139.20/2139.55 c cleaning 168996 clauses out of 338009 with flag 29230553/14525147 2164.25/2164.69 c cleaning 170003 clauses out of 340014 with flag 29574254/14696148 2189.91/2190.31 c cleaning 171001 clauses out of 342011 with flag 29920241/14868148 2216.51/2216.99 c cleaning 172000 clauses out of 344009 with flag 30268285/15041147 2243.36/2243.85 c cleaning 172998 clauses out of 346009 with flag 30618197/15215147 2271.80/2272.31 c cleaning 173998 clauses out of 348012 with flag 30970114/15390148 2300.25/2300.86 c cleaning 174998 clauses out of 350013 with flag 31323827/15566147 2327.50/2328.19 c cleaning 176004 clauses out of 352016 with flag 31679760/15743148 2357.41/2358.04 c cleaning 177001 clauses out of 354011 with flag 32037835/15921147 2386.45/2387.11 c cleaning 178002 clauses out of 356011 with flag 32397835/16100148 2415.60/2416.34 c cleaning 178999 clauses out of 358008 with flag 32759896/16280147 2446.03/2446.81 c cleaning 180003 clauses out of 360010 with flag 33123898/16461148 2476.98/2477.86 c cleaning 180996 clauses out of 362007 with flag 33489481/16643148 2504.54/2505.36 c cleaning 181997 clauses out of 364011 with flag 33857752/16826148 2533.49/2534.39 c cleaning 183001 clauses out of 366013 with flag 34227934/17010147 2561.93/2562.81 c cleaning 184003 clauses out of 368013 with flag 34599675/17195148 2591.38/2592.37 c cleaning 184999 clauses out of 370010 with flag 34973749/17381148 2620.51/2621.56 c cleaning 185993 clauses out of 372010 with flag 35349643/17568147 2650.26/2651.23 c cleaning 186999 clauses out of 374018 with flag 35727811/17756148 2679.81/2680.86 c cleaning 188006 clauses out of 376018 with flag 36107814/17945147 2708.96/2710.06 c cleaning 188998 clauses out of 378012 with flag 36489714/18135147 2740.49/2741.68 c cleaning 190001 clauses out of 380014 with flag 36873596/18326147 2771.63/2772.88 c cleaning 191007 clauses out of 382014 with flag 37259736/18518148 2804.45/2805.74 c cleaning 191997 clauses out of 384006 with flag 37647460/18711147 2836.38/2837.79 c cleaning 193000 clauses out of 386009 with flag 38037447/18905147 2869.21/2870.65 c cleaning 193996 clauses out of 388009 with flag 38429136/19100147 2901.73/2903.22 c cleaning 195002 clauses out of 390013 with flag 38823012/19296147 2932.67/2934.12 c cleaning 195999 clauses out of 392011 with flag 39219073/19493147 2964.40/2966.00 c cleaning 197004 clauses out of 394012 with flag 39616966/19691147 2997.34/2998.91 c cleaning 198000 clauses out of 396008 with flag 40016863/19890147 3030.58/3032.27 c cleaning 199004 clauses out of 398009 with flag 40419200/20090148 3065.23/3066.82 c cleaning 199997 clauses out of 400004 with flag 40823728/20291147 3099.96/3101.63 c cleaning 200998 clauses out of 402008 with flag 41229764/20493148 3132.50/3134.27 c cleaning 201998 clauses out of 404010 with flag 41637782/20696148 3166.93/3168.11 c cleaning 203000 clauses out of 406011 with flag 42047664/20900147 3201.95/3203.25 c cleaning 204000 clauses out of 408011 with flag 42459637/21105147 3239.47/3240.84 c cleaning 205001 clauses out of 410011 with flag 42874036/21311147 3274.21/3275.66 c cleaning 206000 clauses out of 412010 with flag 43290352/21518147 3311.35/3312.84 c cleaning 206998 clauses out of 414010 with flag 43708880/21726147 3348.48/3350.07 c cleaning 208003 clauses out of 416012 with flag 44129419/21935147 3383.10/3384.72 c cleaning 208999 clauses out of 418010 with flag 44551394/22145148 3420.04/3421.76 c cleaning 209999 clauses out of 420010 with flag 44975670/22356147 3454.73/3456.44 c cleaning 210997 clauses out of 422011 with flag 45401674/22568147 3491.07/3492.85 c cleaning 212002 clauses out of 424014 with flag 45829569/22781147 3529.09/3530.99 c cleaning 213005 clauses out of 426013 with flag 46259891/22995148 3566.82/3568.73 c cleaning 214001 clauses out of 428008 with flag 46692847/23210148 3600.04/3602.01 c starts : 10 3600.04/3602.02 c conflicts : 23426148 3600.04/3602.02 c decisions : 25952448 3600.04/3602.02 c propagations : 242328906 3600.04/3602.02 c inspects : 5683930027 3600.04/3602.02 c shortcuts : 0 3600.04/3602.02 c learnt literals : 0 3600.04/3602.03 c learnt binary clauses : 0 3600.04/3602.03 c learnt ternary clauses : 3 3600.04/3602.03 c learnt constraints : 23426148 3600.04/3602.03 c ignored constraints : 0 3600.04/3602.03 c root simplifications : 0 3600.04/3602.03 c removed literals (reason simplification) : 1905944240 3600.04/3602.03 c reason swapping (by a shorter reason) : 0 3600.04/3602.03 c Calls to reduceDB : 212 3600.04/3602.03 c Number of update (reduction) of LBD : 148003 3600.04/3602.03 c Imported unit clauses : 0 3600.04/3602.03 c No decision after first conflict : false 3600.04/3602.03 c number of reductions to clauses (during analyze) : 0 3600.04/3602.03 c number of learned constraints concerned by reduction : 0 3600.04/3602.03 c number of learning phase by resolution : 0 3600.04/3602.03 c number of learning phase by cutting planes : 0 3600.04/3602.03 c number of rounding to 1 operations : 0 3600.04/3602.03 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3602.03 c number of reductions of the coefficients by power 2 : 0 3600.04/3602.03 c number of right shift for reduction by power 2 : 0 3600.04/3602.03 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3602.03 c number of ending skipping : 0 3600.04/3602.03 c number of internal skipping : 0 3600.04/3602.03 c number of derivation steps : 0 3600.04/3602.03 c number of skipped derivation steps : 0 3600.04/3602.03 c number of remaining unassigned : 0 3600.04/3602.03 c number of remaining assigned : 0 3600.04/3602.03 c number of falsified literals weakened from reason : 0 3600.04/3602.03 c number of falsified literals weakened from conflict : 0 3600.04/3602.03 c time for arithmetic operations : 0 3600.04/3602.05 c minimum degree of deleted constraints : null 3600.04/3602.05 c maximum degree of deleted constraints : null 3600.04/3602.05 c number of deleted constraints : 0 3600.04/3602.05 c speed (assignments/second) : 67281.8690744946 3600.04/3602.05 c non guided choices : 218 3600.26/3602.12 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 430007 3600.26/3602.12 s SATISFIABLE 3600.26/3602.12 c Found 1 solution(s) 3600.26/3602.14 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 3600.26/3602.14 c objective function=5400081 3600.26/3602.14 c Total wall clock time (in seconds): 3601.995
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 (62396 MiB free)
memory of node 1: 64465 MiB (63837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503890-1751440544/watcher-4503890-1751440544 -o /tmp/evaluation-result-4503890-1751440544/solver-4503890-1751440544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63650 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503890-1751440544.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63694, runsolver pid=63690
[startup+0.100059 s]*
/proc/loadavg: 0.85 1.76 2.51 9/333 63777
/proc/meminfo: memFree=129186256/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18930384 memory=52012 CPUtime=0.1 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 6135 0 0 0 8 2 0 0 20 0 18 0 59731906 19384713216 13003 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4732596 13003 5371 1 0 547243 0
[pid=63694/tid=63702] ppid=63690 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 4979 0 0 0 5 1 0 0 20 0 18 0 59731908 19384713216 13003 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18930384 memory=2630 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59731910 19384713216 13003 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59731911 19384713216 13003 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52012 KiB
[startup+0.206022 s]*
/proc/loadavg: 0.85 1.76 2.51 11/333 63777
/proc/meminfo: memFree=129151252/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18930384 memory=63780 CPUtime=0.29 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 6957 0 0 0 26 3 0 0 20 0 18 0 59731906 19384713216 15945 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4732596 15945 5435 1 0 547869 0
[pid=63694/tid=63702] ppid=63690 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 5285 0 0 0 13 2 0 0 20 0 18 0 59731908 19384713216 15945 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18930384 memory=2630 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59731910 19384713216 15945 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59731911 19384713216 15945 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63780 KiB
[startup+0.30591 s]*
/proc/loadavg: 0.85 1.76 2.51 9/333 63777
/proc/meminfo: memFree=129065492/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18930384 memory=93768 CPUtime=0.47 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 8902 0 0 0 43 4 0 0 20 0 18 0 59731906 19384713216 23442 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4732596 23442 5435 1 0 549117 0
[pid=63694/tid=63702] ppid=63690 vsize=18930384 memory=-6000919476934306153 CPUtime=0.21 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 5310 0 0 0 19 2 0 0 20 0 18 0 59731908 19384713216 23442 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 59731910 19384713216 23442 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 59731911 19384713216 23442 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 93768 KiB
[startup+0.700232 s]
/proc/loadavg: 1.51 1.88 2.54 12/335 63779
/proc/meminfo: memFree=128850172/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18996948 memory=107336 CPUtime=1.23 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 11246 0 0 0 118 5 0 0 20 0 19 0 59731906 19452874752 26834 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4749237 26834 5499 1 0 550536 0
[pid=63694/tid=63702] ppid=63690 vsize=18996948 memory=14848 CPUtime=0.55 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 5422 0 0 0 52 3 0 0 20 0 19 0 59731908 19452874752 26834 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59731910 19452874752 26834 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59731911 19452874752 26834 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59731942 19452874752 26834 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107336 KiB
[startup+1.50024 s]
/proc/loadavg: 1.51 1.88 2.54 10/340 63784
/proc/meminfo: memFree=128782672/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18996948 memory=120064 CPUtime=2.75 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 17731 0 0 0 269 6 0 0 20 0 19 0 59731906 19452874752 30016 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4749237 30016 5499 1 0 551977 0
[pid=63694/tid=63702] ppid=63690 vsize=18996948 memory=0 CPUtime=1.33 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 6485 0 0 0 130 3 0 0 20 0 19 0 59731908 19452874752 30016 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59731910 19452874752 30016 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59731911 19452874752 30016 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59731942 19452874752 30016 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120064 KiB
[startup+3.10561 s]
/proc/loadavg: 1.51 1.88 2.54 5/340 63784
/proc/meminfo: memFree=128766900/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18996948 memory=134408 CPUtime=4.4 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 18210 0 0 0 434 6 0 0 20 0 19 0 59731906 19452874752 33602 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4749237 33602 5499 1 0 551983 0
[pid=63694/tid=63702] ppid=63690 vsize=18996948 memory=10752 CPUtime=2.93 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 6748 0 0 0 290 3 0 0 20 0 19 0 59731908 19452874752 33602 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18996948 memory=-6000919506999077225 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59731910 19452874752 33602 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59731911 19452874752 33602 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59731942 19452874752 33602 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134408 KiB
[startup+6.3002 s]
/proc/loadavg: 1.71 1.92 2.55 5/340 63785
/proc/meminfo: memFree=128599408/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=18996948 memory=157468 CPUtime=7.6 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 20083 0 0 0 753 7 0 0 20 0 19 0 59731906 19452874752 39367 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4749237 39367 5531 1 0 551983 0
[pid=63694/tid=63702] ppid=63690 vsize=18996948 memory=0 CPUtime=6.11 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 7398 0 0 0 608 3 0 0 20 0 19 0 59731908 19452874752 39367 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 59731910 19452874752 39367 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 59731911 19452874752 39367 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=18996948 memory=122116 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 59731942 19452874752 39367 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157468 KiB
[startup+12.7002 s]
/proc/loadavg: 1.89 1.95 2.56 5/341 63786
/proc/meminfo: memFree=128509596/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=182496 CPUtime=14.16 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 27305 0 0 0 1407 9 0 0 20 0 20 0 59731906 19521036288 45624 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 45624 5531 1 0 552272 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=122116 CPUtime=12.48 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 8052 0 0 0 1244 4 0 0 20 0 20 0 59731908 19521036288 45624 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=182496 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 45624 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 67 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 45624 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 45624 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182496 KiB
[startup+25.5002 s]
/proc/loadavg: 2.22 2.02 2.57 5/340 63786
/proc/meminfo: memFree=128161372/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=190840 CPUtime=26.99 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 30517 0 0 0 2690 9 0 0 20 0 20 0 59731906 19521036288 47710 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 47710 5531 1 0 552272 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=190840 CPUtime=25.23 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 8495 0 0 0 2519 4 0 0 20 0 20 0 59731908 19521036288 47710 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 47710 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 67 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 47710 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 47710 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190840 KiB
[startup+51.1057 s]
/proc/loadavg: 2.98 2.23 2.62 5/340 63786
/proc/meminfo: memFree=127412104/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=258624 CPUtime=52.59 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 31267 0 0 0 5247 12 0 0 20 0 20 0 59731906 19521036288 64656 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 64656 5531 1 0 552272 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=182496 CPUtime=50.72 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 8531 0 0 0 5068 4 0 0 20 0 20 0 59731908 19521036288 64656 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 64656 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.12 4.21 4.13 5/341 63950
/proc/meminfo: memFree=99255532/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3280.9 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 88061 0 0 0 327981 109 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552574 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3271.76 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 33550 0 0 0 327155 21 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3280.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.19 4.13 5/340 63954
/proc/meminfo: memFree=99222984/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3340.78 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 88714 0 0 0 333968 110 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552574 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3331.62 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 34175 0 0 0 333141 21 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3340.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.12 5/339 63956
/proc/meminfo: memFree=98718896/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3400.67 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 89514 0 0 0 339956 111 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552574 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3391.49 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 34933 0 0 0 339128 21 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 964 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3400.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/339 63958
/proc/meminfo: memFree=98243260/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3460.62 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 90292 0 0 0 345950 112 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552574 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3451.29 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 35025 0 0 0 345108 21 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 975 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3460.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/339 63960
/proc/meminfo: memFree=97722968/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3520.51 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 90381 0 0 0 351937 114 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552574 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3511.16 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 35063 0 0 0 351095 21 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3520.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/338 64096
/proc/meminfo: memFree=124705944/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3580.39 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 90554 0 0 0 357923 116 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552575 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=10752 CPUtime=3571.02 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 35213 0 0 0 357080 22 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3580.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602 s]*
/proc/loadavg: 4.23 4.17 4.12 5/338 64096
/proc/meminfo: memFree=124671540/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19063512 memory=2163992 CPUtime=3600.04 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 90894 0 0 0 359888 116 0 0 20 0 20 0 59731906 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4765878 540998 5563 1 0 552576 0
[pid=63694/tid=63702] ppid=63690 vsize=19063512 memory=-6000919498443090025 CPUtime=3590.68 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 35542 0 0 0 359046 22 0 0 20 0 20 0 59731908 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19063512 memory=-6000919498443090025 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 59731910 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19063512 memory=3472895657210345910 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 20 0 59731911 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63778] ppid=63690 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/63694/task/63778/stat : 63778 (Timer-0) S 63690 63694 63635 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 59731942 19521036288 540998 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2163992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.17 s]
# the end of solver process 63694 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.16 s, system=1.18134 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3602.12 s]
/proc/loadavg: 4.23 4.17 4.12 5/338 64096
/proc/meminfo: memFree=124671540/131249996 swapFree=33006296/33010684
[pid=63694] ppid=63690 vsize=19263204 memory=2164632 CPUtime=3600.26 cores=4,6
/proc/63694/stat : 63694 (java) S 63690 63694 63635 0 -1 4194304 92311 0 0 0 359909 117 0 0 20 0 21 0 59731906 19725520896 541158 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
/proc/63694/statm: 4815801 541158 5563 1 0 553495 0
[pid=63694/tid=63702] ppid=63690 vsize=19263204 memory=5148 CPUtime=3590.79 cores=4,6
/proc/63694/task/63702/stat : 63702 (java) R 63690 63694 63635 0 -1 4194368 35542 0 0 0 359057 22 0 0 20 0 21 0 59731908 19725520896 541158 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63715] ppid=63690 vsize=19263204 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63715/stat : 63715 (Finalizer) S 63690 63694 63635 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 59731910 19725520896 541158 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
[pid=63694/tid=63732] ppid=63690 vsize=19263204 memory=2163992 CPUtime=0 cores=4,6
/proc/63694/task/63732/stat : 63732 (Common-Cleaner) S 63690 63694 63635 0 -1 4194368 977 0 0 0 0 0 0 0 20 0 21 0 59731911 19725520896 541158 18446744073709551615 94183300407296 94183300410992 140732889435408 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94183300418808 94183300419600 94183310721024 140732889438593 140732889438694 140732889438694 140732889444296 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2164632 KiB
Child status: 143
Real time (s): 3602.17
CPU time (s): 3600.35
CPU user time (s): 3599.16
CPU system time (s): 1.18134
CPU usage (%): 99.9494
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2164632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.18134
maximum resident set size= 2164632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105538
involuntary context switches= 5540
# summary of solver processes directly reported to runsolver:
# pid: 63694
# total CPU time (s): 3600.35
# total CPU user time (s): 3599.16
# total CPU system time (s): 1.18134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86298 second user time and 17.1208 second system time
The end
Begin job on nodeC015 at 2025-07-02 09:15:44 IDJOB=4503890 IDBENCH=155610 IDSOLVER=3363 FILE ID=nodeC015/4503890-1751440544 RUNJOBID= nodeC015-1751440544-63650 SLURM_JOB_ID= 9598400 Free space on /tmp= 432372 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503890-1751440544/watcher-4503890-1751440544 -o /tmp/evaluation-result-4503890-1751440544/solver-4503890-1751440544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751440544-63650 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4503890-1751440544.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6 RANDOM SEED=2061240361 nodeC015 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.078 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.14 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 : 1988.612 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.14 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.189 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.14 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 : 2292.064 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.14 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.078 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.14 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 : 1967.787 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.14 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.149 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.14 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 : 1574.025 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.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129257208 kB MemAvailable: 129698064 kB Buffers: 1508 kB Cached: 1225472 kB SwapCached: 3880 kB Active: 319232 kB Inactive: 987692 kB Active(anon): 45232 kB Inactive(anon): 48864 kB Active(file): 274000 kB Inactive(file): 938828 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 4232 kB Writeback: 0 kB AnonPages: 79160 kB Mapped: 99980 kB Shmem: 14152 kB KReclaimable: 134532 kB Slab: 224560 kB SReclaimable: 134532 kB SUnreclaim: 90028 kB KernelStack: 4144 kB PageTables: 2820 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 341196 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432364 MiB End job on nodeC015 at 2025-07-02 10:15:47