0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.13 c #variables 2023 #constraints 31798
0.08/0.13 c objective is ce32
0.08/0.20 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.20 c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.132956
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.134639
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.135709
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.136219
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.136219
0.08/0.20 c GLOBAL bounds - >= -109612 @ 0.136547
0.08/0.21 c GLOBAL bounds - >= -109612 @ 0.137426
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.138655
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.139742
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.140146
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.141136
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.142399
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.143636
0.19/0.21 c GLOBAL bounds - >= -109612 @ 0.144942
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.145135
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.146431
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.147646
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.149045
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.150297
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.151676
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.15303
0.19/0.22 c GLOBAL bounds - >= -109612 @ 0.154466
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.155114
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.156601
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.158157
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.160715
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.162069
0.19/0.23 c GLOBAL bounds - >= -109612 @ 0.163563
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.164939
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.166461
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.167094
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.167607
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.169384
0.19/0.24 c GLOBAL bounds - >= -109612 @ 0.171462
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.173053
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.174646
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.17626
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.177083
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.17766
0.19/0.25 c GLOBAL bounds - >= -109612 @ 0.179152
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.180811
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.182483
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.184203
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.185069
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.186647
0.19/0.26 c GLOBAL bounds - >= -109612 @ 0.188346
0.19/0.27 c GLOBAL bounds - >= -109612 @ 0.189336
0.19/0.27 c GLOBAL bounds - >= -109612 @ 0.19088
0.19/0.27 c GLOBAL bounds - >= -109612 @ 0.193072
0.19/0.27 c GLOBAL bounds - >= -109612 @ 0.194865
0.19/0.27 c GLOBAL bounds - >= -109612 @ 0.195051
0.19/0.28 c GLOBAL bounds - >= -109612 @ 0.196586
0.19/0.28 c GLOBAL bounds - >= -109612 @ 0.198452
0.19/0.28 c GLOBAL bounds - >= -109612 @ 0.199341
0.19/0.28 c GLOBAL bounds - >= -109612 @ 0.201177
0.19/0.28 c GLOBAL bounds - >= -109612 @ 0.202049
0.19/0.29 c GLOBAL bounds - >= -109612 @ 0.203032
0.19/0.29 c GLOBAL bounds - >= -109612 @ 0.204888
0.19/0.29 c GLOBAL bounds - >= -109612 @ 0.206817
0.19/0.29 c GLOBAL bounds - >= -109612 @ 0.20796
0.19/0.29 c GLOBAL bounds - >= -109612 @ 0.209967
0.19/0.30 c GLOBAL bounds - >= -109612 @ 0.211012
0.19/0.30 c GLOBAL bounds - >= -109612 @ 0.212996
0.19/0.30 c GLOBAL bounds - >= -109612 @ 0.213022
0.19/0.30 c GLOBAL bounds - >= -109612 @ 0.215059
0.19/0.30 c GLOBAL bounds - >= -109612 @ 0.21713
0.19/0.31 c GLOBAL bounds - >= -109612 @ 0.219201
0.29/0.31 c GLOBAL bounds - >= -109612 @ 0.221272
0.29/0.31 c GLOBAL bounds - >= -109612 @ 0.223397
0.29/0.31 c GLOBAL bounds - >= -109612 @ 0.225507
0.29/0.31 c GLOBAL bounds - >= -109612 @ 0.227582
0.29/0.32 c GLOBAL bounds - >= -109612 @ 0.229614
0.29/0.32 c GLOBAL bounds - >= -109612 @ 0.231675
0.29/0.32 c GLOBAL bounds - >= -109612 @ 0.233796
0.29/0.32 c GLOBAL bounds - >= -109612 @ 0.235931
0.29/0.32 c GLOBAL bounds - >= -109612 @ 0.238071
0.29/0.33 c GLOBAL bounds - >= -109612 @ 0.240211
0.29/0.33 c GLOBAL bounds - >= -109612 @ 0.241533
0.29/0.33 c GLOBAL bounds - >= -109612 @ 0.243599
0.29/0.33 c GLOBAL bounds - >= -109612 @ 0.245829
0.29/0.34 c GLOBAL bounds - >= -109612 @ 0.24804
0.29/0.34 c GLOBAL bounds - >= -109612 @ 0.250283
0.29/0.34 c GLOBAL bounds - >= -109612 @ 0.252532
0.29/0.34 c GLOBAL bounds - >= -109612 @ 0.254775
0.29/0.35 c GLOBAL bounds - >= -109612 @ 0.258043
0.29/0.35 c GLOBAL bounds - >= -109612 @ 0.260385
0.29/0.35 c GLOBAL bounds - >= -109612 @ 0.262724
0.29/0.35 c GLOBAL bounds - >= -109612 @ 0.264183
0.29/0.35 c GLOBAL bounds - >= -109612 @ 0.265496
0.29/0.36 c GLOBAL bounds - >= -109612 @ 0.267761
0.29/0.36 c GLOBAL bounds - >= -109612 @ 0.269204
0.29/0.36 c GLOBAL bounds - >= -109612 @ 0.271556
0.29/0.36 c GLOBAL bounds - >= -109612 @ 0.273237
0.29/0.37 c GLOBAL bounds - >= -109612 @ 0.275508
0.29/0.37 c GLOBAL bounds - >= -109612 @ 0.277877
0.29/0.37 c GLOBAL bounds - >= -109612 @ 0.280315
0.29/0.37 c GLOBAL bounds - >= -109612 @ 0.282669
0.29/0.38 c GLOBAL bounds - >= -109612 @ 0.285043
0.29/0.38 c GLOBAL bounds - >= -109612 @ 0.287497
0.29/0.38 c GLOBAL bounds - >= -109612 @ 0.289098
0.29/0.38 c GLOBAL bounds - >= -109612 @ 0.291354
0.29/0.39 c GLOBAL bounds - >= -109612 @ 0.293884
0.29/0.39 c GLOBAL bounds - >= -109612 @ 0.296378
0.29/0.39 c GLOBAL bounds - >= -109612 @ 0.298103
0.29/0.39 c GLOBAL bounds - >= -109612 @ 0.300455
0.29/0.40 c GLOBAL bounds - >= -109612 @ 0.302109
0.29/0.40 c GLOBAL bounds - >= -109612 @ 0.304561
0.29/0.40 c GLOBAL bounds - >= -109612 @ 0.306341
0.29/0.40 c GLOBAL bounds - >= -109612 @ 0.309024
0.39/0.41 c GLOBAL bounds - >= -109612 @ 0.311722
0.39/0.41 c GLOBAL bounds - >= -109612 @ 0.313444
0.39/0.41 c GLOBAL bounds - >= -109612 @ 0.315053
0.39/0.42 c GLOBAL bounds - >= -109612 @ 0.317608
0.39/0.42 c GLOBAL bounds - >= -109612 @ 0.319263
0.39/0.42 c GLOBAL bounds - >= -109612 @ 0.321897
0.39/0.42 c GLOBAL bounds - >= -109612 @ 0.324568
0.39/0.43 c GLOBAL bounds - >= -109612 @ 0.327224
0.39/0.43 c GLOBAL bounds - >= -109612 @ 0.329867
0.39/0.43 c GLOBAL bounds - >= -109612 @ 0.33252
0.39/0.43 c GLOBAL bounds - >= -109612 @ 0.335176
0.39/0.44 c GLOBAL bounds - >= -109612 @ 0.338249
0.39/0.44 c GLOBAL bounds - >= -109612 @ 0.341086
0.39/0.44 c GLOBAL bounds - >= -109612 @ 0.344246
0.39/0.45 c GLOBAL bounds - >= -109612 @ 0.347
0.39/0.45 c GLOBAL bounds - >= -109612 @ 0.349837
0.39/0.45 c GLOBAL bounds - >= -109612 @ 0.352567
0.39/0.45 c GLOBAL bounds - >= -109612 @ 0.355323
0.39/0.46 c GLOBAL bounds - >= -109612 @ 0.358152
0.39/0.46 c GLOBAL bounds - >= -109612 @ 0.361514
0.39/0.46 c GLOBAL bounds - >= -109612 @ 0.364351
0.39/0.47 c GLOBAL bounds - >= -109612 @ 0.366956
0.39/0.47 c GLOBAL bounds - >= -109612 @ 0.369586
0.39/0.47 c GLOBAL bounds - >= -109612 @ 0.372543
0.39/0.48 c GLOBAL bounds - >= -109612 @ 0.375429
0.39/0.48 c GLOBAL bounds - >= -109612 @ 0.378936
0.39/0.48 c GLOBAL bounds - >= -109612 @ 0.382301
0.39/0.49 c GLOBAL bounds - >= -109612 @ 0.384918
0.39/0.49 c GLOBAL bounds - >= -109612 @ 0.386916
0.39/0.49 c GLOBAL bounds - >= -109612 @ 0.390383
0.39/0.50 c GLOBAL bounds - >= -109612 @ 0.393382
0.39/0.50 c GLOBAL bounds - >= -109612 @ 0.396861
0.39/0.50 c GLOBAL bounds - >= -109612 @ 0.399995
0.39/0.51 c GLOBAL bounds - >= -109612 @ 0.404333
0.48/0.51 c GLOBAL bounds - >= -109612 @ 0.408275
0.48/0.51 c GLOBAL bounds - >= -109612 @ 0.411559
0.48/0.52 c GLOBAL bounds - >= -109612 @ 0.415382
0.48/0.52 c GLOBAL bounds - >= -109612 @ 0.419157
0.48/0.53 c GLOBAL bounds - >= -109612 @ 0.423289
0.48/0.53 c GLOBAL bounds - >= -109612 @ 0.427861
0.48/0.53 c GLOBAL bounds - >= -109612 @ 0.430951
0.48/0.54 c GLOBAL bounds - >= -109612 @ 0.435825
0.48/0.54 c GLOBAL bounds - >= -109612 @ 0.440988
0.48/0.55 c GLOBAL bounds - >= -109612 @ 0.445212
0.48/0.55 c GLOBAL bounds - >= -109612 @ 0.448722
0.48/0.56 c GLOBAL bounds - >= -109612 @ 0.450355
0.48/0.56 c GLOBAL bounds - >= -109612 @ 0.454605
0.48/0.56 c GLOBAL bounds - >= -109612 @ 0.458767
0.48/0.57 c GLOBAL bounds - >= -109612 @ 0.462943
0.48/0.57 c GLOBAL bounds - >= -109612 @ 0.466526
0.48/0.58 c GLOBAL bounds - >= -109612 @ 0.46921
0.48/0.58 c GLOBAL bounds - >= -109612 @ 0.473282
0.48/0.58 c GLOBAL bounds - >= -109612 @ 0.477832
0.48/0.59 c GLOBAL bounds - >= -109612 @ 0.48468
0.48/0.60 c GLOBAL bounds - >= -109612 @ 0.489018
0.58/0.60 c GLOBAL bounds - >= -109612 @ 0.493107
0.58/0.61 c GLOBAL bounds - >= -109612 @ 0.49797
0.58/0.61 c GLOBAL bounds - >= -109612 @ 0.501684
0.58/0.61 c GLOBAL bounds - >= -109612 @ 0.504609
0.58/0.62 c GLOBAL bounds - >= -109612 @ 0.508416
0.58/0.62 c GLOBAL bounds - >= -109612 @ 0.512304
0.58/0.63 c GLOBAL bounds - >= -109612 @ 0.518604
0.58/0.64 c GLOBAL bounds - >= -109612 @ 0.528014
0.58/0.65 c GLOBAL bounds - >= -109612 @ 0.537496
0.58/0.65 c GLOBAL bounds - >= -109612 @ 0.542393
0.58/0.66 c GLOBAL bounds - >= -109612 @ 0.548114
0.58/0.66 c GLOBAL bounds - >= -109612 @ 0.550485
0.58/0.69 c GLOBAL bounds - >= -109612 @ 0.575131
0.67/0.70 c GLOBAL bounds - >= -109612 @ 0.584926
0.67/0.70 c GLOBAL bounds - >= -109612 @ 0.589491
0.67/0.71 c GLOBAL bounds - >= -109612 @ 0.594322
0.67/0.71 c GLOBAL bounds - >= -109612 @ 0.59991
0.67/0.72 c GLOBAL bounds - >= -109612 @ 0.605205
0.67/0.72 c GLOBAL bounds - >= -109612 @ 0.610201
0.67/0.73 c GLOBAL bounds - >= -109612 @ 0.615924
0.67/0.74 c GLOBAL bounds - >= -109612 @ 0.621955
0.67/0.74 c GLOBAL bounds - >= -109612 @ 0.628293
0.67/0.75 c GLOBAL bounds - >= -109612 @ 0.636795
0.67/0.76 c GLOBAL bounds - >= -109612 @ 0.64336
0.67/0.77 c GLOBAL bounds - >= -109612 @ 0.653216
0.67/0.77 c GLOBAL bounds - >= -109612 @ 0.659273
0.67/0.79 c GLOBAL bounds - >= -109612 @ 0.670921
0.67/0.79 c GLOBAL bounds - >= -109612 @ 0.676132
0.77/0.80 c GLOBAL bounds - >= -109612 @ 0.681745
0.77/0.80 c GLOBAL bounds - >= -109612 @ 0.687607
0.77/0.82 c GLOBAL bounds - >= -109612 @ 0.699963
0.77/0.82 c GLOBAL bounds - >= -109612 @ 0.706339
0.77/0.83 c GLOBAL bounds - >= -109612 @ 0.712471
0.77/0.84 c GLOBAL bounds - >= -109612 @ 0.71765
0.77/0.84 c GLOBAL bounds - >= -109612 @ 0.723948
0.77/0.85 c GLOBAL bounds - >= -109612 @ 0.73112
0.77/0.86 c GLOBAL bounds - >= -109612 @ 0.737285
0.77/0.86 c GLOBAL bounds - >= -109612 @ 0.743247
0.77/0.87 c GLOBAL bounds - >= -109612 @ 0.749746
0.77/0.87 c GLOBAL bounds - >= -109612 @ 0.756331
0.77/0.88 c GLOBAL bounds - >= -109612 @ 0.76288
0.77/0.89 c GLOBAL bounds - >= -109612 @ 0.776016
0.87/0.90 c GLOBAL bounds - >= -109612 @ 0.782238
0.87/0.91 c GLOBAL bounds - >= -109612 @ 0.78929
0.87/0.92 c GLOBAL bounds - >= -109612 @ 0.796132
0.87/0.92 c GLOBAL bounds - >= -109612 @ 0.801433
0.87/0.93 c GLOBAL bounds - >= -109612 @ 0.808369
0.87/0.94 c GLOBAL bounds - >= -109612 @ 0.815848
0.87/0.94 c GLOBAL bounds - >= -109612 @ 0.82261
0.87/0.95 c GLOBAL bounds - >= -109612 @ 0.829705
0.87/0.96 c GLOBAL bounds - >= -109612 @ 0.836297
0.87/0.96 c GLOBAL bounds - >= -109612 @ 0.842758
0.87/0.97 c GLOBAL bounds - >= -109612 @ 0.849822
0.87/0.98 c GLOBAL bounds - >= -109612 @ 0.857513
0.87/0.98 c GLOBAL bounds - >= -109612 @ 0.863743
0.87/0.99 c GLOBAL bounds - >= -109612 @ 0.869324
0.87/1.00 c GLOBAL bounds - >= -109612 @ 0.876532
0.98/1.01 c GLOBAL bounds - >= -109612 @ 0.883278
0.98/1.01 c GLOBAL bounds - >= -109612 @ 0.889152
0.98/1.02 c GLOBAL bounds - >= -109612 @ 0.895653
0.98/1.03 c GLOBAL bounds - >= -109612 @ 0.902202
0.98/1.03 c GLOBAL bounds - >= -109612 @ 0.909282
0.98/1.04 c GLOBAL bounds - >= -109612 @ 0.915606
0.98/1.05 c GLOBAL bounds - >= -109612 @ 0.922704
0.98/1.05 c GLOBAL bounds - >= -109612 @ 0.930226
0.98/1.06 c GLOBAL bounds - >= -109612 @ 0.93708
1.08/1.13 c GLOBAL bounds - >= -109612 @ 1.00632
1.08/1.14 c GLOBAL bounds - >= -109612 @ 1.01661
1.08/1.15 c GLOBAL bounds - >= -109612 @ 1.02565
1.08/1.16 c GLOBAL bounds - >= -109612 @ 1.03446
1.08/1.17 c GLOBAL bounds - >= -109612 @ 1.04391
1.08/1.18 c GLOBAL bounds - >= -109612 @ 1.05468
1.08/1.19 c GLOBAL bounds - >= -109612 @ 1.06339
1.17/1.20 c GLOBAL bounds - >= -109612 @ 1.07207
1.17/1.21 c GLOBAL bounds - >= -109612 @ 1.08085
1.17/1.22 c GLOBAL bounds - >= -109612 @ 1.08916
1.17/1.23 c GLOBAL bounds - >= -109612 @ 1.09858
1.17/1.24 c GLOBAL bounds - >= -109612 @ 1.10688
1.17/1.25 c GLOBAL bounds - >= -109612 @ 1.11602
1.17/1.29 c GLOBAL bounds - >= -109612 @ 1.16248
1.27/1.30 c GLOBAL bounds - >= -109612 @ 1.17199
1.27/1.31 c GLOBAL bounds - >= -109612 @ 1.18502
1.27/1.33 c GLOBAL bounds - >= -109612 @ 1.19664
1.27/1.34 c GLOBAL bounds - >= -109612 @ 1.20657
1.27/1.35 c GLOBAL bounds - >= -109612 @ 1.21561
1.27/1.36 c GLOBAL bounds - >= -109612 @ 1.2291
1.27/1.37 c GLOBAL bounds - >= -109612 @ 1.23764
1.27/1.38 c GLOBAL bounds - >= -109612 @ 1.24751
1.27/1.39 c GLOBAL bounds - >= -109612 @ 1.25698
1.37/1.41 c GLOBAL bounds - >= -109612 @ 1.27407
1.37/1.42 c GLOBAL bounds - >= -109612 @ 1.2835
1.37/1.43 c GLOBAL bounds - >= -109612 @ 1.29285
1.37/1.44 c GLOBAL bounds - >= -109612 @ 1.3021
1.37/1.45 c GLOBAL bounds - >= -109612 @ 1.31223
1.37/1.46 c GLOBAL bounds - >= -109612 @ 1.32245
1.37/1.47 c GLOBAL bounds - >= -109612 @ 1.33182
1.37/1.48 c GLOBAL bounds - >= -109612 @ 1.34584
1.37/1.49 c GLOBAL bounds - >= -109612 @ 1.35529
1.47/1.50 c GLOBAL bounds - >= -109612 @ 1.36475
1.47/1.51 c GLOBAL bounds - >= -109612 @ 1.37511
1.47/1.52 c GLOBAL bounds - >= -109612 @ 1.3845
1.47/1.53 c GLOBAL bounds - >= -109612 @ 1.39415
1.47/1.54 c GLOBAL bounds - >= -109612 @ 1.40367
1.47/1.55 c GLOBAL bounds - >= -109612 @ 1.41476
1.47/1.56 c GLOBAL bounds - >= -109612 @ 1.42605
1.47/1.57 c GLOBAL bounds - >= -109612 @ 1.43561
1.47/1.59 c GLOBAL bounds - >= -109612 @ 1.45032
1.57/1.60 c GLOBAL bounds - >= -109612 @ 1.46148
1.57/1.61 c GLOBAL bounds - >= -109612 @ 1.47133
1.57/1.62 c GLOBAL bounds - >= -109612 @ 1.48288
1.57/1.63 c GLOBAL bounds - >= -109612 @ 1.49174
1.57/1.67 c GLOBAL bounds - >= -109612 @ 1.52645
1.57/1.68 c GLOBAL bounds - >= -109612 @ 1.5419
1.67/1.70 c GLOBAL bounds - >= -109612 @ 1.55685
1.67/1.71 c GLOBAL bounds - >= -109612 @ 1.57279
1.67/1.72 c GLOBAL bounds - >= -109612 @ 1.58325
1.77/1.86 c GLOBAL bounds - >= -109612 @ 1.71124
1.77/1.87 c GLOBAL bounds - >= -109612 @ 1.72968
1.77/1.89 c GLOBAL bounds - >= -109612 @ 1.74163
1.87/1.90 c GLOBAL bounds - >= -109612 @ 1.7561
1.87/1.91 c GLOBAL bounds - >= -109612 @ 1.7701
1.87/1.93 c GLOBAL bounds - >= -109612 @ 1.78188
1.87/1.97 c GLOBAL bounds - >= -109612 @ 1.8245
1.87/1.98 c GLOBAL bounds - >= -109612 @ 1.83731
1.97/2.03 c GLOBAL bounds - >= -109612 @ 1.87718
2.08/2.10 c GLOBAL bounds - >= -109612 @ 1.95335
2.08/2.12 c GLOBAL bounds - >= -109612 @ 1.97104
2.27/2.31 c GLOBAL bounds - >= -109612 @ 2.14917
2.27/2.36 c GLOBAL bounds - >= -109612 @ 2.20457
2.36/2.43 c GLOBAL bounds - >= -109612 @ 2.27062
2.56/2.65 c #Conflicts: 1000 | #Constraints: 32469
2.56/2.65 c GLOBAL bounds - >= -109612 @ 2.48785
2.77/2.86 c GLOBAL bounds - >= -109612 @ 2.68946
3.37/3.42 c GLOBAL bounds - >= -109612 @ 3.24195
3.37/3.44 c GLOBAL bounds - >= -109612 @ 3.25842
3.37/3.45 c GLOBAL bounds - >= -109612 @ 3.27546
3.37/3.49 c GLOBAL bounds - >= -109612 @ 3.30571
3.46/3.51 c GLOBAL bounds - >= -109612 @ 3.32649
3.46/3.55 c GLOBAL bounds - >= -109612 @ 3.37238
5.07/5.15 c #Conflicts: 2000 | #Constraints: 33485
5.07/5.15 c INPROCESSING
5.07/5.15 c GARBAGE COLLECT
5.07/5.15 c GLOBAL bounds - >= -109612 @ 4.93793
5.07/5.16 c GLOBAL bounds - >= -109612 @ 4.95489
5.16/5.21 c GLOBAL bounds - >= -109612 @ 4.9979
5.16/5.25 c GLOBAL bounds - >= -109612 @ 5.03619
5.16/5.26 c GLOBAL bounds - >= -109612 @ 5.04903
5.16/5.29 c GLOBAL bounds - >= -109612 @ 5.07779
5.26/5.31 c GLOBAL bounds - >= -109612 @ 5.09863
5.26/5.33 c GLOBAL bounds - >= -109612 @ 5.1155
5.26/5.36 c GLOBAL bounds - >= -109612 @ 5.14646
5.36/5.40 c GLOBAL bounds - >= -109612 @ 5.18837
5.36/5.42 c GLOBAL bounds - >= -109612 @ 5.20373
5.36/5.43 c GLOBAL bounds - >= -109612 @ 5.21894
6.66/6.72 c #Conflicts: 3000 | #Constraints: 33535
6.66/6.72 c GLOBAL bounds - >= -109612 @ 6.49116
6.66/6.75 c GLOBAL bounds - >= -109612 @ 6.51357
6.76/6.83 c GLOBAL bounds - >= -109612 @ 6.59388
6.76/6.87 c GLOBAL bounds - >= -109612 @ 6.63671
7.15/7.24 c GLOBAL bounds - >= -109612 @ 6.9962
7.15/7.26 c GLOBAL bounds - >= -109612 @ 7.01943
7.35/7.46 c GLOBAL bounds - >= -109612 @ 7.21831
7.45/7.50 c GLOBAL bounds - >= -109612 @ 7.25693
7.45/7.53 c GLOBAL bounds - >= -109612 @ 7.28706
7.55/7.65 c GLOBAL bounds - >= -109612 @ 7.40397
7.55/7.67 c GLOBAL bounds - >= -109612 @ 7.42884
7.85/7.90 c GLOBAL bounds - >= -109612 @ 7.65125
7.85/7.93 c GLOBAL bounds - >= -109612 @ 7.67951
7.85/7.96 c GLOBAL bounds - >= -109612 @ 7.70487
7.85/7.98 c GLOBAL bounds - >= -109612 @ 7.73259
8.05/8.12 c GLOBAL bounds - >= -109612 @ 7.8622
8.05/8.15 c GLOBAL bounds - >= -109612 @ 7.89182
8.36/8.48 c GLOBAL bounds - >= -109612 @ 8.22113
9.15/9.28 c GLOBAL bounds - >= -109612 @ 9.01458
9.25/9.32 c GLOBAL bounds - >= -109612 @ 9.04792
9.65/9.73 c #Conflicts: 4000 | #Constraints: 34575
9.65/9.73 c GLOBAL bounds - >= -109612 @ 9.45088
9.65/9.76 c GLOBAL bounds - >= -109612 @ 9.4883
9.75/9.80 c GLOBAL bounds - >= -109612 @ 9.52844
9.75/9.86 c GLOBAL bounds - >= -109612 @ 9.5828
9.85/9.92 c GLOBAL bounds - >= -109612 @ 9.64217
10.05/10.12 c INPROCESSING
10.05/10.12 c GARBAGE COLLECT
10.05/10.12 c GLOBAL bounds - >= -109612 @ 9.84558
10.35/10.45 c GLOBAL bounds - >= -109612 @ 10.1657
10.35/10.46 c GLOBAL bounds - >= -109612 @ 10.1793
10.45/10.51 c GLOBAL bounds - >= -109612 @ 10.2245
10.45/10.54 c GLOBAL bounds - >= -109612 @ 10.254
10.45/10.57 c GLOBAL bounds - >= -109612 @ 10.2832
10.45/10.59 c GLOBAL bounds - >= -109612 @ 10.3044
10.55/10.61 c GLOBAL bounds - >= -109612 @ 10.3241
10.55/10.63 c GLOBAL bounds - >= -109612 @ 10.341
11.44/11.50 c #Conflicts: 5000 | #Constraints: 33999
11.44/11.50 c GLOBAL bounds - >= -109612 @ 11.2034
11.44/11.53 c GLOBAL bounds - >= -109612 @ 11.2384
11.44/11.56 c GLOBAL bounds - >= -109612 @ 11.269
11.44/11.59 c GLOBAL bounds - >= -109612 @ 11.2932
11.55/11.62 c GLOBAL bounds - >= -109612 @ 11.3196
11.55/11.67 c GLOBAL bounds - >= -109612 @ 11.3732
11.95/12.09 c GLOBAL bounds - >= -109612 @ 11.7926
12.54/12.62 c GLOBAL bounds - >= -109612 @ 12.3108
13.54/13.63 c #Conflicts: 6000 | #Constraints: 35015
13.54/13.63 c GLOBAL bounds - >= -109612 @ 13.3108
13.74/13.84 c GLOBAL bounds - >= -109612 @ 13.5142
15.04/15.19 c INPROCESSING
15.04/15.19 c GARBAGE COLLECT
15.04/15.19 c GLOBAL bounds - >= -109612 @ 14.8483
15.13/15.20 c GLOBAL bounds - >= -109612 @ 14.8626
15.13/15.22 c GLOBAL bounds - >= -109612 @ 14.8761
15.13/15.24 c GLOBAL bounds - >= -109612 @ 14.8964
15.24/15.32 c GLOBAL bounds - >= -109612 @ 14.9785
17.03/17.11 c #Conflicts: 7000 | #Constraints: 34037
17.03/17.11 c #Conflicts: 8000 | #Constraints: 35037
17.03/17.11 c GLOBAL bounds - >= -109612 @ 16.7499
17.03/17.14 c GLOBAL bounds - >= -109612 @ 16.7839
17.03/17.17 c GLOBAL bounds - >= -109612 @ 16.814
18.52/18.68 c #Conflicts: 9000 | #Constraints: 36043
18.52/18.68 c INPROCESSING
18.52/18.68 c GARBAGE COLLECT
18.52/18.68 c GLOBAL bounds - >= -109612 @ 18.2971
18.62/18.76 c GLOBAL bounds - >= -109612 @ 18.3754
19.12/19.30 c GLOBAL bounds - >= -109612 @ 18.9113
19.22/19.36 c GLOBAL bounds - >= -109612 @ 18.9757
19.22/19.39 c GLOBAL bounds - >= -109612 @ 19.0069
19.52/19.68 c #Conflicts: 10000 | #Constraints: 34750
19.52/19.68 c GLOBAL bounds - >= -109612 @ 19.2915
24.51/24.62 c #Conflicts: 11000 | #Constraints: 35752
24.51/24.62 c #Conflicts: 12000 | #Constraints: 36752
24.51/24.62 c INPROCESSING
24.51/24.62 c GARBAGE COLLECT
24.51/24.62 c #Conflicts: 13000 | #Constraints: 35201
24.51/24.62 c GLOBAL bounds - >= -109612 @ 24.1853
24.61/24.72 c GLOBAL bounds - >= -109612 @ 24.2873
24.61/24.75 c GLOBAL bounds - >= -109612 @ 24.3215
24.61/24.79 c GLOBAL bounds - >= -109612 @ 24.3543
24.71/24.83 c GLOBAL bounds - >= -109612 @ 24.3917
24.71/24.86 c GLOBAL bounds - >= -109612 @ 24.4244
24.71/24.89 c GLOBAL bounds - >= -109612 @ 24.4594
24.81/24.94 c GLOBAL bounds - >= -109612 @ 24.5064
24.91/25.02 c GLOBAL bounds - >= -109612 @ 24.58
25.20/25.36 c GLOBAL bounds - >= -109612 @ 24.9215
25.40/25.54 c GLOBAL bounds - >= -109612 @ 25.0998
25.50/25.60 c GLOBAL bounds - >= -109612 @ 25.1572
27.20/27.36 c #Conflicts: 14000 | #Constraints: 36225
27.20/27.36 c GLOBAL bounds - >= -109612 @ 26.9081
27.70/27.83 c GLOBAL bounds - >= -109612 @ 27.3715
27.70/27.89 c GLOBAL bounds - >= -109612 @ 27.429
28.10/28.24 c GLOBAL bounds - >= -109612 @ 27.78
29.50/29.65 c #Conflicts: 15000 | #Constraints: 37233
29.50/29.65 c INPROCESSING
29.50/29.65 c GARBAGE COLLECT
29.50/29.65 c GLOBAL bounds - >= -109612 @ 29.172
29.50/29.67 c GLOBAL bounds - >= -109612 @ 29.1932
30.09/30.21 c #Conflicts: 16000 | #Constraints: 35457
30.09/30.21 c GLOBAL bounds - >= -109612 @ 29.7331
30.70/30.81 c GLOBAL bounds - >= -109612 @ 30.3218
30.70/30.85 c GLOBAL bounds - >= -109612 @ 30.3615
30.70/30.88 c GLOBAL bounds - >= -109612 @ 30.395
30.80/30.92 c GLOBAL bounds - >= -109612 @ 30.4285
30.80/30.95 c GLOBAL bounds - >= -109612 @ 30.4631
30.80/30.99 c GLOBAL bounds - >= -109612 @ 30.4966
30.90/31.03 c GLOBAL bounds - >= -109612 @ 30.5413
30.90/31.08 c GLOBAL bounds - >= -109612 @ 30.5891
31.00/31.12 c GLOBAL bounds - >= -109612 @ 30.6267
31.00/31.15 c GLOBAL bounds - >= -109612 @ 30.6614
31.00/31.19 c GLOBAL bounds - >= -109612 @ 30.7006
31.09/31.24 c GLOBAL bounds - >= -109612 @ 30.7467
31.09/31.28 c GLOBAL bounds - >= -109612 @ 30.7882
31.19/31.32 c GLOBAL bounds - >= -109612 @ 30.8239
31.19/31.36 c GLOBAL bounds - >= -109612 @ 30.8627
31.29/31.45 c GLOBAL bounds - >= -109612 @ 30.9569
31.29/31.49 c GLOBAL bounds - >= -109612 @ 30.9942
31.49/31.60 c #Conflicts: 17000 | #Constraints: 36493
31.49/31.60 c GLOBAL bounds - >= -109612 @ 31.104
31.59/31.75 c GLOBAL bounds - >= -109612 @ 31.2491
32.69/32.82 c GLOBAL bounds - >= -109612 @ 32.3067
32.69/32.87 c GLOBAL bounds - >= -109612 @ 32.3514
32.89/33.00 c GLOBAL bounds - >= -109612 @ 32.4853
32.89/33.06 c GLOBAL bounds - >= -109612 @ 32.5461
33.18/33.31 c GLOBAL bounds - >= -109612 @ 32.7882
33.38/33.50 c GLOBAL bounds - >= -109612 @ 32.9789
33.99/34.18 c #Conflicts: 18000 | #Constraints: 37509
33.99/34.18 c GLOBAL bounds - >= -109612 @ 33.6499
34.08/34.25 c GLOBAL bounds - >= -109612 @ 33.7184
34.69/34.87 c INPROCESSING
34.69/34.87 c GARBAGE COLLECT
34.69/34.87 c GLOBAL bounds - >= -109612 @ 34.33
34.78/34.96 c GLOBAL bounds - >= -109612 @ 34.4202
34.99/35.11 c GLOBAL bounds - >= -109612 @ 34.5709
35.18/35.33 c GLOBAL bounds - >= -109612 @ 34.7882
35.18/35.35 c GLOBAL bounds - >= -109612 @ 34.8037
35.28/35.45 c GLOBAL bounds - >= -109612 @ 34.9008
35.28/35.46 c GLOBAL bounds - >= -109612 @ 34.916
35.28/35.49 c GLOBAL bounds - >= -109612 @ 34.945
35.38/35.53 c GLOBAL bounds - >= -109612 @ 34.9832
35.58/35.74 c #Conflicts: 19000 | #Constraints: 35555
35.58/35.74 c GLOBAL bounds - >= -109612 @ 35.1888
35.58/35.75 c GLOBAL bounds - >= -109612 @ 35.2068
36.18/36.32 c GLOBAL bounds - >= -109612 @ 35.7727
36.18/36.37 c GLOBAL bounds - >= -109612 @ 35.8214
36.28/36.40 c GLOBAL bounds - >= -109612 @ 35.8517
36.28/36.44 c GLOBAL bounds - >= -109612 @ 35.8887
36.38/36.55 c GLOBAL bounds - >= -109612 @ 35.9904
36.38/36.58 c GLOBAL bounds - >= -109612 @ 36.0218
36.48/36.60 c GLOBAL bounds - >= -109612 @ 36.0458
36.67/36.82 c GLOBAL bounds - >= -109612 @ 36.2599
37.37/37.52 c #Conflicts: 20000 | #Constraints: 36575
37.37/37.52 c GLOBAL bounds - >= -109612 @ 36.9497
38.18/38.35 c GLOBAL bounds - >= -109612 @ 37.7728
39.56/39.73 c #Conflicts: 21000 | #Constraints: 37579
39.56/39.73 c GLOBAL bounds - >= -109612 @ 39.1411
39.77/39.96 c GLOBAL bounds - >= -109612 @ 39.3675
40.16/40.38 c INPROCESSING
40.16/40.38 c GARBAGE COLLECT
40.16/40.38 c GLOBAL bounds - >= -109612 @ 39.7779
40.16/40.39 c GLOBAL bounds - >= -109612 @ 39.7953
40.26/40.46 c GLOBAL bounds - >= -109612 @ 39.865
40.46/40.61 c GLOBAL bounds - >= -109612 @ 40.0096
40.56/40.75 c GLOBAL bounds - >= -109612 @ 40.1512
40.66/40.83 c GLOBAL bounds - >= -109612 @ 40.2322
40.77/40.94 c GLOBAL bounds - >= -109612 @ 40.3407
41.27/41.40 c #Conflicts: 22000 | #Constraints: 35400
41.27/41.40 c GLOBAL bounds - >= -109612 @ 40.7946
41.56/41.75 c GLOBAL bounds - >= -109612 @ 41.1416
41.56/41.78 c GLOBAL bounds - >= -109612 @ 41.1674
41.66/41.80 c GLOBAL bounds - >= -109612 @ 41.1907
41.66/41.86 c GLOBAL bounds - >= -109612 @ 41.2462
41.76/41.91 c GLOBAL bounds - >= -109612 @ 41.3013
41.97/42.14 c GLOBAL bounds - >= -109612 @ 41.5274
51.54/51.71 c #Conflicts: 23000 | #Constraints: 36414
51.54/51.71 c #Conflicts: 24000 | #Constraints: 37414
51.54/51.71 c #Conflicts: 25000 | #Constraints: 38414
51.54/51.71 c INPROCESSING
51.54/51.71 c GARBAGE COLLECT
51.54/51.71 c #Conflicts: 26000 | #Constraints: 36013
51.54/51.71 c #Conflicts: 27000 | #Constraints: 37013
51.54/51.71 c GLOBAL bounds - >= -109612 @ 51.0372
51.54/51.76 c GLOBAL bounds - >= -109612 @ 51.0868
51.64/51.83 c GLOBAL bounds - >= -109612 @ 51.1546
51.94/52.19 c GLOBAL bounds - >= -109612 @ 51.5084
52.74/52.98 c GLOBAL bounds - >= -109612 @ 52.2975
52.94/53.17 c GLOBAL bounds - >= -109612 @ 52.4839
53.73/53.95 c #Conflicts: 28000 | #Constraints: 38025
53.73/53.95 c GLOBAL bounds - >= -109612 @ 53.2538
54.83/55.09 c GLOBAL bounds - >= -109612 @ 54.3837
54.93/55.17 c GLOBAL bounds - >= -109612 @ 54.4573
55.03/55.23 c GLOBAL bounds - >= -109612 @ 54.5221
55.03/55.30 c GLOBAL bounds - >= -109612 @ 54.5875
55.22/55.48 c GLOBAL bounds - >= -109612 @ 54.7679
55.32/55.55 c GLOBAL bounds - >= -109612 @ 54.8399
55.43/55.63 c GLOBAL bounds - >= -109612 @ 54.9159
55.53/55.70 c GLOBAL bounds - >= -109612 @ 54.9798
55.62/55.85 c GLOBAL bounds - >= -109612 @ 55.1308
58.93/59.19 c #Conflicts: 29000 | #Constraints: 39045
58.93/59.19 c INPROCESSING
58.93/59.19 c GARBAGE COLLECT
58.93/59.19 c #Conflicts: 30000 | #Constraints: 36440
58.93/59.19 c GLOBAL bounds - >= -109612 @ 58.4247
59.02/59.22 c GLOBAL bounds - >= -109612 @ 58.458
59.02/59.28 c #Conflicts: 31000 | #Constraints: 37444
59.02/59.28 c GLOBAL bounds - >= -109612 @ 58.514
59.12/59.33 c GLOBAL bounds - >= -109612 @ 58.5621
59.12/59.36 c GLOBAL bounds - >= -109612 @ 58.5945
59.51/59.72 c GLOBAL bounds - >= -109612 @ 58.9549
60.51/60.80 c GLOBAL bounds - >= -109612 @ 60.0202
60.71/60.91 c GLOBAL bounds - >= -109612 @ 60.1363
60.71/60.98 c GLOBAL bounds - >= -109612 @ 60.1989
60.82/61.06 c GLOBAL bounds - >= -109612 @ 60.2868
60.92/61.12 c GLOBAL bounds - >= -109612 @ 60.3419
60.92/61.16 c GLOBAL bounds - >= -109612 @ 60.3851
63.81/64.08 c #Conflicts: 32000 | #Constraints: 38464
63.81/64.08 c #Conflicts: 33000 | #Constraints: 39464
63.81/64.08 c INPROCESSING
63.81/64.08 c GARBAGE COLLECT
63.81/64.08 c GLOBAL bounds - >= -109612 @ 63.2801
64.20/64.44 c GLOBAL bounds - >= -109612 @ 63.6339
64.40/64.68 c GLOBAL bounds - >= -109612 @ 63.8726
64.40/64.69 c GLOBAL bounds - >= -109612 @ 63.8884
65.40/65.68 c #Conflicts: 34000 | #Constraints: 36675
65.40/65.68 c GLOBAL bounds - >= -109612 @ 64.867
67.30/67.53 c #Conflicts: 35000 | #Constraints: 37677
67.30/67.53 c GLOBAL bounds - >= -109612 @ 66.6951
67.59/67.82 c GLOBAL bounds - >= -109612 @ 66.9843
67.59/67.86 c GLOBAL bounds - >= -109612 @ 67.0238
71.28/71.50 c #Conflicts: 36000 | #Constraints: 38683
71.28/71.50 c #Conflicts: 37000 | #Constraints: 39683
71.28/71.50 c INPROCESSING
71.28/71.50 c GARBAGE COLLECT
71.28/71.50 c GLOBAL bounds - >= -109612 @ 70.6398
80.46/80.78 c #Conflicts: 38000 | #Constraints: 36687
80.46/80.78 c #Conflicts: 39000 | #Constraints: 37687
80.46/80.78 c #Conflicts: 40000 | #Constraints: 38687
80.46/80.78 c #Conflicts: 41000 | #Constraints: 39687
80.46/80.78 c INPROCESSING
80.46/80.78 c GARBAGE COLLECT
80.46/80.78 c GLOBAL bounds - >= -109612 @ 79.8519
80.46/80.79 c GLOBAL bounds - >= -109612 @ 79.8662
81.96/82.23 c #Conflicts: 42000 | #Constraints: 36492
81.96/82.23 c #Conflicts: 43000 | #Constraints: 37492
81.96/82.23 c GLOBAL bounds - >= -109612 @ 81.289
81.96/82.27 c GLOBAL bounds - >= -109612 @ 81.3351
82.05/82.35 c GLOBAL bounds - >= -109612 @ 81.4116
82.05/82.40 c GLOBAL bounds - >= -109612 @ 81.4566
82.15/82.44 c GLOBAL bounds - >= -109612 @ 81.4963
82.15/82.47 c GLOBAL bounds - >= -109612 @ 81.5348
82.25/82.53 c GLOBAL bounds - >= -109612 @ 81.5875
82.25/82.57 c GLOBAL bounds - >= -109612 @ 81.6313
82.45/82.78 c GLOBAL bounds - >= -109612 @ 81.8324
82.55/82.84 c GLOBAL bounds - >= -109612 @ 81.8914
82.55/82.89 c GLOBAL bounds - >= -109612 @ 81.9437
82.65/82.93 c GLOBAL bounds - >= -109612 @ 81.9895
84.55/84.86 c #Conflicts: 44000 | #Constraints: 38516
84.55/84.86 c GLOBAL bounds - >= -109612 @ 83.8943
84.65/84.94 c GLOBAL bounds - >= -109612 @ 83.9753
84.75/85.02 c GLOBAL bounds - >= -109612 @ 84.0511
84.75/85.10 c GLOBAL bounds - >= -109612 @ 84.1347
84.85/85.17 c GLOBAL bounds - >= -109612 @ 84.2076
84.95/85.26 c GLOBAL bounds - >= -109612 @ 84.2903
85.14/85.40 c #Conflicts: 45000 | #Constraints: 39528
85.14/85.40 c GLOBAL bounds - >= -109612 @ 84.4359
85.14/85.50 c GLOBAL bounds - >= -109612 @ 84.5261
85.24/85.57 c GLOBAL bounds - >= -109612 @ 84.6009
85.34/85.64 c GLOBAL bounds - >= -109612 @ 84.6738
85.44/85.78 c GLOBAL bounds - >= -109612 @ 84.8079
85.64/85.97 c GLOBAL bounds - >= -109612 @ 84.9955
85.75/86.05 c GLOBAL bounds - >= -109612 @ 85.0785
85.84/86.19 c GLOBAL bounds - >= -109612 @ 85.213
86.04/86.37 c GLOBAL bounds - >= -109612 @ 85.3976
86.14/86.45 c GLOBAL bounds - >= -109612 @ 85.4746
87.44/87.73 c GLOBAL bounds - >= -109612 @ 86.7475
87.54/87.80 c GLOBAL bounds - >= -109612 @ 86.8204
87.54/87.88 c GLOBAL bounds - >= -109612 @ 86.8993
88.64/88.97 c GLOBAL bounds - >= -109612 @ 87.9754
88.84/89.14 c GLOBAL bounds - >= -109612 @ 88.1454
89.74/90.07 c #Conflicts: 46000 | #Constraints: 40558
89.74/90.07 c GLOBAL bounds - >= -109612 @ 89.0633
91.03/91.33 c INPROCESSING
91.03/91.33 c GARBAGE COLLECT
91.03/91.33 c GLOBAL bounds - >= -109612 @ 90.3035
91.52/91.80 c GLOBAL bounds - >= -109612 @ 90.7727
91.52/91.88 c GLOBAL bounds - >= -109612 @ 90.8474
91.74/92.09 c GLOBAL bounds - >= -109612 @ 91.0586
91.83/92.11 c GLOBAL bounds - >= -109612 @ 91.0766
91.83/92.18 c GLOBAL bounds - >= -109612 @ 91.1475
92.32/92.63 c #Conflicts: 47000 | #Constraints: 37189
92.32/92.63 c GLOBAL bounds - >= -109612 @ 91.5827
92.32/92.65 c GLOBAL bounds - >= -109612 @ 91.6077
92.32/92.69 c GLOBAL bounds - >= -109612 @ 91.6439
92.42/92.74 c GLOBAL bounds - >= -109612 @ 91.6973
92.42/92.77 c GLOBAL bounds - >= -109612 @ 91.7234
92.52/92.80 c GLOBAL bounds - >= -109612 @ 91.7534
92.63/93.00 c GLOBAL bounds - >= -109612 @ 91.948
92.92/93.29 c GLOBAL bounds - >= -109612 @ 92.2373
95.02/95.39 c #Conflicts: 48000 | #Constraints: 38205
95.02/95.39 c GLOBAL bounds - >= -109612 @ 94.3194
95.12/95.43 c GLOBAL bounds - >= -109612 @ 94.367
95.21/95.52 c GLOBAL bounds - >= -109612 @ 94.4467
95.21/95.57 c GLOBAL bounds - >= -109612 @ 94.5023
96.02/96.38 c #Conflicts: 49000 | #Constraints: 39213
96.02/96.38 c GLOBAL bounds - >= -109612 @ 95.301
96.22/96.58 c GLOBAL bounds - >= -109612 @ 95.5059
102.99/103.34 c #Conflicts: 50000 | #Constraints: 40217
102.99/103.34 c #Conflicts: 51000 | #Constraints: 41217
102.99/103.34 c INPROCESSING
102.99/103.34 c GARBAGE COLLECT
102.99/103.34 c #Conflicts: 52000 | #Constraints: 37603
102.99/103.34 c #Conflicts: 53000 | #Constraints: 38603
102.99/103.34 c GLOBAL bounds - >= -109612 @ 102.222
103.09/103.40 c GLOBAL bounds - >= -109612 @ 102.276
103.09/103.47 c GLOBAL bounds - >= -109612 @ 102.349
103.20/103.51 c GLOBAL bounds - >= -109612 @ 102.392
103.20/103.56 c GLOBAL bounds - >= -109612 @ 102.437
103.30/103.60 c GLOBAL bounds - >= -109612 @ 102.481
103.30/103.67 c GLOBAL bounds - >= -109612 @ 102.542
103.50/103.81 c GLOBAL bounds - >= -109612 @ 102.681
103.70/104.04 c GLOBAL bounds - >= -109612 @ 102.909
103.70/104.08 c GLOBAL bounds - >= -109612 @ 102.955
103.80/104.16 c GLOBAL bounds - >= -109612 @ 103.033
103.89/104.22 c GLOBAL bounds - >= -109612 @ 103.088
103.99/104.35 c GLOBAL bounds - >= -109612 @ 103.219
104.09/104.43 c GLOBAL bounds - >= -109612 @ 103.298
104.09/104.49 c GLOBAL bounds - >= -109612 @ 103.361
104.70/105.04 c GLOBAL bounds - >= -109612 @ 103.9
110.47/110.89 c #Conflicts: 54000 | #Constraints: 39635
110.47/110.89 c #Conflicts: 55000 | #Constraints: 40635
110.47/110.89 c #Conflicts: 56000 | #Constraints: 41635
110.47/110.89 c INPROCESSING
110.47/110.89 c GARBAGE COLLECT
110.47/110.89 c GLOBAL bounds - >= -109612 @ 109.706
111.18/111.57 c GLOBAL bounds - >= -109612 @ 110.384
111.68/112.09 c #Conflicts: 57000 | #Constraints: 37833
111.68/112.09 c GLOBAL bounds - >= -109612 @ 110.891
114.26/114.61 c #Conflicts: 58000 | #Constraints: 38835
114.26/114.61 c GLOBAL bounds - >= -109612 @ 113.392
114.26/114.66 c GLOBAL bounds - >= -109612 @ 113.44
132.32/132.78 c #Conflicts: 59000 | #Constraints: 39839
132.32/132.78 c #Conflicts: 60000 | #Constraints: 40839
132.32/132.78 c #Conflicts: 61000 | #Constraints: 41839
132.32/132.78 c INPROCESSING
132.32/132.78 c GARBAGE COLLECT
132.32/132.78 c #Conflicts: 62000 | #Constraints: 37836
132.32/132.78 c #Conflicts: 63000 | #Constraints: 38836
132.32/132.78 c #Conflicts: 64000 | #Constraints: 39836
132.32/132.78 c #Conflicts: 65000 | #Constraints: 40836
132.32/132.78 c #Conflicts: 66000 | #Constraints: 41836
132.32/132.78 c GLOBAL bounds - >= -109612 @ 131.452
135.51/135.92 c INPROCESSING
135.51/135.92 c GARBAGE COLLECT
135.51/135.92 c #Conflicts: 67000 | #Constraints: 37635
135.51/135.92 c GLOBAL bounds - >= -109612 @ 134.569
135.51/135.95 c GLOBAL bounds - >= -109612 @ 134.598
135.71/136.16 c GLOBAL bounds - >= -109612 @ 134.8
135.81/136.20 c GLOBAL bounds - >= -109612 @ 134.842
136.01/136.48 c GLOBAL bounds - >= -109612 @ 135.122
136.21/136.69 c GLOBAL bounds - >= -109612 @ 135.329
136.31/136.72 c GLOBAL bounds - >= -109612 @ 135.36
136.31/136.76 c GLOBAL bounds - >= -109612 @ 135.394
136.31/136.79 c GLOBAL bounds - >= -109612 @ 135.429
187.76/188.31 c #Conflicts: 68000 | #Constraints: 38653
187.76/188.31 c #Conflicts: 69000 | #Constraints: 39653
187.76/188.31 c #Conflicts: 70000 | #Constraints: 40653
187.76/188.31 c #Conflicts: 71000 | #Constraints: 41653
187.76/188.31 c #Conflicts: 72000 | #Constraints: 42653
187.76/188.31 c INPROCESSING
187.76/188.31 c GARBAGE COLLECT
187.76/188.31 c #Conflicts: 73000 | #Constraints: 38256
187.76/188.31 c #Conflicts: 74000 | #Constraints: 39256
187.76/188.31 c #Conflicts: 75000 | #Constraints: 40256
187.76/188.31 c #Conflicts: 76000 | #Constraints: 41256
187.76/188.31 c #Conflicts: 77000 | #Constraints: 42256
187.76/188.31 c #Conflicts: 78000 | #Constraints: 43256
187.76/188.31 c INPROCESSING
187.76/188.31 c GARBAGE COLLECT
187.76/188.31 c #Conflicts: 79000 | #Constraints: 38658
187.76/188.31 c #Conflicts: 80000 | #Constraints: 39658
187.76/188.31 c #Conflicts: 81000 | #Constraints: 40658
187.76/188.31 c #Conflicts: 82000 | #Constraints: 41658
187.76/188.31 c #Conflicts: 83000 | #Constraints: 42658
187.76/188.31 c #Conflicts: 84000 | #Constraints: 43658
187.76/188.31 c INPROCESSING
187.76/188.31 c GARBAGE COLLECT
187.76/188.31 c #Conflicts: 85000 | #Constraints: 38856
187.76/188.31 c #Conflicts: 86000 | #Constraints: 39856
187.76/188.31 c #Conflicts: 87000 | #Constraints: 40856
187.76/188.31 c #Conflicts: 88000 | #Constraints: 41856
187.76/188.31 c #Conflicts: 89000 | #Constraints: 42856
187.76/188.31 c #Conflicts: 90000 | #Constraints: 43856
187.76/188.31 c INPROCESSING
187.76/188.31 c GARBAGE COLLECT
187.76/188.31 c #Conflicts: 91000 | #Constraints: 38856
187.76/188.31 c GLOBAL bounds - >= -109612 @ 186.629
187.86/188.41 c GLOBAL bounds - >= -109612 @ 186.73
187.86/188.48 c GLOBAL bounds - >= -109612 @ 186.798
187.97/188.53 c GLOBAL bounds - >= -109612 @ 186.846
188.27/188.84 c GLOBAL bounds - >= -109612 @ 187.149
248.41/249.16 c #Conflicts: 92000 | #Constraints: 39866
248.41/249.16 c #Conflicts: 93000 | #Constraints: 40866
248.41/249.16 c #Conflicts: 94000 | #Constraints: 41866
248.41/249.16 c #Conflicts: 95000 | #Constraints: 42866
248.41/249.16 c #Conflicts: 96000 | #Constraints: 43866
248.41/249.16 c INPROCESSING
248.41/249.16 c GARBAGE COLLECT
248.41/249.16 c #Conflicts: 97000 | #Constraints: 38667
248.41/249.16 c #Conflicts: 98000 | #Constraints: 39667
248.41/249.16 c #Conflicts: 99000 | #Constraints: 40667
248.41/249.16 c #Conflicts: 100000 | #Constraints: 41667
248.41/249.16 c #Conflicts: 101000 | #Constraints: 42667
248.41/249.16 c #Conflicts: 102000 | #Constraints: 43667
248.41/249.16 c #Conflicts: 103000 | #Constraints: 44667
248.41/249.16 c INPROCESSING
248.41/249.16 c GARBAGE COLLECT
248.41/249.16 c #Conflicts: 104000 | #Constraints: 39267
248.41/249.16 c #Conflicts: 105000 | #Constraints: 40267
248.41/249.16 c #Conflicts: 106000 | #Constraints: 41267
248.41/249.16 c #Conflicts: 107000 | #Constraints: 42267
248.41/249.16 c #Conflicts: 108000 | #Constraints: 43267
248.41/249.16 c #Conflicts: 109000 | #Constraints: 44267
248.41/249.16 c #Conflicts: 110000 | #Constraints: 45267
248.41/249.16 c INPROCESSING
248.41/249.16 c GARBAGE COLLECT
248.41/249.16 c #Conflicts: 111000 | #Constraints: 39665
248.41/249.16 c #Conflicts: 112000 | #Constraints: 40665
248.41/249.16 c #Conflicts: 113000 | #Constraints: 41665
248.41/249.16 c GLOBAL bounds - >= -109612 @ 247.107
262.56/263.34 c #Conflicts: 114000 | #Constraints: 42667
262.56/263.34 c #Conflicts: 115000 | #Constraints: 43667
262.56/263.34 c #Conflicts: 116000 | #Constraints: 44667
262.56/263.34 c #Conflicts: 117000 | #Constraints: 45667
262.56/263.34 c INPROCESSING
262.56/263.34 c GARBAGE COLLECT
262.56/263.34 c #Conflicts: 118000 | #Constraints: 39875
262.56/263.34 c GLOBAL bounds - >= -109612 @ 261.219
315.72/316.65 c #Conflicts: 119000 | #Constraints: 40877
315.72/316.65 c #Conflicts: 120000 | #Constraints: 41877
315.72/316.65 c #Conflicts: 121000 | #Constraints: 42877
315.72/316.65 c #Conflicts: 122000 | #Constraints: 43877
315.72/316.65 c #Conflicts: 123000 | #Constraints: 44877
315.72/316.65 c #Conflicts: 124000 | #Constraints: 45877
315.72/316.65 c INPROCESSING
315.72/316.65 c GARBAGE COLLECT
315.72/316.65 c #Conflicts: 125000 | #Constraints: 39876
315.72/316.65 c #Conflicts: 126000 | #Constraints: 40876
315.72/316.65 c #Conflicts: 127000 | #Constraints: 41876
315.72/316.65 c #Conflicts: 128000 | #Constraints: 42876
315.72/316.65 c #Conflicts: 129000 | #Constraints: 43876
315.72/316.65 c #Conflicts: 130000 | #Constraints: 44876
315.72/316.65 c #Conflicts: 131000 | #Constraints: 45876
315.72/316.65 c INPROCESSING
315.72/316.65 c GARBAGE COLLECT
315.72/316.65 c #Conflicts: 132000 | #Constraints: 39677
315.72/316.65 c #Conflicts: 133000 | #Constraints: 40677
315.72/316.65 c #Conflicts: 134000 | #Constraints: 41677
315.72/316.65 c #Conflicts: 135000 | #Constraints: 42677
315.72/316.65 c #Conflicts: 136000 | #Constraints: 43677
315.72/316.65 c #Conflicts: 137000 | #Constraints: 44677
315.72/316.65 c #Conflicts: 138000 | #Constraints: 45677
315.72/316.65 c #Conflicts: 139000 | #Constraints: 46677
315.72/316.65 c INPROCESSING
315.72/316.65 c GARBAGE COLLECT
315.72/316.65 c #Conflicts: 140000 | #Constraints: 40272
315.72/316.65 c #Conflicts: 141000 | #Constraints: 41272
315.72/316.65 c GLOBAL bounds - >= -109612 @ 314.183
315.82/316.75 c GLOBAL bounds - >= -109612 @ 314.288
315.92/316.83 c GLOBAL bounds - >= -109612 @ 314.365
335.86/336.89 c #Conflicts: 142000 | #Constraints: 42278
335.86/336.89 c #Conflicts: 143000 | #Constraints: 43278
335.86/336.89 c #Conflicts: 144000 | #Constraints: 44278
335.86/336.89 c #Conflicts: 145000 | #Constraints: 45278
335.86/336.89 c #Conflicts: 146000 | #Constraints: 46278
335.86/336.89 c #Conflicts: 147000 | #Constraints: 47278
335.86/336.89 c INPROCESSING
335.86/336.89 c GARBAGE COLLECT
335.86/336.89 c #Conflicts: 148000 | #Constraints: 40676
335.86/336.89 c #Conflicts: 149000 | #Constraints: 41676
335.86/336.89 c #Conflicts: 150000 | #Constraints: 42676
335.86/336.89 c #Conflicts: 151000 | #Constraints: 43676
335.86/336.89 c GLOBAL bounds - >= -109612 @ 334.302
338.46/339.44 c GLOBAL bounds - >= -109612 @ 336.829
339.06/340.00 c #Conflicts: 152000 | #Constraints: 44680
339.06/340.00 c GLOBAL bounds - >= -109612 @ 337.393
339.16/340.13 c GLOBAL bounds - >= -109612 @ 337.526
339.35/340.31 c GLOBAL bounds - >= -109612 @ 337.7
344.24/345.27 c GLOBAL bounds - >= -109612 @ 342.627
350.33/351.34 c #Conflicts: 153000 | #Constraints: 45688
350.33/351.34 c #Conflicts: 154000 | #Constraints: 46688
350.33/351.34 c GLOBAL bounds - >= -109612 @ 348.669
350.53/351.51 c GLOBAL bounds - >= -109612 @ 348.834
350.63/351.67 c GLOBAL bounds - >= -109612 @ 348.994
350.83/351.83 c GLOBAL bounds - >= -109612 @ 349.153
352.22/353.27 c #Conflicts: 155000 | #Constraints: 47696
352.22/353.27 c INPROCESSING
352.22/353.27 c GARBAGE COLLECT
352.22/353.27 c GLOBAL bounds - >= -109612 @ 350.582
352.42/353.41 c GLOBAL bounds - >= -109612 @ 350.722
352.42/353.47 c GLOBAL bounds - >= -109612 @ 350.789
368.38/369.49 c #Conflicts: 156000 | #Constraints: 40902
368.38/369.49 c #Conflicts: 157000 | #Constraints: 41902
368.38/369.49 c #Conflicts: 158000 | #Constraints: 42902
368.38/369.49 c #Conflicts: 159000 | #Constraints: 43902
368.38/369.49 c #Conflicts: 160000 | #Constraints: 44902
368.38/369.49 c #Conflicts: 161000 | #Constraints: 45902
368.38/369.49 c GLOBAL bounds - >= -109612 @ 366.72
368.58/369.66 c GLOBAL bounds - >= -109612 @ 366.887
368.88/369.92 c GLOBAL bounds - >= -109612 @ 367.146
369.87/370.99 c GLOBAL bounds - >= -109612 @ 368.206
370.08/371.13 c GLOBAL bounds - >= -109612 @ 368.35
370.17/371.28 c GLOBAL bounds - >= -109612 @ 368.499
391.32/392.42 c #Conflicts: 162000 | #Constraints: 46914
391.32/392.42 c #Conflicts: 163000 | #Constraints: 47914
391.32/392.42 c INPROCESSING
391.32/392.42 c GARBAGE COLLECT
391.32/392.42 c #Conflicts: 164000 | #Constraints: 40909
391.32/392.42 c #Conflicts: 165000 | #Constraints: 41909
391.32/392.42 c #Conflicts: 166000 | #Constraints: 42909
391.32/392.42 c #Conflicts: 167000 | #Constraints: 43909
391.32/392.42 c #Conflicts: 168000 | #Constraints: 44909
391.32/392.42 c #Conflicts: 169000 | #Constraints: 45909
391.32/392.42 c #Conflicts: 170000 | #Constraints: 46909
391.32/392.42 c GLOBAL bounds - >= -109612 @ 389.518
391.71/392.81 c GLOBAL bounds - >= -109612 @ 389.905
394.11/395.27 c GLOBAL bounds - >= -109612 @ 392.352
394.31/395.42 c GLOBAL bounds - >= -109612 @ 392.496
399.70/400.88 c #Conflicts: 171000 | #Constraints: 47917
399.70/400.88 c GLOBAL bounds - >= -109612 @ 397.929
399.90/401.04 c GLOBAL bounds - >= -109612 @ 398.087
400.00/401.19 c GLOBAL bounds - >= -109612 @ 398.235
400.20/401.34 c GLOBAL bounds - >= -109612 @ 398.38
400.59/401.72 c GLOBAL bounds - >= -109612 @ 398.757
400.69/401.88 c GLOBAL bounds - >= -109612 @ 398.918
401.00/402.11 c GLOBAL bounds - >= -109612 @ 399.149
401.09/402.26 c GLOBAL bounds - >= -109612 @ 399.297
401.29/402.40 c GLOBAL bounds - >= -109612 @ 399.441
402.89/404.10 c INPROCESSING
402.89/404.10 c GARBAGE COLLECT
402.89/404.10 c #Conflicts: 172000 | #Constraints: 40749
402.89/404.10 c GLOBAL bounds - >= -109612 @ 401.115
402.99/404.12 c GLOBAL bounds - >= -109612 @ 401.141
402.99/404.16 c GLOBAL bounds - >= -109612 @ 401.174
404.58/405.73 c #Conflicts: 173000 | #Constraints: 41755
404.58/405.73 c GLOBAL bounds - >= -109612 @ 402.732
404.68/405.82 c GLOBAL bounds - >= -109612 @ 402.825
404.68/405.87 c GLOBAL bounds - >= -109612 @ 402.871
404.78/405.91 c GLOBAL bounds - >= -109612 @ 402.916
406.47/407.66 c #Conflicts: 174000 | #Constraints: 42763
406.47/407.66 c GLOBAL bounds - >= -109612 @ 404.649
406.67/407.81 c GLOBAL bounds - >= -109612 @ 404.802
412.66/413.82 c #Conflicts: 175000 | #Constraints: 43767
412.66/413.82 c #Conflicts: 176000 | #Constraints: 44767
412.66/413.82 c GLOBAL bounds - >= -109612 @ 410.767
412.86/414.04 c GLOBAL bounds - >= -109612 @ 410.99
413.86/415.06 c GLOBAL bounds - >= -109612 @ 412.007
414.75/415.96 c #Conflicts: 177000 | #Constraints: 45773
414.75/415.96 c GLOBAL bounds - >= -109612 @ 412.896
415.05/416.21 c GLOBAL bounds - >= -109612 @ 413.147
415.16/416.36 c GLOBAL bounds - >= -109612 @ 413.292
415.26/416.48 c GLOBAL bounds - >= -109612 @ 413.416
416.65/417.84 c GLOBAL bounds - >= -109612 @ 414.763
546.60/548.15 c #Conflicts: 178000 | #Constraints: 46783
546.60/548.15 c #Conflicts: 179000 | #Constraints: 47783
546.60/548.15 c #Conflicts: 180000 | #Constraints: 48783
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 181000 | #Constraints: 41380
546.60/548.15 c #Conflicts: 182000 | #Constraints: 42380
546.60/548.15 c #Conflicts: 183000 | #Constraints: 43380
546.60/548.15 c #Conflicts: 184000 | #Constraints: 44380
546.60/548.15 c #Conflicts: 185000 | #Constraints: 45380
546.60/548.15 c #Conflicts: 186000 | #Constraints: 46380
546.60/548.15 c #Conflicts: 187000 | #Constraints: 47380
546.60/548.15 c #Conflicts: 188000 | #Constraints: 48380
546.60/548.15 c #Conflicts: 189000 | #Constraints: 49380
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 190000 | #Constraints: 41781
546.60/548.15 c #Conflicts: 191000 | #Constraints: 42781
546.60/548.15 c #Conflicts: 192000 | #Constraints: 43781
546.60/548.15 c #Conflicts: 193000 | #Constraints: 44781
546.60/548.15 c #Conflicts: 194000 | #Constraints: 45781
546.60/548.15 c #Conflicts: 195000 | #Constraints: 46781
546.60/548.15 c #Conflicts: 196000 | #Constraints: 47781
546.60/548.15 c #Conflicts: 197000 | #Constraints: 48781
546.60/548.15 c #Conflicts: 198000 | #Constraints: 49781
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 199000 | #Constraints: 41985
546.60/548.15 c #Conflicts: 200000 | #Constraints: 42985
546.60/548.15 c #Conflicts: 201000 | #Constraints: 43985
546.60/548.15 c #Conflicts: 202000 | #Constraints: 44985
546.60/548.15 c #Conflicts: 203000 | #Constraints: 45985
546.60/548.15 c #Conflicts: 204000 | #Constraints: 46985
546.60/548.15 c #Conflicts: 205000 | #Constraints: 47985
546.60/548.15 c #Conflicts: 206000 | #Constraints: 48985
546.60/548.15 c #Conflicts: 207000 | #Constraints: 49985
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 208000 | #Constraints: 41984
546.60/548.15 c #Conflicts: 209000 | #Constraints: 42984
546.60/548.15 c #Conflicts: 210000 | #Constraints: 43984
546.60/548.15 c #Conflicts: 211000 | #Constraints: 44984
546.60/548.15 c #Conflicts: 212000 | #Constraints: 45984
546.60/548.15 c #Conflicts: 213000 | #Constraints: 46984
546.60/548.15 c #Conflicts: 214000 | #Constraints: 47984
546.60/548.15 c #Conflicts: 215000 | #Constraints: 48984
546.60/548.15 c #Conflicts: 216000 | #Constraints: 49984
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 217000 | #Constraints: 41788
546.60/548.15 c #Conflicts: 218000 | #Constraints: 42788
546.60/548.15 c #Conflicts: 219000 | #Constraints: 43788
546.60/548.15 c #Conflicts: 220000 | #Constraints: 44788
546.60/548.15 c #Conflicts: 221000 | #Constraints: 45788
546.60/548.15 c #Conflicts: 222000 | #Constraints: 46788
546.60/548.15 c #Conflicts: 223000 | #Constraints: 47788
546.60/548.15 c #Conflicts: 224000 | #Constraints: 48788
546.60/548.15 c #Conflicts: 225000 | #Constraints: 49788
546.60/548.15 c #Conflicts: 226000 | #Constraints: 50788
546.60/548.15 c INPROCESSING
546.60/548.15 c GARBAGE COLLECT
546.60/548.15 c #Conflicts: 227000 | #Constraints: 42387
546.60/548.15 c #Conflicts: 228000 | #Constraints: 43387
546.60/548.15 c #Conflicts: 229000 | #Constraints: 44387
546.60/548.15 c #Conflicts: 230000 | #Constraints: 45387
546.60/548.15 c #Conflicts: 231000 | #Constraints: 46387
546.60/548.15 c #Conflicts: 232000 | #Constraints: 47387
546.60/548.15 c GLOBAL bounds - >= -109612 @ 544.31
548.19/549.72 c #Conflicts: 233000 | #Constraints: 48389
548.19/549.72 c GLOBAL bounds - >= -109612 @ 545.87
548.29/549.88 c GLOBAL bounds - >= -109612 @ 546.029
548.49/550.07 c GLOBAL bounds - >= -109612 @ 546.225
548.68/550.24 c GLOBAL bounds - >= -109612 @ 546.386
548.88/550.40 c GLOBAL bounds - >= -109612 @ 546.55
548.99/550.56 c GLOBAL bounds - >= -109612 @ 546.707
549.69/551.26 c GLOBAL bounds - >= -109612 @ 547.399
549.88/551.42 c GLOBAL bounds - >= -109612 @ 547.565
551.18/552.71 c GLOBAL bounds - >= -109612 @ 548.853
552.87/554.40 c GLOBAL bounds - >= -109612 @ 550.531
553.58/555.12 c #Conflicts: 234000 | #Constraints: 49409
553.58/555.12 c GLOBAL bounds - >= -109612 @ 551.25
553.78/555.30 c GLOBAL bounds - >= -109612 @ 551.421
554.97/556.59 c GLOBAL bounds - >= -109612 @ 552.708
555.17/556.76 c GLOBAL bounds - >= -109612 @ 552.878
555.87/557.44 c GLOBAL bounds - >= -109612 @ 553.555
557.26/558.80 c GLOBAL bounds - >= -109612 @ 554.908
566.74/568.37 c #Conflicts: 235000 | #Constraints: 50421
566.74/568.37 c #Conflicts: 236000 | #Constraints: 51421
566.74/568.37 c INPROCESSING
566.74/568.37 c GARBAGE COLLECT
566.74/568.37 c #Conflicts: 237000 | #Constraints: 42816
566.74/568.37 c GLOBAL bounds - >= -109612 @ 564.428
568.33/569.95 c #Conflicts: 238000 | #Constraints: 43818
568.33/569.95 c GLOBAL bounds - >= -109612 @ 565.995
568.44/570.08 c GLOBAL bounds - >= -109612 @ 566.124
571.62/573.25 c #Conflicts: 239000 | #Constraints: 44822
571.62/573.25 c GLOBAL bounds - >= -109612 @ 569.284
571.82/573.47 c GLOBAL bounds - >= -109612 @ 569.494
571.92/573.58 c GLOBAL bounds - >= -109612 @ 569.603
572.23/573.80 c GLOBAL bounds - >= -109612 @ 569.823
572.33/573.92 c GLOBAL bounds - >= -109612 @ 569.937
572.62/574.28 c GLOBAL bounds - >= -109612 @ 570.302
572.92/574.57 c GLOBAL bounds - >= -109612 @ 570.582
573.23/574.80 c GLOBAL bounds - >= -109612 @ 570.81
573.62/575.24 c #Conflicts: 240000 | #Constraints: 45838
573.62/575.24 c GLOBAL bounds - >= -109612 @ 571.252
610.62/612.32 c #Conflicts: 241000 | #Constraints: 46840
610.62/612.32 c #Conflicts: 242000 | #Constraints: 47840
610.62/612.32 c #Conflicts: 243000 | #Constraints: 48840
610.62/612.32 c #Conflicts: 244000 | #Constraints: 49840
610.62/612.32 c #Conflicts: 245000 | #Constraints: 50840
610.62/612.32 c #Conflicts: 246000 | #Constraints: 51840
610.62/612.32 c INPROCESSING
610.62/612.32 c GARBAGE COLLECT
610.62/612.32 c #Conflicts: 247000 | #Constraints: 43040
610.62/612.32 c #Conflicts: 248000 | #Constraints: 44040
610.62/612.32 c #Conflicts: 249000 | #Constraints: 45040
610.62/612.32 c #Conflicts: 250000 | #Constraints: 46040
610.62/612.32 c GLOBAL bounds - >= -109612 @ 608.118
610.72/612.44 c GLOBAL bounds - >= -109612 @ 608.236
734.17/736.21 c #Conflicts: 251000 | #Constraints: 47044
734.17/736.21 c #Conflicts: 252000 | #Constraints: 48044
734.17/736.21 c #Conflicts: 253000 | #Constraints: 49044
734.17/736.21 c #Conflicts: 254000 | #Constraints: 50044
734.17/736.21 c #Conflicts: 255000 | #Constraints: 51044
734.17/736.21 c #Conflicts: 256000 | #Constraints: 52044
734.17/736.21 c INPROCESSING
734.17/736.21 c GARBAGE COLLECT
734.17/736.21 c #Conflicts: 257000 | #Constraints: 43046
734.17/736.21 c #Conflicts: 258000 | #Constraints: 44046
734.17/736.21 c #Conflicts: 259000 | #Constraints: 45046
734.17/736.21 c #Conflicts: 260000 | #Constraints: 46046
734.17/736.21 c #Conflicts: 261000 | #Constraints: 47046
734.17/736.21 c #Conflicts: 262000 | #Constraints: 48046
734.17/736.21 c #Conflicts: 263000 | #Constraints: 49046
734.17/736.21 c #Conflicts: 264000 | #Constraints: 50046
734.17/736.21 c #Conflicts: 265000 | #Constraints: 51046
734.17/736.21 c #Conflicts: 266000 | #Constraints: 52046
734.17/736.21 c INPROCESSING
734.17/736.21 c GARBAGE COLLECT
734.17/736.21 c #Conflicts: 267000 | #Constraints: 42847
734.17/736.21 c #Conflicts: 268000 | #Constraints: 43847
734.17/736.21 c #Conflicts: 269000 | #Constraints: 44847
734.17/736.21 c #Conflicts: 270000 | #Constraints: 45847
734.17/736.21 c #Conflicts: 271000 | #Constraints: 46847
734.17/736.21 c #Conflicts: 272000 | #Constraints: 47847
734.17/736.21 c #Conflicts: 273000 | #Constraints: 48847
734.17/736.21 c #Conflicts: 274000 | #Constraints: 49847
734.17/736.21 c #Conflicts: 275000 | #Constraints: 50847
734.17/736.21 c #Conflicts: 276000 | #Constraints: 51847
734.17/736.21 c #Conflicts: 277000 | #Constraints: 52847
734.17/736.21 c INPROCESSING
734.17/736.21 c GARBAGE COLLECT
734.17/736.21 c #Conflicts: 278000 | #Constraints: 43440
734.17/736.21 c #Conflicts: 279000 | #Constraints: 44440
734.17/736.21 c #Conflicts: 280000 | #Constraints: 45440
734.17/736.21 c #Conflicts: 281000 | #Constraints: 46440
734.17/736.21 c #Conflicts: 282000 | #Constraints: 47440
734.17/736.21 c #Conflicts: 283000 | #Constraints: 48440
734.17/736.21 c #Conflicts: 284000 | #Constraints: 49440
734.17/736.21 c #Conflicts: 285000 | #Constraints: 50440
734.17/736.21 c #Conflicts: 286000 | #Constraints: 51440
734.17/736.21 c #Conflicts: 287000 | #Constraints: 52440
734.17/736.21 c #Conflicts: 288000 | #Constraints: 53440
734.17/736.21 c INPROCESSING
734.17/736.21 c GARBAGE COLLECT
734.17/736.21 c GLOBAL bounds - >= -109612 @ 731.359
774.26/776.48 c #Conflicts: 289000 | #Constraints: 43847
774.26/776.48 c #Conflicts: 290000 | #Constraints: 44847
774.26/776.48 c #Conflicts: 291000 | #Constraints: 45847
774.26/776.48 c #Conflicts: 292000 | #Constraints: 46847
774.26/776.48 c #Conflicts: 293000 | #Constraints: 47847
774.26/776.48 c #Conflicts: 294000 | #Constraints: 48847
774.26/776.48 c #Conflicts: 295000 | #Constraints: 49847
774.26/776.48 c #Conflicts: 296000 | #Constraints: 50847
774.26/776.48 c #Conflicts: 297000 | #Constraints: 51847
774.26/776.48 c #Conflicts: 298000 | #Constraints: 52847
774.26/776.48 c #Conflicts: 299000 | #Constraints: 53847
774.26/776.48 c INPROCESSING
774.26/776.48 c GARBAGE COLLECT
774.26/776.48 c #Conflicts: 300000 | #Constraints: 44050
774.26/776.48 c #Conflicts: 301000 | #Constraints: 45050
774.26/776.48 c #Conflicts: 302000 | #Constraints: 46050
774.26/776.48 c GLOBAL bounds - >= -109612 @ 771.388
774.36/776.59 c GLOBAL bounds - >= -109612 @ 771.492
774.55/776.70 c GLOBAL bounds - >= -109612 @ 771.598
774.65/776.82 c GLOBAL bounds - >= -109612 @ 771.716
775.36/777.50 c GLOBAL bounds - >= -109612 @ 772.401
775.76/777.90 c GLOBAL bounds - >= -109612 @ 772.792
777.15/779.35 c #Conflicts: 303000 | #Constraints: 47062
777.15/779.35 c GLOBAL bounds - >= -109612 @ 774.234
778.55/780.71 c GLOBAL bounds - >= -109612 @ 775.591
778.85/781.00 c GLOBAL bounds - >= -109612 @ 775.885
908.78/911.39 c #Conflicts: 304000 | #Constraints: 48068
908.78/911.39 c #Conflicts: 305000 | #Constraints: 49068
908.78/911.39 c #Conflicts: 306000 | #Constraints: 50068
908.78/911.39 c #Conflicts: 307000 | #Constraints: 51068
908.78/911.39 c #Conflicts: 308000 | #Constraints: 52068
908.78/911.39 c #Conflicts: 309000 | #Constraints: 53068
908.78/911.39 c #Conflicts: 310000 | #Constraints: 54068
908.78/911.39 c INPROCESSING
908.78/911.39 c GARBAGE COLLECT
908.78/911.39 c #Conflicts: 311000 | #Constraints: 44070
908.78/911.39 c #Conflicts: 312000 | #Constraints: 45070
908.78/911.39 c #Conflicts: 313000 | #Constraints: 46070
908.78/911.39 c #Conflicts: 314000 | #Constraints: 47070
908.78/911.39 c #Conflicts: 315000 | #Constraints: 48070
908.78/911.39 c #Conflicts: 316000 | #Constraints: 49070
908.78/911.39 c #Conflicts: 317000 | #Constraints: 50070
908.78/911.39 c #Conflicts: 318000 | #Constraints: 51070
908.78/911.39 c #Conflicts: 319000 | #Constraints: 52070
908.78/911.39 c #Conflicts: 320000 | #Constraints: 53070
908.78/911.39 c #Conflicts: 321000 | #Constraints: 54070
908.78/911.39 c INPROCESSING
908.78/911.39 c GARBAGE COLLECT
908.78/911.39 c #Conflicts: 322000 | #Constraints: 43855
908.78/911.39 c #Conflicts: 323000 | #Constraints: 44855
908.78/911.39 c #Conflicts: 324000 | #Constraints: 45855
908.78/911.39 c #Conflicts: 325000 | #Constraints: 46855
908.78/911.39 c #Conflicts: 326000 | #Constraints: 47855
908.78/911.39 c #Conflicts: 327000 | #Constraints: 48855
908.78/911.39 c #Conflicts: 328000 | #Constraints: 49855
908.78/911.39 c #Conflicts: 329000 | #Constraints: 50855
908.78/911.39 c #Conflicts: 330000 | #Constraints: 51855
908.78/911.39 c #Conflicts: 331000 | #Constraints: 52855
908.78/911.39 c #Conflicts: 332000 | #Constraints: 53855
908.78/911.39 c #Conflicts: 333000 | #Constraints: 54855
908.78/911.39 c INPROCESSING
908.78/911.39 c GARBAGE COLLECT
908.78/911.39 c #Conflicts: 334000 | #Constraints: 44459
908.78/911.39 c #Conflicts: 335000 | #Constraints: 45459
908.78/911.39 c #Conflicts: 336000 | #Constraints: 46459
908.78/911.39 c #Conflicts: 337000 | #Constraints: 47459
908.78/911.39 c #Conflicts: 338000 | #Constraints: 48459
908.78/911.39 c #Conflicts: 339000 | #Constraints: 49459
908.78/911.39 c #Conflicts: 340000 | #Constraints: 50459
908.78/911.39 c #Conflicts: 341000 | #Constraints: 51459
908.78/911.39 c #Conflicts: 342000 | #Constraints: 52459
908.78/911.39 c #Conflicts: 343000 | #Constraints: 53459
908.78/911.39 c #Conflicts: 344000 | #Constraints: 54459
908.78/911.39 c #Conflicts: 345000 | #Constraints: 55459
908.78/911.39 c INPROCESSING
908.78/911.39 c GARBAGE COLLECT
908.78/911.39 c #Conflicts: 346000 | #Constraints: 44856
908.78/911.39 c #Conflicts: 347000 | #Constraints: 45856
908.78/911.39 c #Conflicts: 348000 | #Constraints: 46856
908.78/911.39 c GLOBAL bounds - >= -109612 @ 905.54
908.88/911.48 c GLOBAL bounds - >= -109612 @ 905.637
1044.00/1046.97 c #Conflicts: 349000 | #Constraints: 47860
1044.00/1046.97 c #Conflicts: 350000 | #Constraints: 48860
1044.00/1046.97 c #Conflicts: 351000 | #Constraints: 49860
1044.00/1046.97 c #Conflicts: 352000 | #Constraints: 50860
1044.00/1046.97 c #Conflicts: 353000 | #Constraints: 51860
1044.00/1046.97 c #Conflicts: 354000 | #Constraints: 52860
1044.00/1046.97 c #Conflicts: 355000 | #Constraints: 53860
1044.00/1046.97 c #Conflicts: 356000 | #Constraints: 54860
1044.00/1046.97 c #Conflicts: 357000 | #Constraints: 55860
1044.00/1046.97 c INPROCESSING
1044.00/1046.97 c GARBAGE COLLECT
1044.00/1046.97 c #Conflicts: 358000 | #Constraints: 45062
1044.00/1046.97 c #Conflicts: 359000 | #Constraints: 46062
1044.00/1046.97 c #Conflicts: 360000 | #Constraints: 47062
1044.00/1046.97 c #Conflicts: 361000 | #Constraints: 48062
1044.00/1046.97 c #Conflicts: 362000 | #Constraints: 49062
1044.00/1046.97 c #Conflicts: 363000 | #Constraints: 50062
1044.00/1046.97 c #Conflicts: 364000 | #Constraints: 51062
1044.00/1046.97 c #Conflicts: 365000 | #Constraints: 52062
1044.00/1046.97 c #Conflicts: 366000 | #Constraints: 53062
1044.00/1046.97 c #Conflicts: 367000 | #Constraints: 54062
1044.00/1046.97 c #Conflicts: 368000 | #Constraints: 55062
1044.00/1046.97 c #Conflicts: 369000 | #Constraints: 56062
1044.00/1046.97 c INPROCESSING
1044.00/1046.97 c GARBAGE COLLECT
1044.00/1046.97 c #Conflicts: 370000 | #Constraints: 45060
1044.00/1046.97 c #Conflicts: 371000 | #Constraints: 46060
1044.00/1046.97 c #Conflicts: 372000 | #Constraints: 47060
1044.00/1046.97 c #Conflicts: 373000 | #Constraints: 48060
1044.00/1046.97 c #Conflicts: 374000 | #Constraints: 49060
1044.00/1046.97 c #Conflicts: 375000 | #Constraints: 50060
1044.00/1046.97 c #Conflicts: 376000 | #Constraints: 51060
1044.00/1046.97 c #Conflicts: 377000 | #Constraints: 52060
1044.00/1046.97 c #Conflicts: 378000 | #Constraints: 53060
1044.00/1046.97 c #Conflicts: 379000 | #Constraints: 54060
1044.00/1046.97 c #Conflicts: 380000 | #Constraints: 55060
1044.00/1046.97 c #Conflicts: 381000 | #Constraints: 56060
1044.00/1046.97 c INPROCESSING
1044.00/1046.97 c GARBAGE COLLECT
1044.00/1046.97 c #Conflicts: 382000 | #Constraints: 44862
1044.00/1046.97 c #Conflicts: 383000 | #Constraints: 45862
1044.00/1046.97 c #Conflicts: 384000 | #Constraints: 46862
1044.00/1046.97 c #Conflicts: 385000 | #Constraints: 47862
1044.00/1046.97 c #Conflicts: 386000 | #Constraints: 48862
1044.00/1046.97 c #Conflicts: 387000 | #Constraints: 49862
1044.00/1046.97 c #Conflicts: 388000 | #Constraints: 50862
1044.00/1046.97 c GLOBAL bounds - >= -109612 @ 1040.44
1044.20/1047.16 c GLOBAL bounds - >= -109612 @ 1040.62
1068.23/1071.20 c #Conflicts: 389000 | #Constraints: 51866
1068.23/1071.20 c #Conflicts: 390000 | #Constraints: 52866
1068.23/1071.20 c #Conflicts: 391000 | #Constraints: 53866
1068.23/1071.20 c #Conflicts: 392000 | #Constraints: 54866
1068.23/1071.20 c GLOBAL bounds - >= -109612 @ 1064.53
1078.71/1081.75 c #Conflicts: 393000 | #Constraints: 55868
1078.71/1081.75 c #Conflicts: 394000 | #Constraints: 56868
1078.71/1081.75 c INPROCESSING
1078.71/1081.75 c GARBAGE COLLECT
1078.71/1081.75 c #Conflicts: 395000 | #Constraints: 45474
1078.71/1081.75 c #Conflicts: 396000 | #Constraints: 46474
1078.71/1081.75 c #Conflicts: 397000 | #Constraints: 47474
1078.71/1081.75 c GLOBAL bounds - >= -109612 @ 1075.02
1332.43/1336.13 c #Conflicts: 398000 | #Constraints: 48476
1332.43/1336.13 c #Conflicts: 399000 | #Constraints: 49476
1332.43/1336.13 c #Conflicts: 400000 | #Constraints: 50476
1332.43/1336.13 c #Conflicts: 401000 | #Constraints: 51476
1332.43/1336.13 c #Conflicts: 402000 | #Constraints: 52476
1332.43/1336.13 c #Conflicts: 403000 | #Constraints: 53476
1332.43/1336.13 c #Conflicts: 404000 | #Constraints: 54476
1332.43/1336.13 c #Conflicts: 405000 | #Constraints: 55476
1332.43/1336.13 c #Conflicts: 406000 | #Constraints: 56476
1332.43/1336.13 c #Conflicts: 407000 | #Constraints: 57476
1332.43/1336.13 c INPROCESSING
1332.43/1336.13 c GARBAGE COLLECT
1332.43/1336.13 c #Conflicts: 408000 | #Constraints: 45876
1332.43/1336.13 c #Conflicts: 409000 | #Constraints: 46876
1332.43/1336.13 c #Conflicts: 410000 | #Constraints: 47876
1332.43/1336.13 c #Conflicts: 411000 | #Constraints: 48876
1332.43/1336.13 c #Conflicts: 412000 | #Constraints: 49876
1332.43/1336.13 c #Conflicts: 413000 | #Constraints: 50876
1332.43/1336.13 c #Conflicts: 414000 | #Constraints: 51876
1332.43/1336.13 c #Conflicts: 415000 | #Constraints: 52876
1332.43/1336.13 c #Conflicts: 416000 | #Constraints: 53876
1332.43/1336.13 c #Conflicts: 417000 | #Constraints: 54876
1332.43/1336.13 c #Conflicts: 418000 | #Constraints: 55876
1332.43/1336.13 c #Conflicts: 419000 | #Constraints: 56876
1332.43/1336.13 c #Conflicts: 420000 | #Constraints: 57876
1332.43/1336.13 c INPROCESSING
1332.43/1336.13 c GARBAGE COLLECT
1332.43/1336.13 c #Conflicts: 421000 | #Constraints: 46083
1332.43/1336.13 c #Conflicts: 422000 | #Constraints: 47083
1332.43/1336.13 c #Conflicts: 423000 | #Constraints: 48083
1332.43/1336.13 c #Conflicts: 424000 | #Constraints: 49083
1332.43/1336.13 c #Conflicts: 425000 | #Constraints: 50083
1332.43/1336.13 c #Conflicts: 426000 | #Constraints: 51083
1332.43/1336.13 c #Conflicts: 427000 | #Constraints: 52083
1332.43/1336.13 c #Conflicts: 428000 | #Constraints: 53083
1332.43/1336.13 c #Conflicts: 429000 | #Constraints: 54083
1332.43/1336.13 c #Conflicts: 430000 | #Constraints: 55083
1332.43/1336.13 c #Conflicts: 431000 | #Constraints: 56083
1332.43/1336.13 c #Conflicts: 432000 | #Constraints: 57083
1332.43/1336.13 c #Conflicts: 433000 | #Constraints: 58083
1332.43/1336.13 c INPROCESSING
1332.43/1336.13 c GARBAGE COLLECT
1332.43/1336.13 c #Conflicts: 434000 | #Constraints: 46078
1332.43/1336.13 c #Conflicts: 435000 | #Constraints: 47078
1332.43/1336.13 c #Conflicts: 436000 | #Constraints: 48078
1332.43/1336.13 c #Conflicts: 437000 | #Constraints: 49078
1332.43/1336.13 c #Conflicts: 438000 | #Constraints: 50078
1332.43/1336.13 c #Conflicts: 439000 | #Constraints: 51078
1332.43/1336.13 c #Conflicts: 440000 | #Constraints: 52078
1332.43/1336.13 c #Conflicts: 441000 | #Constraints: 53078
1332.43/1336.13 c #Conflicts: 442000 | #Constraints: 54078
1332.43/1336.13 c #Conflicts: 443000 | #Constraints: 55078
1332.43/1336.13 c #Conflicts: 444000 | #Constraints: 56078
1332.43/1336.13 c #Conflicts: 445000 | #Constraints: 57078
1332.43/1336.13 c #Conflicts: 446000 | #Constraints: 58078
1332.43/1336.13 c INPROCESSING
1332.43/1336.13 c GARBAGE COLLECT
1332.43/1336.13 c #Conflicts: 447000 | #Constraints: 45878
1332.43/1336.13 c #Conflicts: 448000 | #Constraints: 46878
1332.43/1336.13 c #Conflicts: 449000 | #Constraints: 47878
1332.43/1336.13 c #Conflicts: 450000 | #Constraints: 48878
1332.43/1336.13 c #Conflicts: 451000 | #Constraints: 49878
1332.43/1336.13 c #Conflicts: 452000 | #Constraints: 50878
1332.43/1336.13 c #Conflicts: 453000 | #Constraints: 51878
1332.43/1336.13 c #Conflicts: 454000 | #Constraints: 52878
1332.43/1336.13 c #Conflicts: 455000 | #Constraints: 53878
1332.43/1336.13 c #Conflicts: 456000 | #Constraints: 54878
1332.43/1336.13 c #Conflicts: 457000 | #Constraints: 55878
1332.43/1336.13 c #Conflicts: 458000 | #Constraints: 56878
1332.43/1336.13 c #Conflicts: 459000 | #Constraints: 57878
1332.43/1336.13 c #Conflicts: 460000 | #Constraints: 58878
1332.43/1336.13 c INPROCESSING
1332.43/1336.13 c GARBAGE COLLECT
1332.43/1336.13 c #Conflicts: 461000 | #Constraints: 46473
1332.43/1336.13 c #Conflicts: 462000 | #Constraints: 47473
1332.43/1336.13 c #Conflicts: 463000 | #Constraints: 48473
1332.43/1336.13 c #Conflicts: 464000 | #Constraints: 49473
1332.43/1336.13 c #Conflicts: 465000 | #Constraints: 50473
1332.43/1336.13 c #Conflicts: 466000 | #Constraints: 51473
1332.43/1336.13 c #Conflicts: 467000 | #Constraints: 52473
1332.43/1336.13 c #Conflicts: 468000 | #Constraints: 53473
1332.43/1336.13 c #Conflicts: 469000 | #Constraints: 54473
1332.43/1336.13 c #Conflicts: 470000 | #Constraints: 55473
1332.43/1336.13 c #Conflicts: 471000 | #Constraints: 56473
1332.43/1336.13 c #Conflicts: 472000 | #Constraints: 57473
1332.43/1336.13 c #Conflicts: 473000 | #Constraints: 58473
1494.19/1498.31 c #Conflicts: 474000 | #Constraints: 59473
1494.19/1498.31 c INPROCESSING
1494.19/1498.31 c GARBAGE COLLECT
1494.19/1498.31 c #Conflicts: 475000 | #Constraints: 46879
1494.19/1498.31 c #Conflicts: 476000 | #Constraints: 47879
1494.19/1498.31 c #Conflicts: 477000 | #Constraints: 48879
1494.19/1498.31 c #Conflicts: 478000 | #Constraints: 49879
1494.19/1498.31 c #Conflicts: 479000 | #Constraints: 50879
1494.19/1498.31 c #Conflicts: 480000 | #Constraints: 51879
1494.19/1498.31 c #Conflicts: 481000 | #Constraints: 52879
1494.19/1498.31 c #Conflicts: 482000 | #Constraints: 53879
1494.19/1498.31 c #Conflicts: 483000 | #Constraints: 54879
1494.19/1498.31 c #Conflicts: 484000 | #Constraints: 55879
1494.19/1498.31 c #Conflicts: 485000 | #Constraints: 56879
1494.19/1498.31 c #Conflicts: 486000 | #Constraints: 57879
1494.19/1498.31 c #Conflicts: 487000 | #Constraints: 58879
1494.19/1498.31 c #Conflicts: 488000 | #Constraints: 59879
1494.19/1498.31 c INPROCESSING
1494.19/1498.31 c GARBAGE COLLECT
1494.19/1498.31 c #Conflicts: 489000 | #Constraints: 47079
1494.19/1498.31 c #Conflicts: 490000 | #Constraints: 48079
1494.19/1498.31 c #Conflicts: 491000 | #Constraints: 49079
1494.19/1498.31 c #Conflicts: 492000 | #Constraints: 50079
1494.19/1498.31 c #Conflicts: 493000 | #Constraints: 51079
1494.19/1498.31 c #Conflicts: 494000 | #Constraints: 52079
1494.19/1498.31 c #Conflicts: 495000 | #Constraints: 53079
1494.19/1498.31 c #Conflicts: 496000 | #Constraints: 54079
1494.19/1498.31 c #Conflicts: 497000 | #Constraints: 55079
1494.19/1498.31 c #Conflicts: 498000 | #Constraints: 56079
1494.19/1498.31 c #Conflicts: 499000 | #Constraints: 57079
1494.19/1498.31 c #Conflicts: 500000 | #Constraints: 58079
1494.19/1498.31 c #Conflicts: 501000 | #Constraints: 59079
1494.19/1498.31 c #Conflicts: 502000 | #Constraints: 60079
1494.19/1498.31 c INPROCESSING
1494.19/1498.31 c GARBAGE COLLECT
1494.19/1498.31 c #Conflicts: 503000 | #Constraints: 47078
1494.19/1498.31 c #Conflicts: 504000 | #Constraints: 48078
1494.19/1498.31 c #Conflicts: 505000 | #Constraints: 49078
1494.19/1498.31 c #Conflicts: 506000 | #Constraints: 50078
1494.19/1498.31 c #Conflicts: 507000 | #Constraints: 51078
1494.19/1498.31 c #Conflicts: 508000 | #Constraints: 52078
1494.19/1498.31 c #Conflicts: 509000 | #Constraints: 53078
1494.19/1498.31 c #Conflicts: 510000 | #Constraints: 54078
1494.19/1498.31 c #Conflicts: 511000 | #Constraints: 55078
1494.19/1498.31 c #Conflicts: 512000 | #Constraints: 56078
1494.19/1498.31 c #Conflicts: 513000 | #Constraints: 57078
1494.19/1498.31 c #Conflicts: 514000 | #Constraints: 58078
1494.19/1498.31 c #Conflicts: 515000 | #Constraints: 59078
1494.19/1498.31 c #Conflicts: 516000 | #Constraints: 60078
1494.19/1498.31 c INPROCESSING
1494.19/1498.31 c GARBAGE COLLECT
1494.19/1498.31 c #Conflicts: 517000 | #Constraints: 46875
1494.19/1498.31 c #Conflicts: 518000 | #Constraints: 47875
1494.19/1498.31 c #Conflicts: 519000 | #Constraints: 48875
1494.19/1498.31 c #Conflicts: 520000 | #Constraints: 49875
1494.19/1498.31 c #Conflicts: 521000 | #Constraints: 50875
1494.19/1498.31 c #Conflicts: 522000 | #Constraints: 51875
1494.19/1498.31 c #Conflicts: 523000 | #Constraints: 52875
1494.19/1498.31 c #Conflicts: 524000 | #Constraints: 53875
1494.19/1498.31 c GLOBAL bounds - >= -109612 @ 1489.44
1842.31/1847.43 c #Conflicts: 525000 | #Constraints: 54877
1842.31/1847.43 c #Conflicts: 526000 | #Constraints: 55877
1842.31/1847.43 c #Conflicts: 527000 | #Constraints: 56877
1842.31/1847.43 c #Conflicts: 528000 | #Constraints: 57877
1842.31/1847.43 c #Conflicts: 529000 | #Constraints: 58877
1842.31/1847.43 c #Conflicts: 530000 | #Constraints: 59877
1842.31/1847.43 c #Conflicts: 531000 | #Constraints: 60877
1842.31/1847.43 c INPROCESSING
1842.31/1847.43 c GARBAGE COLLECT
1842.31/1847.43 c #Conflicts: 532000 | #Constraints: 47478
1842.31/1847.43 c #Conflicts: 533000 | #Constraints: 48478
1842.31/1847.43 c #Conflicts: 534000 | #Constraints: 49478
1842.31/1847.43 c #Conflicts: 535000 | #Constraints: 50478
1842.31/1847.43 c #Conflicts: 536000 | #Constraints: 51478
1842.31/1847.43 c #Conflicts: 537000 | #Constraints: 52478
1842.31/1847.43 c #Conflicts: 538000 | #Constraints: 53478
1842.31/1847.43 c #Conflicts: 539000 | #Constraints: 54478
1842.31/1847.43 c #Conflicts: 540000 | #Constraints: 55478
1842.31/1847.43 c #Conflicts: 541000 | #Constraints: 56478
1842.31/1847.43 c #Conflicts: 542000 | #Constraints: 57478
1842.31/1847.43 c #Conflicts: 543000 | #Constraints: 58478
1842.31/1847.43 c #Conflicts: 544000 | #Constraints: 59478
1842.31/1847.43 c #Conflicts: 545000 | #Constraints: 60478
1842.31/1847.43 c #Conflicts: 546000 | #Constraints: 61478
1842.31/1847.43 c INPROCESSING
1842.31/1847.43 c GARBAGE COLLECT
1842.31/1847.43 c #Conflicts: 547000 | #Constraints: 47877
1842.31/1847.43 c #Conflicts: 548000 | #Constraints: 48877
1842.31/1847.43 c #Conflicts: 549000 | #Constraints: 49877
1842.31/1847.43 c #Conflicts: 550000 | #Constraints: 50877
1842.31/1847.43 c #Conflicts: 551000 | #Constraints: 51877
1842.31/1847.43 c #Conflicts: 552000 | #Constraints: 52877
1842.31/1847.43 c #Conflicts: 553000 | #Constraints: 53877
1842.31/1847.43 c #Conflicts: 554000 | #Constraints: 54877
1842.31/1847.43 c #Conflicts: 555000 | #Constraints: 55877
1842.31/1847.43 c #Conflicts: 556000 | #Constraints: 56877
1842.31/1847.43 c #Conflicts: 557000 | #Constraints: 57877
1842.31/1847.43 c #Conflicts: 558000 | #Constraints: 58877
1842.31/1847.43 c #Conflicts: 559000 | #Constraints: 59877
1842.31/1847.43 c #Conflicts: 560000 | #Constraints: 60877
1842.31/1847.43 c #Conflicts: 561000 | #Constraints: 61877
1842.31/1847.43 c INPROCESSING
1842.31/1847.43 c GARBAGE COLLECT
1842.31/1847.43 c #Conflicts: 562000 | #Constraints: 48078
1842.31/1847.43 c #Conflicts: 563000 | #Constraints: 49078
1842.31/1847.43 c #Conflicts: 564000 | #Constraints: 50078
1842.31/1847.43 c #Conflicts: 565000 | #Constraints: 51078
1842.31/1847.43 c #Conflicts: 566000 | #Constraints: 52078
1842.31/1847.43 c #Conflicts: 567000 | #Constraints: 53078
1842.31/1847.43 c #Conflicts: 568000 | #Constraints: 54078
1842.31/1847.43 c #Conflicts: 569000 | #Constraints: 55078
1842.31/1847.43 c #Conflicts: 570000 | #Constraints: 56078
1842.31/1847.43 c #Conflicts: 571000 | #Constraints: 57078
1842.31/1847.43 c #Conflicts: 572000 | #Constraints: 58078
1842.31/1847.43 c #Conflicts: 573000 | #Constraints: 59078
1842.31/1847.43 c #Conflicts: 574000 | #Constraints: 60078
1842.31/1847.43 c #Conflicts: 575000 | #Constraints: 61078
1842.31/1847.43 c #Conflicts: 576000 | #Constraints: 62078
1842.31/1847.43 c INPROCESSING
1842.31/1847.43 c GARBAGE COLLECT
1842.31/1847.43 c #Conflicts: 577000 | #Constraints: 48079
1842.31/1847.43 c #Conflicts: 578000 | #Constraints: 49079
1842.31/1847.43 c #Conflicts: 579000 | #Constraints: 50079
1842.31/1847.43 c #Conflicts: 580000 | #Constraints: 51079
1842.31/1847.43 c #Conflicts: 581000 | #Constraints: 52079
1842.31/1847.43 c #Conflicts: 582000 | #Constraints: 53079
1842.31/1847.43 c #Conflicts: 583000 | #Constraints: 54079
1842.31/1847.43 c #Conflicts: 584000 | #Constraints: 55079
1842.31/1847.43 c #Conflicts: 585000 | #Constraints: 56079
1842.31/1847.43 c #Conflicts: 586000 | #Constraints: 57079
1842.31/1847.43 c #Conflicts: 587000 | #Constraints: 58079
1842.31/1847.43 c #Conflicts: 588000 | #Constraints: 59079
1842.31/1847.43 c #Conflicts: 589000 | #Constraints: 60079
1842.31/1847.43 c #Conflicts: 590000 | #Constraints: 61079
1842.31/1847.43 c #Conflicts: 591000 | #Constraints: 62079
1842.31/1847.43 c INPROCESSING
1842.31/1847.43 c GARBAGE COLLECT
1842.31/1847.43 c #Conflicts: 592000 | #Constraints: 47876
1842.31/1847.43 c #Conflicts: 593000 | #Constraints: 48876
1842.31/1847.43 c #Conflicts: 594000 | #Constraints: 49876
1842.31/1847.43 c #Conflicts: 595000 | #Constraints: 50876
1842.31/1847.43 c #Conflicts: 596000 | #Constraints: 51876
1842.31/1847.43 c #Conflicts: 597000 | #Constraints: 52876
1842.31/1847.43 c #Conflicts: 598000 | #Constraints: 53876
1842.31/1847.43 c #Conflicts: 599000 | #Constraints: 54876
1842.31/1847.43 c #Conflicts: 600000 | #Constraints: 55876
2164.06/2170.00 c #Conflicts: 601000 | #Constraints: 56876
2164.06/2170.00 c #Conflicts: 602000 | #Constraints: 57876
2164.06/2170.00 c #Conflicts: 603000 | #Constraints: 58876
2164.06/2170.00 c #Conflicts: 604000 | #Constraints: 59876
2164.06/2170.00 c #Conflicts: 605000 | #Constraints: 60876
2164.06/2170.00 c #Conflicts: 606000 | #Constraints: 61876
2164.06/2170.00 c #Conflicts: 607000 | #Constraints: 62876
2164.06/2170.00 c INPROCESSING
2164.06/2170.00 c GARBAGE COLLECT
2164.06/2170.00 c #Conflicts: 608000 | #Constraints: 48473
2164.06/2170.00 c #Conflicts: 609000 | #Constraints: 49473
2164.06/2170.00 c #Conflicts: 610000 | #Constraints: 50473
2164.06/2170.00 c #Conflicts: 611000 | #Constraints: 51473
2164.06/2170.00 c #Conflicts: 612000 | #Constraints: 52473
2164.06/2170.00 c #Conflicts: 613000 | #Constraints: 53473
2164.06/2170.00 c #Conflicts: 614000 | #Constraints: 54473
2164.06/2170.00 c #Conflicts: 615000 | #Constraints: 55473
2164.06/2170.00 c #Conflicts: 616000 | #Constraints: 56473
2164.06/2170.00 c #Conflicts: 617000 | #Constraints: 57473
2164.06/2170.00 c #Conflicts: 618000 | #Constraints: 58473
2164.06/2170.00 c #Conflicts: 619000 | #Constraints: 59473
2164.06/2170.00 c #Conflicts: 620000 | #Constraints: 60473
2164.06/2170.00 c #Conflicts: 621000 | #Constraints: 61473
2164.06/2170.00 c #Conflicts: 622000 | #Constraints: 62473
2164.06/2170.00 c #Conflicts: 623000 | #Constraints: 63473
2164.06/2170.00 c INPROCESSING
2164.06/2170.00 c GARBAGE COLLECT
2164.06/2170.00 c #Conflicts: 624000 | #Constraints: 48876
2164.06/2170.00 c #Conflicts: 625000 | #Constraints: 49876
2164.06/2170.00 c #Conflicts: 626000 | #Constraints: 50876
2164.06/2170.00 c #Conflicts: 627000 | #Constraints: 51876
2164.06/2170.00 c #Conflicts: 628000 | #Constraints: 52876
2164.06/2170.00 c #Conflicts: 629000 | #Constraints: 53876
2164.06/2170.00 c #Conflicts: 630000 | #Constraints: 54876
2164.06/2170.00 c #Conflicts: 631000 | #Constraints: 55876
2164.06/2170.00 c #Conflicts: 632000 | #Constraints: 56876
2164.06/2170.00 c #Conflicts: 633000 | #Constraints: 57876
2164.06/2170.00 c #Conflicts: 634000 | #Constraints: 58876
2164.06/2170.00 c #Conflicts: 635000 | #Constraints: 59876
2164.06/2170.00 c #Conflicts: 636000 | #Constraints: 60876
2164.06/2170.00 c #Conflicts: 637000 | #Constraints: 61876
2164.06/2170.00 c #Conflicts: 638000 | #Constraints: 62876
2164.06/2170.00 c #Conflicts: 639000 | #Constraints: 63876
2164.06/2170.00 c INPROCESSING
2164.06/2170.00 c GARBAGE COLLECT
2164.06/2170.00 c #Conflicts: 640000 | #Constraints: 49073
2164.06/2170.00 c #Conflicts: 641000 | #Constraints: 50073
2164.06/2170.00 c #Conflicts: 642000 | #Constraints: 51073
2164.06/2170.00 c #Conflicts: 643000 | #Constraints: 52073
2164.06/2170.00 c #Conflicts: 644000 | #Constraints: 53073
2164.06/2170.00 c #Conflicts: 645000 | #Constraints: 54073
2164.06/2170.00 c #Conflicts: 646000 | #Constraints: 55073
2164.06/2170.00 c #Conflicts: 647000 | #Constraints: 56073
2164.06/2170.00 c #Conflicts: 648000 | #Constraints: 57073
2164.06/2170.00 c #Conflicts: 649000 | #Constraints: 58073
2164.06/2170.00 c #Conflicts: 650000 | #Constraints: 59073
2164.06/2170.00 c #Conflicts: 651000 | #Constraints: 60073
2164.06/2170.00 c #Conflicts: 652000 | #Constraints: 61073
2164.06/2170.00 c #Conflicts: 653000 | #Constraints: 62073
2164.06/2170.00 c #Conflicts: 654000 | #Constraints: 63073
2164.06/2170.00 c #Conflicts: 655000 | #Constraints: 64073
2164.06/2170.00 c INPROCESSING
2164.06/2170.00 c GARBAGE COLLECT
2164.06/2170.00 c #Conflicts: 656000 | #Constraints: 49074
2164.06/2170.00 c #Conflicts: 657000 | #Constraints: 50074
2164.06/2170.00 c #Conflicts: 658000 | #Constraints: 51074
2164.06/2170.00 c #Conflicts: 659000 | #Constraints: 52074
2164.06/2170.00 c #Conflicts: 660000 | #Constraints: 53074
2164.06/2170.00 c #Conflicts: 661000 | #Constraints: 54074
2164.06/2170.00 c #Conflicts: 662000 | #Constraints: 55074
2164.06/2170.00 c #Conflicts: 663000 | #Constraints: 56074
2164.06/2170.00 c #Conflicts: 664000 | #Constraints: 57074
2164.06/2170.00 c #Conflicts: 665000 | #Constraints: 58074
2164.06/2170.00 c #Conflicts: 666000 | #Constraints: 59074
2164.06/2170.00 c #Conflicts: 667000 | #Constraints: 60074
2164.06/2170.00 c #Conflicts: 668000 | #Constraints: 61074
2164.06/2170.00 c #Conflicts: 669000 | #Constraints: 62074
2164.06/2170.00 c #Conflicts: 670000 | #Constraints: 63074
2164.06/2170.00 c #Conflicts: 671000 | #Constraints: 64074
2164.06/2170.00 c INPROCESSING
2164.06/2170.00 c GARBAGE COLLECT
2164.06/2170.00 c #Conflicts: 672000 | #Constraints: 48869
2164.06/2170.00 c #Conflicts: 673000 | #Constraints: 49869
2164.06/2170.00 c #Conflicts: 674000 | #Constraints: 50869
2164.06/2170.00 c #Conflicts: 675000 | #Constraints: 51869
2164.06/2170.00 c #Conflicts: 676000 | #Constraints: 52869
2296.80/2303.12 c #Conflicts: 677000 | #Constraints: 53869
2296.80/2303.12 c #Conflicts: 678000 | #Constraints: 54869
2296.80/2303.12 c #Conflicts: 679000 | #Constraints: 55869
2296.80/2303.12 c #Conflicts: 680000 | #Constraints: 56869
2296.80/2303.12 c #Conflicts: 681000 | #Constraints: 57869
2296.80/2303.12 c #Conflicts: 682000 | #Constraints: 58869
2296.80/2303.12 c #Conflicts: 683000 | #Constraints: 59869
2296.80/2303.12 c #Conflicts: 684000 | #Constraints: 60869
2296.80/2303.12 c #Conflicts: 685000 | #Constraints: 61869
2296.80/2303.12 c #Conflicts: 686000 | #Constraints: 62869
2296.80/2303.12 c #Conflicts: 687000 | #Constraints: 63869
2296.80/2303.12 c #Conflicts: 688000 | #Constraints: 64869
2296.80/2303.12 c INPROCESSING
2296.80/2303.12 c GARBAGE COLLECT
2296.80/2303.12 c #Conflicts: 689000 | #Constraints: 49476
2296.80/2303.12 c #Conflicts: 690000 | #Constraints: 50476
2296.80/2303.12 c #Conflicts: 691000 | #Constraints: 51476
2296.80/2303.12 c #Conflicts: 692000 | #Constraints: 52476
2296.80/2303.12 c #Conflicts: 693000 | #Constraints: 53476
2296.80/2303.12 c #Conflicts: 694000 | #Constraints: 54476
2296.80/2303.12 c #Conflicts: 695000 | #Constraints: 55476
2296.80/2303.12 c #Conflicts: 696000 | #Constraints: 56476
2296.80/2303.12 c #Conflicts: 697000 | #Constraints: 57476
2296.80/2303.12 c #Conflicts: 698000 | #Constraints: 58476
2296.80/2303.12 c #Conflicts: 699000 | #Constraints: 59476
2296.80/2303.12 c #Conflicts: 700000 | #Constraints: 60476
2296.80/2303.12 c #Conflicts: 701000 | #Constraints: 61476
2296.80/2303.12 c #Conflicts: 702000 | #Constraints: 62476
2296.80/2303.12 c #Conflicts: 703000 | #Constraints: 63476
2296.80/2303.12 c #Conflicts: 704000 | #Constraints: 64476
2296.80/2303.12 c #Conflicts: 705000 | #Constraints: 65476
2296.80/2303.12 c INPROCESSING
2296.80/2303.12 c GARBAGE COLLECT
2296.80/2303.12 c #Conflicts: 706000 | #Constraints: 49874
2296.80/2303.12 c #Conflicts: 707000 | #Constraints: 50874
2296.80/2303.12 c GLOBAL bounds - >= -109612 @ 2290.58
2296.90/2303.20 c GLOBAL bounds - >= -109612 @ 2290.67
2296.90/2303.27 c GLOBAL bounds - >= -109612 @ 2290.73
2297.00/2303.33 c GLOBAL bounds - >= -109612 @ 2290.79
2408.08/2414.77 c #Conflicts: 708000 | #Constraints: 51882
2408.08/2414.77 c #Conflicts: 709000 | #Constraints: 52882
2408.08/2414.77 c #Conflicts: 710000 | #Constraints: 53882
2408.08/2414.77 c #Conflicts: 711000 | #Constraints: 54882
2408.08/2414.77 c #Conflicts: 712000 | #Constraints: 55882
2408.08/2414.77 c #Conflicts: 713000 | #Constraints: 56882
2408.08/2414.77 c #Conflicts: 714000 | #Constraints: 57882
2408.08/2414.77 c #Conflicts: 715000 | #Constraints: 58882
2408.08/2414.77 c #Conflicts: 716000 | #Constraints: 59882
2408.08/2414.77 c #Conflicts: 717000 | #Constraints: 60882
2408.08/2414.77 c #Conflicts: 718000 | #Constraints: 61882
2408.08/2414.77 c #Conflicts: 719000 | #Constraints: 62882
2408.08/2414.77 c #Conflicts: 720000 | #Constraints: 63882
2408.08/2414.77 c #Conflicts: 721000 | #Constraints: 64882
2408.08/2414.77 c #Conflicts: 722000 | #Constraints: 65882
2408.08/2414.77 c INPROCESSING
2408.08/2414.77 c GARBAGE COLLECT
2408.08/2414.77 c #Conflicts: 723000 | #Constraints: 50081
2408.08/2414.77 c #Conflicts: 724000 | #Constraints: 51081
2408.08/2414.77 c #Conflicts: 725000 | #Constraints: 52081
2408.08/2414.77 c #Conflicts: 726000 | #Constraints: 53081
2408.08/2414.77 c #Conflicts: 727000 | #Constraints: 54081
2408.08/2414.77 c #Conflicts: 728000 | #Constraints: 55081
2408.08/2414.77 c #Conflicts: 729000 | #Constraints: 56081
2408.08/2414.77 c #Conflicts: 730000 | #Constraints: 57081
2408.08/2414.77 c #Conflicts: 731000 | #Constraints: 58081
2408.08/2414.77 c #Conflicts: 732000 | #Constraints: 59081
2408.08/2414.77 c #Conflicts: 733000 | #Constraints: 60081
2408.08/2414.77 c #Conflicts: 734000 | #Constraints: 61081
2408.08/2414.77 c #Conflicts: 735000 | #Constraints: 62081
2408.08/2414.77 c #Conflicts: 736000 | #Constraints: 63081
2408.08/2414.77 c #Conflicts: 737000 | #Constraints: 64081
2408.08/2414.77 c #Conflicts: 738000 | #Constraints: 65081
2408.08/2414.77 c #Conflicts: 739000 | #Constraints: 66081
2408.08/2414.77 c INPROCESSING
2408.08/2414.77 c GARBAGE COLLECT
2408.08/2414.77 c #Conflicts: 740000 | #Constraints: 50080
2408.08/2414.77 c #Conflicts: 741000 | #Constraints: 51080
2408.08/2414.77 c #Conflicts: 742000 | #Constraints: 52080
2408.08/2414.77 c #Conflicts: 743000 | #Constraints: 53080
2408.08/2414.77 c GLOBAL bounds - >= -109612 @ 2401.67
2447.08/2453.83 c #Conflicts: 744000 | #Constraints: 54082
2447.08/2453.83 c #Conflicts: 745000 | #Constraints: 55082
2447.08/2453.83 c #Conflicts: 746000 | #Constraints: 56082
2447.08/2453.83 c #Conflicts: 747000 | #Constraints: 57082
2447.08/2453.83 c #Conflicts: 748000 | #Constraints: 58082
2447.08/2453.83 c #Conflicts: 749000 | #Constraints: 59082
2447.08/2453.83 c #Conflicts: 750000 | #Constraints: 60082
2447.08/2453.83 c GLOBAL bounds - >= -109612 @ 2440.55
2459.54/2466.37 c #Conflicts: 751000 | #Constraints: 61084
2459.54/2466.37 c GLOBAL bounds - >= -109612 @ 2453.03
2830.60/2838.45 c #Conflicts: 752000 | #Constraints: 62086
2830.60/2838.45 c #Conflicts: 753000 | #Constraints: 63086
2830.60/2838.45 c #Conflicts: 754000 | #Constraints: 64086
2830.60/2838.45 c #Conflicts: 755000 | #Constraints: 65086
2830.60/2838.45 c #Conflicts: 756000 | #Constraints: 66086
2830.60/2838.45 c INPROCESSING
2830.60/2838.45 c GARBAGE COLLECT
2830.60/2838.45 c #Conflicts: 757000 | #Constraints: 49892
2830.60/2838.45 c #Conflicts: 758000 | #Constraints: 50892
2830.60/2838.45 c #Conflicts: 759000 | #Constraints: 51892
2830.60/2838.45 c #Conflicts: 760000 | #Constraints: 52892
2830.60/2838.45 c #Conflicts: 761000 | #Constraints: 53892
2830.60/2838.45 c #Conflicts: 762000 | #Constraints: 54892
2830.60/2838.45 c #Conflicts: 763000 | #Constraints: 55892
2830.60/2838.45 c #Conflicts: 764000 | #Constraints: 56892
2830.60/2838.45 c #Conflicts: 765000 | #Constraints: 57892
2830.60/2838.45 c #Conflicts: 766000 | #Constraints: 58892
2830.60/2838.45 c #Conflicts: 767000 | #Constraints: 59892
2830.60/2838.45 c #Conflicts: 768000 | #Constraints: 60892
2830.60/2838.45 c #Conflicts: 769000 | #Constraints: 61892
2830.60/2838.45 c #Conflicts: 770000 | #Constraints: 62892
2830.60/2838.45 c #Conflicts: 771000 | #Constraints: 63892
2830.60/2838.45 c #Conflicts: 772000 | #Constraints: 64892
2830.60/2838.45 c #Conflicts: 773000 | #Constraints: 65892
2830.60/2838.45 c #Conflicts: 774000 | #Constraints: 66892
2830.60/2838.45 c INPROCESSING
2830.60/2838.45 c GARBAGE COLLECT
2830.60/2838.45 c #Conflicts: 775000 | #Constraints: 50491
2830.60/2838.45 c #Conflicts: 776000 | #Constraints: 51491
2830.60/2838.45 c #Conflicts: 777000 | #Constraints: 52491
2830.60/2838.45 c #Conflicts: 778000 | #Constraints: 53491
2830.60/2838.45 c #Conflicts: 779000 | #Constraints: 54491
2830.60/2838.45 c #Conflicts: 780000 | #Constraints: 55491
2830.60/2838.45 c #Conflicts: 781000 | #Constraints: 56491
2830.60/2838.45 c #Conflicts: 782000 | #Constraints: 57491
2830.60/2838.45 c #Conflicts: 783000 | #Constraints: 58491
2830.60/2838.45 c #Conflicts: 784000 | #Constraints: 59491
2830.60/2838.45 c #Conflicts: 785000 | #Constraints: 60491
2830.60/2838.45 c #Conflicts: 786000 | #Constraints: 61491
2830.60/2838.45 c #Conflicts: 787000 | #Constraints: 62491
2830.60/2838.45 c #Conflicts: 788000 | #Constraints: 63491
2830.60/2838.45 c #Conflicts: 789000 | #Constraints: 64491
2830.60/2838.45 c #Conflicts: 790000 | #Constraints: 65491
2830.60/2838.45 c #Conflicts: 791000 | #Constraints: 66491
2830.60/2838.45 c #Conflicts: 792000 | #Constraints: 67491
2830.60/2838.45 c INPROCESSING
2830.60/2838.45 c GARBAGE COLLECT
2830.60/2838.45 c #Conflicts: 793000 | #Constraints: 50889
2830.60/2838.45 c #Conflicts: 794000 | #Constraints: 51889
2830.60/2838.45 c #Conflicts: 795000 | #Constraints: 52889
2830.60/2838.45 c #Conflicts: 796000 | #Constraints: 53889
2830.60/2838.45 c #Conflicts: 797000 | #Constraints: 54889
2830.60/2838.45 c #Conflicts: 798000 | #Constraints: 55889
2830.60/2838.45 c #Conflicts: 799000 | #Constraints: 56889
2830.60/2838.45 c #Conflicts: 800000 | #Constraints: 57889
2830.60/2838.45 c #Conflicts: 801000 | #Constraints: 58889
2830.60/2838.45 c #Conflicts: 802000 | #Constraints: 59889
2830.60/2838.45 c #Conflicts: 803000 | #Constraints: 60889
2830.60/2838.45 c #Conflicts: 804000 | #Constraints: 61889
2830.60/2838.45 c #Conflicts: 805000 | #Constraints: 62889
2830.60/2838.45 c #Conflicts: 806000 | #Constraints: 63889
2830.60/2838.45 c #Conflicts: 807000 | #Constraints: 64889
2830.60/2838.45 c #Conflicts: 808000 | #Constraints: 65889
2830.60/2838.45 c #Conflicts: 809000 | #Constraints: 66889
2830.60/2838.45 c #Conflicts: 810000 | #Constraints: 67889
2830.60/2838.45 c INPROCESSING
2830.60/2838.45 c GARBAGE COLLECT
2830.60/2838.45 c #Conflicts: 811000 | #Constraints: 51092
2830.60/2838.45 c #Conflicts: 812000 | #Constraints: 52092
2830.60/2838.45 c #Conflicts: 813000 | #Constraints: 53092
2830.60/2838.45 c #Conflicts: 814000 | #Constraints: 54092
2830.60/2838.45 c #Conflicts: 815000 | #Constraints: 55092
2830.60/2838.45 c #Conflicts: 816000 | #Constraints: 56092
2830.60/2838.45 c #Conflicts: 817000 | #Constraints: 57092
2830.60/2838.45 c #Conflicts: 818000 | #Constraints: 58092
2830.60/2838.45 c #Conflicts: 819000 | #Constraints: 59092
2830.60/2838.45 c #Conflicts: 820000 | #Constraints: 60092
2830.60/2838.45 c #Conflicts: 821000 | #Constraints: 61092
2830.60/2838.45 c #Conflicts: 822000 | #Constraints: 62092
2830.60/2838.45 c #Conflicts: 823000 | #Constraints: 63092
2830.60/2838.45 c #Conflicts: 824000 | #Constraints: 64092
2830.60/2838.45 c #Conflicts: 825000 | #Constraints: 65092
2830.60/2838.45 c #Conflicts: 826000 | #Constraints: 66092
2830.60/2838.45 c #Conflicts: 827000 | #Constraints: 67092
2830.60/2838.45 c #Conflicts: 828000 | #Constraints: 68092
3188.49/3197.30 c INPROCESSING
3188.49/3197.30 c GARBAGE COLLECT
3188.49/3197.30 c #Conflicts: 829000 | #Constraints: 51093
3188.49/3197.30 c #Conflicts: 830000 | #Constraints: 52093
3188.49/3197.30 c #Conflicts: 831000 | #Constraints: 53093
3188.49/3197.30 c #Conflicts: 832000 | #Constraints: 54093
3188.49/3197.30 c #Conflicts: 833000 | #Constraints: 55093
3188.49/3197.30 c #Conflicts: 834000 | #Constraints: 56093
3188.49/3197.30 c #Conflicts: 835000 | #Constraints: 57093
3188.49/3197.30 c #Conflicts: 836000 | #Constraints: 58093
3188.49/3197.30 c #Conflicts: 837000 | #Constraints: 59093
3188.49/3197.30 c #Conflicts: 838000 | #Constraints: 60093
3188.49/3197.30 c #Conflicts: 839000 | #Constraints: 61093
3188.49/3197.30 c #Conflicts: 840000 | #Constraints: 62093
3188.49/3197.30 c #Conflicts: 841000 | #Constraints: 63093
3188.49/3197.30 c #Conflicts: 842000 | #Constraints: 64093
3188.49/3197.30 c #Conflicts: 843000 | #Constraints: 65093
3188.49/3197.30 c #Conflicts: 844000 | #Constraints: 66093
3188.49/3197.30 c #Conflicts: 845000 | #Constraints: 67093
3188.49/3197.30 c #Conflicts: 846000 | #Constraints: 68093
3188.49/3197.30 c INPROCESSING
3188.49/3197.30 c GARBAGE COLLECT
3188.49/3197.30 c #Conflicts: 847000 | #Constraints: 50889
3188.49/3197.30 c #Conflicts: 848000 | #Constraints: 51889
3188.49/3197.30 c #Conflicts: 849000 | #Constraints: 52889
3188.49/3197.30 c #Conflicts: 850000 | #Constraints: 53889
3188.49/3197.30 c #Conflicts: 851000 | #Constraints: 54889
3188.49/3197.30 c #Conflicts: 852000 | #Constraints: 55889
3188.49/3197.30 c #Conflicts: 853000 | #Constraints: 56889
3188.49/3197.30 c #Conflicts: 854000 | #Constraints: 57889
3188.49/3197.30 c #Conflicts: 855000 | #Constraints: 58889
3188.49/3197.30 c #Conflicts: 856000 | #Constraints: 59889
3188.49/3197.30 c #Conflicts: 857000 | #Constraints: 60889
3188.49/3197.30 c #Conflicts: 858000 | #Constraints: 61889
3188.49/3197.30 c #Conflicts: 859000 | #Constraints: 62889
3188.49/3197.30 c #Conflicts: 860000 | #Constraints: 63889
3188.49/3197.30 c #Conflicts: 861000 | #Constraints: 64889
3188.49/3197.30 c #Conflicts: 862000 | #Constraints: 65889
3188.49/3197.30 c #Conflicts: 863000 | #Constraints: 66889
3188.49/3197.30 c #Conflicts: 864000 | #Constraints: 67889
3188.49/3197.30 c #Conflicts: 865000 | #Constraints: 68889
3188.49/3197.30 c INPROCESSING
3188.49/3197.30 c GARBAGE COLLECT
3188.49/3197.30 c #Conflicts: 866000 | #Constraints: 51486
3188.49/3197.30 c #Conflicts: 867000 | #Constraints: 52486
3188.49/3197.30 c #Conflicts: 868000 | #Constraints: 53486
3188.49/3197.30 c #Conflicts: 869000 | #Constraints: 54486
3188.49/3197.30 c #Conflicts: 870000 | #Constraints: 55486
3188.49/3197.30 c #Conflicts: 871000 | #Constraints: 56486
3188.49/3197.30 c #Conflicts: 872000 | #Constraints: 57486
3188.49/3197.30 c #Conflicts: 873000 | #Constraints: 58486
3188.49/3197.30 c #Conflicts: 874000 | #Constraints: 59486
3188.49/3197.30 c #Conflicts: 875000 | #Constraints: 60486
3188.49/3197.30 c #Conflicts: 876000 | #Constraints: 61486
3188.49/3197.30 c #Conflicts: 877000 | #Constraints: 62486
3188.49/3197.30 c #Conflicts: 878000 | #Constraints: 63486
3188.49/3197.30 c #Conflicts: 879000 | #Constraints: 64486
3188.49/3197.30 c #Conflicts: 880000 | #Constraints: 65486
3188.49/3197.30 c #Conflicts: 881000 | #Constraints: 66486
3188.49/3197.30 c #Conflicts: 882000 | #Constraints: 67486
3188.49/3197.30 c #Conflicts: 883000 | #Constraints: 68486
3188.49/3197.30 c #Conflicts: 884000 | #Constraints: 69486
3188.49/3197.30 c INPROCESSING
3188.49/3197.30 c GARBAGE COLLECT
3188.49/3197.30 c #Conflicts: 885000 | #Constraints: 51885
3188.49/3197.30 c #Conflicts: 886000 | #Constraints: 52885
3188.49/3197.30 c #Conflicts: 887000 | #Constraints: 53885
3188.49/3197.30 c #Conflicts: 888000 | #Constraints: 54885
3188.49/3197.30 c #Conflicts: 889000 | #Constraints: 55885
3188.49/3197.30 c #Conflicts: 890000 | #Constraints: 56885
3188.49/3197.30 c #Conflicts: 891000 | #Constraints: 57885
3188.49/3197.30 c #Conflicts: 892000 | #Constraints: 58885
3188.49/3197.30 c #Conflicts: 893000 | #Constraints: 59885
3188.49/3197.30 c #Conflicts: 894000 | #Constraints: 60885
3188.49/3197.30 c #Conflicts: 895000 | #Constraints: 61885
3188.49/3197.30 c #Conflicts: 896000 | #Constraints: 62885
3188.49/3197.30 c #Conflicts: 897000 | #Constraints: 63885
3188.49/3197.30 c #Conflicts: 898000 | #Constraints: 64885
3188.49/3197.30 c #Conflicts: 899000 | #Constraints: 65885
3188.49/3197.30 c #Conflicts: 900000 | #Constraints: 66885
3188.49/3197.30 c #Conflicts: 901000 | #Constraints: 67885
3188.49/3197.30 c #Conflicts: 902000 | #Constraints: 68885
3188.49/3197.30 c #Conflicts: 903000 | #Constraints: 69885
3188.49/3197.30 c INPROCESSING
3188.49/3197.30 c GARBAGE COLLECT
3575.89/3585.86 c #Conflicts: 904000 | #Constraints: 52082
3575.89/3585.86 c #Conflicts: 905000 | #Constraints: 53082
3575.89/3585.86 c #Conflicts: 906000 | #Constraints: 54082
3575.89/3585.86 c #Conflicts: 907000 | #Constraints: 55082
3575.89/3585.86 c #Conflicts: 908000 | #Constraints: 56082
3575.89/3585.86 c #Conflicts: 909000 | #Constraints: 57082
3575.89/3585.86 c #Conflicts: 910000 | #Constraints: 58082
3575.89/3585.86 c #Conflicts: 911000 | #Constraints: 59082
3575.89/3585.86 c #Conflicts: 912000 | #Constraints: 60082
3575.89/3585.86 c #Conflicts: 913000 | #Constraints: 61082
3575.89/3585.86 c #Conflicts: 914000 | #Constraints: 62082
3575.89/3585.86 c #Conflicts: 915000 | #Constraints: 63082
3575.89/3585.86 c #Conflicts: 916000 | #Constraints: 64082
3575.89/3585.86 c #Conflicts: 917000 | #Constraints: 65082
3575.89/3585.86 c #Conflicts: 918000 | #Constraints: 66082
3575.89/3585.86 c #Conflicts: 919000 | #Constraints: 67082
3575.89/3585.86 c #Conflicts: 920000 | #Constraints: 68082
3575.89/3585.86 c #Conflicts: 921000 | #Constraints: 69082
3575.89/3585.86 c #Conflicts: 922000 | #Constraints: 70082
3575.89/3585.86 c INPROCESSING
3575.89/3585.86 c GARBAGE COLLECT
3575.89/3585.86 c #Conflicts: 923000 | #Constraints: 52087
3575.89/3585.86 c #Conflicts: 924000 | #Constraints: 53087
3575.89/3585.86 c #Conflicts: 925000 | #Constraints: 54087
3575.89/3585.86 c #Conflicts: 926000 | #Constraints: 55087
3575.89/3585.86 c #Conflicts: 927000 | #Constraints: 56087
3575.89/3585.86 c #Conflicts: 928000 | #Constraints: 57087
3575.89/3585.86 c #Conflicts: 929000 | #Constraints: 58087
3575.89/3585.86 c #Conflicts: 930000 | #Constraints: 59087
3575.89/3585.86 c #Conflicts: 931000 | #Constraints: 60087
3575.89/3585.86 c #Conflicts: 932000 | #Constraints: 61087
3575.89/3585.86 c #Conflicts: 933000 | #Constraints: 62087
3575.89/3585.86 c #Conflicts: 934000 | #Constraints: 63087
3575.89/3585.86 c #Conflicts: 935000 | #Constraints: 64087
3575.89/3585.86 c #Conflicts: 936000 | #Constraints: 65087
3575.89/3585.86 c #Conflicts: 937000 | #Constraints: 66087
3575.89/3585.86 c #Conflicts: 938000 | #Constraints: 67087
3575.89/3585.86 c #Conflicts: 939000 | #Constraints: 68087
3575.89/3585.86 c #Conflicts: 940000 | #Constraints: 69087
3575.89/3585.86 c #Conflicts: 941000 | #Constraints: 70087
3575.89/3585.86 c INPROCESSING
3575.89/3585.86 c GARBAGE COLLECT
3575.89/3585.86 c #Conflicts: 942000 | #Constraints: 51893
3575.89/3585.86 c #Conflicts: 943000 | #Constraints: 52893
3575.89/3585.86 c #Conflicts: 944000 | #Constraints: 53893
3575.89/3585.86 c #Conflicts: 945000 | #Constraints: 54893
3575.89/3585.86 c #Conflicts: 946000 | #Constraints: 55893
3575.89/3585.86 c #Conflicts: 947000 | #Constraints: 56893
3575.89/3585.86 c #Conflicts: 948000 | #Constraints: 57893
3575.89/3585.86 c #Conflicts: 949000 | #Constraints: 58893
3575.89/3585.86 c #Conflicts: 950000 | #Constraints: 59893
3575.89/3585.86 c #Conflicts: 951000 | #Constraints: 60893
3575.89/3585.86 c #Conflicts: 952000 | #Constraints: 61893
3575.89/3585.86 c #Conflicts: 953000 | #Constraints: 62893
3575.89/3585.86 c #Conflicts: 954000 | #Constraints: 63893
3575.89/3585.86 c #Conflicts: 955000 | #Constraints: 64893
3575.89/3585.86 c #Conflicts: 956000 | #Constraints: 65893
3575.89/3585.86 c #Conflicts: 957000 | #Constraints: 66893
3575.89/3585.86 c #Conflicts: 958000 | #Constraints: 67893
3575.89/3585.86 c #Conflicts: 959000 | #Constraints: 68893
3575.89/3585.86 c #Conflicts: 960000 | #Constraints: 69893
3575.89/3585.86 c #Conflicts: 961000 | #Constraints: 70893
3575.89/3585.86 c INPROCESSING
3575.89/3585.86 c GARBAGE COLLECT
3575.89/3585.86 c #Conflicts: 962000 | #Constraints: 52489
3575.89/3585.86 c #Conflicts: 963000 | #Constraints: 53489
3575.89/3585.86 c #Conflicts: 964000 | #Constraints: 54489
3575.89/3585.86 c #Conflicts: 965000 | #Constraints: 55489
3575.89/3585.86 c #Conflicts: 966000 | #Constraints: 56489
3575.89/3585.86 c #Conflicts: 967000 | #Constraints: 57489
3575.89/3585.86 c #Conflicts: 968000 | #Constraints: 58489
3575.89/3585.86 c #Conflicts: 969000 | #Constraints: 59489
3575.89/3585.86 c #Conflicts: 970000 | #Constraints: 60489
3575.89/3585.86 c #Conflicts: 971000 | #Constraints: 61489
3575.89/3585.86 c #Conflicts: 972000 | #Constraints: 62489
3575.89/3585.86 c #Conflicts: 973000 | #Constraints: 63489
3575.89/3585.86 c #Conflicts: 974000 | #Constraints: 64489
3575.89/3585.86 c #Conflicts: 975000 | #Constraints: 65489
3575.89/3585.86 c #Conflicts: 976000 | #Constraints: 66489
3575.89/3585.86 c #Conflicts: 977000 | #Constraints: 67489
3575.89/3585.86 c #Conflicts: 978000 | #Constraints: 68489
3575.89/3585.86 c #Conflicts: 979000 | #Constraints: 69489
3575.89/3585.86 c #Conflicts: 980000 | #Constraints: 70489
3600.03/3610.00 c #Conflicts: 981000 | #Constraints: 71489
3600.03/3610.00 c INPROCESSING
3600.03/3610.00 c GARBAGE COLLECT
3600.03/3610.00 c #Conflicts: 982000 | #Constraints: 52891
3600.03/3610.00 c #Conflicts: 983000 | #Constraints: 53891
3600.03/3610.00 c #Conflicts: 984000 | #Constraints: 54891
3600.03/3610.00 c #Conflicts: 985000 | #Constraints: 55891
3600.03/3610.00 c #Conflicts: 986000 | #Constraints: 56891
3600.03/3610.00 c #Conflicts: 987000 | #Constraints: 57891
3600.03/3610.00 c #Conflicts: 988000 | #Constraints: 58891
3600.03/3610.00 c #Conflicts: 989000 | #Constraints: 59891
3600.03/3610.00 c #Conflicts: 990000 | #Constraints: 60891
3600.03/3610.00 c cpu time 3591.46 s
3600.03/3610.00 c deterministic time 1 1.00e+00
3600.03/3610.00 c optimization time 3591.37 s
3600.03/3610.00 c total solve time 0 s
3600.03/3610.00 c core-guided solve time 0 s
3600.03/3610.00 c propagation time 0.009401 s
3600.03/3610.00 c conflict analysis time 0 s
3600.03/3610.00 c propagations 0
3600.03/3610.00 c resolve steps 0
3600.03/3610.00 c decisions 0
3600.03/3610.00 c conflicts 0
3600.03/3610.00 c restarts 0
3600.03/3610.00 c inprocessing phases 0
3600.03/3610.00 c garbage collections 0 ,( -nan )
3600.03/3610.00 c input clauses 31790 ,( 99.97 )
3600.03/3610.00 c input cardinalities 0 ,( 0.00 )
3600.03/3610.00 c input general constraints 8 ,( 0.03 )
3600.03/3610.00 c input average constraint length 2.51
3600.03/3610.00 c input average constraint degree 860.43
3600.03/3610.00 c learned clauses 0 ,( 0.00 )
3600.03/3610.00 c learned cardinalities 0 ,( 0.00 )
3600.03/3610.00 c learned general constraints 0 ,( 0.00 )
3600.03/3610.00 c learned average constraint length 0.00
3600.03/3610.00 c learned average constraint degree 0.00
3600.03/3610.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3610.00 c counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
3600.03/3610.00 c watched constraints 0 ,( 0.00 )
3600.03/3610.00 c counting constraints 8 ,( 100.00 )
3600.03/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3610.00 c gcd simplifications 0
3600.03/3610.00 c detected cardinalities 0
3600.03/3610.00 c weakened non-implied lits 0
3600.03/3610.00 c weakened non-implying lits 0
3600.03/3610.00 c original variables 2023
3600.03/3610.00 c clausal propagations 0
3600.03/3610.00 c cardinality propagations 0
3600.03/3610.00 c watched propagations 0
3600.03/3610.00 c counting propagations 0
3600.03/3610.00 c watch lookups 0
3600.03/3610.00 c watch backjump lookups 0
3600.03/3610.00 c watch checks 0
3600.03/3610.00 c propagation checks 0
3600.03/3610.00 c constraint additions 0
3600.03/3610.00 c trail pops 0
3600.03/3610.00 c formula constraints 31798
3600.03/3610.00 c learned constraints 0
3600.03/3610.00 c bound constraints 0
3600.03/3610.00 c core-guided constraints 0
3600.03/3610.00 c encountered formula constraints 0
3600.03/3610.00 c encountered learned constraints 0
3600.03/3610.00 c encountered bound constraints 0
3600.03/3610.00 c encountered core-guided constraints 0
3600.03/3610.00 c LP total time 0 s
3600.03/3610.00 c LP solve time 0 s
3600.03/3610.00 c LP constraints added 0
3600.03/3610.00 c LP constraints removed 0
3600.03/3610.00 c LP pivots internal 0
3600.03/3610.00 c LP pivots root 0
3600.03/3610.00 c LP calls 0
3600.03/3610.00 c LP optimalities 0
3600.03/3610.00 c LP no pivot count 0
3600.03/3610.00 c LP infeasibilities 0
3600.03/3610.00 c LP valid Farkas constraints 0
3600.03/3610.00 c LP learned Farkas constraints 0
3600.03/3610.00 c LP basis resets 0
3600.03/3610.00 c LP cycling count 0
3600.03/3610.00 c LP singular count 0
3600.03/3610.00 c LP no primal count 0
3600.03/3610.00 c LP no farkas count 0
3600.03/3610.00 c LP other issue count 0
3600.03/3610.00 c LP Gomory cuts 0
3600.03/3610.00 c LP learned cuts 0
3600.03/3610.00 c LP deleted cuts 0
3600.03/3610.00 c LP encountered Gomory constraints 0
3600.03/3610.00 c LP encountered Farkas constraints 0
3600.03/3610.00 c LP encountered learned Farkas constraints 0
3600.03/3610.00 c CG auxiliary variables introduced 0
3600.03/3610.00 c CG solutions found 0
3600.03/3610.00 c CG cores constructed 0
3600.03/3610.00 c CG core cardinality constraints returned 0
3600.03/3610.00 c CG unit cores 0
3600.03/3610.00 c CG single cores 0
3600.03/3610.00 c CG blocks removed during cardinality reduction 0
3600.03/3610.00 c CG first core best 0
3600.03/3610.00 c CG decision core best 0
3600.03/3610.00 c CG core reduction tie 0
3600.03/3610.00 c CG core degree average 0.00
3600.03/3610.00 c CG core slack average 0.00
3600.03/3610.00 c CG core upper bound improvements 0
3600.03/3610.00 c STR number of successful calls 0
3600.03/3610.00 c STR number of unsuccessful calls 0
3600.03/3610.00 c STR number of inconclusive calls 0
3600.03/3610.00 c STR number of successful attempts 0
3600.03/3610.00 c STR number of unsuccessful attempts 0
3600.03/3610.00 c STR number of inconclusive attempts 0
3600.03/3610.00 c STR average degree increase per successful call inf
3600.03/3610.00 c STR average degree increase per successful attempt inf
3600.03/3610.00 c STR total number of conflicts for successful attempts 0
3600.03/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.00 c STR average number of conflicts per successful attempt inf
3600.03/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.00 c AVG.sumWPerc 90.76
3600.03/3610.00 c bigint constraints 0
3600.03/3610.00 s UNKNOWN
3600.03/3610.00 c Program interrupted by user.
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 (53030 MiB free)
memory of node 1: 64465 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522366-1751593322/watcher-4522366-1751593322 -o /tmp/evaluation-result-4522366-1751593322/solver-4522366-1751593322 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4522366-1751593322.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88348, runsolver pid=88345
[startup+0.100063 s]*
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=119349424/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=63536 memory=18932 CPUtime=0.08 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 3275 0 0 0 6 2 0 0 20 0 1 0 75011597 65060864 4733 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 15884 4733 2304 1147 0 3311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67728 KiB
Current children cumulated memory: 22004 KiB
[startup+0.205757 s]*
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=119315780/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=102836 memory=55656 CPUtime=0.19 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 10050 0 0 0 14 5 0 0 20 0 1 0 75011597 105304064 13914 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 25709 13914 2400 1147 0 13136 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107028 KiB
Current children cumulated memory: 58728 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=119299524/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=102836 memory=58076 CPUtime=0.29 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 10115 0 0 0 22 7 0 0 20 0 1 0 75011597 105304064 14519 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 25709 14519 2400 1147 0 13136 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 107028 KiB
Current children cumulated memory: 61148 KiB
[startup+0.700202 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=119299524/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=109936 memory=64540 CPUtime=0.67 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 10713 0 0 0 58 9 0 0 20 0 1 0 75011597 112574464 16135 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 27484 16135 2400 1147 0 14911 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114128 KiB
Current children cumulated memory: 67612 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=119021908/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=123588 memory=76936 CPUtime=1.47 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 11798 0 0 0 136 11 0 0 20 0 1 0 75011597 126554112 19234 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 30897 19234 2400 1147 0 18324 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127780 KiB
Current children cumulated memory: 80008 KiB
[startup+3.10546 s]
/proc/loadavg: 4.16 4.13 4.10 5/268 88350
/proc/meminfo: memFree=118763468/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=140192 memory=91836 CPUtime=3.07 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 14480 0 0 0 293 14 0 0 20 0 1 0 75011597 143556608 22959 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 35048 22959 2400 1147 0 22475 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 144384 KiB
Current children cumulated memory: 94908 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.10 5/268 88350
/proc/meminfo: memFree=118601744/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=167748 memory=106684 CPUtime=6.25 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 18221 0 0 0 606 19 0 0 20 0 1 0 75011597 171773952 26671 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 41937 26671 2400 1147 0 29364 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 171940 KiB
Current children cumulated memory: 109756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.14 4.10 5/268 88350
/proc/meminfo: memFree=118437324/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=184508 memory=132532 CPUtime=12.64 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 22635 0 0 0 1238 26 0 0 20 0 1 0 75011597 188936192 33133 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 46127 33133 2400 1147 0 33554 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 188700 KiB
Current children cumulated memory: 135604 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.15 4.10 5/269 88352
/proc/meminfo: memFree=117131192/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=248320 memory=183188 CPUtime=25.4 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 32220 0 0 0 2505 35 0 0 20 0 1 0 75011597 254279680 45797 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 62080 45797 2400 1147 0 49507 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 186260 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 88352
/proc/meminfo: memFree=114454860/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=259940 memory=199388 CPUtime=50.94 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 35273 0 0 0 5042 52 0 0 20 0 1 0 75011597 266178560 49847 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 64985 49847 2400 1147 0 52412 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 264132 KiB
Current children cumulated memory: 202460 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/269 88400
/proc/meminfo: memFree=112312376/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=345584 memory=259892 CPUtime=102 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 46826 0 0 0 10118 82 0 0 20 0 1 0 75011597 353878016 64973 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 86396 64973 2400 1147 0 73823 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 349776 KiB
Current children cumulated memory: 262964 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/270 88408
/proc/meminfo: memFree=109570088/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=402760 memory=323824 CPUtime=161.84 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 58729 0 0 0 16076 108 0 0 20 0 1 0 75011597 412426240 80956 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 100690 80956 2400 1147 0 88117 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 406952 KiB
Current children cumulated memory: 326896 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/270 88410
/proc/meminfo: memFree=102681660/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=506200 memory=405584 CPUtime=221.68 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 73024 0 0 0 22040 128 0 0 20 0 1 0 75011597 518348800 101396 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 126550 101396 2400 1147 0 113977 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/88350/statm: 273619 225102 2400 1147 0 261046 0
Current children cumulated CPU time: 3033.94 s
Current children cumulated vsize: 1098668 KiB
Current children cumulated memory: 903480 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/269 88617
/proc/meminfo: memFree=111897660/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1114372 memory=921872 CPUtime=3093.76 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 150539 0 0 0 308604 772 0 0 20 0 1 0 75011597 1141116928 230468 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 278593 230468 2400 1147 0 266020 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 1118564 KiB
Current children cumulated memory: 924944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/269 88619
/proc/meminfo: memFree=111835608/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1114372 memory=921872 CPUtime=3153.59 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 150539 0 0 0 314576 783 0 0 20 0 1 0 75011597 1141116928 230468 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 278593 230468 2400 1147 0 266020 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 1118564 KiB
Current children cumulated memory: 924944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/268 88625
/proc/meminfo: memFree=111730932/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1181792 memory=968580 CPUtime=3213.42 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 160181 0 0 0 320548 794 0 0 20 0 1 0 75011597 1210155008 242145 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 295448 242145 2400 1147 0 282875 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 1185984 KiB
Current children cumulated memory: 971652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 88627
/proc/meminfo: memFree=111670220/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1181792 memory=968580 CPUtime=3273.26 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 160181 0 0 0 326523 803 0 0 20 0 1 0 75011597 1210155008 242145 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 295448 242145 2400 1147 0 282875 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 1185984 KiB
Current children cumulated memory: 971652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 88629
/proc/meminfo: memFree=111567192/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1197868 memory=982880 CPUtime=3333.08 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 162718 0 0 0 332495 813 0 0 20 0 1 0 75011597 1226616832 245720 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 299467 245720 2400 1147 0 286894 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 1202060 KiB
Current children cumulated memory: 985952 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 88631
/proc/meminfo: memFree=111522300/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1197868 memory=982880 CPUtime=3392.91 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 162718 0 0 0 338471 820 0 0 20 0 1 0 75011597 1226616832 245720 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 299467 245720 2400 1147 0 286894 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 1202060 KiB
Current children cumulated memory: 985952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 88632
/proc/meminfo: memFree=111475036/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1201464 memory=985440 CPUtime=3452.74 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 163372 0 0 0 344442 832 0 0 20 0 1 0 75011597 1230299136 246360 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 300366 246360 2400 1147 0 287793 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 1205656 KiB
Current children cumulated memory: 988512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 88635
/proc/meminfo: memFree=111403064/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1201464 memory=985440 CPUtime=3512.57 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 163386 0 0 0 350416 841 0 0 20 0 1 0 75011597 1230299136 246360 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 300366 246360 2400 1147 0 287793 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1205656 KiB
Current children cumulated memory: 988512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 88637
/proc/meminfo: memFree=111351760/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1201464 memory=985440 CPUtime=3572.41 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 163400 0 0 0 356393 848 0 0 20 0 1 0 75011597 1230299136 246360 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 300366 246360 2400 1147 0 287793 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 1205656 KiB
Current children cumulated memory: 988512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 3.83 4.03 4.07 4/261 88669
/proc/meminfo: memFree=113224180/131250000 swapFree=33009904/33010684
[pid=88348] ppid=88345 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/88348/stat : 88348 (run-opt.sh) S 88345 88348 87381 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75011596 4292608 768 18446744073709551615 94365840101376 94365840995909 140736432434160 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94365841234960 94365841282704 94365857730560 140736432437613 140736432437736 140736432437736 140736432443338 0
/proc/88348/statm: 1048 768 704 219 0 110 0
[pid=88350] ppid=88348 vsize=1235240 memory=1024784 CPUtime=3600.03 cores=1,3
/proc/88350/stat : 88350 (roundingsat) R 88348 88348 87381 0 -1 4194304 168624 0 0 0 359146 857 0 0 20 0 1 0 75011597 1264885760 256196 18446744073709551615 4227072 8923433 140735744437584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27746304 140735744440738 140735744440872 140735744440872 140735744446442 0
/proc/88350/statm: 308810 256196 2400 1147 0 296237 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1239432 KiB
Current children cumulated memory: 1027856 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 88348 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001214 s, system=0.001213 s
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 88350 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.47 s, system=8.58881 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3591.47
CPU system time (s): 8.58881
CPU usage (%): 99.7239
Max. virtual memory (cumulated for all children) (KiB): 1239432
Max. memory (cumulated for all children) (KiB): 1027856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.47
system time used= 8.58881
maximum resident set size= 1025168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168860
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= 255
involuntary context switches= 2922
# summary of solver processes directly reported to runsolver:
# pid: 88348,88350
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.47
# total CPU system time (s): 8.58881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1637 second user time and 16.3385 second system time
The end
Begin job on nodeC033 at 2025-07-04 03:42:02
IDJOB=4522366
IDBENCH=178754
IDSOLVER=3350
FILE ID=nodeC033/4522366-1751593322
RUNJOBID= nodeC033-1751586076-87393
SLURM_JOB_ID= 9598834
Free space on /tmp= 429796 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522366-1751593322/watcher-4522366-1751593322 -o /tmp/evaluation-result-4522366-1751593322/solver-4522366-1751593322 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87393 --watchdog 3760 run-opt.sh HOME/instance-4522366-1751593322.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9
RANDOM SEED=265410715
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3612.519
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.099
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.297
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3605.770
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3575.616
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119361744 kB
MemAvailable: 125437052 kB
Buffers: 2128 kB
Cached: 6827392 kB
SwapCached: 68 kB
Active: 4916448 kB
Inactive: 6246544 kB
Active(anon): 4345976 kB
Inactive(anon): 5524 kB
Active(file): 570472 kB
Inactive(file): 6241020 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 95324 kB
Writeback: 0 kB
AnonPages: 4336092 kB
Mapped: 117888 kB
Shmem: 18028 kB
KReclaimable: 206108 kB
Slab: 298540 kB
SReclaimable: 206108 kB
SUnreclaim: 92432 kB
KernelStack: 4336 kB
PageTables: 12568 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5625032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1284096 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429708 MiB
End job on nodeC033 at 2025-07-04 04:42:12