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-4532558-1752683054.opb'
0.19/0.24 c read 15.73MB (230.11ms)
0.19/0.24 c [cnf: #variables 10080 #clauses 453 #duplicates 280 #arr 1039360]
0.19/0.24 c output proof to '/tmp/proof-4532558-1752683054'
0.19/0.24 c
0.19/0.24 c make graph and approximate orbits
0.19/0.29 c [group: #orbits ~= 672] (52.29ms)
0.19/0.29 c
0.19/0.29 c detect special group actions
0.19/0.29 c probe for Johnson action (limit=64)
0.19/0.30 c probe for row-column symmetry (limit=64, splits=16.78M)
0.19/0.30 c probe for row symmetry (limit=64, splits=16.78M)
0.29/0.31 c (19.22ms)
0.29/0.31 c
0.29/0.31 c detect symmetries on remainder
0.29/0.31 c [graph: #vertices 40773 #edges 2139200]
0.29/0.31 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.29/0.34 c [group: #symmetries 4.16*10^1066 #generators 3417] (30.05ms)
0.29/0.34 c
0.29/0.34 c optimize generators (opt_passes=64, conjugate_limit=256)
0.29/0.34 c ran it=0, +gens=3
0.39/0.45 c con best_support=4, best_gens=3360, +gens=71
0.39/0.45 c (113.76ms)
0.39/0.45 c
0.39/0.45 c finalize break order and special generators
0.39/0.45 c
0.39/0.45 c add generic predicates (break_depth=20)
0.39/0.45 c added predicates for 3491 generators (0.59ms)
0.58/0.65 c
0.58/0.65 c generation finished
0.58/0.65 c [sbp: #constraints 224 #add_vars 0]
0.58/0.65 c
0.58/0.65 c write result to 'HOME/instance-4532558-1752683054.opb.pre'
0.58/0.67 c wrote 9.26MB (19.23ms)
0.58/0.67 c ------------------------------------------------------------------
0.58/0.67 c 230.11ms 34.94% parse
0.58/0.67 c 192.68ms 29.26% other
0.58/0.67 c 113.76ms 17.27% optimize_gens
0.58/0.67 c 52.29ms 7.94% approx_orbits
0.58/0.67 c 30.05ms 4.56% detect_generic
0.58/0.67 c 19.23ms 2.92% output
0.58/0.67 c 19.22ms 2.92% detect_special
0.58/0.67 c 0.66ms 0.10% finalize_order
0.58/0.67 c 0.59ms 0.09% break_generic
0.58/0.67 c ───────────────────────────────────────────────
0.58/0.67 c 658.59ms 100% total
0.58/0.67 c ------------------------------------------------------------------
0.58/0.68 c RoundingSat 2
0.58/0.68 c branch pb25
0.58/0.68 c commit 0f876b3
0.96/1.10 c #variables 10080 #constraints 676
0.96/1.10 c objective is ce32
0.96/1.10 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.96/1.10 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.96/1.10 c bounds - >= 0 @ 0.385636
6.44/6.56 c #Conflicts: 1000 | #Constraints: 1675
6.44/6.56 c bounds 17 >= 0 @ 5.6125
6.54/6.60 c bounds 17 >= 1 @ 5.64631
6.54/6.64 c bounds 17 >= 2 @ 5.68002
6.64/6.72 c bounds 17 >= 3 @ 5.76182
6.83/6.98 c bounds 17 >= 4 @ 6.01018
7.24/7.37 c bounds 17 >= 5 @ 6.38516
9.83/9.98 c #Conflicts: 2000 | #Constraints: 2722
9.83/9.98 c INPROCESSING
9.83/9.98 c GARBAGE COLLECT
9.83/9.98 c rational objective 13.8628
18.11/18.26 c bounds 17 >= 6 @ 17.1261
20.31/20.46 c bounds 17 >= 7 @ 19.2621
35.16/35.32 c #Conflicts: 3000 | #Constraints: 2758
35.16/35.32 c #Conflicts: 4000 | #Constraints: 3768
35.16/35.32 c INPROCESSING
35.16/35.32 c GARBAGE COLLECT
35.16/35.32 c bounds 17 >= 8 @ 33.7249
50.72/50.98 c #Conflicts: 5000 | #Constraints: 3177
50.72/50.98 c #Conflicts: 6000 | #Constraints: 4178
50.72/50.98 c INPROCESSING
50.72/50.98 c GARBAGE COLLECT
50.72/50.98 c #Conflicts: 7000 | #Constraints: 3165
50.72/50.98 c bounds 16 >= 8 @ 49.0673
64.39/64.66 c #Conflicts: 8000 | #Constraints: 4169
64.39/64.66 c #Conflicts: 9000 | #Constraints: 5171
64.39/64.66 c INPROCESSING
64.39/64.66 c GARBAGE COLLECT
64.39/64.66 c rational objective 13.8705
89.23/89.55 c #Conflicts: 10000 | #Constraints: 3863
89.23/89.55 c #Conflicts: 11000 | #Constraints: 4895
89.23/89.55 c #Conflicts: 12000 | #Constraints: 5898
89.23/89.55 c INPROCESSING
89.23/89.55 c GARBAGE COLLECT
89.23/89.55 c rational objective 13.8705
117.56/117.93 c #Conflicts: 13000 | #Constraints: 4345
117.56/117.93 c #Conflicts: 14000 | #Constraints: 5345
117.56/117.93 c #Conflicts: 15000 | #Constraints: 6345
117.56/117.93 c INPROCESSING
117.56/117.93 c GARBAGE COLLECT
117.56/117.93 c rational objective 13.8705
144.60/145.07 c #Conflicts: 16000 | #Constraints: 4548
144.60/145.07 c #Conflicts: 17000 | #Constraints: 5560
144.60/145.07 c #Conflicts: 18000 | #Constraints: 6563
144.60/145.07 c INPROCESSING
144.60/145.07 c GARBAGE COLLECT
144.60/145.07 c rational objective 13.8705
173.43/173.91 c #Conflicts: 19000 | #Constraints: 4584
173.43/173.91 c #Conflicts: 20000 | #Constraints: 5601
173.43/173.91 c #Conflicts: 21000 | #Constraints: 6606
173.43/173.91 c INPROCESSING
173.43/173.91 c GARBAGE COLLECT
173.43/173.91 c rational objective 13.8705
196.37/196.92 c #Conflicts: 22000 | #Constraints: 4385
196.37/196.92 c #Conflicts: 23000 | #Constraints: 5386
196.37/196.92 c bounds 16 >= 9 @ 192.715
270.08/270.85 c #Conflicts: 24000 | #Constraints: 6413
270.08/270.85 c #Conflicts: 25000 | #Constraints: 7413
270.08/270.85 c INPROCESSING
270.08/270.85 c GARBAGE COLLECT
270.08/270.85 c #Conflicts: 26000 | #Constraints: 4982
270.08/270.85 c #Conflicts: 27000 | #Constraints: 5992
270.08/270.85 c #Conflicts: 28000 | #Constraints: 6997
270.08/270.85 c #Conflicts: 29000 | #Constraints: 8005
270.08/270.85 c INPROCESSING
270.08/270.85 c GARBAGE COLLECT
270.08/270.85 c #Conflicts: 30000 | #Constraints: 5400
270.08/270.85 c #Conflicts: 31000 | #Constraints: 6401
270.08/270.85 c #Conflicts: 32000 | #Constraints: 7401
270.08/270.85 c #Conflicts: 33000 | #Constraints: 8401
270.08/270.85 c INPROCESSING
270.08/270.85 c GARBAGE COLLECT
270.08/270.85 c rational objective 13.8705
304.89/305.79 c #Conflicts: 34000 | #Constraints: 5587
304.89/305.79 c #Conflicts: 35000 | #Constraints: 6605
304.89/305.79 c #Conflicts: 36000 | #Constraints: 7607
304.89/305.79 c #Conflicts: 37000 | #Constraints: 8617
304.89/305.79 c INPROCESSING
304.89/305.79 c GARBAGE COLLECT
304.89/305.79 c rational objective 13.8713
343.30/344.26 c #Conflicts: 38000 | #Constraints: 5612
343.30/344.26 c #Conflicts: 39000 | #Constraints: 6612
343.30/344.26 c #Conflicts: 40000 | #Constraints: 7612
343.30/344.26 c #Conflicts: 41000 | #Constraints: 8612
343.30/344.26 c INPROCESSING
343.30/344.26 c GARBAGE COLLECT
343.30/344.26 c rational objective 13.8713
387.58/388.69 c #Conflicts: 42000 | #Constraints: 5393
387.58/388.69 c #Conflicts: 43000 | #Constraints: 6417
387.58/388.69 c #Conflicts: 44000 | #Constraints: 7508
387.58/388.69 c #Conflicts: 45000 | #Constraints: 8518
387.58/388.69 c #Conflicts: 46000 | #Constraints: 9525
387.58/388.69 c INPROCESSING
387.58/388.69 c GARBAGE COLLECT
387.58/388.69 c rational objective 13.8713
436.56/437.76 c #Conflicts: 47000 | #Constraints: 6057
436.56/437.76 c #Conflicts: 48000 | #Constraints: 7061
436.56/437.76 c #Conflicts: 49000 | #Constraints: 8061
436.56/437.76 c #Conflicts: 50000 | #Constraints: 9061
436.56/437.76 c #Conflicts: 51000 | #Constraints: 10061
436.56/437.76 c INPROCESSING
436.56/437.76 c GARBAGE COLLECT
436.56/437.76 c rational objective 13.8724
478.26/479.52 c #Conflicts: 52000 | #Constraints: 6432
478.26/479.52 c #Conflicts: 53000 | #Constraints: 7432
478.26/479.52 c #Conflicts: 54000 | #Constraints: 8432
478.26/479.52 c #Conflicts: 55000 | #Constraints: 9432
478.26/479.52 c #Conflicts: 56000 | #Constraints: 10432
478.26/479.52 c INPROCESSING
478.26/479.52 c GARBAGE COLLECT
478.26/479.52 c rational objective 13.8729
530.92/532.34 c #Conflicts: 57000 | #Constraints: 6617
530.92/532.34 c #Conflicts: 58000 | #Constraints: 7617
530.92/532.34 c #Conflicts: 59000 | #Constraints: 8617
530.92/532.34 c #Conflicts: 60000 | #Constraints: 9620
530.92/532.34 c #Conflicts: 61000 | #Constraints: 10621
530.92/532.34 c INPROCESSING
530.92/532.34 c GARBAGE COLLECT
530.92/532.34 c rational objective 13.8729
575.42/576.91 c #Conflicts: 62000 | #Constraints: 6620
575.42/576.91 c #Conflicts: 63000 | #Constraints: 7633
575.42/576.91 c #Conflicts: 64000 | #Constraints: 8643
575.42/576.91 c #Conflicts: 65000 | #Constraints: 9651
575.42/576.91 c #Conflicts: 66000 | #Constraints: 10653
575.42/576.91 c INPROCESSING
575.42/576.91 c GARBAGE COLLECT
575.42/576.91 c rational objective 13.8734
671.29/673.10 c #Conflicts: 67000 | #Constraints: 6433
671.29/673.10 c #Conflicts: 68000 | #Constraints: 7437
671.29/673.10 c #Conflicts: 69000 | #Constraints: 8438
671.29/673.10 c #Conflicts: 70000 | #Constraints: 9438
671.29/673.10 c #Conflicts: 71000 | #Constraints: 10439
671.29/673.10 c #Conflicts: 72000 | #Constraints: 11439
671.29/673.10 c INPROCESSING
671.29/673.10 c GARBAGE COLLECT
671.29/673.10 c #Conflicts: 73000 | #Constraints: 7005
671.29/673.10 c #Conflicts: 74000 | #Constraints: 8013
671.29/673.10 c #Conflicts: 75000 | #Constraints: 9022
671.29/673.10 c #Conflicts: 76000 | #Constraints: 10026
671.29/673.10 c #Conflicts: 77000 | #Constraints: 11031
671.29/673.10 c #Conflicts: 78000 | #Constraints: 12038
671.29/673.10 c INPROCESSING
671.29/673.10 c GARBAGE COLLECT
671.29/673.10 c rational objective 13.8734
710.58/712.42 c #Conflicts: 79000 | #Constraints: 7423
710.58/712.42 c #Conflicts: 80000 | #Constraints: 8424
710.58/712.42 c #Conflicts: 81000 | #Constraints: 9427
710.58/712.42 c bounds 16 >= 10 @ 700.449
734.02/735.98 c #Conflicts: 82000 | #Constraints: 10540
734.02/735.98 c #Conflicts: 83000 | #Constraints: 11540
734.02/735.98 c #Conflicts: 84000 | #Constraints: 12540
734.02/735.98 c INPROCESSING
734.02/735.98 c GARBAGE COLLECT
734.02/735.98 c rational objective 13.8734
878.57/880.85 c #Conflicts: 85000 | #Constraints: 7692
878.57/880.85 c #Conflicts: 86000 | #Constraints: 8735
878.57/880.85 c #Conflicts: 87000 | #Constraints: 10589
878.57/880.85 c #Conflicts: 88000 | #Constraints: 11700
878.57/880.85 c #Conflicts: 89000 | #Constraints: 12711
878.57/880.85 c #Conflicts: 90000 | #Constraints: 13717
878.57/880.85 c INPROCESSING
878.57/880.85 c GARBAGE COLLECT
878.57/880.85 c rational objective 13.8734
935.93/938.37 c #Conflicts: 91000 | #Constraints: 8173
935.93/938.37 c #Conflicts: 92000 | #Constraints: 9312
935.93/938.37 c #Conflicts: 93000 | #Constraints: 10315
935.93/938.37 c #Conflicts: 94000 | #Constraints: 11318
935.93/938.37 c #Conflicts: 95000 | #Constraints: 12319
935.93/938.37 c #Conflicts: 96000 | #Constraints: 13321
935.93/938.37 c INPROCESSING
935.93/938.37 c GARBAGE COLLECT
935.93/938.37 c rational objective 13.8734
1012.94/1015.53 c #Conflicts: 97000 | #Constraints: 7764
1012.94/1015.53 c #Conflicts: 98000 | #Constraints: 8765
1012.94/1015.53 c #Conflicts: 99000 | #Constraints: 9766
1012.94/1015.53 c #Conflicts: 100000 | #Constraints: 10768
1012.94/1015.53 c #Conflicts: 101000 | #Constraints: 11783
1012.94/1015.53 c #Conflicts: 102000 | #Constraints: 12784
1012.94/1015.53 c #Conflicts: 103000 | #Constraints: 13784
1012.94/1015.53 c INPROCESSING
1012.94/1015.53 c GARBAGE COLLECT
1012.94/1015.53 c rational objective 13.8734
1068.80/1071.50 c #Conflicts: 104000 | #Constraints: 8175
1068.80/1071.50 c #Conflicts: 105000 | #Constraints: 9175
1068.80/1071.50 c #Conflicts: 106000 | #Constraints: 10186
1068.80/1071.50 c #Conflicts: 107000 | #Constraints: 11190
1068.80/1071.50 c #Conflicts: 108000 | #Constraints: 12199
1068.80/1071.50 c #Conflicts: 109000 | #Constraints: 13207
1068.80/1071.50 c #Conflicts: 110000 | #Constraints: 14218
1068.80/1071.50 c INPROCESSING
1068.80/1071.50 c GARBAGE COLLECT
1068.80/1071.50 c rational objective 13.8734
1131.15/1134.02 c #Conflicts: 111000 | #Constraints: 8506
1131.15/1134.02 c #Conflicts: 112000 | #Constraints: 9513
1131.15/1134.02 c #Conflicts: 113000 | #Constraints: 10514
1131.15/1134.02 c #Conflicts: 114000 | #Constraints: 11515
1131.15/1134.02 c #Conflicts: 115000 | #Constraints: 12522
1131.15/1134.02 c #Conflicts: 116000 | #Constraints: 13524
1131.15/1134.02 c #Conflicts: 117000 | #Constraints: 14525
1131.15/1134.02 c INPROCESSING
1131.15/1134.02 c GARBAGE COLLECT
1131.15/1134.02 c rational objective 13.8734
1225.91/1229.02 c #Conflicts: 118000 | #Constraints: 8669
1225.91/1229.02 c #Conflicts: 119000 | #Constraints: 9671
1225.91/1229.02 c #Conflicts: 120000 | #Constraints: 10672
1225.91/1229.02 c #Conflicts: 121000 | #Constraints: 11673
1225.91/1229.02 c #Conflicts: 122000 | #Constraints: 12674
1225.91/1229.02 c #Conflicts: 123000 | #Constraints: 13676
1225.91/1229.02 c #Conflicts: 124000 | #Constraints: 14677
1225.91/1229.02 c INPROCESSING
1225.91/1229.02 c GARBAGE COLLECT
1225.91/1229.02 c rational objective 13.8734
1289.33/1292.66 c #Conflicts: 125000 | #Constraints: 8644
1289.33/1292.66 c #Conflicts: 126000 | #Constraints: 9653
1289.33/1292.66 c #Conflicts: 127000 | #Constraints: 10659
1289.33/1292.66 c #Conflicts: 128000 | #Constraints: 11671
1289.33/1292.66 c #Conflicts: 129000 | #Constraints: 12680
1289.33/1292.66 c #Conflicts: 130000 | #Constraints: 13693
1289.33/1292.66 c #Conflicts: 131000 | #Constraints: 14702
1289.33/1292.66 c INPROCESSING
1289.33/1292.66 c GARBAGE COLLECT
1289.33/1292.66 c rational objective 13.8734
1355.16/1358.64 c #Conflicts: 132000 | #Constraints: 8457
1355.16/1358.64 c #Conflicts: 133000 | #Constraints: 9474
1355.16/1358.64 c #Conflicts: 134000 | #Constraints: 10474
1355.16/1358.64 c #Conflicts: 135000 | #Constraints: 11480
1355.16/1358.64 c #Conflicts: 136000 | #Constraints: 12483
1355.16/1358.64 c #Conflicts: 137000 | #Constraints: 13489
1355.16/1358.64 c #Conflicts: 138000 | #Constraints: 14497
1355.16/1358.64 c #Conflicts: 139000 | #Constraints: 15502
1355.16/1358.64 c INPROCESSING
1355.16/1358.64 c GARBAGE COLLECT
1355.16/1358.64 c rational objective 13.8734
1439.25/1442.90 c #Conflicts: 140000 | #Constraints: 9079
1439.25/1442.90 c #Conflicts: 141000 | #Constraints: 10081
1439.25/1442.90 c #Conflicts: 142000 | #Constraints: 11084
1439.25/1442.90 c #Conflicts: 143000 | #Constraints: 12085
1439.25/1442.90 c #Conflicts: 144000 | #Constraints: 13085
1439.25/1442.90 c #Conflicts: 145000 | #Constraints: 14086
1439.25/1442.90 c #Conflicts: 146000 | #Constraints: 15086
1439.25/1442.90 c #Conflicts: 147000 | #Constraints: 16087
1439.25/1442.90 c INPROCESSING
1439.25/1442.90 c GARBAGE COLLECT
1439.25/1442.90 c rational objective 13.8734
1511.17/1515.09 c #Conflicts: 148000 | #Constraints: 9430
1511.17/1515.09 c #Conflicts: 149000 | #Constraints: 10434
1511.17/1515.09 c #Conflicts: 150000 | #Constraints: 11435
1511.17/1515.09 c #Conflicts: 151000 | #Constraints: 12439
1511.17/1515.09 c #Conflicts: 152000 | #Constraints: 13440
1511.17/1515.09 c #Conflicts: 153000 | #Constraints: 14446
1511.17/1515.09 c #Conflicts: 154000 | #Constraints: 15451
1511.17/1515.09 c #Conflicts: 155000 | #Constraints: 16455
1511.17/1515.09 c INPROCESSING
1511.17/1515.09 c GARBAGE COLLECT
1511.17/1515.09 c rational objective 13.8734
1612.56/1616.75 c #Conflicts: 156000 | #Constraints: 9636
1612.56/1616.75 c #Conflicts: 157000 | #Constraints: 10636
1612.56/1616.75 c #Conflicts: 158000 | #Constraints: 11636
1612.56/1616.75 c #Conflicts: 159000 | #Constraints: 12636
1612.56/1616.75 c #Conflicts: 160000 | #Constraints: 13637
1612.56/1616.75 c #Conflicts: 161000 | #Constraints: 14638
1612.56/1616.75 c #Conflicts: 162000 | #Constraints: 15638
1612.56/1616.75 c #Conflicts: 163000 | #Constraints: 16638
1612.56/1616.75 c INPROCESSING
1612.56/1616.75 c GARBAGE COLLECT
1612.56/1616.75 c rational objective 13.8734
1690.02/1694.49 c #Conflicts: 164000 | #Constraints: 9652
1690.02/1694.49 c #Conflicts: 165000 | #Constraints: 10710
1690.02/1694.49 c #Conflicts: 166000 | #Constraints: 11715
1690.02/1694.49 c #Conflicts: 167000 | #Constraints: 12722
1690.02/1694.49 c #Conflicts: 168000 | #Constraints: 13725
1690.02/1694.49 c #Conflicts: 169000 | #Constraints: 14728
1690.02/1694.49 c #Conflicts: 170000 | #Constraints: 15731
1690.02/1694.49 c #Conflicts: 171000 | #Constraints: 16734
1690.02/1694.49 c INPROCESSING
1690.02/1694.49 c GARBAGE COLLECT
1690.02/1694.49 c rational objective 13.8734
1774.16/1778.84 c #Conflicts: 172000 | #Constraints: 9496
1774.16/1778.84 c #Conflicts: 173000 | #Constraints: 10528
1774.16/1778.84 c #Conflicts: 174000 | #Constraints: 11529
1774.16/1778.84 c #Conflicts: 175000 | #Constraints: 12875
1774.16/1778.84 c #Conflicts: 176000 | #Constraints: 13879
1774.16/1778.84 c #Conflicts: 177000 | #Constraints: 14892
1774.16/1778.84 c #Conflicts: 178000 | #Constraints: 15898
1774.16/1778.84 c #Conflicts: 179000 | #Constraints: 16903
1774.16/1778.84 c #Conflicts: 180000 | #Constraints: 17907
1774.16/1778.84 c INPROCESSING
1774.16/1778.84 c GARBAGE COLLECT
1774.16/1778.84 c rational objective 13.8734
1880.42/1885.46 c #Conflicts: 181000 | #Constraints: 10264
1880.42/1885.46 c #Conflicts: 182000 | #Constraints: 11264
1880.42/1885.46 c #Conflicts: 183000 | #Constraints: 12265
1880.42/1885.46 c #Conflicts: 184000 | #Constraints: 13265
1880.42/1885.46 c #Conflicts: 185000 | #Constraints: 14265
1880.42/1885.46 c #Conflicts: 186000 | #Constraints: 15266
1880.42/1885.46 c #Conflicts: 187000 | #Constraints: 16267
1880.42/1885.46 c #Conflicts: 188000 | #Constraints: 17269
1880.42/1885.46 c #Conflicts: 189000 | #Constraints: 18269
1880.42/1885.46 c INPROCESSING
1880.42/1885.46 c GARBAGE COLLECT
1880.42/1885.46 c rational objective 13.8734
1975.52/1980.83 c #Conflicts: 190000 | #Constraints: 10557
1975.52/1980.83 c #Conflicts: 191000 | #Constraints: 11571
1975.52/1980.83 c #Conflicts: 192000 | #Constraints: 12577
1975.52/1980.83 c #Conflicts: 193000 | #Constraints: 13637
1975.52/1980.83 c #Conflicts: 194000 | #Constraints: 14840
1975.52/1980.83 c #Conflicts: 195000 | #Constraints: 15853
1975.52/1980.83 c #Conflicts: 196000 | #Constraints: 16864
1975.52/1980.83 c #Conflicts: 197000 | #Constraints: 17878
1975.52/1980.83 c #Conflicts: 198000 | #Constraints: 18888
1975.52/1980.83 c INPROCESSING
1975.52/1980.83 c GARBAGE COLLECT
1975.52/1980.83 c rational objective 13.8734
2073.42/2079.09 c #Conflicts: 199000 | #Constraints: 10850
2073.42/2079.09 c #Conflicts: 200000 | #Constraints: 11851
2073.42/2079.09 c #Conflicts: 201000 | #Constraints: 12853
2073.42/2079.09 c #Conflicts: 202000 | #Constraints: 13855
2073.42/2079.09 c #Conflicts: 203000 | #Constraints: 14856
2073.42/2079.09 c #Conflicts: 204000 | #Constraints: 15891
2073.42/2079.09 c #Conflicts: 205000 | #Constraints: 16915
2073.42/2079.09 c #Conflicts: 206000 | #Constraints: 17915
2073.42/2079.09 c #Conflicts: 207000 | #Constraints: 18915
2073.42/2079.09 c INPROCESSING
2073.42/2079.09 c GARBAGE COLLECT
2073.42/2079.09 c rational objective 13.8734
2178.74/2184.66 c #Conflicts: 208000 | #Constraints: 10749
2178.74/2184.66 c #Conflicts: 209000 | #Constraints: 11749
2178.74/2184.66 c #Conflicts: 210000 | #Constraints: 12750
2178.74/2184.66 c #Conflicts: 211000 | #Constraints: 13757
2178.74/2184.66 c #Conflicts: 212000 | #Constraints: 14758
2178.74/2184.66 c #Conflicts: 213000 | #Constraints: 15764
2178.74/2184.66 c #Conflicts: 214000 | #Constraints: 16767
2178.74/2184.66 c #Conflicts: 215000 | #Constraints: 17775
2178.74/2184.66 c #Conflicts: 216000 | #Constraints: 18784
2178.74/2184.66 c INPROCESSING
2178.74/2184.66 c GARBAGE COLLECT
2178.74/2184.66 c rational objective 13.8734
2270.69/2276.83 c #Conflicts: 217000 | #Constraints: 10491
2270.69/2276.83 c #Conflicts: 218000 | #Constraints: 11498
2270.69/2276.83 c #Conflicts: 219000 | #Constraints: 12499
2270.69/2276.83 c #Conflicts: 220000 | #Constraints: 13500
2270.69/2276.83 c #Conflicts: 221000 | #Constraints: 14504
2270.69/2276.83 c #Conflicts: 222000 | #Constraints: 15504
2270.69/2276.83 c #Conflicts: 223000 | #Constraints: 16504
2270.69/2276.83 c #Conflicts: 224000 | #Constraints: 17504
2270.69/2276.83 c #Conflicts: 225000 | #Constraints: 18504
2270.69/2276.83 c #Conflicts: 226000 | #Constraints: 19520
2270.69/2276.83 c INPROCESSING
2270.69/2276.83 c GARBAGE COLLECT
2270.69/2276.83 c rational objective 13.8734
2421.02/2427.60 c #Conflicts: 227000 | #Constraints: 11048
2421.02/2427.60 c #Conflicts: 228000 | #Constraints: 12049
2421.02/2427.60 c #Conflicts: 229000 | #Constraints: 13073
2421.02/2427.60 c #Conflicts: 230000 | #Constraints: 14078
2421.02/2427.60 c #Conflicts: 231000 | #Constraints: 15079
2421.02/2427.60 c #Conflicts: 232000 | #Constraints: 16081
2421.02/2427.60 c #Conflicts: 233000 | #Constraints: 17081
2421.02/2427.60 c #Conflicts: 234000 | #Constraints: 18081
2421.02/2427.60 c #Conflicts: 235000 | #Constraints: 19081
2421.02/2427.60 c #Conflicts: 236000 | #Constraints: 20090
2421.02/2427.60 c INPROCESSING
2421.02/2427.60 c GARBAGE COLLECT
2421.02/2427.60 c rational objective 13.8734
2512.14/2519.06 c #Conflicts: 237000 | #Constraints: 11435
2512.14/2519.06 c #Conflicts: 238000 | #Constraints: 12435
2512.14/2519.06 c #Conflicts: 239000 | #Constraints: 13435
2512.14/2519.06 c #Conflicts: 240000 | #Constraints: 14435
2512.14/2519.06 c #Conflicts: 241000 | #Constraints: 15435
2512.14/2519.06 c #Conflicts: 242000 | #Constraints: 16435
2512.14/2519.06 c #Conflicts: 243000 | #Constraints: 17435
2512.14/2519.06 c #Conflicts: 244000 | #Constraints: 18436
2512.14/2519.06 c #Conflicts: 245000 | #Constraints: 19448
2512.14/2519.06 c #Conflicts: 246000 | #Constraints: 20459
2512.14/2519.06 c INPROCESSING
2512.14/2519.06 c GARBAGE COLLECT
2512.14/2519.06 c rational objective 13.8734
2606.64/2613.89 c #Conflicts: 247000 | #Constraints: 11690
2606.64/2613.89 c #Conflicts: 248000 | #Constraints: 12701
2606.64/2613.89 c #Conflicts: 249000 | #Constraints: 13706
2606.64/2613.89 c #Conflicts: 250000 | #Constraints: 14709
2606.64/2613.89 c #Conflicts: 251000 | #Constraints: 15709
2606.64/2613.89 c #Conflicts: 252000 | #Constraints: 16710
2606.64/2613.89 c #Conflicts: 253000 | #Constraints: 17713
2606.64/2613.89 c #Conflicts: 254000 | #Constraints: 18716
2606.64/2613.89 c #Conflicts: 255000 | #Constraints: 19722
2606.64/2613.89 c #Conflicts: 256000 | #Constraints: 20732
2606.64/2613.89 c INPROCESSING
2606.64/2613.89 c GARBAGE COLLECT
2606.64/2613.89 c rational objective 13.8737
2748.59/2756.23 c #Conflicts: 257000 | #Constraints: 11668
2748.59/2756.23 c #Conflicts: 258000 | #Constraints: 12668
2748.59/2756.23 c #Conflicts: 259000 | #Constraints: 13669
2748.59/2756.23 c #Conflicts: 260000 | #Constraints: 14670
2748.59/2756.23 c #Conflicts: 261000 | #Constraints: 15670
2748.59/2756.23 c #Conflicts: 262000 | #Constraints: 16670
2748.59/2756.23 c #Conflicts: 263000 | #Constraints: 17671
2748.59/2756.23 c #Conflicts: 264000 | #Constraints: 18671
2748.59/2756.23 c #Conflicts: 265000 | #Constraints: 19672
2748.59/2756.23 c #Conflicts: 266000 | #Constraints: 20672
2748.59/2756.23 c INPROCESSING
2748.59/2756.23 c GARBAGE COLLECT
2748.59/2756.23 c rational objective 13.8737
2871.70/2879.77 c #Conflicts: 267000 | #Constraints: 11443
2871.70/2879.77 c #Conflicts: 268000 | #Constraints: 12971
2871.70/2879.77 c #Conflicts: 269000 | #Constraints: 13976
2871.70/2879.77 c #Conflicts: 270000 | #Constraints: 14981
2871.70/2879.77 c #Conflicts: 271000 | #Constraints: 15988
2871.70/2879.77 c #Conflicts: 272000 | #Constraints: 16990
2871.70/2879.77 c #Conflicts: 273000 | #Constraints: 17995
2871.70/2879.77 c #Conflicts: 274000 | #Constraints: 19000
2871.70/2879.77 c #Conflicts: 275000 | #Constraints: 20004
2871.70/2879.77 c #Conflicts: 276000 | #Constraints: 21005
2871.70/2879.77 c #Conflicts: 277000 | #Constraints: 22006
2871.70/2879.77 c INPROCESSING
2871.70/2879.77 c GARBAGE COLLECT
2871.70/2879.77 c rational objective 13.8737
3026.90/3035.44 c #Conflicts: 278000 | #Constraints: 12302
3026.90/3035.44 c #Conflicts: 279000 | #Constraints: 13302
3026.90/3035.44 c #Conflicts: 280000 | #Constraints: 14302
3026.90/3035.44 c #Conflicts: 281000 | #Constraints: 15302
3026.90/3035.44 c #Conflicts: 282000 | #Constraints: 16302
3026.90/3035.44 c #Conflicts: 283000 | #Constraints: 17302
3026.90/3035.44 c #Conflicts: 284000 | #Constraints: 18302
3026.90/3035.44 c #Conflicts: 285000 | #Constraints: 19302
3026.90/3035.44 c #Conflicts: 286000 | #Constraints: 20303
3026.90/3035.44 c #Conflicts: 287000 | #Constraints: 21303
3026.90/3035.44 c #Conflicts: 288000 | #Constraints: 22303
3026.90/3035.44 c INPROCESSING
3026.90/3035.44 c GARBAGE COLLECT
3026.90/3035.44 c rational objective 13.8737
3134.36/3143.22 c #Conflicts: 289000 | #Constraints: 12555
3134.36/3143.22 c #Conflicts: 290000 | #Constraints: 13569
3134.36/3143.22 c #Conflicts: 291000 | #Constraints: 14575
3134.36/3143.22 c #Conflicts: 292000 | #Constraints: 15582
3134.36/3143.22 c #Conflicts: 293000 | #Constraints: 16594
3134.36/3143.22 c #Conflicts: 294000 | #Constraints: 17598
3134.36/3143.22 c #Conflicts: 295000 | #Constraints: 18608
3134.36/3143.22 c #Conflicts: 296000 | #Constraints: 19615
3134.36/3143.22 c #Conflicts: 297000 | #Constraints: 20620
3134.36/3143.22 c #Conflicts: 298000 | #Constraints: 21628
3134.36/3143.22 c #Conflicts: 299000 | #Constraints: 22633
3134.36/3143.22 c INPROCESSING
3134.36/3143.22 c GARBAGE COLLECT
3134.36/3143.22 c rational objective 13.8737
3249.30/3258.56 c #Conflicts: 300000 | #Constraints: 12724
3249.30/3258.56 c #Conflicts: 301000 | #Constraints: 13840
3249.30/3258.56 c #Conflicts: 302000 | #Constraints: 14844
3249.30/3258.56 c #Conflicts: 303000 | #Constraints: 15848
3249.30/3258.56 c #Conflicts: 304000 | #Constraints: 16851
3249.30/3258.56 c #Conflicts: 305000 | #Constraints: 17859
3249.30/3258.56 c #Conflicts: 306000 | #Constraints: 18871
3249.30/3258.56 c #Conflicts: 307000 | #Constraints: 19874
3249.30/3258.56 c #Conflicts: 308000 | #Constraints: 20877
3249.30/3258.56 c #Conflicts: 309000 | #Constraints: 21879
3249.30/3258.56 c #Conflicts: 310000 | #Constraints: 22883
3249.30/3258.56 c INPROCESSING
3249.30/3258.56 c GARBAGE COLLECT
3249.30/3258.56 c rational objective 13.8737
3408.59/3418.37 c #Conflicts: 311000 | #Constraints: 12737
3408.59/3418.37 c #Conflicts: 312000 | #Constraints: 13739
3408.59/3418.37 c #Conflicts: 313000 | #Constraints: 14744
3408.59/3418.37 c #Conflicts: 314000 | #Constraints: 15746
3408.59/3418.37 c #Conflicts: 315000 | #Constraints: 16748
3408.59/3418.37 c #Conflicts: 316000 | #Constraints: 17748
3408.59/3418.37 c #Conflicts: 317000 | #Constraints: 18754
3408.59/3418.37 c #Conflicts: 318000 | #Constraints: 19761
3408.59/3418.37 c #Conflicts: 319000 | #Constraints: 20763
3408.59/3418.37 c #Conflicts: 320000 | #Constraints: 21764
3408.59/3418.37 c #Conflicts: 321000 | #Constraints: 22764
3408.59/3418.37 c INPROCESSING
3408.59/3418.37 c GARBAGE COLLECT
3408.59/3418.37 c rational objective 13.8738
3533.86/3543.93 c #Conflicts: 322000 | #Constraints: 12484
3533.86/3543.93 c #Conflicts: 323000 | #Constraints: 13484
3533.86/3543.93 c #Conflicts: 324000 | #Constraints: 14494
3533.86/3543.93 c #Conflicts: 325000 | #Constraints: 15500
3533.86/3543.93 c #Conflicts: 326000 | #Constraints: 16508
3533.86/3543.93 c #Conflicts: 327000 | #Constraints: 17515
3533.86/3543.93 c #Conflicts: 328000 | #Constraints: 18516
3533.86/3543.93 c #Conflicts: 329000 | #Constraints: 19521
3533.86/3543.93 c #Conflicts: 330000 | #Constraints: 20526
3533.86/3543.93 c #Conflicts: 331000 | #Constraints: 21532
3533.86/3543.93 c #Conflicts: 332000 | #Constraints: 22538
3533.86/3543.93 c #Conflicts: 333000 | #Constraints: 23543
3533.86/3543.93 c INPROCESSING
3533.86/3543.93 c GARBAGE COLLECT
3533.86/3543.93 c rational objective 13.8737
3600.10/3610.30 c #Conflicts: 334000 | #Constraints: 13077
3600.10/3610.30 c #Conflicts: 335000 | #Constraints: 14081
3600.10/3610.30 c #Conflicts: 336000 | #Constraints: 15084
3600.10/3610.30 c #Conflicts: 337000 | #Constraints: 16084
3600.10/3610.30 c #Conflicts: 338000 | #Constraints: 17087
3600.10/3610.30 c #Conflicts: 339000 | #Constraints: 18088
3600.10/3610.30 c cpu time 3559.2 s
3600.10/3610.30 c deterministic time 243630800032 2.44e+11
3600.10/3610.30 c optimization time 58.3133 s
3600.10/3610.30 c total solve time 3500.5 s
3600.10/3610.30 c core-guided solve time 1674.5 s
3600.10/3610.30 c propagation time 1858.56 s
3600.10/3610.30 c conflict analysis time 1197.31 s
3600.10/3610.30 c propagations 461368114
3600.10/3610.30 c resolve steps 1337836
3600.10/3610.30 c decisions 19408707
3600.10/3610.30 c conflicts 339002
3600.10/3610.30 c restarts 795
3600.10/3610.30 c inprocessing phases 49
3600.10/3610.30 c garbage collections 49 ,( 100.00 )
3600.10/3610.30 c input clauses 268 ,( 32.02 )
3600.10/3610.30 c input cardinalities 516 ,( 61.65 )
3600.10/3610.30 c input general constraints 53 ,( 6.33 )
3600.10/3610.30 c input average constraint length 1572.61
3600.10/3610.30 c input average constraint degree 656.98
3600.10/3610.30 c learned clauses 51819 ,( 15.10 )
3600.10/3610.30 c learned cardinalities 2375 ,( 0.69 )
3600.10/3610.30 c learned general constraints 288887 ,( 84.20 )
3600.10/3610.30 c learned average constraint length 4102.97
3600.10/3610.30 c learned average constraint degree 40027946184.84
3600.10/3610.30 c watched CF 32, 64, 128, Arb: 27347 , 0 , 0 , 0
3600.10/3610.30 c counting CF 32, 64, 128, Arb: 261594 , 0 , 0 , 0
3600.10/3610.30 c watched constraints 27347 ,( 9.46 )
3600.10/3610.30 c counting constraints 261593 ,( 90.54 )
3600.10/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 9719355 , 39195110 , 1672184038 ,( 98129518 , 1574054520 )
3600.10/3610.30 c gcd simplifications 1759
3600.10/3610.30 c detected cardinalities 64
3600.10/3610.30 c weakened non-implied lits 942134289
3600.10/3610.30 c weakened non-implying lits 503156
3600.10/3610.30 c original variables 10080
3600.10/3610.30 c clausal propagations 602951
3600.10/3610.30 c cardinality propagations 51877307
3600.10/3610.30 c watched propagations 2843355
3600.10/3610.30 c counting propagations 376644257
3600.10/3610.30 c watch lookups 141231186206
3600.10/3610.30 c watch backjump lookups 0
3600.10/3610.30 c watch checks 19205770474
3600.10/3610.30 c propagation checks 75942269369
3600.10/3610.30 c constraint additions 6289183718
3600.10/3610.30 c trail pops 481107521
3600.10/3610.30 c formula constraints 676
3600.10/3610.30 c learned constraints 338045
3600.10/3610.30 c bound constraints 12
3600.10/3610.30 c core-guided constraints 149
3600.10/3610.30 c encountered formula constraints 125723
3600.10/3610.30 c encountered learned constraints 1199633
3600.10/3610.30 c encountered bound constraints 18
3600.10/3610.30 c encountered core-guided constraints 256655
3600.10/3610.30 c LP total time 652.697 s
3600.10/3610.30 c LP solve time 312.19 s
3600.10/3610.30 c LP constraints added 721
3600.10/3610.30 c LP constraints removed 40
3600.10/3610.30 c LP pivots internal 339509
3600.10/3610.30 c LP pivots root 166413
3600.10/3610.30 c LP calls 4151
3600.10/3610.30 c LP optimalities 69
3600.10/3610.30 c LP no pivot count 0
3600.10/3610.30 c LP infeasibilities 4057
3600.10/3610.30 c LP valid Farkas constraints 4034
3600.10/3610.30 c LP learned Farkas constraints 958
3600.10/3610.30 c LP basis resets 43
3600.10/3610.30 c LP cycling count 19
3600.10/3610.30 c LP singular count 2
3600.10/3610.30 c LP no primal count 0
3600.10/3610.30 c LP no farkas count 22
3600.10/3610.30 c LP other issue count 0
3600.10/3610.30 c LP Gomory cuts 44
3600.10/3610.30 c LP learned cuts 1
3600.10/3610.30 c LP deleted cuts 40
3600.10/3610.30 c LP encountered Gomory constraints 0
3600.10/3610.30 c LP encountered Farkas constraints 86008
3600.10/3610.30 c LP encountered learned Farkas constraints 7843
3600.10/3610.30 c CG auxiliary variables introduced 53
3600.10/3610.30 c CG solutions found 2
3600.10/3610.30 c CG cores constructed 10
3600.10/3610.30 c CG core cardinality constraints returned 0
3600.10/3610.30 c CG unit cores 0
3600.10/3610.30 c CG single cores 10
3600.10/3610.30 c CG blocks removed during cardinality reduction 0
3600.10/3610.30 c CG first core best 0
3600.10/3610.30 c CG decision core best 0
3600.10/3610.30 c CG core reduction tie 0
3600.10/3610.30 c CG core degree average 1.00
3600.10/3610.30 c CG core slack average 1011.20
3600.10/3610.30 c CG core upper bound improvements 7
3600.10/3610.30 c STR number of successful calls 0
3600.10/3610.30 c STR number of unsuccessful calls 0
3600.10/3610.30 c STR number of inconclusive calls 0
3600.10/3610.30 c STR number of successful attempts 0
3600.10/3610.30 c STR number of unsuccessful attempts 0
3600.10/3610.30 c STR number of inconclusive attempts 0
3600.10/3610.30 c STR average degree increase per successful call inf
3600.10/3610.30 c STR average degree increase per successful attempt inf
3600.10/3610.30 c STR total number of conflicts for successful attempts 0
3600.10/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.10/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.10/3610.30 c STR average number of conflicts per successful attempt inf
3600.10/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.10/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.10/3610.30 c AVG.sumWPerc 78.29
3600.10/3610.30 c bigint constraints 0
3600.10/3610.30 o 16
3600.10/3610.30 s SATISFIABLE
3600.10/3610.30 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.10/3610.30 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: 63708 MiB (49741 MiB free)
memory of node 1: 64465 MiB (51735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532558-1752683054/watcher-4532558-1752683054 -o /tmp/evaluation-result-4532558-1752683054/solver-4532558-1752683054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752683054-143212 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532558-1752683054.opb /tmp/proof-4532558-1752683054
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=143272, runsolver pid=143268
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.46 0.17 0.12 5/269 143274
/proc/meminfo: memFree=103839300/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143274] ppid=143272 vsize=22536 memory=15128 CPUtime=0.08 cores=1,3
/proc/143274/stat : 143274 (pbsuma) R 143272 143272 143088 0 -1 4194304 3967 0 0 0 8 0 0 0 20 0 1 0 183982956 23076864 3782 18446744073709551615 4210688 4653049 140730987536528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23633920 140730987538695 140730987538992 140730987538992 140730987544559 0
/proc/143274/statm: 5634 3782 960 108 0 3042 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 26728 KiB
Current children cumulated memory: 18072 KiB
[startup+0.205294 s]*
/proc/loadavg: 0.46 0.17 0.12 5/269 143276
/proc/meminfo: memFree=103857840/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143274] ppid=143272 vsize=32772 memory=24772 CPUtime=0.19 cores=1,3
/proc/143274/stat : 143274 (pbsuma) R 143272 143272 143088 0 -1 4194304 6360 0 0 0 18 1 0 0 20 0 1 0 183982956 33558528 6193 18446744073709551615 4210688 4653049 140730987536528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23633920 140730987538695 140730987538992 140730987538992 140730987544559 0
/proc/143274/statm: 8193 6193 960 108 0 5601 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36964 KiB
Current children cumulated memory: 27716 KiB
[startup+0.305299 s]*
/proc/loadavg: 0.46 0.17 0.12 5/269 143276
/proc/meminfo: memFree=103794584/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143274] ppid=143272 vsize=59408 memory=44652 CPUtime=0.29 cores=1,3
/proc/143274/stat : 143274 (pbsuma) R 143272 143272 143088 0 -1 4194304 10363 0 0 0 27 2 0 0 20 0 1 0 183982956 60833792 11163 18446744073709551615 4210688 4653049 140730987536528 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 23633920 140730987538695 140730987538992 140730987538992 140730987544559 0
/proc/143274/statm: 14852 11163 992 108 0 12260 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63600 KiB
Current children cumulated memory: 47596 KiB
[startup+0.700153 s]
/proc/loadavg: 0.46 0.17 0.12 5/268 143276
/proc/meminfo: memFree=103779228/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50014 s]
/proc/loadavg: 0.46 0.17 0.12 5/268 143277
/proc/meminfo: memFree=103720292/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=138068 memory=97052 CPUtime=0.8 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 18656 0 0 0 75 5 0 0 20 0 1 0 183983023 141381632 24263 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 34517 24263 2336 1147 0 21943 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 142260 KiB
Current children cumulated memory: 99996 KiB
[startup+3.10537 s]
/proc/loadavg: 0.46 0.17 0.12 5/268 143277
/proc/meminfo: memFree=103494288/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=156396 memory=113884 CPUtime=2.41 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 21278 0 0 0 229 12 0 0 20 0 1 0 183983023 160149504 28471 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 39099 28471 2400 1147 0 26525 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 160588 KiB
Current children cumulated memory: 116828 KiB
[startup+6.30018 s]
/proc/loadavg: 0.74 0.23 0.14 5/268 143277
/proc/meminfo: memFree=103276196/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=318884 memory=251348 CPUtime=5.59 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 46951 0 0 0 536 23 0 0 20 0 1 0 183983023 326537216 62837 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 79721 62837 2400 1147 0 67147 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 323076 KiB
Current children cumulated memory: 254292 KiB
[startup+12.7002 s]
/proc/loadavg: 1.08 0.31 0.16 5/268 143277
/proc/meminfo: memFree=102830788/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=396788 memory=330616 CPUtime=11.98 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 64551 0 0 0 1162 36 0 0 20 0 1 0 183983023 406310912 82654 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 99197 82654 2432 1147 0 86623 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 400980 KiB
Current children cumulated memory: 333560 KiB
[startup+25.5002 s]
/proc/loadavg: 1.73 0.50 0.23 5/268 143277
/proc/meminfo: memFree=101988240/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=517984 memory=454956 CPUtime=24.74 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 92036 0 0 0 2416 58 0 0 20 0 1 0 183983023 530415616 113739 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 129496 113739 2432 1147 0 116922 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 522176 KiB
Current children cumulated memory: 457900 KiB
[startup+51.1055 s]
/proc/loadavg: 2.65 0.81 0.34 5/267 143277
/proc/meminfo: memFree=100497312/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=673532 memory=584944 CPUtime=50.28 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 117441 0 0 0 4918 110 0 0 20 0 1 0 183983023 689696768 146236 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 168383 146236 2432 1147 0 155809 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 677724 KiB
Current children cumulated memory: 587888 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.35 0.55 5/272 143284
/proc/meminfo: memFree=98005204/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=868844 memory=723176 CPUtime=101.35 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 143401 0 0 0 9954 181 0 0 20 0 1 0 183983023 889696256 180794 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 217211 180794 2432 1147 0 204637 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 873036 KiB
Current children cumulated memory: 726120 KiB
[startup+162.3 s]
/proc/loadavg: 4.28 1.95 0.80 5/273 143287
/proc/meminfo: memFree=94818616/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=957840 memory=818972 CPUtime=161.2 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 163304 0 0 0 15863 257 0 0 20 0 1 0 183983023 980828160 204743 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 239460 204743 2432 1147 0 226886 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 962032 KiB
Current children cumulated memory: 821916 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 2.41 1.04 5/273 143289
/proc/meminfo: memFree=91083672/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=1093032 memory=970100 CPUtime=221.06 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 193435 0 0 0 21768 338 0 0 20 0 1 0 183983023 1119264768 242525 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 273258 242525 2432 1147 0 260684 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1097224 KiB
Current children cumulated memory: 973044 KiB
################
# More data... #
################
/proc/143277/statm: 874596 730103 2528 1147 0 862022 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 3502576 KiB
Current children cumulated memory: 2923356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.60 4.44 5/269 143460
/proc/meminfo: memFree=1086312/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3498384 memory=2923484 CPUtime=3152.76 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 468969 0 0 0 311701 3575 0 0 20 0 1 0 183983023 3582345216 730871 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 874596 730871 2528 1147 0 862022 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 3502576 KiB
Current children cumulated memory: 2926428 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.58 4.44 5/271 143464
/proc/meminfo: memFree=1065868/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3523088 memory=2948236 CPUtime=3212.56 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 469525 0 0 0 317596 3660 0 0 20 0 1 0 183983023 3607642112 737059 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 880772 737059 2528 1147 0 868198 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 3527280 KiB
Current children cumulated memory: 2951180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.55 4.44 5/271 143467
/proc/meminfo: memFree=1058680/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3523088 memory=2948492 CPUtime=3272.38 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 470053 0 0 0 323519 3719 0 0 20 0 1 0 183983023 3607642112 737123 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 880772 737123 2528 1147 0 868198 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 3527280 KiB
Current children cumulated memory: 2951436 KiB
[startup+3342.3 s]
/proc/loadavg: 4.41 4.53 4.44 5/271 143469
/proc/meminfo: memFree=1102396/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3523088 memory=2948492 CPUtime=3332.18 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 470574 0 0 0 329448 3770 0 0 20 0 1 0 183983023 3607642112 737123 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 880772 737123 2528 1147 0 868198 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 3527280 KiB
Current children cumulated memory: 2951436 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.52 4.45 5/272 143472
/proc/meminfo: memFree=1027436/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3523088 memory=2949132 CPUtime=3391.98 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 470982 0 1 0 335389 3809 0 0 20 0 1 0 183983023 3607642112 737283 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 880772 737283 2528 1147 0 868198 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 3527280 KiB
Current children cumulated memory: 2952076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.46 4.51 4.45 5/271 143474
/proc/meminfo: memFree=924716/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3559116 memory=2985600 CPUtime=3451.82 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 473329 0 1 0 341315 3867 0 0 20 0 1 0 183983023 3644534784 746400 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 889779 746400 2528 1147 0 877205 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 3563308 KiB
Current children cumulated memory: 2988544 KiB
[startup+3522.3 s]
/proc/loadavg: 4.57 4.53 4.46 5/269 143476
/proc/meminfo: memFree=1078460/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3559116 memory=2999296 CPUtime=3511.67 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 477944 0 1 0 347233 3934 0 0 20 0 1 0 183983023 3644534784 749824 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 889779 749824 2528 1147 0 877205 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 3563308 KiB
Current children cumulated memory: 3002240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.69 4.56 4.47 5/272 143481
/proc/meminfo: memFree=1037040/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3566296 memory=3052336 CPUtime=3571.52 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 484752 0 1 0 353153 3999 0 0 20 0 1 0 183983023 3651887104 763084 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 891574 763084 2528 1147 0 879000 0
Current children cumulated CPU time: 3572.17 s
Current children cumulated vsize: 3570488 KiB
Current children cumulated memory: 3055280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.98 4.63 4.50 3/266 143515
/proc/meminfo: memFree=7293704/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3566296 memory=3052336 CPUtime=3599.45 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 485196 0 1 0 355919 4026 0 0 20 0 1 0 183983023 3651887104 763084 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 891574 763084 2528 1147 0 879000 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3570488 KiB
Current children cumulated memory: 3055280 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 143272 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.617708 s, system=0.045309 s
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 143277 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3559.82 s, system=40.394 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+3610.3 s]
/proc/loadavg: 4.98 4.63 4.50 3/266 143515
/proc/meminfo: memFree=7293704/131249996 swapFree=33006296/33010684
[pid=143272] ppid=143268 vsize=4192 memory=2944 CPUtime=0.65 cores=1,3
/proc/143272/stat : 143272 (run-opt-break-l) S 143268 143272 143088 0 -1 4194304 235 12721 0 0 0 0 61 4 20 0 1 0 183982956 4292608 736 18446744073709551615 94670844588032 94670845482565 140735937699584 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94670845721616 94670845769360 94670868631552 140735937702201 140735937702364 140735937702364 140735937707968 0
/proc/143272/statm: 1048 736 672 219 0 110 0
[pid=143277] ppid=143272 vsize=3566296 memory=3052336 CPUtime=3599.45 cores=1,3
/proc/143277/stat : 143277 (roundingsat) R 143272 143272 143088 0 -1 4194304 485196 0 1 0 355919 4026 0 0 20 0 1 0 183983023 3651887104 763084 18446744073709551615 4227072 8923577 140730319517632 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9827200 9836688 35917824 140730319522104 140730319522342 140730319522342 140730319527914 0
/proc/143277/statm: 891574 763084 2528 1147 0 879000 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3570488 KiB
Current children cumulated memory: 3055280 KiB
Child status: 2
Real time (s): 3610.4
CPU time (s): 3600.22
CPU user time (s): 3559.82
CPU system time (s): 40.394
CPU usage (%): 99.718
Max. virtual memory (cumulated for all children) (KiB): 3570488
Max. memory (cumulated for all children) (KiB): 3055280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.82
system time used= 40.394
maximum resident set size= 3052592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498247
page faults= 1
swaps= 0
block input operations= 3624
block output operations= 69328472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 8067
# summary of solver processes directly reported to runsolver:
# pid: 143272,143277
# total CPU time (s): 3600.22
# total CPU user time (s): 3559.82
# total CPU system time (s): 40.394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.94376 second user time and 17.8165 second system time
The end
Begin job on nodeC015 at 2025-07-16 18:24:15
IDJOB=4532558
IDBENCH=155319
IDSOLVER=3393
FILE ID=nodeC015/4532558-1752683054
RUNJOBID= nodeC015-1752683054-143212
SLURM_JOB_ID= 9686910
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532558-1752683054/watcher-4532558-1752683054 -o /tmp/evaluation-result-4532558-1752683054/solver-4532558-1752683054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752683054-143212 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532558-1752683054.opb /tmp/proof-4532558-1752683054
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=712087461
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.563
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.192
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.574
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.258
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 103887336 kB
MemAvailable: 129598724 kB
Buffers: 1508 kB
Cached: 26482572 kB
SwapCached: 3880 kB
Active: 457328 kB
Inactive: 26108232 kB
Active(anon): 55412 kB
Inactive(anon): 48412 kB
Active(file): 401916 kB
Inactive(file): 26059820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49904 kB
Writeback: 0 kB
AnonPages: 80744 kB
Mapped: 104848 kB
Shmem: 22344 kB
KReclaimable: 177780 kB
Slab: 275392 kB
SReclaimable: 177780 kB
SUnreclaim: 97612 kB
KernelStack: 4048 kB
PageTables: 2656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 355916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 260964 MiB
End job on nodeC015 at 2025-07-16 19:24:25