0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.07/0.43	c #variables 9940 #constraints 24510
50.02/50.60	c bounds - >= -70 @ 0.067741
50.02/50.60	c bounds 298467801 >= -70 @ 1.58286
50.02/50.60	c bounds 298432453 >= -70 @ 1.62733
50.02/50.60	c bounds 298367449 >= -70 @ 1.69121
50.02/50.60	c bounds 293099571 >= -70 @ 1.69938
50.02/50.60	c bounds 293097517 >= -70 @ 1.72453
50.02/50.60	c bounds 179874439 >= -70 @ 1.79649
50.02/50.60	c bounds 175068599 >= -70 @ 1.80954
50.02/50.60	c bounds 174930257 >= -70 @ 2.03595
50.02/50.60	c bounds 174879659 >= -70 @ 2.07254
50.02/50.60	c bounds 174689105 >= -70 @ 2.19136
50.02/50.60	c bounds 174534659 >= -70 @ 2.2087
50.02/50.60	c bounds 174533459 >= -70 @ 2.3896
50.02/50.60	c bounds 174467353 >= -70 @ 2.40666
50.02/50.60	c bounds 174452417 >= -70 @ 2.52117
50.02/50.60	c bounds 170089925 >= -70 @ 2.71654
50.02/50.60	c bounds 170003749 >= -70 @ 2.7969
50.02/50.60	c bounds 162229289 >= -70 @ 2.92283
50.02/50.60	c bounds 162060141 >= -70 @ 2.98736
50.02/50.60	c bounds 162048343 >= -70 @ 3.16399
50.02/50.60	c bounds 161849473 >= -70 @ 3.22931
50.02/50.60	c bounds 161796679 >= -70 @ 3.29647
50.02/50.60	c bounds 134451445 >= -70 @ 3.45043
50.02/50.60	c bounds 134208545 >= -70 @ 3.48846
50.02/50.60	c bounds 134171609 >= -70 @ 3.70877
50.02/50.60	c bounds 133892989 >= -70 @ 4.12612
50.02/50.60	c bounds 133839887 >= -70 @ 4.29261
50.02/50.60	c bounds 133817587 >= -70 @ 4.5268
50.02/50.60	c bounds 133690997 >= -70 @ 4.79623
50.02/50.60	c bounds 133664249 >= -70 @ 4.84621
50.02/50.60	c bounds 133661143 >= -70 @ 4.89566
50.02/50.60	c bounds 133636123 >= -70 @ 4.93308
50.02/50.60	c bounds 126756449 >= -70 @ 6.66493
50.02/50.60	c bounds 126736479 >= -70 @ 6.76225
50.02/50.60	c bounds 126725199 >= -70 @ 6.79191
50.02/50.60	c bounds 126722175 >= -70 @ 7.10387
50.02/50.60	c bounds 126713621 >= -70 @ 7.47039
50.02/50.60	c #Conflicts:       1000 | #Constraints:      25545
50.02/50.60	c bounds 126708821 >= -70 @ 7.53985
50.02/50.60	c bounds 126707531 >= -70 @ 7.60443
50.02/50.60	c bounds 126519219 >= -70 @ 8.52034
50.02/50.60	c bounds 126408395 >= -70 @ 8.67399
50.02/50.60	c bounds 126346563 >= -70 @ 8.83359
50.02/50.60	c bounds 126180709 >= -70 @ 8.94379
50.02/50.60	c bounds 126169253 >= -70 @ 9.19225
50.02/50.60	c bounds 125892575 >= -70 @ 9.45644
50.02/50.60	c bounds 125688433 >= -70 @ 9.64665
50.02/50.60	c bounds 125687879 >= -70 @ 9.70584
50.02/50.60	c bounds 122094251 >= -70 @ 11.1739
50.02/50.60	c bounds 122067659 >= -70 @ 11.2497
50.02/50.60	c bounds 122032917 >= -70 @ 11.3469
50.02/50.60	c bounds 121961451 >= -70 @ 11.5003
50.02/50.60	c bounds 121921579 >= -70 @ 14.1157
50.02/50.60	c bounds 67869947 >= -70 @ 18.3084
50.02/50.60	c bounds 67852475 >= -70 @ 18.4883
50.02/50.60	c bounds 67817483 >= -70 @ 18.6402
50.02/50.60	c bounds 67670843 >= -70 @ 18.8138
50.02/50.60	c bounds 67644707 >= -70 @ 19.0742
50.02/50.60	c bounds 67601989 >= -70 @ 19.2433
50.02/50.60	c bounds 67516119 >= -70 @ 19.5473
50.02/50.60	c bounds 67512109 >= -70 @ 19.7459
50.02/50.60	c bounds 67498669 >= -70 @ 19.8771
50.02/50.60	c bounds 67457549 >= -70 @ 20.1054
50.02/50.60	c bounds 67453443 >= -70 @ 20.2248
50.02/50.60	c #Conflicts:       2000 | #Constraints:      26571
50.02/50.60	c INPROCESSING
50.02/50.60	c GARBAGE COLLECT
50.02/50.60	c bounds 59480855 >= -70 @ 21.5916
50.02/50.60	c bounds 59412757 >= -70 @ 21.7254
50.02/50.60	c bounds 59202079 >= -70 @ 21.7967
50.02/50.60	c bounds 59147749 >= -70 @ 21.8527
50.02/50.60	c bounds 59111955 >= -70 @ 23.9083
50.02/50.60	c bounds 59050903 >= -70 @ 24.0354
50.02/50.60	c bounds 58919241 >= -70 @ 24.2225
50.02/50.60	c bounds 58862025 >= -70 @ 26.9602
50.02/50.60	c bounds 58761859 >= -70 @ 27.1574
50.02/50.60	c bounds 58707651 >= -70 @ 27.48
50.02/50.60	c bounds 58698987 >= -70 @ 27.6869
50.02/50.60	c bounds 58672699 >= -70 @ 27.9608
50.02/50.60	c bounds 58559923 >= -70 @ 28.1882
50.02/50.60	c bounds 56058371 >= -70 @ 28.4729
50.02/50.60	c bounds 56057179 >= -70 @ 28.7226
50.02/50.60	c bounds 55849489 >= -70 @ 29.7883
50.02/50.60	c bounds 55814331 >= -70 @ 30.0112
50.02/50.60	c bounds 55714329 >= -70 @ 30.3069
50.02/50.60	c #Conflicts:       3000 | #Constraints:      26000
50.02/50.60	c bounds 46797223 >= -70 @ 41.3904
50.02/50.60	c bounds 46723571 >= -70 @ 41.5396
50.02/50.60	c bounds 46661289 >= -70 @ 41.7545
50.02/50.60	c bounds 34087767 >= -70 @ 42.3959
50.02/50.60	c bounds 29714371 >= -70 @ 42.8268
50.02/50.60	c bounds 29660441 >= -70 @ 42.9774
50.02/50.60	c bounds 29650443 >= -70 @ 43.115
50.02/50.60	c bounds 29608699 >= -70 @ 43.5201
50.02/50.60	c bounds 29500939 >= -70 @ 43.8126
50.02/50.60	c bounds 29465249 >= -70 @ 44.0336
50.02/50.60	c bounds 29422363 >= -70 @ 44.198
50.02/50.60	c bounds 29368315 >= -70 @ 44.4409
50.02/50.60	c bounds 29351947 >= -70 @ 44.6508
50.02/50.60	c bounds 29324717 >= -70 @ 45.0335
50.02/50.60	c bounds 29307123 >= -70 @ 45.1977
50.02/50.60	c bounds 29277737 >= -70 @ 45.4694
50.02/50.60	c bounds 29253825 >= -70 @ 45.7176
50.02/50.60	c bounds 29236087 >= -70 @ 45.8814
50.02/50.60	c bounds 29229193 >= -70 @ 46.0614
50.02/50.60	c bounds 29224025 >= -70 @ 46.2238
50.02/50.60	c bounds 29219655 >= -70 @ 46.3787
50.02/50.60	c bounds 29180707 >= -70 @ 46.6944
50.02/50.60	c bounds 29025697 >= -70 @ 46.8693
50.02/50.60	c bounds 28790995 >= -70 @ 47.0771
50.02/50.60	c bounds 28674643 >= -70 @ 47.2606
50.02/50.60	c bounds 28621723 >= -70 @ 48.0716
50.02/50.60	c bounds 28520907 >= -70 @ 48.2667
50.02/50.60	c bounds 28511383 >= -70 @ 48.7454
50.02/50.60	c bounds 28439395 >= -70 @ 48.9157
50.02/50.60	c bounds 28252261 >= -70 @ 49.2724
101.99/102.87	c bounds 28245939 >= -70 @ 50.193
101.99/102.87	c bounds 28192683 >= -70 @ 50.5839
101.99/102.87	c bounds 28150939 >= -70 @ 50.8284
101.99/102.87	c bounds 28146763 >= -70 @ 51.0008
101.99/102.87	c bounds 28101473 >= -70 @ 51.3236
101.99/102.87	c bounds 28074761 >= -70 @ 52.2848
101.99/102.87	c bounds 28026871 >= -70 @ 52.6217
101.99/102.87	c bounds 28015843 >= -70 @ 53.6179
101.99/102.87	c bounds 28015551 >= -70 @ 53.9391
101.99/102.87	c bounds 27987849 >= -70 @ 54.1626
101.99/102.87	c bounds 27983721 >= -70 @ 55.6685
101.99/102.87	c bounds 27929661 >= -70 @ 55.9098
101.99/102.87	c bounds 27928545 >= -70 @ 56.5666
101.99/102.87	c bounds 27907127 >= -70 @ 57.1884
101.99/102.87	c bounds 27880695 >= -70 @ 57.7711
101.99/102.87	c #Conflicts:       4000 | #Constraints:      27045
101.99/102.87	c INPROCESSING
101.99/102.87	c GARBAGE COLLECT
101.99/102.87	c bounds 27866415 >= -70 @ 61.0514
101.99/102.87	c bounds 27790305 >= -70 @ 61.5769
101.99/102.87	c bounds 27788005 >= -70 @ 61.6588
101.99/102.87	c bounds 27776787 >= -70 @ 62.3505
101.99/102.87	c bounds 27758567 >= -70 @ 62.9186
101.99/102.87	c bounds 27744287 >= -70 @ 63.0527
101.99/102.87	c bounds 27741987 >= -70 @ 63.2061
101.99/102.87	c bounds 27714781 >= -70 @ 63.434
101.99/102.87	c bounds 27703801 >= -70 @ 63.7226
101.99/102.87	c bounds 27659271 >= -70 @ 63.8184
101.99/102.87	c bounds 27644991 >= -70 @ 63.9038
101.99/102.87	c bounds 27479951 >= -70 @ 64.0532
101.99/102.87	c bounds 27476459 >= -70 @ 65.8164
101.99/102.87	c #Conflicts:       5000 | #Constraints:      24023
101.99/102.87	c #Conflicts:       6000 | #Constraints:      25023
101.99/102.87	c bounds 24723749 >= -70 @ 90.0702
101.99/102.87	c bounds 24688179 >= -70 @ 90.7631
101.99/102.87	c bounds 24566265 >= -70 @ 92.8284
101.99/102.87	c bounds 24181125 >= -70 @ 94.0334
101.99/102.87	c INPROCESSING
101.99/102.87	c GARBAGE COLLECT
101.99/102.87	WSVECS04 Frhs2[2939]: 6 -8281 0 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4597]: 6 -8281 0 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4980]: 6 0 1.00003 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4983]: 6 0 1.00003 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4984]: 6 0 1.00006 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4991]: 6 0 1.00006 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
101.99/102.87	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5008]: 6 0 1.00009 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5014]: 6 0 1.00003 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5025]: 6 0 1.00004 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5026]: 6 0 1.00008 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5027]: 6 0 1.00001 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5033]: 6 0 1.00006 shouldn't be
101.99/102.87	WSVECS04 Frhs2[5036]: 6 0 1.00005 shouldn't be
101.99/102.87	WSVECS04 Frhs2[9526]: 6 -5.54523e+06 0 shouldn't be
101.99/102.87	WSVECS04 Frhs2[9659]: 6 -5.54523e+06 0 shouldn't be
335.52/337.48	c bounds 24060999 >= -70 @ 107.176
335.52/337.48	c bounds 24042335 >= -70 @ 109.825
335.52/337.48	c bounds 24042213 >= -70 @ 109.991
335.52/337.48	c bounds 24040455 >= -70 @ 110.435
335.52/337.48	c #Conflicts:       7000 | #Constraints:      23573
335.52/337.48	c bounds 24020427 >= -70 @ 111.639
335.52/337.48	c bounds 23992527 >= -70 @ 112.016
335.52/337.48	c bounds 23989903 >= -70 @ 123.567
335.52/337.48	c bounds 23414679 >= -70 @ 124.188
335.52/337.48	c bounds 23373027 >= -70 @ 124.925
335.52/337.48	c #Conflicts:       8000 | #Constraints:      24578
335.52/337.48	c #Conflicts:       9000 | #Constraints:      25578
335.52/337.48	c bounds 17397537 >= -70 @ 150.623
335.52/337.48	c bounds 17380803 >= -70 @ 150.958
335.52/337.48	c bounds 17354707 >= -70 @ 151.317
335.52/337.48	c bounds 17258713 >= -70 @ 151.719
335.52/337.48	c bounds 17246321 >= -70 @ 152.449
335.52/337.48	c bounds 17241887 >= -70 @ 152.781
335.52/337.48	c bounds 17227183 >= -70 @ 153.08
335.52/337.48	c bounds 17222753 >= -70 @ 153.765
335.52/337.48	c bounds 17182033 >= -70 @ 154.199
335.52/337.48	c INPROCESSING
335.52/337.48	c GARBAGE COLLECT
335.52/337.48	c bounds 17151383 >= -70 @ 155.353
335.52/337.48	c bounds 17143031 >= -70 @ 155.76
335.52/337.48	c bounds 17092503 >= -70 @ 156.024
335.52/337.48	c bounds 17069517 >= -70 @ 156.425
335.52/337.48	c bounds 17034497 >= -70 @ 156.57
335.52/337.48	c bounds 17023963 >= -70 @ 156.9
335.52/337.48	c bounds 16272593 >= -70 @ 157.14
335.52/337.48	c bounds 16265273 >= -70 @ 157.291
335.52/337.48	c bounds 16254041 >= -70 @ 157.512
335.52/337.48	c bounds 16160193 >= -70 @ 157.817
335.52/337.48	c bounds 16103843 >= -70 @ 158.083
335.52/337.48	c bounds 16076517 >= -70 @ 158.519
335.52/337.48	c bounds 16066523 >= -70 @ 158.881
335.52/337.48	c bounds 16056355 >= -70 @ 159.241
335.52/337.48	c bounds 16006609 >= -70 @ 160.161
335.52/337.48	c bounds 16004519 >= -70 @ 160.425
335.52/337.48	c bounds 15998353 >= -70 @ 160.573
335.52/337.48	c bounds 15955863 >= -70 @ 162.955
335.52/337.48	c bounds 15855925 >= -70 @ 163.122
335.52/337.48	c #Conflicts:      10000 | #Constraints:      23140
335.52/337.48	c bounds 15822661 >= -70 @ 168.014
335.52/337.48	c bounds 15817491 >= -70 @ 168.228
335.52/337.48	c bounds 15807479 >= -70 @ 168.468
335.52/337.48	c bounds 15733017 >= -70 @ 169.19
335.52/337.48	c bounds 15667497 >= -70 @ 169.436
335.52/337.48	c bounds 15644073 >= -70 @ 169.743
335.52/337.48	c bounds 15632345 >= -70 @ 169.967
335.52/337.48	c bounds 15609967 >= -70 @ 170.338
335.52/337.48	c #Conflicts:      11000 | #Constraints:      24148
335.52/337.48	c bounds 15600239 >= -70 @ 181.498
335.52/337.48	c bounds 15592793 >= -70 @ 181.881
335.52/337.48	c bounds 12759713 >= -70 @ 186.365
335.52/337.48	c bounds 12739065 >= -70 @ 186.828
335.52/337.48	c #Conflicts:      12000 | #Constraints:      25155
335.52/337.48	c INPROCESSING
335.52/337.48	c GARBAGE COLLECT
335.52/337.48	c bounds 12526747 >= -70 @ 197.369
335.52/337.48	c bounds 12514911 >= -70 @ 197.66
335.52/337.48	c bounds 12513999 >= -70 @ 201.185
335.52/337.48	c #Conflicts:      13000 | #Constraints:      22481
335.52/337.48	c bounds 12491061 >= -70 @ 221.049
335.52/337.48	c bounds 12489867 >= -70 @ 224.054
335.52/337.48	c bounds 12432741 >= -70 @ 224.571
335.52/337.48	c #Conflicts:      14000 | #Constraints:      23485
335.52/337.48	c bounds 12430089 >= -70 @ 228.121
335.52/337.48	c bounds 12428139 >= -70 @ 228.399
335.52/337.48	c bounds 12401095 >= -70 @ 231.932
335.52/337.48	c bounds 12400647 >= -70 @ 235.65
335.52/337.48	c bounds 12398697 >= -70 @ 235.936
335.52/337.48	c bounds 12391689 >= -70 @ 236.299
335.52/337.48	c bounds 12391247 >= -70 @ 236.903
335.52/337.48	c bounds 12389743 >= -70 @ 237.201
335.52/337.48	c bounds 12383457 >= -70 @ 237.861
335.52/337.48	c bounds 12375579 >= -70 @ 247.399
335.52/337.48	c bounds 12369881 >= -70 @ 249.426
335.52/337.48	c bounds 12262199 >= -70 @ 249.844
335.52/337.48	c bounds 12254607 >= -70 @ 250.338
335.52/337.48	c bounds 12247599 >= -70 @ 251.233
335.52/337.48	c #Conflicts:      15000 | #Constraints:      24501
335.52/337.48	c INPROCESSING
335.52/337.48	c GARBAGE COLLECT
335.52/337.48	c bounds 12239447 >= -70 @ 256.922
335.52/337.48	c bounds 12239209 >= -70 @ 259.677
335.52/337.48	c #Conflicts:      16000 | #Constraints:      22598
335.52/337.48	c #Conflicts:      17000 | #Constraints:      23600
335.52/337.48	c bounds 12195235 >= -70 @ 287.5
335.52/337.48	c bounds 12123447 >= -70 @ 289.338
335.52/337.48	c bounds 12112371 >= -70 @ 290.326
335.52/337.48	c bounds 12094147 >= -70 @ 290.795
335.52/337.48	c bounds 12072001 >= -70 @ 292.182
335.52/337.48	c bounds 12070493 >= -70 @ 292.442
335.52/337.48	c bounds 12065269 >= -70 @ 292.83
335.52/337.48	c bounds 12061615 >= -70 @ 293.804
335.52/337.48	c bounds 12052723 >= -70 @ 294.071
335.52/337.48	c bounds 12023659 >= -70 @ 294.855
335.52/337.48	c bounds 11996813 >= -70 @ 295.397
335.52/337.48	c bounds 11916283 >= -70 @ 296.364
335.52/337.48	c bounds 11887235 >= -70 @ 296.981
335.52/337.48	c bounds 11868651 >= -70 @ 297.866
335.52/337.48	c bounds 11803203 >= -70 @ 298.535
335.52/337.48	c bounds 11790187 >= -70 @ 300.638
335.52/337.48	c bounds 11758997 >= -70 @ 301.163
335.52/337.48	c bounds 11730723 >= -70 @ 302.141
335.52/337.48	c bounds 11730361 >= -70 @ 302.758
335.52/337.48	c bounds 11692777 >= -70 @ 305.066
335.52/337.48	c #Conflicts:      18000 | #Constraints:      24622
335.52/337.48	c INPROCESSING
335.52/337.48	c GARBAGE COLLECT
335.52/337.48	c bounds 11644841 >= -70 @ 315.323
335.52/337.48	c bounds 11639593 >= -70 @ 315.473
335.52/337.48	c bounds 11583275 >= -70 @ 316.246
335.52/337.48	c bounds 11578835 >= -70 @ 322.034
335.52/337.48	c #Conflicts:      19000 | #Constraints:      22448
387.96/390.15	c bounds 11122957 >= -70 @ 338.771
387.96/390.15	c bounds 10967663 >= -70 @ 339.136
387.96/390.15	c bounds 10920785 >= -70 @ 339.373
387.96/390.15	c bounds 10862817 >= -70 @ 339.91
387.96/390.15	c bounds 10831483 >= -70 @ 340.235
387.96/390.15	c bounds 10829497 >= -70 @ 340.391
387.96/390.15	c bounds 10803705 >= -70 @ 340.696
387.96/390.15	c bounds 10802457 >= -70 @ 340.984
387.96/390.15	c bounds 10736649 >= -70 @ 342.515
387.96/390.15	c bounds 10718553 >= -70 @ 342.723
387.96/390.15	c bounds 10599135 >= -70 @ 342.893
387.96/390.15	c bounds 10514213 >= -70 @ 343.228
387.96/390.15	c bounds 10432957 >= -70 @ 343.679
387.96/390.15	c bounds 10252551 >= -70 @ 343.936
387.96/390.15	c bounds 10196185 >= -70 @ 344.293
387.96/390.15	c bounds 10178727 >= -70 @ 344.754
387.96/390.15	c bounds 10143577 >= -70 @ 345.56
387.96/390.15	c bounds 10123705 >= -70 @ 346.193
387.96/390.15	c bounds 10110391 >= -70 @ 347.905
387.96/390.15	c bounds 10102409 >= -70 @ 348.186
387.96/390.15	c bounds 10092193 >= -70 @ 348.373
387.96/390.15	c bounds 10039835 >= -70 @ 348.695
387.96/390.15	c bounds 10033043 >= -70 @ 348.867
387.96/390.15	c bounds 9976979 >= -70 @ 349.104
387.96/390.15	c bounds 9943489 >= -70 @ 349.289
387.96/390.15	c #Conflicts:      20000 | #Constraints:      23473
387.96/390.15	c bounds 9322829 >= -70 @ 353.29
387.96/390.15	c bounds 9293323 >= -70 @ 353.536
387.96/390.15	c bounds 9280067 >= -70 @ 353.733
387.96/390.15	c bounds 9270765 >= -70 @ 354.041
387.96/390.15	c bounds 9215127 >= -70 @ 354.288
387.96/390.15	c bounds 9214737 >= -70 @ 354.783
387.96/390.15	c bounds 9157941 >= -70 @ 355.003
387.96/390.15	c bounds 9115151 >= -70 @ 355.621
387.96/390.15	c bounds 9106037 >= -70 @ 356.731
387.96/390.15	c bounds 9065137 >= -70 @ 356.931
387.96/390.15	c bounds 9063647 >= -70 @ 357.65
387.96/390.15	c bounds 9017535 >= -70 @ 358.361
387.96/390.15	c bounds 9014773 >= -70 @ 359.301
387.96/390.15	c bounds 9003419 >= -70 @ 359.586
387.96/390.15	c #Conflicts:      21000 | #Constraints:      24487
387.96/390.15	c INPROCESSING
387.96/390.15	c GARBAGE COLLECT
387.96/390.15	c rational objective 1.78594e+06
566.92/569.90	c bounds 8998995 >= -70 @ 385.73
566.92/569.90	c bounds 8993563 >= -70 @ 385.925
566.92/569.90	c bounds 8989131 >= -70 @ 386.107
566.92/569.90	c bounds 8988243 >= -70 @ 386.233
566.92/569.90	c bounds 8960469 >= -70 @ 386.52
566.92/569.90	c bounds 8926813 >= -70 @ 387.201
566.92/569.90	c bounds 8910523 >= -70 @ 388.315
566.92/569.90	c bounds 8910305 >= -70 @ 388.628
566.92/569.90	c bounds 8908139 >= -70 @ 388.779
566.92/569.90	c bounds 8887747 >= -70 @ 389.012
566.92/569.90	c bounds 8874309 >= -70 @ 389.945
566.92/569.90	c bounds 8862627 >= -70 @ 390.365
566.92/569.90	c bounds 8853325 >= -70 @ 390.539
566.92/569.90	c #Conflicts:      22000 | #Constraints:      21564
566.92/569.90	c bounds 8848103 >= -70 @ 392.235
566.92/569.90	c bounds 8839263 >= -70 @ 393.217
566.92/569.90	c bounds 8831789 >= -70 @ 393.87
566.92/569.90	c bounds 8819837 >= -70 @ 396.545
566.92/569.90	c bounds 8818173 >= -70 @ 397.464
566.92/569.90	c bounds 8790525 >= -70 @ 398.246
566.92/569.90	c bounds 8782429 >= -70 @ 400.944
566.92/569.90	c bounds 8775109 >= -70 @ 401.85
566.92/569.90	c bounds 8766029 >= -70 @ 402.081
566.92/569.90	c bounds 8749349 >= -70 @ 402.387
566.92/569.90	c bounds 8747527 >= -70 @ 403.062
566.92/569.90	c bounds 8745485 >= -70 @ 403.434
566.92/569.90	c bounds 8738687 >= -70 @ 403.879
566.92/569.90	c bounds 8731703 >= -70 @ 404.717
566.92/569.90	c #Conflicts:      23000 | #Constraints:      22578
566.92/569.90	c bounds 8710671 >= -70 @ 408.44
566.92/569.90	c #Conflicts:      24000 | #Constraints:      23579
566.92/569.90	c #Conflicts:      25000 | #Constraints:      24579
566.92/569.90	c INPROCESSING
566.92/569.90	c GARBAGE COLLECT
566.92/569.90	c bounds 8692329 >= -70 @ 442.52
566.92/569.90	c bounds 8674363 >= -70 @ 444.234
566.92/569.90	c bounds 8671239 >= -70 @ 445.146
566.92/569.90	c bounds 8671225 >= -70 @ 446.365
566.92/569.90	c #Conflicts:      26000 | #Constraints:      22070
566.92/569.90	c bounds 8661071 >= -70 @ 462.86
566.92/569.90	c #Conflicts:      27000 | #Constraints:      23071
566.92/569.90	c #Conflicts:      28000 | #Constraints:      24071
566.92/569.90	c #Conflicts:      29000 | #Constraints:      25071
566.92/569.90	c INPROCESSING
566.92/569.90	c GARBAGE COLLECT
566.92/569.90	c bounds 8650203 >= -70 @ 495.641
566.92/569.90	c bounds 8644511 >= -70 @ 495.862
566.92/569.90	c #Conflicts:      30000 | #Constraints:      22438
566.92/569.90	c bounds 8643315 >= -70 @ 513.932
566.92/569.90	c #Conflicts:      31000 | #Constraints:      23439
566.92/569.90	c #Conflicts:      32000 | #Constraints:      24439
566.92/569.90	c bounds 8441751 >= -70 @ 536.99
566.92/569.90	c bounds 8424013 >= -70 @ 537.477
566.92/569.90	c bounds 8383731 >= -70 @ 537.924
566.92/569.90	c bounds 8376339 >= -70 @ 538.634
566.92/569.90	c bounds 8350945 >= -70 @ 538.961
566.92/569.90	c bounds 8341643 >= -70 @ 539.324
566.92/569.90	c bounds 8331563 >= -70 @ 540.115
566.92/569.90	c bounds 8313803 >= -70 @ 540.39
566.92/569.90	c bounds 8294469 >= -70 @ 541.379
566.92/569.90	c bounds 8286835 >= -70 @ 541.661
566.92/569.90	c bounds 8283571 >= -70 @ 542.122
566.92/569.90	c bounds 8279771 >= -70 @ 543.435
566.92/569.90	c bounds 8279741 >= -70 @ 545.068
566.92/569.90	c bounds 8227329 >= -70 @ 545.755
566.92/569.90	c bounds 8212659 >= -70 @ 546.541
566.92/569.90	c bounds 8196441 >= -70 @ 546.924
566.92/569.90	c bounds 8193497 >= -70 @ 548.281
566.92/569.90	c bounds 8188489 >= -70 @ 548.615
566.92/569.90	c bounds 8181053 >= -70 @ 549.022
566.92/569.90	c bounds 8176263 >= -70 @ 552.569
566.92/569.90	c bounds 8172855 >= -70 @ 555.56
566.92/569.90	c #Conflicts:      33000 | #Constraints:      25460
566.92/569.90	c INPROCESSING
566.92/569.90	c GARBAGE COLLECT
566.92/569.90	c rational objective 1.79572e+06
791.45/795.25	c bounds 8167737 >= -70 @ 564.704
791.45/795.25	c #Conflicts:      34000 | #Constraints:      22528
791.45/795.25	c #Conflicts:      35000 | #Constraints:      23528
791.45/795.25	c #Conflicts:      36000 | #Constraints:      24533
791.45/795.25	c bounds 8166781 >= -70 @ 593.181
791.45/795.25	c bounds 8162959 >= -70 @ 593.563
791.45/795.25	c bounds 8162805 >= -70 @ 596.428
791.45/795.25	c bounds 8162099 >= -70 @ 597.186
791.45/795.25	c bounds 8159155 >= -70 @ 597.851
791.45/795.25	c bounds 8153659 >= -70 @ 598.659
791.45/795.25	c bounds 8153471 >= -70 @ 599.418
791.45/795.25	c bounds 8153239 >= -70 @ 601.1
791.45/795.25	c bounds 8149417 >= -70 @ 602.197
791.45/795.25	c bounds 8125943 >= -70 @ 602.842
791.45/795.25	c bounds 8121595 >= -70 @ 605.104
791.45/795.25	c bounds 8088863 >= -70 @ 605.748
791.45/795.25	c #Conflicts:      37000 | #Constraints:      25546
791.45/795.25	c bounds 8085133 >= -70 @ 622.158
791.45/795.25	c INPROCESSING
791.45/795.25	c GARBAGE COLLECT
791.45/795.25	c #Conflicts:      38000 | #Constraints:      22495
791.45/795.25	c #Conflicts:      39000 | #Constraints:      23495
791.45/795.25	c #Conflicts:      40000 | #Constraints:      24495
791.45/795.25	c #Conflicts:      41000 | #Constraints:      25495
791.45/795.25	c INPROCESSING
791.45/795.25	c GARBAGE COLLECT
791.45/795.25	c bounds 8084667 >= -70 @ 668.463
791.45/795.25	c bounds 8054115 >= -70 @ 668.646
791.45/795.25	c bounds 8036157 >= -70 @ 669.071
791.45/795.25	c bounds 8015983 >= -70 @ 670.376
791.45/795.25	c bounds 8009311 >= -70 @ 671.414
791.45/795.25	c bounds 8006495 >= -70 @ 671.86
791.45/795.25	c bounds 8005335 >= -70 @ 672.681
791.45/795.25	c #Conflicts:      42000 | #Constraints:      22336
791.45/795.25	c bounds 8005055 >= -70 @ 677.121
791.45/795.25	c bounds 8004665 >= -70 @ 677.773
791.45/795.25	c #Conflicts:      43000 | #Constraints:      23344
791.45/795.25	c #Conflicts:      44000 | #Constraints:      24345
791.45/795.25	c #Conflicts:      45000 | #Constraints:      25346
791.45/795.25	c #Conflicts:      46000 | #Constraints:      26346
791.45/795.25	c INPROCESSING
791.45/795.25	c GARBAGE COLLECT
791.45/795.25	c rational objective 1.79872e+06
1052.21/1056.96	c #Conflicts:      47000 | #Constraints:      22968
1052.21/1056.96	c #Conflicts:      48000 | #Constraints:      23968
1052.21/1056.96	c #Conflicts:      49000 | #Constraints:      24968
1052.21/1056.96	c #Conflicts:      50000 | #Constraints:      25968
1052.21/1056.96	c #Conflicts:      51000 | #Constraints:      26968
1052.21/1056.96	c INPROCESSING
1052.21/1056.96	c GARBAGE COLLECT
1052.21/1056.96	c #Conflicts:      52000 | #Constraints:      23355
1052.21/1056.96	c #Conflicts:      53000 | #Constraints:      24355
1052.21/1056.96	c #Conflicts:      54000 | #Constraints:      25355
1052.21/1056.96	c #Conflicts:      55000 | #Constraints:      26355
1052.21/1056.96	c #Conflicts:      56000 | #Constraints:      27355
1052.21/1056.96	c INPROCESSING
1052.21/1056.96	c GARBAGE COLLECT
1052.21/1056.96	c #Conflicts:      57000 | #Constraints:      23587
1052.21/1056.96	c #Conflicts:      58000 | #Constraints:      24587
1052.21/1056.96	c #Conflicts:      59000 | #Constraints:      25589
1052.21/1056.96	c #Conflicts:      60000 | #Constraints:      26590
1052.21/1056.96	c #Conflicts:      61000 | #Constraints:      27590
1052.21/1056.96	c INPROCESSING
1052.21/1056.96	c GARBAGE COLLECT
1052.21/1056.96	c rational objective 1.80583e+06
1367.83/1373.74	c bounds 4690827 >= -70 @ 1054.64
1367.83/1373.74	c bounds 4670489 >= -70 @ 1054.79
1367.83/1373.74	c bounds 4663725 >= -70 @ 1054.95
1367.83/1373.74	c #Conflicts:      62000 | #Constraints:      23491
1367.83/1373.74	c bounds 4408229 >= -70 @ 1063.39
1367.83/1373.74	c bounds 4403595 >= -70 @ 1065.83
1367.83/1373.74	c bounds 4402665 >= -70 @ 1066.41
1367.83/1373.74	c bounds 4389265 >= -70 @ 1066.79
1367.83/1373.74	c #Conflicts:      63000 | #Constraints:      24502
1367.83/1373.74	c bounds 4388677 >= -70 @ 1068.9
1367.83/1373.74	c bounds 4388099 >= -70 @ 1069.09
1367.83/1373.74	c bounds 4357239 >= -70 @ 1069.68
1367.83/1373.74	c bounds 4353987 >= -70 @ 1072.38
1367.83/1373.74	c bounds 4344055 >= -70 @ 1072.67
1367.83/1373.74	c bounds 4327921 >= -70 @ 1074.86
1367.83/1373.74	c bounds 4326591 >= -70 @ 1075.98
1367.83/1373.74	c bounds 4323231 >= -70 @ 1076.31
1367.83/1373.74	c #Conflicts:      64000 | #Constraints:      25519
1367.83/1373.74	c #Conflicts:      65000 | #Constraints:      26523
1367.83/1373.74	c #Conflicts:      66000 | #Constraints:      27523
1367.83/1373.74	c INPROCESSING
1367.83/1373.74	c GARBAGE COLLECT
1367.83/1373.74	c #Conflicts:      67000 | #Constraints:      21762
1367.83/1373.74	c #Conflicts:      68000 | #Constraints:      22762
1367.83/1373.74	c #Conflicts:      69000 | #Constraints:      23762
1367.83/1373.74	c #Conflicts:      70000 | #Constraints:      24762
1367.83/1373.74	c #Conflicts:      71000 | #Constraints:      25762
1367.83/1373.74	c #Conflicts:      72000 | #Constraints:      26762
1367.83/1373.74	c INPROCESSING
1367.83/1373.74	c GARBAGE COLLECT
1367.83/1373.74	c bounds 4315805 >= -70 @ 1234.35
1367.83/1373.74	c bounds 4312565 >= -70 @ 1234.61
1367.83/1373.74	c bounds 4311317 >= -70 @ 1235.15
1367.83/1373.74	c bounds 4307125 >= -70 @ 1236.12
1367.83/1373.74	c bounds 4303255 >= -70 @ 1236.55
1367.83/1373.74	c bounds 4299027 >= -70 @ 1237.08
1367.83/1373.74	c bounds 4298003 >= -70 @ 1237.23
1367.83/1373.74	c bounds 4296755 >= -70 @ 1238.64
1367.83/1373.74	c bounds 4291261 >= -70 @ 1239.18
1367.83/1373.74	c bounds 4290963 >= -70 @ 1239.32
1367.83/1373.74	c bounds 4289353 >= -70 @ 1239.83
1367.83/1373.74	c bounds 4289027 >= -70 @ 1241.57
1367.83/1373.74	c #Conflicts:      73000 | #Constraints:      22416
1367.83/1373.74	c bounds 4285657 >= -70 @ 1244.78
1367.83/1373.74	c bounds 4273583 >= -70 @ 1246.03
1367.83/1373.74	c bounds 4271679 >= -70 @ 1248.14
1367.83/1373.74	c bounds 4267135 >= -70 @ 1251.8
1367.83/1373.74	c bounds 4260065 >= -70 @ 1253.55
1367.83/1373.74	c bounds 4256685 >= -70 @ 1254.75
1367.83/1373.74	c bounds 4247821 >= -70 @ 1255.28
1367.83/1373.74	c #Conflicts:      74000 | #Constraints:      23423
1367.83/1373.74	c bounds 4246551 >= -70 @ 1259.33
1367.83/1373.74	c bounds 4241791 >= -70 @ 1259.59
1367.83/1373.74	c bounds 4233913 >= -70 @ 1263.56
1367.83/1373.74	c #Conflicts:      75000 | #Constraints:      24426
1367.83/1373.74	c bounds 4225047 >= -70 @ 1275.83
1367.83/1373.74	c #Conflicts:      76000 | #Constraints:      25427
1367.83/1373.74	c #Conflicts:      77000 | #Constraints:      26427
1367.83/1373.74	c #Conflicts:      78000 | #Constraints:      27427
1367.83/1373.74	c INPROCESSING
1367.83/1373.74	c GARBAGE COLLECT
1367.83/1373.74	c rational objective 1.80583e+06
1511.56/1517.96	c bounds 4223711 >= -70 @ 1360.93
1511.56/1517.96	c #Conflicts:      79000 | #Constraints:      22687
1511.56/1517.96	c #Conflicts:      80000 | #Constraints:      23687
1511.56/1517.96	c #Conflicts:      81000 | #Constraints:      24687
1511.56/1517.96	c bounds 4219117 >= -70 @ 1401.58
1511.56/1517.96	c #Conflicts:      82000 | #Constraints:      25692
1511.56/1517.96	c #Conflicts:      83000 | #Constraints:      26698
1511.56/1517.96	c #Conflicts:      84000 | #Constraints:      27699
1511.56/1517.96	c INPROCESSING
1511.56/1517.96	c GARBAGE COLLECT
1511.56/1517.96	c #Conflicts:      85000 | #Constraints:      22975
1511.56/1517.96	c #Conflicts:      86000 | #Constraints:      23975
1511.56/1517.96	c #Conflicts:      87000 | #Constraints:      24977
1511.56/1517.96	c #Conflicts:      88000 | #Constraints:      25980
1511.56/1517.96	c #Conflicts:      89000 | #Constraints:      26980
1511.56/1517.96	c #Conflicts:      90000 | #Constraints:      27980
1511.56/1517.96	c INPROCESSING
1511.56/1517.96	c GARBAGE COLLECT
1511.56/1517.96	c rational objective 1.80583e+06
1781.17/1788.46	c #Conflicts:      91000 | #Constraints:      23004
1781.17/1788.46	c #Conflicts:      92000 | #Constraints:      24004
1781.17/1788.46	c #Conflicts:      93000 | #Constraints:      25004
1781.17/1788.46	c #Conflicts:      94000 | #Constraints:      26004
1781.17/1788.46	c #Conflicts:      95000 | #Constraints:      27005
1781.17/1788.46	c #Conflicts:      96000 | #Constraints:      28006
1781.17/1788.46	c INPROCESSING
1781.17/1788.46	c GARBAGE COLLECT
1781.17/1788.46	c #Conflicts:      97000 | #Constraints:      22713
1781.17/1788.46	c #Conflicts:      98000 | #Constraints:      23714
1781.17/1788.46	c #Conflicts:      99000 | #Constraints:      24714
1781.17/1788.46	c #Conflicts:     100000 | #Constraints:      25714
1781.17/1788.46	c #Conflicts:     101000 | #Constraints:      26714
1781.17/1788.46	c #Conflicts:     102000 | #Constraints:      27714
1781.17/1788.46	c #Conflicts:     103000 | #Constraints:      28714
1781.17/1788.46	c INPROCESSING
1781.17/1788.46	c GARBAGE COLLECT
1781.17/1788.46	c rational objective 1.80583e+06
2042.11/2050.27	c #Conflicts:     104000 | #Constraints:      23262
2042.11/2050.27	c #Conflicts:     105000 | #Constraints:      24263
2042.11/2050.27	c #Conflicts:     106000 | #Constraints:      25265
2042.11/2050.27	c #Conflicts:     107000 | #Constraints:      26267
2042.11/2050.27	c #Conflicts:     108000 | #Constraints:      27267
2042.11/2050.27	c #Conflicts:     109000 | #Constraints:      28267
2042.11/2050.27	c #Conflicts:     110000 | #Constraints:      29267
2042.11/2050.27	c INPROCESSING
2042.11/2050.27	c GARBAGE COLLECT
2042.11/2050.27	c #Conflicts:     111000 | #Constraints:      23466
2042.11/2050.27	c #Conflicts:     112000 | #Constraints:      24466
2042.11/2050.27	c #Conflicts:     113000 | #Constraints:      25466
2042.11/2050.27	c #Conflicts:     114000 | #Constraints:      26466
2042.11/2050.27	c #Conflicts:     115000 | #Constraints:      27466
2042.11/2050.27	c #Conflicts:     116000 | #Constraints:      28466
2042.11/2050.27	c #Conflicts:     117000 | #Constraints:      29466
2042.11/2050.27	c INPROCESSING
2042.11/2050.27	c GARBAGE COLLECT
2042.11/2050.27	c rational objective 1.8108e+06
2235.98/2244.78	c #Conflicts:     118000 | #Constraints:      23605
2235.98/2244.78	c #Conflicts:     119000 | #Constraints:      24605
2235.98/2244.78	c #Conflicts:     120000 | #Constraints:      25605
2235.98/2244.78	c #Conflicts:     121000 | #Constraints:      26605
2235.98/2244.78	c #Conflicts:     122000 | #Constraints:      27608
2235.98/2244.78	c #Conflicts:     123000 | #Constraints:      28610
2235.98/2244.78	c #Conflicts:     124000 | #Constraints:      29611
2235.98/2244.78	c INPROCESSING
2235.98/2244.78	c GARBAGE COLLECT
2235.98/2244.78	c rational objective 1.81107e+06
2622.92/2633.00	c #Conflicts:     125000 | #Constraints:      23630
2622.92/2633.00	c #Conflicts:     126000 | #Constraints:      24630
2622.92/2633.00	c #Conflicts:     127000 | #Constraints:      25631
2622.92/2633.00	c #Conflicts:     128000 | #Constraints:      26631
2622.92/2633.00	c #Conflicts:     129000 | #Constraints:      27631
2622.92/2633.00	c #Conflicts:     130000 | #Constraints:      28632
2622.92/2633.00	c #Conflicts:     131000 | #Constraints:      29633
2622.92/2633.00	c INPROCESSING
2622.92/2633.00	c GARBAGE COLLECT
2622.92/2633.00	c #Conflicts:     132000 | #Constraints:      23415
2622.92/2633.00	c #Conflicts:     133000 | #Constraints:      24415
2622.92/2633.00	c #Conflicts:     134000 | #Constraints:      25415
2622.92/2633.00	c #Conflicts:     135000 | #Constraints:      26416
2622.92/2633.00	c #Conflicts:     136000 | #Constraints:      27416
2622.92/2633.00	c #Conflicts:     137000 | #Constraints:      28417
2622.92/2633.00	c #Conflicts:     138000 | #Constraints:      29418
2622.92/2633.00	c #Conflicts:     139000 | #Constraints:      30418
2622.92/2633.00	c INPROCESSING
2622.92/2633.00	c GARBAGE COLLECT
2622.92/2633.00	c #Conflicts:     140000 | #Constraints:      23904
2622.92/2633.00	c #Conflicts:     141000 | #Constraints:      24904
2622.92/2633.00	c #Conflicts:     142000 | #Constraints:      25905
2622.92/2633.00	c #Conflicts:     143000 | #Constraints:      26905
2622.92/2633.00	c #Conflicts:     144000 | #Constraints:      27908
2622.92/2633.00	c #Conflicts:     145000 | #Constraints:      28909
2622.92/2633.00	c #Conflicts:     146000 | #Constraints:      29909
2622.92/2633.00	c #Conflicts:     147000 | #Constraints:      30909
2622.92/2633.00	c INPROCESSING
2622.92/2633.00	c GARBAGE COLLECT
2622.92/2633.00	c rational objective 1.81143e+06
2781.50/2792.05	c #Conflicts:     148000 | #Constraints:      24371
2781.50/2792.05	c #Conflicts:     149000 | #Constraints:      25374
2781.50/2792.05	c #Conflicts:     150000 | #Constraints:      26376
2781.50/2792.05	c #Conflicts:     151000 | #Constraints:      27376
2781.50/2792.05	c #Conflicts:     152000 | #Constraints:      28376
2781.50/2792.05	c #Conflicts:     153000 | #Constraints:      29376
2781.50/2792.05	c #Conflicts:     154000 | #Constraints:      30376
2781.50/2792.05	c #Conflicts:     155000 | #Constraints:      31376
2781.50/2792.05	c INPROCESSING
2781.50/2792.05	c GARBAGE COLLECT
2781.50/2792.05	c rational objective 1.815e+06
3116.20/3127.86	c #Conflicts:     156000 | #Constraints:      24531
3116.20/3127.86	c #Conflicts:     157000 | #Constraints:      25532
3116.20/3127.86	c #Conflicts:     158000 | #Constraints:      26532
3116.20/3127.86	c #Conflicts:     159000 | #Constraints:      27532
3116.20/3127.86	c #Conflicts:     160000 | #Constraints:      28532
3116.20/3127.86	c #Conflicts:     161000 | #Constraints:      29532
3116.20/3127.86	c #Conflicts:     162000 | #Constraints:      30532
3116.20/3127.86	c #Conflicts:     163000 | #Constraints:      31532
3116.20/3127.86	c INPROCESSING
3116.20/3127.86	c GARBAGE COLLECT
3116.20/3127.86	c #Conflicts:     164000 | #Constraints:      24453
3116.20/3127.86	c #Conflicts:     165000 | #Constraints:      25454
3116.20/3127.86	c #Conflicts:     166000 | #Constraints:      26456
3116.20/3127.86	c #Conflicts:     167000 | #Constraints:      27456
3116.20/3127.86	c #Conflicts:     168000 | #Constraints:      28457
3116.20/3127.86	c #Conflicts:     169000 | #Constraints:      29458
3116.20/3127.86	c #Conflicts:     170000 | #Constraints:      30460
3116.20/3127.86	c #Conflicts:     171000 | #Constraints:      31460
3116.20/3127.86	c INPROCESSING
3116.20/3127.86	c GARBAGE COLLECT
3116.20/3127.86	c rational objective 1.8197e+06
3298.70/3310.95	c #Conflicts:     172000 | #Constraints:      24277
3298.70/3310.95	c #Conflicts:     173000 | #Constraints:      25279
3298.70/3310.95	c #Conflicts:     174000 | #Constraints:      26279
3298.70/3310.95	c #Conflicts:     175000 | #Constraints:      27280
3298.70/3310.95	c #Conflicts:     176000 | #Constraints:      28282
3298.70/3310.95	c #Conflicts:     177000 | #Constraints:      29282
3298.70/3310.95	c #Conflicts:     178000 | #Constraints:      30283
3298.70/3310.95	c #Conflicts:     179000 | #Constraints:      31285
3298.70/3310.95	c #Conflicts:     180000 | #Constraints:      32285
3298.70/3310.95	c INPROCESSING
3298.70/3310.95	c GARBAGE COLLECT
3298.70/3310.95	c rational objective 1.81975e+06
3600.01/3613.20	c #Conflicts:     181000 | #Constraints:      24799
3600.01/3613.20	c #Conflicts:     182000 | #Constraints:      25800
3600.01/3613.20	c #Conflicts:     183000 | #Constraints:      26800
3600.01/3613.20	c #Conflicts:     184000 | #Constraints:      27800
3600.01/3613.20	c #Conflicts:     185000 | #Constraints:      28800
3600.01/3613.20	c #Conflicts:     186000 | #Constraints:      29800
3600.01/3613.20	c #Conflicts:     187000 | #Constraints:      30800
3600.01/3613.20	c #Conflicts:     188000 | #Constraints:      31800
3600.01/3613.20	c #Conflicts:     189000 | #Constraints:      32800
3600.01/3613.20	c INPROCESSING
3600.01/3613.20	c GARBAGE COLLECT
3600.01/3613.20	c #Conflicts:     190000 | #Constraints:      25192
3600.01/3613.20	c #Conflicts:     191000 | #Constraints:      26192
3600.01/3613.20	c #Conflicts:     192000 | #Constraints:      27193
3600.01/3613.20	c #Conflicts:     193000 | #Constraints:      28193
3600.01/3613.20	c #Conflicts:     194000 | #Constraints:      29193
3600.01/3613.20	c #Conflicts:     195000 | #Constraints:      30193
3600.01/3613.20	c #Conflicts:     196000 | #Constraints:      31193
3600.01/3613.20	c Program interrupted by user.
3600.01/3613.20	c cpu time 3582.09 s
3600.01/3613.20	c deterministic time 385410156110 3.85e+11
3600.01/3613.20	c optimization time 172.435 s
3600.01/3613.20	c total solve time 3409.59 s
3600.01/3613.20	c core-guided solve time 2177.46 s
3600.01/3613.20	c propagation time 2471.01 s
3600.01/3613.20	c conflict analysis time 894.113 s
3600.01/3613.20	c propagations 104413849
3600.01/3613.20	c resolve steps 6940082
3600.01/3613.20	c decisions 2522480
3600.01/3613.20	c conflicts 196653
3600.01/3613.20	c restarts 509
3600.01/3613.20	c inprocessing phases 35
3600.01/3613.20	c input clauses 21876
3600.01/3613.20	c input cardinalities 9
3600.01/3613.20	c input general constraints 3021
3600.01/3613.20	c input average constraint length 129.39
3600.01/3613.20	c input average constraint degree 440399914.93
3600.01/3613.20	c learned clauses 32294
3600.01/3613.20	c learned cardinalities 258
3600.01/3613.20	c learned general constraints 164237
3600.01/3613.20	c learned average constraint length 3797.99
3600.01/3613.20	c learned average constraint degree 14054483193.68
3600.01/3613.20	c watched constraints 40787
3600.01/3613.20	c counting constraints 126471
3600.01/3613.20	c gcd simplifications 5438
3600.01/3613.20	c detected cardinalities 10
3600.01/3613.20	c weakened non-implied lits 79522493
3600.01/3613.20	c weakened non-implying lits 620213
3600.01/3613.20	c original variables 9940
3600.01/3613.20	c clausal propagations 70627820
3600.01/3613.20	c cardinality propagations 875759
3600.01/3613.20	c watched propagations 1197406
3600.01/3613.20	c counting propagations 31551210
3600.01/3613.20	c watch lookups 47459481294
3600.01/3613.20	c watch backjump lookups 47022864241
3600.01/3613.20	c watch checks 80595804947
3600.01/3613.20	c propagation checks 208124391760
3600.01/3613.20	c constraint additions 1993159452
3600.01/3613.20	c trail pops 107123152
3600.01/3613.20	c formula constraints 24510
3600.01/3613.20	c learned constraints 196526
3600.01/3613.20	c bound constraints 396
3600.01/3613.20	c core-guided constraints 0
3600.01/3613.20	c encountered formula constraints 6359760
3600.01/3613.20	c encountered learned constraints 765327
3600.01/3613.20	c encountered bound constraints 2489
3600.01/3613.20	c encountered core-guided constraints 0
3600.01/3613.20	c LP total time 203.868 s
3600.01/3613.20	c LP solve time 192.72 s
3600.01/3613.20	c LP constraints added 24533
3600.01/3613.20	c LP constraints removed 7
3600.01/3613.20	c LP pivots internal 201628
3600.01/3613.20	c LP pivots root 193306
3600.01/3613.20	c LP calls 193
3600.01/3613.20	c LP optimalities 52
3600.01/3613.20	c LP no pivot count 9
3600.01/3613.20	c LP infeasibilities 136
3600.01/3613.20	c LP valid Farkas constraints 136
3600.01/3613.20	c LP learned Farkas constraints 127
3600.01/3613.20	c LP basis resets 0
3600.01/3613.20	c LP cycling count 0
3600.01/3613.20	c LP singular count 0
3600.01/3613.20	c LP no primal count 0
3600.01/3613.20	c LP no farkas count 0
3600.01/3613.20	c LP other issue count 0
3600.01/3613.20	c LP Gomory cuts 0
3600.01/3613.20	c LP learned cuts 23
3600.01/3613.20	c LP deleted cuts 7
3600.01/3613.20	c LP encountered Gomory constraints 0
3600.01/3613.20	c LP encountered Farkas constraints 8156
3600.01/3613.20	c LP encountered learned Farkas constraints 876
3600.01/3613.20	c CG auxiliary variables introduced 0
3600.01/3613.20	c CG solutions found 396
3600.01/3613.20	c CG cores constructed 0
3600.01/3613.20	c CG core cardinality constraints returned 0
3600.01/3613.20	c CG unit cores 0
3600.01/3613.20	c CG single cores 0
3600.01/3613.20	c CG blocks removed during cardinality reduction 0
3600.01/3613.20	c CG first core best 0
3600.01/3613.20	c CG decision core best 0
3600.01/3613.20	c CG core reduction tie 0
3600.01/3613.20	c CG core degree average 0.00
3600.01/3613.20	c CG core slack average 0.00
3600.01/3613.20	s SATISFIABLE
3600.01/3613.20	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 x1064 -x1065 x1066 x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 -x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 x1300 -x1301 x1302 x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 x1311 -x1312 x1313 -x1314 x1315 x1316 -x1317 -x1318 x1319 x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 x4765 -x4766 -x4767 -x4768 -x4769 x4770 -x4771 x4772 -x4773 -x4774 x4775 -x4776 -x4777 x4778 -x4779 x4780 -x4781 x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 -x4791 -x4792 -x4793 x4794 x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 x4812 -x4813 x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 x4821 -x4822 -x4823 x4824 x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 x6027 x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 x9823 -x9824 -x9825 x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940

OK	4219117

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (63051 MiB free)
  memory of node 1: 64510 MiB (63214 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=9830, runsolver pid=9827

[startup+0.10008 s]*
/proc/loadavg: 4.12 4.14 4.09 4/260 9842
/proc/meminfo: memFree=129295012/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1044589 38273024 670 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.205748 s]*
/proc/loadavg: 4.12 4.14 4.09 4/260 9842
/proc/meminfo: memFree=129294212/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1044589 38273024 670 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.12 4.14 4.09 4/260 9842
/proc/meminfo: memFree=129292840/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 1077936128 216 0 0 0 0 0 0 0 20 0 1 0 1044589 38273024 670 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.700213 s]
/proc/loadavg: 4.12 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129270100/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=59308 memory=29700 CPUtime=0.35 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 6874 0 0 0 32 3 0 0 20 0 1 0 1044589 60731392 7425 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 14827 7425 1792 992 0 6685 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 59308 KiB
Current children cumulated memory: 29700 KiB

[startup+1.5002 s]
/proc/loadavg: 4.12 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129263156/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=60976 memory=31548 CPUtime=1.14 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 7343 0 0 0 111 3 0 0 20 0 1 0 1044589 62439424 7887 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 15244 7887 1792 992 0 7102 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 60976 KiB
Current children cumulated memory: 31548 KiB

[startup+3.10539 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129193684/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=80696 memory=53936 CPUtime=2.74 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 11330 0 0 0 268 6 0 0 20 0 1 0 1044589 82632704 13484 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 20174 13484 1875 992 0 12032 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 80696 KiB
Current children cumulated memory: 53936 KiB

[startup+6.3002 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 9842
/proc/meminfo: memFree=129068672/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=149960 memory=108468 CPUtime=5.91 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 20300 0 0 0 576 15 0 0 20 0 1 0 1044589 153559040 27117 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 37490 27117 1891 992 0 29348 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 149960 KiB
Current children cumulated memory: 108468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.17 4.10 5/260 9844
/proc/meminfo: memFree=128859612/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=220584 memory=183356 CPUtime=12.28 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 30865 0 0 0 1202 26 0 0 20 0 1 0 1044589 225878016 45839 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 55146 45839 1891 992 0 47004 0
Current children cumulated CPU time: 12.28 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 183356 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.16 4.10 5/260 9845
/proc/meminfo: memFree=128390660/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=339808 memory=268176 CPUtime=25.03 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 47172 0 0 0 2459 44 0 0 20 0 1 0 1044589 347963392 67044 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 84952 67044 1891 992 0 76810 0
Current children cumulated CPU time: 25.03 s
Current children cumulated vsize: 339808 KiB
Current children cumulated memory: 268176 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.15 4.09 5/260 9850
/proc/meminfo: memFree=127615924/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=364212 memory=328964 CPUtime=50.52 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 54293 0 0 0 4976 76 0 0 20 0 1 0 1044589 372953088 82241 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 91053 82241 1907 992 0 82911 0
Current children cumulated CPU time: 50.52 s
Current children cumulated vsize: 364212 KiB
Current children cumulated memory: 328964 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/260 9858
/proc/meminfo: memFree=126286540/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=609088 memory=572384 CPUtime=101.48 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 94731 0 0 0 10018 130 0 0 20 0 1 0 1044589 623706112 143096 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 152272 143096 1907 992 0 144130 0
Current children cumulated CPU time: 101.48 s
Current children cumulated vsize: 609088 KiB
Current children cumulated memory: 572384 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 4.22 4.12 5/259 9868
/proc/meminfo: memFree=125132436/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=758772 memory=601340 CPUtime=161.23 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 100006 0 0 0 15947 176 0 0 20 0 1 0 1044589 776982528 150335 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 189693 150335 1907 992 0 181551 0
Current children cumulated CPU time: 161.23 s
Current children cumulated vsize: 758772 KiB
Current children cumulated memory: 601340 KiB

[startup+222.3 s]
/proc/loadavg: 4.58 4.30 4.15 5/259 9880
/proc/meminfo: memFree=123902164/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=794048 memory=656144 CPUtime=220.92 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 107109 0 0 0 21866 226 0 0 20 0 1 0 1044589 813105152 164036 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 198512 164036 1907 992 0 190370 0
Current children cumulated CPU time: 220.92 s
Current children cumulated vsize: 794048 KiB
Current children cumulated memory: 656144 KiB

[startup+282.3 s]
/proc/loadavg: 4.52 4.35 4.18 5/257 9890
/proc/meminfo: memFree=122889484/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=866848 memory=718896 CPUtime=280.64 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 120780 0 0 0 27807 257 0 0 20 0 1 0 1044589 887652352 179724 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 216712 179724 1907 992 0 208570 0
Current children cumulated CPU time: 280.64 s
Current children cumulated vsize: 866848 KiB
Current children cumulated memory: 718896 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.30 4.17 5/257 9900
/proc/meminfo: memFree=121903624/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=920760 memory=774244 CPUtime=340.4 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 132560 0 0 0 33743 297 0 0 20 0 1 0 1044589 942858240 193561 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 230190 193561 1907 992 0 222048 0
Current children cumulated CPU time: 340.4 s
Current children cumulated vsize: 920760 KiB
Current children cumulated memory: 774244 KiB

[startup+402.3 s]
/proc/loadavg: 4.24 4.29 4.18 5/257 9912
/proc/meminfo: memFree=120870728/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=929244 memory=783392 CPUtime=400.09 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 134880 0 0 0 39667 342 0 0 20 0 1 0 1044589 951545856 195848 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 232311 195848 1907 992 0 224169 0
Current children cumulated CPU time: 400.09 s
Current children cumulated vsize: 929244 KiB
Current children cumulated memory: 783392 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.28 4.18 5/259 9926
/proc/meminfo: memFree=119542724/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=929244 memory=783844 CPUtime=459.83 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 134979 0 0 0 45606 377 0 0 20 0 1 0 1044589 951545856 195961 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 232311 195961 1907 992 0 224169 0
Current children cumulated CPU time: 459.83 s

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

Current children cumulated memory: 1263392 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/259 11021
/proc/meminfo: memFree=82626296/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3090.79 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 234780 0 0 0 307502 1577 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3090.79 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.19 4.11 5/259 11031
/proc/meminfo: memFree=81749560/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3150.59 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 235193 0 0 0 313451 1608 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3150.59 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/259 11042
/proc/meminfo: memFree=80832288/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3210.39 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 235499 0 0 0 319409 1630 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3210.39 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/260 11436
/proc/meminfo: memFree=79945732/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3270.2 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 235941 0 0 0 325365 1655 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3270.2 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/259 11446
/proc/meminfo: memFree=78746568/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3330 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 236369 0 0 0 331310 1690 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3330 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 11458
/proc/meminfo: memFree=78078672/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263400 CPUtime=3389.8 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 236830 0 0 0 337260 1720 0 0 20 0 1 0 1044589 1548754944 315850 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315850 1907 992 0 369972 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/261 11638
/proc/meminfo: memFree=77380564/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263404 CPUtime=3449.61 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 237302 0 0 0 343213 1748 0 0 20 0 1 0 1044589 1548754944 315851 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315851 1907 992 0 369972 0
Current children cumulated CPU time: 3449.61 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/261 11648
/proc/meminfo: memFree=76469956/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263416 CPUtime=3509.4 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 237769 0 0 0 349170 1770 0 0 20 0 1 0 1044589 1548754944 315854 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315854 1907 992 0 369972 0
Current children cumulated CPU time: 3509.4 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 11800
/proc/meminfo: memFree=111424972/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1512456 memory=1263420 CPUtime=3569.21 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 238257 0 0 0 355138 1783 0 0 20 0 1 0 1044589 1548754944 315855 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 378114 315855 1907 992 0 369972 0
Current children cumulated CPU time: 3569.21 s
Current children cumulated vsize: 1512456 KiB
Current children cumulated memory: 1263420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 11817
/proc/meminfo: memFree=111064564/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1522908 memory=1272024 CPUtime=3600.01 cores=0,2
/proc/9830/stat : 9830 (roundingsat) R 9827 9830 6973 0 -1 4194304 240833 0 0 0 358208 1793 0 0 20 0 1 0 1044589 1559457792 318006 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 380727 318006 1907 992 0 372585 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1522908 KiB
Current children cumulated memory: 1272024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.09 s, system=17.9511 s

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

[startup+3613.6 s]
/proc/loadavg: 4.10 4.15 4.11 5/261 11817
/proc/meminfo: memFree=111064564/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1522908 memory=1272600 CPUtime=3600.03 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 4194304 240841 0 0 0 358209 1794 0 0 20 0 1 0 1044589 1559457792 318150 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 2 0 0 75 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 380727 318150 1992 992 0 372585 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1522908 KiB
Current children cumulated memory: 1272600 KiB

[startup+3614.4 s]
/proc/loadavg: 4.10 4.15 4.11 4/261 11817
/proc/meminfo: memFree=111058756/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1522908 memory=1272600 CPUtime=3600.03 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 4194304 240841 0 0 0 358209 1794 0 0 20 0 1 0 1044589 1559457792 318150 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 2 0 0 155 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 380727 318150 1992 992 0 372585 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1522908 KiB
Current children cumulated memory: 1272600 KiB

[startup+3614.6 s]
/proc/loadavg: 4.10 4.15 4.11 4/261 11817
/proc/meminfo: memFree=111058756/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1522908 memory=1272600 CPUtime=3600.03 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 4194304 240841 0 0 0 358209 1794 0 0 20 0 1 0 1044589 1559457792 318150 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 0 0 0 17 2 0 0 261 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 380727 318150 1992 992 0 372585 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1522908 KiB
Current children cumulated memory: 1272600 KiB

[startup+3614.7 s]
/proc/loadavg: 4.10 4.15 4.11 4/261 11817
/proc/meminfo: memFree=111058756/131524600 swapFree=131071996/131071996
[pid=9830] ppid=9827 vsize=1522908 memory=1272600 CPUtime=3600.03 cores=0,2
/proc/9830/stat : 9830 (roundingsat) D 9827 9830 6973 0 -1 4194304 240841 0 0 0 358209 1794 0 0 20 0 1 0 1044589 1559457792 318150 134679101440 4194304 8255733 140725925918352 0 0 0 0 0 25182210 1 0 0 17 2 0 0 282 0 0 9037040 9046032 12910592 140725925921630 140725925921892 140725925921892 140725925928905 0
/proc/9830/statm: 380727 318150 1992 992 0 372585 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1522908 KiB
Current children cumulated memory: 1272600 KiB

Child status: 0

Real time (s): 3614.73
CPU time (s): 3600.04
CPU user time (s): 3582.09
CPU system time (s): 17.9511
CPU usage (%): 99.5938
Max. virtual memory (cumulated for all children) (KiB): 1522908
Max. memory (cumulated for all children) (KiB): 1272600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.09
system time used= 17.9511
maximum resident set size= 1272600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35052808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1488
involuntary context switches= 24949


# summary of solver processes directly reported to runsolver:
#   pid: 9830
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3582.09
#   total CPU system time (s): 17.9511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30469 second user time and 15.8881 second system time

The end

Begin job on nodeC022 at 2024-07-30 15:01:01
IDJOB=4462795
IDBENCH=155605
IDSOLVER=3089
FILE ID=nodeC022/4462795-1722344461
RUNJOBID= nodeC022-1722340763-6983
SLURM_JOB_ID= 8248995
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_5.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-4462795-1722344461/watcher-4462795-1722344461 -o /tmp/evaluation-result-4462795-1722344461/solver-4462795-1722344461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6983 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462795-1722344461 --lp-cut-gomory=0 HOME/instance-4462795-1722344461.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=1778411649

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129296324 kB
MemAvailable:   129518920 kB
Buffers:           50988 kB
Cached:          1009512 kB
SwapCached:            0 kB
Active:           146160 kB
Inactive:        1594184 kB
Active(anon):       1516 kB
Inactive(anon):   699756 kB
Active(file):     144644 kB
Inactive(file):   894428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             76452 kB
Writeback:        519488 kB
AnonPages:        680004 kB
Mapped:            98172 kB
Shmem:             21336 kB
KReclaimable:      46344 kB
Slab:             144024 kB
SReclaimable:      46344 kB
SUnreclaim:        97680 kB
KernelStack:        4208 kB
PageTables:        10640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     934148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8672 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 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:      264916 kB
DirectMap2M:     9994240 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC022 at 2024-07-30 16:01:16