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

OK	4219117

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (58120 MiB free)
  memory of node 1: 64473 MiB (60825 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100211 s]*
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121794156/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=41428 memory=12092 CPUtime=0.06 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 1744 0 0 0 5 1 0 0 20 0 1 0 18679273 42422272 3023 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 10357 3023 1411 992 0 2215 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 41428 KiB
Current children cumulated memory: 12092 KiB

[startup+0.206212 s]*
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121777204/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=57804 memory=30024 CPUtime=0.16 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 6975 0 0 0 14 2 0 0 20 0 1 0 18679273 59191296 7506 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 14451 7506 1745 992 0 6309 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 57804 KiB
Current children cumulated memory: 30024 KiB

[startup+0.30623 s]*
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121776880/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=58936 memory=30728 CPUtime=0.25 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 7115 0 0 0 23 2 0 0 20 0 1 0 18679273 60350464 7682 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 14734 7682 1793 992 0 6592 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 58936 KiB
Current children cumulated memory: 30728 KiB

[startup+0.700229 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121776208/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=59832 memory=31520 CPUtime=0.63 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 7324 0 0 0 60 3 0 0 20 0 1 0 18679273 61267968 7880 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 14958 7880 1793 992 0 6816 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 59832 KiB
Current children cumulated memory: 31520 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121774928/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=60976 memory=32840 CPUtime=1.42 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 7612 0 0 0 139 3 0 0 20 0 1 0 18679273 62439424 8210 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 15244 8210 1793 992 0 7102 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 60976 KiB
Current children cumulated memory: 32840 KiB

[startup+3.10623 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 242427
/proc/meminfo: memFree=121732264/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=92444 memory=62508 CPUtime=3.01 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 13923 0 0 0 293 8 0 0 20 0 1 0 18679273 94662656 15627 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 23111 15627 1888 992 0 14969 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 92444 KiB
Current children cumulated memory: 62508 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.16 4.10 5/262 242430
/proc/meminfo: memFree=121650696/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=149960 memory=109312 CPUtime=6.18 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 21520 0 0 0 601 17 0 0 20 0 1 0 18679273 153559040 27328 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 37490 27328 1904 992 0 29348 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 149960 KiB
Current children cumulated memory: 109312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.10 5/262 242430
/proc/meminfo: memFree=121518800/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=221328 memory=184976 CPUtime=12.55 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 32287 0 0 0 1225 30 0 0 20 0 1 0 18679273 226639872 46244 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 55332 46244 1904 992 0 47190 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 221328 KiB
Current children cumulated memory: 184976 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.10 5/262 242433
/proc/meminfo: memFree=121266128/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=339808 memory=268008 CPUtime=25.32 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 49188 0 0 0 2484 48 0 0 20 0 1 0 18679273 347963392 67002 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 84952 67002 1904 992 0 76810 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 339808 KiB
Current children cumulated memory: 268008 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.17 4.10 5/262 242436
/proc/meminfo: memFree=120849184/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=451588 memory=345408 CPUtime=50.86 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 58347 0 0 0 5007 79 0 0 20 0 1 0 18679273 462426112 86352 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 112897 86352 1920 992 0 104755 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 451588 KiB
Current children cumulated memory: 345408 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/263 242446
/proc/meminfo: memFree=120167872/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=609796 memory=573424 CPUtime=101.93 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 97066 0 0 0 10059 134 0 0 20 0 1 0 18679273 624431104 143356 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 152449 143356 1920 992 0 144307 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 609796 KiB
Current children cumulated memory: 573424 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/262 242457
/proc/meminfo: memFree=119633912/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=759492 memory=599832 CPUtime=161.79 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 102221 0 0 0 15996 183 0 0 20 0 1 0 18679273 777719808 149958 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 189873 149958 1920 992 0 181731 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 759492 KiB
Current children cumulated memory: 599832 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/261 242469
/proc/meminfo: memFree=119163208/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=794016 memory=654032 CPUtime=221.62 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 109372 0 0 0 21938 224 0 0 20 0 1 0 18679273 813072384 163508 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 198504 163508 1920 992 0 190362 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 794016 KiB
Current children cumulated memory: 654032 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/261 242483
/proc/meminfo: memFree=118837760/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=866920 memory=718988 CPUtime=281.47 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 123650 0 0 0 27891 256 0 0 20 0 1 0 18679273 887726080 179747 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 216730 179747 1920 992 0 208588 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 866920 KiB
Current children cumulated memory: 718988 KiB

[startup+342.304 s]
/proc/loadavg: 4.15 4.16 4.10 5/262 242494
/proc/meminfo: memFree=118532420/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=920436 memory=773916 CPUtime=341.32 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 135373 0 0 0 33836 296 0 0 20 0 1 0 18679273 942526464 193479 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 230109 193479 1920 992 0 221967 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 920436 KiB
Current children cumulated memory: 773916 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.17 4.11 6/261 242505
/proc/meminfo: memFree=118204696/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=928312 memory=783804 CPUtime=401.15 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 137628 0 0 0 39780 335 0 0 20 0 1 0 18679273 950591488 195951 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 232078 195951 1920 992 0 223936 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 928312 KiB
Current children cumulated memory: 783804 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 242517
/proc/meminfo: memFree=117826648/131524600 swapFree=131070704/131071996
[pid=242426] ppid=242423 vsize=928312 memory=787032 CPUtime=460.99 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 137772 0 0 0 45728 371 0 0 20 0 1 0 18679273 950591488 196758 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 232078 196758 1920 992 0 223936 0

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

Current children cumulated memory: 1297204 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/261 244333
/proc/meminfo: memFree=36509636/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=2914.48 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 233734 0 0 0 289885 1563 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/256 244344
/proc/meminfo: memFree=34279876/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=2974.26 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 234157 0 0 0 295832 1594 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3042.3 s]
/proc/loadavg: 4.33 4.19 4.18 6/253 244355
/proc/meminfo: memFree=32074992/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3034.06 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 234730 0 0 0 301788 1618 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3034.06 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.18 4.18 7/257 244369
/proc/meminfo: memFree=29613688/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3093.89 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 235214 0 0 0 307734 1655 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.17 6/256 244380
/proc/meminfo: memFree=27222196/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3153.74 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 235610 0 0 0 313695 1679 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/256 244391
/proc/meminfo: memFree=24333296/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3213.6 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 235992 0 0 0 319656 1704 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.18 4.18 5/259 244406
/proc/meminfo: memFree=21730188/131524600 swapFree=131070192/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3273.46 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 236379 0 0 0 325609 1737 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.53 4.26 4.20 5/259 244417
/proc/meminfo: memFree=19483444/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3333.31 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 236806 0 0 0 331566 1765 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.24 4.20 5/258 244430
/proc/meminfo: memFree=16903016/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3393.14 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 237330 0 0 0 337522 1792 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.24 4.20 5/262 244462
/proc/meminfo: memFree=39976676/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3453 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 237832 0 0 0 343484 1816 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.21 4.18 6/262 244472
/proc/meminfo: memFree=37797340/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1510220 memory=1297204 CPUtime=3512.85 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 238296 0 0 0 349457 1828 0 0 20 0 1 0 18679273 1546465280 324301 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 377555 324301 1920 992 0 369413 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 1510220 KiB
Current children cumulated memory: 1297204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/260 244483
/proc/meminfo: memFree=35236764/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1566864 memory=1339928 CPUtime=3572.7 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 248452 0 0 0 355421 1849 0 0 20 0 1 0 18679273 1604468736 334982 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 391716 334982 1920 992 0 383574 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 1566864 KiB
Current children cumulated memory: 1339928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.10 4.18 4.18 5/260 244490
/proc/meminfo: memFree=34853360/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1601252 memory=1387100 CPUtime=3600.04 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 254335 0 0 0 358134 1870 0 0 20 0 1 0 18679273 1639682048 346775 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 400313 346775 1920 992 0 392171 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1601252 KiB
Current children cumulated memory: 1387100 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.35 s, system=18.7219 s

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

[startup+3609.7 s]
/proc/loadavg: 4.10 4.18 4.18 5/260 244490
/proc/meminfo: memFree=34853360/131524600 swapFree=131069668/131071996
[pid=242426] ppid=242423 vsize=1601252 memory=1387100 CPUtime=3600.04 cores=4,6
/proc/242426/stat : 242426 (roundingsat) R 242423 242426 239614 0 -1 4194304 254335 0 0 0 358134 1870 0 0 20 0 1 0 18679273 1639682048 346775 134679101440 4194304 8254037 140730165832224 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18538496 140730165838684 140730165838946 140730165838946 140730165845961 0
/proc/242426/statm: 400313 346775 1920 992 0 392171 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1601252 KiB
Current children cumulated memory: 1387100 KiB

Child status: 0

Real time (s): 3609.78
CPU time (s): 3600.07
CPU user time (s): 3581.35
CPU system time (s): 18.7219
CPU usage (%): 99.7312
Max. virtual memory (cumulated for all children) (KiB): 1601252
Max. memory (cumulated for all children) (KiB): 1387100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.35
system time used= 18.7219
maximum resident set size= 1387100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254351
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35517584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1138
involuntary context switches= 5174


# summary of solver processes directly reported to runsolver:
#   pid: 242426
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3581.35
#   total CPU system time (s): 18.7219

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0415 second user time and 11.8146 second system time

The end

Begin job on nodeC030 at 2024-07-24 13:45:53
IDJOB=4457097
IDBENCH=155605
IDSOLVER=3085
FILE ID=nodeC030/4457097-1721821553
RUNJOBID= nodeC030-1721817187-239625
SLURM_JOB_ID= 7816892
Free space on /tmp= 890044 MiB

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

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

MD5SUM BENCH= 90cf94310e57120d5401aeddd838603e
RANDOM SEED=70285440

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121801124 kB
MemAvailable:   128992000 kB
Buffers:          241484 kB
Cached:          7689908 kB
SwapCached:           48 kB
Active:          2584280 kB
Inactive:        6358292 kB
Active(anon):       1688 kB
Inactive(anon):  1062744 kB
Active(file):    2582592 kB
Inactive(file):  5295548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              9568 kB
Writeback:             0 kB
AnonPages:       1006756 kB
Mapped:           126820 kB
Shmem:             53508 kB
KReclaimable:     305120 kB
Slab:             428612 kB
SReclaimable:     305120 kB
SUnreclaim:       123492 kB
KernelStack:        4240 kB
PageTables:        11336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1453324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    612352 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC030 at 2024-07-24 14:46:03