0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.14	c #variables 9940 #constraints 24510
50.02/50.21	c bounds - >= -70 @ 0.091437
50.02/50.21	c bounds 298467801 >= -70 @ 1.8864
50.02/50.21	c bounds 298432453 >= -70 @ 1.93204
50.02/50.21	c bounds 298367449 >= -70 @ 1.98497
50.02/50.21	c bounds 293099571 >= -70 @ 1.9938
50.02/50.21	c bounds 293097517 >= -70 @ 2.01847
50.02/50.21	c bounds 179874439 >= -70 @ 2.08795
50.02/50.21	c bounds 175068599 >= -70 @ 2.10107
50.02/50.21	c bounds 174930257 >= -70 @ 2.31907
50.02/50.21	c bounds 174879659 >= -70 @ 2.35289
50.02/50.21	c bounds 174689105 >= -70 @ 2.4582
50.02/50.21	c bounds 174534659 >= -70 @ 2.4761
50.02/50.21	c bounds 174533459 >= -70 @ 2.64203
50.02/50.21	c bounds 174467353 >= -70 @ 2.66065
50.02/50.21	c bounds 174452417 >= -70 @ 2.75574
50.02/50.21	c bounds 170089925 >= -70 @ 2.92742
50.02/50.21	c bounds 170003749 >= -70 @ 3.00596
50.02/50.21	c bounds 162229289 >= -70 @ 3.12964
50.02/50.21	c bounds 162060141 >= -70 @ 3.18834
50.02/50.21	c bounds 162048343 >= -70 @ 3.34471
50.02/50.21	c bounds 161849473 >= -70 @ 3.41247
50.02/50.21	c bounds 161796679 >= -70 @ 3.4771
50.02/50.21	c bounds 134451445 >= -70 @ 3.60472
50.02/50.21	c bounds 134208545 >= -70 @ 3.64055
50.02/50.21	c bounds 134171609 >= -70 @ 3.82437
50.02/50.21	c bounds 133892989 >= -70 @ 4.18563
50.02/50.21	c bounds 133839887 >= -70 @ 4.36301
50.02/50.21	c bounds 133817587 >= -70 @ 4.57547
50.02/50.21	c bounds 133690997 >= -70 @ 4.84477
50.02/50.21	c bounds 133664249 >= -70 @ 4.89207
50.02/50.21	c bounds 133661143 >= -70 @ 4.9444
50.02/50.21	c bounds 133636123 >= -70 @ 4.98452
50.02/50.21	c bounds 126756449 >= -70 @ 6.65623
50.02/50.21	c bounds 126736479 >= -70 @ 6.75645
50.02/50.21	c bounds 126725199 >= -70 @ 6.78798
50.02/50.21	c bounds 126722175 >= -70 @ 7.06861
50.02/50.21	c bounds 126713621 >= -70 @ 7.43219
50.02/50.21	c #Conflicts:       1000 | #Constraints:      25545
50.02/50.21	c bounds 126708821 >= -70 @ 7.50106
50.02/50.21	c bounds 126707531 >= -70 @ 7.56901
50.02/50.21	c bounds 126519219 >= -70 @ 8.42138
50.02/50.21	c bounds 126408395 >= -70 @ 8.58324
50.02/50.21	c bounds 126346563 >= -70 @ 8.7226
50.02/50.21	c bounds 126180709 >= -70 @ 8.83443
50.02/50.21	c bounds 126169253 >= -70 @ 9.06326
50.02/50.21	c bounds 125892575 >= -70 @ 9.30889
50.02/50.21	c bounds 125688433 >= -70 @ 9.49385
50.02/50.21	c bounds 125687879 >= -70 @ 9.56061
50.02/50.21	c bounds 122094251 >= -70 @ 11.119
50.02/50.21	c bounds 122067659 >= -70 @ 11.2017
50.02/50.21	c bounds 122032917 >= -70 @ 11.3041
50.02/50.21	c bounds 121961451 >= -70 @ 11.4695
50.02/50.21	c bounds 121921579 >= -70 @ 14.13
50.02/50.21	c bounds 67869947 >= -70 @ 18.6579
50.02/50.21	c bounds 67852475 >= -70 @ 18.8539
50.02/50.21	c bounds 67817483 >= -70 @ 19.0202
50.02/50.21	c bounds 67670843 >= -70 @ 19.2061
50.02/50.21	c bounds 67644707 >= -70 @ 19.4796
50.02/50.21	c bounds 67601989 >= -70 @ 19.6577
50.02/50.21	c bounds 67516119 >= -70 @ 19.9728
50.02/50.21	c bounds 67512109 >= -70 @ 20.1791
50.02/50.21	c bounds 67498669 >= -70 @ 20.3173
50.02/50.21	c bounds 67457549 >= -70 @ 20.5466
50.02/50.21	c bounds 67453443 >= -70 @ 20.6743
50.02/50.21	c #Conflicts:       2000 | #Constraints:      26571
50.02/50.21	c INPROCESSING
50.02/50.21	c GARBAGE COLLECT
50.02/50.21	c bounds 59480855 >= -70 @ 21.9148
50.02/50.21	c bounds 59412757 >= -70 @ 22.0475
50.02/50.21	c bounds 59202079 >= -70 @ 22.1198
50.02/50.21	c bounds 59147749 >= -70 @ 22.1804
50.02/50.21	c bounds 59111955 >= -70 @ 24.0859
50.02/50.21	c bounds 59050903 >= -70 @ 24.2306
50.02/50.21	c bounds 58919241 >= -70 @ 24.4307
50.02/50.21	c bounds 58862025 >= -70 @ 27.2026
50.02/50.21	c bounds 58761859 >= -70 @ 27.4224
50.02/50.21	c bounds 58707651 >= -70 @ 27.7521
50.02/50.21	c bounds 58698987 >= -70 @ 27.9789
50.02/50.21	c bounds 58672699 >= -70 @ 28.2525
50.02/50.21	c bounds 58559923 >= -70 @ 28.4904
50.02/50.21	c bounds 56058371 >= -70 @ 28.7599
50.02/50.21	c bounds 56057179 >= -70 @ 29.0343
50.02/50.21	c bounds 55849489 >= -70 @ 30.1115
50.02/50.21	c bounds 55814331 >= -70 @ 30.3549
50.02/50.21	c bounds 55714329 >= -70 @ 30.6712
50.02/50.21	c #Conflicts:       3000 | #Constraints:      26000
50.02/50.21	c bounds 46797223 >= -70 @ 41.8623
50.02/50.21	c bounds 46723571 >= -70 @ 42.0315
50.02/50.21	c bounds 46661289 >= -70 @ 42.2706
50.02/50.21	c bounds 34087767 >= -70 @ 42.4343
50.02/50.21	c bounds 29714371 >= -70 @ 42.6912
50.02/50.21	c bounds 29660441 >= -70 @ 42.8567
50.02/50.21	c bounds 29650443 >= -70 @ 43.0083
50.02/50.21	c bounds 29608699 >= -70 @ 43.4697
50.02/50.21	c bounds 29500939 >= -70 @ 43.7616
50.02/50.21	c bounds 29465249 >= -70 @ 43.9983
50.02/50.21	c bounds 29422363 >= -70 @ 44.1791
50.02/50.21	c bounds 29368315 >= -70 @ 44.4425
50.02/50.21	c bounds 29351947 >= -70 @ 44.6644
50.02/50.21	c bounds 29324717 >= -70 @ 45.0763
50.02/50.21	c bounds 29307123 >= -70 @ 45.2519
50.02/50.21	c bounds 29277737 >= -70 @ 45.5318
50.02/50.21	c bounds 29253825 >= -70 @ 45.8023
50.02/50.21	c bounds 29236087 >= -70 @ 45.9769
50.02/50.21	c bounds 29229193 >= -70 @ 46.1648
50.02/50.21	c bounds 29224025 >= -70 @ 46.3321
50.02/50.21	c bounds 29219655 >= -70 @ 46.4998
50.02/50.21	c bounds 29180707 >= -70 @ 46.8105
50.02/50.21	c bounds 29025697 >= -70 @ 46.9978
50.02/50.21	c bounds 28790995 >= -70 @ 47.2049
50.02/50.21	c bounds 28674643 >= -70 @ 47.4003
50.02/50.21	c bounds 28621723 >= -70 @ 48.2451
50.02/50.21	c bounds 28520907 >= -70 @ 48.45
50.02/50.21	c bounds 28511383 >= -70 @ 48.9558
50.02/50.21	c bounds 28439395 >= -70 @ 49.1383
50.02/50.21	c bounds 28252261 >= -70 @ 49.4861
102.06/102.45	c bounds 28245939 >= -70 @ 50.4176
102.06/102.45	c bounds 28192683 >= -70 @ 50.8228
102.06/102.45	c bounds 28150939 >= -70 @ 51.0795
102.06/102.45	c bounds 28146763 >= -70 @ 51.2624
102.06/102.45	c bounds 28101473 >= -70 @ 51.6072
102.06/102.45	c bounds 28074761 >= -70 @ 52.5181
102.06/102.45	c bounds 28026871 >= -70 @ 52.856
102.06/102.45	c bounds 28015843 >= -70 @ 53.8446
102.06/102.45	c bounds 28015551 >= -70 @ 54.1856
102.06/102.45	c bounds 27987849 >= -70 @ 54.4172
102.06/102.45	c bounds 27983721 >= -70 @ 55.9633
102.06/102.45	c bounds 27929661 >= -70 @ 56.217
102.06/102.45	c bounds 27928545 >= -70 @ 56.8422
102.06/102.45	c bounds 27907127 >= -70 @ 57.4488
102.06/102.45	c bounds 27880695 >= -70 @ 58.0232
102.06/102.45	c #Conflicts:       4000 | #Constraints:      27045
102.06/102.45	c INPROCESSING
102.06/102.45	c GARBAGE COLLECT
102.06/102.45	c bounds 27866415 >= -70 @ 61.1514
102.06/102.45	c bounds 27790305 >= -70 @ 61.6952
102.06/102.45	c bounds 27788005 >= -70 @ 61.7805
102.06/102.45	c bounds 27776787 >= -70 @ 62.4896
102.06/102.45	c bounds 27758567 >= -70 @ 63.0426
102.06/102.45	c bounds 27744287 >= -70 @ 63.1865
102.06/102.45	c bounds 27741987 >= -70 @ 63.3458
102.06/102.45	c bounds 27714781 >= -70 @ 63.5815
102.06/102.45	c bounds 27703801 >= -70 @ 63.8876
102.06/102.45	c bounds 27659271 >= -70 @ 63.9927
102.06/102.45	c bounds 27644991 >= -70 @ 64.0877
102.06/102.45	c bounds 27479951 >= -70 @ 64.2324
102.06/102.45	c bounds 27476459 >= -70 @ 66.1122
102.06/102.45	c #Conflicts:       5000 | #Constraints:      24023
102.06/102.45	c #Conflicts:       6000 | #Constraints:      25023
102.06/102.45	c bounds 24723749 >= -70 @ 90.3618
102.06/102.45	c bounds 24688179 >= -70 @ 91.1046
102.06/102.45	c bounds 24566265 >= -70 @ 93.2572
102.06/102.45	c bounds 24181125 >= -70 @ 94.3876
102.06/102.45	c INPROCESSING
102.06/102.45	c GARBAGE COLLECT
102.06/102.45	WSVECS04 Frhs2[2939]: 6 -8281 0 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4597]: 6 -8281 0 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4980]: 6 0 1.00003 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4983]: 6 0 1.00003 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4984]: 6 0 1.00006 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4991]: 6 0 1.00006 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
102.06/102.45	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5008]: 6 0 1.00009 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5014]: 6 0 1.00003 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5025]: 6 0 1.00004 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5026]: 6 0 1.00008 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5027]: 6 0 1.00001 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5033]: 6 0 1.00006 shouldn't be
102.06/102.45	WSVECS04 Frhs2[5036]: 6 0 1.00005 shouldn't be
102.06/102.45	WSVECS04 Frhs2[9526]: 6 -5.54523e+06 0 shouldn't be
102.06/102.45	WSVECS04 Frhs2[9659]: 6 -5.54523e+06 0 shouldn't be
338.51/339.65	c bounds 24060999 >= -70 @ 107.61
338.51/339.65	c bounds 24042335 >= -70 @ 110.277
338.51/339.65	c bounds 24042213 >= -70 @ 110.453
338.51/339.65	c bounds 24040455 >= -70 @ 110.877
338.51/339.65	c #Conflicts:       7000 | #Constraints:      23573
338.51/339.65	c bounds 24020427 >= -70 @ 112.057
338.51/339.65	c bounds 23992527 >= -70 @ 112.444
338.51/339.65	c bounds 23989903 >= -70 @ 123.797
338.51/339.65	c bounds 23414679 >= -70 @ 124.394
338.51/339.65	c bounds 23373027 >= -70 @ 125.119
338.51/339.65	c #Conflicts:       8000 | #Constraints:      24578
338.51/339.65	c #Conflicts:       9000 | #Constraints:      25578
338.51/339.65	c bounds 17397537 >= -70 @ 151.64
338.51/339.65	c bounds 17380803 >= -70 @ 152
338.51/339.65	c bounds 17354707 >= -70 @ 152.373
338.51/339.65	c bounds 17258713 >= -70 @ 152.8
338.51/339.65	c bounds 17246321 >= -70 @ 153.566
338.51/339.65	c bounds 17241887 >= -70 @ 153.917
338.51/339.65	c bounds 17227183 >= -70 @ 154.225
338.51/339.65	c bounds 17222753 >= -70 @ 154.942
338.51/339.65	c bounds 17182033 >= -70 @ 155.403
338.51/339.65	c INPROCESSING
338.51/339.65	c GARBAGE COLLECT
338.51/339.65	c bounds 17151383 >= -70 @ 156.561
338.51/339.65	c bounds 17143031 >= -70 @ 156.972
338.51/339.65	c bounds 17092503 >= -70 @ 157.241
338.51/339.65	c bounds 17069517 >= -70 @ 157.664
338.51/339.65	c bounds 17034497 >= -70 @ 157.815
338.51/339.65	c bounds 17023963 >= -70 @ 158.155
338.51/339.65	c bounds 16272593 >= -70 @ 158.307
338.51/339.66	c bounds 16265273 >= -70 @ 158.467
338.51/339.66	c bounds 16254041 >= -70 @ 158.702
338.51/339.66	c bounds 16160193 >= -70 @ 159
338.51/339.66	c bounds 16103843 >= -70 @ 159.275
338.51/339.66	c bounds 16076517 >= -70 @ 159.706
338.51/339.66	c bounds 16066523 >= -70 @ 160.085
338.51/339.66	c bounds 16056355 >= -70 @ 160.452
338.51/339.66	c bounds 16006609 >= -70 @ 161.392
338.51/339.66	c bounds 16004519 >= -70 @ 161.664
338.51/339.66	c bounds 15998353 >= -70 @ 161.797
338.51/339.66	c bounds 15955863 >= -70 @ 164.107
338.51/339.66	c bounds 15855925 >= -70 @ 164.28
338.51/339.66	c #Conflicts:      10000 | #Constraints:      23140
338.51/339.66	c bounds 15822661 >= -70 @ 168.938
338.51/339.66	c bounds 15817491 >= -70 @ 169.16
338.51/339.66	c bounds 15807479 >= -70 @ 169.389
338.51/339.66	c bounds 15733017 >= -70 @ 170.134
338.51/339.66	c bounds 15667497 >= -70 @ 170.399
338.51/339.66	c bounds 15644073 >= -70 @ 170.717
338.51/339.66	c bounds 15632345 >= -70 @ 170.951
338.51/339.66	c bounds 15609967 >= -70 @ 171.306
338.51/339.66	c #Conflicts:      11000 | #Constraints:      24148
338.51/339.66	c bounds 15600239 >= -70 @ 182.278
338.51/339.66	c bounds 15592793 >= -70 @ 182.683
338.51/339.66	c bounds 12759713 >= -70 @ 186.908
338.51/339.66	c bounds 12739065 >= -70 @ 187.381
338.51/339.66	c #Conflicts:      12000 | #Constraints:      25155
338.51/339.66	c INPROCESSING
338.51/339.66	c GARBAGE COLLECT
338.51/339.66	c bounds 12526747 >= -70 @ 197.9
338.51/339.66	c bounds 12514911 >= -70 @ 198.212
338.51/339.66	c bounds 12513999 >= -70 @ 202.032
338.51/339.66	c #Conflicts:      13000 | #Constraints:      22481
338.51/339.66	c bounds 12491061 >= -70 @ 222.205
338.51/339.66	c bounds 12489867 >= -70 @ 225.285
338.51/339.66	c bounds 12432741 >= -70 @ 225.792
338.51/339.66	c #Conflicts:      14000 | #Constraints:      23485
338.51/339.66	c bounds 12430089 >= -70 @ 229.488
338.51/339.66	c bounds 12428139 >= -70 @ 229.778
338.51/339.66	c bounds 12401095 >= -70 @ 233.438
338.51/339.66	c bounds 12400647 >= -70 @ 237.317
338.51/339.66	c bounds 12398697 >= -70 @ 237.618
338.51/339.66	c bounds 12391689 >= -70 @ 237.988
338.51/339.66	c bounds 12391247 >= -70 @ 238.614
338.51/339.66	c bounds 12389743 >= -70 @ 238.933
338.51/339.66	c bounds 12383457 >= -70 @ 239.62
338.51/339.66	c bounds 12375579 >= -70 @ 249.562
338.51/339.66	c bounds 12369881 >= -70 @ 251.638
338.51/339.66	c bounds 12262199 >= -70 @ 252.055
338.51/339.66	c bounds 12254607 >= -70 @ 252.554
338.51/339.66	c bounds 12247599 >= -70 @ 253.486
338.51/339.66	c #Conflicts:      15000 | #Constraints:      24501
338.51/339.66	c INPROCESSING
338.51/339.66	c GARBAGE COLLECT
338.51/339.66	c bounds 12239447 >= -70 @ 259.165
338.51/339.66	c bounds 12239209 >= -70 @ 261.917
338.51/339.66	c #Conflicts:      16000 | #Constraints:      22598
338.51/339.66	c #Conflicts:      17000 | #Constraints:      23600
338.51/339.66	c bounds 12195235 >= -70 @ 290.689
338.51/339.66	c bounds 12123447 >= -70 @ 292.512
338.51/339.66	c bounds 12112371 >= -70 @ 293.55
338.51/339.66	c bounds 12094147 >= -70 @ 294.04
338.51/339.66	c bounds 12072001 >= -70 @ 295.484
338.51/339.66	c bounds 12070493 >= -70 @ 295.763
338.51/339.66	c bounds 12065269 >= -70 @ 296.182
338.51/339.66	c bounds 12061615 >= -70 @ 297.22
338.51/339.66	c bounds 12052723 >= -70 @ 297.498
338.51/339.66	c bounds 12023659 >= -70 @ 298.301
338.51/339.66	c bounds 11996813 >= -70 @ 298.857
338.51/339.66	c bounds 11916283 >= -70 @ 299.843
338.51/339.66	c bounds 11887235 >= -70 @ 300.482
338.51/339.66	c bounds 11868651 >= -70 @ 301.403
338.51/339.66	c bounds 11803203 >= -70 @ 302.091
338.51/339.66	c bounds 11790187 >= -70 @ 304.278
338.51/339.66	c bounds 11758997 >= -70 @ 304.817
338.51/339.66	c bounds 11730723 >= -70 @ 305.83
338.51/339.66	c bounds 11730361 >= -70 @ 306.479
338.51/339.66	c bounds 11692777 >= -70 @ 308.795
338.51/339.66	c #Conflicts:      18000 | #Constraints:      24622
338.51/339.66	c INPROCESSING
338.51/339.66	c GARBAGE COLLECT
338.51/339.66	c bounds 11644841 >= -70 @ 319.314
338.51/339.66	c bounds 11639593 >= -70 @ 319.464
338.51/339.66	c bounds 11583275 >= -70 @ 320.264
338.51/339.66	c bounds 11578835 >= -70 @ 326.232
338.51/339.66	c #Conflicts:      19000 | #Constraints:      22448
391.84/393.18	c bounds 11122957 >= -70 @ 342.915
391.84/393.18	c bounds 10967663 >= -70 @ 343.284
391.84/393.18	c bounds 10920785 >= -70 @ 343.503
391.84/393.18	c bounds 10862817 >= -70 @ 344.06
391.84/393.18	c bounds 10831483 >= -70 @ 344.391
391.84/393.18	c bounds 10829497 >= -70 @ 344.557
391.84/393.18	c bounds 10803705 >= -70 @ 344.874
391.84/393.18	c bounds 10802457 >= -70 @ 345.174
391.84/393.18	c bounds 10736649 >= -70 @ 346.746
391.84/393.18	c bounds 10718553 >= -70 @ 346.96
391.84/393.18	c bounds 10599135 >= -70 @ 347.132
391.84/393.18	c bounds 10514213 >= -70 @ 347.484
391.84/393.18	c bounds 10432957 >= -70 @ 347.936
391.84/393.18	c bounds 10252551 >= -70 @ 348.182
391.84/393.18	c bounds 10196185 >= -70 @ 348.533
391.84/393.18	c bounds 10178727 >= -70 @ 349.004
391.84/393.18	c bounds 10143577 >= -70 @ 349.827
391.84/393.18	c bounds 10123705 >= -70 @ 350.464
391.84/393.18	c bounds 10110391 >= -70 @ 352.239
391.84/393.18	c bounds 10102409 >= -70 @ 352.532
391.84/393.18	c bounds 10092193 >= -70 @ 352.725
391.84/393.18	c bounds 10039835 >= -70 @ 353.036
391.84/393.18	c bounds 10033043 >= -70 @ 353.215
391.84/393.18	c bounds 9976979 >= -70 @ 353.451
391.84/393.18	c bounds 9943489 >= -70 @ 353.64
391.84/393.18	c #Conflicts:      20000 | #Constraints:      23473
391.84/393.18	c bounds 9322829 >= -70 @ 357.537
391.84/393.18	c bounds 9293323 >= -70 @ 357.801
391.84/393.18	c bounds 9280067 >= -70 @ 358.024
391.84/393.18	c bounds 9270765 >= -70 @ 358.359
391.84/393.18	c bounds 9215127 >= -70 @ 358.617
391.84/393.18	c bounds 9214737 >= -70 @ 359.135
391.84/393.18	c bounds 9157941 >= -70 @ 359.369
391.84/393.18	c bounds 9115151 >= -70 @ 359.993
391.84/393.18	c bounds 9106037 >= -70 @ 361.14
391.84/393.18	c bounds 9065137 >= -70 @ 361.354
391.84/393.18	c bounds 9063647 >= -70 @ 362.102
391.84/393.18	c bounds 9017535 >= -70 @ 362.853
391.84/393.18	c bounds 9014773 >= -70 @ 363.828
391.84/393.18	c bounds 9003419 >= -70 @ 364.127
391.84/393.18	c #Conflicts:      21000 | #Constraints:      24487
391.84/393.18	c INPROCESSING
391.84/393.18	c GARBAGE COLLECT
391.84/393.18	c rational objective 1.78594e+06
568.16/570.09	c bounds 8998995 >= -70 @ 391.833
568.16/570.09	c bounds 8993563 >= -70 @ 392.028
568.16/570.09	c bounds 8989131 >= -70 @ 392.215
568.16/570.09	c bounds 8988243 >= -70 @ 392.35
568.16/570.09	c bounds 8960469 >= -70 @ 392.644
568.16/570.09	c bounds 8926813 >= -70 @ 393.321
568.16/570.09	c bounds 8910523 >= -70 @ 394.427
568.16/570.09	c bounds 8910305 >= -70 @ 394.747
568.16/570.09	c bounds 8908139 >= -70 @ 394.906
568.16/570.09	c bounds 8887747 >= -70 @ 395.137
568.16/570.09	c bounds 8874309 >= -70 @ 396.086
568.16/570.09	c bounds 8862627 >= -70 @ 396.498
568.16/570.09	c bounds 8853325 >= -70 @ 396.678
568.16/570.09	c #Conflicts:      22000 | #Constraints:      21565
568.16/570.09	c bounds 8848103 >= -70 @ 398.364
568.16/570.09	c bounds 8839263 >= -70 @ 399.304
568.16/570.09	c bounds 8831789 >= -70 @ 399.952
568.16/570.09	c bounds 8819837 >= -70 @ 402.598
568.16/570.09	c bounds 8818173 >= -70 @ 403.529
568.16/570.09	c bounds 8790525 >= -70 @ 404.321
568.16/570.09	c #Conflicts:      23000 | #Constraints:      22571
568.16/570.09	c bounds 8765213 >= -70 @ 413.151
568.16/570.09	c #Conflicts:      24000 | #Constraints:      23572
568.16/570.09	c bounds 7911311 >= -70 @ 432.124
568.16/570.09	c bounds 7854141 >= -70 @ 432.457
568.16/570.09	c bounds 7829157 >= -70 @ 432.882
568.16/570.09	c bounds 7818823 >= -70 @ 433.179
568.16/570.09	c bounds 7708679 >= -70 @ 433.502
568.16/570.09	c bounds 7706689 >= -70 @ 433.897
568.16/570.09	c bounds 7704199 >= -70 @ 434.431
568.16/570.09	c bounds 7699149 >= -70 @ 434.784
568.16/570.09	c bounds 7692765 >= -70 @ 435.067
568.16/570.09	c bounds 7669333 >= -70 @ 435.439
568.16/570.09	c bounds 7656345 >= -70 @ 437.261
568.16/570.09	c bounds 7637745 >= -70 @ 438.063
568.16/570.09	c bounds 7623155 >= -70 @ 439.593
568.16/570.09	c bounds 7621237 >= -70 @ 440.039
568.16/570.09	c bounds 7592511 >= -70 @ 440.774
568.16/570.09	c bounds 7523869 >= -70 @ 441.177
568.16/570.09	c bounds 7523839 >= -70 @ 441.921
568.16/570.09	c bounds 7501331 >= -70 @ 442.291
568.16/570.09	c bounds 7473241 >= -70 @ 442.787
568.16/570.09	c bounds 7463693 >= -70 @ 443.6
568.16/570.09	c bounds 7440701 >= -70 @ 444.02
568.16/570.09	c bounds 7438057 >= -70 @ 444.442
568.16/570.09	c bounds 7427817 >= -70 @ 445.019
568.16/570.09	c bounds 7424087 >= -70 @ 445.426
568.16/570.09	c bounds 7421929 >= -70 @ 445.75
568.16/570.09	c bounds 7401867 >= -70 @ 446.142
568.16/570.09	c bounds 7397451 >= -70 @ 446.472
568.16/570.09	c #Conflicts:      25000 | #Constraints:      24599
568.16/570.09	c bounds 7396331 >= -70 @ 447.244
568.16/570.09	c bounds 7327795 >= -70 @ 447.861
568.16/570.09	c bounds 7310089 >= -70 @ 448.584
568.16/570.09	c bounds 7303003 >= -70 @ 448.9
568.16/570.09	c bounds 7283425 >= -70 @ 449.692
568.16/570.09	c INPROCESSING
568.16/570.09	c GARBAGE COLLECT
568.16/570.09	c #Conflicts:      26000 | #Constraints:      21599
568.16/570.09	c #Conflicts:      27000 | #Constraints:      22599
568.16/570.09	c #Conflicts:      28000 | #Constraints:      23599
568.16/570.09	c #Conflicts:      29000 | #Constraints:      24599
568.16/570.09	c INPROCESSING
568.16/570.09	c GARBAGE COLLECT
568.16/570.09	c bounds 7278623 >= -70 @ 490.946
568.16/570.09	c bounds 7226113 >= -70 @ 491.292
568.16/570.09	c bounds 7213795 >= -70 @ 491.576
568.16/570.09	c bounds 7200793 >= -70 @ 492.148
568.16/570.09	c bounds 7185473 >= -70 @ 494.799
568.16/570.09	c bounds 7182353 >= -70 @ 496.146
568.16/570.09	c bounds 7167711 >= -70 @ 496.865
568.16/570.09	c bounds 7163783 >= -70 @ 497.284
568.16/570.09	c bounds 7149079 >= -70 @ 498.024
568.16/570.09	c bounds 7132689 >= -70 @ 501.594
568.16/570.09	c bounds 7131121 >= -70 @ 502.6
568.16/570.09	c bounds 7120509 >= -70 @ 503.647
568.16/570.09	c #Conflicts:      30000 | #Constraints:      21989
568.16/570.09	c bounds 7093211 >= -70 @ 505.117
568.16/570.09	c bounds 7092661 >= -70 @ 505.798
568.16/570.09	c bounds 7092181 >= -70 @ 506.4
568.16/570.09	c bounds 7088475 >= -70 @ 511.792
568.16/570.09	c #Conflicts:      31000 | #Constraints:      22993
568.16/570.09	c bounds 7087675 >= -70 @ 522.509
568.16/570.09	c bounds 7062653 >= -70 @ 523.982
568.16/570.09	c bounds 7055951 >= -70 @ 528.279
568.16/570.09	c #Conflicts:      32000 | #Constraints:      23996
568.16/570.09	c bounds 6642339 >= -70 @ 547.658
568.16/570.09	c bounds 6636837 >= -70 @ 549.35
568.16/570.09	c bounds 6631139 >= -70 @ 549.944
568.16/570.09	c bounds 6600465 >= -70 @ 550.264
568.16/570.09	c bounds 6588869 >= -70 @ 550.76
568.16/570.09	c bounds 6584391 >= -70 @ 551.186
568.16/570.09	c bounds 6576303 >= -70 @ 551.478
568.16/570.09	c bounds 6564467 >= -70 @ 552.318
568.16/570.09	c bounds 6554771 >= -70 @ 552.997
568.16/570.09	c bounds 6549139 >= -70 @ 553.421
568.16/570.09	c bounds 6547883 >= -70 @ 553.769
568.16/570.09	c bounds 6547467 >= -70 @ 555.16
568.16/570.09	c bounds 6531867 >= -70 @ 555.842
568.16/570.09	c bounds 6527741 >= -70 @ 556.818
568.16/570.09	c bounds 6510437 >= -70 @ 557.315
568.16/570.09	c bounds 6482567 >= -70 @ 558.287
568.16/570.09	c #Conflicts:      33000 | #Constraints:      25012
568.16/570.09	c INPROCESSING
568.16/570.09	c GARBAGE COLLECT
568.16/570.09	c rational objective 1.79072e+06
860.87/863.78	c bounds 6475825 >= -70 @ 568.05
860.87/863.78	c bounds 6438275 >= -70 @ 568.217
860.87/863.78	c bounds 6436227 >= -70 @ 568.749
860.87/863.78	c bounds 6435003 >= -70 @ 568.956
860.87/863.78	c bounds 6432739 >= -70 @ 569.969
860.87/863.78	c bounds 6400147 >= -70 @ 570.372
860.87/863.78	c bounds 6394155 >= -70 @ 571.047
860.87/863.78	c bounds 6370355 >= -70 @ 577.713
860.87/863.78	c #Conflicts:      34000 | #Constraints:      21909
860.87/863.78	c #Conflicts:      35000 | #Constraints:      22909
860.87/863.78	c #Conflicts:      36000 | #Constraints:      23909
860.87/863.78	c #Conflicts:      37000 | #Constraints:      24909
860.87/863.78	c INPROCESSING
860.87/863.78	c GARBAGE COLLECT
860.87/863.78	c bounds 6370345 >= -70 @ 651.331
860.87/863.78	c bounds 6366511 >= -70 @ 651.536
860.87/863.78	c bounds 6358351 >= -70 @ 653.515
860.87/863.78	c bounds 6353473 >= -70 @ 654.107
860.87/863.78	c bounds 6351653 >= -70 @ 654.309
860.87/863.78	c bounds 6343545 >= -70 @ 655.029
860.87/863.78	c bounds 6341833 >= -70 @ 655.511
860.87/863.78	c bounds 6331787 >= -70 @ 660.229
860.87/863.78	c #Conflicts:      38000 | #Constraints:      21939
860.87/863.78	c bounds 6327377 >= -70 @ 668.183
860.87/863.78	c bounds 6300947 >= -70 @ 668.811
860.87/863.78	c bounds 6294881 >= -70 @ 669.448
860.87/863.78	c bounds 6293817 >= -70 @ 670.568
860.87/863.78	c bounds 6289391 >= -70 @ 671.816
860.87/863.78	c bounds 6275527 >= -70 @ 673.279
860.87/863.78	c bounds 6268305 >= -70 @ 676.042
860.87/863.78	c bounds 6257441 >= -70 @ 677.971
860.87/863.78	c bounds 6256755 >= -70 @ 678.294
860.87/863.78	c bounds 6243489 >= -70 @ 681.507
860.87/863.78	c bounds 6239239 >= -70 @ 683.328
860.87/863.78	c #Conflicts:      39000 | #Constraints:      22961
860.87/863.78	c bounds 6238903 >= -70 @ 688.223
860.87/863.78	c bounds 6231397 >= -70 @ 698.518
860.87/863.78	c #Conflicts:      40000 | #Constraints:      23984
860.87/863.78	c bounds 6225735 >= -70 @ 708.465
860.87/863.78	c #Conflicts:      41000 | #Constraints:      24985
860.87/863.78	c bounds 6222957 >= -70 @ 732.957
860.87/863.78	c bounds 6222745 >= -70 @ 744.301
860.87/863.78	c INPROCESSING
860.87/863.78	c GARBAGE COLLECT
860.87/863.78	c #Conflicts:      42000 | #Constraints:      21664
860.87/863.78	c #Conflicts:      43000 | #Constraints:      22664
860.87/863.78	c #Conflicts:      44000 | #Constraints:      23664
860.87/863.78	c #Conflicts:      45000 | #Constraints:      24664
860.87/863.78	c bounds 6151509 >= -70 @ 814.751
860.87/863.78	c bounds 6146523 >= -70 @ 815.735
860.87/863.78	c bounds 6135173 >= -70 @ 816.391
860.87/863.78	c bounds 6124317 >= -70 @ 817.668
860.87/863.78	c bounds 6120117 >= -70 @ 824.193
860.87/863.78	c bounds 6119905 >= -70 @ 828.363
860.87/863.78	c bounds 6067025 >= -70 @ 829.788
860.87/863.78	c bounds 6044065 >= -70 @ 832.228
860.87/863.78	c bounds 6027845 >= -70 @ 833.437
860.87/863.78	c bounds 6014571 >= -70 @ 834.553
860.87/863.78	c bounds 6006047 >= -70 @ 836.624
860.87/863.78	c bounds 6002823 >= -70 @ 838.748
860.87/863.78	c bounds 5987843 >= -70 @ 839.975
860.87/863.78	c #Conflicts:      46000 | #Constraints:      25677
860.87/863.78	c bounds 5976435 >= -70 @ 841.416
860.87/863.78	c bounds 5975365 >= -70 @ 843.348
860.87/863.78	c bounds 5965277 >= -70 @ 844.093
860.87/863.78	c bounds 5953187 >= -70 @ 844.839
860.87/863.78	c bounds 5940717 >= -70 @ 846.048
860.87/863.78	c bounds 5908287 >= -70 @ 846.761
860.87/863.78	c bounds 5907293 >= -70 @ 847.573
860.87/863.78	c bounds 5877107 >= -70 @ 849.469
860.87/863.78	c INPROCESSING
860.87/863.78	c GARBAGE COLLECT
860.87/863.78	WSVECS04 Frhs2[158]: 6 -85264 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[258]: 6 -12544 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[641]: 6 -85264 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[663]: 6 -77284 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[681]: 6 -33124 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[685]: 6 -45369 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[1558]: 6 -76729 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[1838]: 6 -77284 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[2438]: 6 -84681 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[3238]: 6 -33124 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[3518]: 6 -45369 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[3750]: 6 -84681 0 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4971]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4972]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4973]: 6 0 1.00007 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4974]: 6 0 1.00001 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4977]: 6 0 1.00006 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4978]: 6 0 1.00005 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4979]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4980]: 6 0 1.00006 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4981]: 6 0 1.00004 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4983]: 6 0 1.00005 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4984]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4985]: 6 0 1.00006 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4986]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4987]: 6 0 1.00005 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4991]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4992]: 6 0 1.00003 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4993]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4994]: 6 0 1.00004 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4995]: 6 0 1.00001 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4996]: 6 0 1.0001 shouldn't be
860.87/863.78	WSVECS04 Frhs2[4997]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5001]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5002]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5004]: 6 0 1.00005 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5006]: 6 0 1.00003 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5007]: 6 0 1.00006 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5008]: 6 0 1.00003 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5009]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5011]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5012]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5013]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5014]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5015]: 6 0 1.00004 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5016]: 6 0 1.00003 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5017]: 6 0 1.00007 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5018]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5019]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5020]: 6 0 1.00007 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5021]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5026]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5027]: 6 0 1.00003 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5030]: 6 0 1.00007 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5031]: 6 0 1.00009 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5032]: 6 0 1.00006 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5033]: 6 0 1.00005 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5034]: 6 0 1.00004 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5035]: 6 0 1.00008 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5038]: 6 0 1.00002 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5039]: 6 0 1.0001 shouldn't be
860.87/863.78	WSVECS04 Frhs2[5040]: 6 0 1.00004 shouldn't be
876.02/878.97	c rational objective 1.80462e+06
1223.65/1227.76	c bounds 5848461 >= -70 @ 875.45
1223.65/1227.76	c bounds 5846047 >= -70 @ 875.867
1223.65/1227.76	c bounds 5845931 >= -70 @ 876.151
1223.65/1227.76	c bounds 5823517 >= -70 @ 877.358
1223.65/1227.76	c bounds 5817685 >= -70 @ 882.411
1223.65/1227.76	c bounds 5815893 >= -70 @ 884.075
1223.65/1227.76	c bounds 5809207 >= -70 @ 884.435
1223.65/1227.76	c bounds 5784383 >= -70 @ 885.29
1223.65/1227.76	c #Conflicts:      47000 | #Constraints:      22158
1223.65/1227.76	c bounds 5778267 >= -70 @ 889.961
1223.65/1227.76	c bounds 5772267 >= -70 @ 894.679
1223.65/1227.76	c bounds 5752245 >= -70 @ 897.649
1223.65/1227.76	c bounds 5719557 >= -70 @ 899.034
1223.65/1227.76	c bounds 5719521 >= -70 @ 903.121
1223.65/1227.76	c bounds 5697869 >= -70 @ 903.608
1223.65/1227.76	c bounds 5690865 >= -70 @ 907.646
1223.65/1227.76	c bounds 5684629 >= -70 @ 908.606
1223.65/1227.76	c bounds 5682061 >= -70 @ 908.955
1223.65/1227.76	c #Conflicts:      48000 | #Constraints:      23169
1223.65/1227.76	c bounds 5681557 >= -70 @ 913.701
1223.65/1227.76	c bounds 5681541 >= -70 @ 924.302
1223.65/1227.76	c #Conflicts:      49000 | #Constraints:      24178
1223.65/1227.76	c bounds 5667517 >= -70 @ 926.509
1223.65/1227.76	c bounds 5665593 >= -70 @ 928.593
1223.65/1227.76	c bounds 5641085 >= -70 @ 944.276
1223.65/1227.76	c bounds 5622427 >= -70 @ 947.7
1223.65/1227.76	c #Conflicts:      50000 | #Constraints:      25182
1223.65/1227.76	c #Conflicts:      51000 | #Constraints:      26189
1223.65/1227.76	c INPROCESSING
1223.65/1227.76	c GARBAGE COLLECT
1223.65/1227.76	c #Conflicts:      52000 | #Constraints:      22451
1223.65/1227.76	c #Conflicts:      53000 | #Constraints:      23470
1223.65/1227.76	c bounds 5189445 >= -70 @ 1033.37
1223.65/1227.76	c bounds 5188215 >= -70 @ 1035.06
1223.65/1227.76	c bounds 5187039 >= -70 @ 1035.47
1223.65/1227.76	c bounds 5171249 >= -70 @ 1036.2
1223.65/1227.76	c bounds 5168389 >= -70 @ 1037.61
1223.65/1227.76	c #Conflicts:      54000 | #Constraints:      24475
1223.65/1227.76	c bounds 5162003 >= -70 @ 1059.17
1223.65/1227.76	c bounds 5161081 >= -70 @ 1060.99
1223.65/1227.76	c bounds 5155523 >= -70 @ 1061.86
1223.65/1227.76	c bounds 5155507 >= -70 @ 1062.34
1223.65/1227.76	c bounds 5154313 >= -70 @ 1063.55
1223.65/1227.76	c bounds 5153369 >= -70 @ 1064.03
1223.65/1227.76	c bounds 5151369 >= -70 @ 1064.52
1223.65/1227.76	c bounds 5142257 >= -70 @ 1064.95
1223.65/1227.76	c bounds 5140999 >= -70 @ 1066.28
1223.65/1227.76	c bounds 5139023 >= -70 @ 1067.59
1223.65/1227.76	c bounds 5137553 >= -70 @ 1068.89
1223.65/1227.76	c bounds 5135361 >= -70 @ 1069.55
1223.65/1227.76	c bounds 5120931 >= -70 @ 1070.11
1223.65/1227.76	c bounds 5120185 >= -70 @ 1072.15
1223.65/1227.76	c bounds 5118967 >= -70 @ 1073.23
1223.65/1227.76	c bounds 5100807 >= -70 @ 1074.9
1223.65/1227.76	c bounds 5073487 >= -70 @ 1075.38
1223.65/1227.76	c bounds 5071265 >= -70 @ 1076
1223.65/1227.76	c bounds 5065253 >= -70 @ 1076.78
1223.65/1227.76	c bounds 5065231 >= -70 @ 1077.45
1223.65/1227.76	c bounds 5063009 >= -70 @ 1077.88
1223.65/1227.76	c bounds 5062065 >= -70 @ 1078.86
1223.65/1227.76	c bounds 5050607 >= -70 @ 1079.42
1223.65/1227.76	c bounds 5032119 >= -70 @ 1079.98
1223.65/1227.76	c bounds 4997523 >= -70 @ 1080.56
1223.65/1227.76	c bounds 4941161 >= -70 @ 1081.29
1223.65/1227.76	c bounds 4924579 >= -70 @ 1081.82
1223.65/1227.76	c bounds 4915605 >= -70 @ 1082.28
1223.65/1227.76	c bounds 4913029 >= -70 @ 1083.46
1223.65/1227.76	c #Conflicts:      55000 | #Constraints:      25507
1223.65/1227.76	c bounds 4909605 >= -70 @ 1085.77
1223.65/1227.76	c #Conflicts:      56000 | #Constraints:      26511
1223.65/1227.76	c INPROCESSING
1223.65/1227.76	c GARBAGE COLLECT
1223.65/1227.76	c bounds 4903519 >= -70 @ 1149.51
1223.65/1227.76	c bounds 4888585 >= -70 @ 1149.88
1223.65/1227.76	c bounds 4886805 >= -70 @ 1150.1
1223.65/1227.76	c bounds 4885221 >= -70 @ 1150.27
1223.65/1227.76	c bounds 4878043 >= -70 @ 1150.58
1223.65/1227.76	c bounds 4874119 >= -70 @ 1151.21
1223.65/1227.76	c bounds 4870983 >= -70 @ 1151.4
1223.65/1227.76	c bounds 4867199 >= -70 @ 1152.18
1223.65/1227.76	c bounds 4863329 >= -70 @ 1152.34
1223.65/1227.76	c bounds 4824825 >= -70 @ 1152.49
1223.65/1227.76	c bounds 4817967 >= -70 @ 1152.71
1223.65/1227.76	c bounds 4814097 >= -70 @ 1152.93
1223.65/1227.76	c bounds 4783949 >= -70 @ 1153.09
1223.65/1227.76	c bounds 4778957 >= -70 @ 1153.44
1223.65/1227.76	c bounds 4775421 >= -70 @ 1153.6
1223.65/1227.76	c bounds 4771281 >= -70 @ 1154.63
1223.65/1227.76	c bounds 4770825 >= -70 @ 1155.03
1223.65/1227.76	c bounds 4738967 >= -70 @ 1155.34
1223.65/1227.76	c bounds 4737357 >= -70 @ 1155.61
1223.65/1227.76	c bounds 4728891 >= -70 @ 1156.22
1223.65/1227.76	c bounds 4728827 >= -70 @ 1156.59
1223.65/1227.76	c bounds 4728749 >= -70 @ 1156.78
1223.65/1227.76	c bounds 4724613 >= -70 @ 1156.96
1223.65/1227.76	c bounds 4723549 >= -70 @ 1158.17
1223.65/1227.76	c bounds 4721043 >= -70 @ 1159.93
1223.65/1227.76	c bounds 4718843 >= -70 @ 1162.08
1223.65/1227.76	c bounds 4717877 >= -70 @ 1162.28
1223.65/1227.76	c bounds 4714647 >= -70 @ 1162.53
1223.65/1227.76	c bounds 4712627 >= -70 @ 1162.74
1223.65/1227.76	c #Conflicts:      57000 | #Constraints:      22319
1223.65/1227.76	c bounds 4707867 >= -70 @ 1164.3
1223.65/1227.76	c bounds 4707323 >= -70 @ 1166.13
1223.65/1227.76	c bounds 4707309 >= -70 @ 1166.64
1223.65/1227.76	c bounds 4705847 >= -70 @ 1166.82
1223.65/1227.76	c bounds 4705785 >= -70 @ 1167.24
1223.65/1227.76	c bounds 4703083 >= -70 @ 1167.52
1223.65/1227.76	c bounds 4701643 >= -70 @ 1168.32
1223.65/1227.76	c #Conflicts:      58000 | #Constraints:      23326
1223.65/1227.76	c bounds 4701277 >= -70 @ 1182.68
1223.65/1227.76	c #Conflicts:      59000 | #Constraints:      24327
1223.65/1227.76	c #Conflicts:      60000 | #Constraints:      25327
1223.65/1227.76	c #Conflicts:      61000 | #Constraints:      26327
1223.65/1227.76	c INPROCESSING
1223.65/1227.76	c GARBAGE COLLECT
1446.74/1451.62	c bounds 4699507 >= -70 @ 1219.47
1446.74/1451.62	c bounds 4698579 >= -70 @ 1219.61
1446.74/1451.62	c bounds 4698563 >= -70 @ 1219.81
1446.74/1451.62	c bounds 4697849 >= -70 @ 1220.04
1446.74/1451.62	c bounds 4694073 >= -70 @ 1223.28
1446.74/1451.62	c bounds 4692745 >= -70 @ 1223.61
1446.74/1451.62	c #Conflicts:      62000 | #Constraints:      22201
1446.74/1451.62	c bounds 4692659 >= -70 @ 1235
1446.74/1451.62	c #Conflicts:      63000 | #Constraints:      23202
1446.74/1451.62	c #Conflicts:      64000 | #Constraints:      24202
1446.74/1451.62	c #Conflicts:      65000 | #Constraints:      25202
1446.74/1451.62	c #Conflicts:      66000 | #Constraints:      26202
1446.74/1451.62	c INPROCESSING
1446.74/1451.62	c GARBAGE COLLECT
1446.74/1451.62	c #Conflicts:      67000 | #Constraints:      21955
1446.74/1451.62	c #Conflicts:      68000 | #Constraints:      22955
1446.74/1451.62	c bounds 4692585 >= -70 @ 1325.41
1446.74/1451.62	c bounds 4691769 >= -70 @ 1329.84
1446.74/1451.62	c #Conflicts:      69000 | #Constraints:      23957
1446.74/1451.62	c bounds 4691665 >= -70 @ 1353.66
1446.74/1451.62	c bounds 4689033 >= -70 @ 1368.63
1446.74/1451.62	c bounds 4689031 >= -70 @ 1370.53
1446.74/1451.62	c bounds 4688943 >= -70 @ 1371.01
1446.74/1451.62	c #Conflicts:      70000 | #Constraints:      24962
1446.74/1451.62	c bounds 4688929 >= -70 @ 1375.21
1446.74/1451.62	c bounds 4687601 >= -70 @ 1381.3
1446.74/1451.62	c bounds 4687599 >= -70 @ 1384.27
1446.74/1451.62	c bounds 4686825 >= -70 @ 1391.3
1446.74/1451.62	c #Conflicts:      71000 | #Constraints:      25970
1446.74/1451.62	c bounds 4679605 >= -70 @ 1399.29
1446.74/1451.62	c bounds 4661253 >= -70 @ 1400.19
1446.74/1451.62	c bounds 4634409 >= -70 @ 1402.6
1446.74/1451.62	c bounds 4628815 >= -70 @ 1405.91
1446.74/1451.62	c #Conflicts:      72000 | #Constraints:      26983
1446.74/1451.62	c INPROCESSING
1446.74/1451.62	c GARBAGE COLLECT
1446.74/1451.62	c rational objective 1.86036e+06
2101.19/2108.50	c bounds 4620089 >= -70 @ 1444.64
2101.19/2108.50	c bounds 4615999 >= -70 @ 1445.64
2101.19/2108.50	c bounds 4590679 >= -70 @ 1446.31
2101.19/2108.50	c bounds 4580071 >= -70 @ 1448.17
2101.19/2108.50	c bounds 4577773 >= -70 @ 1449.15
2101.19/2108.50	c bounds 4570507 >= -70 @ 1449.6
2101.19/2108.50	c bounds 4563025 >= -70 @ 1451.14
2101.19/2108.50	c #Conflicts:      73000 | #Constraints:      22532
2101.19/2108.50	c bounds 4561307 >= -70 @ 1455.1
2101.19/2108.50	c bounds 4558869 >= -70 @ 1455.66
2101.19/2108.50	c bounds 4558517 >= -70 @ 1456.01
2101.19/2108.50	c bounds 4554813 >= -70 @ 1457.9
2101.19/2108.50	c bounds 4544205 >= -70 @ 1458.97
2101.19/2108.50	c bounds 4543887 >= -70 @ 1465.37
2101.19/2108.50	c bounds 4542271 >= -70 @ 1466.22
2101.19/2108.50	c #Conflicts:      74000 | #Constraints:      23545
2101.19/2108.50	c bounds 4537791 >= -70 @ 1475.18
2101.19/2108.50	c #Conflicts:      75000 | #Constraints:      24552
2101.19/2108.50	c #Conflicts:      76000 | #Constraints:      25555
2101.19/2108.50	c #Conflicts:      77000 | #Constraints:      26555
2101.19/2108.50	c #Conflicts:      78000 | #Constraints:      27555
2101.19/2108.50	c INPROCESSING
2101.19/2108.50	c GARBAGE COLLECT
2101.19/2108.50	c bounds 4534929 >= -70 @ 1554.24
2101.19/2108.50	c #Conflicts:      79000 | #Constraints:      22891
2101.19/2108.50	c #Conflicts:      80000 | #Constraints:      23892
2101.19/2108.50	c #Conflicts:      81000 | #Constraints:      24893
2101.19/2108.51	c #Conflicts:      82000 | #Constraints:      25893
2101.19/2108.51	c #Conflicts:      83000 | #Constraints:      26896
2101.19/2108.51	c #Conflicts:      84000 | #Constraints:      27907
2101.19/2108.51	c INPROCESSING
2101.19/2108.51	c GARBAGE COLLECT
2101.19/2108.51	c #Conflicts:      85000 | #Constraints:      23204
2101.19/2108.51	c #Conflicts:      86000 | #Constraints:      24214
2101.19/2108.51	c #Conflicts:      87000 | #Constraints:      25221
2101.19/2108.51	c #Conflicts:      88000 | #Constraints:      26222
2101.19/2108.51	c #Conflicts:      89000 | #Constraints:      27295
2101.19/2108.51	c #Conflicts:      90000 | #Constraints:      28298
2101.19/2108.51	c INPROCESSING
2101.19/2108.51	c GARBAGE COLLECT
2101.19/2108.51	c #Conflicts:      91000 | #Constraints:      23180
2101.19/2108.51	c #Conflicts:      92000 | #Constraints:      24181
2101.19/2108.51	c #Conflicts:      93000 | #Constraints:      25181
2101.19/2108.51	c #Conflicts:      94000 | #Constraints:      26183
2101.19/2108.51	c #Conflicts:      95000 | #Constraints:      27184
2101.19/2108.51	c #Conflicts:      96000 | #Constraints:      28205
2101.19/2108.51	c INPROCESSING
2101.19/2108.51	c GARBAGE COLLECT
2101.19/2108.51	c #Conflicts:      97000 | #Constraints:      22917
2101.19/2108.51	c #Conflicts:      98000 | #Constraints:      23925
2101.19/2108.51	c bounds 4534203 >= -70 @ 1995.91
2101.19/2108.51	c bounds 4531813 >= -70 @ 1996.26
2101.19/2108.51	c bounds 4530935 >= -70 @ 1996.83
2101.19/2108.51	c bounds 4527855 >= -70 @ 1997.2
2101.19/2108.51	c bounds 4522451 >= -70 @ 1997.66
2101.19/2108.51	c bounds 4503891 >= -70 @ 1999.25
2101.19/2108.51	c bounds 4495297 >= -70 @ 2000.2
2101.19/2108.51	c bounds 4491223 >= -70 @ 2001.74
2101.19/2108.51	c #Conflicts:      99000 | #Constraints:      24939
2101.19/2108.51	c bounds 4490127 >= -70 @ 2004.44
2101.19/2108.51	c bounds 4483467 >= -70 @ 2005.18
2101.19/2108.51	c bounds 4478873 >= -70 @ 2006.27
2101.19/2108.51	c bounds 4475515 >= -70 @ 2007.77
2101.19/2108.51	c bounds 4461529 >= -70 @ 2008.67
2101.19/2108.51	c bounds 4458457 >= -70 @ 2009.85
2101.19/2108.51	c bounds 4457225 >= -70 @ 2010.18
2101.19/2108.51	c bounds 4454255 >= -70 @ 2010.69
2101.19/2108.51	c bounds 4452727 >= -70 @ 2012.43
2101.19/2108.51	c bounds 4440263 >= -70 @ 2012.93
2101.19/2108.51	c bounds 4439461 >= -70 @ 2015.86
2101.19/2108.51	c bounds 4439031 >= -70 @ 2016.5
2101.19/2108.51	c bounds 4430343 >= -70 @ 2018.87
2101.19/2108.51	c #Conflicts:     100000 | #Constraints:      25968
2101.19/2108.51	c #Conflicts:     101000 | #Constraints:      26979
2101.19/2108.51	c bounds 4428831 >= -70 @ 2042.54
2101.19/2108.51	c bounds 4427223 >= -70 @ 2046.57
2101.19/2108.51	c bounds 4426981 >= -70 @ 2049.82
2101.19/2108.51	c bounds 4422579 >= -70 @ 2051.92
2101.19/2108.51	c bounds 4413229 >= -70 @ 2057.55
2101.19/2108.51	c #Conflicts:     102000 | #Constraints:      27995
2101.19/2108.51	c bounds 4411975 >= -70 @ 2066.27
2101.19/2108.51	c #Conflicts:     103000 | #Constraints:      29000
2101.19/2108.51	c INPROCESSING
2101.19/2108.51	c GARBAGE COLLECT
2101.19/2108.51	c rational objective 1.80952e+06
2372.59/2380.95	c bounds 4407013 >= -70 @ 2097.85
2372.59/2380.95	c bounds 4406227 >= -70 @ 2098.01
2372.59/2380.95	c bounds 4404619 >= -70 @ 2098.17
2372.59/2380.95	c #Conflicts:     104000 | #Constraints:      23470
2372.59/2380.95	c #Conflicts:     105000 | #Constraints:      24473
2372.59/2380.95	c #Conflicts:     106000 | #Constraints:      25484
2372.59/2380.95	c #Conflicts:     107000 | #Constraints:      26497
2372.59/2380.95	c #Conflicts:     108000 | #Constraints:      27497
2372.59/2380.95	c #Conflicts:     109000 | #Constraints:      28498
2372.59/2380.95	c #Conflicts:     110000 | #Constraints:      29509
2372.59/2380.95	c INPROCESSING
2372.59/2380.95	c GARBAGE COLLECT
2372.59/2380.95	c #Conflicts:     111000 | #Constraints:      23843
2372.59/2380.95	c #Conflicts:     112000 | #Constraints:      24843
2372.59/2380.95	c #Conflicts:     113000 | #Constraints:      25843
2372.59/2380.95	c #Conflicts:     114000 | #Constraints:      26843
2372.59/2380.95	c #Conflicts:     115000 | #Constraints:      27843
2372.59/2380.95	c #Conflicts:     116000 | #Constraints:      28843
2372.59/2380.95	c #Conflicts:     117000 | #Constraints:      29843
2372.59/2380.95	c INPROCESSING
2372.59/2380.95	c GARBAGE COLLECT
2372.59/2380.95	c rational objective 1.80975e+06
2923.06/2933.46	c #Conflicts:     118000 | #Constraints:      23982
2923.06/2933.46	c #Conflicts:     119000 | #Constraints:      24982
2923.06/2933.46	c #Conflicts:     120000 | #Constraints:      25982
2923.06/2933.46	c #Conflicts:     121000 | #Constraints:      26982
2923.06/2933.46	c #Conflicts:     122000 | #Constraints:      27984
2923.06/2933.46	c #Conflicts:     123000 | #Constraints:      28984
2923.06/2933.46	c #Conflicts:     124000 | #Constraints:      29985
2923.06/2933.46	c INPROCESSING
2923.06/2933.46	c GARBAGE COLLECT
2923.06/2933.46	c #Conflicts:     125000 | #Constraints:      23981
2923.06/2933.46	c #Conflicts:     126000 | #Constraints:      25003
2923.06/2933.46	c #Conflicts:     127000 | #Constraints:      26129
2923.06/2933.46	c #Conflicts:     128000 | #Constraints:      27130
2923.06/2933.46	c #Conflicts:     129000 | #Constraints:      28131
2923.06/2933.46	c #Conflicts:     130000 | #Constraints:      29140
2923.06/2933.46	c #Conflicts:     131000 | #Constraints:      30142
2923.06/2933.46	c INPROCESSING
2923.06/2933.46	c GARBAGE COLLECT
2923.06/2933.46	c #Conflicts:     132000 | #Constraints:      23766
2923.06/2933.46	c #Conflicts:     133000 | #Constraints:      24766
2923.06/2933.46	c #Conflicts:     134000 | #Constraints:      25766
2923.06/2933.46	c #Conflicts:     135000 | #Constraints:      26768
2923.06/2933.46	c #Conflicts:     136000 | #Constraints:      27769
2923.06/2933.46	c #Conflicts:     137000 | #Constraints:      28771
2923.06/2933.46	c #Conflicts:     138000 | #Constraints:      29771
2923.06/2933.46	c #Conflicts:     139000 | #Constraints:      30771
2923.06/2933.46	c INPROCESSING
2923.06/2933.46	c GARBAGE COLLECT
2923.06/2933.46	c rational objective 1.81059e+06
3073.03/3083.95	c #Conflicts:     140000 | #Constraints:      24194
3073.03/3083.95	c #Conflicts:     141000 | #Constraints:      25194
3073.03/3083.95	c #Conflicts:     142000 | #Constraints:      26195
3073.03/3083.95	c #Conflicts:     143000 | #Constraints:      27196
3073.03/3083.95	c #Conflicts:     144000 | #Constraints:      28198
3073.03/3083.95	c #Conflicts:     145000 | #Constraints:      29200
3073.03/3083.95	c #Conflicts:     146000 | #Constraints:      30200
3073.03/3083.95	c #Conflicts:     147000 | #Constraints:      31200
3073.03/3083.95	c INPROCESSING
3073.03/3083.95	c GARBAGE COLLECT
3073.03/3083.95	c rational objective 1.81091e+06
3182.07/3193.37	c #Conflicts:     148000 | #Constraints:      24474
3182.07/3193.37	c #Conflicts:     149000 | #Constraints:      25474
3182.07/3193.37	c #Conflicts:     150000 | #Constraints:      26474
3182.07/3193.37	c #Conflicts:     151000 | #Constraints:      27474
3182.07/3193.37	c #Conflicts:     152000 | #Constraints:      28474
3182.07/3193.37	c #Conflicts:     153000 | #Constraints:      29474
3182.07/3193.37	c #Conflicts:     154000 | #Constraints:      30474
3182.07/3193.37	c #Conflicts:     155000 | #Constraints:      31475
3182.07/3193.37	c INPROCESSING
3182.07/3193.37	c GARBAGE COLLECT
3182.07/3193.37	c rational objective 1.81313e+06
3600.04/3612.71	c #Conflicts:     156000 | #Constraints:      24626
3600.04/3612.71	c #Conflicts:     157000 | #Constraints:      25627
3600.04/3612.71	c #Conflicts:     158000 | #Constraints:      26628
3600.04/3612.71	c #Conflicts:     159000 | #Constraints:      27629
3600.04/3612.71	c #Conflicts:     160000 | #Constraints:      28630
3600.04/3612.71	c #Conflicts:     161000 | #Constraints:      29630
3600.04/3612.71	c #Conflicts:     162000 | #Constraints:      30631
3600.04/3612.71	c bounds 4403275 >= -70 @ 3381.95
3600.04/3612.71	c bounds 4403211 >= -70 @ 3382.51
3600.04/3612.71	c bounds 4403011 >= -70 @ 3383.08
3600.04/3612.71	c bounds 4399365 >= -70 @ 3383.64
3600.04/3612.71	c bounds 4399301 >= -70 @ 3384.07
3600.04/3612.71	c bounds 4399165 >= -70 @ 3384.9
3600.04/3612.71	c bounds 4398331 >= -70 @ 3385.53
3600.04/3612.71	c bounds 4397661 >= -70 @ 3385.99
3600.04/3612.71	c bounds 4393851 >= -70 @ 3386.94
3600.04/3612.71	c bounds 4393787 >= -70 @ 3387.39
3600.04/3612.71	c bounds 4393055 >= -70 @ 3389.88
3600.04/3612.71	c bounds 4390291 >= -70 @ 3392.93
3600.04/3612.71	c bounds 4368463 >= -70 @ 3394.9
3600.04/3612.71	c #Conflicts:     163000 | #Constraints:      31771
3600.04/3612.71	c bounds 4367587 >= -70 @ 3399.72
3600.04/3612.71	c bounds 4361629 >= -70 @ 3403.44
3600.04/3612.71	c INPROCESSING
3600.04/3612.71	c GARBAGE COLLECT
3600.04/3612.71	c bounds 4349555 >= -70 @ 3414.08
3600.04/3612.71	c #Conflicts:     164000 | #Constraints:      24794
3600.04/3612.71	c bounds 4325175 >= -70 @ 3441.51
3600.04/3612.71	c #Conflicts:     165000 | #Constraints:      25799
3600.04/3612.71	c #Conflicts:     166000 | #Constraints:      26802
3600.04/3612.71	c bounds 4320801 >= -70 @ 3522.1
3600.04/3612.71	c #Conflicts:     167000 | #Constraints:      27808
3600.04/3612.71	c bounds 4319359 >= -70 @ 3523.8
3600.04/3612.71	c bounds 4314871 >= -70 @ 3524.17
3600.04/3612.71	c bounds 4313821 >= -70 @ 3524.53
3600.04/3612.71	c bounds 4311859 >= -70 @ 3525.35
3600.04/3612.71	c bounds 4309997 >= -70 @ 3527.25
3600.04/3612.71	c #Conflicts:     168000 | #Constraints:      28816
3600.04/3612.71	c bounds 4309463 >= -70 @ 3541.56
3600.04/3612.71	c bounds 4297493 >= -70 @ 3542.05
3600.04/3612.71	c bounds 4296659 >= -70 @ 3542.49
3600.04/3612.71	c bounds 4286893 >= -70 @ 3543.96
3600.04/3612.71	c bounds 4281879 >= -70 @ 3544.64
3600.04/3612.71	c bounds 4278573 >= -70 @ 3545.36
3600.04/3612.71	c #Conflicts:     169000 | #Constraints:      29824
3600.04/3612.71	c Program interrupted by user.
3600.04/3612.71	c cpu time 3591.5 s
3600.04/3612.71	c deterministic time 441716954444 4.42e+11
3600.04/3612.71	c optimization time 47.3173 s
3600.04/3612.71	c total solve time 3544.09 s
3600.04/3612.71	c core-guided solve time 2046.99 s
3600.04/3612.71	c propagation time 2804.43 s
3600.04/3612.71	c conflict analysis time 522.695 s
3600.04/3612.71	c propagations 66024623
3600.04/3612.71	c resolve steps 3646480
3600.04/3612.71	c decisions 3147671
3600.04/3612.71	c conflicts 169081
3600.04/3612.71	c restarts 459
3600.04/3612.71	c inprocessing phases 32
3600.04/3612.71	c input clauses 21876
3600.04/3612.71	c input cardinalities 9
3600.04/3612.71	c input general constraints 3232
3600.04/3612.71	c input average constraint length 182.82
3600.04/3612.71	c input average constraint degree 461108683.79
3600.04/3612.71	c learned clauses 16099
3600.04/3612.71	c learned cardinalities 206
3600.04/3612.71	c learned general constraints 153529
3600.04/3612.71	c learned average constraint length 4547.40
3600.04/3612.71	c learned average constraint degree 16198991932.11
3600.04/3612.71	c watched constraints 40391
3600.04/3612.71	c counting constraints 116370
3600.04/3612.71	c gcd simplifications 2397
3600.04/3612.71	c detected cardinalities 17
3600.04/3612.71	c weakened non-implied lits 53534873
3600.04/3612.71	c weakened non-implying lits 349814
3600.04/3612.71	c original variables 9940
3600.04/3612.71	c clausal propagations 38881453
3600.04/3612.71	c cardinality propagations 652442
3600.04/3612.71	c watched propagations 1501915
3600.04/3612.71	c counting propagations 24891542
3600.04/3612.71	c watch lookups 41123808543
3600.04/3612.71	c watch backjump lookups 40743489017
3600.04/3612.71	c watch checks 105318503702
3600.04/3612.71	c propagation checks 252576167416
3600.04/3612.71	c constraint additions 1816140978
3600.04/3612.71	c trail pops 69335651
3600.04/3612.71	c formula constraints 24510
3600.04/3612.71	c learned constraints 168979
3600.04/3612.71	c bound constraints 607
3600.04/3612.71	c core-guided constraints 0
3600.04/3612.71	c encountered formula constraints 3309825
3600.04/3612.71	c encountered learned constraints 497225
3600.04/3612.71	c encountered bound constraints 3725
3600.04/3612.71	c encountered core-guided constraints 0
3600.04/3612.71	c LP total time 218.019 s
3600.04/3612.71	c LP solve time 194.16 s
3600.04/3612.71	c LP constraints added 24538
3600.04/3612.71	c LP constraints removed 10
3600.04/3612.71	c LP pivots internal 170333
3600.04/3612.71	c LP pivots root 166509
3600.04/3612.71	c LP calls 826
3600.04/3612.71	c LP optimalities 55
3600.04/3612.71	c LP no pivot count 10
3600.04/3612.71	c LP infeasibilities 751
3600.04/3612.71	c LP valid Farkas constraints 747
3600.04/3612.71	c LP learned Farkas constraints 102
3600.04/3612.71	c LP basis resets 19
3600.04/3612.71	c LP cycling count 5
3600.04/3612.71	c LP singular count 4
3600.04/3612.71	c LP no primal count 0
3600.04/3612.71	c LP no farkas count 4
3600.04/3612.71	c LP other issue count 6
3600.04/3612.71	c LP Gomory cuts 6
3600.04/3612.71	c LP learned cuts 22
3600.04/3612.71	c LP deleted cuts 10
3600.04/3612.71	c LP encountered Gomory constraints 0
3600.04/3612.71	c LP encountered Farkas constraints 3591
3600.04/3612.71	c LP encountered learned Farkas constraints 1093
3600.04/3612.71	c CG auxiliary variables introduced 0
3600.04/3612.71	c CG solutions found 607
3600.04/3612.71	c CG cores constructed 0
3600.04/3612.71	c CG core cardinality constraints returned 0
3600.04/3612.71	c CG unit cores 0
3600.04/3612.71	c CG single cores 0
3600.04/3612.71	c CG blocks removed during cardinality reduction 0
3600.04/3612.71	c CG first core best 0
3600.04/3612.71	c CG decision core best 0
3600.04/3612.71	c CG core reduction tie 0
3600.04/3612.71	c CG core degree average 0.00
3600.04/3612.71	c CG core slack average 0.00
3600.04/3612.71	s SATISFIABLE
3600.04/3612.71	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	4278573

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: 64059 MiB (61771 MiB free)
  memory of node 1: 64510 MiB (61443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455361-1721462698/watcher-4455361-1721462698 -o /tmp/evaluation-result-4455361-1721462698/solver-4455361-1721462698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455361-1721462698.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1052016, runsolver pid=1052013

[startup+0.100529 s]*
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126165572/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=40400 memory=10968 CPUtime=0.1 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 1594 0 0 0 7 3 0 0 20 0 1 0 198427813 41369600 2742 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 10100 2742 1265 922 0 2052 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40400 KiB
Current children cumulated memory: 10968 KiB

[startup+0.213231 s]*
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126148112/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=57684 memory=29564 CPUtime=0.21 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 6957 0 0 0 16 5 0 0 20 0 1 0 198427813 59068416 7391 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 14421 7391 1646 922 0 6373 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57684 KiB
Current children cumulated memory: 29564 KiB

[startup+0.313084 s]*
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126148000/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=58240 memory=30184 CPUtime=0.31 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 7024 0 0 0 26 5 0 0 20 0 1 0 198427813 59637760 7546 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 14560 7546 1742 922 0 6512 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 58240 KiB
Current children cumulated memory: 30184 KiB

[startup+0.700333 s]
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126147200/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=59316 memory=31504 CPUtime=0.69 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 7324 0 0 0 63 6 0 0 20 0 1 0 198427813 60739584 7876 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 14829 7876 1742 922 0 6781 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 59316 KiB
Current children cumulated memory: 31504 KiB

[startup+1.50032 s]
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126144932/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=60828 memory=32560 CPUtime=1.48 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 7597 0 0 0 142 6 0 0 20 0 1 0 198427813 62287872 8140 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 15207 8140 1742 922 0 7159 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60828 KiB
Current children cumulated memory: 32560 KiB

[startup+3.11282 s]
/proc/loadavg: 4.11 4.14 4.13 5/245 1052017
/proc/meminfo: memFree=126125580/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=88156 memory=56160 CPUtime=3.09 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 12893 0 0 0 299 10 0 0 20 0 1 0 198427813 90271744 14040 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 22039 14040 1828 922 0 13991 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88156 KiB
Current children cumulated memory: 56160 KiB

[startup+6.30031 s]
/proc/loadavg: 4.18 4.15 4.14 5/245 1052019
/proc/meminfo: memFree=126070676/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=145356 memory=105860 CPUtime=6.27 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 20731 0 0 0 609 18 0 0 20 0 1 0 198427813 148844544 26465 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 36339 26465 1828 922 0 28291 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 145356 KiB
Current children cumulated memory: 105860 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.15 4.14 5/245 1052019
/proc/meminfo: memFree=125977948/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=217204 memory=181540 CPUtime=12.65 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 31541 0 0 0 1239 26 0 0 20 0 1 0 198427813 222416896 45385 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 54301 45385 1828 922 0 46253 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 217204 KiB
Current children cumulated memory: 181540 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.13 6/245 1052020
/proc/meminfo: memFree=125898140/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=324496 memory=253120 CPUtime=25.41 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 45034 0 0 0 2504 37 0 0 20 0 1 0 198427813 332283904 63280 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 81124 63280 1844 922 0 73076 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 324496 KiB
Current children cumulated memory: 253120 KiB

[startup+51.1129 s]
/proc/loadavg: 4.23 4.16 4.14 5/243 1052026
/proc/meminfo: memFree=125826120/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=356664 memory=325556 CPUtime=50.93 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 54510 0 0 0 5037 56 0 0 20 0 1 0 198427813 365223936 81389 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 89166 81389 1844 922 0 81118 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 356664 KiB
Current children cumulated memory: 325556 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/242 1052080
/proc/meminfo: memFree=125395296/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=599700 memory=559444 CPUtime=101.96 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 93095 0 0 0 10103 93 0 0 20 0 1 0 198427813 614092800 139861 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 149925 139861 1844 922 0 141877 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 599700 KiB
Current children cumulated memory: 559444 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/244 1052094
/proc/meminfo: memFree=125273352/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=749136 memory=586048 CPUtime=161.77 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 98308 0 0 0 16059 118 0 0 20 0 1 0 198427813 767115264 146512 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 187284 146512 1844 922 0 179236 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 749136 KiB
Current children cumulated memory: 586048 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/243 1052105
/proc/meminfo: memFree=125134460/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=784624 memory=638716 CPUtime=221.57 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 104835 0 0 0 22020 137 0 0 20 0 1 0 198427813 803454976 159679 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 196156 159679 1844 922 0 188108 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 784624 KiB
Current children cumulated memory: 638716 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/243 1052117
/proc/meminfo: memFree=125032772/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=857364 memory=699020 CPUtime=281.38 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 117378 0 0 0 27983 155 0 0 20 0 1 0 198427813 877940736 174755 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 214341 174755 1844 922 0 206293 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 857364 KiB
Current children cumulated memory: 699020 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/244 1052131
/proc/meminfo: memFree=124926076/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=910468 memory=745128 CPUtime=341.19 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 126862 0 0 0 33938 181 0 0 20 0 1 0 198427813 932319232 186282 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 227617 186282 1844 922 0 219569 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 910468 KiB
Current children cumulated memory: 745128 KiB

[startup+402.3 s]
/proc/loadavg: 5.89 4.60 4.28 5/245 1052143
/proc/meminfo: memFree=124877112/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=926964 memory=761404 CPUtime=401.01 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 130982 0 0 0 39891 210 0 0 20 0 1 0 198427813 949211136 190351 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 231741 190351 1844 922 0 223693 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 926964 KiB
Current children cumulated memory: 761404 KiB

[startup+462.3 s]
/proc/loadavg: 5.13 4.65 4.32 5/245 1052155
/proc/meminfo: memFree=124811272/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=926964 memory=761592 CPUtime=460.82 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 131057 0 0 0 45855 227 0 0 20 0 1 0 198427813 949211136 190398 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 231741 190398 1844 922 0 223693 0

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

Current children cumulated memory: 1294976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 1053222
/proc/meminfo: memFree=123166748/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1539616 memory=1294976 CPUtime=2912 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 225494 0 0 0 290466 734 0 0 20 0 1 0 198427813 1576566784 323744 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 384904 323744 1963 922 0 376856 0
Current children cumulated CPU time: 2912 s
Current children cumulated vsize: 1539616 KiB
Current children cumulated memory: 1294976 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/243 1053325
/proc/meminfo: memFree=125282484/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1541132 memory=1296276 CPUtime=2971.78 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 226178 0 0 0 296434 744 0 0 20 0 1 0 198427813 1578119168 324069 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385283 324069 1963 922 0 377235 0
Current children cumulated CPU time: 2971.78 s
Current children cumulated vsize: 1541132 KiB
Current children cumulated memory: 1296276 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/243 1053722
/proc/meminfo: memFree=125273480/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1541300 memory=1296376 CPUtime=3031.58 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 226556 0 0 0 302403 755 0 0 20 0 1 0 198427813 1578291200 324094 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385325 324094 1963 922 0 377277 0
Current children cumulated CPU time: 3031.58 s
Current children cumulated vsize: 1541300 KiB
Current children cumulated memory: 1296376 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/243 1053777
/proc/meminfo: memFree=125916088/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1541300 memory=1296376 CPUtime=3091.38 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 226846 0 0 0 308374 764 0 0 20 0 1 0 198427813 1578291200 324094 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385325 324094 1963 922 0 377277 0
Current children cumulated CPU time: 3091.38 s
Current children cumulated vsize: 1541300 KiB
Current children cumulated memory: 1296376 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/243 1053788
/proc/meminfo: memFree=125905120/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1541300 memory=1296380 CPUtime=3151.17 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 227359 0 0 0 314343 774 0 0 20 0 1 0 198427813 1578291200 324095 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385325 324095 1963 922 0 377277 0
Current children cumulated CPU time: 3151.17 s
Current children cumulated vsize: 1541300 KiB
Current children cumulated memory: 1296380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/245 1053969
/proc/meminfo: memFree=125885584/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1541548 memory=1296676 CPUtime=3210.96 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 227838 0 0 0 320305 791 0 0 20 0 1 0 198427813 1578545152 324169 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385387 324169 1963 922 0 377339 0
Current children cumulated CPU time: 3210.96 s
Current children cumulated vsize: 1541548 KiB
Current children cumulated memory: 1296676 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/245 1053980
/proc/meminfo: memFree=125874016/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1298892 CPUtime=3270.74 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 228785 0 0 0 326275 799 0 0 20 0 1 0 198427813 1580560384 324723 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 324723 1963 922 0 377831 0
Current children cumulated CPU time: 3270.74 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1298892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/244 1054083
/proc/meminfo: memFree=126223036/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1298892 CPUtime=3330.55 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 229190 0 0 0 332250 805 0 0 20 0 1 0 198427813 1580560384 324723 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 324723 1963 922 0 377831 0
Current children cumulated CPU time: 3330.55 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1298892 KiB

[startup+3402.3 s]
/proc/loadavg: 4.68 4.24 4.16 5/244 1054104
/proc/meminfo: memFree=126191684/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1299076 CPUtime=3390.34 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 229660 0 0 0 338221 813 0 0 20 0 1 0 198427813 1580560384 324769 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 324769 1963 922 0 377831 0
Current children cumulated CPU time: 3390.34 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1299076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.63 4.31 4.19 5/244 1054529
/proc/meminfo: memFree=125974408/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1312304 CPUtime=3450.14 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 230208 0 0 0 344183 831 0 0 20 0 1 0 198427813 1580560384 328076 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 328076 1963 922 0 377831 0
Current children cumulated CPU time: 3450.14 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1312304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.28 4.19 5/245 1054540
/proc/meminfo: memFree=125339068/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1312304 CPUtime=3509.94 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 230688 0 0 0 350149 845 0 0 20 0 1 0 198427813 1580560384 328076 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 328076 1963 922 0 377831 0
Current children cumulated CPU time: 3509.94 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1312304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/243 1054551
/proc/meminfo: memFree=124858712/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1312324 CPUtime=3569.74 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 231215 0 0 0 356120 854 0 0 20 0 1 0 198427813 1580560384 328081 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 328081 1963 922 0 377831 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1312324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.09 4.22 4.17 5/243 1054558
/proc/meminfo: memFree=124766792/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1312352 CPUtime=3600.04 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 231453 0 0 0 359149 855 0 0 20 0 1 0 198427813 1580560384 328088 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 328088 1963 922 0 377831 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1312352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.51 s, system=8.56757 s

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

[startup+3612.7 s]
/proc/loadavg: 4.09 4.22 4.17 5/243 1054558
/proc/meminfo: memFree=124766792/131655788 swapFree=131071996/131071996
[pid=1052016] ppid=1052013 vsize=1543516 memory=1312352 CPUtime=3600.04 cores=0,2
/proc/1052016/stat : 1052016 (roundingsat) R 1052013 1052016 1047946 0 -1 4194304 231453 0 0 0 359149 855 0 0 20 0 1 0 198427813 1580560384 328088 134679101440 4194304 7968373 140731807527856 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 32391168 140731807536060 140731807536224 140731807536224 140731807543241 0
/proc/1052016/statm: 385879 328088 1963 922 0 377831 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1543516 KiB
Current children cumulated memory: 1312352 KiB

Child status: 0

Real time (s): 3612.73
CPU time (s): 3600.07
CPU user time (s): 3591.51
CPU system time (s): 8.56757
CPU usage (%): 99.6498
Max. virtual memory (cumulated for all children) (KiB): 1543516
Max. memory (cumulated for all children) (KiB): 1312352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.51
system time used= 8.56757
maximum resident set size= 1312352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 24690


# summary of solver processes directly reported to runsolver:
#   pid: 1052016
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3591.51
#   total CPU system time (s): 8.56757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5091 second user time and 35.6222 second system time

The end

Begin job on nodeC002 at 2024-07-20 10:05:10
IDJOB=4455361
IDBENCH=155605
IDSOLVER=3084
FILE ID=nodeC002/4455361-1721462698
RUNJOBID= nodeC002-1721458043-1047956
SLURM_JOB_ID= 7545699
Free space on /tmp= 723708 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455361-1721462698/watcher-4455361-1721462698 -o /tmp/evaluation-result-4455361-1721462698/solver-4455361-1721462698 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047956 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455361-1721462698.opb

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=776585

nodeC002.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	: 0xb00001f
cpu MHz		: 3491.701
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 3626.100
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3639.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 3649.989
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.342
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126172144 kB
MemAvailable:   128420476 kB
Buffers:          581456 kB
Cached:          2491924 kB
SwapCached:            0 kB
Active:          1115572 kB
Inactive:        3760832 kB
Active(anon):       2708 kB
Inactive(anon):  1846204 kB
Active(file):    1112864 kB
Inactive(file):  1914628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5960 kB
Writeback:            44 kB
AnonPages:       1801040 kB
Mapped:           116852 kB
Shmem:             45896 kB
KReclaimable:     121740 kB
Slab:             229156 kB
SReclaimable:     121740 kB
SUnreclaim:       107416 kB
KernelStack:        3904 kB
PageTables:        12932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2232728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63520 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1337344 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723752 MiB
End job on nodeC002 at 2024-07-20 11:05:23