0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4502329-1751415917.opb'
0.18/0.25 c read 15.73MB (236.42ms)
0.18/0.25 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.18/0.25 c output proof to 'PROOFDIR/proof-4502329-1751415917'
0.18/0.25 c
0.18/0.25 c make graph and approximate orbits
0.18/0.30 c [group: #orbits ~= 672] (48.64ms)
0.18/0.30 c
0.18/0.30 c detect special group actions
0.18/0.30 c probe for Johnson action (limit=64)
0.27/0.31 c probe for row-column symmetry (limit=64, splits=16.78M)
0.27/0.31 c probe for row symmetry (limit=64, splits=16.78M)
0.27/0.32 c (24.42ms)
0.27/0.32 c
0.27/0.32 c detect symmetries on remainder
0.27/0.32 c [graph: #vertices 40773 #edges 2139200]
0.27/0.32 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.27/0.35 c [group: #symmetries 4.16*10^1066 #generators 3417] (30.17ms)
0.27/0.35 c
0.27/0.35 c optimize generators (opt_passes=64, conjugate_limit=256)
0.27/0.35 c ran it=0, +gens=3
0.37/0.47 c con best_support=4, best_gens=3360, +gens=71
0.37/0.47 c (120.20ms)
0.37/0.47 c
0.37/0.47 c finalize break order and special generators
0.37/0.47 c
0.37/0.47 c add generic predicates (break_depth=20)
0.37/0.47 c added predicates for 3491 generators (0.59ms)
0.55/0.67 c
0.55/0.67 c generation finished
0.55/0.67 c [sbp: #constraints 224 #add_vars 0]
0.55/0.67 c
0.55/0.67 c write result to 'HOME/instance-4502329-1751415917.opb.pre'
0.55/0.69 c wrote 9.26MB (19.24ms)
0.55/0.69 c ------------------------------------------------------------------
0.55/0.69 c 236.41ms 34.84% parse
0.55/0.69 c 198.16ms 29.21% other
0.55/0.69 c 120.20ms 17.72% optimize_gens
0.55/0.69 c 48.64ms 7.17% approx_orbits
0.55/0.69 c 30.17ms 4.45% detect_generic
0.55/0.69 c 24.42ms 3.60% detect_special
0.55/0.69 c 19.24ms 2.84% output
0.55/0.69 c 0.66ms 0.10% finalize_order
0.55/0.69 c 0.59ms 0.09% break_generic
0.55/0.69 c ───────────────────────────────────────────────
0.55/0.69 c 678.51ms 100% total
0.55/0.69 c ------------------------------------------------------------------
0.65/0.72 c RoundingSat 2
0.65/0.72 c branch pb25
0.65/0.72 c commit 63f22ad
1.02/1.15 c #variables 10080 #constraints 676
1.02/1.15 c objective is ce32
1.02/1.15 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.02/1.15 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.02/1.15 c bounds - >= 0 @ 0.401508
6.47/6.69 c #Conflicts: 1000 | #Constraints: 1675
6.47/6.69 c bounds 17 >= 0 @ 5.64732
6.56/6.72 c bounds 17 >= 1 @ 5.67927
6.56/6.76 c bounds 17 >= 2 @ 5.71258
6.66/6.85 c bounds 17 >= 3 @ 5.79709
6.96/7.11 c bounds 17 >= 4 @ 6.04353
7.36/7.50 c bounds 17 >= 5 @ 6.41317
9.93/10.16 c #Conflicts: 2000 | #Constraints: 2722
9.93/10.16 c INPROCESSING
9.93/10.16 c GARBAGE COLLECT
9.93/10.16 c rational objective 13.8628
18.17/18.47 c bounds 17 >= 6 @ 17.1528
20.34/20.67 c bounds 17 >= 7 @ 19.2608
35.01/35.65 c #Conflicts: 3000 | #Constraints: 2758
35.01/35.65 c #Conflicts: 4000 | #Constraints: 3768
35.01/35.65 c INPROCESSING
35.01/35.65 c GARBAGE COLLECT
35.01/35.65 c bounds 17 >= 8 @ 33.5529
50.31/51.09 c #Conflicts: 5000 | #Constraints: 3177
50.31/51.09 c #Conflicts: 6000 | #Constraints: 4178
50.31/51.09 c INPROCESSING
50.31/51.09 c GARBAGE COLLECT
50.31/51.09 c #Conflicts: 7000 | #Constraints: 3165
50.31/51.09 c bounds 16 >= 8 @ 48.61
63.87/64.61 c #Conflicts: 8000 | #Constraints: 4169
63.87/64.61 c #Conflicts: 9000 | #Constraints: 5171
63.87/64.61 c INPROCESSING
63.87/64.61 c GARBAGE COLLECT
63.87/64.61 c rational objective 13.8705
88.17/89.30 c #Conflicts: 10000 | #Constraints: 3863
88.17/89.30 c #Conflicts: 11000 | #Constraints: 4895
88.17/89.30 c #Conflicts: 12000 | #Constraints: 5898
88.17/89.30 c INPROCESSING
88.17/89.30 c GARBAGE COLLECT
88.17/89.30 c rational objective 13.8705
115.87/117.17 c #Conflicts: 13000 | #Constraints: 4345
115.87/117.17 c #Conflicts: 14000 | #Constraints: 5345
115.87/117.17 c #Conflicts: 15000 | #Constraints: 6345
115.87/117.17 c INPROCESSING
115.87/117.17 c GARBAGE COLLECT
115.87/117.17 c rational objective 13.8705
142.67/144.35 c #Conflicts: 16000 | #Constraints: 4548
142.67/144.35 c #Conflicts: 17000 | #Constraints: 5560
142.67/144.35 c #Conflicts: 18000 | #Constraints: 6563
142.67/144.35 c INPROCESSING
142.67/144.35 c GARBAGE COLLECT
142.67/144.35 c rational objective 13.8705
170.89/172.65 c #Conflicts: 19000 | #Constraints: 4584
170.89/172.65 c #Conflicts: 20000 | #Constraints: 5601
170.89/172.65 c #Conflicts: 21000 | #Constraints: 6606
170.89/172.65 c INPROCESSING
170.89/172.65 c GARBAGE COLLECT
170.89/172.65 c rational objective 13.8705
193.39/195.34 c #Conflicts: 22000 | #Constraints: 4385
193.39/195.34 c #Conflicts: 23000 | #Constraints: 5386
193.39/195.34 c bounds 16 >= 9 @ 189.654
263.12/265.84 c #Conflicts: 24000 | #Constraints: 6413
263.12/265.84 c #Conflicts: 25000 | #Constraints: 7413
263.12/265.84 c INPROCESSING
263.12/265.84 c GARBAGE COLLECT
263.12/265.84 c #Conflicts: 26000 | #Constraints: 4982
263.12/265.84 c #Conflicts: 27000 | #Constraints: 5992
263.12/265.84 c #Conflicts: 28000 | #Constraints: 6997
263.12/265.84 c #Conflicts: 29000 | #Constraints: 8005
263.12/265.84 c INPROCESSING
263.12/265.84 c GARBAGE COLLECT
263.12/265.84 c #Conflicts: 30000 | #Constraints: 5400
263.12/265.84 c #Conflicts: 31000 | #Constraints: 6401
263.12/265.84 c #Conflicts: 32000 | #Constraints: 7401
263.12/265.84 c #Conflicts: 33000 | #Constraints: 8401
263.12/265.84 c INPROCESSING
263.12/265.84 c GARBAGE COLLECT
263.12/265.84 c rational objective 13.8705
297.04/300.01 c #Conflicts: 34000 | #Constraints: 5587
297.04/300.01 c #Conflicts: 35000 | #Constraints: 6605
297.04/300.01 c #Conflicts: 36000 | #Constraints: 7607
297.04/300.01 c #Conflicts: 37000 | #Constraints: 8617
297.04/300.01 c INPROCESSING
297.04/300.01 c GARBAGE COLLECT
297.04/300.01 c rational objective 13.8713
334.11/337.45 c #Conflicts: 38000 | #Constraints: 5612
334.11/337.45 c #Conflicts: 39000 | #Constraints: 6612
334.11/337.45 c #Conflicts: 40000 | #Constraints: 7612
334.11/337.45 c #Conflicts: 41000 | #Constraints: 8612
334.11/337.45 c INPROCESSING
334.11/337.45 c GARBAGE COLLECT
334.11/337.45 c rational objective 13.8713
377.23/380.79 c #Conflicts: 42000 | #Constraints: 5393
377.23/380.79 c #Conflicts: 43000 | #Constraints: 6417
377.23/380.79 c #Conflicts: 44000 | #Constraints: 7508
377.23/380.79 c #Conflicts: 45000 | #Constraints: 8518
377.23/380.79 c #Conflicts: 46000 | #Constraints: 9525
377.23/380.79 c INPROCESSING
377.23/380.79 c GARBAGE COLLECT
377.23/380.79 c rational objective 13.8713
423.21/427.08 c #Conflicts: 47000 | #Constraints: 6057
423.21/427.08 c #Conflicts: 48000 | #Constraints: 7061
423.21/427.08 c #Conflicts: 49000 | #Constraints: 8061
423.21/427.08 c #Conflicts: 50000 | #Constraints: 9061
423.21/427.08 c #Conflicts: 51000 | #Constraints: 10061
423.21/427.08 c INPROCESSING
423.21/427.08 c GARBAGE COLLECT
423.21/427.08 c rational objective 13.8724
462.55/466.89 c #Conflicts: 52000 | #Constraints: 6432
462.55/466.89 c #Conflicts: 53000 | #Constraints: 7432
462.55/466.89 c #Conflicts: 54000 | #Constraints: 8432
462.55/466.89 c #Conflicts: 55000 | #Constraints: 9432
462.55/466.89 c #Conflicts: 56000 | #Constraints: 10432
462.55/466.89 c INPROCESSING
462.55/466.89 c GARBAGE COLLECT
462.55/466.89 c rational objective 13.8729
512.35/517.08 c #Conflicts: 57000 | #Constraints: 6617
512.35/517.08 c #Conflicts: 58000 | #Constraints: 7617
512.35/517.08 c #Conflicts: 59000 | #Constraints: 8617
512.35/517.08 c #Conflicts: 60000 | #Constraints: 9620
512.35/517.08 c #Conflicts: 61000 | #Constraints: 10621
512.35/517.08 c INPROCESSING
512.35/517.08 c GARBAGE COLLECT
512.35/517.08 c rational objective 13.8729
555.14/560.34 c #Conflicts: 62000 | #Constraints: 6620
555.14/560.34 c #Conflicts: 63000 | #Constraints: 7633
555.14/560.34 c #Conflicts: 64000 | #Constraints: 8643
555.14/560.34 c #Conflicts: 65000 | #Constraints: 9651
555.14/560.34 c #Conflicts: 66000 | #Constraints: 10653
555.14/560.34 c INPROCESSING
555.14/560.34 c GARBAGE COLLECT
555.14/560.34 c rational objective 13.8734
646.83/652.98 c #Conflicts: 67000 | #Constraints: 6433
646.83/652.98 c #Conflicts: 68000 | #Constraints: 7437
646.83/652.98 c #Conflicts: 69000 | #Constraints: 8438
646.83/652.98 c #Conflicts: 70000 | #Constraints: 9438
646.83/652.98 c #Conflicts: 71000 | #Constraints: 10439
646.83/652.98 c #Conflicts: 72000 | #Constraints: 11439
646.83/652.98 c INPROCESSING
646.83/652.98 c GARBAGE COLLECT
646.83/652.98 c #Conflicts: 73000 | #Constraints: 7005
646.83/652.98 c #Conflicts: 74000 | #Constraints: 8013
646.83/652.98 c #Conflicts: 75000 | #Constraints: 9022
646.83/652.98 c #Conflicts: 76000 | #Constraints: 10026
646.83/652.98 c #Conflicts: 77000 | #Constraints: 11031
646.83/652.98 c #Conflicts: 78000 | #Constraints: 12038
646.83/652.98 c INPROCESSING
646.83/652.98 c GARBAGE COLLECT
646.83/652.98 c rational objective 13.8734
683.98/690.51 c #Conflicts: 79000 | #Constraints: 7423
683.98/690.51 c #Conflicts: 80000 | #Constraints: 8424
683.98/690.51 c #Conflicts: 81000 | #Constraints: 9427
683.98/690.51 c bounds 16 >= 10 @ 673.478
705.94/712.56 c #Conflicts: 82000 | #Constraints: 10540
705.94/712.56 c #Conflicts: 83000 | #Constraints: 11540
705.94/712.56 c #Conflicts: 84000 | #Constraints: 12540
705.94/712.56 c INPROCESSING
705.94/712.56 c GARBAGE COLLECT
705.94/712.56 c rational objective 13.8734
845.86/853.28 c #Conflicts: 85000 | #Constraints: 7692
845.86/853.28 c #Conflicts: 86000 | #Constraints: 8735
845.86/853.28 c #Conflicts: 87000 | #Constraints: 10589
845.86/853.28 c #Conflicts: 88000 | #Constraints: 11700
845.86/853.28 c #Conflicts: 89000 | #Constraints: 12711
845.86/853.28 c #Conflicts: 90000 | #Constraints: 13717
845.86/853.28 c INPROCESSING
845.86/853.28 c GARBAGE COLLECT
845.86/853.28 c rational objective 13.8734
900.66/908.54 c #Conflicts: 91000 | #Constraints: 8173
900.66/908.54 c #Conflicts: 92000 | #Constraints: 9312
900.66/908.54 c #Conflicts: 93000 | #Constraints: 10315
900.66/908.54 c #Conflicts: 94000 | #Constraints: 11318
900.66/908.54 c #Conflicts: 95000 | #Constraints: 12319
900.66/908.54 c #Conflicts: 96000 | #Constraints: 13321
900.66/908.54 c INPROCESSING
900.66/908.54 c GARBAGE COLLECT
900.66/908.54 c rational objective 13.8734
974.62/982.94 c #Conflicts: 97000 | #Constraints: 7764
974.62/982.94 c #Conflicts: 98000 | #Constraints: 8765
974.62/982.94 c #Conflicts: 99000 | #Constraints: 9766
974.62/982.94 c #Conflicts: 100000 | #Constraints: 10768
974.62/982.94 c #Conflicts: 101000 | #Constraints: 11783
974.62/982.94 c #Conflicts: 102000 | #Constraints: 12784
974.62/982.94 c #Conflicts: 103000 | #Constraints: 13784
974.62/982.94 c INPROCESSING
974.62/982.94 c GARBAGE COLLECT
974.62/982.94 c rational objective 13.8734
1028.20/1037.92 c #Conflicts: 104000 | #Constraints: 8175
1028.20/1037.92 c #Conflicts: 105000 | #Constraints: 9175
1028.20/1037.92 c #Conflicts: 106000 | #Constraints: 10186
1028.20/1037.92 c #Conflicts: 107000 | #Constraints: 11190
1028.20/1037.92 c #Conflicts: 108000 | #Constraints: 12199
1028.20/1037.92 c #Conflicts: 109000 | #Constraints: 13207
1028.20/1037.92 c #Conflicts: 110000 | #Constraints: 14218
1028.20/1037.92 c INPROCESSING
1028.20/1037.92 c GARBAGE COLLECT
1028.20/1037.92 c rational objective 13.8734
1087.96/1098.04 c #Conflicts: 111000 | #Constraints: 8506
1087.96/1098.04 c #Conflicts: 112000 | #Constraints: 9513
1087.96/1098.04 c #Conflicts: 113000 | #Constraints: 10514
1087.96/1098.04 c #Conflicts: 114000 | #Constraints: 11515
1087.96/1098.04 c #Conflicts: 115000 | #Constraints: 12522
1087.96/1098.04 c #Conflicts: 116000 | #Constraints: 13524
1087.96/1098.04 c #Conflicts: 117000 | #Constraints: 14525
1087.96/1098.04 c INPROCESSING
1087.96/1098.04 c GARBAGE COLLECT
1087.96/1098.04 c rational objective 13.8734
1176.01/1186.75 c #Conflicts: 118000 | #Constraints: 8669
1176.01/1186.75 c #Conflicts: 119000 | #Constraints: 9671
1176.01/1186.75 c #Conflicts: 120000 | #Constraints: 10672
1176.01/1186.75 c #Conflicts: 121000 | #Constraints: 11673
1176.01/1186.75 c #Conflicts: 122000 | #Constraints: 12674
1176.01/1186.75 c #Conflicts: 123000 | #Constraints: 13676
1176.01/1186.75 c #Conflicts: 124000 | #Constraints: 14677
1176.01/1186.75 c INPROCESSING
1176.01/1186.75 c GARBAGE COLLECT
1176.01/1186.75 c rational objective 13.8734
1236.05/1247.23 c #Conflicts: 125000 | #Constraints: 8644
1236.05/1247.23 c #Conflicts: 126000 | #Constraints: 9653
1236.05/1247.23 c #Conflicts: 127000 | #Constraints: 10659
1236.05/1247.23 c #Conflicts: 128000 | #Constraints: 11671
1236.05/1247.23 c #Conflicts: 129000 | #Constraints: 12680
1236.05/1247.23 c #Conflicts: 130000 | #Constraints: 13693
1236.05/1247.23 c #Conflicts: 131000 | #Constraints: 14702
1236.05/1247.23 c INPROCESSING
1236.05/1247.23 c GARBAGE COLLECT
1236.05/1247.23 c rational objective 13.8734
1299.21/1312.26 c #Conflicts: 132000 | #Constraints: 8457
1299.21/1312.26 c #Conflicts: 133000 | #Constraints: 9474
1299.21/1312.26 c #Conflicts: 134000 | #Constraints: 10474
1299.21/1312.26 c #Conflicts: 135000 | #Constraints: 11480
1299.21/1312.26 c #Conflicts: 136000 | #Constraints: 12483
1299.21/1312.26 c #Conflicts: 137000 | #Constraints: 13489
1299.21/1312.26 c #Conflicts: 138000 | #Constraints: 14497
1299.21/1312.26 c #Conflicts: 139000 | #Constraints: 15502
1299.21/1312.26 c INPROCESSING
1299.21/1312.26 c GARBAGE COLLECT
1299.21/1312.26 c rational objective 13.8734
1378.92/1393.01 c #Conflicts: 140000 | #Constraints: 9079
1378.92/1393.01 c #Conflicts: 141000 | #Constraints: 10081
1378.92/1393.01 c #Conflicts: 142000 | #Constraints: 11084
1378.92/1393.01 c #Conflicts: 143000 | #Constraints: 12085
1378.92/1393.01 c #Conflicts: 144000 | #Constraints: 13085
1378.92/1393.01 c #Conflicts: 145000 | #Constraints: 14086
1378.92/1393.01 c #Conflicts: 146000 | #Constraints: 15086
1378.92/1393.01 c #Conflicts: 147000 | #Constraints: 16087
1378.92/1393.01 c INPROCESSING
1378.92/1393.01 c GARBAGE COLLECT
1378.92/1393.01 c rational objective 13.8734
1448.15/1462.88 c #Conflicts: 148000 | #Constraints: 9430
1448.15/1462.88 c #Conflicts: 149000 | #Constraints: 10434
1448.15/1462.88 c #Conflicts: 150000 | #Constraints: 11435
1448.15/1462.88 c #Conflicts: 151000 | #Constraints: 12439
1448.15/1462.88 c #Conflicts: 152000 | #Constraints: 13440
1448.15/1462.88 c #Conflicts: 153000 | #Constraints: 14446
1448.15/1462.88 c #Conflicts: 154000 | #Constraints: 15451
1448.15/1462.88 c #Conflicts: 155000 | #Constraints: 16455
1448.15/1462.88 c INPROCESSING
1448.15/1462.88 c GARBAGE COLLECT
1448.15/1462.88 c rational objective 13.8734
1545.70/1561.00 c #Conflicts: 156000 | #Constraints: 9636
1545.70/1561.00 c #Conflicts: 157000 | #Constraints: 10636
1545.70/1561.00 c #Conflicts: 158000 | #Constraints: 11636
1545.70/1561.00 c #Conflicts: 159000 | #Constraints: 12636
1545.70/1561.00 c #Conflicts: 160000 | #Constraints: 13637
1545.70/1561.00 c #Conflicts: 161000 | #Constraints: 14638
1545.70/1561.00 c #Conflicts: 162000 | #Constraints: 15638
1545.70/1561.00 c #Conflicts: 163000 | #Constraints: 16638
1545.70/1561.00 c INPROCESSING
1545.70/1561.00 c GARBAGE COLLECT
1545.70/1561.00 c rational objective 13.8734
1620.03/1636.14 c #Conflicts: 164000 | #Constraints: 9652
1620.03/1636.14 c #Conflicts: 165000 | #Constraints: 10710
1620.03/1636.14 c #Conflicts: 166000 | #Constraints: 11715
1620.03/1636.14 c #Conflicts: 167000 | #Constraints: 12722
1620.03/1636.14 c #Conflicts: 168000 | #Constraints: 13725
1620.03/1636.14 c #Conflicts: 169000 | #Constraints: 14728
1620.03/1636.14 c #Conflicts: 170000 | #Constraints: 15731
1620.03/1636.14 c #Conflicts: 171000 | #Constraints: 16734
1620.03/1636.14 c INPROCESSING
1620.03/1636.14 c GARBAGE COLLECT
1620.03/1636.14 c rational objective 13.8734
1699.98/1716.56 c #Conflicts: 172000 | #Constraints: 9496
1699.98/1716.56 c #Conflicts: 173000 | #Constraints: 10528
1699.98/1716.56 c #Conflicts: 174000 | #Constraints: 11529
1699.98/1716.56 c #Conflicts: 175000 | #Constraints: 12875
1699.98/1716.56 c #Conflicts: 176000 | #Constraints: 13879
1699.98/1716.56 c #Conflicts: 177000 | #Constraints: 14892
1699.98/1716.56 c #Conflicts: 178000 | #Constraints: 15898
1699.98/1716.56 c #Conflicts: 179000 | #Constraints: 16903
1699.98/1716.56 c #Conflicts: 180000 | #Constraints: 17907
1699.98/1716.56 c INPROCESSING
1699.98/1716.56 c GARBAGE COLLECT
1699.98/1716.56 c rational objective 13.8734
1800.15/1817.33 c #Conflicts: 181000 | #Constraints: 10264
1800.15/1817.33 c #Conflicts: 182000 | #Constraints: 11264
1800.15/1817.33 c #Conflicts: 183000 | #Constraints: 12265
1800.15/1817.33 c #Conflicts: 184000 | #Constraints: 13265
1800.15/1817.33 c #Conflicts: 185000 | #Constraints: 14265
1800.15/1817.33 c #Conflicts: 186000 | #Constraints: 15266
1800.15/1817.33 c #Conflicts: 187000 | #Constraints: 16267
1800.15/1817.33 c #Conflicts: 188000 | #Constraints: 17269
1800.15/1817.33 c #Conflicts: 189000 | #Constraints: 18269
1800.15/1817.33 c INPROCESSING
1800.15/1817.33 c GARBAGE COLLECT
1800.15/1817.33 c rational objective 13.8734
1889.96/1907.99 c #Conflicts: 190000 | #Constraints: 10557
1889.96/1907.99 c #Conflicts: 191000 | #Constraints: 11571
1889.96/1907.99 c #Conflicts: 192000 | #Constraints: 12577
1889.96/1907.99 c #Conflicts: 193000 | #Constraints: 13637
1889.96/1907.99 c #Conflicts: 194000 | #Constraints: 14840
1889.96/1907.99 c #Conflicts: 195000 | #Constraints: 15853
1889.96/1907.99 c #Conflicts: 196000 | #Constraints: 16864
1889.96/1907.99 c #Conflicts: 197000 | #Constraints: 17878
1889.96/1907.99 c #Conflicts: 198000 | #Constraints: 18888
1889.96/1907.99 c INPROCESSING
1889.96/1907.99 c GARBAGE COLLECT
1889.96/1907.99 c rational objective 13.8734
1983.74/2002.96 c #Conflicts: 199000 | #Constraints: 10850
1983.74/2002.96 c #Conflicts: 200000 | #Constraints: 11851
1983.74/2002.96 c #Conflicts: 201000 | #Constraints: 12853
1983.74/2002.96 c #Conflicts: 202000 | #Constraints: 13855
1983.74/2002.96 c #Conflicts: 203000 | #Constraints: 14856
1983.74/2002.96 c #Conflicts: 204000 | #Constraints: 15891
1983.74/2002.96 c #Conflicts: 205000 | #Constraints: 16915
1983.74/2002.96 c #Conflicts: 206000 | #Constraints: 17915
1983.74/2002.96 c #Conflicts: 207000 | #Constraints: 18915
1983.74/2002.96 c INPROCESSING
1983.74/2002.96 c GARBAGE COLLECT
1983.74/2002.96 c rational objective 13.8734
2083.43/2108.33 c #Conflicts: 208000 | #Constraints: 10749
2083.43/2108.33 c #Conflicts: 209000 | #Constraints: 11749
2083.43/2108.33 c #Conflicts: 210000 | #Constraints: 12750
2083.43/2108.33 c #Conflicts: 211000 | #Constraints: 13757
2083.43/2108.33 c #Conflicts: 212000 | #Constraints: 14758
2083.43/2108.33 c #Conflicts: 213000 | #Constraints: 15764
2083.43/2108.33 c #Conflicts: 214000 | #Constraints: 16767
2083.43/2108.33 c #Conflicts: 215000 | #Constraints: 17775
2083.43/2108.33 c #Conflicts: 216000 | #Constraints: 18784
2083.43/2108.33 c INPROCESSING
2083.43/2108.33 c GARBAGE COLLECT
2083.43/2108.33 c rational objective 13.8734
2171.39/2196.90 c #Conflicts: 217000 | #Constraints: 10491
2171.39/2196.90 c #Conflicts: 218000 | #Constraints: 11498
2171.39/2196.90 c #Conflicts: 219000 | #Constraints: 12499
2171.39/2196.90 c #Conflicts: 220000 | #Constraints: 13500
2171.39/2196.90 c #Conflicts: 221000 | #Constraints: 14504
2171.39/2196.90 c #Conflicts: 222000 | #Constraints: 15504
2171.39/2196.90 c #Conflicts: 223000 | #Constraints: 16504
2171.39/2196.90 c #Conflicts: 224000 | #Constraints: 17504
2171.39/2196.90 c #Conflicts: 225000 | #Constraints: 18504
2171.39/2196.90 c #Conflicts: 226000 | #Constraints: 19520
2171.39/2196.90 c INPROCESSING
2171.39/2196.90 c GARBAGE COLLECT
2171.39/2196.90 c rational objective 13.8734
2317.09/2343.49 c #Conflicts: 227000 | #Constraints: 11048
2317.09/2343.49 c #Conflicts: 228000 | #Constraints: 12049
2317.09/2343.49 c #Conflicts: 229000 | #Constraints: 13073
2317.09/2343.49 c #Conflicts: 230000 | #Constraints: 14078
2317.09/2343.49 c #Conflicts: 231000 | #Constraints: 15079
2317.09/2343.49 c #Conflicts: 232000 | #Constraints: 16081
2317.09/2343.49 c #Conflicts: 233000 | #Constraints: 17081
2317.09/2343.49 c #Conflicts: 234000 | #Constraints: 18081
2317.09/2343.49 c #Conflicts: 235000 | #Constraints: 19081
2317.09/2343.49 c #Conflicts: 236000 | #Constraints: 20090
2317.09/2343.49 c INPROCESSING
2317.09/2343.49 c GARBAGE COLLECT
2317.09/2343.49 c rational objective 13.8734
2405.05/2431.97 c #Conflicts: 237000 | #Constraints: 11435
2405.05/2431.97 c #Conflicts: 238000 | #Constraints: 12435
2405.05/2431.97 c #Conflicts: 239000 | #Constraints: 13435
2405.05/2431.97 c #Conflicts: 240000 | #Constraints: 14435
2405.05/2431.97 c #Conflicts: 241000 | #Constraints: 15435
2405.05/2431.97 c #Conflicts: 242000 | #Constraints: 16435
2405.05/2431.97 c #Conflicts: 243000 | #Constraints: 17435
2405.05/2431.97 c #Conflicts: 244000 | #Constraints: 18436
2405.05/2431.97 c #Conflicts: 245000 | #Constraints: 19448
2405.05/2431.97 c #Conflicts: 246000 | #Constraints: 20459
2405.05/2431.97 c INPROCESSING
2405.05/2431.97 c GARBAGE COLLECT
2405.05/2431.97 c rational objective 13.8734
2495.50/2523.07 c #Conflicts: 247000 | #Constraints: 11690
2495.50/2523.07 c #Conflicts: 248000 | #Constraints: 12701
2495.50/2523.07 c #Conflicts: 249000 | #Constraints: 13706
2495.50/2523.07 c #Conflicts: 250000 | #Constraints: 14709
2495.50/2523.07 c #Conflicts: 251000 | #Constraints: 15709
2495.50/2523.07 c #Conflicts: 252000 | #Constraints: 16710
2495.50/2523.07 c #Conflicts: 253000 | #Constraints: 17713
2495.50/2523.07 c #Conflicts: 254000 | #Constraints: 18716
2495.50/2523.07 c #Conflicts: 255000 | #Constraints: 19722
2495.50/2523.07 c #Conflicts: 256000 | #Constraints: 20732
2495.50/2523.07 c INPROCESSING
2495.50/2523.07 c GARBAGE COLLECT
2495.50/2523.07 c rational objective 13.8737
2631.96/2662.66 c #Conflicts: 257000 | #Constraints: 11668
2631.96/2662.66 c #Conflicts: 258000 | #Constraints: 12668
2631.96/2662.66 c #Conflicts: 259000 | #Constraints: 13669
2631.96/2662.66 c #Conflicts: 260000 | #Constraints: 14670
2631.96/2662.66 c #Conflicts: 261000 | #Constraints: 15670
2631.96/2662.66 c #Conflicts: 262000 | #Constraints: 16670
2631.96/2662.66 c #Conflicts: 263000 | #Constraints: 17671
2631.96/2662.66 c #Conflicts: 264000 | #Constraints: 18671
2631.96/2662.66 c #Conflicts: 265000 | #Constraints: 19672
2631.96/2662.66 c #Conflicts: 266000 | #Constraints: 20672
2631.96/2662.66 c INPROCESSING
2631.96/2662.66 c GARBAGE COLLECT
2631.96/2662.66 c rational objective 13.8737
2750.51/2782.26 c #Conflicts: 267000 | #Constraints: 11443
2750.51/2782.26 c #Conflicts: 268000 | #Constraints: 12971
2750.51/2782.26 c #Conflicts: 269000 | #Constraints: 13976
2750.51/2782.26 c #Conflicts: 270000 | #Constraints: 14981
2750.51/2782.26 c #Conflicts: 271000 | #Constraints: 15988
2750.51/2782.26 c #Conflicts: 272000 | #Constraints: 16990
2750.51/2782.26 c #Conflicts: 273000 | #Constraints: 17995
2750.51/2782.26 c #Conflicts: 274000 | #Constraints: 19000
2750.51/2782.26 c #Conflicts: 275000 | #Constraints: 20004
2750.51/2782.26 c #Conflicts: 276000 | #Constraints: 21005
2750.51/2782.26 c #Conflicts: 277000 | #Constraints: 22006
2750.51/2782.26 c INPROCESSING
2750.51/2782.26 c GARBAGE COLLECT
2750.51/2782.26 c rational objective 13.8737
2900.69/2933.65 c #Conflicts: 278000 | #Constraints: 12302
2900.69/2933.65 c #Conflicts: 279000 | #Constraints: 13302
2900.69/2933.65 c #Conflicts: 280000 | #Constraints: 14302
2900.69/2933.65 c #Conflicts: 281000 | #Constraints: 15302
2900.69/2933.65 c #Conflicts: 282000 | #Constraints: 16302
2900.69/2933.65 c #Conflicts: 283000 | #Constraints: 17302
2900.69/2933.65 c #Conflicts: 284000 | #Constraints: 18302
2900.69/2933.65 c #Conflicts: 285000 | #Constraints: 19302
2900.69/2933.65 c #Conflicts: 286000 | #Constraints: 20303
2900.69/2933.65 c #Conflicts: 287000 | #Constraints: 21303
2900.69/2933.65 c #Conflicts: 288000 | #Constraints: 22303
2900.69/2933.65 c INPROCESSING
2900.69/2933.65 c GARBAGE COLLECT
2900.69/2933.65 c rational objective 13.8737
3004.22/3038.23 c #Conflicts: 289000 | #Constraints: 12555
3004.22/3038.23 c #Conflicts: 290000 | #Constraints: 13569
3004.22/3038.23 c #Conflicts: 291000 | #Constraints: 14575
3004.22/3038.23 c #Conflicts: 292000 | #Constraints: 15582
3004.22/3038.23 c #Conflicts: 293000 | #Constraints: 16594
3004.22/3038.23 c #Conflicts: 294000 | #Constraints: 17598
3004.22/3038.23 c #Conflicts: 295000 | #Constraints: 18608
3004.22/3038.23 c #Conflicts: 296000 | #Constraints: 19615
3004.22/3038.23 c #Conflicts: 297000 | #Constraints: 20620
3004.22/3038.23 c #Conflicts: 298000 | #Constraints: 21628
3004.22/3038.23 c #Conflicts: 299000 | #Constraints: 22633
3004.22/3038.23 c INPROCESSING
3004.22/3038.23 c GARBAGE COLLECT
3004.22/3038.23 c rational objective 13.8737
3115.08/3153.25 c #Conflicts: 300000 | #Constraints: 12724
3115.08/3153.25 c #Conflicts: 301000 | #Constraints: 13840
3115.08/3153.25 c #Conflicts: 302000 | #Constraints: 14844
3115.08/3153.25 c #Conflicts: 303000 | #Constraints: 15848
3115.08/3153.25 c #Conflicts: 304000 | #Constraints: 16851
3115.08/3153.25 c #Conflicts: 305000 | #Constraints: 17859
3115.08/3153.25 c #Conflicts: 306000 | #Constraints: 18871
3115.08/3153.25 c #Conflicts: 307000 | #Constraints: 19874
3115.08/3153.25 c #Conflicts: 308000 | #Constraints: 20877
3115.08/3153.25 c #Conflicts: 309000 | #Constraints: 21879
3115.08/3153.25 c #Conflicts: 310000 | #Constraints: 22883
3115.08/3153.25 c INPROCESSING
3115.08/3153.25 c GARBAGE COLLECT
3115.08/3153.25 c rational objective 13.8737
3268.62/3307.83 c #Conflicts: 311000 | #Constraints: 12737
3268.62/3307.83 c #Conflicts: 312000 | #Constraints: 13739
3268.62/3307.83 c #Conflicts: 313000 | #Constraints: 14744
3268.62/3307.83 c #Conflicts: 314000 | #Constraints: 15746
3268.62/3307.83 c #Conflicts: 315000 | #Constraints: 16748
3268.62/3307.83 c #Conflicts: 316000 | #Constraints: 17748
3268.62/3307.83 c #Conflicts: 317000 | #Constraints: 18754
3268.62/3307.83 c #Conflicts: 318000 | #Constraints: 19761
3268.62/3307.83 c #Conflicts: 319000 | #Constraints: 20763
3268.62/3307.83 c #Conflicts: 320000 | #Constraints: 21764
3268.62/3307.83 c #Conflicts: 321000 | #Constraints: 22764
3268.62/3307.83 c INPROCESSING
3268.62/3307.83 c GARBAGE COLLECT
3268.62/3307.83 c rational objective 13.8738
3388.22/3428.80 c #Conflicts: 322000 | #Constraints: 12484
3388.22/3428.80 c #Conflicts: 323000 | #Constraints: 13484
3388.22/3428.80 c #Conflicts: 324000 | #Constraints: 14494
3388.22/3428.80 c #Conflicts: 325000 | #Constraints: 15500
3388.22/3428.80 c #Conflicts: 326000 | #Constraints: 16508
3388.22/3428.80 c #Conflicts: 327000 | #Constraints: 17515
3388.22/3428.80 c #Conflicts: 328000 | #Constraints: 18516
3388.22/3428.80 c #Conflicts: 329000 | #Constraints: 19521
3388.22/3428.80 c #Conflicts: 330000 | #Constraints: 20526
3388.22/3428.80 c #Conflicts: 331000 | #Constraints: 21532
3388.22/3428.80 c #Conflicts: 332000 | #Constraints: 22538
3388.22/3428.80 c #Conflicts: 333000 | #Constraints: 23543
3388.22/3428.80 c INPROCESSING
3388.22/3428.80 c GARBAGE COLLECT
3388.22/3428.80 c rational objective 13.8737
3546.62/3588.27 c #Conflicts: 334000 | #Constraints: 13077
3546.62/3588.27 c #Conflicts: 335000 | #Constraints: 14081
3546.62/3588.27 c #Conflicts: 336000 | #Constraints: 15084
3546.62/3588.27 c #Conflicts: 337000 | #Constraints: 16084
3546.62/3588.27 c #Conflicts: 338000 | #Constraints: 17087
3546.62/3588.27 c #Conflicts: 339000 | #Constraints: 18088
3546.62/3588.27 c #Conflicts: 340000 | #Constraints: 19091
3546.62/3588.27 c #Conflicts: 341000 | #Constraints: 20091
3546.62/3588.27 c #Conflicts: 342000 | #Constraints: 21091
3546.62/3588.27 c #Conflicts: 343000 | #Constraints: 22092
3546.62/3588.27 c #Conflicts: 344000 | #Constraints: 23092
3546.62/3588.27 c #Conflicts: 345000 | #Constraints: 24092
3546.62/3588.27 c INPROCESSING
3546.62/3588.27 c GARBAGE COLLECT
3546.62/3588.27 c rational objective 13.8737
3600.02/3642.20 c #Conflicts: 346000 | #Constraints: 13454
3600.02/3642.20 c #Conflicts: 347000 | #Constraints: 14459
3600.02/3642.20 c #Conflicts: 348000 | #Constraints: 15472
3600.02/3642.20 c #Conflicts: 349000 | #Constraints: 16481
3600.02/3642.20 c #Conflicts: 350000 | #Constraints: 17488
3600.02/3642.20 c #Conflicts: 351000 | #Constraints: 18497
3600.02/3642.20 c cpu time 3557.47 s
3600.02/3642.20 c deterministic time 256039252933 2.56e+11
3600.02/3642.20 c optimization time 45.4641 s
3600.02/3642.20 c total solve time 3511.6 s
3600.02/3642.20 c core-guided solve time 1759.83 s
3600.02/3642.20 c propagation time 1856.25 s
3600.02/3642.20 c conflict analysis time 1198.61 s
3600.02/3642.20 c propagations 477755462
3600.02/3642.20 c resolve steps 1379381
3600.02/3642.20 c decisions 20114089
3600.02/3642.20 c conflicts 351748
3600.02/3642.20 c restarts 828
3600.02/3642.20 c inprocessing phases 50
3600.02/3642.20 c garbage collections 50 ,( 100.00 )
3600.02/3642.20 c input clauses 268 ,( 32.02 )
3600.02/3642.20 c input cardinalities 516 ,( 61.65 )
3600.02/3642.20 c input general constraints 53 ,( 6.33 )
3600.02/3642.20 c input average constraint length 1572.61
3600.02/3642.20 c input average constraint degree 656.98
3600.02/3642.20 c learned clauses 52875 ,( 14.86 )
3600.02/3642.20 c learned cardinalities 2449 ,( 0.69 )
3600.02/3642.20 c learned general constraints 300563 ,( 84.45 )
3600.02/3642.20 c learned average constraint length 4106.56
3600.02/3642.20 c learned average constraint degree 39982368876.73
3600.02/3642.20 c watched CF 32, 64, 128, Arb: 27961 , 0 , 0 , 0
3600.02/3642.20 c counting CF 32, 64, 128, Arb: 272656 , 0 , 0 , 0
3600.02/3642.20 c watched constraints 27961 ,( 9.30 )
3600.02/3642.20 c counting constraints 272655 ,( 90.70 )
3600.02/3642.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 10010138 , 40649996 , 1792254818 ,( 101385731 , 1690869087 )
3600.02/3642.20 c gcd simplifications 1797
3600.02/3642.20 c detected cardinalities 69
3600.02/3642.20 c weakened non-implied lits 977016427
3600.02/3642.20 c weakened non-implying lits 521673
3600.02/3642.20 c original variables 10080
3600.02/3642.20 c clausal propagations 622909
3600.02/3642.20 c cardinality propagations 53410497
3600.02/3642.20 c watched propagations 2903884
3600.02/3642.20 c counting propagations 390673928
3600.02/3642.20 c watch lookups 149870728875
3600.02/3642.20 c watch backjump lookups 0
3600.02/3642.20 c watch checks 19837201546
3600.02/3642.20 c propagation checks 78816714816
3600.02/3642.20 c constraint additions 6518008278
3600.02/3642.20 c trail pops 498211295
3600.02/3642.20 c formula constraints 676
3600.02/3642.20 c learned constraints 350741
3600.02/3642.20 c bound constraints 12
3600.02/3642.20 c core-guided constraints 149
3600.02/3642.20 c encountered formula constraints 129777
3600.02/3642.20 c encountered learned constraints 1241465
3600.02/3642.20 c encountered bound constraints 18
3600.02/3642.20 c encountered core-guided constraints 261773
3600.02/3642.20 c LP total time 655.058 s
3600.02/3642.20 c LP solve time 310.82 s
3600.02/3642.20 c LP constraints added 722
3600.02/3642.20 c LP constraints removed 41
3600.02/3642.20 c LP pivots internal 351788
3600.02/3642.20 c LP pivots root 166783
3600.02/3642.20 c LP calls 4215
3600.02/3642.20 c LP optimalities 71
3600.02/3642.20 c LP no pivot count 0
3600.02/3642.20 c LP infeasibilities 4117
3600.02/3642.20 c LP valid Farkas constraints 4092
3600.02/3642.20 c LP learned Farkas constraints 1009
3600.02/3642.20 c LP basis resets 47
3600.02/3642.20 c LP cycling count 21
3600.02/3642.20 c LP singular count 2
3600.02/3642.20 c LP no primal count 0
3600.02/3642.20 c LP no farkas count 24
3600.02/3642.20 c LP other issue count 0
3600.02/3642.20 c LP Gomory cuts 45
3600.02/3642.20 c LP learned cuts 1
3600.02/3642.20 c LP deleted cuts 41
3600.02/3642.20 c LP encountered Gomory constraints 0
3600.02/3642.20 c LP encountered Farkas constraints 88890
3600.02/3642.20 c LP encountered learned Farkas constraints 8197
3600.02/3642.20 c CG auxiliary variables introduced 53
3600.02/3642.20 c CG solutions found 2
3600.02/3642.20 c CG cores constructed 10
3600.02/3642.20 c CG core cardinality constraints returned 0
3600.02/3642.20 c CG unit cores 0
3600.02/3642.20 c CG single cores 10
3600.02/3642.20 c CG blocks removed during cardinality reduction 0
3600.02/3642.20 c CG first core best 0
3600.02/3642.20 c CG decision core best 0
3600.02/3642.20 c CG core reduction tie 0
3600.02/3642.20 c CG core degree average 1.00
3600.02/3642.20 c CG core slack average 1011.20
3600.02/3642.20 c CG core upper bound improvements 7
3600.02/3642.20 c STR number of successful calls 0
3600.02/3642.20 c STR number of unsuccessful calls 0
3600.02/3642.20 c STR number of inconclusive calls 0
3600.02/3642.20 c STR number of successful attempts 0
3600.02/3642.20 c STR number of unsuccessful attempts 0
3600.02/3642.20 c STR number of inconclusive attempts 0
3600.02/3642.20 c STR average degree increase per successful call inf
3600.02/3642.20 c STR average degree increase per successful attempt inf
3600.02/3642.20 c STR total number of conflicts for successful attempts 0
3600.02/3642.20 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3642.20 c STR total number of conflicts for inconclusive attempts 0
3600.02/3642.20 c STR average number of conflicts per successful attempt inf
3600.02/3642.20 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3642.20 c STR average number of conflicts per inconclusive attempt inf
3600.02/3642.20 c AVG.sumWPerc 78.41
3600.02/3642.20 c bigint constraints 0
3600.02/3642.20 o 16
3600.02/3642.20 s SATISFIABLE
3600.02/3642.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.02/3642.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: 63665 MiB (59119 MiB free)
memory of node 1: 64507 MiB (46666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502329-1751415917/watcher-4502329-1751415917 -o /tmp/evaluation-result-4502329-1751415917/solver-4502329-1751415917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751412168-58659 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502329-1751415917.opb PROOFDIR/proof-4502329-1751415917
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60764, runsolver pid=60761
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.23 1.73 2.01 2/251 60766
/proc/meminfo: memFree=108324496/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60766] ppid=60764 vsize=22132 memory=14488 CPUtime=0.08 cores=1,3
/proc/60766/stat : 60766 (pbsuma) R 60764 60764 58224 0 -1 4194304 3799 0 0 0 7 1 0 0 20 0 1 0 57270599 22663168 3622 18446744073709551615 4210688 4653049 140730425558896 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 30642176 140730425567459 140730425567794 140730425567794 140730425573359 0
/proc/60766/statm: 5533 3622 928 108 0 2941 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26324 KiB
Current children cumulated memory: 17560 KiB
[startup+0.205262 s]*
/proc/loadavg: 1.23 1.73 2.01 2/251 60766
/proc/meminfo: memFree=108324496/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60766] ppid=60764 vsize=32492 memory=24144 CPUtime=0.18 cores=1,3
/proc/60766/stat : 60766 (pbsuma) R 60764 60764 58224 0 -1 4194304 6204 0 0 0 17 1 0 0 20 0 1 0 57270599 33271808 6036 18446744073709551615 4210688 4653049 140730425558896 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 30642176 140730425567459 140730425567794 140730425567794 140730425573359 0
/proc/60766/statm: 8123 6036 928 108 0 5531 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 36684 KiB
Current children cumulated memory: 27216 KiB
[startup+0.305183 s]*
/proc/loadavg: 1.23 1.73 2.01 2/251 60766
/proc/meminfo: memFree=108316684/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60766] ppid=60764 vsize=59092 memory=43992 CPUtime=0.27 cores=1,3
/proc/60766/stat : 60766 (pbsuma) R 60764 60764 58224 0 -1 4194304 10137 0 0 0 25 2 0 0 20 0 1 0 57270599 60510208 10998 18446744073709551615 4210688 4653049 140730425558896 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 4700520 4703148 30642176 140730425567459 140730425567794 140730425567794 140730425573359 0
/proc/60766/statm: 14773 10998 1024 108 0 12181 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 47064 KiB
[startup+0.700183 s]
/proc/loadavg: 1.23 1.73 2.01 2/251 60766
/proc/meminfo: memFree=108296712/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60766] ppid=60764 vsize=58468 memory=43960 CPUtime=0.65 cores=1,3
/proc/60766/stat : 60766 (pbsuma) D 60764 60764 58224 0 -1 4194304 13039 0 0 0 61 4 0 0 20 0 1 0 57270599 59871232 10990 18446744073709551615 4210688 4653049 140730425558896 0 0 0 0 0 0 1 0 0 17 3 0 0 0 0 0 4700520 4703148 30642176 140730425567459 140730425567794 140730425567794 140730425573359 0
/proc/60766/statm: 14617 10990 1024 108 0 12025 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 62660 KiB
Current children cumulated memory: 47032 KiB
[startup+1.50014 s]
/proc/loadavg: 1.23 1.73 2.01 2/251 60767
/proc/meminfo: memFree=108289232/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=138044 memory=96904 CPUtime=0.76 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 19671 0 0 0 71 5 0 0 20 0 1 0 57270670 141357056 24226 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 34511 24226 2304 1147 0 21938 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 142236 KiB
Current children cumulated memory: 99976 KiB
[startup+3.10518 s]
/proc/loadavg: 1.23 1.73 2.01 2/251 60767
/proc/meminfo: memFree=108200564/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=155252 memory=112012 CPUtime=2.35 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 21370 0 0 0 224 11 0 0 20 0 1 0 57270670 158978048 28003 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 38813 28003 2368 1147 0 26240 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 159444 KiB
Current children cumulated memory: 115084 KiB
[startup+6.30018 s]
/proc/loadavg: 1.21 1.72 2.00 2/251 60767
/proc/meminfo: memFree=108088432/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=314136 memory=246556 CPUtime=5.52 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 46315 0 0 0 528 24 0 0 20 0 1 0 57270670 321675264 61639 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 78534 61639 2368 1147 0 65961 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 318328 KiB
Current children cumulated memory: 249628 KiB
[startup+12.7002 s]
/proc/loadavg: 1.19 1.71 2.00 2/251 60767
/proc/meminfo: memFree=107985792/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=394648 memory=329876 CPUtime=11.86 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 63354 0 0 0 1148 38 0 0 20 0 1 0 57270670 404119552 82469 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 98662 82469 2400 1147 0 86089 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 398840 KiB
Current children cumulated memory: 332948 KiB
[startup+25.5002 s]
/proc/loadavg: 1.22 1.69 1.98 2/251 60767
/proc/meminfo: memFree=107735904/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=512888 memory=446732 CPUtime=24.55 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 90021 0 0 0 2391 64 0 0 20 0 1 0 57270670 525197312 111683 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 128222 111683 2400 1147 0 115649 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 517080 KiB
Current children cumulated memory: 449804 KiB
[startup+51.1052 s]
/proc/loadavg: 1.15 1.63 1.96 2/254 60770
/proc/meminfo: memFree=107341112/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=673608 memory=583728 CPUtime=49.76 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 116673 0 0 0 4862 114 0 0 20 0 1 0 57270670 689774592 145932 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 168402 145932 2400 1147 0 155829 0
Current children cumulated CPU time: 50.41 s
Current children cumulated vsize: 677800 KiB
Current children cumulated memory: 586800 KiB
[startup+102.3 s]
/proc/loadavg: 1.11 1.55 1.91 2/254 60772
/proc/meminfo: memFree=106771436/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=869296 memory=723824 CPUtime=100.46 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 144039 0 0 0 9862 184 0 0 20 0 1 0 57270670 890159104 180956 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 217324 180956 2400 1147 0 204751 0
Current children cumulated CPU time: 101.11 s
Current children cumulated vsize: 873488 KiB
Current children cumulated memory: 726896 KiB
[startup+162.3 s]
/proc/loadavg: 1.07 1.46 1.86 2/254 60774
/proc/meminfo: memFree=105960168/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=962248 memory=825892 CPUtime=159.97 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 165026 0 0 0 15730 267 0 0 20 0 1 0 57270670 985341952 206473 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 240562 206473 2400 1147 0 227989 0
Current children cumulated CPU time: 160.62 s
Current children cumulated vsize: 966440 KiB
Current children cumulated memory: 828964 KiB
[startup+222.3 s]
/proc/loadavg: 1.07 1.39 1.81 2/253 60776
/proc/meminfo: memFree=105134024/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=1104024 memory=985024 CPUtime=219.38 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 196412 0 0 0 21582 356 0 0 20 0 1 0 57270670 1130520576 246256 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 276006 246256 2400 1147 0 263433 0
################
# More data... #
################
/proc/meminfo: memFree=72917768/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3523832 memory=3149780 CPUtime=3182.94 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 398706 0 0 0 314523 3771 0 0 20 0 1 0 57270670 3608403968 787445 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 880958 787445 2464 1147 0 868385 0
Current children cumulated CPU time: 3183.59 s
Current children cumulated vsize: 3528024 KiB
Current children cumulated memory: 3152852 KiB
[startup+3282.3 s]
/proc/loadavg: 1.06 1.08 1.09 2/252 60948
/proc/meminfo: memFree=72652244/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3523832 memory=3149780 CPUtime=3242.53 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 398916 0 0 0 320439 3814 0 0 20 0 1 0 57270670 3608403968 787445 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 880958 787445 2464 1147 0 868385 0
Current children cumulated CPU time: 3243.18 s
Current children cumulated vsize: 3528024 KiB
Current children cumulated memory: 3152852 KiB
[startup+3342.3 s]
/proc/loadavg: 1.13 1.09 1.09 2/253 60955
/proc/meminfo: memFree=72148712/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3560172 memory=3186180 CPUtime=3302.25 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 399818 0 0 0 326354 3871 0 0 20 0 1 0 57270670 3645616128 796545 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 890043 796545 2496 1147 0 877470 0
Current children cumulated CPU time: 3302.9 s
Current children cumulated vsize: 3564364 KiB
Current children cumulated memory: 3189252 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.09 1.09 2/253 60957
/proc/meminfo: memFree=71333536/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3560172 memory=3186180 CPUtime=3361.49 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 400079 0 0 0 332206 3943 0 0 20 0 1 0 57270670 3645616128 796545 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 890043 796545 2496 1147 0 877470 0
Current children cumulated CPU time: 3362.14 s
Current children cumulated vsize: 3564364 KiB
Current children cumulated memory: 3189252 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.09 1.09 2/253 60961
/proc/meminfo: memFree=70716588/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3570116 memory=3222416 CPUtime=3420.97 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 402068 0 0 0 338089 4008 0 0 20 0 1 0 57270670 3655798784 805604 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 892529 805604 2496 1147 0 879956 0
Current children cumulated CPU time: 3421.62 s
Current children cumulated vsize: 3574308 KiB
Current children cumulated memory: 3225488 KiB
[startup+3522.3 s]
/proc/loadavg: 1.16 1.10 1.09 2/253 60963
/proc/meminfo: memFree=70230888/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3620372 memory=3272740 CPUtime=3480.42 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 403086 0 0 0 343973 4069 0 0 20 0 1 0 57270670 3707260928 818185 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 905093 818185 2496 1147 0 892520 0
Current children cumulated CPU time: 3481.07 s
Current children cumulated vsize: 3624564 KiB
Current children cumulated memory: 3275812 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 1.13 1.10 2/253 60967
/proc/meminfo: memFree=69993088/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3678152 memory=3304100 CPUtime=3540.08 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 410947 0 0 0 349898 4110 0 0 20 0 1 0 57270670 3766427648 826025 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 919538 826025 2496 1147 0 906965 0
Current children cumulated CPU time: 3540.73 s
Current children cumulated vsize: 3682344 KiB
Current children cumulated memory: 3307172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3642.2 s]
/proc/loadavg: 1.10 1.11 1.09 2/253 60969
/proc/meminfo: memFree=69078380/131249988 swapFree=33010160/33010684
[pid=60764] ppid=60761 vsize=4192 memory=3072 CPUtime=0.65 cores=1,3
/proc/60764/stat : 60764 (run-opt-break-l) S 60761 60764 58224 0 -1 4194304 241 13042 0 0 0 0 61 4 20 0 1 0 57270598 4292608 768 18446744073709551615 94269705605120 94269706499653 140720408349504 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94269706738704 94269706786448 94269740216320 140720408353045 140720408353246 140720408353246 140720408358848 0
/proc/60764/statm: 1048 768 704 219 0 110 0
[pid=60767] ppid=60764 vsize=3734556 memory=3359764 CPUtime=3599.37 cores=1,3
/proc/60767/stat : 60767 (roundingsat) R 60764 60764 58224 0 -1 4194304 413824 0 0 0 355746 4191 0 0 20 0 1 0 57270670 3824185344 839941 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 933639 839941 2496 1147 0 921066 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3738748 KiB
Current children cumulated memory: 3362836 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3642.2 s]
# the end of solver process 60764 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.614308 s, system=0.046771 s
Sleeping 2 seconds
[startup+3642.3 s]*
/proc/loadavg: 1.10 1.11 1.09 1/252 60969
/proc/meminfo: memFree=69080276/131249988 swapFree=33010160/33010684
[pid=60767] ppid=60761 vsize=3734556 memory=3359892 CPUtime=3599.4 cores=1,3
/proc/60767/stat : 60767 (roundingsat) D 60761 60764 58224 0 -1 4194304 413827 0 0 0 355746 4194 0 0 20 0 1 0 57270670 3824185344 839973 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 933639 839973 2528 1147 0 921066 0
Current cumulated CPU time of completed processes: 0.661079 s
Current children cumulated CPU time: 3599.4 s
Current children cumulated vsize: 3734556 KiB
Current children cumulated memory: 3359892 KiB
[startup+3642.68 s]
# the end of solver process 60767 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.09 s, system=42.0199 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
[startup+3642.41 s]
/proc/loadavg: 1.10 1.11 1.09 1/252 60969
/proc/meminfo: memFree=69080276/131249988 swapFree=33010160/33010684
[pid=60767] ppid=60761 vsize=3734556 memory=3359892 CPUtime=3599.41 cores=1,3
/proc/60767/stat : 60767 (roundingsat) D 60761 60764 58224 0 -1 4194304 413827 0 0 0 355747 4194 0 0 20 0 1 0 57270670 3824185344 839973 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 933639 839973 2528 1147 0 921066 0
Current cumulated CPU time of completed processes: 0.661079 s
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 3734556 KiB
Current children cumulated memory: 3359892 KiB
[startup+3642.6 s]
/proc/loadavg: 1.10 1.11 1.09 1/252 60969
/proc/meminfo: memFree=69080276/131249988 swapFree=33010160/33010684
[pid=60767] ppid=60761 vsize=3734556 memory=3359892 CPUtime=3599.41 cores=1,3
/proc/60767/stat : 60767 (roundingsat) D 60761 60764 58224 0 -1 4194304 413827 0 0 0 355747 4194 0 0 20 0 1 0 57270670 3824185344 839973 18446744073709551615 4227072 8923433 140732729248368 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 14581760 140732729256212 140732729256488 140732729256488 140732729262058 0
/proc/60767/statm: 933639 839973 2528 1147 0 921066 0
Current cumulated CPU time of completed processes: 0.661079 s
Current children cumulated CPU time: 3599.41 s
Current children cumulated vsize: 3734556 KiB
Current children cumulated memory: 3359892 KiB
Child status: 2
Real time (s): 3642.68
CPU time (s): 3600.11
CPU user time (s): 3558.09
CPU system time (s): 42.0199
CPU usage (%): 98.8314
Max. virtual memory (cumulated for all children) (KiB): 3738748
Max. memory (cumulated for all children) (KiB): 3362836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.09
system time used= 42.0199
maximum resident set size= 3359892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427126
page faults= 0
swaps= 0
block input operations= 8
block output operations= 71889744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4083
involuntary context switches= 6026
# summary of solver processes directly reported to runsolver:
# pid: 60764,60767
# total CPU time (s): 3600.11
# total CPU user time (s): 3558.09
# total CPU system time (s): 42.0199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25493 second user time and 15.1252 second system time
The end
Begin job on nodeC034 at 2025-07-02 02:25:17
IDJOB=4502329
IDBENCH=155319
IDSOLVER=3360
FILE ID=nodeC034/4502329-1751415917
RUNJOBID= nodeC034-1751412168-58659
SLURM_JOB_ID= 9598308
Free space on /tmp= 432708 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502329-1751415917/watcher-4502329-1751415917 -o /tmp/evaluation-result-4502329-1751415917/solver-4502329-1751415917 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751412168-58659 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4502329-1751415917.opb PROOFDIR/proof-4502329-1751415917
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=970592574
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.523
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1210.012
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.782
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.701
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.938
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108324512 kB
MemAvailable: 129654540 kB
Buffers: 2128 kB
Cached: 22070264 kB
SwapCached: 36 kB
Active: 520964 kB
Inactive: 21630068 kB
Active(anon): 92500 kB
Inactive(anon): 4208 kB
Active(file): 428464 kB
Inactive(file): 21625860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22496 kB
Writeback: 0 kB
AnonPages: 81996 kB
Mapped: 103976 kB
Shmem: 18068 kB
KReclaimable: 229488 kB
Slab: 320832 kB
SReclaimable: 229488 kB
SUnreclaim: 91344 kB
KernelStack: 4048 kB
PageTables: 2600 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 337368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432692 MiB
End job on nodeC034 at 2025-07-02 03:26:00