0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.09 c [STEP] solving
0.00/0.09 c #variables 2023 #constraints 31798
0.00/0.09 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= -109612 @ 0.059555
0.00/0.09 c stratification level: 332
0.00/0.10 c bounds - >= -109280 @ 0.063503
0.00/0.10 c finalizing WCE round: reformulating cores
0.39/0.49 c bounds -3285 >= -109280 @ 0.068179
0.39/0.49 c bounds -3346 >= -109280 @ 0.451516
0.39/0.49 c stratification level: 319
0.49/0.52 c bounds -3346 >= -108952 @ 0.460735
0.49/0.52 c bounds -3346 >= -108633 @ 0.465965
0.49/0.52 c finalizing WCE round: reformulating cores
1.28/1.37 c #Conflicts: 1000 | #Constraints: 32812
1.28/1.37 c bounds -5106 >= -108633 @ 1.21603
1.28/1.37 c bounds -5107 >= -108633 @ 1.31345
1.28/1.37 c stratification level: 312
1.38/1.42 c bounds -5107 >= -108315 @ 1.332
1.38/1.42 c bounds -5107 >= -108003 @ 1.3412
1.38/1.42 c bounds -5107 >= -107691 @ 1.34945
1.38/1.42 c finalizing WCE round: reformulating cores
2.37/2.49 c bounds -5731 >= -107691 @ 2.38178
2.37/2.49 c bounds -5747 >= -107691 @ 2.41047
2.37/2.49 c stratification level: 309
237.50/238.28 c bounds -5747 >= -107382 @ 2.43276
237.50/238.28 c #Conflicts: 2000 | #Constraints: 33828
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 3000 | #Constraints: 33822
237.50/238.28 c #Conflicts: 4000 | #Constraints: 34822
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 5000 | #Constraints: 34228
237.50/238.28 c #Conflicts: 6000 | #Constraints: 35228
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 7000 | #Constraints: 34242
237.50/238.28 c #Conflicts: 8000 | #Constraints: 35242
237.50/238.28 c #Conflicts: 9000 | #Constraints: 36242
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 10000 | #Constraints: 34937
237.50/238.28 c #Conflicts: 11000 | #Constraints: 35937
237.50/238.28 c #Conflicts: 12000 | #Constraints: 36937
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 13000 | #Constraints: 35385
237.50/238.28 c #Conflicts: 14000 | #Constraints: 36385
237.50/238.28 c #Conflicts: 15000 | #Constraints: 37385
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 16000 | #Constraints: 35621
237.50/238.28 c #Conflicts: 17000 | #Constraints: 36621
237.50/238.28 c #Conflicts: 18000 | #Constraints: 37621
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 19000 | #Constraints: 35629
237.50/238.28 c #Conflicts: 20000 | #Constraints: 36629
237.50/238.28 c #Conflicts: 21000 | #Constraints: 37629
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 22000 | #Constraints: 35430
237.50/238.28 c #Conflicts: 23000 | #Constraints: 36430
237.50/238.28 c #Conflicts: 24000 | #Constraints: 37430
237.50/238.28 c #Conflicts: 25000 | #Constraints: 38430
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 26000 | #Constraints: 36033
237.50/238.28 c #Conflicts: 27000 | #Constraints: 37033
237.50/238.28 c #Conflicts: 28000 | #Constraints: 38033
237.50/238.28 c #Conflicts: 29000 | #Constraints: 39033
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 30000 | #Constraints: 36430
237.50/238.28 c #Conflicts: 31000 | #Constraints: 37430
237.50/238.28 c #Conflicts: 32000 | #Constraints: 38430
237.50/238.28 c #Conflicts: 33000 | #Constraints: 39430
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 34000 | #Constraints: 36633
237.50/238.28 c #Conflicts: 35000 | #Constraints: 37633
237.50/238.28 c #Conflicts: 36000 | #Constraints: 38633
237.50/238.28 c #Conflicts: 37000 | #Constraints: 39633
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 38000 | #Constraints: 36640
237.50/238.28 c #Conflicts: 39000 | #Constraints: 37640
237.50/238.28 c #Conflicts: 40000 | #Constraints: 38640
237.50/238.28 c #Conflicts: 41000 | #Constraints: 39640
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 42000 | #Constraints: 36446
237.50/238.28 c #Conflicts: 43000 | #Constraints: 37446
237.50/238.28 c #Conflicts: 44000 | #Constraints: 38446
237.50/238.28 c #Conflicts: 45000 | #Constraints: 39446
237.50/238.28 c #Conflicts: 46000 | #Constraints: 40446
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 47000 | #Constraints: 37040
237.50/238.28 c #Conflicts: 48000 | #Constraints: 38040
237.50/238.28 c #Conflicts: 49000 | #Constraints: 39040
237.50/238.28 c #Conflicts: 50000 | #Constraints: 40040
237.50/238.28 c #Conflicts: 51000 | #Constraints: 41040
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 52000 | #Constraints: 37436
237.50/238.28 c #Conflicts: 53000 | #Constraints: 38436
237.50/238.28 c #Conflicts: 54000 | #Constraints: 39436
237.50/238.28 c #Conflicts: 55000 | #Constraints: 40436
237.50/238.28 c #Conflicts: 56000 | #Constraints: 41436
237.50/238.28 c INPROCESSING
237.50/238.28 c GARBAGE COLLECT
237.50/238.28 c #Conflicts: 57000 | #Constraints: 37629
237.50/238.28 c finalizing WCE round: reformulating cores
238.09/238.82 c bounds -5763 >= -107382 @ 237.295
238.09/238.82 c bounds -5763 >= -107073 @ 237.334
238.09/238.82 c finalizing WCE round: reformulating cores
239.78/240.52 c #Conflicts: 58000 | #Constraints: 38637
239.78/240.52 c bounds -5770 >= -107073 @ 239.018
239.78/240.52 c bounds -5775 >= -107073 @ 239.065
239.78/240.52 c stratification level: 247
242.29/243.07 c bounds -5775 >= -106767 @ 239.425
242.29/243.07 c bounds -5775 >= -106503 @ 239.456
242.29/243.07 c bounds -5775 >= -106203 @ 239.472
242.29/243.07 c bounds -5775 >= -105954 @ 239.502
242.29/243.07 c bounds -5775 >= -105702 @ 239.529
242.29/243.07 c bounds -5775 >= -105414 @ 239.557
242.29/243.07 c bounds -5775 >= -105131 @ 239.582
242.29/243.07 c bounds -5775 >= -104876 @ 239.62
242.29/243.07 c bounds -5775 >= -104609 @ 239.663
242.29/243.07 c bounds -5775 >= -104353 @ 239.686
242.29/243.07 c bounds -5775 >= -104099 @ 239.719
242.29/243.07 c bounds -5775 >= -103849 @ 239.738
242.29/243.07 c #Conflicts: 59000 | #Constraints: 39653
242.29/243.07 c finalizing WCE round: reformulating cores
250.95/251.70 c #Conflicts: 60000 | #Constraints: 40661
250.95/251.70 c #Conflicts: 61000 | #Constraints: 41663
250.95/251.70 c INPROCESSING
250.95/251.70 c GARBAGE COLLECT
250.95/251.70 c bounds -7398 >= -105791 @ 247.931
250.95/251.70 c bounds -7398 >= -105791 @ 247.931
250.95/251.70 c bounds -7398 >= -105791 @ 247.931
250.95/251.70 c bounds -7398 >= -105791 @ 247.931
250.95/251.70 c bounds -7398 >= -105791 @ 247.932
250.95/251.70 c bounds -7398 >= -105791 @ 247.932
250.95/251.70 c bounds -7398 >= -105791 @ 247.944
250.95/251.70 c bounds -7398 >= -105791 @ 247.965
250.95/251.70 c bounds -7398 >= -105791 @ 247.974
250.95/251.70 c bounds -7398 >= -105791 @ 247.983
250.95/251.70 c bounds -7398 >= -105791 @ 247.99
250.95/251.70 c bounds -7398 >= -105791 @ 248.002
250.95/251.70 c bounds -7398 >= -105791 @ 248.01
250.95/251.70 c bounds -7398 >= -105791 @ 248.017
250.95/251.70 c bounds -7398 >= -105791 @ 248.024
250.95/251.70 c bounds -7398 >= -105791 @ 248.032
250.95/251.70 c bounds -7398 >= -105791 @ 248.039
250.95/251.70 c bounds -7398 >= -105791 @ 248.07
250.95/251.70 c bounds -7398 >= -105791 @ 248.085
250.95/251.70 c bounds -7398 >= -105791 @ 248.104
250.95/251.70 c bounds -7398 >= -105791 @ 248.128
250.95/251.70 c bounds -7398 >= -105791 @ 248.149
250.95/251.70 c bounds -7398 >= -105791 @ 248.173
250.95/251.70 c bounds -7398 >= -105791 @ 248.193
250.95/251.70 c #Conflicts: 62000 | #Constraints: 37719
250.95/251.70 c bounds -7398 >= -105791 @ 248.216
250.95/251.70 c bounds -7398 >= -105791 @ 248.242
250.95/251.70 c bounds -7398 >= -105791 @ 248.267
250.95/251.70 c bounds -7398 >= -105791 @ 248.296
250.95/251.70 c bounds -7398 >= -105791 @ 248.321
250.95/251.70 c bounds -7398 >= -105791 @ 248.344
250.95/251.70 c bounds -7398 >= -105791 @ 248.378
250.95/251.70 c bounds -7398 >= -105791 @ 248.406
250.95/251.70 c bounds -7398 >= -105791 @ 248.435
250.95/251.70 c bounds -7398 >= -105791 @ 248.464
250.95/251.70 c bounds -7398 >= -105791 @ 248.486
250.95/251.70 c bounds -7398 >= -105791 @ 248.499
250.95/251.70 c bounds -7398 >= -105791 @ 248.514
250.95/251.70 c bounds -7398 >= -105791 @ 248.526
250.95/251.70 c bounds -7398 >= -105791 @ 248.541
250.95/251.70 c bounds -7398 >= -105791 @ 248.553
250.95/251.70 c bounds -7398 >= -105791 @ 248.568
250.95/251.70 c bounds -7398 >= -105791 @ 248.581
250.95/251.70 c bounds -7398 >= -105791 @ 248.596
250.95/251.70 c bounds -7398 >= -105791 @ 248.608
250.95/251.70 c bounds -7398 >= -105791 @ 248.623
250.95/251.70 c bounds -7398 >= -105791 @ 248.636
250.95/251.70 c bounds -7398 >= -105791 @ 248.651
250.95/251.70 c bounds -7398 >= -105791 @ 248.663
250.95/251.70 c bounds -7398 >= -105791 @ 248.677
250.95/251.70 c bounds -7398 >= -105791 @ 248.689
250.95/251.70 c bounds -7398 >= -105791 @ 248.704
250.95/251.70 c bounds -7398 >= -105791 @ 248.717
250.95/251.70 c bounds -7398 >= -105791 @ 248.732
250.95/251.70 c bounds -7398 >= -105791 @ 248.745
250.95/251.70 c bounds -7398 >= -105791 @ 248.759
250.95/251.70 c bounds -7398 >= -105791 @ 248.775
250.95/251.70 c bounds -7398 >= -105791 @ 248.797
250.95/251.70 c bounds -7398 >= -105791 @ 248.812
250.95/251.70 c bounds -7398 >= -105791 @ 248.833
250.95/251.70 c bounds -7398 >= -105791 @ 248.849
250.95/251.70 c bounds -7398 >= -105791 @ 248.87
250.95/251.70 c bounds -7398 >= -105791 @ 248.894
250.95/251.70 c bounds -7398 >= -105791 @ 248.926
250.95/251.70 c bounds -7398 >= -105791 @ 248.963
250.95/251.70 c bounds -7398 >= -105791 @ 249.005
250.95/251.70 c bounds -7398 >= -105791 @ 249.042
250.95/251.70 c bounds -7398 >= -105791 @ 249.088
250.95/251.70 c bounds -7398 >= -105791 @ 249.135
250.95/251.70 c bounds -7398 >= -105791 @ 249.181
250.95/251.70 c bounds -7398 >= -105791 @ 249.228
250.95/251.70 c bounds -7398 >= -105791 @ 249.273
250.95/251.70 c bounds -7398 >= -105791 @ 249.321
250.95/251.70 c bounds -7398 >= -105791 @ 249.359
250.95/251.70 c bounds -7398 >= -105791 @ 249.404
250.95/251.70 c bounds -7398 >= -105791 @ 249.456
250.95/251.70 c bounds -7398 >= -105791 @ 249.504
250.95/251.70 c bounds -7398 >= -105791 @ 249.535
250.95/251.70 c bounds -7398 >= -105791 @ 249.559
250.95/251.70 c bounds -7398 >= -105791 @ 249.59
250.95/251.70 c bounds -7398 >= -105791 @ 249.62
250.95/251.70 c bounds -7398 >= -105791 @ 249.652
250.95/251.70 c bounds -7398 >= -105791 @ 249.675
250.95/251.70 c bounds -7398 >= -105791 @ 249.693
250.95/251.70 c bounds -7398 >= -105791 @ 249.711
250.95/251.70 c bounds -7398 >= -105791 @ 249.728
250.95/251.70 c bounds -7398 >= -105791 @ 249.746
250.95/251.70 c bounds -7398 >= -105791 @ 249.764
250.95/251.70 c bounds -7398 >= -105791 @ 249.783
250.95/251.70 c bounds -7398 >= -105791 @ 249.802
250.95/251.70 c bounds -7398 >= -105791 @ 249.821
250.95/251.70 c bounds -7398 >= -105791 @ 249.838
250.95/251.70 c bounds -7398 >= -105791 @ 249.856
250.95/251.70 c bounds -7398 >= -105791 @ 249.873
250.95/251.70 c bounds -7398 >= -105791 @ 249.891
250.95/251.70 c bounds -7398 >= -105791 @ 249.909
250.95/251.70 c bounds -7398 >= -105791 @ 249.927
250.95/251.70 c bounds -7398 >= -105791 @ 249.944
250.95/251.70 c bounds -7398 >= -105791 @ 249.962
250.95/251.70 c bounds -7398 >= -105791 @ 249.979
250.95/251.70 c bounds -7398 >= -105791 @ 249.998
250.95/251.70 c bounds -7398 >= -105791 @ 250.016
250.95/251.70 c bounds -7398 >= -105791 @ 250.034
250.95/251.70 c bounds -7398 >= -105791 @ 250.051
250.95/251.70 c bounds -7398 >= -105791 @ 250.07
250.95/251.70 c bounds -7398 >= -105791 @ 250.089
250.95/251.70 c bounds -7398 >= -105791 @ 250.107
250.95/251.70 c bounds -7398 >= -105791 @ 250.126
250.95/251.70 c bounds -7398 >= -105791 @ 250.145
250.95/251.70 c bounds -7398 >= -105791 @ 250.163
255.44/256.29 c bounds -7398 >= -105791 @ 250.187
255.44/256.29 c bounds -7398 >= -105791 @ 250.218
255.44/256.29 c bounds -7398 >= -105791 @ 250.254
255.44/256.29 c bounds -7398 >= -105791 @ 250.293
255.44/256.29 c bounds -7398 >= -105791 @ 250.335
255.44/256.29 c bounds -7398 >= -105791 @ 250.379
255.44/256.29 c bounds -7398 >= -105791 @ 250.412
255.44/256.29 c bounds -7398 >= -105791 @ 250.447
255.44/256.29 c bounds -7398 >= -105791 @ 250.48
255.44/256.29 c bounds -7398 >= -105791 @ 250.521
255.44/256.29 c bounds -7398 >= -105791 @ 250.563
255.44/256.29 c bounds -7398 >= -105791 @ 250.587
255.44/256.29 c bounds -7398 >= -105791 @ 250.613
255.44/256.29 c bounds -7398 >= -105791 @ 250.645
255.44/256.29 c bounds -7398 >= -105791 @ 250.68
255.44/256.29 c bounds -7398 >= -105791 @ 250.723
255.44/256.29 c bounds -7398 >= -105791 @ 250.761
255.44/256.29 c bounds -7398 >= -105791 @ 250.798
255.44/256.29 c bounds -7398 >= -105791 @ 250.84
255.44/256.29 c bounds -7398 >= -105791 @ 250.891
255.44/256.29 c bounds -7398 >= -105791 @ 250.924
255.44/256.29 c bounds -7398 >= -105791 @ 250.967
255.44/256.29 c bounds -7398 >= -105791 @ 251.025
255.44/256.29 c bounds -7398 >= -105791 @ 251.09
255.44/256.29 c bounds -7398 >= -105791 @ 251.148
255.44/256.29 c bounds -7398 >= -105791 @ 251.195
255.44/256.29 c bounds -7398 >= -105791 @ 251.24
255.44/256.29 c bounds -7398 >= -105791 @ 251.268
255.44/256.29 c bounds -7398 >= -105791 @ 251.321
255.44/256.29 c bounds -7398 >= -105791 @ 251.367
255.44/256.29 c bounds -7398 >= -105791 @ 251.397
255.44/256.29 c bounds -7398 >= -105791 @ 251.439
255.44/256.29 c bounds -7398 >= -105791 @ 251.47
255.44/256.29 c bounds -7398 >= -105791 @ 251.524
255.44/256.29 c bounds -7398 >= -105791 @ 251.56
255.44/256.29 c bounds -7398 >= -105791 @ 251.609
255.44/256.29 c bounds -7398 >= -105791 @ 251.651
255.44/256.29 c bounds -7398 >= -105791 @ 251.691
255.44/256.29 c bounds -7398 >= -105791 @ 251.721
255.44/256.29 c bounds -7398 >= -105791 @ 251.754
255.44/256.29 c bounds -7398 >= -105791 @ 251.79
255.44/256.29 c bounds -7398 >= -105791 @ 251.832
255.44/256.29 c bounds -7398 >= -105791 @ 251.869
255.44/256.29 c bounds -7398 >= -105791 @ 251.903
255.44/256.29 c bounds -7398 >= -105791 @ 251.936
255.44/256.29 c bounds -7398 >= -105791 @ 251.978
255.44/256.29 c bounds -7398 >= -105791 @ 252.017
255.44/256.29 c bounds -7398 >= -105791 @ 252.047
255.44/256.29 c bounds -7398 >= -105791 @ 252.077
255.44/256.29 c bounds -7398 >= -105791 @ 252.107
255.44/256.29 c bounds -7398 >= -105791 @ 252.13
255.44/256.29 c bounds -7398 >= -105791 @ 252.161
255.44/256.29 c bounds -7398 >= -105791 @ 252.195
255.44/256.29 c bounds -7398 >= -105791 @ 252.22
255.44/256.29 c bounds -7398 >= -105791 @ 252.251
255.44/256.29 c bounds -7398 >= -105791 @ 252.275
255.44/256.29 c bounds -7398 >= -105791 @ 252.306
255.44/256.29 c bounds -7398 >= -105791 @ 252.33
255.44/256.29 c bounds -7398 >= -105791 @ 252.36
255.44/256.29 c bounds -7398 >= -105791 @ 252.384
255.44/256.29 c bounds -7398 >= -105791 @ 252.415
255.44/256.29 c bounds -7398 >= -105791 @ 252.439
255.44/256.29 c bounds -7398 >= -105791 @ 252.469
255.44/256.29 c bounds -7398 >= -105791 @ 252.493
255.44/256.29 c bounds -7398 >= -105791 @ 252.526
255.44/256.29 c bounds -7398 >= -105791 @ 252.556
255.44/256.29 c bounds -7398 >= -105791 @ 252.587
255.44/256.29 c bounds -7398 >= -105791 @ 252.617
255.44/256.29 c bounds -7398 >= -105791 @ 252.649
255.44/256.29 c bounds -7398 >= -105791 @ 252.68
255.44/256.29 c bounds -7398 >= -105791 @ 252.711
255.44/256.29 c bounds -7398 >= -105791 @ 252.753
255.44/256.29 c bounds -7398 >= -105791 @ 252.795
255.44/256.29 c bounds -7398 >= -105791 @ 252.836
255.44/256.29 c bounds -7398 >= -105791 @ 252.879
255.44/256.29 c bounds -7398 >= -105791 @ 252.924
255.44/256.29 c bounds -7398 >= -105791 @ 252.973
255.44/256.29 c bounds -7398 >= -105791 @ 253.019
255.44/256.29 c bounds -7398 >= -105791 @ 253.068
255.44/256.29 c bounds -7398 >= -105791 @ 253.112
255.44/256.29 c bounds -7398 >= -105791 @ 253.161
255.44/256.29 c bounds -7398 >= -105791 @ 253.207
255.44/256.29 c bounds -7398 >= -105791 @ 253.262
255.44/256.29 c bounds -7398 >= -105791 @ 253.308
255.44/256.29 c bounds -7398 >= -105791 @ 253.362
255.44/256.29 c bounds -7398 >= -105791 @ 253.443
255.44/256.29 c bounds -7398 >= -105791 @ 253.501
255.44/256.29 c bounds -7398 >= -105791 @ 253.55
255.44/256.29 c bounds -7398 >= -105791 @ 253.613
255.44/256.29 c bounds -7398 >= -105791 @ 253.67
255.44/256.29 c #Conflicts: 63000 | #Constraints: 39072
255.44/256.29 c bounds -7398 >= -105791 @ 253.722
255.44/256.29 c bounds -7398 >= -105791 @ 253.798
255.44/256.29 c bounds -7398 >= -105791 @ 253.859
255.44/256.29 c bounds -7398 >= -105791 @ 253.895
255.44/256.29 c bounds -7398 >= -105791 @ 253.936
255.44/256.29 c bounds -7398 >= -105791 @ 253.972
255.44/256.29 c bounds -7398 >= -105791 @ 254.015
255.44/256.29 c bounds -7398 >= -105791 @ 254.07
255.44/256.29 c bounds -7398 >= -105791 @ 254.114
255.44/256.29 c bounds -7398 >= -105791 @ 254.171
255.44/256.29 c bounds -7398 >= -105791 @ 254.209
255.44/256.29 c bounds -7398 >= -105791 @ 254.247
255.44/256.29 c bounds -7398 >= -105791 @ 254.314
255.44/256.29 c bounds -7398 >= -105791 @ 254.381
255.44/256.29 c bounds -7398 >= -105791 @ 254.435
255.44/256.29 c bounds -7398 >= -105791 @ 254.481
255.44/256.29 c bounds -7398 >= -105791 @ 254.53
255.44/256.29 c bounds -7398 >= -105791 @ 254.567
255.44/256.29 c bounds -7398 >= -105791 @ 254.604
255.44/256.29 c bounds -7398 >= -105791 @ 254.639
255.44/256.29 c bounds -7398 >= -105791 @ 254.673
255.44/256.29 c bounds -7398 >= -105791 @ 254.706
255.44/256.29 c bounds -7398 >= -105791 @ 254.736
270.10/270.92 c bounds -7398 >= -105791 @ 254.769
270.10/270.92 c bounds -7398 >= -105791 @ 254.811
270.10/270.92 c bounds -7398 >= -105791 @ 254.845
270.10/270.92 c bounds -7398 >= -105791 @ 254.873
270.10/270.92 c bounds -7398 >= -105791 @ 254.913
270.10/270.92 c bounds -7398 >= -105791 @ 254.944
270.10/270.92 c bounds -7398 >= -105791 @ 254.978
270.10/270.92 c bounds -7398 >= -105791 @ 255.011
270.10/270.92 c bounds -7398 >= -105791 @ 255.049
270.10/270.92 c bounds -7398 >= -105791 @ 255.089
270.10/270.92 c bounds -7398 >= -105791 @ 255.117
270.10/270.92 c bounds -7398 >= -105791 @ 255.155
270.10/270.92 c bounds -7398 >= -105791 @ 255.201
270.10/270.92 c bounds -7398 >= -105791 @ 255.225
270.10/270.92 c bounds -7398 >= -105791 @ 255.266
270.10/270.92 c bounds -7398 >= -105791 @ 255.302
270.10/270.92 c bounds -7398 >= -105791 @ 255.337
270.10/270.92 c bounds -7398 >= -105791 @ 255.374
270.10/270.92 c bounds -7398 >= -105791 @ 255.413
270.10/270.92 c bounds -7398 >= -105791 @ 255.463
270.10/270.92 c bounds -7398 >= -105791 @ 255.497
270.10/270.92 c bounds -7398 >= -105791 @ 255.534
270.10/270.92 c bounds -7398 >= -105791 @ 255.579
270.10/270.92 c bounds -7398 >= -105791 @ 255.617
270.10/270.92 c bounds -7398 >= -105791 @ 255.652
270.10/270.92 c bounds -7398 >= -105791 @ 255.691
270.10/270.92 c bounds -7398 >= -105791 @ 255.736
270.10/270.92 c bounds -7398 >= -105791 @ 255.767
270.10/270.92 c bounds -7398 >= -105791 @ 255.808
270.10/270.92 c bounds -7398 >= -105791 @ 255.861
270.10/270.92 c bounds -7398 >= -105791 @ 255.904
270.10/270.92 c bounds -7398 >= -105791 @ 255.944
270.10/270.92 c bounds -7398 >= -105791 @ 255.989
270.10/270.92 c bounds -7398 >= -105791 @ 256.033
270.10/270.92 c bounds -7398 >= -105791 @ 256.072
270.10/270.92 c bounds -7398 >= -105791 @ 256.133
270.10/270.92 c bounds -7398 >= -105791 @ 256.18
270.10/270.92 c bounds -7398 >= -105791 @ 256.23
270.10/270.92 c bounds -7398 >= -105791 @ 256.287
270.10/270.92 c bounds -7398 >= -105791 @ 256.354
270.10/270.92 c bounds -7398 >= -105791 @ 256.413
270.10/270.92 c bounds -7398 >= -105791 @ 256.466
270.10/270.92 c bounds -7398 >= -105791 @ 256.517
270.10/270.92 c bounds -7398 >= -105791 @ 256.572
270.10/270.92 c bounds -7398 >= -105791 @ 256.632
270.10/270.92 c bounds -7398 >= -105791 @ 256.689
270.10/270.92 c bounds -7398 >= -105791 @ 256.753
270.10/270.92 c bounds -7398 >= -105791 @ 256.816
270.10/270.92 c bounds -7398 >= -105791 @ 256.891
270.10/270.92 c bounds -7398 >= -105791 @ 256.941
270.10/270.92 c bounds -7398 >= -105791 @ 256.994
270.10/270.92 c bounds -7398 >= -105791 @ 257.04
270.10/270.92 c bounds -7398 >= -105791 @ 257.077
270.10/270.92 c bounds -7398 >= -105791 @ 257.117
270.10/270.92 c bounds -7398 >= -105791 @ 257.156
270.10/270.92 c bounds -7398 >= -105791 @ 257.191
270.10/270.92 c bounds -7398 >= -105791 @ 257.226
270.10/270.92 c bounds -7398 >= -105791 @ 257.264
270.10/270.92 c bounds -7398 >= -105791 @ 257.298
270.10/270.92 c bounds -7398 >= -105791 @ 257.332
270.10/270.92 c bounds -7398 >= -105791 @ 257.368
270.10/270.92 c bounds -7398 >= -105791 @ 257.4
270.10/270.92 c bounds -7398 >= -105791 @ 257.433
270.10/270.92 c bounds -7398 >= -105791 @ 257.466
270.10/270.92 c bounds -7398 >= -105791 @ 257.508
270.10/270.92 c bounds -7398 >= -105791 @ 257.569
270.10/270.92 c bounds -7398 >= -105791 @ 257.629
270.10/270.92 c bounds -7398 >= -105791 @ 257.664
270.10/270.92 c bounds -7398 >= -105791 @ 257.702
270.10/270.92 c bounds -7398 >= -105791 @ 257.757
270.10/270.92 c #Conflicts: 64000 | #Constraints: 40258
270.10/270.92 c bounds -7398 >= -105791 @ 257.805
270.10/270.92 c bounds -7398 >= -105791 @ 257.862
270.10/270.92 c bounds -7398 >= -105791 @ 257.903
270.10/270.92 c bounds -7398 >= -105791 @ 257.943
270.10/270.92 c bounds -7398 >= -105791 @ 257.99
270.10/270.92 c bounds -7398 >= -105791 @ 258.053
270.10/270.92 c bounds -7398 >= -105791 @ 258.08
270.10/270.92 c bounds -7398 >= -105791 @ 258.111
270.10/270.92 c bounds -7398 >= -105791 @ 258.142
270.10/270.92 c bounds -7398 >= -105791 @ 258.195
270.10/270.92 c bounds -7398 >= -105791 @ 258.235
270.10/270.92 c bounds -7398 >= -105791 @ 258.273
270.10/270.92 c bounds -7398 >= -105791 @ 258.307
270.10/270.92 c bounds -7398 >= -105791 @ 258.35
270.10/270.92 c bounds -7398 >= -105791 @ 258.39
270.10/270.92 c bounds -7398 >= -105791 @ 258.439
270.10/270.92 c bounds -7398 >= -105791 @ 258.92
270.10/270.92 c bounds -7398 >= -105791 @ 258.972
270.10/270.92 c bounds -7398 >= -105791 @ 259.014
270.10/270.92 c bounds -7398 >= -105791 @ 259.056
270.10/270.92 c bounds -7398 >= -105791 @ 259.116
270.10/270.92 c bounds -7398 >= -105791 @ 259.172
270.10/270.92 c bounds -7398 >= -105791 @ 259.21
270.10/270.92 c #Conflicts: 65000 | #Constraints: 41304
270.10/270.92 c #Conflicts: 66000 | #Constraints: 42308
270.10/270.92 c INPROCESSING
270.10/270.92 c GARBAGE COLLECT
270.10/270.92 c #Conflicts: 67000 | #Constraints: 36795
270.10/270.92 c #Conflicts: 68000 | #Constraints: 37797
270.10/270.92 c #Conflicts: 69000 | #Constraints: 38801
270.10/270.92 c #Conflicts: 70000 | #Constraints: 39803
270.10/270.92 c #Conflicts: 71000 | #Constraints: 40805
270.10/270.92 c bounds -7398 >= -102209 @ 267.34
270.10/270.92 c #Conflicts: 72000 | #Constraints: 41805
270.10/270.92 c INPROCESSING
270.10/270.92 c GARBAGE COLLECT
270.10/270.92 c bounds -7426 >= -102209 @ 269.235
270.10/270.92 c stratification level: 246
291.25/292.11 c bounds -7426 >= -101963 @ 269.247
291.25/292.11 c #Conflicts: 73000 | #Constraints: 37891
291.25/292.11 c #Conflicts: 74000 | #Constraints: 38891
291.25/292.11 c #Conflicts: 75000 | #Constraints: 39891
291.25/292.11 c #Conflicts: 76000 | #Constraints: 40891
291.25/292.11 c #Conflicts: 77000 | #Constraints: 41891
291.25/292.11 c #Conflicts: 78000 | #Constraints: 42891
291.25/292.11 c INPROCESSING
291.25/292.11 c GARBAGE COLLECT
291.25/292.11 c finalizing WCE round: reformulating cores
291.25/292.13 c bounds -7548 >= -101963 @ 290.241
291.25/292.13 c bounds -7549 >= -101963 @ 290.247
291.25/292.13 c stratification level: 245
445.49/446.83 c bounds -7549 >= -101718 @ 290.27
445.49/446.83 c #Conflicts: 79000 | #Constraints: 38537
445.49/446.83 c #Conflicts: 80000 | #Constraints: 39537
445.49/446.83 c #Conflicts: 81000 | #Constraints: 40537
445.49/446.83 c #Conflicts: 82000 | #Constraints: 41537
445.49/446.83 c #Conflicts: 83000 | #Constraints: 42537
445.49/446.83 c #Conflicts: 84000 | #Constraints: 43537
445.49/446.83 c INPROCESSING
445.49/446.83 c GARBAGE COLLECT
445.49/446.83 c #Conflicts: 85000 | #Constraints: 38856
445.49/446.83 c #Conflicts: 86000 | #Constraints: 39856
445.49/446.83 c #Conflicts: 87000 | #Constraints: 40856
445.49/446.83 c #Conflicts: 88000 | #Constraints: 41856
445.49/446.83 c #Conflicts: 89000 | #Constraints: 42856
445.49/446.83 c #Conflicts: 90000 | #Constraints: 43856
445.49/446.83 c INPROCESSING
445.49/446.83 c GARBAGE COLLECT
445.49/446.83 c #Conflicts: 91000 | #Constraints: 38914
445.49/446.83 c #Conflicts: 92000 | #Constraints: 39914
445.49/446.83 c #Conflicts: 93000 | #Constraints: 40914
445.49/446.83 c #Conflicts: 94000 | #Constraints: 41914
445.49/446.83 c #Conflicts: 95000 | #Constraints: 42914
445.49/446.83 c #Conflicts: 96000 | #Constraints: 43914
445.49/446.83 c INPROCESSING
445.49/446.83 c GARBAGE COLLECT
445.49/446.83 c finalizing WCE round: reformulating cores
596.37/598.19 c #Conflicts: 97000 | #Constraints: 38756
596.37/598.19 c bounds -7553 >= -101718 @ 445.236
596.37/598.19 c #Conflicts: 98000 | #Constraints: 39756
596.37/598.19 c #Conflicts: 99000 | #Constraints: 40756
596.37/598.19 c #Conflicts: 100000 | #Constraints: 41756
596.37/598.19 c #Conflicts: 101000 | #Constraints: 42756
596.37/598.19 c #Conflicts: 102000 | #Constraints: 43756
596.37/598.19 c #Conflicts: 103000 | #Constraints: 44756
596.37/598.19 c INPROCESSING
596.37/598.19 c GARBAGE COLLECT
596.37/598.19 c #Conflicts: 104000 | #Constraints: 39365
596.37/598.19 c #Conflicts: 105000 | #Constraints: 40365
596.37/598.19 c #Conflicts: 106000 | #Constraints: 41365
596.37/598.19 c #Conflicts: 107000 | #Constraints: 42365
596.37/598.19 c #Conflicts: 108000 | #Constraints: 43365
596.37/598.19 c #Conflicts: 109000 | #Constraints: 44365
596.37/598.19 c #Conflicts: 110000 | #Constraints: 45365
596.37/598.19 c INPROCESSING
596.37/598.19 c GARBAGE COLLECT
596.37/598.19 c #Conflicts: 111000 | #Constraints: 39772
596.37/598.19 c #Conflicts: 112000 | #Constraints: 40772
596.37/598.19 c #Conflicts: 113000 | #Constraints: 41772
596.37/598.19 c #Conflicts: 114000 | #Constraints: 42772
596.37/598.19 c #Conflicts: 115000 | #Constraints: 43772
596.37/598.19 c #Conflicts: 116000 | #Constraints: 44772
596.37/598.19 c #Conflicts: 117000 | #Constraints: 45772
596.37/598.19 c INPROCESSING
596.37/598.19 c GARBAGE COLLECT
596.37/598.19 c #Conflicts: 118000 | #Constraints: 39972
596.37/598.19 c #Conflicts: 119000 | #Constraints: 40972
596.37/598.19 c #Conflicts: 120000 | #Constraints: 41972
596.37/598.19 c #Conflicts: 121000 | #Constraints: 42972
596.37/598.19 c bounds -7558 >= -101718 @ 594.782
596.37/598.19 c stratification level: 243
640.24/642.16 c bounds -7558 >= -101475 @ 594.834
640.24/642.16 c #Conflicts: 122000 | #Constraints: 43974
640.24/642.16 c #Conflicts: 123000 | #Constraints: 44974
640.24/642.16 c #Conflicts: 124000 | #Constraints: 45974
640.24/642.16 c INPROCESSING
640.24/642.16 c GARBAGE COLLECT
640.24/642.16 c #Conflicts: 125000 | #Constraints: 39974
640.24/642.16 c #Conflicts: 126000 | #Constraints: 40974
640.24/642.16 c #Conflicts: 127000 | #Constraints: 41974
640.24/642.16 c #Conflicts: 128000 | #Constraints: 42974
640.24/642.16 c #Conflicts: 129000 | #Constraints: 43974
640.24/642.16 c finalizing WCE round: reformulating cores
707.44/709.56 c #Conflicts: 130000 | #Constraints: 44977
707.44/709.56 c bounds -7559 >= -101475 @ 642.101
707.44/709.56 c #Conflicts: 131000 | #Constraints: 45977
707.44/709.56 c INPROCESSING
707.44/709.56 c GARBAGE COLLECT
707.44/709.56 c #Conflicts: 132000 | #Constraints: 39774
707.44/709.56 c #Conflicts: 133000 | #Constraints: 40774
707.44/709.56 c #Conflicts: 134000 | #Constraints: 41774
707.44/709.56 c #Conflicts: 135000 | #Constraints: 42774
707.44/709.56 c #Conflicts: 136000 | #Constraints: 43774
707.44/709.56 c #Conflicts: 137000 | #Constraints: 44774
707.44/709.56 c #Conflicts: 138000 | #Constraints: 45774
707.44/709.56 c #Conflicts: 139000 | #Constraints: 46774
707.44/709.56 c INPROCESSING
707.44/709.56 c GARBAGE COLLECT
707.44/709.56 c #Conflicts: 140000 | #Constraints: 40392
707.44/709.56 c #Conflicts: 141000 | #Constraints: 41392
707.44/709.56 c #Conflicts: 142000 | #Constraints: 42392
707.44/709.56 c #Conflicts: 143000 | #Constraints: 43392
707.44/709.56 c #Conflicts: 144000 | #Constraints: 44392
707.44/709.56 c #Conflicts: 145000 | #Constraints: 45392
707.44/709.56 c #Conflicts: 146000 | #Constraints: 46392
707.44/709.56 c #Conflicts: 147000 | #Constraints: 47392
707.44/709.56 c INPROCESSING
707.44/709.56 c GARBAGE COLLECT
707.44/709.56 c #Conflicts: 148000 | #Constraints: 40790
707.44/709.56 c #Conflicts: 149000 | #Constraints: 41790
707.44/709.56 c bounds -7561 >= -101475 @ 705.443
707.44/709.56 c stratification level: 239
768.96/771.26 c bounds -7561 >= -101234 @ 705.49
768.96/771.26 c #Conflicts: 150000 | #Constraints: 42792
768.96/771.26 c #Conflicts: 151000 | #Constraints: 43792
768.96/771.26 c #Conflicts: 152000 | #Constraints: 44792
768.96/771.26 c #Conflicts: 153000 | #Constraints: 45792
768.96/771.26 c #Conflicts: 154000 | #Constraints: 46792
768.96/771.26 c #Conflicts: 155000 | #Constraints: 47792
768.96/771.26 c INPROCESSING
768.96/771.26 c GARBAGE COLLECT
768.96/771.26 c #Conflicts: 156000 | #Constraints: 41002
768.96/771.26 c #Conflicts: 157000 | #Constraints: 42002
768.96/771.26 c #Conflicts: 158000 | #Constraints: 43002
768.96/771.26 c #Conflicts: 159000 | #Constraints: 44002
768.96/771.26 c #Conflicts: 160000 | #Constraints: 45002
768.96/771.26 c #Conflicts: 161000 | #Constraints: 46002
768.96/771.26 c #Conflicts: 162000 | #Constraints: 47002
768.96/771.26 c #Conflicts: 163000 | #Constraints: 48002
768.96/771.26 c INPROCESSING
768.96/771.26 c GARBAGE COLLECT
768.96/771.26 c #Conflicts: 164000 | #Constraints: 40992
768.96/771.26 c #Conflicts: 165000 | #Constraints: 41992
768.96/771.26 c #Conflicts: 166000 | #Constraints: 42992
768.96/771.26 c #Conflicts: 167000 | #Constraints: 43992
768.96/771.26 c #Conflicts: 168000 | #Constraints: 44992
768.96/771.26 c #Conflicts: 169000 | #Constraints: 45992
768.96/771.26 c #Conflicts: 170000 | #Constraints: 46992
768.96/771.26 c #Conflicts: 171000 | #Constraints: 47992
768.96/771.26 c INPROCESSING
768.96/771.26 c GARBAGE COLLECT
768.96/771.26 c #Conflicts: 172000 | #Constraints: 40789
768.96/771.26 c #Conflicts: 173000 | #Constraints: 41789
768.96/771.26 c #Conflicts: 174000 | #Constraints: 42789
768.96/771.26 c finalizing WCE round: reformulating cores
863.30/865.84 c #Conflicts: 175000 | #Constraints: 43792
863.30/865.84 c bounds -7563 >= -101234 @ 767.986
863.30/865.84 c #Conflicts: 176000 | #Constraints: 44792
863.30/865.84 c #Conflicts: 177000 | #Constraints: 45792
863.30/865.84 c #Conflicts: 178000 | #Constraints: 46792
863.30/865.84 c #Conflicts: 179000 | #Constraints: 47792
863.30/865.84 c #Conflicts: 180000 | #Constraints: 48792
863.30/865.84 c INPROCESSING
863.30/865.84 c GARBAGE COLLECT
863.30/865.84 c #Conflicts: 181000 | #Constraints: 41386
863.30/865.84 c #Conflicts: 182000 | #Constraints: 42386
863.30/865.84 c #Conflicts: 183000 | #Constraints: 43386
863.30/865.84 c #Conflicts: 184000 | #Constraints: 44386
863.30/865.84 c #Conflicts: 185000 | #Constraints: 45386
863.30/865.84 c bounds -7568 >= -101234 @ 860.77
863.30/865.84 c stratification level: 238
1302.71/1306.50 c bounds -7568 >= -100996 @ 860.821
1302.71/1306.50 c #Conflicts: 186000 | #Constraints: 46388
1302.71/1306.50 c #Conflicts: 187000 | #Constraints: 47388
1302.71/1306.50 c #Conflicts: 188000 | #Constraints: 48388
1302.71/1306.50 c #Conflicts: 189000 | #Constraints: 49388
1302.71/1306.50 c INPROCESSING
1302.71/1306.50 c GARBAGE COLLECT
1302.71/1306.50 c #Conflicts: 190000 | #Constraints: 41798
1302.71/1306.50 c #Conflicts: 191000 | #Constraints: 42798
1302.71/1306.50 c #Conflicts: 192000 | #Constraints: 43798
1302.71/1306.50 c #Conflicts: 193000 | #Constraints: 44798
1302.71/1306.50 c #Conflicts: 194000 | #Constraints: 45798
1302.71/1306.50 c #Conflicts: 195000 | #Constraints: 46798
1302.71/1306.50 c #Conflicts: 196000 | #Constraints: 47798
1302.71/1306.50 c #Conflicts: 197000 | #Constraints: 48798
1302.71/1306.50 c #Conflicts: 198000 | #Constraints: 49798
1302.71/1306.50 c INPROCESSING
1302.71/1306.50 c GARBAGE COLLECT
1302.71/1306.50 c #Conflicts: 199000 | #Constraints: 41989
1302.71/1306.50 c #Conflicts: 200000 | #Constraints: 42989
1302.71/1306.50 c #Conflicts: 201000 | #Constraints: 43989
1302.71/1306.50 c #Conflicts: 202000 | #Constraints: 44989
1302.71/1306.50 c #Conflicts: 203000 | #Constraints: 45989
1302.71/1306.50 c #Conflicts: 204000 | #Constraints: 46989
1302.71/1306.50 c #Conflicts: 205000 | #Constraints: 47989
1302.71/1306.50 c #Conflicts: 206000 | #Constraints: 48989
1302.71/1306.50 c #Conflicts: 207000 | #Constraints: 49989
1302.71/1306.50 c INPROCESSING
1302.71/1306.50 c GARBAGE COLLECT
1302.71/1306.50 c #Conflicts: 208000 | #Constraints: 41986
1302.71/1306.50 c #Conflicts: 209000 | #Constraints: 42986
1302.71/1306.50 c #Conflicts: 210000 | #Constraints: 43986
1302.71/1306.50 c #Conflicts: 211000 | #Constraints: 44986
1302.71/1306.50 c #Conflicts: 212000 | #Constraints: 45986
1302.71/1306.50 c #Conflicts: 213000 | #Constraints: 46986
1302.71/1306.50 c #Conflicts: 214000 | #Constraints: 47986
1302.71/1306.50 c #Conflicts: 215000 | #Constraints: 48986
1302.71/1306.50 c #Conflicts: 216000 | #Constraints: 49986
1302.71/1306.50 c INPROCESSING
1302.71/1306.50 c GARBAGE COLLECT
1302.71/1306.50 c finalizing WCE round: reformulating cores
1580.08/1584.60 c #Conflicts: 217000 | #Constraints: 41798
1580.08/1584.60 c bounds -7569 >= -100996 @ 1300.83
1580.08/1584.60 c #Conflicts: 218000 | #Constraints: 42798
1580.08/1584.60 c #Conflicts: 219000 | #Constraints: 43798
1580.08/1584.60 c #Conflicts: 220000 | #Constraints: 44798
1580.08/1584.60 c #Conflicts: 221000 | #Constraints: 45798
1580.08/1584.60 c #Conflicts: 222000 | #Constraints: 46798
1580.08/1584.60 c #Conflicts: 223000 | #Constraints: 47798
1580.08/1584.60 c #Conflicts: 224000 | #Constraints: 48798
1580.08/1584.60 c #Conflicts: 225000 | #Constraints: 49798
1580.08/1584.60 c #Conflicts: 226000 | #Constraints: 50798
1580.08/1584.60 c INPROCESSING
1580.08/1584.60 c GARBAGE COLLECT
1580.08/1584.60 c #Conflicts: 227000 | #Constraints: 42404
1580.08/1584.60 c #Conflicts: 228000 | #Constraints: 43404
1580.08/1584.60 c #Conflicts: 229000 | #Constraints: 44404
1580.08/1584.60 c #Conflicts: 230000 | #Constraints: 45404
1580.08/1584.60 c #Conflicts: 231000 | #Constraints: 46404
1580.08/1584.60 c #Conflicts: 232000 | #Constraints: 47404
1580.08/1584.60 c #Conflicts: 233000 | #Constraints: 48404
1580.08/1584.60 c #Conflicts: 234000 | #Constraints: 49404
1580.08/1584.60 c #Conflicts: 235000 | #Constraints: 50404
1580.08/1584.60 c #Conflicts: 236000 | #Constraints: 51404
1580.08/1584.60 c INPROCESSING
1580.08/1584.60 c GARBAGE COLLECT
1580.08/1584.60 c #Conflicts: 237000 | #Constraints: 42793
1580.08/1584.60 c #Conflicts: 238000 | #Constraints: 43793
1580.08/1584.60 c #Conflicts: 239000 | #Constraints: 44793
1580.08/1584.60 c #Conflicts: 240000 | #Constraints: 45793
1580.08/1584.60 c #Conflicts: 241000 | #Constraints: 46793
1580.08/1584.60 c #Conflicts: 242000 | #Constraints: 47793
1580.08/1584.60 c #Conflicts: 243000 | #Constraints: 48793
1580.08/1584.60 c #Conflicts: 244000 | #Constraints: 49793
1580.08/1584.60 c #Conflicts: 245000 | #Constraints: 50793
1580.08/1584.60 c #Conflicts: 246000 | #Constraints: 51793
1580.08/1584.60 c INPROCESSING
1580.08/1584.60 c GARBAGE COLLECT
1580.08/1584.60 c #Conflicts: 247000 | #Constraints: 42988
1580.08/1584.60 c #Conflicts: 248000 | #Constraints: 43988
1580.08/1584.60 c #Conflicts: 249000 | #Constraints: 44988
1580.08/1584.60 c #Conflicts: 250000 | #Constraints: 45988
1580.08/1584.60 c #Conflicts: 251000 | #Constraints: 46988
1580.08/1584.60 c #Conflicts: 252000 | #Constraints: 47988
1580.08/1584.60 c #Conflicts: 253000 | #Constraints: 48988
1580.08/1584.60 c #Conflicts: 254000 | #Constraints: 49988
1580.08/1584.60 c #Conflicts: 255000 | #Constraints: 50988
1580.08/1584.60 c #Conflicts: 256000 | #Constraints: 51988
1580.08/1584.60 c INPROCESSING
1580.08/1584.60 c GARBAGE COLLECT
1580.08/1584.60 c #Conflicts: 257000 | #Constraints: 42986
1580.08/1584.60 c #Conflicts: 258000 | #Constraints: 43986
1580.08/1584.60 c #Conflicts: 259000 | #Constraints: 44986
1580.08/1584.60 c #Conflicts: 260000 | #Constraints: 45986
1580.08/1584.60 c #Conflicts: 261000 | #Constraints: 46986
1580.08/1584.60 c #Conflicts: 262000 | #Constraints: 47986
1580.08/1584.60 c #Conflicts: 263000 | #Constraints: 48986
1580.08/1584.60 c #Conflicts: 264000 | #Constraints: 49986
1580.08/1584.60 c #Conflicts: 265000 | #Constraints: 50986
1580.08/1584.60 c #Conflicts: 266000 | #Constraints: 51986
1580.08/1584.60 c INPROCESSING
1580.08/1584.60 c GARBAGE COLLECT
1580.08/1584.60 c #Conflicts: 267000 | #Constraints: 42788
1580.08/1584.60 c #Conflicts: 268000 | #Constraints: 43788
1580.08/1584.60 c #Conflicts: 269000 | #Constraints: 44788
1580.08/1584.60 c #Conflicts: 270000 | #Constraints: 45788
1580.08/1584.60 c #Conflicts: 271000 | #Constraints: 46788
1580.08/1584.60 c #Conflicts: 272000 | #Constraints: 47788
1580.08/1584.60 c #Conflicts: 273000 | #Constraints: 48788
1580.08/1584.60 c #Conflicts: 274000 | #Constraints: 49788
1580.08/1584.60 c #Conflicts: 275000 | #Constraints: 50788
1580.08/1584.60 c bounds -7574 >= -100996 @ 1576.36
1580.08/1584.60 c stratification level: 236
1600.93/1605.52 c #Conflicts: 276000 | #Constraints: 51789
1600.93/1605.52 c #Conflicts: 277000 | #Constraints: 52789
1600.93/1605.52 c INPROCESSING
1600.93/1605.52 c GARBAGE COLLECT
1600.93/1605.52 c #Conflicts: 278000 | #Constraints: 43389
1600.93/1605.52 c #Conflicts: 279000 | #Constraints: 44389
1600.93/1605.52 c bounds -7576 >= -100996 @ 1597.18
1600.93/1605.52 c stratification level: 235
1786.18/1791.21 c #Conflicts: 280000 | #Constraints: 45390
1786.18/1791.21 c #Conflicts: 281000 | #Constraints: 46390
1786.18/1791.21 c #Conflicts: 282000 | #Constraints: 47390
1786.18/1791.21 c #Conflicts: 283000 | #Constraints: 48390
1786.18/1791.21 c #Conflicts: 284000 | #Constraints: 49390
1786.18/1791.21 c #Conflicts: 285000 | #Constraints: 50390
1786.18/1791.21 c #Conflicts: 286000 | #Constraints: 51390
1786.18/1791.21 c #Conflicts: 287000 | #Constraints: 52390
1786.18/1791.21 c #Conflicts: 288000 | #Constraints: 53390
1786.18/1791.21 c INPROCESSING
1786.18/1791.21 c GARBAGE COLLECT
1786.18/1791.21 c #Conflicts: 289000 | #Constraints: 43800
1786.18/1791.21 c #Conflicts: 290000 | #Constraints: 44800
1786.18/1791.21 c #Conflicts: 291000 | #Constraints: 45800
1786.18/1791.21 c #Conflicts: 292000 | #Constraints: 46800
1786.18/1791.21 c #Conflicts: 293000 | #Constraints: 47800
1786.18/1791.21 c #Conflicts: 294000 | #Constraints: 48800
1786.18/1791.21 c #Conflicts: 295000 | #Constraints: 49800
1786.18/1791.21 c #Conflicts: 296000 | #Constraints: 50800
1786.18/1791.21 c #Conflicts: 297000 | #Constraints: 51800
1786.18/1791.21 c #Conflicts: 298000 | #Constraints: 52800
1786.18/1791.21 c #Conflicts: 299000 | #Constraints: 53800
1786.18/1791.21 c INPROCESSING
1786.18/1791.21 c GARBAGE COLLECT
1786.18/1791.21 c #Conflicts: 300000 | #Constraints: 44038
1786.18/1791.21 c #Conflicts: 301000 | #Constraints: 45038
1786.18/1791.21 c #Conflicts: 302000 | #Constraints: 46038
1786.18/1791.21 c #Conflicts: 303000 | #Constraints: 47038
1786.18/1791.21 c #Conflicts: 304000 | #Constraints: 48038
1786.18/1791.21 c bounds -7576 >= -100761 @ 1656.82
1786.18/1791.21 c #Conflicts: 305000 | #Constraints: 49039
1786.18/1791.21 c #Conflicts: 306000 | #Constraints: 50039
1786.18/1791.21 c #Conflicts: 307000 | #Constraints: 51039
1786.18/1791.21 c #Conflicts: 308000 | #Constraints: 52039
1786.18/1791.21 c #Conflicts: 309000 | #Constraints: 53039
1786.18/1791.21 c #Conflicts: 310000 | #Constraints: 54039
1786.18/1791.21 c INPROCESSING
1786.18/1791.21 c GARBAGE COLLECT
1786.18/1791.21 c #Conflicts: 311000 | #Constraints: 44015
1786.18/1791.21 c #Conflicts: 312000 | #Constraints: 45015
1786.18/1791.21 c #Conflicts: 313000 | #Constraints: 46015
1786.18/1791.21 c #Conflicts: 314000 | #Constraints: 47015
1786.18/1791.21 c #Conflicts: 315000 | #Constraints: 48015
1786.18/1791.21 c #Conflicts: 316000 | #Constraints: 49015
1786.18/1791.21 c #Conflicts: 317000 | #Constraints: 50015
1786.18/1791.21 c #Conflicts: 318000 | #Constraints: 51015
1786.18/1791.21 c #Conflicts: 319000 | #Constraints: 52015
1786.18/1791.21 c #Conflicts: 320000 | #Constraints: 53015
1786.18/1791.21 c #Conflicts: 321000 | #Constraints: 54015
1786.18/1791.21 c INPROCESSING
1786.18/1791.21 c GARBAGE COLLECT
1786.18/1791.21 c #Conflicts: 322000 | #Constraints: 43810
1786.18/1791.21 c #Conflicts: 323000 | #Constraints: 44810
1786.18/1791.21 c #Conflicts: 324000 | #Constraints: 45810
1786.18/1791.21 c #Conflicts: 325000 | #Constraints: 46810
1786.18/1791.21 c #Conflicts: 326000 | #Constraints: 47810
1786.18/1791.21 c #Conflicts: 327000 | #Constraints: 48810
1786.18/1791.21 c #Conflicts: 328000 | #Constraints: 49810
1786.18/1791.21 c #Conflicts: 329000 | #Constraints: 50810
1786.18/1791.21 c #Conflicts: 330000 | #Constraints: 51810
1786.18/1791.21 c #Conflicts: 331000 | #Constraints: 52810
1786.18/1791.21 c #Conflicts: 332000 | #Constraints: 53810
1786.18/1791.21 c #Conflicts: 333000 | #Constraints: 54810
1786.18/1791.21 c INPROCESSING
1786.18/1791.21 c GARBAGE COLLECT
1786.18/1791.21 c #Conflicts: 334000 | #Constraints: 44398
1786.18/1791.21 c #Conflicts: 335000 | #Constraints: 45398
1786.18/1791.21 c #Conflicts: 336000 | #Constraints: 46398
1786.18/1791.21 c #Conflicts: 337000 | #Constraints: 47398
1786.18/1791.21 c #Conflicts: 338000 | #Constraints: 48398
1786.18/1791.21 c #Conflicts: 339000 | #Constraints: 49398
1786.18/1791.21 c #Conflicts: 340000 | #Constraints: 50398
1786.18/1791.21 c #Conflicts: 341000 | #Constraints: 51398
1786.18/1791.21 c #Conflicts: 342000 | #Constraints: 52398
1786.18/1791.21 c #Conflicts: 343000 | #Constraints: 53398
1786.18/1791.21 c #Conflicts: 344000 | #Constraints: 54398
1786.18/1791.21 c finalizing WCE round: reformulating cores
1829.08/1834.22 c #Conflicts: 345000 | #Constraints: 55401
1829.08/1834.22 c INPROCESSING
1829.08/1834.22 c GARBAGE COLLECT
1829.08/1834.22 c bounds -7591 >= -100761 @ 1783.21
1829.08/1834.22 c #Conflicts: 346000 | #Constraints: 44793
1829.08/1834.22 c #Conflicts: 347000 | #Constraints: 45793
1829.08/1834.22 c #Conflicts: 348000 | #Constraints: 46793
1829.08/1834.22 c #Conflicts: 349000 | #Constraints: 47793
1829.08/1834.22 c #Conflicts: 350000 | #Constraints: 48793
1829.08/1834.22 c #Conflicts: 351000 | #Constraints: 49793
1829.08/1834.22 c #Conflicts: 352000 | #Constraints: 50793
1829.08/1834.22 c #Conflicts: 353000 | #Constraints: 51793
1829.08/1834.22 c #Conflicts: 354000 | #Constraints: 52793
1829.08/1834.22 c bounds -7592 >= -100761 @ 1824.73
1829.08/1834.22 c stratification level: 234
1960.85/1966.31 c bounds -7592 >= -100527 @ 1824.82
1960.85/1966.31 c #Conflicts: 355000 | #Constraints: 53795
1960.85/1966.31 c #Conflicts: 356000 | #Constraints: 54795
1960.85/1966.31 c #Conflicts: 357000 | #Constraints: 55795
1960.85/1966.31 c INPROCESSING
1960.85/1966.31 c GARBAGE COLLECT
1960.85/1966.31 c #Conflicts: 358000 | #Constraints: 44995
1960.85/1966.31 c #Conflicts: 359000 | #Constraints: 45995
1960.85/1966.31 c #Conflicts: 360000 | #Constraints: 46995
1960.85/1966.31 c #Conflicts: 361000 | #Constraints: 47995
1960.85/1966.31 c #Conflicts: 362000 | #Constraints: 48995
1960.85/1966.31 c #Conflicts: 363000 | #Constraints: 49995
1960.85/1966.31 c #Conflicts: 364000 | #Constraints: 50995
1960.85/1966.31 c #Conflicts: 365000 | #Constraints: 51995
1960.85/1966.31 c #Conflicts: 366000 | #Constraints: 52995
1960.85/1966.31 c #Conflicts: 367000 | #Constraints: 53995
1960.85/1966.31 c #Conflicts: 368000 | #Constraints: 54995
1960.85/1966.31 c #Conflicts: 369000 | #Constraints: 55995
1960.85/1966.31 c INPROCESSING
1960.85/1966.31 c GARBAGE COLLECT
1960.85/1966.31 c #Conflicts: 370000 | #Constraints: 45022
1960.85/1966.31 c #Conflicts: 371000 | #Constraints: 46022
1960.85/1966.31 c bounds -7592 >= -100293 @ 1872.2
1960.85/1966.31 c #Conflicts: 372000 | #Constraints: 47023
1960.85/1966.31 c #Conflicts: 373000 | #Constraints: 48023
1960.85/1966.31 c #Conflicts: 374000 | #Constraints: 49023
1960.85/1966.31 c #Conflicts: 375000 | #Constraints: 50023
1960.85/1966.31 c #Conflicts: 376000 | #Constraints: 51023
1960.85/1966.31 c #Conflicts: 377000 | #Constraints: 52023
1960.85/1966.31 c #Conflicts: 378000 | #Constraints: 53023
1960.85/1966.31 c #Conflicts: 379000 | #Constraints: 54023
1960.85/1966.31 c #Conflicts: 380000 | #Constraints: 55023
1960.85/1966.31 c #Conflicts: 381000 | #Constraints: 56023
1960.85/1966.31 c INPROCESSING
1960.85/1966.31 c GARBAGE COLLECT
1960.85/1966.31 c #Conflicts: 382000 | #Constraints: 44799
1960.85/1966.31 c #Conflicts: 383000 | #Constraints: 45799
1960.85/1966.31 c #Conflicts: 384000 | #Constraints: 46799
1960.85/1966.31 c #Conflicts: 385000 | #Constraints: 47799
1960.85/1966.31 c #Conflicts: 386000 | #Constraints: 48799
1960.85/1966.31 c #Conflicts: 387000 | #Constraints: 49799
1960.85/1966.31 c #Conflicts: 388000 | #Constraints: 50799
1960.85/1966.31 c #Conflicts: 389000 | #Constraints: 51799
1960.85/1966.31 c #Conflicts: 390000 | #Constraints: 52799
1960.85/1966.31 c #Conflicts: 391000 | #Constraints: 53799
1960.85/1966.31 c #Conflicts: 392000 | #Constraints: 54799
1960.85/1966.31 c #Conflicts: 393000 | #Constraints: 55799
1960.85/1966.31 c #Conflicts: 394000 | #Constraints: 56799
1960.85/1966.31 c INPROCESSING
1960.85/1966.31 c GARBAGE COLLECT
1960.85/1966.31 c #Conflicts: 395000 | #Constraints: 45392
1960.85/1966.31 c #Conflicts: 396000 | #Constraints: 46392
1960.85/1966.31 c #Conflicts: 397000 | #Constraints: 47392
1960.85/1966.31 c finalizing WCE round: reformulating cores
2673.37/2680.93 c #Conflicts: 398000 | #Constraints: 48395
2673.37/2680.93 c bounds -7603 >= -100293 @ 1958.48
2673.37/2680.93 c bounds -7603 >= -100059 @ 1958.55
2673.37/2680.93 c #Conflicts: 399000 | #Constraints: 49402
2673.37/2680.93 c #Conflicts: 400000 | #Constraints: 50402
2673.37/2680.93 c #Conflicts: 401000 | #Constraints: 51402
2673.37/2680.93 c #Conflicts: 402000 | #Constraints: 52402
2673.37/2680.93 c #Conflicts: 403000 | #Constraints: 53402
2673.37/2680.93 c #Conflicts: 404000 | #Constraints: 54402
2673.37/2680.93 c #Conflicts: 405000 | #Constraints: 55402
2673.37/2680.93 c #Conflicts: 406000 | #Constraints: 56402
2673.37/2680.93 c #Conflicts: 407000 | #Constraints: 57402
2673.37/2680.93 c INPROCESSING
2673.37/2680.93 c GARBAGE COLLECT
2673.37/2680.93 c #Conflicts: 408000 | #Constraints: 45790
2673.37/2680.93 c #Conflicts: 409000 | #Constraints: 46790
2673.37/2680.93 c #Conflicts: 410000 | #Constraints: 47790
2673.37/2680.93 c #Conflicts: 411000 | #Constraints: 48790
2673.37/2680.93 c #Conflicts: 412000 | #Constraints: 49790
2673.37/2680.93 c #Conflicts: 413000 | #Constraints: 50790
2673.37/2680.93 c #Conflicts: 414000 | #Constraints: 51790
2673.37/2680.93 c #Conflicts: 415000 | #Constraints: 52790
2673.37/2680.93 c #Conflicts: 416000 | #Constraints: 53790
2673.37/2680.93 c #Conflicts: 417000 | #Constraints: 54790
2673.37/2680.93 c #Conflicts: 418000 | #Constraints: 55790
2673.37/2680.93 c #Conflicts: 419000 | #Constraints: 56790
2673.37/2680.93 c #Conflicts: 420000 | #Constraints: 57790
2673.37/2680.93 c INPROCESSING
2673.37/2680.93 c GARBAGE COLLECT
2673.37/2680.93 c #Conflicts: 421000 | #Constraints: 46005
2673.37/2680.93 c #Conflicts: 422000 | #Constraints: 47005
2673.37/2680.93 c #Conflicts: 423000 | #Constraints: 48005
2673.37/2680.93 c #Conflicts: 424000 | #Constraints: 49005
2673.37/2680.93 c #Conflicts: 425000 | #Constraints: 50005
2673.37/2680.93 c #Conflicts: 426000 | #Constraints: 51005
2673.37/2680.93 c #Conflicts: 427000 | #Constraints: 52005
2673.37/2680.93 c #Conflicts: 428000 | #Constraints: 53005
2673.37/2680.93 c #Conflicts: 429000 | #Constraints: 54005
2673.37/2680.93 c #Conflicts: 430000 | #Constraints: 55005
2673.37/2680.93 c #Conflicts: 431000 | #Constraints: 56005
2673.37/2680.93 c #Conflicts: 432000 | #Constraints: 57005
2673.37/2680.93 c #Conflicts: 433000 | #Constraints: 58005
2673.37/2680.93 c INPROCESSING
2673.37/2680.93 c GARBAGE COLLECT
2673.37/2680.93 c #Conflicts: 434000 | #Constraints: 46019
2673.37/2680.93 c #Conflicts: 435000 | #Constraints: 47019
2673.37/2680.93 c #Conflicts: 436000 | #Constraints: 48019
2673.37/2680.93 c #Conflicts: 437000 | #Constraints: 49019
2673.37/2680.93 c #Conflicts: 438000 | #Constraints: 50019
2673.37/2680.93 c #Conflicts: 439000 | #Constraints: 51019
2673.37/2680.93 c #Conflicts: 440000 | #Constraints: 52019
2673.37/2680.93 c #Conflicts: 441000 | #Constraints: 53019
2673.37/2680.93 c #Conflicts: 442000 | #Constraints: 54019
2673.37/2680.93 c #Conflicts: 443000 | #Constraints: 55019
2673.37/2680.93 c #Conflicts: 444000 | #Constraints: 56019
2673.37/2680.93 c #Conflicts: 445000 | #Constraints: 57019
2673.37/2680.93 c #Conflicts: 446000 | #Constraints: 58019
2673.37/2680.93 c INPROCESSING
2673.37/2680.93 c GARBAGE COLLECT
2673.37/2680.93 c #Conflicts: 447000 | #Constraints: 45814
2673.37/2680.93 c #Conflicts: 448000 | #Constraints: 46814
2673.37/2680.93 c #Conflicts: 449000 | #Constraints: 47814
2673.37/2680.93 c #Conflicts: 450000 | #Constraints: 48814
2673.37/2680.93 c #Conflicts: 451000 | #Constraints: 49814
2673.37/2680.93 c #Conflicts: 452000 | #Constraints: 50814
2673.37/2680.93 c #Conflicts: 453000 | #Constraints: 51814
2673.37/2680.93 c #Conflicts: 454000 | #Constraints: 52814
2673.37/2680.93 c #Conflicts: 455000 | #Constraints: 53814
2673.37/2680.93 c #Conflicts: 456000 | #Constraints: 54814
2673.37/2680.93 c #Conflicts: 457000 | #Constraints: 55814
2673.37/2680.93 c #Conflicts: 458000 | #Constraints: 56814
2673.37/2680.93 c #Conflicts: 459000 | #Constraints: 57814
2673.37/2680.93 c #Conflicts: 460000 | #Constraints: 58814
2673.37/2680.93 c INPROCESSING
2673.37/2680.93 c GARBAGE COLLECT
2673.37/2680.93 c #Conflicts: 461000 | #Constraints: 46403
2673.37/2680.93 c finalizing WCE round: reformulating cores
3016.10/3024.73 c #Conflicts: 462000 | #Constraints: 47406
3016.10/3024.73 c bounds -7606 >= -100059 @ 2669.8
3016.10/3024.73 c #Conflicts: 463000 | #Constraints: 48406
3016.10/3024.73 c #Conflicts: 464000 | #Constraints: 49406
3016.10/3024.73 c #Conflicts: 465000 | #Constraints: 50406
3016.10/3024.73 c #Conflicts: 466000 | #Constraints: 51406
3016.10/3024.73 c #Conflicts: 467000 | #Constraints: 52406
3016.10/3024.73 c #Conflicts: 468000 | #Constraints: 53406
3016.10/3024.73 c #Conflicts: 469000 | #Constraints: 54406
3016.10/3024.73 c #Conflicts: 470000 | #Constraints: 55406
3016.10/3024.73 c #Conflicts: 471000 | #Constraints: 56406
3016.10/3024.73 c #Conflicts: 472000 | #Constraints: 57406
3016.10/3024.73 c #Conflicts: 473000 | #Constraints: 58406
3016.10/3024.73 c #Conflicts: 474000 | #Constraints: 59406
3016.10/3024.73 c INPROCESSING
3016.10/3024.73 c GARBAGE COLLECT
3016.10/3024.73 c #Conflicts: 475000 | #Constraints: 46815
3016.10/3024.73 c #Conflicts: 476000 | #Constraints: 47815
3016.10/3024.73 c #Conflicts: 477000 | #Constraints: 48815
3016.10/3024.73 c #Conflicts: 478000 | #Constraints: 49815
3016.10/3024.73 c #Conflicts: 479000 | #Constraints: 50815
3016.10/3024.73 c #Conflicts: 480000 | #Constraints: 51815
3016.10/3024.73 c #Conflicts: 481000 | #Constraints: 52815
3016.10/3024.73 c #Conflicts: 482000 | #Constraints: 53815
3016.10/3024.73 c #Conflicts: 483000 | #Constraints: 54815
3016.10/3024.73 c #Conflicts: 484000 | #Constraints: 55815
3016.10/3024.73 c #Conflicts: 485000 | #Constraints: 56815
3016.10/3024.73 c #Conflicts: 486000 | #Constraints: 57815
3016.10/3024.73 c #Conflicts: 487000 | #Constraints: 58815
3016.10/3024.73 c #Conflicts: 488000 | #Constraints: 59815
3016.10/3024.73 c INPROCESSING
3016.10/3024.73 c GARBAGE COLLECT
3016.10/3024.73 c #Conflicts: 489000 | #Constraints: 47019
3016.10/3024.73 c #Conflicts: 490000 | #Constraints: 48019
3016.10/3024.73 c #Conflicts: 491000 | #Constraints: 49019
3016.10/3024.73 c #Conflicts: 492000 | #Constraints: 50019
3016.10/3024.73 c #Conflicts: 493000 | #Constraints: 51019
3016.10/3024.73 c #Conflicts: 494000 | #Constraints: 52019
3016.10/3024.73 c #Conflicts: 495000 | #Constraints: 53019
3016.10/3024.73 c #Conflicts: 496000 | #Constraints: 54019
3016.10/3024.73 c #Conflicts: 497000 | #Constraints: 55019
3016.10/3024.73 c #Conflicts: 498000 | #Constraints: 56019
3016.10/3024.73 c #Conflicts: 499000 | #Constraints: 57019
3016.10/3024.73 c #Conflicts: 500000 | #Constraints: 58019
3016.10/3024.73 c #Conflicts: 501000 | #Constraints: 59019
3016.10/3024.73 c #Conflicts: 502000 | #Constraints: 60019
3016.10/3024.73 c INPROCESSING
3016.10/3024.73 c GARBAGE COLLECT
3016.10/3024.73 c #Conflicts: 503000 | #Constraints: 47008
3016.10/3024.73 c #Conflicts: 504000 | #Constraints: 48008
3016.10/3024.73 c #Conflicts: 505000 | #Constraints: 49008
3016.10/3024.73 c #Conflicts: 506000 | #Constraints: 50008
3016.10/3024.73 c #Conflicts: 507000 | #Constraints: 51008
3016.10/3024.73 c #Conflicts: 508000 | #Constraints: 52008
3016.10/3024.73 c #Conflicts: 509000 | #Constraints: 53008
3016.10/3024.73 c #Conflicts: 510000 | #Constraints: 54008
3016.10/3024.73 c #Conflicts: 511000 | #Constraints: 55008
3016.10/3024.73 c #Conflicts: 512000 | #Constraints: 56008
3016.10/3024.73 c #Conflicts: 513000 | #Constraints: 57008
3016.10/3024.73 c #Conflicts: 514000 | #Constraints: 58008
3016.10/3024.73 c #Conflicts: 515000 | #Constraints: 59008
3016.10/3024.73 c #Conflicts: 516000 | #Constraints: 60008
3016.10/3024.73 c INPROCESSING
3016.10/3024.73 c GARBAGE COLLECT
3016.10/3024.73 c #Conflicts: 517000 | #Constraints: 46800
3016.10/3024.73 c #Conflicts: 518000 | #Constraints: 47800
3016.10/3024.73 c #Conflicts: 519000 | #Constraints: 48800
3016.10/3024.73 c #Conflicts: 520000 | #Constraints: 49800
3016.10/3024.73 c #Conflicts: 521000 | #Constraints: 50800
3016.10/3024.73 c #Conflicts: 522000 | #Constraints: 51800
3016.10/3024.73 c #Conflicts: 523000 | #Constraints: 52800
3016.10/3024.73 c #Conflicts: 524000 | #Constraints: 53800
3016.10/3024.73 c #Conflicts: 525000 | #Constraints: 54800
3016.10/3024.73 c #Conflicts: 526000 | #Constraints: 55800
3016.10/3024.73 c #Conflicts: 527000 | #Constraints: 56800
3016.10/3024.73 c #Conflicts: 528000 | #Constraints: 57800
3016.10/3024.73 c #Conflicts: 529000 | #Constraints: 58800
3016.10/3024.73 c #Conflicts: 530000 | #Constraints: 59800
3016.10/3024.73 c #Conflicts: 531000 | #Constraints: 60800
3016.10/3024.73 c INPROCESSING
3016.10/3024.73 c GARBAGE COLLECT
3016.10/3024.73 c #Conflicts: 532000 | #Constraints: 47405
3016.10/3024.73 c #Conflicts: 533000 | #Constraints: 48405
3016.10/3024.73 c #Conflicts: 534000 | #Constraints: 49405
3016.10/3024.73 c #Conflicts: 535000 | #Constraints: 50405
3016.10/3024.73 c #Conflicts: 536000 | #Constraints: 51405
3096.75/3105.69 c #Conflicts: 537000 | #Constraints: 52405
3096.75/3105.69 c #Conflicts: 538000 | #Constraints: 53405
3096.75/3105.69 c #Conflicts: 539000 | #Constraints: 54405
3096.75/3105.69 c #Conflicts: 540000 | #Constraints: 55405
3096.75/3105.69 c #Conflicts: 541000 | #Constraints: 56405
3096.75/3105.69 c #Conflicts: 542000 | #Constraints: 57405
3096.75/3105.69 c #Conflicts: 543000 | #Constraints: 58405
3096.75/3105.69 c #Conflicts: 544000 | #Constraints: 59405
3096.75/3105.69 c #Conflicts: 545000 | #Constraints: 60405
3096.75/3105.69 c #Conflicts: 546000 | #Constraints: 61405
3096.75/3105.69 c INPROCESSING
3096.75/3105.69 c GARBAGE COLLECT
3096.75/3105.69 c #Conflicts: 547000 | #Constraints: 47798
3096.75/3105.69 c #Conflicts: 548000 | #Constraints: 48798
3096.75/3105.69 c #Conflicts: 549000 | #Constraints: 49798
3096.75/3105.69 c #Conflicts: 550000 | #Constraints: 50798
3096.75/3105.69 c #Conflicts: 551000 | #Constraints: 51798
3096.75/3105.69 c bounds -7609 >= -100059 @ 3090.74
3096.75/3105.69 c stratification level: 233
3097.35/3106.23 c bounds -7610 >= -100059 @ 3091.28
3097.35/3106.23 c stratification level: 232
3316.48/3326.02 c #Conflicts: 552000 | #Constraints: 52800
3316.48/3326.02 c #Conflicts: 553000 | #Constraints: 53800
3316.48/3326.02 c #Conflicts: 554000 | #Constraints: 54800
3316.48/3326.02 c #Conflicts: 555000 | #Constraints: 55800
3316.48/3326.02 c #Conflicts: 556000 | #Constraints: 56800
3316.48/3326.02 c #Conflicts: 557000 | #Constraints: 57800
3316.48/3326.02 c #Conflicts: 558000 | #Constraints: 58800
3316.48/3326.02 c #Conflicts: 559000 | #Constraints: 59800
3316.48/3326.02 c #Conflicts: 560000 | #Constraints: 60800
3316.48/3326.02 c #Conflicts: 561000 | #Constraints: 61800
3316.48/3326.02 c INPROCESSING
3316.48/3326.02 c GARBAGE COLLECT
3316.48/3326.02 c #Conflicts: 562000 | #Constraints: 48007
3316.48/3326.02 c #Conflicts: 563000 | #Constraints: 49007
3316.48/3326.02 c #Conflicts: 564000 | #Constraints: 50007
3316.48/3326.02 c #Conflicts: 565000 | #Constraints: 51007
3316.48/3326.02 c #Conflicts: 566000 | #Constraints: 52007
3316.48/3326.02 c #Conflicts: 567000 | #Constraints: 53007
3316.48/3326.02 c #Conflicts: 568000 | #Constraints: 54007
3316.48/3326.02 c #Conflicts: 569000 | #Constraints: 55007
3316.48/3326.02 c #Conflicts: 570000 | #Constraints: 56007
3316.48/3326.02 c #Conflicts: 571000 | #Constraints: 57007
3316.48/3326.02 c #Conflicts: 572000 | #Constraints: 58007
3316.48/3326.02 c #Conflicts: 573000 | #Constraints: 59007
3316.48/3326.02 c #Conflicts: 574000 | #Constraints: 60007
3316.48/3326.02 c #Conflicts: 575000 | #Constraints: 61007
3316.48/3326.02 c #Conflicts: 576000 | #Constraints: 62007
3316.48/3326.02 c INPROCESSING
3316.48/3326.02 c GARBAGE COLLECT
3316.48/3326.02 c #Conflicts: 577000 | #Constraints: 48024
3316.48/3326.02 c #Conflicts: 578000 | #Constraints: 49024
3316.48/3326.02 c #Conflicts: 579000 | #Constraints: 50024
3316.48/3326.02 c #Conflicts: 580000 | #Constraints: 51024
3316.48/3326.02 c #Conflicts: 581000 | #Constraints: 52024
3316.48/3326.02 c #Conflicts: 582000 | #Constraints: 53024
3316.48/3326.02 c #Conflicts: 583000 | #Constraints: 54024
3316.48/3326.02 c #Conflicts: 584000 | #Constraints: 55024
3316.48/3326.02 c #Conflicts: 585000 | #Constraints: 56024
3316.48/3326.02 c #Conflicts: 586000 | #Constraints: 57024
3316.48/3326.02 c #Conflicts: 587000 | #Constraints: 58024
3316.48/3326.02 c #Conflicts: 588000 | #Constraints: 59024
3316.48/3326.02 c #Conflicts: 589000 | #Constraints: 60024
3316.48/3326.02 c #Conflicts: 590000 | #Constraints: 61024
3316.48/3326.02 c #Conflicts: 591000 | #Constraints: 62024
3316.48/3326.02 c INPROCESSING
3316.48/3326.02 c GARBAGE COLLECT
3316.48/3326.02 c #Conflicts: 592000 | #Constraints: 47830
3316.48/3326.02 c #Conflicts: 593000 | #Constraints: 48830
3316.48/3326.02 c #Conflicts: 594000 | #Constraints: 49830
3316.48/3326.02 c #Conflicts: 595000 | #Constraints: 50830
3316.48/3326.02 c #Conflicts: 596000 | #Constraints: 51830
3316.48/3326.02 c #Conflicts: 597000 | #Constraints: 52830
3316.48/3326.02 c #Conflicts: 598000 | #Constraints: 53830
3316.48/3326.02 c #Conflicts: 599000 | #Constraints: 54830
3316.48/3326.02 c #Conflicts: 600000 | #Constraints: 55830
3316.48/3326.02 c #Conflicts: 601000 | #Constraints: 56830
3316.48/3326.02 c #Conflicts: 602000 | #Constraints: 57830
3316.48/3326.02 c #Conflicts: 603000 | #Constraints: 58830
3316.48/3326.02 c #Conflicts: 604000 | #Constraints: 59830
3316.48/3326.02 c #Conflicts: 605000 | #Constraints: 60830
3316.48/3326.02 c #Conflicts: 606000 | #Constraints: 61830
3316.48/3326.02 c #Conflicts: 607000 | #Constraints: 62830
3316.48/3326.02 c INPROCESSING
3316.48/3326.02 c GARBAGE COLLECT
3316.48/3326.02 c #Conflicts: 608000 | #Constraints: 48445
3316.48/3326.02 c #Conflicts: 609000 | #Constraints: 49445
3316.48/3326.02 c #Conflicts: 610000 | #Constraints: 50445
3316.48/3326.02 c #Conflicts: 611000 | #Constraints: 51445
3316.48/3326.02 c #Conflicts: 612000 | #Constraints: 52445
3316.48/3326.02 c #Conflicts: 613000 | #Constraints: 53445
3316.48/3326.02 c #Conflicts: 614000 | #Constraints: 54445
3316.48/3326.02 c #Conflicts: 615000 | #Constraints: 55445
3316.48/3326.02 c #Conflicts: 616000 | #Constraints: 56445
3316.48/3326.02 c #Conflicts: 617000 | #Constraints: 57445
3316.48/3326.02 c #Conflicts: 618000 | #Constraints: 58445
3316.48/3326.02 c #Conflicts: 619000 | #Constraints: 59445
3316.48/3326.02 c #Conflicts: 620000 | #Constraints: 60445
3316.48/3326.02 c #Conflicts: 621000 | #Constraints: 61445
3316.48/3326.02 c #Conflicts: 622000 | #Constraints: 62445
3316.48/3326.02 c #Conflicts: 623000 | #Constraints: 63445
3316.48/3326.02 c INPROCESSING
3316.48/3326.02 c GARBAGE COLLECT
3316.48/3326.02 c #Conflicts: 624000 | #Constraints: 48852
3316.48/3326.02 c #Conflicts: 625000 | #Constraints: 49852
3316.48/3326.02 c #Conflicts: 626000 | #Constraints: 50852
3316.48/3326.02 c #Conflicts: 627000 | #Constraints: 51852
3600.09/3610.50 c #Conflicts: 628000 | #Constraints: 52852
3600.09/3610.50 c #Conflicts: 629000 | #Constraints: 53852
3600.09/3610.50 c #Conflicts: 630000 | #Constraints: 54852
3600.09/3610.50 c #Conflicts: 631000 | #Constraints: 55852
3600.09/3610.50 c #Conflicts: 632000 | #Constraints: 56852
3600.09/3610.50 c #Conflicts: 633000 | #Constraints: 57852
3600.09/3610.50 c #Conflicts: 634000 | #Constraints: 58852
3600.09/3610.50 c #Conflicts: 635000 | #Constraints: 59852
3600.09/3610.50 c #Conflicts: 636000 | #Constraints: 60852
3600.09/3610.50 c #Conflicts: 637000 | #Constraints: 61852
3600.09/3610.50 c #Conflicts: 638000 | #Constraints: 62852
3600.09/3610.50 c #Conflicts: 639000 | #Constraints: 63852
3600.09/3610.50 c INPROCESSING
3600.09/3610.50 c GARBAGE COLLECT
3600.09/3610.50 c #Conflicts: 640000 | #Constraints: 49067
3600.09/3610.50 c #Conflicts: 641000 | #Constraints: 50067
3600.09/3610.50 c #Conflicts: 642000 | #Constraints: 51067
3600.09/3610.50 c #Conflicts: 643000 | #Constraints: 52067
3600.09/3610.50 c #Conflicts: 644000 | #Constraints: 53067
3600.09/3610.50 c #Conflicts: 645000 | #Constraints: 54067
3600.09/3610.50 c #Conflicts: 646000 | #Constraints: 55067
3600.09/3610.50 c #Conflicts: 647000 | #Constraints: 56067
3600.09/3610.50 c #Conflicts: 648000 | #Constraints: 57067
3600.09/3610.50 c #Conflicts: 649000 | #Constraints: 58067
3600.09/3610.50 c #Conflicts: 650000 | #Constraints: 59067
3600.09/3610.50 c #Conflicts: 651000 | #Constraints: 60067
3600.09/3610.50 c #Conflicts: 652000 | #Constraints: 61067
3600.09/3610.50 c #Conflicts: 653000 | #Constraints: 62067
3600.09/3610.50 c #Conflicts: 654000 | #Constraints: 63067
3600.09/3610.50 c #Conflicts: 655000 | #Constraints: 64067
3600.09/3610.50 c INPROCESSING
3600.09/3610.50 c GARBAGE COLLECT
3600.09/3610.50 c #Conflicts: 656000 | #Constraints: 49077
3600.09/3610.50 c #Conflicts: 657000 | #Constraints: 50077
3600.09/3610.50 c #Conflicts: 658000 | #Constraints: 51077
3600.09/3610.50 c #Conflicts: 659000 | #Constraints: 52077
3600.09/3610.50 c #Conflicts: 660000 | #Constraints: 53077
3600.09/3610.50 c #Conflicts: 661000 | #Constraints: 54077
3600.09/3610.50 c #Conflicts: 662000 | #Constraints: 55077
3600.09/3610.50 c #Conflicts: 663000 | #Constraints: 56077
3600.09/3610.50 c #Conflicts: 664000 | #Constraints: 57077
3600.09/3610.50 c #Conflicts: 665000 | #Constraints: 58077
3600.09/3610.50 c #Conflicts: 666000 | #Constraints: 59077
3600.09/3610.50 c #Conflicts: 667000 | #Constraints: 60077
3600.09/3610.50 c #Conflicts: 668000 | #Constraints: 61077
3600.09/3610.50 c #Conflicts: 669000 | #Constraints: 62077
3600.09/3610.50 c #Conflicts: 670000 | #Constraints: 63077
3600.09/3610.50 c #Conflicts: 671000 | #Constraints: 64077
3600.09/3610.50 c INPROCESSING
3600.09/3610.50 c GARBAGE COLLECT
3600.09/3610.50 c #Conflicts: 672000 | #Constraints: 48893
3600.09/3610.50 c #Conflicts: 673000 | #Constraints: 49893
3600.09/3610.50 c #Conflicts: 674000 | #Constraints: 50893
3600.09/3610.50 c #Conflicts: 675000 | #Constraints: 51893
3600.09/3610.50 c #Conflicts: 676000 | #Constraints: 52893
3600.09/3610.50 c #Conflicts: 677000 | #Constraints: 53893
3600.09/3610.50 c #Conflicts: 678000 | #Constraints: 54893
3600.09/3610.50 c #Conflicts: 679000 | #Constraints: 55893
3600.09/3610.50 c #Conflicts: 680000 | #Constraints: 56893
3600.09/3610.50 c #Conflicts: 681000 | #Constraints: 57893
3600.09/3610.50 c #Conflicts: 682000 | #Constraints: 58893
3600.09/3610.50 c #Conflicts: 683000 | #Constraints: 59893
3600.09/3610.50 c #Conflicts: 684000 | #Constraints: 60893
3600.09/3610.50 c #Conflicts: 685000 | #Constraints: 61893
3600.09/3610.50 c Program interrupted by user.
3600.09/3610.50 c cpu time 3593.13 s
3600.09/3610.50 c deterministic time 867077890294 8.67e+11
3600.09/3610.50 c optimization time 123.052 s
3600.09/3610.50 c total solve time 3470.02 s
3600.09/3610.50 c core-guided solve time 3470.02 s
3600.09/3610.50 c propagation time 3113.59 s
3600.09/3610.50 c conflict analysis time 433.403 s
3600.09/3610.50 c propagations 174827321
3600.09/3610.50 c resolve steps 6638752
3600.09/3610.50 c decisions 4778709
3600.09/3610.50 c conflicts 685014
3600.09/3610.50 c restarts 1497
3600.09/3610.50 c inprocessing phases 73
3600.09/3610.50 c input clauses 32111
3600.09/3610.50 c input cardinalities 9
3600.09/3610.50 c input general constraints 748
3600.09/3610.50 c input average constraint length 6.60
3600.09/3610.50 c input average constraint degree 936.57
3600.09/3610.50 c learned clauses 230714
3600.09/3610.50 c learned cardinalities 8
3600.09/3610.50 c learned general constraints 453997
3600.09/3610.50 c learned average constraint length 1290.90
3600.09/3610.50 c learned average constraint degree 200540283.38
3600.09/3610.50 c watched constraints 437391
3600.09/3610.50 c counting constraints 17354
3600.09/3610.50 c gcd simplifications 88606
3600.09/3610.50 c detected cardinalities 8
3600.09/3610.50 c weakened non-implied lits 230087776
3600.09/3610.50 c weakened non-implying lits 1198484
3600.09/3610.50 c original variables 2023
3600.09/3610.50 c clausal propagations 42656523
3600.09/3610.50 c cardinality propagations 2198
3600.09/3610.50 c watched propagations 62831781
3600.09/3610.50 c counting propagations 68005247
3600.09/3610.50 c watch lookups 8943189343
3600.09/3610.50 c watch backjump lookups 6920279212
3600.09/3610.50 c watch checks 754578458283
3600.09/3610.50 c propagation checks 92838666579
3600.09/3610.50 c constraint additions 3437401843
3600.09/3610.50 c trail pops 180289003
3600.09/3610.50 c formula constraints 31798
3600.09/3610.50 c learned constraints 684719
3600.09/3610.50 c bound constraints 65
3600.09/3610.50 c core-guided constraints 1005
3600.09/3610.50 c encountered formula constraints 5359592
3600.09/3610.50 c encountered learned constraints 1953566
3600.09/3610.50 c encountered bound constraints 5029
3600.09/3610.50 c encountered core-guided constraints 5579
3600.09/3610.50 c LP total time 0 s
3600.09/3610.50 c LP solve time 0 s
3600.09/3610.50 c LP constraints added 0
3600.09/3610.50 c LP constraints removed 0
3600.09/3610.50 c LP pivots internal 0
3600.09/3610.50 c LP pivots root 0
3600.09/3610.50 c LP calls 0
3600.09/3610.50 c LP optimalities 0
3600.09/3610.50 c LP no pivot count 0
3600.09/3610.50 c LP infeasibilities 0
3600.09/3610.50 c LP valid Farkas constraints 0
3600.09/3610.50 c LP learned Farkas constraints 0
3600.09/3610.50 c LP basis resets 0
3600.09/3610.50 c LP cycling count 0
3600.09/3610.50 c LP singular count 0
3600.09/3610.50 c LP no primal count 0
3600.09/3610.50 c LP no farkas count 0
3600.09/3610.50 c LP other issue count 0
3600.09/3610.50 c LP Gomory cuts 0
3600.09/3610.50 c LP learned cuts 0
3600.09/3610.50 c LP deleted cuts 0
3600.09/3610.50 c LP encountered Gomory constraints 0
3600.09/3610.50 c LP encountered Farkas constraints 0
3600.09/3610.50 c LP encountered learned Farkas constraints 0
3600.09/3610.50 c CG auxiliary variables introduced 345
3600.09/3610.50 c CG solutions found 28
3600.09/3610.50 c CG cores constructed 29
3600.09/3610.50 c CG core cardinality constraints returned 0
3600.09/3610.50 c CG unit cores 0
3600.09/3610.50 c CG single cores 24
3600.09/3610.50 c CG blocks removed during cardinality reduction 137
3600.09/3610.50 c CG first core best 0
3600.09/3610.50 c CG decision core best 0
3600.09/3610.50 c CG core reduction tie 5
3600.09/3610.50 c CG core degree average 1.00
3600.09/3610.50 c CG core slack average 1.41
3600.09/3610.50 c CG exhausted 315
3600.09/3610.50 c CG exhaust time 42.2351 s
3600.09/3610.50 c CG trimmed 0
3600.09/3610.50 c CG trim time 0.210691 s
3600.09/3610.50 c CG minimized 0
3600.09/3610.50 c CG minimize time 0 s
3600.09/3610.50 c CG am1 prop time 0.571927 s
3600.09/3610.50 c CG # am1s reformulated 0
3600.09/3610.50 c CG lower bound derived from am1s 0
3600.09/3610.50 c CG # clausal cores 13
3600.09/3610.50 c CG # cardinality cores 0
3600.09/3610.50 c CG # pb cores 21
3600.09/3610.50 c CG # pb reforms 22
3600.09/3610.50 c CG # cores discarded because of pb reform 0
3600.09/3610.50 d LOWERBOUND -100059
3600.09/3610.50 d NCORES 29
3600.09/3610.50 d NPBCORES 21
3600.09/3610.50 d NPBREFORM 22
3600.09/3610.50 d NTRIMMED 0
3600.09/3610.50 d NEXHAUSTED 315
3600.09/3610.50 d NAM1S 0
3600.09/3610.50 d AM1LB 0
3600.09/3610.50 o -7610
3600.09/3610.50 s SATISFIABLE
3600.09/3610.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 x1333 x1334 x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 x1417 x1418 x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 x1444 x1445 x1446 -x1447 -x1448 -x1449 x1450 x1451 x1452 x1453 x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 x1485 x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 x1560 x1561 -x1562 x1563 x1564 x1565 x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 x1592 -x1593 x1594 x1595 x1596 x1597 x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 x1612 x1613 x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 x1626 x1627 x1628 x1629 x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 x1644 x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 x1706 -x1707 -x1708 -x1709 x1710 x1711 x1712 x1713 x1714 x1715 -x1716 x1717 x1718 -x1719 x1720 x1721 x1722 x1723 x1724 x1725 -x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 -x1738 x1739 x1740 x1741 x1742 -x1743 -x1744 x1745 x1746 x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 x1757 -x1758 -x1759 -x1760 x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 x1780 x1781 x1782 x1783 x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 x1793 x1794 x1795 x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 x1803 -x1804 -x1805 x1806 x1807 x1808 -x1809 x1810 x1811 x1812 -x1813 x1814 x1815 -x1816 x1817 x1818 -x1819 -x1820 x1821 -x1822 -x1823 x1824 x1825 x1826 x1827 x1828 x1829 x1830 x1831 x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849 x1850 -x1851 -x1852 x1853 x1854 x1855 x1856 x1857 x1858 x1859 x1860 x1861 x1862 x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890 x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 x1906 x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 x1933 -x1934 x1935 -x1936 -x1937 -x1938 x1939 -x1940 x1941 x1942 x1943 x1944 x1945 x1946 x1947 x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 x1958 x1959 x1960 x1961 x1962 x1963 x1964 x1965 x1966 -x1967 -x1968 x1969 x1970 -x1971 x1972 x1973 x1974 x1975 x1976 x1977 x1978 x1979 x1980 -x1981 -x1982 -x1983 x1984 x1985 x1986 x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 x2016 x2017 -x2018 x2019 x2020 -x2021 -x2022 x2023
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 (56428 MiB free)
memory of node 1: 64465 MiB (62456 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522362-1751592479/watcher-4522362-1751592479 -o /tmp/evaluation-result-4522362-1751592479/solver-4522362-1751592479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82260 --watchdog 3760 pb-oll-rs HOME/instance-4522362-1751592479.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=82540, runsolver pid=82537
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121738084/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=22216 memory=9344 CPUtime=0.09 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 1385 0 0 0 7 2 0 0 20 0 1 0 74926560 22749184 2336 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 5554 2336 1376 243 0 1803 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22216 KiB
Current children cumulated memory: 9344 KiB
[startup+0.205864 s]*
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121738084/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=23544 memory=11904 CPUtime=0.19 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 2045 0 0 0 17 2 0 0 20 0 1 0 74926560 24109056 2976 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 5886 2976 1376 243 0 2135 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23544 KiB
Current children cumulated memory: 11904 KiB
[startup+0.305777 s]*
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121737872/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=24612 memory=13952 CPUtime=0.3 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 2556 0 0 0 27 3 0 0 20 0 1 0 74926560 25202688 3488 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 6153 3488 1376 243 0 2402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 24612 KiB
Current children cumulated memory: 13952 KiB
[startup+0.700171 s]
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121732580/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=34828 memory=20480 CPUtime=0.68 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 4169 0 0 0 64 4 0 0 20 0 1 0 74926560 35663872 5120 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 8707 5120 1376 243 0 4956 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34828 KiB
Current children cumulated memory: 20480 KiB
[startup+1.50017 s]
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121728548/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=47140 memory=31972 CPUtime=1.48 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 6028 0 0 0 143 5 0 0 20 0 1 0 74926560 48271360 7993 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 11785 7993 1376 243 0 8034 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47140 KiB
Current children cumulated memory: 31972 KiB
[startup+3.10561 s]
/proc/loadavg: 4.40 4.27 4.09 5/267 82541
/proc/meminfo: memFree=121712924/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=66012 memory=48660 CPUtime=3.08 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 8280 0 0 0 301 7 0 0 20 0 1 0 74926560 67596288 12165 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 16503 12165 1376 243 0 12752 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66012 KiB
Current children cumulated memory: 48660 KiB
[startup+6.30015 s]
/proc/loadavg: 4.37 4.27 4.09 5/267 82542
/proc/meminfo: memFree=121703468/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=69844 memory=58584 CPUtime=6.27 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 9352 0 0 0 617 10 0 0 20 0 1 0 74926560 71520256 14646 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 17461 14646 1376 243 0 13710 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69844 KiB
Current children cumulated memory: 58584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.26 4.09 5/267 82542
/proc/meminfo: memFree=121676116/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=97504 memory=75736 CPUtime=12.64 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 11723 0 0 0 1250 14 0 0 20 0 1 0 74926560 99844096 18934 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 24376 18934 1376 243 0 20625 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 97504 KiB
Current children cumulated memory: 75736 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.25 4.09 5/267 82542
/proc/meminfo: memFree=121645224/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=106848 memory=91840 CPUtime=25.41 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 13851 0 0 0 2521 20 0 0 20 0 1 0 74926560 109412352 22960 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 26712 22960 1376 243 0 22961 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106848 KiB
Current children cumulated memory: 91840 KiB
[startup+51.1057 s]
/proc/loadavg: 4.23 4.24 4.09 5/267 82542
/proc/meminfo: memFree=121614400/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=144208 memory=114276 CPUtime=50.94 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 16720 0 0 0 5066 28 0 0 20 0 1 0 74926560 147668992 28569 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 36052 28569 1376 243 0 32301 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 144208 KiB
Current children cumulated memory: 114276 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.22 4.09 5/267 82544
/proc/meminfo: memFree=121595740/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=155176 memory=131900 CPUtime=101.98 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 18930 0 0 0 10153 45 0 0 20 0 1 0 74926560 158900224 32975 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 38794 32975 1376 243 0 35043 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 155176 KiB
Current children cumulated memory: 131900 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.19 4.09 5/268 82547
/proc/meminfo: memFree=121547452/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=165244 memory=144960 CPUtime=161.82 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 21005 0 0 0 16124 58 0 0 20 0 1 0 74926560 169209856 36240 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 41311 36240 1376 243 0 37560 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 165244 KiB
Current children cumulated memory: 144960 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/267 82549
/proc/meminfo: memFree=121532116/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=221800 memory=161516 CPUtime=221.64 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 23322 0 0 0 22093 71 0 0 20 0 1 0 74926560 227123200 40379 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 55450 40379 1376 243 0 51699 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 221800 KiB
Current children cumulated memory: 161516 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/266 82554
/proc/meminfo: memFree=121482932/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=278120 memory=209348 CPUtime=281.47 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 35784 0 0 0 28048 99 0 0 20 0 1 0 74926560 284794880 52337 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 69530 52337 1376 243 0 65779 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 278120 KiB
Current children cumulated memory: 209348 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 82560
/proc/meminfo: memFree=121451700/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=296368 memory=235764 CPUtime=341.29 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 40051 0 0 0 34015 114 0 0 20 0 1 0 74926560 303480832 58941 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 74092 58941 1376 243 0 70341 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 296368 KiB
Current children cumulated memory: 235764 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/265 82562
/proc/meminfo: memFree=121378112/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=308480 memory=261752 CPUtime=401.12 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 43096 0 0 0 39985 127 0 0 20 0 1 0 74926560 315883520 65438 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 77120 65438 1376 243 0 73369 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 308480 KiB
Current children cumulated memory: 261752 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/265 82564
/proc/meminfo: memFree=121266784/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=315220 memory=275452 CPUtime=460.95 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 44590 0 0 0 45958 137 0 0 20 0 1 0 74926560 322785280 68863 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 78805 68863 1376 243 0 75054 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 537464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 82871
/proc/meminfo: memFree=100981900/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670604 memory=537464 CPUtime=2914.02 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74646 0 0 0 290825 577 0 0 20 0 1 0 74926560 686698496 134366 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167651 134366 1376 243 0 163900 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 670604 KiB
Current children cumulated memory: 537464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 82873
/proc/meminfo: memFree=100413036/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670604 memory=537464 CPUtime=2973.83 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74647 0 0 0 296795 588 0 0 20 0 1 0 74926560 686698496 134366 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167651 134366 1376 243 0 163900 0
Current children cumulated CPU time: 2973.83 s
Current children cumulated vsize: 670604 KiB
Current children cumulated memory: 537464 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 82875
/proc/meminfo: memFree=99817084/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670604 memory=537464 CPUtime=3033.65 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74648 0 0 0 302765 600 0 0 20 0 1 0 74926560 686698496 134366 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167651 134366 1376 243 0 163900 0
Current children cumulated CPU time: 3033.65 s
Current children cumulated vsize: 670604 KiB
Current children cumulated memory: 537464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 82879
/proc/meminfo: memFree=99218824/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670764 memory=537592 CPUtime=3093.47 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74690 0 0 0 308736 611 0 0 20 0 1 0 74926560 686862336 134398 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167691 134398 1376 243 0 163940 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 670764 KiB
Current children cumulated memory: 537592 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 82881
/proc/meminfo: memFree=98594364/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670764 memory=537720 CPUtime=3153.28 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74721 0 0 0 314703 625 0 0 20 0 1 0 74926560 686862336 134430 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167691 134430 1376 243 0 163940 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 670764 KiB
Current children cumulated memory: 537720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 82884
/proc/meminfo: memFree=97980768/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670764 memory=537720 CPUtime=3213.09 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74723 0 0 0 320670 639 0 0 20 0 1 0 74926560 686862336 134430 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167691 134430 1376 243 0 163940 0
Current children cumulated CPU time: 3213.09 s
Current children cumulated vsize: 670764 KiB
Current children cumulated memory: 537720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 82886
/proc/meminfo: memFree=97336964/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670764 memory=537720 CPUtime=3272.91 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74794 0 0 0 326644 647 0 0 20 0 1 0 74926560 686862336 134430 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167691 134430 1376 243 0 163940 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 670764 KiB
Current children cumulated memory: 537720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/264 82889
/proc/meminfo: memFree=96787040/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=670764 memory=537720 CPUtime=3332.72 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74794 0 0 0 332611 661 0 0 20 0 1 0 74926560 686862336 134430 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167691 134430 1376 243 0 163940 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 670764 KiB
Current children cumulated memory: 537720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.23 4.14 5/265 82896
/proc/meminfo: memFree=96384516/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3392.53 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 74919 0 0 0 338581 672 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/265 82898
/proc/meminfo: memFree=95733576/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3452.34 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 75216 0 0 0 344555 679 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3452.34 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/264 82900
/proc/meminfo: memFree=95365552/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3512.16 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 75216 0 0 0 350529 687 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.24 4.15 5/264 82902
/proc/meminfo: memFree=94918740/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3571.98 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 75505 0 0 0 356504 694 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3571.98 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.31 4.24 4.16 5/264 82903
/proc/meminfo: memFree=94692532/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3600.09 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 75505 0 0 0 359313 696 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 82540 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.14 s, system=6.96632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.31 4.24 4.16 5/264 82903
/proc/meminfo: memFree=94692532/131250000 swapFree=33010672/33010684
[pid=82540] ppid=82537 vsize=669852 memory=536900 CPUtime=3600.09 cores=5,7
/proc/82540/stat : 82540 (pb-oll-rs) R 82537 82540 82247 0 -1 4194304 75505 0 0 0 359313 696 0 0 20 0 1 0 74926560 685928448 134225 18446744073709551615 4218880 5211445 140737103844208 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 33034240 140737103845788 140737103845865 140737103845865 140737103851467 0
/proc/82540/statm: 167463 134225 1376 243 0 163712 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 669852 KiB
Current children cumulated memory: 536900 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3593.14
CPU system time (s): 6.96632
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 671136
Max. memory (cumulated for all children) (KiB): 538052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.14
system time used= 6.96632
maximum resident set size= 538052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75520
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= 132
involuntary context switches= 3317
# summary of solver processes directly reported to runsolver:
# pid: 82540
# total CPU time (s): 3600.1
# total CPU user time (s): 3593.14
# total CPU system time (s): 6.96632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02314 second user time and 15.6885 second system time
The end
Begin job on nodeC026 at 2025-07-04 03:27:59
IDJOB=4522362
IDBENCH=178754
IDSOLVER=3345
FILE ID=nodeC026/4522362-1751592479
RUNJOBID= nodeC026-1751590160-82260
SLURM_JOB_ID= 9598846
Free space on /tmp= 430288 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522362-1751592479/watcher-4522362-1751592479 -o /tmp/evaluation-result-4522362-1751592479/solver-4522362-1751592479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751590160-82260 --watchdog 3760 pb-oll-rs HOME/instance-4522362-1751592479.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9
RANDOM SEED=1189066349
nodeC026 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 : 3599.733
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 : 6999.59
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 : 3599.795
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 : 6999.59
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.369
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 : 6999.59
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 : 3575.623
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 : 6999.59
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 : 3599.789
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 : 6999.59
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 : 3659.375
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 : 6999.59
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 : 3634.304
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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121737700 kB
MemAvailable: 124317232 kB
Buffers: 2128 kB
Cached: 3207488 kB
SwapCached: 4 kB
Active: 5985284 kB
Inactive: 2537372 kB
Active(anon): 5321428 kB
Inactive(anon): 9688 kB
Active(file): 663856 kB
Inactive(file): 2527684 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2580 kB
Writeback: 24 kB
AnonPages: 5314892 kB
Mapped: 108276 kB
Shmem: 18076 kB
KReclaimable: 448792 kB
Slab: 548904 kB
SReclaimable: 448792 kB
SUnreclaim: 100112 kB
KernelStack: 4352 kB
PageTables: 13900 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5951104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3725312 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430240 MiB
End job on nodeC026 at 2025-07-04 04:28:10