0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.08/0.31	c #variables 9940 #constraints 24510
134.37/135.08	c bounds - >= -70 @ 0.066276
134.37/135.08	c bounds 21669059 >= -70 @ 3.34133
134.37/135.08	c bounds 19562213 >= -70 @ 3.5716
134.37/135.08	c bounds 19464993 >= -70 @ 3.64255
134.37/135.08	c bounds 19446777 >= -70 @ 3.66185
134.37/135.08	c bounds 19436397 >= -70 @ 3.71733
134.37/135.08	c bounds 18814985 >= -70 @ 4.68702
134.37/135.08	c bounds 18800243 >= -70 @ 4.77316
134.37/135.08	c bounds 18709221 >= -70 @ 4.8053
134.37/135.08	c bounds 18671157 >= -70 @ 4.8747
134.37/135.08	c bounds 18601221 >= -70 @ 4.9626
134.37/135.08	c bounds 18573263 >= -70 @ 4.99801
134.37/135.08	c bounds 16033973 >= -70 @ 5.26182
134.37/135.08	c bounds 15996759 >= -70 @ 5.30083
134.37/135.08	c bounds 15959565 >= -70 @ 5.37114
134.37/135.08	c bounds 11859041 >= -70 @ 6.21521
134.37/135.08	c bounds 10295313 >= -70 @ 6.62669
134.37/135.08	c bounds 10212413 >= -70 @ 6.68371
134.37/135.08	c bounds 10196813 >= -70 @ 6.84458
134.37/135.08	c bounds 10161281 >= -70 @ 6.96829
134.37/135.08	c bounds 10161073 >= -70 @ 7.4453
134.37/135.08	c bounds 8597345 >= -70 @ 7.70263
134.37/135.08	c #Conflicts:       1000 | #Constraints:      25530
134.37/135.08	c bounds 8592935 >= -70 @ 8.24738
134.37/135.08	c bounds 8581119 >= -70 @ 8.37757
134.37/135.08	c bounds 8578855 >= -70 @ 8.43222
134.37/135.08	c bounds 8434795 >= -70 @ 12.1608
134.37/135.08	c bounds 8431243 >= -70 @ 12.2417
134.37/135.08	c bounds 8419065 >= -70 @ 12.3829
134.37/135.08	c bounds 7743975 >= -70 @ 12.5129
134.37/135.08	c bounds 7730529 >= -70 @ 12.7896
134.37/135.08	c bounds 7679025 >= -70 @ 12.8571
134.37/135.08	c bounds 7615505 >= -70 @ 12.9367
134.37/135.08	c bounds 7579313 >= -70 @ 12.9901
134.37/135.08	c bounds 7565839 >= -70 @ 13.1536
134.37/135.08	c bounds 7561761 >= -70 @ 13.2205
134.37/135.08	c bounds 7511841 >= -70 @ 13.7654
134.37/135.08	c #Conflicts:       2000 | #Constraints:      26544
134.37/135.08	c INPROCESSING
134.37/135.08	c GARBAGE COLLECT
134.37/135.08	c bounds 7502979 >= -70 @ 15.4682
134.37/135.08	c bounds 7498929 >= -70 @ 15.5232
134.37/135.08	c bounds 7477535 >= -70 @ 15.568
134.37/135.08	c bounds 7471301 >= -70 @ 15.6833
134.37/135.08	c bounds 7420719 >= -70 @ 15.7294
134.37/135.08	c bounds 7398943 >= -70 @ 16.1204
134.37/135.08	c bounds 7381431 >= -70 @ 16.2305
134.37/135.08	c bounds 7277765 >= -70 @ 16.2948
134.37/135.08	c bounds 7271125 >= -70 @ 16.4931
134.37/135.08	c bounds 7270157 >= -70 @ 16.5948
134.37/135.08	c bounds 7267037 >= -70 @ 16.6668
134.37/135.08	c bounds 7245791 >= -70 @ 16.792
134.37/135.08	c bounds 7245121 >= -70 @ 16.8842
134.37/135.08	c bounds 7198861 >= -70 @ 16.9563
134.37/135.08	c bounds 7194709 >= -70 @ 17.0293
134.37/135.08	c bounds 7182143 >= -70 @ 17.3501
134.37/135.08	c #Conflicts:       3000 | #Constraints:      19841
134.37/135.08	c bounds 7174957 >= -70 @ 27.2726
134.37/135.08	c bounds 6800845 >= -70 @ 27.5436
134.37/135.08	c bounds 6793975 >= -70 @ 29.0105
134.37/135.08	c bounds 6753787 >= -70 @ 31.3778
134.37/135.08	c #Conflicts:       4000 | #Constraints:      20847
134.37/135.08	c bounds 6735609 >= -70 @ 31.6156
134.37/135.08	c INPROCESSING
134.37/135.08	c GARBAGE COLLECT
134.37/135.08	c bounds 6731467 >= -70 @ 32.9504
134.37/135.08	c bounds 6727879 >= -70 @ 33.1552
134.37/135.08	c bounds 6719239 >= -70 @ 33.225
134.37/135.08	c bounds 6703441 >= -70 @ 33.3564
134.37/135.08	c bounds 6681417 >= -70 @ 33.4606
134.37/135.08	c bounds 6680059 >= -70 @ 33.531
134.37/135.08	c bounds 6670387 >= -70 @ 33.8688
134.37/135.08	c bounds 6656545 >= -70 @ 34.0817
134.37/135.08	c bounds 6325143 >= -70 @ 34.2909
134.37/135.08	c #Conflicts:       5000 | #Constraints:      19965
134.37/135.08	c #Conflicts:       6000 | #Constraints:      20968
134.37/135.08	c INPROCESSING
134.37/135.08	c GARBAGE COLLECT
134.37/135.08	c bounds 6322111 >= -70 @ 60.7402
134.37/135.08	c #Conflicts:       7000 | #Constraints:      19815
134.37/135.08	c bounds 6294129 >= -70 @ 72.3167
134.37/135.08	c #Conflicts:       8000 | #Constraints:      20816
134.37/135.08	c #Conflicts:       9000 | #Constraints:      21817
134.37/135.08	c INPROCESSING
134.37/135.08	c GARBAGE COLLECT
134.37/135.08	c bounds 6289323 >= -70 @ 92.0245
134.37/135.08	c bounds 6282809 >= -70 @ 92.1544
134.37/135.08	c bounds 6267607 >= -70 @ 92.5002
134.37/135.08	c bounds 6260053 >= -70 @ 92.6617
134.37/135.08	c bounds 6240633 >= -70 @ 93.4402
134.37/135.08	c bounds 6233235 >= -70 @ 93.9418
134.37/135.08	c bounds 6219971 >= -70 @ 94.5972
134.37/135.08	c bounds 6208595 >= -70 @ 95.0425
134.37/135.08	c bounds 6190849 >= -70 @ 95.2517
134.37/135.08	c bounds 6162851 >= -70 @ 95.4807
134.37/135.08	c bounds 6132825 >= -70 @ 97.6594
134.37/135.08	c bounds 6132643 >= -70 @ 97.9
134.37/135.08	c bounds 6121673 >= -70 @ 98.2361
134.37/135.08	c bounds 6114723 >= -70 @ 98.561
134.37/135.08	c bounds 6097323 >= -70 @ 105.618
134.37/135.08	c bounds 6084877 >= -70 @ 106.173
134.37/135.08	c #Conflicts:      10000 | #Constraints:      20552
134.37/135.08	c bounds 6074267 >= -70 @ 110.156
134.37/135.08	c bounds 6073131 >= -70 @ 112.727
134.37/135.08	c bounds 6070067 >= -70 @ 113.301
134.37/135.08	c #Conflicts:      11000 | #Constraints:      21555
134.37/135.08	c bounds 6067855 >= -70 @ 126.84
134.37/135.08	c bounds 5920979 >= -70 @ 127.25
134.37/135.08	c bounds 5918873 >= -70 @ 127.635
134.37/135.08	c bounds 5906463 >= -70 @ 128.455
134.37/135.08	c #Conflicts:      12000 | #Constraints:      22559
134.37/135.08	c INPROCESSING
134.37/135.08	c GARBAGE COLLECT
134.37/135.08	c bounds 5882537 >= -70 @ 131.193
134.37/135.08	c bounds 5881083 >= -70 @ 131.513
134.37/135.08	c bounds 5874409 >= -70 @ 131.749
134.37/135.08	c bounds 5853535 >= -70 @ 132.106
134.37/135.08	c bounds 5846001 >= -70 @ 132.253
134.37/135.08	c bounds 5842185 >= -70 @ 132.391
134.37/135.08	c bounds 5781319 >= -70 @ 132.653
181.25/182.08	c bounds 5776535 >= -70 @ 133.074
181.25/182.08	c bounds 5775247 >= -70 @ 133.238
181.25/182.08	c bounds 5730759 >= -70 @ 134.379
181.25/182.08	c bounds 5728117 >= -70 @ 134.623
181.25/182.08	c bounds 5703731 >= -70 @ 134.926
181.25/182.08	c bounds 5639581 >= -70 @ 135.169
181.25/182.08	c bounds 5636223 >= -70 @ 136.142
181.25/182.08	c bounds 5615331 >= -70 @ 136.711
181.25/182.08	c bounds 5614375 >= -70 @ 136.854
181.25/182.08	c bounds 5611955 >= -70 @ 137.747
181.25/182.08	c bounds 5572969 >= -70 @ 137.906
181.25/182.08	c bounds 5570561 >= -70 @ 138.248
181.25/182.08	c bounds 5566547 >= -70 @ 138.803
181.25/182.08	c bounds 5563619 >= -70 @ 140.966
181.25/182.08	c bounds 5546851 >= -70 @ 141.152
181.25/182.08	c bounds 5544877 >= -70 @ 141.295
181.25/182.08	c bounds 5508165 >= -70 @ 142.329
181.25/182.08	c bounds 5505117 >= -70 @ 142.807
181.25/182.08	c bounds 5503701 >= -70 @ 143.059
181.25/182.08	c #Conflicts:      13000 | #Constraints:      20866
181.25/182.08	c bounds 5496263 >= -70 @ 145.502
181.25/182.08	c bounds 5492417 >= -70 @ 146.162
181.25/182.08	c #Conflicts:      14000 | #Constraints:      21868
181.25/182.08	c #Conflicts:      15000 | #Constraints:      22868
181.25/182.08	c INPROCESSING
181.25/182.08	c GARBAGE COLLECT
181.25/182.08	c rational objective 1.7867e+06
349.18/350.40	c bounds 5489953 >= -70 @ 180.001
349.18/350.40	c bounds 5489183 >= -70 @ 180.207
349.18/350.40	c bounds 5487967 >= -70 @ 180.632
349.18/350.40	c bounds 5486335 >= -70 @ 181.429
349.18/350.40	c bounds 5482381 >= -70 @ 181.778
349.18/350.40	c bounds 5473133 >= -70 @ 182.226
349.18/350.40	c bounds 5472085 >= -70 @ 182.388
349.18/350.40	c bounds 5472055 >= -70 @ 182.758
349.18/350.40	c bounds 5464393 >= -70 @ 183.274
349.18/350.40	c bounds 5461999 >= -70 @ 184.2
349.18/350.40	c bounds 5438405 >= -70 @ 184.379
349.18/350.40	c bounds 5437115 >= -70 @ 184.791
349.18/350.40	c bounds 5436729 >= -70 @ 185.119
349.18/350.40	c bounds 5432125 >= -70 @ 185.51
349.18/350.40	c bounds 5406967 >= -70 @ 187.177
349.18/350.40	c bounds 5394551 >= -70 @ 188.342
349.18/350.40	c #Conflicts:      16000 | #Constraints:      20943
349.18/350.40	c bounds 5394225 >= -70 @ 193.746
349.18/350.40	c bounds 5359267 >= -70 @ 200.045
349.18/350.40	c #Conflicts:      17000 | #Constraints:      21945
349.18/350.40	c #Conflicts:      18000 | #Constraints:      22945
349.18/350.40	c INPROCESSING
349.18/350.40	c GARBAGE COLLECT
349.18/350.40	c #Conflicts:      19000 | #Constraints:      20855
349.18/350.40	c #Conflicts:      20000 | #Constraints:      21855
349.18/350.40	c #Conflicts:      21000 | #Constraints:      22855
349.18/350.40	c INPROCESSING
349.18/350.40	c GARBAGE COLLECT
349.18/350.40	c #Conflicts:      22000 | #Constraints:      20592
349.18/350.40	c #Conflicts:      23000 | #Constraints:      21592
349.18/350.40	c #Conflicts:      24000 | #Constraints:      22592
349.18/350.40	c #Conflicts:      25000 | #Constraints:      23592
349.18/350.40	c INPROCESSING
349.18/350.40	c GARBAGE COLLECT
349.18/350.40	c rational objective 1.78833e+06
510.13/511.86	c bounds 5357053 >= -70 @ 350.776
510.13/511.86	c bounds 5355555 >= -70 @ 351.018
510.13/511.86	c bounds 5355027 >= -70 @ 351.658
510.13/511.86	c bounds 5331645 >= -70 @ 352.097
510.13/511.86	c bounds 5328595 >= -70 @ 352.615
510.13/511.86	c bounds 5328003 >= -70 @ 353.023
510.13/511.86	c bounds 5323035 >= -70 @ 353.514
510.13/511.86	c bounds 5321537 >= -70 @ 353.797
510.13/511.86	c bounds 5304513 >= -70 @ 355.723
510.13/511.86	c bounds 5298783 >= -70 @ 356.242
510.13/511.86	c #Conflicts:      26000 | #Constraints:      21213
510.13/511.86	c bounds 5291039 >= -70 @ 356.636
510.13/511.86	c bounds 5283161 >= -70 @ 357.838
510.13/511.86	c bounds 5190845 >= -70 @ 369.996
510.13/511.86	c bounds 5176181 >= -70 @ 370.477
510.13/511.86	c bounds 5108431 >= -70 @ 370.684
510.13/511.86	c #Conflicts:      27000 | #Constraints:      22222
510.13/511.86	c bounds 5096365 >= -70 @ 373.623
510.13/511.86	c bounds 5093449 >= -70 @ 373.904
510.13/511.86	c bounds 5092351 >= -70 @ 374.424
510.13/511.86	c bounds 5087737 >= -70 @ 374.741
510.13/511.86	c bounds 5085457 >= -70 @ 375.777
510.13/511.86	c bounds 5081027 >= -70 @ 376.642
510.13/511.86	c bounds 5074123 >= -70 @ 377.128
510.13/511.86	c bounds 5044617 >= -70 @ 377.417
510.13/511.86	c bounds 5044343 >= -70 @ 379.119
510.13/511.86	c bounds 5043541 >= -70 @ 379.523
510.13/511.86	c bounds 5043455 >= -70 @ 379.844
510.13/511.86	c bounds 5042927 >= -70 @ 381.166
510.13/511.86	c #Conflicts:      28000 | #Constraints:      23243
510.13/511.86	c bounds 5017937 >= -70 @ 387.171
510.13/511.86	c bounds 5016781 >= -70 @ 387.601
510.13/511.86	c bounds 5008269 >= -70 @ 388.011
510.13/511.86	c bounds 5008237 >= -70 @ 388.39
510.13/511.86	c bounds 5003715 >= -70 @ 388.725
510.13/511.86	c bounds 4979343 >= -70 @ 389.326
510.13/511.86	c bounds 4971423 >= -70 @ 390.14
510.13/511.86	c bounds 4968189 >= -70 @ 390.948
510.13/511.86	c bounds 4963199 >= -70 @ 391.869
510.13/511.86	c bounds 4956353 >= -70 @ 392.586
510.13/511.86	c bounds 4938951 >= -70 @ 393.087
510.13/511.86	c bounds 4928663 >= -70 @ 393.577
510.13/511.86	c bounds 4927541 >= -70 @ 394.058
510.13/511.86	c bounds 4927341 >= -70 @ 394.47
510.13/511.86	c bounds 4901221 >= -70 @ 395.272
510.13/511.86	c bounds 4899365 >= -70 @ 395.769
510.13/511.86	c bounds 4897783 >= -70 @ 401.342
510.13/511.86	c bounds 4897369 >= -70 @ 401.817
510.13/511.86	c bounds 4886223 >= -70 @ 402.679
510.13/511.86	c bounds 4883665 >= -70 @ 403.388
510.13/511.86	c bounds 4880475 >= -70 @ 406.865
510.13/511.86	c bounds 4836223 >= -70 @ 407.436
510.13/511.86	c bounds 4824015 >= -70 @ 410.072
510.13/511.86	c bounds 4811495 >= -70 @ 410.788
510.13/511.86	c bounds 4795081 >= -70 @ 411.718
510.13/511.86	c #Conflicts:      29000 | #Constraints:      24273
510.13/511.86	c INPROCESSING
510.13/511.86	c GARBAGE COLLECT
510.13/511.86	c bounds 4794449 >= -70 @ 412.858
510.13/511.86	c bounds 4790801 >= -70 @ 413.852
510.13/511.86	c bounds 4790679 >= -70 @ 413.992
510.13/511.86	c bounds 4789497 >= -70 @ 414.136
510.13/511.86	c bounds 4788399 >= -70 @ 414.321
510.13/511.86	c bounds 4785199 >= -70 @ 414.779
510.13/511.86	c bounds 4781775 >= -70 @ 415.127
510.13/511.86	c bounds 4756573 >= -70 @ 415.345
510.13/511.86	c bounds 4755797 >= -70 @ 417.835
510.13/511.86	c bounds 4755761 >= -70 @ 418.02
510.13/511.86	c bounds 4753463 >= -70 @ 418.243
510.13/511.86	c bounds 4752401 >= -70 @ 418.428
510.13/511.86	c bounds 4752119 >= -70 @ 418.867
510.13/511.86	c bounds 4719359 >= -70 @ 419.074
510.13/511.86	c bounds 4717007 >= -70 @ 419.397
510.13/511.86	c bounds 4706639 >= -70 @ 420.009
510.13/511.86	c bounds 4691213 >= -70 @ 420.267
510.13/511.86	c bounds 4690115 >= -70 @ 420.654
510.13/511.86	c bounds 4687571 >= -70 @ 420.933
510.13/511.86	c bounds 4686965 >= -70 @ 421.573
510.13/511.86	c #Conflicts:      30000 | #Constraints:      21439
510.13/511.86	c bounds 4665781 >= -70 @ 424.798
510.13/511.86	c bounds 4661095 >= -70 @ 425.041
510.13/511.86	c bounds 4660981 >= -70 @ 425.359
510.13/511.86	c bounds 4649221 >= -70 @ 425.934
510.13/511.86	c bounds 4643293 >= -70 @ 426.709
510.13/511.86	c bounds 4642491 >= -70 @ 428.555
510.13/511.86	c bounds 4639419 >= -70 @ 428.813
510.13/511.86	c bounds 4626405 >= -70 @ 430.616
510.13/511.86	c bounds 4625661 >= -70 @ 430.894
510.13/511.86	c bounds 4612925 >= -70 @ 431.847
510.13/511.86	c bounds 4605379 >= -70 @ 434.577
510.13/511.86	c bounds 4604561 >= -70 @ 435.989
510.13/511.86	c bounds 4604419 >= -70 @ 437.108
510.13/511.86	c bounds 4591097 >= -70 @ 437.619
510.13/511.86	c bounds 4586177 >= -70 @ 438.411
510.13/511.86	c bounds 4582233 >= -70 @ 439.06
510.13/511.86	c #Conflicts:      31000 | #Constraints:      22468
510.13/511.86	c bounds 4577525 >= -70 @ 441.071
510.13/511.86	c bounds 4575287 >= -70 @ 447.601
510.13/511.86	c bounds 4572509 >= -70 @ 450.767
510.13/511.86	c bounds 4559151 >= -70 @ 454.144
510.13/511.86	c #Conflicts:      32000 | #Constraints:      23478
510.13/511.86	c #Conflicts:      33000 | #Constraints:      24480
510.13/511.86	c INPROCESSING
510.13/511.86	c GARBAGE COLLECT
510.13/511.86	c bounds 4557911 >= -70 @ 488.957
510.13/511.86	c bounds 4557887 >= -70 @ 489.307
510.13/511.86	c bounds 4557719 >= -70 @ 489.485
510.13/511.86	c bounds 4557337 >= -70 @ 489.997
510.13/511.86	c bounds 4555411 >= -70 @ 492.543
510.13/511.86	c bounds 4553677 >= -70 @ 492.735
510.13/511.86	c bounds 4543807 >= -70 @ 493.696
510.13/511.86	c bounds 4543261 >= -70 @ 498.515
510.13/511.86	c #Conflicts:      34000 | #Constraints:      21523
510.13/511.86	c bounds 4537181 >= -70 @ 501.658
510.13/511.86	c bounds 4531487 >= -70 @ 501.93
510.13/511.86	c bounds 4531337 >= -70 @ 503.387
510.13/511.86	c bounds 4529009 >= -70 @ 503.837
510.13/511.86	c bounds 4512521 >= -70 @ 505.829
568.56/570.40	c #Conflicts:      35000 | #Constraints:      22550
568.56/570.40	c bounds 4512177 >= -70 @ 512.319
568.56/570.40	c bounds 4512083 >= -70 @ 512.704
568.56/570.40	c bounds 4511969 >= -70 @ 513.537
568.56/570.40	c bounds 4511895 >= -70 @ 513.972
568.56/570.40	c bounds 4510567 >= -70 @ 515.7
568.56/570.40	c bounds 4510021 >= -70 @ 516.12
568.56/570.40	c bounds 4509871 >= -70 @ 516.59
568.56/570.40	c #Conflicts:      36000 | #Constraints:      23559
568.56/570.40	c #Conflicts:      37000 | #Constraints:      24560
568.56/570.40	c INPROCESSING
568.56/570.40	c GARBAGE COLLECT
568.56/570.40	c rational objective 1.79892e+06
918.89/921.75	c #Conflicts:      38000 | #Constraints:      21447
918.89/921.75	c #Conflicts:      39000 | #Constraints:      22447
918.89/921.75	c #Conflicts:      40000 | #Constraints:      23447
918.89/921.75	c #Conflicts:      41000 | #Constraints:      24448
918.89/921.75	c INPROCESSING
918.89/921.75	c GARBAGE COLLECT
918.89/921.75	c #Conflicts:      42000 | #Constraints:      20845
918.89/921.75	c #Conflicts:      43000 | #Constraints:      21846
918.89/921.75	c #Conflicts:      44000 | #Constraints:      22846
918.89/921.75	c #Conflicts:      45000 | #Constraints:      23847
918.89/921.75	c #Conflicts:      46000 | #Constraints:      24850
918.89/921.75	c INPROCESSING
918.89/921.75	c GARBAGE COLLECT
918.89/921.75	c #Conflicts:      47000 | #Constraints:      21393
918.89/921.75	c #Conflicts:      48000 | #Constraints:      22393
918.89/921.75	c #Conflicts:      49000 | #Constraints:      23393
918.89/921.75	c #Conflicts:      50000 | #Constraints:      24394
918.89/921.75	c #Conflicts:      51000 | #Constraints:      25399
918.89/921.75	c INPROCESSING
918.89/921.75	c GARBAGE COLLECT
918.89/921.75	c #Conflicts:      52000 | #Constraints:      21896
918.89/921.75	c #Conflicts:      53000 | #Constraints:      22896
918.89/921.75	c #Conflicts:      54000 | #Constraints:      23896
918.89/921.75	c #Conflicts:      55000 | #Constraints:      24897
918.89/921.75	c #Conflicts:      56000 | #Constraints:      25899
918.89/921.75	c INPROCESSING
918.89/921.75	c GARBAGE COLLECT
918.89/921.75	c rational objective 1.8067e+06
991.58/994.64	c #Conflicts:      57000 | #Constraints:      21975
991.58/994.64	c #Conflicts:      58000 | #Constraints:      22977
991.58/994.64	c #Conflicts:      59000 | #Constraints:      23977
991.58/994.64	c #Conflicts:      60000 | #Constraints:      24977
991.58/994.64	c #Conflicts:      61000 | #Constraints:      25977
991.58/994.64	c INPROCESSING
991.58/994.64	c GARBAGE COLLECT
991.58/994.64	c bounds 4507987 >= -70 @ 967.901
991.58/994.64	c bounds 4507961 >= -70 @ 968.598
991.58/994.64	c bounds 4507307 >= -70 @ 968.7
991.58/994.64	c bounds 4505627 >= -70 @ 968.785
991.58/994.64	c #Conflicts:      62000 | #Constraints:      21478
991.58/994.64	WSVECS04 Frhs2[266]: 6 -59049 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[372]: 6 -73984 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[398]: 6 -58081 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[408]: 6 -37249 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[746]: 6 -40804 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[886]: 6 -36100 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[994]: 6 -73984 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[1376]: 6 -34969 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[1876]: 6 -45369 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2226]: 6 -38809 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2366]: 6 -32041 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2816]: 6 -64009 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2820]: 6 -36100 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2842]: 6 -57121 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2849]: 6 -40804 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2860]: 6 -65536 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2863]: 6 -37249 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2868]: 6 -36481 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[2954]: 6 -58081 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3056]: 6 -40804 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3573]: 6 -32041 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3575]: 6 -42436 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3579]: 6 -58081 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3582]: 6 -59049 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3603]: 6 -45369 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3608]: 6 -38809 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3629]: 6 -40000 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3636]: 6 -73984 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3640]: 6 -23104 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3724]: 6 -37249 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3836]: 6 -40000 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3906]: 6 -42436 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[3966]: 6 -65536 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4396]: 6 -73984 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4526]: 6 -36481 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4746]: 6 -23104 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4956]: 6 -58081 0 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4972]: 6 0 1.00001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4974]: 6 0 1.0001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4975]: 6 0 1.00005 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4976]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4978]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4980]: 6 0 1.00008 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4981]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4982]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4983]: 6 0 1.00008 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4985]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4987]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4988]: 6 0 1.00008 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4991]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4992]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4996]: 6 0 1.00001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4998]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[4999]: 6 0 1.00001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5000]: 6 0 1.00001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5001]: 6 0 1.0001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5003]: 6 0 1.00005 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5005]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5006]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5008]: 6 0 1.00007 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5010]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5011]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5012]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5013]: 6 0 1.00005 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5018]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5020]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5021]: 6 0 1.00008 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5022]: 6 0 1.00004 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5023]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5024]: 6 0 1.0001 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5027]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5028]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5029]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5031]: 6 0 1.00006 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5032]: 6 0 1.00009 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5034]: 6 0 1.00005 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5035]: 6 0 1.00003 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5036]: 6 0 1.00002 shouldn't be
991.58/994.64	WSVECS04 Frhs2[5040]: 6 0 1.00009 shouldn't be
1152.40/1155.99	c #Conflicts:      63000 | #Constraints:      22478
1152.40/1155.99	c bounds 4486323 >= -70 @ 997.288
1152.40/1155.99	c bounds 4483071 >= -70 @ 999.472
1152.40/1155.99	c bounds 4443507 >= -70 @ 1003.32
1152.40/1155.99	c bounds 4440441 >= -70 @ 1003.53
1152.40/1155.99	c bounds 4434953 >= -70 @ 1004.97
1152.40/1155.99	c bounds 4432895 >= -70 @ 1005.17
1152.40/1155.99	c #Conflicts:      64000 | #Constraints:      23484
1152.40/1155.99	c #Conflicts:      65000 | #Constraints:      24484
1152.40/1155.99	c #Conflicts:      66000 | #Constraints:      25484
1152.40/1155.99	c INPROCESSING
1152.40/1155.99	c GARBAGE COLLECT
1152.40/1155.99	c #Conflicts:      67000 | #Constraints:      21136
1152.40/1155.99	c #Conflicts:      68000 | #Constraints:      22136
1152.40/1155.99	c #Conflicts:      69000 | #Constraints:      23136
1152.40/1155.99	c #Conflicts:      70000 | #Constraints:      24136
1152.40/1155.99	c #Conflicts:      71000 | #Constraints:      25136
1152.40/1155.99	c #Conflicts:      72000 | #Constraints:      26136
1152.40/1155.99	c INPROCESSING
1152.40/1155.99	c GARBAGE COLLECT
1152.40/1155.99	WSVECS04 Frhs2[4971]: 6 0 1.00005 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[4977]: 6 0 1.00008 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[4984]: 6 0 1.00009 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[4993]: 6 0 1.00005 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[4994]: 6 0 1.0001 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[4995]: 6 0 1.00005 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5002]: 6 0 1.0001 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5004]: 6 0 1.00006 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5009]: 6 0 1.00003 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5014]: 6 0 1.00007 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5015]: 6 0 1.00004 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5017]: 6 0 1.00006 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5019]: 6 0 1.00006 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5025]: 6 0 1.00008 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5026]: 6 0 1.00005 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5038]: 6 0 1.00003 shouldn't be
1152.40/1155.99	WSVECS04 Frhs2[5039]: 6 0 1.00009 shouldn't be
1155.00/1158.50	c rational objective 1.8073e+06
1332.36/1336.44	c bounds 4413663 >= -70 @ 1147.78
1332.36/1336.44	c bounds 4412069 >= -70 @ 1147.85
1332.36/1336.44	c bounds 4388597 >= -70 @ 1148.1
1332.36/1336.44	c bounds 4333343 >= -70 @ 1148.22
1332.36/1336.44	c bounds 4313773 >= -70 @ 1148.39
1332.36/1336.44	c bounds 4281985 >= -70 @ 1148.77
1332.36/1336.44	c bounds 4277043 >= -70 @ 1149.17
1332.36/1336.44	c bounds 4261017 >= -70 @ 1149.75
1332.36/1336.44	c bounds 4245933 >= -70 @ 1149.84
1332.36/1336.44	c bounds 4218037 >= -70 @ 1150.04
1332.36/1336.44	c bounds 4182459 >= -70 @ 1150.17
1332.36/1336.44	c bounds 4177573 >= -70 @ 1150.33
1332.36/1336.44	c bounds 4173459 >= -70 @ 1150.49
1332.36/1336.44	c bounds 4163497 >= -70 @ 1151.32
1332.36/1336.44	c bounds 4156745 >= -70 @ 1151.42
1332.36/1336.44	c bounds 4147563 >= -70 @ 1151.94
1332.36/1336.44	c bounds 4140165 >= -70 @ 1152.63
1332.36/1336.44	c bounds 4139139 >= -70 @ 1152.88
1332.36/1336.44	c bounds 4134573 >= -70 @ 1153.26
1332.36/1336.44	c bounds 4132395 >= -70 @ 1153.4
1332.36/1336.44	c bounds 4130319 >= -70 @ 1153.81
1332.36/1336.44	c bounds 4129671 >= -70 @ 1153.93
1332.36/1336.44	c bounds 4123215 >= -70 @ 1154.06
1332.36/1336.44	c bounds 4105107 >= -70 @ 1154.2
1332.36/1336.44	c #Conflicts:      73000 | #Constraints:      21629
1332.36/1336.44	c bounds 4103859 >= -70 @ 1154.54
1332.36/1336.44	c bounds 4101311 >= -70 @ 1154.63
1332.36/1336.44	c bounds 4099745 >= -70 @ 1154.77
1332.36/1336.44	c bounds 4083815 >= -70 @ 1156.19
1332.36/1336.44	c bounds 4056857 >= -70 @ 1157.71
1332.36/1336.44	c bounds 4049147 >= -70 @ 1159.1
1332.36/1336.44	c bounds 4045107 >= -70 @ 1159.27
1332.36/1336.44	c bounds 4043443 >= -70 @ 1160.61
1332.36/1336.44	c bounds 4042425 >= -70 @ 1161.69
1332.36/1336.44	c bounds 4040293 >= -70 @ 1162.15
1332.36/1336.44	c bounds 4038687 >= -70 @ 1162.73
1332.36/1336.44	c bounds 4028645 >= -70 @ 1162.89
1332.36/1336.44	c #Conflicts:      74000 | #Constraints:      22641
1332.36/1336.44	c bounds 4025261 >= -70 @ 1163.2
1332.36/1336.44	c bounds 4017783 >= -70 @ 1163.4
1332.36/1336.44	c bounds 4012919 >= -70 @ 1164.81
1332.36/1336.44	c bounds 4007419 >= -70 @ 1166.07
1332.36/1336.44	c bounds 4003861 >= -70 @ 1168.33
1332.36/1336.44	c bounds 3996021 >= -70 @ 1168.76
1332.36/1336.44	c bounds 3989843 >= -70 @ 1169.4
1332.36/1336.44	c bounds 3984109 >= -70 @ 1171.25
1332.36/1336.44	c #Conflicts:      75000 | #Constraints:      23649
1332.36/1336.44	c bounds 3979271 >= -70 @ 1177.23
1332.36/1336.44	c bounds 3978305 >= -70 @ 1177.72
1332.36/1336.44	c bounds 3954455 >= -70 @ 1178.19
1332.36/1336.44	c bounds 3954375 >= -70 @ 1181.68
1332.36/1336.44	c bounds 3944513 >= -70 @ 1182.26
1332.36/1336.44	c bounds 3941753 >= -70 @ 1185.66
1332.36/1336.44	c #Conflicts:      76000 | #Constraints:      24655
1332.36/1336.44	c #Conflicts:      77000 | #Constraints:      25655
1332.36/1336.44	c #Conflicts:      78000 | #Constraints:      26655
1332.36/1336.44	c INPROCESSING
1332.36/1336.44	c GARBAGE COLLECT
1332.36/1336.44	c bounds 3935729 >= -70 @ 1232.4
1332.36/1336.44	c #Conflicts:      79000 | #Constraints:      21986
1332.36/1336.44	c bounds 3933777 >= -70 @ 1241.39
1332.36/1336.44	c #Conflicts:      80000 | #Constraints:      22991
1332.36/1336.44	c bounds 3928635 >= -70 @ 1243.82
1332.36/1336.44	c #Conflicts:      81000 | #Constraints:      24010
1332.36/1336.44	c #Conflicts:      82000 | #Constraints:      25014
1332.36/1336.44	c #Conflicts:      83000 | #Constraints:      26014
1332.36/1336.44	c #Conflicts:      84000 | #Constraints:      27014
1332.36/1336.44	c INPROCESSING
1332.36/1336.44	c GARBAGE COLLECT
1332.36/1336.44	c rational objective 1.81863e+06
1468.85/1473.37	c #Conflicts:      85000 | #Constraints:      22102
1468.85/1473.37	c #Conflicts:      86000 | #Constraints:      23102
1468.85/1473.37	c #Conflicts:      87000 | #Constraints:      24102
1468.85/1473.37	c #Conflicts:      88000 | #Constraints:      25104
1468.85/1473.37	c #Conflicts:      89000 | #Constraints:      26104
1468.85/1473.37	c #Conflicts:      90000 | #Constraints:      27104
1468.85/1473.37	c INPROCESSING
1468.85/1473.37	c GARBAGE COLLECT
1468.85/1473.37	c #Conflicts:      91000 | #Constraints:      21897
1468.85/1473.37	c #Conflicts:      92000 | #Constraints:      22898
1468.85/1473.37	c #Conflicts:      93000 | #Constraints:      23903
1468.85/1473.37	c #Conflicts:      94000 | #Constraints:      24906
1468.85/1473.37	c #Conflicts:      95000 | #Constraints:      25908
1468.85/1473.37	c #Conflicts:      96000 | #Constraints:      26915
1468.85/1473.37	c bounds 3924501 >= -70 @ 1440.68
1468.85/1473.37	c bounds 3916571 >= -70 @ 1451.81
1468.85/1473.37	c INPROCESSING
1468.85/1473.37	c GARBAGE COLLECT
1468.85/1473.37	c rational objective 1.82033e+06
1638.43/1643.47	c #Conflicts:      97000 | #Constraints:      21715
1638.43/1643.47	c #Conflicts:      98000 | #Constraints:      22715
1638.43/1643.47	c #Conflicts:      99000 | #Constraints:      23715
1638.43/1643.47	c #Conflicts:     100000 | #Constraints:      24715
1638.43/1643.47	c #Conflicts:     101000 | #Constraints:      25715
1638.43/1643.47	c #Conflicts:     102000 | #Constraints:      26715
1638.43/1643.47	c #Conflicts:     103000 | #Constraints:      27715
1638.43/1643.47	c INPROCESSING
1638.43/1643.47	c GARBAGE COLLECT
1638.43/1643.47	c #Conflicts:     104000 | #Constraints:      22271
1638.43/1643.47	c #Conflicts:     105000 | #Constraints:      23271
1638.43/1643.47	c #Conflicts:     106000 | #Constraints:      24271
1638.43/1643.47	c #Conflicts:     107000 | #Constraints:      25271
1638.43/1643.47	c #Conflicts:     108000 | #Constraints:      26271
1638.43/1643.47	c #Conflicts:     109000 | #Constraints:      27271
1638.43/1643.47	c #Conflicts:     110000 | #Constraints:      28271
1638.43/1643.47	c INPROCESSING
1638.43/1643.47	c GARBAGE COLLECT
1638.43/1643.47	c rational objective 1.82201e+06
1754.07/1759.41	c bounds 3914587 >= -70 @ 1628.94
1754.07/1759.41	c bounds 3911707 >= -70 @ 1630.84
1754.07/1759.41	c bounds 3909643 >= -70 @ 1630.94
1754.07/1759.41	c bounds 3908463 >= -70 @ 1633.09
1754.07/1759.41	c #Conflicts:     111000 | #Constraints:      22610
1754.07/1759.41	c #Conflicts:     112000 | #Constraints:      23610
1754.07/1759.41	c #Conflicts:     113000 | #Constraints:      24610
1754.07/1759.41	c bounds 3908269 >= -70 @ 1658.51
1754.07/1759.41	c bounds 3906211 >= -70 @ 1660.95
1754.07/1759.41	c bounds 3896033 >= -70 @ 1664.36
1754.07/1759.41	c bounds 3894925 >= -70 @ 1667.59
1754.07/1759.41	c bounds 3892789 >= -70 @ 1667.89
1754.07/1759.41	c #Conflicts:     114000 | #Constraints:      25617
1754.07/1759.41	c #Conflicts:     115000 | #Constraints:      26621
1754.07/1759.41	c #Conflicts:     116000 | #Constraints:      27621
1754.07/1759.41	c #Conflicts:     117000 | #Constraints:      28623
1754.07/1759.41	c INPROCESSING
1754.07/1759.41	c GARBAGE COLLECT
1754.07/1759.41	c rational objective 1.82457e+06
1877.41/1883.13	c #Conflicts:     118000 | #Constraints:      22744
1877.41/1883.13	c #Conflicts:     119000 | #Constraints:      23745
1877.41/1883.13	c #Conflicts:     120000 | #Constraints:      24745
1877.41/1883.13	c #Conflicts:     121000 | #Constraints:      25746
1877.41/1883.13	c #Conflicts:     122000 | #Constraints:      26747
1877.41/1883.13	c #Conflicts:     123000 | #Constraints:      27749
1877.41/1883.13	c #Conflicts:     124000 | #Constraints:      28749
1877.41/1883.13	c INPROCESSING
1877.41/1883.13	c GARBAGE COLLECT
1877.41/1883.13	c rational objective 1.82457e+06
2080.58/2086.90	c #Conflicts:     125000 | #Constraints:      22705
2080.58/2086.90	c #Conflicts:     126000 | #Constraints:      23705
2080.58/2086.90	c #Conflicts:     127000 | #Constraints:      24706
2080.58/2086.90	c #Conflicts:     128000 | #Constraints:      25708
2080.58/2086.90	c #Conflicts:     129000 | #Constraints:      26709
2080.58/2086.90	c #Conflicts:     130000 | #Constraints:      27712
2080.58/2086.90	c #Conflicts:     131000 | #Constraints:      28712
2080.58/2086.90	c INPROCESSING
2080.58/2086.90	c GARBAGE COLLECT
2080.58/2086.90	c #Conflicts:     132000 | #Constraints:      22471
2080.58/2086.90	c #Conflicts:     133000 | #Constraints:      23471
2080.58/2086.90	c #Conflicts:     134000 | #Constraints:      24471
2080.58/2086.90	c #Conflicts:     135000 | #Constraints:      25471
2080.58/2086.90	c #Conflicts:     136000 | #Constraints:      26471
2080.58/2086.90	c #Conflicts:     137000 | #Constraints:      27471
2080.58/2086.90	c #Conflicts:     138000 | #Constraints:      28471
2080.58/2086.90	c #Conflicts:     139000 | #Constraints:      29471
2080.58/2086.90	c INPROCESSING
2080.58/2086.90	c GARBAGE COLLECT
2080.58/2086.90	c rational objective 1.82457e+06
2271.90/2278.89	c #Conflicts:     140000 | #Constraints:      23111
2271.90/2278.89	c #Conflicts:     141000 | #Constraints:      24111
2271.90/2278.89	c #Conflicts:     142000 | #Constraints:      25113
2271.90/2278.89	c #Conflicts:     143000 | #Constraints:      26119
2271.90/2278.89	c #Conflicts:     144000 | #Constraints:      27119
2271.90/2278.89	c #Conflicts:     145000 | #Constraints:      28119
2271.90/2278.89	c #Conflicts:     146000 | #Constraints:      29119
2271.90/2278.89	c #Conflicts:     147000 | #Constraints:      30119
2271.90/2278.89	c INPROCESSING
2271.90/2278.89	c GARBAGE COLLECT
2271.90/2278.89	c #Conflicts:     148000 | #Constraints:      23444
2271.90/2278.89	c #Conflicts:     149000 | #Constraints:      24444
2271.90/2278.89	c #Conflicts:     150000 | #Constraints:      25444
2271.90/2278.89	c #Conflicts:     151000 | #Constraints:      26444
2271.90/2278.89	c #Conflicts:     152000 | #Constraints:      27445
2271.90/2278.89	c #Conflicts:     153000 | #Constraints:      28445
2271.90/2278.89	c #Conflicts:     154000 | #Constraints:      29446
2271.90/2278.89	c #Conflicts:     155000 | #Constraints:      30447
2271.90/2278.89	c INPROCESSING
2271.90/2278.89	c GARBAGE COLLECT
2271.90/2278.89	c rational objective 1.82457e+06
2475.77/2483.39	c #Conflicts:     156000 | #Constraints:      23646
2475.77/2483.39	c #Conflicts:     157000 | #Constraints:      24648
2475.77/2483.39	c #Conflicts:     158000 | #Constraints:      25650
2475.77/2483.39	c #Conflicts:     159000 | #Constraints:      26653
2475.77/2483.39	c #Conflicts:     160000 | #Constraints:      27655
2475.77/2483.39	c #Conflicts:     161000 | #Constraints:      28658
2475.77/2483.39	c #Conflicts:     162000 | #Constraints:      29662
2475.77/2483.39	c #Conflicts:     163000 | #Constraints:      30663
2475.77/2483.39	c INPROCESSING
2475.77/2483.39	c GARBAGE COLLECT
2475.77/2483.39	c #Conflicts:     164000 | #Constraints:      23634
2475.77/2483.39	c #Conflicts:     165000 | #Constraints:      24635
2475.77/2483.39	c #Conflicts:     166000 | #Constraints:      25635
2475.77/2483.39	c #Conflicts:     167000 | #Constraints:      26635
2475.77/2483.39	c #Conflicts:     168000 | #Constraints:      27635
2475.77/2483.39	c #Conflicts:     169000 | #Constraints:      28637
2475.77/2483.39	c #Conflicts:     170000 | #Constraints:      29638
2475.77/2483.39	c #Conflicts:     171000 | #Constraints:      30638
2475.77/2483.39	c INPROCESSING
2475.77/2483.39	c GARBAGE COLLECT
2475.77/2483.39	c rational objective 1.82457e+06
2599.60/2607.54	c #Conflicts:     172000 | #Constraints:      23398
2599.60/2607.54	c #Conflicts:     173000 | #Constraints:      24398
2599.60/2607.54	c #Conflicts:     174000 | #Constraints:      25399
2599.60/2607.54	c #Conflicts:     175000 | #Constraints:      26399
2599.60/2607.54	c #Conflicts:     176000 | #Constraints:      27400
2599.60/2607.54	c #Conflicts:     177000 | #Constraints:      28400
2599.60/2607.54	c #Conflicts:     178000 | #Constraints:      29400
2599.60/2607.54	c #Conflicts:     179000 | #Constraints:      30400
2599.60/2607.54	c #Conflicts:     180000 | #Constraints:      31400
2599.60/2607.54	c INPROCESSING
2599.60/2607.54	c GARBAGE COLLECT
2599.60/2607.54	c rational objective 1.82457e+06
2816.63/2825.22	c #Conflicts:     181000 | #Constraints:      24045
2816.63/2825.22	c #Conflicts:     182000 | #Constraints:      25045
2816.63/2825.22	c #Conflicts:     183000 | #Constraints:      26045
2816.63/2825.22	c #Conflicts:     184000 | #Constraints:      27046
2816.63/2825.22	c #Conflicts:     185000 | #Constraints:      28046
2816.63/2825.22	c #Conflicts:     186000 | #Constraints:      29048
2816.63/2825.22	c #Conflicts:     187000 | #Constraints:      30050
2816.63/2825.22	c #Conflicts:     188000 | #Constraints:      31054
2816.63/2825.22	c #Conflicts:     189000 | #Constraints:      32055
2816.63/2825.22	c INPROCESSING
2816.63/2825.22	c GARBAGE COLLECT
2816.63/2825.22	c #Conflicts:     190000 | #Constraints:      24534
2816.63/2825.22	c #Conflicts:     191000 | #Constraints:      25534
2816.63/2825.22	c #Conflicts:     192000 | #Constraints:      26534
2816.63/2825.22	c #Conflicts:     193000 | #Constraints:      27534
2816.63/2825.22	c #Conflicts:     194000 | #Constraints:      28534
2816.63/2825.22	c #Conflicts:     195000 | #Constraints:      29534
2816.63/2825.22	c #Conflicts:     196000 | #Constraints:      30534
2816.63/2825.22	c #Conflicts:     197000 | #Constraints:      31534
2816.63/2825.22	c #Conflicts:     198000 | #Constraints:      32535
2816.63/2825.22	c INPROCESSING
2816.63/2825.22	c GARBAGE COLLECT
2816.63/2825.22	c rational objective 1.82457e+06
3016.60/3025.84	c #Conflicts:     199000 | #Constraints:      24656
3016.60/3025.84	c #Conflicts:     200000 | #Constraints:      25657
3016.60/3025.84	c #Conflicts:     201000 | #Constraints:      26658
3016.60/3025.84	c #Conflicts:     202000 | #Constraints:      27659
3016.60/3025.84	c #Conflicts:     203000 | #Constraints:      28660
3016.60/3025.84	c #Conflicts:     204000 | #Constraints:      29661
3016.60/3025.84	c #Conflicts:     205000 | #Constraints:      30663
3016.60/3025.84	c #Conflicts:     206000 | #Constraints:      31663
3016.60/3025.84	c #Conflicts:     207000 | #Constraints:      32664
3016.60/3025.84	c INPROCESSING
3016.60/3025.84	c GARBAGE COLLECT
3016.60/3025.84	c #Conflicts:     208000 | #Constraints:      24612
3016.60/3025.84	c #Conflicts:     209000 | #Constraints:      25617
3016.60/3025.84	c #Conflicts:     210000 | #Constraints:      26617
3016.60/3025.84	c #Conflicts:     211000 | #Constraints:      27617
3016.60/3025.84	c #Conflicts:     212000 | #Constraints:      28617
3016.60/3025.84	c #Conflicts:     213000 | #Constraints:      29617
3016.60/3025.84	c #Conflicts:     214000 | #Constraints:      30617
3016.60/3025.84	c #Conflicts:     215000 | #Constraints:      31617
3016.60/3025.84	c #Conflicts:     216000 | #Constraints:      32617
3016.60/3025.84	c INPROCESSING
3016.60/3025.84	c GARBAGE COLLECT
3016.60/3025.84	c rational objective 1.82457e+06
3139.52/3149.16	c #Conflicts:     217000 | #Constraints:      24394
3139.52/3149.16	c #Conflicts:     218000 | #Constraints:      25394
3139.52/3149.16	c #Conflicts:     219000 | #Constraints:      26394
3139.52/3149.16	c #Conflicts:     220000 | #Constraints:      27394
3139.52/3149.16	c #Conflicts:     221000 | #Constraints:      28394
3139.52/3149.16	c #Conflicts:     222000 | #Constraints:      29394
3139.52/3149.16	c #Conflicts:     223000 | #Constraints:      30394
3139.52/3149.16	c #Conflicts:     224000 | #Constraints:      31394
3139.52/3149.16	c #Conflicts:     225000 | #Constraints:      32394
3139.52/3149.16	c #Conflicts:     226000 | #Constraints:      33394
3139.52/3149.16	c INPROCESSING
3139.52/3149.16	c GARBAGE COLLECT
3139.52/3149.16	c rational objective 1.82457e+06
3438.81/3449.32	c #Conflicts:     227000 | #Constraints:      24957
3438.81/3449.32	c #Conflicts:     228000 | #Constraints:      25957
3438.81/3449.32	c #Conflicts:     229000 | #Constraints:      26957
3438.81/3449.32	c #Conflicts:     230000 | #Constraints:      27958
3438.81/3449.32	c #Conflicts:     231000 | #Constraints:      28959
3438.81/3449.32	c #Conflicts:     232000 | #Constraints:      29959
3438.81/3449.32	c #Conflicts:     233000 | #Constraints:      30960
3438.81/3449.32	c #Conflicts:     234000 | #Constraints:      31961
3438.81/3449.32	c #Conflicts:     235000 | #Constraints:      32962
3438.81/3449.32	c #Conflicts:     236000 | #Constraints:      33962
3438.81/3449.32	c INPROCESSING
3438.81/3449.32	c GARBAGE COLLECT
3438.81/3449.32	c #Conflicts:     237000 | #Constraints:      25377
3438.81/3449.32	c #Conflicts:     238000 | #Constraints:      26381
3438.81/3449.32	c #Conflicts:     239000 | #Constraints:      27384
3438.81/3449.32	c #Conflicts:     240000 | #Constraints:      28384
3438.81/3449.32	c #Conflicts:     241000 | #Constraints:      29384
3438.81/3449.32	c #Conflicts:     242000 | #Constraints:      30386
3438.81/3449.32	c #Conflicts:     243000 | #Constraints:      31386
3438.81/3449.32	c #Conflicts:     244000 | #Constraints:      32386
3438.81/3449.32	c #Conflicts:     245000 | #Constraints:      33386
3438.81/3449.32	c #Conflicts:     246000 | #Constraints:      34386
3438.81/3449.32	c INPROCESSING
3438.81/3449.32	c GARBAGE COLLECT
3438.81/3449.32	c rational objective 1.82469e+06
3550.96/3561.85	c #Conflicts:     247000 | #Constraints:      25593
3550.96/3561.85	c #Conflicts:     248000 | #Constraints:      26596
3550.96/3561.85	c #Conflicts:     249000 | #Constraints:      27596
3550.96/3561.85	c #Conflicts:     250000 | #Constraints:      28598
3550.96/3561.85	c #Conflicts:     251000 | #Constraints:      29598
3550.96/3561.85	c #Conflicts:     252000 | #Constraints:      30598
3550.96/3561.85	c #Conflicts:     253000 | #Constraints:      31598
3550.96/3561.85	c #Conflicts:     254000 | #Constraints:      32598
3550.96/3561.85	c #Conflicts:     255000 | #Constraints:      33599
3550.96/3561.85	c #Conflicts:     256000 | #Constraints:      34599
3550.96/3561.85	c INPROCESSING
3550.96/3561.85	c GARBAGE COLLECT
3550.96/3561.85	c rational objective 1.82479e+06
3600.01/3611.03	c #Conflicts:     257000 | #Constraints:      25580
3600.01/3611.03	c #Conflicts:     258000 | #Constraints:      26581
3600.01/3611.03	c #Conflicts:     259000 | #Constraints:      27581
3600.01/3611.03	c #Conflicts:     260000 | #Constraints:      28581
3600.01/3611.03	c Program interrupted by user.
3600.01/3611.03	c cpu time 3581.04 s
3600.01/3611.03	c deterministic time 365128901165 3.65e+11
3600.01/3611.03	c optimization time 53.1922 s
3600.01/3611.03	c total solve time 3527.79 s
3600.01/3611.03	c core-guided solve time 2107.37 s
3600.01/3611.03	c propagation time 2427.16 s
3600.01/3611.03	c conflict analysis time 908.087 s
3600.01/3611.03	c propagations 127912930
3600.01/3611.03	c resolve steps 7835368
3600.01/3611.03	c decisions 2673997
3600.01/3611.03	c conflicts 260235
3600.01/3611.03	c restarts 619
3600.01/3611.03	c inprocessing phases 42
3600.01/3611.03	c input clauses 21876
3600.01/3611.03	c input cardinalities 9
3600.01/3611.03	c input general constraints 2947
3600.01/3611.03	c input average constraint length 90.04
3600.01/3611.03	c input average constraint degree 56826037.07
3600.01/3611.03	c learned clauses 42449
3600.01/3611.03	c learned cardinalities 516
3600.01/3611.03	c learned general constraints 217550
3600.01/3611.03	c learned average constraint length 3201.71
3600.01/3611.03	c learned average constraint degree 11587799992.82
3600.01/3611.03	c watched constraints 82568
3600.01/3611.03	c counting constraints 137929
3600.01/3611.03	c gcd simplifications 6216
3600.01/3611.03	c detected cardinalities 52
3600.01/3611.03	c weakened non-implied lits 86089984
3600.01/3611.03	c weakened non-implying lits 524220
3600.01/3611.03	c original variables 9940
3600.01/3611.03	c clausal propagations 96250955
3600.01/3611.03	c cardinality propagations 899746
3600.01/3611.03	c watched propagations 2587849
3600.01/3611.03	c counting propagations 27978322
3600.01/3611.03	c watch lookups 52717559820
3600.01/3611.03	c watch backjump lookups 51978196639
3600.01/3611.03	c watch checks 138808983870
3600.01/3611.03	c propagation checks 119313002783
3600.01/3611.03	c constraint additions 2049203852
3600.01/3611.03	c trail pops 130837376
3600.01/3611.03	c formula constraints 24510
3600.01/3611.03	c learned constraints 259953
3600.01/3611.03	c bound constraints 322
3600.01/3611.03	c core-guided constraints 0
3600.01/3611.03	c encountered formula constraints 7098449
3600.01/3611.03	c encountered learned constraints 980265
3600.01/3611.03	c encountered bound constraints 5216
3600.01/3611.03	c encountered core-guided constraints 0
3600.01/3611.03	c LP total time 252.755 s
3600.01/3611.03	c LP solve time 242.18 s
3600.01/3611.03	c LP constraints added 24543
3600.01/3611.03	c LP constraints removed 16
3600.01/3611.03	c LP pivots internal 265767
3600.01/3611.03	c LP pivots root 264130
3600.01/3611.03	c LP calls 372
3600.01/3611.03	c LP optimalities 86
3600.01/3611.03	c LP no pivot count 16
3600.01/3611.03	c LP infeasibilities 281
3600.01/3611.03	c LP valid Farkas constraints 281
3600.01/3611.03	c LP learned Farkas constraints 281
3600.01/3611.03	c LP basis resets 0
3600.01/3611.03	c LP cycling count 0
3600.01/3611.03	c LP singular count 0
3600.01/3611.03	c LP no primal count 0
3600.01/3611.03	c LP no farkas count 0
3600.01/3611.03	c LP other issue count 0
3600.01/3611.03	c LP Gomory cuts 0
3600.01/3611.03	c LP learned cuts 33
3600.01/3611.03	c LP deleted cuts 16
3600.01/3611.03	c LP encountered Gomory constraints 0
3600.01/3611.03	c LP encountered Farkas constraints 9948
3600.01/3611.03	c LP encountered learned Farkas constraints 1444
3600.01/3611.03	c CG auxiliary variables introduced 0
3600.01/3611.03	c CG solutions found 322
3600.01/3611.03	c CG cores constructed 0
3600.01/3611.03	c CG core cardinality constraints returned 0
3600.01/3611.03	c CG unit cores 0
3600.01/3611.03	c CG single cores 0
3600.01/3611.03	c CG blocks removed during cardinality reduction 0
3600.01/3611.03	c CG first core best 0
3600.01/3611.03	c CG decision core best 0
3600.01/3611.03	c CG core reduction tie 0
3600.01/3611.03	c CG core degree average 0.00
3600.01/3611.03	c CG core slack average 0.00
3600.01/3611.03	s SATISFIABLE
3600.01/3611.03	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: 63968 MiB (60068 MiB free)
  memory of node 1: 64473 MiB (1031 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=10251, runsolver pid=10248

[startup+0.100084 s]*
/proc/loadavg: 4.30 4.22 4.12 2/261 10252
/proc/meminfo: memFree=62562976/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=37376 memory=2584 CPUtime=0 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 1078198272 213 0 0 0 0 0 0 0 20 0 1 0 1048398 38273024 646 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.205624 s]*
/proc/loadavg: 4.30 4.22 4.12 3/261 10252
/proc/meminfo: memFree=62561440/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=37376 memory=2584 CPUtime=0 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 1077936128 213 0 0 0 0 0 0 0 20 0 1 0 1048398 38273024 646 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 9344 646 590 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.305593 s]*
/proc/loadavg: 4.30 4.22 4.12 4/261 10263
/proc/meminfo: memFree=62545180/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=47612 memory=19784 CPUtime=0.08 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 3759 0 0 0 6 2 0 0 20 0 1 0 1048398 48754688 4946 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 11903 4946 1660 992 0 3761 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47612 KiB
Current children cumulated memory: 19784 KiB

[startup+0.700202 s]
/proc/loadavg: 4.30 4.22 4.12 3/261 10263
/proc/meminfo: memFree=62527988/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=59408 memory=31388 CPUtime=0.44 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 7327 0 0 0 41 3 0 0 20 0 1 0 1048398 60833792 7847 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 14852 7847 1771 992 0 6710 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 59408 KiB
Current children cumulated memory: 31388 KiB

[startup+1.50022 s]
/proc/loadavg: 4.30 4.22 4.12 3/261 10263
/proc/meminfo: memFree=62514020/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=60308 memory=32444 CPUtime=1.24 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 7592 0 0 0 120 4 0 0 20 0 1 0 1048398 61755392 8111 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 15077 8111 1771 992 0 6935 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 32444 KiB

[startup+3.10562 s]
/proc/loadavg: 4.30 4.22 4.12 3/261 10263
/proc/meminfo: memFree=62329116/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=60308 memory=32444 CPUtime=2.85 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 7593 0 0 0 274 11 0 0 20 0 1 0 1048398 61755392 8111 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 15077 8111 1771 992 0 6935 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 32444 KiB

[startup+6.30019 s]
/proc/loadavg: 4.28 4.22 4.11 3/261 10263
/proc/meminfo: memFree=62054096/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=117240 memory=84652 CPUtime=6.03 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 17976 0 0 0 580 23 0 0 20 0 1 0 1048398 120053760 21163 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 29310 21163 1892 992 0 21168 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 117240 KiB
Current children cumulated memory: 84652 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.21 4.11 3/261 10265
/proc/meminfo: memFree=61707464/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=197528 memory=144160 CPUtime=12.41 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 26682 0 0 0 1205 36 0 0 20 0 1 0 1048398 202268672 36040 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 49382 36040 1892 992 0 41240 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 197528 KiB
Current children cumulated memory: 144160 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.20 4.11 5/257 10341
/proc/meminfo: memFree=60700704/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=229584 memory=186504 CPUtime=25.18 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 39021 0 0 0 2462 56 0 0 20 0 1 0 1048398 235094016 46626 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 57396 46626 1908 992 0 49254 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 229584 KiB
Current children cumulated memory: 186504 KiB

[startup+51.1056 s]
/proc/loadavg: 4.20 4.20 4.11 5/261 10366
/proc/meminfo: memFree=56753728/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=387156 memory=350436 CPUtime=50.71 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 84960 0 0 0 4978 93 0 0 20 0 1 0 1048398 396447744 87609 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 96789 87609 1908 992 0 88647 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 387156 KiB
Current children cumulated memory: 350436 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.19 4.11 5/261 10375
/proc/meminfo: memFree=53100108/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=537544 memory=482240 CPUtime=101.76 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 159572 0 0 0 10026 150 0 0 20 0 1 0 1048398 550445056 120560 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 134386 120560 1908 992 0 126244 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 537544 KiB
Current children cumulated memory: 482240 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.21 4.12 5/260 10385
/proc/meminfo: memFree=48648812/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=582604 memory=518244 CPUtime=161.59 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 189424 0 0 0 15958 201 0 0 20 0 1 0 1048398 596586496 129561 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 145651 129561 1908 992 0 137509 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 582604 KiB
Current children cumulated memory: 518244 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.18 4.11 5/259 10397
/proc/meminfo: memFree=44832692/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=749268 memory=571196 CPUtime=221.43 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 245378 0 0 0 21895 248 0 0 20 0 1 0 1048398 767250432 142799 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 187317 142799 1908 992 0 179175 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 749268 KiB
Current children cumulated memory: 571196 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/259 10408
/proc/meminfo: memFree=39394380/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=758612 memory=604548 CPUtime=281.26 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 293388 0 0 0 27843 283 0 0 20 0 1 0 1048398 776818688 151137 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 189653 151137 1908 992 0 181511 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 758612 KiB
Current children cumulated memory: 604548 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/259 10418
/proc/meminfo: memFree=35513556/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=768920 memory=614860 CPUtime=341.1 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 345287 0 0 0 33797 313 0 0 20 0 1 0 1048398 787374080 153715 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 192230 153715 1908 992 0 184088 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 768920 KiB
Current children cumulated memory: 614860 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/258 10429
/proc/meminfo: memFree=32989956/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=775700 memory=619940 CPUtime=400.93 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 408052 0 0 0 39735 358 0 0 20 0 1 0 1048398 794316800 154985 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 193925 154985 1908 992 0 185783 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 775700 KiB
Current children cumulated memory: 619940 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.24 4.14 5/258 10440
/proc/meminfo: memFree=28560100/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=778020 memory=623108 CPUtime=460.77 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 474460 0 0 0 45674 403 0 0 20 0 1 0 1048398 796692480 155777 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 194505 155777 1908 992 0 186363 0

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

Current children cumulated memory: 1031900 KiB

[startup+3102.3 s]
/proc/loadavg: 4.51 4.30 4.18 5/260 11689
/proc/meminfo: memFree=65084796/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1108740 memory=1032064 CPUtime=3092.86 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 764234 0 0 0 307595 1691 0 0 20 0 1 0 1048398 1135349760 258016 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277185 258016 1908 992 0 269043 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 1108740 KiB
Current children cumulated memory: 1032064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.26 4.17 5/261 11701
/proc/meminfo: memFree=63423312/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1108740 memory=1032076 CPUtime=3152.67 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 764512 0 0 0 313543 1724 0 0 20 0 1 0 1048398 1135349760 258019 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277185 258019 1908 992 0 269043 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 1108740 KiB
Current children cumulated memory: 1032076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.22 4.16 5/262 11713
/proc/meminfo: memFree=61941912/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1108928 memory=1032232 CPUtime=3212.5 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 764799 0 0 0 319501 1749 0 0 20 0 1 0 1048398 1135542272 258058 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277232 258058 1908 992 0 269090 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 1108928 KiB
Current children cumulated memory: 1032232 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/262 12107
/proc/meminfo: memFree=59902788/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1109072 memory=1032300 CPUtime=3272.31 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 765107 0 0 0 325460 1771 0 0 20 0 1 0 1048398 1135689728 258075 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277268 258075 1908 992 0 269126 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 1109072 KiB
Current children cumulated memory: 1032300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/263 12119
/proc/meminfo: memFree=58022900/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1109380 memory=1032500 CPUtime=3332.13 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 765427 0 0 0 331424 1789 0 0 20 0 1 0 1048398 1136005120 258125 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277345 258125 1908 992 0 269203 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 1109380 KiB
Current children cumulated memory: 1032500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.17 5/263 12130
/proc/meminfo: memFree=56208396/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1109380 memory=1032604 CPUtime=3391.95 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 765622 0 0 0 337393 1802 0 0 20 0 1 0 1048398 1136005120 258151 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277345 258151 1908 992 0 269203 0
Current children cumulated CPU time: 3391.95 s
Current children cumulated vsize: 1109380 KiB
Current children cumulated memory: 1032604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.17 5/262 12311
/proc/meminfo: memFree=54879088/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1109964 memory=1033492 CPUtime=3451.76 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 766205 0 0 0 343349 1827 0 0 20 0 1 0 1048398 1136603136 258373 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277491 258373 1908 992 0 269349 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 1109964 KiB
Current children cumulated memory: 1033492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/264 12327
/proc/meminfo: memFree=53352720/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1109964 memory=1033600 CPUtime=3511.57 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 766551 0 0 0 349297 1860 0 0 20 0 1 0 1048398 1136603136 258400 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 277491 258400 1908 992 0 269349 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 1109964 KiB
Current children cumulated memory: 1033600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/265 12341
/proc/meminfo: memFree=52336768/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3571.39 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 768159 0 0 0 355248 1891 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.08 4.14 4.15 5/265 12358
/proc/meminfo: memFree=51965640/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3600.01 cores=5,7
/proc/10251/stat : 10251 (roundingsat) R 10248 10251 7935 0 -1 4194304 768169 0 0 0 358101 1900 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.05 s, system=19.0164 s

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

[startup+3611.2 s]
/proc/loadavg: 4.08 4.14 4.15 5/265 12358
/proc/meminfo: memFree=51965640/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3600.04 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 4194304 768176 0 0 0 358104 1900 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB

[startup+3612 s]*
/proc/loadavg: 4.08 4.14 4.15 4/264 12358
/proc/meminfo: memFree=51959036/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3600.04 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 4194304 768176 0 0 0 358104 1900 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB

[startup+3612.4 s]
/proc/loadavg: 4.08 4.14 4.15 4/264 12358
/proc/meminfo: memFree=51959036/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3600.04 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 4194304 768176 0 0 0 358104 1900 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 2 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB

[startup+3612.8 s]
/proc/loadavg: 4.08 4.14 4.15 4/264 12358
/proc/meminfo: memFree=51959036/131524600 swapFree=131071996/131071996
[pid=10251] ppid=10248 vsize=1114808 memory=1038956 CPUtime=3600.04 cores=5,7
/proc/10251/stat : 10251 (roundingsat) D 10248 10251 7935 0 -1 4194304 768176 0 0 0 358104 1900 0 0 20 0 1 0 1048398 1141563392 259739 134679101440 4194304 8255733 140736841632336 0 0 0 0 0 25182210 0 0 0 17 5 0 0 354 0 0 9037040 9046032 26148864 140736841638750 140736841639012 140736841639012 140736841646025 0
/proc/10251/statm: 278702 259739 1908 992 0 270560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1114808 KiB
Current children cumulated memory: 1038956 KiB

Child status: 0

Real time (s): 3612.87
CPU time (s): 3600.07
CPU user time (s): 3581.05
CPU system time (s): 19.0164
CPU usage (%): 99.6457
Max. virtual memory (cumulated for all children) (KiB): 1114808
Max. memory (cumulated for all children) (KiB): 1038956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.05
system time used= 19.0164
maximum resident set size= 1038956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 768194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33978400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 5049


# summary of solver processes directly reported to runsolver:
#   pid: 10251
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3581.05
#   total CPU system time (s): 19.0164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35914 second user time and 16.0813 second system time

The end

Begin job on nodeC033 at 2024-07-30 15:01:01
IDJOB=4462793
IDBENCH=155609
IDSOLVER=3089
FILE ID=nodeC033/4462793-1722344461
RUNJOBID= nodeC033-1722340763-7948
SLURM_JOB_ID= 8249006
Free space on /tmp= 890064 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-4462793-1722344461/watcher-4462793-1722344461 -o /tmp/evaluation-result-4462793-1722344461/solver-4462793-1722344461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722340763-7948 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462793-1722344461 --lp-cut-gomory=0 HOME/instance-4462793-1722344461.opb

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

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=86805721

nodeC033.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		: 2092.926
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.99
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		: 3674.227
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        62567504 kB
MemAvailable:   126251888 kB
Buffers:           44016 kB
Cached:         64405636 kB
SwapCached:            0 kB
Active:           156056 kB
Inactive:       68110412 kB
Active(anon):       1548 kB
Inactive(anon):  3836372 kB
Active(file):     154508 kB
Inactive(file): 64274040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            476940 kB
Writeback:       1648428 kB
AnonPages:       3815544 kB
Mapped:            98036 kB
Shmem:             21336 kB
KReclaimable:     191320 kB
Slab:             342428 kB
SReclaimable:     191320 kB
SUnreclaim:       151108 kB
KernelStack:        4256 kB
PageTables:        16280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4384504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9024 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3526656 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:      283348 kB
DirectMap2M:     8927232 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-30 16:01:14