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
2.16/2.23 c [STEP] preprocessing with Papilo
4.15/4.21 c Papilo could not simplify the problem
4.15/4.21 c [STEP] solving with SCIP
304.75/306.26 c [STEP] preprocessing done, loading into solver
305.84/307.33 c [STEP] solving
305.84/307.33 c #variables 10001 #constraints 656900
305.84/307.33 c SMALL=int, LARGE=long long
305.84/307.33 d SCIPUB 494315
305.84/307.33 c bounds - >= 0 @ 304.138
305.84/307.33 c stratification level: 98
306.14/307.67 c bounds 6831 >= 0 @ 304.459
306.14/307.67 c stratification level: 97
306.14/307.67 c bounds 6723 >= 0 @ 304.466
306.14/307.67 c stratification level: 96
306.14/307.68 c bounds 6525 >= 0 @ 304.473
306.14/307.68 c stratification level: 95
306.14/307.69 c bounds 6489 >= 0 @ 304.48
306.14/307.69 c stratification level: 94
306.24/307.70 c bounds 6448 >= 0 @ 304.488
306.24/307.70 c stratification level: 93
306.24/307.71 c bounds 6294 >= 0 @ 304.497
306.24/307.71 c stratification level: 92
306.24/307.72 c bounds 6134 >= 0 @ 304.501
306.24/307.72 c stratification level: 91
306.24/307.73 c bounds 5547 >= 0 @ 304.508
306.24/307.73 c stratification level: 90
306.24/307.74 c bounds 5043 >= 0 @ 304.514
306.24/307.74 c stratification level: 89
306.24/307.75 c bounds 4876 >= 0 @ 304.52
306.24/307.75 c stratification level: 88
306.24/307.76 c bounds 4643 >= 0 @ 304.523
306.24/307.76 c stratification level: 87
306.24/307.79 c bounds 4632 >= 0 @ 304.554
306.24/307.79 c stratification level: 86
306.35/307.81 c bounds 4626 >= 0 @ 304.575
306.35/307.81 c stratification level: 85
306.35/307.83 c bounds 4623 >= 0 @ 304.585
306.35/307.83 c stratification level: 84
306.35/307.83 c bounds 4597 >= 0 @ 304.589
306.35/307.83 c stratification level: 83
306.35/307.84 c bounds 4513 >= 0 @ 304.594
306.35/307.84 c stratification level: 82
306.35/307.88 c bounds 4507 >= 0 @ 304.635
306.35/307.88 c stratification level: 81
306.35/307.89 c bounds 4493 >= 0 @ 304.642
306.35/307.89 c stratification level: 80
306.44/307.90 c bounds 4485 >= 0 @ 304.65
306.44/307.90 c stratification level: 79
306.44/307.91 c bounds 4480 >= 0 @ 304.657
306.44/307.91 c stratification level: 78
306.44/307.92 c bounds 4443 >= 0 @ 304.662
306.44/307.92 c stratification level: 77
306.44/308.01 c bounds 4434 >= 0 @ 304.75
306.44/308.01 c stratification level: 76
306.55/308.01 c bounds 4314 >= 0 @ 304.756
306.55/308.01 c stratification level: 75
306.55/308.02 c bounds 4249 >= 0 @ 304.761
306.55/308.02 c stratification level: 74
306.55/308.03 c bounds 4195 >= 0 @ 304.766
306.55/308.03 c stratification level: 73
306.55/308.04 c bounds 4097 >= 0 @ 304.771
306.55/308.04 c stratification level: 72
306.66/308.12 c bounds 4072 >= 0 @ 304.851
306.66/308.12 c stratification level: 71
306.66/308.13 c bounds 4041 >= 0 @ 304.858
306.66/308.13 c stratification level: 70
306.66/308.19 c bounds 4022 >= 0 @ 304.912
306.66/308.19 c stratification level: 69
306.74/308.21 c bounds 4017 >= 0 @ 304.936
306.74/308.21 c stratification level: 68
306.74/308.22 c bounds 3962 >= 0 @ 304.94
306.74/308.22 c stratification level: 67
306.74/308.23 c bounds 3895 >= 0 @ 304.946
306.74/308.23 c stratification level: 66
306.74/308.24 c bounds 3886 >= 0 @ 304.951
306.74/308.24 c stratification level: 65
306.74/308.27 c bounds 3881 >= 0 @ 304.977
306.74/308.27 c stratification level: 64
306.74/308.28 c bounds 3738 >= 0 @ 304.984
306.74/308.28 c stratification level: 63
306.84/308.30 c bounds 3736 >= 0 @ 305.009
306.84/308.30 c stratification level: 62
306.84/308.31 c bounds 3703 >= 0 @ 305.014
306.84/308.31 c stratification level: 61
306.84/308.32 c bounds 3571 >= 0 @ 305.02
306.84/308.32 c stratification level: 60
306.84/308.33 c bounds 3557 >= 0 @ 305.027
306.84/308.33 c stratification level: 59
306.84/308.34 c bounds 3438 >= 0 @ 305.032
306.84/308.34 c stratification level: 58
306.84/308.35 c bounds 3392 >= 0 @ 305.035
306.84/308.35 c stratification level: 57
306.84/308.38 c bounds 3381 >= 0 @ 305.061
306.84/308.38 c stratification level: 56
306.84/308.39 c bounds 3371 >= 0 @ 305.069
306.84/308.39 c stratification level: 55
306.94/308.40 c bounds 3362 >= 0 @ 305.075
306.94/308.40 c stratification level: 54
306.94/308.41 c bounds 3348 >= 0 @ 305.082
306.94/308.41 c stratification level: 53
306.94/308.43 c bounds 3336 >= 0 @ 305.093
306.94/308.43 c stratification level: 52
306.94/308.46 c bounds 3331 >= 0 @ 305.12
306.94/308.46 c stratification level: 51
306.94/308.49 c #Conflicts: 1000 | #Constraints: 657946
306.94/308.49 c bounds 3315 >= 0 @ 305.144
306.94/308.49 c stratification level: 50
307.04/308.50 c bounds 3206 >= 0 @ 305.153
307.04/308.50 c stratification level: 49
307.04/308.51 c bounds 3125 >= 0 @ 305.16
307.04/308.51 c stratification level: 48
307.04/308.53 c bounds 3119 >= 0 @ 305.178
307.04/308.53 c stratification level: 47
307.04/308.54 c bounds 3108 >= 0 @ 305.185
307.04/308.54 c stratification level: 46
307.04/308.55 c bounds 3062 >= 0 @ 305.193
307.04/308.55 c stratification level: 45
307.04/308.56 c bounds 2886 >= 0 @ 305.201
307.04/308.56 c stratification level: 44
307.04/308.57 c bounds 2765 >= 0 @ 305.21
307.04/308.57 c stratification level: 43
307.04/308.59 c bounds 2741 >= 0 @ 305.223
307.04/308.59 c stratification level: 42
307.14/308.60 c bounds 2661 >= 0 @ 305.229
307.14/308.60 c stratification level: 41
307.14/308.61 c bounds 2622 >= 0 @ 305.235
307.14/308.61 c stratification level: 40
307.14/308.62 c bounds 2600 >= 0 @ 305.242
307.14/308.62 c stratification level: 39
307.14/308.63 c bounds 2552 >= 0 @ 305.246
307.14/308.63 c stratification level: 38
307.14/308.64 c bounds 2439 >= 0 @ 305.254
307.14/308.64 c stratification level: 37
307.14/308.66 c bounds 2325 >= 0 @ 305.261
307.14/308.66 c stratification level: 36
307.14/308.67 c bounds 2183 >= 0 @ 305.267
307.14/308.67 c stratification level: 35
307.14/308.68 c bounds 2144 >= 0 @ 305.273
307.14/308.68 c stratification level: 34
307.14/308.69 c bounds 2138 >= 0 @ 305.276
307.14/308.69 c stratification level: 33
307.24/308.70 c bounds 1918 >= 0 @ 305.283
307.24/308.70 c stratification level: 32
307.24/308.71 c bounds 1916 >= 0 @ 305.292
307.24/308.71 c stratification level: 31
307.24/308.73 c bounds 1769 >= 0 @ 305.301
307.24/308.73 c stratification level: 30
307.24/308.74 c bounds 1604 >= 0 @ 305.31
307.24/308.74 c stratification level: 29
307.24/308.75 c bounds 1602 >= 0 @ 305.317
307.24/308.75 c stratification level: 28
307.24/308.77 c bounds 1506 >= 0 @ 305.324
307.24/308.77 c stratification level: 27
307.33/308.83 c bounds 1482 >= 0 @ 305.377
307.33/308.83 c stratification level: 26
307.33/308.87 c bounds 1478 >= 0 @ 305.406
307.33/308.87 c stratification level: 25
307.33/308.89 c bounds 1375 >= 0 @ 305.418
307.33/308.89 c stratification level: 24
307.44/308.90 c bounds 1263 >= 0 @ 305.426
307.44/308.90 c stratification level: 23
307.44/308.91 c bounds 1255 >= 0 @ 305.432
307.44/308.91 c stratification level: 22
307.44/308.93 c bounds 1169 >= 0 @ 305.441
307.44/308.93 c stratification level: 21
307.44/308.94 c bounds 1140 >= 0 @ 305.453
307.44/308.94 c stratification level: 20
307.44/308.96 c bounds 1110 >= 0 @ 305.46
307.44/308.96 c stratification level: 19
307.65/309.11 c bounds 1098 >= 0 @ 305.602
307.65/309.11 c stratification level: 18
307.65/309.12 c bounds 1059 >= 0 @ 305.61
307.65/309.12 c stratification level: 17
307.65/309.15 c bounds 961 >= 0 @ 305.627
307.65/309.15 c stratification level: 16
307.65/309.16 c bounds 906 >= 0 @ 305.637
307.65/309.16 c stratification level: 15
307.83/309.34 c bounds 829 >= 0 @ 305.796
307.83/309.34 c stratification level: 14
307.83/309.37 c bounds 777 >= 0 @ 305.814
307.83/309.37 c stratification level: 13
307.83/309.38 c bounds 675 >= 0 @ 305.821
307.83/309.38 c stratification level: 12
308.44/309.92 c #Conflicts: 2000 | #Constraints: 658985
308.44/309.92 c INPROCESSING
308.44/309.92 c GARBAGE COLLECT
308.44/309.92 c bounds 669 >= 0 @ 306.33
308.44/309.92 c stratification level: 11
309.65/311.12 c #Conflicts: 3000 | #Constraints: 658909
309.65/311.12 c bounds 601 >= 0 @ 307.502
309.65/311.12 c stratification level: 10
309.93/311.42 c bounds 597 >= 0 @ 307.774
309.93/311.42 c stratification level: 9
310.13/311.66 c #Conflicts: 4000 | #Constraints: 659911
310.13/311.66 c bounds 456 >= 0 @ 307.995
310.13/311.66 c stratification level: 8
315.91/317.42 c INPROCESSING
315.91/317.42 c GARBAGE COLLECT
315.91/317.42 c #Conflicts: 5000 | #Constraints: 659314
315.91/317.42 c #Conflicts: 6000 | #Constraints: 660314
315.91/317.42 c INPROCESSING
315.91/317.42 c GARBAGE COLLECT
315.91/317.42 c #Conflicts: 7000 | #Constraints: 659322
315.91/317.42 c #Conflicts: 8000 | #Constraints: 660322
315.91/317.42 c #Conflicts: 9000 | #Constraints: 661322
315.91/317.42 c INPROCESSING
315.91/317.42 c GARBAGE COLLECT
315.91/317.42 c bounds 419 >= 0 @ 313.597
315.91/317.42 c stratification level: 7
345.94/347.58 c #Conflicts: 10000 | #Constraints: 660026
345.94/347.58 c #Conflicts: 11000 | #Constraints: 661026
345.94/347.58 c #Conflicts: 12000 | #Constraints: 662026
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 13000 | #Constraints: 660478
345.94/347.58 c #Conflicts: 14000 | #Constraints: 661478
345.94/347.58 c #Conflicts: 15000 | #Constraints: 662478
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 16000 | #Constraints: 660714
345.94/347.58 c #Conflicts: 17000 | #Constraints: 661714
345.94/347.58 c #Conflicts: 18000 | #Constraints: 662714
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 19000 | #Constraints: 660729
345.94/347.58 c #Conflicts: 20000 | #Constraints: 661729
345.94/347.58 c #Conflicts: 21000 | #Constraints: 662729
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 22000 | #Constraints: 660536
345.94/347.58 c #Conflicts: 23000 | #Constraints: 661536
345.94/347.58 c #Conflicts: 24000 | #Constraints: 662536
345.94/347.58 c #Conflicts: 25000 | #Constraints: 663536
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 26000 | #Constraints: 661144
345.94/347.58 c #Conflicts: 27000 | #Constraints: 662144
345.94/347.58 c #Conflicts: 28000 | #Constraints: 663144
345.94/347.58 c #Conflicts: 29000 | #Constraints: 664144
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 30000 | #Constraints: 661538
345.94/347.58 c #Conflicts: 31000 | #Constraints: 662538
345.94/347.58 c #Conflicts: 32000 | #Constraints: 663538
345.94/347.58 c #Conflicts: 33000 | #Constraints: 664538
345.94/347.58 c INPROCESSING
345.94/347.58 c GARBAGE COLLECT
345.94/347.58 c #Conflicts: 34000 | #Constraints: 661741
345.94/347.58 c bounds 374 >= 0 @ 343.011
345.94/347.58 c stratification level: 6
441.61/443.41 c #Conflicts: 35000 | #Constraints: 662742
441.61/443.41 c #Conflicts: 36000 | #Constraints: 663742
441.61/443.41 c #Conflicts: 37000 | #Constraints: 664742
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 38000 | #Constraints: 661747
441.61/443.41 c #Conflicts: 39000 | #Constraints: 662747
441.61/443.41 c #Conflicts: 40000 | #Constraints: 663747
441.61/443.41 c #Conflicts: 41000 | #Constraints: 664747
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 42000 | #Constraints: 661550
441.61/443.41 c #Conflicts: 43000 | #Constraints: 662550
441.61/443.41 c #Conflicts: 44000 | #Constraints: 663550
441.61/443.41 c #Conflicts: 45000 | #Constraints: 664550
441.61/443.41 c #Conflicts: 46000 | #Constraints: 665550
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 47000 | #Constraints: 662149
441.61/443.41 c #Conflicts: 48000 | #Constraints: 663149
441.61/443.41 c #Conflicts: 49000 | #Constraints: 664149
441.61/443.41 c #Conflicts: 50000 | #Constraints: 665149
441.61/443.41 c #Conflicts: 51000 | #Constraints: 666149
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 52000 | #Constraints: 662551
441.61/443.41 c #Conflicts: 53000 | #Constraints: 663551
441.61/443.41 c #Conflicts: 54000 | #Constraints: 664551
441.61/443.41 c #Conflicts: 55000 | #Constraints: 665551
441.61/443.41 c #Conflicts: 56000 | #Constraints: 666551
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 57000 | #Constraints: 662765
441.61/443.41 c #Conflicts: 58000 | #Constraints: 663765
441.61/443.41 c #Conflicts: 59000 | #Constraints: 664765
441.61/443.41 c #Conflicts: 60000 | #Constraints: 665765
441.61/443.41 c #Conflicts: 61000 | #Constraints: 666765
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 62000 | #Constraints: 662768
441.61/443.41 c #Conflicts: 63000 | #Constraints: 663768
441.61/443.41 c #Conflicts: 64000 | #Constraints: 664768
441.61/443.41 c #Conflicts: 65000 | #Constraints: 665768
441.61/443.41 c #Conflicts: 66000 | #Constraints: 666768
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 67000 | #Constraints: 662571
441.61/443.41 c #Conflicts: 68000 | #Constraints: 663571
441.61/443.41 c #Conflicts: 69000 | #Constraints: 664571
441.61/443.41 c #Conflicts: 70000 | #Constraints: 665571
441.61/443.41 c #Conflicts: 71000 | #Constraints: 666571
441.61/443.41 c #Conflicts: 72000 | #Constraints: 667571
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 73000 | #Constraints: 663171
441.61/443.41 c #Conflicts: 74000 | #Constraints: 664171
441.61/443.41 c #Conflicts: 75000 | #Constraints: 665171
441.61/443.41 c #Conflicts: 76000 | #Constraints: 666171
441.61/443.41 c #Conflicts: 77000 | #Constraints: 667171
441.61/443.41 c #Conflicts: 78000 | #Constraints: 668171
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 79000 | #Constraints: 663581
441.61/443.41 c #Conflicts: 80000 | #Constraints: 664581
441.61/443.41 c #Conflicts: 81000 | #Constraints: 665581
441.61/443.41 c #Conflicts: 82000 | #Constraints: 666581
441.61/443.41 c #Conflicts: 83000 | #Constraints: 667581
441.61/443.41 c #Conflicts: 84000 | #Constraints: 668581
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 85000 | #Constraints: 663781
441.61/443.41 c #Conflicts: 86000 | #Constraints: 664781
441.61/443.41 c #Conflicts: 87000 | #Constraints: 665781
441.61/443.41 c #Conflicts: 88000 | #Constraints: 666781
441.61/443.41 c #Conflicts: 89000 | #Constraints: 667781
441.61/443.41 c #Conflicts: 90000 | #Constraints: 668781
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 91000 | #Constraints: 663779
441.61/443.41 c #Conflicts: 92000 | #Constraints: 664779
441.61/443.41 c #Conflicts: 93000 | #Constraints: 665779
441.61/443.41 c #Conflicts: 94000 | #Constraints: 666779
441.61/443.41 c #Conflicts: 95000 | #Constraints: 667779
441.61/443.41 c #Conflicts: 96000 | #Constraints: 668779
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 97000 | #Constraints: 663578
441.61/443.41 c #Conflicts: 98000 | #Constraints: 664578
441.61/443.41 c #Conflicts: 99000 | #Constraints: 665578
441.61/443.41 c #Conflicts: 100000 | #Constraints: 666578
441.61/443.41 c #Conflicts: 101000 | #Constraints: 667578
441.61/443.41 c #Conflicts: 102000 | #Constraints: 668578
441.61/443.41 c #Conflicts: 103000 | #Constraints: 669578
441.61/443.41 c INPROCESSING
441.61/443.41 c GARBAGE COLLECT
441.61/443.41 c #Conflicts: 104000 | #Constraints: 664177
441.61/443.41 c #Conflicts: 105000 | #Constraints: 665177
543.26/545.38 c #Conflicts: 106000 | #Constraints: 666177
543.26/545.38 c #Conflicts: 107000 | #Constraints: 667177
543.26/545.38 c #Conflicts: 108000 | #Constraints: 668177
543.26/545.38 c #Conflicts: 109000 | #Constraints: 669177
543.26/545.38 c #Conflicts: 110000 | #Constraints: 670177
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 111000 | #Constraints: 664578
543.26/545.38 c #Conflicts: 112000 | #Constraints: 665578
543.26/545.38 c #Conflicts: 113000 | #Constraints: 666578
543.26/545.38 c #Conflicts: 114000 | #Constraints: 667578
543.26/545.38 c #Conflicts: 115000 | #Constraints: 668578
543.26/545.38 c #Conflicts: 116000 | #Constraints: 669578
543.26/545.38 c #Conflicts: 117000 | #Constraints: 670578
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 118000 | #Constraints: 664780
543.26/545.38 c #Conflicts: 119000 | #Constraints: 665780
543.26/545.38 c #Conflicts: 120000 | #Constraints: 666780
543.26/545.38 c #Conflicts: 121000 | #Constraints: 667780
543.26/545.38 c #Conflicts: 122000 | #Constraints: 668780
543.26/545.38 c #Conflicts: 123000 | #Constraints: 669780
543.26/545.38 c #Conflicts: 124000 | #Constraints: 670780
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 125000 | #Constraints: 664782
543.26/545.38 c #Conflicts: 126000 | #Constraints: 665782
543.26/545.38 c #Conflicts: 127000 | #Constraints: 666782
543.26/545.38 c #Conflicts: 128000 | #Constraints: 667782
543.26/545.38 c #Conflicts: 129000 | #Constraints: 668782
543.26/545.38 c #Conflicts: 130000 | #Constraints: 669782
543.26/545.38 c #Conflicts: 131000 | #Constraints: 670782
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 132000 | #Constraints: 664577
543.26/545.38 c #Conflicts: 133000 | #Constraints: 665577
543.26/545.38 c #Conflicts: 134000 | #Constraints: 666577
543.26/545.38 c #Conflicts: 135000 | #Constraints: 667577
543.26/545.38 c #Conflicts: 136000 | #Constraints: 668577
543.26/545.38 c #Conflicts: 137000 | #Constraints: 669577
543.26/545.38 c #Conflicts: 138000 | #Constraints: 670577
543.26/545.38 c #Conflicts: 139000 | #Constraints: 671577
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 140000 | #Constraints: 665193
543.26/545.38 c #Conflicts: 141000 | #Constraints: 666193
543.26/545.38 c #Conflicts: 142000 | #Constraints: 667193
543.26/545.38 c #Conflicts: 143000 | #Constraints: 668193
543.26/545.38 c #Conflicts: 144000 | #Constraints: 669193
543.26/545.38 c #Conflicts: 145000 | #Constraints: 670193
543.26/545.38 c #Conflicts: 146000 | #Constraints: 671193
543.26/545.38 c #Conflicts: 147000 | #Constraints: 672193
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 148000 | #Constraints: 665592
543.26/545.38 c #Conflicts: 149000 | #Constraints: 666592
543.26/545.38 c #Conflicts: 150000 | #Constraints: 667592
543.26/545.38 c #Conflicts: 151000 | #Constraints: 668592
543.26/545.38 c #Conflicts: 152000 | #Constraints: 669592
543.26/545.38 c #Conflicts: 153000 | #Constraints: 670592
543.26/545.38 c #Conflicts: 154000 | #Constraints: 671592
543.26/545.38 c #Conflicts: 155000 | #Constraints: 672592
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 156000 | #Constraints: 665796
543.26/545.38 c #Conflicts: 157000 | #Constraints: 666796
543.26/545.38 c #Conflicts: 158000 | #Constraints: 667796
543.26/545.38 c #Conflicts: 159000 | #Constraints: 668796
543.26/545.38 c #Conflicts: 160000 | #Constraints: 669796
543.26/545.38 c #Conflicts: 161000 | #Constraints: 670796
543.26/545.38 c #Conflicts: 162000 | #Constraints: 671796
543.26/545.38 c #Conflicts: 163000 | #Constraints: 672796
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 164000 | #Constraints: 665793
543.26/545.38 c #Conflicts: 165000 | #Constraints: 666793
543.26/545.38 c #Conflicts: 166000 | #Constraints: 667793
543.26/545.38 c #Conflicts: 167000 | #Constraints: 668793
543.26/545.38 c #Conflicts: 168000 | #Constraints: 669793
543.26/545.38 c #Conflicts: 169000 | #Constraints: 670793
543.26/545.38 c #Conflicts: 170000 | #Constraints: 671793
543.26/545.38 c #Conflicts: 171000 | #Constraints: 672793
543.26/545.38 c INPROCESSING
543.26/545.38 c GARBAGE COLLECT
543.26/545.38 c #Conflicts: 172000 | #Constraints: 665598
543.26/545.38 c #Conflicts: 173000 | #Constraints: 666598
543.26/545.38 c #Conflicts: 174000 | #Constraints: 667598
543.26/545.38 c #Conflicts: 175000 | #Constraints: 668598
543.26/545.38 c #Conflicts: 176000 | #Constraints: 669598
543.26/545.38 c #Conflicts: 177000 | #Constraints: 670598
543.26/545.38 c #Conflicts: 178000 | #Constraints: 671598
651.70/654.04 c #Conflicts: 179000 | #Constraints: 672598
651.70/654.04 c #Conflicts: 180000 | #Constraints: 673598
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 181000 | #Constraints: 666192
651.70/654.04 c #Conflicts: 182000 | #Constraints: 667192
651.70/654.04 c #Conflicts: 183000 | #Constraints: 668192
651.70/654.04 c #Conflicts: 184000 | #Constraints: 669192
651.70/654.04 c #Conflicts: 185000 | #Constraints: 670192
651.70/654.04 c #Conflicts: 186000 | #Constraints: 671192
651.70/654.04 c #Conflicts: 187000 | #Constraints: 672192
651.70/654.04 c #Conflicts: 188000 | #Constraints: 673192
651.70/654.04 c #Conflicts: 189000 | #Constraints: 674192
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 190000 | #Constraints: 666600
651.70/654.04 c #Conflicts: 191000 | #Constraints: 667600
651.70/654.04 c #Conflicts: 192000 | #Constraints: 668600
651.70/654.04 c #Conflicts: 193000 | #Constraints: 669600
651.70/654.04 c #Conflicts: 194000 | #Constraints: 670600
651.70/654.04 c #Conflicts: 195000 | #Constraints: 671600
651.70/654.04 c #Conflicts: 196000 | #Constraints: 672600
651.70/654.04 c #Conflicts: 197000 | #Constraints: 673600
651.70/654.04 c #Conflicts: 198000 | #Constraints: 674600
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 199000 | #Constraints: 666791
651.70/654.04 c #Conflicts: 200000 | #Constraints: 667791
651.70/654.04 c #Conflicts: 201000 | #Constraints: 668791
651.70/654.04 c #Conflicts: 202000 | #Constraints: 669791
651.70/654.04 c #Conflicts: 203000 | #Constraints: 670791
651.70/654.04 c #Conflicts: 204000 | #Constraints: 671791
651.70/654.04 c #Conflicts: 205000 | #Constraints: 672791
651.70/654.04 c #Conflicts: 206000 | #Constraints: 673791
651.70/654.04 c #Conflicts: 207000 | #Constraints: 674791
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 208000 | #Constraints: 666787
651.70/654.04 c #Conflicts: 209000 | #Constraints: 667787
651.70/654.04 c #Conflicts: 210000 | #Constraints: 668787
651.70/654.04 c #Conflicts: 211000 | #Constraints: 669787
651.70/654.04 c #Conflicts: 212000 | #Constraints: 670787
651.70/654.04 c #Conflicts: 213000 | #Constraints: 671787
651.70/654.04 c #Conflicts: 214000 | #Constraints: 672787
651.70/654.04 c #Conflicts: 215000 | #Constraints: 673787
651.70/654.04 c #Conflicts: 216000 | #Constraints: 674787
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 217000 | #Constraints: 666593
651.70/654.04 c #Conflicts: 218000 | #Constraints: 667593
651.70/654.04 c #Conflicts: 219000 | #Constraints: 668593
651.70/654.04 c #Conflicts: 220000 | #Constraints: 669593
651.70/654.04 c #Conflicts: 221000 | #Constraints: 670593
651.70/654.04 c #Conflicts: 222000 | #Constraints: 671593
651.70/654.04 c #Conflicts: 223000 | #Constraints: 672593
651.70/654.04 c #Conflicts: 224000 | #Constraints: 673593
651.70/654.04 c #Conflicts: 225000 | #Constraints: 674593
651.70/654.04 c #Conflicts: 226000 | #Constraints: 675593
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 227000 | #Constraints: 667191
651.70/654.04 c #Conflicts: 228000 | #Constraints: 668191
651.70/654.04 c #Conflicts: 229000 | #Constraints: 669191
651.70/654.04 c #Conflicts: 230000 | #Constraints: 670191
651.70/654.04 c #Conflicts: 231000 | #Constraints: 671191
651.70/654.04 c #Conflicts: 232000 | #Constraints: 672191
651.70/654.04 c #Conflicts: 233000 | #Constraints: 673191
651.70/654.04 c #Conflicts: 234000 | #Constraints: 674191
651.70/654.04 c #Conflicts: 235000 | #Constraints: 675191
651.70/654.04 c #Conflicts: 236000 | #Constraints: 676191
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 237000 | #Constraints: 667596
651.70/654.04 c #Conflicts: 238000 | #Constraints: 668596
651.70/654.04 c #Conflicts: 239000 | #Constraints: 669596
651.70/654.04 c #Conflicts: 240000 | #Constraints: 670596
651.70/654.04 c #Conflicts: 241000 | #Constraints: 671596
651.70/654.04 c #Conflicts: 242000 | #Constraints: 672596
651.70/654.04 c #Conflicts: 243000 | #Constraints: 673596
651.70/654.04 c #Conflicts: 244000 | #Constraints: 674596
651.70/654.04 c #Conflicts: 245000 | #Constraints: 675596
651.70/654.04 c #Conflicts: 246000 | #Constraints: 676596
651.70/654.04 c INPROCESSING
651.70/654.04 c GARBAGE COLLECT
651.70/654.04 c #Conflicts: 247000 | #Constraints: 667799
651.70/654.04 c #Conflicts: 248000 | #Constraints: 668799
651.70/654.04 c #Conflicts: 249000 | #Constraints: 669799
651.70/654.04 c #Conflicts: 250000 | #Constraints: 670799
651.70/654.04 c #Conflicts: 251000 | #Constraints: 671799
651.70/654.04 c #Conflicts: 252000 | #Constraints: 672799
758.73/761.39 c #Conflicts: 253000 | #Constraints: 673799
758.73/761.39 c #Conflicts: 254000 | #Constraints: 674799
758.73/761.39 c #Conflicts: 255000 | #Constraints: 675799
758.73/761.39 c #Conflicts: 256000 | #Constraints: 676799
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 257000 | #Constraints: 667801
758.73/761.39 c #Conflicts: 258000 | #Constraints: 668801
758.73/761.39 c #Conflicts: 259000 | #Constraints: 669801
758.73/761.39 c #Conflicts: 260000 | #Constraints: 670801
758.73/761.39 c #Conflicts: 261000 | #Constraints: 671801
758.73/761.39 c #Conflicts: 262000 | #Constraints: 672801
758.73/761.39 c #Conflicts: 263000 | #Constraints: 673801
758.73/761.39 c #Conflicts: 264000 | #Constraints: 674801
758.73/761.39 c #Conflicts: 265000 | #Constraints: 675801
758.73/761.39 c #Conflicts: 266000 | #Constraints: 676801
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 267000 | #Constraints: 667596
758.73/761.39 c #Conflicts: 268000 | #Constraints: 668596
758.73/761.39 c #Conflicts: 269000 | #Constraints: 669596
758.73/761.39 c #Conflicts: 270000 | #Constraints: 670596
758.73/761.39 c #Conflicts: 271000 | #Constraints: 671596
758.73/761.39 c #Conflicts: 272000 | #Constraints: 672596
758.73/761.39 c #Conflicts: 273000 | #Constraints: 673596
758.73/761.39 c #Conflicts: 274000 | #Constraints: 674596
758.73/761.39 c #Conflicts: 275000 | #Constraints: 675596
758.73/761.39 c #Conflicts: 276000 | #Constraints: 676596
758.73/761.39 c #Conflicts: 277000 | #Constraints: 677596
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 278000 | #Constraints: 668201
758.73/761.39 c #Conflicts: 279000 | #Constraints: 669201
758.73/761.39 c #Conflicts: 280000 | #Constraints: 670201
758.73/761.39 c #Conflicts: 281000 | #Constraints: 671201
758.73/761.39 c #Conflicts: 282000 | #Constraints: 672201
758.73/761.39 c #Conflicts: 283000 | #Constraints: 673201
758.73/761.39 c #Conflicts: 284000 | #Constraints: 674201
758.73/761.39 c #Conflicts: 285000 | #Constraints: 675201
758.73/761.39 c #Conflicts: 286000 | #Constraints: 676201
758.73/761.39 c #Conflicts: 287000 | #Constraints: 677201
758.73/761.39 c #Conflicts: 288000 | #Constraints: 678201
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 289000 | #Constraints: 668596
758.73/761.39 c #Conflicts: 290000 | #Constraints: 669596
758.73/761.39 c #Conflicts: 291000 | #Constraints: 670596
758.73/761.39 c #Conflicts: 292000 | #Constraints: 671596
758.73/761.39 c #Conflicts: 293000 | #Constraints: 672596
758.73/761.39 c #Conflicts: 294000 | #Constraints: 673596
758.73/761.39 c #Conflicts: 295000 | #Constraints: 674596
758.73/761.39 c #Conflicts: 296000 | #Constraints: 675596
758.73/761.39 c #Conflicts: 297000 | #Constraints: 676596
758.73/761.39 c #Conflicts: 298000 | #Constraints: 677596
758.73/761.39 c #Conflicts: 299000 | #Constraints: 678596
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 300000 | #Constraints: 668790
758.73/761.39 c #Conflicts: 301000 | #Constraints: 669790
758.73/761.39 c #Conflicts: 302000 | #Constraints: 670790
758.73/761.39 c #Conflicts: 303000 | #Constraints: 671790
758.73/761.39 c #Conflicts: 304000 | #Constraints: 672790
758.73/761.39 c #Conflicts: 305000 | #Constraints: 673790
758.73/761.39 c #Conflicts: 306000 | #Constraints: 674790
758.73/761.39 c #Conflicts: 307000 | #Constraints: 675790
758.73/761.39 c #Conflicts: 308000 | #Constraints: 676790
758.73/761.39 c #Conflicts: 309000 | #Constraints: 677790
758.73/761.39 c #Conflicts: 310000 | #Constraints: 678790
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 311000 | #Constraints: 668795
758.73/761.39 c #Conflicts: 312000 | #Constraints: 669795
758.73/761.39 c #Conflicts: 313000 | #Constraints: 670795
758.73/761.39 c #Conflicts: 314000 | #Constraints: 671795
758.73/761.39 c #Conflicts: 315000 | #Constraints: 672795
758.73/761.39 c #Conflicts: 316000 | #Constraints: 673795
758.73/761.39 c #Conflicts: 317000 | #Constraints: 674795
758.73/761.39 c #Conflicts: 318000 | #Constraints: 675795
758.73/761.39 c #Conflicts: 319000 | #Constraints: 676795
758.73/761.39 c #Conflicts: 320000 | #Constraints: 677795
758.73/761.39 c #Conflicts: 321000 | #Constraints: 678795
758.73/761.39 c INPROCESSING
758.73/761.39 c GARBAGE COLLECT
758.73/761.39 c #Conflicts: 322000 | #Constraints: 668599
758.73/761.39 c #Conflicts: 323000 | #Constraints: 669599
758.73/761.39 c #Conflicts: 324000 | #Constraints: 670599
758.73/761.39 c #Conflicts: 325000 | #Constraints: 671599
758.73/761.39 c #Conflicts: 326000 | #Constraints: 672599
867.86/870.71 c #Conflicts: 327000 | #Constraints: 673599
867.86/870.71 c #Conflicts: 328000 | #Constraints: 674599
867.86/870.71 c #Conflicts: 329000 | #Constraints: 675599
867.86/870.71 c #Conflicts: 330000 | #Constraints: 676599
867.86/870.71 c #Conflicts: 331000 | #Constraints: 677599
867.86/870.71 c #Conflicts: 332000 | #Constraints: 678599
867.86/870.71 c #Conflicts: 333000 | #Constraints: 679599
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 334000 | #Constraints: 669201
867.86/870.71 c #Conflicts: 335000 | #Constraints: 670201
867.86/870.71 c #Conflicts: 336000 | #Constraints: 671201
867.86/870.71 c #Conflicts: 337000 | #Constraints: 672201
867.86/870.71 c #Conflicts: 338000 | #Constraints: 673201
867.86/870.71 c #Conflicts: 339000 | #Constraints: 674201
867.86/870.71 c #Conflicts: 340000 | #Constraints: 675201
867.86/870.71 c #Conflicts: 341000 | #Constraints: 676201
867.86/870.71 c #Conflicts: 342000 | #Constraints: 677201
867.86/870.71 c #Conflicts: 343000 | #Constraints: 678201
867.86/870.71 c #Conflicts: 344000 | #Constraints: 679201
867.86/870.71 c #Conflicts: 345000 | #Constraints: 680201
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 346000 | #Constraints: 669614
867.86/870.71 c #Conflicts: 347000 | #Constraints: 670614
867.86/870.71 c #Conflicts: 348000 | #Constraints: 671614
867.86/870.71 c #Conflicts: 349000 | #Constraints: 672614
867.86/870.71 c #Conflicts: 350000 | #Constraints: 673614
867.86/870.71 c #Conflicts: 351000 | #Constraints: 674614
867.86/870.71 c #Conflicts: 352000 | #Constraints: 675614
867.86/870.71 c #Conflicts: 353000 | #Constraints: 676614
867.86/870.71 c #Conflicts: 354000 | #Constraints: 677614
867.86/870.71 c #Conflicts: 355000 | #Constraints: 678614
867.86/870.71 c #Conflicts: 356000 | #Constraints: 679614
867.86/870.71 c #Conflicts: 357000 | #Constraints: 680614
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 358000 | #Constraints: 669803
867.86/870.71 c #Conflicts: 359000 | #Constraints: 670803
867.86/870.71 c #Conflicts: 360000 | #Constraints: 671803
867.86/870.71 c #Conflicts: 361000 | #Constraints: 672803
867.86/870.71 c #Conflicts: 362000 | #Constraints: 673803
867.86/870.71 c #Conflicts: 363000 | #Constraints: 674803
867.86/870.71 c #Conflicts: 364000 | #Constraints: 675803
867.86/870.71 c #Conflicts: 365000 | #Constraints: 676803
867.86/870.71 c #Conflicts: 366000 | #Constraints: 677803
867.86/870.71 c #Conflicts: 367000 | #Constraints: 678803
867.86/870.71 c #Conflicts: 368000 | #Constraints: 679803
867.86/870.71 c #Conflicts: 369000 | #Constraints: 680803
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 370000 | #Constraints: 669802
867.86/870.71 c #Conflicts: 371000 | #Constraints: 670802
867.86/870.71 c #Conflicts: 372000 | #Constraints: 671802
867.86/870.71 c #Conflicts: 373000 | #Constraints: 672802
867.86/870.71 c #Conflicts: 374000 | #Constraints: 673802
867.86/870.71 c #Conflicts: 375000 | #Constraints: 674802
867.86/870.71 c #Conflicts: 376000 | #Constraints: 675802
867.86/870.71 c #Conflicts: 377000 | #Constraints: 676802
867.86/870.71 c #Conflicts: 378000 | #Constraints: 677802
867.86/870.71 c #Conflicts: 379000 | #Constraints: 678802
867.86/870.71 c #Conflicts: 380000 | #Constraints: 679802
867.86/870.71 c #Conflicts: 381000 | #Constraints: 680802
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 382000 | #Constraints: 669610
867.86/870.71 c #Conflicts: 383000 | #Constraints: 670610
867.86/870.71 c #Conflicts: 384000 | #Constraints: 671610
867.86/870.71 c #Conflicts: 385000 | #Constraints: 672610
867.86/870.71 c #Conflicts: 386000 | #Constraints: 673610
867.86/870.71 c #Conflicts: 387000 | #Constraints: 674610
867.86/870.71 c #Conflicts: 388000 | #Constraints: 675610
867.86/870.71 c #Conflicts: 389000 | #Constraints: 676610
867.86/870.71 c #Conflicts: 390000 | #Constraints: 677610
867.86/870.71 c #Conflicts: 391000 | #Constraints: 678610
867.86/870.71 c #Conflicts: 392000 | #Constraints: 679610
867.86/870.71 c #Conflicts: 393000 | #Constraints: 680610
867.86/870.71 c #Conflicts: 394000 | #Constraints: 681610
867.86/870.71 c INPROCESSING
867.86/870.71 c GARBAGE COLLECT
867.86/870.71 c #Conflicts: 395000 | #Constraints: 670206
867.86/870.71 c #Conflicts: 396000 | #Constraints: 671206
867.86/870.71 c #Conflicts: 397000 | #Constraints: 672206
867.86/870.71 c #Conflicts: 398000 | #Constraints: 673206
867.86/870.71 c #Conflicts: 399000 | #Constraints: 674206
867.86/870.71 c #Conflicts: 400000 | #Constraints: 675206
867.86/870.71 c #Conflicts: 401000 | #Constraints: 676206
988.88/992.10 c #Conflicts: 402000 | #Constraints: 677206
988.88/992.10 c #Conflicts: 403000 | #Constraints: 678206
988.88/992.10 c #Conflicts: 404000 | #Constraints: 679206
988.88/992.10 c #Conflicts: 405000 | #Constraints: 680206
988.88/992.10 c #Conflicts: 406000 | #Constraints: 681206
988.88/992.10 c #Conflicts: 407000 | #Constraints: 682206
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 408000 | #Constraints: 670608
988.88/992.10 c #Conflicts: 409000 | #Constraints: 671608
988.88/992.10 c #Conflicts: 410000 | #Constraints: 672608
988.88/992.10 c #Conflicts: 411000 | #Constraints: 673608
988.88/992.10 c #Conflicts: 412000 | #Constraints: 674608
988.88/992.10 c #Conflicts: 413000 | #Constraints: 675608
988.88/992.10 c #Conflicts: 414000 | #Constraints: 676608
988.88/992.10 c #Conflicts: 415000 | #Constraints: 677608
988.88/992.10 c #Conflicts: 416000 | #Constraints: 678608
988.88/992.10 c #Conflicts: 417000 | #Constraints: 679608
988.88/992.10 c #Conflicts: 418000 | #Constraints: 680608
988.88/992.10 c #Conflicts: 419000 | #Constraints: 681608
988.88/992.10 c #Conflicts: 420000 | #Constraints: 682608
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 421000 | #Constraints: 670811
988.88/992.10 c #Conflicts: 422000 | #Constraints: 671811
988.88/992.10 c #Conflicts: 423000 | #Constraints: 672811
988.88/992.10 c #Conflicts: 424000 | #Constraints: 673811
988.88/992.10 c #Conflicts: 425000 | #Constraints: 674811
988.88/992.10 c #Conflicts: 426000 | #Constraints: 675811
988.88/992.10 c #Conflicts: 427000 | #Constraints: 676811
988.88/992.10 c #Conflicts: 428000 | #Constraints: 677811
988.88/992.10 c #Conflicts: 429000 | #Constraints: 678811
988.88/992.10 c #Conflicts: 430000 | #Constraints: 679811
988.88/992.10 c #Conflicts: 431000 | #Constraints: 680811
988.88/992.10 c #Conflicts: 432000 | #Constraints: 681811
988.88/992.10 c #Conflicts: 433000 | #Constraints: 682811
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 434000 | #Constraints: 670816
988.88/992.10 c #Conflicts: 435000 | #Constraints: 671816
988.88/992.10 c #Conflicts: 436000 | #Constraints: 672816
988.88/992.10 c #Conflicts: 437000 | #Constraints: 673816
988.88/992.10 c #Conflicts: 438000 | #Constraints: 674816
988.88/992.10 c #Conflicts: 439000 | #Constraints: 675816
988.88/992.10 c #Conflicts: 440000 | #Constraints: 676816
988.88/992.10 c #Conflicts: 441000 | #Constraints: 677816
988.88/992.10 c #Conflicts: 442000 | #Constraints: 678816
988.88/992.10 c #Conflicts: 443000 | #Constraints: 679816
988.88/992.10 c #Conflicts: 444000 | #Constraints: 680816
988.88/992.10 c #Conflicts: 445000 | #Constraints: 681816
988.88/992.10 c #Conflicts: 446000 | #Constraints: 682816
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 447000 | #Constraints: 670619
988.88/992.10 c #Conflicts: 448000 | #Constraints: 671619
988.88/992.10 c #Conflicts: 449000 | #Constraints: 672619
988.88/992.10 c #Conflicts: 450000 | #Constraints: 673619
988.88/992.10 c #Conflicts: 451000 | #Constraints: 674619
988.88/992.10 c #Conflicts: 452000 | #Constraints: 675619
988.88/992.10 c #Conflicts: 453000 | #Constraints: 676619
988.88/992.10 c #Conflicts: 454000 | #Constraints: 677619
988.88/992.10 c #Conflicts: 455000 | #Constraints: 678619
988.88/992.10 c #Conflicts: 456000 | #Constraints: 679619
988.88/992.10 c #Conflicts: 457000 | #Constraints: 680619
988.88/992.10 c #Conflicts: 458000 | #Constraints: 681619
988.88/992.10 c #Conflicts: 459000 | #Constraints: 682619
988.88/992.10 c #Conflicts: 460000 | #Constraints: 683619
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 461000 | #Constraints: 671222
988.88/992.10 c #Conflicts: 462000 | #Constraints: 672222
988.88/992.10 c #Conflicts: 463000 | #Constraints: 673222
988.88/992.10 c #Conflicts: 464000 | #Constraints: 674222
988.88/992.10 c #Conflicts: 465000 | #Constraints: 675222
988.88/992.10 c #Conflicts: 466000 | #Constraints: 676222
988.88/992.10 c #Conflicts: 467000 | #Constraints: 677222
988.88/992.10 c #Conflicts: 468000 | #Constraints: 678222
988.88/992.10 c #Conflicts: 469000 | #Constraints: 679222
988.88/992.10 c #Conflicts: 470000 | #Constraints: 680222
988.88/992.10 c #Conflicts: 471000 | #Constraints: 681222
988.88/992.10 c #Conflicts: 472000 | #Constraints: 682222
988.88/992.10 c #Conflicts: 473000 | #Constraints: 683222
988.88/992.10 c #Conflicts: 474000 | #Constraints: 684222
988.88/992.10 c INPROCESSING
988.88/992.10 c GARBAGE COLLECT
988.88/992.10 c #Conflicts: 475000 | #Constraints: 671612
988.88/992.10 c #Conflicts: 476000 | #Constraints: 672612
1105.19/1108.64 c #Conflicts: 477000 | #Constraints: 673612
1105.19/1108.64 c #Conflicts: 478000 | #Constraints: 674612
1105.19/1108.64 c #Conflicts: 479000 | #Constraints: 675612
1105.19/1108.64 c #Conflicts: 480000 | #Constraints: 676612
1105.19/1108.64 c #Conflicts: 481000 | #Constraints: 677612
1105.19/1108.64 c #Conflicts: 482000 | #Constraints: 678612
1105.19/1108.64 c #Conflicts: 483000 | #Constraints: 679612
1105.19/1108.64 c #Conflicts: 484000 | #Constraints: 680612
1105.19/1108.64 c #Conflicts: 485000 | #Constraints: 681612
1105.19/1108.64 c #Conflicts: 486000 | #Constraints: 682612
1105.19/1108.64 c #Conflicts: 487000 | #Constraints: 683612
1105.19/1108.64 c #Conflicts: 488000 | #Constraints: 684612
1105.19/1108.64 c INPROCESSING
1105.19/1108.64 c GARBAGE COLLECT
1105.19/1108.64 c #Conflicts: 489000 | #Constraints: 671815
1105.19/1108.64 c #Conflicts: 490000 | #Constraints: 672815
1105.19/1108.64 c #Conflicts: 491000 | #Constraints: 673815
1105.19/1108.64 c #Conflicts: 492000 | #Constraints: 674815
1105.19/1108.64 c #Conflicts: 493000 | #Constraints: 675815
1105.19/1108.64 c #Conflicts: 494000 | #Constraints: 676815
1105.19/1108.64 c #Conflicts: 495000 | #Constraints: 677815
1105.19/1108.64 c #Conflicts: 496000 | #Constraints: 678815
1105.19/1108.64 c #Conflicts: 497000 | #Constraints: 679815
1105.19/1108.64 c #Conflicts: 498000 | #Constraints: 680815
1105.19/1108.64 c #Conflicts: 499000 | #Constraints: 681815
1105.19/1108.64 c #Conflicts: 500000 | #Constraints: 682815
1105.19/1108.64 c #Conflicts: 501000 | #Constraints: 683815
1105.19/1108.64 c #Conflicts: 502000 | #Constraints: 684815
1105.19/1108.64 c INPROCESSING
1105.19/1108.64 c GARBAGE COLLECT
1105.19/1108.64 c #Conflicts: 503000 | #Constraints: 671808
1105.19/1108.64 c #Conflicts: 504000 | #Constraints: 672808
1105.19/1108.64 c #Conflicts: 505000 | #Constraints: 673808
1105.19/1108.64 c #Conflicts: 506000 | #Constraints: 674808
1105.19/1108.64 c #Conflicts: 507000 | #Constraints: 675808
1105.19/1108.64 c #Conflicts: 508000 | #Constraints: 676808
1105.19/1108.64 c #Conflicts: 509000 | #Constraints: 677808
1105.19/1108.64 c #Conflicts: 510000 | #Constraints: 678808
1105.19/1108.64 c #Conflicts: 511000 | #Constraints: 679808
1105.19/1108.64 c #Conflicts: 512000 | #Constraints: 680808
1105.19/1108.64 c #Conflicts: 513000 | #Constraints: 681808
1105.19/1108.64 c #Conflicts: 514000 | #Constraints: 682808
1105.19/1108.64 c #Conflicts: 515000 | #Constraints: 683808
1105.19/1108.64 c #Conflicts: 516000 | #Constraints: 684808
1105.19/1108.64 c INPROCESSING
1105.19/1108.64 c GARBAGE COLLECT
1105.19/1108.64 c #Conflicts: 517000 | #Constraints: 671617
1105.19/1108.64 c #Conflicts: 518000 | #Constraints: 672617
1105.19/1108.64 c #Conflicts: 519000 | #Constraints: 673617
1105.19/1108.64 c #Conflicts: 520000 | #Constraints: 674617
1105.19/1108.64 c #Conflicts: 521000 | #Constraints: 675617
1105.19/1108.64 c #Conflicts: 522000 | #Constraints: 676617
1105.19/1108.64 c #Conflicts: 523000 | #Constraints: 677617
1105.19/1108.64 c #Conflicts: 524000 | #Constraints: 678617
1105.19/1108.64 c #Conflicts: 525000 | #Constraints: 679617
1105.19/1108.64 c #Conflicts: 526000 | #Constraints: 680617
1105.19/1108.64 c #Conflicts: 527000 | #Constraints: 681617
1105.19/1108.64 c #Conflicts: 528000 | #Constraints: 682617
1105.19/1108.64 c #Conflicts: 529000 | #Constraints: 683617
1105.19/1108.64 c #Conflicts: 530000 | #Constraints: 684617
1105.19/1108.64 c #Conflicts: 531000 | #Constraints: 685617
1105.19/1108.64 c INPROCESSING
1105.19/1108.64 c GARBAGE COLLECT
1105.19/1108.64 c #Conflicts: 532000 | #Constraints: 672214
1105.19/1108.64 c #Conflicts: 533000 | #Constraints: 673214
1105.19/1108.64 c #Conflicts: 534000 | #Constraints: 674214
1105.19/1108.64 c #Conflicts: 535000 | #Constraints: 675214
1105.19/1108.64 c #Conflicts: 536000 | #Constraints: 676214
1105.19/1108.64 c #Conflicts: 537000 | #Constraints: 677214
1105.19/1108.64 c #Conflicts: 538000 | #Constraints: 678214
1105.19/1108.64 c #Conflicts: 539000 | #Constraints: 679214
1105.19/1108.64 c #Conflicts: 540000 | #Constraints: 680214
1105.19/1108.64 c #Conflicts: 541000 | #Constraints: 681214
1105.19/1108.64 c #Conflicts: 542000 | #Constraints: 682214
1105.19/1108.64 c #Conflicts: 543000 | #Constraints: 683214
1105.19/1108.64 c #Conflicts: 544000 | #Constraints: 684214
1105.19/1108.64 c #Conflicts: 545000 | #Constraints: 685214
1105.19/1108.64 c #Conflicts: 546000 | #Constraints: 686214
1105.19/1108.64 c INPROCESSING
1105.19/1108.64 c GARBAGE COLLECT
1105.19/1108.64 c #Conflicts: 547000 | #Constraints: 672619
1105.19/1108.64 c #Conflicts: 548000 | #Constraints: 673619
1105.19/1108.64 c #Conflicts: 549000 | #Constraints: 674619
1105.19/1108.64 c #Conflicts: 550000 | #Constraints: 675619
1105.19/1108.64 c #Conflicts: 551000 | #Constraints: 676619
1105.19/1108.64 c #Conflicts: 552000 | #Constraints: 677619
1136.32/1139.86 c #Conflicts: 553000 | #Constraints: 678619
1136.32/1139.86 c #Conflicts: 554000 | #Constraints: 679619
1136.32/1139.86 c #Conflicts: 555000 | #Constraints: 680619
1136.32/1139.86 c #Conflicts: 556000 | #Constraints: 681619
1136.32/1139.86 c #Conflicts: 557000 | #Constraints: 682619
1136.32/1139.86 c #Conflicts: 558000 | #Constraints: 683619
1136.32/1139.86 c #Conflicts: 559000 | #Constraints: 684619
1136.32/1139.86 c #Conflicts: 560000 | #Constraints: 685619
1136.32/1139.86 c #Conflicts: 561000 | #Constraints: 686619
1136.32/1139.86 c INPROCESSING
1136.32/1139.86 c GARBAGE COLLECT
1136.32/1139.86 c #Conflicts: 562000 | #Constraints: 672813
1136.32/1139.86 c #Conflicts: 563000 | #Constraints: 673813
1136.32/1139.86 c #Conflicts: 564000 | #Constraints: 674813
1136.32/1139.86 c #Conflicts: 565000 | #Constraints: 675813
1136.32/1139.86 c #Conflicts: 566000 | #Constraints: 676813
1136.32/1139.86 c #Conflicts: 567000 | #Constraints: 677813
1136.32/1139.86 c #Conflicts: 568000 | #Constraints: 678813
1136.32/1139.86 c #Conflicts: 569000 | #Constraints: 679813
1136.32/1139.86 c #Conflicts: 570000 | #Constraints: 680813
1136.32/1139.86 c #Conflicts: 571000 | #Constraints: 681813
1136.32/1139.86 c #Conflicts: 572000 | #Constraints: 682813
1136.32/1139.86 c #Conflicts: 573000 | #Constraints: 683813
1136.32/1139.86 c bounds 318 >= 0 @ 1124.47
1136.32/1139.86 c stratification level: 5
1829.21/1834.60 c bounds 318 >= 5 @ 1124.66
1829.21/1834.60 c #Conflicts: 574000 | #Constraints: 684815
1829.21/1834.60 c #Conflicts: 575000 | #Constraints: 685815
1829.21/1834.60 c #Conflicts: 576000 | #Constraints: 686815
1829.21/1834.60 c INPROCESSING
1829.21/1834.60 c GARBAGE COLLECT
1829.21/1834.60 c #Conflicts: 577000 | #Constraints: 672796
1829.21/1834.60 c #Conflicts: 578000 | #Constraints: 673796
1829.21/1834.60 c #Conflicts: 579000 | #Constraints: 674796
1829.21/1834.60 c #Conflicts: 580000 | #Constraints: 675796
1829.21/1834.60 c #Conflicts: 581000 | #Constraints: 676796
1829.21/1834.60 c #Conflicts: 582000 | #Constraints: 677796
1829.21/1834.60 c #Conflicts: 583000 | #Constraints: 678796
1829.21/1834.60 c #Conflicts: 584000 | #Constraints: 679796
1829.21/1834.60 c #Conflicts: 585000 | #Constraints: 680796
1829.21/1834.60 c #Conflicts: 586000 | #Constraints: 681796
1829.21/1834.60 c #Conflicts: 587000 | #Constraints: 682796
1829.21/1834.60 c #Conflicts: 588000 | #Constraints: 683796
1829.21/1834.60 c #Conflicts: 589000 | #Constraints: 684796
1829.21/1834.60 c #Conflicts: 590000 | #Constraints: 685796
1829.21/1834.60 c #Conflicts: 591000 | #Constraints: 686796
1829.21/1834.60 c INPROCESSING
1829.21/1834.60 c GARBAGE COLLECT
1829.21/1834.60 c #Conflicts: 592000 | #Constraints: 672559
1829.21/1834.60 c #Conflicts: 593000 | #Constraints: 673559
1829.21/1834.60 c #Conflicts: 594000 | #Constraints: 674559
1829.21/1834.60 c #Conflicts: 595000 | #Constraints: 675559
1829.21/1834.60 c #Conflicts: 596000 | #Constraints: 676559
1829.21/1834.60 c #Conflicts: 597000 | #Constraints: 677559
1829.21/1834.60 c #Conflicts: 598000 | #Constraints: 678559
1829.21/1834.60 c #Conflicts: 599000 | #Constraints: 679559
1829.21/1834.60 c #Conflicts: 600000 | #Constraints: 680559
1829.21/1834.60 c #Conflicts: 601000 | #Constraints: 681559
1829.21/1834.60 c #Conflicts: 602000 | #Constraints: 682559
1829.21/1834.60 c #Conflicts: 603000 | #Constraints: 683559
1829.21/1834.60 c #Conflicts: 604000 | #Constraints: 684559
1829.21/1834.60 c #Conflicts: 605000 | #Constraints: 685559
1829.21/1834.60 c #Conflicts: 606000 | #Constraints: 686559
1829.21/1834.60 c #Conflicts: 607000 | #Constraints: 687559
1829.21/1834.60 c INPROCESSING
1829.21/1834.60 c #Conflicts: 608000 | #Constraints: 673162
1829.21/1834.60 c #Conflicts: 609000 | #Constraints: 674162
1829.21/1834.60 c #Conflicts: 610000 | #Constraints: 675162
1829.21/1834.60 c #Conflicts: 611000 | #Constraints: 676162
1829.21/1834.60 c #Conflicts: 612000 | #Constraints: 677162
1829.21/1834.60 c #Conflicts: 613000 | #Constraints: 678162
1829.21/1834.60 c #Conflicts: 614000 | #Constraints: 679162
1829.21/1834.60 c #Conflicts: 615000 | #Constraints: 680162
1829.21/1834.60 c #Conflicts: 616000 | #Constraints: 681162
1829.21/1834.60 c #Conflicts: 617000 | #Constraints: 682162
1829.21/1834.60 c #Conflicts: 618000 | #Constraints: 683162
1829.21/1834.60 c #Conflicts: 619000 | #Constraints: 684162
1829.21/1834.60 c #Conflicts: 620000 | #Constraints: 685162
1829.21/1834.60 c #Conflicts: 621000 | #Constraints: 686162
1829.21/1834.60 c #Conflicts: 622000 | #Constraints: 687162
1829.21/1834.60 c #Conflicts: 623000 | #Constraints: 688162
1829.21/1834.60 c INPROCESSING
1829.21/1834.60 c GARBAGE COLLECT
1829.21/1834.60 c #Conflicts: 624000 | #Constraints: 673552
1829.21/1834.60 c #Conflicts: 625000 | #Constraints: 674552
1829.21/1834.60 c #Conflicts: 626000 | #Constraints: 675552
1829.21/1834.60 c #Conflicts: 627000 | #Constraints: 676552
1829.21/1834.60 c #Conflicts: 628000 | #Constraints: 677552
1829.21/1834.60 c #Conflicts: 629000 | #Constraints: 678552
1829.21/1834.60 c #Conflicts: 630000 | #Constraints: 679552
1829.21/1834.60 c #Conflicts: 631000 | #Constraints: 680552
1829.21/1834.60 c #Conflicts: 632000 | #Constraints: 681552
1829.21/1834.60 c #Conflicts: 633000 | #Constraints: 682552
1829.21/1834.60 c #Conflicts: 634000 | #Constraints: 683552
1829.21/1834.60 c #Conflicts: 635000 | #Constraints: 684552
1829.21/1834.60 c #Conflicts: 636000 | #Constraints: 685552
1829.21/1834.60 c #Conflicts: 637000 | #Constraints: 686552
1829.21/1834.60 c #Conflicts: 638000 | #Constraints: 687552
1829.21/1834.60 c #Conflicts: 639000 | #Constraints: 688552
1829.21/1834.60 c INPROCESSING
1829.21/1834.60 c GARBAGE COLLECT
1829.21/1834.60 c #Conflicts: 640000 | #Constraints: 673738
1829.21/1834.60 c #Conflicts: 641000 | #Constraints: 674738
1829.21/1834.60 c #Conflicts: 642000 | #Constraints: 675738
1829.21/1834.60 c #Conflicts: 643000 | #Constraints: 676738
1829.21/1834.60 c #Conflicts: 644000 | #Constraints: 677738
1829.21/1834.60 c #Conflicts: 645000 | #Constraints: 678738
1829.21/1834.60 c #Conflicts: 646000 | #Constraints: 679738
1829.21/1834.60 c #Conflicts: 647000 | #Constraints: 680738
1829.21/1834.60 c #Conflicts: 648000 | #Constraints: 681738
1829.21/1834.60 c #Conflicts: 649000 | #Constraints: 682738
3197.27/3206.67 c #Conflicts: 650000 | #Constraints: 683738
3197.27/3206.67 c #Conflicts: 651000 | #Constraints: 684738
3197.27/3206.67 c #Conflicts: 652000 | #Constraints: 685738
3197.27/3206.67 c #Conflicts: 653000 | #Constraints: 686738
3197.27/3206.67 c #Conflicts: 654000 | #Constraints: 687738
3197.27/3206.67 c #Conflicts: 655000 | #Constraints: 688738
3197.27/3206.67 c INPROCESSING
3197.27/3206.67 c GARBAGE COLLECT
3197.27/3206.67 c #Conflicts: 656000 | #Constraints: 673742
3197.27/3206.67 c #Conflicts: 657000 | #Constraints: 674742
3197.27/3206.67 c #Conflicts: 658000 | #Constraints: 675742
3197.27/3206.67 c #Conflicts: 659000 | #Constraints: 676742
3197.27/3206.67 c #Conflicts: 660000 | #Constraints: 677742
3197.27/3206.67 c #Conflicts: 661000 | #Constraints: 678742
3197.27/3206.67 c #Conflicts: 662000 | #Constraints: 679742
3197.27/3206.67 c #Conflicts: 663000 | #Constraints: 680742
3197.27/3206.67 c #Conflicts: 664000 | #Constraints: 681742
3197.27/3206.67 c #Conflicts: 665000 | #Constraints: 682742
3197.27/3206.67 c #Conflicts: 666000 | #Constraints: 683742
3197.27/3206.67 c #Conflicts: 667000 | #Constraints: 684742
3197.27/3206.67 c #Conflicts: 668000 | #Constraints: 685742
3197.27/3206.67 c #Conflicts: 669000 | #Constraints: 686742
3197.27/3206.67 c #Conflicts: 670000 | #Constraints: 687742
3197.27/3206.67 c #Conflicts: 671000 | #Constraints: 688742
3197.27/3206.67 c INPROCESSING
3197.27/3206.67 c GARBAGE COLLECT
3197.27/3206.67 c #Conflicts: 672000 | #Constraints: 673536
3197.27/3206.67 c #Conflicts: 673000 | #Constraints: 674536
3197.27/3206.67 c #Conflicts: 674000 | #Constraints: 675536
3197.27/3206.67 c #Conflicts: 675000 | #Constraints: 676536
3197.27/3206.67 c #Conflicts: 676000 | #Constraints: 677536
3197.27/3206.67 c #Conflicts: 677000 | #Constraints: 678536
3197.27/3206.67 c #Conflicts: 678000 | #Constraints: 679536
3197.27/3206.67 c #Conflicts: 679000 | #Constraints: 680536
3197.27/3206.67 c #Conflicts: 680000 | #Constraints: 681536
3197.27/3206.67 c #Conflicts: 681000 | #Constraints: 682536
3197.27/3206.67 c #Conflicts: 682000 | #Constraints: 683536
3197.27/3206.67 c #Conflicts: 683000 | #Constraints: 684536
3197.27/3206.67 c #Conflicts: 684000 | #Constraints: 685536
3197.27/3206.67 c #Conflicts: 685000 | #Constraints: 686536
3197.27/3206.67 c #Conflicts: 686000 | #Constraints: 687536
3197.27/3206.67 c #Conflicts: 687000 | #Constraints: 688536
3197.27/3206.67 c #Conflicts: 688000 | #Constraints: 689536
3197.27/3206.67 c INPROCESSING
3197.27/3206.67 c GARBAGE COLLECT
3197.27/3206.67 c #Conflicts: 689000 | #Constraints: 674128
3197.27/3206.67 c #Conflicts: 690000 | #Constraints: 675128
3197.27/3206.67 c #Conflicts: 691000 | #Constraints: 676128
3197.27/3206.67 c #Conflicts: 692000 | #Constraints: 677128
3197.27/3206.67 c #Conflicts: 693000 | #Constraints: 678128
3197.27/3206.67 c #Conflicts: 694000 | #Constraints: 679128
3197.27/3206.67 c #Conflicts: 695000 | #Constraints: 680128
3197.27/3206.67 c #Conflicts: 696000 | #Constraints: 681128
3197.27/3206.67 c #Conflicts: 697000 | #Constraints: 682128
3197.27/3206.67 c #Conflicts: 698000 | #Constraints: 683128
3197.27/3206.67 c #Conflicts: 699000 | #Constraints: 684128
3197.27/3206.67 c #Conflicts: 700000 | #Constraints: 685128
3197.27/3206.67 c #Conflicts: 701000 | #Constraints: 686128
3197.27/3206.67 c #Conflicts: 702000 | #Constraints: 687128
3197.27/3206.67 c #Conflicts: 703000 | #Constraints: 688128
3197.27/3206.67 c #Conflicts: 704000 | #Constraints: 689128
3197.27/3206.67 c #Conflicts: 705000 | #Constraints: 690128
3197.27/3206.67 c INPROCESSING
3197.27/3206.67 c GARBAGE COLLECT
3197.27/3206.67 c #Conflicts: 706000 | #Constraints: 674534
3197.27/3206.67 c #Conflicts: 707000 | #Constraints: 675534
3197.27/3206.67 c #Conflicts: 708000 | #Constraints: 676534
3197.27/3206.67 c #Conflicts: 709000 | #Constraints: 677534
3197.27/3206.67 c #Conflicts: 710000 | #Constraints: 678534
3197.27/3206.67 c #Conflicts: 711000 | #Constraints: 679534
3197.27/3206.67 c #Conflicts: 712000 | #Constraints: 680534
3197.27/3206.67 c #Conflicts: 713000 | #Constraints: 681534
3197.27/3206.67 c #Conflicts: 714000 | #Constraints: 682534
3197.27/3206.67 c #Conflicts: 715000 | #Constraints: 683534
3197.27/3206.67 c #Conflicts: 716000 | #Constraints: 684534
3197.27/3206.67 c #Conflicts: 717000 | #Constraints: 685534
3197.27/3206.67 c #Conflicts: 718000 | #Constraints: 686534
3197.27/3206.67 c #Conflicts: 719000 | #Constraints: 687534
3197.27/3206.67 c #Conflicts: 720000 | #Constraints: 688534
3197.27/3206.67 c #Conflicts: 721000 | #Constraints: 689534
3197.27/3206.67 c #Conflicts: 722000 | #Constraints: 690534
3197.27/3206.67 c INPROCESSING
3197.27/3206.67 c GARBAGE COLLECT
3197.27/3206.67 c #Conflicts: 723000 | #Constraints: 674737
3197.27/3206.67 c #Conflicts: 724000 | #Constraints: 675737
3600.07/3610.70 c #Conflicts: 725000 | #Constraints: 676737
3600.07/3610.70 c #Conflicts: 726000 | #Constraints: 677737
3600.07/3610.70 c #Conflicts: 727000 | #Constraints: 678737
3600.07/3610.70 c #Conflicts: 728000 | #Constraints: 679737
3600.07/3610.70 c #Conflicts: 729000 | #Constraints: 680737
3600.07/3610.70 c #Conflicts: 730000 | #Constraints: 681737
3600.07/3610.70 c #Conflicts: 731000 | #Constraints: 682737
3600.07/3610.70 c #Conflicts: 732000 | #Constraints: 683737
3600.07/3610.70 c #Conflicts: 733000 | #Constraints: 684737
3600.07/3610.70 c #Conflicts: 734000 | #Constraints: 685737
3600.07/3610.70 c #Conflicts: 735000 | #Constraints: 686737
3600.07/3610.70 c #Conflicts: 736000 | #Constraints: 687737
3600.07/3610.70 c #Conflicts: 737000 | #Constraints: 688737
3600.07/3610.70 c #Conflicts: 738000 | #Constraints: 689737
3600.07/3610.70 c #Conflicts: 739000 | #Constraints: 690737
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 740000 | #Constraints: 674743
3600.07/3610.70 c #Conflicts: 741000 | #Constraints: 675743
3600.07/3610.70 c #Conflicts: 742000 | #Constraints: 676743
3600.07/3610.70 c Program interrupted by user.
3600.07/3610.70 c cpu time 3583.62 s
3600.07/3610.70 c deterministic time 411820771404 4.12e+11
3600.07/3610.70 c optimization time 58.1296 s
3600.07/3610.70 c total solve time 3221.35 s
3600.07/3610.70 c core-guided solve time 3221.35 s
3600.07/3610.70 c propagation time 1797 s
3600.07/3610.70 c conflict analysis time 1317.13 s
3600.07/3610.70 c propagations 90066016
3600.07/3610.70 c resolve steps 17228850
3600.07/3610.70 c decisions 16718786
3600.07/3610.70 c conflicts 742194
3600.07/3610.70 c restarts 1533
3600.07/3610.70 c inprocessing phases 77
3600.07/3610.70 c input clauses 656900
3600.07/3610.70 c input cardinalities 0
3600.07/3610.70 c input general constraints 94
3600.07/3610.70 c input average constraint length 3.46
3600.07/3610.70 c input average constraint degree 70.53
3600.07/3610.70 c learned clauses 642112
3600.07/3610.70 c learned cardinalities 0
3600.07/3610.70 c learned general constraints 100081
3600.07/3610.70 c learned average constraint length 3645.42
3600.07/3610.70 c learned average constraint degree 335206.88
3600.07/3610.70 c watched constraints 3258
3600.07/3610.70 c counting constraints 96917
3600.07/3610.70 c gcd simplifications 3864
3600.07/3610.70 c detected cardinalities 0
3600.07/3610.70 c weakened non-implied lits 404004257
3600.07/3610.70 c weakened non-implying lits 118784
3600.07/3610.70 c original variables 10000
3600.07/3610.70 c clausal propagations 74449555
3600.07/3610.70 c cardinality propagations 0
3600.07/3610.70 c watched propagations 12933
3600.07/3610.70 c counting propagations 14566840
3600.07/3610.70 c watch lookups 16514037073
3600.07/3610.70 c watch backjump lookups 15949666430
3600.07/3610.70 c watch checks 20972928367
3600.07/3610.70 c propagation checks 352040630927
3600.07/3610.70 c constraint additions 6129206452
3600.07/3610.70 c trail pops 107517352
3600.07/3610.70 c formula constraints 656900
3600.07/3610.70 c learned constraints 742193
3600.07/3610.70 c bound constraints 94
3600.07/3610.70 c core-guided constraints 0
3600.07/3610.70 c encountered formula constraints 12652395
3600.07/3610.70 c encountered learned constraints 5307918
3600.07/3610.70 c encountered bound constraints 10731
3600.07/3610.70 c encountered core-guided constraints 0
3600.07/3610.70 c LP total time 0 s
3600.07/3610.70 c LP solve time 0 s
3600.07/3610.70 c LP constraints added 0
3600.07/3610.70 c LP constraints removed 0
3600.07/3610.70 c LP pivots internal 0
3600.07/3610.70 c LP pivots root 0
3600.07/3610.70 c LP calls 0
3600.07/3610.70 c LP optimalities 0
3600.07/3610.70 c LP no pivot count 0
3600.07/3610.70 c LP infeasibilities 0
3600.07/3610.70 c LP valid Farkas constraints 0
3600.07/3610.70 c LP learned Farkas constraints 0
3600.07/3610.70 c LP basis resets 0
3600.07/3610.70 c LP cycling count 0
3600.07/3610.70 c LP singular count 0
3600.07/3610.70 c LP no primal count 0
3600.07/3610.70 c LP no farkas count 0
3600.07/3610.70 c LP other issue count 0
3600.07/3610.70 c LP Gomory cuts 0
3600.07/3610.70 c LP learned cuts 0
3600.07/3610.70 c LP deleted cuts 0
3600.07/3610.70 c LP encountered Gomory constraints 0
3600.07/3610.70 c LP encountered Farkas constraints 0
3600.07/3610.70 c LP encountered learned Farkas constraints 0
3600.07/3610.70 c CG auxiliary variables introduced 0
3600.07/3610.70 c CG solutions found 93
3600.07/3610.70 c CG cores constructed 1
3600.07/3610.70 c CG core cardinality constraints returned 0
3600.07/3610.70 c CG unit cores 0
3600.07/3610.70 c CG single cores 1
3600.07/3610.70 c CG blocks removed during cardinality reduction 0
3600.07/3610.70 c CG first core best 0
3600.07/3610.70 c CG decision core best 0
3600.07/3610.70 c CG core reduction tie 0
3600.07/3610.70 c CG core degree average 1.00
3600.07/3610.70 c CG core slack average 8504.00
3600.07/3610.70 c CG exhausted 0
3600.07/3610.70 c CG exhaust time 0 s
3600.07/3610.70 c CG trimmed 0
3600.07/3610.70 c CG trim time 0.004756 s
3600.07/3610.70 c CG minimized 0
3600.07/3610.70 c CG minimize time 0 s
3600.07/3610.70 c CG am1 prop time 0.015033 s
3600.07/3610.70 c CG # am1s reformulated 0
3600.07/3610.70 c CG lower bound derived from am1s 0
3600.07/3610.70 c CG # clausal cores 1
3600.07/3610.70 c CG # cardinality cores 0
3600.07/3610.70 c CG # pb cores 0
3600.07/3610.70 c CG # pb reforms 0
3600.07/3610.70 c CG # cores discarded because of pb reform 0
3600.07/3610.70 d LOWERBOUND 5
3600.07/3610.70 d NCORES 1
3600.07/3610.70 d NPBCORES 0
3600.07/3610.70 d NPBREFORM 0
3600.07/3610.70 d NTRIMMED 0
3600.07/3610.70 d NEXHAUSTED 0
3600.07/3610.70 d NAM1S 0
3600.07/3610.70 d AM1LB 0
3600.07/3610.70 c [Papilo Statistics]
3600.07/3610.70 c prepro time 1.98249s
3600.07/3610.70 c # tsx applied 0
3600.07/3610.70 c # tsx conflicts 0
3600.07/3610.70 c # bound changes 0
3600.07/3610.70 c # side changes 0
3600.07/3610.70 c # coef changes 0
3600.07/3610.70 c # rounds 1
3600.07/3610.70 c # deted vars 0
3600.07/3610.70 c # deted constrs 0
3600.07/3610.70 c # consecutive rounds of only bound changes 0
3600.07/3610.70 c [STEP] postprocessing with Papilo
3600.07/3610.73 o 318
3600.07/3610.73 s SATISFIABLE
3600.07/3610.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 x9995 -x9996 -x9997 -x9998 -x9999 -x10000
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (59027 MiB free)
memory of node 1: 64507 MiB (61486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528935-1752256869/watcher-4528935-1752256869 -o /tmp/evaluation-result-4528935-1752256869/solver-4528935-1752256869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124648 --watchdog 3760 mixed-bag HOME/instance-4528935-1752256869.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=124695, runsolver pid=124689
[startup+0.10007 s]*
/proc/loadavg: 1.16 3.15 3.74 5/254 124708
/proc/meminfo: memFree=123390316/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=114968 memory=16028 CPUtime=0.08 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 1989 0 0 0 7 1 0 0 20 0 1 0 141366665 117727232 4007 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 28742 4007 2144 2834 0 11494 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 114968 KiB
Current children cumulated memory: 16028 KiB
[startup+0.221417 s]*
/proc/loadavg: 1.16 3.15 3.74 6/254 124708
/proc/meminfo: memFree=123377292/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=117084 memory=19132 CPUtime=0.2 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 2721 0 0 0 18 2 0 0 20 0 1 0 141366665 119894016 4783 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 29271 4783 2144 2834 0 12023 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 19132 KiB
[startup+0.314552 s]*
/proc/loadavg: 1.16 3.15 3.74 5/254 124708
/proc/meminfo: memFree=123373196/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=117084 memory=20284 CPUtime=0.29 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 3015 0 0 0 27 2 0 0 20 0 1 0 141366665 119894016 5071 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 29271 5071 2144 2834 0 12023 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117084 KiB
Current children cumulated memory: 20284 KiB
[startup+0.700332 s]
/proc/loadavg: 1.16 3.15 3.74 5/254 124708
/proc/meminfo: memFree=123352716/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=129372 memory=32364 CPUtime=0.66 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 3988 0 0 0 63 3 0 0 20 0 1 0 141366665 132476928 8091 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 32343 8091 2144 2834 0 15095 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 129372 KiB
Current children cumulated memory: 32364 KiB
[startup+1.50035 s]
/proc/loadavg: 1.16 3.15 3.74 5/254 124708
/proc/meminfo: memFree=123294112/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=145756 memory=61420 CPUtime=1.46 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 4632 0 0 0 141 5 0 0 20 0 1 0 141366665 149254144 15355 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 36439 15355 2144 2834 0 19191 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 145756 KiB
Current children cumulated memory: 61420 KiB
[startup+3.11452 s]
/proc/loadavg: 1.39 3.17 3.74 5/254 124708
/proc/meminfo: memFree=121962824/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=435192 memory=335312 CPUtime=3.06 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 26715 0 2 0 289 17 0 0 20 0 1 0 141366665 445636608 83828 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 108798 83828 2272 2834 0 91003 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 435192 KiB
Current children cumulated memory: 335312 KiB
[startup+6.30032 s]
/proc/loadavg: 1.39 3.17 3.74 5/254 124708
/proc/meminfo: memFree=119394492/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=1098028 memory=1001124 CPUtime=6.24 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 199686 0 2 0 579 45 0 0 20 0 1 0 141366665 1124380672 250281 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 274507 250281 3968 2834 0 256712 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1098028 KiB
Current children cumulated memory: 1001124 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 3.21 3.75 5/254 124708
/proc/meminfo: memFree=117280756/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=1512560 memory=1411308 CPUtime=12.63 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 269887 0 2 0 1196 67 0 0 20 0 1 0 141366665 1548861440 352827 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 378140 352827 3968 2834 0 360345 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1512560 KiB
Current children cumulated memory: 1411308 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 3.24 3.75 5/254 124708
/proc/meminfo: memFree=111896452/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=3234320 memory=2888840 CPUtime=25.37 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 282614 0 2 0 2439 98 0 0 20 0 1 0 141366665 3311943680 722210 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 808580 722210 4032 2834 0 790785 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 3234320 KiB
Current children cumulated memory: 2888840 KiB
[startup+51.1147 s]
/proc/loadavg: 2.87 3.32 3.76 5/255 124710
/proc/meminfo: memFree=108562852/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=3949096 memory=3579972 CPUtime=50.89 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 403965 0 2 0 4964 125 0 0 20 0 1 0 141366665 4043874304 894993 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 987274 894993 4256 2834 0 969479 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 3949096 KiB
Current children cumulated memory: 3579972 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 3.45 3.79 5/254 124712
/proc/meminfo: memFree=108488776/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=4126332 memory=3670696 CPUtime=101.82 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 412765 0 2 0 10053 129 0 0 20 0 1 0 141366665 4225363968 917674 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1031583 917674 4256 2834 0 1013788 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 4126332 KiB
Current children cumulated memory: 3670696 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 3.58 3.81 5/255 124714
/proc/meminfo: memFree=108283548/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=4146860 memory=3678472 CPUtime=161.48 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 413729 0 2 0 16019 129 0 0 20 0 1 0 141366665 4246384640 919618 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1036715 919618 4256 2834 0 1018920 0
Current children cumulated CPU time: 161.48 s
Current children cumulated vsize: 4146860 KiB
Current children cumulated memory: 3678472 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.69 3.84 5/255 124716
/proc/meminfo: memFree=108237764/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=4221280 memory=3693840 CPUtime=221.2 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 415584 0 2 0 21991 129 0 0 20 0 1 0 141366665 4322590720 923460 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1055320 923460 4256 2834 0 1037525 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 4221280 KiB
Current children cumulated memory: 3693840 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.77 3.85 5/254 124718
/proc/meminfo: memFree=108184712/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=4297932 memory=3708920 CPUtime=280.95 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 416733 0 2 0 27964 131 0 0 20 0 1 0 141366665 4401082368 927230 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1074483 927230 4256 2834 0 1056688 0
Current children cumulated CPU time: 280.95 s
Current children cumulated vsize: 4297932 KiB
Current children cumulated memory: 3708920 KiB
[startup+342.3 s]
/proc/loadavg: 4.03 3.81 3.87 5/252 124720
/proc/meminfo: memFree=114667060/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=2135280 memory=2048792 CPUtime=340.76 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 420351 0 2 0 33784 292 0 0 20 0 1 0 141366665 2186526720 512198 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 533820 512198 4448 2834 0 516025 0
Current children cumulated CPU time: 340.76 s
Current children cumulated vsize: 2135280 KiB
Current children cumulated memory: 2048792 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.88 3.89 5/251 124724
/proc/meminfo: memFree=114546904/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=2185368 memory=2075416 CPUtime=400.61 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 420882 0 2 0 39660 401 0 0 20 0 1 0 141366665 2237816832 518854 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 546342 518854 4448 2834 0 528547 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 2185368 KiB
Current children cumulated memory: 2075416 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.92 3.91 5/249 124726
/proc/meminfo: memFree=114455484/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=2185368 memory=2097944 CPUtime=460.47 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 420952 0 2 0 45586 461 0 0 20 0 1 0 141366665 2237816832 524486 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 546342 524486 4448 2834 0 528547 0
Current children cumulated CPU time: 460.47 s
################
# More data... #
################
Current children cumulated memory: 4628232 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/251 124847
/proc/meminfo: memFree=108740184/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=2913.85 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571539 0 2 0 289780 1605 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/251 124853
/proc/meminfo: memFree=108650088/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=2973.69 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571568 0 2 0 295760 1609 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 2973.69 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/251 124855
/proc/meminfo: memFree=108412264/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3033.5 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571626 0 2 0 301738 1612 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/250 124857
/proc/meminfo: memFree=108224336/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3093.3 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571701 0 2 0 307713 1617 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/250 124860
/proc/meminfo: memFree=108121456/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3153.1 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571909 0 2 0 313690 1620 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/250 124862
/proc/meminfo: memFree=107998396/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3212.91 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 571909 0 2 0 319667 1624 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/250 124864
/proc/meminfo: memFree=107978216/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3272.72 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 572846 0 2 0 325643 1629 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/251 124867
/proc/meminfo: memFree=107977832/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3332.53 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 572894 0 2 0 331621 1632 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/252 124872
/proc/meminfo: memFree=107965300/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3392.33 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 572943 0 2 0 337598 1635 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/251 124874
/proc/meminfo: memFree=107984276/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3452.15 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 573090 0 2 0 343577 1638 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/251 124876
/proc/meminfo: memFree=107965924/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3511.95 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 573126 0 2 0 349555 1640 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 124882
/proc/meminfo: memFree=107905228/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3571.76 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 573341 0 2 0 355532 1644 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.07 4.09 4.08 5/251 124895
/proc/meminfo: memFree=107855328/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3600.07 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 573341 0 2 0 358362 1645 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 124695 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.64 s, system=16.5392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.07 4.09 4.08 5/251 124895
/proc/meminfo: memFree=107855328/131382116 swapFree=33010684/33010684
[pid=124695] ppid=124689 vsize=5133448 memory=4628232 CPUtime=3600.07 cores=4,6
/proc/124695/stat : 124695 (mixed-bag) R 124689 124695 124637 0 -1 4194304 573341 0 2 0 358362 1645 0 0 20 0 1 0 141366665 5256650752 1157058 18446744073709551615 4235264 15840557 140722758244064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 42745856 140722758248858 140722758248935 140722758248935 140722758254539 0
/proc/124695/statm: 1283362 1157058 4448 2834 0 1265567 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5133448 KiB
Current children cumulated memory: 4628232 KiB
Child status: 0
Real time (s): 3610.8
CPU time (s): 3600.18
CPU user time (s): 3583.64
CPU system time (s): 16.5392
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 5133448
Max. memory (cumulated for all children) (KiB): 4628232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.64
system time used= 16.5392
maximum resident set size= 4690908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577189
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 2140
# summary of solver processes directly reported to runsolver:
# pid: 124695
# total CPU time (s): 3600.18
# total CPU user time (s): 3583.64
# total CPU system time (s): 16.5392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6561 second user time and 38.3436 second system time
The end
Begin job on nodeC011 at 2025-07-11 20:01:09
IDJOB=4528935
IDBENCH=147563
IDSOLVER=3386
FILE ID=nodeC011/4528935-1752256869
RUNJOBID= nodeC011-1752256869-124648
SLURM_JOB_ID= 9682605
Free space on /tmp= 430080 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4528935-1752256869/watcher-4528935-1752256869 -o /tmp/evaluation-result-4528935-1752256869/solver-4528935-1752256869 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752256869-124648 --watchdog 3760 mixed-bag HOME/instance-4528935-1752256869.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=593451326
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.275
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1397.096
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.275
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.296
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.278
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 123407220 kB
MemAvailable: 129928504 kB
Buffers: 3276 kB
Cached: 7291364 kB
SwapCached: 0 kB
Active: 517268 kB
Inactive: 6845876 kB
Active(anon): 84396 kB
Inactive(anon): 2076 kB
Active(file): 432872 kB
Inactive(file): 6843800 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 129200 kB
Writeback: 8 kB
AnonPages: 71548 kB
Mapped: 106240 kB
Shmem: 17960 kB
KReclaimable: 168096 kB
Slab: 257848 kB
SReclaimable: 168096 kB
SUnreclaim: 89752 kB
KernelStack: 3824 kB
PageTables: 2788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 335344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430020 MiB
End job on nodeC011 at 2025-07-11 21:01:20