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.01 c [STEP] solving
0.00/0.01 c #variables 1000 #constraints 1
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= -5085234 @ 0.001166
0.00/0.01 c stratification level: 0
0.00/0.02 c bounds - >= -2547957 @ 0.004929
0.00/0.02 c bounds - >= -1320771 @ 0.006426
0.00/0.02 c bounds - >= -732027 @ 0.00775
0.00/0.02 c bounds - >= -474473 @ 0.008972
0.00/0.02 c bounds - >= -339570 @ 0.010032
0.00/0.02 c bounds - >= -276841 @ 0.010393
0.00/0.02 c bounds - >= -245001 @ 0.011069
0.00/0.02 c bounds - >= -228396 @ 0.011797
0.00/0.02 c bounds - >= -219492 @ 0.01245
0.00/0.02 c bounds - >= -215002 @ 0.013048
0.00/0.02 c bounds - >= -212050 @ 0.013594
0.00/0.02 c bounds - >= -209770 @ 0.014164
0.00/0.02 c bounds - >= -208490 @ 0.014673
0.00/0.02 c bounds - >= -207380 @ 0.015201
0.00/0.02 c bounds - >= -206756 @ 0.015639
0.00/0.02 c bounds - >= -206196 @ 0.016211
0.00/0.02 c bounds - >= -205780 @ 0.016525
0.00/0.02 c bounds - >= -205561 @ 0.016844
0.00/0.02 c bounds - >= -205369 @ 0.017087
0.00/0.02 c bounds - >= -205239 @ 0.017332
0.00/0.02 c bounds - >= -205147 @ 0.017589
0.00/0.02 c bounds - >= -205087 @ 0.017838
0.00/0.02 c bounds - >= -205049 @ 0.018093
0.00/0.02 c bounds - >= -205022 @ 0.018336
0.00/0.02 c bounds - >= -205007 @ 0.018598
0.00/0.02 c bounds - >= -205001 @ 0.018863
0.00/0.02 c bounds - >= -205000 @ 0.019139
0.00/0.02 c finalizing WCE round: reformulating cores
75.49/75.71 c #Conflicts: 1000 | #Constraints: 1041
75.49/75.71 c #Conflicts: 2000 | #Constraints: 2043
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 3000 | #Constraints: 2022
75.49/75.71 c #Conflicts: 4000 | #Constraints: 3024
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 5000 | #Constraints: 2430
75.49/75.71 c #Conflicts: 6000 | #Constraints: 3432
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 7000 | #Constraints: 2437
75.49/75.71 c #Conflicts: 8000 | #Constraints: 3439
75.49/75.71 c #Conflicts: 9000 | #Constraints: 4443
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 10000 | #Constraints: 3147
75.49/75.71 c #Conflicts: 11000 | #Constraints: 4149
75.49/75.71 c #Conflicts: 12000 | #Constraints: 5151
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 13000 | #Constraints: 3604
75.49/75.71 c #Conflicts: 14000 | #Constraints: 4606
75.49/75.71 c #Conflicts: 15000 | #Constraints: 5608
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 16000 | #Constraints: 3838
75.49/75.71 c #Conflicts: 17000 | #Constraints: 4840
75.49/75.71 c #Conflicts: 18000 | #Constraints: 5842
75.49/75.71 c INPROCESSING
75.49/75.71 c GARBAGE COLLECT
75.49/75.71 c #Conflicts: 19000 | #Constraints: 3864
75.49/75.71 c #Conflicts: 20000 | #Constraints: 4866
75.49/75.71 c bounds -48992 >= -205000 @ 74.7822
75.49/75.71 c bounds -48992 >= -203094 @ 74.7994
75.49/75.71 c bounds -48992 >= -203016 @ 74.8001
75.49/75.71 c bounds -48992 >= -202949 @ 74.8008
75.49/75.71 c bounds -48992 >= -202933 @ 74.801
75.49/75.71 c bounds -48992 >= -202922 @ 74.8033
75.49/75.71 c bounds -48992 >= -202913 @ 74.8042
75.49/75.71 c bounds -48992 >= -202904 @ 74.8054
75.49/75.71 c bounds -48992 >= -202898 @ 74.8063
75.49/75.71 c bounds -48992 >= -202897 @ 74.8097
75.49/75.71 c bounds -48992 >= -202896 @ 74.8122
75.49/75.71 c bounds -48992 >= -202895 @ 74.8136
75.49/75.71 c bounds -48992 >= -202893 @ 74.8153
75.49/75.71 c bounds -48992 >= -202892 @ 74.8165
75.49/75.71 c bounds -48992 >= -202891 @ 74.8183
75.49/75.71 c bounds -48992 >= -202886 @ 74.8206
75.49/75.71 c bounds -48992 >= -202883 @ 74.8231
75.49/75.71 c bounds -48992 >= -202882 @ 74.825
75.49/75.71 c bounds -48992 >= -202880 @ 74.827
75.49/75.71 c bounds -48992 >= -202879 @ 74.8281
75.49/75.71 c bounds -48992 >= -202825 @ 74.8286
75.49/75.71 c bounds -48992 >= -202776 @ 74.829
75.49/75.71 c bounds -48992 >= -202711 @ 74.8293
75.49/75.71 c bounds -48992 >= -202646 @ 74.8298
75.49/75.71 c bounds -48992 >= -202581 @ 74.8301
75.49/75.71 c bounds -48992 >= -202516 @ 74.8305
75.49/75.71 c bounds -48992 >= -202464 @ 74.8309
75.49/75.71 c bounds -48992 >= -202412 @ 74.831
75.49/75.71 c bounds -48992 >= -202360 @ 74.831
75.49/75.71 c bounds -48992 >= -202308 @ 74.8313
75.49/75.71 c bounds -48992 >= -202267 @ 74.8316
75.49/75.71 c bounds -48992 >= -202235 @ 74.8325
75.49/75.71 c bounds -48992 >= -202226 @ 74.8331
75.49/75.71 c bounds -48992 >= -202205 @ 74.8338
75.49/75.71 c bounds -48992 >= -202203 @ 74.8346
75.49/75.71 c bounds -48992 >= -202198 @ 74.8352
75.49/75.71 c bounds -48992 >= -202197 @ 74.8359
75.49/75.71 c bounds -48992 >= -202195 @ 74.8365
75.49/75.71 c bounds -48992 >= -202190 @ 74.837
75.49/75.71 c bounds -48992 >= -202189 @ 74.8382
75.49/75.71 c bounds -48992 >= -202177 @ 74.8387
75.49/75.71 c bounds -48992 >= -202175 @ 74.8391
75.49/75.71 c bounds -48992 >= -202170 @ 74.8416
75.49/75.71 c bounds -48992 >= -202163 @ 74.8433
75.49/75.71 c bounds -48992 >= -202152 @ 74.8444
75.49/75.71 c bounds -48992 >= -202150 @ 74.8463
75.49/75.71 c bounds -48992 >= -202145 @ 74.847
75.49/75.71 c bounds -48992 >= -202133 @ 74.8483
75.49/75.71 c bounds -48992 >= -202132 @ 74.8491
75.49/75.71 c bounds -48992 >= -202122 @ 74.8498
75.49/75.71 c bounds -48992 >= -201984 @ 74.8518
75.49/75.71 c bounds -48992 >= -201983 @ 74.8523
75.49/75.71 c bounds -48992 >= -201978 @ 74.8539
75.49/75.71 c bounds -48992 >= -201966 @ 74.8543
75.49/75.71 c bounds -48992 >= -201965 @ 74.8549
75.49/75.71 c bounds -48992 >= -201964 @ 74.8549
75.49/75.71 c bounds -48992 >= -201962 @ 74.8551
75.49/75.71 c bounds -48992 >= -201960 @ 74.8558
75.49/75.71 c bounds -48992 >= -201954 @ 74.8564
75.49/75.71 c bounds -48992 >= -201949 @ 74.8581
75.49/75.71 c bounds -48992 >= -201948 @ 74.8585
75.49/75.71 c bounds -48992 >= -201936 @ 74.8592
75.49/75.71 c bounds -48992 >= -199579 @ 74.861
75.49/75.71 c bounds -48992 >= -199516 @ 74.8612
75.49/75.71 c bounds -48992 >= -198948 @ 74.8615
75.49/75.71 c bounds -48992 >= -198947 @ 74.8627
75.49/75.71 c bounds -48992 >= -198946 @ 74.8632
75.49/75.71 c bounds -48992 >= -198944 @ 74.8639
75.49/75.71 c bounds -48992 >= -198932 @ 74.8644
75.49/75.71 c bounds -48992 >= -198928 @ 74.8647
75.49/75.71 c bounds -48992 >= -198926 @ 74.87
75.49/75.71 c bounds -48992 >= -198892 @ 74.8718
75.49/75.71 c bounds -48992 >= -198827 @ 74.8721
75.49/75.71 c bounds -48992 >= -198826 @ 74.8724
75.49/75.71 c bounds -48992 >= -198821 @ 74.8727
75.49/75.71 c bounds -48992 >= -198819 @ 74.873
75.49/75.71 c bounds -48992 >= -198807 @ 74.8732
77.18/77.45 c bounds -48992 >= -198755 @ 74.8735
77.18/77.45 c bounds -48992 >= -198703 @ 74.8746
77.18/77.45 c bounds -48992 >= -198695 @ 74.8759
77.18/77.45 c bounds -48992 >= -198691 @ 74.8777
77.18/77.45 c bounds -48992 >= -198648 @ 74.8803
77.18/77.45 c bounds -48992 >= -198644 @ 74.8822
77.18/77.45 c bounds -48992 >= -198643 @ 74.8852
77.18/77.45 c bounds -48992 >= -198635 @ 74.8861
77.18/77.45 c bounds -48992 >= -198633 @ 74.8891
77.18/77.45 c bounds -48992 >= -198632 @ 74.8915
77.18/77.45 c bounds -48992 >= -198615 @ 74.8923
77.18/77.45 c bounds -48992 >= -198614 @ 74.893
77.18/77.45 c bounds -48992 >= -198610 @ 74.9022
77.18/77.45 c bounds -48992 >= -196653 @ 74.9058
77.18/77.45 c bounds -48992 >= -194064 @ 74.9064
77.18/77.45 c bounds -48992 >= -193560 @ 74.907
77.18/77.45 c bounds -48992 >= -193553 @ 74.9157
77.18/77.45 c bounds -48992 >= -191475 @ 74.9164
77.18/77.45 c bounds -48992 >= -191471 @ 74.9317
77.18/77.45 c bounds -48992 >= -191467 @ 74.9377
77.18/77.45 c bounds -48992 >= -191463 @ 74.9395
77.18/77.45 c bounds -48992 >= -191447 @ 74.9419
77.18/77.45 c bounds -48992 >= -191431 @ 74.9427
77.18/77.45 c bounds -48992 >= -191424 @ 74.944
77.18/77.45 c bounds -48992 >= -190173 @ 74.9485
77.18/77.45 c bounds -48992 >= -190171 @ 74.9534
77.18/77.45 c bounds -48992 >= -190169 @ 74.9596
77.18/77.45 c bounds -48992 >= -190167 @ 74.9616
77.18/77.45 c bounds -48992 >= -190161 @ 74.9628
77.18/77.45 c bounds -48992 >= -190159 @ 74.9705
77.18/77.45 c bounds -48992 >= -190153 @ 74.9817
77.18/77.45 c bounds -48992 >= -190149 @ 74.9854
77.18/77.45 c bounds -48992 >= -190148 @ 74.9862
77.18/77.45 c bounds -48992 >= -188886 @ 74.9883
77.18/77.45 c bounds -48992 >= -188885 @ 74.9988
77.18/77.45 c bounds -48992 >= -188884 @ 75.001
77.18/77.45 c bounds -48992 >= -188883 @ 75.0092
77.18/77.45 c bounds -48992 >= -188882 @ 75.0368
77.18/77.45 c bounds -48992 >= -188878 @ 75.0376
77.18/77.45 c bounds -48992 >= -188870 @ 75.0384
77.18/77.45 c bounds -48992 >= -188862 @ 75.0384
77.18/77.45 c bounds -48992 >= -188860 @ 75.0388
77.18/77.45 c bounds -48992 >= -188858 @ 75.0394
77.18/77.45 c bounds -48992 >= -188798 @ 75.0401
77.18/77.45 c bounds -48992 >= -188173 @ 75.0446
77.18/77.45 c bounds -48992 >= -188172 @ 75.1431
77.18/77.45 c bounds -48992 >= -188165 @ 75.1661
77.18/77.45 c bounds -48992 >= -188157 @ 75.2037
77.18/77.45 c bounds -48992 >= -188141 @ 75.2408
77.18/77.45 c bounds -48992 >= -188125 @ 75.2849
77.18/77.45 c bounds -48992 >= -188113 @ 75.2997
77.18/77.45 c bounds -48992 >= -188112 @ 75.3174
77.18/77.45 c bounds -48992 >= -188109 @ 75.3326
77.18/77.45 c bounds -48992 >= -188104 @ 75.3385
77.18/77.45 c bounds -48992 >= -188102 @ 75.3443
77.18/77.45 c bounds -48992 >= -188101 @ 75.3547
77.18/77.45 c bounds -48992 >= -188100 @ 75.3641
77.18/77.45 c bounds -48992 >= -188099 @ 75.4179
77.18/77.45 c bounds -48992 >= -188097 @ 75.4197
77.18/77.45 c bounds -48992 >= -188096 @ 75.4315
77.18/77.45 c bounds -48992 >= -188094 @ 75.4392
77.18/77.45 c bounds -48992 >= -188072 @ 75.4503
77.18/77.45 c bounds -48992 >= -188028 @ 75.4549
77.18/77.45 c bounds -48992 >= -188026 @ 75.4664
77.18/77.45 c bounds -48992 >= -188025 @ 75.4729
77.18/77.45 c bounds -48992 >= -186837 @ 75.475
77.18/77.45 c bounds -48992 >= -186765 @ 75.4848
77.18/77.45 c bounds -48992 >= -186297 @ 75.4885
77.18/77.45 c bounds -48992 >= -183708 @ 75.4932
77.18/77.45 c bounds -48992 >= -182786 @ 75.4973
77.18/77.45 c bounds -48992 >= -182782 @ 75.6167
77.18/77.45 c bounds -48992 >= -182754 @ 75.6393
77.18/77.45 c bounds -48992 >= -182722 @ 75.6516
77.18/77.45 c bounds -48992 >= -182714 @ 75.6815
77.18/77.45 c bounds -48992 >= -182690 @ 75.7018
77.18/77.45 c bounds -48992 >= -182682 @ 75.7097
77.18/77.45 c bounds -48992 >= -182650 @ 75.7229
77.18/77.45 c bounds -48992 >= -180197 @ 75.7325
77.18/77.45 c bounds -48992 >= -177608 @ 75.7492
77.18/77.45 c bounds -48992 >= -177607 @ 75.7701
77.18/77.45 c bounds -48992 >= -177606 @ 75.7783
77.18/77.45 c bounds -48992 >= -177605 @ 75.7874
77.18/77.45 c bounds -48992 >= -177590 @ 75.7952
77.18/77.45 c #Conflicts: 21000 | #Constraints: 6546
77.18/77.45 c bounds -48992 >= -177589 @ 75.8206
77.18/77.45 c bounds -48992 >= -177575 @ 75.8247
77.18/77.45 c bounds -48992 >= -177571 @ 75.8372
77.18/77.45 c bounds -48992 >= -177570 @ 75.8458
77.18/77.45 c bounds -48992 >= -177536 @ 75.8468
77.18/77.45 c bounds -48992 >= -177524 @ 75.9011
77.18/77.45 c bounds -48992 >= -177523 @ 75.9148
77.18/77.45 c bounds -48992 >= -177464 @ 75.9491
77.18/77.45 c bounds -48992 >= -177449 @ 75.9748
77.18/77.45 c bounds -48992 >= -177448 @ 76.0028
77.18/77.45 c bounds -48992 >= -177447 @ 76.1159
77.18/77.45 c bounds -48992 >= -177417 @ 76.122
77.18/77.45 c bounds -48992 >= -177414 @ 76.1327
77.18/77.45 c bounds -48992 >= -177399 @ 76.1518
77.18/77.45 c bounds -48992 >= -177391 @ 76.1905
77.18/77.45 c bounds -48992 >= -177240 @ 76.1921
77.18/77.45 c bounds -48992 >= -175982 @ 76.2115
77.18/77.45 c bounds -48992 >= -174868 @ 76.2125
77.18/77.45 c bounds -48992 >= -174854 @ 76.2811
77.18/77.45 c bounds -48992 >= -174724 @ 76.2827
77.18/77.45 c bounds -48992 >= -173466 @ 76.2977
77.18/77.45 c bounds -48992 >= -173394 @ 76.299
77.18/77.45 c bounds -48992 >= -173322 @ 76.3124
77.18/77.45 c bounds -48992 >= -172279 @ 76.3158
77.18/77.45 c bounds -48992 >= -172278 @ 76.4025
77.18/77.45 c bounds -48992 >= -172207 @ 76.4416
77.18/77.45 c bounds -48992 >= -172136 @ 76.5432
82.47/82.78 c bounds -48992 >= -172127 @ 76.553
82.47/82.78 c bounds -48992 >= -172055 @ 76.5708
82.47/82.78 c bounds -48992 >= -172003 @ 76.5749
82.47/82.78 c bounds -48992 >= -171987 @ 76.5941
82.47/82.78 c bounds -48992 >= -170878 @ 76.6176
82.47/82.78 c bounds -48992 >= -170874 @ 76.6433
82.47/82.78 c bounds -48992 >= -170866 @ 76.6463
82.47/82.78 c bounds -48992 >= -170865 @ 76.6494
82.47/82.78 c bounds -48992 >= -170858 @ 76.6507
82.47/82.78 c bounds -48992 >= -170857 @ 76.6882
82.47/82.78 c bounds -48992 >= -170846 @ 76.6969
82.47/82.78 c bounds -48992 >= -170842 @ 76.7021
82.47/82.78 c bounds -48992 >= -170841 @ 76.7287
82.47/82.78 c bounds -48992 >= -170528 @ 76.7587
82.47/82.78 c bounds -48992 >= -169690 @ 76.774
82.47/82.78 c bounds -48992 >= -169689 @ 76.8147
82.47/82.78 c bounds -48992 >= -169688 @ 76.8326
82.47/82.78 c bounds -48992 >= -169657 @ 76.8547
82.47/82.78 c bounds -48992 >= -169618 @ 76.8555
82.47/82.78 c bounds -48992 >= -168360 @ 76.8955
82.47/82.78 c bounds -48992 >= -168359 @ 76.9112
82.47/82.78 c bounds -48992 >= -168357 @ 76.9117
82.47/82.78 c bounds -48992 >= -168356 @ 76.9266
82.47/82.78 c bounds -48992 >= -168355 @ 76.9522
82.47/82.78 c bounds -48992 >= -168354 @ 77.0382
82.47/82.78 c bounds -48992 >= -168353 @ 77.1687
82.47/82.78 c bounds -48992 >= -168352 @ 77.2925
82.47/82.78 c bounds -48992 >= -168350 @ 77.3087
82.47/82.78 c INPROCESSING
82.47/82.78 c GARBAGE COLLECT
82.47/82.78 c bounds -48992 >= -168349 @ 77.4326
82.47/82.78 c bounds -48992 >= -168347 @ 77.4423
82.47/82.78 c bounds -48992 >= -168345 @ 77.444
82.47/82.78 c bounds -48992 >= -168343 @ 77.4489
82.47/82.78 c bounds -48992 >= -168341 @ 77.4502
82.47/82.78 c bounds -48992 >= -168331 @ 77.4532
82.47/82.78 c bounds -48992 >= -168323 @ 77.4559
82.47/82.78 c bounds -48992 >= -168319 @ 77.4581
82.47/82.78 c bounds -48992 >= -168317 @ 77.4616
82.47/82.78 c bounds -48992 >= -168316 @ 77.4713
82.47/82.78 c bounds -48992 >= -168315 @ 77.4926
82.47/82.78 c bounds -48992 >= -168311 @ 77.498
82.47/82.78 c bounds -48992 >= -168310 @ 77.5041
82.47/82.78 c bounds -48992 >= -168307 @ 77.5148
82.47/82.78 c bounds -48992 >= -168306 @ 77.6184
82.47/82.78 c bounds -48992 >= -168305 @ 77.6602
82.47/82.78 c bounds -48992 >= -168304 @ 77.6831
82.47/82.78 c bounds -48992 >= -168291 @ 77.7099
82.47/82.78 c bounds -48992 >= -168275 @ 77.7223
82.47/82.78 c bounds -48992 >= -168263 @ 77.7414
82.47/82.78 c bounds -48992 >= -168247 @ 77.7466
82.47/82.78 c bounds -48992 >= -168241 @ 77.7554
82.47/82.78 c bounds -48992 >= -168041 @ 77.7609
82.47/82.78 c bounds -48992 >= -168031 @ 77.7655
82.47/82.78 c bounds -48992 >= -167804 @ 77.7702
82.47/82.78 c #Conflicts: 22000 | #Constraints: 4312
82.47/82.78 c bounds -48992 >= -167803 @ 77.8781
82.47/82.78 c bounds -48992 >= -167802 @ 77.8822
82.47/82.78 c bounds -48992 >= -167800 @ 77.887
82.47/82.78 c bounds -48992 >= -167798 @ 77.9049
82.47/82.78 c bounds -48992 >= -167794 @ 77.9386
82.47/82.78 c bounds -48992 >= -167788 @ 77.9455
82.47/82.78 c bounds -48992 >= -167295 @ 77.9828
82.47/82.78 c bounds -48992 >= -167102 @ 77.9943
82.47/82.78 c bounds -48992 >= -167100 @ 78.0153
82.47/82.78 c bounds -48992 >= -166813 @ 78.0367
82.47/82.78 c bounds -48992 >= -166812 @ 78.0875
82.47/82.78 c bounds -48992 >= -166786 @ 78.1474
82.47/82.78 c bounds -48992 >= -166771 @ 78.1787
82.47/82.78 c bounds -48992 >= -166616 @ 78.2009
82.47/82.78 c bounds -48992 >= -166458 @ 78.2204
82.47/82.78 c bounds -48992 >= -166426 @ 78.2643
82.47/82.78 c bounds -48992 >= -166277 @ 78.2657
82.47/82.78 c bounds -48992 >= -166145 @ 78.3376
82.47/82.78 c bounds -48992 >= -166065 @ 78.394
82.47/82.78 c bounds -48992 >= -165985 @ 78.4316
82.47/82.78 c bounds -48992 >= -165905 @ 78.4815
82.47/82.78 c bounds -48992 >= -165897 @ 78.5663
82.47/82.78 c bounds -48992 >= -165895 @ 78.5697
82.47/82.78 c bounds -48992 >= -165888 @ 78.6585
82.47/82.78 c bounds -48992 >= -165885 @ 78.7016
82.47/82.78 c bounds -48992 >= -165881 @ 78.7957
82.47/82.78 c bounds -48992 >= -165871 @ 78.803
82.47/82.78 c bounds -48992 >= -165864 @ 78.8107
82.47/82.78 c bounds -48992 >= -165861 @ 78.8334
82.47/82.78 c bounds -48992 >= -165860 @ 79.046
82.47/82.78 c bounds -48992 >= -165858 @ 79.0766
82.47/82.78 c bounds -48992 >= -165848 @ 79.1328
82.47/82.78 c bounds -48992 >= -165845 @ 79.2336
82.47/82.78 c bounds -48992 >= -165838 @ 79.245
82.47/82.78 c #Conflicts: 23000 | #Constraints: 5446
82.47/82.78 c bounds -48992 >= -165837 @ 79.6727
82.47/82.78 c bounds -48992 >= -165818 @ 79.7294
82.47/82.78 c bounds -48992 >= -165807 @ 79.7993
82.47/82.78 c bounds -48992 >= -165597 @ 79.8044
82.47/82.78 c bounds -48992 >= -165596 @ 79.8392
82.47/82.78 c bounds -48992 >= -165343 @ 79.8524
82.47/82.78 c bounds -48992 >= -165070 @ 79.8646
82.47/82.78 c bounds -48992 >= -164757 @ 79.9337
82.47/82.78 c bounds -48992 >= -164610 @ 79.9918
82.47/82.78 c bounds -48992 >= -164490 @ 80.0004
82.47/82.78 c bounds -48992 >= -164444 @ 80.3866
82.47/82.78 c bounds -48992 >= -164436 @ 81.0577
82.47/82.78 c bounds -48992 >= -164393 @ 81.0847
82.47/82.78 c bounds -48992 >= -164364 @ 81.1834
82.47/82.78 c #Conflicts: 24000 | #Constraints: 6500
82.47/82.78 c bounds -48992 >= -164339 @ 81.2078
82.47/82.78 c bounds -48992 >= -164215 @ 81.2407
82.47/82.78 c bounds -48992 >= -164214 @ 81.3522
82.47/82.78 c bounds -48992 >= -164194 @ 81.4043
95.84/96.15 c bounds -48992 >= -164173 @ 81.4785
95.84/96.15 c bounds -48992 >= -164132 @ 81.5672
95.84/96.15 c bounds -48992 >= -164131 @ 81.9336
95.84/96.15 c bounds -48992 >= -164059 @ 81.9643
95.84/96.15 c bounds -48992 >= -164027 @ 81.966
95.84/96.15 c bounds -48992 >= -163978 @ 81.9683
95.84/96.15 c bounds -48992 >= -163771 @ 81.9904
95.84/96.15 c bounds -48992 >= -163458 @ 82.0139
95.84/96.15 c bounds -48992 >= -163262 @ 82.0291
95.84/96.15 c bounds -48992 >= -163145 @ 82.1152
95.84/96.15 c bounds -48992 >= -162896 @ 82.1561
95.84/96.15 c bounds -48992 >= -162753 @ 82.2054
95.84/96.15 c bounds -48992 >= -162732 @ 82.2494
95.84/96.15 c bounds -48992 >= -162244 @ 82.2583
95.84/96.15 c bounds -48992 >= -161735 @ 82.2654
95.84/96.15 c bounds -48992 >= -161638 @ 82.2714
95.84/96.15 c bounds -48992 >= -161295 @ 82.2978
95.84/96.15 c bounds -48992 >= -161229 @ 82.382
95.84/96.15 c bounds -48992 >= -161227 @ 82.3983
95.84/96.15 c bounds -48992 >= -161226 @ 82.6368
95.84/96.15 c bounds -48992 >= -161225 @ 82.6744
95.84/96.15 c bounds -48992 >= -161220 @ 82.6867
95.84/96.15 c bounds -48992 >= -161206 @ 82.6985
95.84/96.15 c bounds -48992 >= -161205 @ 82.8145
95.84/96.15 c bounds -48992 >= -161204 @ 83.2588
95.84/96.15 c bounds -48992 >= -161056 @ 83.2964
95.84/96.15 c bounds -48992 >= -161055 @ 83.8189
95.84/96.15 c bounds -48992 >= -161053 @ 83.9358
95.84/96.15 c #Conflicts: 25000 | #Constraints: 7624
95.84/96.15 c bounds -48992 >= -161052 @ 84.4879
95.84/96.15 c INPROCESSING
95.84/96.15 c GARBAGE COLLECT
95.84/96.15 c bounds -48992 >= -161045 @ 84.8769
95.84/96.15 c bounds -48992 >= -161037 @ 84.9196
95.84/96.15 c bounds -48992 >= -161036 @ 84.9539
95.84/96.15 c bounds -48992 >= -160968 @ 84.9718
95.84/96.15 c bounds -48992 >= -160819 @ 85.0376
95.84/96.15 c bounds -48992 >= -160726 @ 85.0656
95.84/96.15 c bounds -48992 >= -160723 @ 85.0888
95.84/96.15 c bounds -48992 >= -160705 @ 85.3716
95.84/96.15 c bounds -48992 >= -160670 @ 85.3748
95.84/96.15 c bounds -48992 >= -160521 @ 85.3866
95.84/96.15 c bounds -48992 >= -160459 @ 85.5944
95.84/96.15 c bounds -48992 >= -160413 @ 85.5973
95.84/96.15 c bounds -48992 >= -160410 @ 85.6526
95.84/96.15 c bounds -48992 >= -160407 @ 85.6757
95.84/96.15 c bounds -48992 >= -160404 @ 85.6939
95.84/96.15 c #Conflicts: 26000 | #Constraints: 5025
95.84/96.15 c bounds -48992 >= -160379 @ 85.7171
95.84/96.15 c bounds -48992 >= -160378 @ 85.79
95.84/96.15 c bounds -48992 >= -160377 @ 85.8121
95.84/96.15 c bounds -48992 >= -160376 @ 86.1049
95.84/96.15 c bounds -48992 >= -160366 @ 86.1527
95.84/96.15 c bounds -48992 >= -160363 @ 86.2509
95.84/96.15 c bounds -48992 >= -160361 @ 86.2669
95.84/96.15 c bounds -48992 >= -160353 @ 86.3482
95.84/96.15 c bounds -48992 >= -160348 @ 86.5539
95.84/96.15 c bounds -48992 >= -160340 @ 86.577
95.84/96.15 c bounds -48992 >= -160307 @ 86.6263
95.84/96.15 c bounds -48992 >= -160223 @ 86.6392
95.84/96.15 c bounds -48992 >= -160218 @ 86.8118
95.84/96.15 c bounds -48992 >= -160213 @ 86.814
95.84/96.15 c #Conflicts: 27000 | #Constraints: 6081
95.84/96.15 c bounds -48992 >= -159876 @ 86.9803
95.84/96.15 c bounds -48992 >= -159875 @ 87.2058
95.84/96.15 c bounds -48992 >= -159873 @ 87.3482
95.84/96.15 c bounds -48992 >= -159864 @ 87.4153
95.84/96.15 c bounds -48992 >= -159804 @ 87.4253
95.84/96.15 c bounds -48992 >= -159563 @ 87.445
95.84/96.15 c bounds -48992 >= -159367 @ 87.453
95.84/96.15 c bounds -48992 >= -159362 @ 87.6461
95.84/96.15 c bounds -48992 >= -159346 @ 87.6691
95.84/96.15 c bounds -48992 >= -159341 @ 87.6862
95.84/96.15 c bounds -48992 >= -159336 @ 87.7009
95.84/96.15 c bounds -48992 >= -159326 @ 87.712
95.84/96.15 c bounds -48992 >= -159315 @ 87.8497
95.84/96.15 c bounds -48992 >= -159007 @ 87.868
95.84/96.15 c bounds -48992 >= -158965 @ 87.8741
95.84/96.15 c bounds -48992 >= -158885 @ 87.9598
95.84/96.15 c bounds -48992 >= -158875 @ 88.1389
95.84/96.15 c #Conflicts: 28000 | #Constraints: 7152
95.84/96.15 c bounds -48992 >= -158858 @ 88.5783
95.84/96.15 c bounds -48992 >= -158857 @ 88.6119
95.84/96.15 c bounds -48992 >= -158856 @ 89.0247
95.84/96.15 c bounds -48992 >= -158855 @ 89.7612
95.84/96.15 c bounds -48992 >= -158847 @ 90.5512
95.84/96.15 c bounds -48992 >= -158814 @ 90.695
95.84/96.15 c #Conflicts: 29000 | #Constraints: 8176
95.84/96.15 c INPROCESSING
95.84/96.15 c GARBAGE COLLECT
95.84/96.15 c bounds -48992 >= -158744 @ 91.0004
95.84/96.15 c bounds -48992 >= -158693 @ 91.0131
95.84/96.15 c bounds -48992 >= -158645 @ 91.0252
95.84/96.15 c bounds -48992 >= -158348 @ 91.205
95.84/96.15 c bounds -48992 >= -158347 @ 91.3687
95.84/96.15 c bounds -48992 >= -158338 @ 91.4091
95.84/96.15 c bounds -48992 >= -158336 @ 91.4251
95.84/96.15 c bounds -48992 >= -158328 @ 91.4544
95.84/96.15 c bounds -48992 >= -158307 @ 91.4835
95.84/96.15 c bounds -48992 >= -158305 @ 91.5625
95.84/96.15 c bounds -48992 >= -158302 @ 91.586
95.84/96.15 c bounds -48992 >= -158301 @ 91.6547
95.84/96.15 c bounds -48992 >= -158298 @ 91.7453
95.84/96.15 c bounds -48992 >= -158297 @ 91.8035
95.84/96.15 c bounds -48992 >= -158222 @ 91.9135
95.84/96.15 c #Conflicts: 30000 | #Constraints: 5497
95.84/96.15 c bounds -48992 >= -158219 @ 92.2328
95.84/96.15 c bounds -48992 >= -158078 @ 92.5846
95.84/96.15 c bounds -48992 >= -158043 @ 92.858
95.84/96.15 c bounds -48992 >= -157998 @ 92.9729
95.84/96.15 c #Conflicts: 31000 | #Constraints: 6513
133.93/134.34 c bounds -48992 >= -157992 @ 93.4004
133.93/134.34 c bounds -48992 >= -157951 @ 93.7665
133.93/134.34 c #Conflicts: 32000 | #Constraints: 7521
133.93/134.34 c bounds -48992 >= -157888 @ 94.1089
133.93/134.34 c bounds -48992 >= -157796 @ 94.4425
133.93/134.34 c bounds -48992 >= -157795 @ 95.3915
133.93/134.34 c #Conflicts: 33000 | #Constraints: 8533
133.93/134.34 c INPROCESSING
133.93/134.34 c GARBAGE COLLECT
133.93/134.34 c #Conflicts: 34000 | #Constraints: 5579
133.93/134.34 c bounds -48992 >= -157791 @ 96.5843
133.93/134.34 c bounds -48992 >= -157788 @ 96.8216
133.93/134.34 c bounds -48992 >= -157775 @ 96.8328
133.93/134.34 c bounds -48992 >= -157770 @ 96.8366
133.93/134.34 c bounds -48992 >= -157755 @ 96.8399
133.93/134.34 c #Conflicts: 35000 | #Constraints: 6599
133.93/134.34 c bounds -48992 >= -157739 @ 97.4684
133.93/134.34 c bounds -48992 >= -157716 @ 97.5071
133.93/134.34 c bounds -48992 >= -157697 @ 97.5317
133.93/134.34 c bounds -48992 >= -157656 @ 97.5781
133.93/134.34 c bounds -48992 >= -157617 @ 97.6173
133.93/134.34 c bounds -48992 >= -157537 @ 97.619
133.93/134.34 c bounds -48992 >= -157483 @ 97.6214
133.93/134.34 c bounds -48992 >= -157430 @ 97.9722
133.93/134.34 c bounds -48992 >= -157429 @ 98.3028
133.93/134.34 c bounds -48992 >= -157409 @ 98.4422
133.93/134.34 c bounds -48992 >= -157399 @ 98.4931
133.93/134.34 c bounds -48992 >= -157398 @ 98.6324
133.93/134.34 c bounds -48992 >= -157379 @ 98.6816
133.93/134.34 c bounds -48992 >= -157338 @ 98.684
133.93/134.34 c bounds -48992 >= -157287 @ 98.6927
133.93/134.34 c bounds -48992 >= -157281 @ 98.6965
133.93/134.34 c #Conflicts: 36000 | #Constraints: 7663
133.93/134.34 c bounds -48992 >= -157271 @ 99.6114
133.93/134.34 c bounds -48992 >= -157268 @ 99.6139
133.93/134.34 c bounds -48992 >= -157188 @ 99.6486
133.93/134.34 c bounds -48992 >= -157132 @ 99.6563
133.93/134.34 c bounds -48992 >= -157117 @ 100.073
133.93/134.34 c #Conflicts: 37000 | #Constraints: 8683
133.93/134.34 c bounds -48992 >= -157091 @ 100.236
133.93/134.34 c bounds -48992 >= -156983 @ 100.52
133.93/134.34 c bounds -48992 >= -156804 @ 100.572
133.93/134.34 c bounds -48992 >= -156803 @ 101.082
133.93/134.34 c #Conflicts: 38000 | #Constraints: 9699
133.93/134.34 c bounds -48992 >= -156778 @ 101.472
133.93/134.34 c bounds -48992 >= -156775 @ 102.564
133.93/134.34 c bounds -48992 >= -156773 @ 102.623
133.93/134.34 c bounds -48992 >= -156761 @ 103.507
133.93/134.34 c bounds -48992 >= -156757 @ 103.523
133.93/134.34 c bounds -48992 >= -156752 @ 103.541
133.93/134.34 c bounds -48992 >= -156737 @ 103.821
133.93/134.34 c #Conflicts: 39000 | #Constraints: 10727
133.93/134.34 c bounds -48992 >= -156732 @ 104.516
133.93/134.34 c bounds -48992 >= -156694 @ 104.535
133.93/134.34 c bounds -48992 >= -156614 @ 105.421
133.93/134.34 c bounds -48992 >= -156573 @ 106.289
133.93/134.34 c bounds -48992 >= -156534 @ 106.312
133.93/134.34 c #Conflicts: 40000 | #Constraints: 11747
133.93/134.34 c bounds -48992 >= -156533 @ 107.392
133.93/134.34 c bounds -48992 >= -156493 @ 107.631
133.93/134.34 c bounds -48992 >= -156489 @ 108.285
133.93/134.34 c #Conflicts: 41000 | #Constraints: 12762
133.93/134.34 c bounds -48992 >= -156439 @ 109.507
133.93/134.34 c bounds -48992 >= -156398 @ 109.525
133.93/134.34 c bounds -48992 >= -156269 @ 109.546
133.93/134.34 c bounds -48992 >= -156268 @ 109.915
133.93/134.34 c bounds -48992 >= -156249 @ 110.575
133.93/134.34 c bounds -48992 >= -156248 @ 110.716
133.93/134.34 c bounds -48992 >= -156245 @ 111.192
133.93/134.34 c bounds -48992 >= -156240 @ 111.347
133.93/134.34 c bounds -48992 >= -156235 @ 111.671
133.93/134.34 c bounds -48992 >= -156234 @ 111.673
133.93/134.34 c bounds -48992 >= -156219 @ 111.676
133.93/134.34 c bounds -48992 >= -156208 @ 111.692
133.93/134.34 c #Conflicts: 42000 | #Constraints: 13816
133.93/134.34 c bounds -48992 >= -156185 @ 112.595
133.93/134.34 c bounds -48992 >= -156176 @ 112.599
133.93/134.34 c #Conflicts: 43000 | #Constraints: 14824
133.93/134.34 c bounds -48992 >= -156099 @ 113.044
133.93/134.34 c bounds -48992 >= -155999 @ 113.065
133.93/134.34 c bounds -48992 >= -155863 @ 113.533
133.93/134.34 c bounds -48992 >= -155860 @ 113.907
133.93/134.34 c bounds -48992 >= -155842 @ 113.92
133.93/134.34 c bounds -48992 >= -155760 @ 114.204
133.93/134.34 c #Conflicts: 44000 | #Constraints: 15846
133.93/134.34 c bounds -48992 >= -155759 @ 114.719
133.93/134.34 c bounds -48992 >= -155758 @ 115.179
133.93/134.34 c bounds -48992 >= -155757 @ 115.252
133.93/134.34 c #Conflicts: 45000 | #Constraints: 16864
133.93/134.34 c bounds -48992 >= -155756 @ 124.526
133.93/134.34 c bounds -48992 >= -155755 @ 127.738
133.93/134.34 c bounds -48992 >= -155752 @ 127.756
133.93/134.34 c bounds -48992 >= -155747 @ 127.867
133.93/134.34 c bounds -48992 >= -155738 @ 127.943
133.93/134.34 c bounds -48992 >= -155693 @ 127.971
133.93/134.34 c bounds -48992 >= -155678 @ 128.052
133.93/134.34 c bounds -48992 >= -155672 @ 128.069
133.93/134.34 c bounds -48992 >= -155641 @ 128.1
133.93/134.34 c bounds -48992 >= -155592 @ 128.178
133.93/134.34 c bounds -48992 >= -155591 @ 128.261
133.93/134.34 c bounds -48992 >= -155586 @ 128.3
133.93/134.34 c bounds -48992 >= -155581 @ 128.308
133.93/134.34 c bounds -48992 >= -155576 @ 128.375
133.93/134.34 c bounds -48992 >= -155547 @ 128.458
133.93/134.34 c bounds -48992 >= -155537 @ 128.722
133.93/134.34 c bounds -48992 >= -155526 @ 128.774
615.52/617.26 c bounds -48992 >= -155513 @ 128.895
615.52/617.26 c bounds -48992 >= -155507 @ 128.976
615.52/617.26 c bounds -48992 >= -155500 @ 129.038
615.52/617.26 c bounds -48992 >= -155499 @ 129.134
615.52/617.26 c bounds -48992 >= -155497 @ 129.239
615.52/617.26 c bounds -48992 >= -155456 @ 129.352
615.52/617.26 c bounds -48992 >= -155427 @ 129.431
615.52/617.26 c bounds -48992 >= -155426 @ 129.462
615.52/617.26 c bounds -48992 >= -155364 @ 129.471
615.52/617.26 c bounds -48992 >= -155343 @ 129.596
615.52/617.26 c bounds -48992 >= -155285 @ 129.612
615.52/617.26 c bounds -48992 >= -155251 @ 129.645
615.52/617.26 c #Conflicts: 46000 | #Constraints: 17983
615.52/617.26 c #Conflicts: 47000 | #Constraints: 18983
615.52/617.26 c #Conflicts: 48000 | #Constraints: 19983
615.52/617.26 c INPROCESSING
615.52/617.26 c GARBAGE COLLECT
615.52/617.26 c #Conflicts: 49000 | #Constraints: 11323
615.52/617.26 c bounds -48992 >= -155250 @ 162.745
615.52/617.26 c #Conflicts: 50000 | #Constraints: 12327
615.52/617.26 c #Conflicts: 51000 | #Constraints: 13327
615.52/617.26 c #Conflicts: 52000 | #Constraints: 14327
615.52/617.26 c bounds -48992 >= -155248 @ 212.759
615.52/617.26 c bounds -48992 >= -155246 @ 216.688
615.52/617.26 c bounds -48992 >= -155234 @ 222.156
615.52/617.26 c #Conflicts: 53000 | #Constraints: 15339
615.52/617.26 c INPROCESSING
615.52/617.26 c GARBAGE COLLECT
615.52/617.26 c #Conflicts: 54000 | #Constraints: 8895
615.52/617.26 c #Conflicts: 55000 | #Constraints: 9895
615.52/617.26 c #Conflicts: 56000 | #Constraints: 10895
615.52/617.26 c bounds -48992 >= -155231 @ 260.116
615.52/617.26 c #Conflicts: 57000 | #Constraints: 11899
615.52/617.26 c #Conflicts: 58000 | #Constraints: 12899
615.52/617.26 c INPROCESSING
615.52/617.26 c GARBAGE COLLECT
615.52/617.26 c #Conflicts: 59000 | #Constraints: 7421
615.52/617.26 c bounds -48992 >= -155229 @ 309.271
615.52/617.26 c bounds -48992 >= -155218 @ 309.747
615.52/617.26 c bounds -48992 >= -155215 @ 313.302
615.52/617.26 c #Conflicts: 60000 | #Constraints: 8439
615.52/617.26 c bounds -48992 >= -155214 @ 320.103
615.52/617.26 c bounds -48992 >= -155212 @ 320.127
615.52/617.26 c bounds -48992 >= -155209 @ 320.249
615.52/617.26 c bounds -48992 >= -155208 @ 320.258
615.52/617.26 c bounds -48992 >= -155207 @ 320.552
615.52/617.26 c bounds -48992 >= -155206 @ 320.992
615.52/617.26 c bounds -48992 >= -155203 @ 321.234
615.52/617.26 c bounds -48992 >= -155198 @ 321.247
615.52/617.26 c bounds -48992 >= -155197 @ 321.368
615.52/617.26 c bounds -48992 >= -155181 @ 322.48
615.52/617.26 c #Conflicts: 61000 | #Constraints: 9482
615.52/617.26 c #Conflicts: 62000 | #Constraints: 10482
615.52/617.26 c bounds -48992 >= -155180 @ 346.769
615.52/617.26 c #Conflicts: 63000 | #Constraints: 11489
615.52/617.26 c #Conflicts: 64000 | #Constraints: 12489
615.52/617.26 c bounds -48992 >= -155178 @ 362.969
615.52/617.26 c bounds -48992 >= -155175 @ 364.159
615.52/617.26 c bounds -48992 >= -155174 @ 364.267
615.52/617.26 c INPROCESSING
615.52/617.26 c GARBAGE COLLECT
615.52/617.26 c #Conflicts: 65000 | #Constraints: 7388
615.52/617.26 c bounds -48992 >= -155172 @ 371.861
615.52/617.26 c #Conflicts: 66000 | #Constraints: 8392
615.52/617.26 c bounds -48992 >= -155171 @ 385.059
615.52/617.26 c bounds -48992 >= -155169 @ 385.245
615.52/617.26 c bounds -48992 >= -155162 @ 385.485
615.52/617.26 c #Conflicts: 67000 | #Constraints: 9404
615.52/617.26 c bounds -48992 >= -155159 @ 388.013
615.52/617.26 c #Conflicts: 68000 | #Constraints: 10408
615.52/617.26 c bounds -48992 >= -155158 @ 405.006
615.52/617.26 c #Conflicts: 69000 | #Constraints: 11412
615.52/617.26 c #Conflicts: 70000 | #Constraints: 12412
615.52/617.26 c INPROCESSING
615.52/617.26 c GARBAGE COLLECT
615.52/617.26 c #Conflicts: 71000 | #Constraints: 7382
615.52/617.26 c bounds -48992 >= -155155 @ 436.535
615.52/617.26 c #Conflicts: 72000 | #Constraints: 8386
615.52/617.26 c bounds -48992 >= -155152 @ 460.02
615.52/617.26 c bounds -48992 >= -155150 @ 460.152
615.52/617.26 c #Conflicts: 73000 | #Constraints: 9394
615.52/617.26 c bounds -48992 >= -155148 @ 462.801
615.52/617.26 c bounds -48992 >= -155134 @ 476.061
615.52/617.26 c #Conflicts: 74000 | #Constraints: 10402
615.52/617.26 c bounds -48992 >= -155133 @ 479.503
615.52/617.26 c #Conflicts: 75000 | #Constraints: 11406
615.52/617.26 c #Conflicts: 76000 | #Constraints: 12406
615.52/617.26 c bounds -48992 >= -155130 @ 516.89
615.52/617.26 c #Conflicts: 77000 | #Constraints: 13410
615.52/617.26 c bounds -48992 >= -155129 @ 541.189
615.52/617.26 c bounds -48992 >= -155125 @ 541.263
615.52/617.26 c #Conflicts: 78000 | #Constraints: 14418
615.52/617.26 c bounds -48992 >= -155121 @ 558.473
615.52/617.26 c #Conflicts: 79000 | #Constraints: 15422
615.52/617.26 c bounds -48992 >= -155119 @ 583.948
615.52/617.26 c bounds -48992 >= -155113 @ 584.355
615.52/617.26 c bounds -48992 >= -155092 @ 584.801
615.52/617.26 c bounds -48992 >= -155089 @ 593.093
615.52/617.26 c bounds -48992 >= -155079 @ 593.167
615.52/617.26 c bounds -48992 >= -155066 @ 601.708
615.52/617.26 c #Conflicts: 80000 | #Constraints: 16446
615.52/617.26 c bounds -48992 >= -155065 @ 603.445
2038.24/2044.24 c bounds -48992 >= -155058 @ 603.86
2038.24/2044.24 c bounds -48992 >= -155048 @ 603.908
2038.24/2044.24 c bounds -48992 >= -155038 @ 603.923
2038.24/2044.24 c bounds -48992 >= -154999 @ 603.941
2038.24/2044.24 c #Conflicts: 81000 | #Constraints: 17466
2038.24/2044.24 c #Conflicts: 82000 | #Constraints: 18466
2038.24/2044.24 c #Conflicts: 83000 | #Constraints: 19466
2038.24/2044.24 c #Conflicts: 84000 | #Constraints: 20466
2038.24/2044.24 c bounds -48992 >= -154998 @ 703.726
2038.24/2044.24 c bounds -48992 >= -154997 @ 720.47
2038.24/2044.24 c #Conflicts: 85000 | #Constraints: 21480
2038.24/2044.24 c bounds -48992 >= -154993 @ 736.949
2038.24/2044.24 c bounds -48992 >= -154992 @ 738.429
2038.24/2044.24 c #Conflicts: 86000 | #Constraints: 22488
2038.24/2044.24 c #Conflicts: 87000 | #Constraints: 23488
2038.24/2044.24 c bounds -48992 >= -154991 @ 798.249
2038.24/2044.24 c #Conflicts: 88000 | #Constraints: 24495
2038.24/2044.24 c bounds -48992 >= -154990 @ 823.838
2038.24/2044.24 c bounds -48992 >= -154989 @ 828.506
2038.24/2044.24 c bounds -48992 >= -154988 @ 833.589
2038.24/2044.24 c bounds -48992 >= -154987 @ 834.798
2038.24/2044.24 c bounds -48992 >= -154983 @ 834.887
2038.24/2044.24 c bounds -48992 >= -154982 @ 835.546
2038.24/2044.24 c bounds -48992 >= -154981 @ 835.772
2038.24/2044.24 c bounds -48992 >= -154979 @ 835.823
2038.24/2044.24 c bounds -48992 >= -154978 @ 835.928
2038.24/2044.24 c bounds -48992 >= -154977 @ 836.501
2038.24/2044.24 c #Conflicts: 89000 | #Constraints: 25541
2038.24/2044.24 c bounds -48992 >= -154976 @ 880.214
2038.24/2044.24 c bounds -48992 >= -154975 @ 880.99
2038.24/2044.24 c bounds -48992 >= -154974 @ 881.19
2038.24/2044.24 c bounds -48992 >= -154969 @ 881.392
2038.24/2044.24 c bounds -48992 >= -154968 @ 881.591
2038.24/2044.24 c bounds -48992 >= -154956 @ 881.767
2038.24/2044.24 c #Conflicts: 90000 | #Constraints: 26568
2038.24/2044.24 c bounds -48992 >= -154953 @ 888.072
2038.24/2044.24 c bounds -48992 >= -154951 @ 888.135
2038.24/2044.24 c bounds -48992 >= -154948 @ 892.463
2038.24/2044.24 c bounds -48992 >= -154921 @ 903.148
2038.24/2044.24 c bounds -48992 >= -154918 @ 915.009
2038.24/2044.24 c #Conflicts: 91000 | #Constraints: 27588
2038.24/2044.24 c INPROCESSING
2038.24/2044.24 c GARBAGE COLLECT
2038.24/2044.24 c #Conflicts: 92000 | #Constraints: 14805
2038.24/2044.24 c bounds -48992 >= -154917 @ 964.881
2038.24/2044.24 c #Conflicts: 93000 | #Constraints: 15809
2038.24/2044.24 c #Conflicts: 94000 | #Constraints: 16809
2038.24/2044.24 c #Conflicts: 95000 | #Constraints: 17809
2038.24/2044.24 c #Conflicts: 96000 | #Constraints: 18809
2038.24/2044.24 c bounds -48992 >= -154916 @ 1054.9
2038.24/2044.24 c bounds -48992 >= -154880 @ 1065.17
2038.24/2044.24 c bounds -48992 >= -154839 @ 1065.33
2038.24/2044.24 c bounds -48992 >= -154838 @ 1065.36
2038.24/2044.24 c #Conflicts: 97000 | #Constraints: 19825
2038.24/2044.24 c #Conflicts: 98000 | #Constraints: 20825
2038.24/2044.24 c #Conflicts: 99000 | #Constraints: 21825
2038.24/2044.24 c bounds -48992 >= -154836 @ 1216.66
2038.24/2044.24 c #Conflicts: 100000 | #Constraints: 22829
2038.24/2044.24 c #Conflicts: 101000 | #Constraints: 23829
2038.24/2044.24 c #Conflicts: 102000 | #Constraints: 24829
2038.24/2044.24 c #Conflicts: 103000 | #Constraints: 25829
2038.24/2044.24 c bounds -48992 >= -154834 @ 1392.12
2038.24/2044.24 c #Conflicts: 104000 | #Constraints: 26834
2038.24/2044.24 c bounds -48992 >= -154833 @ 1472.29
2038.24/2044.24 c #Conflicts: 105000 | #Constraints: 27841
2038.24/2044.24 c #Conflicts: 106000 | #Constraints: 28841
2038.24/2044.24 c bounds -48992 >= -154832 @ 1598.18
2038.24/2044.24 c bounds -48992 >= -154830 @ 1600.05
2038.24/2044.24 c #Conflicts: 107000 | #Constraints: 29849
2038.24/2044.24 c bounds -48992 >= -154827 @ 1652.84
2038.24/2044.24 c bounds -48992 >= -154824 @ 1662.79
2038.24/2044.24 c bounds -48992 >= -154823 @ 1675.52
2038.24/2044.24 c #Conflicts: 108000 | #Constraints: 30865
2038.24/2044.24 c bounds -48992 >= -154798 @ 1693.03
2038.24/2044.24 c bounds -48992 >= -154768 @ 1693.11
2038.24/2044.24 c bounds -48992 >= -154742 @ 1698.92
2038.24/2044.24 c bounds -48992 >= -154721 @ 1704.47
2038.24/2044.24 c bounds -48992 >= -154710 @ 1704.51
2038.24/2044.24 c bounds -48992 >= -154703 @ 1704.61
2038.24/2044.24 c bounds -48992 >= -154623 @ 1704.71
2038.24/2044.24 c bounds -48992 >= -154619 @ 1704.85
2038.24/2044.24 c bounds -48992 >= -154608 @ 1717.2
2038.24/2044.24 c bounds -48992 >= -154578 @ 1719.05
2038.24/2044.24 c #Conflicts: 109000 | #Constraints: 31905
2038.24/2044.24 c bounds -48992 >= -154577 @ 1763.34
2038.24/2044.24 c #Conflicts: 110000 | #Constraints: 32909
2038.24/2044.24 c bounds -48992 >= -154575 @ 1806.85
2038.24/2044.24 c bounds -48992 >= -154572 @ 1809.34
2038.24/2044.24 c bounds -48992 >= -154568 @ 1809.96
2038.24/2044.24 c #Conflicts: 111000 | #Constraints: 33921
2038.24/2044.24 c #Conflicts: 112000 | #Constraints: 34921
2038.24/2044.24 c bounds -48992 >= -154565 @ 1920.68
2038.24/2044.24 c #Conflicts: 113000 | #Constraints: 35925
2038.24/2044.24 c bounds -48992 >= -154563 @ 1937.03
2038.24/2044.24 c bounds -48992 >= -154562 @ 1937.47
2038.24/2044.24 c bounds -48992 >= -154559 @ 1991.35
2038.24/2044.24 c #Conflicts: 114000 | #Constraints: 36937
2038.24/2044.24 c bounds -48992 >= -154558 @ 2010.19
2038.24/2044.24 c bounds -48992 >= -154557 @ 2019.28
3600.04/3611.60 c #Conflicts: 115000 | #Constraints: 37945
3600.04/3611.60 c bounds -48992 >= -154556 @ 2061.83
3600.04/3611.60 c bounds -48992 >= -154552 @ 2063.04
3600.04/3611.60 c bounds -48992 >= -154550 @ 2067.09
3600.04/3611.60 c INPROCESSING
3600.04/3611.60 c GARBAGE COLLECT
3600.04/3611.60 c bounds -48992 >= -154548 @ 2072.84
3600.04/3611.60 c #Conflicts: 116000 | #Constraints: 20293
3600.04/3611.60 c #Conflicts: 117000 | #Constraints: 21293
3600.04/3611.60 c #Conflicts: 118000 | #Constraints: 22293
3600.04/3611.60 c #Conflicts: 119000 | #Constraints: 23293
3600.04/3611.60 c #Conflicts: 120000 | #Constraints: 24293
3600.04/3611.60 c bounds -48992 >= -154547 @ 2285.76
3600.04/3611.60 c bounds -48992 >= -154546 @ 2292.54
3600.04/3611.60 c bounds -48992 >= -154545 @ 2293.47
3600.04/3611.60 c #Conflicts: 121000 | #Constraints: 25305
3600.04/3611.60 c bounds -48992 >= -154544 @ 2325.82
3600.04/3611.60 c bounds -48992 >= -154543 @ 2328.74
3600.04/3611.60 c bounds -48992 >= -154538 @ 2334.91
3600.04/3611.60 c #Conflicts: 122000 | #Constraints: 26320
3600.04/3611.60 c bounds -48992 >= -154537 @ 2366.31
3600.04/3611.60 c bounds -48992 >= -154536 @ 2366.83
3600.04/3611.60 c bounds -48992 >= -154532 @ 2367.65
3600.04/3611.60 c bounds -48992 >= -154528 @ 2374.5
3600.04/3611.60 c bounds -48992 >= -154527 @ 2376.43
3600.04/3611.60 c bounds -48992 >= -154518 @ 2379.35
3600.04/3611.60 c bounds -48992 >= -154515 @ 2380.19
3600.04/3611.60 c bounds -48992 >= -154508 @ 2388.7
3600.04/3611.60 c bounds -48992 >= -154498 @ 2395.53
3600.04/3611.60 c bounds -48992 >= -154494 @ 2395.58
3600.04/3611.60 c #Conflicts: 123000 | #Constraints: 27363
3600.04/3611.60 c bounds -48992 >= -154488 @ 2416.71
3600.04/3611.60 c bounds -48992 >= -154487 @ 2438.43
3600.04/3611.60 c bounds -48992 >= -154483 @ 2439.34
3600.04/3611.60 c bounds -48992 >= -154478 @ 2439.47
3600.04/3611.60 c bounds -48992 >= -154473 @ 2439.74
3600.04/3611.60 c #Conflicts: 124000 | #Constraints: 28383
3600.04/3611.60 c bounds -48992 >= -154470 @ 2466.52
3600.04/3611.60 c #Conflicts: 125000 | #Constraints: 29387
3600.04/3611.60 c #Conflicts: 126000 | #Constraints: 30387
3600.04/3611.60 c bounds -48992 >= -154467 @ 2545.33
3600.04/3611.60 c bounds -48992 >= -154463 @ 2545.52
3600.04/3611.60 c bounds -48992 >= -154452 @ 2545.65
3600.04/3611.60 c bounds -48992 >= -154411 @ 2546.04
3600.04/3611.60 c bounds -48992 >= -154383 @ 2546.17
3600.04/3611.60 c bounds -48992 >= -154370 @ 2547.32
3600.04/3611.60 c bounds -48992 >= -154329 @ 2547.57
3600.04/3611.60 c bounds -48992 >= -154321 @ 2548.41
3600.04/3611.60 c #Conflicts: 127000 | #Constraints: 31419
3600.04/3611.60 c #Conflicts: 128000 | #Constraints: 32419
3600.04/3611.60 c bounds -48992 >= -154310 @ 2643.11
3600.04/3611.60 c #Conflicts: 129000 | #Constraints: 33423
3600.04/3611.60 c #Conflicts: 130000 | #Constraints: 34423
3600.04/3611.60 c #Conflicts: 131000 | #Constraints: 35423
3600.04/3611.60 c #Conflicts: 132000 | #Constraints: 36423
3600.04/3611.60 c #Conflicts: 133000 | #Constraints: 37423
3600.04/3611.60 c #Conflicts: 134000 | #Constraints: 38423
3600.04/3611.60 c bounds -48992 >= -154309 @ 2923.25
3600.04/3611.60 c bounds -48992 >= -154303 @ 2929.99
3600.04/3611.60 c #Conflicts: 135000 | #Constraints: 39431
3600.04/3611.60 c #Conflicts: 136000 | #Constraints: 40431
3600.04/3611.60 c #Conflicts: 137000 | #Constraints: 41431
3600.04/3611.60 c #Conflicts: 138000 | #Constraints: 42431
3600.04/3611.60 c #Conflicts: 139000 | #Constraints: 43431
3600.04/3611.60 c #Conflicts: 140000 | #Constraints: 44431
3600.04/3611.60 c INPROCESSING
3600.04/3611.60 c GARBAGE COLLECT
3600.04/3611.60 c #Conflicts: 141000 | #Constraints: 23336
3600.04/3611.60 c #Conflicts: 142000 | #Constraints: 24336
3600.04/3611.60 c #Conflicts: 143000 | #Constraints: 25336
3600.04/3611.60 c #Conflicts: 144000 | #Constraints: 26336
3600.04/3611.60 c #Conflicts: 145000 | #Constraints: 27336
3600.04/3611.60 c Program interrupted by user.
3600.04/3611.60 c cpu time 3575.02 s
3600.04/3611.60 c deterministic time 361026658019 3.61e+11
3600.04/3611.60 c optimization time 335.424 s
3600.04/3611.60 c total solve time 3239.6 s
3600.04/3611.60 c core-guided solve time 3239.6 s
3600.04/3611.60 c propagation time 3379.72 s
3600.04/3611.60 c conflict analysis time 163.026 s
3600.04/3611.60 c propagations 100127604
3600.04/3611.60 c resolve steps 385282
3600.04/3611.60 c decisions 27358227
3600.04/3611.60 c conflicts 145284
3600.04/3611.60 c restarts 381
3600.04/3611.60 c inprocessing phases 19
3600.04/3611.60 c input clauses 661
3600.04/3611.60 c input cardinalities 680
3600.04/3611.60 c input general constraints 1320
3600.04/3611.60 c input average constraint length 435.89
3600.04/3611.60 c input average constraint degree 1228564.19
3600.04/3611.60 c learned clauses 5283
3600.04/3611.60 c learned cardinalities 5
3600.04/3611.60 c learned general constraints 140114
3600.04/3611.60 c learned average constraint length 951.95
3600.04/3611.60 c learned average constraint degree 1750646491.04
3600.04/3611.60 c watched constraints 14102
3600.04/3611.60 c counting constraints 127332
3600.04/3611.60 c gcd simplifications 1685
3600.04/3611.60 c detected cardinalities 0
3600.04/3611.60 c weakened non-implied lits 2511563
3600.04/3611.60 c weakened non-implying lits 10126
3600.04/3611.60 c original variables 1000
3600.04/3611.60 c clausal propagations 13586063
3600.04/3611.60 c cardinality propagations 5799239
3600.04/3611.60 c watched propagations 2671834
3600.04/3611.60 c counting propagations 77460911
3600.04/3611.60 c watch lookups 66037935356
3600.04/3611.60 c watch backjump lookups 65999095409
3600.04/3611.60 c watch checks 5124835511
3600.04/3611.60 c propagation checks 223112904513
3600.04/3611.60 c constraint additions 496771147
3600.04/3611.60 c trail pops 127630251
3600.04/3611.60 c formula constraints 1
3600.04/3611.60 c learned constraints 145402
3600.04/3611.60 c bound constraints 669
3600.04/3611.60 c core-guided constraints 1991
3600.04/3611.60 c encountered formula constraints 40120
3600.04/3611.60 c encountered learned constraints 337292
3600.04/3611.60 c encountered bound constraints 32282
3600.04/3611.60 c encountered core-guided constraints 120872
3600.04/3611.60 c LP total time 0 s
3600.04/3611.60 c LP solve time 0 s
3600.04/3611.60 c LP constraints added 0
3600.04/3611.60 c LP constraints removed 0
3600.04/3611.60 c LP pivots internal 0
3600.04/3611.60 c LP pivots root 0
3600.04/3611.60 c LP calls 0
3600.04/3611.60 c LP optimalities 0
3600.04/3611.60 c LP no pivot count 0
3600.04/3611.60 c LP infeasibilities 0
3600.04/3611.60 c LP valid Farkas constraints 0
3600.04/3611.60 c LP learned Farkas constraints 0
3600.04/3611.60 c LP basis resets 0
3600.04/3611.60 c LP cycling count 0
3600.04/3611.60 c LP singular count 0
3600.04/3611.60 c LP no primal count 0
3600.04/3611.60 c LP no farkas count 0
3600.04/3611.60 c LP other issue count 0
3600.04/3611.60 c LP Gomory cuts 0
3600.04/3611.60 c LP learned cuts 0
3600.04/3611.60 c LP deleted cuts 0
3600.04/3611.60 c LP encountered Gomory constraints 0
3600.04/3611.60 c LP encountered Farkas constraints 0
3600.04/3611.60 c LP encountered learned Farkas constraints 0
3600.04/3611.60 c CG auxiliary variables introduced 688
3600.04/3611.60 c CG solutions found 1
3600.04/3611.60 c CG cores constructed 665
3600.04/3611.60 c CG core cardinality constraints returned 26
3600.04/3611.60 c CG unit cores 0
3600.04/3611.60 c CG single cores 629
3600.04/3611.60 c CG blocks removed during cardinality reduction 8268
3600.04/3611.60 c CG first core best 0
3600.04/3611.60 c CG decision core best 0
3600.04/3611.60 c CG core reduction tie 36
3600.04/3611.60 c CG core degree average 10.40
3600.04/3611.60 c CG core slack average 6.54
3600.04/3611.60 c CG exhausted 0
3600.04/3611.60 c CG exhaust time 74.7018 s
3600.04/3611.60 c CG trimmed 45
3600.04/3611.60 c CG trim time 0.735045 s
3600.04/3611.60 c CG minimized 0
3600.04/3611.60 c CG minimize time 0 s
3600.04/3611.60 c CG am1 prop time 0.0144 s
3600.04/3611.60 c CG # am1s reformulated 23
3600.04/3611.60 c CG lower bound derived from am1s 695
3600.04/3611.60 c CG # clausal cores 580
3600.04/3611.60 c CG # cardinality cores 0
3600.04/3611.60 c CG # pb cores 121
3600.04/3611.60 c CG # pb reforms 0
3600.04/3611.60 c CG # cores discarded because of pb reform 0
3600.04/3611.60 d LOWERBOUND -154303
3600.04/3611.60 d NCORES 665
3600.04/3611.60 d NPBCORES 121
3600.04/3611.60 d NPBREFORM 0
3600.04/3611.60 d NTRIMMED 45
3600.04/3611.60 d NEXHAUSTED 0
3600.04/3611.60 d NAM1S 23
3600.04/3611.60 d AM1LB 695
3600.04/3611.60 o -48992
3600.04/3611.60 s SATISFIABLE
3600.04/3611.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000
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: 63708 MiB (59750 MiB free)
memory of node 1: 64465 MiB (59830 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518176-1751538181/watcher-4518176-1751538181 -o /tmp/evaluation-result-4518176-1751538181/solver-4518176-1751538181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76848 --watchdog 3760 pb-oll-rs HOME/instance-4518176-1751538181.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78290, runsolver pid=78287
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122451916/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=21876 memory=8704 CPUtime=0.09 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 1054 0 0 0 8 1 0 0 20 0 1 0 69495561 22401024 2176 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 5469 2176 1312 243 0 1718 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21876 KiB
Current children cumulated memory: 8704 KiB
[startup+0.205702 s]*
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122451676/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=23036 memory=11988 CPUtime=0.2 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 1377 0 0 0 19 1 0 0 20 0 1 0 69495561 23588864 2997 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 5759 2997 1312 243 0 2008 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23036 KiB
Current children cumulated memory: 11988 KiB
[startup+0.305581 s]*
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122451676/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=24872 memory=13908 CPUtime=0.29 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 1834 0 0 0 28 1 0 0 20 0 1 0 69495561 25468928 3477 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 6218 3477 1312 243 0 2467 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24872 KiB
Current children cumulated memory: 13908 KiB
[startup+0.700134 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122451676/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=29064 memory=18392 CPUtime=0.68 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 2442 0 0 0 66 2 0 0 20 0 1 0 69495561 29761536 4598 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 7266 4598 1312 243 0 3515 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29064 KiB
Current children cumulated memory: 18392 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122447140/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=37012 memory=25584 CPUtime=1.48 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 3750 0 0 0 144 4 0 0 20 0 1 0 69495561 37900288 6396 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 9253 6396 1312 243 0 5502 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37012 KiB
Current children cumulated memory: 25584 KiB
[startup+3.1055 s]
/proc/loadavg: 4.06 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122424224/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=53096 memory=39568 CPUtime=3.08 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 6214 0 0 0 301 7 0 0 20 0 1 0 69495561 54370304 9892 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 13274 9892 1312 243 0 9523 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53096 KiB
Current children cumulated memory: 39568 KiB
[startup+6.30016 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122416420/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=65060 memory=46352 CPUtime=6.27 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 6876 0 0 0 616 11 0 0 20 0 1 0 69495561 66621440 11588 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 16265 11588 1312 243 0 12514 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 65060 KiB
Current children cumulated memory: 46352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122376680/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=83408 memory=68824 CPUtime=12.65 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 10454 0 0 0 1248 17 0 0 20 0 1 0 69495561 85409792 17206 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 20852 17206 1312 243 0 17101 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 83408 KiB
Current children cumulated memory: 68824 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/266 78291
/proc/meminfo: memFree=122317136/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=102696 memory=77304 CPUtime=25.42 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 11559 0 0 0 2512 30 0 0 20 0 1 0 69495561 105160704 19326 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 25674 19326 1312 243 0 21923 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 102696 KiB
Current children cumulated memory: 77304 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 78291
/proc/meminfo: memFree=122205752/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=126220 memory=98632 CPUtime=50.96 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 15354 0 0 0 5049 47 0 0 20 0 1 0 69495561 129249280 24658 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 31555 24658 1312 243 0 27804 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 126220 KiB
Current children cumulated memory: 98632 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/266 78293
/proc/meminfo: memFree=121922832/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=188272 memory=158732 CPUtime=102.02 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 28873 0 0 0 9865 337 0 0 20 0 1 0 69495561 192790528 39683 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 47068 39683 1312 243 0 43317 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 188272 KiB
Current children cumulated memory: 158732 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/265 78295
/proc/meminfo: memFree=121704916/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=335832 memory=263692 CPUtime=161.86 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 44918 0 0 0 15614 572 0 0 20 0 1 0 69495561 343891968 65923 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 83958 65923 1312 243 0 80207 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 335832 KiB
Current children cumulated memory: 263692 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 78342
/proc/meminfo: memFree=124114616/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=341984 memory=268684 CPUtime=221.7 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 46201 0 0 0 21518 652 0 0 20 0 1 0 69495561 350191616 67171 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 85496 67171 1312 243 0 81745 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 341984 KiB
Current children cumulated memory: 268684 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78344
/proc/meminfo: memFree=124020852/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=344648 memory=275848 CPUtime=281.53 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 46972 0 0 0 27398 755 0 0 20 0 1 0 69495561 352919552 68962 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 86162 68962 1312 243 0 82411 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 344648 KiB
Current children cumulated memory: 275848 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 78346
/proc/meminfo: memFree=123865172/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=347424 memory=277512 CPUtime=341.37 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 47409 0 0 0 33286 851 0 0 20 0 1 0 69495561 355762176 69378 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 86856 69378 1312 243 0 83105 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 347424 KiB
Current children cumulated memory: 277512 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 78348
/proc/meminfo: memFree=123788628/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=349356 memory=278792 CPUtime=401.21 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 47741 0 0 0 39152 969 0 0 20 0 1 0 69495561 357740544 69698 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 87339 69698 1312 243 0 83588 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 349356 KiB
Current children cumulated memory: 278792 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78352
/proc/meminfo: memFree=123725476/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=349356 memory=278792 CPUtime=461.05 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 47752 0 0 0 45042 1063 0 0 20 0 1 0 69495561 357740544 69698 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 87339 69698 1312 243 0 83588 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
Current children cumulated memory: 804680 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 78569
/proc/meminfo: memFree=123177376/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=968956 memory=805192 CPUtime=2853.7 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 143418 0 0 0 283168 2202 0 0 20 0 1 0 69495561 992210944 201298 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 242239 201298 1312 243 0 238488 0
Current children cumulated CPU time: 2853.7 s
Current children cumulated vsize: 968956 KiB
Current children cumulated memory: 805192 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/265 78572
/proc/meminfo: memFree=123117084/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=969368 memory=809092 CPUtime=2913.49 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 143869 0 0 0 289118 2231 0 0 20 0 1 0 69495561 992632832 202273 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 242342 202273 1312 243 0 238591 0
Current children cumulated CPU time: 2913.49 s
Current children cumulated vsize: 969368 KiB
Current children cumulated memory: 809092 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.20 4.14 5/264 78576
/proc/meminfo: memFree=123076336/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=971012 memory=823012 CPUtime=2973.26 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 145510 0 0 0 295077 2249 0 0 20 0 1 0 69495561 994316288 205753 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 242753 205753 1312 243 0 239002 0
Current children cumulated CPU time: 2973.26 s
Current children cumulated vsize: 971012 KiB
Current children cumulated memory: 823012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.38 4.23 4.15 5/265 78583
/proc/meminfo: memFree=123027236/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1189028 memory=839632 CPUtime=3033.04 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 147928 0 0 0 301036 2268 0 0 20 0 1 0 69495561 1217564672 209908 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 297257 209908 1312 243 0 293506 0
Current children cumulated CPU time: 3033.04 s
Current children cumulated vsize: 1189028 KiB
Current children cumulated memory: 839632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.35 4.26 4.16 5/264 78585
/proc/meminfo: memFree=122941456/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1205716 memory=858416 CPUtime=3092.79 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 152234 0 0 0 306994 2285 0 0 20 0 1 0 69495561 1234653184 214604 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 301429 214604 1312 243 0 297678 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 1205716 KiB
Current children cumulated memory: 858416 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.22 4.16 5/264 78587
/proc/meminfo: memFree=122785512/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1216748 memory=873704 CPUtime=3152.54 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 155814 0 0 0 312948 2306 0 0 20 0 1 0 69495561 1245949952 218426 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 304187 218426 1312 243 0 300436 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 1216748 KiB
Current children cumulated memory: 873704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.21 4.16 5/264 78590
/proc/meminfo: memFree=122747896/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1219960 memory=883644 CPUtime=3212.3 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 157333 0 0 0 318903 2327 0 0 20 0 1 0 69495561 1249239040 220911 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 304990 220911 1312 243 0 301239 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 1219960 KiB
Current children cumulated memory: 883644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/264 78592
/proc/meminfo: memFree=122701244/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1225024 memory=897888 CPUtime=3272.05 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 159637 0 0 0 324857 2348 0 0 20 0 1 0 69495561 1254424576 224472 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 306256 224472 1312 243 0 302505 0
Current children cumulated CPU time: 3272.05 s
Current children cumulated vsize: 1225024 KiB
Current children cumulated memory: 897888 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/263 78594
/proc/meminfo: memFree=122637284/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1231444 memory=910428 CPUtime=3331.8 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162253 0 0 0 330810 2370 0 0 20 0 1 0 69495561 1260998656 227607 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 307861 227607 1312 243 0 304110 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 1231444 KiB
Current children cumulated memory: 910428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/263 78596
/proc/meminfo: memFree=122597860/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1232368 memory=912856 CPUtime=3391.57 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162591 0 0 0 336752 2405 0 0 20 0 1 0 69495561 1261944832 228214 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 308092 228214 1312 243 0 304341 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 1232368 KiB
Current children cumulated memory: 912856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/264 78599
/proc/meminfo: memFree=122566748/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1232368 memory=912856 CPUtime=3451.34 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162591 0 0 0 342698 2436 0 0 20 0 1 0 69495561 1261944832 228214 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 308092 228214 1312 243 0 304341 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 1232368 KiB
Current children cumulated memory: 912856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.14 5/264 78601
/proc/meminfo: memFree=122463784/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1232368 memory=912856 CPUtime=3511.09 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162591 0 0 0 348641 2468 0 0 20 0 1 0 69495561 1261944832 228214 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 308092 228214 1312 243 0 304341 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 1232368 KiB
Current children cumulated memory: 912856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.13 5/264 78606
/proc/meminfo: memFree=122344060/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1232368 memory=912856 CPUtime=3570.85 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162591 0 0 0 354592 2493 0 0 20 0 1 0 69495561 1261944832 228214 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 308092 228214 1312 243 0 304341 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 1232368 KiB
Current children cumulated memory: 912856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.11 4.13 4.13 5/264 78611
/proc/meminfo: memFree=122321836/131249996 swapFree=33006296/33010684
[pid=78290] ppid=78287 vsize=1232368 memory=912856 CPUtime=3600.04 cores=1,3
/proc/78290/stat : 78290 (pb-oll-rs) R 78287 78290 76836 0 -1 4194304 162591 0 0 0 357502 2502 0 0 20 0 1 0 69495561 1261944832 228214 18446744073709551615 4218880 5211445 140732608308000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29876224 140732608309660 140732608309737 140732608309737 140732608315339 0
/proc/78290/statm: 308092 228214 1312 243 0 304341 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1232368 KiB
Current children cumulated memory: 912856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.63 s]
# the end of solver process 78290 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.03 s, system=25.054 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.63
CPU time (s): 3600.08
CPU user time (s): 3575.03
CPU system time (s): 25.054
CPU usage (%): 99.6801
Max. virtual memory (cumulated for all children) (KiB): 1232700
Max. memory (cumulated for all children) (KiB): 913176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.03
system time used= 25.054
maximum resident set size= 913240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162607
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= 178
involuntary context switches= 6867
# summary of solver processes directly reported to runsolver:
# pid: 78290
# total CPU time (s): 3600.08
# total CPU user time (s): 3575.03
# total CPU system time (s): 25.054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54622 second user time and 16.1507 second system time
The end
Begin job on nodeC015 at 2025-07-03 12:23:01
IDJOB=4518176
IDBENCH=176641
IDSOLVER=3345
FILE ID=nodeC015/4518176-1751538181
RUNJOBID= nodeC015-1751530924-76848
SLURM_JOB_ID= 9598673
Free space on /tmp= 432368 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518176-1751538181/watcher-4518176-1751538181 -o /tmp/evaluation-result-4518176-1751538181/solver-4518176-1751538181 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76848 --watchdog 3760 pb-oll-rs HOME/instance-4518176-1751538181.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=1634226368
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.001
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.073
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3598.766
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3654.463
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.160
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.081
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3658.415
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.116
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122451756 kB
MemAvailable: 123066264 kB
Buffers: 1508 kB
Cached: 1398056 kB
SwapCached: 3880 kB
Active: 6951364 kB
Inactive: 1160204 kB
Active(anon): 6677348 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1111396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1672 kB
Writeback: 0 kB
AnonPages: 6706916 kB
Mapped: 104108 kB
Shmem: 14152 kB
KReclaimable: 136668 kB
Slab: 226932 kB
SReclaimable: 136668 kB
SUnreclaim: 90264 kB
KernelStack: 4272 kB
PageTables: 17592 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 9006524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3002368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432364 MiB
End job on nodeC015 at 2025-07-03 13:23:13