0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] solving
0.00/0.02 c #variables 6402 #constraints 3348
0.00/0.02 c SMALL=int, LARGE=long long
0.00/0.02 c bounds - >= 145485 @ 0.017518
0.00/0.02 c stratification level: 0
0.10/0.17 c bounds - >= 2860426 @ 0.028994
0.10/0.17 c bounds - >= 2862456 @ 0.029812
0.10/0.17 c bounds - >= 2863163 @ 0.030584
0.10/0.17 c bounds - >= 3310426 @ 0.030824
0.10/0.17 c bounds - >= 3455374 @ 0.031092
0.10/0.17 c bounds - >= 3599974 @ 0.031871
0.10/0.17 c bounds - >= 3742153 @ 0.032639
0.10/0.17 c bounds - >= 3743107 @ 0.033469
0.10/0.17 c bounds - >= 3743399 @ 0.033818
0.10/0.17 c bounds - >= 3884374 @ 0.034162
0.10/0.17 c bounds - >= 4026873 @ 0.034917
0.10/0.17 c bounds - >= 4168093 @ 0.035665
0.10/0.17 c bounds - >= 4309648 @ 0.035814
0.10/0.17 c bounds - >= 4310214 @ 0.03631
0.10/0.17 c bounds - >= 4310957 @ 0.037279
0.10/0.17 c bounds - >= 4311781 @ 0.038309
0.10/0.17 c bounds - >= 4311938 @ 0.039311
0.10/0.17 c bounds - >= 4759648 @ 0.040379
0.10/0.17 c bounds - >= 5208402 @ 0.040797
0.10/0.17 c bounds - >= 5351954 @ 0.040799
0.10/0.17 c bounds - >= 5495055 @ 0.040801
0.10/0.17 c bounds - >= 5638367 @ 0.040801
0.10/0.17 c bounds - >= 5780447 @ 0.041193
0.10/0.17 c bounds - >= 5923978 @ 0.041796
0.10/0.17 c bounds - >= 6067713 @ 0.041803
0.10/0.17 c bounds - >= 6210871 @ 0.041805
0.10/0.17 c bounds - >= 6353594 @ 0.041806
0.10/0.17 c bounds - >= 6495549 @ 0.041807
0.10/0.17 c bounds - >= 6637249 @ 0.042917
0.10/0.17 c bounds - >= 6780693 @ 0.04378
0.10/0.17 c bounds - >= 6923160 @ 0.043781
0.10/0.17 c bounds - >= 7064138 @ 0.043782
0.10/0.17 c bounds - >= 7206988 @ 0.04456
0.10/0.17 c bounds - >= 7349409 @ 0.045764
0.10/0.17 c bounds - >= 7491929 @ 0.046917
0.10/0.17 c bounds - >= 7633486 @ 0.047771
0.10/0.17 c bounds - >= 7773901 @ 0.048285
0.10/0.17 c bounds - >= 7914571 @ 0.049511
0.10/0.17 c bounds - >= 8056937 @ 0.049767
0.10/0.17 c bounds - >= 8196177 @ 0.050766
0.10/0.17 c bounds - >= 8336481 @ 0.050767
0.10/0.17 c bounds - >= 8477455 @ 0.050768
0.10/0.17 c bounds - >= 8617657 @ 0.050769
0.10/0.17 c bounds - >= 8757424 @ 0.051768
0.10/0.17 c bounds - >= 8897448 @ 0.052045
0.10/0.17 c bounds - >= 9037098 @ 0.052766
0.10/0.17 c bounds - >= 9176227 @ 0.052767
0.10/0.17 c bounds - >= 9317813 @ 0.052768
0.10/0.17 c bounds - >= 9456307 @ 0.053902
0.10/0.17 c bounds - >= 9597903 @ 0.055119
0.10/0.17 c bounds - >= 9739588 @ 0.055761
0.10/0.17 c bounds - >= 9879473 @ 0.055762
0.10/0.17 c bounds - >= 10019856 @ 0.055933
0.10/0.17 c bounds - >= 10161274 @ 0.056748
0.10/0.17 c bounds - >= 10300892 @ 0.056749
0.10/0.17 c bounds - >= 10441884 @ 0.05675
0.10/0.17 c bounds - >= 10580927 @ 0.057821
0.10/0.17 c bounds - >= 10719581 @ 0.059086
0.10/0.17 c bounds - >= 10860829 @ 0.059742
0.10/0.17 c bounds - >= 10999534 @ 0.060524
0.10/0.17 c bounds - >= 11141018 @ 0.060906
0.10/0.17 c bounds - >= 11279789 @ 0.061712
0.10/0.17 c bounds - >= 11419915 @ 0.061713
0.10/0.17 c bounds - >= 11558700 @ 0.062517
0.10/0.17 c bounds - >= 11698322 @ 0.062872
0.10/0.17 c bounds - >= 11838110 @ 0.063709
0.10/0.17 c bounds - >= 11977506 @ 0.064238
0.10/0.17 c bounds - >= 12116982 @ 0.065464
0.10/0.17 c bounds - >= 12256342 @ 0.066669
0.10/0.17 c bounds - >= 12396240 @ 0.067879
0.10/0.17 c bounds - >= 12537651 @ 0.06911
0.10/0.17 c bounds - >= 12676386 @ 0.070331
0.10/0.17 c bounds - >= 12817006 @ 0.070692
0.10/0.17 c bounds - >= 12957265 @ 0.071767
0.10/0.17 c bounds - >= 13097124 @ 0.072687
0.10/0.17 c bounds - >= 13238191 @ 0.072689
0.10/0.17 c bounds - >= 13378033 @ 0.07269
0.10/0.17 c bounds - >= 13518412 @ 0.072691
0.10/0.17 c bounds - >= 13658201 @ 0.073818
0.10/0.17 c bounds - >= 13797721 @ 0.074966
0.10/0.17 c bounds - >= 13937868 @ 0.075681
0.10/0.17 c bounds - >= 14078624 @ 0.076322
0.10/0.17 c bounds - >= 14218449 @ 0.077484
0.10/0.17 c bounds - >= 14357830 @ 0.077677
0.10/0.17 c bounds - >= 14498247 @ 0.078835
0.10/0.17 c bounds - >= 14638602 @ 0.079673
0.10/0.17 c bounds - >= 14779133 @ 0.079673
0.10/0.17 c bounds - >= 14919483 @ 0.079675
0.10/0.17 c bounds - >= 15058930 @ 0.080429
0.10/0.17 c bounds - >= 15198918 @ 0.080673
0.10/0.17 c bounds - >= 15338988 @ 0.080675
0.10/0.17 c bounds - >= 15477892 @ 0.080675
0.10/0.17 c bounds - >= 15618128 @ 0.08125
0.10/0.17 c bounds - >= 15759118 @ 0.081674
0.10/0.17 c bounds - >= 15899784 @ 0.081674
0.10/0.17 c bounds - >= 16039535 @ 0.081675
0.10/0.17 c bounds - >= 16177809 @ 0.08255
0.10/0.17 c bounds - >= 16317349 @ 0.083612
0.10/0.17 c bounds - >= 16456950 @ 0.084674
0.10/0.17 c bounds - >= 16597151 @ 0.085742
0.10/0.17 c bounds - >= 16737076 @ 0.086808
0.10/0.17 c bounds - >= 16875778 @ 0.087858
0.10/0.17 c bounds - >= 17016199 @ 0.088897
0.10/0.17 c bounds - >= 17154386 @ 0.089549
0.10/0.17 c bounds - >= 17294296 @ 0.089589
0.10/0.17 c bounds - >= 17434302 @ 0.089591
0.10/0.17 c bounds - >= 17573960 @ 0.090116
0.10/0.17 c bounds - >= 17714037 @ 0.091181
0.10/0.17 c bounds - >= 17852906 @ 0.091586
0.10/0.17 c bounds - >= 17993284 @ 0.091587
0.10/0.17 c bounds - >= 18133335 @ 0.092238
0.10/0.17 c bounds - >= 18273954 @ 0.092586
0.10/0.17 c bounds - >= 18414454 @ 0.093212
0.10/0.17 c bounds - >= 18554503 @ 0.093584
0.10/0.17 c bounds - >= 18694749 @ 0.093585
0.10/0.17 c bounds - >= 18834541 @ 0.093586
0.10/0.17 c bounds - >= 18972927 @ 0.093586
0.10/0.17 c bounds - >= 19113330 @ 0.094195
0.10/0.17 c bounds - >= 19253859 @ 0.095161
0.10/0.17 c bounds - >= 19394194 @ 0.096161
0.10/0.17 c bounds - >= 19534490 @ 0.096578
0.10/0.17 c bounds - >= 19673058 @ 0.097074
0.10/0.17 c bounds - >= 19813642 @ 0.098063
0.29/0.34 c bounds - >= 19952739 @ 0.098573
0.29/0.34 c bounds - >= 20092674 @ 0.099019
0.29/0.34 c bounds - >= 20232597 @ 0.099976
0.29/0.34 c bounds - >= 20372003 @ 0.10089
0.29/0.34 c bounds - >= 20511735 @ 0.101802
0.29/0.34 c bounds - >= 20651676 @ 0.102562
0.29/0.34 c bounds - >= 20791142 @ 0.10273
0.29/0.34 c bounds - >= 20931187 @ 0.103569
0.29/0.34 c bounds - >= 21070934 @ 0.104505
0.29/0.34 c bounds - >= 21210666 @ 0.105428
0.29/0.34 c bounds - >= 21350710 @ 0.106368
0.29/0.34 c bounds - >= 21490454 @ 0.10655
0.29/0.34 c bounds - >= 21630290 @ 0.107187
0.29/0.34 c bounds - >= 21769966 @ 0.107548
0.29/0.34 c bounds - >= 21909951 @ 0.107997
0.29/0.34 c bounds - >= 22049700 @ 0.108547
0.29/0.34 c bounds - >= 22189421 @ 0.108811
0.29/0.34 c bounds - >= 22328687 @ 0.109694
0.29/0.34 c bounds - >= 22468177 @ 0.110594
0.29/0.34 c bounds - >= 22607078 @ 0.111473
0.29/0.34 c bounds - >= 22746462 @ 0.112332
0.29/0.34 c bounds - >= 22886095 @ 0.112534
0.29/0.34 c bounds - >= 23025683 @ 0.112535
0.29/0.34 c bounds - >= 23165155 @ 0.112536
0.29/0.34 c bounds - >= 23304478 @ 0.11269
0.29/0.34 c bounds - >= 23443387 @ 0.113526
0.29/0.34 c bounds - >= 23582566 @ 0.114405
0.29/0.34 c bounds - >= 23720814 @ 0.11523
0.29/0.34 c bounds - >= 23859016 @ 0.115529
0.29/0.34 c bounds - >= 23997644 @ 0.115914
0.29/0.34 c bounds - >= 24136275 @ 0.116723
0.29/0.34 c bounds - >= 24274981 @ 0.117529
0.29/0.34 c bounds - >= 24275493 @ 0.118545
0.29/0.34 c bounds - >= 24278230 @ 0.119518
0.29/0.34 c bounds - >= 24318278 @ 0.120129
0.29/0.34 c bounds - >= 24319232 @ 0.121144
0.29/0.34 c bounds - >= 24319524 @ 0.121513
0.29/0.34 c bounds - >= 24322382 @ 0.122247
0.29/0.34 c bounds - >= 24362923 @ 0.122512
0.29/0.34 c bounds - >= 24364092 @ 0.12351
0.29/0.34 c bounds - >= 24365282 @ 0.124714
0.29/0.34 c bounds - >= 24366320 @ 0.12649
0.29/0.34 c bounds - >= 24367239 @ 0.127772
0.29/0.34 c bounds - >= 24405115 @ 0.129564
0.29/0.34 c bounds - >= 24406008 @ 0.131361
0.29/0.34 c bounds - >= 24438935 @ 0.132484
0.29/0.34 c bounds - >= 24439452 @ 0.132486
0.29/0.34 c bounds - >= 24440286 @ 0.133483
0.29/0.34 c bounds - >= 24440632 @ 0.134807
0.29/0.34 c bounds - >= 24441024 @ 0.136208
0.29/0.34 c bounds - >= 24441496 @ 0.136646
0.29/0.34 c bounds - >= 24441792 @ 0.137972
0.29/0.34 c bounds - >= 24441961 @ 0.138472
0.29/0.34 c bounds - >= 24442160 @ 0.139877
0.29/0.34 c bounds - >= 24442565 @ 0.140466
0.29/0.34 c bounds - >= 24442816 @ 0.141695
0.29/0.34 c bounds - >= 24442978 @ 0.142462
0.29/0.34 c bounds - >= 24443348 @ 0.142649
0.29/0.34 c bounds - >= 24443588 @ 0.14394
0.29/0.34 c bounds - >= 24443764 @ 0.144458
0.29/0.34 c bounds - >= 24444258 @ 0.145456
0.29/0.34 c bounds - >= 24444663 @ 0.145457
0.29/0.34 c bounds - >= 24444919 @ 0.146456
0.29/0.34 c bounds - >= 24445068 @ 0.146456
0.29/0.34 c bounds - >= 24445558 @ 0.147758
0.29/0.34 c bounds - >= 24447555 @ 0.148452
0.29/0.34 c bounds - >= 24447670 @ 0.149882
0.29/0.34 c bounds - >= 24448174 @ 0.151249
0.29/0.34 c bounds - >= 24448899 @ 0.151767
0.29/0.34 c bounds - >= 24451080 @ 0.15334
0.29/0.34 c bounds - >= 24453242 @ 0.15494
0.29/0.34 c bounds - >= 24453760 @ 0.156369
0.29/0.34 c bounds - >= 24454736 @ 0.157431
0.29/0.34 c bounds - >= 24454757 @ 0.158381
0.29/0.34 c bounds - >= 24456888 @ 0.159918
0.29/0.34 c bounds - >= 24457108 @ 0.161407
0.29/0.34 c bounds - >= 24458650 @ 0.164002
0.29/0.34 c bounds - >= 24458916 @ 0.164567
0.29/0.34 c bounds - >= 24459073 @ 0.165414
0.29/0.34 c bounds - >= 24459403 @ 0.165609
0.29/0.34 c bounds - >= 24459499 @ 0.166413
0.29/0.34 c bounds - >= 24459737 @ 0.167411
0.29/0.34 c bounds - >= 24460572 @ 0.167412
0.29/0.34 c bounds - >= 24462454 @ 0.167842
0.29/0.34 c bounds - >= 24462862 @ 0.169561
0.29/0.34 c bounds - >= 24462873 @ 0.171262
0.29/0.34 c bounds - >= 24464707 @ 0.173252
0.29/0.34 c bounds - >= 24466903 @ 0.174378
0.29/0.34 c bounds - >= 24467208 @ 0.175394
0.29/0.34 c bounds - >= 24469397 @ 0.17558
0.29/0.34 c bounds - >= 24469565 @ 0.176394
0.29/0.34 c bounds - >= 24470047 @ 0.177626
0.29/0.34 c bounds - >= 24470321 @ 0.179114
0.29/0.34 c bounds - >= 24470377 @ 0.179567
0.29/0.34 c bounds - >= 24471238 @ 0.180384
0.29/0.34 c bounds - >= 24471326 @ 0.181563
0.29/0.34 c bounds - >= 24472035 @ 0.18238
0.29/0.34 c bounds - >= 24472738 @ 0.182894
0.29/0.34 c bounds - >= 24473079 @ 0.183379
0.29/0.34 c bounds - >= 24473580 @ 0.18478
0.29/0.34 c bounds - >= 24473902 @ 0.185374
0.29/0.34 c bounds - >= 24475018 @ 0.186935
0.29/0.34 c bounds - >= 24475238 @ 0.18764
0.29/0.34 c bounds - >= 24475438 @ 0.189189
0.29/0.34 c bounds - >= 24475647 @ 0.190361
0.29/0.34 c bounds - >= 24475650 @ 0.191507
0.29/0.34 c bounds - >= 24477485 @ 0.192578
0.29/0.34 c bounds - >= 24477655 @ 0.193968
0.29/0.34 c bounds - >= 24478192 @ 0.194567
0.29/0.34 c bounds - >= 24478697 @ 0.195352
0.29/0.34 c bounds - >= 24479158 @ 0.195777
0.29/0.34 c bounds - >= 24479512 @ 0.197247
0.29/0.34 c bounds - >= 24479915 @ 0.198787
0.29/0.34 c bounds - >= 24480270 @ 0.200449
0.29/0.34 c bounds - >= 24481473 @ 0.201336
0.29/0.34 c bounds - >= 24483132 @ 0.202335
0.29/0.34 c bounds - >= 24483323 @ 0.203572
0.29/0.34 c bounds - >= 24483825 @ 0.205109
0.29/0.34 c bounds - >= 24484086 @ 0.206608
0.29/0.34 c bounds - >= 24484557 @ 0.207323
0.29/0.34 c bounds - >= 24485060 @ 0.207323
0.49/0.59 c bounds - >= 24485134 @ 0.207324
0.49/0.59 c bounds - >= 24485180 @ 0.208321
0.49/0.59 c bounds - >= 24485445 @ 0.2094
0.49/0.59 c bounds - >= 24485969 @ 0.210317
0.49/0.59 c bounds - >= 24486779 @ 0.211314
0.49/0.59 c bounds - >= 24487092 @ 0.212514
0.49/0.59 c bounds - >= 24487989 @ 0.214077
0.49/0.59 c bounds - >= 24488410 @ 0.214666
0.49/0.59 c bounds - >= 24489659 @ 0.216235
0.49/0.59 c bounds - >= 24489750 @ 0.217302
0.49/0.59 c bounds - >= 24489903 @ 0.21791
0.49/0.59 c bounds - >= 24490141 @ 0.218394
0.49/0.59 c bounds - >= 24490317 @ 0.219237
0.49/0.59 c bounds - >= 24490421 @ 0.220705
0.49/0.59 c bounds - >= 24490462 @ 0.222334
0.49/0.59 c bounds - >= 24491704 @ 0.223227
0.49/0.59 c bounds - >= 24491979 @ 0.224225
0.49/0.59 c bounds - >= 24492448 @ 0.225377
0.49/0.59 c bounds - >= 24493079 @ 0.226934
0.49/0.59 c bounds - >= 24493512 @ 0.228448
0.49/0.59 c bounds - >= 24494502 @ 0.229214
0.49/0.59 c bounds - >= 24494621 @ 0.230212
0.49/0.59 c bounds - >= 24494983 @ 0.231257
0.49/0.59 c bounds - >= 24495224 @ 0.232998
0.49/0.59 c bounds - >= 24496268 @ 0.233207
0.49/0.59 c bounds - >= 24497420 @ 0.233502
0.49/0.59 c bounds - >= 24497616 @ 0.23441
0.49/0.59 c bounds - >= 24497721 @ 0.23585
0.49/0.59 c bounds - >= 24497872 @ 0.237199
0.49/0.59 c bounds - >= 24498023 @ 0.237199
0.49/0.59 c bounds - >= 24498363 @ 0.237609
0.49/0.59 c bounds - >= 24498767 @ 0.239122
0.49/0.59 c bounds - >= 24498889 @ 0.240726
0.49/0.59 c bounds - >= 24499224 @ 0.242375
0.49/0.59 c bounds - >= 24499289 @ 0.243181
0.49/0.59 c bounds - >= 24500113 @ 0.243183
0.49/0.59 c bounds - >= 24500114 @ 0.243909
0.49/0.59 c bounds - >= 24500290 @ 0.244899
0.49/0.59 c bounds - >= 24500333 @ 0.245863
0.49/0.59 c bounds - >= 24500979 @ 0.247175
0.49/0.59 c bounds - >= 24501034 @ 0.248521
0.49/0.59 c bounds - >= 24501555 @ 0.249344
0.49/0.59 c bounds - >= 24502480 @ 0.250168
0.49/0.59 c bounds - >= 24502600 @ 0.252131
0.49/0.59 c bounds - >= 24502608 @ 0.253161
0.49/0.59 c bounds - >= 24502859 @ 0.25507
0.49/0.59 c bounds - >= 24502944 @ 0.256756
0.49/0.59 c bounds - >= 24503827 @ 0.258007
0.49/0.59 c bounds - >= 24503838 @ 0.258147
0.49/0.59 c bounds - >= 24503994 @ 0.25942
0.49/0.59 c bounds - >= 24504147 @ 0.260341
0.49/0.59 c bounds - >= 24504542 @ 0.26114
0.49/0.59 c bounds - >= 24505343 @ 0.263164
0.49/0.59 c bounds - >= 24505602 @ 0.264134
0.49/0.59 c bounds - >= 24505605 @ 0.265483
0.49/0.59 c bounds - >= 24505897 @ 0.26616
0.49/0.59 c bounds - >= 24505955 @ 0.267126
0.49/0.59 c bounds - >= 24506591 @ 0.267129
0.49/0.59 c bounds - >= 24506903 @ 0.267299
0.49/0.59 c bounds - >= 24507475 @ 0.269013
0.49/0.59 c bounds - >= 24507970 @ 0.270806
0.49/0.59 c bounds - >= 24508676 @ 0.272656
0.49/0.59 c bounds - >= 24509375 @ 0.274559
0.49/0.59 c bounds - >= 24509576 @ 0.276398
0.49/0.59 c bounds - >= 24510147 @ 0.277103
0.49/0.59 c bounds - >= 24510587 @ 0.278816
0.49/0.59 c bounds - >= 24510594 @ 0.279548
0.49/0.59 c bounds - >= 24510746 @ 0.282761
0.49/0.59 c bounds - >= 24511039 @ 0.284418
0.49/0.59 c bounds - >= 24511256 @ 0.286086
0.49/0.59 c bounds - >= 24511824 @ 0.287942
0.49/0.59 c bounds - >= 24512040 @ 0.288683
0.49/0.59 c bounds - >= 24512574 @ 0.289784
0.49/0.59 c bounds - >= 24513098 @ 0.292391
0.49/0.59 c bounds - >= 24513259 @ 0.295687
0.49/0.59 c bounds - >= 24513745 @ 0.298448
0.49/0.59 c bounds - >= 24514112 @ 0.300469
0.49/0.59 c bounds - >= 24514319 @ 0.30127
0.49/0.59 c bounds - >= 24514400 @ 0.303123
0.49/0.59 c bounds - >= 24514627 @ 0.304186
0.49/0.59 c bounds - >= 24514918 @ 0.305018
0.49/0.59 c bounds - >= 24515074 @ 0.305019
0.49/0.59 c bounds - >= 24515421 @ 0.306017
0.49/0.59 c bounds - >= 24515615 @ 0.307488
0.49/0.59 c bounds - >= 24515951 @ 0.309469
0.49/0.59 c bounds - >= 24516054 @ 0.310213
0.49/0.59 c bounds - >= 24516309 @ 0.312077
0.49/0.59 c bounds - >= 24516419 @ 0.313568
0.49/0.59 c bounds - >= 24516717 @ 0.314669
0.49/0.59 c bounds - >= 24516758 @ 0.317231
0.49/0.59 c bounds - >= 24516888 @ 0.318189
0.49/0.59 c bounds - >= 24516899 @ 0.321138
0.49/0.59 c bounds - >= 24517047 @ 0.32298
0.49/0.59 c bounds - >= 24517308 @ 0.325036
0.49/0.59 c bounds - >= 24517544 @ 0.326154
0.49/0.59 c bounds - >= 24517552 @ 0.327152
0.49/0.59 c bounds - >= 24517658 @ 0.32902
0.49/0.59 c bounds - >= 24517693 @ 0.330927
0.49/0.59 c bounds - >= 24517710 @ 0.333193
0.49/0.59 c bounds - >= 24517941 @ 0.336033
0.49/0.59 c bounds - >= 24517998 @ 0.340738
0.49/0.59 c bounds - >= 24518133 @ 0.341906
0.49/0.59 c bounds - >= 24518165 @ 0.343859
0.49/0.59 c bounds - >= 24518355 @ 0.34557
0.49/0.59 c bounds - >= 24518511 @ 0.347496
0.49/0.59 c bounds - >= 24518670 @ 0.349658
0.49/0.59 c bounds - >= 24518790 @ 0.350625
0.49/0.59 c bounds - >= 24518904 @ 0.352099
0.49/0.59 c bounds - >= 24518997 @ 0.354276
0.49/0.59 c bounds - >= 24519046 @ 0.35599
0.49/0.59 c bounds - >= 24519131 @ 0.358461
0.49/0.59 c bounds - >= 24519279 @ 0.359956
0.49/0.59 c bounds - >= 24519376 @ 0.361088
0.49/0.59 c bounds - >= 24519469 @ 0.364128
0.49/0.59 c bounds - >= 24519477 @ 0.366581
0.49/0.59 c bounds - >= 24519532 @ 0.367211
0.49/0.59 c bounds - >= 24519541 @ 0.36957
0.49/0.59 c bounds - >= 24519607 @ 0.372565
0.49/0.59 c bounds - >= 24519672 @ 0.374372
0.49/0.59 c bounds - >= 24519728 @ 0.376423
0.49/0.59 c bounds - >= 24519815 @ 0.379127
1.09/1.13 c bounds - >= 24519828 @ 0.381014
1.09/1.13 c bounds - >= 24519831 @ 0.383443
1.09/1.13 c bounds - >= 24519870 @ 0.384954
1.09/1.13 c bounds - >= 24519925 @ 0.387393
1.09/1.13 c bounds - >= 24519972 @ 0.389181
1.09/1.13 c bounds - >= 24520007 @ 0.391763
1.09/1.13 c bounds - >= 24520034 @ 0.393187
1.09/1.13 c bounds - >= 24520068 @ 0.395052
1.09/1.13 c bounds - >= 24520101 @ 0.398202
1.09/1.13 c bounds - >= 24520125 @ 0.399702
1.09/1.13 c bounds - >= 24520154 @ 0.401207
1.09/1.13 c bounds - >= 24520174 @ 0.403537
1.09/1.13 c bounds - >= 24520197 @ 0.405575
1.09/1.13 c bounds - >= 24520211 @ 0.40705
1.09/1.13 c bounds - >= 24520216 @ 0.409862
1.09/1.13 c bounds - >= 24520230 @ 0.413002
1.09/1.13 c bounds - >= 24520247 @ 0.414666
1.09/1.13 c bounds - >= 24520250 @ 0.418588
1.09/1.13 c bounds - >= 24520266 @ 0.419655
1.09/1.13 c bounds - >= 24520284 @ 0.421948
1.09/1.13 c bounds - >= 24520297 @ 0.42371
1.09/1.13 c bounds - >= 24520308 @ 0.424955
1.09/1.13 c bounds - >= 24520318 @ 0.426797
1.09/1.13 c bounds - >= 24520322 @ 0.430905
1.09/1.13 c bounds - >= 24520331 @ 0.433468
1.09/1.13 c bounds - >= 24520339 @ 0.434622
1.09/1.13 c bounds - >= 24520344 @ 0.436619
1.09/1.13 c bounds - >= 24520347 @ 0.439296
1.09/1.13 c bounds - >= 24520352 @ 0.439611
1.09/1.13 c bounds - >= 24520356 @ 0.441676
1.09/1.13 c bounds - >= 24520359 @ 0.443125
1.09/1.13 c bounds - >= 24520362 @ 0.447058
1.09/1.13 c bounds - >= 24520364 @ 0.449957
1.09/1.13 c bounds - >= 24520366 @ 0.452598
1.09/1.13 c bounds - >= 24520369 @ 0.455576
1.09/1.13 c bounds - >= 24520371 @ 0.457236
1.09/1.13 c bounds - >= 24520373 @ 0.459366
1.09/1.13 c bounds - >= 24520374 @ 0.460057
1.09/1.13 c bounds - >= 24520375 @ 0.4606
1.09/1.13 c bounds - >= 24520376 @ 0.462773
1.09/1.13 c bounds - >= 24520377 @ 0.464519
1.09/1.13 c bounds - >= 24520378 @ 0.470183
1.09/1.13 c bounds - >= 24520379 @ 0.472898
1.09/1.13 c bounds - >= 24520380 @ 0.475659
1.09/1.13 c bounds - >= 24520382 @ 0.478843
1.09/1.13 c bounds - >= 24520383 @ 0.480891
1.09/1.13 c bounds - >= 24520384 @ 0.482514
1.09/1.13 c bounds - >= 24520385 @ 0.485659
1.09/1.13 c bounds - >= 24520386 @ 0.488855
1.09/1.13 c bounds - >= 24520387 @ 0.491702
1.09/1.13 c bounds - >= 24520388 @ 0.493873
1.09/1.13 c bounds - >= 24520391 @ 0.495499
1.09/1.13 c bounds - >= 24520407 @ 0.497024
1.09/1.13 c bounds - >= 24520411 @ 0.501161
1.09/1.13 c bounds - >= 24520412 @ 0.503575
1.09/1.13 c bounds - >= 24520414 @ 0.506737
1.09/1.13 c bounds - >= 24520418 @ 0.508877
1.09/1.13 c bounds - >= 24520419 @ 0.512583
1.09/1.13 c bounds - >= 24520439 @ 0.515351
1.09/1.13 c bounds - >= 24520440 @ 0.517846
1.09/1.13 c bounds - >= 24520471 @ 0.520555
1.09/1.13 c bounds - >= 24520473 @ 0.523238
1.09/1.13 c bounds - >= 24520484 @ 0.527652
1.09/1.13 c bounds - >= 24520495 @ 0.531308
1.09/1.13 c bounds - >= 24520496 @ 0.533492
1.09/1.13 c bounds - >= 24520497 @ 0.535869
1.09/1.13 c bounds - >= 24520543 @ 0.539384
1.09/1.13 c bounds - >= 24520633 @ 0.542473
1.09/1.13 c bounds - >= 24520677 @ 0.544428
1.09/1.13 c bounds - >= 24520682 @ 0.547937
1.09/1.13 c bounds - >= 24520708 @ 0.551889
1.09/1.13 c bounds - >= 24520732 @ 0.553193
1.09/1.13 c bounds - >= 24520733 @ 0.557616
1.09/1.13 c bounds - >= 24520739 @ 0.560667
1.09/1.13 c bounds - >= 24520785 @ 0.564845
1.09/1.13 c bounds - >= 24520858 @ 0.566707
1.09/1.13 c bounds - >= 24520947 @ 0.57395
1.09/1.13 c bounds - >= 24520948 @ 0.583183
1.09/1.13 c bounds - >= 24520949 @ 0.585247
1.09/1.13 c bounds - >= 24521010 @ 0.587137
1.09/1.13 c bounds - >= 24521065 @ 0.590498
1.09/1.13 c bounds - >= 24521126 @ 0.592471
1.09/1.13 c bounds - >= 24521168 @ 0.596137
1.09/1.13 c bounds - >= 24521224 @ 0.59904
1.09/1.13 c bounds - >= 24521312 @ 0.604278
1.09/1.13 c bounds - >= 24521387 @ 0.606247
1.09/1.13 c bounds - >= 24521391 @ 0.609196
1.09/1.13 c bounds - >= 24521453 @ 0.614707
1.09/1.13 c bounds - >= 24521574 @ 0.619553
1.09/1.13 c bounds - >= 24521658 @ 0.624126
1.09/1.13 c bounds - >= 24521662 @ 0.632788
1.09/1.13 c bounds - >= 24521681 @ 0.635981
1.09/1.13 c bounds - >= 24521710 @ 0.641615
1.09/1.13 c bounds - >= 24521720 @ 0.644663
1.09/1.13 c bounds - >= 24521732 @ 0.64765
1.09/1.13 c bounds - >= 24521771 @ 0.650011
1.09/1.13 c bounds - >= 24521786 @ 0.654757
1.09/1.13 c bounds - >= 24522128 @ 0.66048
1.09/1.13 c bounds - >= 24522156 @ 0.668178
1.09/1.13 c bounds - >= 24522439 @ 0.670283
1.09/1.13 c bounds - >= 24522571 @ 0.681097
1.09/1.13 c bounds - >= 24522594 @ 0.689919
1.09/1.13 c bounds - >= 24522676 @ 0.693419
1.09/1.13 c bounds - >= 24522704 @ 0.695686
1.09/1.13 c bounds - >= 24522777 @ 0.700295
1.09/1.13 c bounds - >= 24522828 @ 0.703054
1.09/1.13 c bounds - >= 24522870 @ 0.706599
1.09/1.13 c bounds - >= 24522872 @ 0.710751
1.09/1.13 c bounds - >= 24522881 @ 0.718035
1.09/1.13 c bounds - >= 24522898 @ 0.723834
1.09/1.13 c bounds - >= 24522923 @ 0.72848
1.09/1.13 c bounds - >= 24522943 @ 0.732109
1.09/1.13 c bounds - >= 24522952 @ 0.737069
1.09/1.13 c bounds - >= 24522995 @ 0.743667
1.09/1.13 c bounds - >= 24523010 @ 0.748915
1.09/1.13 c bounds - >= 24523026 @ 0.760269
1.09/1.13 c bounds - >= 24523032 @ 0.765047
1.09/1.13 c bounds - >= 24523034 @ 0.771524
1.09/1.13 c bounds - >= 24523132 @ 0.780486
1.09/1.13 c bounds - >= 24523152 @ 0.794515
28.50/28.69 c bounds - >= 24523158 @ 0.804829
28.50/28.69 c bounds - >= 24523209 @ 0.812493
28.50/28.69 c bounds - >= 24523211 @ 0.817698
28.50/28.69 c bounds - >= 24523274 @ 0.825115
28.50/28.69 c bounds - >= 24523571 @ 0.83045
28.50/28.69 c bounds - >= 24523627 @ 0.837902
28.50/28.69 c bounds - >= 24523668 @ 0.850631
28.50/28.69 c bounds - >= 24523669 @ 0.867727
28.50/28.69 c bounds - >= 24523688 @ 0.881984
28.50/28.69 c bounds - >= 24523833 @ 0.888947
28.50/28.69 c bounds - >= 24523857 @ 0.897346
28.50/28.69 c bounds - >= 24523889 @ 0.903389
28.50/28.69 c bounds - >= 24523954 @ 0.90859
28.50/28.69 c bounds - >= 24523968 @ 0.911759
28.50/28.69 c bounds - >= 24524016 @ 0.922294
28.50/28.69 c bounds - >= 24524025 @ 0.928105
28.50/28.69 c bounds - >= 24524163 @ 0.932204
28.50/28.69 c bounds - >= 24524214 @ 0.935921
28.50/28.69 c bounds - >= 24524246 @ 0.940163
28.50/28.69 c bounds - >= 24524261 @ 0.968617
28.50/28.69 c #Conflicts: 1000 | #Constraints: 5217
28.50/28.69 c bounds - >= 24524270 @ 0.980791
28.50/28.69 c bounds - >= 24524286 @ 0.98739
28.50/28.69 c bounds - >= 24524368 @ 0.990067
28.50/28.69 c bounds - >= 24524419 @ 1.0012
28.50/28.69 c bounds - >= 24524424 @ 1.01086
28.50/28.69 c bounds - >= 24524488 @ 1.01675
28.50/28.69 c bounds - >= 24524490 @ 1.03683
28.50/28.69 c bounds - >= 24524497 @ 1.04518
28.50/28.69 c bounds - >= 24524499 @ 1.05238
28.50/28.69 c bounds - >= 24524534 @ 1.0573
28.50/28.69 c bounds - >= 24524547 @ 1.06139
28.50/28.69 c bounds - >= 24524615 @ 1.06274
28.50/28.69 c bounds - >= 24524620 @ 1.07081
28.50/28.69 c bounds - >= 24524652 @ 1.07648
28.50/28.69 c bounds - >= 24524654 @ 1.10012
28.50/28.69 c bounds - >= 24524713 @ 1.14384
28.50/28.69 c bounds - >= 24524849 @ 1.15004
28.50/28.69 c bounds - >= 24524852 @ 1.36401
28.50/28.69 c bounds - >= 24524874 @ 1.47728
28.50/28.69 c bounds - >= 24524891 @ 1.54371
28.50/28.69 c bounds - >= 24525015 @ 1.5481
28.50/28.69 c bounds - >= 24525089 @ 1.56864
28.50/28.69 c #Conflicts: 2000 | #Constraints: 6243
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c bounds - >= 24525158 @ 1.62453
28.50/28.69 c bounds - >= 24525236 @ 1.64156
28.50/28.69 c bounds - >= 24525250 @ 1.65122
28.50/28.69 c bounds - >= 24525277 @ 1.66802
28.50/28.69 c bounds - >= 24525296 @ 1.67668
28.50/28.69 c bounds - >= 24525301 @ 1.72596
28.50/28.69 c bounds - >= 24525311 @ 1.74667
28.50/28.69 c bounds - >= 24525386 @ 1.76712
28.50/28.69 c bounds - >= 24525419 @ 1.80467
28.50/28.69 c bounds - >= 24525441 @ 1.82518
28.50/28.69 c bounds - >= 24525495 @ 1.83593
28.50/28.69 c #Conflicts: 3000 | #Constraints: 4284
28.50/28.69 c bounds - >= 24525503 @ 2.21253
28.50/28.69 c bounds - >= 24525513 @ 2.39793
28.50/28.69 c bounds - >= 24525561 @ 2.44972
28.50/28.69 c #Conflicts: 4000 | #Constraints: 5287
28.50/28.69 c bounds - >= 24525562 @ 3.12198
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c bounds - >= 24525568 @ 3.42261
28.50/28.69 c #Conflicts: 5000 | #Constraints: 4603
28.50/28.69 c bounds - >= 24525603 @ 3.83743
28.50/28.69 c bounds - >= 24525617 @ 4.71114
28.50/28.69 c #Conflicts: 6000 | #Constraints: 5605
28.50/28.69 c bounds - >= 24525635 @ 5.32267
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c #Conflicts: 7000 | #Constraints: 4566
28.50/28.69 c bounds - >= 24525697 @ 6.34911
28.50/28.69 c bounds - >= 24525709 @ 6.72942
28.50/28.69 c bounds - >= 24525718 @ 7.00372
28.50/28.69 c bounds - >= 24525724 @ 7.01272
28.50/28.69 c bounds - >= 24525726 @ 7.05557
28.50/28.69 c bounds - >= 24525737 @ 7.27748
28.50/28.69 c #Conflicts: 8000 | #Constraints: 5573
28.50/28.69 c #Conflicts: 9000 | #Constraints: 6573
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c bounds - >= 24525756 @ 9.96443
28.50/28.69 c bounds - >= 24525759 @ 9.97161
28.50/28.69 c bounds - >= 24525760 @ 10.0992
28.50/28.69 c bounds - >= 24525777 @ 10.1083
28.50/28.69 c #Conflicts: 10000 | #Constraints: 5260
28.50/28.69 c bounds - >= 24525779 @ 11.39
28.50/28.69 c #Conflicts: 11000 | #Constraints: 6261
28.50/28.69 c bounds - >= 24525819 @ 12.0622
28.50/28.69 c #Conflicts: 12000 | #Constraints: 7262
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c #Conflicts: 13000 | #Constraints: 5700
28.50/28.69 c bounds - >= 24525831 @ 16.0541
28.50/28.69 c #Conflicts: 14000 | #Constraints: 6701
28.50/28.69 c #Conflicts: 15000 | #Constraints: 7701
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c #Conflicts: 16000 | #Constraints: 5923
28.50/28.69 c bounds - >= 24525838 @ 22.2088
28.50/28.69 c #Conflicts: 17000 | #Constraints: 6924
28.50/28.69 c bounds - >= 24525855 @ 23.5789
28.50/28.69 c bounds - >= 24525899 @ 24.2946
28.50/28.69 c bounds - >= 24525910 @ 24.4607
28.50/28.69 c bounds - >= 24526026 @ 24.5585
28.50/28.69 c bounds - >= 24526028 @ 24.5827
28.50/28.69 c bounds - >= 24526086 @ 24.5977
28.50/28.69 c bounds - >= 24526133 @ 24.6157
28.50/28.69 c bounds - >= 24526135 @ 24.6402
28.50/28.69 c bounds - >= 24552510 @ 24.6541
28.50/28.69 c bounds - >= 24552512 @ 24.8606
28.50/28.69 c #Conflicts: 18000 | #Constraints: 7934
28.50/28.69 c bounds - >= 24552517 @ 25.1598
28.50/28.69 c INPROCESSING
28.50/28.69 c GARBAGE COLLECT
28.50/28.69 c bounds - >= 24552521 @ 25.4519
28.50/28.69 c bounds - >= 24552523 @ 25.7178
28.50/28.69 c #Conflicts: 19000 | #Constraints: 5925
153.79/154.35 c #Conflicts: 20000 | #Constraints: 6925
153.79/154.35 c #Conflicts: 21000 | #Constraints: 7925
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 22000 | #Constraints: 5722
153.79/154.35 c #Conflicts: 23000 | #Constraints: 6722
153.79/154.35 c bounds - >= 24552533 @ 37.1286
153.79/154.35 c bounds - >= 24552540 @ 37.7162
153.79/154.35 c #Conflicts: 24000 | #Constraints: 7724
153.79/154.35 c #Conflicts: 25000 | #Constraints: 8724
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 26000 | #Constraints: 6323
153.79/154.35 c #Conflicts: 27000 | #Constraints: 7323
153.79/154.35 c bounds - >= 24552541 @ 51.7696
153.79/154.35 c #Conflicts: 28000 | #Constraints: 8324
153.79/154.35 c #Conflicts: 29000 | #Constraints: 9324
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 30000 | #Constraints: 6720
153.79/154.35 c #Conflicts: 31000 | #Constraints: 7720
153.79/154.35 c #Conflicts: 32000 | #Constraints: 8720
153.79/154.35 c bounds - >= 24552547 @ 69.1512
153.79/154.35 c #Conflicts: 33000 | #Constraints: 9721
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 34000 | #Constraints: 6920
153.79/154.35 c #Conflicts: 35000 | #Constraints: 7920
153.79/154.35 c #Conflicts: 36000 | #Constraints: 8920
153.79/154.35 c #Conflicts: 37000 | #Constraints: 9920
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 38000 | #Constraints: 6922
153.79/154.35 c #Conflicts: 39000 | #Constraints: 7922
153.79/154.35 c #Conflicts: 40000 | #Constraints: 8922
153.79/154.35 c #Conflicts: 41000 | #Constraints: 9922
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 42000 | #Constraints: 6730
153.79/154.35 c #Conflicts: 43000 | #Constraints: 7730
153.79/154.35 c bounds - >= 24552551 @ 96.9321
153.79/154.35 c #Conflicts: 44000 | #Constraints: 8731
153.79/154.35 c #Conflicts: 45000 | #Constraints: 9731
153.79/154.35 c bounds - >= 24552564 @ 102.543
153.79/154.35 c #Conflicts: 46000 | #Constraints: 10732
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c bounds - >= 24552569 @ 105.138
153.79/154.35 c #Conflicts: 47000 | #Constraints: 7335
153.79/154.35 c #Conflicts: 48000 | #Constraints: 8335
153.79/154.35 c bounds - >= 24552574 @ 109.217
153.79/154.35 c #Conflicts: 49000 | #Constraints: 9336
153.79/154.35 c bounds - >= 24552588 @ 110.951
153.79/154.35 c #Conflicts: 50000 | #Constraints: 10337
153.79/154.35 c bounds - >= 24552621 @ 111.863
153.79/154.35 c bounds - >= 24552624 @ 113.783
153.79/154.35 c #Conflicts: 51000 | #Constraints: 11339
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 52000 | #Constraints: 7733
153.79/154.35 c bounds - >= 24552649 @ 117.364
153.79/154.35 c #Conflicts: 53000 | #Constraints: 8734
153.79/154.35 c bounds - >= 24552663 @ 119.046
153.79/154.35 c bounds - >= 24552670 @ 119.28
153.79/154.35 c bounds - >= 24552671 @ 119.456
153.79/154.35 c #Conflicts: 54000 | #Constraints: 9737
153.79/154.35 c bounds - >= 24552674 @ 120.659
153.79/154.35 c bounds - >= 24552719 @ 121.22
153.79/154.35 c bounds - >= 24552764 @ 121.274
153.79/154.35 c #Conflicts: 55000 | #Constraints: 10740
153.79/154.35 c bounds - >= 24552822 @ 121.843
153.79/154.35 c bounds - >= 24552841 @ 122.147
153.79/154.35 c bounds - >= 24552892 @ 122.485
153.79/154.35 c bounds - >= 24553008 @ 122.73
153.79/154.35 c bounds - >= 24553039 @ 123.024
153.79/154.35 c bounds - >= 24553068 @ 123.185
153.79/154.35 c #Conflicts: 56000 | #Constraints: 11746
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 57000 | #Constraints: 7934
153.79/154.35 c #Conflicts: 58000 | #Constraints: 8934
153.79/154.35 c bounds - >= 24553142 @ 128.478
153.79/154.35 c #Conflicts: 59000 | #Constraints: 9935
153.79/154.35 c #Conflicts: 60000 | #Constraints: 10935
153.79/154.35 c bounds - >= 24553172 @ 132.003
153.79/154.35 c bounds - >= 24553183 @ 133.709
153.79/154.35 c #Conflicts: 61000 | #Constraints: 11937
153.79/154.35 c bounds - >= 24553289 @ 134.36
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c bounds - >= 24553306 @ 135.022
153.79/154.35 c #Conflicts: 62000 | #Constraints: 7936
153.79/154.35 c #Conflicts: 63000 | #Constraints: 8936
153.79/154.35 c bounds - >= 24553363 @ 138.627
153.79/154.35 c #Conflicts: 64000 | #Constraints: 9937
153.79/154.35 c bounds - >= 24553497 @ 141.3
153.79/154.35 c #Conflicts: 65000 | #Constraints: 10938
153.79/154.35 c bounds - >= 24553549 @ 142.849
153.79/154.35 c #Conflicts: 66000 | #Constraints: 11939
153.79/154.35 c bounds - >= 24553636 @ 144.236
153.79/154.35 c bounds - >= 24553647 @ 145.017
153.79/154.35 c INPROCESSING
153.79/154.35 c GARBAGE COLLECT
153.79/154.35 c #Conflicts: 67000 | #Constraints: 7734
153.79/154.35 c bounds - >= 24553764 @ 147.093
153.79/154.35 c #Conflicts: 68000 | #Constraints: 8735
215.70/216.43 c bounds - >= 24553800 @ 149.501
215.70/216.43 c #Conflicts: 69000 | #Constraints: 9736
215.70/216.43 c bounds - >= 24553843 @ 150.769
215.70/216.43 c bounds - >= 24553908 @ 151.352
215.70/216.43 c #Conflicts: 70000 | #Constraints: 10738
215.70/216.43 c #Conflicts: 71000 | #Constraints: 11738
215.70/216.43 c #Conflicts: 72000 | #Constraints: 12738
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 73000 | #Constraints: 8333
215.70/216.43 c #Conflicts: 74000 | #Constraints: 9333
215.70/216.43 c #Conflicts: 75000 | #Constraints: 10333
215.70/216.43 c bounds - >= 24553918 @ 161.606
215.70/216.43 c #Conflicts: 76000 | #Constraints: 11334
215.70/216.43 c #Conflicts: 77000 | #Constraints: 12334
215.70/216.43 c #Conflicts: 78000 | #Constraints: 13334
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 79000 | #Constraints: 8740
215.70/216.43 c #Conflicts: 80000 | #Constraints: 9740
215.70/216.43 c bounds - >= 24553985 @ 170.673
215.70/216.43 c #Conflicts: 81000 | #Constraints: 10741
215.70/216.43 c #Conflicts: 82000 | #Constraints: 11741
215.70/216.43 c #Conflicts: 83000 | #Constraints: 12741
215.70/216.43 c #Conflicts: 84000 | #Constraints: 13741
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 85000 | #Constraints: 8942
215.70/216.43 c #Conflicts: 86000 | #Constraints: 9942
215.70/216.43 c #Conflicts: 87000 | #Constraints: 10942
215.70/216.43 c bounds - >= 24554061 @ 178.642
215.70/216.43 c #Conflicts: 88000 | #Constraints: 11943
215.70/216.43 c #Conflicts: 89000 | #Constraints: 12943
215.70/216.43 c bounds - >= 24554304 @ 180.31
215.70/216.43 c #Conflicts: 90000 | #Constraints: 13944
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 91000 | #Constraints: 8938
215.70/216.43 c #Conflicts: 92000 | #Constraints: 9938
215.70/216.43 c #Conflicts: 93000 | #Constraints: 10938
215.70/216.43 c bounds - >= 24554432 @ 184.44
215.70/216.43 c #Conflicts: 94000 | #Constraints: 11939
215.70/216.43 c #Conflicts: 95000 | #Constraints: 12939
215.70/216.43 c bounds - >= 24554547 @ 185.922
215.70/216.43 c #Conflicts: 96000 | #Constraints: 13940
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 97000 | #Constraints: 8741
215.70/216.43 c #Conflicts: 98000 | #Constraints: 9741
215.70/216.43 c #Conflicts: 99000 | #Constraints: 10741
215.70/216.43 c bounds - >= 24554736 @ 189.899
215.70/216.43 c #Conflicts: 100000 | #Constraints: 11742
215.70/216.43 c #Conflicts: 101000 | #Constraints: 12742
215.70/216.43 c bounds - >= 24554754 @ 192.935
215.70/216.43 c #Conflicts: 102000 | #Constraints: 13743
215.70/216.43 c #Conflicts: 103000 | #Constraints: 14743
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 104000 | #Constraints: 9343
215.70/216.43 c #Conflicts: 105000 | #Constraints: 10343
215.70/216.43 c #Conflicts: 106000 | #Constraints: 11343
215.70/216.43 c bounds - >= 24555723 @ 197.771
215.70/216.43 c bounds - >= 24555777 @ 198.031
215.70/216.43 c #Conflicts: 107000 | #Constraints: 12345
215.70/216.43 c #Conflicts: 108000 | #Constraints: 13345
215.70/216.43 c bounds - >= 24556092 @ 200.567
215.70/216.43 c #Conflicts: 109000 | #Constraints: 14346
215.70/216.43 c #Conflicts: 110000 | #Constraints: 15346
215.70/216.43 c INPROCESSING
215.70/216.43 c GARBAGE COLLECT
215.70/216.43 c #Conflicts: 111000 | #Constraints: 9744
215.70/216.43 c bounds - >= 24556151 @ 203.104
215.70/216.43 c #Conflicts: 112000 | #Constraints: 10745
215.70/216.43 c bounds - >= 24558924 @ 204.773
215.70/216.43 c #Conflicts: 113000 | #Constraints: 11746
215.70/216.43 c #Conflicts: 114000 | #Constraints: 12746
215.70/216.43 c bounds - >= 24559332 @ 206.888
215.70/216.43 c bounds - >= 24559337 @ 206.917
215.70/216.43 c bounds - >= 24559338 @ 206.921
215.70/216.43 c bounds - >= 24559341 @ 206.928
215.70/216.43 c bounds - >= 24559440 @ 206.939
215.70/216.43 c bounds - >= 24559449 @ 206.948
215.70/216.43 c bounds - >= 24559456 @ 206.954
215.70/216.43 c bounds - >= 24559482 @ 206.963
215.70/216.43 c bounds - >= 24559486 @ 206.976
215.70/216.43 c bounds - >= 24559521 @ 206.987
215.70/216.43 c bounds - >= 24559528 @ 207.011
215.70/216.43 c bounds - >= 24559585 @ 207.015
215.70/216.43 c bounds - >= 24559602 @ 207.04
215.70/216.43 c bounds - >= 24559677 @ 207.073
215.70/216.43 c bounds - >= 24559761 @ 207.092
215.70/216.43 c bounds - >= 24559765 @ 207.147
215.70/216.43 c bounds - >= 24559825 @ 207.152
215.70/216.43 c bounds - >= 24559850 @ 207.19
215.70/216.43 c bounds - >= 24559872 @ 207.201
215.70/216.43 c bounds - >= 24559959 @ 207.235
215.70/216.43 c #Conflicts: 115000 | #Constraints: 13770
215.70/216.43 c bounds - >= 24560040 @ 207.261
215.70/216.43 c bounds - >= 24560328 @ 207.282
215.70/216.43 c bounds - >= 24560333 @ 207.309
215.70/216.43 c bounds - >= 24560346 @ 207.323
215.70/216.43 c bounds - >= 24560482 @ 207.369
215.70/216.43 c bounds - >= 24560522 @ 207.4
215.70/216.43 c bounds - >= 24560604 @ 207.432
430.62/432.10 c bounds - >= 24560773 @ 207.464
430.62/432.10 c bounds - >= 24560777 @ 207.527
430.62/432.10 c bounds - >= 24560801 @ 207.596
430.62/432.10 c bounds - >= 24560853 @ 207.612
430.62/432.10 c bounds - >= 24560971 @ 207.624
430.62/432.10 c bounds - >= 24560987 @ 207.663
430.62/432.10 c bounds - >= 24560999 @ 207.693
430.62/432.10 c bounds - >= 24561100 @ 207.725
430.62/432.10 c bounds - >= 24561104 @ 207.848
430.62/432.10 c bounds - >= 24561113 @ 207.953
430.62/432.10 c bounds - >= 24561158 @ 208.053
430.62/432.10 c bounds - >= 24561160 @ 208.171
430.62/432.10 c bounds - >= 24561176 @ 208.219
430.62/432.10 c bounds - >= 24561191 @ 208.273
430.62/432.10 c bounds - >= 24561196 @ 208.363
430.62/432.10 c bounds - >= 24561394 @ 208.449
430.62/432.10 c bounds - >= 24561399 @ 208.453
430.62/432.10 c bounds - >= 24561417 @ 208.46
430.62/432.10 c bounds - >= 24561436 @ 208.47
430.62/432.10 c bounds - >= 24561454 @ 208.477
430.62/432.10 c bounds - >= 24561511 @ 208.489
430.62/432.10 c bounds - >= 24561516 @ 208.502
430.62/432.10 c bounds - >= 24561582 @ 208.51
430.62/432.10 c bounds - >= 24561583 @ 208.52
430.62/432.10 c bounds - >= 24561594 @ 208.547
430.62/432.10 c bounds - >= 24561662 @ 208.565
430.62/432.10 c bounds - >= 24561668 @ 208.584
430.62/432.10 c bounds - >= 24561701 @ 208.592
430.62/432.10 c bounds - >= 24561710 @ 208.623
430.62/432.10 c bounds - >= 24561748 @ 208.645
430.62/432.10 c bounds - >= 24561750 @ 208.676
430.62/432.10 c bounds - >= 24561757 @ 208.735
430.62/432.10 c bounds - >= 24561760 @ 208.962
430.62/432.10 c bounds - >= 24561781 @ 209.024
430.62/432.10 c #Conflicts: 116000 | #Constraints: 14816
430.62/432.10 c bounds - >= 24561822 @ 209.238
430.62/432.10 c bounds - >= 24561831 @ 209.458
430.62/432.10 c bounds - >= 24561843 @ 209.588
430.62/432.10 c bounds - >= 24561864 @ 209.624
430.62/432.10 c bounds - >= 24561868 @ 209.785
430.62/432.10 c bounds - >= 24561924 @ 209.888
430.62/432.10 c bounds - >= 24561933 @ 210.796
430.62/432.10 c bounds - >= 24561934 @ 211.293
430.62/432.10 c bounds - >= 24561974 @ 211.35
430.62/432.10 c bounds - >= 24561977 @ 211.371
430.62/432.10 c #Conflicts: 117000 | #Constraints: 15827
430.62/432.10 c INPROCESSING
430.62/432.10 c GARBAGE COLLECT
430.62/432.10 c bounds - >= 24561982 @ 213.109
430.62/432.10 c #Conflicts: 118000 | #Constraints: 9945
430.62/432.10 c #Conflicts: 119000 | #Constraints: 10945
430.62/432.10 c bounds - >= 24562000 @ 219.888
430.62/432.10 c #Conflicts: 120000 | #Constraints: 11946
430.62/432.10 c bounds - >= 24562003 @ 228.337
430.62/432.10 c bounds - >= 24562006 @ 228.816
430.62/432.10 c #Conflicts: 121000 | #Constraints: 12948
430.62/432.10 c #Conflicts: 122000 | #Constraints: 13948
430.62/432.10 c bounds - >= 24562012 @ 247.859
430.62/432.10 c bounds - >= 24562014 @ 248.52
430.62/432.10 c bounds - >= 24562035 @ 263.771
430.62/432.10 c #Conflicts: 123000 | #Constraints: 14951
430.62/432.10 c bounds - >= 24562040 @ 294.204
430.62/432.10 c #Conflicts: 124000 | #Constraints: 15952
430.62/432.10 c INPROCESSING
430.62/432.10 c GARBAGE COLLECT
430.62/432.10 c bounds - >= 24562061 @ 300.914
430.62/432.10 c bounds - >= 24562074 @ 301.229
430.62/432.10 c bounds - >= 24562105 @ 301.801
430.62/432.10 c bounds - >= 24562125 @ 302.854
430.62/432.10 c bounds - >= 24562147 @ 302.874
430.62/432.10 c bounds - >= 24562155 @ 302.894
430.62/432.10 c #Conflicts: 125000 | #Constraints: 9956
430.62/432.10 c bounds - >= 24562182 @ 310.468
430.62/432.10 c #Conflicts: 126000 | #Constraints: 10957
430.62/432.10 c bounds - >= 24562228 @ 320.546
430.62/432.10 c #Conflicts: 127000 | #Constraints: 11958
430.62/432.10 c bounds - >= 24562263 @ 330.974
430.62/432.10 c #Conflicts: 128000 | #Constraints: 12959
430.62/432.10 c bounds - >= 24562268 @ 337.743
430.62/432.10 c bounds - >= 24562282 @ 340.332
430.62/432.10 c bounds - >= 24562359 @ 341.502
430.62/432.10 c bounds - >= 24562397 @ 346.056
430.62/432.10 c bounds - >= 24562415 @ 349.131
430.62/432.10 c #Conflicts: 129000 | #Constraints: 13964
430.62/432.10 c bounds - >= 24562451 @ 350.734
430.62/432.10 c bounds - >= 24562468 @ 351.709
430.62/432.10 c bounds - >= 24562474 @ 353.923
430.62/432.10 c bounds - >= 24562478 @ 353.985
430.62/432.10 c bounds - >= 24562495 @ 356.835
430.62/432.10 c #Conflicts: 130000 | #Constraints: 14971
430.62/432.10 c bounds - >= 24562500 @ 365.489
430.62/432.10 c bounds - >= 24562504 @ 367.835
430.62/432.10 c #Conflicts: 131000 | #Constraints: 15973
430.62/432.10 c INPROCESSING
430.62/432.10 c GARBAGE COLLECT
430.62/432.10 c #Conflicts: 132000 | #Constraints: 9756
430.62/432.10 c #Conflicts: 133000 | #Constraints: 10756
430.62/432.10 c bounds - >= 24562505 @ 387.609
430.62/432.10 c #Conflicts: 134000 | #Constraints: 11757
430.62/432.10 c bounds - >= 24562513 @ 391.361
430.62/432.10 c bounds - >= 24562547 @ 392.045
430.62/432.10 c bounds - >= 24562554 @ 392.409
430.62/432.10 c bounds - >= 24562557 @ 392.589
430.62/432.10 c bounds - >= 24562604 @ 394.863
430.62/432.10 c #Conflicts: 135000 | #Constraints: 12762
430.62/432.10 c bounds - >= 24562615 @ 399.394
430.62/432.10 c bounds - >= 24562685 @ 400.161
430.62/432.10 c #Conflicts: 136000 | #Constraints: 13764
430.62/432.10 c bounds - >= 24562713 @ 402.922
430.62/432.10 c bounds - >= 24562729 @ 404.602
430.62/432.10 c bounds - >= 24562773 @ 404.644
430.62/432.10 c bounds - >= 24562795 @ 405.733
430.62/432.10 c #Conflicts: 137000 | #Constraints: 14770
430.62/432.10 c bounds - >= 24562808 @ 416.496
430.62/432.10 c #Conflicts: 138000 | #Constraints: 15771
563.39/565.24 c bounds - >= 24562811 @ 421.024
563.39/565.24 c #Conflicts: 139000 | #Constraints: 16772
563.39/565.24 c INPROCESSING
563.39/565.24 c GARBAGE COLLECT
563.39/565.24 c #Conflicts: 140000 | #Constraints: 10352
563.39/565.24 c bounds - >= 24562826 @ 433.772
563.39/565.24 c #Conflicts: 141000 | #Constraints: 11353
563.39/565.24 c #Conflicts: 142000 | #Constraints: 12353
563.39/565.24 c bounds - >= 24562844 @ 446.185
563.39/565.24 c #Conflicts: 143000 | #Constraints: 13354
563.39/565.24 c #Conflicts: 144000 | #Constraints: 14354
563.39/565.24 c bounds - >= 24562851 @ 457.302
563.39/565.24 c #Conflicts: 145000 | #Constraints: 15355
563.39/565.24 c #Conflicts: 146000 | #Constraints: 16355
563.39/565.24 c #Conflicts: 147000 | #Constraints: 17355
563.39/565.24 c INPROCESSING
563.39/565.24 c GARBAGE COLLECT
563.39/565.24 c bounds - >= 24562918 @ 474.238
563.39/565.24 c #Conflicts: 148000 | #Constraints: 10760
563.39/565.24 c #Conflicts: 149000 | #Constraints: 11760
563.39/565.24 c bounds - >= 24562935 @ 483.518
563.39/565.24 c #Conflicts: 150000 | #Constraints: 12761
563.39/565.24 c bounds - >= 24562958 @ 493.542
563.39/565.24 c #Conflicts: 151000 | #Constraints: 13762
563.39/565.24 c bounds - >= 24562985 @ 498.908
563.39/565.24 c #Conflicts: 152000 | #Constraints: 14763
563.39/565.24 c bounds - >= 24562989 @ 504.985
563.39/565.24 c bounds - >= 24563013 @ 505.027
563.39/565.24 c #Conflicts: 153000 | #Constraints: 15766
563.39/565.24 c bounds - >= 24563054 @ 509.469
563.39/565.24 c bounds - >= 24563079 @ 511.943
563.39/565.24 c #Conflicts: 154000 | #Constraints: 16768
563.39/565.24 c bounds - >= 24563104 @ 525.641
563.39/565.24 c #Conflicts: 155000 | #Constraints: 17769
563.39/565.24 c INPROCESSING
563.39/565.24 c GARBAGE COLLECT
563.39/565.24 c #Conflicts: 156000 | #Constraints: 10954
563.39/565.24 c bounds - >= 24563109 @ 534.458
563.39/565.24 c bounds - >= 24563111 @ 536.432
563.39/565.24 c bounds - >= 24563116 @ 537.675
563.39/565.24 c bounds - >= 24563176 @ 538.354
563.39/565.24 c bounds - >= 24563187 @ 538.877
563.39/565.24 c #Conflicts: 157000 | #Constraints: 11959
563.39/565.24 c bounds - >= 24563192 @ 539.714
563.39/565.24 c bounds - >= 24563232 @ 539.836
563.39/565.24 c bounds - >= 24563367 @ 539.889
563.39/565.24 c bounds - >= 24563385 @ 539.945
563.39/565.24 c bounds - >= 24563394 @ 540.003
563.39/565.24 c bounds - >= 24563454 @ 540.046
563.39/565.24 c bounds - >= 24563482 @ 540.087
563.39/565.24 c bounds - >= 24563508 @ 540.181
563.39/565.24 c bounds - >= 24563544 @ 540.271
563.39/565.24 c bounds - >= 24563577 @ 540.342
563.39/565.24 c bounds - >= 24563612 @ 540.416
563.39/565.24 c bounds - >= 24563616 @ 540.473
563.39/565.24 c bounds - >= 24563666 @ 540.521
563.39/565.24 c bounds - >= 24563672 @ 540.567
563.39/565.24 c bounds - >= 24563679 @ 540.617
563.39/565.24 c bounds - >= 24563680 @ 540.667
563.39/565.24 c bounds - >= 24563691 @ 540.707
563.39/565.24 c bounds - >= 24563696 @ 540.746
563.39/565.24 c bounds - >= 24563698 @ 540.78
563.39/565.24 c bounds - >= 24563739 @ 540.915
563.39/565.24 c bounds - >= 24563758 @ 540.945
563.39/565.24 c bounds - >= 24563781 @ 540.997
563.39/565.24 c bounds - >= 24563815 @ 541.048
563.39/565.24 c bounds - >= 24563826 @ 541.1
563.39/565.24 c bounds - >= 24563835 @ 541.669
563.39/565.24 c bounds - >= 24563840 @ 541.745
563.39/565.24 c bounds - >= 24563881 @ 541.816
563.39/565.24 c bounds - >= 24563890 @ 542.132
563.39/565.24 c bounds - >= 24563904 @ 542.224
563.39/565.24 c bounds - >= 24563907 @ 542.273
563.39/565.24 c bounds - >= 24563931 @ 542.324
563.39/565.24 c bounds - >= 24563982 @ 542.362
563.39/565.24 c bounds - >= 24563995 @ 542.402
563.39/565.24 c bounds - >= 24564000 @ 542.438
563.39/565.24 c bounds - >= 24564033 @ 542.531
563.39/565.24 c bounds - >= 24564084 @ 542.565
563.39/565.24 c bounds - >= 24564128 @ 542.601
563.39/565.24 c bounds - >= 24564189 @ 542.641
563.39/565.24 c bounds - >= 24564192 @ 542.768
563.39/565.24 c bounds - >= 24564194 @ 542.849
563.39/565.24 c bounds - >= 24564199 @ 542.912
563.39/565.24 c bounds - >= 24564205 @ 542.964
563.39/565.24 c bounds - >= 24564298 @ 543.028
563.39/565.24 c bounds - >= 24564314 @ 543.072
563.39/565.24 c bounds - >= 24564324 @ 543.112
563.39/565.24 c bounds - >= 24564337 @ 543.144
563.39/565.24 c bounds - >= 24564360 @ 543.175
563.39/565.24 c #Conflicts: 158000 | #Constraints: 13007
563.39/565.24 c bounds - >= 24564401 @ 545.347
563.39/565.24 c bounds - >= 24564439 @ 546.188
563.39/565.24 c bounds - >= 24564452 @ 546.609
563.39/565.24 c bounds - >= 24564476 @ 546.715
563.39/565.24 c bounds - >= 24564508 @ 546.8
563.39/565.24 c bounds - >= 24564579 @ 546.864
563.39/565.24 c bounds - >= 24564626 @ 546.93
563.39/565.24 c bounds - >= 24564668 @ 547.391
563.39/565.24 c bounds - >= 24564676 @ 547.632
563.39/565.24 c bounds - >= 24564689 @ 547.744
563.39/565.24 c bounds - >= 24564735 @ 547.8
563.39/565.24 c bounds - >= 24564793 @ 548.033
563.39/565.24 c bounds - >= 24564816 @ 548.058
563.39/565.24 c #Conflicts: 159000 | #Constraints: 14022
563.39/565.24 c bounds - >= 24564827 @ 548.147
563.39/565.24 c bounds - >= 24564835 @ 548.22
563.39/565.24 c bounds - >= 24564859 @ 548.354
563.39/565.24 c bounds - >= 24564868 @ 548.453
563.39/565.24 c bounds - >= 24564887 @ 548.515
563.39/565.24 c bounds - >= 24564892 @ 548.539
563.39/565.24 c bounds - >= 24564916 @ 548.603
563.39/565.24 c bounds - >= 24564944 @ 548.653
563.39/565.24 c bounds - >= 24565111 @ 548.858
563.39/565.24 c bounds - >= 24565148 @ 548.921
748.99/751.40 c bounds - >= 24565196 @ 548.986
748.99/751.40 c bounds - >= 24565250 @ 549.032
748.99/751.40 c bounds - >= 24565417 @ 549.071
748.99/751.40 c bounds - >= 24565423 @ 549.109
748.99/751.40 c bounds - >= 24565452 @ 549.145
748.99/751.40 c bounds - >= 24565494 @ 549.184
748.99/751.40 c bounds - >= 24565535 @ 549.22
748.99/751.40 c bounds - >= 24565594 @ 549.252
748.99/751.40 c bounds - >= 24565683 @ 549.287
748.99/751.40 c bounds - >= 24565685 @ 549.316
748.99/751.40 c bounds - >= 24565698 @ 549.345
748.99/751.40 c bounds - >= 24565955 @ 549.372
748.99/751.40 c bounds - >= 24566254 @ 549.402
748.99/751.40 c bounds - >= 24566359 @ 549.428
748.99/751.40 c bounds - >= 24566661 @ 549.457
748.99/751.40 c bounds - >= 24569137 @ 549.491
748.99/751.40 c bounds - >= 24588921 @ 549.519
748.99/751.40 c bounds - >= 24589101 @ 549.544
748.99/751.40 c bounds - >= 24591191 @ 549.57
748.99/751.40 c bounds - >= 24591405 @ 549.597
748.99/751.40 c bounds - >= 24591904 @ 549.627
748.99/751.40 c bounds - >= 24597176 @ 549.653
748.99/751.40 c bounds - >= 24597179 @ 549.688
748.99/751.40 c bounds - >= 24597180 @ 549.712
748.99/751.40 c bounds - >= 24597182 @ 549.747
748.99/751.40 c bounds - >= 24597196 @ 549.793
748.99/751.40 c bounds - >= 24597236 @ 549.844
748.99/751.40 c bounds - >= 24597340 @ 549.853
748.99/751.40 c bounds - >= 24597453 @ 549.924
748.99/751.40 c bounds - >= 24597558 @ 550.287
748.99/751.40 c bounds - >= 24597653 @ 550.322
748.99/751.40 c bounds - >= 24597662 @ 550.491
748.99/751.40 c #Conflicts: 160000 | #Constraints: 15067
748.99/751.40 c bounds - >= 24597664 @ 550.662
748.99/751.40 c bounds - >= 24597671 @ 550.757
748.99/751.40 c bounds - >= 24597677 @ 551.328
748.99/751.40 c bounds - >= 24597716 @ 551.716
748.99/751.40 c bounds - >= 24597721 @ 552.359
748.99/751.40 c bounds - >= 24597736 @ 552.48
748.99/751.40 c bounds - >= 24597742 @ 552.547
748.99/751.40 c bounds - >= 24597801 @ 552.584
748.99/751.40 c bounds - >= 24597815 @ 553.382
748.99/751.40 c bounds - >= 24597827 @ 553.5
748.99/751.40 c bounds - >= 24597832 @ 553.798
748.99/751.40 c #Conflicts: 161000 | #Constraints: 16078
748.99/751.40 c bounds - >= 24597857 @ 561.012
748.99/751.40 c #Conflicts: 162000 | #Constraints: 17079
748.99/751.40 c bounds - >= 24597879 @ 567.793
748.99/751.40 c bounds - >= 24597883 @ 567.979
748.99/751.40 c #Conflicts: 163000 | #Constraints: 18081
748.99/751.40 c bounds - >= 24597888 @ 568.919
748.99/751.40 c INPROCESSING
748.99/751.40 c GARBAGE COLLECT
748.99/751.40 c #Conflicts: 164000 | #Constraints: 10931
748.99/751.40 c #Conflicts: 165000 | #Constraints: 11931
748.99/751.40 c #Conflicts: 166000 | #Constraints: 12931
748.99/751.40 c #Conflicts: 167000 | #Constraints: 13931
748.99/751.40 c #Conflicts: 168000 | #Constraints: 14931
748.99/751.40 c #Conflicts: 169000 | #Constraints: 15931
748.99/751.40 c #Conflicts: 170000 | #Constraints: 16931
748.99/751.40 c #Conflicts: 171000 | #Constraints: 17931
748.99/751.40 c INPROCESSING
748.99/751.40 c GARBAGE COLLECT
748.99/751.40 c #Conflicts: 172000 | #Constraints: 10724
748.99/751.40 c #Conflicts: 173000 | #Constraints: 11724
748.99/751.40 c #Conflicts: 174000 | #Constraints: 12724
748.99/751.40 c #Conflicts: 175000 | #Constraints: 13724
748.99/751.40 c #Conflicts: 176000 | #Constraints: 14724
748.99/751.40 c #Conflicts: 177000 | #Constraints: 15724
748.99/751.40 c #Conflicts: 178000 | #Constraints: 16724
748.99/751.40 c #Conflicts: 179000 | #Constraints: 17724
748.99/751.40 c #Conflicts: 180000 | #Constraints: 18724
748.99/751.40 c INPROCESSING
748.99/751.40 c GARBAGE COLLECT
748.99/751.40 c #Conflicts: 181000 | #Constraints: 11316
748.99/751.40 c #Conflicts: 182000 | #Constraints: 12316
748.99/751.40 c #Conflicts: 183000 | #Constraints: 13316
748.99/751.40 c #Conflicts: 184000 | #Constraints: 14316
748.99/751.40 c #Conflicts: 185000 | #Constraints: 15316
748.99/751.40 c #Conflicts: 186000 | #Constraints: 16316
748.99/751.40 c #Conflicts: 187000 | #Constraints: 17316
748.99/751.40 c #Conflicts: 188000 | #Constraints: 18316
748.99/751.40 c #Conflicts: 189000 | #Constraints: 19316
748.99/751.40 c INPROCESSING
748.99/751.40 c GARBAGE COLLECT
748.99/751.40 c #Conflicts: 190000 | #Constraints: 11716
748.99/751.40 c #Conflicts: 191000 | #Constraints: 12716
748.99/751.40 c #Conflicts: 192000 | #Constraints: 13716
748.99/751.40 c #Conflicts: 193000 | #Constraints: 14716
748.99/751.40 c #Conflicts: 194000 | #Constraints: 15716
748.99/751.40 c #Conflicts: 195000 | #Constraints: 16716
748.99/751.40 c #Conflicts: 196000 | #Constraints: 17716
748.99/751.40 c #Conflicts: 197000 | #Constraints: 18716
748.99/751.40 c #Conflicts: 198000 | #Constraints: 19716
748.99/751.40 c INPROCESSING
748.99/751.40 c GARBAGE COLLECT
748.99/751.40 c #Conflicts: 199000 | #Constraints: 11918
748.99/751.40 c #Conflicts: 200000 | #Constraints: 12918
748.99/751.40 c #Conflicts: 201000 | #Constraints: 13918
748.99/751.40 c #Conflicts: 202000 | #Constraints: 14918
748.99/751.40 c #Conflicts: 203000 | #Constraints: 15918
748.99/751.40 c #Conflicts: 204000 | #Constraints: 16918
748.99/751.40 c #Conflicts: 205000 | #Constraints: 17918
1063.58/1067.04 c #Conflicts: 206000 | #Constraints: 18918
1063.58/1067.04 c #Conflicts: 207000 | #Constraints: 19918
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 208000 | #Constraints: 11921
1063.58/1067.04 c #Conflicts: 209000 | #Constraints: 12921
1063.58/1067.04 c #Conflicts: 210000 | #Constraints: 13921
1063.58/1067.04 c #Conflicts: 211000 | #Constraints: 14921
1063.58/1067.04 c #Conflicts: 212000 | #Constraints: 15921
1063.58/1067.04 c #Conflicts: 213000 | #Constraints: 16921
1063.58/1067.04 c #Conflicts: 214000 | #Constraints: 17921
1063.58/1067.04 c #Conflicts: 215000 | #Constraints: 18921
1063.58/1067.04 c #Conflicts: 216000 | #Constraints: 19921
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 217000 | #Constraints: 11722
1063.58/1067.04 c #Conflicts: 218000 | #Constraints: 12722
1063.58/1067.04 c #Conflicts: 219000 | #Constraints: 13722
1063.58/1067.04 c #Conflicts: 220000 | #Constraints: 14722
1063.58/1067.04 c #Conflicts: 221000 | #Constraints: 15722
1063.58/1067.04 c #Conflicts: 222000 | #Constraints: 16722
1063.58/1067.04 c #Conflicts: 223000 | #Constraints: 17722
1063.58/1067.04 c #Conflicts: 224000 | #Constraints: 18722
1063.58/1067.04 c #Conflicts: 225000 | #Constraints: 19722
1063.58/1067.04 c #Conflicts: 226000 | #Constraints: 20722
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 227000 | #Constraints: 12323
1063.58/1067.04 c #Conflicts: 228000 | #Constraints: 13323
1063.58/1067.04 c #Conflicts: 229000 | #Constraints: 14323
1063.58/1067.04 c #Conflicts: 230000 | #Constraints: 15323
1063.58/1067.04 c #Conflicts: 231000 | #Constraints: 16323
1063.58/1067.04 c #Conflicts: 232000 | #Constraints: 17323
1063.58/1067.04 c #Conflicts: 233000 | #Constraints: 18323
1063.58/1067.04 c #Conflicts: 234000 | #Constraints: 19323
1063.58/1067.04 c #Conflicts: 235000 | #Constraints: 20323
1063.58/1067.04 c #Conflicts: 236000 | #Constraints: 21323
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 237000 | #Constraints: 12720
1063.58/1067.04 c #Conflicts: 238000 | #Constraints: 13720
1063.58/1067.04 c #Conflicts: 239000 | #Constraints: 14720
1063.58/1067.04 c #Conflicts: 240000 | #Constraints: 15720
1063.58/1067.04 c #Conflicts: 241000 | #Constraints: 16720
1063.58/1067.04 c #Conflicts: 242000 | #Constraints: 17720
1063.58/1067.04 c #Conflicts: 243000 | #Constraints: 18720
1063.58/1067.04 c #Conflicts: 244000 | #Constraints: 19720
1063.58/1067.04 c #Conflicts: 245000 | #Constraints: 20720
1063.58/1067.04 c #Conflicts: 246000 | #Constraints: 21720
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 247000 | #Constraints: 12917
1063.58/1067.04 c #Conflicts: 248000 | #Constraints: 13917
1063.58/1067.04 c #Conflicts: 249000 | #Constraints: 14917
1063.58/1067.04 c #Conflicts: 250000 | #Constraints: 15917
1063.58/1067.04 c #Conflicts: 251000 | #Constraints: 16917
1063.58/1067.04 c #Conflicts: 252000 | #Constraints: 17917
1063.58/1067.04 c #Conflicts: 253000 | #Constraints: 18917
1063.58/1067.04 c #Conflicts: 254000 | #Constraints: 19917
1063.58/1067.04 c #Conflicts: 255000 | #Constraints: 20917
1063.58/1067.04 c #Conflicts: 256000 | #Constraints: 21917
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 257000 | #Constraints: 12919
1063.58/1067.04 c #Conflicts: 258000 | #Constraints: 13919
1063.58/1067.04 c #Conflicts: 259000 | #Constraints: 14919
1063.58/1067.04 c #Conflicts: 260000 | #Constraints: 15919
1063.58/1067.04 c #Conflicts: 261000 | #Constraints: 16919
1063.58/1067.04 c #Conflicts: 262000 | #Constraints: 17919
1063.58/1067.04 c #Conflicts: 263000 | #Constraints: 18919
1063.58/1067.04 c #Conflicts: 264000 | #Constraints: 19919
1063.58/1067.04 c #Conflicts: 265000 | #Constraints: 20919
1063.58/1067.04 c #Conflicts: 266000 | #Constraints: 21919
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 267000 | #Constraints: 12722
1063.58/1067.04 c #Conflicts: 268000 | #Constraints: 13722
1063.58/1067.04 c #Conflicts: 269000 | #Constraints: 14722
1063.58/1067.04 c #Conflicts: 270000 | #Constraints: 15722
1063.58/1067.04 c #Conflicts: 271000 | #Constraints: 16722
1063.58/1067.04 c #Conflicts: 272000 | #Constraints: 17722
1063.58/1067.04 c bounds - >= 24597915 @ 1006.71
1063.58/1067.04 c #Conflicts: 273000 | #Constraints: 18723
1063.58/1067.04 c #Conflicts: 274000 | #Constraints: 19723
1063.58/1067.04 c #Conflicts: 275000 | #Constraints: 20723
1063.58/1067.04 c #Conflicts: 276000 | #Constraints: 21723
1063.58/1067.04 c #Conflicts: 277000 | #Constraints: 22723
1063.58/1067.04 c INPROCESSING
1063.58/1067.04 c GARBAGE COLLECT
1063.58/1067.04 c #Conflicts: 278000 | #Constraints: 13321
1545.82/1550.82 c #Conflicts: 279000 | #Constraints: 14321
1545.82/1550.82 c #Conflicts: 280000 | #Constraints: 15321
1545.82/1550.82 c #Conflicts: 281000 | #Constraints: 16321
1545.82/1550.82 c #Conflicts: 282000 | #Constraints: 17321
1545.82/1550.82 c #Conflicts: 283000 | #Constraints: 18321
1545.82/1550.82 c #Conflicts: 284000 | #Constraints: 19321
1545.82/1550.82 c #Conflicts: 285000 | #Constraints: 20321
1545.82/1550.82 c #Conflicts: 286000 | #Constraints: 21321
1545.82/1550.82 c #Conflicts: 287000 | #Constraints: 22321
1545.82/1550.82 c #Conflicts: 288000 | #Constraints: 23321
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 289000 | #Constraints: 13715
1545.82/1550.82 c #Conflicts: 290000 | #Constraints: 14715
1545.82/1550.82 c #Conflicts: 291000 | #Constraints: 15715
1545.82/1550.82 c #Conflicts: 292000 | #Constraints: 16715
1545.82/1550.82 c #Conflicts: 293000 | #Constraints: 17715
1545.82/1550.82 c #Conflicts: 294000 | #Constraints: 18715
1545.82/1550.82 c #Conflicts: 295000 | #Constraints: 19715
1545.82/1550.82 c #Conflicts: 296000 | #Constraints: 20715
1545.82/1550.82 c bounds - >= 24597927 @ 1138.13
1545.82/1550.82 c #Conflicts: 297000 | #Constraints: 21716
1545.82/1550.82 c #Conflicts: 298000 | #Constraints: 22716
1545.82/1550.82 c #Conflicts: 299000 | #Constraints: 23716
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 300000 | #Constraints: 13916
1545.82/1550.82 c #Conflicts: 301000 | #Constraints: 14916
1545.82/1550.82 c #Conflicts: 302000 | #Constraints: 15916
1545.82/1550.82 c #Conflicts: 303000 | #Constraints: 16916
1545.82/1550.82 c #Conflicts: 304000 | #Constraints: 17916
1545.82/1550.82 c #Conflicts: 305000 | #Constraints: 18916
1545.82/1550.82 c #Conflicts: 306000 | #Constraints: 19916
1545.82/1550.82 c #Conflicts: 307000 | #Constraints: 20916
1545.82/1550.82 c bounds - >= 24597930 @ 1208.1
1545.82/1550.82 c #Conflicts: 308000 | #Constraints: 21917
1545.82/1550.82 c #Conflicts: 309000 | #Constraints: 22917
1545.82/1550.82 c #Conflicts: 310000 | #Constraints: 23917
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 311000 | #Constraints: 13918
1545.82/1550.82 c #Conflicts: 312000 | #Constraints: 14918
1545.82/1550.82 c #Conflicts: 313000 | #Constraints: 15918
1545.82/1550.82 c #Conflicts: 314000 | #Constraints: 16918
1545.82/1550.82 c #Conflicts: 315000 | #Constraints: 17918
1545.82/1550.82 c #Conflicts: 316000 | #Constraints: 18918
1545.82/1550.82 c #Conflicts: 317000 | #Constraints: 19918
1545.82/1550.82 c #Conflicts: 318000 | #Constraints: 20918
1545.82/1550.82 c #Conflicts: 319000 | #Constraints: 21918
1545.82/1550.82 c #Conflicts: 320000 | #Constraints: 22918
1545.82/1550.82 c #Conflicts: 321000 | #Constraints: 23918
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 322000 | #Constraints: 13718
1545.82/1550.82 c #Conflicts: 323000 | #Constraints: 14718
1545.82/1550.82 c #Conflicts: 324000 | #Constraints: 15718
1545.82/1550.82 c #Conflicts: 325000 | #Constraints: 16718
1545.82/1550.82 c #Conflicts: 326000 | #Constraints: 17718
1545.82/1550.82 c #Conflicts: 327000 | #Constraints: 18718
1545.82/1550.82 c #Conflicts: 328000 | #Constraints: 19718
1545.82/1550.82 c #Conflicts: 329000 | #Constraints: 20718
1545.82/1550.82 c #Conflicts: 330000 | #Constraints: 21718
1545.82/1550.82 c #Conflicts: 331000 | #Constraints: 22718
1545.82/1550.82 c #Conflicts: 332000 | #Constraints: 23718
1545.82/1550.82 c #Conflicts: 333000 | #Constraints: 24718
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 334000 | #Constraints: 14324
1545.82/1550.82 c #Conflicts: 335000 | #Constraints: 15324
1545.82/1550.82 c #Conflicts: 336000 | #Constraints: 16324
1545.82/1550.82 c #Conflicts: 337000 | #Constraints: 17324
1545.82/1550.82 c #Conflicts: 338000 | #Constraints: 18324
1545.82/1550.82 c #Conflicts: 339000 | #Constraints: 19324
1545.82/1550.82 c #Conflicts: 340000 | #Constraints: 20324
1545.82/1550.82 c #Conflicts: 341000 | #Constraints: 21324
1545.82/1550.82 c #Conflicts: 342000 | #Constraints: 22324
1545.82/1550.82 c #Conflicts: 343000 | #Constraints: 23324
1545.82/1550.82 c bounds - >= 24597937 @ 1479.78
1545.82/1550.82 c #Conflicts: 344000 | #Constraints: 24325
1545.82/1550.82 c #Conflicts: 345000 | #Constraints: 25325
1545.82/1550.82 c INPROCESSING
1545.82/1550.82 c GARBAGE COLLECT
1545.82/1550.82 c #Conflicts: 346000 | #Constraints: 14720
1545.82/1550.82 c #Conflicts: 347000 | #Constraints: 15720
1545.82/1550.82 c #Conflicts: 348000 | #Constraints: 16720
1545.82/1550.82 c #Conflicts: 349000 | #Constraints: 17720
1545.82/1550.82 c #Conflicts: 350000 | #Constraints: 18720
1545.82/1550.82 c #Conflicts: 351000 | #Constraints: 19720
2125.86/2132.76 c #Conflicts: 352000 | #Constraints: 20720
2125.86/2132.76 c #Conflicts: 353000 | #Constraints: 21720
2125.86/2132.76 c #Conflicts: 354000 | #Constraints: 22720
2125.86/2132.76 c #Conflicts: 355000 | #Constraints: 23720
2125.86/2132.76 c #Conflicts: 356000 | #Constraints: 24720
2125.86/2132.76 c #Conflicts: 357000 | #Constraints: 25720
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 358000 | #Constraints: 14918
2125.86/2132.76 c #Conflicts: 359000 | #Constraints: 15918
2125.86/2132.76 c #Conflicts: 360000 | #Constraints: 16918
2125.86/2132.76 c #Conflicts: 361000 | #Constraints: 17918
2125.86/2132.76 c #Conflicts: 362000 | #Constraints: 18918
2125.86/2132.76 c #Conflicts: 363000 | #Constraints: 19918
2125.86/2132.76 c #Conflicts: 364000 | #Constraints: 20918
2125.86/2132.76 c #Conflicts: 365000 | #Constraints: 21918
2125.86/2132.76 c #Conflicts: 366000 | #Constraints: 22918
2125.86/2132.76 c #Conflicts: 367000 | #Constraints: 23918
2125.86/2132.76 c #Conflicts: 368000 | #Constraints: 24918
2125.86/2132.76 c #Conflicts: 369000 | #Constraints: 25918
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 370000 | #Constraints: 14921
2125.86/2132.76 c #Conflicts: 371000 | #Constraints: 15921
2125.86/2132.76 c #Conflicts: 372000 | #Constraints: 16921
2125.86/2132.76 c bounds - >= 24597953 @ 1688.52
2125.86/2132.76 c #Conflicts: 373000 | #Constraints: 17922
2125.86/2132.76 c #Conflicts: 374000 | #Constraints: 18922
2125.86/2132.76 c #Conflicts: 375000 | #Constraints: 19922
2125.86/2132.76 c #Conflicts: 376000 | #Constraints: 20922
2125.86/2132.76 c #Conflicts: 377000 | #Constraints: 21922
2125.86/2132.76 c #Conflicts: 378000 | #Constraints: 22922
2125.86/2132.76 c #Conflicts: 379000 | #Constraints: 23922
2125.86/2132.76 c #Conflicts: 380000 | #Constraints: 24922
2125.86/2132.76 c #Conflicts: 381000 | #Constraints: 25922
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 382000 | #Constraints: 14720
2125.86/2132.76 c #Conflicts: 383000 | #Constraints: 15720
2125.86/2132.76 c #Conflicts: 384000 | #Constraints: 16720
2125.86/2132.76 c #Conflicts: 385000 | #Constraints: 17720
2125.86/2132.76 c #Conflicts: 386000 | #Constraints: 18720
2125.86/2132.76 c #Conflicts: 387000 | #Constraints: 19720
2125.86/2132.76 c #Conflicts: 388000 | #Constraints: 20720
2125.86/2132.76 c #Conflicts: 389000 | #Constraints: 21720
2125.86/2132.76 c #Conflicts: 390000 | #Constraints: 22720
2125.86/2132.76 c #Conflicts: 391000 | #Constraints: 23720
2125.86/2132.76 c #Conflicts: 392000 | #Constraints: 24720
2125.86/2132.76 c #Conflicts: 393000 | #Constraints: 25720
2125.86/2132.76 c #Conflicts: 394000 | #Constraints: 26720
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 395000 | #Constraints: 15319
2125.86/2132.76 c #Conflicts: 396000 | #Constraints: 16319
2125.86/2132.76 c #Conflicts: 397000 | #Constraints: 17319
2125.86/2132.76 c #Conflicts: 398000 | #Constraints: 18319
2125.86/2132.76 c #Conflicts: 399000 | #Constraints: 19319
2125.86/2132.76 c #Conflicts: 400000 | #Constraints: 20319
2125.86/2132.76 c bounds - >= 24597968 @ 1914.26
2125.86/2132.76 c #Conflicts: 401000 | #Constraints: 21320
2125.86/2132.76 c #Conflicts: 402000 | #Constraints: 22320
2125.86/2132.76 c #Conflicts: 403000 | #Constraints: 23320
2125.86/2132.76 c #Conflicts: 404000 | #Constraints: 24320
2125.86/2132.76 c #Conflicts: 405000 | #Constraints: 25320
2125.86/2132.76 c #Conflicts: 406000 | #Constraints: 26320
2125.86/2132.76 c #Conflicts: 407000 | #Constraints: 27320
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 408000 | #Constraints: 15722
2125.86/2132.76 c #Conflicts: 409000 | #Constraints: 16722
2125.86/2132.76 c #Conflicts: 410000 | #Constraints: 17722
2125.86/2132.76 c #Conflicts: 411000 | #Constraints: 18722
2125.86/2132.76 c #Conflicts: 412000 | #Constraints: 19722
2125.86/2132.76 c #Conflicts: 413000 | #Constraints: 20722
2125.86/2132.76 c #Conflicts: 414000 | #Constraints: 21722
2125.86/2132.76 c bounds - >= 24597976 @ 2017.09
2125.86/2132.76 c #Conflicts: 415000 | #Constraints: 22723
2125.86/2132.76 c #Conflicts: 416000 | #Constraints: 23723
2125.86/2132.76 c #Conflicts: 417000 | #Constraints: 24723
2125.86/2132.76 c #Conflicts: 418000 | #Constraints: 25723
2125.86/2132.76 c #Conflicts: 419000 | #Constraints: 26723
2125.86/2132.76 c #Conflicts: 420000 | #Constraints: 27723
2125.86/2132.76 c INPROCESSING
2125.86/2132.76 c GARBAGE COLLECT
2125.86/2132.76 c #Conflicts: 421000 | #Constraints: 15922
2125.86/2132.76 c #Conflicts: 422000 | #Constraints: 16922
2125.86/2132.76 c #Conflicts: 423000 | #Constraints: 17922
2125.86/2132.76 c #Conflicts: 424000 | #Constraints: 18922
3004.45/3014.17 c #Conflicts: 425000 | #Constraints: 19922
3004.45/3014.17 c #Conflicts: 426000 | #Constraints: 20922
3004.45/3014.17 c #Conflicts: 427000 | #Constraints: 21922
3004.45/3014.17 c #Conflicts: 428000 | #Constraints: 22922
3004.45/3014.17 c bounds - >= 24597978 @ 2137.16
3004.45/3014.17 c #Conflicts: 429000 | #Constraints: 23923
3004.45/3014.17 c #Conflicts: 430000 | #Constraints: 24923
3004.45/3014.17 c #Conflicts: 431000 | #Constraints: 25923
3004.45/3014.17 c #Conflicts: 432000 | #Constraints: 26923
3004.45/3014.17 c #Conflicts: 433000 | #Constraints: 27923
3004.45/3014.17 c INPROCESSING
3004.45/3014.17 c GARBAGE COLLECT
3004.45/3014.17 c #Conflicts: 434000 | #Constraints: 15921
3004.45/3014.17 c #Conflicts: 435000 | #Constraints: 16921
3004.45/3014.17 c #Conflicts: 436000 | #Constraints: 17921
3004.45/3014.17 c #Conflicts: 437000 | #Constraints: 18921
3004.45/3014.17 c #Conflicts: 438000 | #Constraints: 19921
3004.45/3014.17 c #Conflicts: 439000 | #Constraints: 20921
3004.45/3014.17 c #Conflicts: 440000 | #Constraints: 21921
3004.45/3014.17 c #Conflicts: 441000 | #Constraints: 22921
3004.45/3014.17 c bounds - >= 24597986 @ 2250.15
3004.45/3014.17 c #Conflicts: 442000 | #Constraints: 23922
3004.45/3014.17 c #Conflicts: 443000 | #Constraints: 24922
3004.45/3014.17 c #Conflicts: 444000 | #Constraints: 25922
3004.45/3014.17 c #Conflicts: 445000 | #Constraints: 26922
3004.45/3014.17 c #Conflicts: 446000 | #Constraints: 27922
3004.45/3014.17 c INPROCESSING
3004.45/3014.17 c GARBAGE COLLECT
3004.45/3014.17 c #Conflicts: 447000 | #Constraints: 15727
3004.45/3014.17 c #Conflicts: 448000 | #Constraints: 16727
3004.45/3014.17 c #Conflicts: 449000 | #Constraints: 17727
3004.45/3014.17 c #Conflicts: 450000 | #Constraints: 18727
3004.45/3014.17 c #Conflicts: 451000 | #Constraints: 19727
3004.45/3014.17 c #Conflicts: 452000 | #Constraints: 20727
3004.45/3014.17 c #Conflicts: 453000 | #Constraints: 21727
3004.45/3014.17 c #Conflicts: 454000 | #Constraints: 22727
3004.45/3014.17 c bounds - >= 24597988 @ 2352.99
3004.45/3014.17 c #Conflicts: 455000 | #Constraints: 23728
3004.45/3014.17 c #Conflicts: 456000 | #Constraints: 24728
3004.45/3014.17 c #Conflicts: 457000 | #Constraints: 25728
3004.45/3014.17 c #Conflicts: 458000 | #Constraints: 26728
3004.45/3014.17 c #Conflicts: 459000 | #Constraints: 27728
3004.45/3014.17 c #Conflicts: 460000 | #Constraints: 28728
3004.45/3014.17 c INPROCESSING
3004.45/3014.17 c GARBAGE COLLECT
3004.45/3014.17 c #Conflicts: 461000 | #Constraints: 16328
3004.45/3014.17 c #Conflicts: 462000 | #Constraints: 17328
3004.45/3014.17 c #Conflicts: 463000 | #Constraints: 18328
3004.45/3014.17 c #Conflicts: 464000 | #Constraints: 19328
3004.45/3014.17 c #Conflicts: 465000 | #Constraints: 20328
3004.45/3014.17 c #Conflicts: 466000 | #Constraints: 21328
3004.45/3014.17 c #Conflicts: 467000 | #Constraints: 22328
3004.45/3014.17 c #Conflicts: 468000 | #Constraints: 23328
3004.45/3014.17 c #Conflicts: 469000 | #Constraints: 24328
3004.45/3014.17 c #Conflicts: 470000 | #Constraints: 25328
3004.45/3014.17 c #Conflicts: 471000 | #Constraints: 26328
3004.45/3014.17 c #Conflicts: 472000 | #Constraints: 27328
3004.45/3014.17 c #Conflicts: 473000 | #Constraints: 28328
3004.45/3014.17 c #Conflicts: 474000 | #Constraints: 29328
3004.45/3014.17 c INPROCESSING
3004.45/3014.17 c GARBAGE COLLECT
3004.45/3014.17 c #Conflicts: 475000 | #Constraints: 16729
3004.45/3014.17 c #Conflicts: 476000 | #Constraints: 17729
3004.45/3014.17 c #Conflicts: 477000 | #Constraints: 18729
3004.45/3014.17 c #Conflicts: 478000 | #Constraints: 19729
3004.45/3014.17 c #Conflicts: 479000 | #Constraints: 20729
3004.45/3014.17 c #Conflicts: 480000 | #Constraints: 21729
3004.45/3014.17 c #Conflicts: 481000 | #Constraints: 22729
3004.45/3014.17 c #Conflicts: 482000 | #Constraints: 23729
3004.45/3014.17 c #Conflicts: 483000 | #Constraints: 24729
3004.45/3014.17 c #Conflicts: 484000 | #Constraints: 25729
3004.45/3014.17 c #Conflicts: 485000 | #Constraints: 26729
3004.45/3014.17 c #Conflicts: 486000 | #Constraints: 27729
3004.45/3014.17 c #Conflicts: 487000 | #Constraints: 28729
3004.45/3014.17 c #Conflicts: 488000 | #Constraints: 29729
3004.45/3014.17 c INPROCESSING
3004.45/3014.17 c GARBAGE COLLECT
3004.45/3014.17 c #Conflicts: 489000 | #Constraints: 16929
3004.45/3014.17 c #Conflicts: 490000 | #Constraints: 17929
3004.45/3014.17 c #Conflicts: 491000 | #Constraints: 18929
3004.45/3014.17 c #Conflicts: 492000 | #Constraints: 19929
3004.45/3014.17 c bounds - >= 24598006 @ 2898.32
3004.45/3014.17 c #Conflicts: 493000 | #Constraints: 20930
3004.45/3014.17 c #Conflicts: 494000 | #Constraints: 21930
3004.45/3014.17 c #Conflicts: 495000 | #Constraints: 22930
3004.45/3014.17 c #Conflicts: 496000 | #Constraints: 23930
3004.45/3014.17 c #Conflicts: 497000 | #Constraints: 24930
3600.05/3611.70 c #Conflicts: 498000 | #Constraints: 25930
3600.05/3611.70 c #Conflicts: 499000 | #Constraints: 26930
3600.05/3611.70 c #Conflicts: 500000 | #Constraints: 27930
3600.05/3611.70 c #Conflicts: 501000 | #Constraints: 28930
3600.05/3611.70 c #Conflicts: 502000 | #Constraints: 29930
3600.05/3611.70 c INPROCESSING
3600.05/3611.70 c GARBAGE COLLECT
3600.05/3611.70 c #Conflicts: 503000 | #Constraints: 16921
3600.05/3611.70 c #Conflicts: 504000 | #Constraints: 17921
3600.05/3611.70 c #Conflicts: 505000 | #Constraints: 18921
3600.05/3611.70 c #Conflicts: 506000 | #Constraints: 19921
3600.05/3611.70 c #Conflicts: 507000 | #Constraints: 20921
3600.05/3611.70 c #Conflicts: 508000 | #Constraints: 21921
3600.05/3611.70 c #Conflicts: 509000 | #Constraints: 22921
3600.05/3611.70 c #Conflicts: 510000 | #Constraints: 23921
3600.05/3611.70 c #Conflicts: 511000 | #Constraints: 24921
3600.05/3611.70 c #Conflicts: 512000 | #Constraints: 25921
3600.05/3611.70 c #Conflicts: 513000 | #Constraints: 26921
3600.05/3611.70 c #Conflicts: 514000 | #Constraints: 27921
3600.05/3611.70 c #Conflicts: 515000 | #Constraints: 28921
3600.05/3611.70 c #Conflicts: 516000 | #Constraints: 29921
3600.05/3611.70 c INPROCESSING
3600.05/3611.70 c GARBAGE COLLECT
3600.05/3611.70 c #Conflicts: 517000 | #Constraints: 16724
3600.05/3611.70 c #Conflicts: 518000 | #Constraints: 17724
3600.05/3611.70 c #Conflicts: 519000 | #Constraints: 18724
3600.05/3611.70 c #Conflicts: 520000 | #Constraints: 19724
3600.05/3611.70 c bounds - >= 24598014 @ 3312.94
3600.05/3611.70 c bounds - >= 24598020 @ 3317.24
3600.05/3611.70 c bounds - >= 24598029 @ 3319.23
3600.05/3611.70 c #Conflicts: 521000 | #Constraints: 20727
3600.05/3611.70 c bounds - >= 24598035 @ 3321.12
3600.05/3611.70 c bounds - >= 24598038 @ 3322.75
3600.05/3611.70 c bounds - >= 24598079 @ 3323.76
3600.05/3611.70 c bounds - >= 24598091 @ 3324.44
3600.05/3611.70 c #Conflicts: 522000 | #Constraints: 21731
3600.05/3611.70 c bounds - >= 24598103 @ 3333.79
3600.05/3611.70 c bounds - >= 24598175 @ 3333.84
3600.05/3611.70 c #Conflicts: 523000 | #Constraints: 22735
3600.05/3611.70 c bounds - >= 24598178 @ 3338.44
3600.05/3611.70 c #Conflicts: 524000 | #Constraints: 23736
3600.05/3611.70 c #Conflicts: 525000 | #Constraints: 24736
3600.05/3611.70 c #Conflicts: 526000 | #Constraints: 25736
3600.05/3611.70 c #Conflicts: 527000 | #Constraints: 26736
3600.05/3611.70 c #Conflicts: 528000 | #Constraints: 27736
3600.05/3611.70 c #Conflicts: 529000 | #Constraints: 28736
3600.05/3611.70 c bounds - >= 24598220 @ 3423.12
3600.05/3611.70 c bounds - >= 24598235 @ 3423.21
3600.05/3611.70 c #Conflicts: 530000 | #Constraints: 29739
3600.05/3611.70 c #Conflicts: 531000 | #Constraints: 30739
3600.05/3611.70 c INPROCESSING
3600.05/3611.70 c GARBAGE COLLECT
3600.05/3611.70 c #Conflicts: 532000 | #Constraints: 17321
3600.05/3611.70 c #Conflicts: 533000 | #Constraints: 18321
3600.05/3611.70 c #Conflicts: 534000 | #Constraints: 19321
3600.05/3611.70 c #Conflicts: 535000 | #Constraints: 20321
3600.05/3611.70 c #Conflicts: 536000 | #Constraints: 21321
3600.05/3611.70 c #Conflicts: 537000 | #Constraints: 22321
3600.05/3611.70 c #Conflicts: 538000 | #Constraints: 23321
3600.05/3611.70 c #Conflicts: 539000 | #Constraints: 24321
3600.05/3611.70 c #Conflicts: 540000 | #Constraints: 25321
3600.05/3611.70 c #Conflicts: 541000 | #Constraints: 26321
3600.05/3611.70 c #Conflicts: 542000 | #Constraints: 27321
3600.05/3611.70 c #Conflicts: 543000 | #Constraints: 28321
3600.05/3611.70 c Program interrupted by user.
3600.05/3611.70 c cpu time 3564.19 s
3600.05/3611.70 c deterministic time 601629388894 6.02e+11
3600.05/3611.70 c optimization time 87.77 s
3600.05/3611.70 c total solve time 3476.4 s
3600.05/3611.70 c core-guided solve time 3476.4 s
3600.05/3611.70 c propagation time 3361.21 s
3600.05/3611.70 c conflict analysis time 160.971 s
3600.05/3611.70 c propagations 155339376
3600.05/3611.70 c resolve steps 3312637
3600.05/3611.70 c decisions 36876796
3600.05/3611.70 c conflicts 543428
3600.05/3611.70 c restarts 1138
3600.05/3611.70 c inprocessing phases 64
3600.05/3611.70 c input clauses 2948
3600.05/3611.70 c input cardinalities 179
3600.05/3611.70 c input general constraints 1123
3600.05/3611.70 c input average constraint length 438.69
3600.05/3611.70 c input average constraint degree 21579536.87
3600.05/3611.70 c learned clauses 148489
3600.05/3611.70 c learned cardinalities 30
3600.05/3611.70 c learned general constraints 395303
3600.05/3611.70 c learned average constraint length 491.38
3600.05/3611.70 c learned average constraint degree 33849980.92
3600.05/3611.70 c watched constraints 395806
3600.05/3611.70 c counting constraints 620
3600.05/3611.70 c gcd simplifications 43642
3600.05/3611.70 c detected cardinalities 15
3600.05/3611.70 c weakened non-implied lits 20739286
3600.05/3611.70 c weakened non-implying lits 599068
3600.05/3611.70 c original variables 6402
3600.05/3611.70 c clausal propagations 3701317
3600.05/3611.70 c cardinality propagations 4137736
3600.05/3611.70 c watched propagations 64399786
3600.05/3611.70 c counting propagations 81015841
3600.05/3611.70 c watch lookups 44550800720
3600.05/3611.70 c watch backjump lookups 43882942388
3600.05/3611.70 c watch checks 306735697810
3600.05/3611.70 c propagation checks 205121846432
3600.05/3611.70 c constraint additions 953131152
3600.05/3611.70 c trail pops 192754219
3600.05/3611.70 c formula constraints 3348
3600.05/3611.70 c learned constraints 543822
3600.05/3611.70 c bound constraints 895
3600.05/3611.70 c core-guided constraints 7
3600.05/3611.70 c encountered formula constraints 1441324
3600.05/3611.70 c encountered learned constraints 2414741
3600.05/3611.70 c encountered bound constraints 0
3600.05/3611.70 c encountered core-guided constraints 0
3600.05/3611.70 c LP total time 0 s
3600.05/3611.70 c LP solve time 0 s
3600.05/3611.70 c LP constraints added 0
3600.05/3611.70 c LP constraints removed 0
3600.05/3611.70 c LP pivots internal 0
3600.05/3611.70 c LP pivots root 0
3600.05/3611.70 c LP calls 0
3600.05/3611.70 c LP optimalities 0
3600.05/3611.70 c LP no pivot count 0
3600.05/3611.70 c LP infeasibilities 0
3600.05/3611.70 c LP valid Farkas constraints 0
3600.05/3611.70 c LP learned Farkas constraints 0
3600.05/3611.70 c LP basis resets 0
3600.05/3611.70 c LP cycling count 0
3600.05/3611.70 c LP singular count 0
3600.05/3611.70 c LP no primal count 0
3600.05/3611.70 c LP no farkas count 0
3600.05/3611.70 c LP other issue count 0
3600.05/3611.70 c LP Gomory cuts 0
3600.05/3611.70 c LP learned cuts 0
3600.05/3611.70 c LP deleted cuts 0
3600.05/3611.70 c LP encountered Gomory constraints 0
3600.05/3611.70 c LP encountered Farkas constraints 0
3600.05/3611.70 c LP encountered learned Farkas constraints 0
3600.05/3611.70 c CG auxiliary variables introduced 7
3600.05/3611.70 c CG solutions found 0
3600.05/3611.70 c CG cores constructed 895
3600.05/3611.70 c CG core cardinality constraints returned 0
3600.05/3611.70 c CG unit cores 0
3600.05/3611.70 c CG single cores 822
3600.05/3611.70 c CG blocks removed during cardinality reduction 139
3600.05/3611.70 c CG first core best 5
3600.05/3611.70 c CG decision core best 37
3600.05/3611.70 c CG core reduction tie 31
3600.05/3611.70 c CG core degree average 1.00
3600.05/3611.70 c CG core slack average 158.68
3600.05/3611.70 c CG exhausted 0
3600.05/3611.70 c CG exhaust time 0 s
3600.05/3611.70 c CG trimmed 3575
3600.05/3611.70 c CG trim time 3.0424 s
3600.05/3611.70 c CG minimized 0
3600.05/3611.70 c CG minimize time 0 s
3600.05/3611.70 c CG am1 prop time 0.002851 s
3600.05/3611.70 c CG # am1s reformulated 7
3600.05/3611.70 c CG lower bound derived from am1s 1314941
3600.05/3611.70 c CG # clausal cores 852
3600.05/3611.70 c CG # cardinality cores 0
3600.05/3611.70 c CG # pb cores 116
3600.05/3611.70 c CG # pb reforms 0
3600.05/3611.70 c CG # cores discarded because of pb reform 0
3600.05/3611.70 d LOWERBOUND 24598235
3600.05/3611.70 d NCORES 895
3600.05/3611.70 d NPBCORES 116
3600.05/3611.70 d NPBREFORM 0
3600.05/3611.70 d NTRIMMED 3575
3600.05/3611.70 d NEXHAUSTED 0
3600.05/3611.70 d NAM1S 7
3600.05/3611.70 d AM1LB 1314941
3600.05/3611.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61083 MiB free)
memory of node 1: 64510 MiB (62980 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454243-1721446046/watcher-4454243-1721446046 -o /tmp/evaluation-result-4454243-1721446046/solver-4454243-1721446046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454243-1721446046.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059534, runsolver pid=1059530
[startup+0.10125 s]*
/proc/loadavg: 3.93 4.05 4.08 5/257 1059556
/proc/meminfo: memFree=126997788/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=42168 memory=10192 CPUtime=0.1 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 1500 0 0 0 6 4 0 0 20 0 1 0 196768763 43180032 2548 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 10542 2548 1377 291 0 2076 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 10192 KiB
[startup+0.205529 s]*
/proc/loadavg: 3.93 4.05 4.08 5/257 1059556
/proc/meminfo: memFree=126980828/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=42476 memory=12764 CPUtime=0.2 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 1679 0 0 0 12 8 0 0 20 0 1 0 196768763 43495424 3191 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 10619 3191 1377 291 0 2153 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42476 KiB
Current children cumulated memory: 12764 KiB
[startup+0.304585 s]*
/proc/loadavg: 3.93 4.05 4.08 5/257 1059556
/proc/meminfo: memFree=126975300/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=42760 memory=13556 CPUtime=0.29 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 1849 0 0 0 18 11 0 0 20 0 1 0 196768763 43786240 3389 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 10690 3389 1377 291 0 2224 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42760 KiB
Current children cumulated memory: 13556 KiB
[startup+0.700178 s]
/proc/loadavg: 3.93 4.05 4.08 5/257 1059556
/proc/meminfo: memFree=126956416/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=51612 memory=19092 CPUtime=0.69 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 2698 0 0 0 45 24 0 0 20 0 1 0 196768763 52850688 4773 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 12903 4773 1377 291 0 4437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51612 KiB
Current children cumulated memory: 19092 KiB
[startup+1.50019 s]
/proc/loadavg: 3.94 4.05 4.08 5/257 1059556
/proc/meminfo: memFree=126907404/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=61320 memory=27904 CPUtime=1.48 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 3877 0 0 0 109 39 0 0 20 0 1 0 196768763 62791680 6976 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 15330 6976 1439 291 0 6864 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61320 KiB
Current children cumulated memory: 27904 KiB
[startup+3.10534 s]
/proc/loadavg: 3.94 4.05 4.08 5/257 1059558
/proc/meminfo: memFree=126757988/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=63576 memory=30268 CPUtime=3.09 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 4457 0 0 0 251 58 0 0 20 0 1 0 196768763 65101824 7567 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 15894 7567 1439 291 0 7428 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63576 KiB
Current children cumulated memory: 30268 KiB
[startup+6.30021 s]
/proc/loadavg: 3.94 4.05 4.08 5/257 1059558
/proc/meminfo: memFree=126603196/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=66676 memory=33168 CPUtime=6.27 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 5171 0 0 0 546 81 0 0 20 0 1 0 196768763 68276224 8292 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 16669 8292 1439 291 0 8203 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 66676 KiB
Current children cumulated memory: 33168 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 5/257 1059558
/proc/meminfo: memFree=126032564/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=69288 memory=35528 CPUtime=12.65 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 5766 0 0 0 1149 116 0 0 20 0 1 0 196768763 70950912 8882 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 17322 8882 1439 291 0 8856 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 69288 KiB
Current children cumulated memory: 35528 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 5/257 1059561
/proc/meminfo: memFree=125384052/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=72648 memory=40456 CPUtime=25.4 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 6484 0 0 0 2364 176 0 0 20 0 1 0 196768763 74391552 10114 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 18162 10114 1439 291 0 9696 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 72648 KiB
Current children cumulated memory: 40456 KiB
[startup+51.1058 s]
/proc/loadavg: 4.02 4.06 4.08 5/258 1059733
/proc/meminfo: memFree=124572284/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=87968 memory=49756 CPUtime=50.93 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 7819 0 0 0 4814 279 0 0 20 0 1 0 196768763 90079232 12439 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 21992 12439 1439 291 0 13526 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 87968 KiB
Current children cumulated memory: 49756 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.08 5/258 1059741
/proc/meminfo: memFree=123606048/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=90516 memory=54164 CPUtime=101.96 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 8394 0 0 0 9743 453 0 0 20 0 1 0 196768763 92688384 13541 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 22629 13541 1439 291 0 14163 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 90516 KiB
Current children cumulated memory: 54164 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.06 4.08 5/258 1059807
/proc/meminfo: memFree=122963812/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=93176 memory=56588 CPUtime=161.76 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 8983 0 0 0 15534 642 0 0 20 0 1 0 196768763 95412224 14147 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 23294 14147 1454 291 0 14828 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 93176 KiB
Current children cumulated memory: 56588 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.06 4.08 5/257 1059820
/proc/meminfo: memFree=122760428/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=99292 memory=66468 CPUtime=221.58 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 10456 0 0 0 21292 866 0 0 20 0 1 0 196768763 101675008 16617 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 24823 16617 1454 291 0 16357 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 99292 KiB
Current children cumulated memory: 66468 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.08 4.09 5/257 1059830
/proc/meminfo: memFree=122457592/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=138136 memory=97972 CPUtime=281.38 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 15231 0 0 0 27174 964 0 0 20 0 1 0 196768763 141451264 24493 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 34534 24493 1454 291 0 26068 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 138136 KiB
Current children cumulated memory: 97972 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.06 4.08 5/257 1059840
/proc/meminfo: memFree=122198936/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=145964 memory=110440 CPUtime=341.19 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 16818 0 0 0 33054 1065 0 0 20 0 1 0 196768763 149467136 27610 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 36491 27610 1454 291 0 28025 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 145964 KiB
Current children cumulated memory: 110440 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/256 1059852
/proc/meminfo: memFree=121526340/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=181552 memory=116076 CPUtime=401.01 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 18246 0 0 0 38942 1159 0 0 20 0 1 0 196768763 185909248 29019 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 45388 29019 1454 291 0 36922 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 181552 KiB
Current children cumulated memory: 116076 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.11 4.09 5/256 1059862
/proc/meminfo: memFree=121421196/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=181732 memory=116340 CPUtime=460.82 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 18311 0 0 0 44808 1274 0 0 20 0 1 0 196768763 186093568 29085 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 45433 29085 1454 291 0 36967 0
################
# More data... #
################
Current children cumulated memory: 182836 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/254 1060871
/proc/meminfo: memFree=115766732/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=231844 memory=185064 CPUtime=2912.95 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29568 0 0 0 288114 3181 0 0 20 0 1 0 196768763 237408256 46266 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 57961 46266 1454 291 0 49495 0
Current children cumulated CPU time: 2912.95 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 185064 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/254 1060881
/proc/meminfo: memFree=115586740/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=231844 memory=185064 CPUtime=2972.76 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29568 0 0 0 294050 3226 0 0 20 0 1 0 196768763 237408256 46266 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 57961 46266 1454 291 0 49495 0
Current children cumulated CPU time: 2972.76 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 185064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/254 1060892
/proc/meminfo: memFree=115586456/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=231844 memory=185064 CPUtime=3032.55 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29575 0 0 0 299996 3259 0 0 20 0 1 0 196768763 237408256 46266 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 57961 46266 1454 291 0 49495 0
Current children cumulated CPU time: 3032.55 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 185064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1060902
/proc/meminfo: memFree=115585816/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=231844 memory=185064 CPUtime=3092.35 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29587 0 0 0 305950 3285 0 0 20 0 1 0 196768763 237408256 46266 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 57961 46266 1454 291 0 49495 0
Current children cumulated CPU time: 3092.35 s
Current children cumulated vsize: 231844 KiB
Current children cumulated memory: 185064 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 1060917
/proc/meminfo: memFree=115406344/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=232488 memory=185476 CPUtime=3152.15 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29703 0 0 0 311891 3324 0 0 20 0 1 0 196768763 238067712 46369 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58122 46369 1454 291 0 49656 0
Current children cumulated CPU time: 3152.15 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 185476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1060928
/proc/meminfo: memFree=115375900/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=232488 memory=185476 CPUtime=3211.95 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29704 0 0 0 317836 3359 0 0 20 0 1 0 196768763 238067712 46369 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58122 46369 1454 291 0 49656 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 185476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/256 1060938
/proc/meminfo: memFree=115374812/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=232488 memory=185476 CPUtime=3271.76 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29719 0 0 0 323789 3387 0 0 20 0 1 0 196768763 238067712 46369 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58122 46369 1454 291 0 49656 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 185476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 1060948
/proc/meminfo: memFree=115371932/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=232488 memory=185676 CPUtime=3331.55 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29763 0 0 0 329733 3422 0 0 20 0 1 0 196768763 238067712 46419 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58122 46419 1454 291 0 49656 0
Current children cumulated CPU time: 3331.55 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 185676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 1060961
/proc/meminfo: memFree=115299576/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=233040 memory=185936 CPUtime=3391.35 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 29852 0 0 0 335670 3465 0 0 20 0 1 0 196768763 238632960 46484 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58260 46484 1454 291 0 49794 0
Current children cumulated CPU time: 3391.35 s
Current children cumulated vsize: 233040 KiB
Current children cumulated memory: 185936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1061355
/proc/meminfo: memFree=115294792/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=235536 memory=187716 CPUtime=3451.15 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 30294 0 0 0 341622 3493 0 0 20 0 1 0 196768763 241188864 46929 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 58884 46929 1454 291 0 50418 0
Current children cumulated CPU time: 3451.15 s
Current children cumulated vsize: 235536 KiB
Current children cumulated memory: 187716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/256 1061365
/proc/meminfo: memFree=115252636/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=237392 memory=193632 CPUtime=3510.95 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 30776 0 0 0 347573 3522 0 0 20 0 1 0 196768763 243089408 48408 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 59348 48408 1454 291 0 50882 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 237392 KiB
Current children cumulated memory: 193632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1061375
/proc/meminfo: memFree=115143148/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=237756 memory=194640 CPUtime=3570.75 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 31004 0 0 0 353506 3569 0 0 20 0 1 0 196768763 243462144 48660 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 59439 48660 1454 291 0 50973 0
Current children cumulated CPU time: 3570.75 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 194640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.06 4.08 4.09 4/252 1061626
/proc/meminfo: memFree=126812164/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=237756 memory=194640 CPUtime=3600.05 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 31009 0 0 0 356418 3587 0 0 20 0 1 0 196768763 243462144 48660 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 59439 48660 1454 291 0 50973 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 194640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 1059534 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.19 s, system=35.8802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.06 4.08 4.09 4/252 1061626
/proc/meminfo: memFree=126812164/131524600 swapFree=131071996/131071996
[pid=1059534] ppid=1059530 vsize=237756 memory=194640 CPUtime=3600.05 cores=0,2
/proc/1059534/stat : 1059534 (pb-oll-rs) R 1059530 1059534 1059483 0 -1 4194304 31009 0 0 0 356418 3587 0 0 20 0 1 0 196768763 243462144 48660 134679101440 4194304 5384485 140725251844336 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 15478784 140725251847189 140725251847266 140725251847266 140725251854283 0
/proc/1059534/statm: 59439 48660 1454 291 0 50973 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 237756 KiB
Current children cumulated memory: 194640 KiB
Child status: 0
Real time (s): 3611.71
CPU time (s): 3600.07
CPU user time (s): 3564.19
CPU system time (s): 35.8802
CPU usage (%): 99.6777
Max. virtual memory (cumulated for all children) (KiB): 237756
Max. memory (cumulated for all children) (KiB): 194640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.19
system time used= 35.8802
maximum resident set size= 194640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 25217
# summary of solver processes directly reported to runsolver:
# pid: 1059534
# total CPU time (s): 3600.07
# total CPU user time (s): 3564.19
# total CPU system time (s): 35.8802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.00808 second user time and 18.1358 second system time
The end
Begin job on nodeC022 at 2024-07-20 05:27:39
IDJOB=4454243
IDBENCH=146797
IDSOLVER=3082
FILE ID=nodeC022/4454243-1721446046
RUNJOBID= nodeC022-1721446059-1059493
SLURM_JOB_ID= 7545669
Free space on /tmp= 890080 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454243-1721446046/watcher-4454243-1721446046 -o /tmp/evaluation-result-4454243-1721446046/solver-4454243-1721446046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721446059-1059493 --watchdog 3760 pb-oll-rs HOME/instance-4454243-1721446046.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=1960752408
nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3630.128
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.66
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 : 3586.952
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 : 7006.96
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 : 3567.995
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.66
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 : 3633.061
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 : 7006.96
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 : 3557.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.66
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 : 3636.358
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 : 7006.96
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 : 3601.644
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.66
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 : 3650.875
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127044088 kB
MemAvailable: 129676836 kB
Buffers: 537772 kB
Cached: 2919712 kB
SwapCached: 0 kB
Active: 1236884 kB
Inactive: 2587284 kB
Active(anon): 1468 kB
Inactive(anon): 411124 kB
Active(file): 1235416 kB
Inactive(file): 2176160 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11652 kB
Writeback: 4 kB
AnonPages: 365812 kB
Mapped: 108144 kB
Shmem: 45912 kB
KReclaimable: 121640 kB
Slab: 238100 kB
SReclaimable: 121640 kB
SUnreclaim: 116460 kB
KernelStack: 3872 kB
PageTables: 9272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 658936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC022 at 2024-07-20 06:27:50