0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.08/0.10 c [STEP] solving with SCIP
299.17/300.14 c [STEP] preprocessing done, loading into solver
299.17/300.16 c [STEP] solving
299.17/300.16 c #variables 4971 #constraints 5188
299.17/300.16 c SMALL=int, LARGE=long long
299.17/300.16 d SCIPUB 4886567
299.17/300.16 c bounds - >= -70 @ 299.149
299.17/300.16 c stratification level: 4812208
327.87/328.94 c #Conflicts: 1000 | #Constraints: 6188
327.87/328.94 c #Conflicts: 2000 | #Constraints: 7188
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c #Conflicts: 3000 | #Constraints: 5343
327.87/328.94 c #Conflicts: 4000 | #Constraints: 6343
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c #Conflicts: 5000 | #Constraints: 5757
327.87/328.94 c #Conflicts: 6000 | #Constraints: 6757
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c #Conflicts: 7000 | #Constraints: 5787
327.87/328.94 c #Conflicts: 8000 | #Constraints: 6787
327.87/328.94 c #Conflicts: 9000 | #Constraints: 7787
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c #Conflicts: 10000 | #Constraints: 6484
327.87/328.94 c #Conflicts: 11000 | #Constraints: 7484
327.87/328.94 c #Conflicts: 12000 | #Constraints: 8484
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c #Conflicts: 13000 | #Constraints: 6966
327.87/328.94 c #Conflicts: 14000 | #Constraints: 7966
327.87/328.94 c #Conflicts: 15000 | #Constraints: 8966
327.87/328.94 c INPROCESSING
327.87/328.94 c GARBAGE COLLECT
327.87/328.94 c bounds 4881909 >= -70 @ 327.685
327.87/328.94 c stratification level: 4705274
327.87/328.95 c bounds 4872165 >= -70 @ 327.698
327.87/328.95 c stratification level: 4599936
327.87/328.99 c bounds 4864599 >= -70 @ 327.744
327.87/328.99 c stratification level: 4496182
327.98/329.00 c bounds 4864137 >= -70 @ 327.752
327.98/329.00 c stratification level: 4394000
327.98/329.01 c bounds 4863973 >= -70 @ 327.761
327.98/329.01 c stratification level: 4293378
327.98/329.02 c bounds 4863943 >= -70 @ 327.769
327.98/329.02 c stratification level: 4194304
327.98/329.04 c bounds 4860013 >= -70 @ 327.786
327.98/329.04 c stratification level: 4096766
327.98/329.05 c bounds 4857441 >= -70 @ 327.795
327.98/329.05 c stratification level: 4000752
327.98/329.06 c bounds 4856731 >= -70 @ 327.808
327.98/329.06 c stratification level: 3906250
327.98/329.07 c bounds 4842563 >= -70 @ 327.818
327.98/329.07 c stratification level: 3813248
328.07/329.10 c bounds 4842173 >= -70 @ 327.846
328.07/329.10 c stratification level: 3721734
328.07/329.11 c bounds 4838243 >= -70 @ 327.854
328.07/329.11 c stratification level: 3631696
328.07/329.16 c bounds 4806575 >= -70 @ 327.904
328.07/329.16 c stratification level: 3543122
328.07/329.17 c bounds 4806545 >= -70 @ 327.915
328.07/329.17 c stratification level: 3456000
328.17/329.22 c bounds 4793773 >= -70 @ 327.957
328.17/329.22 c stratification level: 3370318
328.17/329.23 c bounds 4786545 >= -70 @ 327.97
328.17/329.23 c stratification level: 3286064
328.17/329.24 c bounds 4784185 >= -70 @ 327.981
328.17/329.24 c stratification level: 3203226
328.17/329.26 c bounds 4781247 >= -70 @ 327.999
328.17/329.26 c stratification level: 3121792
328.17/329.27 c bounds 4781159 >= -70 @ 328.009
328.17/329.27 c stratification level: 3041750
328.37/329.48 c bounds 4779369 >= -70 @ 328.218
328.37/329.48 c stratification level: 2963088
328.47/329.50 c bounds 4778877 >= -70 @ 328.231
328.47/329.50 c stratification level: 2885794
328.47/329.51 c bounds 4771011 >= -70 @ 328.243
328.47/329.51 c stratification level: 2809856
328.47/329.52 c bounds 4770549 >= -70 @ 328.255
328.47/329.52 c stratification level: 2735262
328.47/329.54 c bounds 4765173 >= -70 @ 328.269
328.47/329.54 c stratification level: 2662000
328.47/329.57 c bounds 4751313 >= -70 @ 328.304
328.47/329.57 c stratification level: 2590058
328.67/329.72 c bounds 4741897 >= -70 @ 328.448
328.67/329.72 c stratification level: 2519424
328.67/329.74 c bounds 4726165 >= -70 @ 328.469
328.67/329.74 c stratification level: 2450086
328.87/329.91 c bounds 4719921 >= -70 @ 328.635
328.87/329.91 c stratification level: 2382032
328.87/329.93 c bounds 4712339 >= -70 @ 328.653
328.87/329.93 c stratification level: 2315250
328.87/329.95 c bounds 4712281 >= -70 @ 328.674
328.87/329.95 c stratification level: 2249728
328.87/329.99 c bounds 4704395 >= -70 @ 328.719
328.87/329.99 c stratification level: 2185454
328.97/330.02 c bounds 4700851 >= -70 @ 328.75
328.97/330.02 c stratification level: 2122416
328.97/330.08 c bounds 4690631 >= -70 @ 328.803
328.97/330.08 c stratification level: 2060602
329.07/330.11 c bounds 4679245 >= -70 @ 328.834
329.07/330.11 c stratification level: 2000000
329.07/330.18 c bounds 4664075 >= -70 @ 328.903
329.07/330.18 c stratification level: 1940598
329.17/330.28 c bounds 4656743 >= -70 @ 329.004
329.17/330.28 c stratification level: 1882384
329.27/330.30 c bounds 4653007 >= -70 @ 329.025
329.27/330.30 c stratification level: 1825346
329.27/330.32 c bounds 4640615 >= -70 @ 329.044
329.27/330.32 c stratification level: 1769472
329.27/330.37 c #Conflicts: 16000 | #Constraints: 7220
329.27/330.37 c bounds 4635027 >= -70 @ 329.092
329.27/330.37 c stratification level: 1714750
329.37/330.43 c bounds 4622155 >= -70 @ 329.146
329.37/330.43 c stratification level: 1661168
329.47/330.58 c bounds 4613275 >= -70 @ 329.29
329.47/330.58 c stratification level: 1608714
329.67/330.71 c bounds 4609245 >= -70 @ 329.422
329.67/330.71 c stratification level: 1557376
329.67/330.75 c bounds 4605991 >= -70 @ 329.458
329.67/330.75 c stratification level: 1507142
329.76/330.80 c bounds 4590497 >= -70 @ 329.508
329.76/330.80 c stratification level: 1458000
329.76/330.84 c bounds 4588923 >= -70 @ 329.549
329.76/330.84 c stratification level: 1409938
329.76/330.89 c bounds 4583227 >= -70 @ 329.601
329.76/330.89 c stratification level: 1362944
329.87/330.92 c bounds 4581313 >= -70 @ 329.625
329.87/330.92 c stratification level: 1317006
329.87/330.96 c bounds 4576257 >= -70 @ 329.668
329.87/330.96 c stratification level: 1272112
329.97/331.00 c bounds 4573813 >= -70 @ 329.707
329.97/331.00 c stratification level: 1228250
330.17/331.24 c bounds 4573129 >= -70 @ 329.942
330.17/331.24 c stratification level: 1185408
330.17/331.26 c bounds 4572927 >= -70 @ 329.964
330.17/331.26 c stratification level: 1143574
330.17/331.29 c bounds 4572619 >= -70 @ 329.989
330.17/331.29 c stratification level: 1102736
330.26/331.31 c bounds 4572345 >= -70 @ 330.012
330.26/331.31 c stratification level: 1062882
330.26/331.34 c bounds 4569097 >= -70 @ 330.035
330.26/331.34 c stratification level: 1024000
330.67/331.72 c bounds 4568967 >= -70 @ 330.417
330.67/331.72 c stratification level: 986078
330.67/331.78 c bounds 4566103 >= -70 @ 330.475
330.67/331.78 c stratification level: 949104
330.77/331.83 c bounds 4562013 >= -70 @ 330.519
330.77/331.83 c stratification level: 913066
330.86/331.90 c bounds 4560881 >= -70 @ 330.596
330.86/331.90 c stratification level: 877952
330.97/332.02 c bounds 4560697 >= -70 @ 330.713
330.97/332.02 c stratification level: 843750
330.97/332.08 c bounds 4560295 >= -70 @ 330.768
330.97/332.08 c stratification level: 810448
331.07/332.11 c bounds 4557839 >= -70 @ 330.801
331.07/332.11 c stratification level: 778034
331.07/332.16 c bounds 4555721 >= -70 @ 330.847
331.07/332.16 c stratification level: 746496
331.07/332.19 c bounds 4555311 >= -70 @ 330.878
331.07/332.19 c stratification level: 715822
331.16/332.25 c bounds 4554695 >= -70 @ 330.938
331.16/332.25 c stratification level: 686000
331.26/332.30 c bounds 4551693 >= -70 @ 330.982
331.26/332.30 c stratification level: 657018
331.26/332.35 c bounds 4550341 >= -70 @ 331.035
331.26/332.35 c stratification level: 628864
331.36/332.46 c bounds 4549067 >= -70 @ 331.151
331.36/332.46 c stratification level: 601526
331.46/332.50 c bounds 4547965 >= -70 @ 331.183
331.46/332.50 c stratification level: 574992
331.66/332.75 c #Conflicts: 17000 | #Constraints: 8250
331.66/332.75 c bounds 4547885 >= -70 @ 331.434
331.66/332.75 c stratification level: 549250
331.66/332.78 c bounds 4546283 >= -70 @ 331.468
331.66/332.78 c stratification level: 524288
331.77/332.87 c bounds 4542047 >= -70 @ 331.55
331.77/332.87 c stratification level: 518162
332.07/333.19 c bounds 4541717 >= -70 @ 331.866
332.07/333.19 c stratification level: 510050
332.46/333.55 c bounds 4541367 >= -70 @ 332.22
332.46/333.55 c stratification level: 504008
332.56/333.60 c bounds 4535311 >= -70 @ 332.269
332.56/333.60 c stratification level: 502002
332.75/333.87 c bounds 4535205 >= -70 @ 332.538
332.75/333.87 c stratification level: 500094
332.85/333.92 c bounds 4534847 >= -70 @ 332.593
332.85/333.92 c stratification level: 500000
332.85/333.97 c bounds 4534767 >= -70 @ 332.635
332.85/333.97 c stratification level: 498002
332.97/334.01 c bounds 4533165 >= -70 @ 332.681
332.97/334.01 c stratification level: 496008
333.56/334.66 c bounds 4531687 >= -70 @ 333.321
333.56/334.66 c stratification level: 492032
333.76/334.89 c bounds 4519979 >= -70 @ 333.557
333.76/334.89 c stratification level: 476656
334.16/335.20 c bounds 4513717 >= -70 @ 333.864
334.16/335.20 c stratification level: 453962
334.16/335.27 c bounds 4512973 >= -70 @ 333.927
334.16/335.27 c stratification level: 451250
334.25/335.39 c bounds 4511621 >= -70 @ 334.047
334.25/335.39 c stratification level: 449352
334.35/335.44 c bounds 4506349 >= -70 @ 334.1
334.35/335.44 c stratification level: 447458
339.43/340.55 c #Conflicts: 18000 | #Constraints: 9266
339.43/340.55 c INPROCESSING
339.43/340.55 c GARBAGE COLLECT
339.43/340.55 c #Conflicts: 19000 | #Constraints: 7154
339.43/340.55 c bounds 4506067 >= -70 @ 339.167
339.43/340.55 c stratification level: 445568
344.43/345.52 c #Conflicts: 20000 | #Constraints: 8155
344.43/345.52 c bounds 4500877 >= -70 @ 344.106
344.43/345.52 c stratification level: 441800
344.62/345.75 c #Conflicts: 21000 | #Constraints: 9156
344.62/345.75 c bounds 4498765 >= -70 @ 344.33
344.62/345.75 c stratification level: 439922
344.93/346.09 c bounds 4498647 >= -70 @ 344.669
344.93/346.09 c stratification level: 438048
345.12/346.22 c bounds 4498313 >= -70 @ 344.797
345.12/346.22 c stratification level: 436178
345.22/346.36 c bounds 4483749 >= -70 @ 344.937
345.22/346.36 c stratification level: 432000
345.42/346.54 c bounds 4471469 >= -70 @ 345.113
345.42/346.54 c stratification level: 428738
345.52/346.66 c bounds 4466051 >= -70 @ 345.234
345.52/346.66 c stratification level: 425042
345.72/346.85 c bounds 4463081 >= -70 @ 345.414
345.72/346.85 c stratification level: 423200
345.93/347.00 c bounds 4456425 >= -70 @ 345.571
345.93/347.00 c stratification level: 419528
348.70/349.81 c INPROCESSING
348.70/349.81 c GARBAGE COLLECT
348.70/349.81 c bounds 4453599 >= -70 @ 348.354
348.70/349.81 c stratification level: 417698
348.70/349.84 c bounds 4450113 >= -70 @ 348.382
348.70/349.84 c stratification level: 415872
348.70/349.86 c bounds 4448335 >= -70 @ 348.402
348.70/349.86 c stratification level: 414050
348.81/349.97 c bounds 4428833 >= -70 @ 348.502
348.81/349.97 c stratification level: 412232
349.11/350.22 c bounds 4427023 >= -70 @ 348.757
349.11/350.22 c stratification level: 410758
350.91/352.09 c #Conflicts: 22000 | #Constraints: 6970
350.91/352.09 c bounds 4425075 >= -70 @ 350.614
350.91/352.09 c stratification level: 410418
351.01/352.14 c bounds 4421785 >= -70 @ 350.662
351.01/352.14 c stratification level: 408608
351.01/352.19 c bounds 4419099 >= -70 @ 350.713
351.01/352.19 c stratification level: 406802
354.19/355.33 c #Conflicts: 23000 | #Constraints: 7973
354.19/355.33 c bounds 4409943 >= -70 @ 353.829
354.19/355.33 c stratification level: 405000
354.69/355.83 c bounds 4407941 >= -70 @ 354.325
354.69/355.83 c stratification level: 403202
354.79/355.92 c bounds 4407399 >= -70 @ 354.417
354.79/355.92 c stratification level: 399618
355.29/356.41 c bounds 4406767 >= -70 @ 354.903
355.29/356.41 c stratification level: 397832
355.39/356.50 c bounds 4403403 >= -70 @ 354.988
355.39/356.50 c stratification level: 396050
355.39/356.58 c bounds 4399841 >= -70 @ 355.072
355.39/356.58 c stratification level: 394272
355.59/356.72 c bounds 4383637 >= -70 @ 355.214
355.59/356.72 c stratification level: 392498
357.08/358.22 c #Conflicts: 24000 | #Constraints: 8980
357.08/358.22 c bounds 4382183 >= -70 @ 356.694
357.08/358.22 c stratification level: 390224
357.18/358.33 c bounds 4377511 >= -70 @ 356.81
357.18/358.33 c stratification level: 388962
357.49/358.62 c bounds 4370471 >= -70 @ 357.091
357.49/358.62 c stratification level: 387200
357.59/358.71 c bounds 4366505 >= -70 @ 357.184
357.59/358.71 c stratification level: 385442
357.68/358.80 c bounds 4350353 >= -70 @ 357.276
357.68/358.80 c stratification level: 383688
357.78/358.90 c bounds 4343225 >= -70 @ 357.367
357.78/358.90 c stratification level: 380192
357.89/359.03 c bounds 4341897 >= -70 @ 357.5
357.89/359.03 c stratification level: 376712
357.99/359.13 c bounds 4341309 >= -70 @ 357.594
357.99/359.13 c stratification level: 374978
358.08/359.22 c bounds 4330381 >= -70 @ 357.683
358.08/359.22 c stratification level: 373248
358.18/359.31 c bounds 4325371 >= -70 @ 357.771
358.18/359.31 c stratification level: 369800
366.15/367.31 c #Conflicts: 25000 | #Constraints: 9990
366.15/367.31 c INPROCESSING
366.15/367.31 c GARBAGE COLLECT
366.15/367.31 c #Conflicts: 26000 | #Constraints: 7557
366.15/367.31 c bounds 4320205 >= -70 @ 365.707
366.15/367.31 c stratification level: 368082
366.25/367.46 c bounds 4316547 >= -70 @ 365.856
366.25/367.46 c stratification level: 366368
366.66/367.85 c bounds 4312281 >= -70 @ 366.246
366.66/367.85 c stratification level: 364658
367.15/368.39 c bounds 4310043 >= -70 @ 366.781
367.15/368.39 c stratification level: 362952
367.25/368.48 c bounds 4307785 >= -70 @ 366.871
367.25/368.48 c stratification level: 361250
388.59/389.88 c #Conflicts: 27000 | #Constraints: 8562
388.59/389.88 c #Conflicts: 28000 | #Constraints: 9562
388.59/389.88 c #Conflicts: 29000 | #Constraints: 10562
388.59/389.88 c INPROCESSING
388.59/389.88 c GARBAGE COLLECT
388.59/389.88 c bounds 4306917 >= -70 @ 388.166
388.59/389.88 c stratification level: 357858
388.69/389.96 c bounds 4302029 >= -70 @ 388.25
388.69/389.96 c stratification level: 356168
389.09/390.37 c bounds 4301173 >= -70 @ 388.648
389.09/390.37 c stratification level: 354482
389.18/390.42 c bounds 4301067 >= -70 @ 388.7
389.18/390.42 c stratification level: 352800
389.49/390.77 c bounds 4295787 >= -70 @ 389.043
389.49/390.77 c stratification level: 351232
389.79/391.04 c bounds 4290229 >= -70 @ 389.31
389.79/391.04 c stratification level: 351122
389.79/391.09 c bounds 4287115 >= -70 @ 389.363
389.79/391.09 c stratification level: 349448
389.98/391.23 c bounds 4282791 >= -70 @ 389.505
389.98/391.23 c stratification level: 347778
391.68/392.93 c #Conflicts: 30000 | #Constraints: 7972
391.68/392.93 c bounds 4282639 >= -70 @ 391.187
391.68/392.93 c stratification level: 346112
393.28/394.51 c bounds 4282627 >= -70 @ 392.755
393.28/394.51 c stratification level: 344450
393.38/394.60 c bounds 4280923 >= -70 @ 392.844
393.38/394.60 c stratification level: 342792
393.48/394.77 c bounds 4278893 >= -70 @ 393.016
393.48/394.77 c stratification level: 341138
393.97/395.24 c bounds 4275457 >= -70 @ 393.48
393.97/395.24 c stratification level: 339488
394.17/395.45 c bounds 4273545 >= -70 @ 393.692
394.17/395.45 c stratification level: 337842
397.96/399.27 c #Conflicts: 31000 | #Constraints: 8978
397.96/399.27 c bounds 4272489 >= -70 @ 397.482
397.96/399.27 c stratification level: 336200
398.06/399.39 c bounds 4271445 >= -70 @ 397.604
398.06/399.39 c stratification level: 334562
398.26/399.51 c bounds 4266627 >= -70 @ 397.727
398.26/399.51 c stratification level: 332928
398.36/399.67 c bounds 4265469 >= -70 @ 397.882
398.36/399.67 c stratification level: 332750
398.56/399.80 c bounds 4260119 >= -70 @ 398.012
398.56/399.80 c stratification level: 331298
402.34/403.67 c bounds 4257265 >= -70 @ 401.864
402.34/403.67 c stratification level: 329672
402.54/403.82 c bounds 4256969 >= -70 @ 402.014
402.54/403.82 c stratification level: 328050
427.57/428.93 c #Conflicts: 32000 | #Constraints: 9985
427.57/428.93 c #Conflicts: 33000 | #Constraints: 10985
427.57/428.93 c INPROCESSING
427.57/428.93 c GARBAGE COLLECT
427.57/428.93 c #Conflicts: 34000 | #Constraints: 8134
427.57/428.93 c #Conflicts: 35000 | #Constraints: 9134
427.57/428.93 c bounds 4256895 >= -70 @ 426.972
427.57/428.93 c stratification level: 326432
430.86/432.25 c bounds 4256307 >= -70 @ 430.273
430.86/432.25 c stratification level: 323208
431.06/432.43 c bounds 4256201 >= -70 @ 430.445
431.06/432.43 c stratification level: 321602
431.26/432.60 c bounds 4256001 >= -70 @ 430.617
431.26/432.60 c stratification level: 320000
431.36/432.76 c bounds 4255905 >= -70 @ 430.781
431.36/432.76 c stratification level: 318402
435.44/436.89 c #Conflicts: 36000 | #Constraints: 10139
435.44/436.89 c bounds 4255559 >= -70 @ 434.885
435.44/436.89 c stratification level: 316808
435.65/437.07 c bounds 4255263 >= -70 @ 435.07
435.65/437.07 c stratification level: 315218
436.24/437.67 c bounds 4255157 >= -70 @ 435.657
436.24/437.67 c stratification level: 314928
439.14/440.53 c bounds 4251093 >= -70 @ 438.503
439.14/440.53 c stratification level: 313632
439.34/440.73 c bounds 4248439 >= -70 @ 438.704
439.34/440.73 c stratification level: 312050
440.53/441.95 c bounds 4242033 >= -70 @ 439.913
440.53/441.95 c stratification level: 310472
440.73/442.15 c bounds 4241927 >= -70 @ 440.114
440.73/442.15 c stratification level: 308898
440.93/442.35 c bounds 4241631 >= -70 @ 440.314
440.93/442.35 c stratification level: 307328
1035.06/1038.39 c #Conflicts: 37000 | #Constraints: 11147
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 38000 | #Constraints: 8150
1035.06/1038.39 c bounds 4241631 >= 307258 @ 452.662
1035.06/1038.39 c #Conflicts: 39000 | #Constraints: 9151
1035.06/1038.39 c #Conflicts: 40000 | #Constraints: 10151
1035.06/1038.39 c #Conflicts: 41000 | #Constraints: 11151
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 42000 | #Constraints: 7960
1035.06/1038.39 c #Conflicts: 43000 | #Constraints: 8960
1035.06/1038.39 c #Conflicts: 44000 | #Constraints: 9960
1035.06/1038.39 c #Conflicts: 45000 | #Constraints: 10960
1035.06/1038.39 c #Conflicts: 46000 | #Constraints: 11960
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c bounds 4241631 >= 614586 @ 519.537
1035.06/1038.39 c #Conflicts: 47000 | #Constraints: 8565
1035.06/1038.39 c #Conflicts: 48000 | #Constraints: 9565
1035.06/1038.39 c #Conflicts: 49000 | #Constraints: 10565
1035.06/1038.39 c #Conflicts: 50000 | #Constraints: 11565
1035.06/1038.39 c #Conflicts: 51000 | #Constraints: 12565
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 52000 | #Constraints: 8966
1035.06/1038.39 c #Conflicts: 53000 | #Constraints: 9966
1035.06/1038.39 c #Conflicts: 54000 | #Constraints: 10966
1035.06/1038.39 c #Conflicts: 55000 | #Constraints: 11966
1035.06/1038.39 c #Conflicts: 56000 | #Constraints: 12966
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 57000 | #Constraints: 9184
1035.06/1038.39 c #Conflicts: 58000 | #Constraints: 10184
1035.06/1038.39 c #Conflicts: 59000 | #Constraints: 11184
1035.06/1038.39 c #Conflicts: 60000 | #Constraints: 12184
1035.06/1038.39 c #Conflicts: 61000 | #Constraints: 13184
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 62000 | #Constraints: 9197
1035.06/1038.39 c #Conflicts: 63000 | #Constraints: 10197
1035.06/1038.39 c #Conflicts: 64000 | #Constraints: 11197
1035.06/1038.39 c #Conflicts: 65000 | #Constraints: 12197
1035.06/1038.39 c #Conflicts: 66000 | #Constraints: 13197
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 67000 | #Constraints: 9008
1035.06/1038.39 c #Conflicts: 68000 | #Constraints: 10008
1035.06/1038.39 c #Conflicts: 69000 | #Constraints: 11008
1035.06/1038.39 c #Conflicts: 70000 | #Constraints: 12008
1035.06/1038.39 c #Conflicts: 71000 | #Constraints: 13008
1035.06/1038.39 c #Conflicts: 72000 | #Constraints: 14008
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 73000 | #Constraints: 9595
1035.06/1038.39 c #Conflicts: 74000 | #Constraints: 10595
1035.06/1038.39 c #Conflicts: 75000 | #Constraints: 11595
1035.06/1038.39 c #Conflicts: 76000 | #Constraints: 12595
1035.06/1038.39 c #Conflicts: 77000 | #Constraints: 13595
1035.06/1038.39 c #Conflicts: 78000 | #Constraints: 14595
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 79000 | #Constraints: 10010
1035.06/1038.39 c #Conflicts: 80000 | #Constraints: 11010
1035.06/1038.39 c #Conflicts: 81000 | #Constraints: 12010
1035.06/1038.39 c bounds 4241631 >= 949034 @ 872.478
1035.06/1038.39 c #Conflicts: 82000 | #Constraints: 13011
1035.06/1038.39 c #Conflicts: 83000 | #Constraints: 14011
1035.06/1038.39 c #Conflicts: 84000 | #Constraints: 15011
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 85000 | #Constraints: 10192
1035.06/1038.39 c #Conflicts: 86000 | #Constraints: 11192
1035.06/1038.39 c #Conflicts: 87000 | #Constraints: 12192
1035.06/1038.39 c #Conflicts: 88000 | #Constraints: 13192
1035.06/1038.39 c #Conflicts: 89000 | #Constraints: 14192
1035.06/1038.39 c bounds 4241631 >= 1264252 @ 948.577
1035.06/1038.39 c #Conflicts: 90000 | #Constraints: 15193
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 91000 | #Constraints: 10173
1035.06/1038.39 c #Conflicts: 92000 | #Constraints: 11173
1035.06/1038.39 c #Conflicts: 93000 | #Constraints: 12173
1035.06/1038.39 c #Conflicts: 94000 | #Constraints: 13173
1035.06/1038.39 c #Conflicts: 95000 | #Constraints: 14173
1035.06/1038.39 c #Conflicts: 96000 | #Constraints: 15173
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1035.06/1038.39 c #Conflicts: 97000 | #Constraints: 10004
1035.06/1038.39 c #Conflicts: 98000 | #Constraints: 11004
1035.06/1038.39 c #Conflicts: 99000 | #Constraints: 12004
1035.06/1038.39 c #Conflicts: 100000 | #Constraints: 13004
1035.06/1038.39 c #Conflicts: 101000 | #Constraints: 14004
1035.06/1038.39 c #Conflicts: 102000 | #Constraints: 15004
1035.06/1038.39 c bounds 4241631 >= 1608644 @ 1028.15
1035.06/1038.39 c #Conflicts: 103000 | #Constraints: 16005
1035.06/1038.39 c INPROCESSING
1035.06/1038.39 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 104000 | #Constraints: 10611
1321.69/1325.98 c #Conflicts: 105000 | #Constraints: 11611
1321.69/1325.98 c #Conflicts: 106000 | #Constraints: 12611
1321.69/1325.98 c #Conflicts: 107000 | #Constraints: 13611
1321.69/1325.98 c #Conflicts: 108000 | #Constraints: 14611
1321.69/1325.98 c #Conflicts: 109000 | #Constraints: 15611
1321.69/1325.98 c #Conflicts: 110000 | #Constraints: 16611
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 111000 | #Constraints: 11025
1321.69/1325.98 c #Conflicts: 112000 | #Constraints: 12025
1321.69/1325.98 c #Conflicts: 113000 | #Constraints: 13025
1321.69/1325.98 c #Conflicts: 114000 | #Constraints: 14025
1321.69/1325.98 c #Conflicts: 115000 | #Constraints: 15025
1321.69/1325.98 c #Conflicts: 116000 | #Constraints: 16025
1321.69/1325.98 c #Conflicts: 117000 | #Constraints: 17025
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 118000 | #Constraints: 11238
1321.69/1325.98 c #Conflicts: 119000 | #Constraints: 12238
1321.69/1325.98 c #Conflicts: 120000 | #Constraints: 13238
1321.69/1325.98 c #Conflicts: 121000 | #Constraints: 14238
1321.69/1325.98 c #Conflicts: 122000 | #Constraints: 15238
1321.69/1325.98 c #Conflicts: 123000 | #Constraints: 16238
1321.69/1325.98 c #Conflicts: 124000 | #Constraints: 17238
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 125000 | #Constraints: 11189
1321.69/1325.98 c #Conflicts: 126000 | #Constraints: 12189
1321.69/1325.98 c #Conflicts: 127000 | #Constraints: 13189
1321.69/1325.98 c #Conflicts: 128000 | #Constraints: 14189
1321.69/1325.98 c #Conflicts: 129000 | #Constraints: 15189
1321.69/1325.98 c #Conflicts: 130000 | #Constraints: 16189
1321.69/1325.98 c #Conflicts: 131000 | #Constraints: 17189
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 132000 | #Constraints: 10982
1321.69/1325.98 c #Conflicts: 133000 | #Constraints: 11982
1321.69/1325.98 c #Conflicts: 134000 | #Constraints: 12982
1321.69/1325.98 c #Conflicts: 135000 | #Constraints: 13982
1321.69/1325.98 c #Conflicts: 136000 | #Constraints: 14982
1321.69/1325.98 c #Conflicts: 137000 | #Constraints: 15982
1321.69/1325.98 c #Conflicts: 138000 | #Constraints: 16982
1321.69/1325.98 c #Conflicts: 139000 | #Constraints: 17982
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 140000 | #Constraints: 11569
1321.69/1325.98 c #Conflicts: 141000 | #Constraints: 12569
1321.69/1325.98 c bounds 4241631 >= 1940528 @ 1194.29
1321.69/1325.98 c #Conflicts: 142000 | #Constraints: 13570
1321.69/1325.98 c #Conflicts: 143000 | #Constraints: 14570
1321.69/1325.98 c #Conflicts: 144000 | #Constraints: 15570
1321.69/1325.98 c #Conflicts: 145000 | #Constraints: 16570
1321.69/1325.98 c #Conflicts: 146000 | #Constraints: 17570
1321.69/1325.98 c #Conflicts: 147000 | #Constraints: 18570
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 148000 | #Constraints: 12029
1321.69/1325.98 c #Conflicts: 149000 | #Constraints: 13029
1321.69/1325.98 c #Conflicts: 150000 | #Constraints: 14029
1321.69/1325.98 c #Conflicts: 151000 | #Constraints: 15029
1321.69/1325.98 c #Conflicts: 152000 | #Constraints: 16029
1321.69/1325.98 c #Conflicts: 153000 | #Constraints: 17029
1321.69/1325.98 c #Conflicts: 154000 | #Constraints: 18029
1321.69/1325.98 c #Conflicts: 155000 | #Constraints: 19029
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 156000 | #Constraints: 12251
1321.69/1325.98 c #Conflicts: 157000 | #Constraints: 13251
1321.69/1325.98 c #Conflicts: 158000 | #Constraints: 14251
1321.69/1325.98 c #Conflicts: 159000 | #Constraints: 15251
1321.69/1325.98 c #Conflicts: 160000 | #Constraints: 16251
1321.69/1325.98 c #Conflicts: 161000 | #Constraints: 17251
1321.69/1325.98 c #Conflicts: 162000 | #Constraints: 18251
1321.69/1325.98 c #Conflicts: 163000 | #Constraints: 19251
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 164000 | #Constraints: 12249
1321.69/1325.98 c #Conflicts: 165000 | #Constraints: 13249
1321.69/1325.98 c #Conflicts: 166000 | #Constraints: 14249
1321.69/1325.98 c bounds 4241631 >= 2249658 @ 1289.36
1321.69/1325.98 c #Conflicts: 167000 | #Constraints: 15250
1321.69/1325.98 c #Conflicts: 168000 | #Constraints: 16250
1321.69/1325.98 c #Conflicts: 169000 | #Constraints: 17250
1321.69/1325.98 c #Conflicts: 170000 | #Constraints: 18250
1321.69/1325.98 c #Conflicts: 171000 | #Constraints: 19250
1321.69/1325.98 c INPROCESSING
1321.69/1325.98 c GARBAGE COLLECT
1321.69/1325.98 c #Conflicts: 172000 | #Constraints: 12019
1321.69/1325.98 c #Conflicts: 173000 | #Constraints: 13019
1321.69/1325.98 c #Conflicts: 174000 | #Constraints: 14019
1321.69/1325.98 c #Conflicts: 175000 | #Constraints: 15019
1535.21/1540.20 c #Conflicts: 176000 | #Constraints: 16019
1535.21/1540.20 c #Conflicts: 177000 | #Constraints: 17019
1535.21/1540.20 c #Conflicts: 178000 | #Constraints: 18019
1535.21/1540.20 c #Conflicts: 179000 | #Constraints: 19019
1535.21/1540.20 c #Conflicts: 180000 | #Constraints: 20019
1535.21/1540.20 c INPROCESSING
1535.21/1540.20 c GARBAGE COLLECT
1535.21/1540.20 c #Conflicts: 181000 | #Constraints: 12631
1535.21/1540.20 c #Conflicts: 182000 | #Constraints: 13631
1535.21/1540.20 c #Conflicts: 183000 | #Constraints: 14631
1535.21/1540.20 c #Conflicts: 184000 | #Constraints: 15631
1535.21/1540.20 c #Conflicts: 185000 | #Constraints: 16631
1535.21/1540.20 c #Conflicts: 186000 | #Constraints: 17631
1535.21/1540.20 c #Conflicts: 187000 | #Constraints: 18631
1535.21/1540.20 c #Conflicts: 188000 | #Constraints: 19631
1535.21/1540.20 c #Conflicts: 189000 | #Constraints: 20631
1535.21/1540.20 c INPROCESSING
1535.21/1540.20 c GARBAGE COLLECT
1535.21/1540.20 c #Conflicts: 190000 | #Constraints: 13076
1535.21/1540.20 c #Conflicts: 191000 | #Constraints: 14076
1535.21/1540.20 c #Conflicts: 192000 | #Constraints: 15076
1535.21/1540.20 c #Conflicts: 193000 | #Constraints: 16076
1535.21/1540.20 c #Conflicts: 194000 | #Constraints: 17076
1535.21/1540.20 c #Conflicts: 195000 | #Constraints: 18076
1535.21/1540.20 c #Conflicts: 196000 | #Constraints: 19076
1535.21/1540.20 c #Conflicts: 197000 | #Constraints: 20076
1535.21/1540.20 c #Conflicts: 198000 | #Constraints: 21076
1535.21/1540.20 c INPROCESSING
1535.21/1540.20 c GARBAGE COLLECT
1535.21/1540.20 c bounds 4241631 >= 2589988 @ 1442
1535.21/1540.20 c #Conflicts: 199000 | #Constraints: 13235
1535.21/1540.20 c #Conflicts: 200000 | #Constraints: 14235
1535.21/1540.20 c #Conflicts: 201000 | #Constraints: 15235
1535.21/1540.20 c #Conflicts: 202000 | #Constraints: 16235
1535.21/1540.20 c #Conflicts: 203000 | #Constraints: 17235
1535.21/1540.20 c #Conflicts: 204000 | #Constraints: 18235
1535.21/1540.20 c #Conflicts: 205000 | #Constraints: 19235
1535.21/1540.20 c #Conflicts: 206000 | #Constraints: 20235
1535.21/1540.20 c #Conflicts: 207000 | #Constraints: 21235
1535.21/1540.20 c bounds 4241631 >= 2963018 @ 1459.19
1535.21/1540.20 c INPROCESSING
1535.21/1540.20 c GARBAGE COLLECT
1535.21/1540.20 c #Conflicts: 208000 | #Constraints: 13185
1535.21/1540.20 c #Conflicts: 209000 | #Constraints: 14185
1535.21/1540.20 c #Conflicts: 210000 | #Constraints: 15185
1535.21/1540.20 c #Conflicts: 211000 | #Constraints: 16185
1535.21/1540.20 c #Conflicts: 212000 | #Constraints: 17185
1535.21/1540.20 c #Conflicts: 213000 | #Constraints: 18185
1535.21/1540.20 c #Conflicts: 214000 | #Constraints: 19185
1535.21/1540.20 c bounds 4241631 >= 3285994 @ 1484.02
1535.21/1540.20 c #Conflicts: 215000 | #Constraints: 20186
1535.21/1540.20 c #Conflicts: 216000 | #Constraints: 21186
1535.21/1540.20 c INPROCESSING
1535.21/1540.20 c GARBAGE COLLECT
1535.21/1540.20 c #Conflicts: 217000 | #Constraints: 12982
1535.21/1540.20 c #Conflicts: 218000 | #Constraints: 13982
1535.21/1540.20 c #Conflicts: 219000 | #Constraints: 14982
1535.21/1540.20 c #Conflicts: 220000 | #Constraints: 15982
1535.21/1540.20 c #Conflicts: 221000 | #Constraints: 16982
1535.21/1540.20 c #Conflicts: 222000 | #Constraints: 17982
1535.21/1540.20 c #Conflicts: 223000 | #Constraints: 18982
1535.21/1540.20 c bounds 4241631 >= 3631627 @ 1524.73
1535.21/1540.20 c #Conflicts: 224000 | #Constraints: 19983
1535.21/1540.20 c bounds 4241631 >= 4000683 @ 1531.99
1535.21/1540.20 c bounds 4241631 >= 4000683 @ 1532.59
1535.21/1540.20 d SOLVEDBY oll
1535.21/1540.20 c cpu time 1532.59 s
1535.21/1540.20 c deterministic time 106492367893 1.06e+11
1535.21/1540.20 c optimization time 0.268157 s
1535.21/1540.20 c total solve time 1233.18 s
1535.21/1540.20 c core-guided solve time 1233.18 s
1535.21/1540.20 c propagation time 727.407 s
1535.21/1540.20 c conflict analysis time 484.312 s
1535.21/1540.20 c propagations 152735683
1535.21/1540.20 c resolve steps 14155303
1535.21/1540.20 c decisions 1430802
1535.21/1540.20 c conflicts 224896
1535.21/1540.20 c restarts 510
1535.21/1540.20 c inprocessing phases 38
1535.21/1540.20 c input clauses 2862
1535.21/1540.20 c input cardinalities 7
1535.21/1540.20 c input general constraints 2796
1535.21/1540.20 c input average constraint length 100.14
1535.21/1540.20 c input average constraint degree 51224575.90
1535.21/1540.20 c learned clauses 100808
1535.21/1540.20 c learned cardinalities 244
1535.21/1540.20 c learned general constraints 123843
1535.21/1540.20 c learned average constraint length 1054.19
1535.21/1540.20 c learned average constraint degree 561668104.54
1535.21/1540.20 c watched constraints 69395
1535.21/1540.20 c counting constraints 57244
1535.21/1540.20 c gcd simplifications 12899
1535.21/1540.20 c detected cardinalities 27
1535.21/1540.20 c weakened non-implied lits 41117680
1535.21/1540.20 c weakened non-implying lits 364081
1535.21/1540.20 c original variables 9940
1535.21/1540.20 c clausal propagations 125805852
1535.21/1540.20 c cardinality propagations 1043011
1535.21/1540.20 c watched propagations 1916732
1535.21/1540.20 c counting propagations 23636022
1535.21/1540.20 c watch lookups 19836909150
1535.21/1540.20 c watch backjump lookups 19307582746
1535.21/1540.20 c watch checks 28220257366
1535.21/1540.20 c propagation checks 37934729791
1535.21/1540.20 c constraint additions 884334563
1535.21/1540.20 c trail pops 154387791
1535.21/1540.20 c formula constraints 5188
1535.21/1540.20 c learned constraints 224895
1535.21/1540.20 c bound constraints 477
1535.21/1540.20 c core-guided constraints 0
1535.21/1540.20 c encountered formula constraints 12622649
1535.21/1540.20 c encountered learned constraints 1754709
1535.21/1540.20 c encountered bound constraints 2841
1535.21/1540.20 c encountered core-guided constraints 0
1535.21/1540.20 c LP total time 0 s
1535.21/1540.20 c LP solve time 0 s
1535.21/1540.20 c LP constraints added 0
1535.21/1540.20 c LP constraints removed 0
1535.21/1540.20 c LP pivots internal 0
1535.21/1540.20 c LP pivots root 0
1535.21/1540.20 c LP calls 0
1535.21/1540.20 c LP optimalities 0
1535.21/1540.20 c LP no pivot count 0
1535.21/1540.20 c LP infeasibilities 0
1535.21/1540.20 c LP valid Farkas constraints 0
1535.21/1540.20 c LP learned Farkas constraints 0
1535.21/1540.20 c LP basis resets 0
1535.21/1540.20 c LP cycling count 0
1535.21/1540.20 c LP singular count 0
1535.21/1540.20 c LP no primal count 0
1535.21/1540.20 c LP no farkas count 0
1535.21/1540.20 c LP other issue count 0
1535.21/1540.20 c LP Gomory cuts 0
1535.21/1540.20 c LP learned cuts 0
1535.21/1540.20 c LP deleted cuts 0
1535.21/1540.20 c LP encountered Gomory constraints 0
1535.21/1540.20 c LP encountered Farkas constraints 0
1535.21/1540.20 c LP encountered learned Farkas constraints 0
1535.21/1540.20 c CG auxiliary variables introduced 0
1535.21/1540.20 c CG solutions found 158
1535.21/1540.20 c CG cores constructed 12
1535.21/1540.20 c CG core cardinality constraints returned 0
1535.21/1540.20 c CG unit cores 0
1535.21/1540.20 c CG single cores 12
1535.21/1540.20 c CG blocks removed during cardinality reduction 0
1535.21/1540.20 c CG first core best 0
1535.21/1540.20 c CG decision core best 0
1535.21/1540.20 c CG core reduction tie 0
1535.21/1540.20 c CG core degree average 1.00
1535.21/1540.20 c CG core slack average 203.00
1535.21/1540.20 c CG exhausted 0
1535.21/1540.20 c CG exhaust time 0 s
1535.21/1540.20 c CG trimmed 7
1535.21/1540.20 c CG trim time 0.135306 s
1535.21/1540.20 c CG minimized 0
1535.21/1540.20 c CG minimize time 0 s
1535.21/1540.20 c CG am1 prop time 0.002652 s
1535.21/1540.20 c CG # am1s reformulated 0
1535.21/1540.20 c CG lower bound derived from am1s 0
1535.21/1540.20 c CG # clausal cores 12
1535.21/1540.20 c CG # cardinality cores 0
1535.21/1540.20 c CG # pb cores 0
1535.21/1540.20 c CG # pb reforms 0
1535.21/1540.20 c CG # cores discarded because of pb reform 0
1535.21/1540.20 d LOWERBOUND 4000683
1535.21/1540.20 d NCORES 12
1535.21/1540.20 d NPBCORES 0
1535.21/1540.20 d NPBREFORM 0
1535.21/1540.20 d NTRIMMED 7
1535.21/1540.20 d NEXHAUSTED 0
1535.21/1540.20 d NAM1S 0
1535.21/1540.20 d AM1LB 0
1535.21/1540.20 c [Papilo Statistics]
1535.21/1540.20 c prepro time 0.0317143s
1535.21/1540.20 c # tsx applied 12355
1535.21/1540.20 c # tsx conflicts 0
1535.21/1540.20 c # bound changes 140
1535.21/1540.20 c # side changes 2415
1535.21/1540.20 c # coef changes 31395
1535.21/1540.20 c # rounds 3
1535.21/1540.20 c # deted vars 4970
1535.21/1540.20 c # deted constrs 9662
1535.21/1540.20 c # consecutive rounds of only bound changes 0
1535.21/1540.20 c [STEP] postprocessing with Papilo
1535.21/1540.20 o 4241631
1535.21/1540.20 s OPTIMUM FOUND
1535.21/1540.20 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60967 MiB free)
memory of node 1: 64465 MiB (61680 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504195-1751453150/watcher-4504195-1751453150 -o /tmp/evaluation-result-4504195-1751453150/solver-4504195-1751453150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63812 --watchdog 3760 mixed-bag HOME/instance-4504195-1751453150.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=64482, runsolver pid=64479
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125591964/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=106844 memory=27064 CPUtime=0.08 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 6286 0 0 0 7 1 0 0 20 0 1 0 60992841 109408256 6766 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 26711 6766 2400 2842 0 8405 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106844 KiB
Current children cumulated memory: 27064 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125551404/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=142160 memory=67768 CPUtime=0.19 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 15509 0 0 0 17 2 0 0 20 0 1 0 60992841 145571840 16942 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 35540 16942 4160 2842 0 17234 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 142160 KiB
Current children cumulated memory: 67768 KiB
[startup+0.305411 s]*
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125551404/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=142804 memory=68408 CPUtime=0.29 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 15656 0 0 0 27 2 0 0 20 0 1 0 60992841 146231296 17102 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 35701 17102 4160 2842 0 17395 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142804 KiB
Current children cumulated memory: 68408 KiB
[startup+0.700185 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125519320/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=188088 memory=103100 CPUtime=0.68 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 24945 0 0 0 64 4 0 0 20 0 1 0 60992841 192602112 25775 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 47022 25775 4320 2842 0 28716 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 188088 KiB
Current children cumulated memory: 103100 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125519320/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=188428 memory=103740 CPUtime=1.48 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 25080 0 0 0 144 4 0 0 20 0 1 0 60992841 192950272 25935 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 47107 25935 4320 2842 0 28801 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 188428 KiB
Current children cumulated memory: 103740 KiB
[startup+3.10527 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125511256/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=195520 memory=110140 CPUtime=3.07 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 26708 0 0 0 303 4 0 0 20 0 1 0 60992841 200212480 27535 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 48880 27535 4320 2842 0 30574 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 195520 KiB
Current children cumulated memory: 110140 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 64483
/proc/meminfo: memFree=125507980/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=205732 memory=119484 CPUtime=6.26 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 29138 0 0 0 622 4 0 0 20 0 1 0 60992841 210669568 29871 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 51433 29871 4320 2842 0 33127 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 205732 KiB
Current children cumulated memory: 119484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 64484
/proc/meminfo: memFree=125488392/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=215300 memory=128444 CPUtime=12.63 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 31429 0 0 0 1259 4 0 0 20 0 1 0 60992841 220467200 32111 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 53825 32111 4320 2842 0 35519 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 215300 KiB
Current children cumulated memory: 128444 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 64484
/proc/meminfo: memFree=125452552/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=240196 memory=152892 CPUtime=25.4 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 37519 0 0 0 2534 6 0 0 20 0 1 0 60992841 245960704 38223 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 60049 38223 4352 2842 0 41743 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 240196 KiB
Current children cumulated memory: 152892 KiB
[startup+51.1053 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 64484
/proc/meminfo: memFree=125420924/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=240196 memory=152892 CPUtime=50.93 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 37520 0 0 0 5087 6 0 0 20 0 1 0 60992841 245960704 38223 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 60049 38223 4352 2842 0 41743 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 240196 KiB
Current children cumulated memory: 152892 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 64491
/proc/meminfo: memFree=125431124/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=240196 memory=153020 CPUtime=101.96 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 37538 0 0 0 10190 6 0 0 20 0 1 0 60992841 245960704 38255 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 60049 38255 4352 2842 0 41743 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 240196 KiB
Current children cumulated memory: 153020 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 64493
/proc/meminfo: memFree=125424712/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=244180 memory=156476 CPUtime=161.78 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 38408 0 0 0 16172 6 0 0 20 0 1 0 60992841 250040320 39119 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 61045 39119 4352 2842 0 42739 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 244180 KiB
Current children cumulated memory: 156476 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 64495
/proc/meminfo: memFree=125390624/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=269452 memory=178492 CPUtime=221.6 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 43918 0 0 0 22153 7 0 0 20 0 1 0 60992841 275918848 44623 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 67363 44623 4352 2842 0 49057 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 269452 KiB
Current children cumulated memory: 178492 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 64500
/proc/meminfo: memFree=125331784/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=272136 memory=181564 CPUtime=281.42 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 44580 0 0 0 28135 7 0 0 20 0 1 0 60992841 278667264 45391 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 68034 45391 4480 2842 0 49728 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 272136 KiB
Current children cumulated memory: 181564 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 4.15 4.11 5/264 64502
/proc/meminfo: memFree=125201756/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=327668 memory=239588 CPUtime=341.23 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 48411 0 0 0 34090 33 0 0 20 0 1 0 60992841 335532032 59897 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 81917 59897 4640 2842 0 63611 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 327668 KiB
Current children cumulated memory: 239588 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/263 64504
/proc/meminfo: memFree=125112632/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=379248 memory=265512 CPUtime=401.05 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 50310 0 0 0 40049 56 0 0 20 0 1 0 60992841 388349952 66378 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 94812 66378 4640 2842 0 76506 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 379248 KiB
Current children cumulated memory: 265512 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/263 64506
/proc/meminfo: memFree=125055364/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=415868 memory=306856 CPUtime=460.86 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 56028 0 0 0 46015 71 0 0 20 0 1 0 60992841 425848832 76714 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 103967 76714 4640 2842 0 85661 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 5/262 64551
/proc/meminfo: memFree=124913988/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458280 memory=357916 CPUtime=1178.57 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63203 0 0 0 117658 199 0 0 20 0 1 0 60992841 469278720 89479 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114570 89479 4640 2842 0 96264 0
Current children cumulated CPU time: 1178.57 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 357916 KiB
[startup+1242.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 64554
/proc/meminfo: memFree=124870656/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458280 memory=357916 CPUtime=1238.37 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63203 0 0 0 123627 210 0 0 20 0 1 0 60992841 469278720 89479 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114570 89479 4640 2842 0 96264 0
Current children cumulated CPU time: 1238.37 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 357916 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 64561
/proc/meminfo: memFree=124821944/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458280 memory=357916 CPUtime=1298.16 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63203 0 0 0 129596 220 0 0 20 0 1 0 60992841 469278720 89479 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114570 89479 4640 2842 0 96264 0
Current children cumulated CPU time: 1298.16 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 357916 KiB
[startup+1362.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 64563
/proc/meminfo: memFree=124784724/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458280 memory=357916 CPUtime=1357.96 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63222 0 0 0 135567 229 0 0 20 0 1 0 60992841 469278720 89479 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114570 89479 4640 2842 0 96264 0
Current children cumulated CPU time: 1357.96 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 357916 KiB
[startup+1422.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 64655
/proc/meminfo: memFree=125903688/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458280 memory=357916 CPUtime=1417.75 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63223 0 0 0 141535 240 0 0 20 0 1 0 60992841 469278720 89479 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114570 89479 4640 2842 0 96264 0
Current children cumulated CPU time: 1417.75 s
Current children cumulated vsize: 458280 KiB
Current children cumulated memory: 357916 KiB
[startup+1482.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64704
/proc/meminfo: memFree=123715372/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1477.52 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 147501 251 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1477.52 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1540.22 s]
# the end of solver process 64482 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1532.6 s, system=2.63538 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 64705
/proc/meminfo: memFree=123715340/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1480.01 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 147750 251 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1480.01 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1510.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 64706
/proc/meminfo: memFree=123709288/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1505.52 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 150293 259 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1505.52 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1523.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 64707
/proc/meminfo: memFree=123691564/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1518.27 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 151567 260 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1518.27 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1529.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1524.64 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 152204 260 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1524.64 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1536 s]*
/proc/loadavg: 4.16 4.12 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1531.03 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 152842 261 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1531.03 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1537.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1532.61 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 153000 261 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1532.61 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1539.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1534.22 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 153160 262 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1534.22 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1540 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1535.02 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 153240 262 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1535.02 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
[startup+1540.2 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 64707
/proc/meminfo: memFree=123694696/131249996 swapFree=33005272/33010684
[pid=64482] ppid=64479 vsize=458444 memory=358044 CPUtime=1535.21 cores=5,7
/proc/64482/stat : 64482 (mixed-bag) R 64479 64482 63799 0 -1 4194304 63244 0 0 0 153259 262 0 0 20 0 1 0 60992841 469446656 89511 18446744073709551615 4235264 15874749 140722587822864 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 52572160 140722587826588 140722587826665 140722587826665 140722587832267 0
/proc/64482/statm: 114611 89511 4640 2842 0 96305 0
Current children cumulated CPU time: 1535.21 s
Current children cumulated vsize: 458444 KiB
Current children cumulated memory: 358044 KiB
Child status: 0
Real time (s): 1540.22
CPU time (s): 1535.24
CPU user time (s): 1532.6
CPU system time (s): 2.63538
CPU usage (%): 99.6765
Max. virtual memory (cumulated for all children) (KiB): 458444
Max. memory (cumulated for all children) (KiB): 358044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1532.6
system time used= 2.63538
maximum resident set size= 360988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64024
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= 129
involuntary context switches= 8098
# summary of solver processes directly reported to runsolver:
# pid: 64482
# total CPU time (s): 1535.24
# total CPU user time (s): 1532.6
# total CPU system time (s): 2.63538
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.75985 second user time and 6.73337 second system time
The end
Begin job on nodeC023 at 2025-07-02 12:45:50
IDJOB=4504195
IDBENCH=155636
IDSOLVER=3340
FILE ID=nodeC023/4504195-1751453150
RUNJOBID= nodeC023-1751447326-63812
SLURM_JOB_ID= 9598425
Free space on /tmp= 431908 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504195-1751453150/watcher-4504195-1751453150 -o /tmp/evaluation-result-4504195-1751453150/solver-4504195-1751453150 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63812 --watchdog 3760 mixed-bag HOME/instance-4504195-1751453150.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=774967708
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.916
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3535.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3611.097
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3603.817
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3598.657
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125591580 kB
MemAvailable: 126695836 kB
Buffers: 1328 kB
Cached: 1901708 kB
SwapCached: 372 kB
Active: 3269896 kB
Inactive: 1730612 kB
Active(anon): 3056392 kB
Inactive(anon): 54520 kB
Active(file): 213504 kB
Inactive(file): 1676092 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005272 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16068 kB
Writeback: 16 kB
AnonPages: 3096908 kB
Mapped: 134740 kB
Shmem: 13440 kB
KReclaimable: 107800 kB
Slab: 195836 kB
SReclaimable: 107800 kB
SUnreclaim: 88036 kB
KernelStack: 4288 kB
PageTables: 9804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4025716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2406400 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-02 13:11:30