0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.22/0.38 c #variables 2046 #constraints 18944
0.22/0.38 c objective is ce32
0.43/0.54 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.43/0.54 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.43/0.54 c GLOBAL bounds - >= -2046 @ 0.328033
0.43/0.55 c GLOBAL bounds - >= -2046 @ 0.332182
0.43/0.55 c GLOBAL bounds - >= -2046 @ 0.339192
0.43/0.56 c GLOBAL bounds - >= -2046 @ 0.34361
0.43/0.57 c GLOBAL bounds - >= -2046 @ 0.347062
0.43/0.58 c GLOBAL bounds - >= -2046 @ 0.349539
0.43/0.58 c GLOBAL bounds - >= -2046 @ 0.351989
0.43/0.59 c GLOBAL bounds - >= -2046 @ 0.358648
0.43/0.60 c GLOBAL bounds - >= -2046 @ 0.36554
0.51/0.61 c GLOBAL bounds - >= -2046 @ 0.373771
0.51/0.62 c GLOBAL bounds - >= -2046 @ 0.380995
0.51/0.63 c GLOBAL bounds - >= -2046 @ 0.385178
0.51/0.64 c GLOBAL bounds - >= -2046 @ 0.387778
0.51/0.65 c GLOBAL bounds - >= -2046 @ 0.390657
0.51/0.66 c GLOBAL bounds - >= -2046 @ 0.39696
0.51/0.66 c GLOBAL bounds - >= -2046 @ 0.400715
0.51/0.67 c GLOBAL bounds - >= -2046 @ 0.405579
0.51/0.68 c GLOBAL bounds - >= -2046 @ 0.409672
0.51/0.69 c GLOBAL bounds - >= -2046 @ 0.415016
0.60/0.70 c GLOBAL bounds - >= -2046 @ 0.417611
0.60/0.71 c GLOBAL bounds - >= -2046 @ 0.42403
0.60/0.71 c GLOBAL bounds - >= -2046 @ 0.427452
0.60/0.72 c GLOBAL bounds - >= -2046 @ 0.431634
0.60/0.74 c GLOBAL bounds - >= -2046 @ 0.442397
0.60/0.75 c GLOBAL bounds - >= -2046 @ 0.449917
0.60/0.75 c GLOBAL bounds - >= -2046 @ 0.454397
0.60/0.76 c GLOBAL bounds - >= -2046 @ 0.457751
0.60/0.77 c GLOBAL bounds - >= -2046 @ 0.461114
0.60/0.78 c GLOBAL bounds - >= -2046 @ 0.466325
0.60/0.79 c GLOBAL bounds - >= -2046 @ 0.472479
0.60/0.79 c GLOBAL bounds - >= -2046 @ 0.477197
0.69/0.80 c GLOBAL bounds - >= -2046 @ 0.480447
0.69/0.81 c GLOBAL bounds - >= -2046 @ 0.484226
0.69/0.81 c GLOBAL bounds - >= -2046 @ 0.488047
0.69/0.82 c GLOBAL bounds - >= -2046 @ 0.490059
0.69/0.82 c GLOBAL bounds - >= -2046 @ 0.492809
0.69/0.83 c GLOBAL bounds - >= -2046 @ 0.49561
0.69/0.83 c GLOBAL bounds - >= -2046 @ 0.497515
0.69/0.84 c GLOBAL bounds - >= -2046 @ 0.50219
0.69/0.84 c GLOBAL bounds - >= -2046 @ 0.505119
0.69/0.85 c GLOBAL bounds - >= -2046 @ 0.507904
0.69/0.85 c GLOBAL bounds - >= -2046 @ 0.510018
0.69/0.86 c GLOBAL bounds - >= -2046 @ 0.514029
0.69/0.87 c GLOBAL bounds - >= -2046 @ 0.517212
0.69/0.87 c GLOBAL bounds - >= -2046 @ 0.522045
0.69/0.88 c GLOBAL bounds - >= -2046 @ 0.526397
0.69/0.88 c GLOBAL bounds - >= -2046 @ 0.529305
0.69/0.89 c GLOBAL bounds - >= -2046 @ 0.531405
0.69/0.89 c GLOBAL bounds - >= -2046 @ 0.534261
0.79/0.90 c GLOBAL bounds - >= -2046 @ 0.53948
0.79/0.91 c GLOBAL bounds - >= -2046 @ 0.544358
0.79/0.91 c GLOBAL bounds - >= -2046 @ 0.54844
0.79/0.92 c GLOBAL bounds - >= -2046 @ 0.554163
0.79/0.93 c GLOBAL bounds - >= -2046 @ 0.557002
0.79/0.93 c GLOBAL bounds - >= -2046 @ 0.559659
0.79/0.94 c GLOBAL bounds - >= -2046 @ 0.561344
0.79/0.94 c GLOBAL bounds - >= -2046 @ 0.564104
0.79/0.95 c GLOBAL bounds - >= -2046 @ 0.565901
0.79/0.95 c GLOBAL bounds - >= -2046 @ 0.569603
0.79/0.96 c GLOBAL bounds - >= -2046 @ 0.573371
0.79/0.96 c GLOBAL bounds - >= -2046 @ 0.578365
0.79/0.97 c GLOBAL bounds - >= -2046 @ 0.585839
0.79/0.97 c GLOBAL bounds - >= -2046 @ 0.588835
0.79/0.98 c GLOBAL bounds - >= -2046 @ 0.59266
0.79/0.99 c GLOBAL bounds - >= -2046 @ 0.59661
0.79/0.99 c GLOBAL bounds - >= -2046 @ 0.59915
0.79/1.00 c GLOBAL bounds - >= -2046 @ 0.602744
0.79/1.00 c GLOBAL bounds - >= -2046 @ 0.606939
0.90/1.01 c GLOBAL bounds - >= -2046 @ 0.612882
0.90/1.02 c GLOBAL bounds - >= -2046 @ 0.616862
0.90/1.02 c GLOBAL bounds - >= -2046 @ 0.619869
0.90/1.03 c GLOBAL bounds - >= -2046 @ 0.624839
0.90/1.03 c GLOBAL bounds - >= -2046 @ 0.625937
0.90/1.04 c GLOBAL bounds - >= -2046 @ 0.62979
0.90/1.05 c GLOBAL bounds - >= -2046 @ 0.6355
0.90/1.05 c GLOBAL bounds - >= -2046 @ 0.639185
0.90/1.06 c GLOBAL bounds - >= -2046 @ 0.642991
0.90/1.07 c GLOBAL bounds - >= -2046 @ 0.649159
0.90/1.07 c GLOBAL bounds - >= -2046 @ 0.656587
0.90/1.08 c GLOBAL bounds - >= -2046 @ 0.663339
0.90/1.09 c GLOBAL bounds - >= -2046 @ 0.667768
0.90/1.10 c GLOBAL bounds - >= -2046 @ 0.670787
0.90/1.10 c GLOBAL bounds - >= -2046 @ 0.673861
0.90/1.11 c GLOBAL bounds - >= -2046 @ 0.676755
1.00/1.12 c GLOBAL bounds - >= -2046 @ 0.679972
1.00/1.12 c GLOBAL bounds - >= -2046 @ 0.686641
1.00/1.13 c GLOBAL bounds - >= -2046 @ 0.691841
1.00/1.14 c GLOBAL bounds - >= -2046 @ 0.69881
1.00/1.14 c GLOBAL bounds - >= -2046 @ 0.704158
1.00/1.15 c GLOBAL bounds - >= -2046 @ 0.708533
1.00/1.16 c GLOBAL bounds - >= -2046 @ 0.711805
1.00/1.16 c GLOBAL bounds - >= -2046 @ 0.714878
1.00/1.17 c GLOBAL bounds - >= -2046 @ 0.719758
1.00/1.17 c GLOBAL bounds - >= -2046 @ 0.721822
1.00/1.18 c GLOBAL bounds - >= -2046 @ 0.725877
1.00/1.19 c GLOBAL bounds - >= -2046 @ 0.732375
1.00/1.19 c GLOBAL bounds - >= -2046 @ 0.737796
1.09/1.20 c GLOBAL bounds - >= -2046 @ 0.739569
1.09/1.21 c GLOBAL bounds - >= -2046 @ 0.743642
1.09/1.21 c GLOBAL bounds - >= -2046 @ 0.747855
1.09/1.22 c GLOBAL bounds - >= -2046 @ 0.758843
1.09/1.24 c GLOBAL bounds - >= -2046 @ 0.768396
1.09/1.24 c GLOBAL bounds - >= -2046 @ 0.775002
1.09/1.27 c GLOBAL bounds - >= -2046 @ 0.795874
1.09/1.28 c GLOBAL bounds - >= -2046 @ 0.80313
1.09/1.28 c GLOBAL bounds - >= -2046 @ 0.810917
1.09/1.30 c GLOBAL bounds - >= -2046 @ 0.820127
1.18/1.30 c GLOBAL bounds - >= -2046 @ 0.828121
1.18/1.31 c GLOBAL bounds - >= -2046 @ 0.834195
1.18/1.32 c GLOBAL bounds - >= -2046 @ 0.839508
1.18/1.32 c GLOBAL bounds - >= -2046 @ 0.84531
1.18/1.33 c GLOBAL bounds - >= -2046 @ 0.850081
1.18/1.34 c GLOBAL bounds - >= -2046 @ 0.853206
1.18/1.34 c GLOBAL bounds - >= -2046 @ 0.857032
1.18/1.35 c GLOBAL bounds - >= -2046 @ 0.861875
1.18/1.35 c GLOBAL bounds - >= -2046 @ 0.86751
1.18/1.36 c GLOBAL bounds - >= -2046 @ 0.87249
1.18/1.36 c GLOBAL bounds - >= -2046 @ 0.876755
1.18/1.37 c GLOBAL bounds - >= -2046 @ 0.884631
1.18/1.38 c GLOBAL bounds - >= -2046 @ 0.889211
1.18/1.38 c GLOBAL bounds - >= -2046 @ 0.895857
1.18/1.39 c GLOBAL bounds - >= -2046 @ 0.901732
1.28/1.40 c GLOBAL bounds - >= -2046 @ 0.907467
1.28/1.40 c GLOBAL bounds - >= -2046 @ 0.910745
1.28/1.41 c GLOBAL bounds - >= -2046 @ 0.91584
1.28/1.41 c GLOBAL bounds - >= -2046 @ 0.921058
1.28/1.42 c GLOBAL bounds - >= -2046 @ 0.925
1.28/1.43 c GLOBAL bounds - >= -2046 @ 0.929597
1.28/1.43 c GLOBAL bounds - >= -2046 @ 0.933435
1.28/1.44 c GLOBAL bounds - >= -2046 @ 0.936827
1.28/1.44 c GLOBAL bounds - >= -2046 @ 0.940774
1.28/1.45 c GLOBAL bounds - >= -2046 @ 0.945586
1.28/1.45 c GLOBAL bounds - >= -2046 @ 0.951737
1.28/1.46 c GLOBAL bounds - >= -2046 @ 0.9566
1.28/1.46 c GLOBAL bounds - >= -2046 @ 0.9606
1.28/1.47 c GLOBAL bounds - >= -2046 @ 0.963213
1.28/1.47 c GLOBAL bounds - >= -2046 @ 0.966954
1.28/1.48 c GLOBAL bounds - >= -2046 @ 0.97199
1.28/1.49 c GLOBAL bounds - >= -2046 @ 0.977231
1.28/1.49 c GLOBAL bounds - >= -2046 @ 0.980472
1.28/1.49 c GLOBAL bounds - >= -2046 @ 0.983014
1.38/1.50 c GLOBAL bounds - >= -2046 @ 0.98596
1.38/1.51 c GLOBAL bounds - >= -2046 @ 0.992265
1.38/1.51 c GLOBAL bounds - >= -2046 @ 0.999796
1.38/1.52 c GLOBAL bounds - >= -2046 @ 1.0054
1.38/1.53 c GLOBAL bounds - >= -2046 @ 1.0135
1.38/1.54 c GLOBAL bounds - >= -2046 @ 1.01779
1.38/1.54 c GLOBAL bounds - >= -2046 @ 1.02299
1.38/1.55 c GLOBAL bounds - >= -2046 @ 1.02712
1.38/1.55 c GLOBAL bounds - >= -2046 @ 1.03152
1.38/1.56 c GLOBAL bounds - >= -2046 @ 1.03516
1.38/1.56 c GLOBAL bounds - >= -2046 @ 1.03938
1.38/1.57 c GLOBAL bounds - >= -2046 @ 1.0434
1.38/1.57 c GLOBAL bounds - >= -2046 @ 1.04663
1.38/1.58 c GLOBAL bounds - >= -2046 @ 1.05342
1.38/1.58 c GLOBAL bounds - >= -2046 @ 1.05716
1.38/1.59 c GLOBAL bounds - >= -2046 @ 1.06454
1.48/1.60 c GLOBAL bounds - >= -2046 @ 1.07004
1.48/1.60 c GLOBAL bounds - >= -2046 @ 1.07489
1.48/1.61 c GLOBAL bounds - >= -2046 @ 1.0872
1.48/1.63 c GLOBAL bounds - >= -2046 @ 1.10206
1.48/1.64 c GLOBAL bounds - >= -2046 @ 1.1134
1.48/1.65 c GLOBAL bounds - >= -2046 @ 1.12353
1.48/1.67 c GLOBAL bounds - >= -2046 @ 1.13416
1.48/1.68 c GLOBAL bounds - >= -2046 @ 1.14408
1.48/1.69 c GLOBAL bounds - >= -2046 @ 1.15641
1.58/1.71 c GLOBAL bounds - >= -2046 @ 1.16854
1.58/1.72 c GLOBAL bounds - >= -2046 @ 1.17947
1.58/1.73 c GLOBAL bounds - >= -2046 @ 1.19048
1.58/1.74 c GLOBAL bounds - >= -2046 @ 1.19937
1.58/1.75 c GLOBAL bounds - >= -2046 @ 1.20661
1.58/1.76 c GLOBAL bounds - >= -2046 @ 1.21647
1.58/1.77 c GLOBAL bounds - >= -2046 @ 1.22737
1.58/1.78 c GLOBAL bounds - >= -2046 @ 1.23579
1.58/1.79 c GLOBAL bounds - >= -2046 @ 1.2439
1.68/1.80 c GLOBAL bounds - >= -2046 @ 1.25187
1.68/1.81 c GLOBAL bounds - >= -2046 @ 1.2586
1.68/1.81 c GLOBAL bounds - >= -2046 @ 1.26551
1.68/1.82 c GLOBAL bounds - >= -2046 @ 1.26954
1.68/1.82 c GLOBAL bounds - >= -2046 @ 1.27469
1.68/1.83 c GLOBAL bounds - >= -2046 @ 1.28069
1.68/1.84 c GLOBAL bounds - >= -2046 @ 1.2864
1.68/1.85 c GLOBAL bounds - >= -2046 @ 1.29813
1.68/1.86 c GLOBAL bounds - >= -2046 @ 1.30324
1.68/1.86 c GLOBAL bounds - >= -2046 @ 1.30771
1.68/1.87 c GLOBAL bounds - >= -2046 @ 1.31376
1.68/1.87 c GLOBAL bounds - >= -2046 @ 1.31853
1.68/1.88 c GLOBAL bounds - >= -2046 @ 1.32561
1.68/1.89 c GLOBAL bounds - >= -2046 @ 1.33399
1.78/1.90 c GLOBAL bounds - >= -2046 @ 1.34116
1.78/1.90 c GLOBAL bounds - >= -2046 @ 1.34746
1.78/1.91 c GLOBAL bounds - >= -2046 @ 1.35265
1.78/1.92 c GLOBAL bounds - >= -2046 @ 1.36184
1.78/1.93 c GLOBAL bounds - >= -2046 @ 1.37159
1.78/1.94 c GLOBAL bounds - >= -2046 @ 1.3795
1.78/1.95 c GLOBAL bounds - >= -2046 @ 1.38862
1.78/1.97 c GLOBAL bounds - >= -2046 @ 1.40819
1.78/1.99 c GLOBAL bounds - >= -2046 @ 1.42101
1.78/2.00 c GLOBAL bounds - >= -2046 @ 1.43408
1.89/2.02 c GLOBAL bounds - >= -2046 @ 1.44589
1.89/2.03 c GLOBAL bounds - >= -2046 @ 1.45882
1.89/2.05 c GLOBAL bounds - >= -2046 @ 1.47713
1.89/2.06 c GLOBAL bounds - >= -2046 @ 1.48753
1.89/2.07 c GLOBAL bounds - >= -2046 @ 1.49721
1.89/2.08 c GLOBAL bounds - >= -2046 @ 1.50829
1.89/2.10 c GLOBAL bounds - >= -2046 @ 1.52136
1.89/2.11 c GLOBAL bounds - >= -2046 @ 1.52986
1.99/2.12 c GLOBAL bounds - >= -2046 @ 1.53917
1.99/2.13 c GLOBAL bounds - >= -2046 @ 1.54974
1.99/2.14 c GLOBAL bounds - >= -2046 @ 1.56037
1.99/2.15 c GLOBAL bounds - >= -2046 @ 1.5702
1.99/2.16 c GLOBAL bounds - >= -2046 @ 1.58068
1.99/2.17 c GLOBAL bounds - >= -2046 @ 1.59165
1.99/2.18 c GLOBAL bounds - >= -2046 @ 1.60237
2.07/2.20 c GLOBAL bounds - >= -2046 @ 1.61558
2.07/2.21 c GLOBAL bounds - >= -2046 @ 1.62699
2.07/2.23 c GLOBAL bounds - >= -2046 @ 1.64147
2.07/2.24 c GLOBAL bounds - >= -2046 @ 1.65506
2.07/2.25 c GLOBAL bounds - >= -2046 @ 1.66917
2.07/2.27 c GLOBAL bounds - >= -2046 @ 1.6812
2.07/2.28 c GLOBAL bounds - >= -2046 @ 1.69536
2.07/2.30 c GLOBAL bounds - >= -2046 @ 1.70745
2.18/2.32 c GLOBAL bounds - >= -2046 @ 1.72752
2.18/2.33 c GLOBAL bounds - >= -2046 @ 1.73704
2.18/2.34 c GLOBAL bounds - >= -2046 @ 1.74857
2.18/2.35 c GLOBAL bounds - >= -2046 @ 1.75943
2.18/2.36 c GLOBAL bounds - >= -2046 @ 1.7701
2.18/2.37 c GLOBAL bounds - >= -2046 @ 1.78222
2.18/2.39 c GLOBAL bounds - >= -2046 @ 1.79518
2.27/2.41 c GLOBAL bounds - >= -2046 @ 1.81339
2.27/2.42 c GLOBAL bounds - >= -2046 @ 1.82801
2.27/2.43 c GLOBAL bounds - >= -2046 @ 1.83885
2.27/2.45 c GLOBAL bounds - >= -2046 @ 1.85199
2.27/2.46 c GLOBAL bounds - >= -2046 @ 1.86419
2.27/2.47 c GLOBAL bounds - >= -2046 @ 1.87803
2.27/2.49 c GLOBAL bounds - >= -2046 @ 1.89399
2.37/2.51 c GLOBAL bounds - >= -2046 @ 1.90867
2.37/2.52 c GLOBAL bounds - >= -2046 @ 1.92279
2.37/2.54 c GLOBAL bounds - >= -2046 @ 1.94082
2.37/2.55 c GLOBAL bounds - >= -2046 @ 1.95619
2.37/2.57 c GLOBAL bounds - >= -2046 @ 1.97094
2.37/2.58 c GLOBAL bounds - >= -2046 @ 1.98459
2.47/2.60 c GLOBAL bounds - >= -2046 @ 1.99905
2.47/2.61 c GLOBAL bounds - >= -2046 @ 2.01398
2.47/2.63 c GLOBAL bounds - >= -2046 @ 2.03058
2.47/2.64 c GLOBAL bounds - >= -2046 @ 2.0448
2.47/2.66 c GLOBAL bounds - >= -2046 @ 2.05962
2.47/2.67 c GLOBAL bounds - >= -2046 @ 2.07369
2.47/2.69 c GLOBAL bounds - >= -2046 @ 2.09011
2.56/2.71 c GLOBAL bounds - >= -2046 @ 2.10508
2.56/2.74 c GLOBAL bounds - >= -2046 @ 2.13752
2.56/2.76 c GLOBAL bounds - >= -2046 @ 2.15359
2.56/2.78 c GLOBAL bounds - >= -2046 @ 2.17198
2.67/2.80 c GLOBAL bounds - >= -2046 @ 2.19025
2.67/2.82 c GLOBAL bounds - >= -2046 @ 2.20524
2.67/2.84 c GLOBAL bounds - >= -2046 @ 2.22505
2.67/2.86 c GLOBAL bounds - >= -2046 @ 2.24431
2.67/2.88 c GLOBAL bounds - >= -2046 @ 2.26469
2.77/2.90 c GLOBAL bounds - >= -2046 @ 2.28383
2.77/2.92 c GLOBAL bounds - >= -2046 @ 2.30412
2.77/2.94 c GLOBAL bounds - >= -2046 @ 2.3239
2.77/2.96 c GLOBAL bounds - >= -2046 @ 2.34017
2.77/2.98 c GLOBAL bounds - >= -2046 @ 2.35741
2.77/2.99 c GLOBAL bounds - >= -2046 @ 2.37152
2.77/3.01 c GLOBAL bounds - >= -2046 @ 2.38939
2.88/3.03 c GLOBAL bounds - >= -2046 @ 2.40777
2.88/3.04 c GLOBAL bounds - >= -2046 @ 2.42442
2.88/3.06 c GLOBAL bounds - >= -2046 @ 2.43907
2.88/3.08 c GLOBAL bounds - >= -2046 @ 2.45797
2.88/3.10 c GLOBAL bounds - >= -2046 @ 2.47942
2.98/3.12 c GLOBAL bounds - >= -2046 @ 2.50059
2.98/3.14 c GLOBAL bounds - >= -2046 @ 2.52123
2.98/3.16 c GLOBAL bounds - >= -2046 @ 2.53743
2.98/3.17 c GLOBAL bounds - >= -2046 @ 2.55243
3.06/3.26 c GLOBAL bounds - >= -2046 @ 2.63526
3.16/3.31 c #Conflicts: 1000 | #Constraints: 20490
3.16/3.31 c GLOBAL bounds - >= -2046 @ 2.68128
3.16/3.36 c GLOBAL bounds - >= -2046 @ 2.73343
3.27/3.45 c GLOBAL bounds - >= -2046 @ 2.81883
3.37/3.59 c GLOBAL bounds - >= -2046 @ 2.95238
13.52/13.78 c #Conflicts: 2000 | #Constraints: 21498
13.52/13.78 c INPROCESSING
13.52/13.78 c GARBAGE COLLECT
13.52/13.78 c #Conflicts: 3000 | #Constraints: 21520
13.52/13.78 c #Conflicts: 4000 | #Constraints: 22520
13.52/13.78 c INPROCESSING
13.52/13.78 c GARBAGE COLLECT
13.52/13.78 c #Conflicts: 5000 | #Constraints: 21937
13.52/13.78 c #Conflicts: 6000 | #Constraints: 22937
13.52/13.78 c INPROCESSING
13.52/13.78 c GARBAGE COLLECT
13.52/13.78 c #Conflicts: 7000 | #Constraints: 21950
13.52/13.78 c #Conflicts: 8000 | #Constraints: 22950
13.52/13.78 c GLOBAL bounds - >= -2046 @ 13.0073
73.80/74.28 c #Conflicts: 9000 | #Constraints: 23952
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 10000 | #Constraints: 22659
73.80/74.28 c #Conflicts: 11000 | #Constraints: 23659
73.80/74.28 c #Conflicts: 12000 | #Constraints: 24659
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 13000 | #Constraints: 23111
73.80/74.28 c #Conflicts: 14000 | #Constraints: 24111
73.80/74.28 c #Conflicts: 15000 | #Constraints: 25111
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 16000 | #Constraints: 23338
73.80/74.28 c #Conflicts: 17000 | #Constraints: 24338
73.80/74.28 c #Conflicts: 18000 | #Constraints: 25338
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 19000 | #Constraints: 23354
73.80/74.28 c #Conflicts: 20000 | #Constraints: 24354
73.80/74.28 c #Conflicts: 21000 | #Constraints: 25354
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 22000 | #Constraints: 23163
73.80/74.28 c #Conflicts: 23000 | #Constraints: 24163
73.80/74.28 c #Conflicts: 24000 | #Constraints: 25163
73.80/74.28 c #Conflicts: 25000 | #Constraints: 26163
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 26000 | #Constraints: 23770
73.80/74.28 c #Conflicts: 27000 | #Constraints: 24770
73.80/74.28 c #Conflicts: 28000 | #Constraints: 25770
73.80/74.28 c #Conflicts: 29000 | #Constraints: 26770
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 30000 | #Constraints: 24176
73.80/74.28 c #Conflicts: 31000 | #Constraints: 25176
73.80/74.28 c #Conflicts: 32000 | #Constraints: 26176
73.80/74.28 c #Conflicts: 33000 | #Constraints: 27176
73.80/74.28 c INPROCESSING
73.80/74.28 c GARBAGE COLLECT
73.80/74.28 c #Conflicts: 34000 | #Constraints: 24370
73.80/74.28 c GLOBAL bounds - >= -2046 @ 72.814
112.07/112.62 c #Conflicts: 35000 | #Constraints: 25372
112.07/112.62 c #Conflicts: 36000 | #Constraints: 26372
112.07/112.62 c #Conflicts: 37000 | #Constraints: 27372
112.07/112.62 c INPROCESSING
112.07/112.62 c GARBAGE COLLECT
112.07/112.62 c #Conflicts: 38000 | #Constraints: 24379
112.07/112.62 c #Conflicts: 39000 | #Constraints: 25379
112.07/112.62 c #Conflicts: 40000 | #Constraints: 26379
112.07/112.62 c #Conflicts: 41000 | #Constraints: 27379
112.07/112.62 c INPROCESSING
112.07/112.62 c GARBAGE COLLECT
112.07/112.62 c #Conflicts: 42000 | #Constraints: 24167
112.07/112.62 c #Conflicts: 43000 | #Constraints: 25167
112.07/112.62 c #Conflicts: 44000 | #Constraints: 26167
112.07/112.62 c #Conflicts: 45000 | #Constraints: 27167
112.07/112.62 c #Conflicts: 46000 | #Constraints: 28167
112.07/112.62 c INPROCESSING
112.07/112.62 c GARBAGE COLLECT
112.07/112.62 c #Conflicts: 47000 | #Constraints: 24761
112.07/112.62 c #Conflicts: 48000 | #Constraints: 25761
112.07/112.62 c #Conflicts: 49000 | #Constraints: 26761
112.07/112.62 c GLOBAL bounds - >= -2046 @ 110.848
175.37/176.14 c #Conflicts: 50000 | #Constraints: 27763
175.37/176.14 c #Conflicts: 51000 | #Constraints: 28763
175.37/176.14 c INPROCESSING
175.37/176.14 c GARBAGE COLLECT
175.37/176.14 c #Conflicts: 52000 | #Constraints: 25167
175.37/176.14 c #Conflicts: 53000 | #Constraints: 26167
175.37/176.14 c #Conflicts: 54000 | #Constraints: 27167
175.37/176.14 c #Conflicts: 55000 | #Constraints: 28167
175.37/176.14 c #Conflicts: 56000 | #Constraints: 29167
175.37/176.14 c INPROCESSING
175.37/176.14 c GARBAGE COLLECT
175.37/176.14 c #Conflicts: 57000 | #Constraints: 25381
175.37/176.14 c #Conflicts: 58000 | #Constraints: 26381
175.37/176.14 c #Conflicts: 59000 | #Constraints: 27381
175.37/176.14 c #Conflicts: 60000 | #Constraints: 28381
175.37/176.14 c #Conflicts: 61000 | #Constraints: 29381
175.37/176.14 c INPROCESSING
175.37/176.14 c GARBAGE COLLECT
175.37/176.14 c #Conflicts: 62000 | #Constraints: 25378
175.37/176.14 c #Conflicts: 63000 | #Constraints: 26378
175.37/176.14 c #Conflicts: 64000 | #Constraints: 27378
175.37/176.14 c #Conflicts: 65000 | #Constraints: 28378
175.37/176.14 c #Conflicts: 66000 | #Constraints: 29378
175.37/176.14 c INPROCESSING
175.37/176.14 c GARBAGE COLLECT
175.37/176.14 c #Conflicts: 67000 | #Constraints: 25183
175.37/176.15 c #Conflicts: 68000 | #Constraints: 26183
175.37/176.15 c #Conflicts: 69000 | #Constraints: 27183
175.37/176.15 c GLOBAL bounds - >= -2046 @ 173.852
454.47/456.16 c #Conflicts: 70000 | #Constraints: 28185
454.47/456.16 c #Conflicts: 71000 | #Constraints: 29185
454.47/456.16 c #Conflicts: 72000 | #Constraints: 30185
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 73000 | #Constraints: 25780
454.47/456.16 c #Conflicts: 74000 | #Constraints: 26780
454.47/456.16 c #Conflicts: 75000 | #Constraints: 27780
454.47/456.16 c #Conflicts: 76000 | #Constraints: 28780
454.47/456.16 c #Conflicts: 77000 | #Constraints: 29780
454.47/456.16 c #Conflicts: 78000 | #Constraints: 30780
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 79000 | #Constraints: 26188
454.47/456.16 c #Conflicts: 80000 | #Constraints: 27188
454.47/456.16 c #Conflicts: 81000 | #Constraints: 28188
454.47/456.16 c #Conflicts: 82000 | #Constraints: 29188
454.47/456.16 c #Conflicts: 83000 | #Constraints: 30188
454.47/456.16 c #Conflicts: 84000 | #Constraints: 31188
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 85000 | #Constraints: 26394
454.47/456.16 c #Conflicts: 86000 | #Constraints: 27394
454.47/456.16 c #Conflicts: 87000 | #Constraints: 28394
454.47/456.16 c #Conflicts: 88000 | #Constraints: 29394
454.47/456.16 c #Conflicts: 89000 | #Constraints: 30394
454.47/456.16 c #Conflicts: 90000 | #Constraints: 31394
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 91000 | #Constraints: 26394
454.47/456.16 c #Conflicts: 92000 | #Constraints: 27394
454.47/456.16 c #Conflicts: 93000 | #Constraints: 28394
454.47/456.16 c #Conflicts: 94000 | #Constraints: 29394
454.47/456.16 c #Conflicts: 95000 | #Constraints: 30394
454.47/456.16 c #Conflicts: 96000 | #Constraints: 31394
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 97000 | #Constraints: 26197
454.47/456.16 c #Conflicts: 98000 | #Constraints: 27197
454.47/456.16 c #Conflicts: 99000 | #Constraints: 28197
454.47/456.16 c #Conflicts: 100000 | #Constraints: 29197
454.47/456.16 c #Conflicts: 101000 | #Constraints: 30197
454.47/456.16 c #Conflicts: 102000 | #Constraints: 31197
454.47/456.16 c #Conflicts: 103000 | #Constraints: 32197
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 104000 | #Constraints: 26795
454.47/456.16 c #Conflicts: 105000 | #Constraints: 27795
454.47/456.16 c #Conflicts: 106000 | #Constraints: 28795
454.47/456.16 c #Conflicts: 107000 | #Constraints: 29795
454.47/456.16 c #Conflicts: 108000 | #Constraints: 30795
454.47/456.16 c #Conflicts: 109000 | #Constraints: 31795
454.47/456.16 c #Conflicts: 110000 | #Constraints: 32795
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 111000 | #Constraints: 27195
454.47/456.16 c #Conflicts: 112000 | #Constraints: 28195
454.47/456.16 c #Conflicts: 113000 | #Constraints: 29195
454.47/456.16 c #Conflicts: 114000 | #Constraints: 30195
454.47/456.16 c #Conflicts: 115000 | #Constraints: 31195
454.47/456.16 c #Conflicts: 116000 | #Constraints: 32195
454.47/456.16 c #Conflicts: 117000 | #Constraints: 33195
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 118000 | #Constraints: 27394
454.47/456.16 c #Conflicts: 119000 | #Constraints: 28394
454.47/456.16 c #Conflicts: 120000 | #Constraints: 29394
454.47/456.16 c #Conflicts: 121000 | #Constraints: 30394
454.47/456.16 c #Conflicts: 122000 | #Constraints: 31394
454.47/456.16 c #Conflicts: 123000 | #Constraints: 32394
454.47/456.16 c #Conflicts: 124000 | #Constraints: 33394
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 125000 | #Constraints: 27394
454.47/456.16 c #Conflicts: 126000 | #Constraints: 28394
454.47/456.16 c #Conflicts: 127000 | #Constraints: 29394
454.47/456.16 c #Conflicts: 128000 | #Constraints: 30394
454.47/456.16 c #Conflicts: 129000 | #Constraints: 31394
454.47/456.16 c #Conflicts: 130000 | #Constraints: 32394
454.47/456.16 c #Conflicts: 131000 | #Constraints: 33394
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 132000 | #Constraints: 27190
454.47/456.16 c #Conflicts: 133000 | #Constraints: 28190
454.47/456.16 c #Conflicts: 134000 | #Constraints: 29190
454.47/456.16 c #Conflicts: 135000 | #Constraints: 30190
454.47/456.16 c #Conflicts: 136000 | #Constraints: 31190
454.47/456.16 c #Conflicts: 137000 | #Constraints: 32190
454.47/456.16 c #Conflicts: 138000 | #Constraints: 33190
454.47/456.16 c #Conflicts: 139000 | #Constraints: 34190
454.47/456.16 c INPROCESSING
454.47/456.16 c GARBAGE COLLECT
454.47/456.16 c #Conflicts: 140000 | #Constraints: 27784
454.47/456.16 c #Conflicts: 141000 | #Constraints: 28784
481.19/482.97 c #Conflicts: 142000 | #Constraints: 29784
481.19/482.97 c #Conflicts: 143000 | #Constraints: 30784
481.19/482.97 c #Conflicts: 144000 | #Constraints: 31784
481.19/482.97 c #Conflicts: 145000 | #Constraints: 32784
481.19/482.97 c #Conflicts: 146000 | #Constraints: 33784
481.19/482.97 c #Conflicts: 147000 | #Constraints: 34784
481.19/482.97 c INPROCESSING
481.19/482.97 c GARBAGE COLLECT
481.19/482.97 c #Conflicts: 148000 | #Constraints: 28176
481.19/482.97 c #Conflicts: 149000 | #Constraints: 29176
481.19/482.97 c GLOBAL bounds - >= -2046 @ 478.633
564.70/566.79 c #Conflicts: 150000 | #Constraints: 30178
564.70/566.79 c #Conflicts: 151000 | #Constraints: 31178
564.70/566.79 c #Conflicts: 152000 | #Constraints: 32178
564.70/566.79 c #Conflicts: 153000 | #Constraints: 33178
564.70/566.79 c #Conflicts: 154000 | #Constraints: 34178
564.70/566.79 c #Conflicts: 155000 | #Constraints: 35178
564.70/566.79 c INPROCESSING
564.70/566.79 c GARBAGE COLLECT
564.70/566.79 c #Conflicts: 156000 | #Constraints: 28389
564.70/566.79 c #Conflicts: 157000 | #Constraints: 29389
564.70/566.79 c #Conflicts: 158000 | #Constraints: 30389
564.70/566.79 c #Conflicts: 159000 | #Constraints: 31389
564.70/566.79 c #Conflicts: 160000 | #Constraints: 32389
564.70/566.79 c #Conflicts: 161000 | #Constraints: 33389
564.70/566.79 c #Conflicts: 162000 | #Constraints: 34389
564.70/566.79 c #Conflicts: 163000 | #Constraints: 35389
564.70/566.79 c INPROCESSING
564.70/566.79 c GARBAGE COLLECT
564.70/566.79 c #Conflicts: 164000 | #Constraints: 28392
564.70/566.79 c #Conflicts: 165000 | #Constraints: 29392
564.70/566.79 c #Conflicts: 166000 | #Constraints: 30392
564.70/566.79 c GLOBAL bounds - >= -2046 @ 561.935
877.37/880.32 c #Conflicts: 167000 | #Constraints: 31394
877.37/880.32 c #Conflicts: 168000 | #Constraints: 32394
877.37/880.32 c #Conflicts: 169000 | #Constraints: 33394
877.37/880.32 c #Conflicts: 170000 | #Constraints: 34394
877.37/880.32 c #Conflicts: 171000 | #Constraints: 35394
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 172000 | #Constraints: 28197
877.37/880.32 c #Conflicts: 173000 | #Constraints: 29197
877.37/880.32 c #Conflicts: 174000 | #Constraints: 30197
877.37/880.32 c #Conflicts: 175000 | #Constraints: 31197
877.37/880.32 c #Conflicts: 176000 | #Constraints: 32197
877.37/880.32 c #Conflicts: 177000 | #Constraints: 33197
877.37/880.32 c #Conflicts: 178000 | #Constraints: 34197
877.37/880.32 c #Conflicts: 179000 | #Constraints: 35197
877.37/880.32 c #Conflicts: 180000 | #Constraints: 36197
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 181000 | #Constraints: 28796
877.37/880.32 c #Conflicts: 182000 | #Constraints: 29796
877.37/880.32 c #Conflicts: 183000 | #Constraints: 30796
877.37/880.32 c #Conflicts: 184000 | #Constraints: 31796
877.37/880.32 c #Conflicts: 185000 | #Constraints: 32796
877.37/880.32 c #Conflicts: 186000 | #Constraints: 33796
877.37/880.32 c #Conflicts: 187000 | #Constraints: 34796
877.37/880.32 c #Conflicts: 188000 | #Constraints: 35796
877.37/880.32 c #Conflicts: 189000 | #Constraints: 36796
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 190000 | #Constraints: 29195
877.37/880.32 c #Conflicts: 191000 | #Constraints: 30195
877.37/880.32 c #Conflicts: 192000 | #Constraints: 31195
877.37/880.32 c #Conflicts: 193000 | #Constraints: 32195
877.37/880.32 c #Conflicts: 194000 | #Constraints: 33195
877.37/880.32 c #Conflicts: 195000 | #Constraints: 34195
877.37/880.32 c #Conflicts: 196000 | #Constraints: 35195
877.37/880.32 c #Conflicts: 197000 | #Constraints: 36195
877.37/880.32 c #Conflicts: 198000 | #Constraints: 37195
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 199000 | #Constraints: 29401
877.37/880.32 c #Conflicts: 200000 | #Constraints: 30401
877.37/880.32 c #Conflicts: 201000 | #Constraints: 31401
877.37/880.32 c #Conflicts: 202000 | #Constraints: 32401
877.37/880.32 c #Conflicts: 203000 | #Constraints: 33401
877.37/880.32 c #Conflicts: 204000 | #Constraints: 34401
877.37/880.32 c #Conflicts: 205000 | #Constraints: 35401
877.37/880.32 c #Conflicts: 206000 | #Constraints: 36401
877.37/880.32 c #Conflicts: 207000 | #Constraints: 37401
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 208000 | #Constraints: 29400
877.37/880.32 c #Conflicts: 209000 | #Constraints: 30400
877.37/880.32 c #Conflicts: 210000 | #Constraints: 31400
877.37/880.32 c #Conflicts: 211000 | #Constraints: 32400
877.37/880.32 c #Conflicts: 212000 | #Constraints: 33400
877.37/880.32 c #Conflicts: 213000 | #Constraints: 34400
877.37/880.32 c #Conflicts: 214000 | #Constraints: 35400
877.37/880.32 c #Conflicts: 215000 | #Constraints: 36400
877.37/880.32 c #Conflicts: 216000 | #Constraints: 37400
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 217000 | #Constraints: 29198
877.37/880.32 c #Conflicts: 218000 | #Constraints: 30198
877.37/880.32 c #Conflicts: 219000 | #Constraints: 31198
877.37/880.32 c #Conflicts: 220000 | #Constraints: 32198
877.37/880.32 c #Conflicts: 221000 | #Constraints: 33198
877.37/880.32 c #Conflicts: 222000 | #Constraints: 34198
877.37/880.32 c #Conflicts: 223000 | #Constraints: 35198
877.37/880.32 c #Conflicts: 224000 | #Constraints: 36198
877.37/880.32 c #Conflicts: 225000 | #Constraints: 37198
877.37/880.32 c #Conflicts: 226000 | #Constraints: 38198
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 227000 | #Constraints: 29801
877.37/880.32 c #Conflicts: 228000 | #Constraints: 30801
877.37/880.32 c #Conflicts: 229000 | #Constraints: 31801
877.37/880.32 c #Conflicts: 230000 | #Constraints: 32801
877.37/880.32 c #Conflicts: 231000 | #Constraints: 33801
877.37/880.32 c #Conflicts: 232000 | #Constraints: 34801
877.37/880.32 c #Conflicts: 233000 | #Constraints: 35801
877.37/880.32 c #Conflicts: 234000 | #Constraints: 36801
877.37/880.32 c #Conflicts: 235000 | #Constraints: 37801
877.37/880.32 c #Conflicts: 236000 | #Constraints: 38801
877.37/880.32 c INPROCESSING
877.37/880.32 c GARBAGE COLLECT
877.37/880.32 c #Conflicts: 237000 | #Constraints: 30200
877.37/880.32 c #Conflicts: 238000 | #Constraints: 31200
877.37/880.32 c #Conflicts: 239000 | #Constraints: 32200
877.37/880.32 c #Conflicts: 240000 | #Constraints: 33200
1341.60/1345.97 c #Conflicts: 241000 | #Constraints: 34200
1341.60/1345.97 c #Conflicts: 242000 | #Constraints: 35200
1341.60/1345.97 c #Conflicts: 243000 | #Constraints: 36200
1341.60/1345.97 c #Conflicts: 244000 | #Constraints: 37200
1341.60/1345.97 c #Conflicts: 245000 | #Constraints: 38200
1341.60/1345.97 c #Conflicts: 246000 | #Constraints: 39200
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 247000 | #Constraints: 30390
1341.60/1345.97 c #Conflicts: 248000 | #Constraints: 31390
1341.60/1345.97 c #Conflicts: 249000 | #Constraints: 32390
1341.60/1345.97 c #Conflicts: 250000 | #Constraints: 33390
1341.60/1345.97 c #Conflicts: 251000 | #Constraints: 34390
1341.60/1345.97 c #Conflicts: 252000 | #Constraints: 35390
1341.60/1345.97 c #Conflicts: 253000 | #Constraints: 36390
1341.60/1345.97 c #Conflicts: 254000 | #Constraints: 37390
1341.60/1345.97 c #Conflicts: 255000 | #Constraints: 38390
1341.60/1345.97 c #Conflicts: 256000 | #Constraints: 39390
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 257000 | #Constraints: 30390
1341.60/1345.97 c #Conflicts: 258000 | #Constraints: 31390
1341.60/1345.97 c #Conflicts: 259000 | #Constraints: 32390
1341.60/1345.97 c #Conflicts: 260000 | #Constraints: 33390
1341.60/1345.97 c #Conflicts: 261000 | #Constraints: 34390
1341.60/1345.97 c #Conflicts: 262000 | #Constraints: 35390
1341.60/1345.97 c #Conflicts: 263000 | #Constraints: 36390
1341.60/1345.97 c #Conflicts: 264000 | #Constraints: 37390
1341.60/1345.97 c #Conflicts: 265000 | #Constraints: 38390
1341.60/1345.97 c #Conflicts: 266000 | #Constraints: 39390
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 267000 | #Constraints: 30190
1341.60/1345.97 c #Conflicts: 268000 | #Constraints: 31190
1341.60/1345.97 c #Conflicts: 269000 | #Constraints: 32190
1341.60/1345.97 c #Conflicts: 270000 | #Constraints: 33190
1341.60/1345.97 c #Conflicts: 271000 | #Constraints: 34190
1341.60/1345.97 c #Conflicts: 272000 | #Constraints: 35190
1341.60/1345.97 c #Conflicts: 273000 | #Constraints: 36190
1341.60/1345.97 c #Conflicts: 274000 | #Constraints: 37190
1341.60/1345.97 c #Conflicts: 275000 | #Constraints: 38190
1341.60/1345.97 c #Conflicts: 276000 | #Constraints: 39190
1341.60/1345.97 c #Conflicts: 277000 | #Constraints: 40190
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 278000 | #Constraints: 30795
1341.60/1345.97 c #Conflicts: 279000 | #Constraints: 31795
1341.60/1345.97 c #Conflicts: 280000 | #Constraints: 32795
1341.60/1345.97 c #Conflicts: 281000 | #Constraints: 33795
1341.60/1345.97 c #Conflicts: 282000 | #Constraints: 34795
1341.60/1345.97 c #Conflicts: 283000 | #Constraints: 35795
1341.60/1345.97 c #Conflicts: 284000 | #Constraints: 36795
1341.60/1345.97 c #Conflicts: 285000 | #Constraints: 37795
1341.60/1345.97 c #Conflicts: 286000 | #Constraints: 38795
1341.60/1345.97 c #Conflicts: 287000 | #Constraints: 39795
1341.60/1345.97 c #Conflicts: 288000 | #Constraints: 40795
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 289000 | #Constraints: 31207
1341.60/1345.97 c #Conflicts: 290000 | #Constraints: 32207
1341.60/1345.97 c #Conflicts: 291000 | #Constraints: 33207
1341.60/1345.97 c #Conflicts: 292000 | #Constraints: 34207
1341.60/1345.97 c #Conflicts: 293000 | #Constraints: 35207
1341.60/1345.97 c #Conflicts: 294000 | #Constraints: 36207
1341.60/1345.97 c #Conflicts: 295000 | #Constraints: 37207
1341.60/1345.97 c #Conflicts: 296000 | #Constraints: 38207
1341.60/1345.97 c #Conflicts: 297000 | #Constraints: 39207
1341.60/1345.97 c #Conflicts: 298000 | #Constraints: 40207
1341.60/1345.97 c #Conflicts: 299000 | #Constraints: 41207
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 300000 | #Constraints: 31413
1341.60/1345.97 c #Conflicts: 301000 | #Constraints: 32413
1341.60/1345.97 c #Conflicts: 302000 | #Constraints: 33413
1341.60/1345.97 c #Conflicts: 303000 | #Constraints: 34413
1341.60/1345.97 c #Conflicts: 304000 | #Constraints: 35413
1341.60/1345.97 c #Conflicts: 305000 | #Constraints: 36413
1341.60/1345.97 c #Conflicts: 306000 | #Constraints: 37413
1341.60/1345.97 c #Conflicts: 307000 | #Constraints: 38413
1341.60/1345.97 c #Conflicts: 308000 | #Constraints: 39413
1341.60/1345.97 c #Conflicts: 309000 | #Constraints: 40413
1341.60/1345.97 c #Conflicts: 310000 | #Constraints: 41413
1341.60/1345.97 c INPROCESSING
1341.60/1345.97 c GARBAGE COLLECT
1341.60/1345.97 c #Conflicts: 311000 | #Constraints: 31404
1341.60/1345.97 c #Conflicts: 312000 | #Constraints: 32404
1341.60/1345.97 c #Conflicts: 313000 | #Constraints: 33404
1341.60/1345.97 c #Conflicts: 314000 | #Constraints: 34404
1341.60/1345.97 c #Conflicts: 315000 | #Constraints: 35404
1772.59/1778.31 c #Conflicts: 316000 | #Constraints: 36404
1772.59/1778.31 c #Conflicts: 317000 | #Constraints: 37404
1772.59/1778.31 c #Conflicts: 318000 | #Constraints: 38404
1772.59/1778.31 c #Conflicts: 319000 | #Constraints: 39404
1772.59/1778.31 c #Conflicts: 320000 | #Constraints: 40404
1772.59/1778.31 c #Conflicts: 321000 | #Constraints: 41404
1772.59/1778.31 c INPROCESSING
1772.59/1778.31 c GARBAGE COLLECT
1772.59/1778.31 c #Conflicts: 322000 | #Constraints: 31187
1772.59/1778.31 c #Conflicts: 323000 | #Constraints: 32187
1772.59/1778.31 c #Conflicts: 324000 | #Constraints: 33187
1772.59/1778.31 c #Conflicts: 325000 | #Constraints: 34187
1772.59/1778.31 c #Conflicts: 326000 | #Constraints: 35187
1772.59/1778.31 c #Conflicts: 327000 | #Constraints: 36187
1772.59/1778.31 c #Conflicts: 328000 | #Constraints: 37187
1772.59/1778.31 c #Conflicts: 329000 | #Constraints: 38187
1772.59/1778.31 c #Conflicts: 330000 | #Constraints: 39187
1772.59/1778.31 c #Conflicts: 331000 | #Constraints: 40187
1772.59/1778.31 c #Conflicts: 332000 | #Constraints: 41187
1772.59/1778.31 c #Conflicts: 333000 | #Constraints: 42187
1772.59/1778.31 c INPROCESSING
1772.59/1778.31 c GARBAGE COLLECT
1772.59/1778.31 c #Conflicts: 334000 | #Constraints: 31790
1772.59/1778.31 c #Conflicts: 335000 | #Constraints: 32790
1772.59/1778.31 c #Conflicts: 336000 | #Constraints: 33790
1772.59/1778.31 c #Conflicts: 337000 | #Constraints: 34790
1772.59/1778.31 c #Conflicts: 338000 | #Constraints: 35790
1772.59/1778.31 c #Conflicts: 339000 | #Constraints: 36790
1772.59/1778.31 c #Conflicts: 340000 | #Constraints: 37790
1772.59/1778.31 c #Conflicts: 341000 | #Constraints: 38790
1772.59/1778.31 c #Conflicts: 342000 | #Constraints: 39790
1772.59/1778.31 c #Conflicts: 343000 | #Constraints: 40790
1772.59/1778.31 c #Conflicts: 344000 | #Constraints: 41790
1772.59/1778.31 c #Conflicts: 345000 | #Constraints: 42790
1772.59/1778.31 c INPROCESSING
1772.59/1778.31 c GARBAGE COLLECT
1772.59/1778.31 c #Conflicts: 346000 | #Constraints: 32196
1772.59/1778.31 c #Conflicts: 347000 | #Constraints: 33196
1772.59/1778.31 c #Conflicts: 348000 | #Constraints: 34196
1772.59/1778.31 c #Conflicts: 349000 | #Constraints: 35196
1772.59/1778.31 c #Conflicts: 350000 | #Constraints: 36196
1772.59/1778.31 c #Conflicts: 351000 | #Constraints: 37196
1772.59/1778.31 c #Conflicts: 352000 | #Constraints: 38196
1772.59/1778.31 c #Conflicts: 353000 | #Constraints: 39196
1772.59/1778.31 c #Conflicts: 354000 | #Constraints: 40196
1772.59/1778.31 c #Conflicts: 355000 | #Constraints: 41196
1772.59/1778.31 c #Conflicts: 356000 | #Constraints: 42196
1772.59/1778.31 c #Conflicts: 357000 | #Constraints: 43196
1772.59/1778.31 c INPROCESSING
1772.59/1778.31 c GARBAGE COLLECT
1772.59/1778.31 c #Conflicts: 358000 | #Constraints: 32398
1772.59/1778.31 c #Conflicts: 359000 | #Constraints: 33398
1772.59/1778.31 c #Conflicts: 360000 | #Constraints: 34398
1772.59/1778.31 c #Conflicts: 361000 | #Constraints: 35398
1772.59/1778.31 c #Conflicts: 362000 | #Constraints: 36398
1772.59/1778.31 c #Conflicts: 363000 | #Constraints: 37398
1772.59/1778.31 c #Conflicts: 364000 | #Constraints: 38398
1772.59/1778.31 c #Conflicts: 365000 | #Constraints: 39398
1772.59/1778.31 c #Conflicts: 366000 | #Constraints: 40398
1772.59/1778.31 c #Conflicts: 367000 | #Constraints: 41398
1772.59/1778.31 c #Conflicts: 368000 | #Constraints: 42398
1772.59/1778.31 c #Conflicts: 369000 | #Constraints: 43398
1772.59/1778.31 c INPROCESSING
1772.59/1778.31 c GARBAGE COLLECT
1772.59/1778.31 c #Conflicts: 370000 | #Constraints: 32411
1772.59/1778.31 c #Conflicts: 371000 | #Constraints: 33411
1772.59/1778.31 c #Conflicts: 372000 | #Constraints: 34411
1772.59/1778.31 c #Conflicts: 373000 | #Constraints: 35411
1772.59/1778.31 c #Conflicts: 374000 | #Constraints: 36411
1772.59/1778.31 c #Conflicts: 375000 | #Constraints: 37411
1772.59/1778.31 c #Conflicts: 376000 | #Constraints: 38411
1772.59/1778.31 c #Conflicts: 377000 | #Constraints: 39411
1772.59/1778.31 c #Conflicts: 378000 | #Constraints: 40411
1772.59/1778.31 c #Conflicts: 379000 | #Constraints: 41411
1772.59/1778.31 c GLOBAL bounds - >= -2046 @ 1766.79
1990.13/1996.56 c #Conflicts: 380000 | #Constraints: 42413
1990.13/1996.56 c #Conflicts: 381000 | #Constraints: 43413
1990.13/1996.56 c INPROCESSING
1990.13/1996.56 c GARBAGE COLLECT
1990.13/1996.56 c #Conflicts: 382000 | #Constraints: 32221
1990.13/1996.56 c #Conflicts: 383000 | #Constraints: 33221
1990.13/1996.56 c #Conflicts: 384000 | #Constraints: 34221
1990.13/1996.56 c #Conflicts: 385000 | #Constraints: 35221
1990.13/1996.56 c #Conflicts: 386000 | #Constraints: 36221
1990.13/1996.56 c #Conflicts: 387000 | #Constraints: 37221
1990.13/1996.56 c #Conflicts: 388000 | #Constraints: 38221
1990.13/1996.56 c #Conflicts: 389000 | #Constraints: 39221
1990.13/1996.56 c #Conflicts: 390000 | #Constraints: 40221
1990.13/1996.56 c #Conflicts: 391000 | #Constraints: 41221
1990.13/1996.56 c #Conflicts: 392000 | #Constraints: 42221
1990.13/1996.56 c #Conflicts: 393000 | #Constraints: 43221
1990.13/1996.56 c #Conflicts: 394000 | #Constraints: 44221
1990.13/1996.56 c INPROCESSING
1990.13/1996.56 c GARBAGE COLLECT
1990.13/1996.56 c #Conflicts: 395000 | #Constraints: 32813
1990.13/1996.56 c #Conflicts: 396000 | #Constraints: 33813
1990.13/1996.56 c #Conflicts: 397000 | #Constraints: 34813
1990.13/1996.56 c #Conflicts: 398000 | #Constraints: 35813
1990.13/1996.56 c #Conflicts: 399000 | #Constraints: 36813
1990.13/1996.56 c #Conflicts: 400000 | #Constraints: 37813
1990.13/1996.56 c #Conflicts: 401000 | #Constraints: 38813
1990.13/1996.56 c #Conflicts: 402000 | #Constraints: 39813
1990.13/1996.56 c #Conflicts: 403000 | #Constraints: 40813
1990.13/1996.56 c #Conflicts: 404000 | #Constraints: 41813
1990.13/1996.56 c #Conflicts: 405000 | #Constraints: 42813
1990.13/1996.56 c #Conflicts: 406000 | #Constraints: 43813
1990.13/1996.56 c #Conflicts: 407000 | #Constraints: 44813
1990.13/1996.56 c INPROCESSING
1990.13/1996.56 c GARBAGE COLLECT
1990.13/1996.56 c #Conflicts: 408000 | #Constraints: 33200
1990.13/1996.56 c #Conflicts: 409000 | #Constraints: 34200
1990.13/1996.56 c GLOBAL bounds - >= -2046 @ 1983.91
2330.28/2337.70 c #Conflicts: 410000 | #Constraints: 35202
2330.28/2337.70 c #Conflicts: 411000 | #Constraints: 36202
2330.28/2337.70 c #Conflicts: 412000 | #Constraints: 37202
2330.28/2337.70 c #Conflicts: 413000 | #Constraints: 38202
2330.28/2337.70 c #Conflicts: 414000 | #Constraints: 39202
2330.28/2337.70 c #Conflicts: 415000 | #Constraints: 40202
2330.28/2337.70 c #Conflicts: 416000 | #Constraints: 41202
2330.28/2337.70 c #Conflicts: 417000 | #Constraints: 42202
2330.28/2337.70 c #Conflicts: 418000 | #Constraints: 43202
2330.28/2337.70 c #Conflicts: 419000 | #Constraints: 44202
2330.28/2337.70 c #Conflicts: 420000 | #Constraints: 45202
2330.28/2337.70 c INPROCESSING
2330.28/2337.70 c GARBAGE COLLECT
2330.28/2337.70 c #Conflicts: 421000 | #Constraints: 33412
2330.28/2337.70 c #Conflicts: 422000 | #Constraints: 34412
2330.28/2337.70 c #Conflicts: 423000 | #Constraints: 35412
2330.28/2337.70 c #Conflicts: 424000 | #Constraints: 36412
2330.28/2337.70 c #Conflicts: 425000 | #Constraints: 37412
2330.28/2337.70 c #Conflicts: 426000 | #Constraints: 38412
2330.28/2337.70 c #Conflicts: 427000 | #Constraints: 39412
2330.28/2337.70 c #Conflicts: 428000 | #Constraints: 40412
2330.28/2337.70 c #Conflicts: 429000 | #Constraints: 41412
2330.28/2337.70 c #Conflicts: 430000 | #Constraints: 42412
2330.28/2337.70 c #Conflicts: 431000 | #Constraints: 43412
2330.28/2337.70 c #Conflicts: 432000 | #Constraints: 44412
2330.28/2337.70 c #Conflicts: 433000 | #Constraints: 45412
2330.28/2337.70 c INPROCESSING
2330.28/2337.70 c GARBAGE COLLECT
2330.28/2337.70 c #Conflicts: 434000 | #Constraints: 33415
2330.28/2337.70 c #Conflicts: 435000 | #Constraints: 34415
2330.28/2337.70 c #Conflicts: 436000 | #Constraints: 35415
2330.28/2337.70 c #Conflicts: 437000 | #Constraints: 36415
2330.28/2337.70 c #Conflicts: 438000 | #Constraints: 37415
2330.28/2337.70 c #Conflicts: 439000 | #Constraints: 38415
2330.28/2337.70 c #Conflicts: 440000 | #Constraints: 39415
2330.28/2337.70 c #Conflicts: 441000 | #Constraints: 40415
2330.28/2337.70 c #Conflicts: 442000 | #Constraints: 41415
2330.28/2337.70 c #Conflicts: 443000 | #Constraints: 42415
2330.28/2337.70 c #Conflicts: 444000 | #Constraints: 43415
2330.28/2337.70 c #Conflicts: 445000 | #Constraints: 44415
2330.28/2337.70 c #Conflicts: 446000 | #Constraints: 45415
2330.28/2337.70 c INPROCESSING
2330.28/2337.70 c GARBAGE COLLECT
2330.28/2337.70 c #Conflicts: 447000 | #Constraints: 33215
2330.28/2337.70 c #Conflicts: 448000 | #Constraints: 34215
2330.28/2337.70 c #Conflicts: 449000 | #Constraints: 35215
2330.28/2337.70 c #Conflicts: 450000 | #Constraints: 36215
2330.28/2337.70 c #Conflicts: 451000 | #Constraints: 37215
2330.28/2337.70 c #Conflicts: 452000 | #Constraints: 38215
2330.28/2337.70 c #Conflicts: 453000 | #Constraints: 39215
2330.28/2337.70 c #Conflicts: 454000 | #Constraints: 40215
2330.28/2337.70 c #Conflicts: 455000 | #Constraints: 41215
2330.28/2337.70 c #Conflicts: 456000 | #Constraints: 42215
2330.28/2337.70 c #Conflicts: 457000 | #Constraints: 43215
2330.28/2337.70 c #Conflicts: 458000 | #Constraints: 44215
2330.28/2337.70 c #Conflicts: 459000 | #Constraints: 45215
2330.28/2337.70 c #Conflicts: 460000 | #Constraints: 46215
2330.28/2337.70 c INPROCESSING
2330.28/2337.70 c GARBAGE COLLECT
2330.28/2337.70 c #Conflicts: 461000 | #Constraints: 33807
2330.28/2337.70 c #Conflicts: 462000 | #Constraints: 34807
2330.28/2337.70 c #Conflicts: 463000 | #Constraints: 35807
2330.28/2337.70 c #Conflicts: 464000 | #Constraints: 36807
2330.28/2337.70 c #Conflicts: 465000 | #Constraints: 37807
2330.28/2337.70 c #Conflicts: 466000 | #Constraints: 38807
2330.28/2337.70 c #Conflicts: 467000 | #Constraints: 39807
2330.28/2337.70 c #Conflicts: 468000 | #Constraints: 40807
2330.28/2337.70 c #Conflicts: 469000 | #Constraints: 41807
2330.28/2337.70 c GLOBAL bounds - >= -2046 @ 2323.34
2643.53/2651.98 c #Conflicts: 470000 | #Constraints: 42809
2643.53/2651.98 c #Conflicts: 471000 | #Constraints: 43809
2643.53/2651.98 c #Conflicts: 472000 | #Constraints: 44809
2643.53/2651.98 c #Conflicts: 473000 | #Constraints: 45809
2643.53/2651.98 c #Conflicts: 474000 | #Constraints: 46809
2643.53/2651.98 c INPROCESSING
2643.53/2651.98 c GARBAGE COLLECT
2643.53/2651.98 c #Conflicts: 475000 | #Constraints: 34213
2643.53/2651.98 c #Conflicts: 476000 | #Constraints: 35213
2643.53/2651.98 c #Conflicts: 477000 | #Constraints: 36213
2643.53/2651.98 c #Conflicts: 478000 | #Constraints: 37213
2643.53/2651.98 c #Conflicts: 479000 | #Constraints: 38213
2643.53/2651.98 c #Conflicts: 480000 | #Constraints: 39213
2643.53/2651.98 c #Conflicts: 481000 | #Constraints: 40213
2643.53/2651.98 c #Conflicts: 482000 | #Constraints: 41213
2643.53/2651.98 c #Conflicts: 483000 | #Constraints: 42213
2643.53/2651.98 c #Conflicts: 484000 | #Constraints: 43213
2643.53/2651.98 c #Conflicts: 485000 | #Constraints: 44213
2643.53/2651.98 c #Conflicts: 486000 | #Constraints: 45213
2643.53/2651.98 c #Conflicts: 487000 | #Constraints: 46213
2643.53/2651.98 c #Conflicts: 488000 | #Constraints: 47213
2643.53/2651.98 c INPROCESSING
2643.53/2651.98 c GARBAGE COLLECT
2643.53/2651.98 c #Conflicts: 489000 | #Constraints: 34416
2643.53/2651.98 c #Conflicts: 490000 | #Constraints: 35416
2643.53/2651.98 c #Conflicts: 491000 | #Constraints: 36416
2643.53/2651.98 c #Conflicts: 492000 | #Constraints: 37416
2643.53/2651.98 c #Conflicts: 493000 | #Constraints: 38416
2643.53/2651.98 c #Conflicts: 494000 | #Constraints: 39416
2643.53/2651.98 c #Conflicts: 495000 | #Constraints: 40416
2643.53/2651.98 c #Conflicts: 496000 | #Constraints: 41416
2643.53/2651.98 c #Conflicts: 497000 | #Constraints: 42416
2643.53/2651.98 c #Conflicts: 498000 | #Constraints: 43416
2643.53/2651.98 c #Conflicts: 499000 | #Constraints: 44416
2643.53/2651.98 c #Conflicts: 500000 | #Constraints: 45416
2643.53/2651.98 c #Conflicts: 501000 | #Constraints: 46416
2643.53/2651.98 c #Conflicts: 502000 | #Constraints: 47416
2643.53/2651.98 c INPROCESSING
2643.53/2651.98 c GARBAGE COLLECT
2643.53/2651.98 c #Conflicts: 503000 | #Constraints: 34420
2643.53/2651.98 c #Conflicts: 504000 | #Constraints: 35420
2643.53/2651.98 c #Conflicts: 505000 | #Constraints: 36420
2643.53/2651.98 c #Conflicts: 506000 | #Constraints: 37420
2643.53/2651.98 c #Conflicts: 507000 | #Constraints: 38420
2643.53/2651.98 c #Conflicts: 508000 | #Constraints: 39420
2643.53/2651.98 c #Conflicts: 509000 | #Constraints: 40420
2643.53/2651.98 c #Conflicts: 510000 | #Constraints: 41420
2643.53/2651.98 c #Conflicts: 511000 | #Constraints: 42420
2643.53/2651.98 c #Conflicts: 512000 | #Constraints: 43420
2643.53/2651.98 c #Conflicts: 513000 | #Constraints: 44420
2643.53/2651.98 c #Conflicts: 514000 | #Constraints: 45420
2643.53/2651.98 c #Conflicts: 515000 | #Constraints: 46420
2643.53/2651.98 c #Conflicts: 516000 | #Constraints: 47420
2643.53/2651.98 c INPROCESSING
2643.53/2651.98 c GARBAGE COLLECT
2643.53/2651.98 c #Conflicts: 517000 | #Constraints: 34211
2643.53/2651.98 c #Conflicts: 518000 | #Constraints: 35211
2643.53/2651.98 c GLOBAL bounds - >= -2046 @ 2636.09
2741.23/2749.91 c #Conflicts: 519000 | #Constraints: 36213
2741.23/2749.91 c #Conflicts: 520000 | #Constraints: 37213
2741.23/2749.91 c #Conflicts: 521000 | #Constraints: 38213
2741.23/2749.91 c #Conflicts: 522000 | #Constraints: 39213
2741.23/2749.91 c #Conflicts: 523000 | #Constraints: 40213
2741.23/2749.91 c #Conflicts: 524000 | #Constraints: 41213
2741.23/2749.91 c #Conflicts: 525000 | #Constraints: 42213
2741.23/2749.91 c #Conflicts: 526000 | #Constraints: 43213
2741.23/2749.91 c #Conflicts: 527000 | #Constraints: 44213
2741.23/2749.91 c #Conflicts: 528000 | #Constraints: 45213
2741.23/2749.91 c #Conflicts: 529000 | #Constraints: 46213
2741.23/2749.91 c #Conflicts: 530000 | #Constraints: 47213
2741.23/2749.91 c #Conflicts: 531000 | #Constraints: 48213
2741.23/2749.91 c INPROCESSING
2741.23/2749.91 c GARBAGE COLLECT
2741.23/2749.91 c #Conflicts: 532000 | #Constraints: 34811
2741.23/2749.91 c #Conflicts: 533000 | #Constraints: 35811
2741.23/2749.91 c GLOBAL bounds - >= -2046 @ 2733.44
3451.68/3462.66 c #Conflicts: 534000 | #Constraints: 36813
3451.68/3462.66 c #Conflicts: 535000 | #Constraints: 37813
3451.68/3462.66 c #Conflicts: 536000 | #Constraints: 38813
3451.68/3462.66 c #Conflicts: 537000 | #Constraints: 39813
3451.68/3462.66 c #Conflicts: 538000 | #Constraints: 40813
3451.68/3462.66 c #Conflicts: 539000 | #Constraints: 41813
3451.68/3462.66 c #Conflicts: 540000 | #Constraints: 42813
3451.68/3462.66 c #Conflicts: 541000 | #Constraints: 43813
3451.68/3462.66 c #Conflicts: 542000 | #Constraints: 44813
3451.68/3462.66 c #Conflicts: 543000 | #Constraints: 45813
3451.68/3462.66 c #Conflicts: 544000 | #Constraints: 46813
3451.68/3462.66 c #Conflicts: 545000 | #Constraints: 47813
3451.68/3462.66 c #Conflicts: 546000 | #Constraints: 48813
3451.68/3462.66 c INPROCESSING
3451.68/3462.66 c GARBAGE COLLECT
3451.68/3462.66 c #Conflicts: 547000 | #Constraints: 35216
3451.68/3462.66 c #Conflicts: 548000 | #Constraints: 36216
3451.68/3462.66 c #Conflicts: 549000 | #Constraints: 37216
3451.68/3462.66 c #Conflicts: 550000 | #Constraints: 38216
3451.68/3462.66 c #Conflicts: 551000 | #Constraints: 39216
3451.68/3462.66 c #Conflicts: 552000 | #Constraints: 40216
3451.68/3462.66 c #Conflicts: 553000 | #Constraints: 41216
3451.68/3462.67 c #Conflicts: 554000 | #Constraints: 42216
3451.68/3462.67 c #Conflicts: 555000 | #Constraints: 43216
3451.68/3462.67 c #Conflicts: 556000 | #Constraints: 44216
3451.68/3462.67 c #Conflicts: 557000 | #Constraints: 45216
3451.68/3462.67 c #Conflicts: 558000 | #Constraints: 46216
3451.68/3462.67 c #Conflicts: 559000 | #Constraints: 47216
3451.68/3462.67 c #Conflicts: 560000 | #Constraints: 48216
3451.68/3462.67 c #Conflicts: 561000 | #Constraints: 49216
3451.68/3462.67 c INPROCESSING
3451.68/3462.67 c GARBAGE COLLECT
3451.68/3462.67 c #Conflicts: 562000 | #Constraints: 35416
3451.68/3462.67 c #Conflicts: 563000 | #Constraints: 36416
3451.68/3462.67 c #Conflicts: 564000 | #Constraints: 37416
3451.68/3462.67 c #Conflicts: 565000 | #Constraints: 38416
3451.68/3462.67 c #Conflicts: 566000 | #Constraints: 39416
3451.68/3462.67 c #Conflicts: 567000 | #Constraints: 40416
3451.68/3462.67 c #Conflicts: 568000 | #Constraints: 41416
3451.68/3462.67 c #Conflicts: 569000 | #Constraints: 42416
3451.68/3462.67 c #Conflicts: 570000 | #Constraints: 43416
3451.68/3462.67 c #Conflicts: 571000 | #Constraints: 44416
3451.68/3462.67 c #Conflicts: 572000 | #Constraints: 45416
3451.68/3462.67 c #Conflicts: 573000 | #Constraints: 46416
3451.68/3462.67 c #Conflicts: 574000 | #Constraints: 47416
3451.68/3462.67 c #Conflicts: 575000 | #Constraints: 48416
3451.68/3462.67 c #Conflicts: 576000 | #Constraints: 49416
3451.68/3462.67 c INPROCESSING
3451.68/3462.67 c GARBAGE COLLECT
3451.68/3462.67 c #Conflicts: 577000 | #Constraints: 35415
3451.68/3462.67 c #Conflicts: 578000 | #Constraints: 36415
3451.68/3462.67 c #Conflicts: 579000 | #Constraints: 37415
3451.68/3462.67 c #Conflicts: 580000 | #Constraints: 38415
3451.68/3462.67 c #Conflicts: 581000 | #Constraints: 39415
3451.68/3462.67 c #Conflicts: 582000 | #Constraints: 40415
3451.68/3462.67 c #Conflicts: 583000 | #Constraints: 41415
3451.68/3462.67 c #Conflicts: 584000 | #Constraints: 42415
3451.68/3462.67 c #Conflicts: 585000 | #Constraints: 43415
3451.68/3462.67 c #Conflicts: 586000 | #Constraints: 44415
3451.68/3462.67 c #Conflicts: 587000 | #Constraints: 45415
3451.68/3462.67 c #Conflicts: 588000 | #Constraints: 46415
3451.68/3462.67 c #Conflicts: 589000 | #Constraints: 47415
3451.68/3462.67 c #Conflicts: 590000 | #Constraints: 48415
3451.68/3462.67 c #Conflicts: 591000 | #Constraints: 49415
3451.68/3462.67 c INPROCESSING
3451.68/3462.67 c GARBAGE COLLECT
3451.68/3462.67 c #Conflicts: 592000 | #Constraints: 35218
3451.68/3462.67 c #Conflicts: 593000 | #Constraints: 36218
3451.68/3462.67 c #Conflicts: 594000 | #Constraints: 37218
3451.68/3462.67 c #Conflicts: 595000 | #Constraints: 38218
3451.68/3462.67 c #Conflicts: 596000 | #Constraints: 39218
3451.68/3462.67 c #Conflicts: 597000 | #Constraints: 40218
3451.68/3462.67 c #Conflicts: 598000 | #Constraints: 41218
3451.68/3462.67 c #Conflicts: 599000 | #Constraints: 42218
3451.68/3462.67 c #Conflicts: 600000 | #Constraints: 43218
3451.68/3462.67 c #Conflicts: 601000 | #Constraints: 44218
3451.68/3462.67 c #Conflicts: 602000 | #Constraints: 45218
3451.68/3462.67 c #Conflicts: 603000 | #Constraints: 46218
3451.68/3462.67 c #Conflicts: 604000 | #Constraints: 47218
3451.68/3462.67 c #Conflicts: 605000 | #Constraints: 48218
3451.68/3462.67 c #Conflicts: 606000 | #Constraints: 49218
3451.68/3462.67 c #Conflicts: 607000 | #Constraints: 50218
3451.68/3462.67 c INPROCESSING
3451.68/3462.67 c GARBAGE COLLECT
3451.68/3462.67 c #Conflicts: 608000 | #Constraints: 35814
3451.68/3462.67 c #Conflicts: 609000 | #Constraints: 36814
3600.02/3611.43 c #Conflicts: 610000 | #Constraints: 37814
3600.02/3611.43 c #Conflicts: 611000 | #Constraints: 38814
3600.02/3611.43 c #Conflicts: 612000 | #Constraints: 39814
3600.02/3611.43 c #Conflicts: 613000 | #Constraints: 40814
3600.02/3611.43 c #Conflicts: 614000 | #Constraints: 41814
3600.02/3611.43 c #Conflicts: 615000 | #Constraints: 42814
3600.02/3611.43 c #Conflicts: 616000 | #Constraints: 43814
3600.02/3611.43 c #Conflicts: 617000 | #Constraints: 44814
3600.02/3611.43 c #Conflicts: 618000 | #Constraints: 45814
3600.02/3611.43 c #Conflicts: 619000 | #Constraints: 46814
3600.02/3611.43 c #Conflicts: 620000 | #Constraints: 47814
3600.02/3611.43 c #Conflicts: 621000 | #Constraints: 48814
3600.02/3611.43 c #Conflicts: 622000 | #Constraints: 49814
3600.02/3611.43 c cpu time 3590.82 s
3600.02/3611.43 c deterministic time 1 1.00e+00
3600.02/3611.43 c optimization time 3590.59 s
3600.02/3611.43 c total solve time 0 s
3600.02/3611.43 c core-guided solve time 0 s
3600.02/3611.43 c propagation time 0.019704 s
3600.02/3611.43 c conflict analysis time 0 s
3600.02/3611.43 c propagations 0
3600.02/3611.43 c resolve steps 0
3600.02/3611.43 c decisions 0
3600.02/3611.43 c conflicts 0
3600.02/3611.43 c restarts 0
3600.02/3611.43 c inprocessing phases 0
3600.02/3611.43 c garbage collections 0 ,( -nan )
3600.02/3611.43 c input clauses 18944 ,( 100.00 )
3600.02/3611.43 c input cardinalities 0 ,( 0.00 )
3600.02/3611.43 c input general constraints 0 ,( 0.00 )
3600.02/3611.43 c input average constraint length 2.00
3600.02/3611.43 c input average constraint degree 1.00
3600.02/3611.43 c learned clauses 0 ,( 0.00 )
3600.02/3611.43 c learned cardinalities 0 ,( 0.00 )
3600.02/3611.43 c learned general constraints 0 ,( 0.00 )
3600.02/3611.43 c learned average constraint length 0.00
3600.02/3611.43 c learned average constraint degree 0.00
3600.02/3611.43 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3611.43 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3611.43 c watched constraints 0 ,( -nan )
3600.02/3611.43 c counting constraints 0 ,( -nan )
3600.02/3611.43 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3611.43 c gcd simplifications 0
3600.02/3611.43 c detected cardinalities 0
3600.02/3611.43 c weakened non-implied lits 0
3600.02/3611.43 c weakened non-implying lits 0
3600.02/3611.43 c original variables 2046
3600.02/3611.43 c clausal propagations 0
3600.02/3611.43 c cardinality propagations 0
3600.02/3611.43 c watched propagations 0
3600.02/3611.43 c counting propagations 0
3600.02/3611.43 c watch lookups 0
3600.02/3611.43 c watch backjump lookups 0
3600.02/3611.43 c watch checks 0
3600.02/3611.43 c propagation checks 0
3600.02/3611.43 c constraint additions 0
3600.02/3611.43 c trail pops 0
3600.02/3611.43 c formula constraints 18944
3600.02/3611.43 c learned constraints 0
3600.02/3611.43 c bound constraints 0
3600.02/3611.43 c core-guided constraints 0
3600.02/3611.43 c encountered formula constraints 0
3600.02/3611.43 c encountered learned constraints 0
3600.02/3611.43 c encountered bound constraints 0
3600.02/3611.43 c encountered core-guided constraints 0
3600.02/3611.43 c LP total time 0 s
3600.02/3611.43 c LP solve time 0 s
3600.02/3611.43 c LP constraints added 0
3600.02/3611.43 c LP constraints removed 0
3600.02/3611.43 c LP pivots internal 0
3600.02/3611.43 c LP pivots root 0
3600.02/3611.43 c LP calls 0
3600.02/3611.43 c LP optimalities 0
3600.02/3611.43 c LP no pivot count 0
3600.02/3611.43 c LP infeasibilities 0
3600.02/3611.43 c LP valid Farkas constraints 0
3600.02/3611.43 c LP learned Farkas constraints 0
3600.02/3611.43 c LP basis resets 0
3600.02/3611.43 c LP cycling count 0
3600.02/3611.43 c LP singular count 0
3600.02/3611.43 c LP no primal count 0
3600.02/3611.43 c LP no farkas count 0
3600.02/3611.43 c LP other issue count 0
3600.02/3611.43 c LP Gomory cuts 0
3600.02/3611.43 c LP learned cuts 0
3600.02/3611.43 c LP deleted cuts 0
3600.02/3611.43 c LP encountered Gomory constraints 0
3600.02/3611.43 c LP encountered Farkas constraints 0
3600.02/3611.43 c LP encountered learned Farkas constraints 0
3600.02/3611.43 c CG auxiliary variables introduced 0
3600.02/3611.43 c CG solutions found 0
3600.02/3611.43 c CG cores constructed 0
3600.02/3611.43 c CG core cardinality constraints returned 0
3600.02/3611.43 c CG unit cores 0
3600.02/3611.43 c CG single cores 0
3600.02/3611.43 c CG blocks removed during cardinality reduction 0
3600.02/3611.43 c CG first core best 0
3600.02/3611.43 c CG decision core best 0
3600.02/3611.43 c CG core reduction tie 0
3600.02/3611.43 c CG core degree average 0.00
3600.02/3611.43 c CG core slack average 0.00
3600.02/3611.43 c CG core upper bound improvements 0
3600.02/3611.43 c STR number of successful calls 0
3600.02/3611.43 c STR number of unsuccessful calls 0
3600.02/3611.43 c STR number of inconclusive calls 0
3600.02/3611.43 c STR number of successful attempts 0
3600.02/3611.43 c STR number of unsuccessful attempts 0
3600.02/3611.43 c STR number of inconclusive attempts 0
3600.02/3611.43 c STR average degree increase per successful call inf
3600.02/3611.43 c STR average degree increase per successful attempt inf
3600.02/3611.43 c STR total number of conflicts for successful attempts 0
3600.02/3611.43 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3611.43 c STR total number of conflicts for inconclusive attempts 0
3600.02/3611.43 c STR average number of conflicts per successful attempt inf
3600.02/3611.43 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3611.43 c STR average number of conflicts per inconclusive attempt inf
3600.02/3611.43 c AVG.sumWPerc -nan
3600.02/3611.43 c bigint constraints 0
3600.02/3611.43 s UNKNOWN
3600.02/3611.43 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: 63794 MiB (63073 MiB free)
memory of node 1: 64507 MiB (62080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522091-1751594361/watcher-4522091-1751594361 -o /tmp/evaluation-result-4522091-1751594361/solver-4522091-1751594361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522091-1751594361.opb PROOFDIR/proof-4522091-1751594361
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 FSIZE limit: 102400000 KiB
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
solver pid=84156, runsolver pid=84144
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 0.78 1.59 2.53 5/257 84166
/proc/meminfo: memFree=128158028/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=55664 memory=8832 CPUtime=0.01 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 482 0 0 0 1 0 0 0 20 0 1 0 75115511 56999936 2208 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 13916 2208 1952 1147 0 1343 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 59856 KiB
Current children cumulated memory: 11776 KiB
[startup+0.213861 s]*
/proc/loadavg: 1.04 1.63 2.54 7/257 84166
/proc/meminfo: memFree=128152168/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=56968 memory=12208 CPUtime=0.12 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 847 0 0 0 9 3 0 0 20 0 1 0 75115511 58335232 3052 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 14242 3052 1952 1147 0 1669 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 61160 KiB
Current children cumulated memory: 15152 KiB
[startup+0.314687 s]*
/proc/loadavg: 1.04 1.63 2.54 7/257 84166
/proc/meminfo: memFree=128147632/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=67536 memory=21304 CPUtime=0.22 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 3427 0 0 0 17 5 0 0 20 0 1 0 75115511 69156864 5326 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 16884 5326 2272 1147 0 4311 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 71728 KiB
Current children cumulated memory: 24248 KiB
[startup+0.700342 s]
/proc/loadavg: 1.04 1.63 2.54 7/257 84166
/proc/meminfo: memFree=128119908/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=93436 memory=41132 CPUtime=0.6 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 6854 0 0 0 42 18 0 0 20 0 1 0 75115511 95678464 10283 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 23359 10283 2368 1147 0 10786 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 97628 KiB
Current children cumulated memory: 44076 KiB
[startup+1.50034 s]
/proc/loadavg: 1.04 1.63 2.54 5/252 84174
/proc/meminfo: memFree=128113972/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=100512 memory=49900 CPUtime=1.38 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 6986 0 0 0 98 40 0 0 20 0 1 0 75115511 102924288 12475 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 25128 12475 2368 1147 0 12555 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 104704 KiB
Current children cumulated memory: 52844 KiB
[startup+3.11293 s]
/proc/loadavg: 1.04 1.63 2.54 6/255 84180
/proc/meminfo: memFree=127920052/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=130864 memory=69480 CPUtime=2.98 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 8853 0 0 0 249 49 0 0 20 0 1 0 75115511 134004736 17370 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 32716 17370 2368 1147 0 20143 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 135056 KiB
Current children cumulated memory: 72424 KiB
[startup+6.30034 s]
/proc/loadavg: 1.27 1.67 2.55 6/257 84213
/proc/meminfo: memFree=127545556/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=193644 memory=126248 CPUtime=6.15 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 18978 0 0 0 562 53 0 0 20 0 1 0 75115511 198291456 31562 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 48411 31562 2368 1147 0 35838 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 197836 KiB
Current children cumulated memory: 129192 KiB
[startup+12.7003 s]
/proc/loadavg: 1.49 1.71 2.56 6/257 84213
/proc/meminfo: memFree=127030588/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=261420 memory=172680 CPUtime=12.53 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 27049 0 0 0 1193 60 0 0 20 0 1 0 75115511 267694080 43170 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 65355 43170 2368 1147 0 52782 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 265612 KiB
Current children cumulated memory: 175624 KiB
[startup+25.5004 s]
/proc/loadavg: 1.88 1.79 2.57 6/257 84213
/proc/meminfo: memFree=126028772/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=287104 memory=202896 CPUtime=25.29 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 32044 0 0 0 2459 70 0 0 20 0 1 0 75115511 293994496 50724 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 71776 50724 2368 1147 0 59203 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 291296 KiB
Current children cumulated memory: 205840 KiB
[startup+51.1131 s]
/proc/loadavg: 2.78 2.02 2.62 6/262 84219
/proc/meminfo: memFree=124685588/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=358892 memory=245564 CPUtime=50.8 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 38638 0 0 0 4990 90 0 0 20 0 1 0 75115511 367505408 61391 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 89723 61391 2368 1147 0 77150 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 363084 KiB
Current children cumulated memory: 248508 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.34 2.70 6/262 84232
/proc/meminfo: memFree=122751108/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=435772 memory=323736 CPUtime=101.8 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 52555 0 0 0 10059 121 0 0 20 0 1 0 75115511 446230528 80934 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 108943 80934 2368 1147 0 96370 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 439964 KiB
Current children cumulated memory: 326680 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.66 2.79 6/262 84236
/proc/meminfo: memFree=120950356/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=474488 memory=369212 CPUtime=161.59 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 59849 0 0 0 16009 150 0 0 20 0 1 0 75115511 485875712 92303 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 118622 92303 2368 1147 0 106049 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 372156 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.97 2.89 6/262 84238
/proc/meminfo: memFree=118770456/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=483556 memory=390856 CPUtime=221.39 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 63725 0 0 0 21963 176 0 0 20 0 1 0 75115511 495161344 97714 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 120889 97714 2368 1147 0 108316 0
################
# More data... #
################
/proc/84161/statm: 267726 235702 2368 1147 0 255153 0
Current children cumulated CPU time: 3032.67 s
Current children cumulated vsize: 1075096 KiB
Current children cumulated memory: 945752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.09 6/262 84403
/proc/meminfo: memFree=56185924/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1071416 memory=943192 CPUtime=3092.48 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 151520 0 0 0 308397 851 0 0 20 0 1 0 75115511 1097129984 235798 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 267854 235798 2368 1147 0 255281 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 1075608 KiB
Current children cumulated memory: 946136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.09 6/260 84405
/proc/meminfo: memFree=54915408/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1072952 memory=944088 CPUtime=3152.3 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 151734 0 0 0 314369 861 0 0 20 0 1 0 75115511 1098702848 236022 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 268238 236022 2368 1147 0 255665 0
Current children cumulated CPU time: 3152.3 s
Current children cumulated vsize: 1077144 KiB
Current children cumulated memory: 947032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.09 6/261 84408
/proc/meminfo: memFree=53920928/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1073976 memory=944600 CPUtime=3212.11 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 151879 0 0 0 320341 870 0 0 20 0 1 0 75115511 1099751424 236150 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 268494 236150 2368 1147 0 255921 0
Current children cumulated CPU time: 3212.11 s
Current children cumulated vsize: 1078168 KiB
Current children cumulated memory: 947544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/261 84411
/proc/meminfo: memFree=52984500/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1079096 memory=948312 CPUtime=3271.93 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 152790 0 0 0 326313 880 0 0 20 0 1 0 75115511 1104994304 237078 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 269774 237078 2368 1147 0 257201 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 1083288 KiB
Current children cumulated memory: 951256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/261 84413
/proc/meminfo: memFree=51524908/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1080120 memory=949592 CPUtime=3331.75 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 153143 0 0 0 332288 887 0 0 20 0 1 0 75115511 1106042880 237398 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 270030 237398 2368 1147 0 257457 0
Current children cumulated CPU time: 3331.75 s
Current children cumulated vsize: 1084312 KiB
Current children cumulated memory: 952536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.14 4.09 6/262 84418
/proc/meminfo: memFree=50393092/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1083704 memory=951640 CPUtime=3391.56 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 153686 0 0 0 338260 896 0 0 20 0 1 0 75115511 1109712896 237910 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 270926 237910 2368 1147 0 258353 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 1087896 KiB
Current children cumulated memory: 954584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/263 84425
/proc/meminfo: memFree=49360204/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1305284 memory=965052 CPUtime=3451.38 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 154996 0 0 0 344235 903 0 0 20 0 1 0 75115511 1336610816 241263 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 326321 241263 2368 1147 0 313748 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 1309476 KiB
Current children cumulated memory: 967996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/263 84427
/proc/meminfo: memFree=48566828/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1305284 memory=965052 CPUtime=3511.2 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 154996 0 0 0 350211 909 0 0 20 0 1 0 75115511 1336610816 241263 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 326321 241263 2368 1147 0 313748 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 1309476 KiB
Current children cumulated memory: 967996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/261 84429
/proc/meminfo: memFree=47538988/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1305796 memory=965564 CPUtime=3571.01 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 155120 0 0 0 356182 919 0 0 20 0 1 0 75115511 1337135104 241391 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 326449 241391 2368 1147 0 313876 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 1309988 KiB
Current children cumulated memory: 968508 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.16 4.13 4.09 7/261 84432
/proc/meminfo: memFree=46929636/131382120 swapFree=33010416/33010684
[pid=84156] ppid=84144 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/84156/stat : 84156 (run-opt-log.sh) S 84144 84156 84092 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 75115508 4292608 736 18446744073709551615 94124527026176 94124527920709 140724371229392 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94124528159760 94124528207504 94124550459392 140724371233057 140724371233252 140724371233252 140724371238854 0
/proc/84156/statm: 1048 736 672 219 0 110 0
[pid=84161] ppid=84156 vsize=1306820 memory=966332 CPUtime=3600.02 cores=1,3
/proc/84161/stat : 84161 (roundingsat) R 84156 84156 84092 0 -1 4194304 155330 0 0 0 359078 924 0 0 20 0 1 0 75115511 1338183680 241583 18446744073709551615 4227072 8923433 140735969042384 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34828288 140735969044818 140735969045032 140735969045032 140735969050602 0
/proc/84161/statm: 326705 241583 2368 1147 0 314132 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1311012 KiB
Current children cumulated memory: 969276 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.41 s]
# the end of solver process 84156 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.006765 s
Sleeping 2 seconds
[startup+3611.48 s]
# the end of solver process 84161 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.83 s, system=9.28388 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): 3611.48
CPU time (s): 3600.11
CPU user time (s): 3590.83
CPU system time (s): 9.28388
CPU usage (%): 99.6853
Max. virtual memory (cumulated for all children) (KiB): 1311012
Max. memory (cumulated for all children) (KiB): 969276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.83
system time used= 9.28388
maximum resident set size= 966716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155563
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1264768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318
involuntary context switches= 7111
# summary of solver processes directly reported to runsolver:
# pid: 84156,84161
# total CPU time (s): 3600.11
# total CPU user time (s): 3590.83
# total CPU system time (s): 9.28388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8114 second user time and 35.9266 second system time
The end
Begin job on nodeC006 at 2025-07-04 03:59:21
IDJOB=4522091
IDBENCH=178576
IDSOLVER=3351
FILE ID=nodeC006/4522091-1751594361
RUNJOBID= nodeC006-1751594361-84104
SLURM_JOB_ID= 9598859
Free space on /tmp= 432160 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-sorrell8.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522091-1751594361/watcher-4522091-1751594361 -o /tmp/evaluation-result-4522091-1751594361/solver-4522091-1751594361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84104 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522091-1751594361.opb PROOFDIR/proof-4522091-1751594361
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3efa309da6b8ed2e5ff01ccb25d0dd51
RANDOM SEED=740600733
nodeC006 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 : 0xb00001f
cpu MHz : 1197.297
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.146
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.127
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.287
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.138
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.032
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128152148 kB
MemAvailable: 129815808 kB
Buffers: 2128 kB
Cached: 2428548 kB
SwapCached: 12 kB
Active: 532692 kB
Inactive: 1963668 kB
Active(anon): 72636 kB
Inactive(anon): 10996 kB
Active(file): 460056 kB
Inactive(file): 1952672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26936 kB
Writeback: 4 kB
AnonPages: 68800 kB
Mapped: 103824 kB
Shmem: 17948 kB
KReclaimable: 180732 kB
Slab: 267816 kB
SReclaimable: 180732 kB
SUnreclaim: 87084 kB
KernelStack: 3888 kB
PageTables: 2912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 331528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432128 MiB
End job on nodeC006 at 2025-07-04 04:59:33