0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
1.38/1.49 c [STEP] preprocessing with Papilo
3.87/3.95 c Papilo could not simplify the problem
3.87/3.95 c [STEP] solving with SCIP
304.70/305.80 c [STEP] preprocessing done, loading into solver
305.69/306.89 c [STEP] solving
305.69/306.89 c #variables 10001 #constraints 656900
305.69/306.89 c SMALL=int, LARGE=long long
305.69/306.89 c bounds - >= 0 @ 304.122
305.69/306.89 c stratification level: 98
306.09/307.21 c bounds 6831 >= 0 @ 304.424
306.09/307.21 c stratification level: 97
306.09/307.22 c bounds 6723 >= 0 @ 304.428
306.09/307.22 c stratification level: 96
306.09/307.23 c bounds 6525 >= 0 @ 304.433
306.09/307.23 c stratification level: 95
306.09/307.24 c bounds 6489 >= 0 @ 304.438
306.09/307.24 c stratification level: 94
306.09/307.25 c bounds 6448 >= 0 @ 304.443
306.09/307.25 c stratification level: 93
306.09/307.26 c bounds 6294 >= 0 @ 304.451
306.09/307.26 c stratification level: 92
306.09/307.27 c bounds 6134 >= 0 @ 304.455
306.09/307.27 c stratification level: 91
306.09/307.28 c bounds 5547 >= 0 @ 304.46
306.09/307.28 c stratification level: 90
306.09/307.29 c bounds 5043 >= 0 @ 304.466
306.09/307.29 c stratification level: 89
306.09/307.29 c bounds 4876 >= 0 @ 304.473
306.09/307.29 c stratification level: 88
306.19/307.30 c bounds 4643 >= 0 @ 304.477
306.19/307.30 c stratification level: 87
306.19/307.33 c bounds 4632 >= 0 @ 304.505
306.19/307.33 c stratification level: 86
306.19/307.36 c bounds 4626 >= 0 @ 304.525
306.19/307.36 c stratification level: 85
306.19/307.37 c bounds 4623 >= 0 @ 304.536
306.19/307.37 c stratification level: 84
306.19/307.38 c bounds 4597 >= 0 @ 304.541
306.19/307.38 c stratification level: 83
306.19/307.38 c bounds 4513 >= 0 @ 304.545
306.19/307.38 c stratification level: 82
306.29/307.42 c bounds 4507 >= 0 @ 304.583
306.29/307.42 c stratification level: 81
306.29/307.43 c bounds 4493 >= 0 @ 304.588
306.29/307.43 c stratification level: 80
306.29/307.44 c bounds 4485 >= 0 @ 304.597
306.29/307.44 c stratification level: 79
306.29/307.45 c bounds 4480 >= 0 @ 304.602
306.29/307.45 c stratification level: 78
306.29/307.46 c bounds 4443 >= 0 @ 304.607
306.29/307.46 c stratification level: 77
306.39/307.54 c bounds 4434 >= 0 @ 304.689
306.39/307.54 c stratification level: 76
306.39/307.55 c bounds 4314 >= 0 @ 304.697
306.39/307.55 c stratification level: 75
306.39/307.56 c bounds 4249 >= 0 @ 304.704
306.39/307.56 c stratification level: 74
306.39/307.56 c bounds 4195 >= 0 @ 304.709
306.39/307.56 c stratification level: 73
306.39/307.57 c bounds 4097 >= 0 @ 304.713
306.39/307.57 c stratification level: 72
306.49/307.65 c bounds 4072 >= 0 @ 304.789
306.49/307.65 c stratification level: 71
306.49/307.66 c bounds 4041 >= 0 @ 304.795
306.49/307.66 c stratification level: 70
306.59/307.71 c bounds 4022 >= 0 @ 304.844
306.59/307.71 c stratification level: 69
306.59/307.74 c bounds 4017 >= 0 @ 304.867
306.59/307.74 c stratification level: 68
306.59/307.75 c bounds 3962 >= 0 @ 304.873
306.59/307.75 c stratification level: 67
306.59/307.76 c bounds 3895 >= 0 @ 304.878
306.59/307.76 c stratification level: 66
306.59/307.76 c bounds 3886 >= 0 @ 304.882
306.59/307.76 c stratification level: 65
306.59/307.79 c bounds 3881 >= 0 @ 304.907
306.59/307.79 c stratification level: 64
306.69/307.80 c bounds 3738 >= 0 @ 304.911
306.69/307.80 c stratification level: 63
306.69/307.83 c bounds 3736 >= 0 @ 304.937
306.69/307.83 c stratification level: 62
306.69/307.84 c bounds 3703 >= 0 @ 304.944
306.69/307.84 c stratification level: 61
306.69/307.85 c bounds 3571 >= 0 @ 304.953
306.69/307.85 c stratification level: 60
306.69/307.86 c bounds 3557 >= 0 @ 304.959
306.69/307.86 c stratification level: 59
306.69/307.86 c bounds 3438 >= 0 @ 304.965
306.69/307.86 c stratification level: 58
306.69/307.87 c bounds 3392 >= 0 @ 304.969
306.69/307.87 c stratification level: 57
306.79/307.90 c bounds 3381 >= 0 @ 304.995
306.79/307.90 c stratification level: 56
306.79/307.92 c bounds 3371 >= 0 @ 305.007
306.79/307.92 c stratification level: 55
306.79/307.93 c bounds 3362 >= 0 @ 305.016
306.79/307.93 c stratification level: 54
306.79/307.94 c bounds 3348 >= 0 @ 305.022
306.79/307.94 c stratification level: 53
306.79/307.95 c bounds 3336 >= 0 @ 305.033
306.79/307.95 c stratification level: 52
306.79/307.98 c bounds 3331 >= 0 @ 305.06
306.79/307.98 c stratification level: 51
306.90/308.01 c #Conflicts: 1000 | #Constraints: 657946
306.90/308.01 c bounds 3315 >= 0 @ 305.081
306.90/308.01 c stratification level: 50
306.90/308.02 c bounds 3206 >= 0 @ 305.088
306.90/308.02 c stratification level: 49
306.90/308.03 c bounds 3125 >= 0 @ 305.094
306.90/308.03 c stratification level: 48
306.90/308.05 c bounds 3119 >= 0 @ 305.111
306.90/308.05 c stratification level: 47
306.90/308.06 c bounds 3108 >= 0 @ 305.12
306.90/308.06 c stratification level: 46
306.90/308.07 c bounds 3062 >= 0 @ 305.127
306.90/308.07 c stratification level: 45
306.90/308.08 c bounds 2886 >= 0 @ 305.134
306.90/308.08 c stratification level: 44
306.90/308.09 c bounds 2765 >= 0 @ 305.141
306.90/308.09 c stratification level: 43
306.99/308.11 c bounds 2741 >= 0 @ 305.153
306.99/308.11 c stratification level: 42
306.99/308.12 c bounds 2661 >= 0 @ 305.159
306.99/308.12 c stratification level: 41
306.99/308.13 c bounds 2622 >= 0 @ 305.167
306.99/308.13 c stratification level: 40
306.99/308.14 c bounds 2600 >= 0 @ 305.173
306.99/308.14 c stratification level: 39
306.99/308.15 c bounds 2552 >= 0 @ 305.177
306.99/308.15 c stratification level: 38
306.99/308.17 c bounds 2439 >= 0 @ 305.184
306.99/308.17 c stratification level: 37
306.99/308.18 c bounds 2325 >= 0 @ 305.191
306.99/308.18 c stratification level: 36
306.99/308.19 c bounds 2183 >= 0 @ 305.201
306.99/308.19 c stratification level: 35
307.09/308.20 c bounds 2144 >= 0 @ 305.208
307.09/308.20 c stratification level: 34
307.09/308.21 c bounds 2138 >= 0 @ 305.215
307.09/308.21 c stratification level: 33
307.09/308.22 c bounds 1918 >= 0 @ 305.22
307.09/308.22 c stratification level: 32
307.09/308.24 c bounds 1916 >= 0 @ 305.226
307.09/308.24 c stratification level: 31
307.09/308.25 c bounds 1769 >= 0 @ 305.236
307.09/308.25 c stratification level: 30
307.09/308.26 c bounds 1604 >= 0 @ 305.246
307.09/308.26 c stratification level: 29
307.09/308.28 c bounds 1602 >= 0 @ 305.251
307.09/308.28 c stratification level: 28
307.09/308.29 c bounds 1506 >= 0 @ 305.257
307.09/308.29 c stratification level: 27
307.19/308.35 c bounds 1482 >= 0 @ 305.312
307.19/308.35 c stratification level: 26
307.19/308.39 c bounds 1478 >= 0 @ 305.341
307.19/308.39 c stratification level: 25
307.29/308.41 c bounds 1375 >= 0 @ 305.352
307.29/308.41 c stratification level: 24
307.29/308.42 c bounds 1263 >= 0 @ 305.358
307.29/308.42 c stratification level: 23
307.29/308.43 c bounds 1255 >= 0 @ 305.365
307.29/308.43 c stratification level: 22
307.29/308.45 c bounds 1169 >= 0 @ 305.372
307.29/308.45 c stratification level: 21
307.29/308.46 c bounds 1140 >= 0 @ 305.381
307.29/308.46 c stratification level: 20
307.29/308.48 c bounds 1110 >= 0 @ 305.39
307.29/308.48 c stratification level: 19
307.48/308.63 c bounds 1098 >= 0 @ 305.527
307.48/308.63 c stratification level: 18
307.48/308.64 c bounds 1059 >= 0 @ 305.535
307.48/308.64 c stratification level: 17
307.48/308.66 c bounds 961 >= 0 @ 305.554
307.48/308.66 c stratification level: 16
307.48/308.68 c bounds 906 >= 0 @ 305.565
307.48/308.68 c stratification level: 15
307.69/308.85 c bounds 829 >= 0 @ 305.72
307.69/308.85 c stratification level: 14
307.69/308.88 c bounds 777 >= 0 @ 305.736
307.69/308.88 c stratification level: 13
307.69/308.89 c bounds 675 >= 0 @ 305.742
307.69/308.89 c stratification level: 12
308.29/309.41 c #Conflicts: 2000 | #Constraints: 658985
308.29/309.41 c INPROCESSING
308.29/309.41 c GARBAGE COLLECT
308.29/309.41 c bounds 669 >= 0 @ 306.229
308.29/309.41 c stratification level: 11
309.39/310.57 c #Conflicts: 3000 | #Constraints: 658909
309.39/310.57 c bounds 601 >= 0 @ 307.347
309.39/310.57 c stratification level: 10
309.68/310.85 c bounds 597 >= 0 @ 307.617
309.68/310.85 c stratification level: 9
309.89/311.09 c #Conflicts: 4000 | #Constraints: 659911
309.89/311.09 c bounds 456 >= 0 @ 307.835
309.89/311.09 c stratification level: 8
315.47/316.61 c INPROCESSING
315.47/316.61 c GARBAGE COLLECT
315.47/316.61 c #Conflicts: 5000 | #Constraints: 659314
315.47/316.61 c #Conflicts: 6000 | #Constraints: 660314
315.47/316.61 c INPROCESSING
315.47/316.61 c GARBAGE COLLECT
315.47/316.61 c #Conflicts: 7000 | #Constraints: 659322
315.47/316.61 c #Conflicts: 8000 | #Constraints: 660322
315.47/316.61 c #Conflicts: 9000 | #Constraints: 661322
315.47/316.61 c INPROCESSING
315.47/316.61 c GARBAGE COLLECT
315.47/316.61 c bounds 419 >= 0 @ 313.178
315.47/316.61 c stratification level: 7
345.00/346.29 c #Conflicts: 10000 | #Constraints: 660026
345.00/346.29 c #Conflicts: 11000 | #Constraints: 661026
345.00/346.29 c #Conflicts: 12000 | #Constraints: 662026
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 13000 | #Constraints: 660478
345.00/346.29 c #Conflicts: 14000 | #Constraints: 661478
345.00/346.29 c #Conflicts: 15000 | #Constraints: 662478
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 16000 | #Constraints: 660714
345.00/346.29 c #Conflicts: 17000 | #Constraints: 661714
345.00/346.29 c #Conflicts: 18000 | #Constraints: 662714
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 19000 | #Constraints: 660729
345.00/346.29 c #Conflicts: 20000 | #Constraints: 661729
345.00/346.29 c #Conflicts: 21000 | #Constraints: 662729
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 22000 | #Constraints: 660536
345.00/346.29 c #Conflicts: 23000 | #Constraints: 661536
345.00/346.29 c #Conflicts: 24000 | #Constraints: 662536
345.00/346.29 c #Conflicts: 25000 | #Constraints: 663536
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 26000 | #Constraints: 661144
345.00/346.29 c #Conflicts: 27000 | #Constraints: 662144
345.00/346.29 c #Conflicts: 28000 | #Constraints: 663144
345.00/346.29 c #Conflicts: 29000 | #Constraints: 664144
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 30000 | #Constraints: 661538
345.00/346.29 c #Conflicts: 31000 | #Constraints: 662538
345.00/346.29 c #Conflicts: 32000 | #Constraints: 663538
345.00/346.29 c #Conflicts: 33000 | #Constraints: 664538
345.00/346.29 c INPROCESSING
345.00/346.29 c GARBAGE COLLECT
345.00/346.29 c #Conflicts: 34000 | #Constraints: 661741
345.00/346.29 c bounds 374 >= 0 @ 342.105
345.00/346.29 c stratification level: 6
440.28/441.77 c #Conflicts: 35000 | #Constraints: 662742
440.28/441.77 c #Conflicts: 36000 | #Constraints: 663742
440.28/441.77 c #Conflicts: 37000 | #Constraints: 664742
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 38000 | #Constraints: 661747
440.28/441.77 c #Conflicts: 39000 | #Constraints: 662747
440.28/441.77 c #Conflicts: 40000 | #Constraints: 663747
440.28/441.77 c #Conflicts: 41000 | #Constraints: 664747
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 42000 | #Constraints: 661550
440.28/441.77 c #Conflicts: 43000 | #Constraints: 662550
440.28/441.77 c #Conflicts: 44000 | #Constraints: 663550
440.28/441.77 c #Conflicts: 45000 | #Constraints: 664550
440.28/441.77 c #Conflicts: 46000 | #Constraints: 665550
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 47000 | #Constraints: 662149
440.28/441.77 c #Conflicts: 48000 | #Constraints: 663149
440.28/441.77 c #Conflicts: 49000 | #Constraints: 664149
440.28/441.77 c #Conflicts: 50000 | #Constraints: 665149
440.28/441.77 c #Conflicts: 51000 | #Constraints: 666149
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 52000 | #Constraints: 662551
440.28/441.77 c #Conflicts: 53000 | #Constraints: 663551
440.28/441.77 c #Conflicts: 54000 | #Constraints: 664551
440.28/441.77 c #Conflicts: 55000 | #Constraints: 665551
440.28/441.77 c #Conflicts: 56000 | #Constraints: 666551
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 57000 | #Constraints: 662765
440.28/441.77 c #Conflicts: 58000 | #Constraints: 663765
440.28/441.77 c #Conflicts: 59000 | #Constraints: 664765
440.28/441.77 c #Conflicts: 60000 | #Constraints: 665765
440.28/441.77 c #Conflicts: 61000 | #Constraints: 666765
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 62000 | #Constraints: 662768
440.28/441.77 c #Conflicts: 63000 | #Constraints: 663768
440.28/441.77 c #Conflicts: 64000 | #Constraints: 664768
440.28/441.77 c #Conflicts: 65000 | #Constraints: 665768
440.28/441.77 c #Conflicts: 66000 | #Constraints: 666768
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 67000 | #Constraints: 662571
440.28/441.77 c #Conflicts: 68000 | #Constraints: 663571
440.28/441.77 c #Conflicts: 69000 | #Constraints: 664571
440.28/441.77 c #Conflicts: 70000 | #Constraints: 665571
440.28/441.77 c #Conflicts: 71000 | #Constraints: 666571
440.28/441.77 c #Conflicts: 72000 | #Constraints: 667571
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 73000 | #Constraints: 663171
440.28/441.77 c #Conflicts: 74000 | #Constraints: 664171
440.28/441.77 c #Conflicts: 75000 | #Constraints: 665171
440.28/441.77 c #Conflicts: 76000 | #Constraints: 666171
440.28/441.77 c #Conflicts: 77000 | #Constraints: 667171
440.28/441.77 c #Conflicts: 78000 | #Constraints: 668171
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 79000 | #Constraints: 663581
440.28/441.77 c #Conflicts: 80000 | #Constraints: 664581
440.28/441.77 c #Conflicts: 81000 | #Constraints: 665581
440.28/441.77 c #Conflicts: 82000 | #Constraints: 666581
440.28/441.77 c #Conflicts: 83000 | #Constraints: 667581
440.28/441.77 c #Conflicts: 84000 | #Constraints: 668581
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 85000 | #Constraints: 663781
440.28/441.77 c #Conflicts: 86000 | #Constraints: 664781
440.28/441.77 c #Conflicts: 87000 | #Constraints: 665781
440.28/441.77 c #Conflicts: 88000 | #Constraints: 666781
440.28/441.77 c #Conflicts: 89000 | #Constraints: 667781
440.28/441.77 c #Conflicts: 90000 | #Constraints: 668781
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 91000 | #Constraints: 663779
440.28/441.77 c #Conflicts: 92000 | #Constraints: 664779
440.28/441.77 c #Conflicts: 93000 | #Constraints: 665779
440.28/441.77 c #Conflicts: 94000 | #Constraints: 666779
440.28/441.77 c #Conflicts: 95000 | #Constraints: 667779
440.28/441.77 c #Conflicts: 96000 | #Constraints: 668779
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 97000 | #Constraints: 663578
440.28/441.77 c #Conflicts: 98000 | #Constraints: 664578
440.28/441.77 c #Conflicts: 99000 | #Constraints: 665578
440.28/441.77 c #Conflicts: 100000 | #Constraints: 666578
440.28/441.77 c #Conflicts: 101000 | #Constraints: 667578
440.28/441.77 c #Conflicts: 102000 | #Constraints: 668578
440.28/441.77 c #Conflicts: 103000 | #Constraints: 669578
440.28/441.77 c INPROCESSING
440.28/441.77 c GARBAGE COLLECT
440.28/441.77 c #Conflicts: 104000 | #Constraints: 664177
440.28/441.77 c #Conflicts: 105000 | #Constraints: 665177
542.54/544.20 c #Conflicts: 106000 | #Constraints: 666177
542.54/544.20 c #Conflicts: 107000 | #Constraints: 667177
542.54/544.20 c #Conflicts: 108000 | #Constraints: 668177
542.54/544.20 c #Conflicts: 109000 | #Constraints: 669177
542.54/544.20 c #Conflicts: 110000 | #Constraints: 670177
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 111000 | #Constraints: 664578
542.54/544.20 c #Conflicts: 112000 | #Constraints: 665578
542.54/544.20 c #Conflicts: 113000 | #Constraints: 666578
542.54/544.20 c #Conflicts: 114000 | #Constraints: 667578
542.54/544.20 c #Conflicts: 115000 | #Constraints: 668578
542.54/544.20 c #Conflicts: 116000 | #Constraints: 669578
542.54/544.20 c #Conflicts: 117000 | #Constraints: 670578
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 118000 | #Constraints: 664780
542.54/544.20 c #Conflicts: 119000 | #Constraints: 665780
542.54/544.20 c #Conflicts: 120000 | #Constraints: 666780
542.54/544.20 c #Conflicts: 121000 | #Constraints: 667780
542.54/544.20 c #Conflicts: 122000 | #Constraints: 668780
542.54/544.20 c #Conflicts: 123000 | #Constraints: 669780
542.54/544.20 c #Conflicts: 124000 | #Constraints: 670780
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 125000 | #Constraints: 664782
542.54/544.20 c #Conflicts: 126000 | #Constraints: 665782
542.54/544.20 c #Conflicts: 127000 | #Constraints: 666782
542.54/544.20 c #Conflicts: 128000 | #Constraints: 667782
542.54/544.20 c #Conflicts: 129000 | #Constraints: 668782
542.54/544.20 c #Conflicts: 130000 | #Constraints: 669782
542.54/544.20 c #Conflicts: 131000 | #Constraints: 670782
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 132000 | #Constraints: 664577
542.54/544.20 c #Conflicts: 133000 | #Constraints: 665577
542.54/544.20 c #Conflicts: 134000 | #Constraints: 666577
542.54/544.20 c #Conflicts: 135000 | #Constraints: 667577
542.54/544.20 c #Conflicts: 136000 | #Constraints: 668577
542.54/544.20 c #Conflicts: 137000 | #Constraints: 669577
542.54/544.20 c #Conflicts: 138000 | #Constraints: 670577
542.54/544.20 c #Conflicts: 139000 | #Constraints: 671577
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 140000 | #Constraints: 665193
542.54/544.20 c #Conflicts: 141000 | #Constraints: 666193
542.54/544.20 c #Conflicts: 142000 | #Constraints: 667193
542.54/544.20 c #Conflicts: 143000 | #Constraints: 668193
542.54/544.20 c #Conflicts: 144000 | #Constraints: 669193
542.54/544.20 c #Conflicts: 145000 | #Constraints: 670193
542.54/544.20 c #Conflicts: 146000 | #Constraints: 671193
542.54/544.20 c #Conflicts: 147000 | #Constraints: 672193
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 148000 | #Constraints: 665592
542.54/544.20 c #Conflicts: 149000 | #Constraints: 666592
542.54/544.20 c #Conflicts: 150000 | #Constraints: 667592
542.54/544.20 c #Conflicts: 151000 | #Constraints: 668592
542.54/544.20 c #Conflicts: 152000 | #Constraints: 669592
542.54/544.20 c #Conflicts: 153000 | #Constraints: 670592
542.54/544.20 c #Conflicts: 154000 | #Constraints: 671592
542.54/544.20 c #Conflicts: 155000 | #Constraints: 672592
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 156000 | #Constraints: 665796
542.54/544.20 c #Conflicts: 157000 | #Constraints: 666796
542.54/544.20 c #Conflicts: 158000 | #Constraints: 667796
542.54/544.20 c #Conflicts: 159000 | #Constraints: 668796
542.54/544.20 c #Conflicts: 160000 | #Constraints: 669796
542.54/544.20 c #Conflicts: 161000 | #Constraints: 670796
542.54/544.20 c #Conflicts: 162000 | #Constraints: 671796
542.54/544.20 c #Conflicts: 163000 | #Constraints: 672796
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 164000 | #Constraints: 665793
542.54/544.20 c #Conflicts: 165000 | #Constraints: 666793
542.54/544.20 c #Conflicts: 166000 | #Constraints: 667793
542.54/544.20 c #Conflicts: 167000 | #Constraints: 668793
542.54/544.20 c #Conflicts: 168000 | #Constraints: 669793
542.54/544.20 c #Conflicts: 169000 | #Constraints: 670793
542.54/544.20 c #Conflicts: 170000 | #Constraints: 671793
542.54/544.20 c #Conflicts: 171000 | #Constraints: 672793
542.54/544.20 c INPROCESSING
542.54/544.20 c GARBAGE COLLECT
542.54/544.20 c #Conflicts: 172000 | #Constraints: 665598
542.54/544.20 c #Conflicts: 173000 | #Constraints: 666598
542.54/544.20 c #Conflicts: 174000 | #Constraints: 667598
542.54/544.20 c #Conflicts: 175000 | #Constraints: 668598
542.54/544.20 c #Conflicts: 176000 | #Constraints: 669598
542.54/544.20 c #Conflicts: 177000 | #Constraints: 670598
542.54/544.20 c #Conflicts: 178000 | #Constraints: 671598
649.89/651.85 c #Conflicts: 179000 | #Constraints: 672598
649.89/651.85 c #Conflicts: 180000 | #Constraints: 673598
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 181000 | #Constraints: 666192
649.89/651.85 c #Conflicts: 182000 | #Constraints: 667192
649.89/651.85 c #Conflicts: 183000 | #Constraints: 668192
649.89/651.85 c #Conflicts: 184000 | #Constraints: 669192
649.89/651.85 c #Conflicts: 185000 | #Constraints: 670192
649.89/651.85 c #Conflicts: 186000 | #Constraints: 671192
649.89/651.85 c #Conflicts: 187000 | #Constraints: 672192
649.89/651.85 c #Conflicts: 188000 | #Constraints: 673192
649.89/651.85 c #Conflicts: 189000 | #Constraints: 674192
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 190000 | #Constraints: 666600
649.89/651.85 c #Conflicts: 191000 | #Constraints: 667600
649.89/651.85 c #Conflicts: 192000 | #Constraints: 668600
649.89/651.85 c #Conflicts: 193000 | #Constraints: 669600
649.89/651.85 c #Conflicts: 194000 | #Constraints: 670600
649.89/651.85 c #Conflicts: 195000 | #Constraints: 671600
649.89/651.85 c #Conflicts: 196000 | #Constraints: 672600
649.89/651.85 c #Conflicts: 197000 | #Constraints: 673600
649.89/651.85 c #Conflicts: 198000 | #Constraints: 674600
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 199000 | #Constraints: 666791
649.89/651.85 c #Conflicts: 200000 | #Constraints: 667791
649.89/651.85 c #Conflicts: 201000 | #Constraints: 668791
649.89/651.85 c #Conflicts: 202000 | #Constraints: 669791
649.89/651.85 c #Conflicts: 203000 | #Constraints: 670791
649.89/651.85 c #Conflicts: 204000 | #Constraints: 671791
649.89/651.85 c #Conflicts: 205000 | #Constraints: 672791
649.89/651.85 c #Conflicts: 206000 | #Constraints: 673791
649.89/651.85 c #Conflicts: 207000 | #Constraints: 674791
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 208000 | #Constraints: 666787
649.89/651.85 c #Conflicts: 209000 | #Constraints: 667787
649.89/651.85 c #Conflicts: 210000 | #Constraints: 668787
649.89/651.85 c #Conflicts: 211000 | #Constraints: 669787
649.89/651.85 c #Conflicts: 212000 | #Constraints: 670787
649.89/651.85 c #Conflicts: 213000 | #Constraints: 671787
649.89/651.85 c #Conflicts: 214000 | #Constraints: 672787
649.89/651.85 c #Conflicts: 215000 | #Constraints: 673787
649.89/651.85 c #Conflicts: 216000 | #Constraints: 674787
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 217000 | #Constraints: 666593
649.89/651.85 c #Conflicts: 218000 | #Constraints: 667593
649.89/651.85 c #Conflicts: 219000 | #Constraints: 668593
649.89/651.85 c #Conflicts: 220000 | #Constraints: 669593
649.89/651.85 c #Conflicts: 221000 | #Constraints: 670593
649.89/651.85 c #Conflicts: 222000 | #Constraints: 671593
649.89/651.85 c #Conflicts: 223000 | #Constraints: 672593
649.89/651.85 c #Conflicts: 224000 | #Constraints: 673593
649.89/651.85 c #Conflicts: 225000 | #Constraints: 674593
649.89/651.85 c #Conflicts: 226000 | #Constraints: 675593
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 227000 | #Constraints: 667191
649.89/651.85 c #Conflicts: 228000 | #Constraints: 668191
649.89/651.85 c #Conflicts: 229000 | #Constraints: 669191
649.89/651.85 c #Conflicts: 230000 | #Constraints: 670191
649.89/651.85 c #Conflicts: 231000 | #Constraints: 671191
649.89/651.85 c #Conflicts: 232000 | #Constraints: 672191
649.89/651.85 c #Conflicts: 233000 | #Constraints: 673191
649.89/651.85 c #Conflicts: 234000 | #Constraints: 674191
649.89/651.85 c #Conflicts: 235000 | #Constraints: 675191
649.89/651.85 c #Conflicts: 236000 | #Constraints: 676191
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 237000 | #Constraints: 667596
649.89/651.85 c #Conflicts: 238000 | #Constraints: 668596
649.89/651.85 c #Conflicts: 239000 | #Constraints: 669596
649.89/651.85 c #Conflicts: 240000 | #Constraints: 670596
649.89/651.85 c #Conflicts: 241000 | #Constraints: 671596
649.89/651.85 c #Conflicts: 242000 | #Constraints: 672596
649.89/651.85 c #Conflicts: 243000 | #Constraints: 673596
649.89/651.85 c #Conflicts: 244000 | #Constraints: 674596
649.89/651.85 c #Conflicts: 245000 | #Constraints: 675596
649.89/651.85 c #Conflicts: 246000 | #Constraints: 676596
649.89/651.85 c INPROCESSING
649.89/651.85 c GARBAGE COLLECT
649.89/651.85 c #Conflicts: 247000 | #Constraints: 667799
649.89/651.85 c #Conflicts: 248000 | #Constraints: 668799
649.89/651.85 c #Conflicts: 249000 | #Constraints: 669799
649.89/651.85 c #Conflicts: 250000 | #Constraints: 670799
649.89/651.85 c #Conflicts: 251000 | #Constraints: 671799
649.89/651.85 c #Conflicts: 252000 | #Constraints: 672799
757.14/759.30 c #Conflicts: 253000 | #Constraints: 673799
757.14/759.30 c #Conflicts: 254000 | #Constraints: 674799
757.14/759.30 c #Conflicts: 255000 | #Constraints: 675799
757.14/759.30 c #Conflicts: 256000 | #Constraints: 676799
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 257000 | #Constraints: 667801
757.14/759.30 c #Conflicts: 258000 | #Constraints: 668801
757.14/759.30 c #Conflicts: 259000 | #Constraints: 669801
757.14/759.30 c #Conflicts: 260000 | #Constraints: 670801
757.14/759.30 c #Conflicts: 261000 | #Constraints: 671801
757.14/759.30 c #Conflicts: 262000 | #Constraints: 672801
757.14/759.30 c #Conflicts: 263000 | #Constraints: 673801
757.14/759.30 c #Conflicts: 264000 | #Constraints: 674801
757.14/759.30 c #Conflicts: 265000 | #Constraints: 675801
757.14/759.30 c #Conflicts: 266000 | #Constraints: 676801
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 267000 | #Constraints: 667596
757.14/759.30 c #Conflicts: 268000 | #Constraints: 668596
757.14/759.30 c #Conflicts: 269000 | #Constraints: 669596
757.14/759.30 c #Conflicts: 270000 | #Constraints: 670596
757.14/759.30 c #Conflicts: 271000 | #Constraints: 671596
757.14/759.30 c #Conflicts: 272000 | #Constraints: 672596
757.14/759.30 c #Conflicts: 273000 | #Constraints: 673596
757.14/759.30 c #Conflicts: 274000 | #Constraints: 674596
757.14/759.30 c #Conflicts: 275000 | #Constraints: 675596
757.14/759.30 c #Conflicts: 276000 | #Constraints: 676596
757.14/759.30 c #Conflicts: 277000 | #Constraints: 677596
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 278000 | #Constraints: 668201
757.14/759.30 c #Conflicts: 279000 | #Constraints: 669201
757.14/759.30 c #Conflicts: 280000 | #Constraints: 670201
757.14/759.30 c #Conflicts: 281000 | #Constraints: 671201
757.14/759.30 c #Conflicts: 282000 | #Constraints: 672201
757.14/759.30 c #Conflicts: 283000 | #Constraints: 673201
757.14/759.30 c #Conflicts: 284000 | #Constraints: 674201
757.14/759.30 c #Conflicts: 285000 | #Constraints: 675201
757.14/759.30 c #Conflicts: 286000 | #Constraints: 676201
757.14/759.30 c #Conflicts: 287000 | #Constraints: 677201
757.14/759.30 c #Conflicts: 288000 | #Constraints: 678201
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 289000 | #Constraints: 668596
757.14/759.30 c #Conflicts: 290000 | #Constraints: 669596
757.14/759.30 c #Conflicts: 291000 | #Constraints: 670596
757.14/759.30 c #Conflicts: 292000 | #Constraints: 671596
757.14/759.30 c #Conflicts: 293000 | #Constraints: 672596
757.14/759.30 c #Conflicts: 294000 | #Constraints: 673596
757.14/759.30 c #Conflicts: 295000 | #Constraints: 674596
757.14/759.30 c #Conflicts: 296000 | #Constraints: 675596
757.14/759.30 c #Conflicts: 297000 | #Constraints: 676596
757.14/759.30 c #Conflicts: 298000 | #Constraints: 677596
757.14/759.30 c #Conflicts: 299000 | #Constraints: 678596
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 300000 | #Constraints: 668790
757.14/759.30 c #Conflicts: 301000 | #Constraints: 669790
757.14/759.30 c #Conflicts: 302000 | #Constraints: 670790
757.14/759.30 c #Conflicts: 303000 | #Constraints: 671790
757.14/759.30 c #Conflicts: 304000 | #Constraints: 672790
757.14/759.30 c #Conflicts: 305000 | #Constraints: 673790
757.14/759.30 c #Conflicts: 306000 | #Constraints: 674790
757.14/759.30 c #Conflicts: 307000 | #Constraints: 675790
757.14/759.30 c #Conflicts: 308000 | #Constraints: 676790
757.14/759.30 c #Conflicts: 309000 | #Constraints: 677790
757.14/759.30 c #Conflicts: 310000 | #Constraints: 678790
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 311000 | #Constraints: 668795
757.14/759.30 c #Conflicts: 312000 | #Constraints: 669795
757.14/759.30 c #Conflicts: 313000 | #Constraints: 670795
757.14/759.30 c #Conflicts: 314000 | #Constraints: 671795
757.14/759.30 c #Conflicts: 315000 | #Constraints: 672795
757.14/759.30 c #Conflicts: 316000 | #Constraints: 673795
757.14/759.30 c #Conflicts: 317000 | #Constraints: 674795
757.14/759.30 c #Conflicts: 318000 | #Constraints: 675795
757.14/759.30 c #Conflicts: 319000 | #Constraints: 676795
757.14/759.30 c #Conflicts: 320000 | #Constraints: 677795
757.14/759.30 c #Conflicts: 321000 | #Constraints: 678795
757.14/759.30 c INPROCESSING
757.14/759.30 c GARBAGE COLLECT
757.14/759.30 c #Conflicts: 322000 | #Constraints: 668599
757.14/759.30 c #Conflicts: 323000 | #Constraints: 669599
757.14/759.30 c #Conflicts: 324000 | #Constraints: 670599
757.14/759.30 c #Conflicts: 325000 | #Constraints: 671599
757.14/759.30 c #Conflicts: 326000 | #Constraints: 672599
863.09/865.51 c #Conflicts: 327000 | #Constraints: 673599
863.09/865.51 c #Conflicts: 328000 | #Constraints: 674599
863.09/865.51 c #Conflicts: 329000 | #Constraints: 675599
863.09/865.51 c #Conflicts: 330000 | #Constraints: 676599
863.09/865.51 c #Conflicts: 331000 | #Constraints: 677599
863.09/865.51 c #Conflicts: 332000 | #Constraints: 678599
863.09/865.51 c #Conflicts: 333000 | #Constraints: 679599
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 334000 | #Constraints: 669201
863.09/865.51 c #Conflicts: 335000 | #Constraints: 670201
863.09/865.51 c #Conflicts: 336000 | #Constraints: 671201
863.09/865.51 c #Conflicts: 337000 | #Constraints: 672201
863.09/865.51 c #Conflicts: 338000 | #Constraints: 673201
863.09/865.51 c #Conflicts: 339000 | #Constraints: 674201
863.09/865.51 c #Conflicts: 340000 | #Constraints: 675201
863.09/865.51 c #Conflicts: 341000 | #Constraints: 676201
863.09/865.51 c #Conflicts: 342000 | #Constraints: 677201
863.09/865.51 c #Conflicts: 343000 | #Constraints: 678201
863.09/865.51 c #Conflicts: 344000 | #Constraints: 679201
863.09/865.51 c #Conflicts: 345000 | #Constraints: 680201
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 346000 | #Constraints: 669614
863.09/865.51 c #Conflicts: 347000 | #Constraints: 670614
863.09/865.51 c #Conflicts: 348000 | #Constraints: 671614
863.09/865.51 c #Conflicts: 349000 | #Constraints: 672614
863.09/865.51 c #Conflicts: 350000 | #Constraints: 673614
863.09/865.51 c #Conflicts: 351000 | #Constraints: 674614
863.09/865.51 c #Conflicts: 352000 | #Constraints: 675614
863.09/865.51 c #Conflicts: 353000 | #Constraints: 676614
863.09/865.51 c #Conflicts: 354000 | #Constraints: 677614
863.09/865.51 c #Conflicts: 355000 | #Constraints: 678614
863.09/865.51 c #Conflicts: 356000 | #Constraints: 679614
863.09/865.51 c #Conflicts: 357000 | #Constraints: 680614
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 358000 | #Constraints: 669803
863.09/865.51 c #Conflicts: 359000 | #Constraints: 670803
863.09/865.51 c #Conflicts: 360000 | #Constraints: 671803
863.09/865.51 c #Conflicts: 361000 | #Constraints: 672803
863.09/865.51 c #Conflicts: 362000 | #Constraints: 673803
863.09/865.51 c #Conflicts: 363000 | #Constraints: 674803
863.09/865.51 c #Conflicts: 364000 | #Constraints: 675803
863.09/865.51 c #Conflicts: 365000 | #Constraints: 676803
863.09/865.51 c #Conflicts: 366000 | #Constraints: 677803
863.09/865.51 c #Conflicts: 367000 | #Constraints: 678803
863.09/865.51 c #Conflicts: 368000 | #Constraints: 679803
863.09/865.51 c #Conflicts: 369000 | #Constraints: 680803
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 370000 | #Constraints: 669802
863.09/865.51 c #Conflicts: 371000 | #Constraints: 670802
863.09/865.51 c #Conflicts: 372000 | #Constraints: 671802
863.09/865.51 c #Conflicts: 373000 | #Constraints: 672802
863.09/865.51 c #Conflicts: 374000 | #Constraints: 673802
863.09/865.51 c #Conflicts: 375000 | #Constraints: 674802
863.09/865.51 c #Conflicts: 376000 | #Constraints: 675802
863.09/865.51 c #Conflicts: 377000 | #Constraints: 676802
863.09/865.51 c #Conflicts: 378000 | #Constraints: 677802
863.09/865.51 c #Conflicts: 379000 | #Constraints: 678802
863.09/865.51 c #Conflicts: 380000 | #Constraints: 679802
863.09/865.51 c #Conflicts: 381000 | #Constraints: 680802
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 382000 | #Constraints: 669610
863.09/865.51 c #Conflicts: 383000 | #Constraints: 670610
863.09/865.51 c #Conflicts: 384000 | #Constraints: 671610
863.09/865.51 c #Conflicts: 385000 | #Constraints: 672610
863.09/865.51 c #Conflicts: 386000 | #Constraints: 673610
863.09/865.51 c #Conflicts: 387000 | #Constraints: 674610
863.09/865.51 c #Conflicts: 388000 | #Constraints: 675610
863.09/865.51 c #Conflicts: 389000 | #Constraints: 676610
863.09/865.51 c #Conflicts: 390000 | #Constraints: 677610
863.09/865.51 c #Conflicts: 391000 | #Constraints: 678610
863.09/865.51 c #Conflicts: 392000 | #Constraints: 679610
863.09/865.51 c #Conflicts: 393000 | #Constraints: 680610
863.09/865.51 c #Conflicts: 394000 | #Constraints: 681610
863.09/865.51 c INPROCESSING
863.09/865.51 c GARBAGE COLLECT
863.09/865.51 c #Conflicts: 395000 | #Constraints: 670206
863.09/865.51 c #Conflicts: 396000 | #Constraints: 671206
863.09/865.51 c #Conflicts: 397000 | #Constraints: 672206
863.09/865.51 c #Conflicts: 398000 | #Constraints: 673206
863.09/865.51 c #Conflicts: 399000 | #Constraints: 674206
863.09/865.51 c #Conflicts: 400000 | #Constraints: 675206
863.09/865.51 c #Conflicts: 401000 | #Constraints: 676206
981.13/983.82 c #Conflicts: 402000 | #Constraints: 677206
981.13/983.82 c #Conflicts: 403000 | #Constraints: 678206
981.13/983.82 c #Conflicts: 404000 | #Constraints: 679206
981.13/983.82 c #Conflicts: 405000 | #Constraints: 680206
981.13/983.82 c #Conflicts: 406000 | #Constraints: 681206
981.13/983.82 c #Conflicts: 407000 | #Constraints: 682206
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 408000 | #Constraints: 670608
981.13/983.82 c #Conflicts: 409000 | #Constraints: 671608
981.13/983.82 c #Conflicts: 410000 | #Constraints: 672608
981.13/983.82 c #Conflicts: 411000 | #Constraints: 673608
981.13/983.82 c #Conflicts: 412000 | #Constraints: 674608
981.13/983.82 c #Conflicts: 413000 | #Constraints: 675608
981.13/983.82 c #Conflicts: 414000 | #Constraints: 676608
981.13/983.82 c #Conflicts: 415000 | #Constraints: 677608
981.13/983.82 c #Conflicts: 416000 | #Constraints: 678608
981.13/983.82 c #Conflicts: 417000 | #Constraints: 679608
981.13/983.82 c #Conflicts: 418000 | #Constraints: 680608
981.13/983.82 c #Conflicts: 419000 | #Constraints: 681608
981.13/983.82 c #Conflicts: 420000 | #Constraints: 682608
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 421000 | #Constraints: 670811
981.13/983.82 c #Conflicts: 422000 | #Constraints: 671811
981.13/983.82 c #Conflicts: 423000 | #Constraints: 672811
981.13/983.82 c #Conflicts: 424000 | #Constraints: 673811
981.13/983.82 c #Conflicts: 425000 | #Constraints: 674811
981.13/983.82 c #Conflicts: 426000 | #Constraints: 675811
981.13/983.82 c #Conflicts: 427000 | #Constraints: 676811
981.13/983.82 c #Conflicts: 428000 | #Constraints: 677811
981.13/983.82 c #Conflicts: 429000 | #Constraints: 678811
981.13/983.82 c #Conflicts: 430000 | #Constraints: 679811
981.13/983.82 c #Conflicts: 431000 | #Constraints: 680811
981.13/983.82 c #Conflicts: 432000 | #Constraints: 681811
981.13/983.82 c #Conflicts: 433000 | #Constraints: 682811
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 434000 | #Constraints: 670816
981.13/983.82 c #Conflicts: 435000 | #Constraints: 671816
981.13/983.82 c #Conflicts: 436000 | #Constraints: 672816
981.13/983.82 c #Conflicts: 437000 | #Constraints: 673816
981.13/983.82 c #Conflicts: 438000 | #Constraints: 674816
981.13/983.82 c #Conflicts: 439000 | #Constraints: 675816
981.13/983.82 c #Conflicts: 440000 | #Constraints: 676816
981.13/983.82 c #Conflicts: 441000 | #Constraints: 677816
981.13/983.82 c #Conflicts: 442000 | #Constraints: 678816
981.13/983.82 c #Conflicts: 443000 | #Constraints: 679816
981.13/983.82 c #Conflicts: 444000 | #Constraints: 680816
981.13/983.82 c #Conflicts: 445000 | #Constraints: 681816
981.13/983.82 c #Conflicts: 446000 | #Constraints: 682816
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 447000 | #Constraints: 670619
981.13/983.82 c #Conflicts: 448000 | #Constraints: 671619
981.13/983.82 c #Conflicts: 449000 | #Constraints: 672619
981.13/983.82 c #Conflicts: 450000 | #Constraints: 673619
981.13/983.82 c #Conflicts: 451000 | #Constraints: 674619
981.13/983.82 c #Conflicts: 452000 | #Constraints: 675619
981.13/983.82 c #Conflicts: 453000 | #Constraints: 676619
981.13/983.82 c #Conflicts: 454000 | #Constraints: 677619
981.13/983.82 c #Conflicts: 455000 | #Constraints: 678619
981.13/983.82 c #Conflicts: 456000 | #Constraints: 679619
981.13/983.82 c #Conflicts: 457000 | #Constraints: 680619
981.13/983.82 c #Conflicts: 458000 | #Constraints: 681619
981.13/983.82 c #Conflicts: 459000 | #Constraints: 682619
981.13/983.82 c #Conflicts: 460000 | #Constraints: 683619
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 461000 | #Constraints: 671222
981.13/983.82 c #Conflicts: 462000 | #Constraints: 672222
981.13/983.82 c #Conflicts: 463000 | #Constraints: 673222
981.13/983.82 c #Conflicts: 464000 | #Constraints: 674222
981.13/983.82 c #Conflicts: 465000 | #Constraints: 675222
981.13/983.82 c #Conflicts: 466000 | #Constraints: 676222
981.13/983.82 c #Conflicts: 467000 | #Constraints: 677222
981.13/983.82 c #Conflicts: 468000 | #Constraints: 678222
981.13/983.82 c #Conflicts: 469000 | #Constraints: 679222
981.13/983.82 c #Conflicts: 470000 | #Constraints: 680222
981.13/983.82 c #Conflicts: 471000 | #Constraints: 681222
981.13/983.82 c #Conflicts: 472000 | #Constraints: 682222
981.13/983.82 c #Conflicts: 473000 | #Constraints: 683222
981.13/983.82 c #Conflicts: 474000 | #Constraints: 684222
981.13/983.82 c INPROCESSING
981.13/983.82 c GARBAGE COLLECT
981.13/983.82 c #Conflicts: 475000 | #Constraints: 671612
981.13/983.82 c #Conflicts: 476000 | #Constraints: 672612
1099.54/1102.56 c #Conflicts: 477000 | #Constraints: 673612
1099.54/1102.56 c #Conflicts: 478000 | #Constraints: 674612
1099.54/1102.56 c #Conflicts: 479000 | #Constraints: 675612
1099.54/1102.56 c #Conflicts: 480000 | #Constraints: 676612
1099.54/1102.56 c #Conflicts: 481000 | #Constraints: 677612
1099.54/1102.56 c #Conflicts: 482000 | #Constraints: 678612
1099.54/1102.56 c #Conflicts: 483000 | #Constraints: 679612
1099.54/1102.56 c #Conflicts: 484000 | #Constraints: 680612
1099.54/1102.56 c #Conflicts: 485000 | #Constraints: 681612
1099.54/1102.56 c #Conflicts: 486000 | #Constraints: 682612
1099.54/1102.56 c #Conflicts: 487000 | #Constraints: 683612
1099.54/1102.56 c #Conflicts: 488000 | #Constraints: 684612
1099.54/1102.56 c INPROCESSING
1099.54/1102.56 c GARBAGE COLLECT
1099.54/1102.56 c #Conflicts: 489000 | #Constraints: 671815
1099.54/1102.56 c #Conflicts: 490000 | #Constraints: 672815
1099.54/1102.56 c #Conflicts: 491000 | #Constraints: 673815
1099.54/1102.56 c #Conflicts: 492000 | #Constraints: 674815
1099.54/1102.56 c #Conflicts: 493000 | #Constraints: 675815
1099.54/1102.56 c #Conflicts: 494000 | #Constraints: 676815
1099.54/1102.56 c #Conflicts: 495000 | #Constraints: 677815
1099.54/1102.56 c #Conflicts: 496000 | #Constraints: 678815
1099.54/1102.56 c #Conflicts: 497000 | #Constraints: 679815
1099.54/1102.56 c #Conflicts: 498000 | #Constraints: 680815
1099.54/1102.56 c #Conflicts: 499000 | #Constraints: 681815
1099.54/1102.56 c #Conflicts: 500000 | #Constraints: 682815
1099.54/1102.56 c #Conflicts: 501000 | #Constraints: 683815
1099.54/1102.56 c #Conflicts: 502000 | #Constraints: 684815
1099.54/1102.56 c INPROCESSING
1099.54/1102.56 c GARBAGE COLLECT
1099.54/1102.56 c #Conflicts: 503000 | #Constraints: 671808
1099.54/1102.56 c #Conflicts: 504000 | #Constraints: 672808
1099.54/1102.56 c #Conflicts: 505000 | #Constraints: 673808
1099.54/1102.56 c #Conflicts: 506000 | #Constraints: 674808
1099.54/1102.56 c #Conflicts: 507000 | #Constraints: 675808
1099.54/1102.56 c #Conflicts: 508000 | #Constraints: 676808
1099.54/1102.56 c #Conflicts: 509000 | #Constraints: 677808
1099.54/1102.56 c #Conflicts: 510000 | #Constraints: 678808
1099.54/1102.56 c #Conflicts: 511000 | #Constraints: 679808
1099.54/1102.56 c #Conflicts: 512000 | #Constraints: 680808
1099.54/1102.56 c #Conflicts: 513000 | #Constraints: 681808
1099.54/1102.56 c #Conflicts: 514000 | #Constraints: 682808
1099.54/1102.56 c #Conflicts: 515000 | #Constraints: 683808
1099.54/1102.56 c #Conflicts: 516000 | #Constraints: 684808
1099.54/1102.56 c INPROCESSING
1099.54/1102.56 c GARBAGE COLLECT
1099.54/1102.56 c #Conflicts: 517000 | #Constraints: 671617
1099.54/1102.56 c #Conflicts: 518000 | #Constraints: 672617
1099.54/1102.56 c #Conflicts: 519000 | #Constraints: 673617
1099.54/1102.56 c #Conflicts: 520000 | #Constraints: 674617
1099.54/1102.56 c #Conflicts: 521000 | #Constraints: 675617
1099.54/1102.56 c #Conflicts: 522000 | #Constraints: 676617
1099.54/1102.56 c #Conflicts: 523000 | #Constraints: 677617
1099.54/1102.56 c #Conflicts: 524000 | #Constraints: 678617
1099.54/1102.56 c #Conflicts: 525000 | #Constraints: 679617
1099.54/1102.56 c #Conflicts: 526000 | #Constraints: 680617
1099.54/1102.56 c #Conflicts: 527000 | #Constraints: 681617
1099.54/1102.56 c #Conflicts: 528000 | #Constraints: 682617
1099.54/1102.56 c #Conflicts: 529000 | #Constraints: 683617
1099.54/1102.56 c #Conflicts: 530000 | #Constraints: 684617
1099.54/1102.56 c #Conflicts: 531000 | #Constraints: 685617
1099.54/1102.56 c INPROCESSING
1099.54/1102.56 c GARBAGE COLLECT
1099.54/1102.56 c #Conflicts: 532000 | #Constraints: 672214
1099.54/1102.56 c #Conflicts: 533000 | #Constraints: 673214
1099.54/1102.56 c #Conflicts: 534000 | #Constraints: 674214
1099.54/1102.56 c #Conflicts: 535000 | #Constraints: 675214
1099.54/1102.56 c #Conflicts: 536000 | #Constraints: 676214
1099.54/1102.56 c #Conflicts: 537000 | #Constraints: 677214
1099.54/1102.56 c #Conflicts: 538000 | #Constraints: 678214
1099.54/1102.56 c #Conflicts: 539000 | #Constraints: 679214
1099.54/1102.56 c #Conflicts: 540000 | #Constraints: 680214
1099.54/1102.56 c #Conflicts: 541000 | #Constraints: 681214
1099.54/1102.56 c #Conflicts: 542000 | #Constraints: 682214
1099.54/1102.56 c #Conflicts: 543000 | #Constraints: 683214
1099.54/1102.56 c #Conflicts: 544000 | #Constraints: 684214
1099.54/1102.56 c #Conflicts: 545000 | #Constraints: 685214
1099.54/1102.56 c #Conflicts: 546000 | #Constraints: 686214
1099.54/1102.56 c INPROCESSING
1099.54/1102.56 c GARBAGE COLLECT
1099.54/1102.56 c #Conflicts: 547000 | #Constraints: 672619
1099.54/1102.56 c #Conflicts: 548000 | #Constraints: 673619
1099.54/1102.56 c #Conflicts: 549000 | #Constraints: 674619
1099.54/1102.56 c #Conflicts: 550000 | #Constraints: 675619
1099.54/1102.56 c #Conflicts: 551000 | #Constraints: 676619
1099.54/1102.56 c #Conflicts: 552000 | #Constraints: 677619
1131.37/1134.47 c #Conflicts: 553000 | #Constraints: 678619
1131.37/1134.47 c #Conflicts: 554000 | #Constraints: 679619
1131.37/1134.47 c #Conflicts: 555000 | #Constraints: 680619
1131.37/1134.47 c #Conflicts: 556000 | #Constraints: 681619
1131.37/1134.47 c #Conflicts: 557000 | #Constraints: 682619
1131.37/1134.47 c #Conflicts: 558000 | #Constraints: 683619
1131.37/1134.47 c #Conflicts: 559000 | #Constraints: 684619
1131.37/1134.47 c #Conflicts: 560000 | #Constraints: 685619
1131.37/1134.47 c #Conflicts: 561000 | #Constraints: 686619
1131.37/1134.47 c INPROCESSING
1131.37/1134.47 c GARBAGE COLLECT
1131.37/1134.47 c #Conflicts: 562000 | #Constraints: 672813
1131.37/1134.47 c #Conflicts: 563000 | #Constraints: 673813
1131.37/1134.47 c #Conflicts: 564000 | #Constraints: 674813
1131.37/1134.47 c #Conflicts: 565000 | #Constraints: 675813
1131.37/1134.47 c #Conflicts: 566000 | #Constraints: 676813
1131.37/1134.47 c #Conflicts: 567000 | #Constraints: 677813
1131.37/1134.47 c #Conflicts: 568000 | #Constraints: 678813
1131.37/1134.47 c #Conflicts: 569000 | #Constraints: 679813
1131.37/1134.47 c #Conflicts: 570000 | #Constraints: 680813
1131.37/1134.47 c #Conflicts: 571000 | #Constraints: 681813
1131.37/1134.47 c #Conflicts: 572000 | #Constraints: 682813
1131.37/1134.47 c #Conflicts: 573000 | #Constraints: 683813
1131.37/1134.47 c bounds 318 >= 0 @ 1118.74
1131.37/1134.47 c stratification level: 5
1764.74/1769.39 c bounds 318 >= 5 @ 1118.94
1764.74/1769.39 c #Conflicts: 574000 | #Constraints: 684815
1764.74/1769.39 c #Conflicts: 575000 | #Constraints: 685815
1764.74/1769.39 c #Conflicts: 576000 | #Constraints: 686815
1764.74/1769.39 c INPROCESSING
1764.74/1769.39 c GARBAGE COLLECT
1764.74/1769.39 c #Conflicts: 577000 | #Constraints: 672796
1764.74/1769.39 c #Conflicts: 578000 | #Constraints: 673796
1764.74/1769.39 c #Conflicts: 579000 | #Constraints: 674796
1764.74/1769.39 c #Conflicts: 580000 | #Constraints: 675796
1764.74/1769.39 c #Conflicts: 581000 | #Constraints: 676796
1764.74/1769.39 c #Conflicts: 582000 | #Constraints: 677796
1764.74/1769.39 c #Conflicts: 583000 | #Constraints: 678796
1764.74/1769.39 c #Conflicts: 584000 | #Constraints: 679796
1764.74/1769.39 c #Conflicts: 585000 | #Constraints: 680796
1764.74/1769.39 c #Conflicts: 586000 | #Constraints: 681796
1764.74/1769.39 c #Conflicts: 587000 | #Constraints: 682796
1764.74/1769.39 c #Conflicts: 588000 | #Constraints: 683796
1764.74/1769.39 c #Conflicts: 589000 | #Constraints: 684796
1764.74/1769.39 c #Conflicts: 590000 | #Constraints: 685796
1764.74/1769.39 c #Conflicts: 591000 | #Constraints: 686796
1764.74/1769.39 c INPROCESSING
1764.74/1769.39 c GARBAGE COLLECT
1764.74/1769.39 c #Conflicts: 592000 | #Constraints: 672559
1764.74/1769.39 c #Conflicts: 593000 | #Constraints: 673559
1764.74/1769.39 c #Conflicts: 594000 | #Constraints: 674559
1764.74/1769.39 c #Conflicts: 595000 | #Constraints: 675559
1764.74/1769.39 c #Conflicts: 596000 | #Constraints: 676559
1764.74/1769.39 c #Conflicts: 597000 | #Constraints: 677559
1764.74/1769.39 c #Conflicts: 598000 | #Constraints: 678559
1764.74/1769.39 c #Conflicts: 599000 | #Constraints: 679559
1764.74/1769.39 c #Conflicts: 600000 | #Constraints: 680559
1764.74/1769.39 c #Conflicts: 601000 | #Constraints: 681559
1764.74/1769.39 c #Conflicts: 602000 | #Constraints: 682559
1764.74/1769.39 c #Conflicts: 603000 | #Constraints: 683559
1764.74/1769.39 c #Conflicts: 604000 | #Constraints: 684559
1764.74/1769.39 c #Conflicts: 605000 | #Constraints: 685559
1764.74/1769.39 c #Conflicts: 606000 | #Constraints: 686559
1764.74/1769.39 c #Conflicts: 607000 | #Constraints: 687559
1764.74/1769.39 c INPROCESSING
1764.74/1769.39 c #Conflicts: 608000 | #Constraints: 673162
1764.74/1769.39 c #Conflicts: 609000 | #Constraints: 674162
1764.74/1769.39 c #Conflicts: 610000 | #Constraints: 675162
1764.74/1769.39 c #Conflicts: 611000 | #Constraints: 676162
1764.74/1769.39 c #Conflicts: 612000 | #Constraints: 677162
1764.74/1769.39 c #Conflicts: 613000 | #Constraints: 678162
1764.74/1769.39 c #Conflicts: 614000 | #Constraints: 679162
1764.74/1769.39 c #Conflicts: 615000 | #Constraints: 680162
1764.74/1769.39 c #Conflicts: 616000 | #Constraints: 681162
1764.74/1769.39 c #Conflicts: 617000 | #Constraints: 682162
1764.74/1769.39 c #Conflicts: 618000 | #Constraints: 683162
1764.74/1769.39 c #Conflicts: 619000 | #Constraints: 684162
1764.74/1769.39 c #Conflicts: 620000 | #Constraints: 685162
1764.74/1769.39 c #Conflicts: 621000 | #Constraints: 686162
1764.74/1769.39 c #Conflicts: 622000 | #Constraints: 687162
1764.74/1769.39 c #Conflicts: 623000 | #Constraints: 688162
1764.74/1769.39 c INPROCESSING
1764.74/1769.39 c GARBAGE COLLECT
1764.74/1769.39 c #Conflicts: 624000 | #Constraints: 673552
1764.74/1769.39 c #Conflicts: 625000 | #Constraints: 674552
1764.74/1769.39 c #Conflicts: 626000 | #Constraints: 675552
1764.74/1769.39 c #Conflicts: 627000 | #Constraints: 676552
1764.74/1769.39 c #Conflicts: 628000 | #Constraints: 677552
1764.74/1769.39 c #Conflicts: 629000 | #Constraints: 678552
1764.74/1769.39 c #Conflicts: 630000 | #Constraints: 679552
1764.74/1769.39 c #Conflicts: 631000 | #Constraints: 680552
1764.74/1769.39 c #Conflicts: 632000 | #Constraints: 681552
1764.74/1769.39 c #Conflicts: 633000 | #Constraints: 682552
1764.74/1769.39 c #Conflicts: 634000 | #Constraints: 683552
1764.74/1769.39 c #Conflicts: 635000 | #Constraints: 684552
1764.74/1769.39 c #Conflicts: 636000 | #Constraints: 685552
1764.74/1769.39 c #Conflicts: 637000 | #Constraints: 686552
1764.74/1769.39 c #Conflicts: 638000 | #Constraints: 687552
1764.74/1769.39 c #Conflicts: 639000 | #Constraints: 688552
1764.74/1769.39 c INPROCESSING
1764.74/1769.39 c GARBAGE COLLECT
1764.74/1769.39 c #Conflicts: 640000 | #Constraints: 673738
1764.74/1769.39 c #Conflicts: 641000 | #Constraints: 674738
1764.74/1769.39 c #Conflicts: 642000 | #Constraints: 675738
1764.74/1769.39 c #Conflicts: 643000 | #Constraints: 676738
1764.74/1769.39 c #Conflicts: 644000 | #Constraints: 677738
1764.74/1769.39 c #Conflicts: 645000 | #Constraints: 678738
1764.74/1769.39 c #Conflicts: 646000 | #Constraints: 679738
1764.74/1769.39 c #Conflicts: 647000 | #Constraints: 680738
1764.74/1769.39 c #Conflicts: 648000 | #Constraints: 681738
1764.74/1769.39 c #Conflicts: 649000 | #Constraints: 682738
3025.49/3033.06 c #Conflicts: 650000 | #Constraints: 683738
3025.49/3033.06 c #Conflicts: 651000 | #Constraints: 684738
3025.49/3033.06 c #Conflicts: 652000 | #Constraints: 685738
3025.49/3033.06 c #Conflicts: 653000 | #Constraints: 686738
3025.49/3033.06 c #Conflicts: 654000 | #Constraints: 687738
3025.49/3033.06 c #Conflicts: 655000 | #Constraints: 688738
3025.49/3033.06 c INPROCESSING
3025.49/3033.06 c GARBAGE COLLECT
3025.49/3033.06 c #Conflicts: 656000 | #Constraints: 673742
3025.49/3033.06 c #Conflicts: 657000 | #Constraints: 674742
3025.49/3033.06 c #Conflicts: 658000 | #Constraints: 675742
3025.49/3033.06 c #Conflicts: 659000 | #Constraints: 676742
3025.49/3033.06 c #Conflicts: 660000 | #Constraints: 677742
3025.49/3033.06 c #Conflicts: 661000 | #Constraints: 678742
3025.49/3033.06 c #Conflicts: 662000 | #Constraints: 679742
3025.49/3033.06 c #Conflicts: 663000 | #Constraints: 680742
3025.49/3033.06 c #Conflicts: 664000 | #Constraints: 681742
3025.49/3033.06 c #Conflicts: 665000 | #Constraints: 682742
3025.49/3033.06 c #Conflicts: 666000 | #Constraints: 683742
3025.49/3033.06 c #Conflicts: 667000 | #Constraints: 684742
3025.49/3033.06 c #Conflicts: 668000 | #Constraints: 685742
3025.49/3033.06 c #Conflicts: 669000 | #Constraints: 686742
3025.49/3033.06 c #Conflicts: 670000 | #Constraints: 687742
3025.49/3033.06 c #Conflicts: 671000 | #Constraints: 688742
3025.49/3033.06 c INPROCESSING
3025.49/3033.06 c GARBAGE COLLECT
3025.49/3033.06 c #Conflicts: 672000 | #Constraints: 673536
3025.49/3033.06 c #Conflicts: 673000 | #Constraints: 674536
3025.49/3033.06 c #Conflicts: 674000 | #Constraints: 675536
3025.49/3033.06 c #Conflicts: 675000 | #Constraints: 676536
3025.49/3033.06 c #Conflicts: 676000 | #Constraints: 677536
3025.49/3033.06 c #Conflicts: 677000 | #Constraints: 678536
3025.49/3033.06 c #Conflicts: 678000 | #Constraints: 679536
3025.49/3033.06 c #Conflicts: 679000 | #Constraints: 680536
3025.49/3033.06 c #Conflicts: 680000 | #Constraints: 681536
3025.49/3033.06 c #Conflicts: 681000 | #Constraints: 682536
3025.49/3033.06 c #Conflicts: 682000 | #Constraints: 683536
3025.49/3033.06 c #Conflicts: 683000 | #Constraints: 684536
3025.49/3033.06 c #Conflicts: 684000 | #Constraints: 685536
3025.49/3033.06 c #Conflicts: 685000 | #Constraints: 686536
3025.49/3033.06 c #Conflicts: 686000 | #Constraints: 687536
3025.49/3033.06 c #Conflicts: 687000 | #Constraints: 688536
3025.49/3033.06 c #Conflicts: 688000 | #Constraints: 689536
3025.49/3033.06 c INPROCESSING
3025.49/3033.06 c GARBAGE COLLECT
3025.49/3033.06 c #Conflicts: 689000 | #Constraints: 674128
3025.49/3033.06 c #Conflicts: 690000 | #Constraints: 675128
3025.49/3033.06 c #Conflicts: 691000 | #Constraints: 676128
3025.49/3033.06 c #Conflicts: 692000 | #Constraints: 677128
3025.49/3033.06 c #Conflicts: 693000 | #Constraints: 678128
3025.49/3033.06 c #Conflicts: 694000 | #Constraints: 679128
3025.49/3033.06 c #Conflicts: 695000 | #Constraints: 680128
3025.49/3033.06 c #Conflicts: 696000 | #Constraints: 681128
3025.49/3033.06 c #Conflicts: 697000 | #Constraints: 682128
3025.49/3033.06 c #Conflicts: 698000 | #Constraints: 683128
3025.49/3033.06 c #Conflicts: 699000 | #Constraints: 684128
3025.49/3033.06 c #Conflicts: 700000 | #Constraints: 685128
3025.49/3033.06 c #Conflicts: 701000 | #Constraints: 686128
3025.49/3033.06 c #Conflicts: 702000 | #Constraints: 687128
3025.49/3033.06 c #Conflicts: 703000 | #Constraints: 688128
3025.49/3033.06 c #Conflicts: 704000 | #Constraints: 689128
3025.49/3033.06 c #Conflicts: 705000 | #Constraints: 690128
3025.49/3033.06 c INPROCESSING
3025.49/3033.06 c GARBAGE COLLECT
3025.49/3033.06 c #Conflicts: 706000 | #Constraints: 674534
3025.49/3033.06 c #Conflicts: 707000 | #Constraints: 675534
3025.49/3033.06 c #Conflicts: 708000 | #Constraints: 676534
3025.49/3033.06 c #Conflicts: 709000 | #Constraints: 677534
3025.49/3033.06 c #Conflicts: 710000 | #Constraints: 678534
3025.49/3033.06 c #Conflicts: 711000 | #Constraints: 679534
3025.49/3033.06 c #Conflicts: 712000 | #Constraints: 680534
3025.49/3033.06 c #Conflicts: 713000 | #Constraints: 681534
3025.49/3033.06 c #Conflicts: 714000 | #Constraints: 682534
3025.49/3033.06 c #Conflicts: 715000 | #Constraints: 683534
3025.49/3033.06 c #Conflicts: 716000 | #Constraints: 684534
3025.49/3033.06 c #Conflicts: 717000 | #Constraints: 685534
3025.49/3033.06 c #Conflicts: 718000 | #Constraints: 686534
3025.49/3033.06 c #Conflicts: 719000 | #Constraints: 687534
3025.49/3033.06 c #Conflicts: 720000 | #Constraints: 688534
3025.49/3033.06 c #Conflicts: 721000 | #Constraints: 689534
3025.49/3033.06 c #Conflicts: 722000 | #Constraints: 690534
3025.49/3033.06 c INPROCESSING
3025.49/3033.06 c GARBAGE COLLECT
3025.49/3033.06 c #Conflicts: 723000 | #Constraints: 674737
3025.49/3033.06 c #Conflicts: 724000 | #Constraints: 675737
3600.06/3609.01 c #Conflicts: 725000 | #Constraints: 676737
3600.06/3609.01 c #Conflicts: 726000 | #Constraints: 677737
3600.06/3609.01 c #Conflicts: 727000 | #Constraints: 678737
3600.06/3609.01 c #Conflicts: 728000 | #Constraints: 679737
3600.06/3609.01 c #Conflicts: 729000 | #Constraints: 680737
3600.06/3609.01 c #Conflicts: 730000 | #Constraints: 681737
3600.06/3609.01 c #Conflicts: 731000 | #Constraints: 682737
3600.06/3609.01 c #Conflicts: 732000 | #Constraints: 683737
3600.06/3609.01 c #Conflicts: 733000 | #Constraints: 684737
3600.06/3609.01 c #Conflicts: 734000 | #Constraints: 685737
3600.06/3609.01 c #Conflicts: 735000 | #Constraints: 686737
3600.06/3609.01 c #Conflicts: 736000 | #Constraints: 687737
3600.06/3609.01 c #Conflicts: 737000 | #Constraints: 688737
3600.06/3609.01 c #Conflicts: 738000 | #Constraints: 689737
3600.06/3609.01 c #Conflicts: 739000 | #Constraints: 690737
3600.06/3609.01 c INPROCESSING
3600.06/3609.01 c GARBAGE COLLECT
3600.06/3609.01 c #Conflicts: 740000 | #Constraints: 674743
3600.06/3609.01 c #Conflicts: 741000 | #Constraints: 675743
3600.06/3609.01 c #Conflicts: 742000 | #Constraints: 676743
3600.06/3609.01 c #Conflicts: 743000 | #Constraints: 677743
3600.06/3609.01 c #Conflicts: 744000 | #Constraints: 678743
3600.06/3609.01 c #Conflicts: 745000 | #Constraints: 679743
3600.06/3609.01 c #Conflicts: 746000 | #Constraints: 680743
3600.06/3609.01 c #Conflicts: 747000 | #Constraints: 681743
3600.06/3609.01 c #Conflicts: 748000 | #Constraints: 682743
3600.06/3609.01 c #Conflicts: 749000 | #Constraints: 683743
3600.06/3609.01 c #Conflicts: 750000 | #Constraints: 684743
3600.06/3609.01 c #Conflicts: 751000 | #Constraints: 685743
3600.06/3609.01 c #Conflicts: 752000 | #Constraints: 686743
3600.06/3609.01 c Program interrupted by user.
3600.06/3609.01 c cpu time 3582.18 s
3600.06/3609.01 c deterministic time 449211505158 4.49e+11
3600.06/3609.01 c optimization time 251.304 s
3600.06/3609.01 c total solve time 3026.76 s
3600.06/3609.01 c core-guided solve time 3026.76 s
3600.06/3609.01 c propagation time 1836.46 s
3600.06/3609.01 c conflict analysis time 1279.52 s
3600.06/3609.01 c propagations 92114425
3600.06/3609.01 c resolve steps 17357741
3600.06/3609.01 c decisions 17123116
3600.06/3609.01 c conflicts 752914
3600.06/3609.01 c restarts 1574
3600.06/3609.01 c inprocessing phases 77
3600.06/3609.01 c input clauses 656900
3600.06/3609.01 c input cardinalities 0
3600.06/3609.01 c input general constraints 94
3600.06/3609.01 c input average constraint length 3.46
3600.06/3609.01 c input average constraint degree 70.53
3600.06/3609.01 c learned clauses 643801
3600.06/3609.01 c learned cardinalities 0
3600.06/3609.01 c learned general constraints 109113
3600.06/3609.01 c learned average constraint length 3690.16
3600.06/3609.01 c learned average constraint degree 343805.79
3600.06/3609.01 c watched constraints 3336
3600.06/3609.01 c counting constraints 105871
3600.06/3609.01 c gcd simplifications 4018
3600.06/3609.01 c detected cardinalities 0
3600.06/3609.01 c weakened non-implied lits 427262286
3600.06/3609.01 c weakened non-implying lits 123796
3600.06/3609.01 c original variables 10000
3600.06/3609.01 c clausal propagations 74984584
3600.06/3609.01 c cardinality propagations 0
3600.06/3609.01 c watched propagations 13462
3600.06/3609.01 c counting propagations 16023470
3600.06/3609.01 c watch lookups 17940797142
3600.06/3609.01 c watch backjump lookups 17376139547
3600.06/3609.01 c watch checks 21004289699
3600.06/3609.01 c propagation checks 386348032123
3600.06/3609.01 c constraint additions 6323028477
3600.06/3609.01 c trail pops 109980628
3600.06/3609.01 c formula constraints 656900
3600.06/3609.01 c learned constraints 752914
3600.06/3609.01 c bound constraints 94
3600.06/3609.01 c core-guided constraints 0
3600.06/3609.01 c encountered formula constraints 12764884
3600.06/3609.01 c encountered learned constraints 5334946
3600.06/3609.01 c encountered bound constraints 10825
3600.06/3609.01 c encountered core-guided constraints 0
3600.06/3609.01 c LP total time 0 s
3600.06/3609.01 c LP solve time 0 s
3600.06/3609.01 c LP constraints added 0
3600.06/3609.01 c LP constraints removed 0
3600.06/3609.01 c LP pivots internal 0
3600.06/3609.01 c LP pivots root 0
3600.06/3609.01 c LP calls 0
3600.06/3609.01 c LP optimalities 0
3600.06/3609.01 c LP no pivot count 0
3600.06/3609.01 c LP infeasibilities 0
3600.06/3609.01 c LP valid Farkas constraints 0
3600.06/3609.01 c LP learned Farkas constraints 0
3600.06/3609.01 c LP basis resets 0
3600.06/3609.01 c LP cycling count 0
3600.06/3609.01 c LP singular count 0
3600.06/3609.01 c LP no primal count 0
3600.06/3609.01 c LP no farkas count 0
3600.06/3609.01 c LP other issue count 0
3600.06/3609.01 c LP Gomory cuts 0
3600.06/3609.01 c LP learned cuts 0
3600.06/3609.01 c LP deleted cuts 0
3600.06/3609.01 c LP encountered Gomory constraints 0
3600.06/3609.01 c LP encountered Farkas constraints 0
3600.06/3609.01 c LP encountered learned Farkas constraints 0
3600.06/3609.01 c CG auxiliary variables introduced 0
3600.06/3609.01 c CG solutions found 93
3600.06/3609.01 c CG cores constructed 1
3600.06/3609.01 c CG core cardinality constraints returned 0
3600.06/3609.01 c CG unit cores 0
3600.06/3609.01 c CG single cores 1
3600.06/3609.01 c CG blocks removed during cardinality reduction 0
3600.06/3609.01 c CG first core best 0
3600.06/3609.01 c CG decision core best 0
3600.06/3609.01 c CG core reduction tie 0
3600.06/3609.01 c CG core degree average 1.00
3600.06/3609.01 c CG core slack average 8504.00
3600.06/3609.01 c CG exhausted 0
3600.06/3609.01 c CG exhaust time 0 s
3600.06/3609.01 c CG trimmed 0
3600.06/3609.01 c CG trim time 0.003188 s
3600.06/3609.01 c CG minimized 0
3600.06/3609.01 c CG minimize time 0 s
3600.06/3609.01 c CG am1 prop time 0.014087 s
3600.06/3609.01 c CG # am1s reformulated 0
3600.06/3609.01 c CG lower bound derived from am1s 0
3600.06/3609.01 c CG # clausal cores 1
3600.06/3609.01 c CG # cardinality cores 0
3600.06/3609.01 c CG # pb cores 0
3600.06/3609.01 c CG # pb reforms 0
3600.06/3609.01 c CG # cores discarded because of pb reform 0
3600.06/3609.01 d LOWERBOUND 5
3600.06/3609.01 d NCORES 1
3600.06/3609.01 d NPBCORES 0
3600.06/3609.01 d NPBREFORM 0
3600.06/3609.01 d NTRIMMED 0
3600.06/3609.01 d NEXHAUSTED 0
3600.06/3609.01 d NAM1S 0
3600.06/3609.01 d AM1LB 0
3600.06/3609.01 c [STEP] postprocessing with Papilo
3600.06/3609.04 o 318
3600.06/3609.04 s SATISFIABLE
3600.06/3609.04 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: 63968 MiB (62455 MiB free)
memory of node 1: 64473 MiB (62963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435473-1721098438/watcher-4435473-1721098438 -o /tmp/evaluation-result-4435473-1721098438/solver-4435473-1721098438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833380 --watchdog 3760 mixed-bag HOME/instance-4435473-1721098438.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=837417, runsolver pid=837414
[startup+0.100748 s]*
/proc/loadavg: 4.20 4.20 4.14 5/256 837428
/proc/meminfo: memFree=128407920/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=110972 memory=15756 CPUtime=0.09 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 2876 0 0 0 9 0 0 0 20 0 1 0 162014676 113635328 3939 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 27743 3939 1639 3002 0 12033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110972 KiB
Current children cumulated memory: 15756 KiB
[startup+0.205682 s]*
/proc/loadavg: 4.20 4.20 4.14 5/256 837428
/proc/meminfo: memFree=128394656/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=115068 memory=22440 CPUtime=0.2 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 3507 0 0 0 19 1 0 0 20 0 1 0 162014676 117829632 5610 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 28767 5610 1639 3002 0 13057 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 115068 KiB
Current children cumulated memory: 22440 KiB
[startup+0.305528 s]*
/proc/loadavg: 4.20 4.20 4.14 5/256 837428
/proc/meminfo: memFree=128379424/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=123260 memory=30368 CPUtime=0.29 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 3997 0 0 0 28 1 0 0 20 0 1 0 162014676 126218240 7592 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 30815 7592 1639 3002 0 15105 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123260 KiB
Current children cumulated memory: 30368 KiB
[startup+0.70023 s]
/proc/loadavg: 4.20 4.20 4.14 5/256 837428
/proc/meminfo: memFree=128343608/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=139644 memory=51972 CPUtime=0.68 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 4768 0 0 0 66 2 0 0 20 0 1 0 162014676 142995456 12993 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 34911 12993 1639 3002 0 19201 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 139644 KiB
Current children cumulated memory: 51972 KiB
[startup+1.50023 s]
/proc/loadavg: 4.20 4.20 4.14 5/256 837430
/proc/meminfo: memFree=128301312/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=342396 memory=204732 CPUtime=1.48 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 13786 0 0 0 139 9 0 0 20 0 1 0 162014676 350613504 51183 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 85599 51183 1760 3002 0 69350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 342396 KiB
Current children cumulated memory: 204732 KiB
[startup+3.10561 s]
/proc/loadavg: 4.18 4.19 4.14 5/256 837476
/proc/meminfo: memFree=127984516/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=429044 memory=333196 CPUtime=3.08 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 25514 0 0 0 295 13 0 0 20 0 1 0 162014676 439341056 83299 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 107261 83299 1855 3002 0 91012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 429044 KiB
Current children cumulated memory: 333196 KiB
[startup+6.30021 s]
/proc/loadavg: 4.18 4.19 4.14 4/253 837490
/proc/meminfo: memFree=126788004/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=1093672 memory=1001972 CPUtime=6.27 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 198455 0 0 0 590 37 0 0 20 0 1 0 162014676 1119920128 250493 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 273418 250493 3786 3002 0 257169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1093672 KiB
Current children cumulated memory: 1001972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.19 4.14 5/256 837523
/proc/meminfo: memFree=124289996/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=1506480 memory=1410680 CPUtime=12.65 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 255214 0 0 0 1209 56 0 0 20 0 1 0 162014676 1542635520 352670 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 376620 352670 3786 3002 0 360371 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1506480 KiB
Current children cumulated memory: 1410680 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.18 4.13 5/256 837525
/proc/meminfo: memFree=119975144/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=3304084 memory=2962668 CPUtime=25.41 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 275021 0 0 0 2453 88 0 0 20 0 1 0 162014676 3383382016 740667 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 826021 740667 3834 3002 0 809772 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3304084 KiB
Current children cumulated memory: 2962668 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.18 4.13 5/256 837530
/proc/meminfo: memFree=117537388/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=3942932 memory=3580276 CPUtime=50.94 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 377689 0 0 0 4985 109 0 0 20 0 1 0 162014676 4037562368 895069 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 985733 895069 4052 3002 0 969484 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3942932 KiB
Current children cumulated memory: 3580276 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/256 837922
/proc/meminfo: memFree=117357080/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=4140696 memory=3678792 CPUtime=101.94 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 387604 0 0 0 10081 113 0 0 20 0 1 0 162014676 4240072704 919698 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1035174 919698 4052 3002 0 1018925 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 4140696 KiB
Current children cumulated memory: 3678792 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/256 837932
/proc/meminfo: memFree=117140864/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=4215112 memory=3694184 CPUtime=161.69 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 389655 0 0 0 16055 114 0 0 20 0 1 0 162014676 4316274688 923546 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1053778 923546 4052 3002 0 1037529 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 4215112 KiB
Current children cumulated memory: 3694184 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/256 837943
/proc/meminfo: memFree=117083280/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=4291764 memory=3709260 CPUtime=221.47 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 391666 0 0 0 22031 116 0 0 20 0 1 0 162014676 4394766336 927315 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1072941 927315 4052 3002 0 1056692 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 4291764 KiB
Current children cumulated memory: 3709260 KiB
[startup+282.3 s]
/proc/loadavg: 4.30 4.21 4.15 5/259 838125
/proc/meminfo: memFree=117042936/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=4417672 memory=3719840 CPUtime=281.28 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 392560 0 0 0 28011 117 0 0 20 0 1 0 162014676 4523696128 929960 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1104418 929960 4052 3002 0 1088169 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 4417672 KiB
Current children cumulated memory: 3719840 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/259 838181
/proc/meminfo: memFree=121769612/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=2129120 memory=2048876 CPUtime=341.11 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 397090 0 0 0 33818 293 0 0 20 0 1 0 162014676 2180218880 512219 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 532280 512219 4195 3002 0 516031 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 2129120 KiB
Current children cumulated memory: 2048876 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/257 838194
/proc/meminfo: memFree=121565040/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=2179208 memory=2075500 CPUtime=400.97 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 397722 0 0 0 39690 407 0 0 20 0 1 0 162014676 2231508992 518875 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 544802 518875 4195 3002 0 528553 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 2179208 KiB
Current children cumulated memory: 2075500 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.14 5/257 838215
/proc/meminfo: memFree=121461632/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=2179208 memory=2098028 CPUtime=460.83 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 397870 0 0 0 45613 470 0 0 20 0 1 0 162014676 2231508992 524507 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
################
# More data... #
################
Current children cumulated memory: 4624120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 839413
/proc/meminfo: memFree=119045420/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624120 CPUtime=2855.19 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 578225 0 0 0 283810 1709 0 0 20 0 1 0 162014676 5249032192 1156030 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156030 4195 3002 0 1265253 0
Current children cumulated CPU time: 2855.19 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 839425
/proc/meminfo: memFree=119013916/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624120 CPUtime=2915.05 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 579774 0 0 0 289790 1715 0 0 20 0 1 0 162014676 5249032192 1156030 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156030 4195 3002 0 1265253 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 839436
/proc/meminfo: memFree=119009044/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624124 CPUtime=2974.9 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 581547 0 0 0 295771 1719 0 0 20 0 1 0 162014676 5249032192 1156031 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156031 4195 3002 0 1265253 0
Current children cumulated CPU time: 2974.9 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624124 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 839449
/proc/meminfo: memFree=119007876/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3034.76 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 582822 0 0 0 301752 1724 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 839459
/proc/meminfo: memFree=119005076/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3094.61 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 584621 0 0 0 307733 1728 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3094.61 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 839469
/proc/meminfo: memFree=118996140/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3154.46 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 585945 0 0 0 313714 1732 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/254 839481
/proc/meminfo: memFree=118984772/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3214.31 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 587714 0 0 0 319696 1735 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 839491
/proc/meminfo: memFree=118953120/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3274.16 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 589182 0 0 0 325678 1738 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 839501
/proc/meminfo: memFree=118952404/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624132 CPUtime=3334.02 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 591028 0 0 0 331661 1741 0 0 20 0 1 0 162014676 5249032192 1156033 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156033 4195 3002 0 1265253 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 839516
/proc/meminfo: memFree=118920616/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624136 CPUtime=3393.88 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 592530 0 0 0 337641 1747 0 0 20 0 1 0 162014676 5249032192 1156034 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156034 4195 3002 0 1265253 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 839526
/proc/meminfo: memFree=118889248/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624136 CPUtime=3453.73 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 594336 0 0 0 343617 1756 0 0 20 0 1 0 162014676 5249032192 1156034 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156034 4195 3002 0 1265253 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624136 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 839537
/proc/meminfo: memFree=118888188/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624136 CPUtime=3513.57 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 595745 0 0 0 349585 1772 0 0 20 0 1 0 162014676 5249032192 1156034 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156034 4195 3002 0 1265253 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624136 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 839549
/proc/meminfo: memFree=118886912/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624224 CPUtime=3573.42 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 597659 0 0 0 355560 1782 0 0 20 0 1 0 162014676 5249032192 1156056 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156056 4195 3002 0 1265253 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.08 4.09 4.09 5/257 839554
/proc/meminfo: memFree=118885724/131524600 swapFree=131071996/131071996
[pid=837417] ppid=837414 vsize=5126008 memory=4624396 CPUtime=3600.06 cores=4,6
/proc/837417/stat : 837417 (mixed-bag) R 837414 837417 833369 0 -1 4194304 598175 0 0 0 358217 1789 0 0 20 0 1 0 162014676 5249032192 1156099 134679101440 4194304 16487941 140729341484176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 44695552 140729341490199 140729341490276 140729341490276 140729341497291 0
/proc/837417/statm: 1281502 1156099 4195 3002 0 1265253 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5126008 KiB
Current children cumulated memory: 4624396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 837417 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.21 s, system=17.9654 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.17
CPU user time (s): 3582.21
CPU system time (s): 17.9654
CPU usage (%): 99.7525
Max. virtual memory (cumulated for all children) (KiB): 5126008
Max. memory (cumulated for all children) (KiB): 4624396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.21
system time used= 17.9654
maximum resident set size= 4686904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603552
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116
involuntary context switches= 2082
# summary of solver processes directly reported to runsolver:
# pid: 837417
# total CPU time (s): 3600.17
# total CPU user time (s): 3582.21
# total CPU system time (s): 17.9654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7109 second user time and 16.6428 second system time
The end
Begin job on nodeC035 at 2024-07-16 04:54:11
IDJOB=4435473
IDBENCH=147563
IDSOLVER=3066
FILE ID=nodeC035/4435473-1721098438
RUNJOBID= nodeC035-1721091231-833380
SLURM_JOB_ID= 7505584
Free space on /tmp= 890004 MiB
SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435473-1721098438/watcher-4435473-1721098438 -o /tmp/evaluation-result-4435473-1721098438/solver-4435473-1721098438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833380 --watchdog 3760 mixed-bag HOME/instance-4435473-1721098438.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=559937888
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.103
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3653.923
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.681
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128429292 kB
MemAvailable: 129051940 kB
Buffers: 377000 kB
Cached: 1084708 kB
SwapCached: 0 kB
Active: 686948 kB
Inactive: 1818932 kB
Active(anon): 1520 kB
Inactive(anon): 1080384 kB
Active(file): 685428 kB
Inactive(file): 738548 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 66304 kB
Writeback: 0 kB
AnonPages: 1043344 kB
Mapped: 127604 kB
Shmem: 37724 kB
KReclaimable: 76988 kB
Slab: 180348 kB
SReclaimable: 76988 kB
SUnreclaim: 103360 kB
KernelStack: 4032 kB
PageTables: 11304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1527532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 829440 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC035 at 2024-07-16 05:54:20