0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.09	c #variables 9940 #constraints 24510
135.18/135.65	c bounds - >= -70 @ 0.077297
135.18/135.65	c bounds 21669059 >= -70 @ 3.36656
135.18/135.65	c bounds 19562213 >= -70 @ 3.60037
135.18/135.65	c bounds 19464993 >= -70 @ 3.67288
135.18/135.65	c bounds 19446777 >= -70 @ 3.6922
135.18/135.65	c bounds 19436397 >= -70 @ 3.74405
135.18/135.65	c bounds 18814985 >= -70 @ 4.78708
135.18/135.65	c bounds 18800243 >= -70 @ 4.88408
135.18/135.65	c bounds 18709221 >= -70 @ 4.91928
135.18/135.65	c bounds 18671157 >= -70 @ 4.99647
135.18/135.65	c bounds 18601221 >= -70 @ 5.08821
135.18/135.65	c bounds 18573263 >= -70 @ 5.12687
135.18/135.65	c bounds 16033973 >= -70 @ 5.39922
135.18/135.65	c bounds 15996759 >= -70 @ 5.43666
135.18/135.65	c bounds 15959565 >= -70 @ 5.50272
135.18/135.65	c bounds 11859041 >= -70 @ 6.30984
135.18/135.65	c bounds 10295313 >= -70 @ 6.69141
135.18/135.65	c bounds 10212413 >= -70 @ 6.74309
135.18/135.65	c bounds 10196813 >= -70 @ 6.8948
135.18/135.65	c bounds 10161281 >= -70 @ 7.00884
135.18/135.65	c bounds 10161073 >= -70 @ 7.46024
135.18/135.65	c bounds 8597345 >= -70 @ 7.71233
135.18/135.65	c #Conflicts:       1000 | #Constraints:      25530
135.18/135.65	c bounds 8592935 >= -70 @ 8.21111
135.18/135.65	c bounds 8581119 >= -70 @ 8.33169
135.18/135.65	c bounds 8578855 >= -70 @ 8.38481
135.18/135.65	c bounds 8434795 >= -70 @ 12.1067
135.18/135.65	c bounds 8431243 >= -70 @ 12.1881
135.18/135.65	c bounds 8419065 >= -70 @ 12.3342
135.18/135.65	c bounds 7743975 >= -70 @ 12.4716
135.18/135.65	c bounds 7730529 >= -70 @ 12.7627
135.18/135.65	c bounds 7679025 >= -70 @ 12.8388
135.18/135.65	c bounds 7615505 >= -70 @ 12.9262
135.18/135.65	c bounds 7579313 >= -70 @ 12.988
135.18/135.65	c bounds 7565839 >= -70 @ 13.1665
135.18/135.65	c bounds 7561761 >= -70 @ 13.238
135.18/135.65	c bounds 7511841 >= -70 @ 13.8136
135.18/135.65	c #Conflicts:       2000 | #Constraints:      26544
135.18/135.65	c INPROCESSING
135.18/135.65	c GARBAGE COLLECT
135.18/135.65	c bounds 7502979 >= -70 @ 15.5483
135.18/135.65	c bounds 7498929 >= -70 @ 15.6115
135.18/135.65	c bounds 7477535 >= -70 @ 15.6632
135.18/135.65	c bounds 7471301 >= -70 @ 15.7839
135.18/135.65	c bounds 7420719 >= -70 @ 15.8393
135.18/135.65	c bounds 7398943 >= -70 @ 16.2418
135.18/135.65	c bounds 7381431 >= -70 @ 16.3494
135.18/135.65	c bounds 7277765 >= -70 @ 16.4197
135.18/135.65	c bounds 7271125 >= -70 @ 16.6375
135.18/135.65	c bounds 7270157 >= -70 @ 16.7485
135.18/135.65	c bounds 7267037 >= -70 @ 16.8293
135.18/135.65	c bounds 7245791 >= -70 @ 16.9641
135.18/135.65	c bounds 7245121 >= -70 @ 17.0666
135.18/135.65	c bounds 7198861 >= -70 @ 17.137
135.18/135.65	c bounds 7194709 >= -70 @ 17.204
135.18/135.65	c bounds 7182143 >= -70 @ 17.5362
135.18/135.65	c #Conflicts:       3000 | #Constraints:      19841
135.18/135.65	c bounds 7174957 >= -70 @ 28.1091
135.18/135.65	c bounds 6800845 >= -70 @ 28.3944
135.18/135.65	c bounds 6793975 >= -70 @ 29.9861
135.18/135.65	c bounds 6753787 >= -70 @ 32.4531
135.18/135.65	c #Conflicts:       4000 | #Constraints:      20847
135.18/135.65	c bounds 6735609 >= -70 @ 32.7056
135.18/135.65	c INPROCESSING
135.18/135.65	c GARBAGE COLLECT
135.18/135.65	c bounds 6731467 >= -70 @ 34.1499
135.18/135.65	c bounds 6727879 >= -70 @ 34.3804
135.18/135.65	c bounds 6719239 >= -70 @ 34.4548
135.18/135.65	c bounds 6703441 >= -70 @ 34.6006
135.18/135.65	c bounds 6681417 >= -70 @ 34.7212
135.18/135.65	c bounds 6680059 >= -70 @ 34.7975
135.18/135.65	c bounds 6670387 >= -70 @ 35.1645
135.18/135.65	c bounds 6656545 >= -70 @ 35.3885
135.18/135.65	c bounds 6325143 >= -70 @ 35.5972
135.18/135.65	c #Conflicts:       5000 | #Constraints:      19965
135.18/135.65	c #Conflicts:       6000 | #Constraints:      20968
135.18/135.65	c INPROCESSING
135.18/135.65	c GARBAGE COLLECT
135.18/135.65	c bounds 6322111 >= -70 @ 63.1373
135.18/135.65	c #Conflicts:       7000 | #Constraints:      19815
135.18/135.65	c bounds 6294129 >= -70 @ 74.9378
135.18/135.65	c #Conflicts:       8000 | #Constraints:      20816
135.18/135.65	c #Conflicts:       9000 | #Constraints:      21817
135.18/135.65	c INPROCESSING
135.18/135.65	c GARBAGE COLLECT
135.18/135.65	c bounds 6289323 >= -70 @ 93.641
135.18/135.65	c bounds 6282809 >= -70 @ 93.7724
135.18/135.65	c bounds 6267607 >= -70 @ 94.1334
135.18/135.65	c bounds 6260053 >= -70 @ 94.3042
135.18/135.65	c bounds 6240633 >= -70 @ 95.1237
135.18/135.65	c bounds 6233235 >= -70 @ 95.6544
135.18/135.65	c bounds 6219971 >= -70 @ 96.3536
135.18/135.65	c bounds 6208595 >= -70 @ 96.8271
135.18/135.65	c bounds 6190849 >= -70 @ 97.0423
135.18/135.65	c bounds 6162851 >= -70 @ 97.2793
135.18/135.65	c bounds 6132825 >= -70 @ 99.5135
135.18/135.65	c bounds 6132643 >= -70 @ 99.7589
135.18/135.65	c bounds 6121673 >= -70 @ 100.099
135.18/135.65	c bounds 6114723 >= -70 @ 100.431
135.18/135.65	c bounds 6097323 >= -70 @ 107.581
135.18/135.65	c bounds 6084877 >= -70 @ 108.144
135.18/135.65	c #Conflicts:      10000 | #Constraints:      20552
135.18/135.65	c bounds 6074267 >= -70 @ 112.131
135.18/135.65	c bounds 6073131 >= -70 @ 114.752
135.18/135.65	c bounds 6070067 >= -70 @ 115.336
135.18/135.65	c #Conflicts:      11000 | #Constraints:      21555
135.18/135.65	c bounds 6067855 >= -70 @ 128.206
135.18/135.65	c bounds 5920979 >= -70 @ 128.554
135.18/135.65	c bounds 5918873 >= -70 @ 128.87
135.18/135.65	c bounds 5906463 >= -70 @ 129.557
135.18/135.65	c #Conflicts:      12000 | #Constraints:      22559
135.18/135.65	c INPROCESSING
135.18/135.65	c GARBAGE COLLECT
135.18/135.65	c bounds 5882537 >= -70 @ 132.021
135.18/135.65	c bounds 5881083 >= -70 @ 132.346
135.18/135.65	c bounds 5874409 >= -70 @ 132.585
135.18/135.65	c bounds 5853535 >= -70 @ 132.965
135.18/135.65	c bounds 5846001 >= -70 @ 133.114
135.18/135.65	c bounds 5842185 >= -70 @ 133.253
135.18/135.65	c bounds 5781319 >= -70 @ 133.521
181.16/181.76	c bounds 5776535 >= -70 @ 133.961
181.16/181.76	c bounds 5775247 >= -70 @ 134.125
181.16/181.76	c bounds 5730759 >= -70 @ 135.261
181.16/181.76	c bounds 5728117 >= -70 @ 135.511
181.16/181.76	c bounds 5703731 >= -70 @ 135.827
181.16/181.76	c bounds 5639581 >= -70 @ 136.078
181.16/181.76	c bounds 5636223 >= -70 @ 137.091
181.16/181.76	c bounds 5615331 >= -70 @ 137.695
181.16/181.76	c bounds 5614375 >= -70 @ 137.847
181.16/181.76	c bounds 5611955 >= -70 @ 138.771
181.16/181.76	c bounds 5572969 >= -70 @ 138.945
181.16/181.76	c bounds 5570561 >= -70 @ 139.305
181.16/181.76	c bounds 5566547 >= -70 @ 139.891
181.16/181.76	c bounds 5563619 >= -70 @ 142.131
181.16/181.76	c bounds 5546851 >= -70 @ 142.325
181.16/181.76	c bounds 5544877 >= -70 @ 142.471
181.16/181.76	c bounds 5508165 >= -70 @ 143.529
181.16/181.76	c bounds 5505117 >= -70 @ 144.022
181.16/181.76	c bounds 5503701 >= -70 @ 144.281
181.16/181.76	c #Conflicts:      13000 | #Constraints:      20866
181.16/181.76	c bounds 5496263 >= -70 @ 146.787
181.16/181.76	c bounds 5492417 >= -70 @ 147.452
181.16/181.76	c #Conflicts:      14000 | #Constraints:      21868
181.16/181.76	c #Conflicts:      15000 | #Constraints:      22868
181.16/181.76	c INPROCESSING
181.16/181.76	c GARBAGE COLLECT
181.16/181.76	c rational objective 1.7867e+06
346.52/347.54	c bounds 5489953 >= -70 @ 179.999
346.52/347.54	c bounds 5489183 >= -70 @ 180.21
346.52/347.54	c bounds 5487967 >= -70 @ 180.653
346.52/347.54	c bounds 5486335 >= -70 @ 181.49
346.52/347.54	c bounds 5482381 >= -70 @ 181.856
346.52/347.54	c bounds 5473133 >= -70 @ 182.329
346.52/347.54	c bounds 5472085 >= -70 @ 182.497
346.52/347.54	c bounds 5472055 >= -70 @ 182.88
346.52/347.54	c bounds 5464393 >= -70 @ 183.414
346.52/347.54	c bounds 5461999 >= -70 @ 184.363
346.52/347.54	c bounds 5438405 >= -70 @ 184.55
346.52/347.54	c bounds 5437115 >= -70 @ 184.976
346.52/347.54	c bounds 5436729 >= -70 @ 185.313
346.52/347.54	c bounds 5432125 >= -70 @ 185.713
346.52/347.54	c bounds 5406967 >= -70 @ 187.446
346.52/347.54	c bounds 5394551 >= -70 @ 188.652
346.52/347.54	c #Conflicts:      16000 | #Constraints:      20943
346.52/347.54	c bounds 5394225 >= -70 @ 194.179
346.52/347.54	c bounds 5359267 >= -70 @ 200.199
346.52/347.54	c #Conflicts:      17000 | #Constraints:      21945
346.52/347.54	c #Conflicts:      18000 | #Constraints:      22945
346.52/347.54	c INPROCESSING
346.52/347.54	c GARBAGE COLLECT
346.52/347.54	c #Conflicts:      19000 | #Constraints:      20855
346.52/347.54	c #Conflicts:      20000 | #Constraints:      21855
346.52/347.54	c #Conflicts:      21000 | #Constraints:      22855
346.52/347.54	c INPROCESSING
346.52/347.54	c GARBAGE COLLECT
346.52/347.54	c #Conflicts:      22000 | #Constraints:      20592
346.52/347.54	c #Conflicts:      23000 | #Constraints:      21592
346.52/347.54	c #Conflicts:      24000 | #Constraints:      22592
346.52/347.54	c #Conflicts:      25000 | #Constraints:      23592
346.52/347.54	c INPROCESSING
346.52/347.54	c GARBAGE COLLECT
346.52/347.54	c rational objective 1.78833e+06
502.91/504.37	c bounds 5357053 >= -70 @ 348.482
502.91/504.37	c bounds 5355555 >= -70 @ 348.731
502.91/504.37	c bounds 5355027 >= -70 @ 349.382
502.91/504.37	c bounds 5331645 >= -70 @ 349.822
502.91/504.37	c bounds 5328595 >= -70 @ 350.345
502.91/504.37	c bounds 5328003 >= -70 @ 350.766
502.91/504.37	c bounds 5323035 >= -70 @ 351.268
502.91/504.37	c bounds 5321537 >= -70 @ 351.555
502.91/504.37	c bounds 5304513 >= -70 @ 353.53
502.91/504.37	c bounds 5298783 >= -70 @ 354.063
502.91/504.37	c #Conflicts:      26000 | #Constraints:      21213
502.91/504.37	c bounds 5291039 >= -70 @ 354.467
502.91/504.37	c bounds 5283161 >= -70 @ 355.698
502.91/504.37	c bounds 5190845 >= -70 @ 368.755
502.91/504.37	c bounds 5176181 >= -70 @ 369.268
502.91/504.37	c bounds 5108431 >= -70 @ 369.487
502.91/504.37	c #Conflicts:      27000 | #Constraints:      22222
502.91/504.37	c bounds 5096365 >= -70 @ 372.518
502.91/504.37	c bounds 5093449 >= -70 @ 372.8
502.91/504.37	c bounds 5092351 >= -70 @ 373.324
502.91/504.37	c bounds 5087737 >= -70 @ 373.639
502.91/504.37	c bounds 5085457 >= -70 @ 374.661
502.91/504.37	c bounds 5081027 >= -70 @ 375.506
502.91/504.37	c bounds 5074123 >= -70 @ 375.976
502.91/504.37	c bounds 5044617 >= -70 @ 376.262
502.91/504.37	c bounds 5044343 >= -70 @ 377.933
502.91/504.37	c bounds 5043541 >= -70 @ 378.322
502.91/504.37	c bounds 5043455 >= -70 @ 378.628
502.91/504.37	c bounds 5042927 >= -70 @ 379.904
502.91/504.37	c #Conflicts:      28000 | #Constraints:      23243
502.91/504.37	c bounds 5017937 >= -70 @ 385.673
502.91/504.37	c bounds 5016781 >= -70 @ 386.051
502.91/504.37	c bounds 5008269 >= -70 @ 386.435
502.91/504.37	c bounds 5008237 >= -70 @ 386.792
502.91/504.37	c bounds 5003715 >= -70 @ 387.107
502.91/504.37	c bounds 4979343 >= -70 @ 387.679
502.91/504.37	c bounds 4971423 >= -70 @ 388.458
502.91/504.37	c bounds 4968189 >= -70 @ 389.225
502.91/504.37	c bounds 4963199 >= -70 @ 390.096
502.91/504.37	c bounds 4956353 >= -70 @ 390.772
502.91/504.37	c bounds 4938951 >= -70 @ 391.242
502.91/504.37	c bounds 4928663 >= -70 @ 391.702
502.91/504.37	c bounds 4927541 >= -70 @ 392.147
502.91/504.37	c bounds 4927341 >= -70 @ 392.523
502.91/504.37	c bounds 4901221 >= -70 @ 393.278
502.91/504.37	c bounds 4899365 >= -70 @ 393.735
502.91/504.37	c bounds 4897783 >= -70 @ 398.938
502.91/504.37	c bounds 4897369 >= -70 @ 399.373
502.91/504.37	c bounds 4886223 >= -70 @ 400.157
502.91/504.37	c bounds 4883665 >= -70 @ 400.782
502.91/504.37	c bounds 4880475 >= -70 @ 404.104
502.91/504.37	c bounds 4836223 >= -70 @ 404.623
502.91/504.37	c bounds 4824015 >= -70 @ 407.072
502.91/504.37	c bounds 4811495 >= -70 @ 407.706
502.91/504.37	c bounds 4795081 >= -70 @ 408.541
502.91/504.37	c #Conflicts:      29000 | #Constraints:      24273
502.91/504.37	c INPROCESSING
502.91/504.37	c GARBAGE COLLECT
502.91/504.37	c bounds 4794449 >= -70 @ 409.644
502.91/504.37	c bounds 4790801 >= -70 @ 410.675
502.91/504.37	c bounds 4790679 >= -70 @ 410.819
502.91/504.37	c bounds 4789497 >= -70 @ 410.968
502.91/504.37	c bounds 4788399 >= -70 @ 411.158
502.91/504.37	c bounds 4785199 >= -70 @ 411.633
502.91/504.37	c bounds 4781775 >= -70 @ 411.996
502.91/504.37	c bounds 4756573 >= -70 @ 412.222
502.91/504.37	c bounds 4755797 >= -70 @ 414.82
502.91/504.37	c bounds 4755761 >= -70 @ 415.005
502.91/504.37	c bounds 4753463 >= -70 @ 415.225
502.91/504.37	c bounds 4752401 >= -70 @ 415.403
502.91/504.37	c bounds 4752119 >= -70 @ 415.846
502.91/504.37	c bounds 4719359 >= -70 @ 416.06
502.91/504.37	c bounds 4717007 >= -70 @ 416.402
502.91/504.37	c bounds 4706639 >= -70 @ 417.044
502.91/504.37	c bounds 4691213 >= -70 @ 417.321
502.91/504.37	c bounds 4690115 >= -70 @ 417.725
502.91/504.37	c bounds 4687571 >= -70 @ 418.015
502.91/504.37	c bounds 4686965 >= -70 @ 418.688
502.91/504.37	c #Conflicts:      30000 | #Constraints:      21439
502.91/504.37	c bounds 4665781 >= -70 @ 422.027
502.91/504.37	c bounds 4661095 >= -70 @ 422.277
502.91/504.37	c bounds 4660981 >= -70 @ 422.602
502.91/504.37	c bounds 4649221 >= -70 @ 423.185
502.91/504.37	c bounds 4643293 >= -70 @ 423.962
502.91/504.37	c bounds 4642491 >= -70 @ 425.805
502.91/504.37	c bounds 4639419 >= -70 @ 426.066
502.91/504.37	c bounds 4626405 >= -70 @ 427.861
502.91/504.37	c bounds 4625661 >= -70 @ 428.135
502.91/504.37	c bounds 4612925 >= -70 @ 429.07
502.91/504.37	c bounds 4605379 >= -70 @ 431.75
502.91/504.37	c bounds 4604561 >= -70 @ 433.123
502.91/504.37	c bounds 4604419 >= -70 @ 434.171
502.91/504.37	c bounds 4591097 >= -70 @ 434.664
502.91/504.37	c bounds 4586177 >= -70 @ 435.421
502.91/504.37	c bounds 4582233 >= -70 @ 436.044
502.91/504.37	c #Conflicts:      31000 | #Constraints:      22468
502.91/504.37	c bounds 4577525 >= -70 @ 437.948
502.91/504.37	c bounds 4575287 >= -70 @ 444.071
502.91/504.37	c bounds 4572509 >= -70 @ 446.986
502.91/504.37	c bounds 4559151 >= -70 @ 450.096
502.91/504.37	c #Conflicts:      32000 | #Constraints:      23478
502.91/504.37	c #Conflicts:      33000 | #Constraints:      24480
502.91/504.37	c INPROCESSING
502.91/504.37	c GARBAGE COLLECT
502.91/504.37	c bounds 4557911 >= -70 @ 481.373
502.91/504.37	c bounds 4557887 >= -70 @ 481.743
502.91/504.37	c bounds 4557719 >= -70 @ 481.929
502.91/504.37	c bounds 4557337 >= -70 @ 482.461
502.91/504.37	c bounds 4555411 >= -70 @ 485.105
502.91/504.37	c bounds 4553677 >= -70 @ 485.295
502.91/504.37	c bounds 4543807 >= -70 @ 486.271
502.91/504.37	c bounds 4543261 >= -70 @ 491.379
502.91/504.37	c #Conflicts:      34000 | #Constraints:      21523
502.91/504.37	c bounds 4537181 >= -70 @ 494.714
502.91/504.37	c bounds 4531487 >= -70 @ 495.008
502.91/504.37	c bounds 4531337 >= -70 @ 496.526
502.91/504.37	c bounds 4529009 >= -70 @ 496.988
502.91/504.37	c bounds 4512521 >= -70 @ 498.997
559.67/561.21	c #Conflicts:      35000 | #Constraints:      22550
559.67/561.21	c bounds 4512177 >= -70 @ 505.488
559.67/561.21	c bounds 4512083 >= -70 @ 505.855
559.67/561.21	c bounds 4511969 >= -70 @ 506.646
559.67/561.21	c bounds 4511895 >= -70 @ 507.042
559.67/561.21	c bounds 4510567 >= -70 @ 508.687
559.67/561.21	c bounds 4510021 >= -70 @ 509.084
559.67/561.21	c bounds 4509871 >= -70 @ 509.534
559.67/561.21	c #Conflicts:      36000 | #Constraints:      23559
559.67/561.21	c #Conflicts:      37000 | #Constraints:      24560
559.67/561.21	c INPROCESSING
559.67/561.21	c GARBAGE COLLECT
559.67/561.21	c rational objective 1.79892e+06
950.33/952.97	c #Conflicts:      38000 | #Constraints:      21447
950.33/952.97	c #Conflicts:      39000 | #Constraints:      22447
950.33/952.97	c #Conflicts:      40000 | #Constraints:      23447
950.33/952.97	c #Conflicts:      41000 | #Constraints:      24448
950.33/952.97	c INPROCESSING
950.33/952.97	c GARBAGE COLLECT
950.33/952.97	c #Conflicts:      42000 | #Constraints:      20845
950.33/952.97	c #Conflicts:      43000 | #Constraints:      21846
950.33/952.97	c #Conflicts:      44000 | #Constraints:      22846
950.33/952.97	c #Conflicts:      45000 | #Constraints:      23847
950.33/952.97	c #Conflicts:      46000 | #Constraints:      24850
950.33/952.97	c INPROCESSING
950.33/952.97	c GARBAGE COLLECT
950.33/952.97	c #Conflicts:      47000 | #Constraints:      21393
950.33/952.97	c #Conflicts:      48000 | #Constraints:      22393
950.33/952.97	c #Conflicts:      49000 | #Constraints:      23393
950.33/952.97	c #Conflicts:      50000 | #Constraints:      24394
950.33/952.97	c #Conflicts:      51000 | #Constraints:      25399
950.33/952.97	c INPROCESSING
950.33/952.97	c GARBAGE COLLECT
950.33/952.97	c #Conflicts:      52000 | #Constraints:      21896
950.33/952.97	c #Conflicts:      53000 | #Constraints:      22896
950.33/952.97	c #Conflicts:      54000 | #Constraints:      23896
950.33/952.97	c #Conflicts:      55000 | #Constraints:      24897
950.33/952.97	c #Conflicts:      56000 | #Constraints:      25899
950.33/952.97	c INPROCESSING
950.33/952.97	c GARBAGE COLLECT
950.33/952.97	c rational objective 1.8067e+06
1043.99/1046.88	c #Conflicts:      57000 | #Constraints:      21975
1043.99/1046.88	c #Conflicts:      58000 | #Constraints:      22977
1043.99/1046.88	c #Conflicts:      59000 | #Constraints:      23977
1043.99/1046.88	c #Conflicts:      60000 | #Constraints:      24977
1043.99/1046.88	c #Conflicts:      61000 | #Constraints:      25977
1043.99/1046.88	c INPROCESSING
1043.99/1046.88	c GARBAGE COLLECT
1043.99/1046.88	c bounds 4507987 >= -70 @ 1017.11
1043.99/1046.88	c bounds 4507961 >= -70 @ 1017.98
1043.99/1046.88	c bounds 4507307 >= -70 @ 1018.11
1043.99/1046.88	c bounds 4505627 >= -70 @ 1018.22
1043.99/1046.88	c #Conflicts:      62000 | #Constraints:      21478
1043.99/1046.88	WSVECS04 Frhs2[266]: 6 -59049 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[372]: 6 -73984 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[398]: 6 -58081 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[408]: 6 -37249 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[746]: 6 -40804 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[886]: 6 -36100 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[994]: 6 -73984 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[1376]: 6 -34969 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[1876]: 6 -45369 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2226]: 6 -38809 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2366]: 6 -32041 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2816]: 6 -64009 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2820]: 6 -36100 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2842]: 6 -57121 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2849]: 6 -40804 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2860]: 6 -65536 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2863]: 6 -37249 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2868]: 6 -36481 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[2954]: 6 -58081 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3056]: 6 -40804 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3573]: 6 -32041 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3575]: 6 -42436 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3579]: 6 -58081 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3582]: 6 -59049 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3603]: 6 -45369 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3608]: 6 -38809 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3629]: 6 -40000 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3636]: 6 -73984 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3640]: 6 -23104 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3724]: 6 -37249 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3836]: 6 -40000 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3906]: 6 -42436 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[3966]: 6 -65536 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4396]: 6 -73984 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4526]: 6 -36481 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4746]: 6 -23104 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4956]: 6 -58081 0 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4972]: 6 0 1.00001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4974]: 6 0 1.0001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4975]: 6 0 1.00005 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4976]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4978]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4980]: 6 0 1.00008 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4981]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4982]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4983]: 6 0 1.00008 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4985]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4987]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4988]: 6 0 1.00008 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4991]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4992]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4996]: 6 0 1.00001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4998]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[4999]: 6 0 1.00001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5000]: 6 0 1.00001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5001]: 6 0 1.0001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5003]: 6 0 1.00005 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5005]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5006]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5008]: 6 0 1.00007 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5010]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5011]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5012]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5013]: 6 0 1.00005 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5018]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5020]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5021]: 6 0 1.00008 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5022]: 6 0 1.00004 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5023]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5024]: 6 0 1.0001 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5027]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5028]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5029]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5031]: 6 0 1.00006 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5032]: 6 0 1.00009 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5034]: 6 0 1.00005 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5035]: 6 0 1.00003 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5036]: 6 0 1.00002 shouldn't be
1043.99/1046.88	WSVECS04 Frhs2[5040]: 6 0 1.00009 shouldn't be
1258.90/1262.34	c #Conflicts:      63000 | #Constraints:      22478
1258.90/1262.34	c bounds 4486323 >= -70 @ 1052.5
1258.90/1262.34	c bounds 4483071 >= -70 @ 1055.45
1258.90/1262.34	c bounds 4443507 >= -70 @ 1060.15
1258.90/1262.34	c bounds 4440441 >= -70 @ 1060.42
1258.90/1262.34	c bounds 4434953 >= -70 @ 1062.17
1258.90/1262.34	c bounds 4432895 >= -70 @ 1062.44
1258.90/1262.34	c #Conflicts:      64000 | #Constraints:      23484
1258.90/1262.34	c #Conflicts:      65000 | #Constraints:      24484
1258.90/1262.34	c #Conflicts:      66000 | #Constraints:      25484
1258.90/1262.34	c INPROCESSING
1258.90/1262.34	c GARBAGE COLLECT
1258.90/1262.34	c #Conflicts:      67000 | #Constraints:      21136
1258.90/1262.34	c #Conflicts:      68000 | #Constraints:      22136
1258.90/1262.34	c #Conflicts:      69000 | #Constraints:      23136
1258.90/1262.34	c #Conflicts:      70000 | #Constraints:      24136
1258.90/1262.34	c #Conflicts:      71000 | #Constraints:      25136
1258.90/1262.34	c #Conflicts:      72000 | #Constraints:      26136
1258.90/1262.34	c INPROCESSING
1258.90/1262.34	c GARBAGE COLLECT
1258.90/1262.34	WSVECS04 Frhs2[4971]: 6 0 1.00005 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[4977]: 6 0 1.00008 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[4984]: 6 0 1.00009 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[4993]: 6 0 1.00005 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[4994]: 6 0 1.0001 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[4995]: 6 0 1.00005 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5002]: 6 0 1.0001 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5004]: 6 0 1.00006 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5009]: 6 0 1.00003 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5014]: 6 0 1.00007 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5015]: 6 0 1.00004 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5017]: 6 0 1.00006 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5019]: 6 0 1.00006 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5025]: 6 0 1.00008 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5026]: 6 0 1.00005 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5038]: 6 0 1.00003 shouldn't be
1258.90/1262.34	WSVECS04 Frhs2[5039]: 6 0 1.00009 shouldn't be
1261.60/1265.00	c rational objective 1.8073e+06
1492.09/1496.13	c bounds 4413663 >= -70 @ 1254.69
1492.09/1496.13	c bounds 4412069 >= -70 @ 1254.78
1492.09/1496.13	c bounds 4388597 >= -70 @ 1255.09
1492.09/1496.13	c bounds 4333343 >= -70 @ 1255.25
1492.09/1496.13	c bounds 4313773 >= -70 @ 1255.48
1492.09/1496.13	c bounds 4281985 >= -70 @ 1255.94
1492.09/1496.13	c bounds 4277043 >= -70 @ 1256.47
1492.09/1496.13	c bounds 4261017 >= -70 @ 1257.24
1492.09/1496.13	c bounds 4245933 >= -70 @ 1257.36
1492.09/1496.13	c bounds 4218037 >= -70 @ 1257.63
1492.09/1496.13	c bounds 4182459 >= -70 @ 1257.81
1492.09/1496.13	c bounds 4177573 >= -70 @ 1258.02
1492.09/1496.13	c bounds 4173459 >= -70 @ 1258.24
1492.09/1496.13	c bounds 4163497 >= -70 @ 1259.4
1492.09/1496.13	c bounds 4156745 >= -70 @ 1259.54
1492.09/1496.13	c bounds 4147563 >= -70 @ 1260.21
1492.09/1496.13	c bounds 4140165 >= -70 @ 1261.05
1492.09/1496.13	c bounds 4139139 >= -70 @ 1261.38
1492.09/1496.13	c bounds 4134573 >= -70 @ 1261.87
1492.09/1496.13	c bounds 4132395 >= -70 @ 1262.04
1492.09/1496.13	c bounds 4130319 >= -70 @ 1262.59
1492.09/1496.13	c bounds 4129671 >= -70 @ 1262.75
1492.09/1496.13	c bounds 4123215 >= -70 @ 1262.92
1492.09/1496.13	c bounds 4105107 >= -70 @ 1263.09
1492.09/1496.13	c #Conflicts:      73000 | #Constraints:      21629
1492.09/1496.13	c bounds 4103859 >= -70 @ 1263.52
1492.09/1496.13	c bounds 4101311 >= -70 @ 1263.65
1492.09/1496.13	c bounds 4099745 >= -70 @ 1263.82
1492.09/1496.13	c bounds 4083815 >= -70 @ 1265.62
1492.09/1496.13	c bounds 4056857 >= -70 @ 1267.56
1492.09/1496.13	c bounds 4049147 >= -70 @ 1269.35
1492.09/1496.13	c bounds 4045107 >= -70 @ 1269.6
1492.09/1496.13	c bounds 4043443 >= -70 @ 1271.5
1492.09/1496.13	c bounds 4042425 >= -70 @ 1273.03
1492.09/1496.13	c bounds 4040293 >= -70 @ 1273.61
1492.09/1496.13	c bounds 4038687 >= -70 @ 1274.36
1492.09/1496.13	c bounds 4028645 >= -70 @ 1274.58
1492.09/1496.13	c #Conflicts:      74000 | #Constraints:      22641
1492.09/1496.13	c bounds 4025261 >= -70 @ 1274.97
1492.09/1496.13	c bounds 4017783 >= -70 @ 1275.25
1492.09/1496.13	c bounds 4012919 >= -70 @ 1277.11
1492.09/1496.13	c bounds 4007419 >= -70 @ 1278.78
1492.09/1496.13	c bounds 4003861 >= -70 @ 1281.76
1492.09/1496.13	c bounds 3996021 >= -70 @ 1282.31
1492.09/1496.13	c bounds 3989843 >= -70 @ 1283.14
1492.09/1496.13	c bounds 3984109 >= -70 @ 1285.62
1492.09/1496.13	c #Conflicts:      75000 | #Constraints:      23649
1492.09/1496.13	c bounds 3979271 >= -70 @ 1292.98
1492.09/1496.13	c bounds 3978305 >= -70 @ 1293.6
1492.09/1496.13	c bounds 3954455 >= -70 @ 1294.2
1492.09/1496.13	c bounds 3954375 >= -70 @ 1298.49
1492.09/1496.13	c bounds 3944513 >= -70 @ 1299.23
1492.09/1496.13	c bounds 3941753 >= -70 @ 1303.49
1492.09/1496.13	c #Conflicts:      76000 | #Constraints:      24655
1492.09/1496.13	c #Conflicts:      77000 | #Constraints:      25655
1492.09/1496.13	c #Conflicts:      78000 | #Constraints:      26655
1492.09/1496.13	c INPROCESSING
1492.09/1496.13	c GARBAGE COLLECT
1492.09/1496.13	c bounds 3935729 >= -70 @ 1366.56
1492.09/1496.13	c #Conflicts:      79000 | #Constraints:      21986
1492.09/1496.13	c bounds 3933777 >= -70 @ 1377.64
1492.09/1496.13	c #Conflicts:      80000 | #Constraints:      22991
1492.09/1496.13	c bounds 3928635 >= -70 @ 1380.65
1492.09/1496.13	c #Conflicts:      81000 | #Constraints:      24010
1492.09/1496.13	c #Conflicts:      82000 | #Constraints:      25014
1492.09/1496.13	c #Conflicts:      83000 | #Constraints:      26014
1492.09/1496.13	c #Conflicts:      84000 | #Constraints:      27014
1492.09/1496.13	c INPROCESSING
1492.09/1496.13	c GARBAGE COLLECT
1492.09/1496.13	c rational objective 1.81863e+06
1663.14/1667.66	c #Conflicts:      85000 | #Constraints:      22102
1663.14/1667.66	c #Conflicts:      86000 | #Constraints:      23102
1663.14/1667.66	c #Conflicts:      87000 | #Constraints:      24102
1663.14/1667.66	c #Conflicts:      88000 | #Constraints:      25104
1663.14/1667.66	c #Conflicts:      89000 | #Constraints:      26104
1663.14/1667.66	c #Conflicts:      90000 | #Constraints:      27104
1663.14/1667.66	c INPROCESSING
1663.14/1667.66	c GARBAGE COLLECT
1663.14/1667.66	c #Conflicts:      91000 | #Constraints:      21897
1663.14/1667.66	c #Conflicts:      92000 | #Constraints:      22898
1663.14/1667.66	c #Conflicts:      93000 | #Constraints:      23903
1663.14/1667.66	c #Conflicts:      94000 | #Constraints:      24906
1663.14/1667.66	c #Conflicts:      95000 | #Constraints:      25908
1663.14/1667.66	c #Conflicts:      96000 | #Constraints:      26915
1663.14/1667.66	c bounds 3924501 >= -70 @ 1633.33
1663.14/1667.66	c bounds 3916571 >= -70 @ 1645.42
1663.14/1667.66	c INPROCESSING
1663.14/1667.66	c GARBAGE COLLECT
1663.14/1667.66	c rational objective 1.82033e+06
1889.43/1894.57	c #Conflicts:      97000 | #Constraints:      21715
1889.43/1894.57	c #Conflicts:      98000 | #Constraints:      22715
1889.43/1894.57	c #Conflicts:      99000 | #Constraints:      23715
1889.43/1894.57	c #Conflicts:     100000 | #Constraints:      24715
1889.43/1894.57	c #Conflicts:     101000 | #Constraints:      25715
1889.43/1894.57	c #Conflicts:     102000 | #Constraints:      26715
1889.43/1894.57	c #Conflicts:     103000 | #Constraints:      27715
1889.43/1894.57	c INPROCESSING
1889.43/1894.57	c GARBAGE COLLECT
1889.43/1894.57	c #Conflicts:     104000 | #Constraints:      22271
1889.43/1894.57	c #Conflicts:     105000 | #Constraints:      23271
1889.43/1894.57	c #Conflicts:     106000 | #Constraints:      24271
1889.43/1894.57	c #Conflicts:     107000 | #Constraints:      25271
1889.43/1894.57	c #Conflicts:     108000 | #Constraints:      26271
1889.43/1894.57	c #Conflicts:     109000 | #Constraints:      27271
1889.43/1894.57	c #Conflicts:     110000 | #Constraints:      28271
1889.43/1894.57	c INPROCESSING
1889.43/1894.57	c GARBAGE COLLECT
1889.43/1894.57	c rational objective 1.82201e+06
2030.55/2036.08	c bounds 3914587 >= -70 @ 1879.61
2030.55/2036.08	c bounds 3911707 >= -70 @ 1882.02
2030.55/2036.08	c bounds 3909643 >= -70 @ 1882.16
2030.55/2036.08	c bounds 3908463 >= -70 @ 1884.75
2030.55/2036.08	c #Conflicts:     111000 | #Constraints:      22610
2030.55/2036.08	c #Conflicts:     112000 | #Constraints:      23610
2030.55/2036.08	c #Conflicts:     113000 | #Constraints:      24610
2030.55/2036.08	c bounds 3908269 >= -70 @ 1915.26
2030.55/2036.08	c bounds 3906211 >= -70 @ 1918.3
2030.55/2036.08	c bounds 3896033 >= -70 @ 1922.51
2030.55/2036.08	c bounds 3894925 >= -70 @ 1926.42
2030.55/2036.08	c bounds 3892789 >= -70 @ 1926.83
2030.55/2036.08	c #Conflicts:     114000 | #Constraints:      25617
2030.55/2036.08	c #Conflicts:     115000 | #Constraints:      26621
2030.55/2036.08	c #Conflicts:     116000 | #Constraints:      27621
2030.55/2036.08	c #Conflicts:     117000 | #Constraints:      28623
2030.55/2036.08	c INPROCESSING
2030.55/2036.08	c GARBAGE COLLECT
2030.55/2036.08	c rational objective 1.82457e+06
2189.15/2195.16	c #Conflicts:     118000 | #Constraints:      22744
2189.15/2195.16	c #Conflicts:     119000 | #Constraints:      23745
2189.15/2195.16	c #Conflicts:     120000 | #Constraints:      24745
2189.15/2195.16	c #Conflicts:     121000 | #Constraints:      25746
2189.15/2195.16	c #Conflicts:     122000 | #Constraints:      26747
2189.15/2195.16	c #Conflicts:     123000 | #Constraints:      27749
2189.15/2195.16	c #Conflicts:     124000 | #Constraints:      28749
2189.15/2195.16	c INPROCESSING
2189.15/2195.16	c GARBAGE COLLECT
2189.15/2195.16	c rational objective 1.82457e+06
2445.03/2451.75	c #Conflicts:     125000 | #Constraints:      22705
2445.03/2451.75	c #Conflicts:     126000 | #Constraints:      23705
2445.03/2451.75	c #Conflicts:     127000 | #Constraints:      24706
2445.03/2451.75	c #Conflicts:     128000 | #Constraints:      25708
2445.03/2451.75	c #Conflicts:     129000 | #Constraints:      26709
2445.03/2451.75	c #Conflicts:     130000 | #Constraints:      27712
2445.03/2451.75	c #Conflicts:     131000 | #Constraints:      28712
2445.03/2451.75	c INPROCESSING
2445.03/2451.75	c GARBAGE COLLECT
2445.03/2451.75	c #Conflicts:     132000 | #Constraints:      22471
2445.03/2451.75	c #Conflicts:     133000 | #Constraints:      23471
2445.03/2451.75	c #Conflicts:     134000 | #Constraints:      24471
2445.03/2451.75	c #Conflicts:     135000 | #Constraints:      25471
2445.03/2451.75	c #Conflicts:     136000 | #Constraints:      26471
2445.03/2451.75	c #Conflicts:     137000 | #Constraints:      27471
2445.03/2451.75	c #Conflicts:     138000 | #Constraints:      28471
2445.03/2451.75	c #Conflicts:     139000 | #Constraints:      29471
2445.03/2451.75	c INPROCESSING
2445.03/2451.75	c GARBAGE COLLECT
2445.03/2451.75	c rational objective 1.82457e+06
2659.63/2666.93	c #Conflicts:     140000 | #Constraints:      23111
2659.63/2666.93	c #Conflicts:     141000 | #Constraints:      24111
2659.63/2666.93	c #Conflicts:     142000 | #Constraints:      25113
2659.63/2666.93	c #Conflicts:     143000 | #Constraints:      26119
2659.63/2666.93	c #Conflicts:     144000 | #Constraints:      27119
2659.63/2666.93	c #Conflicts:     145000 | #Constraints:      28119
2659.63/2666.93	c #Conflicts:     146000 | #Constraints:      29119
2659.63/2666.93	c #Conflicts:     147000 | #Constraints:      30119
2659.63/2666.93	c INPROCESSING
2659.63/2666.93	c GARBAGE COLLECT
2659.63/2666.93	c #Conflicts:     148000 | #Constraints:      23444
2659.63/2666.93	c #Conflicts:     149000 | #Constraints:      24444
2659.63/2666.93	c #Conflicts:     150000 | #Constraints:      25444
2659.63/2666.93	c #Conflicts:     151000 | #Constraints:      26444
2659.63/2666.93	c #Conflicts:     152000 | #Constraints:      27445
2659.63/2666.93	c #Conflicts:     153000 | #Constraints:      28445
2659.63/2666.93	c #Conflicts:     154000 | #Constraints:      29446
2659.63/2666.93	c #Conflicts:     155000 | #Constraints:      30447
2659.63/2666.93	c INPROCESSING
2659.63/2666.93	c GARBAGE COLLECT
2659.63/2666.93	c rational objective 1.82457e+06
2875.44/2883.32	c #Conflicts:     156000 | #Constraints:      23646
2875.44/2883.32	c #Conflicts:     157000 | #Constraints:      24648
2875.44/2883.32	c #Conflicts:     158000 | #Constraints:      25650
2875.44/2883.32	c #Conflicts:     159000 | #Constraints:      26653
2875.44/2883.32	c #Conflicts:     160000 | #Constraints:      27655
2875.44/2883.32	c #Conflicts:     161000 | #Constraints:      28658
2875.44/2883.32	c #Conflicts:     162000 | #Constraints:      29662
2875.44/2883.32	c #Conflicts:     163000 | #Constraints:      30663
2875.44/2883.32	c INPROCESSING
2875.44/2883.32	c GARBAGE COLLECT
2875.44/2883.32	c #Conflicts:     164000 | #Constraints:      23634
2875.44/2883.32	c #Conflicts:     165000 | #Constraints:      24635
2875.44/2883.32	c #Conflicts:     166000 | #Constraints:      25635
2875.44/2883.32	c #Conflicts:     167000 | #Constraints:      26635
2875.44/2883.32	c #Conflicts:     168000 | #Constraints:      27635
2875.44/2883.32	c #Conflicts:     169000 | #Constraints:      28637
2875.44/2883.32	c #Conflicts:     170000 | #Constraints:      29638
2875.44/2883.32	c #Conflicts:     171000 | #Constraints:      30638
2875.44/2883.32	c INPROCESSING
2875.44/2883.32	c GARBAGE COLLECT
2875.44/2883.32	c rational objective 1.82457e+06
3002.89/3011.21	c #Conflicts:     172000 | #Constraints:      23398
3002.89/3011.21	c #Conflicts:     173000 | #Constraints:      24398
3002.89/3011.21	c #Conflicts:     174000 | #Constraints:      25399
3002.89/3011.21	c #Conflicts:     175000 | #Constraints:      26399
3002.89/3011.21	c #Conflicts:     176000 | #Constraints:      27400
3002.89/3011.21	c #Conflicts:     177000 | #Constraints:      28400
3002.89/3011.21	c #Conflicts:     178000 | #Constraints:      29400
3002.89/3011.21	c #Conflicts:     179000 | #Constraints:      30400
3002.89/3011.21	c #Conflicts:     180000 | #Constraints:      31400
3002.89/3011.21	c INPROCESSING
3002.89/3011.21	c GARBAGE COLLECT
3002.89/3011.21	c rational objective 1.82457e+06
3230.94/3240.09	c #Conflicts:     181000 | #Constraints:      24045
3230.94/3240.09	c #Conflicts:     182000 | #Constraints:      25045
3230.94/3240.09	c #Conflicts:     183000 | #Constraints:      26045
3230.94/3240.09	c #Conflicts:     184000 | #Constraints:      27046
3230.94/3240.09	c #Conflicts:     185000 | #Constraints:      28046
3230.94/3240.09	c #Conflicts:     186000 | #Constraints:      29048
3230.94/3240.09	c #Conflicts:     187000 | #Constraints:      30050
3230.94/3240.09	c #Conflicts:     188000 | #Constraints:      31054
3230.94/3240.09	c #Conflicts:     189000 | #Constraints:      32055
3230.94/3240.09	c INPROCESSING
3230.94/3240.09	c GARBAGE COLLECT
3230.94/3240.09	c #Conflicts:     190000 | #Constraints:      24534
3230.94/3240.09	c #Conflicts:     191000 | #Constraints:      25534
3230.94/3240.09	c #Conflicts:     192000 | #Constraints:      26534
3230.94/3240.09	c #Conflicts:     193000 | #Constraints:      27534
3230.94/3240.09	c #Conflicts:     194000 | #Constraints:      28534
3230.94/3240.09	c #Conflicts:     195000 | #Constraints:      29534
3230.94/3240.09	c #Conflicts:     196000 | #Constraints:      30534
3230.94/3240.09	c #Conflicts:     197000 | #Constraints:      31534
3230.94/3240.09	c #Conflicts:     198000 | #Constraints:      32535
3230.94/3240.09	c INPROCESSING
3230.94/3240.09	c GARBAGE COLLECT
3230.94/3240.09	c rational objective 1.82457e+06
3443.92/3453.79	c #Conflicts:     199000 | #Constraints:      24656
3443.92/3453.79	c #Conflicts:     200000 | #Constraints:      25657
3443.92/3453.79	c #Conflicts:     201000 | #Constraints:      26658
3443.92/3453.79	c #Conflicts:     202000 | #Constraints:      27659
3443.92/3453.79	c #Conflicts:     203000 | #Constraints:      28660
3443.92/3453.79	c #Conflicts:     204000 | #Constraints:      29661
3443.92/3453.79	c #Conflicts:     205000 | #Constraints:      30663
3443.92/3453.79	c #Conflicts:     206000 | #Constraints:      31663
3443.92/3453.79	c #Conflicts:     207000 | #Constraints:      32664
3443.92/3453.79	c INPROCESSING
3443.92/3453.79	c GARBAGE COLLECT
3443.92/3453.79	c #Conflicts:     208000 | #Constraints:      24612
3443.92/3453.79	c #Conflicts:     209000 | #Constraints:      25617
3443.92/3453.79	c #Conflicts:     210000 | #Constraints:      26617
3443.92/3453.79	c #Conflicts:     211000 | #Constraints:      27617
3443.92/3453.79	c #Conflicts:     212000 | #Constraints:      28617
3443.92/3453.79	c #Conflicts:     213000 | #Constraints:      29617
3443.92/3453.79	c #Conflicts:     214000 | #Constraints:      30617
3443.92/3453.79	c #Conflicts:     215000 | #Constraints:      31617
3443.92/3453.79	c #Conflicts:     216000 | #Constraints:      32617
3443.92/3453.79	c INPROCESSING
3443.92/3453.79	c GARBAGE COLLECT
3443.92/3453.79	c rational objective 1.82457e+06
3569.57/3579.89	c #Conflicts:     217000 | #Constraints:      24394
3569.57/3579.89	c #Conflicts:     218000 | #Constraints:      25394
3569.57/3579.89	c #Conflicts:     219000 | #Constraints:      26394
3569.57/3579.89	c #Conflicts:     220000 | #Constraints:      27394
3569.57/3579.89	c #Conflicts:     221000 | #Constraints:      28394
3569.57/3579.89	c #Conflicts:     222000 | #Constraints:      29394
3569.57/3579.89	c #Conflicts:     223000 | #Constraints:      30394
3569.57/3579.89	c #Conflicts:     224000 | #Constraints:      31394
3569.57/3579.89	c #Conflicts:     225000 | #Constraints:      32394
3569.57/3579.89	c #Conflicts:     226000 | #Constraints:      33394
3569.57/3579.89	c INPROCESSING
3569.57/3579.89	c GARBAGE COLLECT
3569.57/3579.89	c rational objective 1.82457e+06
3600.05/3610.43	c #Conflicts:     227000 | #Constraints:      24957
3600.05/3610.43	c #Conflicts:     228000 | #Constraints:      25957
3600.05/3610.43	c #Conflicts:     229000 | #Constraints:      26957
3600.05/3610.43	c #Conflicts:     230000 | #Constraints:      27958
3600.05/3610.43	c #Conflicts:     231000 | #Constraints:      28959
3600.05/3610.43	c Program interrupted by user.
3600.05/3610.43	c cpu time 3580.87 s
3600.05/3610.43	c deterministic time 329192974142 3.29e+11
3600.05/3610.43	c optimization time 34.8663 s
3600.05/3610.43	c total solve time 3545.93 s
3600.05/3610.43	c core-guided solve time 2194.34 s
3600.05/3610.43	c propagation time 2453.19 s
3600.05/3610.43	c conflict analysis time 892.503 s
3600.05/3610.43	c propagations 114163573
3600.05/3610.43	c resolve steps 6578423
3600.05/3610.43	c decisions 2420399
3600.05/3610.43	c conflicts 231287
3600.05/3610.43	c restarts 516
3600.05/3610.43	c inprocessing phases 39
3600.05/3610.43	c input clauses 21876
3600.05/3610.43	c input cardinalities 9
3600.05/3610.43	c input general constraints 2947
3600.05/3610.43	c input average constraint length 90.04
3600.05/3610.43	c input average constraint degree 56826037.07
3600.05/3610.43	c learned clauses 36155
3600.05/3610.43	c learned cardinalities 480
3600.05/3610.43	c learned general constraints 194909
3600.05/3610.43	c learned average constraint length 3233.70
3600.05/3610.43	c learned average constraint degree 12245681116.18
3600.05/3610.43	c watched constraints 75293
3600.05/3610.43	c counting constraints 122563
3600.05/3610.43	c gcd simplifications 5290
3600.05/3610.43	c detected cardinalities 51
3600.05/3610.43	c weakened non-implied lits 75296132
3600.05/3610.43	c weakened non-implying lits 473841
3600.05/3610.43	c original variables 9940
3600.05/3610.43	c clausal propagations 85612590
3600.05/3610.43	c cardinality propagations 811528
3600.05/3610.43	c watched propagations 2428314
3600.05/3610.43	c counting propagations 25132994
3600.05/3610.43	c watch lookups 45220478897
3600.05/3610.43	c watch backjump lookups 44571570222
3600.05/3610.43	c watch checks 125003211873
3600.05/3610.43	c propagation checks 112322582457
3600.05/3610.43	c constraint additions 1841271766
3600.05/3610.43	c trail pops 116805478
3600.05/3610.43	c formula constraints 24510
3600.05/3610.43	c learned constraints 231028
3600.05/3610.43	c bound constraints 322
3600.05/3610.43	c core-guided constraints 0
3600.05/3610.43	c encountered formula constraints 5969568
3600.05/3610.43	c encountered learned constraints 824938
3600.05/3610.43	c encountered bound constraints 4771
3600.05/3610.43	c encountered core-guided constraints 0
3600.05/3610.43	c LP total time 233.772 s
3600.05/3610.43	c LP solve time 223.61 s
3600.05/3610.43	c LP constraints added 24538
3600.05/3610.43	c LP constraints removed 12
3600.05/3610.43	c LP pivots internal 232494
3600.05/3610.43	c LP pivots root 236982
3600.05/3610.43	c LP calls 344
3600.05/3610.43	c LP optimalities 81
3600.05/3610.43	c LP no pivot count 16
3600.05/3610.43	c LP infeasibilities 258
3600.05/3610.43	c LP valid Farkas constraints 258
3600.05/3610.43	c LP learned Farkas constraints 258
3600.05/3610.43	c LP basis resets 0
3600.05/3610.43	c LP cycling count 0
3600.05/3610.43	c LP singular count 0
3600.05/3610.43	c LP no primal count 0
3600.05/3610.43	c LP no farkas count 0
3600.05/3610.43	c LP other issue count 0
3600.05/3610.43	c LP Gomory cuts 0
3600.05/3610.43	c LP learned cuts 28
3600.05/3610.43	c LP deleted cuts 12
3600.05/3610.43	c LP encountered Gomory constraints 0
3600.05/3610.43	c LP encountered Farkas constraints 8844
3600.05/3610.43	c LP encountered learned Farkas constraints 1331
3600.05/3610.43	c CG auxiliary variables introduced 0
3600.05/3610.43	c CG solutions found 322
3600.05/3610.43	c CG cores constructed 0
3600.05/3610.43	c CG core cardinality constraints returned 0
3600.05/3610.43	c CG unit cores 0
3600.05/3610.43	c CG single cores 0
3600.05/3610.43	c CG blocks removed during cardinality reduction 0
3600.05/3610.43	c CG first core best 0
3600.05/3610.43	c CG decision core best 0
3600.05/3610.43	c CG core reduction tie 0
3600.05/3610.43	c CG core degree average 0.00
3600.05/3610.43	c CG core slack average 0.00
3600.05/3610.43	s SATISFIABLE
3600.05/3610.43	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

OK	3892789

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: 63931 MiB (60122 MiB free)
  memory of node 1: 64510 MiB (48679 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457099-1721821709/watcher-4457099-1721821709 -o /tmp/evaluation-result-4457099-1721821709/solver-4457099-1721821709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721817187-182926 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457099-1721821709 --lp-cut-gomory=0 HOME/instance-4457099-1721821709.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=185811, runsolver pid=185808
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 185812
/proc/meminfo: memFree=111393180/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=60868 memory=31536 CPUtime=0.09 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 6622 0 0 0 8 1 0 0 20 0 1 0 18700185 62328832 7884 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 15217 7884 1695 992 0 7075 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60868 KiB
Current children cumulated memory: 31536 KiB

[startup+0.206288 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 185812
/proc/meminfo: memFree=111388484/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=58124 memory=28536 CPUtime=0.2 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 6654 0 0 0 19 1 0 0 20 0 1 0 18700185 59518976 7134 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 14531 7134 1695 992 0 6389 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58124 KiB
Current children cumulated memory: 28536 KiB

[startup+0.306163 s]*
/proc/loadavg: 4.12 4.12 4.09 5/267 185812
/proc/meminfo: memFree=111387000/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=58464 memory=28536 CPUtime=0.3 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 6678 0 0 0 29 1 0 0 20 0 1 0 18700185 59867136 7134 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 14616 7134 1695 992 0 6474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58464 KiB
Current children cumulated memory: 28536 KiB

[startup+0.700225 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 185812
/proc/meminfo: memFree=111381144/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=59996 memory=30356 CPUtime=0.68 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 7025 0 0 0 67 1 0 0 20 0 1 0 18700185 61435904 7589 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 14999 7589 1759 992 0 6857 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 30356 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 185812
/proc/meminfo: memFree=111376104/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=60308 memory=33052 CPUtime=1.48 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 7188 0 0 0 146 2 0 0 20 0 1 0 18700185 61755392 8263 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 15077 8263 1791 992 0 6935 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 33052 KiB

[startup+3.10622 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 185812
/proc/meminfo: memFree=111175948/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=60308 memory=33052 CPUtime=3.09 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 7189 0 0 0 297 12 0 0 20 0 1 0 18700185 61755392 8263 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 15077 8263 1791 992 0 6935 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 33052 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 185812
/proc/meminfo: memFree=110893324/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=117240 memory=85100 CPUtime=6.27 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 17057 0 0 0 604 23 0 0 20 0 1 0 18700185 120053760 21275 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 29310 21275 1885 992 0 21168 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117240 KiB
Current children cumulated memory: 85100 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 185813
/proc/meminfo: memFree=110553112/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=198148 memory=145124 CPUtime=12.65 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 25417 0 0 0 1228 37 0 0 20 0 1 0 18700185 202903552 36281 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 49537 36281 1885 992 0 41395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198148 KiB
Current children cumulated memory: 145124 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.08 5/267 185815
/proc/meminfo: memFree=110330864/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=226636 memory=181640 CPUtime=25.42 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 32688 0 0 0 2488 54 0 0 20 0 1 0 18700185 232075264 45410 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 56659 45410 1901 992 0 48517 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 226636 KiB
Current children cumulated memory: 181640 KiB

[startup+51.1062 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 185822
/proc/meminfo: memFree=109893824/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=368776 memory=322272 CPUtime=50.93 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 55164 0 0 0 5005 88 0 0 20 0 1 0 18700185 377626624 80568 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 92194 80568 1901 992 0 84052 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 368776 KiB
Current children cumulated memory: 322272 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 185833
/proc/meminfo: memFree=109137584/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=537640 memory=482300 CPUtime=101.97 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 78367 0 0 0 10057 140 0 0 20 0 1 0 18700185 550543360 120575 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 134410 120575 1901 992 0 126268 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 537640 KiB
Current children cumulated memory: 482300 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 185845
/proc/meminfo: memFree=108516428/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=582468 memory=518400 CPUtime=161.82 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 87458 0 0 0 15987 195 0 0 20 0 1 0 18700185 596447232 129600 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 145617 129600 1901 992 0 137475 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 582468 KiB
Current children cumulated memory: 518400 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.19 4.12 5/266 185855
/proc/meminfo: memFree=107893560/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=749360 memory=575524 CPUtime=221.64 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 94218 0 0 0 21925 239 0 0 20 0 1 0 18700185 767344640 143881 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 187340 143881 1901 992 0 179198 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 749360 KiB
Current children cumulated memory: 575524 KiB

[startup+282.3 s]
/proc/loadavg: 4.45 4.24 4.14 5/261 185866
/proc/meminfo: memFree=107485624/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=759020 memory=604992 CPUtime=281.49 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 96993 0 0 0 27879 270 0 0 20 0 1 0 18700185 777236480 151248 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 189755 151248 1901 992 0 181613 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 759020 KiB
Current children cumulated memory: 604992 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.23 4.14 5/261 185876
/proc/meminfo: memFree=107016760/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=773508 memory=617368 CPUtime=341.33 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 100443 0 0 0 33836 297 0 0 20 0 1 0 18700185 792072192 154342 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 193377 154342 1901 992 0 185235 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 773508 KiB
Current children cumulated memory: 617368 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.20 4.13 5/261 186270
/proc/meminfo: memFree=106607568/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=775644 memory=619740 CPUtime=401.18 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 101063 0 0 0 39784 334 0 0 20 0 1 0 18700185 794259456 154935 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 193911 154935 1901 992 0 185769 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 775644 KiB
Current children cumulated memory: 619740 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/262 186283
/proc/meminfo: memFree=106138844/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=784692 memory=629768 CPUtime=461.03 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 103656 0 0 0 45725 378 0 0 20 0 1 0 18700185 803524608 157442 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 196173 157442 1901 992 0 188031 0

################
# More data... #
################

Current children cumulated memory: 986000 KiB

[startup+2862.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/265 187678
/proc/meminfo: memFree=98269612/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1055072 memory=986004 CPUtime=2854.5 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 171616 0 0 0 283956 1494 0 0 20 0 1 0 18700185 1080393728 246501 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 263768 246501 1901 992 0 255626 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 1055072 KiB
Current children cumulated memory: 986004 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/265 187689
/proc/meminfo: memFree=94313512/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1055692 memory=986364 CPUtime=2914.31 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 172129 0 0 0 289894 1537 0 0 20 0 1 0 18700185 1081028608 246591 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 263923 246591 1901 992 0 255781 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 1055692 KiB
Current children cumulated memory: 986364 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/266 187700
/proc/meminfo: memFree=89938500/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1055692 memory=986492 CPUtime=2974.09 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 172557 0 0 0 295850 1559 0 0 20 0 1 0 18700185 1081028608 246623 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 263923 246623 1901 992 0 255781 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 1055692 KiB
Current children cumulated memory: 986492 KiB

[startup+3042.3 s]
/proc/loadavg: 4.34 4.22 4.19 5/266 187711
/proc/meminfo: memFree=87027088/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1055692 memory=986496 CPUtime=3033.91 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 172985 0 0 0 301792 1599 0 0 20 0 1 0 18700185 1081028608 246624 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 263923 246624 1901 992 0 255781 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 1055692 KiB
Current children cumulated memory: 986496 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/265 187724
/proc/meminfo: memFree=84238672/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1089880 memory=1029804 CPUtime=3093.7 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 179700 0 0 0 307734 1636 0 0 20 0 1 0 18700185 1116037120 257451 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 272470 257451 1901 992 0 264328 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 1089880 KiB
Current children cumulated memory: 1029804 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/265 187736
/proc/meminfo: memFree=81226980/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1103744 memory=1052116 CPUtime=3153.47 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 182459 0 0 0 313689 1658 0 0 20 0 1 0 18700185 1130233856 263029 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 275936 263029 1901 992 0 267794 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 1103744 KiB
Current children cumulated memory: 1052116 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/265 187747
/proc/meminfo: memFree=79003756/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1106424 memory=1054520 CPUtime=3213.28 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 183472 0 0 0 319623 1705 0 0 20 0 1 0 18700185 1132978176 263630 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276606 263630 1901 992 0 268464 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 1106424 KiB
Current children cumulated memory: 1054520 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/262 187758
/proc/meminfo: memFree=76286372/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107400 memory=1055468 CPUtime=3273.1 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 184105 0 0 0 325569 1741 0 0 20 0 1 0 18700185 1133977600 263867 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276850 263867 1901 992 0 268708 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 1107400 KiB
Current children cumulated memory: 1055468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/260 187769
/proc/meminfo: memFree=75609136/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107400 memory=1061848 CPUtime=3332.93 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 184533 0 0 0 331509 1784 0 0 20 0 1 0 18700185 1133977600 265462 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276850 265462 1901 992 0 268708 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1107400 KiB
Current children cumulated memory: 1061848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/261 187780
/proc/meminfo: memFree=73701024/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107400 memory=1070536 CPUtime=3392.72 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 184980 0 0 0 337471 1801 0 0 20 0 1 0 18700185 1133977600 267634 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276850 267634 1901 992 0 268708 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1107400 KiB
Current children cumulated memory: 1070536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.17 4.17 5/261 187791
/proc/meminfo: memFree=71348792/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107648 memory=1070780 CPUtime=3452.5 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 185553 0 0 0 343415 1835 0 0 20 0 1 0 18700185 1134231552 267695 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276912 267695 1901 992 0 268770 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 1107648 KiB
Current children cumulated memory: 1070780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/261 187801
/proc/meminfo: memFree=68173228/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107648 memory=1070824 CPUtime=3512.29 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 185952 0 0 0 349361 1868 0 0 20 0 1 0 18700185 1134231552 267706 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276912 267706 1901 992 0 268770 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 1107648 KiB
Current children cumulated memory: 1070824 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/266 187816
/proc/meminfo: memFree=64563100/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107648 memory=1070836 CPUtime=3572.06 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 186378 0 0 0 355308 1898 0 0 20 0 1 0 18700185 1134231552 267709 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276912 267709 1901 992 0 268770 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 1107648 KiB
Current children cumulated memory: 1070836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.16 4.16 4.17 5/265 187821
/proc/meminfo: memFree=63379940/131524600 swapFree=131055772/131071996
[pid=185811] ppid=185808 vsize=1107836 memory=1070980 CPUtime=3600.05 cores=4,6
/proc/185811/stat : 185811 (roundingsat) R 185808 185811 182915 0 -1 4194304 186657 0 0 0 358084 1921 0 0 20 0 1 0 18700185 1134424064 267745 134679101440 4194304 8254037 140735956761376 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 35590144 140735956763484 140735956763746 140735956763746 140735956770761 0
/proc/185811/statm: 276959 267745 1901 992 0 268817 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1107836 KiB
Current children cumulated memory: 1070980 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.44 s]
# the end of solver process 185811 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3580.88 s, system=19.2158 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 3610.44
CPU time (s): 3600.09
CPU user time (s): 3580.88
CPU system time (s): 19.2158
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 1107836
Max. memory (cumulated for all children) (KiB): 1070980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.88
system time used= 19.2158
maximum resident set size= 1071436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30538152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171
involuntary context switches= 4931


# summary of solver processes directly reported to runsolver:
#   pid: 185811
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3580.88
#   total CPU system time (s): 19.2158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.09544 second user time and 17.1713 second system time

The end

Begin job on nodeC023 at 2024-07-24 13:48:29
IDJOB=4457099
IDBENCH=155609
IDSOLVER=3085
FILE ID=nodeC023/4457099-1721821709
RUNJOBID= nodeC023-1721817187-182926
SLURM_JOB_ID= 7816880
Free space on /tmp= 890036 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457099-1721821709/watcher-4457099-1721821709 -o /tmp/evaluation-result-4457099-1721821709/solver-4457099-1721821709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721817187-182926 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457099-1721821709 --lp-cut-gomory=0 HOME/instance-4457099-1721821709.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=54740886

nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.436
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
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		: 3691.043
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3649.327
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
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		: 3600.274
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3639.832
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
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		: 3691.037
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
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		: 3652.849
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.85
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		: 3600.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111414320 kB
MemAvailable:   125935480 kB
Buffers:          245788 kB
Cached:         15057640 kB
SwapCached:          516 kB
Active:          1726056 kB
Inactive:       17667348 kB
Active(anon):       1896 kB
Inactive(anon):  4140980 kB
Active(file):    1724160 kB
Inactive(file): 13526368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055772 kB
Dirty:            383408 kB
Writeback:             0 kB
AnonPages:       4089252 kB
Mapped:           104860 kB
Shmem:             52872 kB
KReclaimable:     220560 kB
Slab:             350008 kB
SReclaimable:     220560 kB
SUnreclaim:       129448 kB
KernelStack:        4288 kB
PageTables:        17860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5200024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2318336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    60182528 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 889924 MiB
End job on nodeC023 at 2024-07-24 14:48:40