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.00	c [STEP] solving
0.00/0.00	c #variables 1000 #constraints 1
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= -4908981 @ 0.001166
0.00/0.00	c stratification level: 0
0.00/0.02	c bounds - >= -2663661 @ 0.003319
0.00/0.02	c bounds - >= -1657003 @ 0.004751
0.00/0.02	c bounds - >= -1161907 @ 0.006089
0.00/0.02	c bounds - >= -907883 @ 0.007302
0.00/0.02	c bounds - >= -784123 @ 0.008365
0.00/0.02	c bounds - >= -721918 @ 0.009274
0.00/0.02	c bounds - >= -690764 @ 0.010001
0.00/0.02	c bounds - >= -675356 @ 0.010666
0.00/0.02	c bounds - >= -668046 @ 0.011348
0.00/0.02	c bounds - >= -663116 @ 0.011926
0.00/0.02	c bounds - >= -659066 @ 0.012522
0.00/0.02	c bounds - >= -656822 @ 0.013068
0.00/0.02	c bounds - >= -654872 @ 0.013634
0.00/0.02	c bounds - >= -653874 @ 0.014169
0.00/0.02	c bounds - >= -653152 @ 0.0146
0.00/0.02	c bounds - >= -652642 @ 0.015077
0.00/0.02	c bounds - >= -652278 @ 0.015435
0.00/0.02	c bounds - >= -652128 @ 0.015754
0.00/0.02	c bounds - >= -651998 @ 0.016007
0.00/0.02	c bounds - >= -651920 @ 0.016256
0.00/0.02	c bounds - >= -651852 @ 0.016491
0.00/0.02	c bounds - >= -651810 @ 0.016729
0.00/0.02	c bounds - >= -651786 @ 0.016816
0.00/0.02	c bounds - >= -651768 @ 0.016816
0.00/0.02	c bounds - >= -651753 @ 0.01684
0.00/0.02	c bounds - >= -651750 @ 0.017066
0.00/0.02	c bounds - >= -651748 @ 0.017164
0.00/0.02	c bounds - >= -651747 @ 0.017164
0.00/0.02	c finalizing WCE round: reformulating cores
55.93/56.17	c bounds -472726 >= -1657003 @ 0.045335
55.93/56.17	c bounds -472726 >= -1657003 @ 0.189634
55.93/56.17	c bounds -473126 >= -1157423 @ 0.19633
55.93/56.17	c bounds -473126 >= -1157423 @ 0.221597
55.93/56.17	c bounds -473126 >= -1157423 @ 0.512128
55.93/56.17	c #Conflicts:       1000 | #Constraints:       1053
55.93/56.17	c bounds -473126 >= -899871 @ 1.57552
55.93/56.17	c bounds -473126 >= -899871 @ 1.58135
55.93/56.17	c bounds -473126 >= -899871 @ 1.61807
55.93/56.17	c bounds -473126 >= -899871 @ 1.62405
55.93/56.17	c #Conflicts:       2000 | #Constraints:       2065
55.93/56.17	c INPROCESSING
55.93/56.17	c bounds -473126 >= -773863 @ 4.87952
55.93/56.17	c bounds -473126 >= -773863 @ 5.0224
55.93/56.17	c bounds -473126 >= -773863 @ 5.23559
55.93/56.17	c #Conflicts:       3000 | #Constraints:       2654
55.93/56.17	c bounds -473126 >= -773863 @ 5.44672
55.93/56.17	c bounds -473455 >= -710570 @ 5.57821
55.93/56.17	c bounds -473455 >= -710570 @ 5.59367
55.93/56.17	c bounds -473455 >= -710570 @ 5.60358
55.93/56.17	c bounds -473455 >= -710570 @ 5.61577
55.93/56.17	c bounds -473455 >= -710570 @ 5.71877
55.93/56.17	c bounds -473455 >= -710570 @ 5.81694
55.93/56.17	c bounds -473761 >= -678558 @ 7.8165
55.93/56.17	c bounds -473761 >= -678558 @ 7.84472
55.93/56.17	c bounds -473761 >= -678558 @ 7.87611
55.93/56.17	c #Conflicts:       4000 | #Constraints:       3683
55.93/56.17	c bounds -473761 >= -678558 @ 8.08141
55.93/56.17	c bounds -473761 >= -678558 @ 8.10266
55.93/56.17	c bounds -473761 >= -678558 @ 8.40408
55.93/56.17	c bounds -473761 >= -662706 @ 11.5966
55.93/56.17	c bounds -473761 >= -662706 @ 11.6067
55.93/56.17	c bounds -473761 >= -662706 @ 11.617
55.93/56.17	c #Conflicts:       5000 | #Constraints:       4698
55.93/56.17	c bounds -473761 >= -662706 @ 11.8566
55.93/56.17	c bounds -473761 >= -662706 @ 12.3641
55.93/56.17	c bounds -473761 >= -655216 @ 17.0691
55.93/56.17	c bounds -473761 >= -655216 @ 17.0922
55.93/56.17	c bounds -473761 >= -655216 @ 17.1113
55.93/56.17	c bounds -473761 >= -655216 @ 17.1177
55.93/56.17	c #Conflicts:       6000 | #Constraints:       5714
55.93/56.17	c INPROCESSING
55.93/56.17	c bounds -473761 >= -655216 @ 17.2265
55.93/56.17	c bounds -473761 >= -655216 @ 17.2625
55.93/56.17	c bounds -473761 >= -655216 @ 17.3571
55.93/56.17	c bounds -473761 >= -650167 @ 21.4681
55.93/56.17	c bounds -473761 >= -650167 @ 21.4897
55.93/56.17	c bounds -473761 >= -650167 @ 21.4935
55.93/56.17	c bounds -473761 >= -650167 @ 21.4998
55.93/56.17	c bounds -473761 >= -650167 @ 21.5119
55.93/56.17	c bounds -473761 >= -650167 @ 21.5454
55.93/56.17	c #Conflicts:       7000 | #Constraints:       5820
55.93/56.17	c bounds -473761 >= -650167 @ 22.035
55.93/56.17	c bounds -474153 >= -645102 @ 23.0997
55.93/56.17	c bounds -474153 >= -645102 @ 23.1533
55.93/56.17	c bounds -474153 >= -645102 @ 23.1969
55.93/56.17	c bounds -474153 >= -645102 @ 23.2111
55.93/56.17	c bounds -474153 >= -645102 @ 23.2597
55.93/56.17	c bounds -474153 >= -645102 @ 23.3238
55.93/56.17	c bounds -474153 >= -645102 @ 23.9706
55.93/56.17	c #Conflicts:       8000 | #Constraints:       6841
55.93/56.17	c bounds -474153 >= -642795 @ 30.6198
55.93/56.17	c bounds -474153 >= -642795 @ 30.6216
55.93/56.17	c bounds -474153 >= -642795 @ 30.6226
55.93/56.17	c bounds -474153 >= -642795 @ 30.6252
55.93/56.17	c bounds -474153 >= -642795 @ 30.63
55.93/56.17	c bounds -474153 >= -642795 @ 33.2678
55.93/56.17	c bounds -474625 >= -640233 @ 33.4636
55.93/56.17	c bounds -474625 >= -640233 @ 33.5163
55.93/56.17	c bounds -474625 >= -640233 @ 33.5537
55.93/56.17	c bounds -474625 >= -640233 @ 33.6211
55.93/56.17	c bounds -474625 >= -640233 @ 33.7889
55.93/56.17	c #Conflicts:       9000 | #Constraints:       7874
55.93/56.17	c bounds -474625 >= -640233 @ 36.444
55.93/56.17	c bounds -474625 >= -640233 @ 37.0491
55.93/56.17	c bounds -474829 >= -639200 @ 38.4682
55.93/56.17	c bounds -474829 >= -639200 @ 38.5653
55.93/56.17	c bounds -474829 >= -639200 @ 39.2655
55.93/56.17	c bounds -474829 >= -639200 @ 40.5317
55.93/56.17	c #Conflicts:      10000 | #Constraints:       8891
55.93/56.17	c bounds -475768 >= -638470 @ 45.4428
55.93/56.17	c bounds -475768 >= -638470 @ 45.4456
55.93/56.17	c bounds -475768 >= -638470 @ 45.4501
55.93/56.17	c bounds -475768 >= -638470 @ 45.456
55.93/56.17	c bounds -475768 >= -638470 @ 45.4645
55.93/56.17	c bounds -475768 >= -638470 @ 48.3609
55.93/56.17	c bounds -475918 >= -637732 @ 48.4351
55.93/56.17	c bounds -475918 >= -637732 @ 48.5113
55.93/56.17	c bounds -475918 >= -637732 @ 48.5995
55.93/56.17	c bounds -475918 >= -637732 @ 48.7016
55.93/56.17	c bounds -475918 >= -637732 @ 48.8711
55.93/56.17	c bounds -475918 >= -637732 @ 49.5323
55.93/56.17	c bounds -475918 >= -637732 @ 50.3014
55.93/56.17	c bounds -476503 >= -637361 @ 50.7425
55.93/56.17	c bounds -476503 >= -637361 @ 50.746
55.93/56.17	c bounds -476503 >= -637361 @ 50.7527
55.93/56.17	c bounds -476503 >= -637361 @ 50.7656
55.93/56.17	c bounds -476503 >= -637361 @ 50.7837
55.93/56.17	c bounds -476503 >= -637361 @ 50.7985
55.93/56.17	c bounds -476503 >= -637361 @ 50.8382
55.93/56.17	c #Conflicts:      11000 | #Constraints:       9946
55.93/56.17	c bounds -476503 >= -637361 @ 55.1823
55.93/56.17	c bounds -477386 >= -637099 @ 55.2425
55.93/56.17	c bounds -477386 >= -637099 @ 55.3263
55.93/56.17	c bounds -477386 >= -637099 @ 55.3496
96.89/97.26	c bounds -477386 >= -637099 @ 55.3725
96.89/97.26	c bounds -477386 >= -637099 @ 55.3931
96.89/97.26	c bounds -477386 >= -637099 @ 55.453
96.89/97.26	c bounds -477386 >= -637099 @ 55.4799
96.89/97.26	c bounds -477386 >= -637099 @ 55.5616
96.89/97.26	c bounds -477386 >= -637099 @ 55.6253
96.89/97.26	c bounds -477386 >= -637099 @ 56.1381
96.89/97.26	c bounds -477386 >= -637099 @ 58.6358
96.89/97.26	c #Conflicts:      12000 | #Constraints:      10975
96.89/97.26	c INPROCESSING
96.89/97.26	c GARBAGE COLLECT
96.89/97.26	c bounds -477386 >= -636958 @ 78.0839
96.89/97.26	c bounds -477386 >= -636958 @ 78.1179
96.89/97.26	c bounds -477386 >= -636958 @ 78.1241
96.89/97.26	c bounds -477386 >= -636958 @ 78.1332
96.89/97.26	c bounds -477386 >= -636958 @ 78.1405
96.89/97.26	c bounds -477386 >= -636958 @ 78.148
96.89/97.26	c #Conflicts:      13000 | #Constraints:      10299
96.89/97.26	c bounds -477386 >= -636958 @ 81.6116
96.89/97.26	c bounds -477883 >= -636789 @ 81.6371
96.89/97.26	c bounds -477883 >= -636789 @ 81.6449
96.89/97.26	c bounds -477883 >= -636789 @ 81.6557
96.89/97.26	c bounds -477883 >= -636789 @ 81.6705
96.89/97.26	c bounds -477883 >= -636789 @ 81.6784
96.89/97.26	c bounds -477883 >= -636789 @ 81.7074
96.89/97.26	c bounds -477883 >= -636789 @ 81.7539
96.89/97.26	c bounds -477883 >= -636789 @ 82.4293
96.89/97.26	c bounds -478433 >= -636697 @ 82.6593
96.89/97.26	c bounds -478433 >= -636697 @ 82.6728
96.89/97.26	c bounds -478433 >= -636697 @ 82.6773
96.89/97.26	c bounds -478433 >= -636697 @ 82.6824
96.89/97.26	c #Conflicts:      14000 | #Constraints:      11340
96.89/97.26	c bounds -478433 >= -636519 @ 90.6006
96.89/97.26	c bounds -478433 >= -636519 @ 90.6304
96.89/97.26	c bounds -478433 >= -636519 @ 90.6408
96.89/97.26	c bounds -478433 >= -636519 @ 90.6699
96.89/97.26	c bounds -478433 >= -636519 @ 90.701
96.89/97.26	c bounds -478433 >= -636519 @ 90.7231
96.89/97.26	c bounds -478433 >= -636519 @ 90.8926
96.89/97.26	c bounds -479903 >= -636481 @ 91.3579
96.89/97.26	c bounds -479903 >= -636481 @ 91.3604
96.89/97.26	c bounds -479903 >= -636481 @ 91.3626
96.89/97.26	c bounds -479903 >= -636481 @ 91.3674
96.89/97.26	c bounds -479903 >= -636481 @ 91.3769
96.89/97.26	c bounds -479903 >= -636481 @ 91.3921
96.89/97.26	c bounds -483296 >= -636445 @ 91.416
96.89/97.26	c bounds -483296 >= -636445 @ 91.4193
96.89/97.26	c bounds -483296 >= -636445 @ 91.4226
96.89/97.26	c bounds -483296 >= -636445 @ 91.425
96.89/97.26	c bounds -483296 >= -636445 @ 91.4389
96.89/97.26	c bounds -483333 >= -636385 @ 92.0271
96.89/97.26	c bounds -483333 >= -636385 @ 92.0423
96.89/97.26	c bounds -483333 >= -636385 @ 92.0504
96.89/97.26	c bounds -483333 >= -636385 @ 92.0596
96.89/97.26	c bounds -483333 >= -636385 @ 92.065
96.89/97.26	c bounds -483333 >= -636385 @ 92.0711
96.89/97.26	c bounds -483333 >= -636385 @ 92.1229
96.89/97.26	c bounds -483333 >= -636385 @ 94.0983
96.89/97.26	c bounds -483644 >= -636374 @ 94.3135
96.89/97.26	c bounds -483644 >= -636374 @ 94.319
96.89/97.26	c bounds -483644 >= -636374 @ 94.3229
96.89/97.26	c bounds -483644 >= -636374 @ 94.3266
96.89/97.26	c bounds -483644 >= -636374 @ 94.3365
96.89/97.26	c bounds -483661 >= -636367 @ 95.0257
96.89/97.26	c bounds -483661 >= -636367 @ 95.0344
96.89/97.26	c bounds -483661 >= -636367 @ 95.0501
96.89/97.26	c bounds -483661 >= -636367 @ 95.0525
96.89/97.26	c bounds -483697 >= -636358 @ 95.5231
96.89/97.26	c bounds -483697 >= -636358 @ 95.5337
96.89/97.26	c bounds -483697 >= -636358 @ 95.5448
96.89/97.26	c bounds -483697 >= -636358 @ 95.5548
96.89/97.26	c bounds -484611 >= -636354 @ 95.7187
96.89/97.26	c bounds -484611 >= -635177 @ 95.788
96.89/97.26	c bounds -484611 >= -635136 @ 95.7977
96.89/97.26	c bounds -484611 >= -635118 @ 95.8035
96.89/97.26	c bounds -484611 >= -635016 @ 95.8129
96.89/97.26	c bounds -484611 >= -634982 @ 95.8217
96.89/97.26	c bounds -484611 >= -634837 @ 95.8266
96.89/97.26	c bounds -484611 >= -634834 @ 95.8316
96.89/97.26	c bounds -484611 >= -634832 @ 95.8411
96.89/97.26	c bounds -484611 >= -634831 @ 95.8461
96.89/97.26	c bounds -484611 >= -634822 @ 95.851
96.89/97.26	c bounds -484611 >= -634809 @ 95.8559
96.89/97.26	c bounds -484611 >= -634806 @ 95.8609
96.89/97.26	c bounds -484611 >= -634805 @ 95.866
96.89/97.26	c bounds -484611 >= -634791 @ 95.876
96.89/97.26	c bounds -484611 >= -634789 @ 95.8811
96.89/97.26	c bounds -484611 >= -634788 @ 95.8906
96.89/97.26	c bounds -484611 >= -634785 @ 95.8957
96.89/97.26	c bounds -484611 >= -634784 @ 95.9004
96.89/97.26	c bounds -484611 >= -634770 @ 95.9097
96.89/97.26	c bounds -484611 >= -634732 @ 95.9189
96.89/97.26	c bounds -484611 >= -634587 @ 95.9238
96.89/97.26	c bounds -484611 >= -634345 @ 95.9347
96.89/97.26	c bounds -484611 >= -634215 @ 95.937
96.89/97.26	c bounds -484611 >= -634113 @ 95.9409
96.89/97.26	c bounds -484611 >= -634101 @ 95.9428
96.89/97.26	c bounds -484611 >= -634091 @ 95.9462
96.89/97.26	c bounds -484611 >= -634088 @ 95.966
96.89/97.26	c bounds -484611 >= -634087 @ 95.9697
96.89/97.26	c bounds -484611 >= -634069 @ 95.9843
96.89/97.26	c bounds -484611 >= -634068 @ 95.9933
96.89/97.26	c bounds -484611 >= -634067 @ 96.0103
96.89/97.26	c bounds -484611 >= -634065 @ 96.0181
96.89/97.26	c bounds -484611 >= -634062 @ 96.0337
96.89/97.26	c bounds -484611 >= -634059 @ 96.0394
96.89/97.26	c bounds -484611 >= -634048 @ 96.0911
96.89/97.26	c bounds -484611 >= -634042 @ 96.1174
96.89/97.26	c bounds -484611 >= -634039 @ 96.1317
101.08/101.47	c bounds -484611 >= -634030 @ 96.1431
101.08/101.47	c bounds -484611 >= -634029 @ 96.1553
101.08/101.47	c bounds -484611 >= -634028 @ 96.164
101.08/101.47	c bounds -484611 >= -634026 @ 96.1812
101.08/101.47	c bounds -484611 >= -634025 @ 96.1918
101.08/101.47	c bounds -484611 >= -634024 @ 96.2205
101.08/101.47	c bounds -484611 >= -634004 @ 96.2314
101.08/101.47	c bounds -484611 >= -633993 @ 96.2394
101.08/101.47	c bounds -484611 >= -633989 @ 96.262
101.08/101.47	c bounds -484611 >= -633975 @ 96.2728
101.08/101.47	c bounds -484611 >= -633974 @ 96.2859
101.08/101.47	c bounds -484611 >= -633972 @ 96.2963
101.08/101.47	c bounds -484611 >= -633968 @ 96.3091
101.08/101.47	c bounds -484611 >= -633966 @ 96.314
101.08/101.47	c bounds -484611 >= -633965 @ 96.3191
101.08/101.47	c bounds -484611 >= -633964 @ 96.3225
101.08/101.47	c bounds -484611 >= -633929 @ 96.3314
101.08/101.47	c bounds -484611 >= -633903 @ 96.3401
101.08/101.47	c bounds -484611 >= -633890 @ 96.3736
101.08/101.47	c bounds -484611 >= -633888 @ 96.3872
101.08/101.47	c bounds -484611 >= -633887 @ 96.4226
101.08/101.47	c bounds -484611 >= -633886 @ 96.5131
101.08/101.47	c bounds -484611 >= -633883 @ 96.5448
101.08/101.47	c bounds -484611 >= -633881 @ 96.5749
101.08/101.47	c bounds -484611 >= -633876 @ 96.6019
101.08/101.47	c bounds -484611 >= -633874 @ 96.6141
101.08/101.47	c bounds -484611 >= -633873 @ 96.6341
101.08/101.47	c bounds -484611 >= -633872 @ 96.6805
101.08/101.47	c bounds -484611 >= -633871 @ 96.7534
101.08/101.47	c bounds -484611 >= -633310 @ 96.7939
101.08/101.47	c bounds -484611 >= -633309 @ 96.8303
101.08/101.47	c bounds -484611 >= -633308 @ 96.8467
101.08/101.47	c bounds -484611 >= -633305 @ 96.8513
101.08/101.47	c bounds -484611 >= -633304 @ 96.8555
101.08/101.47	c bounds -484611 >= -633303 @ 96.8602
101.08/101.47	c bounds -484611 >= -633302 @ 96.8629
101.08/101.47	c bounds -484611 >= -633291 @ 96.8646
101.08/101.47	c bounds -484611 >= -633193 @ 96.8679
101.08/101.47	c bounds -484611 >= -633184 @ 96.8697
101.08/101.47	c bounds -484611 >= -633150 @ 96.8723
101.08/101.47	c bounds -484611 >= -633148 @ 96.8748
101.08/101.47	c bounds -484611 >= -633145 @ 96.8773
101.08/101.47	c bounds -484611 >= -633130 @ 96.8804
101.08/101.47	c bounds -484611 >= -633116 @ 96.8974
101.08/101.47	c bounds -484611 >= -633103 @ 96.9014
101.08/101.47	c bounds -484611 >= -633102 @ 96.9045
101.08/101.47	c bounds -484611 >= -633101 @ 96.9076
101.08/101.47	c bounds -484611 >= -632988 @ 96.9252
101.08/101.47	c bounds -484611 >= -632956 @ 96.9384
101.08/101.47	c bounds -484611 >= -632950 @ 96.9492
101.08/101.47	c bounds -484611 >= -632912 @ 96.9541
101.08/101.47	c bounds -484611 >= -632898 @ 96.9671
101.08/101.47	c bounds -484611 >= -632868 @ 96.9746
101.08/101.47	c bounds -484611 >= -632867 @ 96.9946
101.08/101.47	c bounds -484611 >= -632711 @ 97.0038
101.08/101.47	c bounds -484611 >= -632597 @ 97.1339
101.08/101.47	c bounds -484611 >= -632594 @ 97.1631
101.08/101.47	c bounds -484611 >= -632593 @ 97.1934
101.08/101.47	c bounds -484611 >= -632581 @ 97.2225
101.08/101.47	c bounds -484611 >= -632542 @ 97.2366
101.08/101.47	c bounds -484611 >= -632500 @ 97.2488
101.08/101.47	c bounds -484611 >= -632498 @ 97.2739
101.08/101.47	c bounds -484611 >= -632496 @ 97.2964
101.08/101.47	c bounds -484611 >= -632305 @ 97.3289
101.08/101.47	c bounds -484611 >= -632300 @ 97.3403
101.08/101.47	c bounds -484611 >= -631535 @ 97.3501
101.08/101.47	c bounds -484611 >= -631534 @ 97.4056
101.08/101.47	c bounds -484611 >= -631533 @ 97.4185
101.08/101.47	c bounds -484611 >= -631532 @ 97.4668
101.08/101.47	c bounds -484611 >= -631528 @ 97.4923
101.08/101.47	c bounds -484611 >= -631514 @ 97.5228
101.08/101.47	c bounds -484611 >= -631385 @ 97.5367
101.08/101.47	c bounds -484611 >= -631311 @ 97.5571
101.08/101.47	c bounds -484611 >= -631168 @ 97.5773
101.08/101.47	c bounds -484611 >= -631025 @ 97.5961
101.08/101.47	c bounds -484611 >= -630973 @ 97.6127
101.08/101.47	c bounds -484611 >= -630411 @ 97.6649
101.08/101.47	c bounds -484611 >= -630359 @ 97.685
101.08/101.47	c bounds -484611 >= -629183 @ 97.7022
101.08/101.47	c bounds -484611 >= -629003 @ 97.8315
101.08/101.47	c bounds -484611 >= -628967 @ 97.8337
101.08/101.47	c bounds -484611 >= -628966 @ 97.9695
101.08/101.47	c bounds -484611 >= -628944 @ 98.1447
101.08/101.47	c bounds -484611 >= -628915 @ 98.1862
101.08/101.47	c bounds -484611 >= -628914 @ 98.3542
101.08/101.47	c bounds -484611 >= -628913 @ 98.4092
101.08/101.47	c bounds -484611 >= -628902 @ 98.4218
101.08/101.47	c bounds -484611 >= -628897 @ 98.809
101.08/101.47	c bounds -484611 >= -628896 @ 98.828
101.08/101.47	c bounds -484611 >= -628893 @ 99.0662
101.08/101.47	c bounds -484611 >= -628891 @ 99.0921
101.08/101.47	c bounds -484611 >= -628879 @ 99.1729
101.08/101.47	c bounds -484611 >= -628862 @ 99.4805
101.08/101.47	c bounds -484611 >= -628861 @ 99.6505
101.08/101.47	c bounds -484611 >= -628860 @ 99.6726
101.08/101.47	c bounds -484611 >= -628845 @ 99.7587
101.08/101.47	c bounds -484611 >= -628823 @ 99.8142
101.08/101.47	c bounds -484611 >= -628806 @ 99.8582
101.08/101.47	c bounds -484611 >= -628787 @ 99.8859
101.08/101.47	c bounds -484611 >= -628751 @ 99.9093
101.08/101.47	c bounds -484611 >= -628749 @ 99.9154
101.08/101.47	c bounds -484611 >= -628740 @ 99.9623
101.08/101.47	c bounds -484611 >= -628732 @ 99.971
101.08/101.47	c #Conflicts:      15000 | #Constraints:      13075
101.08/101.47	c bounds -484611 >= -628675 @ 100.097
101.08/101.47	c bounds -484611 >= -628601 @ 100.151
101.08/101.47	c bounds -484611 >= -628527 @ 100.286
120.53/121.00	c bounds -484611 >= -628460 @ 100.38
120.53/121.00	c bounds -484611 >= -628188 @ 100.49
120.53/121.00	c bounds -484611 >= -628187 @ 100.586
120.53/121.00	c bounds -484611 >= -627992 @ 100.693
120.53/121.00	c bounds -484611 >= -626658 @ 100.708
120.53/121.00	c bounds -484611 >= -626657 @ 101.633
120.53/121.00	c bounds -484611 >= -626656 @ 102.078
120.53/121.00	c bounds -484611 >= -626653 @ 102.458
120.53/121.00	c bounds -484611 >= -626649 @ 102.638
120.53/121.00	c bounds -484611 >= -626646 @ 102.758
120.53/121.00	c bounds -484611 >= -626616 @ 102.798
120.53/121.00	c bounds -484611 >= -626615 @ 102.906
120.53/121.00	c bounds -484611 >= -626607 @ 103.022
120.53/121.00	c bounds -484611 >= -626605 @ 103.026
120.53/121.00	c bounds -484611 >= -626602 @ 103.03
120.53/121.00	c bounds -484611 >= -626516 @ 103.092
120.53/121.00	c bounds -484611 >= -626458 @ 103.348
120.53/121.00	c bounds -484611 >= -626271 @ 103.361
120.53/121.00	c bounds -484611 >= -626096 @ 103.441
120.53/121.00	c bounds -484611 >= -625534 @ 103.671
120.53/121.00	c bounds -484611 >= -625533 @ 103.937
120.53/121.00	c bounds -484611 >= -625532 @ 103.995
120.53/121.00	c bounds -484611 >= -625523 @ 104.085
120.53/121.00	c bounds -484611 >= -625515 @ 104.227
120.53/121.00	c bounds -484611 >= -625496 @ 104.262
120.53/121.00	c bounds -484611 >= -625494 @ 104.432
120.53/121.00	c bounds -484611 >= -625480 @ 104.452
120.53/121.00	c bounds -484611 >= -625465 @ 104.472
120.53/121.00	c bounds -484611 >= -625464 @ 104.549
120.53/121.00	c bounds -484611 >= -625460 @ 104.61
120.53/121.00	c bounds -484611 >= -625095 @ 104.656
120.53/121.00	c bounds -484611 >= -624587 @ 104.842
120.53/121.00	c bounds -484611 >= -623996 @ 104.909
120.53/121.00	c bounds -484611 >= -623919 @ 105.109
120.53/121.00	c bounds -484611 >= -623808 @ 105.144
120.53/121.00	c bounds -484611 >= -623799 @ 105.878
120.53/121.00	c bounds -484611 >= -623797 @ 106.231
120.53/121.00	c bounds -484611 >= -623464 @ 106.313
120.53/121.00	c bounds -484611 >= -623456 @ 106.313
120.53/121.00	c bounds -484611 >= -622630 @ 106.314
120.53/121.00	c bounds -484611 >= -621754 @ 106.344
120.53/121.00	c bounds -484611 >= -621269 @ 106.902
120.53/121.00	c bounds -484611 >= -621268 @ 107.029
120.53/121.00	c bounds -484611 >= -619512 @ 107.082
120.53/121.00	c bounds -484611 >= -619509 @ 107.246
120.53/121.00	c bounds -484611 >= -619451 @ 107.258
120.53/121.00	c bounds -484611 >= -619422 @ 107.405
120.53/121.00	c bounds -484611 >= -619420 @ 107.594
120.53/121.00	c bounds -484611 >= -619382 @ 107.648
120.53/121.00	c bounds -484611 >= -619379 @ 107.669
120.53/121.00	c bounds -484611 >= -619279 @ 107.685
120.53/121.00	c bounds -484611 >= -619277 @ 107.751
120.53/121.00	c bounds -484611 >= -619275 @ 107.753
120.53/121.00	c bounds -484611 >= -619234 @ 107.759
120.53/121.00	c bounds -484611 >= -619233 @ 107.794
120.53/121.00	c bounds -484611 >= -619219 @ 107.811
120.53/121.00	c bounds -484611 >= -619215 @ 107.827
120.53/121.00	c bounds -484611 >= -619024 @ 107.839
120.53/121.00	c bounds -484611 >= -618881 @ 107.853
120.53/121.00	c bounds -484611 >= -618705 @ 107.865
120.53/121.00	c bounds -484611 >= -618704 @ 108.713
120.53/121.00	c bounds -484611 >= -618701 @ 109.354
120.53/121.00	c bounds -484611 >= -618696 @ 109.496
120.53/121.00	c bounds -484611 >= -618695 @ 111.479
120.53/121.00	c bounds -484611 >= -618694 @ 111.643
120.53/121.00	c bounds -484611 >= -618691 @ 111.675
120.53/121.00	c bounds -484611 >= -618690 @ 111.939
120.53/121.00	c bounds -484611 >= -618689 @ 111.994
120.53/121.00	c bounds -484611 >= -618688 @ 112.044
120.53/121.00	c bounds -484611 >= -618687 @ 112.239
120.53/121.00	c bounds -484611 >= -618686 @ 112.325
120.53/121.00	c bounds -484611 >= -618685 @ 112.497
120.53/121.00	c bounds -484611 >= -618684 @ 112.552
120.53/121.00	c bounds -484611 >= -618682 @ 112.599
120.53/121.00	c #Conflicts:      16000 | #Constraints:      14399
120.53/121.00	c bounds -484611 >= -618681 @ 112.719
120.53/121.00	c bounds -484611 >= -618680 @ 112.845
120.53/121.00	c bounds -484611 >= -618679 @ 112.953
120.53/121.00	c bounds -484611 >= -618670 @ 113.608
120.53/121.00	c bounds -484611 >= -618668 @ 113.695
120.53/121.00	c bounds -484611 >= -618659 @ 113.747
120.53/121.00	c bounds -484611 >= -618574 @ 113.812
120.53/121.00	c bounds -484611 >= -618433 @ 113.834
120.53/121.00	c bounds -484611 >= -618397 @ 114.032
120.53/121.00	c bounds -484611 >= -618361 @ 114.3
120.53/121.00	c bounds -484611 >= -618330 @ 114.316
120.53/121.00	c bounds -484611 >= -618329 @ 114.757
120.53/121.00	c bounds -484611 >= -618313 @ 114.813
120.53/121.00	c bounds -484611 >= -618309 @ 114.883
120.53/121.00	c bounds -484611 >= -618247 @ 115.065
120.53/121.00	c bounds -484611 >= -618246 @ 115.386
120.53/121.00	c bounds -484611 >= -618242 @ 115.437
120.53/121.00	c bounds -484611 >= -618241 @ 115.747
120.53/121.00	c bounds -484611 >= -618238 @ 115.816
120.53/121.00	c bounds -484611 >= -618225 @ 115.853
120.53/121.00	c bounds -484611 >= -618224 @ 117.126
120.53/121.00	c bounds -484611 >= -618220 @ 117.42
120.53/121.00	c bounds -484611 >= -618215 @ 117.528
120.53/121.00	c bounds -484611 >= -618214 @ 117.883
120.53/121.00	c bounds -484611 >= -618146 @ 118.108
120.53/121.00	c bounds -484611 >= -618143 @ 118.198
120.53/121.00	c bounds -484611 >= -618090 @ 118.932
120.53/121.00	c bounds -484611 >= -617528 @ 119.028
120.53/121.00	c bounds -484611 >= -617516 @ 119.297
120.53/121.00	c bounds -484611 >= -617512 @ 119.344
120.53/121.00	c bounds -484611 >= -617467 @ 119.388
120.53/121.00	c bounds -484611 >= -617466 @ 119.532
120.53/121.00	c bounds -484611 >= -617304 @ 119.597
186.62/187.22	c bounds -484611 >= -617208 @ 119.637
186.62/187.22	c bounds -484611 >= -617055 @ 119.752
186.62/187.22	c bounds -484611 >= -615879 @ 119.791
186.62/187.22	c bounds -484611 >= -615878 @ 119.96
186.62/187.22	c bounds -484611 >= -615876 @ 119.968
186.62/187.22	c bounds -484611 >= -615314 @ 119.984
186.62/187.22	c bounds -484611 >= -614966 @ 119.992
186.62/187.22	c bounds -484611 >= -613602 @ 120.214
186.62/187.22	c bounds -484611 >= -613585 @ 120.906
186.62/187.22	c bounds -484611 >= -613528 @ 121.267
186.62/187.22	c bounds -484611 >= -613526 @ 123.401
186.62/187.22	c bounds -484611 >= -613523 @ 123.666
186.62/187.22	c bounds -484611 >= -613459 @ 124.103
186.62/187.22	c bounds -484611 >= -613282 @ 124.268
186.62/187.22	c bounds -484611 >= -613256 @ 124.295
186.62/187.22	c bounds -484611 >= -613244 @ 124.828
186.62/187.22	c bounds -484611 >= -613242 @ 124.892
186.62/187.22	c bounds -484611 >= -612985 @ 124.986
186.62/187.22	c bounds -484611 >= -612984 @ 124.986
186.62/187.22	c bounds -484611 >= -612724 @ 125.604
186.62/187.22	c bounds -484611 >= -612715 @ 126.207
186.62/187.22	c bounds -484611 >= -612452 @ 126.434
186.62/187.22	c bounds -484611 >= -612336 @ 126.615
186.62/187.22	c bounds -484611 >= -610482 @ 126.658
186.62/187.22	c bounds -484611 >= -610444 @ 126.802
186.62/187.22	c bounds -484611 >= -610406 @ 126.815
186.62/187.22	c bounds -484611 >= -610392 @ 126.828
186.62/187.22	c bounds -484611 >= -610378 @ 126.85
186.62/187.22	c bounds -484611 >= -610340 @ 126.861
186.62/187.22	c bounds -484611 >= -610302 @ 126.88
186.62/187.22	c bounds -484611 >= -610288 @ 126.891
186.62/187.22	c bounds -484611 >= -609501 @ 126.916
186.62/187.22	c bounds -484611 >= -608499 @ 126.945
186.62/187.22	c #Conflicts:      17000 | #Constraints:      15666
186.62/187.22	c bounds -484611 >= -608356 @ 127.766
186.62/187.22	c bounds -484611 >= -608339 @ 128.943
186.62/187.22	c bounds -484611 >= -608325 @ 129.051
186.62/187.22	c bounds -484611 >= -608324 @ 129.156
186.62/187.22	c bounds -484611 >= -608323 @ 129.17
186.62/187.22	c bounds -484611 >= -608322 @ 129.184
186.62/187.22	c bounds -484611 >= -608303 @ 129.204
186.62/187.22	c bounds -484611 >= -608302 @ 129.718
186.62/187.22	c bounds -484611 >= -608267 @ 129.869
186.62/187.22	c bounds -484611 >= -608248 @ 129.914
186.62/187.22	c bounds -484611 >= -608240 @ 130.05
186.62/187.22	c bounds -484611 >= -608238 @ 131.871
186.62/187.22	c bounds -484611 >= -608204 @ 132.304
186.62/187.22	c bounds -484611 >= -608174 @ 132.35
186.62/187.22	c bounds -484611 >= -608064 @ 132.822
186.62/187.22	c bounds -484611 >= -607938 @ 132.99
186.62/187.22	c bounds -484611 >= -607870 @ 133.42
186.62/187.22	c bounds -484611 >= -607666 @ 133.561
186.62/187.22	c bounds -484611 >= -607657 @ 133.983
186.62/187.22	c bounds -484611 >= -607502 @ 134.411
186.62/187.22	c bounds -484611 >= -607127 @ 135.289
186.62/187.22	c bounds -484611 >= -607121 @ 137.387
186.62/187.22	c bounds -484611 >= -607118 @ 138.07
186.62/187.22	c bounds -484611 >= -607116 @ 138.209
186.62/187.22	c bounds -484611 >= -607110 @ 138.468
186.62/187.22	c bounds -484611 >= -607091 @ 138.709
186.62/187.22	c bounds -484611 >= -606984 @ 139.624
186.62/187.22	c bounds -484611 >= -606940 @ 140.414
186.62/187.22	c bounds -484611 >= -606939 @ 142.97
186.62/187.22	c #Conflicts:      18000 | #Constraints:      16788
186.62/187.22	c bounds -484611 >= -606938 @ 144.12
186.62/187.22	c bounds -484611 >= -606937 @ 145.725
186.62/187.22	c bounds -484611 >= -606936 @ 145.747
186.62/187.22	c bounds -484611 >= -606931 @ 145.838
186.62/187.22	c bounds -484611 >= -606864 @ 146.873
186.62/187.22	c bounds -484611 >= -606790 @ 147.844
186.62/187.22	c bounds -484611 >= -606788 @ 147.927
186.62/187.22	c bounds -484611 >= -606768 @ 147.963
186.62/187.22	c bounds -484611 >= -606711 @ 148.104
186.62/187.22	c bounds -484611 >= -606309 @ 148.264
186.62/187.22	c bounds -484611 >= -606307 @ 148.428
186.62/187.22	c bounds -484611 >= -605951 @ 148.443
186.62/187.22	c bounds -484611 >= -605950 @ 153.112
186.62/187.22	c bounds -484611 >= -605946 @ 153.371
186.62/187.22	c bounds -484611 >= -605945 @ 159.014
186.62/187.22	c #Conflicts:      19000 | #Constraints:      17853
186.62/187.22	c bounds -484611 >= -605937 @ 161.948
186.62/187.22	c bounds -484611 >= -605936 @ 162.373
186.62/187.22	c bounds -484611 >= -605764 @ 162.429
186.62/187.22	c bounds -484611 >= -605631 @ 163.416
186.62/187.22	c bounds -484611 >= -605612 @ 164.859
186.62/187.22	c bounds -484611 >= -605595 @ 166.838
186.62/187.22	c bounds -484611 >= -605578 @ 167.195
186.62/187.22	c bounds -484611 >= -605576 @ 167.467
186.62/187.22	c bounds -484611 >= -605539 @ 169.507
186.62/187.22	c bounds -484611 >= -605465 @ 170.173
186.62/187.22	c bounds -484611 >= -605464 @ 170.611
186.62/187.22	c bounds -484611 >= -605429 @ 170.615
186.62/187.22	c bounds -484611 >= -605359 @ 170.701
186.62/187.22	c bounds -484611 >= -605357 @ 175.674
186.62/187.22	c bounds -484611 >= -605354 @ 175.758
186.62/187.22	c bounds -484611 >= -605352 @ 176.374
186.62/187.22	c bounds -484611 >= -605350 @ 176.39
186.62/187.22	c bounds -484611 >= -605349 @ 178.233
186.62/187.22	c bounds -484611 >= -605342 @ 178.25
186.62/187.22	c bounds -484611 >= -605323 @ 179.365
186.62/187.22	c #Conflicts:      20000 | #Constraints:      18934
186.62/187.22	c INPROCESSING
186.62/187.22	c bounds -484611 >= -605202 @ 181.72
186.62/187.22	c bounds -484611 >= -605087 @ 183.21
186.62/187.22	c bounds -484611 >= -604815 @ 184.471
186.62/187.22	c bounds -484611 >= -604640 @ 184.675
186.62/187.22	c bounds -484611 >= -604368 @ 185.288
261.20/262.06	c bounds -484611 >= -604367 @ 187.598
261.20/262.06	c bounds -484611 >= -604366 @ 190.157
261.20/262.06	c bounds -484611 >= -604365 @ 190.498
261.20/262.06	c bounds -484611 >= -604362 @ 190.565
261.20/262.06	c bounds -484611 >= -604351 @ 191.402
261.20/262.06	c bounds -484611 >= -604342 @ 192.68
261.20/262.06	c bounds -484611 >= -604331 @ 192.972
261.20/262.06	c #Conflicts:      21000 | #Constraints:      16119
261.20/262.06	c bounds -484611 >= -604330 @ 197.418
261.20/262.06	c bounds -484611 >= -604328 @ 197.846
261.20/262.06	c bounds -484611 >= -604314 @ 197.858
261.20/262.06	c bounds -484611 >= -604297 @ 198.176
261.20/262.06	c bounds -484611 >= -604294 @ 198.237
261.20/262.06	c bounds -484611 >= -604265 @ 202.055
261.20/262.06	c bounds -484611 >= -604240 @ 203.517
261.20/262.06	c bounds -484611 >= -604220 @ 203.975
261.20/262.06	c bounds -484611 >= -604218 @ 209.104
261.20/262.06	c bounds -484611 >= -604216 @ 210.231
261.20/262.06	c bounds -484611 >= -604215 @ 210.308
261.20/262.06	c bounds -484611 >= -604210 @ 210.745
261.20/262.06	c bounds -484611 >= -604208 @ 210.818
261.20/262.06	c bounds -484611 >= -604184 @ 210.866
261.20/262.06	c bounds -484611 >= -604146 @ 211.035
261.20/262.06	c bounds -484611 >= -604122 @ 214.742
261.20/262.06	c #Conflicts:      22000 | #Constraints:      17178
261.20/262.06	c bounds -484611 >= -604079 @ 217.559
261.20/262.06	c bounds -484611 >= -603936 @ 220.496
261.20/262.06	c bounds -484611 >= -603935 @ 233.185
261.20/262.06	c bounds -484611 >= -603927 @ 234.109
261.20/262.06	c bounds -484611 >= -603900 @ 234.473
261.20/262.06	c bounds -484611 >= -603898 @ 234.588
261.20/262.06	c bounds -484611 >= -603897 @ 234.616
261.20/262.06	c bounds -484611 >= -603884 @ 234.875
261.20/262.06	c bounds -484611 >= -603806 @ 234.921
261.20/262.06	c #Conflicts:      23000 | #Constraints:      18214
261.20/262.06	c bounds -484611 >= -603797 @ 243.695
261.20/262.06	c bounds -484611 >= -603792 @ 243.838
261.20/262.06	c bounds -484611 >= -603754 @ 244.146
261.20/262.06	c bounds -484611 >= -603718 @ 244.301
261.20/262.06	c bounds -484611 >= -603664 @ 244.412
261.20/262.06	c bounds -484611 >= -603662 @ 248.681
261.20/262.06	c bounds -484611 >= -603660 @ 249.305
261.20/262.06	c bounds -484611 >= -603522 @ 249.624
261.20/262.06	c bounds -484611 >= -603396 @ 249.899
261.20/262.06	c bounds -484611 >= -603124 @ 250.797
261.20/262.06	c bounds -484611 >= -603123 @ 251.201
261.20/262.06	c bounds -484611 >= -603118 @ 251.228
261.20/262.06	c bounds -484611 >= -603107 @ 251.755
261.20/262.06	c bounds -484611 >= -603098 @ 252.514
261.20/262.06	c bounds -484611 >= -603090 @ 252.8
261.20/262.06	c bounds -484611 >= -603089 @ 253.219
261.20/262.06	c bounds -484611 >= -603073 @ 253.512
261.20/262.06	c bounds -484611 >= -603029 @ 253.697
261.20/262.06	c bounds -484611 >= -602801 @ 253.951
261.20/262.06	c bounds -484611 >= -602792 @ 254.2
261.20/262.06	c bounds -484611 >= -602786 @ 254.372
261.20/262.06	c bounds -484611 >= -602784 @ 254.474
261.20/262.06	c bounds -484611 >= -602783 @ 254.792
261.20/262.06	c bounds -484611 >= -602716 @ 254.886
261.20/262.06	c bounds -484611 >= -602512 @ 255.077
261.20/262.06	c bounds -484611 >= -602511 @ 255.693
261.20/262.06	c bounds -484611 >= -602495 @ 255.827
261.20/262.06	c bounds -484611 >= -601853 @ 255.872
261.20/262.06	c bounds -484611 >= -601711 @ 256.852
261.20/262.06	c bounds -484611 >= -601568 @ 256.937
261.20/262.06	c bounds -484611 >= -601532 @ 256.975
261.20/262.06	c bounds -484611 >= -601495 @ 257.044
261.20/262.06	c #Conflicts:      24000 | #Constraints:      19349
261.20/262.06	c bounds -484611 >= -601493 @ 257.226
261.20/262.06	c bounds -484611 >= -601280 @ 257.291
261.20/262.06	c finalizing WCE round: reformulating cores
549.51/551.29	c #Conflicts:      25000 | #Constraints:      20365
549.51/551.29	c bounds -509786 >= -633711 @ 283.121
549.51/551.29	c bounds -509786 >= -633711 @ 283.205
549.51/551.29	c #Conflicts:      26000 | #Constraints:      21375
549.51/551.29	c bounds -509786 >= -633711 @ 283.499
549.51/551.29	c bounds -509786 >= -633630 @ 297.28
549.51/551.29	c bounds -509786 >= -633630 @ 297.346
549.51/551.29	c bounds -509942 >= -633610 @ 297.666
549.51/551.29	c bounds -509942 >= -633610 @ 297.707
549.51/551.29	c #Conflicts:      27000 | #Constraints:      22393
549.51/551.29	c bounds -509942 >= -633573 @ 307.091
549.51/551.29	c bounds -509942 >= -633573 @ 307.103
549.51/551.29	c bounds -509942 >= -633573 @ 307.14
549.51/551.29	c bounds -509942 >= -633573 @ 307.339
549.51/551.29	c #Conflicts:      28000 | #Constraints:      23407
549.51/551.29	c bounds -509942 >= -633568 @ 318.157
549.51/551.29	c bounds -509942 >= -633568 @ 318.158
549.51/551.29	c bounds -509942 >= -633568 @ 318.19
549.51/551.29	c bounds -509942 >= -633568 @ 318.213
549.51/551.29	c #Conflicts:      29000 | #Constraints:      24420
549.51/551.29	c bounds -509942 >= -633559 @ 329.483
549.51/551.29	c bounds -509942 >= -633559 @ 329.579
549.51/551.29	c bounds -509942 >= -633550 @ 342.717
549.51/551.29	c bounds -509942 >= -633550 @ 342.724
549.51/551.29	c bounds -509942 >= -633550 @ 342.732
549.51/551.29	c bounds -509942 >= -633550 @ 342.747
549.51/551.29	c #Conflicts:      30000 | #Constraints:      25438
549.51/551.29	c INPROCESSING
549.51/551.29	c GARBAGE COLLECT
549.51/551.29	c bounds -509942 >= -633527 @ 354.933
549.51/551.29	c bounds -509942 >= -633527 @ 355.024
549.51/551.29	c bounds -510826 >= -633503 @ 356.24
549.51/551.29	c bounds -510826 >= -633503 @ 356.251
549.51/551.29	c bounds -510826 >= -633503 @ 356.306
549.51/551.29	c #Conflicts:      31000 | #Constraints:      20113
549.51/551.29	c bounds -510826 >= -633496 @ 363.412
549.51/551.29	c bounds -510826 >= -633496 @ 363.46
549.51/551.29	c bounds -510826 >= -633496 @ 363.892
549.51/551.29	c #Conflicts:      32000 | #Constraints:      21124
549.51/551.29	c bounds -510983 >= -633491 @ 367.155
549.51/551.29	c bounds -510983 >= -633491 @ 367.176
549.51/551.29	c bounds -511255 >= -633483 @ 368.314
549.51/551.29	c bounds -511255 >= -633483 @ 368.417
549.51/551.29	c bounds -511255 >= -633483 @ 368.448
549.51/551.29	c bounds -511627 >= -633363 @ 369.593
549.51/551.29	c bounds -511627 >= -633363 @ 369.828
549.51/551.29	c bounds -511627 >= -633363 @ 370.152
549.51/551.29	c bounds -512025 >= -633359 @ 371.818
549.51/551.29	c #Conflicts:      33000 | #Constraints:      22159
549.51/551.29	c bounds -512025 >= -633355 @ 381.343
549.51/551.29	c #Conflicts:      34000 | #Constraints:      23166
549.51/551.29	c bounds -512025 >= -633350 @ 391.641
549.51/551.29	c bounds -512025 >= -633350 @ 391.868
549.51/551.29	c bounds -512025 >= -633341 @ 403.671
549.51/551.29	c bounds -512025 >= -633341 @ 404.035
549.51/551.29	c #Conflicts:      35000 | #Constraints:      24180
549.51/551.29	c bounds -512025 >= -633329 @ 416.358
549.51/551.29	c bounds -512025 >= -633329 @ 416.369
549.51/551.29	c #Conflicts:      36000 | #Constraints:      25186
549.51/551.29	c bounds -512025 >= -633324 @ 428.768
549.51/551.29	c bounds -512025 >= -633324 @ 428.99
549.51/551.29	c #Conflicts:      37000 | #Constraints:      26193
549.51/551.29	c bounds -512025 >= -633321 @ 441.722
549.51/551.29	c bounds -512025 >= -633321 @ 441.788
549.51/551.29	c bounds -512116 >= -632756 @ 442.883
549.51/551.29	c bounds -512116 >= -631632 @ 453.762
549.51/551.29	c bounds -512116 >= -631632 @ 453.828
549.51/551.29	c bounds -512520 >= -631627 @ 454.27
549.51/551.29	c #Conflicts:      38000 | #Constraints:      27216
549.51/551.29	c bounds -512520 >= -631627 @ 454.371
549.51/551.29	c bounds -512560 >= -631620 @ 456.37
549.51/551.29	c bounds -512560 >= -631620 @ 456.625
549.51/551.29	c bounds -513390 >= -631018 @ 459.377
549.51/551.29	c bounds -513390 >= -624794 @ 465.258
549.51/551.29	c bounds -513390 >= -624794 @ 465.354
549.51/551.29	c bounds -513390 >= -624794 @ 466.032
549.51/551.29	c #Conflicts:      39000 | #Constraints:      28243
549.51/551.29	c bounds -513390 >= -622484 @ 478.052
549.51/551.29	c #Conflicts:      40000 | #Constraints:      29248
549.51/551.29	c bounds -513390 >= -622482 @ 492.384
549.51/551.29	c bounds -513390 >= -622482 @ 492.517
549.51/551.29	c bounds -513390 >= -622482 @ 494.382
549.51/551.29	c #Conflicts:      41000 | #Constraints:      30257
549.51/551.29	c bounds -513390 >= -622468 @ 505.098
549.51/551.29	c bounds -513390 >= -622468 @ 505.117
549.51/551.29	c bounds -513390 >= -622468 @ 505.497
549.51/551.29	c bounds -513932 >= -622426 @ 512.717
549.51/551.29	c bounds -513932 >= -622426 @ 512.794
549.51/551.29	c bounds -513932 >= -622426 @ 513.071
549.51/551.29	c bounds -513932 >= -622426 @ 515.625
549.51/551.29	c #Conflicts:      42000 | #Constraints:      31281
549.51/551.29	c INPROCESSING
549.51/551.29	c bounds -513932 >= -622426 @ 517.845
549.51/551.29	c bounds -513932 >= -622426 @ 522.415
549.51/551.29	c #Conflicts:      43000 | #Constraints:      21745
549.51/551.29	c bounds -513932 >= -622377 @ 535.531
549.51/551.29	c bounds -513932 >= -622377 @ 535.55
549.51/551.29	c bounds -513932 >= -622377 @ 536.133
549.51/551.29	c bounds -513932 >= -622377 @ 536.359
549.51/551.29	c #Conflicts:      44000 | #Constraints:      22757
549.51/551.29	c bounds -513932 >= -622085 @ 545.282
549.51/551.29	c bounds -513932 >= -622085 @ 546.32
549.51/551.29	c bounds -513932 >= -619696 @ 547.357
795.44/797.98	c bounds -513932 >= -619696 @ 547.468
795.44/797.98	c bounds -513932 >= -619696 @ 547.841
795.44/797.98	c bounds -513932 >= -619696 @ 548.652
795.44/797.98	c bounds -513932 >= -619696 @ 549.468
795.44/797.98	c #Conflicts:      45000 | #Constraints:      23777
795.44/797.98	c bounds -513932 >= -619696 @ 552.472
795.44/797.98	c bounds -513932 >= -619696 @ 554.66
795.44/797.98	c #Conflicts:      46000 | #Constraints:      24782
795.44/797.98	c bounds -513932 >= -619688 @ 562.647
795.44/797.98	c bounds -513932 >= -619688 @ 562.648
795.44/797.98	c bounds -513932 >= -619688 @ 562.652
795.44/797.98	c bounds -513932 >= -619688 @ 562.655
795.44/797.98	c bounds -513932 >= -619688 @ 562.655
795.44/797.98	c bounds -513932 >= -619688 @ 562.662
795.44/797.98	c bounds -513932 >= -619688 @ 562.857
795.44/797.98	c bounds -513932 >= -619688 @ 564.579
795.44/797.98	c #Conflicts:      47000 | #Constraints:      25800
795.44/797.98	c bounds -513932 >= -619676 @ 571.377
795.44/797.98	c bounds -513932 >= -619676 @ 571.38
795.44/797.98	c bounds -513932 >= -619676 @ 571.381
795.44/797.98	c bounds -513932 >= -619676 @ 571.382
795.44/797.98	c bounds -513932 >= -619676 @ 571.709
795.44/797.98	c bounds -513932 >= -619657 @ 579.481
795.44/797.98	c bounds -513932 >= -619657 @ 579.491
795.44/797.98	c bounds -513932 >= -619657 @ 579.51
795.44/797.98	c bounds -513932 >= -619657 @ 580.539
795.44/797.98	c #Conflicts:      48000 | #Constraints:      26824
795.44/797.98	c bounds -513932 >= -619638 @ 588.568
795.44/797.98	c bounds -513932 >= -619638 @ 588.57
795.44/797.98	c bounds -513932 >= -619638 @ 588.581
795.44/797.98	c bounds -513932 >= -619638 @ 588.76
795.44/797.98	c #Conflicts:      49000 | #Constraints:      27835
795.44/797.98	c bounds -513932 >= -619596 @ 599.201
795.44/797.98	c bounds -513932 >= -619596 @ 599.206
795.44/797.98	c bounds -513932 >= -619596 @ 599.211
795.44/797.98	c bounds -513932 >= -619596 @ 599.301
795.44/797.98	c bounds -513932 >= -619596 @ 606.006
795.44/797.98	c #Conflicts:      50000 | #Constraints:      28848
795.44/797.98	c bounds -514995 >= -619445 @ 607.21
795.44/797.98	c bounds -514995 >= -619445 @ 607.219
795.44/797.98	c bounds -514995 >= -619445 @ 607.24
795.44/797.98	c bounds -514995 >= -619445 @ 607.276
795.44/797.98	c bounds -514995 >= -619445 @ 608.291
795.44/797.98	c bounds -516125 >= -619432 @ 611.059
795.44/797.98	c bounds -516125 >= -619432 @ 611.071
795.44/797.98	c bounds -516125 >= -619432 @ 611.081
795.44/797.98	c bounds -516125 >= -619432 @ 611.519
795.44/797.98	c bounds -517066 >= -619398 @ 614.078
795.44/797.98	c bounds -517066 >= -619398 @ 614.092
795.44/797.98	c bounds -517066 >= -619398 @ 614.111
795.44/797.98	c bounds -517066 >= -619398 @ 614.128
795.44/797.98	c #Conflicts:      51000 | #Constraints:      29887
795.44/797.98	c bounds -517167 >= -619387 @ 619.349
795.44/797.98	c bounds -517167 >= -619387 @ 619.357
795.44/797.98	c bounds -517167 >= -619387 @ 619.367
795.44/797.98	c bounds -517167 >= -619387 @ 619.471
795.44/797.98	c bounds -517251 >= -619289 @ 620.66
795.44/797.98	c bounds -517251 >= -619289 @ 620.674
795.44/797.98	c bounds -517251 >= -619289 @ 620.738
795.44/797.98	c bounds -517251 >= -619289 @ 624.485
795.44/797.98	c bounds -519714 >= -616328 @ 628.941
795.44/797.98	c #Conflicts:      52000 | #Constraints:      30916
795.44/797.98	c bounds -519714 >= -616328 @ 629.094
795.44/797.98	c bounds -519714 >= -613589 @ 636.779
795.44/797.98	c bounds -519714 >= -613589 @ 637.86
795.44/797.98	c #Conflicts:      53000 | #Constraints:      31927
795.44/797.98	c bounds -519714 >= -613589 @ 643.916
795.44/797.98	c #Conflicts:      54000 | #Constraints:      32929
795.44/797.98	c bounds -519714 >= -606455 @ 657.437
795.44/797.98	c #Conflicts:      55000 | #Constraints:      33936
795.44/797.98	c bounds -519714 >= -605969 @ 665.668
795.44/797.98	c bounds -519714 >= -605969 @ 665.984
795.44/797.98	c bounds -519714 >= -605969 @ 670.133
795.44/797.98	c #Conflicts:      56000 | #Constraints:      34946
795.44/797.98	c INPROCESSING
795.44/797.98	c GARBAGE COLLECT
795.44/797.98	c bounds -519714 >= -605969 @ 675.882
795.44/797.98	c #Conflicts:      57000 | #Constraints:      23810
795.44/797.98	c #Conflicts:      58000 | #Constraints:      24812
795.44/797.98	c bounds -519714 >= -604124 @ 703.465
795.44/797.98	c bounds -519766 >= -604063 @ 706.41
795.44/797.98	c #Conflicts:      59000 | #Constraints:      25821
795.44/797.98	c bounds -519766 >= -603976 @ 718.907
795.44/797.98	c bounds -519766 >= -603976 @ 722.033
795.44/797.98	c #Conflicts:      60000 | #Constraints:      26827
795.44/797.98	c bounds -519766 >= -603916 @ 732.211
795.44/797.98	c bounds -519766 >= -603916 @ 734.025
795.44/797.98	c #Conflicts:      61000 | #Constraints:      27834
795.44/797.98	c bounds -519766 >= -603874 @ 743.993
795.44/797.98	c bounds -519766 >= -603874 @ 744.042
795.44/797.98	c #Conflicts:      62000 | #Constraints:      28841
795.44/797.98	c bounds -519766 >= -603795 @ 752.17
795.44/797.98	c bounds -519766 >= -603795 @ 752.199
795.44/797.98	c bounds -519766 >= -603689 @ 760.708
795.44/797.98	c bounds -519766 >= -603689 @ 760.875
795.44/797.98	c #Conflicts:      63000 | #Constraints:      29854
795.44/797.98	c bounds -519766 >= -603487 @ 772.135
795.44/797.98	c #Conflicts:      64000 | #Constraints:      30858
795.44/797.98	c bounds -519766 >= -603483 @ 782.263
795.44/797.98	c #Conflicts:      65000 | #Constraints:      31862
795.44/797.98	c bounds -519766 >= -603440 @ 792.777
1076.80/1080.36	c bounds -519766 >= -603398 @ 802.279
1076.80/1080.36	c #Conflicts:      66000 | #Constraints:      32870
1076.80/1080.36	c bounds -519766 >= -603383 @ 813.365
1076.80/1080.36	c #Conflicts:      67000 | #Constraints:      33875
1076.80/1080.36	c bounds -519766 >= -603365 @ 836.621
1076.80/1080.36	c bounds -519766 >= -603365 @ 836.891
1076.80/1080.36	c #Conflicts:      68000 | #Constraints:      34881
1076.80/1080.36	c bounds -519766 >= -603166 @ 846.433
1076.80/1080.36	c bounds -519766 >= -603166 @ 846.474
1076.80/1080.36	c bounds -519766 >= -602641 @ 858.391
1076.80/1080.36	c bounds -519766 >= -602641 @ 858.593
1076.80/1080.36	c #Conflicts:      69000 | #Constraints:      35895
1076.80/1080.36	c bounds -519766 >= -602179 @ 869.961
1076.80/1080.36	c #Conflicts:      70000 | #Constraints:      36899
1076.80/1080.36	c bounds -519766 >= -602002 @ 882.615
1076.80/1080.36	c bounds -519766 >= -602002 @ 882.652
1076.80/1080.36	c bounds -519766 >= -602002 @ 883.145
1076.80/1080.36	c bounds -519766 >= -602002 @ 886.645
1076.80/1080.36	c #Conflicts:      71000 | #Constraints:      37912
1076.80/1080.36	c bounds -519766 >= -601995 @ 896.21
1076.80/1080.36	c bounds -519766 >= -601995 @ 896.219
1076.80/1080.36	c bounds -519766 >= -601995 @ 896.246
1076.80/1080.36	c bounds -519766 >= -601995 @ 896.47
1076.80/1080.36	c #Conflicts:      72000 | #Constraints:      38924
1076.80/1080.36	c INPROCESSING
1076.80/1080.36	c bounds -519766 >= -601978 @ 910.915
1076.80/1080.36	c bounds -519766 >= -601978 @ 910.917
1076.80/1080.36	c bounds -519766 >= -601978 @ 910.92
1076.80/1080.36	c bounds -519766 >= -601978 @ 911.492
1076.80/1080.36	c #Conflicts:      73000 | #Constraints:      25110
1076.80/1080.36	c bounds -519766 >= -600845 @ 918.552
1076.80/1080.36	c bounds -519766 >= -600845 @ 918.578
1076.80/1080.36	c bounds -519766 >= -600845 @ 918.764
1076.80/1080.36	c #Conflicts:      74000 | #Constraints:      26118
1076.80/1080.36	c bounds -519766 >= -600845 @ 923.814
1076.80/1080.36	c bounds -519766 >= -600665 @ 930.838
1076.80/1080.36	c bounds -519766 >= -600665 @ 931.082
1076.80/1080.36	c #Conflicts:      75000 | #Constraints:      27126
1076.80/1080.36	c bounds -519766 >= -600562 @ 939.911
1076.80/1080.36	c bounds -519766 >= -600562 @ 939.932
1076.80/1080.36	c #Conflicts:      76000 | #Constraints:      28133
1076.80/1080.36	c bounds -519766 >= -600562 @ 947.077
1076.80/1080.36	c bounds -519830 >= -600468 @ 952.555
1076.80/1080.36	c bounds -519830 >= -600468 @ 952.567
1076.80/1080.36	c bounds -519830 >= -600468 @ 952.854
1076.80/1080.36	c bounds -519830 >= -600468 @ 955.168
1076.80/1080.36	c #Conflicts:      77000 | #Constraints:      29147
1076.80/1080.36	c bounds -519830 >= -600468 @ 959.932
1076.80/1080.36	c #Conflicts:      78000 | #Constraints:      30149
1076.80/1080.36	c bounds -519830 >= -600468 @ 967.605
1076.80/1080.36	c bounds -519830 >= -600446 @ 975.086
1076.80/1080.36	c bounds -519830 >= -600446 @ 975.127
1076.80/1080.36	c bounds -519830 >= -600446 @ 975.208
1076.80/1080.36	c bounds -519830 >= -600446 @ 975.808
1076.80/1080.36	c #Conflicts:      79000 | #Constraints:      31163
1076.80/1080.36	c bounds -519830 >= -600446 @ 980.036
1076.80/1080.36	c #Conflicts:      80000 | #Constraints:      32165
1076.80/1080.36	c bounds -519830 >= -600362 @ 992.094
1076.80/1080.36	c bounds -519830 >= -600362 @ 992.109
1076.80/1080.36	c bounds -519830 >= -600362 @ 992.131
1076.80/1080.36	c bounds -519830 >= -600362 @ 992.148
1076.80/1080.36	c bounds -519830 >= -600362 @ 993.174
1076.80/1080.36	c bounds -519830 >= -600280 @ 999.39
1076.80/1080.36	c bounds -519830 >= -600280 @ 999.402
1076.80/1080.36	c bounds -519830 >= -600280 @ 999.411
1076.80/1080.36	c bounds -519830 >= -600280 @ 999.416
1076.80/1080.36	c #Conflicts:      81000 | #Constraints:      33187
1076.80/1080.36	c bounds -519830 >= -600280 @ 1001.17
1076.80/1080.36	c bounds -519830 >= -599969 @ 1007.87
1076.80/1080.36	c bounds -519830 >= -599969 @ 1007.89
1076.80/1080.36	c bounds -519830 >= -599969 @ 1007.9
1076.80/1080.36	c bounds -519830 >= -599969 @ 1007.91
1076.80/1080.36	c #Conflicts:      82000 | #Constraints:      34199
1076.80/1080.36	c bounds -519830 >= -599961 @ 1016.69
1076.80/1080.36	c bounds -519830 >= -599961 @ 1016.71
1076.80/1080.36	c bounds -519830 >= -599961 @ 1016.71
1076.80/1080.36	c bounds -519830 >= -599961 @ 1016.71
1076.80/1080.36	c bounds -519830 >= -599961 @ 1017.85
1076.80/1080.36	c #Conflicts:      83000 | #Constraints:      35212
1076.80/1080.36	c bounds -519830 >= -599940 @ 1032.81
1076.80/1080.36	c bounds -519830 >= -599940 @ 1032.82
1076.80/1080.36	c bounds -519830 >= -599940 @ 1032.86
1076.80/1080.36	c bounds -519830 >= -599940 @ 1032.89
1076.80/1080.36	c bounds -519830 >= -599940 @ 1035.4
1076.80/1080.36	c #Conflicts:      84000 | #Constraints:      36225
1076.80/1080.36	c bounds -519830 >= -599932 @ 1045.9
1076.80/1080.36	c bounds -519830 >= -599932 @ 1045.91
1076.80/1080.36	c bounds -519830 >= -599932 @ 1045.92
1076.80/1080.36	c bounds -519830 >= -599932 @ 1045.93
1076.80/1080.36	c bounds -519830 >= -599932 @ 1051.6
1076.80/1080.36	c #Conflicts:      85000 | #Constraints:      37238
1076.80/1080.36	c bounds -519830 >= -599904 @ 1057.76
1076.80/1080.36	c bounds -519830 >= -599904 @ 1057.77
1076.80/1080.36	c bounds -519830 >= -599904 @ 1057.78
1076.80/1080.36	c bounds -519830 >= -599904 @ 1057.8
1076.80/1080.36	c bounds -520057 >= -599851 @ 1064.32
1076.80/1080.36	c bounds -520057 >= -599851 @ 1064.35
1076.80/1080.36	c #Conflicts:      86000 | #Constraints:      38256
1076.80/1080.36	c bounds -520057 >= -599851 @ 1064.39
1076.80/1080.36	c bounds -520057 >= -599851 @ 1065.01
1076.80/1080.36	c bounds -520057 >= -599843 @ 1073.54
1634.32/1639.81	c bounds -520057 >= -599843 @ 1073.54
1634.32/1639.81	c bounds -520057 >= -599843 @ 1074.61
1634.32/1639.81	c #Conflicts:      87000 | #Constraints:      39271
1634.32/1639.81	c bounds -520057 >= -599826 @ 1083.35
1634.32/1639.81	c bounds -520057 >= -599826 @ 1083.37
1634.32/1639.81	c bounds -520057 >= -599826 @ 1083.38
1634.32/1639.81	c bounds -520057 >= -599826 @ 1083.82
1634.32/1639.81	c #Conflicts:      88000 | #Constraints:      40282
1634.32/1639.81	c bounds -520057 >= -599826 @ 1092.5
1634.32/1639.81	c bounds -520057 >= -599800 @ 1103.62
1634.32/1639.81	c bounds -520057 >= -599800 @ 1103.64
1634.32/1639.81	c bounds -520057 >= -599800 @ 1103.65
1634.32/1639.81	c #Conflicts:      89000 | #Constraints:      41293
1634.32/1639.81	c bounds -520057 >= -599800 @ 1103.68
1634.32/1639.81	c bounds -520057 >= -599800 @ 1104.08
1634.32/1639.81	c bounds -520057 >= -599727 @ 1117.33
1634.32/1639.81	c bounds -520057 >= -599727 @ 1117.37
1634.32/1639.81	c bounds -520057 >= -599727 @ 1117.43
1634.32/1639.81	c bounds -520057 >= -599727 @ 1117.46
1634.32/1639.81	c #Conflicts:      90000 | #Constraints:      42308
1634.32/1639.81	c INPROCESSING
1634.32/1639.81	c GARBAGE COLLECT
1634.32/1639.81	c bounds -520057 >= -599452 @ 1128.85
1634.32/1639.81	c bounds -520057 >= -599452 @ 1128.85
1634.32/1639.81	c bounds -520057 >= -599452 @ 1128.85
1634.32/1639.81	c bounds -520057 >= -599452 @ 1130.42
1634.32/1639.81	c #Conflicts:      91000 | #Constraints:      27452
1634.32/1639.81	c bounds -520057 >= -599387 @ 1136.8
1634.32/1639.81	c #Conflicts:      92000 | #Constraints:      28456
1634.32/1639.81	c bounds -520057 >= -598772 @ 1146.78
1634.32/1639.81	c bounds -520057 >= -598772 @ 1147.88
1634.32/1639.81	c #Conflicts:      93000 | #Constraints:      29463
1634.32/1639.81	c bounds -520057 >= -597636 @ 1158.24
1634.32/1639.81	c bounds -520057 >= -597636 @ 1158.26
1634.32/1639.81	c bounds -520057 >= -597636 @ 1162.93
1634.32/1639.81	c bounds -520096 >= -597596 @ 1166.04
1634.32/1639.81	c bounds -520096 >= -597596 @ 1166.09
1634.32/1639.81	c bounds -520096 >= -597596 @ 1166.5
1634.32/1639.81	c #Conflicts:      94000 | #Constraints:      30480
1634.32/1639.81	c bounds -520096 >= -597539 @ 1188.67
1634.32/1639.81	c #Conflicts:      95000 | #Constraints:      31487
1634.32/1639.81	c bounds -520332 >= -597331 @ 1195.76
1634.32/1639.81	c bounds -520363 >= -597073 @ 1196.66
1634.32/1639.81	c bounds -521460 >= -596824 @ 1198.65
1634.32/1639.81	c #Conflicts:      96000 | #Constraints:      32504
1634.32/1639.81	c #Conflicts:      97000 | #Constraints:      33508
1634.32/1639.81	c #Conflicts:      98000 | #Constraints:      34510
1634.32/1639.81	c bounds -521460 >= -594930 @ 1259.37
1634.32/1639.81	c #Conflicts:      99000 | #Constraints:      35515
1634.32/1639.81	c bounds -521460 >= -594020 @ 1279.19
1634.32/1639.81	c #Conflicts:     100000 | #Constraints:      36520
1634.32/1639.81	c #Conflicts:     101000 | #Constraints:      37524
1634.32/1639.81	c bounds -521460 >= -592291 @ 1296.02
1634.32/1639.81	c bounds -521460 >= -592291 @ 1299.28
1634.32/1639.81	c #Conflicts:     102000 | #Constraints:      38531
1634.32/1639.81	c bounds -521460 >= -592200 @ 1311.98
1634.32/1639.81	c bounds -521460 >= -592141 @ 1325.03
1634.32/1639.81	c bounds -521460 >= -592141 @ 1326.32
1634.32/1639.81	c #Conflicts:     103000 | #Constraints:      39540
1634.32/1639.81	c bounds -521460 >= -592134 @ 1339.42
1634.32/1639.81	c bounds -521460 >= -592134 @ 1340
1634.32/1639.81	c #Conflicts:     104000 | #Constraints:      40546
1634.32/1639.81	c bounds -521460 >= -592134 @ 1350
1634.32/1639.81	c #Conflicts:     105000 | #Constraints:      41548
1634.32/1639.81	c bounds -521460 >= -592061 @ 1362.6
1634.32/1639.81	c bounds -521460 >= -592061 @ 1363.66
1634.32/1639.81	c bounds -521460 >= -591756 @ 1379.36
1634.32/1639.81	c #Conflicts:     106000 | #Constraints:      42559
1634.32/1639.81	c bounds -521460 >= -591553 @ 1394.84
1634.32/1639.81	c #Conflicts:     107000 | #Constraints:      43563
1634.32/1639.81	c bounds -521460 >= -591500 @ 1408.99
1634.32/1639.81	c bounds -521460 >= -591500 @ 1413.45
1634.32/1639.81	c #Conflicts:     108000 | #Constraints:      44569
1634.32/1639.81	c bounds -521460 >= -591474 @ 1427.01
1634.32/1639.81	c bounds -521460 >= -591474 @ 1430.73
1634.32/1639.81	c #Conflicts:     109000 | #Constraints:      45576
1634.32/1639.81	c bounds -521460 >= -591213 @ 1440.65
1634.32/1639.81	c #Conflicts:     110000 | #Constraints:      46580
1634.32/1639.81	c INPROCESSING
1634.32/1639.81	c bounds -521463 >= -590955 @ 1454.7
1634.32/1639.81	c #Conflicts:     111000 | #Constraints:      31054
1634.32/1639.81	c bounds -522574 >= -590685 @ 1469.1
1634.32/1639.81	c bounds -522574 >= -590685 @ 1475.78
1634.32/1639.81	c #Conflicts:     112000 | #Constraints:      32059
1634.32/1639.81	c bounds -522574 >= -590404 @ 1486.85
1634.32/1639.81	c #Conflicts:     113000 | #Constraints:      33065
1634.32/1639.81	c #Conflicts:     114000 | #Constraints:      34067
1634.32/1639.81	c #Conflicts:     115000 | #Constraints:      35079
1634.32/1639.81	c #Conflicts:     116000 | #Constraints:      36089
1634.32/1639.81	c #Conflicts:     117000 | #Constraints:      37091
1634.32/1639.81	c bounds -524664 >= -586032 @ 1578.48
1634.32/1639.81	c #Conflicts:     118000 | #Constraints:      38095
1634.32/1639.81	c bounds -524664 >= -585872 @ 1592.12
1634.32/1639.81	c #Conflicts:     119000 | #Constraints:      39100
1634.32/1639.81	c bounds -524664 >= -585841 @ 1601.89
1634.32/1639.81	c bounds -524664 >= -585826 @ 1617.39
1634.32/1639.81	c #Conflicts:     120000 | #Constraints:      40109
1634.32/1639.81	c bounds -524664 >= -585824 @ 1629.89
2344.11/2351.80	c #Conflicts:     121000 | #Constraints:      41113
2344.11/2351.80	c bounds -524664 >= -585822 @ 1642.58
2344.11/2351.80	c #Conflicts:     122000 | #Constraints:      42117
2344.11/2351.80	c bounds -524664 >= -585802 @ 1655.71
2344.11/2351.80	c #Conflicts:     123000 | #Constraints:      43122
2344.11/2351.80	c bounds -524664 >= -585782 @ 1668.49
2344.11/2351.80	c bounds -524664 >= -585746 @ 1682.16
2344.11/2351.80	c #Conflicts:     124000 | #Constraints:      44131
2344.11/2351.80	c bounds -524664 >= -585692 @ 1695.33
2344.11/2351.80	c #Conflicts:     125000 | #Constraints:      45135
2344.11/2351.80	c bounds -524664 >= -585665 @ 1709.28
2344.11/2351.80	c #Conflicts:     126000 | #Constraints:      46140
2344.11/2351.80	c bounds -524664 >= -585665 @ 1720.03
2344.11/2351.80	c bounds -524664 >= -585647 @ 1731.7
2344.11/2351.80	c bounds -524664 >= -585647 @ 1733.15
2344.11/2351.80	c #Conflicts:     127000 | #Constraints:      47149
2344.11/2351.80	c bounds -524664 >= -585609 @ 1746.92
2344.11/2351.80	c bounds -524664 >= -585609 @ 1747.05
2344.11/2351.80	c #Conflicts:     128000 | #Constraints:      48155
2344.11/2351.80	c bounds -524664 >= -585511 @ 1760.06
2344.11/2351.80	c #Conflicts:     129000 | #Constraints:      49159
2344.11/2351.80	c bounds -524664 >= -585371 @ 1772.49
2344.11/2351.80	c bounds -524664 >= -585135 @ 1784.5
2344.11/2351.80	c #Conflicts:     130000 | #Constraints:      50169
2344.11/2351.80	c bounds -524664 >= -584941 @ 1798.24
2344.11/2351.80	c #Conflicts:     131000 | #Constraints:      51174
2344.11/2351.80	c bounds -524664 >= -584941 @ 1805.39
2344.11/2351.80	c #Conflicts:     132000 | #Constraints:      52179
2344.11/2351.80	c INPROCESSING
2344.11/2351.80	c GARBAGE COLLECT
2344.11/2351.80	c bounds -524664 >= -584601 @ 1825.21
2344.11/2351.80	c bounds -524664 >= -584388 @ 1835.92
2344.11/2351.80	c #Conflicts:     133000 | #Constraints:      33365
2344.11/2351.80	c #Conflicts:     134000 | #Constraints:      34367
2344.11/2351.80	c #Conflicts:     135000 | #Constraints:      35369
2344.11/2351.80	c bounds -524664 >= -583843 @ 1878.8
2344.11/2351.80	c #Conflicts:     136000 | #Constraints:      36375
2344.11/2351.80	c bounds -524664 >= -583834 @ 1889.31
2344.11/2351.80	c bounds -524664 >= -583829 @ 1900.48
2344.11/2351.80	c #Conflicts:     137000 | #Constraints:      37382
2344.11/2351.80	c bounds -524664 >= -583821 @ 1910.89
2344.11/2351.80	c #Conflicts:     138000 | #Constraints:      38386
2344.11/2351.80	c bounds -524664 >= -583796 @ 1924.51
2344.11/2351.80	c #Conflicts:     139000 | #Constraints:      39390
2344.11/2351.80	c bounds -524664 >= -583670 @ 1936.74
2344.11/2351.80	c #Conflicts:     140000 | #Constraints:      40395
2344.11/2351.80	c bounds -524664 >= -583519 @ 1946.41
2344.11/2351.80	c #Conflicts:     141000 | #Constraints:      41401
2344.11/2351.80	c bounds -524664 >= -583474 @ 1961.02
2344.11/2351.80	c bounds -524664 >= -583472 @ 1972.14
2344.11/2351.80	c #Conflicts:     142000 | #Constraints:      42409
2344.11/2351.80	c bounds -524664 >= -583470 @ 1985.58
2344.11/2351.80	c #Conflicts:     143000 | #Constraints:      43413
2344.11/2351.80	c bounds -524664 >= -583468 @ 2001.14
2344.11/2351.80	c #Conflicts:     144000 | #Constraints:      44417
2344.11/2351.80	c bounds -524664 >= -583462 @ 2012.66
2344.11/2351.80	c bounds -524664 >= -583390 @ 2023.27
2344.11/2351.80	c #Conflicts:     145000 | #Constraints:      45425
2344.11/2351.80	c bounds -524664 >= -583249 @ 2033.71
2344.11/2351.80	c #Conflicts:     146000 | #Constraints:      46429
2344.11/2351.80	c bounds -524664 >= -583173 @ 2044.22
2344.11/2351.80	c #Conflicts:     147000 | #Constraints:      47433
2344.11/2351.80	c bounds -524664 >= -583151 @ 2056.09
2344.11/2351.80	c bounds -524664 >= -583074 @ 2065.88
2344.11/2351.80	c #Conflicts:     148000 | #Constraints:      48441
2344.11/2351.80	c #Conflicts:     149000 | #Constraints:      49443
2344.11/2351.80	c #Conflicts:     150000 | #Constraints:      50445
2344.11/2351.80	c #Conflicts:     151000 | #Constraints:      51450
2344.11/2351.80	c bounds -524771 >= -582252 @ 2130.65
2344.11/2351.80	c #Conflicts:     152000 | #Constraints:      52454
2344.11/2351.80	c bounds -524771 >= -582247 @ 2142.6
2344.11/2351.80	c #Conflicts:     153000 | #Constraints:      53458
2344.11/2351.80	c bounds -524771 >= -582238 @ 2155.13
2344.11/2351.80	c bounds -524771 >= -582229 @ 2165.72
2344.11/2351.80	c #Conflicts:     154000 | #Constraints:      54467
2344.11/2351.80	c #Conflicts:     155000 | #Constraints:      55469
2344.11/2351.80	c #Conflicts:     156000 | #Constraints:      56471
2344.11/2351.80	c INPROCESSING
2344.11/2351.80	c #Conflicts:     157000 | #Constraints:      36140
2344.11/2351.80	c #Conflicts:     158000 | #Constraints:      37142
2344.11/2351.80	c bounds -524771 >= -581887 @ 2233.84
2344.11/2351.80	c #Conflicts:     159000 | #Constraints:      38146
2344.11/2351.80	c bounds -524771 >= -581853 @ 2249.12
2344.11/2351.80	c #Conflicts:     160000 | #Constraints:      39151
2344.11/2351.80	c bounds -524771 >= -581834 @ 2267.3
2344.11/2351.80	c #Conflicts:     161000 | #Constraints:      40155
2344.11/2351.80	c bounds -524771 >= -581795 @ 2286.68
2344.11/2351.80	c #Conflicts:     162000 | #Constraints:      41157
2344.11/2351.80	c bounds -524771 >= -581684 @ 2298.32
2344.11/2351.80	c bounds -524771 >= -581609 @ 2319.72
2344.11/2351.80	c #Conflicts:     163000 | #Constraints:      42165
2344.11/2351.80	c bounds -524771 >= -581573 @ 2330.02
2344.11/2351.80	c #Conflicts:     164000 | #Constraints:      43169
3600.00/3611.70	c bounds -524771 >= -581468 @ 2352.46
3600.00/3611.70	c #Conflicts:     165000 | #Constraints:      44173
3600.00/3611.70	c #Conflicts:     166000 | #Constraints:      45177
3600.00/3611.70	c #Conflicts:     167000 | #Constraints:      46179
3600.00/3611.70	c bounds -524771 >= -581391 @ 2417.55
3600.00/3611.70	c bounds -524771 >= -581387 @ 2441.78
3600.00/3611.70	c #Conflicts:     168000 | #Constraints:      47185
3600.00/3611.70	c #Conflicts:     169000 | #Constraints:      48187
3600.00/3611.70	c bounds -524771 >= -581377 @ 2481.17
3600.00/3611.70	c #Conflicts:     170000 | #Constraints:      49191
3600.00/3611.70	c bounds -524771 >= -581351 @ 2522.42
3600.00/3611.70	c #Conflicts:     171000 | #Constraints:      50195
3600.00/3611.70	c #Conflicts:     172000 | #Constraints:      51197
3600.00/3611.70	c bounds -524771 >= -581211 @ 2552.4
3600.00/3611.70	c #Conflicts:     173000 | #Constraints:      52201
3600.00/3611.70	c #Conflicts:     174000 | #Constraints:      53203
3600.00/3611.70	c #Conflicts:     175000 | #Constraints:      54208
3600.00/3611.70	c #Conflicts:     176000 | #Constraints:      55210
3600.00/3611.70	c #Conflicts:     177000 | #Constraints:      56214
3600.00/3611.70	c #Conflicts:     178000 | #Constraints:      57216
3600.00/3611.70	c #Conflicts:     179000 | #Constraints:      58218
3600.00/3611.70	c #Conflicts:     180000 | #Constraints:      59222
3600.00/3611.70	c #Conflicts:     181000 | #Constraints:      60224
3600.00/3611.70	c #Conflicts:     182000 | #Constraints:      61226
3600.00/3611.70	c INPROCESSING
3600.00/3611.70	c GARBAGE COLLECT
3600.00/3611.70	c #Conflicts:     183000 | #Constraints:      43080
3600.00/3611.70	c bounds -525501 >= -580202 @ 2855.1
3600.00/3611.70	c #Conflicts:     184000 | #Constraints:      44084
3600.00/3611.70	c #Conflicts:     185000 | #Constraints:      45086
3600.00/3611.70	c #Conflicts:     186000 | #Constraints:      46088
3600.00/3611.70	c #Conflicts:     187000 | #Constraints:      47092
3600.00/3611.70	c #Conflicts:     188000 | #Constraints:      48094
3600.00/3611.70	c #Conflicts:     189000 | #Constraints:      49096
3600.00/3611.70	c #Conflicts:     190000 | #Constraints:      50100
3600.00/3611.70	c #Conflicts:     191000 | #Constraints:      51102
3600.00/3611.70	c #Conflicts:     192000 | #Constraints:      52104
3600.00/3611.70	c #Conflicts:     193000 | #Constraints:      53108
3600.00/3611.70	c #Conflicts:     194000 | #Constraints:      54110
3600.00/3611.70	c #Conflicts:     195000 | #Constraints:      55112
3600.00/3611.70	c #Conflicts:     196000 | #Constraints:      56116
3600.00/3611.70	c #Conflicts:     197000 | #Constraints:      57118
3600.00/3611.70	c #Conflicts:     198000 | #Constraints:      58120
3600.00/3611.70	c #Conflicts:     199000 | #Constraints:      59124
3600.00/3611.70	c #Conflicts:     200000 | #Constraints:      60126
3600.00/3611.70	c #Conflicts:     201000 | #Constraints:      61128
3600.00/3611.70	c #Conflicts:     202000 | #Constraints:      62132
3600.00/3611.70	c #Conflicts:     203000 | #Constraints:      63134
3600.00/3611.70	c #Conflicts:     204000 | #Constraints:      64136
3600.00/3611.70	c #Conflicts:     205000 | #Constraints:      65140
3600.00/3611.70	c #Conflicts:     206000 | #Constraints:      66142
3600.00/3611.70	c #Conflicts:     207000 | #Constraints:      67144
3600.00/3611.70	c #Conflicts:     208000 | #Constraints:      68149
3600.00/3611.70	c #Conflicts:     209000 | #Constraints:      69151
3600.00/3611.70	c #Conflicts:     210000 | #Constraints:      70159
3600.00/3611.70	c INPROCESSING
3600.00/3611.70	c GARBAGE COLLECT
3600.00/3611.70	c #Conflicts:     211000 | #Constraints:      45168
3600.00/3611.70	c #Conflicts:     212000 | #Constraints:      46172
3600.00/3611.70	c #Conflicts:     213000 | #Constraints:      47174
3600.00/3611.70	c #Conflicts:     214000 | #Constraints:      48176
3600.00/3611.70	c #Conflicts:     215000 | #Constraints:      49180
3600.00/3611.70	c #Conflicts:     216000 | #Constraints:      50182
3600.00/3611.70	c #Conflicts:     217000 | #Constraints:      51184
3600.00/3611.70	c #Conflicts:     218000 | #Constraints:      52188
3600.00/3611.70	c Program interrupted by user.
3600.00/3611.70	c cpu time 3592.84 s
3600.00/3611.70	c deterministic time 213511219926 2.14e+11
3600.00/3611.70	c optimization time 3430.23 s
3600.00/3611.70	c total solve time 162.614 s
3600.00/3611.70	c core-guided solve time 162.614 s
3600.00/3611.70	c propagation time 3131.27 s
3600.00/3611.70	c conflict analysis time 441.4 s
3600.00/3611.70	c propagations 56327486
3600.00/3611.70	c resolve steps 1270525
3600.00/3611.70	c decisions 3837965
3600.00/3611.70	c conflicts 218730
3600.00/3611.70	c restarts 510
3600.00/3611.70	c inprocessing phases 14
3600.00/3611.70	c input clauses 761
3600.00/3611.70	c input cardinalities 1213
3600.00/3611.70	c input general constraints 1671
3600.00/3611.70	c input average constraint length 236.02
3600.00/3611.70	c input average constraint degree 524286.16
3600.00/3611.70	c learned clauses 33606
3600.00/3611.70	c learned cardinalities 155
3600.00/3611.70	c learned general constraints 184960
3600.00/3611.70	c learned average constraint length 320.37
3600.00/3611.70	c learned average constraint degree 279494067.60
3600.00/3611.70	c watched constraints 32457
3600.00/3611.70	c counting constraints 154174
3600.00/3611.70	c gcd simplifications 20997
3600.00/3611.70	c detected cardinalities 113
3600.00/3611.70	c weakened non-implied lits 10263486
3600.00/3611.70	c weakened non-implying lits 53303
3600.00/3611.70	c original variables 1000
3600.00/3611.70	c clausal propagations 9669941
3600.00/3611.70	c cardinality propagations 1774302
3600.00/3611.70	c watched propagations 6576490
3600.00/3611.70	c counting propagations 37191813
3600.00/3611.70	c watch lookups 76993686080
3600.00/3611.70	c watch backjump lookups 76810863375
3600.00/3611.70	c watch checks 18348031961
3600.00/3611.70	c propagation checks 40832588996
3600.00/3611.70	c constraint additions 405501628
3600.00/3611.70	c trail pops 60382434
3600.00/3611.70	c formula constraints 1
3600.00/3611.70	c learned constraints 218721
3600.00/3611.70	c bound constraints 507
3600.00/3611.70	c core-guided constraints 3137
3600.00/3611.70	c encountered formula constraints 31596
3600.00/3611.70	c encountered learned constraints 939415
3600.00/3611.70	c encountered bound constraints 12592
3600.00/3611.70	c encountered core-guided constraints 505653
3600.00/3611.70	c LP total time 0 s
3600.00/3611.70	c LP solve time 0 s
3600.00/3611.70	c LP constraints added 0
3600.00/3611.70	c LP constraints removed 0
3600.00/3611.70	c LP pivots internal 0
3600.00/3611.70	c LP pivots root 0
3600.00/3611.70	c LP calls 0
3600.00/3611.70	c LP optimalities 0
3600.00/3611.70	c LP no pivot count 0
3600.00/3611.70	c LP infeasibilities 0
3600.00/3611.70	c LP valid Farkas constraints 0
3600.00/3611.70	c LP learned Farkas constraints 0
3600.00/3611.70	c LP basis resets 0
3600.00/3611.70	c LP cycling count 0
3600.00/3611.70	c LP singular count 0
3600.00/3611.70	c LP no primal count 0
3600.00/3611.70	c LP no farkas count 0
3600.00/3611.70	c LP other issue count 0
3600.00/3611.70	c LP Gomory cuts 0
3600.00/3611.70	c LP learned cuts 0
3600.00/3611.70	c LP deleted cuts 0
3600.00/3611.70	c LP encountered Gomory constraints 0
3600.00/3611.70	c LP encountered Farkas constraints 0
3600.00/3611.70	c LP encountered learned Farkas constraints 0
3600.00/3611.70	c CG auxiliary variables introduced 1225
3600.00/3611.70	c CG solutions found 2
3600.00/3611.70	c CG cores constructed 446
3600.00/3611.70	c CG core cardinality constraints returned 26
3600.00/3611.70	c CG unit cores 0
3600.00/3611.70	c CG single cores 397
3600.00/3611.70	c CG blocks removed during cardinality reduction 7929
3600.00/3611.70	c CG first core best 1
3600.00/3611.70	c CG decision core best 1
3600.00/3611.70	c CG core reduction tie 47
3600.00/3611.70	c CG core degree average 14.66
3600.00/3611.70	c CG core slack average 8.63
3600.00/3611.70	c CG exhausted 514
3600.00/3611.70	c CG exhaust time 3424.79 s
3600.00/3611.70	c CG trimmed 155
3600.00/3611.70	c CG trim time 1.21277 s
3600.00/3611.70	c CG minimized 0
3600.00/3611.70	c CG minimize time 0 s
3600.00/3611.70	c CG am1 prop time 0.055981 s
3600.00/3611.70	c CG # am1s reformulated 23
3600.00/3611.70	c CG lower bound derived from am1s 1049
3600.00/3611.70	c CG # clausal cores 358
3600.00/3611.70	c CG # cardinality cores 0
3600.00/3611.70	c CG # pb cores 137
3600.00/3611.70	c CG # pb reforms 0
3600.00/3611.70	c CG # cores discarded because of pb reform 0
3600.00/3611.70	d LOWERBOUND -601280
3600.00/3611.70	d NCORES 446
3600.00/3611.70	d NPBCORES 137
3600.00/3611.70	d NPBREFORM 0
3600.00/3611.70	d NTRIMMED 155
3600.00/3611.70	d NEXHAUSTED 514
3600.00/3611.70	d NAM1S 23
3600.00/3611.70	d AM1LB 1049
3600.00/3611.70	o -527004
3600.00/3611.70	s SATISFIABLE
3600.00/3611.70	v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 x875 -x876 x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000

OK	-527004

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 (61862 MiB free)
  memory of node 1: 64465 MiB (59517 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518222-1751538373/watcher-4518222-1751538373 -o /tmp/evaluation-result-4518222-1751538373/solver-4518222-1751538373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76846 --watchdog 3760 pb-oll-rs HOME/instance-4518222-1751538373.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=78341, runsolver pid=78338
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124289292/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=22780 memory=11468 CPUtime=0.09 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 1256 0 0 0 8 1 0 0 20 0 1 0 69514764 23326720 2867 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 5695 2867 1280 243 0 1944 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22780 KiB
Current children cumulated memory: 11468 KiB

[startup+0.205832 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124284760/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=24868 memory=13516 CPUtime=0.2 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 1788 0 0 0 18 2 0 0 20 0 1 0 69514764 25464832 3379 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 6217 3379 1280 243 0 2466 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24868 KiB
Current children cumulated memory: 13516 KiB

[startup+0.305698 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124284760/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=25248 memory=14412 CPUtime=0.29 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 1995 0 0 0 27 2 0 0 20 0 1 0 69514764 25853952 3603 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 6312 3603 1280 243 0 2561 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 25248 KiB
Current children cumulated memory: 14412 KiB

[startup+0.700178 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124276696/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=32444 memory=22220 CPUtime=0.69 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 3954 0 0 0 65 4 0 0 20 0 1 0 69514764 33222656 5555 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 8111 5555 1280 243 0 4360 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32444 KiB
Current children cumulated memory: 22220 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124268884/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=45336 memory=34108 CPUtime=1.48 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 6406 0 0 0 143 5 0 0 20 0 1 0 69514764 46424064 8527 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 11334 8527 1280 243 0 7583 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45336 KiB
Current children cumulated memory: 34108 KiB

[startup+3.10564 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124276760/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=52948 memory=41700 CPUtime=3.08 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 6773 0 0 0 299 9 0 0 20 0 1 0 69514764 54218752 10425 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 13237 10425 1280 243 0 9486 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52948 KiB
Current children cumulated memory: 41700 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124224280/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=123328 memory=98116 CPUtime=6.27 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 18846 0 0 0 606 21 0 0 20 0 1 0 69514764 126287872 24529 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 30832 24529 1280 243 0 27081 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123328 KiB
Current children cumulated memory: 98116 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.08 5/265 78342
/proc/meminfo: memFree=124191640/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=143616 memory=118152 CPUtime=12.65 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 21312 0 0 0 1235 30 0 0 20 0 1 0 69514764 147062784 29538 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 35904 29538 1280 243 0 32153 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143616 KiB
Current children cumulated memory: 118152 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 78342
/proc/meminfo: memFree=124133428/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=221552 memory=167596 CPUtime=25.41 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 29558 0 0 0 2500 41 0 0 20 0 1 0 69514764 226869248 41899 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 55388 41899 1280 243 0 51637 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 221552 KiB
Current children cumulated memory: 167596 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78342
/proc/meminfo: memFree=124054524/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=224724 memory=204092 CPUtime=50.94 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 33584 0 0 0 5032 62 0 0 20 0 1 0 69514764 230117376 51023 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 56181 51023 1280 243 0 52430 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 204092 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 78344
/proc/meminfo: memFree=123941404/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=366080 memory=276436 CPUtime=101.98 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 48114 0 0 0 10110 88 0 0 20 0 1 0 69514764 374865920 69109 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 91520 69109 1280 243 0 87769 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 366080 KiB
Current children cumulated memory: 276436 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78346
/proc/meminfo: memFree=123848820/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=367372 memory=326716 CPUtime=161.8 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 52668 0 0 0 16052 128 0 0 20 0 1 0 69514764 376188928 81679 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 91843 81679 1280 243 0 88092 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 367372 KiB
Current children cumulated memory: 326716 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 78348
/proc/meminfo: memFree=123762792/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=452460 memory=359392 CPUtime=221.61 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 54415 0 0 0 22016 145 0 0 20 0 1 0 69514764 463319040 89848 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 113115 89848 1280 243 0 109364 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 452460 KiB
Current children cumulated memory: 359392 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78352
/proc/meminfo: memFree=123709428/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=459064 memory=390308 CPUtime=281.43 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 57396 0 0 0 27980 163 0 0 20 0 1 0 69514764 470081536 97577 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 114766 97577 1280 243 0 111015 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 459064 KiB
Current children cumulated memory: 390308 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 78359
/proc/meminfo: memFree=123622204/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=531600 memory=433756 CPUtime=341.24 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 72253 0 0 0 33944 180 0 0 20 0 1 0 69514764 544358400 108439 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 132900 108439 1280 243 0 129149 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 531600 KiB
Current children cumulated memory: 433756 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78361
/proc/meminfo: memFree=123540624/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=532908 memory=437224 CPUtime=401.06 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 72624 0 0 0 39912 194 0 0 20 0 1 0 69514764 545697792 109306 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 133227 109306 1280 243 0 129476 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 532908 KiB
Current children cumulated memory: 437224 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 78364
/proc/meminfo: memFree=123398064/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=534844 memory=441572 CPUtime=460.88 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 73808 0 0 0 45882 206 0 0 20 0 1 0 69514764 547680256 110393 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 133711 110393 1280 243 0 129960 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 840032 KiB

[startup+2922.3 s]
/proc/loadavg: 4.30 4.25 4.16 5/264 78586
/proc/meminfo: memFree=122901588/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=2912.79 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139638 0 0 0 290641 638 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 2912.79 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.22 4.16 5/264 78588
/proc/meminfo: memFree=122771320/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=2972.6 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139662 0 0 0 296614 646 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 2972.6 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.16 5/264 78591
/proc/meminfo: memFree=122745760/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=3032.4 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139663 0 0 0 302589 651 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 3032.4 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.16 5/264 78593
/proc/meminfo: memFree=122680848/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=3092.21 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139666 0 0 0 308564 657 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 3092.21 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.19 4.16 5/263 78595
/proc/meminfo: memFree=122629804/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=3152.03 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139667 0 0 0 314536 667 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 3152.03 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/263 78597
/proc/meminfo: memFree=122599332/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=3211.84 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139673 0 0 0 320511 673 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 3211.84 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/264 78600
/proc/meminfo: memFree=122561668/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=939316 memory=840032 CPUtime=3271.66 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 139689 0 0 0 326486 680 0 0 20 0 1 0 69514764 961859584 210008 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 234829 210008 1280 243 0 231078 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 939316 KiB
Current children cumulated memory: 840032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/264 78605
/proc/meminfo: memFree=122412124/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=941880 memory=841440 CPUtime=3331.47 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 140049 0 0 0 332460 687 0 0 20 0 1 0 69514764 964485120 210360 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 235470 210360 1280 243 0 231719 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 941880 KiB
Current children cumulated memory: 841440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.12 4.13 5/264 78611
/proc/meminfo: memFree=122339740/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=942332 memory=841952 CPUtime=3391.28 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 140156 0 0 0 338436 692 0 0 20 0 1 0 69514764 964947968 210488 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 235583 210488 1280 243 0 231832 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 942332 KiB
Current children cumulated memory: 841952 KiB

[startup+3462.3 s]
/proc/loadavg: 3.65 4.00 4.09 4/258 78643
/proc/meminfo: memFree=123221848/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=944820 memory=843132 CPUtime=3451.08 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 140672 0 0 0 344409 699 0 0 20 0 1 0 69514764 967495680 210783 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 236205 210783 1280 243 0 232454 0
Current children cumulated CPU time: 3451.08 s
Current children cumulated vsize: 944820 KiB
Current children cumulated memory: 843132 KiB

[startup+3522.3 s]
/proc/loadavg: 3.30 3.83 4.02 4/258 78645
/proc/meminfo: memFree=123188856/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=946588 memory=844272 CPUtime=3510.88 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 141117 0 0 0 350383 705 0 0 20 0 1 0 69514764 969306112 211068 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 236647 211068 1280 243 0 232896 0
Current children cumulated CPU time: 3510.88 s
Current children cumulated vsize: 946588 KiB
Current children cumulated memory: 844272 KiB

[startup+3582.3 s]
/proc/loadavg: 3.23 3.71 3.97 4/258 78648
/proc/meminfo: memFree=123099248/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=946588 memory=844272 CPUtime=3570.7 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 141120 0 0 0 356357 713 0 0 20 0 1 0 69514764 969306112 211068 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 236647 211068 1280 243 0 232896 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 946588 KiB
Current children cumulated memory: 844272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 3.14 3.64 3.94 4/258 78649
/proc/meminfo: memFree=123042364/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=946588 memory=844272 CPUtime=3600 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 141121 0 0 0 359284 716 0 0 20 0 1 0 69514764 969306112 211068 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 236647 211068 1280 243 0 232896 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 946588 KiB
Current children cumulated memory: 844272 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.85 s, system=7.17994 s

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

[startup+3611.7 s]
/proc/loadavg: 3.14 3.64 3.94 4/258 78649
/proc/meminfo: memFree=123042364/131249996 swapFree=33006296/33010684
[pid=78341] ppid=78338 vsize=946588 memory=844272 CPUtime=3600 cores=0,2
/proc/78341/stat : 78341 (pb-oll-rs) R 78338 78341 76836 0 -1 4194304 141121 0 0 0 359284 716 0 0 20 0 1 0 69514764 969306112 211068 18446744073709551615 4218880 5211445 140727807066864 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 18235392 140727807072668 140727807072745 140727807072745 140727807078347 0
/proc/78341/statm: 236647 211068 1280 243 0 232896 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 946588 KiB
Current children cumulated memory: 844272 KiB

Child status: 0

Real time (s): 3611.72
CPU time (s): 3600.03
CPU user time (s): 3592.85
CPU system time (s): 7.17994
CPU usage (%): 99.6763
Max. virtual memory (cumulated for all children) (KiB): 946588
Max. memory (cumulated for all children) (KiB): 844272

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


# summary of solver processes directly reported to runsolver:
#   pid: 78341
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3592.85
#   total CPU system time (s): 7.17994

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32505 second user time and 16.4683 second system time

The end

Begin job on nodeC015 at 2025-07-03 12:26:13
IDJOB=4518222
IDBENCH=176692
IDSOLVER=3345
FILE ID=nodeC015/4518222-1751538373
RUNJOBID= nodeC015-1751530924-76846
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/uncorrelated/normalized-knapPI_1_500_10000_2_-399276.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518222-1751538373/watcher-4518222-1751538373 -o /tmp/evaluation-result-4518222-1751538373/solver-4518222-1751538373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751530924-76846 --watchdog 3760  pb-oll-rs HOME/instance-4518222-1751538373.opb

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

MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=1159714013

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		: 3614.270
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.144
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		: 3600.096
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		: 3600.400
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.071
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.064
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		: 3602.533
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		: 3613.621
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:        124293072 kB
MemAvailable:   124907664 kB
Buffers:            1508 kB
Cached:          1398136 kB
SwapCached:         3880 kB
Active:          5135244 kB
Inactive:        1160284 kB
Active(anon):    4861228 kB
Inactive(anon):    48808 kB
Active(file):     274016 kB
Inactive(file):  1111476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33006296 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1748 kB
Writeback:             0 kB
AnonPages:       4889924 kB
Mapped:           104076 kB
Shmem:             14152 kB
KReclaimable:     136676 kB
Slab:             227056 kB
SReclaimable:     136676 kB
SUnreclaim:        90380 kB
KernelStack:        4304 kB
PageTables:        13584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6525748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3164160 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= 432368 MiB
End job on nodeC015 at 2025-07-03 13:26:25