0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
1.26/1.37 c [STEP] preprocessing with Papilo
2.96/3.00 c Papilo could not simplify the problem
2.96/3.00 c [STEP] solving with SCIP
303.63/304.85 c [STEP] preprocessing done, loading into solver
304.73/305.97 c [STEP] solving
304.73/305.97 c #variables 10001 #constraints 656900
304.73/305.97 c SMALL=int, LARGE=long long
304.73/305.97 d SCIPUB 494315
304.73/305.97 c bounds - >= 0 @ 303.199
304.73/305.97 c stratification level: 98
305.13/306.31 c bounds 6831 >= 0 @ 303.52
305.13/306.31 c stratification level: 97
305.13/306.32 c bounds 6723 >= 0 @ 303.525
305.13/306.32 c stratification level: 96
305.13/306.33 c bounds 6525 >= 0 @ 303.53
305.13/306.33 c stratification level: 95
305.13/306.34 c bounds 6489 >= 0 @ 303.538
305.13/306.34 c stratification level: 94
305.13/306.35 c bounds 6448 >= 0 @ 303.545
305.13/306.35 c stratification level: 93
305.13/306.36 c bounds 6294 >= 0 @ 303.552
305.13/306.36 c stratification level: 92
305.13/306.37 c bounds 6134 >= 0 @ 303.559
305.13/306.37 c stratification level: 91
305.13/306.38 c bounds 5547 >= 0 @ 303.567
305.13/306.38 c stratification level: 90
305.13/306.39 c bounds 5043 >= 0 @ 303.574
305.13/306.39 c stratification level: 89
305.13/306.39 c bounds 4876 >= 0 @ 303.58
305.13/306.39 c stratification level: 88
305.23/306.40 c bounds 4643 >= 0 @ 303.586
305.23/306.40 c stratification level: 87
305.23/306.44 c bounds 4632 >= 0 @ 303.614
305.23/306.44 c stratification level: 86
305.23/306.46 c bounds 4626 >= 0 @ 303.634
305.23/306.46 c stratification level: 85
305.23/306.47 c bounds 4623 >= 0 @ 303.645
305.23/306.47 c stratification level: 84
305.23/306.48 c bounds 4597 >= 0 @ 303.65
305.23/306.48 c stratification level: 83
305.23/306.49 c bounds 4513 >= 0 @ 303.653
305.23/306.49 c stratification level: 82
305.33/306.53 c bounds 4507 >= 0 @ 303.695
305.33/306.53 c stratification level: 81
305.33/306.54 c bounds 4493 >= 0 @ 303.699
305.33/306.54 c stratification level: 80
305.33/306.55 c bounds 4485 >= 0 @ 303.708
305.33/306.55 c stratification level: 79
305.33/306.55 c bounds 4480 >= 0 @ 303.713
305.33/306.55 c stratification level: 78
305.33/306.56 c bounds 4443 >= 0 @ 303.717
305.33/306.56 c stratification level: 77
305.43/306.65 c bounds 4434 >= 0 @ 303.799
305.43/306.65 c stratification level: 76
305.43/306.66 c bounds 4314 >= 0 @ 303.805
305.43/306.66 c stratification level: 75
305.43/306.66 c bounds 4249 >= 0 @ 303.81
305.43/306.66 c stratification level: 74
305.43/306.67 c bounds 4195 >= 0 @ 303.813
305.43/306.67 c stratification level: 73
305.43/306.68 c bounds 4097 >= 0 @ 303.819
305.43/306.68 c stratification level: 72
305.53/306.76 c bounds 4072 >= 0 @ 303.9
305.53/306.76 c stratification level: 71
305.53/306.77 c bounds 4041 >= 0 @ 303.907
305.53/306.77 c stratification level: 70
305.63/306.83 c bounds 4022 >= 0 @ 303.965
305.63/306.83 c stratification level: 69
305.63/306.86 c bounds 4017 >= 0 @ 303.992
305.63/306.86 c stratification level: 68
305.63/306.87 c bounds 3962 >= 0 @ 303.996
305.63/306.87 c stratification level: 67
305.63/306.88 c bounds 3895 >= 0 @ 304.002
305.63/306.88 c stratification level: 66
305.63/306.89 c bounds 3886 >= 0 @ 304.008
305.63/306.89 c stratification level: 65
305.72/306.92 c bounds 3881 >= 0 @ 304.036
305.72/306.92 c stratification level: 64
305.72/306.92 c bounds 3738 >= 0 @ 304.042
305.72/306.92 c stratification level: 63
305.72/306.95 c bounds 3736 >= 0 @ 304.068
305.72/306.95 c stratification level: 62
305.72/306.96 c bounds 3703 >= 0 @ 304.075
305.72/306.96 c stratification level: 61
305.72/306.97 c bounds 3571 >= 0 @ 304.08
305.72/306.97 c stratification level: 60
305.72/306.98 c bounds 3557 >= 0 @ 304.087
305.72/306.98 c stratification level: 59
305.72/306.99 c bounds 3438 >= 0 @ 304.092
305.72/306.99 c stratification level: 58
305.72/307.00 c bounds 3392 >= 0 @ 304.097
305.72/307.00 c stratification level: 57
305.84/307.03 c bounds 3381 >= 0 @ 304.124
305.84/307.03 c stratification level: 56
305.84/307.04 c bounds 3371 >= 0 @ 304.131
305.84/307.04 c stratification level: 55
305.84/307.05 c bounds 3362 >= 0 @ 304.139
305.84/307.05 c stratification level: 54
305.84/307.06 c bounds 3348 >= 0 @ 304.143
305.84/307.06 c stratification level: 53
305.84/307.08 c bounds 3336 >= 0 @ 304.157
305.84/307.08 c stratification level: 52
305.93/307.11 c bounds 3331 >= 0 @ 304.182
305.93/307.11 c stratification level: 51
305.93/307.13 c #Conflicts: 1000 | #Constraints: 657946
305.93/307.13 c bounds 3315 >= 0 @ 304.203
305.93/307.13 c stratification level: 50
305.93/307.14 c bounds 3206 >= 0 @ 304.21
305.93/307.14 c stratification level: 49
305.93/307.15 c bounds 3125 >= 0 @ 304.214
305.93/307.15 c stratification level: 48
305.93/307.17 c bounds 3119 >= 0 @ 304.228
305.93/307.17 c stratification level: 47
305.93/307.19 c bounds 3108 >= 0 @ 304.235
305.93/307.19 c stratification level: 46
305.93/307.20 c bounds 3062 >= 0 @ 304.24
305.93/307.20 c stratification level: 45
306.03/307.21 c bounds 2886 >= 0 @ 304.245
306.03/307.21 c stratification level: 44
306.03/307.22 c bounds 2765 >= 0 @ 304.252
306.03/307.22 c stratification level: 43
306.03/307.23 c bounds 2741 >= 0 @ 304.264
306.03/307.23 c stratification level: 42
306.03/307.24 c bounds 2661 >= 0 @ 304.271
306.03/307.24 c stratification level: 41
306.03/307.25 c bounds 2622 >= 0 @ 304.279
306.03/307.25 c stratification level: 40
306.03/307.26 c bounds 2600 >= 0 @ 304.285
306.03/307.26 c stratification level: 39
306.03/307.27 c bounds 2552 >= 0 @ 304.289
306.03/307.27 c stratification level: 38
306.03/307.29 c bounds 2439 >= 0 @ 304.294
306.03/307.29 c stratification level: 37
306.13/307.30 c bounds 2325 >= 0 @ 304.303
306.13/307.30 c stratification level: 36
306.13/307.31 c bounds 2183 >= 0 @ 304.31
306.13/307.31 c stratification level: 35
306.13/307.32 c bounds 2144 >= 0 @ 304.316
306.13/307.32 c stratification level: 34
306.13/307.33 c bounds 2138 >= 0 @ 304.323
306.13/307.33 c stratification level: 33
306.13/307.34 c bounds 1918 >= 0 @ 304.33
306.13/307.34 c stratification level: 32
306.13/307.36 c bounds 1916 >= 0 @ 304.338
306.13/307.36 c stratification level: 31
306.13/307.37 c bounds 1769 >= 0 @ 304.349
306.13/307.37 c stratification level: 30
306.13/307.38 c bounds 1604 >= 0 @ 304.356
306.13/307.38 c stratification level: 29
306.13/307.39 c bounds 1602 >= 0 @ 304.363
306.13/307.39 c stratification level: 28
306.23/307.41 c bounds 1506 >= 0 @ 304.369
306.23/307.41 c stratification level: 27
306.23/307.47 c bounds 1482 >= 0 @ 304.422
306.23/307.47 c stratification level: 26
306.33/307.51 c bounds 1478 >= 0 @ 304.454
306.33/307.51 c stratification level: 25
306.33/307.53 c bounds 1375 >= 0 @ 304.463
306.33/307.53 c stratification level: 24
306.33/307.54 c bounds 1263 >= 0 @ 304.469
306.33/307.54 c stratification level: 23
306.33/307.55 c bounds 1255 >= 0 @ 304.477
306.33/307.55 c stratification level: 22
306.33/307.56 c bounds 1169 >= 0 @ 304.483
306.33/307.56 c stratification level: 21
306.33/307.58 c bounds 1140 >= 0 @ 304.495
306.33/307.58 c stratification level: 20
306.33/307.59 c bounds 1110 >= 0 @ 304.503
306.33/307.59 c stratification level: 19
306.52/307.75 c bounds 1098 >= 0 @ 304.648
306.52/307.75 c stratification level: 18
306.52/307.76 c bounds 1059 >= 0 @ 304.656
306.52/307.76 c stratification level: 17
306.52/307.79 c bounds 961 >= 0 @ 304.673
306.52/307.79 c stratification level: 16
306.62/307.80 c bounds 906 >= 0 @ 304.681
306.62/307.80 c stratification level: 15
306.72/307.98 c bounds 829 >= 0 @ 304.843
306.72/307.98 c stratification level: 14
306.83/308.01 c bounds 777 >= 0 @ 304.859
306.83/308.01 c stratification level: 13
306.83/308.02 c bounds 675 >= 0 @ 304.866
306.83/308.02 c stratification level: 12
307.33/308.55 c #Conflicts: 2000 | #Constraints: 658985
307.33/308.55 c INPROCESSING
307.33/308.55 c GARBAGE COLLECT
307.33/308.55 c bounds 669 >= 0 @ 305.371
307.33/308.55 c stratification level: 11
308.52/309.78 c #Conflicts: 3000 | #Constraints: 658909
308.52/309.78 c bounds 601 >= 0 @ 306.565
308.52/309.78 c stratification level: 10
308.82/310.08 c bounds 597 >= 0 @ 306.839
308.82/310.08 c stratification level: 9
309.12/310.33 c #Conflicts: 4000 | #Constraints: 659911
309.12/310.33 c bounds 456 >= 0 @ 307.056
309.12/310.33 c stratification level: 8
315.01/316.20 c INPROCESSING
315.01/316.20 c GARBAGE COLLECT
315.01/316.20 c #Conflicts: 5000 | #Constraints: 659314
315.01/316.20 c #Conflicts: 6000 | #Constraints: 660314
315.01/316.20 c INPROCESSING
315.01/316.20 c GARBAGE COLLECT
315.01/316.20 c #Conflicts: 7000 | #Constraints: 659322
315.01/316.20 c #Conflicts: 8000 | #Constraints: 660322
315.01/316.20 c #Conflicts: 9000 | #Constraints: 661322
315.01/316.20 c INPROCESSING
315.01/316.20 c GARBAGE COLLECT
315.01/316.20 c bounds 419 >= 0 @ 312.759
315.01/316.20 c stratification level: 7
346.42/347.73 c #Conflicts: 10000 | #Constraints: 660026
346.42/347.73 c #Conflicts: 11000 | #Constraints: 661026
346.42/347.73 c #Conflicts: 12000 | #Constraints: 662026
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 13000 | #Constraints: 660478
346.42/347.73 c #Conflicts: 14000 | #Constraints: 661478
346.42/347.73 c #Conflicts: 15000 | #Constraints: 662478
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 16000 | #Constraints: 660714
346.42/347.73 c #Conflicts: 17000 | #Constraints: 661714
346.42/347.73 c #Conflicts: 18000 | #Constraints: 662714
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 19000 | #Constraints: 660729
346.42/347.73 c #Conflicts: 20000 | #Constraints: 661729
346.42/347.73 c #Conflicts: 21000 | #Constraints: 662729
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 22000 | #Constraints: 660536
346.42/347.73 c #Conflicts: 23000 | #Constraints: 661536
346.42/347.73 c #Conflicts: 24000 | #Constraints: 662536
346.42/347.73 c #Conflicts: 25000 | #Constraints: 663536
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 26000 | #Constraints: 661144
346.42/347.73 c #Conflicts: 27000 | #Constraints: 662144
346.42/347.73 c #Conflicts: 28000 | #Constraints: 663144
346.42/347.73 c #Conflicts: 29000 | #Constraints: 664144
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 30000 | #Constraints: 661538
346.42/347.73 c #Conflicts: 31000 | #Constraints: 662538
346.42/347.73 c #Conflicts: 32000 | #Constraints: 663538
346.42/347.73 c #Conflicts: 33000 | #Constraints: 664538
346.42/347.73 c INPROCESSING
346.42/347.73 c GARBAGE COLLECT
346.42/347.73 c #Conflicts: 34000 | #Constraints: 661741
346.42/347.73 c bounds 374 >= 0 @ 343.571
346.42/347.73 c stratification level: 6
447.85/449.44 c #Conflicts: 35000 | #Constraints: 662742
447.85/449.44 c #Conflicts: 36000 | #Constraints: 663742
447.85/449.44 c #Conflicts: 37000 | #Constraints: 664742
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 38000 | #Constraints: 661747
447.85/449.44 c #Conflicts: 39000 | #Constraints: 662747
447.85/449.44 c #Conflicts: 40000 | #Constraints: 663747
447.85/449.44 c #Conflicts: 41000 | #Constraints: 664747
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 42000 | #Constraints: 661550
447.85/449.44 c #Conflicts: 43000 | #Constraints: 662550
447.85/449.44 c #Conflicts: 44000 | #Constraints: 663550
447.85/449.44 c #Conflicts: 45000 | #Constraints: 664550
447.85/449.44 c #Conflicts: 46000 | #Constraints: 665550
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 47000 | #Constraints: 662149
447.85/449.44 c #Conflicts: 48000 | #Constraints: 663149
447.85/449.44 c #Conflicts: 49000 | #Constraints: 664149
447.85/449.44 c #Conflicts: 50000 | #Constraints: 665149
447.85/449.44 c #Conflicts: 51000 | #Constraints: 666149
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 52000 | #Constraints: 662551
447.85/449.44 c #Conflicts: 53000 | #Constraints: 663551
447.85/449.44 c #Conflicts: 54000 | #Constraints: 664551
447.85/449.44 c #Conflicts: 55000 | #Constraints: 665551
447.85/449.44 c #Conflicts: 56000 | #Constraints: 666551
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 57000 | #Constraints: 662765
447.85/449.44 c #Conflicts: 58000 | #Constraints: 663765
447.85/449.44 c #Conflicts: 59000 | #Constraints: 664765
447.85/449.44 c #Conflicts: 60000 | #Constraints: 665765
447.85/449.44 c #Conflicts: 61000 | #Constraints: 666765
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 62000 | #Constraints: 662768
447.85/449.44 c #Conflicts: 63000 | #Constraints: 663768
447.85/449.44 c #Conflicts: 64000 | #Constraints: 664768
447.85/449.44 c #Conflicts: 65000 | #Constraints: 665768
447.85/449.44 c #Conflicts: 66000 | #Constraints: 666768
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 67000 | #Constraints: 662571
447.85/449.44 c #Conflicts: 68000 | #Constraints: 663571
447.85/449.44 c #Conflicts: 69000 | #Constraints: 664571
447.85/449.44 c #Conflicts: 70000 | #Constraints: 665571
447.85/449.44 c #Conflicts: 71000 | #Constraints: 666571
447.85/449.44 c #Conflicts: 72000 | #Constraints: 667571
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 73000 | #Constraints: 663171
447.85/449.44 c #Conflicts: 74000 | #Constraints: 664171
447.85/449.44 c #Conflicts: 75000 | #Constraints: 665171
447.85/449.44 c #Conflicts: 76000 | #Constraints: 666171
447.85/449.44 c #Conflicts: 77000 | #Constraints: 667171
447.85/449.44 c #Conflicts: 78000 | #Constraints: 668171
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 79000 | #Constraints: 663581
447.85/449.44 c #Conflicts: 80000 | #Constraints: 664581
447.85/449.44 c #Conflicts: 81000 | #Constraints: 665581
447.85/449.44 c #Conflicts: 82000 | #Constraints: 666581
447.85/449.44 c #Conflicts: 83000 | #Constraints: 667581
447.85/449.44 c #Conflicts: 84000 | #Constraints: 668581
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 85000 | #Constraints: 663781
447.85/449.44 c #Conflicts: 86000 | #Constraints: 664781
447.85/449.44 c #Conflicts: 87000 | #Constraints: 665781
447.85/449.44 c #Conflicts: 88000 | #Constraints: 666781
447.85/449.44 c #Conflicts: 89000 | #Constraints: 667781
447.85/449.44 c #Conflicts: 90000 | #Constraints: 668781
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 91000 | #Constraints: 663779
447.85/449.44 c #Conflicts: 92000 | #Constraints: 664779
447.85/449.44 c #Conflicts: 93000 | #Constraints: 665779
447.85/449.44 c #Conflicts: 94000 | #Constraints: 666779
447.85/449.44 c #Conflicts: 95000 | #Constraints: 667779
447.85/449.44 c #Conflicts: 96000 | #Constraints: 668779
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 97000 | #Constraints: 663578
447.85/449.44 c #Conflicts: 98000 | #Constraints: 664578
447.85/449.44 c #Conflicts: 99000 | #Constraints: 665578
447.85/449.44 c #Conflicts: 100000 | #Constraints: 666578
447.85/449.44 c #Conflicts: 101000 | #Constraints: 667578
447.85/449.44 c #Conflicts: 102000 | #Constraints: 668578
447.85/449.44 c #Conflicts: 103000 | #Constraints: 669578
447.85/449.44 c INPROCESSING
447.85/449.44 c GARBAGE COLLECT
447.85/449.44 c #Conflicts: 104000 | #Constraints: 664177
447.85/449.44 c #Conflicts: 105000 | #Constraints: 665177
556.35/558.26 c #Conflicts: 106000 | #Constraints: 666177
556.35/558.26 c #Conflicts: 107000 | #Constraints: 667177
556.35/558.26 c #Conflicts: 108000 | #Constraints: 668177
556.35/558.26 c #Conflicts: 109000 | #Constraints: 669177
556.35/558.26 c #Conflicts: 110000 | #Constraints: 670177
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 111000 | #Constraints: 664578
556.35/558.26 c #Conflicts: 112000 | #Constraints: 665578
556.35/558.26 c #Conflicts: 113000 | #Constraints: 666578
556.35/558.26 c #Conflicts: 114000 | #Constraints: 667578
556.35/558.26 c #Conflicts: 115000 | #Constraints: 668578
556.35/558.26 c #Conflicts: 116000 | #Constraints: 669578
556.35/558.26 c #Conflicts: 117000 | #Constraints: 670578
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 118000 | #Constraints: 664780
556.35/558.26 c #Conflicts: 119000 | #Constraints: 665780
556.35/558.26 c #Conflicts: 120000 | #Constraints: 666780
556.35/558.26 c #Conflicts: 121000 | #Constraints: 667780
556.35/558.26 c #Conflicts: 122000 | #Constraints: 668780
556.35/558.26 c #Conflicts: 123000 | #Constraints: 669780
556.35/558.26 c #Conflicts: 124000 | #Constraints: 670780
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 125000 | #Constraints: 664782
556.35/558.26 c #Conflicts: 126000 | #Constraints: 665782
556.35/558.26 c #Conflicts: 127000 | #Constraints: 666782
556.35/558.26 c #Conflicts: 128000 | #Constraints: 667782
556.35/558.26 c #Conflicts: 129000 | #Constraints: 668782
556.35/558.26 c #Conflicts: 130000 | #Constraints: 669782
556.35/558.26 c #Conflicts: 131000 | #Constraints: 670782
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 132000 | #Constraints: 664577
556.35/558.26 c #Conflicts: 133000 | #Constraints: 665577
556.35/558.26 c #Conflicts: 134000 | #Constraints: 666577
556.35/558.26 c #Conflicts: 135000 | #Constraints: 667577
556.35/558.26 c #Conflicts: 136000 | #Constraints: 668577
556.35/558.26 c #Conflicts: 137000 | #Constraints: 669577
556.35/558.26 c #Conflicts: 138000 | #Constraints: 670577
556.35/558.26 c #Conflicts: 139000 | #Constraints: 671577
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 140000 | #Constraints: 665193
556.35/558.26 c #Conflicts: 141000 | #Constraints: 666193
556.35/558.26 c #Conflicts: 142000 | #Constraints: 667193
556.35/558.26 c #Conflicts: 143000 | #Constraints: 668193
556.35/558.26 c #Conflicts: 144000 | #Constraints: 669193
556.35/558.26 c #Conflicts: 145000 | #Constraints: 670193
556.35/558.26 c #Conflicts: 146000 | #Constraints: 671193
556.35/558.26 c #Conflicts: 147000 | #Constraints: 672193
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 148000 | #Constraints: 665592
556.35/558.26 c #Conflicts: 149000 | #Constraints: 666592
556.35/558.26 c #Conflicts: 150000 | #Constraints: 667592
556.35/558.26 c #Conflicts: 151000 | #Constraints: 668592
556.35/558.26 c #Conflicts: 152000 | #Constraints: 669592
556.35/558.26 c #Conflicts: 153000 | #Constraints: 670592
556.35/558.26 c #Conflicts: 154000 | #Constraints: 671592
556.35/558.26 c #Conflicts: 155000 | #Constraints: 672592
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 156000 | #Constraints: 665796
556.35/558.26 c #Conflicts: 157000 | #Constraints: 666796
556.35/558.26 c #Conflicts: 158000 | #Constraints: 667796
556.35/558.26 c #Conflicts: 159000 | #Constraints: 668796
556.35/558.26 c #Conflicts: 160000 | #Constraints: 669796
556.35/558.26 c #Conflicts: 161000 | #Constraints: 670796
556.35/558.26 c #Conflicts: 162000 | #Constraints: 671796
556.35/558.26 c #Conflicts: 163000 | #Constraints: 672796
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 164000 | #Constraints: 665793
556.35/558.26 c #Conflicts: 165000 | #Constraints: 666793
556.35/558.26 c #Conflicts: 166000 | #Constraints: 667793
556.35/558.26 c #Conflicts: 167000 | #Constraints: 668793
556.35/558.26 c #Conflicts: 168000 | #Constraints: 669793
556.35/558.26 c #Conflicts: 169000 | #Constraints: 670793
556.35/558.26 c #Conflicts: 170000 | #Constraints: 671793
556.35/558.26 c #Conflicts: 171000 | #Constraints: 672793
556.35/558.26 c INPROCESSING
556.35/558.26 c GARBAGE COLLECT
556.35/558.26 c #Conflicts: 172000 | #Constraints: 665598
556.35/558.26 c #Conflicts: 173000 | #Constraints: 666598
556.35/558.26 c #Conflicts: 174000 | #Constraints: 667598
556.35/558.26 c #Conflicts: 175000 | #Constraints: 668598
556.35/558.26 c #Conflicts: 176000 | #Constraints: 669598
556.35/558.26 c #Conflicts: 177000 | #Constraints: 670598
556.35/558.26 c #Conflicts: 178000 | #Constraints: 671598
670.25/672.49 c #Conflicts: 179000 | #Constraints: 672598
670.25/672.49 c #Conflicts: 180000 | #Constraints: 673598
670.25/672.49 c INPROCESSING
670.25/672.49 c GARBAGE COLLECT
670.25/672.49 c #Conflicts: 181000 | #Constraints: 666192
670.25/672.49 c #Conflicts: 182000 | #Constraints: 667192
670.25/672.49 c #Conflicts: 183000 | #Constraints: 668192
670.25/672.49 c #Conflicts: 184000 | #Constraints: 669192
670.25/672.49 c #Conflicts: 185000 | #Constraints: 670192
670.25/672.49 c #Conflicts: 186000 | #Constraints: 671192
670.25/672.49 c #Conflicts: 187000 | #Constraints: 672192
670.25/672.49 c #Conflicts: 188000 | #Constraints: 673192
670.25/672.49 c #Conflicts: 189000 | #Constraints: 674192
670.25/672.49 c INPROCESSING
670.25/672.49 c GARBAGE COLLECT
670.25/672.49 c #Conflicts: 190000 | #Constraints: 666600
670.25/672.49 c #Conflicts: 191000 | #Constraints: 667600
670.25/672.49 c #Conflicts: 192000 | #Constraints: 668600
670.25/672.49 c #Conflicts: 193000 | #Constraints: 669600
670.25/672.49 c #Conflicts: 194000 | #Constraints: 670600
670.25/672.49 c #Conflicts: 195000 | #Constraints: 671600
670.25/672.49 c #Conflicts: 196000 | #Constraints: 672600
670.25/672.49 c #Conflicts: 197000 | #Constraints: 673600
670.25/672.49 c #Conflicts: 198000 | #Constraints: 674600
670.25/672.49 c INPROCESSING
670.25/672.49 c GARBAGE COLLECT
670.25/672.49 c #Conflicts: 199000 | #Constraints: 666791
670.25/672.49 c #Conflicts: 200000 | #Constraints: 667791
670.25/672.49 c #Conflicts: 201000 | #Constraints: 668791
670.25/672.49 c #Conflicts: 202000 | #Constraints: 669791
670.25/672.49 c #Conflicts: 203000 | #Constraints: 670791
670.25/672.49 c #Conflicts: 204000 | #Constraints: 671791
670.25/672.49 c #Conflicts: 205000 | #Constraints: 672791
670.25/672.49 c #Conflicts: 206000 | #Constraints: 673791
670.25/672.49 c #Conflicts: 207000 | #Constraints: 674791
670.25/672.49 c INPROCESSING
670.25/672.49 c GARBAGE COLLECT
670.25/672.49 c #Conflicts: 208000 | #Constraints: 666787
670.25/672.49 c #Conflicts: 209000 | #Constraints: 667787
670.25/672.49 c #Conflicts: 210000 | #Constraints: 668787
670.25/672.49 c #Conflicts: 211000 | #Constraints: 669787
670.25/672.49 c #Conflicts: 212000 | #Constraints: 670787
670.25/672.49 c #Conflicts: 213000 | #Constraints: 671787
670.25/672.49 c #Conflicts: 214000 | #Constraints: 672787
670.25/672.49 c #Conflicts: 215000 | #Constraints: 673787
670.25/672.50 c #Conflicts: 216000 | #Constraints: 674787
670.25/672.50 c INPROCESSING
670.25/672.50 c GARBAGE COLLECT
670.25/672.50 c #Conflicts: 217000 | #Constraints: 666593
670.25/672.50 c #Conflicts: 218000 | #Constraints: 667593
670.25/672.50 c #Conflicts: 219000 | #Constraints: 668593
670.25/672.50 c #Conflicts: 220000 | #Constraints: 669593
670.25/672.50 c #Conflicts: 221000 | #Constraints: 670593
670.25/672.50 c #Conflicts: 222000 | #Constraints: 671593
670.25/672.50 c #Conflicts: 223000 | #Constraints: 672593
670.25/672.50 c #Conflicts: 224000 | #Constraints: 673593
670.25/672.50 c #Conflicts: 225000 | #Constraints: 674593
670.25/672.50 c #Conflicts: 226000 | #Constraints: 675593
670.25/672.50 c INPROCESSING
670.25/672.50 c GARBAGE COLLECT
670.25/672.50 c #Conflicts: 227000 | #Constraints: 667191
670.25/672.50 c #Conflicts: 228000 | #Constraints: 668191
670.25/672.50 c #Conflicts: 229000 | #Constraints: 669191
670.25/672.50 c #Conflicts: 230000 | #Constraints: 670191
670.25/672.50 c #Conflicts: 231000 | #Constraints: 671191
670.25/672.50 c #Conflicts: 232000 | #Constraints: 672191
670.25/672.50 c #Conflicts: 233000 | #Constraints: 673191
670.25/672.50 c #Conflicts: 234000 | #Constraints: 674191
670.25/672.50 c #Conflicts: 235000 | #Constraints: 675191
670.25/672.50 c #Conflicts: 236000 | #Constraints: 676191
670.25/672.50 c INPROCESSING
670.25/672.50 c GARBAGE COLLECT
670.25/672.50 c #Conflicts: 237000 | #Constraints: 667596
670.25/672.50 c #Conflicts: 238000 | #Constraints: 668596
670.25/672.50 c #Conflicts: 239000 | #Constraints: 669596
670.25/672.50 c #Conflicts: 240000 | #Constraints: 670596
670.25/672.50 c #Conflicts: 241000 | #Constraints: 671596
670.25/672.50 c #Conflicts: 242000 | #Constraints: 672596
670.25/672.50 c #Conflicts: 243000 | #Constraints: 673596
670.25/672.50 c #Conflicts: 244000 | #Constraints: 674596
670.25/672.50 c #Conflicts: 245000 | #Constraints: 675596
670.25/672.50 c #Conflicts: 246000 | #Constraints: 676596
670.25/672.50 c INPROCESSING
670.25/672.50 c GARBAGE COLLECT
670.25/672.50 c #Conflicts: 247000 | #Constraints: 667799
670.25/672.50 c #Conflicts: 248000 | #Constraints: 668799
670.25/672.50 c #Conflicts: 249000 | #Constraints: 669799
670.25/672.50 c #Conflicts: 250000 | #Constraints: 670799
670.25/672.50 c #Conflicts: 251000 | #Constraints: 671799
670.25/672.50 c #Conflicts: 252000 | #Constraints: 672799
783.44/785.93 c #Conflicts: 253000 | #Constraints: 673799
783.44/785.93 c #Conflicts: 254000 | #Constraints: 674799
783.44/785.93 c #Conflicts: 255000 | #Constraints: 675799
783.44/785.93 c #Conflicts: 256000 | #Constraints: 676799
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 257000 | #Constraints: 667801
783.44/785.93 c #Conflicts: 258000 | #Constraints: 668801
783.44/785.93 c #Conflicts: 259000 | #Constraints: 669801
783.44/785.93 c #Conflicts: 260000 | #Constraints: 670801
783.44/785.93 c #Conflicts: 261000 | #Constraints: 671801
783.44/785.93 c #Conflicts: 262000 | #Constraints: 672801
783.44/785.93 c #Conflicts: 263000 | #Constraints: 673801
783.44/785.93 c #Conflicts: 264000 | #Constraints: 674801
783.44/785.93 c #Conflicts: 265000 | #Constraints: 675801
783.44/785.93 c #Conflicts: 266000 | #Constraints: 676801
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 267000 | #Constraints: 667596
783.44/785.93 c #Conflicts: 268000 | #Constraints: 668596
783.44/785.93 c #Conflicts: 269000 | #Constraints: 669596
783.44/785.93 c #Conflicts: 270000 | #Constraints: 670596
783.44/785.93 c #Conflicts: 271000 | #Constraints: 671596
783.44/785.93 c #Conflicts: 272000 | #Constraints: 672596
783.44/785.93 c #Conflicts: 273000 | #Constraints: 673596
783.44/785.93 c #Conflicts: 274000 | #Constraints: 674596
783.44/785.93 c #Conflicts: 275000 | #Constraints: 675596
783.44/785.93 c #Conflicts: 276000 | #Constraints: 676596
783.44/785.93 c #Conflicts: 277000 | #Constraints: 677596
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 278000 | #Constraints: 668201
783.44/785.93 c #Conflicts: 279000 | #Constraints: 669201
783.44/785.93 c #Conflicts: 280000 | #Constraints: 670201
783.44/785.93 c #Conflicts: 281000 | #Constraints: 671201
783.44/785.93 c #Conflicts: 282000 | #Constraints: 672201
783.44/785.93 c #Conflicts: 283000 | #Constraints: 673201
783.44/785.93 c #Conflicts: 284000 | #Constraints: 674201
783.44/785.93 c #Conflicts: 285000 | #Constraints: 675201
783.44/785.93 c #Conflicts: 286000 | #Constraints: 676201
783.44/785.93 c #Conflicts: 287000 | #Constraints: 677201
783.44/785.93 c #Conflicts: 288000 | #Constraints: 678201
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 289000 | #Constraints: 668596
783.44/785.93 c #Conflicts: 290000 | #Constraints: 669596
783.44/785.93 c #Conflicts: 291000 | #Constraints: 670596
783.44/785.93 c #Conflicts: 292000 | #Constraints: 671596
783.44/785.93 c #Conflicts: 293000 | #Constraints: 672596
783.44/785.93 c #Conflicts: 294000 | #Constraints: 673596
783.44/785.93 c #Conflicts: 295000 | #Constraints: 674596
783.44/785.93 c #Conflicts: 296000 | #Constraints: 675596
783.44/785.93 c #Conflicts: 297000 | #Constraints: 676596
783.44/785.93 c #Conflicts: 298000 | #Constraints: 677596
783.44/785.93 c #Conflicts: 299000 | #Constraints: 678596
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 300000 | #Constraints: 668790
783.44/785.93 c #Conflicts: 301000 | #Constraints: 669790
783.44/785.93 c #Conflicts: 302000 | #Constraints: 670790
783.44/785.93 c #Conflicts: 303000 | #Constraints: 671790
783.44/785.93 c #Conflicts: 304000 | #Constraints: 672790
783.44/785.93 c #Conflicts: 305000 | #Constraints: 673790
783.44/785.93 c #Conflicts: 306000 | #Constraints: 674790
783.44/785.93 c #Conflicts: 307000 | #Constraints: 675790
783.44/785.93 c #Conflicts: 308000 | #Constraints: 676790
783.44/785.93 c #Conflicts: 309000 | #Constraints: 677790
783.44/785.93 c #Conflicts: 310000 | #Constraints: 678790
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 311000 | #Constraints: 668795
783.44/785.93 c #Conflicts: 312000 | #Constraints: 669795
783.44/785.93 c #Conflicts: 313000 | #Constraints: 670795
783.44/785.93 c #Conflicts: 314000 | #Constraints: 671795
783.44/785.93 c #Conflicts: 315000 | #Constraints: 672795
783.44/785.93 c #Conflicts: 316000 | #Constraints: 673795
783.44/785.93 c #Conflicts: 317000 | #Constraints: 674795
783.44/785.93 c #Conflicts: 318000 | #Constraints: 675795
783.44/785.93 c #Conflicts: 319000 | #Constraints: 676795
783.44/785.93 c #Conflicts: 320000 | #Constraints: 677795
783.44/785.93 c #Conflicts: 321000 | #Constraints: 678795
783.44/785.93 c INPROCESSING
783.44/785.93 c GARBAGE COLLECT
783.44/785.93 c #Conflicts: 322000 | #Constraints: 668599
783.44/785.93 c #Conflicts: 323000 | #Constraints: 669599
783.44/785.93 c #Conflicts: 324000 | #Constraints: 670599
783.44/785.93 c #Conflicts: 325000 | #Constraints: 671599
783.44/785.93 c #Conflicts: 326000 | #Constraints: 672599
896.06/898.86 c #Conflicts: 327000 | #Constraints: 673599
896.06/898.86 c #Conflicts: 328000 | #Constraints: 674599
896.06/898.86 c #Conflicts: 329000 | #Constraints: 675599
896.06/898.86 c #Conflicts: 330000 | #Constraints: 676599
896.06/898.86 c #Conflicts: 331000 | #Constraints: 677599
896.06/898.86 c #Conflicts: 332000 | #Constraints: 678599
896.06/898.86 c #Conflicts: 333000 | #Constraints: 679599
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 334000 | #Constraints: 669201
896.06/898.86 c #Conflicts: 335000 | #Constraints: 670201
896.06/898.86 c #Conflicts: 336000 | #Constraints: 671201
896.06/898.86 c #Conflicts: 337000 | #Constraints: 672201
896.06/898.86 c #Conflicts: 338000 | #Constraints: 673201
896.06/898.86 c #Conflicts: 339000 | #Constraints: 674201
896.06/898.86 c #Conflicts: 340000 | #Constraints: 675201
896.06/898.86 c #Conflicts: 341000 | #Constraints: 676201
896.06/898.86 c #Conflicts: 342000 | #Constraints: 677201
896.06/898.86 c #Conflicts: 343000 | #Constraints: 678201
896.06/898.86 c #Conflicts: 344000 | #Constraints: 679201
896.06/898.86 c #Conflicts: 345000 | #Constraints: 680201
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 346000 | #Constraints: 669614
896.06/898.86 c #Conflicts: 347000 | #Constraints: 670614
896.06/898.86 c #Conflicts: 348000 | #Constraints: 671614
896.06/898.86 c #Conflicts: 349000 | #Constraints: 672614
896.06/898.86 c #Conflicts: 350000 | #Constraints: 673614
896.06/898.86 c #Conflicts: 351000 | #Constraints: 674614
896.06/898.86 c #Conflicts: 352000 | #Constraints: 675614
896.06/898.86 c #Conflicts: 353000 | #Constraints: 676614
896.06/898.86 c #Conflicts: 354000 | #Constraints: 677614
896.06/898.86 c #Conflicts: 355000 | #Constraints: 678614
896.06/898.86 c #Conflicts: 356000 | #Constraints: 679614
896.06/898.86 c #Conflicts: 357000 | #Constraints: 680614
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 358000 | #Constraints: 669803
896.06/898.86 c #Conflicts: 359000 | #Constraints: 670803
896.06/898.86 c #Conflicts: 360000 | #Constraints: 671803
896.06/898.86 c #Conflicts: 361000 | #Constraints: 672803
896.06/898.86 c #Conflicts: 362000 | #Constraints: 673803
896.06/898.86 c #Conflicts: 363000 | #Constraints: 674803
896.06/898.86 c #Conflicts: 364000 | #Constraints: 675803
896.06/898.86 c #Conflicts: 365000 | #Constraints: 676803
896.06/898.86 c #Conflicts: 366000 | #Constraints: 677803
896.06/898.86 c #Conflicts: 367000 | #Constraints: 678803
896.06/898.86 c #Conflicts: 368000 | #Constraints: 679803
896.06/898.86 c #Conflicts: 369000 | #Constraints: 680803
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 370000 | #Constraints: 669802
896.06/898.86 c #Conflicts: 371000 | #Constraints: 670802
896.06/898.86 c #Conflicts: 372000 | #Constraints: 671802
896.06/898.86 c #Conflicts: 373000 | #Constraints: 672802
896.06/898.86 c #Conflicts: 374000 | #Constraints: 673802
896.06/898.86 c #Conflicts: 375000 | #Constraints: 674802
896.06/898.86 c #Conflicts: 376000 | #Constraints: 675802
896.06/898.86 c #Conflicts: 377000 | #Constraints: 676802
896.06/898.86 c #Conflicts: 378000 | #Constraints: 677802
896.06/898.86 c #Conflicts: 379000 | #Constraints: 678802
896.06/898.86 c #Conflicts: 380000 | #Constraints: 679802
896.06/898.86 c #Conflicts: 381000 | #Constraints: 680802
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 382000 | #Constraints: 669610
896.06/898.86 c #Conflicts: 383000 | #Constraints: 670610
896.06/898.86 c #Conflicts: 384000 | #Constraints: 671610
896.06/898.86 c #Conflicts: 385000 | #Constraints: 672610
896.06/898.86 c #Conflicts: 386000 | #Constraints: 673610
896.06/898.86 c #Conflicts: 387000 | #Constraints: 674610
896.06/898.86 c #Conflicts: 388000 | #Constraints: 675610
896.06/898.86 c #Conflicts: 389000 | #Constraints: 676610
896.06/898.86 c #Conflicts: 390000 | #Constraints: 677610
896.06/898.86 c #Conflicts: 391000 | #Constraints: 678610
896.06/898.86 c #Conflicts: 392000 | #Constraints: 679610
896.06/898.86 c #Conflicts: 393000 | #Constraints: 680610
896.06/898.86 c #Conflicts: 394000 | #Constraints: 681610
896.06/898.86 c INPROCESSING
896.06/898.86 c GARBAGE COLLECT
896.06/898.86 c #Conflicts: 395000 | #Constraints: 670206
896.06/898.86 c #Conflicts: 396000 | #Constraints: 671206
896.06/898.86 c #Conflicts: 397000 | #Constraints: 672206
896.06/898.86 c #Conflicts: 398000 | #Constraints: 673206
896.06/898.86 c #Conflicts: 399000 | #Constraints: 674206
896.06/898.86 c #Conflicts: 400000 | #Constraints: 675206
896.06/898.86 c #Conflicts: 401000 | #Constraints: 676206
1023.93/1027.01 c #Conflicts: 402000 | #Constraints: 677206
1023.93/1027.01 c #Conflicts: 403000 | #Constraints: 678206
1023.93/1027.01 c #Conflicts: 404000 | #Constraints: 679206
1023.93/1027.01 c #Conflicts: 405000 | #Constraints: 680206
1023.93/1027.01 c #Conflicts: 406000 | #Constraints: 681206
1023.93/1027.01 c #Conflicts: 407000 | #Constraints: 682206
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 408000 | #Constraints: 670608
1023.93/1027.01 c #Conflicts: 409000 | #Constraints: 671608
1023.93/1027.01 c #Conflicts: 410000 | #Constraints: 672608
1023.93/1027.01 c #Conflicts: 411000 | #Constraints: 673608
1023.93/1027.01 c #Conflicts: 412000 | #Constraints: 674608
1023.93/1027.01 c #Conflicts: 413000 | #Constraints: 675608
1023.93/1027.01 c #Conflicts: 414000 | #Constraints: 676608
1023.93/1027.01 c #Conflicts: 415000 | #Constraints: 677608
1023.93/1027.01 c #Conflicts: 416000 | #Constraints: 678608
1023.93/1027.01 c #Conflicts: 417000 | #Constraints: 679608
1023.93/1027.01 c #Conflicts: 418000 | #Constraints: 680608
1023.93/1027.01 c #Conflicts: 419000 | #Constraints: 681608
1023.93/1027.01 c #Conflicts: 420000 | #Constraints: 682608
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 421000 | #Constraints: 670811
1023.93/1027.01 c #Conflicts: 422000 | #Constraints: 671811
1023.93/1027.01 c #Conflicts: 423000 | #Constraints: 672811
1023.93/1027.01 c #Conflicts: 424000 | #Constraints: 673811
1023.93/1027.01 c #Conflicts: 425000 | #Constraints: 674811
1023.93/1027.01 c #Conflicts: 426000 | #Constraints: 675811
1023.93/1027.01 c #Conflicts: 427000 | #Constraints: 676811
1023.93/1027.01 c #Conflicts: 428000 | #Constraints: 677811
1023.93/1027.01 c #Conflicts: 429000 | #Constraints: 678811
1023.93/1027.01 c #Conflicts: 430000 | #Constraints: 679811
1023.93/1027.01 c #Conflicts: 431000 | #Constraints: 680811
1023.93/1027.01 c #Conflicts: 432000 | #Constraints: 681811
1023.93/1027.01 c #Conflicts: 433000 | #Constraints: 682811
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 434000 | #Constraints: 670816
1023.93/1027.01 c #Conflicts: 435000 | #Constraints: 671816
1023.93/1027.01 c #Conflicts: 436000 | #Constraints: 672816
1023.93/1027.01 c #Conflicts: 437000 | #Constraints: 673816
1023.93/1027.01 c #Conflicts: 438000 | #Constraints: 674816
1023.93/1027.01 c #Conflicts: 439000 | #Constraints: 675816
1023.93/1027.01 c #Conflicts: 440000 | #Constraints: 676816
1023.93/1027.01 c #Conflicts: 441000 | #Constraints: 677816
1023.93/1027.01 c #Conflicts: 442000 | #Constraints: 678816
1023.93/1027.01 c #Conflicts: 443000 | #Constraints: 679816
1023.93/1027.01 c #Conflicts: 444000 | #Constraints: 680816
1023.93/1027.01 c #Conflicts: 445000 | #Constraints: 681816
1023.93/1027.01 c #Conflicts: 446000 | #Constraints: 682816
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 447000 | #Constraints: 670619
1023.93/1027.01 c #Conflicts: 448000 | #Constraints: 671619
1023.93/1027.01 c #Conflicts: 449000 | #Constraints: 672619
1023.93/1027.01 c #Conflicts: 450000 | #Constraints: 673619
1023.93/1027.01 c #Conflicts: 451000 | #Constraints: 674619
1023.93/1027.01 c #Conflicts: 452000 | #Constraints: 675619
1023.93/1027.01 c #Conflicts: 453000 | #Constraints: 676619
1023.93/1027.01 c #Conflicts: 454000 | #Constraints: 677619
1023.93/1027.01 c #Conflicts: 455000 | #Constraints: 678619
1023.93/1027.01 c #Conflicts: 456000 | #Constraints: 679619
1023.93/1027.01 c #Conflicts: 457000 | #Constraints: 680619
1023.93/1027.01 c #Conflicts: 458000 | #Constraints: 681619
1023.93/1027.01 c #Conflicts: 459000 | #Constraints: 682619
1023.93/1027.01 c #Conflicts: 460000 | #Constraints: 683619
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 461000 | #Constraints: 671222
1023.93/1027.01 c #Conflicts: 462000 | #Constraints: 672222
1023.93/1027.01 c #Conflicts: 463000 | #Constraints: 673222
1023.93/1027.01 c #Conflicts: 464000 | #Constraints: 674222
1023.93/1027.01 c #Conflicts: 465000 | #Constraints: 675222
1023.93/1027.01 c #Conflicts: 466000 | #Constraints: 676222
1023.93/1027.01 c #Conflicts: 467000 | #Constraints: 677222
1023.93/1027.01 c #Conflicts: 468000 | #Constraints: 678222
1023.93/1027.01 c #Conflicts: 469000 | #Constraints: 679222
1023.93/1027.01 c #Conflicts: 470000 | #Constraints: 680222
1023.93/1027.01 c #Conflicts: 471000 | #Constraints: 681222
1023.93/1027.01 c #Conflicts: 472000 | #Constraints: 682222
1023.93/1027.01 c #Conflicts: 473000 | #Constraints: 683222
1023.93/1027.01 c #Conflicts: 474000 | #Constraints: 684222
1023.93/1027.01 c INPROCESSING
1023.93/1027.01 c GARBAGE COLLECT
1023.93/1027.01 c #Conflicts: 475000 | #Constraints: 671612
1023.93/1027.01 c #Conflicts: 476000 | #Constraints: 672612
1149.98/1153.42 c #Conflicts: 477000 | #Constraints: 673612
1149.98/1153.42 c #Conflicts: 478000 | #Constraints: 674612
1149.98/1153.42 c #Conflicts: 479000 | #Constraints: 675612
1149.98/1153.42 c #Conflicts: 480000 | #Constraints: 676612
1149.98/1153.42 c #Conflicts: 481000 | #Constraints: 677612
1149.98/1153.42 c #Conflicts: 482000 | #Constraints: 678612
1149.98/1153.42 c #Conflicts: 483000 | #Constraints: 679612
1149.98/1153.42 c #Conflicts: 484000 | #Constraints: 680612
1149.98/1153.42 c #Conflicts: 485000 | #Constraints: 681612
1149.98/1153.42 c #Conflicts: 486000 | #Constraints: 682612
1149.98/1153.42 c #Conflicts: 487000 | #Constraints: 683612
1149.98/1153.42 c #Conflicts: 488000 | #Constraints: 684612
1149.98/1153.42 c INPROCESSING
1149.98/1153.42 c GARBAGE COLLECT
1149.98/1153.42 c #Conflicts: 489000 | #Constraints: 671815
1149.98/1153.42 c #Conflicts: 490000 | #Constraints: 672815
1149.98/1153.42 c #Conflicts: 491000 | #Constraints: 673815
1149.98/1153.42 c #Conflicts: 492000 | #Constraints: 674815
1149.98/1153.42 c #Conflicts: 493000 | #Constraints: 675815
1149.98/1153.42 c #Conflicts: 494000 | #Constraints: 676815
1149.98/1153.42 c #Conflicts: 495000 | #Constraints: 677815
1149.98/1153.42 c #Conflicts: 496000 | #Constraints: 678815
1149.98/1153.42 c #Conflicts: 497000 | #Constraints: 679815
1149.98/1153.42 c #Conflicts: 498000 | #Constraints: 680815
1149.98/1153.42 c #Conflicts: 499000 | #Constraints: 681815
1149.98/1153.42 c #Conflicts: 500000 | #Constraints: 682815
1149.98/1153.42 c #Conflicts: 501000 | #Constraints: 683815
1149.98/1153.42 c #Conflicts: 502000 | #Constraints: 684815
1149.98/1153.42 c INPROCESSING
1149.98/1153.42 c GARBAGE COLLECT
1149.98/1153.42 c #Conflicts: 503000 | #Constraints: 671808
1149.98/1153.42 c #Conflicts: 504000 | #Constraints: 672808
1149.98/1153.42 c #Conflicts: 505000 | #Constraints: 673808
1149.98/1153.42 c #Conflicts: 506000 | #Constraints: 674808
1149.98/1153.42 c #Conflicts: 507000 | #Constraints: 675808
1149.98/1153.42 c #Conflicts: 508000 | #Constraints: 676808
1149.98/1153.42 c #Conflicts: 509000 | #Constraints: 677808
1149.98/1153.42 c #Conflicts: 510000 | #Constraints: 678808
1149.98/1153.42 c #Conflicts: 511000 | #Constraints: 679808
1149.98/1153.42 c #Conflicts: 512000 | #Constraints: 680808
1149.98/1153.42 c #Conflicts: 513000 | #Constraints: 681808
1149.98/1153.42 c #Conflicts: 514000 | #Constraints: 682808
1149.98/1153.42 c #Conflicts: 515000 | #Constraints: 683808
1149.98/1153.42 c #Conflicts: 516000 | #Constraints: 684808
1149.98/1153.42 c INPROCESSING
1149.98/1153.42 c GARBAGE COLLECT
1149.98/1153.42 c #Conflicts: 517000 | #Constraints: 671617
1149.98/1153.42 c #Conflicts: 518000 | #Constraints: 672617
1149.98/1153.42 c #Conflicts: 519000 | #Constraints: 673617
1149.98/1153.42 c #Conflicts: 520000 | #Constraints: 674617
1149.98/1153.42 c #Conflicts: 521000 | #Constraints: 675617
1149.98/1153.42 c #Conflicts: 522000 | #Constraints: 676617
1149.98/1153.42 c #Conflicts: 523000 | #Constraints: 677617
1149.98/1153.42 c #Conflicts: 524000 | #Constraints: 678617
1149.98/1153.42 c #Conflicts: 525000 | #Constraints: 679617
1149.98/1153.42 c #Conflicts: 526000 | #Constraints: 680617
1149.98/1153.42 c #Conflicts: 527000 | #Constraints: 681617
1149.98/1153.42 c #Conflicts: 528000 | #Constraints: 682617
1149.98/1153.42 c #Conflicts: 529000 | #Constraints: 683617
1149.98/1153.42 c #Conflicts: 530000 | #Constraints: 684617
1149.98/1153.42 c #Conflicts: 531000 | #Constraints: 685617
1149.98/1153.42 c INPROCESSING
1149.98/1153.42 c GARBAGE COLLECT
1149.98/1153.42 c #Conflicts: 532000 | #Constraints: 672214
1149.98/1153.42 c #Conflicts: 533000 | #Constraints: 673214
1149.98/1153.42 c #Conflicts: 534000 | #Constraints: 674214
1149.98/1153.42 c #Conflicts: 535000 | #Constraints: 675214
1149.98/1153.42 c #Conflicts: 536000 | #Constraints: 676214
1149.98/1153.42 c #Conflicts: 537000 | #Constraints: 677214
1149.98/1153.42 c #Conflicts: 538000 | #Constraints: 678214
1149.98/1153.42 c #Conflicts: 539000 | #Constraints: 679214
1149.98/1153.42 c #Conflicts: 540000 | #Constraints: 680214
1149.98/1153.42 c #Conflicts: 541000 | #Constraints: 681214
1149.98/1153.42 c #Conflicts: 542000 | #Constraints: 682214
1149.98/1153.42 c #Conflicts: 543000 | #Constraints: 683214
1149.98/1153.42 c #Conflicts: 544000 | #Constraints: 684214
1149.98/1153.42 c #Conflicts: 545000 | #Constraints: 685214
1149.98/1153.42 c #Conflicts: 546000 | #Constraints: 686214
1149.98/1153.42 c INPROCESSING
1149.98/1153.42 c GARBAGE COLLECT
1149.98/1153.42 c #Conflicts: 547000 | #Constraints: 672619
1149.98/1153.42 c #Conflicts: 548000 | #Constraints: 673619
1149.98/1153.42 c #Conflicts: 549000 | #Constraints: 674619
1149.98/1153.42 c #Conflicts: 550000 | #Constraints: 675619
1149.98/1153.42 c #Conflicts: 551000 | #Constraints: 676619
1149.98/1153.42 c #Conflicts: 552000 | #Constraints: 677619
1183.68/1187.29 c #Conflicts: 553000 | #Constraints: 678619
1183.68/1187.29 c #Conflicts: 554000 | #Constraints: 679619
1183.68/1187.29 c #Conflicts: 555000 | #Constraints: 680619
1183.68/1187.29 c #Conflicts: 556000 | #Constraints: 681619
1183.68/1187.29 c #Conflicts: 557000 | #Constraints: 682619
1183.68/1187.29 c #Conflicts: 558000 | #Constraints: 683619
1183.68/1187.29 c #Conflicts: 559000 | #Constraints: 684619
1183.68/1187.29 c #Conflicts: 560000 | #Constraints: 685619
1183.68/1187.29 c #Conflicts: 561000 | #Constraints: 686619
1183.68/1187.29 c INPROCESSING
1183.68/1187.29 c GARBAGE COLLECT
1183.68/1187.29 c #Conflicts: 562000 | #Constraints: 672813
1183.68/1187.29 c #Conflicts: 563000 | #Constraints: 673813
1183.68/1187.29 c #Conflicts: 564000 | #Constraints: 674813
1183.68/1187.29 c #Conflicts: 565000 | #Constraints: 675813
1183.68/1187.29 c #Conflicts: 566000 | #Constraints: 676813
1183.68/1187.29 c #Conflicts: 567000 | #Constraints: 677813
1183.68/1187.29 c #Conflicts: 568000 | #Constraints: 678813
1183.68/1187.29 c #Conflicts: 569000 | #Constraints: 679813
1183.68/1187.29 c #Conflicts: 570000 | #Constraints: 680813
1183.68/1187.29 c #Conflicts: 571000 | #Constraints: 681813
1183.68/1187.29 c #Conflicts: 572000 | #Constraints: 682813
1183.68/1187.29 c #Conflicts: 573000 | #Constraints: 683813
1183.68/1187.29 c bounds 318 >= 0 @ 1171.94
1183.68/1187.29 c stratification level: 5
1860.21/1865.63 c bounds 318 >= 5 @ 1172.15
1860.21/1865.63 c #Conflicts: 574000 | #Constraints: 684815
1860.21/1865.63 c #Conflicts: 575000 | #Constraints: 685815
1860.21/1865.63 c #Conflicts: 576000 | #Constraints: 686815
1860.21/1865.63 c INPROCESSING
1860.21/1865.63 c GARBAGE COLLECT
1860.21/1865.63 c #Conflicts: 577000 | #Constraints: 672796
1860.21/1865.63 c #Conflicts: 578000 | #Constraints: 673796
1860.21/1865.63 c #Conflicts: 579000 | #Constraints: 674796
1860.21/1865.63 c #Conflicts: 580000 | #Constraints: 675796
1860.21/1865.63 c #Conflicts: 581000 | #Constraints: 676796
1860.21/1865.63 c #Conflicts: 582000 | #Constraints: 677796
1860.21/1865.63 c #Conflicts: 583000 | #Constraints: 678796
1860.21/1865.63 c #Conflicts: 584000 | #Constraints: 679796
1860.21/1865.63 c #Conflicts: 585000 | #Constraints: 680796
1860.21/1865.63 c #Conflicts: 586000 | #Constraints: 681796
1860.21/1865.63 c #Conflicts: 587000 | #Constraints: 682796
1860.21/1865.63 c #Conflicts: 588000 | #Constraints: 683796
1860.21/1865.63 c #Conflicts: 589000 | #Constraints: 684796
1860.21/1865.63 c #Conflicts: 590000 | #Constraints: 685796
1860.21/1865.63 c #Conflicts: 591000 | #Constraints: 686796
1860.21/1865.63 c INPROCESSING
1860.21/1865.63 c GARBAGE COLLECT
1860.21/1865.63 c #Conflicts: 592000 | #Constraints: 672559
1860.21/1865.63 c #Conflicts: 593000 | #Constraints: 673559
1860.21/1865.63 c #Conflicts: 594000 | #Constraints: 674559
1860.21/1865.63 c #Conflicts: 595000 | #Constraints: 675559
1860.21/1865.63 c #Conflicts: 596000 | #Constraints: 676559
1860.21/1865.63 c #Conflicts: 597000 | #Constraints: 677559
1860.21/1865.63 c #Conflicts: 598000 | #Constraints: 678559
1860.21/1865.63 c #Conflicts: 599000 | #Constraints: 679559
1860.21/1865.63 c #Conflicts: 600000 | #Constraints: 680559
1860.21/1865.63 c #Conflicts: 601000 | #Constraints: 681559
1860.21/1865.63 c #Conflicts: 602000 | #Constraints: 682559
1860.21/1865.63 c #Conflicts: 603000 | #Constraints: 683559
1860.21/1865.63 c #Conflicts: 604000 | #Constraints: 684559
1860.21/1865.63 c #Conflicts: 605000 | #Constraints: 685559
1860.21/1865.63 c #Conflicts: 606000 | #Constraints: 686559
1860.21/1865.63 c #Conflicts: 607000 | #Constraints: 687559
1860.21/1865.63 c INPROCESSING
1860.21/1865.63 c #Conflicts: 608000 | #Constraints: 673162
1860.21/1865.63 c #Conflicts: 609000 | #Constraints: 674162
1860.21/1865.63 c #Conflicts: 610000 | #Constraints: 675162
1860.21/1865.63 c #Conflicts: 611000 | #Constraints: 676162
1860.21/1865.63 c #Conflicts: 612000 | #Constraints: 677162
1860.21/1865.63 c #Conflicts: 613000 | #Constraints: 678162
1860.21/1865.63 c #Conflicts: 614000 | #Constraints: 679162
1860.21/1865.63 c #Conflicts: 615000 | #Constraints: 680162
1860.21/1865.63 c #Conflicts: 616000 | #Constraints: 681162
1860.21/1865.63 c #Conflicts: 617000 | #Constraints: 682162
1860.21/1865.63 c #Conflicts: 618000 | #Constraints: 683162
1860.21/1865.63 c #Conflicts: 619000 | #Constraints: 684162
1860.21/1865.63 c #Conflicts: 620000 | #Constraints: 685162
1860.21/1865.63 c #Conflicts: 621000 | #Constraints: 686162
1860.21/1865.63 c #Conflicts: 622000 | #Constraints: 687162
1860.21/1865.63 c #Conflicts: 623000 | #Constraints: 688162
1860.21/1865.63 c INPROCESSING
1860.21/1865.63 c GARBAGE COLLECT
1860.21/1865.63 c #Conflicts: 624000 | #Constraints: 673552
1860.21/1865.63 c #Conflicts: 625000 | #Constraints: 674552
1860.21/1865.63 c #Conflicts: 626000 | #Constraints: 675552
1860.21/1865.63 c #Conflicts: 627000 | #Constraints: 676552
1860.21/1865.63 c #Conflicts: 628000 | #Constraints: 677552
1860.21/1865.63 c #Conflicts: 629000 | #Constraints: 678552
1860.21/1865.63 c #Conflicts: 630000 | #Constraints: 679552
1860.21/1865.63 c #Conflicts: 631000 | #Constraints: 680552
1860.21/1865.63 c #Conflicts: 632000 | #Constraints: 681552
1860.21/1865.63 c #Conflicts: 633000 | #Constraints: 682552
1860.21/1865.63 c #Conflicts: 634000 | #Constraints: 683552
1860.21/1865.63 c #Conflicts: 635000 | #Constraints: 684552
1860.21/1865.63 c #Conflicts: 636000 | #Constraints: 685552
1860.21/1865.63 c #Conflicts: 637000 | #Constraints: 686552
1860.21/1865.63 c #Conflicts: 638000 | #Constraints: 687552
1860.21/1865.63 c #Conflicts: 639000 | #Constraints: 688552
1860.21/1865.63 c INPROCESSING
1860.21/1865.63 c GARBAGE COLLECT
1860.21/1865.63 c #Conflicts: 640000 | #Constraints: 673738
1860.21/1865.63 c #Conflicts: 641000 | #Constraints: 674738
1860.21/1865.63 c #Conflicts: 642000 | #Constraints: 675738
1860.21/1865.63 c #Conflicts: 643000 | #Constraints: 676738
1860.21/1865.63 c #Conflicts: 644000 | #Constraints: 677738
1860.21/1865.63 c #Conflicts: 645000 | #Constraints: 678738
1860.21/1865.63 c #Conflicts: 646000 | #Constraints: 679738
1860.21/1865.63 c #Conflicts: 647000 | #Constraints: 680738
1860.21/1865.63 c #Conflicts: 648000 | #Constraints: 681738
1860.21/1865.63 c #Conflicts: 649000 | #Constraints: 682738
3113.32/3122.29 c #Conflicts: 650000 | #Constraints: 683738
3113.32/3122.29 c #Conflicts: 651000 | #Constraints: 684738
3113.32/3122.29 c #Conflicts: 652000 | #Constraints: 685738
3113.32/3122.29 c #Conflicts: 653000 | #Constraints: 686738
3113.32/3122.29 c #Conflicts: 654000 | #Constraints: 687738
3113.32/3122.29 c #Conflicts: 655000 | #Constraints: 688738
3113.32/3122.29 c INPROCESSING
3113.32/3122.29 c GARBAGE COLLECT
3113.32/3122.29 c #Conflicts: 656000 | #Constraints: 673742
3113.32/3122.29 c #Conflicts: 657000 | #Constraints: 674742
3113.32/3122.29 c #Conflicts: 658000 | #Constraints: 675742
3113.32/3122.29 c #Conflicts: 659000 | #Constraints: 676742
3113.32/3122.29 c #Conflicts: 660000 | #Constraints: 677742
3113.32/3122.29 c #Conflicts: 661000 | #Constraints: 678742
3113.32/3122.29 c #Conflicts: 662000 | #Constraints: 679742
3113.32/3122.29 c #Conflicts: 663000 | #Constraints: 680742
3113.32/3122.29 c #Conflicts: 664000 | #Constraints: 681742
3113.32/3122.29 c #Conflicts: 665000 | #Constraints: 682742
3113.32/3122.29 c #Conflicts: 666000 | #Constraints: 683742
3113.32/3122.29 c #Conflicts: 667000 | #Constraints: 684742
3113.32/3122.29 c #Conflicts: 668000 | #Constraints: 685742
3113.32/3122.29 c #Conflicts: 669000 | #Constraints: 686742
3113.32/3122.29 c #Conflicts: 670000 | #Constraints: 687742
3113.32/3122.29 c #Conflicts: 671000 | #Constraints: 688742
3113.32/3122.29 c INPROCESSING
3113.32/3122.29 c GARBAGE COLLECT
3113.32/3122.29 c #Conflicts: 672000 | #Constraints: 673536
3113.32/3122.29 c #Conflicts: 673000 | #Constraints: 674536
3113.32/3122.29 c #Conflicts: 674000 | #Constraints: 675536
3113.32/3122.29 c #Conflicts: 675000 | #Constraints: 676536
3113.32/3122.29 c #Conflicts: 676000 | #Constraints: 677536
3113.32/3122.29 c #Conflicts: 677000 | #Constraints: 678536
3113.32/3122.29 c #Conflicts: 678000 | #Constraints: 679536
3113.32/3122.29 c #Conflicts: 679000 | #Constraints: 680536
3113.32/3122.29 c #Conflicts: 680000 | #Constraints: 681536
3113.32/3122.29 c #Conflicts: 681000 | #Constraints: 682536
3113.32/3122.29 c #Conflicts: 682000 | #Constraints: 683536
3113.32/3122.29 c #Conflicts: 683000 | #Constraints: 684536
3113.32/3122.29 c #Conflicts: 684000 | #Constraints: 685536
3113.32/3122.29 c #Conflicts: 685000 | #Constraints: 686536
3113.32/3122.29 c #Conflicts: 686000 | #Constraints: 687536
3113.32/3122.29 c #Conflicts: 687000 | #Constraints: 688536
3113.32/3122.29 c #Conflicts: 688000 | #Constraints: 689536
3113.32/3122.29 c INPROCESSING
3113.32/3122.29 c GARBAGE COLLECT
3113.32/3122.29 c #Conflicts: 689000 | #Constraints: 674128
3113.32/3122.29 c #Conflicts: 690000 | #Constraints: 675128
3113.32/3122.29 c #Conflicts: 691000 | #Constraints: 676128
3113.32/3122.29 c #Conflicts: 692000 | #Constraints: 677128
3113.32/3122.29 c #Conflicts: 693000 | #Constraints: 678128
3113.32/3122.29 c #Conflicts: 694000 | #Constraints: 679128
3113.32/3122.29 c #Conflicts: 695000 | #Constraints: 680128
3113.32/3122.29 c #Conflicts: 696000 | #Constraints: 681128
3113.32/3122.29 c #Conflicts: 697000 | #Constraints: 682128
3113.32/3122.29 c #Conflicts: 698000 | #Constraints: 683128
3113.32/3122.29 c #Conflicts: 699000 | #Constraints: 684128
3113.32/3122.29 c #Conflicts: 700000 | #Constraints: 685128
3113.32/3122.29 c #Conflicts: 701000 | #Constraints: 686128
3113.32/3122.29 c #Conflicts: 702000 | #Constraints: 687128
3113.32/3122.29 c #Conflicts: 703000 | #Constraints: 688128
3113.32/3122.29 c #Conflicts: 704000 | #Constraints: 689128
3113.32/3122.29 c #Conflicts: 705000 | #Constraints: 690128
3113.32/3122.29 c INPROCESSING
3113.32/3122.29 c GARBAGE COLLECT
3113.32/3122.29 c #Conflicts: 706000 | #Constraints: 674534
3113.32/3122.29 c #Conflicts: 707000 | #Constraints: 675534
3113.32/3122.29 c #Conflicts: 708000 | #Constraints: 676534
3113.32/3122.29 c #Conflicts: 709000 | #Constraints: 677534
3113.32/3122.29 c #Conflicts: 710000 | #Constraints: 678534
3113.32/3122.29 c #Conflicts: 711000 | #Constraints: 679534
3113.32/3122.29 c #Conflicts: 712000 | #Constraints: 680534
3113.32/3122.29 c #Conflicts: 713000 | #Constraints: 681534
3113.32/3122.29 c #Conflicts: 714000 | #Constraints: 682534
3113.32/3122.29 c #Conflicts: 715000 | #Constraints: 683534
3113.32/3122.29 c #Conflicts: 716000 | #Constraints: 684534
3113.32/3122.29 c #Conflicts: 717000 | #Constraints: 685534
3113.32/3122.29 c #Conflicts: 718000 | #Constraints: 686534
3113.32/3122.29 c #Conflicts: 719000 | #Constraints: 687534
3113.32/3122.29 c #Conflicts: 720000 | #Constraints: 688534
3113.32/3122.29 c #Conflicts: 721000 | #Constraints: 689534
3113.32/3122.29 c #Conflicts: 722000 | #Constraints: 690534
3113.32/3122.29 c INPROCESSING
3113.32/3122.29 c GARBAGE COLLECT
3113.32/3122.29 c #Conflicts: 723000 | #Constraints: 674737
3113.32/3122.29 c #Conflicts: 724000 | #Constraints: 675737
3600.03/3610.31 c #Conflicts: 725000 | #Constraints: 676737
3600.03/3610.31 c #Conflicts: 726000 | #Constraints: 677737
3600.03/3610.31 c #Conflicts: 727000 | #Constraints: 678737
3600.03/3610.31 c #Conflicts: 728000 | #Constraints: 679737
3600.03/3610.31 c #Conflicts: 729000 | #Constraints: 680737
3600.03/3610.31 c #Conflicts: 730000 | #Constraints: 681737
3600.03/3610.31 c #Conflicts: 731000 | #Constraints: 682737
3600.03/3610.31 c #Conflicts: 732000 | #Constraints: 683737
3600.03/3610.31 c #Conflicts: 733000 | #Constraints: 684737
3600.03/3610.31 c #Conflicts: 734000 | #Constraints: 685737
3600.03/3610.31 c #Conflicts: 735000 | #Constraints: 686737
3600.03/3610.31 c #Conflicts: 736000 | #Constraints: 687737
3600.03/3610.31 c #Conflicts: 737000 | #Constraints: 688737
3600.03/3610.31 c #Conflicts: 738000 | #Constraints: 689737
3600.03/3610.31 c #Conflicts: 739000 | #Constraints: 690737
3600.03/3610.31 c INPROCESSING
3600.03/3610.31 c GARBAGE COLLECT
3600.03/3610.31 c #Conflicts: 740000 | #Constraints: 674743
3600.03/3610.31 c #Conflicts: 741000 | #Constraints: 675743
3600.03/3610.31 c #Conflicts: 742000 | #Constraints: 676743
3600.03/3610.31 c #Conflicts: 743000 | #Constraints: 677743
3600.03/3610.31 c #Conflicts: 744000 | #Constraints: 678743
3600.03/3610.31 c #Conflicts: 745000 | #Constraints: 679743
3600.03/3610.31 c #Conflicts: 746000 | #Constraints: 680743
3600.03/3610.31 c #Conflicts: 747000 | #Constraints: 681743
3600.03/3610.31 c #Conflicts: 748000 | #Constraints: 682743
3600.03/3610.31 c Program interrupted by user.
3600.03/3610.31 c cpu time 3583.41 s
3600.03/3610.31 c deterministic time 435670869026 4.36e+11
3600.03/3610.31 c optimization time 169.572 s
3600.03/3610.31 c total solve time 3110.64 s
3600.03/3610.31 c core-guided solve time 3110.64 s
3600.03/3610.31 c propagation time 1778.96 s
3600.03/3610.31 c conflict analysis time 1331.38 s
3600.03/3610.31 c propagations 91265626
3600.03/3610.31 c resolve steps 17314666
3600.03/3610.31 c decisions 17000835
3600.03/3610.31 c conflicts 748712
3600.03/3610.31 c restarts 1562
3600.03/3610.31 c inprocessing phases 77
3600.03/3610.31 c input clauses 656900
3600.03/3610.31 c input cardinalities 0
3600.03/3610.31 c input general constraints 94
3600.03/3610.31 c input average constraint length 3.46
3600.03/3610.31 c input average constraint degree 70.53
3600.03/3610.31 c learned clauses 643380
3600.03/3610.31 c learned cardinalities 0
3600.03/3610.31 c learned general constraints 105331
3600.03/3610.31 c learned average constraint length 3669.99
3600.03/3610.31 c learned average constraint degree 342146.27
3600.03/3610.31 c watched constraints 3319
3600.03/3610.31 c counting constraints 102106
3600.03/3610.31 c gcd simplifications 3973
3600.03/3610.31 c detected cardinalities 0
3600.03/3610.31 c weakened non-implied lits 419358543
3600.03/3610.31 c weakened non-implying lits 122355
3600.03/3610.31 c original variables 10000
3600.03/3610.31 c clausal propagations 74788029
3600.03/3610.31 c cardinality propagations 0
3600.03/3610.31 c watched propagations 13446
3600.03/3610.31 c counting propagations 15398473
3600.03/3610.31 c watch lookups 17307898463
3600.03/3610.31 c watch backjump lookups 16743586378
3600.03/3610.31 c watch checks 20997782862
3600.03/3610.31 c propagation checks 374157786667
3600.03/3610.31 c constraint additions 6246542792
3600.03/3610.31 c trail pops 109005402
3600.03/3610.31 c formula constraints 656900
3600.03/3610.31 c learned constraints 748711
3600.03/3610.31 c bound constraints 94
3600.03/3610.31 c core-guided constraints 0
3600.03/3610.31 c encountered formula constraints 12727614
3600.03/3610.31 c encountered learned constraints 5324945
3600.03/3610.31 c encountered bound constraints 10819
3600.03/3610.31 c encountered core-guided constraints 0
3600.03/3610.31 c LP total time 0 s
3600.03/3610.31 c LP solve time 0 s
3600.03/3610.31 c LP constraints added 0
3600.03/3610.31 c LP constraints removed 0
3600.03/3610.31 c LP pivots internal 0
3600.03/3610.31 c LP pivots root 0
3600.03/3610.31 c LP calls 0
3600.03/3610.31 c LP optimalities 0
3600.03/3610.31 c LP no pivot count 0
3600.03/3610.31 c LP infeasibilities 0
3600.03/3610.31 c LP valid Farkas constraints 0
3600.03/3610.31 c LP learned Farkas constraints 0
3600.03/3610.31 c LP basis resets 0
3600.03/3610.31 c LP cycling count 0
3600.03/3610.31 c LP singular count 0
3600.03/3610.31 c LP no primal count 0
3600.03/3610.31 c LP no farkas count 0
3600.03/3610.31 c LP other issue count 0
3600.03/3610.31 c LP Gomory cuts 0
3600.03/3610.31 c LP learned cuts 0
3600.03/3610.31 c LP deleted cuts 0
3600.03/3610.31 c LP encountered Gomory constraints 0
3600.03/3610.31 c LP encountered Farkas constraints 0
3600.03/3610.31 c LP encountered learned Farkas constraints 0
3600.03/3610.31 c CG auxiliary variables introduced 0
3600.03/3610.31 c CG solutions found 93
3600.03/3610.31 c CG cores constructed 1
3600.03/3610.31 c CG core cardinality constraints returned 0
3600.03/3610.31 c CG unit cores 0
3600.03/3610.31 c CG single cores 1
3600.03/3610.31 c CG blocks removed during cardinality reduction 0
3600.03/3610.31 c CG first core best 0
3600.03/3610.31 c CG decision core best 0
3600.03/3610.31 c CG core reduction tie 0
3600.03/3610.31 c CG core degree average 1.00
3600.03/3610.31 c CG core slack average 8504.00
3600.03/3610.31 c CG exhausted 0
3600.03/3610.31 c CG exhaust time 0 s
3600.03/3610.31 c CG trimmed 0
3600.03/3610.31 c CG trim time 0.005463 s
3600.03/3610.31 c CG minimized 0
3600.03/3610.31 c CG minimize time 0 s
3600.03/3610.31 c CG am1 prop time 0.014315 s
3600.03/3610.31 c CG # am1s reformulated 0
3600.03/3610.31 c CG lower bound derived from am1s 0
3600.03/3610.31 c CG # clausal cores 1
3600.03/3610.31 c CG # cardinality cores 0
3600.03/3610.31 c CG # pb cores 0
3600.03/3610.31 c CG # pb reforms 0
3600.03/3610.31 c CG # cores discarded because of pb reform 0
3600.03/3610.31 d LOWERBOUND 5
3600.03/3610.31 d NCORES 1
3600.03/3610.31 d NPBCORES 0
3600.03/3610.31 d NPBREFORM 0
3600.03/3610.31 d NTRIMMED 0
3600.03/3610.31 d NEXHAUSTED 0
3600.03/3610.31 d NAM1S 0
3600.03/3610.31 d AM1LB 0
3600.03/3610.31 c [Papilo Statistics]
3600.03/3610.31 c prepro time 1.63729s
3600.03/3610.31 c # tsx applied 0
3600.03/3610.31 c # tsx conflicts 0
3600.03/3610.31 c # bound changes 0
3600.03/3610.31 c # side changes 0
3600.03/3610.31 c # coef changes 0
3600.03/3610.31 c # rounds 1
3600.03/3610.31 c # deted vars 0
3600.03/3610.31 c # deted constrs 0
3600.03/3610.31 c # consecutive rounds of only bound changes 0
3600.03/3610.31 c [STEP] postprocessing with Papilo
3600.03/3610.34 o 318
3600.03/3610.34 s SATISFIABLE
3600.03/3610.34 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 (62923 MiB free)
memory of node 1: 64507 MiB (63969 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489773-1751364738/watcher-4489773-1751364738 -o /tmp/evaluation-result-4489773-1751364738/solver-4489773-1751364738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48387 --watchdog 3760 mixed-bag HOME/instance-4489773-1751364738.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=48797, runsolver pid=48794
[startup+0.100061 s]*
/proc/loadavg: 4.09 4.08 4.09 3/256 48813
/proc/meminfo: memFree=129935336/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=119248 memory=19696 CPUtime=0.07 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 2859 0 0 0 7 0 0 0 20 0 1 0 52153699 122109952 4924 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 29812 4924 2176 2842 0 12045 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 119248 KiB
Current children cumulated memory: 19696 KiB
[startup+0.205566 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 48826
/proc/meminfo: memFree=129906304/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=123344 memory=26204 CPUtime=0.19 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 3445 0 0 0 18 1 0 0 20 0 1 0 52153699 126304256 6551 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 30836 6551 2176 2842 0 13069 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123344 KiB
Current children cumulated memory: 26204 KiB
[startup+0.305186 s]*
/proc/loadavg: 4.09 4.08 4.09 5/264 48826
/proc/meminfo: memFree=129880344/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=131536 memory=34604 CPUtime=0.28 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 4017 0 0 0 27 1 0 0 20 0 1 0 52153699 134692864 8651 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 32884 8651 2176 2842 0 15117 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 131536 KiB
Current children cumulated memory: 34604 KiB
[startup+0.700128 s]
/proc/loadavg: 4.09 4.08 4.09 6/264 48826
/proc/meminfo: memFree=129821396/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=147920 memory=57340 CPUtime=0.67 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 4603 0 0 0 65 2 0 0 20 0 1 0 52153699 151470080 14335 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 36980 14335 2176 2842 0 19213 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 147920 KiB
Current children cumulated memory: 57340 KiB
[startup+1.50011 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 48826
/proc/meminfo: memFree=129674608/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=402728 memory=300496 CPUtime=1.46 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 18971 0 0 0 136 10 0 0 20 0 1 0 52153699 412393472 75124 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 100682 75124 2272 2842 0 82376 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 402728 KiB
Current children cumulated memory: 300496 KiB
[startup+3.10548 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 48826
/proc/meminfo: memFree=128586448/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=418316 memory=321936 CPUtime=3.07 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 42305 0 0 0 293 14 0 0 20 0 1 0 52153699 428355584 80484 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 104579 80484 3744 2842 0 86273 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 418316 KiB
Current children cumulated memory: 321936 KiB
[startup+6.30011 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 48826
/proc/meminfo: memFree=126269408/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=1128132 memory=1029424 CPUtime=6.25 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 204529 0 0 0 587 38 0 0 20 0 1 0 52153699 1155207168 257356 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 282033 257356 4096 2842 0 263727 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1128132 KiB
Current children cumulated memory: 1029424 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 48826
/proc/meminfo: memFree=124541912/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=1514684 memory=1407060 CPUtime=12.63 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 259130 0 0 0 1206 57 0 0 20 0 1 0 52153699 1551036416 351765 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 378671 351765 4096 2842 0 360365 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1514684 KiB
Current children cumulated memory: 1407060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 48826
/proc/meminfo: memFree=120159008/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=3906224 memory=3551568 CPUtime=25.37 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 364745 0 0 0 2431 106 0 0 20 0 1 0 52153699 3999973376 887892 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 976556 887892 4192 2842 0 958250 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3906224 KiB
Current children cumulated memory: 3551568 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 48826
/proc/meminfo: memFree=118330780/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=3951200 memory=3578672 CPUtime=50.88 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 375854 0 0 0 4978 110 0 0 20 0 1 0 52153699 4046028800 894668 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 987800 894668 4320 2842 0 969494 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 3951200 KiB
Current children cumulated memory: 3578672 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 48831
/proc/meminfo: memFree=118239456/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=4148960 memory=3678552 CPUtime=101.85 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 385164 0 0 0 10071 114 0 0 20 0 1 0 52153699 4248535040 919638 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1037240 919638 4320 2842 0 1018934 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 4148960 KiB
Current children cumulated memory: 3678552 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/265 48838
/proc/meminfo: memFree=118044772/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=4223380 memory=3691956 CPUtime=161.6 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 386635 0 0 0 16046 114 0 0 20 0 1 0 52153699 4324741120 922989 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1055845 922989 4320 2842 0 1037539 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 4223380 KiB
Current children cumulated memory: 3691956 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 48840
/proc/meminfo: memFree=117958156/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=4300032 memory=3707040 CPUtime=221.39 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 387778 0 0 0 22024 115 0 0 20 0 1 0 52153699 4403232768 926760 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1075008 926760 4320 2842 0 1056702 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 4300032 KiB
Current children cumulated memory: 3707040 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48842
/proc/meminfo: memFree=117946052/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=4361624 memory=3717548 CPUtime=281.2 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 388467 0 0 0 28005 115 0 0 20 0 1 0 52153699 4466302976 929387 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1090406 929387 4320 2842 0 1072100 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 4361624 KiB
Current children cumulated memory: 3717548 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 48889
/proc/meminfo: memFree=122475776/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=2137388 memory=2045448 CPUtime=341.04 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 392132 0 0 0 33824 280 0 0 20 0 1 0 52153699 2188685312 511362 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 534347 511362 4512 2842 0 516041 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 2137388 KiB
Current children cumulated memory: 2045448 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 48891
/proc/meminfo: memFree=122351808/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=2187476 memory=2072072 CPUtime=400.87 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 392701 0 0 0 39708 379 0 0 20 0 1 0 52153699 2239975424 518018 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 546869 518018 4512 2842 0 528563 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 2187476 KiB
Current children cumulated memory: 2072072 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 48893
/proc/meminfo: memFree=122254900/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=2187476 memory=2094600 CPUtime=460.71 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 392713 0 0 0 45637 434 0 0 20 0 1 0 52153699 2239975424 523650 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 546869 523650 4512 2842 0 528563 0
Current children cumulated CPU time: 460.71 s
################
# More data... #
################
Current children cumulated memory: 4630892 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 49364
/proc/meminfo: memFree=119533604/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4630892 CPUtime=2913.95 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 543601 0 0 0 289787 1608 0 0 20 0 1 0 52153699 5262479360 1157723 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157723 4512 2842 0 1266479 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4630892 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/262 49377
/proc/meminfo: memFree=119528584/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4630892 CPUtime=2973.79 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 543670 0 0 0 295767 1612 0 0 20 0 1 0 52153699 5262479360 1157723 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157723 4512 2842 0 1266479 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4630892 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 49379
/proc/meminfo: memFree=119512328/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4630892 CPUtime=3033.63 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 543746 0 0 0 301748 1615 0 0 20 0 1 0 52153699 5262479360 1157723 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157723 4512 2842 0 1266479 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4630892 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 49381
/proc/meminfo: memFree=119496080/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3093.46 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 543956 0 0 0 307728 1618 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 49383
/proc/meminfo: memFree=119487808/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3153.3 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 543956 0 0 0 313708 1622 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.16 4.11 5/263 49388
/proc/meminfo: memFree=119499044/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3213.14 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 544915 0 0 0 319688 1626 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/263 49394
/proc/meminfo: memFree=119477588/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3272.97 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 544976 0 0 0 325668 1629 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/263 49396
/proc/meminfo: memFree=119477460/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3332.81 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 545025 0 0 0 331650 1631 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/263 49398
/proc/meminfo: memFree=119469404/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3392.65 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 545202 0 0 0 337632 1633 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 49402
/proc/meminfo: memFree=119424808/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3452.48 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 545230 0 0 0 343612 1636 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 49405
/proc/meminfo: memFree=119415836/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3512.32 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 546167 0 0 0 349593 1639 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 49407
/proc/meminfo: memFree=119400312/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3572.13 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 546228 0 0 0 355557 1656 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 49408
/proc/meminfo: memFree=119355304/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3600.03 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 546262 0 0 0 358340 1663 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 48797 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.44 s, system=16.7016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 49408
/proc/meminfo: memFree=119355304/131250000 swapFree=33010416/33010684
[pid=48797] ppid=48794 vsize=5139140 memory=4631020 CPUtime=3600.03 cores=0,2
/proc/48797/stat : 48797 (mixed-bag) R 48794 48797 48377 0 -1 4194304 546262 0 0 0 358340 1663 0 0 20 0 1 0 52153699 5262479360 1157755 18446744073709551615 4235264 15874749 140723555475024 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 41984000 140723555482012 140723555482089 140723555482089 140723555487691 0
/proc/48797/statm: 1284785 1157755 4512 2842 0 1266479 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5139140 KiB
Current children cumulated memory: 4631020 KiB
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.14
CPU user time (s): 3583.44
CPU system time (s): 16.7016
CPU usage (%): 99.7158
Max. virtual memory (cumulated for all children) (KiB): 5139140
Max. memory (cumulated for all children) (KiB): 4631020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.44
system time used= 16.7016
maximum resident set size= 4693460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155
involuntary context switches= 7914
# summary of solver processes directly reported to runsolver:
# pid: 48797
# total CPU time (s): 3600.14
# total CPU user time (s): 3583.44
# total CPU system time (s): 16.7016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75122 second user time and 15.0181 second system time
The end
Begin job on nodeC027 at 2025-07-01 12:12:18
IDJOB=4489773
IDBENCH=147563
IDSOLVER=3340
FILE ID=nodeC027/4489773-1751364738
RUNJOBID= nodeC027-1751361124-48387
SLURM_JOB_ID= 9598168
Free space on /tmp= 433000 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489773-1751364738/watcher-4489773-1751364738 -o /tmp/evaluation-result-4489773-1751364738/solver-4489773-1751364738 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48387 --watchdog 3760 mixed-bag HOME/instance-4489773-1751364738.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=400110473
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.638
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 : 3600.000
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 : 3458.493
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 : 3718.466
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 : 3599.635
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 : 3719.413
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 : 3600.645
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.638
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: 129964020 kB
MemAvailable: 129725640 kB
Buffers: 2488 kB
Cached: 564196 kB
SwapCached: 12 kB
Active: 384640 kB
Inactive: 263080 kB
Active(anon): 96364 kB
Inactive(anon): 2792 kB
Active(file): 288276 kB
Inactive(file): 260288 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 96012 kB
Writeback: 4 kB
AnonPages: 84188 kB
Mapped: 103296 kB
Shmem: 18056 kB
KReclaimable: 104192 kB
Slab: 192160 kB
SReclaimable: 104192 kB
SUnreclaim: 87968 kB
KernelStack: 4112 kB
PageTables: 2980 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 345812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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= 432952 MiB
End job on nodeC027 at 2025-07-01 13:12:29