0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4502326-1751469527.opb'
0.64/0.70 c read 15.73MB (683.00ms)
0.64/0.70 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.64/0.70 c
0.64/0.70 c make graph and approximate orbits
0.74/0.82 c [group: #orbits ~= 672] (119.49ms)
0.74/0.82 c
0.74/0.82 c detect special group actions
0.74/0.82 c probe for Johnson action (limit=64)
0.74/0.84 c probe for row-column symmetry (limit=64, splits=16.78M)
0.74/0.84 c probe for row symmetry (limit=64, splits=16.78M)
0.74/0.87 c (49.48ms)
0.74/0.87 c
0.74/0.87 c detect symmetries on remainder
0.74/0.87 c [graph: #vertices 40773 #edges 2139200]
0.74/0.88 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.84/0.94 c [group: #symmetries 4.16*10^1066 #generators 3417] (72.68ms)
0.84/0.94 c
0.84/0.94 c optimize generators (opt_passes=64, conjugate_limit=256)
0.84/0.95 c ran it=0, +gens=3
1.14/1.22 c con best_support=4, best_gens=3360, +gens=71
1.14/1.22 c (273.16ms)
1.14/1.22 c
1.14/1.22 c finalize break order and special generators
1.14/1.22 c
1.14/1.22 c add generic predicates (break_depth=20)
1.14/1.22 c added predicates for 3491 generators (2.29ms)
1.14/1.22 c
1.14/1.22 c generation finished
1.14/1.22 c [sbp: #constraints 6854 #add_vars 1121]
1.14/1.22 c
1.14/1.22 c write result to 'HOME/instance-4502326-1751469527.opb.pre'
1.14/1.26 c wrote 9.47MB (38.21ms)
1.14/1.26 c ------------------------------------------------------------------
1.14/1.26 c 683.00ms 55.02% parse
1.14/1.26 c 273.16ms 22.00% optimize_gens
1.14/1.26 c 119.49ms 9.63% approx_orbits
1.14/1.26 c 72.68ms 5.85% detect_generic
1.14/1.26 c 49.48ms 3.99% detect_special
1.14/1.26 c 38.21ms 3.08% output
1.14/1.26 c 2.29ms 0.18% break_generic
1.14/1.26 c 1.64ms 0.13% other
1.14/1.26 c 1.42ms 0.11% finalize_order
1.14/1.26 c ───────────────────────────────────────────────
1.14/1.26 c 1241.37ms 100% total
1.14/1.26 c ------------------------------------------------------------------
1.14/1.28 c RoundingSat 2
1.14/1.28 c branch pb25
1.14/1.28 c commit 63f22ad
1.20/1.81 c #variables 11201 #constraints 7306
1.20/1.81 c objective is ce32
12.00/12.14 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
12.00/12.14 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
12.00/12.14 c bounds 17 >= 0 @ 10.7891
19.47/19.66 c #Conflicts: 1000 | #Constraints: 8306
19.47/19.66 c #Conflicts: 2000 | #Constraints: 9306
19.47/19.66 c INPROCESSING
19.47/19.66 c GARBAGE COLLECT
19.47/19.66 c rational objective 13.8628
24.45/24.62 c bounds 17 >= 2 @ 22.9638
24.45/24.64 c bounds 17 >= 5 @ 22.98
24.56/24.70 c bounds 17 >= 6 @ 23.0339
24.65/24.86 c bounds 17 >= 7 @ 23.1928
27.25/27.42 c bounds 17 >= 8 @ 25.7054
38.62/38.88 c #Conflicts: 3000 | #Constraints: 9367
38.62/38.88 c bounds 17 >= 9 @ 36.9741
42.92/43.12 c #Conflicts: 4000 | #Constraints: 10386
42.92/43.12 c INPROCESSING
42.92/43.12 c GARBAGE COLLECT
42.92/43.12 c bounds 16 >= 9 @ 41.1336
77.92/78.24 c #Conflicts: 5000 | #Constraints: 9775
77.92/78.24 c #Conflicts: 6000 | #Constraints: 10775
77.92/78.24 c INPROCESSING
77.92/78.24 c GARBAGE COLLECT
77.92/78.24 c #Conflicts: 7000 | #Constraints: 9781
77.92/78.24 c #Conflicts: 8000 | #Constraints: 10782
77.92/78.24 c #Conflicts: 9000 | #Constraints: 11782
77.92/78.24 c INPROCESSING
77.92/78.24 c GARBAGE COLLECT
77.92/78.24 c #Conflicts: 10000 | #Constraints: 10441
77.92/78.24 c #Conflicts: 11000 | #Constraints: 11441
77.92/78.24 c #Conflicts: 12000 | #Constraints: 12441
77.92/78.24 c INPROCESSING
77.92/78.24 c GARBAGE COLLECT
77.92/78.24 c rational objective 13.8718
108.34/108.75 c #Conflicts: 13000 | #Constraints: 10898
108.34/108.75 c #Conflicts: 14000 | #Constraints: 11901
108.34/108.75 c #Conflicts: 15000 | #Constraints: 12901
108.34/108.75 c INPROCESSING
108.34/108.75 c GARBAGE COLLECT
108.34/108.75 c #Conflicts: 16000 | #Constraints: 11140
108.34/108.75 c bounds 16 >= 10 @ 105.773
117.12/117.53 c #Conflicts: 17000 | #Constraints: 12161
117.12/117.53 c #Conflicts: 18000 | #Constraints: 13161
117.12/117.53 c INPROCESSING
117.12/117.53 c GARBAGE COLLECT
117.12/117.53 c rational objective 13.8735
179.16/179.75 c #Conflicts: 19000 | #Constraints: 11133
179.16/179.75 c #Conflicts: 20000 | #Constraints: 12133
179.16/179.75 c #Conflicts: 21000 | #Constraints: 13133
179.16/179.75 c INPROCESSING
179.16/179.75 c GARBAGE COLLECT
179.16/179.75 c #Conflicts: 22000 | #Constraints: 10935
179.16/179.75 c #Conflicts: 23000 | #Constraints: 11936
179.16/179.75 c #Conflicts: 24000 | #Constraints: 12937
179.16/179.75 c #Conflicts: 25000 | #Constraints: 13938
179.16/179.75 c INPROCESSING
179.16/179.75 c GARBAGE COLLECT
179.16/179.75 c #Conflicts: 26000 | #Constraints: 11515
179.16/179.75 c #Conflicts: 27000 | #Constraints: 12521
179.16/179.75 c #Conflicts: 28000 | #Constraints: 13523
179.16/179.75 c #Conflicts: 29000 | #Constraints: 14523
179.16/179.75 c INPROCESSING
179.16/179.75 c GARBAGE COLLECT
179.16/179.75 c rational objective 13.8735
235.02/235.74 c #Conflicts: 30000 | #Constraints: 11927
235.02/235.74 c #Conflicts: 31000 | #Constraints: 12927
235.02/235.74 c #Conflicts: 32000 | #Constraints: 13927
235.02/235.74 c #Conflicts: 33000 | #Constraints: 14927
235.02/235.74 c INPROCESSING
235.02/235.74 c GARBAGE COLLECT
235.02/235.74 c #Conflicts: 34000 | #Constraints: 12123
235.02/235.74 c #Conflicts: 35000 | #Constraints: 13123
235.02/235.74 c #Conflicts: 36000 | #Constraints: 14123
235.02/235.74 c #Conflicts: 37000 | #Constraints: 15123
235.02/235.74 c INPROCESSING
235.02/235.74 c GARBAGE COLLECT
235.02/235.74 c rational objective 13.8735
299.55/300.46 c #Conflicts: 38000 | #Constraints: 12122
299.55/300.46 c #Conflicts: 39000 | #Constraints: 13122
299.55/300.46 c #Conflicts: 40000 | #Constraints: 14122
299.55/300.46 c #Conflicts: 41000 | #Constraints: 15122
299.55/300.46 c INPROCESSING
299.55/300.46 c GARBAGE COLLECT
299.55/300.46 c #Conflicts: 42000 | #Constraints: 11923
299.55/300.46 c #Conflicts: 43000 | #Constraints: 12923
299.55/300.46 c #Conflicts: 44000 | #Constraints: 13925
299.55/300.46 c #Conflicts: 45000 | #Constraints: 14926
299.55/300.46 c #Conflicts: 46000 | #Constraints: 15928
299.55/300.46 c INPROCESSING
299.55/300.46 c GARBAGE COLLECT
299.55/300.46 c rational objective 13.8735
376.08/377.14 c #Conflicts: 47000 | #Constraints: 12501
376.08/377.14 c #Conflicts: 48000 | #Constraints: 13502
376.08/377.14 c #Conflicts: 49000 | #Constraints: 14505
376.08/377.14 c #Conflicts: 50000 | #Constraints: 15510
376.08/377.14 c #Conflicts: 51000 | #Constraints: 16514
376.08/377.14 c INPROCESSING
376.08/377.14 c GARBAGE COLLECT
376.08/377.14 c #Conflicts: 52000 | #Constraints: 12920
376.08/377.14 c #Conflicts: 53000 | #Constraints: 13921
376.08/377.14 c #Conflicts: 54000 | #Constraints: 14921
376.08/377.14 c #Conflicts: 55000 | #Constraints: 15921
376.08/377.14 c #Conflicts: 56000 | #Constraints: 16921
376.08/377.14 c INPROCESSING
376.08/377.14 c GARBAGE COLLECT
376.08/377.14 c rational objective 13.8736
400.40/401.56 c #Conflicts: 57000 | #Constraints: 13088
400.40/401.56 c #Conflicts: 58000 | #Constraints: 14088
400.40/401.56 c #Conflicts: 59000 | #Constraints: 15088
400.40/401.56 c #Conflicts: 60000 | #Constraints: 16088
400.40/401.56 c #Conflicts: 61000 | #Constraints: 17088
400.40/401.56 c INPROCESSING
400.40/401.56 c GARBAGE COLLECT
400.40/401.56 c rational objective 13.8742
427.64/428.88 c #Conflicts: 62000 | #Constraints: 13097
427.64/428.88 c #Conflicts: 63000 | #Constraints: 14097
427.64/428.88 c #Conflicts: 64000 | #Constraints: 15097
427.64/428.88 c #Conflicts: 65000 | #Constraints: 16097
427.64/428.88 c #Conflicts: 66000 | #Constraints: 17098
427.64/428.88 c INPROCESSING
427.64/428.88 c GARBAGE COLLECT
427.64/428.88 c rational objective 13.8742
477.58/478.99 c #Conflicts: 67000 | #Constraints: 12895
477.58/478.99 c #Conflicts: 68000 | #Constraints: 13895
477.58/478.99 c #Conflicts: 69000 | #Constraints: 14896
477.58/478.99 c #Conflicts: 70000 | #Constraints: 15896
477.58/478.99 c #Conflicts: 71000 | #Constraints: 16896
477.58/478.99 c #Conflicts: 72000 | #Constraints: 17897
477.58/478.99 c INPROCESSING
477.58/478.99 c GARBAGE COLLECT
477.58/478.99 c rational objective 13.8745
509.99/511.44 c #Conflicts: 73000 | #Constraints: 13459
509.99/511.44 c #Conflicts: 74000 | #Constraints: 14459
509.99/511.44 c #Conflicts: 75000 | #Constraints: 15461
509.99/511.44 c #Conflicts: 76000 | #Constraints: 16462
509.99/511.44 c #Conflicts: 77000 | #Constraints: 17465
509.99/511.44 c #Conflicts: 78000 | #Constraints: 18468
509.99/511.44 c INPROCESSING
509.99/511.44 c GARBAGE COLLECT
509.99/511.44 c rational objective 13.8747
554.08/555.62 c #Conflicts: 79000 | #Constraints: 13881
554.08/555.62 c #Conflicts: 80000 | #Constraints: 14888
554.08/555.62 c #Conflicts: 81000 | #Constraints: 15889
554.08/555.62 c #Conflicts: 82000 | #Constraints: 16899
554.08/555.62 c #Conflicts: 83000 | #Constraints: 17903
554.08/555.62 c #Conflicts: 84000 | #Constraints: 18905
554.08/555.62 c INPROCESSING
554.08/555.62 c GARBAGE COLLECT
554.08/555.62 c rational objective 13.8747
621.59/623.38 c #Conflicts: 85000 | #Constraints: 14079
621.59/623.38 c #Conflicts: 86000 | #Constraints: 15080
621.59/623.38 c #Conflicts: 87000 | #Constraints: 16080
621.59/623.38 c #Conflicts: 88000 | #Constraints: 17081
621.59/623.38 c #Conflicts: 89000 | #Constraints: 18083
621.59/623.38 c #Conflicts: 90000 | #Constraints: 19086
621.59/623.38 c INPROCESSING
621.59/623.38 c GARBAGE COLLECT
621.59/623.38 c rational objective 13.8747
659.08/660.92 c #Conflicts: 91000 | #Constraints: 14058
659.08/660.92 c #Conflicts: 92000 | #Constraints: 15058
659.08/660.92 c #Conflicts: 93000 | #Constraints: 16061
659.08/660.92 c #Conflicts: 94000 | #Constraints: 17067
659.08/660.92 c #Conflicts: 95000 | #Constraints: 18071
659.08/660.92 c #Conflicts: 96000 | #Constraints: 19076
659.08/660.92 c INPROCESSING
659.08/660.92 c GARBAGE COLLECT
659.08/660.92 c rational objective 13.8747
733.37/735.44 c #Conflicts: 97000 | #Constraints: 13861
733.37/735.44 c #Conflicts: 98000 | #Constraints: 14862
733.37/735.44 c #Conflicts: 99000 | #Constraints: 15863
733.37/735.44 c #Conflicts: 100000 | #Constraints: 16864
733.37/735.44 c #Conflicts: 101000 | #Constraints: 17865
733.37/735.44 c #Conflicts: 102000 | #Constraints: 18865
733.37/735.44 c #Conflicts: 103000 | #Constraints: 19865
733.37/735.44 c INPROCESSING
733.37/735.44 c GARBAGE COLLECT
733.37/735.44 c rational objective 13.8748
782.13/784.33 c #Conflicts: 104000 | #Constraints: 14433
782.13/784.33 c #Conflicts: 105000 | #Constraints: 15434
782.13/784.33 c #Conflicts: 106000 | #Constraints: 16435
782.13/784.33 c #Conflicts: 107000 | #Constraints: 17438
782.13/784.33 c #Conflicts: 108000 | #Constraints: 18442
782.13/784.33 c #Conflicts: 109000 | #Constraints: 19444
782.13/784.33 c #Conflicts: 110000 | #Constraints: 20448
782.13/784.33 c INPROCESSING
782.13/784.33 c GARBAGE COLLECT
782.13/784.33 c rational objective 13.8748
839.38/841.76 c #Conflicts: 111000 | #Constraints: 14843
839.38/841.76 c #Conflicts: 112000 | #Constraints: 15843
839.38/841.76 c #Conflicts: 113000 | #Constraints: 16849
839.38/841.76 c #Conflicts: 114000 | #Constraints: 17851
839.38/841.76 c #Conflicts: 115000 | #Constraints: 18856
839.38/841.76 c #Conflicts: 116000 | #Constraints: 19858
839.38/841.76 c #Conflicts: 117000 | #Constraints: 20863
839.38/841.76 c INPROCESSING
839.38/841.76 c GARBAGE COLLECT
839.38/841.76 c rational objective 13.8748
905.42/907.90 c #Conflicts: 118000 | #Constraints: 15043
905.42/907.90 c #Conflicts: 119000 | #Constraints: 16044
905.42/907.90 c #Conflicts: 120000 | #Constraints: 17044
905.42/907.90 c #Conflicts: 121000 | #Constraints: 18047
905.42/907.90 c #Conflicts: 122000 | #Constraints: 19047
905.42/907.90 c #Conflicts: 123000 | #Constraints: 20047
905.42/907.90 c #Conflicts: 124000 | #Constraints: 21047
905.42/907.90 c INPROCESSING
905.42/907.90 c GARBAGE COLLECT
905.42/907.90 c rational objective 13.8748
958.98/961.66 c #Conflicts: 125000 | #Constraints: 15020
958.98/961.66 c #Conflicts: 126000 | #Constraints: 16020
958.98/961.66 c #Conflicts: 127000 | #Constraints: 17023
958.98/961.66 c #Conflicts: 128000 | #Constraints: 18026
958.98/961.66 c #Conflicts: 129000 | #Constraints: 19027
958.98/961.66 c #Conflicts: 130000 | #Constraints: 20029
958.98/961.66 c #Conflicts: 131000 | #Constraints: 21031
958.98/961.66 c INPROCESSING
958.98/961.66 c GARBAGE COLLECT
958.98/961.66 c rational objective 13.8753
1005.56/1008.39 c #Conflicts: 132000 | #Constraints: 14835
1005.56/1008.39 c #Conflicts: 133000 | #Constraints: 15836
1005.56/1008.39 c #Conflicts: 134000 | #Constraints: 16837
1005.56/1008.39 c #Conflicts: 135000 | #Constraints: 17844
1005.56/1008.39 c #Conflicts: 136000 | #Constraints: 18849
1005.56/1008.39 c #Conflicts: 137000 | #Constraints: 19852
1005.56/1008.39 c #Conflicts: 138000 | #Constraints: 20853
1005.56/1008.39 c #Conflicts: 139000 | #Constraints: 21855
1005.56/1008.39 c INPROCESSING
1005.56/1008.39 c GARBAGE COLLECT
1005.56/1008.39 c rational objective 13.875
1081.87/1084.90 c #Conflicts: 140000 | #Constraints: 15451
1081.87/1084.90 c #Conflicts: 141000 | #Constraints: 16452
1081.87/1084.90 c #Conflicts: 142000 | #Constraints: 17453
1081.87/1084.90 c #Conflicts: 143000 | #Constraints: 18453
1081.87/1084.90 c #Conflicts: 144000 | #Constraints: 19454
1081.87/1084.90 c #Conflicts: 145000 | #Constraints: 20455
1081.87/1084.90 c #Conflicts: 146000 | #Constraints: 21455
1081.87/1084.90 c #Conflicts: 147000 | #Constraints: 22456
1081.87/1084.90 c INPROCESSING
1081.87/1084.90 c GARBAGE COLLECT
1081.87/1084.90 c rational objective 13.8751
1134.24/1137.39 c #Conflicts: 148000 | #Constraints: 15816
1134.24/1137.39 c #Conflicts: 149000 | #Constraints: 16816
1134.24/1137.39 c #Conflicts: 150000 | #Constraints: 17817
1134.24/1137.39 c #Conflicts: 151000 | #Constraints: 18818
1134.24/1137.39 c #Conflicts: 152000 | #Constraints: 19821
1134.24/1137.39 c #Conflicts: 153000 | #Constraints: 20826
1134.24/1137.39 c #Conflicts: 154000 | #Constraints: 21826
1134.24/1137.39 c #Conflicts: 155000 | #Constraints: 22827
1134.24/1137.39 c INPROCESSING
1134.24/1137.39 c GARBAGE COLLECT
1134.24/1137.39 c rational objective 13.8752
1191.01/1194.21 c #Conflicts: 156000 | #Constraints: 16006
1191.01/1194.21 c #Conflicts: 157000 | #Constraints: 17006
1191.01/1194.21 c #Conflicts: 158000 | #Constraints: 18006
1191.01/1194.21 c #Conflicts: 159000 | #Constraints: 19006
1191.01/1194.21 c #Conflicts: 160000 | #Constraints: 20007
1191.01/1194.21 c #Conflicts: 161000 | #Constraints: 21007
1191.01/1194.21 c #Conflicts: 162000 | #Constraints: 22010
1191.01/1194.21 c #Conflicts: 163000 | #Constraints: 23011
1191.01/1194.21 c INPROCESSING
1191.01/1194.21 c GARBAGE COLLECT
1191.01/1194.21 c rational objective 13.8752
1286.76/1290.26 c #Conflicts: 164000 | #Constraints: 16005
1286.76/1290.26 c #Conflicts: 165000 | #Constraints: 17006
1286.76/1290.26 c #Conflicts: 166000 | #Constraints: 18007
1286.76/1290.26 c #Conflicts: 167000 | #Constraints: 19008
1286.76/1290.26 c #Conflicts: 168000 | #Constraints: 20008
1286.76/1290.26 c #Conflicts: 169000 | #Constraints: 21011
1286.76/1290.26 c #Conflicts: 170000 | #Constraints: 22011
1286.76/1290.26 c #Conflicts: 171000 | #Constraints: 23013
1286.76/1290.26 c INPROCESSING
1286.76/1290.26 c GARBAGE COLLECT
1286.76/1290.26 c rational objective 13.8753
1352.20/1355.89 c #Conflicts: 172000 | #Constraints: 15748
1352.20/1355.89 c #Conflicts: 173000 | #Constraints: 16748
1352.20/1355.89 c #Conflicts: 174000 | #Constraints: 17750
1352.20/1355.89 c #Conflicts: 175000 | #Constraints: 18752
1352.20/1355.89 c #Conflicts: 176000 | #Constraints: 19759
1352.20/1355.89 c #Conflicts: 177000 | #Constraints: 20760
1352.20/1355.89 c #Conflicts: 178000 | #Constraints: 21761
1352.20/1355.89 c #Conflicts: 179000 | #Constraints: 22762
1352.20/1355.89 c #Conflicts: 180000 | #Constraints: 23763
1352.20/1355.89 c INPROCESSING
1352.20/1355.89 c GARBAGE COLLECT
1352.20/1355.89 c rational objective 13.8753
1413.06/1416.80 c #Conflicts: 181000 | #Constraints: 16360
1413.06/1416.80 c #Conflicts: 182000 | #Constraints: 17360
1413.06/1416.80 c #Conflicts: 183000 | #Constraints: 18360
1413.06/1416.80 c #Conflicts: 184000 | #Constraints: 19369
1413.06/1416.80 c #Conflicts: 185000 | #Constraints: 20370
1413.06/1416.80 c #Conflicts: 186000 | #Constraints: 21371
1413.06/1416.80 c #Conflicts: 187000 | #Constraints: 22376
1413.06/1416.80 c #Conflicts: 188000 | #Constraints: 23379
1413.06/1416.80 c #Conflicts: 189000 | #Constraints: 24382
1413.06/1416.80 c INPROCESSING
1413.06/1416.80 c GARBAGE COLLECT
1413.06/1416.80 c rational objective 13.8753
1474.31/1478.25 c #Conflicts: 190000 | #Constraints: 16754
1474.31/1478.25 c #Conflicts: 191000 | #Constraints: 17756
1474.31/1478.25 c #Conflicts: 192000 | #Constraints: 18758
1474.31/1478.25 c #Conflicts: 193000 | #Constraints: 19761
1474.31/1478.25 c #Conflicts: 194000 | #Constraints: 20762
1474.31/1478.25 c #Conflicts: 195000 | #Constraints: 21762
1474.31/1478.25 c #Conflicts: 196000 | #Constraints: 22767
1474.31/1478.25 c #Conflicts: 197000 | #Constraints: 23772
1474.31/1478.25 c #Conflicts: 198000 | #Constraints: 24776
1474.31/1478.25 c INPROCESSING
1474.31/1478.25 c GARBAGE COLLECT
1474.31/1478.25 c rational objective 13.8753
1583.34/1587.57 c #Conflicts: 199000 | #Constraints: 16957
1583.34/1587.57 c #Conflicts: 200000 | #Constraints: 17957
1583.34/1587.57 c #Conflicts: 201000 | #Constraints: 18958
1583.34/1587.57 c #Conflicts: 202000 | #Constraints: 19958
1583.34/1587.57 c #Conflicts: 203000 | #Constraints: 20959
1583.34/1587.57 c #Conflicts: 204000 | #Constraints: 21960
1583.34/1587.57 c #Conflicts: 205000 | #Constraints: 22961
1583.34/1587.57 c #Conflicts: 206000 | #Constraints: 23961
1583.34/1587.57 c #Conflicts: 207000 | #Constraints: 24961
1583.34/1587.57 c INPROCESSING
1583.34/1587.57 c GARBAGE COLLECT
1583.34/1587.57 c rational objective 13.8753
1645.58/1649.93 c #Conflicts: 208000 | #Constraints: 16952
1645.58/1649.93 c #Conflicts: 209000 | #Constraints: 17953
1645.58/1649.93 c #Conflicts: 210000 | #Constraints: 18957
1645.58/1649.93 c #Conflicts: 211000 | #Constraints: 19967
1645.58/1649.93 c #Conflicts: 212000 | #Constraints: 20970
1645.58/1649.93 c #Conflicts: 213000 | #Constraints: 21976
1645.58/1649.93 c #Conflicts: 214000 | #Constraints: 22983
1645.58/1649.93 c #Conflicts: 215000 | #Constraints: 23988
1645.58/1649.93 c #Conflicts: 216000 | #Constraints: 24993
1645.58/1649.93 c INPROCESSING
1645.58/1649.93 c GARBAGE COLLECT
1645.58/1649.93 c rational objective 13.8753
1720.90/1725.46 c #Conflicts: 217000 | #Constraints: 16767
1720.90/1725.46 c #Conflicts: 218000 | #Constraints: 17769
1720.90/1725.46 c #Conflicts: 219000 | #Constraints: 18774
1720.90/1725.46 c #Conflicts: 220000 | #Constraints: 19776
1720.90/1725.46 c #Conflicts: 221000 | #Constraints: 20781
1720.90/1725.46 c #Conflicts: 222000 | #Constraints: 21784
1720.90/1725.46 c #Conflicts: 223000 | #Constraints: 22785
1720.90/1725.46 c #Conflicts: 224000 | #Constraints: 23786
1720.90/1725.46 c #Conflicts: 225000 | #Constraints: 24788
1720.90/1725.46 c #Conflicts: 226000 | #Constraints: 25790
1720.90/1725.46 c INPROCESSING
1720.90/1725.46 c GARBAGE COLLECT
1720.90/1725.46 c rational objective 13.8753
1911.64/1916.64 c #Conflicts: 227000 | #Constraints: 17349
1911.64/1916.64 c #Conflicts: 228000 | #Constraints: 18350
1911.64/1916.64 c #Conflicts: 229000 | #Constraints: 19351
1911.64/1916.64 c #Conflicts: 230000 | #Constraints: 20351
1911.64/1916.64 c #Conflicts: 231000 | #Constraints: 21352
1911.64/1916.64 c #Conflicts: 232000 | #Constraints: 22353
1911.64/1916.64 c #Conflicts: 233000 | #Constraints: 23355
1911.64/1916.64 c #Conflicts: 234000 | #Constraints: 24355
1911.64/1916.64 c #Conflicts: 235000 | #Constraints: 25355
1911.64/1916.64 c #Conflicts: 236000 | #Constraints: 26355
1911.64/1916.64 c INPROCESSING
1911.64/1916.64 c GARBAGE COLLECT
1911.64/1916.64 c #Conflicts: 237000 | #Constraints: 17756
1911.64/1916.64 c #Conflicts: 238000 | #Constraints: 18756
1911.64/1916.64 c #Conflicts: 239000 | #Constraints: 19756
1911.64/1916.64 c #Conflicts: 240000 | #Constraints: 20756
1911.64/1916.64 c #Conflicts: 241000 | #Constraints: 21756
1911.64/1916.64 c #Conflicts: 242000 | #Constraints: 22756
1911.64/1916.64 c #Conflicts: 243000 | #Constraints: 23756
1911.64/1916.64 c #Conflicts: 244000 | #Constraints: 24756
1911.64/1916.64 c #Conflicts: 245000 | #Constraints: 25756
1911.64/1916.64 c #Conflicts: 246000 | #Constraints: 26756
1911.64/1916.64 c INPROCESSING
1911.64/1916.64 c GARBAGE COLLECT
1911.64/1916.64 c rational objective 13.8753
1986.97/1992.14 c #Conflicts: 247000 | #Constraints: 17954
1986.97/1992.14 c #Conflicts: 248000 | #Constraints: 18954
1986.97/1992.14 c #Conflicts: 249000 | #Constraints: 19954
1986.97/1992.14 c #Conflicts: 250000 | #Constraints: 20954
1986.97/1992.14 c #Conflicts: 251000 | #Constraints: 21954
1986.97/1992.14 c #Conflicts: 252000 | #Constraints: 22954
1986.97/1992.14 c #Conflicts: 253000 | #Constraints: 23957
1986.97/1992.14 c #Conflicts: 254000 | #Constraints: 24959
1986.97/1992.14 c #Conflicts: 255000 | #Constraints: 25960
1986.97/1992.14 c #Conflicts: 256000 | #Constraints: 26962
1986.97/1992.14 c INPROCESSING
1986.97/1992.14 c GARBAGE COLLECT
1986.97/1992.14 c rational objective 13.8753
2063.67/2069.07 c #Conflicts: 257000 | #Constraints: 17928
2063.67/2069.07 c #Conflicts: 258000 | #Constraints: 18930
2063.67/2069.07 c #Conflicts: 259000 | #Constraints: 19936
2063.67/2069.07 c #Conflicts: 260000 | #Constraints: 20940
2063.67/2069.07 c #Conflicts: 261000 | #Constraints: 21941
2063.67/2069.07 c #Conflicts: 262000 | #Constraints: 22944
2063.67/2069.07 c #Conflicts: 263000 | #Constraints: 23946
2063.67/2069.07 c #Conflicts: 264000 | #Constraints: 24947
2063.67/2069.07 c #Conflicts: 265000 | #Constraints: 25948
2063.67/2069.07 c #Conflicts: 266000 | #Constraints: 26950
2063.67/2069.07 c INPROCESSING
2063.67/2069.07 c GARBAGE COLLECT
2063.67/2069.07 c rational objective 13.8753
2205.00/2210.73 c #Conflicts: 267000 | #Constraints: 17738
2205.00/2210.73 c #Conflicts: 268000 | #Constraints: 18738
2205.00/2210.73 c #Conflicts: 269000 | #Constraints: 19741
2205.00/2210.73 c #Conflicts: 270000 | #Constraints: 20742
2205.00/2210.73 c #Conflicts: 271000 | #Constraints: 21742
2205.00/2210.73 c #Conflicts: 272000 | #Constraints: 22742
2205.00/2210.73 c #Conflicts: 273000 | #Constraints: 23742
2205.00/2210.73 c #Conflicts: 274000 | #Constraints: 24743
2205.00/2210.73 c #Conflicts: 275000 | #Constraints: 25743
2205.00/2210.73 c #Conflicts: 276000 | #Constraints: 26744
2205.00/2210.73 c #Conflicts: 277000 | #Constraints: 27744
2205.00/2210.73 c INPROCESSING
2205.00/2210.73 c GARBAGE COLLECT
2205.00/2210.73 c rational objective 13.8753
2285.90/2291.85 c #Conflicts: 278000 | #Constraints: 18341
2285.90/2291.85 c #Conflicts: 279000 | #Constraints: 19341
2285.90/2291.85 c #Conflicts: 280000 | #Constraints: 20342
2285.90/2291.85 c #Conflicts: 281000 | #Constraints: 21343
2285.90/2291.85 c #Conflicts: 282000 | #Constraints: 22347
2285.90/2291.85 c #Conflicts: 283000 | #Constraints: 23349
2285.90/2291.85 c #Conflicts: 284000 | #Constraints: 24351
2285.90/2291.85 c #Conflicts: 285000 | #Constraints: 25355
2285.90/2291.85 c #Conflicts: 286000 | #Constraints: 26357
2285.90/2291.85 c #Conflicts: 287000 | #Constraints: 27359
2285.90/2291.85 c #Conflicts: 288000 | #Constraints: 28360
2285.90/2291.85 c INPROCESSING
2285.90/2291.85 c GARBAGE COLLECT
2285.90/2291.85 c rational objective 13.8753
2375.90/2382.06 c #Conflicts: 289000 | #Constraints: 18713
2375.90/2382.06 c #Conflicts: 290000 | #Constraints: 19713
2375.90/2382.06 c #Conflicts: 291000 | #Constraints: 20715
2375.90/2382.06 c #Conflicts: 292000 | #Constraints: 21715
2375.90/2382.06 c #Conflicts: 293000 | #Constraints: 22715
2375.90/2382.06 c #Conflicts: 294000 | #Constraints: 23716
2375.90/2382.06 c #Conflicts: 295000 | #Constraints: 24718
2375.90/2382.06 c #Conflicts: 296000 | #Constraints: 25719
2375.90/2382.06 c #Conflicts: 297000 | #Constraints: 26720
2375.90/2382.06 c #Conflicts: 298000 | #Constraints: 27725
2375.90/2382.06 c #Conflicts: 299000 | #Constraints: 28725
2375.90/2382.06 c INPROCESSING
2375.90/2382.06 c GARBAGE COLLECT
2375.90/2382.06 c rational objective 13.8753
2528.68/2535.23 c #Conflicts: 300000 | #Constraints: 18896
2528.68/2535.23 c #Conflicts: 301000 | #Constraints: 19896
2528.68/2535.23 c #Conflicts: 302000 | #Constraints: 20896
2528.68/2535.23 c #Conflicts: 303000 | #Constraints: 21896
2528.68/2535.23 c #Conflicts: 304000 | #Constraints: 22896
2528.68/2535.23 c #Conflicts: 305000 | #Constraints: 23897
2528.68/2535.23 c #Conflicts: 306000 | #Constraints: 24897
2528.68/2535.23 c #Conflicts: 307000 | #Constraints: 25897
2528.68/2535.23 c #Conflicts: 308000 | #Constraints: 26897
2528.68/2535.23 c #Conflicts: 309000 | #Constraints: 27897
2528.68/2535.23 c #Conflicts: 310000 | #Constraints: 28897
2528.68/2535.23 c INPROCESSING
2528.68/2535.23 c GARBAGE COLLECT
2528.68/2535.23 c rational objective 13.8754
2620.84/2627.62 c #Conflicts: 311000 | #Constraints: 18885
2620.84/2627.62 c #Conflicts: 312000 | #Constraints: 19885
2620.84/2627.62 c #Conflicts: 313000 | #Constraints: 20886
2620.84/2627.62 c #Conflicts: 314000 | #Constraints: 21889
2620.84/2627.62 c #Conflicts: 315000 | #Constraints: 22889
2620.84/2627.62 c #Conflicts: 316000 | #Constraints: 23889
2620.84/2627.62 c #Conflicts: 317000 | #Constraints: 24889
2620.84/2627.62 c #Conflicts: 318000 | #Constraints: 25891
2620.84/2627.62 c #Conflicts: 319000 | #Constraints: 26893
2620.84/2627.62 c #Conflicts: 320000 | #Constraints: 27896
2620.84/2627.62 c #Conflicts: 321000 | #Constraints: 28899
2620.84/2627.62 c INPROCESSING
2620.84/2627.62 c GARBAGE COLLECT
2620.84/2627.62 c rational objective 13.8753
2719.11/2726.15 c #Conflicts: 322000 | #Constraints: 18672
2719.11/2726.15 c #Conflicts: 323000 | #Constraints: 19675
2719.11/2726.15 c #Conflicts: 324000 | #Constraints: 20676
2719.11/2726.15 c #Conflicts: 325000 | #Constraints: 21679
2719.11/2726.15 c #Conflicts: 326000 | #Constraints: 22683
2719.11/2726.15 c #Conflicts: 327000 | #Constraints: 23683
2719.11/2726.15 c #Conflicts: 328000 | #Constraints: 24689
2719.11/2726.15 c #Conflicts: 329000 | #Constraints: 25694
2719.11/2726.15 c #Conflicts: 330000 | #Constraints: 26696
2719.11/2726.15 c #Conflicts: 331000 | #Constraints: 27699
2719.11/2726.15 c #Conflicts: 332000 | #Constraints: 28702
2719.11/2726.15 c #Conflicts: 333000 | #Constraints: 29707
2719.11/2726.15 c INPROCESSING
2719.11/2726.15 c GARBAGE COLLECT
2719.11/2726.15 c rational objective 13.8754
2829.50/2836.87 c #Conflicts: 334000 | #Constraints: 19283
2829.50/2836.87 c #Conflicts: 335000 | #Constraints: 20284
2829.50/2836.87 c #Conflicts: 336000 | #Constraints: 21284
2829.50/2836.87 c #Conflicts: 337000 | #Constraints: 22284
2829.50/2836.87 c #Conflicts: 338000 | #Constraints: 23284
2829.50/2836.87 c #Conflicts: 339000 | #Constraints: 24284
2829.50/2836.87 c #Conflicts: 340000 | #Constraints: 25284
2829.50/2836.87 c #Conflicts: 341000 | #Constraints: 26284
2829.50/2836.87 c #Conflicts: 342000 | #Constraints: 27284
2829.50/2836.87 c bounds 16 >= 11 @ 2811.37
2859.65/2867.03 c #Conflicts: 343000 | #Constraints: 28305
2859.65/2867.03 c #Conflicts: 344000 | #Constraints: 29305
2859.65/2867.03 c #Conflicts: 345000 | #Constraints: 30305
2859.65/2867.03 c INPROCESSING
2859.65/2867.03 c GARBAGE COLLECT
2859.65/2867.03 c rational objective 13.8754
2959.40/2967.03 c #Conflicts: 346000 | #Constraints: 19655
2959.40/2967.03 c #Conflicts: 347000 | #Constraints: 20655
2959.40/2967.03 c #Conflicts: 348000 | #Constraints: 21656
2959.40/2967.03 c #Conflicts: 349000 | #Constraints: 22658
2959.40/2967.03 c #Conflicts: 350000 | #Constraints: 23660
2959.40/2967.03 c #Conflicts: 351000 | #Constraints: 24665
2959.40/2967.03 c #Conflicts: 352000 | #Constraints: 25670
2959.40/2967.03 c #Conflicts: 353000 | #Constraints: 26673
2959.40/2967.03 c #Conflicts: 354000 | #Constraints: 27678
2959.40/2967.03 c #Conflicts: 355000 | #Constraints: 28678
2959.40/2967.03 c #Conflicts: 356000 | #Constraints: 29678
2959.40/2967.03 c #Conflicts: 357000 | #Constraints: 30680
2959.40/2967.03 c INPROCESSING
2959.40/2967.03 c GARBAGE COLLECT
2959.40/2967.03 c rational objective 13.8755
3134.46/3142.56 c #Conflicts: 358000 | #Constraints: 19862
3134.46/3142.56 c #Conflicts: 359000 | #Constraints: 20862
3134.46/3142.56 c #Conflicts: 360000 | #Constraints: 21862
3134.46/3142.56 c #Conflicts: 361000 | #Constraints: 22863
3134.46/3142.56 c #Conflicts: 362000 | #Constraints: 23863
3134.46/3142.56 c #Conflicts: 363000 | #Constraints: 24864
3134.46/3142.56 c #Conflicts: 364000 | #Constraints: 25864
3134.46/3142.56 c #Conflicts: 365000 | #Constraints: 26865
3134.46/3142.56 c #Conflicts: 366000 | #Constraints: 27865
3134.46/3142.56 c #Conflicts: 367000 | #Constraints: 28865
3134.46/3142.56 c #Conflicts: 368000 | #Constraints: 29865
3134.46/3142.56 c #Conflicts: 369000 | #Constraints: 30865
3134.46/3142.56 c INPROCESSING
3134.46/3142.56 c GARBAGE COLLECT
3134.46/3142.56 c rational objective 13.8755
3238.70/3247.03 c #Conflicts: 370000 | #Constraints: 19791
3238.70/3247.03 c #Conflicts: 371000 | #Constraints: 20791
3238.70/3247.03 c #Conflicts: 372000 | #Constraints: 21791
3238.70/3247.03 c #Conflicts: 373000 | #Constraints: 22791
3238.70/3247.03 c #Conflicts: 374000 | #Constraints: 23793
3238.70/3247.03 c #Conflicts: 375000 | #Constraints: 24796
3238.70/3247.03 c #Conflicts: 376000 | #Constraints: 25798
3238.70/3247.03 c #Conflicts: 377000 | #Constraints: 26803
3238.70/3247.03 c #Conflicts: 378000 | #Constraints: 27804
3238.70/3247.03 c #Conflicts: 379000 | #Constraints: 28806
3238.70/3247.03 c #Conflicts: 380000 | #Constraints: 29807
3238.70/3247.03 c #Conflicts: 381000 | #Constraints: 30808
3238.70/3247.03 c INPROCESSING
3238.70/3247.03 c GARBAGE COLLECT
3238.70/3247.03 c rational objective 13.8755
3342.24/3350.81 c #Conflicts: 382000 | #Constraints: 19620
3342.24/3350.81 c #Conflicts: 383000 | #Constraints: 20622
3342.24/3350.81 c #Conflicts: 384000 | #Constraints: 21624
3342.24/3350.81 c #Conflicts: 385000 | #Constraints: 22626
3342.24/3350.81 c #Conflicts: 386000 | #Constraints: 23629
3342.24/3350.81 c #Conflicts: 387000 | #Constraints: 24631
3342.24/3350.81 c #Conflicts: 388000 | #Constraints: 25636
3342.24/3350.81 c #Conflicts: 389000 | #Constraints: 26642
3342.24/3350.81 c #Conflicts: 390000 | #Constraints: 27643
3342.24/3350.81 c #Conflicts: 391000 | #Constraints: 28647
3342.24/3350.81 c #Conflicts: 392000 | #Constraints: 29654
3342.24/3350.81 c #Conflicts: 393000 | #Constraints: 30656
3342.24/3350.81 c #Conflicts: 394000 | #Constraints: 31660
3342.24/3350.81 c INPROCESSING
3342.24/3350.81 c GARBAGE COLLECT
3342.24/3350.81 c rational objective 13.8755
3513.51/3522.58 c #Conflicts: 395000 | #Constraints: 20261
3513.51/3522.58 c #Conflicts: 396000 | #Constraints: 21261
3513.51/3522.58 c #Conflicts: 397000 | #Constraints: 22261
3513.51/3522.58 c #Conflicts: 398000 | #Constraints: 23261
3513.51/3522.58 c #Conflicts: 399000 | #Constraints: 24262
3513.51/3522.58 c #Conflicts: 400000 | #Constraints: 25262
3513.51/3522.58 c #Conflicts: 401000 | #Constraints: 26263
3513.51/3522.58 c #Conflicts: 402000 | #Constraints: 27264
3513.51/3522.58 c #Conflicts: 403000 | #Constraints: 28264
3513.51/3522.58 c #Conflicts: 404000 | #Constraints: 29264
3513.51/3522.58 c #Conflicts: 405000 | #Constraints: 30265
3513.51/3522.58 c #Conflicts: 406000 | #Constraints: 31266
3513.51/3522.58 c #Conflicts: 407000 | #Constraints: 32266
3513.51/3522.58 c INPROCESSING
3513.51/3522.58 c GARBAGE COLLECT
3513.51/3522.58 c rational objective 13.8755
3600.00/3609.20 c #Conflicts: 408000 | #Constraints: 20529
3600.00/3609.20 c #Conflicts: 409000 | #Constraints: 21532
3600.00/3609.20 c #Conflicts: 410000 | #Constraints: 22534
3600.00/3609.20 c #Conflicts: 411000 | #Constraints: 23536
3600.00/3609.20 c #Conflicts: 412000 | #Constraints: 24536
3600.00/3609.20 c #Conflicts: 413000 | #Constraints: 25537
3600.00/3609.20 c #Conflicts: 414000 | #Constraints: 26540
3600.00/3609.20 c #Conflicts: 415000 | #Constraints: 27545
3600.00/3609.20 c #Conflicts: 416000 | #Constraints: 28545
3600.00/3609.20 c #Conflicts: 417000 | #Constraints: 29551
3600.00/3609.20 c #Conflicts: 418000 | #Constraints: 30551
3600.00/3609.20 c cpu time 3577.56 s
3600.00/3609.20 c deterministic time 313419846440 3.13e+11
3600.00/3609.20 c optimization time 91.7343 s
3600.00/3609.20 c total solve time 3485.34 s
3600.00/3609.20 c core-guided solve time 1598.12 s
3600.00/3609.20 c propagation time 2024.98 s
3600.00/3609.20 c conflict analysis time 993.269 s
3600.00/3609.20 c propagations 487545386
3600.00/3609.20 c resolve steps 1619186
3600.00/3609.20 c decisions 19921980
3600.00/3609.20 c conflicts 418721
3600.00/3609.20 c restarts 1019
3600.00/3609.20 c inprocessing phases 55
3600.00/3609.20 c garbage collections 55 ,( 100.00 )
3600.00/3609.20 c input clauses 6879 ,( 92.87 )
3600.00/3609.20 c input cardinalities 495 ,( 6.68 )
3600.00/3609.20 c input general constraints 33 ,( 0.45 )
3600.00/3609.20 c input average constraint length 170.59
3600.00/3609.20 c input average constraint degree 71.85
3600.00/3609.20 c learned clauses 52049 ,( 12.41 )
3600.00/3609.20 c learned cardinalities 2710 ,( 0.65 )
3600.00/3609.20 c learned general constraints 364625 ,( 86.94 )
3600.00/3609.20 c learned average constraint length 3709.25
3600.00/3609.20 c learned average constraint degree 17215888194.93
3600.00/3609.20 c watched CF 32, 64, 128, Arb: 31949 , 0 , 0 , 0
3600.00/3609.20 c counting CF 32, 64, 128, Arb: 332710 , 0 , 0 , 0
3600.00/3609.20 c watched constraints 31949 ,( 8.76 )
3600.00/3609.20 c counting constraints 332709 ,( 91.24 )
3600.00/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 45904227 , 47421262 , 3313368392 ,( 87481888 , 3225886504 )
3600.00/3609.20 c gcd simplifications 911
3600.00/3609.20 c detected cardinalities 25
3600.00/3609.20 c weakened non-implied lits 1164096718
3600.00/3609.20 c weakened non-implying lits 421020
3600.00/3609.20 c original variables 11201
3600.00/3609.20 c clausal propagations 28252246
3600.00/3609.20 c cardinality propagations 58393281
3600.00/3609.20 c watched propagations 3788067
3600.00/3609.20 c counting propagations 370638921
3600.00/3609.20 c watch lookups 160012110534
3600.00/3609.20 c watch backjump lookups 0
3600.00/3609.20 c watch checks 26863332618
3600.00/3609.20 c propagation checks 118060027026
3600.00/3609.20 c constraint additions 7468250491
3600.00/3609.20 c trail pops 507875895
3600.00/3609.20 c formula constraints 7306
3600.00/3609.20 c learned constraints 418308
3600.00/3609.20 c bound constraints 10
3600.00/3609.20 c core-guided constraints 91
3600.00/3609.20 c encountered formula constraints 481440
3600.00/3609.20 c encountered learned constraints 1453676
3600.00/3609.20 c encountered bound constraints 16
3600.00/3609.20 c encountered core-guided constraints 47914
3600.00/3609.20 c LP total time 627.383 s
3600.00/3609.20 c LP solve time 425.13 s
3600.00/3609.20 c LP constraints added 7370
3600.00/3609.20 c LP constraints removed 56
3600.00/3609.20 c LP pivots internal 427319
3600.00/3609.20 c LP pivots root 355190
3600.00/3609.20 c LP calls 712
3600.00/3609.20 c LP optimalities 50
3600.00/3609.20 c LP no pivot count 1
3600.00/3609.20 c LP infeasibilities 644
3600.00/3609.20 c LP valid Farkas constraints 621
3600.00/3609.20 c LP learned Farkas constraints 412
3600.00/3609.20 c LP basis resets 35
3600.00/3609.20 c LP cycling count 1
3600.00/3609.20 c LP singular count 12
3600.00/3609.20 c LP no primal count 0
3600.00/3609.20 c LP no farkas count 22
3600.00/3609.20 c LP other issue count 0
3600.00/3609.20 c LP Gomory cuts 43
3600.00/3609.20 c LP learned cuts 21
3600.00/3609.20 c LP deleted cuts 56
3600.00/3609.20 c LP encountered Gomory constraints 0
3600.00/3609.20 c LP encountered Farkas constraints 50876
3600.00/3609.20 c LP encountered learned Farkas constraints 3573
3600.00/3609.20 c CG auxiliary variables introduced 33
3600.00/3609.20 c CG solutions found 1
3600.00/3609.20 c CG cores constructed 8
3600.00/3609.20 c CG core cardinality constraints returned 2
3600.00/3609.20 c CG unit cores 0
3600.00/3609.20 c CG single cores 8
3600.00/3609.20 c CG blocks removed during cardinality reduction 0
3600.00/3609.20 c CG first core best 0
3600.00/3609.20 c CG decision core best 0
3600.00/3609.20 c CG core reduction tie 0
3600.00/3609.20 c CG core degree average 1.38
3600.00/3609.20 c CG core slack average 1261.75
3600.00/3609.20 c CG core upper bound improvements 5
3600.00/3609.20 c STR number of successful calls 0
3600.00/3609.20 c STR number of unsuccessful calls 0
3600.00/3609.20 c STR number of inconclusive calls 0
3600.00/3609.20 c STR number of successful attempts 0
3600.00/3609.20 c STR number of unsuccessful attempts 0
3600.00/3609.20 c STR number of inconclusive attempts 0
3600.00/3609.20 c STR average degree increase per successful call inf
3600.00/3609.20 c STR average degree increase per successful attempt inf
3600.00/3609.20 c STR total number of conflicts for successful attempts 0
3600.00/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.20 c STR average number of conflicts per successful attempt inf
3600.00/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.20 c AVG.sumWPerc 78.44
3600.00/3609.20 c bigint constraints 0
3600.00/3609.20 o 16
3600.00/3609.20 s SATISFIABLE
3600.00/3609.20 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 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080
3600.00/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62629 MiB free)
memory of node 1: 64465 MiB (63612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502326-1751469527/watcher-4502326-1751469527 -o /tmp/evaluation-result-4502326-1751469527/solver-4502326-1751469527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751469475-75974 --watchdog 3760 run-opt-ls.sh HOME/instance-4502326-1751469527.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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
solver pid=76752, runsolver pid=76749
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 2.53 1.84 2.49 4/249 76754
/proc/meminfo: memFree=129269544/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76754] ppid=76752 vsize=16024 memory=8052 CPUtime=0.07 cores=4,6
/proc/76754/stat : 76754 (pbsuma) R 76752 76752 75963 0 -1 4194304 1647 0 0 0 7 0 0 0 20 0 1 0 62631887 16408576 2013 18446744073709551615 4210688 4653049 140733133079680 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 21803008 140733133085027 140733133085234 140733133085234 140733133090799 0
/proc/76754/statm: 4006 2013 960 108 0 1414 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 11124 KiB
[startup+0.213 s]*
/proc/loadavg: 2.53 1.84 2.49 4/249 76754
/proc/meminfo: memFree=129265764/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76754] ppid=76752 vsize=20892 memory=12312 CPUtime=0.17 cores=4,6
/proc/76754/stat : 76754 (pbsuma) R 76752 76752 75963 0 -1 4194304 3221 0 0 0 16 1 0 0 20 0 1 0 62631887 21393408 3078 18446744073709551615 4210688 4653049 140733133079680 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 21803008 140733133085027 140733133085234 140733133085234 140733133090799 0
/proc/76754/statm: 5223 3078 960 108 0 2631 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 25084 KiB
Current children cumulated memory: 15384 KiB
[startup+0.313487 s]*
/proc/loadavg: 2.53 1.84 2.49 5/249 76754
/proc/meminfo: memFree=129261984/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76754] ppid=76752 vsize=22812 memory=15640 CPUtime=0.27 cores=4,6
/proc/76754/stat : 76754 (pbsuma) R 76752 76752 75963 0 -1 4194304 4064 0 0 0 26 1 0 0 20 0 1 0 62631887 23359488 3910 18446744073709551615 4210688 4653049 140733133079680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 21803008 140733133085027 140733133085234 140733133085234 140733133090799 0
/proc/76754/statm: 5703 3910 960 108 0 3111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 27004 KiB
Current children cumulated memory: 18712 KiB
[startup+0.70035 s]
/proc/loadavg: 2.53 1.84 2.49 4/249 76754
/proc/meminfo: memFree=129259464/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76754] ppid=76752 vsize=41644 memory=29372 CPUtime=0.64 cores=4,6
/proc/76754/stat : 76754 (pbsuma) R 76752 76752 75963 0 -1 4194304 7421 0 0 0 61 3 0 0 20 0 1 0 62631887 42643456 7343 18446744073709551615 4210688 4653049 140733133079680 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 21803008 140733133085027 140733133085234 140733133085234 140733133090799 0
/proc/76754/statm: 10411 7343 960 108 0 7819 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 45836 KiB
Current children cumulated memory: 32444 KiB
[startup+1.50028 s]
/proc/loadavg: 2.53 1.84 2.49 5/252 76760
/proc/meminfo: memFree=129237876/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.11321 s]
/proc/loadavg: 2.81 1.91 2.50 5/254 76794
/proc/meminfo: memFree=129187144/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=135136 memory=93848 CPUtime=1.82 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 21098 0 0 0 178 4 0 0 20 0 1 0 62632013 138379264 23462 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 33784 23462 2304 1147 0 21211 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 96920 KiB
[startup+6.30038 s]
/proc/loadavg: 2.81 1.91 2.50 5/254 76794
/proc/meminfo: memFree=129123568/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=135136 memory=93848 CPUtime=5 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 21098 0 0 0 496 4 0 0 20 0 1 0 62632013 138379264 23462 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 33784 23462 2304 1147 0 21211 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 139328 KiB
Current children cumulated memory: 96920 KiB
[startup+12.7004 s]
/proc/loadavg: 3.07 2.00 2.53 5/254 76794
/proc/meminfo: memFree=129091420/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=179492 memory=135860 CPUtime=11.39 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 28888 0 0 0 1130 9 0 0 20 0 1 0 62632013 183799808 33965 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 44873 33965 2368 1147 0 32300 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 183684 KiB
Current children cumulated memory: 138932 KiB
[startup+25.5004 s]
/proc/loadavg: 3.21 2.06 2.54 5/254 76794
/proc/meminfo: memFree=128769568/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=441864 memory=381832 CPUtime=24.15 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 79820 0 0 0 2381 34 0 0 20 0 1 0 62632013 452468736 95458 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 110466 95458 2432 1147 0 97893 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 446056 KiB
Current children cumulated memory: 384904 KiB
[startup+51.1131 s]
/proc/loadavg: 3.48 2.22 2.58 5/254 76795
/proc/meminfo: memFree=128511324/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=642272 memory=560988 CPUtime=49.7 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 114013 0 0 0 4896 74 0 0 20 0 1 0 62632013 657686528 140247 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 160568 140247 2432 1147 0 147995 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 646464 KiB
Current children cumulated memory: 564060 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 2.55 2.68 5/255 76798
/proc/meminfo: memFree=128254040/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=840072 memory=702696 CPUtime=100.76 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 141375 0 0 0 9938 138 0 0 20 0 1 0 62632013 860233728 175674 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 210018 175674 2432 1147 0 197445 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 844264 KiB
Current children cumulated memory: 705768 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.83 2.77 5/256 76805
/proc/meminfo: memFree=128016588/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=976668 memory=859012 CPUtime=160.6 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 172339 0 0 0 15852 208 0 0 20 0 1 0 62632013 1000108032 214753 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 244167 214753 2432 1147 0 231594 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 980860 KiB
Current children cumulated memory: 862084 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 3.08 2.86 5/256 76807
/proc/meminfo: memFree=127917820/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=1061244 memory=949824 CPUtime=220.45 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 194132 0 0 0 21775 270 0 0 20 0 1 0 62632013 1086713856 237456 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 265311 237456 2432 1147 0 252738 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 1065436 KiB
Current children cumulated memory: 952896 KiB
################
# More data... #
################
/proc/76761/statm: 780870 735420 2528 1147 0 768297 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 3127672 KiB
Current children cumulated memory: 2944752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.18 4.14 5/254 76948
/proc/meminfo: memFree=124316740/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3123480 memory=2941936 CPUtime=3093.15 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 403953 0 0 0 307448 1867 0 0 20 0 1 0 62632013 3198443520 735484 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 780870 735484 2528 1147 0 768297 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 3127672 KiB
Current children cumulated memory: 2945008 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/254 76954
/proc/meminfo: memFree=124304756/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3123480 memory=2942448 CPUtime=3153.01 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 404144 0 0 0 313409 1892 0 0 20 0 1 0 62632013 3198443520 735612 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 780870 735612 2528 1147 0 768297 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 3127672 KiB
Current children cumulated memory: 2945520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/254 76956
/proc/meminfo: memFree=124288244/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3134696 memory=2953820 CPUtime=3212.85 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 404457 0 0 0 319366 1919 0 0 20 0 1 0 62632013 3209928704 738455 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 783674 738455 2528 1147 0 771101 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 3138888 KiB
Current children cumulated memory: 2956892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.13 5/254 76957
/proc/meminfo: memFree=124276236/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3149848 memory=2971536 CPUtime=3272.7 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 406785 0 0 0 325320 1950 0 0 20 0 1 0 62632013 3225444352 742884 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 787462 742884 2528 1147 0 774889 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 3154040 KiB
Current children cumulated memory: 2974608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/254 76959
/proc/meminfo: memFree=124267820/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3149848 memory=2978712 CPUtime=3332.56 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 407137 0 0 0 331277 1979 0 0 20 0 1 0 62632013 3225444352 744678 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 787462 744678 2528 1147 0 774889 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 3154040 KiB
Current children cumulated memory: 2981784 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/254 76961
/proc/meminfo: memFree=124189652/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3499096 memory=2997952 CPUtime=3392.4 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 408260 0 0 0 337226 2014 0 0 20 0 1 0 62632013 3583074304 749488 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 874774 749488 2528 1147 0 862201 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 3503288 KiB
Current children cumulated memory: 3001024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/254 76965
/proc/meminfo: memFree=124189724/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3499096 memory=2997952 CPUtime=3452.25 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 408831 0 0 0 343175 2050 0 0 20 0 1 0 62632013 3583074304 749488 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 874774 749488 2528 1147 0 862201 0
Current children cumulated CPU time: 3453.45 s
Current children cumulated vsize: 3503288 KiB
Current children cumulated memory: 3001024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/254 76967
/proc/meminfo: memFree=124190644/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3499096 memory=2997952 CPUtime=3512.11 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 408881 0 0 0 349134 2077 0 0 20 0 1 0 62632013 3583074304 749488 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 874774 749488 2528 1147 0 862201 0
Current children cumulated CPU time: 3513.31 s
Current children cumulated vsize: 3503288 KiB
Current children cumulated memory: 3001024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/254 77063
/proc/meminfo: memFree=122709388/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3526684 memory=3025524 CPUtime=3571.96 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 410298 0 0 0 355086 2110 0 0 20 0 1 0 62632013 3611324416 756381 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 881671 756381 2528 1147 0 869098 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 3530876 KiB
Current children cumulated memory: 3028596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.10 4.12 4.11 5/254 77064
/proc/meminfo: memFree=122090632/131382112 swapFree=33005784/33010684
[pid=76752] ppid=76749 vsize=4192 memory=3072 CPUtime=1.2 cores=4,6
/proc/76752/stat : 76752 (run-opt-ls.sh) S 76749 76752 75963 0 -1 4194304 239 12769 0 0 0 0 114 6 20 0 1 0 62631886 4292608 768 18446744073709551615 94879511035904 94879511930437 140734644211328 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94879512169488 94879512217232 94879518146560 140734644218215 140734644218341 140734644218341 140734644223943 0
/proc/76752/statm: 1048 768 704 219 0 110 0
[pid=76761] ppid=76752 vsize=3526684 memory=3025652 CPUtime=3598.8 cores=4,6
/proc/76761/stat : 76761 (roundingsat) R 76752 76752 75963 0 -1 4194304 410666 0 0 0 357756 2124 0 0 20 0 1 0 62632013 3611324416 756413 18446744073709551615 4227072 8923433 140722084167232 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37060608 140722084174150 140722084174376 140722084174376 140722084179946 0
/proc/76761/statm: 881671 756413 2528 1147 0 869098 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3530876 KiB
Current children cumulated memory: 3028724 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.21 s]
# the end of solver process 76752 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.1513 s, system=0.069592 s
Sleeping 2 seconds
[startup+3609.25 s]
# the end of solver process 76761 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.72 s, system=21.3468 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.25
CPU time (s): 3600.07
CPU user time (s): 3578.72
CPU system time (s): 21.3468
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (KiB): 3530876
Max. memory (cumulated for all children) (KiB): 3028724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.72
system time used= 21.3468
maximum resident set size= 3025780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398
involuntary context switches= 3398
# summary of solver processes directly reported to runsolver:
# pid: 76752,76761
# total CPU time (s): 3600.07
# total CPU user time (s): 3578.72
# total CPU system time (s): 21.3468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.208 second user time and 36.5938 second system time
The end
Begin job on nodeC007 at 2025-07-02 17:18:47
IDJOB=4502326
IDBENCH=155319
IDSOLVER=3355
FILE ID=nodeC007/4502326-1751469527
RUNJOBID= nodeC007-1751469475-75974
SLURM_JOB_ID= 9598491
Free space on /tmp= 430980 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502326-1751469527/watcher-4502326-1751469527 -o /tmp/evaluation-result-4502326-1751469527/solver-4502326-1751469527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751469475-75974 --watchdog 3760 run-opt-ls.sh HOME/instance-4502326-1751469527.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=799306453
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.315
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2694.240
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3609.282
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.394
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129271760 kB
MemAvailable: 129138820 kB
Buffers: 16 kB
Cached: 537060 kB
SwapCached: 252 kB
Active: 890904 kB
Inactive: 317032 kB
Active(anon): 636456 kB
Inactive(anon): 47912 kB
Active(file): 254448 kB
Inactive(file): 269120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32260 kB
Writeback: 0 kB
AnonPages: 674032 kB
Mapped: 108064 kB
Shmem: 13504 kB
KReclaimable: 366240 kB
Slab: 455932 kB
SReclaimable: 366240 kB
SUnreclaim: 89692 kB
KernelStack: 4080 kB
PageTables: 4544 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1049656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 290816 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430888 MiB
End job on nodeC007 at 2025-07-02 18:18:57