Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2025-06-06 | SAT (TO) | 27 | 3600.32 | 3603.67 |
Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | 9def910af6a1ee27abcf25feff61a445 |
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 | 20 |
Best CPU time to get the best result obtained on this benchmark | 67.9647 |
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 | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4497430-1751386943.opb 0.12/0.13 c reading problem ... 0.12/0.13 c objective function found 0.51/0.32 c ... done. Wall clock time 0.182s. 0.51/0.32 c declared #vars 6027 0.51/0.32 c #constraints 21278 0.51/0.32 c constraints type 0.51/0.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 0.51/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.51/0.32 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.51/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 0.51/0.32 c 21278 constraints processed. 0.51/0.33 c objective function length is 650 literals 0.51/0.37 c SATISFIABLE 0.51/0.37 c OPTIMIZING... 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.241 0.51/0.37 o 28 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.259 0.51/0.39 o 27 3.28/2.03 c cleaning 2504 clauses out of 5007 with flag 45023/5007 4.93/3.48 c cleaning 4239 clauses out of 8503 with flag 91608/11007 6.89/5.05 c cleaning 5631 clauses out of 11264 with flag 162335/18007 8.79/6.75 c cleaning 6795 clauses out of 13633 with flag 231348/26007 10.69/8.69 c cleaning 7878 clauses out of 15838 with flag 306842/35007 12.89/10.89 c cleaning 8953 clauses out of 17960 with flag 415990/45007 15.62/13.44 c cleaning 9983 clauses out of 20008 with flag 532412/56008 18.36/16.07 c cleaning 10990 clauses out of 22024 with flag 645975/68007 20.96/18.66 c cleaning 11993 clauses out of 24034 with flag 750573/81007 23.97/21.65 c cleaning 13010 clauses out of 26041 with flag 910327/95007 27.07/24.70 c cleaning 14003 clauses out of 28031 with flag 1057759/110007 30.16/27.82 c cleaning 15004 clauses out of 30028 with flag 1190614/126007 33.80/31.40 c cleaning 16004 clauses out of 32024 with flag 1359409/143007 37.59/35.20 c cleaning 16961 clauses out of 34020 with flag 1520355/161007 41.48/39.12 c cleaning 18020 clauses out of 36060 with flag 1691573/180008 45.27/43.00 c cleaning 19005 clauses out of 38039 with flag 1891576/200007 49.67/47.32 c cleaning 20005 clauses out of 40034 with flag 2097078/221007 53.46/51.16 c cleaning 20932 clauses out of 42029 with flag 2269596/243007 57.95/55.67 c cleaning 22023 clauses out of 44097 with flag 2555474/266007 63.44/61.14 c cleaning 23010 clauses out of 46077 with flag 2795375/290010 68.92/66.69 c cleaning 24008 clauses out of 48064 with flag 3078376/315007 74.61/72.38 c cleaning 25021 clauses out of 50056 with flag 3352107/341007 80.69/78.45 c cleaning 25999 clauses out of 52035 with flag 3646506/368007 86.97/84.74 c cleaning 26960 clauses out of 54036 with flag 3945737/396007 93.66/91.42 c cleaning 27981 clauses out of 56076 with flag 4261221/425007 100.44/98.26 c cleaning 29033 clauses out of 58095 with flag 4549784/455007 107.53/105.36 c cleaning 29979 clauses out of 60062 with flag 4900315/486007 114.81/112.61 c cleaning 30984 clauses out of 62083 with flag 5283201/518007 122.39/120.26 c cleaning 31982 clauses out of 64099 with flag 5676441/551007 130.29/128.12 c cleaning 33051 clauses out of 66117 with flag 6058069/585007 138.27/136.15 c cleaning 33988 clauses out of 68066 with flag 6458703/620007 147.54/145.44 c cleaning 35028 clauses out of 70081 with flag 6897401/656010 157.02/154.97 c cleaning 35998 clauses out of 72050 with flag 7294709/693007 167.49/165.49 c cleaning 36970 clauses out of 74052 with flag 7650116/731007 177.17/175.19 c cleaning 38000 clauses out of 76083 with flag 8071350/770008 187.18/185.19 c cleaning 39022 clauses out of 78082 with flag 8484531/810007 197.98/195.95 c cleaning 39983 clauses out of 80060 with flag 8854470/851007 208.95/206.94 c cleaning 41029 clauses out of 82077 with flag 9202221/893007 219.83/217.87 c cleaning 42011 clauses out of 84052 with flag 9641029/936011 230.04/228.06 c cleaning 42981 clauses out of 86038 with flag 10066403/980008 241.51/239.52 c cleaning 44003 clauses out of 88056 with flag 10612820/1025007 253.48/251.51 c cleaning 44986 clauses out of 90053 with flag 11082400/1071007 266.44/264.56 c cleaning 45987 clauses out of 92067 with flag 11530446/1118007 278.94/277.09 c cleaning 47028 clauses out of 94081 with flag 12050226/1166008 290.60/288.72 c cleaning 47972 clauses out of 96052 with flag 12558988/1215007 303.27/301.46 c cleaning 48985 clauses out of 98081 with flag 13128554/1265008 316.38/314.59 c cleaning 49956 clauses out of 100095 with flag 13693124/1316007 330.14/328.35 c cleaning 51056 clauses out of 102140 with flag 14280313/1368008 343.50/341.79 c cleaning 51923 clauses out of 104083 with flag 14868385/1421007 357.20/355.49 c cleaning 53022 clauses out of 106160 with flag 15514241/1475007 370.77/369.00 c cleaning 53992 clauses out of 108138 with flag 16126596/1530007 385.44/383.76 c cleaning 55021 clauses out of 110146 with flag 16724144/1586007 400.94/399.28 c cleaning 56033 clauses out of 112125 with flag 17323968/1643007 416.50/414.83 c cleaning 57027 clauses out of 114092 with flag 17928237/1701007 431.06/429.46 c cleaning 58013 clauses out of 116067 with flag 18556144/1760009 446.36/444.78 c cleaning 58987 clauses out of 118052 with flag 19189597/1820007 462.83/461.28 c cleaning 59991 clauses out of 120065 with flag 19763221/1881007 479.10/477.56 c cleaning 61005 clauses out of 122074 with flag 20371601/1943007 496.36/494.81 c cleaning 62023 clauses out of 124069 with flag 20979670/2006007 513.52/512.02 c cleaning 63019 clauses out of 126046 with flag 21633920/2070007 530.40/528.90 c cleaning 63917 clauses out of 128030 with flag 22239804/2135010 547.56/546.14 c cleaning 65033 clauses out of 130110 with flag 22897715/2201007 565.22/563.88 c cleaning 65980 clauses out of 132079 with flag 23598916/2268009 582.42/581.06 c cleaning 66982 clauses out of 134097 with flag 24248085/2336007 600.68/599.30 c cleaning 68042 clauses out of 136116 with flag 24957509/2405008 620.72/619.40 c cleaning 69026 clauses out of 138075 with flag 25556238/2475009 639.69/638.47 c cleaning 70011 clauses out of 140047 with flag 26174455/2546007 657.88/656.62 c cleaning 71001 clauses out of 142036 with flag 26853928/2618007 677.24/676.07 c cleaning 71962 clauses out of 144035 with flag 27674489/2691007 698.39/697.29 c cleaning 73000 clauses out of 146073 with flag 28385116/2765007 718.70/717.55 c cleaning 73939 clauses out of 148074 with flag 29094952/2840008 739.22/738.19 c cleaning 75034 clauses out of 150134 with flag 29813392/2916007 759.18/758.15 c cleaning 75991 clauses out of 152100 with flag 30563948/2993007 779.93/778.91 c cleaning 76987 clauses out of 154109 with flag 31371213/3071007 801.44/800.46 c cleaning 77992 clauses out of 156122 with flag 32236807/3150007 823.88/822.99 c cleaning 78992 clauses out of 158130 with flag 32968805/3230007 846.43/845.50 c cleaning 80048 clauses out of 160140 with flag 33725468/3311009 871.97/871.19 c cleaning 81037 clauses out of 162090 with flag 34472175/3393007 899.06/898.24 c cleaning 82006 clauses out of 164053 with flag 35272258/3476007 923.11/922.37 c cleaning 83005 clauses out of 166049 with flag 36176508/3560009 948.76/948.03 c cleaning 83917 clauses out of 168044 with flag 37101036/3645009 973.40/972.76 c cleaning 85057 clauses out of 170126 with flag 37979587/3731008 997.32/996.65 c cleaning 86001 clauses out of 172070 with flag 38779238/3818009 1021.67/1021.05 c cleaning 86978 clauses out of 174067 with flag 39598355/3906007 1047.01/1046.43 c cleaning 88006 clauses out of 176089 with flag 40380539/3995007 1074.44/1073.94 c cleaning 88984 clauses out of 178083 with flag 41181675/4085007 1099.89/1099.49 c cleaning 89970 clauses out of 180099 with flag 42001573/4176007 1127.32/1126.89 c cleaning 91031 clauses out of 182129 with flag 42763262/4268007 1154.46/1154.08 c cleaning 92015 clauses out of 184098 with flag 43621677/4361007 1182.29/1181.97 c cleaning 92989 clauses out of 186083 with flag 44537961/4455007 1209.44/1209.17 c cleaning 94038 clauses out of 188097 with flag 45361053/4550010 1237.17/1236.95 c cleaning 95009 clauses out of 190058 with flag 46285751/4646009 1263.20/1262.76 c cleaning 96010 clauses out of 192048 with flag 47147292/4743008 1292.03/1291.69 c cleaning 96932 clauses out of 194038 with flag 48101820/4841008 1318.58/1318.24 c cleaning 97928 clauses out of 196107 with flag 49120650/4940009 1345.51/1345.27 c cleaning 99070 clauses out of 198178 with flag 50252212/5040008 1372.26/1372.01 c cleaning 99979 clauses out of 200107 with flag 51094879/5141007 1399.05/1398.89 c cleaning 100987 clauses out of 202128 with flag 52029563/5243007 1424.80/1424.68 c cleaning 101982 clauses out of 204141 with flag 52995983/5346007 1450.33/1450.21 c cleaning 103023 clauses out of 206159 with flag 54063310/5450007 1476.77/1476.75 c cleaning 103991 clauses out of 208136 with flag 55152606/5555007 1506.02/1506.07 c cleaning 105016 clauses out of 210145 with flag 56106117/5661007 1538.24/1538.37 c cleaning 106037 clauses out of 212133 with flag 57055026/5768011 1570.13/1570.27 c cleaning 107041 clauses out of 214092 with flag 58031905/5876007 1602.77/1602.97 c cleaning 107971 clauses out of 216051 with flag 58975450/5985007 1637.98/1638.22 c cleaning 109021 clauses out of 218085 with flag 59935391/6095012 1674.00/1674.35 c cleaning 110023 clauses out of 220060 with flag 61041932/6206008 1709.72/1710.11 c cleaning 111000 clauses out of 222036 with flag 61832182/6318007 1744.44/1744.95 c cleaning 112011 clauses out of 224036 with flag 62643345/6431007 1779.37/1779.89 c cleaning 112993 clauses out of 226026 with flag 63532190/6545008 1817.19/1817.73 c cleaning 114007 clauses out of 228032 with flag 64479820/6660007 1852.41/1853.03 c cleaning 115012 clauses out of 230025 with flag 65589357/6776007 1888.82/1889.55 c cleaning 115929 clauses out of 232013 with flag 66773450/6893007 1924.94/1925.78 c cleaning 117012 clauses out of 234088 with flag 67903100/7011011 1961.16/1962.04 c cleaning 117996 clauses out of 236072 with flag 69248733/7130007 1996.84/1997.70 c cleaning 119000 clauses out of 238076 with flag 70273411/7250007 2034.16/2035.15 c cleaning 120021 clauses out of 240077 with flag 71307554/7371008 2069.88/2070.90 c cleaning 121000 clauses out of 242056 with flag 72407651/7493008 2106.39/2107.54 c cleaning 121969 clauses out of 244055 with flag 73474390/7616007 2145.21/2146.41 c cleaning 122951 clauses out of 246086 with flag 74679725/7740007 2186.01/2187.38 c cleaning 124046 clauses out of 248135 with flag 75707825/7865007 2232.19/2233.59 c cleaning 125006 clauses out of 250089 with flag 76804919/7991007 2277.00/2278.40 c cleaning 126020 clauses out of 252083 with flag 77806261/8118007 2321.80/2323.38 c cleaning 127016 clauses out of 254063 with flag 78926822/8246007 2364.99/2366.66 c cleaning 128014 clauses out of 256049 with flag 80418335/8375009 2408.31/2410.04 c cleaning 129013 clauses out of 258033 with flag 81728340/8505007 2455.80/2457.60 c cleaning 129983 clauses out of 260020 with flag 82813276/8636007 2502.20/2504.19 c cleaning 130973 clauses out of 262037 with flag 84071091/8768007 2544.09/2546.05 c cleaning 131997 clauses out of 264065 with flag 85376852/8901008 2583.89/2585.96 c cleaning 133024 clauses out of 266067 with flag 86672761/9035007 2625.40/2627.53 c cleaning 133967 clauses out of 268043 with flag 88024215/9170007 2666.20/2668.48 c cleaning 134894 clauses out of 270076 with flag 89431412/9306007 2705.61/2707.95 c cleaning 136088 clauses out of 272183 with flag 90896807/9443008 2743.82/2746.28 c cleaning 137008 clauses out of 274094 with flag 92264303/9581007 2785.43/2787.81 c cleaning 138014 clauses out of 276086 with flag 93621815/9720007 2825.73/2828.25 c cleaning 139020 clauses out of 278073 with flag 94850060/9860008 2872.12/2874.71 c cleaning 139981 clauses out of 280052 with flag 95993935/10001007 2912.33/2915.07 c cleaning 140955 clauses out of 282071 with flag 97491448/10143007 2951.13/2953.94 c cleaning 142012 clauses out of 284117 with flag 99065926/10286008 2994.33/2997.25 c cleaning 143007 clauses out of 286104 with flag 100720756/10430007 3037.43/3040.42 c cleaning 144024 clauses out of 288097 with flag 102326347/10575007 3082.82/3085.96 c cleaning 145004 clauses out of 290074 with flag 104525665/10721008 3127.32/3130.52 c cleaning 145987 clauses out of 292069 with flag 106232421/10868007 3171.07/3173.67 c cleaning 146999 clauses out of 294082 with flag 108037449/11016007 3211.67/3214.38 c cleaning 148004 clauses out of 296085 with flag 109640094/11165009 3253.28/3256.04 c cleaning 148965 clauses out of 298079 with flag 111285840/11315007 3295.97/3298.83 c cleaning 150030 clauses out of 300114 with flag 113132221/11466007 3341.75/3344.77 c cleaning 151016 clauses out of 302084 with flag 114980143/11618007 3385.13/3388.24 c cleaning 152012 clauses out of 304068 with flag 116755369/11771007 3431.90/3435.09 c cleaning 152952 clauses out of 306056 with flag 119315541/11925007 3477.19/3480.41 c cleaning 154008 clauses out of 308104 with flag 120895295/12080007 3527.48/3530.81 c cleaning 155004 clauses out of 310096 with flag 122264329/12236007 3577.17/3580.62 c cleaning 156035 clauses out of 312092 with flag 123671481/12393007 3600.01/3603.52 c starts : 2936 3600.01/3603.53 c conflicts : 12480754 3600.01/3603.53 c decisions : 196463980 3600.01/3603.53 c propagations : 12099640443 3600.01/3603.53 c inspects : 42680981461 3600.01/3603.53 c shortcuts : 0 3600.01/3603.53 c learnt literals : 0 3600.01/3603.53 c learnt binary clauses : 16 3600.01/3603.53 c learnt ternary clauses : 18 3600.01/3603.53 c learnt constraints : 12480754 3600.01/3603.53 c ignored constraints : 0 3600.01/3603.53 c root simplifications : 0 3600.01/3603.53 c removed literals (reason simplification) : 175652163 3600.01/3603.53 c reason swapping (by a shorter reason) : 0 3600.01/3603.53 c Calls to reduceDB : 153 3600.01/3603.53 c Number of update (reduction) of LBD : 9394546 3600.01/3603.53 c Imported unit clauses : 0 3600.01/3603.53 c No decision after first conflict : false 3600.01/3603.53 c number of reductions to clauses (during analyze) : 0 3600.01/3603.53 c number of learned constraints concerned by reduction : 0 3600.01/3603.53 c number of learning phase by resolution : 0 3600.01/3603.54 c number of learning phase by cutting planes : 0 3600.01/3603.54 c number of rounding to 1 operations : 0 3600.01/3603.54 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.01/3603.54 c number of reductions of the coefficients by power 2 : 0 3600.01/3603.54 c number of right shift for reduction by power 2 : 0 3600.01/3603.54 c number of reductions of the coefficients by GCD over coefficients : 0 3600.01/3603.54 c number of ending skipping : 0 3600.01/3603.54 c number of internal skipping : 0 3600.01/3603.54 c number of derivation steps : 0 3600.01/3603.54 c number of skipped derivation steps : 0 3600.01/3603.54 c number of remaining unassigned : 0 3600.01/3603.54 c number of remaining assigned : 0 3600.01/3603.54 c number of falsified literals weakened from reason : 0 3600.01/3603.54 c number of falsified literals weakened from conflict : 0 3600.01/3603.54 c time for arithmetic operations : 0 3600.01/3603.54 c minimum degree of deleted constraints : null 3600.01/3603.54 c maximum degree of deleted constraints : null 3600.01/3603.54 c number of deleted constraints : 0 3600.01/3603.55 c speed (assignments/second) : 3358023.526012828 3600.01/3603.55 c non guided choices : 0 3600.22/3603.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 243788 3600.22/3603.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 16 3600.22/3603.61 s SATISFIABLE 3600.22/3603.61 c Found 2 solution(s) 3600.22/3603.63 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 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 x5122 x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158 -x5159 x5160 x5161 -x5162 -x5163 -x5164 x5165 -x5166 x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 x5174 -x5175 x5176 -x5177 -x5178 x5179 -x5180 x5181 -x5182 x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 x5304 -x5305 x5306 x5307 -x5308 -x5309 -x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5333 x5334 -x5335 -x5336 -x5337 x5338 -x5339 x5340 x5341 -x5342 -x5343 x5344 x5345 x5346 x5347 x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 x5803 -x5804 x5805 -x5806 -x5807 x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 x5830 -x5831 -x5832 -x5833 x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 x5982 x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 x6022 x6023 x6024 x6025 -x6026 -x6027 3600.22/3603.64 c objective function=27 3600.22/3603.64 c Total wall clock time (in seconds): 3603.514
OK 27
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 (60648 MiB free) memory of node 1: 64465 MiB (61651 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497430-1751386943/watcher-4497430-1751386943 -o /tmp/evaluation-result-4497430-1751386943/solver-4497430-1751386943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497430-1751386943.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=55778, runsolver pid=55775 [startup+0.100064 s]* /proc/loadavg: 4.04 4.08 4.07 5/314 55803 /proc/meminfo: memFree=125204788/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18930384 memory=57700 CPUtime=0.12 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 6584 0 0 0 10 2 0 0 20 0 18 0 54371912 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4732596 14425 5341 1 0 547622 0 [pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5078 0 0 0 6 1 0 0 20 0 18 0 54371914 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=215637836247 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=29764 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 14425 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 57700 KiB [startup+0.206096 s]* /proc/loadavg: 4.04 4.08 4.07 6/314 55813 /proc/meminfo: memFree=125192548/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18930384 memory=70128 CPUtime=0.32 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 7010 0 0 0 29 3 0 0 20 0 18 0 54371912 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4732596 17532 5437 1 0 547898 0 [pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=4026663031 CPUtime=0.18 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5278 0 0 0 16 2 0 0 20 0 18 0 54371914 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=215637836247 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=29764 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 17532 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 70128 KiB [startup+0.305925 s]* /proc/loadavg: 4.04 4.08 4.07 8/315 55819 /proc/meminfo: memFree=125126900/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18930384 memory=107112 CPUtime=0.51 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 8527 0 0 0 47 4 0 0 20 0 18 0 54371912 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4732596 26778 5437 1 0 548894 0 [pid=55778/tid=55780] ppid=55775 vsize=18930384 memory=-7824251494390979176 CPUtime=0.27 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5306 0 0 0 25 2 0 0 20 0 18 0 54371914 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18930384 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54371916 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18930384 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54371917 19384713216 26778 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 18930384 KiB Current children cumulated memory: 107112 KiB [startup+0.70023 s] /proc/loadavg: 4.04 4.08 4.07 6/308 55848 /proc/meminfo: memFree=127080764/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18996948 memory=131840 CPUtime=1.26 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 15299 0 0 0 120 6 0 0 20 0 19 0 54371912 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4749237 32960 5469 1 0 554116 0 [pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=18304 CPUtime=0.59 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5436 0 0 0 56 3 0 0 20 0 19 0 54371914 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=4760 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 32960 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 1.26 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 131840 KiB [startup+1.50018 s] /proc/loadavg: 4.04 4.08 4.07 6/316 55875 /proc/meminfo: memFree=126959544/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18996948 memory=132352 CPUtime=2.53 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 17033 0 0 0 245 8 0 0 20 0 19 0 54371912 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4749237 33088 5501 1 0 554118 0 [pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=10752 CPUtime=1.37 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 5565 0 0 0 132 5 0 0 20 0 19 0 54371914 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=4760 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 33088 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 2.53 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 132352 KiB [startup+3.10502 s] /proc/loadavg: 4.04 4.08 4.07 4/317 55934 /proc/meminfo: memFree=128895364/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18996948 memory=137008 CPUtime=4.63 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 23208 0 0 0 454 9 0 0 20 0 19 0 54371912 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4749237 34252 5501 1 0 554153 0 [pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=-6000919485557729130 CPUtime=2.96 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 7346 0 0 0 291 5 0 0 20 0 19 0 54371914 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 34252 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 4.63 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 137008 KiB [startup+6.30023 s] /proc/loadavg: 4.04 4.08 4.07 6/338 55981 /proc/meminfo: memFree=128724220/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18996948 memory=144704 CPUtime=8.39 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 25931 0 0 0 829 10 0 0 20 0 19 0 54371912 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4749237 36176 5501 1 0 554476 0 [pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=0 CPUtime=6.15 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 7444 0 0 0 610 5 0 0 20 0 19 0 54371914 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=10752 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=3328 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=132352 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 36176 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 8.39 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 144704 KiB [startup+12.7002 s] /proc/loadavg: 4.12 4.09 4.07 5/338 55981 /proc/meminfo: memFree=128707860/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=18996948 memory=159168 CPUtime=14.93 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 32628 0 0 0 1482 11 0 0 20 0 19 0 54371912 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4749237 39792 5533 1 0 554476 0 [pid=55778/tid=55780] ppid=55775 vsize=18996948 memory=132352 CPUtime=12.53 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 8687 0 0 0 1248 5 0 0 20 0 19 0 54371914 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=18996948 memory=150976 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54371916 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=18996948 memory=14848 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54371917 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=18996948 memory=155072 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54371947 19452874752 39792 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 14.93 s Current children cumulated vsize: 18996948 KiB Current children cumulated memory: 159168 KiB [startup+25.5002 s] /proc/loadavg: 4.09 4.09 4.07 5/339 55982 /proc/meminfo: memFree=128670744/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=190452 CPUtime=27.86 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 35531 0 0 0 2774 12 0 0 20 0 20 0 54371912 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 47613 5533 1 0 554781 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=14848 CPUtime=25.29 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 9312 0 0 0 2523 6 0 0 20 0 20 0 54371914 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=190452 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=132352 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 27.86 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 190452 KiB [startup+51.1055 s] /proc/loadavg: 4.06 4.08 4.07 5/339 55983 /proc/meminfo: memFree=128670500/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=190452 CPUtime=53.46 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 35776 0 0 0 5333 13 0 0 20 0 20 0 54371912 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 47613 5533 1 0 554781 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=132352 CPUtime=50.83 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 9351 0 0 0 5077 6 0 0 20 0 20 0 54371914 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=14848 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 47613 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=190452 CPUtime=0 cores=4,6 ################ # More data... # ################ [startup+3282.3 s] /proc/loadavg: 4.29 4.19 4.12 5/338 56155 /proc/meminfo: memFree=122730212/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3279.51 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 83835 0 0 0 327842 109 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561816 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3271.82 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 35308 0 0 0 327165 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=18304 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1183 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=21872 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3279.51 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB [startup+3342.3 s] /proc/loadavg: 4.17 4.17 4.12 5/338 56157 /proc/meminfo: memFree=122646948/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3339.36 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 84565 0 0 0 333826 110 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561817 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=10752 CPUtime=3331.64 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 35884 0 0 0 333147 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1287 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3339.36 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB [startup+3402.3 s] /proc/loadavg: 4.11 4.15 4.11 5/338 56159 /proc/meminfo: memFree=122519336/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3399.19 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 85443 0 0 0 339808 111 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561819 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=164 CPUtime=3391.46 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 36710 0 0 0 339129 17 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=1808832 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1289 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3399.19 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB [startup+3462.3 s] /proc/loadavg: 4.13 4.15 4.11 5/340 56167 /proc/meminfo: memFree=122445448/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3459.13 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 86229 0 0 0 345800 113 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561821 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=1808832 CPUtime=3451.21 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 36944 0 0 0 345103 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=18304 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3459.13 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB [startup+3522.3 s] /proc/loadavg: 4.34 4.21 4.13 5/340 56169 /proc/meminfo: memFree=122445360/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3519 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 86439 0 0 0 351786 114 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561821 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3511.06 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37065 0 0 0 351088 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=5276 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3519 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB [startup+3582.3 s] /proc/loadavg: 4.17 4.19 4.13 5/340 56171 /proc/meminfo: memFree=122445512/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3578.86 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 87168 0 0 0 357771 115 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561821 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=18304 CPUtime=3570.91 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37753 0 0 0 357073 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=0 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3578.86 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3603.5 s] /proc/loadavg: 4.18 4.19 4.13 5/340 56171 /proc/meminfo: memFree=122445528/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3600.01 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 87238 0 0 0 359886 115 0 0 20 0 20 0 54371912 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4765878 522356 5533 1 0 561822 0 [pid=55778/tid=55780] ppid=55775 vsize=19063512 memory=2089424 CPUtime=3592.05 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37800 0 0 0 359187 18 0 0 20 0 20 0 54371914 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54371916 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19063512 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 20 0 54371917 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55821] ppid=55775 vsize=19063512 memory=-6000919485557729130 CPUtime=0 cores=4,6 /proc/55778/task/55821/stat : 55821 (Timer-0) S 55775 55778 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54371947 19521036288 522356 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3600.01 s Current children cumulated vsize: 19063512 KiB Current children cumulated memory: 2089424 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3603.67 s] # the end of solver process 55778 was just reported to runsolver # Child status: 143 # cumulated CPU time of all completed processes: user=3599.15 s, system=1.17054 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3603.6 s] /proc/loadavg: 4.18 4.19 4.13 5/340 56171 /proc/meminfo: memFree=122445528/131249988 swapFree=33010684/33010684 [pid=55778] ppid=55775 vsize=19263204 memory=2090448 CPUtime=3600.22 cores=4,6 /proc/55778/stat : 55778 (java) S 55775 55778 55318 0 -1 4194304 89265 0 0 0 359906 116 0 0 20 0 21 0 54371912 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 /proc/55778/statm: 4815801 522612 5565 1 0 562801 0 [pid=55778/tid=55780] ppid=55775 vsize=19263204 memory=2089424 CPUtime=3592.15 cores=4,6 /proc/55778/task/55780/stat : 55780 (java) R 55775 55778 55318 0 -1 4194368 37982 0 0 0 359197 18 0 0 20 0 21 0 54371914 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55792] ppid=55775 vsize=19263204 memory=4352 CPUtime=0 cores=4,6 /proc/55778/task/55792/stat : 55792 (Finalizer) S 55775 55778 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54371916 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 [pid=55778/tid=55799] ppid=55775 vsize=19263204 memory=2089424 CPUtime=0 cores=4,6 /proc/55778/task/55799/stat : 55799 (Common-Cleaner) S 55775 55778 55318 0 -1 4194368 1323 0 0 0 0 0 0 0 20 0 21 0 54371917 19725520896 522612 18446744073709551615 94359539011584 94359539015280 140722882735936 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94359539023096 94359539023888 94359542882304 140722882742657 140722882742758 140722882742758 140722882748360 0 Current children cumulated CPU time: 3600.22 s Current children cumulated vsize: 19263204 KiB Current children cumulated memory: 2090448 KiB Child status: 143 Real time (s): 3603.67 CPU time (s): 3600.32 CPU user time (s): 3599.15 CPU system time (s): 1.17054 CPU usage (%): 99.9071 Max. virtual memory (cumulated for all children) (KiB): 19263204 Max. memory (cumulated for all children) (KiB): 2098044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3599.15 system time used= 1.17054 maximum resident set size= 2098044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89576 page faults= 0 swaps= 0 block input operations= 0 block output operations= 15064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 104039 involuntary context switches= 20337 # summary of solver processes directly reported to runsolver: # pid: 55778 # total CPU time (s): 3600.32 # total CPU user time (s): 3599.15 # total CPU system time (s): 1.17054 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.08646 second user time and 15.8892 second system time The end
Begin job on nodeC020 at 2025-07-01 18:22:23 IDJOB=4497430 IDBENCH=148185 IDSOLVER=3363 FILE ID=nodeC020/4497430-1751386943 RUNJOBID= nodeC020-1751383337-55329 SLURM_JOB_ID= 9598231 Free space on /tmp= 432948 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497430-1751386943/watcher-4497430-1751386943 -o /tmp/evaluation-result-4497430-1751386943/solver-4497430-1751386943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55329 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497430-1751386943.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445 RANDOM SEED=1804936921 nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.902 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.886 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3602.536 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3567.358 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3569.292 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.893 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 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 : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 125236032 kB MemAvailable: 125688192 kB Buffers: 3280 kB Cached: 1256124 kB SwapCached: 0 kB Active: 4508080 kB Inactive: 947052 kB Active(anon): 4213784 kB Inactive(anon): 0 kB Active(file): 294296 kB Inactive(file): 947052 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1376 kB Writeback: 4 kB AnonPages: 4198744 kB Mapped: 123632 kB Shmem: 18056 kB KReclaimable: 100104 kB Slab: 188824 kB SReclaimable: 100104 kB SUnreclaim: 88720 kB KernelStack: 4832 kB PageTables: 11536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 4820512 kB VmallocTotal: 34359738367 kB VmallocUsed: 151096 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4042752 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432936 MiB End job on nodeC020 at 2025-07-01 19:22:27