0.00/0.11 c RoundingSat 2
0.00/0.11 c branch
0.00/0.11 c commit
0.00/0.11 c with Papilo
0.00/0.11 c with SCIP
0.00/0.11 c [STEP] parsing instance
1.28/1.49 c [STEP] preprocessing with Papilo
3.17/3.32 c Papilo could not simplify the problem
3.17/3.32 c [STEP] solving with SCIP
303.90/305.33 c [STEP] preprocessing done, loading into solver
305.00/306.40 c [STEP] solving
305.00/306.40 c #variables 10001 #constraints 656900
305.00/306.40 c SMALL=int, LARGE=long long
305.00/306.40 d SCIPUB 491652
305.00/306.40 c bounds - >= 0 @ 303.387
305.00/306.40 c stratification level: 98
305.10/306.57 c bounds 7310 >= 0 @ 303.541
305.10/306.57 c stratification level: 97
305.10/306.58 c bounds 7245 >= 0 @ 303.547
305.10/306.58 c stratification level: 96
305.10/306.59 c bounds 7010 >= 0 @ 303.551
305.10/306.59 c stratification level: 95
305.10/306.59 c bounds 6671 >= 0 @ 303.557
305.10/306.59 c stratification level: 94
305.20/306.63 c bounds 6664 >= 0 @ 303.584
305.20/306.63 c stratification level: 93
305.20/306.63 c bounds 6604 >= 0 @ 303.59
305.20/306.63 c stratification level: 92
305.20/306.64 c bounds 6541 >= 0 @ 303.596
305.20/306.64 c stratification level: 91
305.20/306.64 c bounds 6371 >= 0 @ 303.6
305.20/306.64 c stratification level: 90
305.30/306.76 c bounds 6369 >= 0 @ 303.711
305.30/306.76 c stratification level: 89
305.30/306.76 c bounds 6280 >= 0 @ 303.717
305.30/306.76 c stratification level: 88
305.30/306.77 c bounds 6128 >= 0 @ 303.721
305.30/306.77 c stratification level: 87
305.30/306.77 c bounds 6098 >= 0 @ 303.726
305.30/306.77 c stratification level: 86
305.30/306.79 c bounds 6087 >= 0 @ 303.741
305.30/306.79 c stratification level: 85
305.40/306.80 c bounds 6031 >= 0 @ 303.746
305.40/306.80 c stratification level: 84
305.40/306.80 c bounds 5995 >= 0 @ 303.75
305.40/306.80 c stratification level: 83
305.40/306.85 c bounds 5940 >= 0 @ 303.796
305.40/306.85 c stratification level: 82
305.40/306.86 c bounds 5887 >= 0 @ 303.801
305.40/306.86 c stratification level: 81
305.40/306.86 c bounds 5883 >= 0 @ 303.807
305.40/306.86 c stratification level: 80
305.40/306.87 c bounds 5730 >= 0 @ 303.811
305.40/306.87 c stratification level: 79
305.40/306.88 c bounds 5679 >= 0 @ 303.818
305.40/306.88 c stratification level: 78
305.40/306.89 c bounds 5653 >= 0 @ 303.83
305.40/306.89 c stratification level: 77
305.50/306.90 c bounds 5563 >= 0 @ 303.835
305.50/306.90 c stratification level: 76
305.50/306.90 c bounds 5427 >= 0 @ 303.841
305.50/306.90 c stratification level: 75
305.50/306.91 c bounds 5352 >= 0 @ 303.846
305.50/306.91 c stratification level: 74
305.50/306.92 c bounds 5313 >= 0 @ 303.849
305.50/306.92 c stratification level: 73
305.50/306.93 c bounds 5245 >= 0 @ 303.852
305.50/306.93 c stratification level: 72
305.50/306.93 c bounds 5142 >= 0 @ 303.857
305.50/306.93 c stratification level: 71
305.50/306.94 c bounds 5097 >= 0 @ 303.861
305.50/306.94 c stratification level: 70
305.50/306.95 c bounds 4940 >= 0 @ 303.867
305.50/306.95 c stratification level: 69
305.50/306.96 c bounds 4932 >= 0 @ 303.87
305.50/306.96 c stratification level: 68
305.50/306.97 c bounds 4660 >= 0 @ 303.878
305.50/306.97 c stratification level: 67
305.50/306.98 c bounds 4543 >= 0 @ 303.886
305.50/306.98 c stratification level: 66
305.60/307.00 c bounds 4521 >= 0 @ 303.91
305.60/307.00 c stratification level: 65
305.60/307.01 c bounds 4416 >= 0 @ 303.915
305.60/307.01 c stratification level: 64
305.60/307.02 c bounds 4402 >= 0 @ 303.92
305.60/307.02 c stratification level: 63
305.60/307.03 c bounds 4330 >= 0 @ 303.926
305.60/307.03 c stratification level: 62
305.60/307.04 c bounds 4192 >= 0 @ 303.932
305.60/307.04 c stratification level: 61
305.60/307.06 c bounds 4185 >= 0 @ 303.944
305.60/307.06 c stratification level: 60
305.60/307.07 c bounds 4086 >= 0 @ 303.95
305.60/307.07 c stratification level: 59
305.60/307.07 c bounds 4027 >= 0 @ 303.956
305.60/307.07 c stratification level: 58
305.60/307.08 c bounds 3983 >= 0 @ 303.962
305.60/307.08 c stratification level: 57
305.60/307.10 c bounds 3942 >= 0 @ 303.969
305.60/307.10 c stratification level: 56
305.71/307.10 c bounds 3890 >= 0 @ 303.975
305.71/307.10 c stratification level: 55
305.71/307.11 c bounds 3835 >= 0 @ 303.979
305.71/307.11 c stratification level: 54
305.71/307.12 c bounds 3797 >= 0 @ 303.987
305.71/307.12 c stratification level: 53
305.71/307.13 c bounds 3744 >= 0 @ 303.993
305.71/307.13 c stratification level: 52
305.71/307.14 c bounds 3437 >= 0 @ 304
305.71/307.14 c stratification level: 51
305.71/307.15 c bounds 3269 >= 0 @ 304.006
305.71/307.15 c stratification level: 50
305.71/307.16 c bounds 3260 >= 0 @ 304.012
305.71/307.16 c stratification level: 49
305.71/307.17 c bounds 3247 >= 0 @ 304.018
305.71/307.17 c stratification level: 48
305.71/307.18 c bounds 3215 >= 0 @ 304.026
305.71/307.18 c stratification level: 47
305.71/307.19 c bounds 3164 >= 0 @ 304.034
305.71/307.19 c stratification level: 46
305.80/307.20 c bounds 3052 >= 0 @ 304.041
305.80/307.20 c stratification level: 45
305.80/307.21 c bounds 2911 >= 0 @ 304.048
305.80/307.21 c stratification level: 44
305.80/307.22 c bounds 2736 >= 0 @ 304.055
305.80/307.22 c stratification level: 43
305.80/307.23 c bounds 2683 >= 0 @ 304.06
305.80/307.23 c stratification level: 42
305.80/307.24 c bounds 2599 >= 0 @ 304.066
305.80/307.24 c stratification level: 41
305.80/307.25 c bounds 2585 >= 0 @ 304.07
305.80/307.25 c stratification level: 40
305.80/307.26 c bounds 2547 >= 0 @ 304.076
305.80/307.26 c stratification level: 39
305.80/307.27 c bounds 2544 >= 0 @ 304.082
305.80/307.27 c stratification level: 38
305.80/307.28 c bounds 2494 >= 0 @ 304.086
305.80/307.28 c stratification level: 37
305.80/307.29 c bounds 2447 >= 0 @ 304.093
305.80/307.29 c stratification level: 36
305.90/307.31 c bounds 2282 >= 0 @ 304.101
305.90/307.31 c stratification level: 35
305.90/307.32 c bounds 2055 >= 0 @ 304.11
305.90/307.32 c stratification level: 34
305.90/307.34 c bounds 2037 >= 0 @ 304.115
305.90/307.34 c stratification level: 33
305.90/307.35 c bounds 2002 >= 0 @ 304.125
305.90/307.35 c stratification level: 32
306.00/307.42 c bounds 1875 >= 0 @ 304.19
306.00/307.42 c stratification level: 31
306.00/307.43 c bounds 1782 >= 0 @ 304.196
306.00/307.43 c stratification level: 30
306.00/307.44 c bounds 1711 >= 0 @ 304.205
306.00/307.44 c stratification level: 29
306.00/307.45 c bounds 1623 >= 0 @ 304.211
306.00/307.45 c stratification level: 28
306.00/307.47 c bounds 1554 >= 0 @ 304.217
306.00/307.47 c stratification level: 27
306.00/307.49 c bounds 1549 >= 0 @ 304.238
306.00/307.49 c stratification level: 26
306.10/307.50 c bounds 1471 >= 0 @ 304.246
306.10/307.50 c stratification level: 25
306.10/307.52 c bounds 1407 >= 0 @ 304.253
306.10/307.52 c stratification level: 24
306.10/307.55 c bounds 1406 >= 0 @ 304.28
306.10/307.55 c stratification level: 23
306.10/307.56 c bounds 1382 >= 0 @ 304.287
306.10/307.56 c stratification level: 22
306.10/307.58 c bounds 1283 >= 0 @ 304.295
306.10/307.58 c stratification level: 21
306.10/307.59 c bounds 1241 >= 0 @ 304.302
306.10/307.59 c stratification level: 20
306.20/307.61 c bounds 1141 >= 0 @ 304.316
306.20/307.61 c stratification level: 19
306.20/307.63 c bounds 1061 >= 0 @ 304.32
306.20/307.63 c stratification level: 18
306.49/307.92 c #Conflicts: 1000 | #Constraints: 657979
306.49/307.92 c bounds 1057 >= 0 @ 304.603
306.49/307.92 c stratification level: 17
306.49/307.93 c bounds 1013 >= 0 @ 304.611
306.49/307.93 c stratification level: 16
306.70/308.18 c bounds 896 >= 0 @ 304.829
306.70/308.18 c stratification level: 15
306.79/308.21 c bounds 894 >= 0 @ 304.854
306.79/308.21 c stratification level: 14
306.79/308.28 c bounds 893 >= 0 @ 304.91
306.79/308.28 c stratification level: 13
306.90/308.31 c bounds 833 >= 0 @ 304.933
306.90/308.31 c stratification level: 12
306.90/308.32 c bounds 696 >= 0 @ 304.94
306.90/308.32 c stratification level: 11
307.10/308.54 c bounds 604 >= 0 @ 305.14
307.10/308.54 c stratification level: 10
307.60/309.06 c #Conflicts: 2000 | #Constraints: 658987
307.60/309.06 c INPROCESSING
307.60/309.06 c GARBAGE COLLECT
307.60/309.06 c bounds 546 >= 0 @ 305.636
307.60/309.06 c stratification level: 9
308.99/310.48 c #Conflicts: 3000 | #Constraints: 658910
308.99/310.48 c bounds 460 >= 0 @ 307.006
308.99/310.48 c stratification level: 8
313.18/314.63 c bounds 460 >= 8 @ 307.01
313.18/314.63 c #Conflicts: 4000 | #Constraints: 659912
313.18/314.63 c INPROCESSING
313.18/314.63 c GARBAGE COLLECT
313.18/314.63 c #Conflicts: 5000 | #Constraints: 659314
313.18/314.63 c #Conflicts: 6000 | #Constraints: 660314
313.18/314.63 c INPROCESSING
313.18/314.63 c GARBAGE COLLECT
313.18/314.63 c #Conflicts: 7000 | #Constraints: 659323
313.18/314.63 c finalizing WCE round: reformulating cores
313.18/314.66 c bounds 412 >= 8 @ 311.054
313.18/314.66 c bounds 411 >= 8 @ 311.061
313.18/314.66 c stratification level: 7
317.37/318.81 c #Conflicts: 8000 | #Constraints: 660328
317.37/318.81 c #Conflicts: 9000 | #Constraints: 661328
317.37/318.81 c INPROCESSING
317.37/318.81 c GARBAGE COLLECT
317.37/318.81 c #Conflicts: 10000 | #Constraints: 660023
317.37/318.81 c #Conflicts: 11000 | #Constraints: 661023
317.37/318.81 c bounds 405 >= 8 @ 315.075
317.37/318.81 c stratification level: 6
414.44/416.14 c #Conflicts: 12000 | #Constraints: 662024
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 13000 | #Constraints: 660479
414.44/416.14 c #Conflicts: 14000 | #Constraints: 661479
414.44/416.14 c #Conflicts: 15000 | #Constraints: 662479
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 16000 | #Constraints: 660715
414.44/416.14 c #Conflicts: 17000 | #Constraints: 661715
414.44/416.14 c #Conflicts: 18000 | #Constraints: 662715
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 19000 | #Constraints: 660732
414.44/416.14 c #Conflicts: 20000 | #Constraints: 661732
414.44/416.14 c #Conflicts: 21000 | #Constraints: 662732
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 22000 | #Constraints: 660546
414.44/416.14 c #Conflicts: 23000 | #Constraints: 661546
414.44/416.14 c #Conflicts: 24000 | #Constraints: 662546
414.44/416.14 c #Conflicts: 25000 | #Constraints: 663546
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 26000 | #Constraints: 661152
414.44/416.14 c #Conflicts: 27000 | #Constraints: 662152
414.44/416.14 c #Conflicts: 28000 | #Constraints: 663152
414.44/416.14 c #Conflicts: 29000 | #Constraints: 664152
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 30000 | #Constraints: 661557
414.44/416.14 c #Conflicts: 31000 | #Constraints: 662557
414.44/416.14 c #Conflicts: 32000 | #Constraints: 663557
414.44/416.14 c #Conflicts: 33000 | #Constraints: 664557
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 34000 | #Constraints: 661764
414.44/416.14 c #Conflicts: 35000 | #Constraints: 662764
414.44/416.14 c #Conflicts: 36000 | #Constraints: 663764
414.44/416.14 c #Conflicts: 37000 | #Constraints: 664764
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 38000 | #Constraints: 661762
414.44/416.14 c #Conflicts: 39000 | #Constraints: 662762
414.44/416.14 c #Conflicts: 40000 | #Constraints: 663762
414.44/416.14 c #Conflicts: 41000 | #Constraints: 664762
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 42000 | #Constraints: 661579
414.44/416.14 c #Conflicts: 43000 | #Constraints: 662579
414.44/416.14 c #Conflicts: 44000 | #Constraints: 663579
414.44/416.14 c #Conflicts: 45000 | #Constraints: 664579
414.44/416.14 c #Conflicts: 46000 | #Constraints: 665579
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 47000 | #Constraints: 662176
414.44/416.14 c #Conflicts: 48000 | #Constraints: 663176
414.44/416.14 c #Conflicts: 49000 | #Constraints: 664176
414.44/416.14 c #Conflicts: 50000 | #Constraints: 665176
414.44/416.14 c #Conflicts: 51000 | #Constraints: 666176
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 52000 | #Constraints: 662577
414.44/416.14 c #Conflicts: 53000 | #Constraints: 663577
414.44/416.14 c #Conflicts: 54000 | #Constraints: 664577
414.44/416.14 c #Conflicts: 55000 | #Constraints: 665577
414.44/416.14 c #Conflicts: 56000 | #Constraints: 666577
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 57000 | #Constraints: 662777
414.44/416.14 c #Conflicts: 58000 | #Constraints: 663777
414.44/416.14 c #Conflicts: 59000 | #Constraints: 664777
414.44/416.14 c #Conflicts: 60000 | #Constraints: 665777
414.44/416.14 c #Conflicts: 61000 | #Constraints: 666777
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 62000 | #Constraints: 662787
414.44/416.14 c #Conflicts: 63000 | #Constraints: 663787
414.44/416.14 c #Conflicts: 64000 | #Constraints: 664787
414.44/416.14 c #Conflicts: 65000 | #Constraints: 665787
414.44/416.14 c #Conflicts: 66000 | #Constraints: 666787
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 67000 | #Constraints: 662582
414.44/416.14 c #Conflicts: 68000 | #Constraints: 663582
414.44/416.14 c #Conflicts: 69000 | #Constraints: 664582
414.44/416.14 c #Conflicts: 70000 | #Constraints: 665582
414.44/416.14 c #Conflicts: 71000 | #Constraints: 666582
414.44/416.14 c #Conflicts: 72000 | #Constraints: 667582
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 73000 | #Constraints: 663172
414.44/416.14 c #Conflicts: 74000 | #Constraints: 664172
414.44/416.14 c #Conflicts: 75000 | #Constraints: 665172
414.44/416.14 c #Conflicts: 76000 | #Constraints: 666172
414.44/416.14 c #Conflicts: 77000 | #Constraints: 667172
414.44/416.14 c #Conflicts: 78000 | #Constraints: 668172
414.44/416.14 c INPROCESSING
414.44/416.14 c GARBAGE COLLECT
414.44/416.14 c #Conflicts: 79000 | #Constraints: 663586
414.44/416.14 c #Conflicts: 80000 | #Constraints: 664586
526.47/528.45 c #Conflicts: 81000 | #Constraints: 665586
526.47/528.45 c #Conflicts: 82000 | #Constraints: 666586
526.47/528.45 c #Conflicts: 83000 | #Constraints: 667586
526.47/528.45 c #Conflicts: 84000 | #Constraints: 668586
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 85000 | #Constraints: 663785
526.47/528.45 c #Conflicts: 86000 | #Constraints: 664785
526.47/528.45 c #Conflicts: 87000 | #Constraints: 665785
526.47/528.45 c #Conflicts: 88000 | #Constraints: 666785
526.47/528.45 c #Conflicts: 89000 | #Constraints: 667785
526.47/528.45 c #Conflicts: 90000 | #Constraints: 668785
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 91000 | #Constraints: 663781
526.47/528.45 c #Conflicts: 92000 | #Constraints: 664781
526.47/528.45 c #Conflicts: 93000 | #Constraints: 665781
526.47/528.45 c #Conflicts: 94000 | #Constraints: 666781
526.47/528.45 c #Conflicts: 95000 | #Constraints: 667781
526.47/528.45 c #Conflicts: 96000 | #Constraints: 668781
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 97000 | #Constraints: 663596
526.47/528.45 c #Conflicts: 98000 | #Constraints: 664596
526.47/528.45 c #Conflicts: 99000 | #Constraints: 665596
526.47/528.45 c #Conflicts: 100000 | #Constraints: 666596
526.47/528.45 c #Conflicts: 101000 | #Constraints: 667596
526.47/528.45 c #Conflicts: 102000 | #Constraints: 668596
526.47/528.45 c #Conflicts: 103000 | #Constraints: 669596
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 104000 | #Constraints: 664187
526.47/528.45 c #Conflicts: 105000 | #Constraints: 665187
526.47/528.45 c #Conflicts: 106000 | #Constraints: 666187
526.47/528.45 c #Conflicts: 107000 | #Constraints: 667187
526.47/528.45 c #Conflicts: 108000 | #Constraints: 668187
526.47/528.45 c #Conflicts: 109000 | #Constraints: 669187
526.47/528.45 c #Conflicts: 110000 | #Constraints: 670187
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 111000 | #Constraints: 664608
526.47/528.45 c #Conflicts: 112000 | #Constraints: 665608
526.47/528.45 c #Conflicts: 113000 | #Constraints: 666608
526.47/528.45 c #Conflicts: 114000 | #Constraints: 667608
526.47/528.45 c #Conflicts: 115000 | #Constraints: 668608
526.47/528.45 c #Conflicts: 116000 | #Constraints: 669608
526.47/528.45 c #Conflicts: 117000 | #Constraints: 670608
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 118000 | #Constraints: 664800
526.47/528.45 c #Conflicts: 119000 | #Constraints: 665800
526.47/528.45 c #Conflicts: 120000 | #Constraints: 666800
526.47/528.45 c #Conflicts: 121000 | #Constraints: 667800
526.47/528.45 c #Conflicts: 122000 | #Constraints: 668800
526.47/528.45 c #Conflicts: 123000 | #Constraints: 669800
526.47/528.45 c #Conflicts: 124000 | #Constraints: 670800
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 125000 | #Constraints: 664791
526.47/528.45 c #Conflicts: 126000 | #Constraints: 665791
526.47/528.45 c #Conflicts: 127000 | #Constraints: 666791
526.47/528.45 c #Conflicts: 128000 | #Constraints: 667791
526.47/528.45 c #Conflicts: 129000 | #Constraints: 668791
526.47/528.45 c #Conflicts: 130000 | #Constraints: 669791
526.47/528.45 c #Conflicts: 131000 | #Constraints: 670791
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 132000 | #Constraints: 664587
526.47/528.45 c #Conflicts: 133000 | #Constraints: 665587
526.47/528.45 c #Conflicts: 134000 | #Constraints: 666587
526.47/528.45 c #Conflicts: 135000 | #Constraints: 667587
526.47/528.45 c #Conflicts: 136000 | #Constraints: 668587
526.47/528.45 c #Conflicts: 137000 | #Constraints: 669587
526.47/528.45 c #Conflicts: 138000 | #Constraints: 670587
526.47/528.45 c #Conflicts: 139000 | #Constraints: 671587
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 140000 | #Constraints: 665184
526.47/528.45 c #Conflicts: 141000 | #Constraints: 666184
526.47/528.45 c #Conflicts: 142000 | #Constraints: 667184
526.47/528.45 c #Conflicts: 143000 | #Constraints: 668184
526.47/528.45 c #Conflicts: 144000 | #Constraints: 669184
526.47/528.45 c #Conflicts: 145000 | #Constraints: 670184
526.47/528.45 c #Conflicts: 146000 | #Constraints: 671184
526.47/528.45 c #Conflicts: 147000 | #Constraints: 672184
526.47/528.45 c INPROCESSING
526.47/528.45 c GARBAGE COLLECT
526.47/528.45 c #Conflicts: 148000 | #Constraints: 665597
526.47/528.45 c #Conflicts: 149000 | #Constraints: 666597
526.47/528.45 c #Conflicts: 150000 | #Constraints: 667597
526.47/528.45 c #Conflicts: 151000 | #Constraints: 668597
526.47/528.45 c #Conflicts: 152000 | #Constraints: 669597
526.47/528.45 c #Conflicts: 153000 | #Constraints: 670597
644.79/647.04 c #Conflicts: 154000 | #Constraints: 671597
644.79/647.04 c #Conflicts: 155000 | #Constraints: 672597
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 156000 | #Constraints: 665787
644.79/647.04 c #Conflicts: 157000 | #Constraints: 666787
644.79/647.04 c #Conflicts: 158000 | #Constraints: 667787
644.79/647.04 c #Conflicts: 159000 | #Constraints: 668787
644.79/647.04 c #Conflicts: 160000 | #Constraints: 669787
644.79/647.04 c #Conflicts: 161000 | #Constraints: 670787
644.79/647.04 c #Conflicts: 162000 | #Constraints: 671787
644.79/647.04 c #Conflicts: 163000 | #Constraints: 672787
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 164000 | #Constraints: 665788
644.79/647.04 c #Conflicts: 165000 | #Constraints: 666788
644.79/647.04 c #Conflicts: 166000 | #Constraints: 667788
644.79/647.04 c #Conflicts: 167000 | #Constraints: 668788
644.79/647.04 c #Conflicts: 168000 | #Constraints: 669788
644.79/647.04 c #Conflicts: 169000 | #Constraints: 670788
644.79/647.04 c #Conflicts: 170000 | #Constraints: 671788
644.79/647.04 c #Conflicts: 171000 | #Constraints: 672788
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 172000 | #Constraints: 665605
644.79/647.04 c #Conflicts: 173000 | #Constraints: 666605
644.79/647.04 c #Conflicts: 174000 | #Constraints: 667605
644.79/647.04 c #Conflicts: 175000 | #Constraints: 668605
644.79/647.04 c #Conflicts: 176000 | #Constraints: 669605
644.79/647.04 c #Conflicts: 177000 | #Constraints: 670605
644.79/647.04 c #Conflicts: 178000 | #Constraints: 671605
644.79/647.04 c #Conflicts: 179000 | #Constraints: 672605
644.79/647.04 c #Conflicts: 180000 | #Constraints: 673605
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 181000 | #Constraints: 666201
644.79/647.04 c #Conflicts: 182000 | #Constraints: 667201
644.79/647.04 c #Conflicts: 183000 | #Constraints: 668201
644.79/647.04 c #Conflicts: 184000 | #Constraints: 669201
644.79/647.04 c #Conflicts: 185000 | #Constraints: 670201
644.79/647.04 c #Conflicts: 186000 | #Constraints: 671201
644.79/647.04 c #Conflicts: 187000 | #Constraints: 672201
644.79/647.04 c #Conflicts: 188000 | #Constraints: 673201
644.79/647.04 c #Conflicts: 189000 | #Constraints: 674201
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 190000 | #Constraints: 666606
644.79/647.04 c #Conflicts: 191000 | #Constraints: 667606
644.79/647.04 c #Conflicts: 192000 | #Constraints: 668606
644.79/647.04 c #Conflicts: 193000 | #Constraints: 669606
644.79/647.04 c #Conflicts: 194000 | #Constraints: 670606
644.79/647.04 c #Conflicts: 195000 | #Constraints: 671606
644.79/647.04 c #Conflicts: 196000 | #Constraints: 672606
644.79/647.04 c #Conflicts: 197000 | #Constraints: 673606
644.79/647.04 c #Conflicts: 198000 | #Constraints: 674606
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 199000 | #Constraints: 666799
644.79/647.04 c #Conflicts: 200000 | #Constraints: 667799
644.79/647.04 c #Conflicts: 201000 | #Constraints: 668799
644.79/647.04 c #Conflicts: 202000 | #Constraints: 669799
644.79/647.04 c #Conflicts: 203000 | #Constraints: 670799
644.79/647.04 c #Conflicts: 204000 | #Constraints: 671799
644.79/647.04 c #Conflicts: 205000 | #Constraints: 672799
644.79/647.04 c #Conflicts: 206000 | #Constraints: 673799
644.79/647.04 c #Conflicts: 207000 | #Constraints: 674799
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 208000 | #Constraints: 666802
644.79/647.04 c #Conflicts: 209000 | #Constraints: 667802
644.79/647.04 c #Conflicts: 210000 | #Constraints: 668802
644.79/647.04 c #Conflicts: 211000 | #Constraints: 669802
644.79/647.04 c #Conflicts: 212000 | #Constraints: 670802
644.79/647.04 c #Conflicts: 213000 | #Constraints: 671802
644.79/647.04 c #Conflicts: 214000 | #Constraints: 672802
644.79/647.04 c #Conflicts: 215000 | #Constraints: 673802
644.79/647.04 c #Conflicts: 216000 | #Constraints: 674802
644.79/647.04 c INPROCESSING
644.79/647.04 c GARBAGE COLLECT
644.79/647.04 c #Conflicts: 217000 | #Constraints: 666615
644.79/647.04 c #Conflicts: 218000 | #Constraints: 667615
644.79/647.04 c #Conflicts: 219000 | #Constraints: 668615
644.79/647.04 c #Conflicts: 220000 | #Constraints: 669615
644.79/647.04 c #Conflicts: 221000 | #Constraints: 670615
644.79/647.04 c #Conflicts: 222000 | #Constraints: 671615
644.79/647.04 c #Conflicts: 223000 | #Constraints: 672615
644.79/647.04 c #Conflicts: 224000 | #Constraints: 673615
644.79/647.04 c #Conflicts: 225000 | #Constraints: 674615
644.79/647.04 c #Conflicts: 226000 | #Constraints: 675615
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 227000 | #Constraints: 667204
766.39/768.90 c #Conflicts: 228000 | #Constraints: 668204
766.39/768.90 c #Conflicts: 229000 | #Constraints: 669204
766.39/768.90 c #Conflicts: 230000 | #Constraints: 670204
766.39/768.90 c #Conflicts: 231000 | #Constraints: 671204
766.39/768.90 c #Conflicts: 232000 | #Constraints: 672204
766.39/768.90 c #Conflicts: 233000 | #Constraints: 673204
766.39/768.90 c #Conflicts: 234000 | #Constraints: 674204
766.39/768.90 c #Conflicts: 235000 | #Constraints: 675204
766.39/768.90 c #Conflicts: 236000 | #Constraints: 676204
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 237000 | #Constraints: 667605
766.39/768.90 c #Conflicts: 238000 | #Constraints: 668605
766.39/768.90 c #Conflicts: 239000 | #Constraints: 669605
766.39/768.90 c #Conflicts: 240000 | #Constraints: 670605
766.39/768.90 c #Conflicts: 241000 | #Constraints: 671605
766.39/768.90 c #Conflicts: 242000 | #Constraints: 672605
766.39/768.90 c #Conflicts: 243000 | #Constraints: 673605
766.39/768.90 c #Conflicts: 244000 | #Constraints: 674605
766.39/768.90 c #Conflicts: 245000 | #Constraints: 675605
766.39/768.90 c #Conflicts: 246000 | #Constraints: 676605
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 247000 | #Constraints: 667804
766.39/768.90 c #Conflicts: 248000 | #Constraints: 668804
766.39/768.90 c #Conflicts: 249000 | #Constraints: 669804
766.39/768.90 c #Conflicts: 250000 | #Constraints: 670804
766.39/768.90 c #Conflicts: 251000 | #Constraints: 671804
766.39/768.90 c #Conflicts: 252000 | #Constraints: 672804
766.39/768.90 c #Conflicts: 253000 | #Constraints: 673804
766.39/768.90 c #Conflicts: 254000 | #Constraints: 674804
766.39/768.90 c #Conflicts: 255000 | #Constraints: 675804
766.39/768.90 c #Conflicts: 256000 | #Constraints: 676804
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 257000 | #Constraints: 667791
766.39/768.90 c #Conflicts: 258000 | #Constraints: 668791
766.39/768.90 c #Conflicts: 259000 | #Constraints: 669791
766.39/768.90 c #Conflicts: 260000 | #Constraints: 670791
766.39/768.90 c #Conflicts: 261000 | #Constraints: 671791
766.39/768.90 c #Conflicts: 262000 | #Constraints: 672791
766.39/768.90 c #Conflicts: 263000 | #Constraints: 673791
766.39/768.90 c #Conflicts: 264000 | #Constraints: 674791
766.39/768.90 c #Conflicts: 265000 | #Constraints: 675791
766.39/768.90 c #Conflicts: 266000 | #Constraints: 676791
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 267000 | #Constraints: 667586
766.39/768.90 c #Conflicts: 268000 | #Constraints: 668586
766.39/768.90 c #Conflicts: 269000 | #Constraints: 669586
766.39/768.90 c #Conflicts: 270000 | #Constraints: 670586
766.39/768.90 c #Conflicts: 271000 | #Constraints: 671586
766.39/768.90 c #Conflicts: 272000 | #Constraints: 672586
766.39/768.90 c #Conflicts: 273000 | #Constraints: 673586
766.39/768.90 c #Conflicts: 274000 | #Constraints: 674586
766.39/768.90 c #Conflicts: 275000 | #Constraints: 675586
766.39/768.90 c #Conflicts: 276000 | #Constraints: 676586
766.39/768.90 c #Conflicts: 277000 | #Constraints: 677586
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 278000 | #Constraints: 668189
766.39/768.90 c #Conflicts: 279000 | #Constraints: 669189
766.39/768.90 c #Conflicts: 280000 | #Constraints: 670189
766.39/768.90 c #Conflicts: 281000 | #Constraints: 671189
766.39/768.90 c #Conflicts: 282000 | #Constraints: 672189
766.39/768.90 c #Conflicts: 283000 | #Constraints: 673189
766.39/768.90 c #Conflicts: 284000 | #Constraints: 674189
766.39/768.90 c #Conflicts: 285000 | #Constraints: 675189
766.39/768.90 c #Conflicts: 286000 | #Constraints: 676189
766.39/768.90 c #Conflicts: 287000 | #Constraints: 677189
766.39/768.90 c #Conflicts: 288000 | #Constraints: 678189
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 289000 | #Constraints: 668593
766.39/768.90 c #Conflicts: 290000 | #Constraints: 669593
766.39/768.90 c #Conflicts: 291000 | #Constraints: 670593
766.39/768.90 c #Conflicts: 292000 | #Constraints: 671593
766.39/768.90 c #Conflicts: 293000 | #Constraints: 672593
766.39/768.90 c #Conflicts: 294000 | #Constraints: 673593
766.39/768.90 c #Conflicts: 295000 | #Constraints: 674593
766.39/768.90 c #Conflicts: 296000 | #Constraints: 675593
766.39/768.90 c #Conflicts: 297000 | #Constraints: 676593
766.39/768.90 c #Conflicts: 298000 | #Constraints: 677593
766.39/768.90 c #Conflicts: 299000 | #Constraints: 678593
766.39/768.90 c INPROCESSING
766.39/768.90 c GARBAGE COLLECT
766.39/768.90 c #Conflicts: 300000 | #Constraints: 668795
891.20/894.00 c #Conflicts: 301000 | #Constraints: 669795
891.20/894.00 c #Conflicts: 302000 | #Constraints: 670795
891.20/894.00 c #Conflicts: 303000 | #Constraints: 671795
891.20/894.00 c #Conflicts: 304000 | #Constraints: 672795
891.20/894.00 c #Conflicts: 305000 | #Constraints: 673795
891.20/894.00 c #Conflicts: 306000 | #Constraints: 674795
891.20/894.00 c #Conflicts: 307000 | #Constraints: 675795
891.20/894.00 c #Conflicts: 308000 | #Constraints: 676795
891.20/894.00 c #Conflicts: 309000 | #Constraints: 677795
891.20/894.00 c #Conflicts: 310000 | #Constraints: 678795
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 311000 | #Constraints: 668792
891.20/894.00 c #Conflicts: 312000 | #Constraints: 669792
891.20/894.00 c #Conflicts: 313000 | #Constraints: 670792
891.20/894.00 c #Conflicts: 314000 | #Constraints: 671792
891.20/894.00 c #Conflicts: 315000 | #Constraints: 672792
891.20/894.00 c #Conflicts: 316000 | #Constraints: 673792
891.20/894.00 c #Conflicts: 317000 | #Constraints: 674792
891.20/894.00 c #Conflicts: 318000 | #Constraints: 675792
891.20/894.00 c #Conflicts: 319000 | #Constraints: 676792
891.20/894.00 c #Conflicts: 320000 | #Constraints: 677792
891.20/894.00 c #Conflicts: 321000 | #Constraints: 678792
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 322000 | #Constraints: 668607
891.20/894.00 c #Conflicts: 323000 | #Constraints: 669607
891.20/894.00 c #Conflicts: 324000 | #Constraints: 670607
891.20/894.00 c #Conflicts: 325000 | #Constraints: 671607
891.20/894.00 c #Conflicts: 326000 | #Constraints: 672607
891.20/894.00 c #Conflicts: 327000 | #Constraints: 673607
891.20/894.00 c #Conflicts: 328000 | #Constraints: 674607
891.20/894.00 c #Conflicts: 329000 | #Constraints: 675607
891.20/894.00 c #Conflicts: 330000 | #Constraints: 676607
891.20/894.00 c #Conflicts: 331000 | #Constraints: 677607
891.20/894.00 c #Conflicts: 332000 | #Constraints: 678607
891.20/894.00 c #Conflicts: 333000 | #Constraints: 679607
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 334000 | #Constraints: 669214
891.20/894.00 c #Conflicts: 335000 | #Constraints: 670214
891.20/894.00 c #Conflicts: 336000 | #Constraints: 671214
891.20/894.00 c #Conflicts: 337000 | #Constraints: 672214
891.20/894.00 c #Conflicts: 338000 | #Constraints: 673214
891.20/894.00 c #Conflicts: 339000 | #Constraints: 674214
891.20/894.00 c #Conflicts: 340000 | #Constraints: 675214
891.20/894.00 c #Conflicts: 341000 | #Constraints: 676214
891.20/894.00 c #Conflicts: 342000 | #Constraints: 677214
891.20/894.00 c #Conflicts: 343000 | #Constraints: 678214
891.20/894.00 c #Conflicts: 344000 | #Constraints: 679214
891.20/894.00 c #Conflicts: 345000 | #Constraints: 680214
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 346000 | #Constraints: 669607
891.20/894.00 c #Conflicts: 347000 | #Constraints: 670607
891.20/894.00 c #Conflicts: 348000 | #Constraints: 671607
891.20/894.00 c #Conflicts: 349000 | #Constraints: 672607
891.20/894.00 c #Conflicts: 350000 | #Constraints: 673607
891.20/894.00 c #Conflicts: 351000 | #Constraints: 674607
891.20/894.00 c #Conflicts: 352000 | #Constraints: 675607
891.20/894.00 c #Conflicts: 353000 | #Constraints: 676607
891.20/894.00 c #Conflicts: 354000 | #Constraints: 677607
891.20/894.00 c #Conflicts: 355000 | #Constraints: 678607
891.20/894.00 c #Conflicts: 356000 | #Constraints: 679607
891.20/894.00 c #Conflicts: 357000 | #Constraints: 680607
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 358000 | #Constraints: 669813
891.20/894.00 c #Conflicts: 359000 | #Constraints: 670813
891.20/894.00 c #Conflicts: 360000 | #Constraints: 671813
891.20/894.00 c #Conflicts: 361000 | #Constraints: 672813
891.20/894.00 c #Conflicts: 362000 | #Constraints: 673813
891.20/894.00 c #Conflicts: 363000 | #Constraints: 674813
891.20/894.00 c #Conflicts: 364000 | #Constraints: 675813
891.20/894.00 c #Conflicts: 365000 | #Constraints: 676813
891.20/894.00 c #Conflicts: 366000 | #Constraints: 677813
891.20/894.00 c #Conflicts: 367000 | #Constraints: 678813
891.20/894.00 c #Conflicts: 368000 | #Constraints: 679813
891.20/894.00 c #Conflicts: 369000 | #Constraints: 680813
891.20/894.00 c INPROCESSING
891.20/894.00 c GARBAGE COLLECT
891.20/894.00 c #Conflicts: 370000 | #Constraints: 669813
891.20/894.00 c #Conflicts: 371000 | #Constraints: 670813
891.20/894.00 c #Conflicts: 372000 | #Constraints: 671813
891.20/894.00 c #Conflicts: 373000 | #Constraints: 672813
891.20/894.00 c #Conflicts: 374000 | #Constraints: 673813
891.20/894.00 c #Conflicts: 375000 | #Constraints: 674813
1018.59/1021.75 c #Conflicts: 376000 | #Constraints: 675813
1018.59/1021.75 c #Conflicts: 377000 | #Constraints: 676813
1018.59/1021.75 c #Conflicts: 378000 | #Constraints: 677813
1018.59/1021.75 c #Conflicts: 379000 | #Constraints: 678813
1018.59/1021.75 c #Conflicts: 380000 | #Constraints: 679813
1018.59/1021.75 c #Conflicts: 381000 | #Constraints: 680813
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 382000 | #Constraints: 669602
1018.59/1021.75 c #Conflicts: 383000 | #Constraints: 670602
1018.59/1021.75 c #Conflicts: 384000 | #Constraints: 671602
1018.59/1021.75 c #Conflicts: 385000 | #Constraints: 672602
1018.59/1021.75 c #Conflicts: 386000 | #Constraints: 673602
1018.59/1021.75 c #Conflicts: 387000 | #Constraints: 674602
1018.59/1021.75 c #Conflicts: 388000 | #Constraints: 675602
1018.59/1021.75 c #Conflicts: 389000 | #Constraints: 676602
1018.59/1021.75 c #Conflicts: 390000 | #Constraints: 677602
1018.59/1021.75 c #Conflicts: 391000 | #Constraints: 678602
1018.59/1021.75 c #Conflicts: 392000 | #Constraints: 679602
1018.59/1021.75 c #Conflicts: 393000 | #Constraints: 680602
1018.59/1021.75 c #Conflicts: 394000 | #Constraints: 681602
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 395000 | #Constraints: 670191
1018.59/1021.75 c #Conflicts: 396000 | #Constraints: 671191
1018.59/1021.75 c #Conflicts: 397000 | #Constraints: 672191
1018.59/1021.75 c #Conflicts: 398000 | #Constraints: 673191
1018.59/1021.75 c #Conflicts: 399000 | #Constraints: 674191
1018.59/1021.75 c #Conflicts: 400000 | #Constraints: 675191
1018.59/1021.75 c #Conflicts: 401000 | #Constraints: 676191
1018.59/1021.75 c #Conflicts: 402000 | #Constraints: 677191
1018.59/1021.75 c #Conflicts: 403000 | #Constraints: 678191
1018.59/1021.75 c #Conflicts: 404000 | #Constraints: 679191
1018.59/1021.75 c #Conflicts: 405000 | #Constraints: 680191
1018.59/1021.75 c #Conflicts: 406000 | #Constraints: 681191
1018.59/1021.75 c #Conflicts: 407000 | #Constraints: 682191
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 408000 | #Constraints: 670610
1018.59/1021.75 c #Conflicts: 409000 | #Constraints: 671610
1018.59/1021.75 c #Conflicts: 410000 | #Constraints: 672610
1018.59/1021.75 c #Conflicts: 411000 | #Constraints: 673610
1018.59/1021.75 c #Conflicts: 412000 | #Constraints: 674610
1018.59/1021.75 c #Conflicts: 413000 | #Constraints: 675610
1018.59/1021.75 c #Conflicts: 414000 | #Constraints: 676610
1018.59/1021.75 c #Conflicts: 415000 | #Constraints: 677610
1018.59/1021.75 c #Conflicts: 416000 | #Constraints: 678610
1018.59/1021.75 c #Conflicts: 417000 | #Constraints: 679610
1018.59/1021.75 c #Conflicts: 418000 | #Constraints: 680610
1018.59/1021.75 c #Conflicts: 419000 | #Constraints: 681610
1018.59/1021.75 c #Conflicts: 420000 | #Constraints: 682610
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 421000 | #Constraints: 670826
1018.59/1021.75 c #Conflicts: 422000 | #Constraints: 671826
1018.59/1021.75 c #Conflicts: 423000 | #Constraints: 672826
1018.59/1021.75 c #Conflicts: 424000 | #Constraints: 673826
1018.59/1021.75 c #Conflicts: 425000 | #Constraints: 674826
1018.59/1021.75 c #Conflicts: 426000 | #Constraints: 675826
1018.59/1021.75 c #Conflicts: 427000 | #Constraints: 676826
1018.59/1021.75 c #Conflicts: 428000 | #Constraints: 677826
1018.59/1021.75 c #Conflicts: 429000 | #Constraints: 678826
1018.59/1021.75 c #Conflicts: 430000 | #Constraints: 679826
1018.59/1021.75 c #Conflicts: 431000 | #Constraints: 680826
1018.59/1021.75 c #Conflicts: 432000 | #Constraints: 681826
1018.59/1021.75 c #Conflicts: 433000 | #Constraints: 682826
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 434000 | #Constraints: 670803
1018.59/1021.75 c #Conflicts: 435000 | #Constraints: 671803
1018.59/1021.75 c #Conflicts: 436000 | #Constraints: 672803
1018.59/1021.75 c #Conflicts: 437000 | #Constraints: 673803
1018.59/1021.75 c #Conflicts: 438000 | #Constraints: 674803
1018.59/1021.75 c #Conflicts: 439000 | #Constraints: 675803
1018.59/1021.75 c #Conflicts: 440000 | #Constraints: 676803
1018.59/1021.75 c #Conflicts: 441000 | #Constraints: 677803
1018.59/1021.75 c #Conflicts: 442000 | #Constraints: 678803
1018.59/1021.75 c #Conflicts: 443000 | #Constraints: 679803
1018.59/1021.75 c #Conflicts: 444000 | #Constraints: 680803
1018.59/1021.75 c #Conflicts: 445000 | #Constraints: 681803
1018.59/1021.75 c #Conflicts: 446000 | #Constraints: 682803
1018.59/1021.75 c INPROCESSING
1018.59/1021.75 c GARBAGE COLLECT
1018.59/1021.75 c #Conflicts: 447000 | #Constraints: 670600
1018.59/1021.75 c #Conflicts: 448000 | #Constraints: 671600
1018.59/1021.75 c #Conflicts: 449000 | #Constraints: 672600
1018.59/1021.75 c #Conflicts: 450000 | #Constraints: 673600
1115.15/1118.54 c #Conflicts: 451000 | #Constraints: 674600
1115.15/1118.54 c #Conflicts: 452000 | #Constraints: 675600
1115.15/1118.54 c #Conflicts: 453000 | #Constraints: 676600
1115.15/1118.54 c #Conflicts: 454000 | #Constraints: 677600
1115.15/1118.54 c #Conflicts: 455000 | #Constraints: 678600
1115.15/1118.54 c #Conflicts: 456000 | #Constraints: 679600
1115.15/1118.54 c #Conflicts: 457000 | #Constraints: 680600
1115.15/1118.54 c #Conflicts: 458000 | #Constraints: 681600
1115.15/1118.54 c #Conflicts: 459000 | #Constraints: 682600
1115.15/1118.54 c #Conflicts: 460000 | #Constraints: 683600
1115.15/1118.54 c INPROCESSING
1115.15/1118.54 c GARBAGE COLLECT
1115.15/1118.54 c #Conflicts: 461000 | #Constraints: 671203
1115.15/1118.54 c #Conflicts: 462000 | #Constraints: 672203
1115.15/1118.54 c #Conflicts: 463000 | #Constraints: 673203
1115.15/1118.54 c #Conflicts: 464000 | #Constraints: 674203
1115.15/1118.54 c #Conflicts: 465000 | #Constraints: 675203
1115.15/1118.54 c #Conflicts: 466000 | #Constraints: 676203
1115.15/1118.54 c #Conflicts: 467000 | #Constraints: 677203
1115.15/1118.54 c #Conflicts: 468000 | #Constraints: 678203
1115.15/1118.54 c #Conflicts: 469000 | #Constraints: 679203
1115.15/1118.54 c #Conflicts: 470000 | #Constraints: 680203
1115.15/1118.54 c #Conflicts: 471000 | #Constraints: 681203
1115.15/1118.54 c #Conflicts: 472000 | #Constraints: 682203
1115.15/1118.54 c #Conflicts: 473000 | #Constraints: 683203
1115.15/1118.54 c #Conflicts: 474000 | #Constraints: 684203
1115.15/1118.54 c INPROCESSING
1115.15/1118.54 c GARBAGE COLLECT
1115.15/1118.54 c #Conflicts: 475000 | #Constraints: 671611
1115.15/1118.54 c #Conflicts: 476000 | #Constraints: 672611
1115.15/1118.54 c #Conflicts: 477000 | #Constraints: 673611
1115.15/1118.54 c #Conflicts: 478000 | #Constraints: 674611
1115.15/1118.54 c #Conflicts: 479000 | #Constraints: 675611
1115.15/1118.54 c #Conflicts: 480000 | #Constraints: 676611
1115.15/1118.54 c #Conflicts: 481000 | #Constraints: 677611
1115.15/1118.54 c #Conflicts: 482000 | #Constraints: 678611
1115.15/1118.54 c #Conflicts: 483000 | #Constraints: 679611
1115.15/1118.54 c #Conflicts: 484000 | #Constraints: 680611
1115.15/1118.54 c #Conflicts: 485000 | #Constraints: 681611
1115.15/1118.54 c #Conflicts: 486000 | #Constraints: 682611
1115.15/1118.54 c #Conflicts: 487000 | #Constraints: 683611
1115.15/1118.54 c #Conflicts: 488000 | #Constraints: 684611
1115.15/1118.54 c INPROCESSING
1115.15/1118.54 c GARBAGE COLLECT
1115.15/1118.54 c #Conflicts: 489000 | #Constraints: 671820
1115.15/1118.54 c #Conflicts: 490000 | #Constraints: 672820
1115.15/1118.54 c #Conflicts: 491000 | #Constraints: 673820
1115.15/1118.54 c #Conflicts: 492000 | #Constraints: 674820
1115.15/1118.54 c #Conflicts: 493000 | #Constraints: 675820
1115.15/1118.54 c #Conflicts: 494000 | #Constraints: 676820
1115.15/1118.54 c #Conflicts: 495000 | #Constraints: 677820
1115.15/1118.54 c #Conflicts: 496000 | #Constraints: 678820
1115.15/1118.54 c #Conflicts: 497000 | #Constraints: 679820
1115.15/1118.54 c #Conflicts: 498000 | #Constraints: 680820
1115.15/1118.54 c #Conflicts: 499000 | #Constraints: 681820
1115.15/1118.54 c #Conflicts: 500000 | #Constraints: 682820
1115.15/1118.54 c #Conflicts: 501000 | #Constraints: 683820
1115.15/1118.54 c #Conflicts: 502000 | #Constraints: 684820
1115.15/1118.54 c INPROCESSING
1115.15/1118.54 c GARBAGE COLLECT
1115.15/1118.54 c #Conflicts: 503000 | #Constraints: 671816
1115.15/1118.54 c #Conflicts: 504000 | #Constraints: 672816
1115.15/1118.54 c bounds 325 >= 8 @ 1104.8
1115.15/1118.54 c stratification level: 5
1471.74/1476.09 c bounds 325 >= 13 @ 1104.81
1471.74/1476.09 c bounds 325 >= 18 @ 1104.88
1471.74/1476.09 c #Conflicts: 505000 | #Constraints: 673819
1471.74/1476.09 c #Conflicts: 506000 | #Constraints: 674819
1471.74/1476.09 c #Conflicts: 507000 | #Constraints: 675819
1471.74/1476.09 c #Conflicts: 508000 | #Constraints: 676819
1471.74/1476.09 c #Conflicts: 509000 | #Constraints: 677819
1471.74/1476.09 c #Conflicts: 510000 | #Constraints: 678819
1471.74/1476.09 c #Conflicts: 511000 | #Constraints: 679819
1471.74/1476.09 c #Conflicts: 512000 | #Constraints: 680819
1471.74/1476.09 c #Conflicts: 513000 | #Constraints: 681819
1471.74/1476.09 c #Conflicts: 514000 | #Constraints: 682819
1471.74/1476.09 c #Conflicts: 515000 | #Constraints: 683819
1471.74/1476.09 c #Conflicts: 516000 | #Constraints: 684819
1471.74/1476.09 c INPROCESSING
1471.74/1476.09 c GARBAGE COLLECT
1471.74/1476.09 c #Conflicts: 517000 | #Constraints: 671580
1471.74/1476.09 c #Conflicts: 518000 | #Constraints: 672580
1471.74/1476.09 c #Conflicts: 519000 | #Constraints: 673580
1471.74/1476.09 c #Conflicts: 520000 | #Constraints: 674580
1471.74/1476.09 c #Conflicts: 521000 | #Constraints: 675580
1471.74/1476.09 c #Conflicts: 522000 | #Constraints: 676580
1471.74/1476.09 c #Conflicts: 523000 | #Constraints: 677580
1471.74/1476.09 c #Conflicts: 524000 | #Constraints: 678580
1471.74/1476.09 c #Conflicts: 525000 | #Constraints: 679580
1471.74/1476.09 c #Conflicts: 526000 | #Constraints: 680580
1471.74/1476.09 c #Conflicts: 527000 | #Constraints: 681580
1471.74/1476.09 c #Conflicts: 528000 | #Constraints: 682580
1471.74/1476.09 c #Conflicts: 529000 | #Constraints: 683580
1471.74/1476.09 c #Conflicts: 530000 | #Constraints: 684580
1471.74/1476.09 c #Conflicts: 531000 | #Constraints: 685580
1471.74/1476.09 c INPROCESSING
1471.74/1476.09 c GARBAGE COLLECT
1471.74/1476.09 c #Conflicts: 532000 | #Constraints: 672164
1471.74/1476.09 c #Conflicts: 533000 | #Constraints: 673164
1471.74/1476.09 c #Conflicts: 534000 | #Constraints: 674164
1471.74/1476.09 c #Conflicts: 535000 | #Constraints: 675164
1471.74/1476.09 c #Conflicts: 536000 | #Constraints: 676164
1471.74/1476.09 c #Conflicts: 537000 | #Constraints: 677164
1471.74/1476.09 c #Conflicts: 538000 | #Constraints: 678164
1471.74/1476.09 c #Conflicts: 539000 | #Constraints: 679164
1471.74/1476.09 c #Conflicts: 540000 | #Constraints: 680164
1471.74/1476.09 c #Conflicts: 541000 | #Constraints: 681164
1471.74/1476.09 c #Conflicts: 542000 | #Constraints: 682164
1471.74/1476.09 c #Conflicts: 543000 | #Constraints: 683164
1471.74/1476.09 c #Conflicts: 544000 | #Constraints: 684164
1471.74/1476.09 c #Conflicts: 545000 | #Constraints: 685164
1471.74/1476.09 c #Conflicts: 546000 | #Constraints: 686164
1471.74/1476.09 c INPROCESSING
1471.74/1476.09 c GARBAGE COLLECT
1471.74/1476.09 c #Conflicts: 547000 | #Constraints: 672560
1471.74/1476.09 c #Conflicts: 548000 | #Constraints: 673560
1471.74/1476.09 c #Conflicts: 549000 | #Constraints: 674560
1471.74/1476.09 c #Conflicts: 550000 | #Constraints: 675560
1471.74/1476.09 c #Conflicts: 551000 | #Constraints: 676560
1471.74/1476.09 c #Conflicts: 552000 | #Constraints: 677560
1471.74/1476.09 c #Conflicts: 553000 | #Constraints: 678560
1471.74/1476.09 c #Conflicts: 554000 | #Constraints: 679560
1471.74/1476.09 c #Conflicts: 555000 | #Constraints: 680560
1471.74/1476.09 c #Conflicts: 556000 | #Constraints: 681560
1471.74/1476.09 c #Conflicts: 557000 | #Constraints: 682560
1471.74/1476.09 c #Conflicts: 558000 | #Constraints: 683560
1471.74/1476.09 c #Conflicts: 559000 | #Constraints: 684560
1471.74/1476.09 c #Conflicts: 560000 | #Constraints: 685560
1471.74/1476.09 c #Conflicts: 561000 | #Constraints: 686560
1471.74/1476.09 c INPROCESSING
1471.74/1476.09 c GARBAGE COLLECT
1471.74/1476.09 c #Conflicts: 562000 | #Constraints: 672752
1471.74/1476.09 c #Conflicts: 563000 | #Constraints: 673752
1471.74/1476.09 c #Conflicts: 564000 | #Constraints: 674752
1471.74/1476.09 c #Conflicts: 565000 | #Constraints: 675752
1471.74/1476.09 c #Conflicts: 566000 | #Constraints: 676752
1471.74/1476.09 c #Conflicts: 567000 | #Constraints: 677752
1471.74/1476.09 c #Conflicts: 568000 | #Constraints: 678752
1471.74/1476.09 c #Conflicts: 569000 | #Constraints: 679752
1471.74/1476.09 c #Conflicts: 570000 | #Constraints: 680752
1471.74/1476.09 c #Conflicts: 571000 | #Constraints: 681752
1471.74/1476.09 c #Conflicts: 572000 | #Constraints: 682752
1471.74/1476.09 c #Conflicts: 573000 | #Constraints: 683752
1471.74/1476.09 c #Conflicts: 574000 | #Constraints: 684752
1471.74/1476.09 c #Conflicts: 575000 | #Constraints: 685752
1471.74/1476.09 c #Conflicts: 576000 | #Constraints: 686752
1471.74/1476.09 c INPROCESSING
1471.74/1476.09 c #Conflicts: 577000 | #Constraints: 672744
1471.74/1476.09 c #Conflicts: 578000 | #Constraints: 673744
1471.74/1476.09 c #Conflicts: 579000 | #Constraints: 674744
2338.53/2344.98 c #Conflicts: 580000 | #Constraints: 675744
2338.53/2344.98 c #Conflicts: 581000 | #Constraints: 676744
2338.53/2344.98 c #Conflicts: 582000 | #Constraints: 677744
2338.53/2344.98 c #Conflicts: 583000 | #Constraints: 678744
2338.53/2344.98 c #Conflicts: 584000 | #Constraints: 679744
2338.53/2344.98 c #Conflicts: 585000 | #Constraints: 680744
2338.53/2344.98 c #Conflicts: 586000 | #Constraints: 681744
2338.53/2344.98 c #Conflicts: 587000 | #Constraints: 682744
2338.53/2344.98 c #Conflicts: 588000 | #Constraints: 683744
2338.53/2344.98 c #Conflicts: 589000 | #Constraints: 684744
2338.53/2344.98 c #Conflicts: 590000 | #Constraints: 685744
2338.53/2344.98 c #Conflicts: 591000 | #Constraints: 686744
2338.53/2344.98 c INPROCESSING
2338.53/2344.98 c GARBAGE COLLECT
2338.53/2344.98 c #Conflicts: 592000 | #Constraints: 672538
2338.53/2344.98 c #Conflicts: 593000 | #Constraints: 673538
2338.53/2344.98 c #Conflicts: 594000 | #Constraints: 674538
2338.53/2344.98 c #Conflicts: 595000 | #Constraints: 675538
2338.53/2344.98 c #Conflicts: 596000 | #Constraints: 676538
2338.53/2344.98 c #Conflicts: 597000 | #Constraints: 677538
2338.53/2344.98 c #Conflicts: 598000 | #Constraints: 678538
2338.53/2344.98 c #Conflicts: 599000 | #Constraints: 679538
2338.53/2344.98 c #Conflicts: 600000 | #Constraints: 680538
2338.53/2344.98 c #Conflicts: 601000 | #Constraints: 681538
2338.53/2344.98 c #Conflicts: 602000 | #Constraints: 682538
2338.53/2344.98 c #Conflicts: 603000 | #Constraints: 683538
2338.53/2344.98 c #Conflicts: 604000 | #Constraints: 684538
2338.53/2344.98 c #Conflicts: 605000 | #Constraints: 685538
2338.53/2344.98 c #Conflicts: 606000 | #Constraints: 686538
2338.53/2344.98 c #Conflicts: 607000 | #Constraints: 687538
2338.53/2344.98 c INPROCESSING
2338.53/2344.98 c #Conflicts: 608000 | #Constraints: 673150
2338.53/2344.98 c #Conflicts: 609000 | #Constraints: 674150
2338.53/2344.98 c #Conflicts: 610000 | #Constraints: 675150
2338.53/2344.98 c #Conflicts: 611000 | #Constraints: 676150
2338.53/2344.98 c #Conflicts: 612000 | #Constraints: 677150
2338.53/2344.98 c #Conflicts: 613000 | #Constraints: 678150
2338.53/2344.98 c #Conflicts: 614000 | #Constraints: 679150
2338.53/2344.98 c #Conflicts: 615000 | #Constraints: 680150
2338.53/2344.98 c #Conflicts: 616000 | #Constraints: 681150
2338.53/2344.98 c #Conflicts: 617000 | #Constraints: 682150
2338.53/2344.98 c #Conflicts: 618000 | #Constraints: 683150
2338.53/2344.98 c #Conflicts: 619000 | #Constraints: 684150
2338.53/2344.98 c #Conflicts: 620000 | #Constraints: 685150
2338.53/2344.98 c #Conflicts: 621000 | #Constraints: 686150
2338.53/2344.98 c #Conflicts: 622000 | #Constraints: 687150
2338.53/2344.98 c #Conflicts: 623000 | #Constraints: 688150
2338.53/2344.98 c INPROCESSING
2338.53/2344.98 c GARBAGE COLLECT
2338.53/2344.98 c #Conflicts: 624000 | #Constraints: 673536
2338.53/2344.98 c #Conflicts: 625000 | #Constraints: 674536
2338.53/2344.98 c #Conflicts: 626000 | #Constraints: 675536
2338.53/2344.98 c #Conflicts: 627000 | #Constraints: 676536
2338.53/2344.98 c #Conflicts: 628000 | #Constraints: 677536
2338.53/2344.98 c #Conflicts: 629000 | #Constraints: 678536
2338.53/2344.98 c #Conflicts: 630000 | #Constraints: 679536
2338.53/2344.98 c #Conflicts: 631000 | #Constraints: 680536
2338.53/2344.98 c #Conflicts: 632000 | #Constraints: 681536
2338.53/2344.98 c #Conflicts: 633000 | #Constraints: 682536
2338.53/2344.98 c #Conflicts: 634000 | #Constraints: 683536
2338.53/2344.98 c #Conflicts: 635000 | #Constraints: 684536
2338.53/2344.98 c #Conflicts: 636000 | #Constraints: 685536
2338.53/2344.98 c #Conflicts: 637000 | #Constraints: 686536
2338.53/2344.98 c #Conflicts: 638000 | #Constraints: 687536
2338.53/2344.98 c #Conflicts: 639000 | #Constraints: 688536
2338.53/2344.98 c INPROCESSING
2338.53/2344.98 c GARBAGE COLLECT
2338.53/2344.98 c #Conflicts: 640000 | #Constraints: 673734
2338.53/2344.98 c #Conflicts: 641000 | #Constraints: 674734
2338.53/2344.98 c #Conflicts: 642000 | #Constraints: 675734
2338.53/2344.98 c #Conflicts: 643000 | #Constraints: 676734
2338.53/2344.98 c #Conflicts: 644000 | #Constraints: 677734
2338.53/2344.98 c #Conflicts: 645000 | #Constraints: 678734
2338.53/2344.98 c #Conflicts: 646000 | #Constraints: 679734
2338.53/2344.98 c #Conflicts: 647000 | #Constraints: 680734
2338.53/2344.98 c #Conflicts: 648000 | #Constraints: 681734
2338.53/2344.98 c #Conflicts: 649000 | #Constraints: 682734
2338.53/2344.98 c #Conflicts: 650000 | #Constraints: 683734
2338.53/2344.98 c #Conflicts: 651000 | #Constraints: 684734
2338.53/2344.98 c #Conflicts: 652000 | #Constraints: 685734
2338.53/2344.98 c #Conflicts: 653000 | #Constraints: 686734
2338.53/2344.98 c #Conflicts: 654000 | #Constraints: 687734
2338.53/2344.98 c #Conflicts: 655000 | #Constraints: 688734
2338.53/2344.98 c INPROCESSING
2338.53/2344.98 c GARBAGE COLLECT
3432.01/3441.26 c #Conflicts: 656000 | #Constraints: 673745
3432.01/3441.26 c #Conflicts: 657000 | #Constraints: 674745
3432.01/3441.26 c #Conflicts: 658000 | #Constraints: 675745
3432.01/3441.26 c #Conflicts: 659000 | #Constraints: 676745
3432.01/3441.26 c #Conflicts: 660000 | #Constraints: 677745
3432.01/3441.26 c #Conflicts: 661000 | #Constraints: 678745
3432.01/3441.26 c #Conflicts: 662000 | #Constraints: 679745
3432.01/3441.26 c #Conflicts: 663000 | #Constraints: 680745
3432.01/3441.26 c #Conflicts: 664000 | #Constraints: 681745
3432.01/3441.26 c #Conflicts: 665000 | #Constraints: 682745
3432.01/3441.26 c #Conflicts: 666000 | #Constraints: 683745
3432.01/3441.26 c #Conflicts: 667000 | #Constraints: 684745
3432.01/3441.26 c #Conflicts: 668000 | #Constraints: 685745
3432.01/3441.26 c #Conflicts: 669000 | #Constraints: 686745
3432.01/3441.26 c #Conflicts: 670000 | #Constraints: 687745
3432.01/3441.26 c #Conflicts: 671000 | #Constraints: 688745
3432.01/3441.26 c INPROCESSING
3432.01/3441.26 c GARBAGE COLLECT
3432.01/3441.26 c #Conflicts: 672000 | #Constraints: 673540
3432.01/3441.26 c #Conflicts: 673000 | #Constraints: 674540
3432.01/3441.26 c #Conflicts: 674000 | #Constraints: 675540
3432.01/3441.26 c #Conflicts: 675000 | #Constraints: 676540
3432.01/3441.26 c #Conflicts: 676000 | #Constraints: 677540
3432.01/3441.26 c #Conflicts: 677000 | #Constraints: 678540
3432.01/3441.26 c #Conflicts: 678000 | #Constraints: 679540
3432.01/3441.26 c #Conflicts: 679000 | #Constraints: 680540
3432.01/3441.26 c #Conflicts: 680000 | #Constraints: 681540
3432.01/3441.26 c #Conflicts: 681000 | #Constraints: 682540
3432.01/3441.26 c #Conflicts: 682000 | #Constraints: 683540
3432.01/3441.26 c #Conflicts: 683000 | #Constraints: 684540
3432.01/3441.26 c #Conflicts: 684000 | #Constraints: 685540
3432.01/3441.26 c #Conflicts: 685000 | #Constraints: 686540
3432.01/3441.26 c #Conflicts: 686000 | #Constraints: 687540
3432.01/3441.26 c #Conflicts: 687000 | #Constraints: 688540
3432.01/3441.26 c #Conflicts: 688000 | #Constraints: 689540
3432.01/3441.26 c INPROCESSING
3432.01/3441.26 c GARBAGE COLLECT
3432.01/3441.26 c #Conflicts: 689000 | #Constraints: 674128
3432.01/3441.26 c #Conflicts: 690000 | #Constraints: 675128
3432.01/3441.26 c #Conflicts: 691000 | #Constraints: 676128
3432.01/3441.26 c #Conflicts: 692000 | #Constraints: 677128
3432.01/3441.26 c #Conflicts: 693000 | #Constraints: 678128
3432.01/3441.26 c #Conflicts: 694000 | #Constraints: 679128
3432.01/3441.26 c #Conflicts: 695000 | #Constraints: 680128
3432.01/3441.26 c #Conflicts: 696000 | #Constraints: 681128
3432.01/3441.26 c #Conflicts: 697000 | #Constraints: 682128
3432.01/3441.26 c #Conflicts: 698000 | #Constraints: 683128
3432.01/3441.26 c #Conflicts: 699000 | #Constraints: 684128
3432.01/3441.26 c #Conflicts: 700000 | #Constraints: 685128
3432.01/3441.26 c #Conflicts: 701000 | #Constraints: 686128
3432.01/3441.26 c #Conflicts: 702000 | #Constraints: 687128
3432.01/3441.26 c #Conflicts: 703000 | #Constraints: 688128
3432.01/3441.26 c #Conflicts: 704000 | #Constraints: 689128
3432.01/3441.26 c #Conflicts: 705000 | #Constraints: 690128
3432.01/3441.26 c INPROCESSING
3432.01/3441.26 c GARBAGE COLLECT
3432.01/3441.26 c #Conflicts: 706000 | #Constraints: 674528
3432.01/3441.26 c #Conflicts: 707000 | #Constraints: 675528
3432.01/3441.26 c #Conflicts: 708000 | #Constraints: 676528
3432.01/3441.26 c #Conflicts: 709000 | #Constraints: 677528
3432.01/3441.26 c #Conflicts: 710000 | #Constraints: 678528
3432.01/3441.26 c #Conflicts: 711000 | #Constraints: 679528
3432.01/3441.26 c #Conflicts: 712000 | #Constraints: 680528
3432.01/3441.26 c #Conflicts: 713000 | #Constraints: 681528
3432.01/3441.26 c #Conflicts: 714000 | #Constraints: 682528
3432.01/3441.26 c #Conflicts: 715000 | #Constraints: 683528
3432.01/3441.26 c #Conflicts: 716000 | #Constraints: 684528
3432.01/3441.26 c #Conflicts: 717000 | #Constraints: 685528
3432.01/3441.26 c #Conflicts: 718000 | #Constraints: 686528
3432.01/3441.26 c #Conflicts: 719000 | #Constraints: 687528
3432.01/3441.26 c #Conflicts: 720000 | #Constraints: 688528
3432.01/3441.26 c #Conflicts: 721000 | #Constraints: 689528
3432.01/3441.26 c #Conflicts: 722000 | #Constraints: 690528
3432.01/3441.26 c INPROCESSING
3432.01/3441.26 c #Conflicts: 723000 | #Constraints: 674734
3432.01/3441.26 c #Conflicts: 724000 | #Constraints: 675734
3432.01/3441.26 c #Conflicts: 725000 | #Constraints: 676734
3432.01/3441.26 c #Conflicts: 726000 | #Constraints: 677734
3432.01/3441.26 c #Conflicts: 727000 | #Constraints: 678734
3432.01/3441.26 c #Conflicts: 728000 | #Constraints: 679734
3432.01/3441.26 c #Conflicts: 729000 | #Constraints: 680734
3432.01/3441.26 c #Conflicts: 730000 | #Constraints: 681734
3432.01/3441.26 c #Conflicts: 731000 | #Constraints: 682734
3432.01/3441.26 c #Conflicts: 732000 | #Constraints: 683734
3600.05/3609.70 c #Conflicts: 733000 | #Constraints: 684734
3600.05/3609.70 c #Conflicts: 734000 | #Constraints: 685734
3600.05/3609.70 c #Conflicts: 735000 | #Constraints: 686734
3600.05/3609.70 c #Conflicts: 736000 | #Constraints: 687734
3600.05/3609.70 c #Conflicts: 737000 | #Constraints: 688734
3600.05/3609.70 c #Conflicts: 738000 | #Constraints: 689734
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3583.86 s
3600.05/3609.70 c deterministic time 328777996720 3.29e+11
3600.05/3609.70 c optimization time 315.355 s
3600.05/3609.70 c total solve time 2965.12 s
3600.05/3609.70 c core-guided solve time 2965.12 s
3600.05/3609.70 c propagation time 1634.72 s
3600.05/3609.70 c conflict analysis time 1480.79 s
3600.05/3609.70 c propagations 91267260
3600.05/3609.70 c resolve steps 18436665
3600.05/3609.70 c decisions 16716905
3600.05/3609.70 c conflicts 738878
3600.05/3609.70 c restarts 1533
3600.05/3609.70 c inprocessing phases 76
3600.05/3609.70 c input clauses 656900
3600.05/3609.70 c input cardinalities 1
3600.05/3609.70 c input general constraints 99
3600.05/3609.70 c input average constraint length 3.52
3600.05/3609.70 c input average constraint degree 71.59
3600.05/3609.70 c learned clauses 655783
3600.05/3609.70 c learned cardinalities 0
3600.05/3609.70 c learned general constraints 83094
3600.05/3609.70 c learned average constraint length 3538.60
3600.05/3609.70 c learned average constraint degree 95244.90
3600.05/3609.70 c watched constraints 6265
3600.05/3609.70 c counting constraints 76928
3600.05/3609.70 c gcd simplifications 5499
3600.05/3609.70 c detected cardinalities 0
3600.05/3609.70 c weakened non-implied lits 529157634
3600.05/3609.70 c weakened non-implying lits 203968
3600.05/3609.70 c original variables 10000
3600.05/3609.70 c clausal propagations 78760403
3600.05/3609.70 c cardinality propagations 16455
3600.05/3609.70 c watched propagations 33448
3600.05/3609.70 c counting propagations 11533673
3600.05/3609.70 c watch lookups 20927392970
3600.05/3609.70 c watch backjump lookups 20356776874
3600.05/3609.70 c watch checks 27539150328
3600.05/3609.70 c propagation checks 253459634768
3600.05/3609.70 c constraint additions 6278344326
3600.05/3609.70 c trail pops 108713288
3600.05/3609.70 c formula constraints 656900
3600.05/3609.70 c learned constraints 738877
3600.05/3609.70 c bound constraints 98
3600.05/3609.70 c core-guided constraints 2
3600.05/3609.70 c encountered formula constraints 13597065
3600.05/3609.70 c encountered learned constraints 5562622
3600.05/3609.70 c encountered bound constraints 7000
3600.05/3609.70 c encountered core-guided constraints 8856
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 1
3600.05/3609.70 c CG solutions found 94
3600.05/3609.70 c CG cores constructed 3
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 3
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 1.00
3600.05/3609.70 c CG core slack average 2493.67
3600.05/3609.70 c CG exhausted 0
3600.05/3609.70 c CG exhaust time 0.002984 s
3600.05/3609.70 c CG trimmed 1
3600.05/3609.70 c CG trim time 0.007627 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0.014127 s
3600.05/3609.70 c CG # am1s reformulated 0
3600.05/3609.70 c CG lower bound derived from am1s 0
3600.05/3609.70 c CG # clausal cores 3
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 0
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND 18
3600.05/3609.70 d NCORES 3
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 0
3600.05/3609.70 d NTRIMMED 1
3600.05/3609.70 d NEXHAUSTED 0
3600.05/3609.70 d NAM1S 0
3600.05/3609.70 d AM1LB 0
3600.05/3609.70 c [Papilo Statistics]
3600.05/3609.70 c prepro time 1.82498s
3600.05/3609.70 c # tsx applied 0
3600.05/3609.70 c # tsx conflicts 0
3600.05/3609.70 c # bound changes 0
3600.05/3609.70 c # side changes 0
3600.05/3609.70 c # coef changes 0
3600.05/3609.70 c # rounds 1
3600.05/3609.70 c # deted vars 0
3600.05/3609.70 c # deted constrs 0
3600.05/3609.70 c # consecutive rounds of only bound changes 0
3600.05/3609.70 c [STEP] postprocessing with Papilo
3600.05/3609.73 o 325
3600.05/3609.73 s SATISFIABLE
3600.05/3609.73 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62936 MiB free)
memory of node 1: 64507 MiB (63973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489727-1751361124/watcher-4489727-1751361124 -o /tmp/evaluation-result-4489727-1751361124/solver-4489727-1751361124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4489727-1751361124.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48434, runsolver pid=48428
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 2.59 3.73 3.97 1/264 48448
/proc/meminfo: memFree=129956236/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=76740 memory=6144 CPUtime=0 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) D 48428 48434 48377 0 -1 4194304 366 0 10 0 0 0 0 0 20 0 1 0 51792304 78581760 1536 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 19185 1536 1408 2842 0 1418 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 76740 KiB
Current children cumulated memory: 6144 KiB
[startup+0.205252 s]*
/proc/loadavg: 2.59 3.73 3.97 6/264 48448
/proc/meminfo: memFree=129931792/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=119248 memory=20172 CPUtime=0.1 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 3029 0 11 0 9 1 0 0 20 0 1 0 51792304 122109952 5043 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 29812 5043 2112 2842 0 12045 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 20172 KiB
[startup+0.305658 s]*
/proc/loadavg: 2.59 3.73 3.97 5/264 48448
/proc/meminfo: memFree=129911156/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=123344 memory=26176 CPUtime=0.2 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 3535 0 11 0 19 1 0 0 20 0 1 0 51792304 126304256 6544 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 30836 6544 2112 2842 0 13069 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123344 KiB
Current children cumulated memory: 26176 KiB
[startup+0.700155 s]
/proc/loadavg: 2.59 3.73 3.97 5/264 48448
/proc/meminfo: memFree=129862372/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=147920 memory=50848 CPUtime=0.58 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 4588 0 11 0 56 2 0 0 20 0 1 0 51792304 151470080 12712 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 36980 12712 2112 2842 0 19213 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 147920 KiB
Current children cumulated memory: 50848 KiB
[startup+1.50016 s]
/proc/loadavg: 2.70 3.73 3.97 5/264 48448
/proc/meminfo: memFree=129748976/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=350672 memory=221844 CPUtime=1.38 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 14073 0 11 0 129 9 0 0 20 0 1 0 51792304 359088128 55461 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 87668 55461 2208 2842 0 69362 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 350672 KiB
Current children cumulated memory: 221844 KiB
[startup+3.1056 s]
/proc/loadavg: 2.70 3.73 3.97 5/264 48448
/proc/meminfo: memFree=128582244/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=437320 memory=335172 CPUtime=2.98 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 25677 0 11 0 286 12 0 0 20 0 1 0 51792304 447815680 83793 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 109330 83793 2272 2842 0 91024 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 437320 KiB
Current children cumulated memory: 335172 KiB
[startup+6.30015 s]
/proc/loadavg: 2.81 3.74 3.97 5/264 48448
/proc/meminfo: memFree=125960568/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=1112792 memory=1013672 CPUtime=6.17 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 202235 0 11 0 577 40 0 0 20 0 1 0 51792304 1139499008 253418 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 278198 253418 4000 2842 0 259892 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 1112792 KiB
Current children cumulated memory: 1013672 KiB
[startup+12.7002 s]
/proc/loadavg: 2.98 3.76 3.98 5/264 48448
/proc/meminfo: memFree=123914008/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=1514756 memory=1406556 CPUtime=12.54 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 260073 0 11 0 1198 56 0 0 20 0 1 0 51792304 1551110144 351639 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 378689 351639 4032 2842 0 360383 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1514756 KiB
Current children cumulated memory: 1406556 KiB
[startup+25.5002 s]
/proc/loadavg: 3.14 3.77 3.98 5/264 48448
/proc/meminfo: memFree=118483288/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=3264316 memory=2904992 CPUtime=25.3 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 273576 0 11 0 2446 84 0 0 20 0 1 0 51792304 3342659584 726248 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 816079 726248 4032 2842 0 797773 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 3264316 KiB
Current children cumulated memory: 2904992 KiB
[startup+51.1057 s]
/proc/loadavg: 3.48 3.79 3.98 5/264 48449
/proc/meminfo: memFree=115155172/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=3952472 memory=3573736 CPUtime=50.82 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 390053 0 11 0 4972 110 0 0 20 0 1 0 51792304 4047331328 893434 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 988118 893434 4256 2842 0 969812 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 3952472 KiB
Current children cumulated memory: 3573736 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.84 3.99 5/265 48453
/proc/meminfo: memFree=115151652/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=3952472 memory=3578264 CPUtime=101.79 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 390693 0 11 0 10068 111 0 0 20 0 1 0 51792304 4047331328 894566 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 988118 894566 4256 2842 0 969812 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 3952472 KiB
Current children cumulated memory: 3578264 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.90 4.00 5/266 48460
/proc/meminfo: memFree=114889040/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=4139992 memory=3669348 CPUtime=161.53 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 397083 0 11 0 16040 113 0 0 20 0 1 0 51792304 4239351808 917337 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1034998 917337 4256 2842 0 1016692 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 4139992 KiB
Current children cumulated memory: 3669348 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.94 4.00 5/266 48462
/proc/meminfo: memFree=114834532/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=4220052 memory=3687808 CPUtime=221.28 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 398956 0 11 0 22013 115 0 0 20 0 1 0 51792304 4321333248 921952 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1055013 921952 4256 2842 0 1036707 0
Current children cumulated CPU time: 221.28 s
Current children cumulated vsize: 4220052 KiB
Current children cumulated memory: 3687808 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.97 4.00 5/266 48464
/proc/meminfo: memFree=114802728/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=4296704 memory=3702856 CPUtime=281 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 400201 0 11 0 27984 116 0 0 20 0 1 0 51792304 4399824896 925714 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1074176 925714 4256 2842 0 1055870 0
Current children cumulated CPU time: 281 s
Current children cumulated vsize: 4296704 KiB
Current children cumulated memory: 3702856 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.99 4.00 5/264 48466
/proc/meminfo: memFree=121307716/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=2054668 memory=1963544 CPUtime=340.82 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 403628 0 11 0 33804 278 0 0 20 0 1 0 51792304 2103980032 490886 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 513667 490886 4416 2842 0 495361 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 2054668 KiB
Current children cumulated memory: 1963544 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.01 4.00 5/263 48468
/proc/meminfo: memFree=121208940/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=2104756 memory=1988376 CPUtime=400.67 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 404172 0 11 0 39703 364 0 0 20 0 1 0 51792304 2155270144 497094 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 526189 497094 4416 2842 0 507883 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 2104756 KiB
Current children cumulated memory: 1988376 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.02 4.00 5/262 48470
/proc/meminfo: memFree=121123804/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=2104756 memory=2010904 CPUtime=460.53 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 404189 0 11 0 45632 421 0 0 20 0 1 0 51792304 2155270144 502726 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 526189 502726 4416 2842 0 507883 0
Current children cumulated CPU time: 460.53 s
################
# More data... #
################
Current children cumulated memory: 3988088 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/263 48601
/proc/meminfo: memFree=117472100/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=2914.46 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 522085 0 11 0 289886 1560 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/263 48614
/proc/meminfo: memFree=117439156/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=2974.31 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 522085 0 11 0 295866 1565 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/262 48616
/proc/meminfo: memFree=117361608/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3034.15 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 522359 0 11 0 301846 1569 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 48621
/proc/meminfo: memFree=117165620/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3093.99 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 523046 0 11 0 307825 1574 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 48629
/proc/meminfo: memFree=117019072/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3153.84 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 523046 0 11 0 313806 1578 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 48631
/proc/meminfo: memFree=116900516/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3213.69 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 523088 0 11 0 319787 1582 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 48633
/proc/meminfo: memFree=116809036/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3273.53 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 523950 0 11 0 325766 1587 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 48635
/proc/meminfo: memFree=116640536/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=3988088 CPUtime=3333.37 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 524228 0 11 0 331745 1592 0 0 20 0 1 0 51792304 5131595776 997022 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 997022 4416 2842 0 1234525 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 3988088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 48637
/proc/meminfo: memFree=116503396/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=4039292 CPUtime=3393.22 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 524327 0 11 0 337724 1598 0 0 20 0 1 0 51792304 5131595776 1009823 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 1009823 4416 2842 0 1234525 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 4039292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 48639
/proc/meminfo: memFree=116008052/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5011324 memory=4186248 CPUtime=3453.05 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 525852 0 11 0 343702 1603 0 0 20 0 1 0 51792304 5131595776 1046562 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1252831 1046562 4416 2842 0 1234525 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 5011324 KiB
Current children cumulated memory: 4186248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 48641
/proc/meminfo: memFree=115837316/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5013148 memory=4320196 CPUtime=3512.89 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 531770 0 11 0 349679 1610 0 0 20 0 1 0 51792304 5133463552 1080049 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1253287 1080049 4416 2842 0 1234981 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 5013148 KiB
Current children cumulated memory: 4320196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 48643
/proc/meminfo: memFree=115696564/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5026716 memory=4428664 CPUtime=3572.72 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 537922 0 11 0 355656 1616 0 0 20 0 1 0 51792304 5147357184 1107166 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1256679 1107166 4416 2842 0 1238373 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 5026716 KiB
Current children cumulated memory: 4428664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48645
/proc/meminfo: memFree=115611048/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=5034396 memory=4482304 CPUtime=3600.05 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) R 48428 48434 48377 0 -1 4194304 541868 0 11 0 358385 1620 0 0 20 0 1 0 51792304 5155221504 1120576 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1258599 1120576 4416 2842 0 1240293 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5034396 KiB
Current children cumulated memory: 4482304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.84 s]
# the end of solver process 48434 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.88 s, system=16.2724 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48645
/proc/meminfo: memFree=115611048/131250000 swapFree=33010416/33010684
[pid=48434] ppid=48428 vsize=4372340 memory=3976312 CPUtime=3600.12 cores=4,6
/proc/48434/stat : 48434 (mixed-bag) D 48428 48434 48377 0 -1 4194304 546944 0 11 0 358388 1624 0 0 20 0 1 0 51792304 4477276160 994078 18446744073709551615 4235264 15874749 140723436599152 0 0 0 0 0 8404994 1 0 0 17 4 0 0 0 0 0 18096864 18107984 25305088 140723436607900 140723436607977 140723436607977 140723436613579 0
/proc/48434/statm: 1093085 994078 4544 2842 0 1074779 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 4372340 KiB
Current children cumulated memory: 3976312 KiB
Child status: 0
Real time (s): 3609.84
CPU time (s): 3600.16
CPU user time (s): 3583.88
CPU system time (s): 16.2724
CPU usage (%): 99.7316
Max. virtual memory (cumulated for all children) (KiB): 5034396
Max. memory (cumulated for all children) (KiB): 4482304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.88
system time used= 16.2724
maximum resident set size= 4555984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546961
page faults= 12
swaps= 0
block input operations= 672
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 352
involuntary context switches= 2792
# summary of solver processes directly reported to runsolver:
# pid: 48434
# total CPU time (s): 3600.16
# total CPU user time (s): 3583.88
# total CPU system time (s): 16.2724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09749 second user time and 15.296 second system time
The end
Begin job on nodeC027 at 2025-07-01 11:12:04
IDJOB=4489727
IDBENCH=147562
IDSOLVER=3340
FILE ID=nodeC027/4489727-1751361124
RUNJOBID= nodeC027-1751361124-48388
SLURM_JOB_ID= 9598168
Free space on /tmp= 432996 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489727-1751361124/watcher-4489727-1751361124 -o /tmp/evaluation-result-4489727-1751361124/solver-4489727-1751361124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4489727-1751361124.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=2013262690
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.640
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3519.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3585.439
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.629
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3601.258
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.607
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.639
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3599.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129956556 kB
MemAvailable: 129745896 kB
Buffers: 2488 kB
Cached: 591936 kB
SwapCached: 12 kB
Active: 373160 kB
Inactive: 292072 kB
Active(anon): 86148 kB
Inactive(anon): 2792 kB
Active(file): 287012 kB
Inactive(file): 289280 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 129464 kB
Writeback: 4 kB
AnonPages: 73944 kB
Mapped: 103184 kB
Shmem: 18056 kB
KReclaimable: 104172 kB
Slab: 192176 kB
SReclaimable: 104172 kB
SUnreclaim: 88004 kB
KernelStack: 4016 kB
PageTables: 2792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 336172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150328 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432936 MiB
End job on nodeC027 at 2025-07-01 12:12:14