0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.06 c #variables 1152 #constraints 1774
0.00/0.06 c objective is ce32
0.00/0.06 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.06 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.021462
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.023645
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.024062
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.026493
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.028787
0.00/0.09 c GLOBAL bounds - >= 13635 @ 0.044448
0.07/0.12 c rational objective 47342
0.07/0.13 c GLOBAL bounds - >= 13635 @ 0.065576
0.07/0.13 c GLOBAL bounds - >= 13635 @ 0.06962
0.07/0.13 c GLOBAL bounds - >= 13635 @ 0.071491
0.07/0.14 c GLOBAL bounds - >= 13635 @ 0.073303
0.07/0.14 c GLOBAL bounds - >= 13635 @ 0.07547
0.07/0.14 c GLOBAL bounds - >= 13635 @ 0.076859
0.07/0.15 c GLOBAL bounds - >= 13635 @ 0.078521
0.07/0.15 c GLOBAL bounds - >= 13635 @ 0.080044
0.07/0.15 c GLOBAL bounds - >= 13635 @ 0.081538
0.07/0.16 c GLOBAL bounds - >= 13635 @ 0.084137
0.07/0.16 c GLOBAL bounds - >= 13635 @ 0.085521
0.07/0.16 c GLOBAL bounds - >= 13635 @ 0.087469
0.07/0.16 c GLOBAL bounds - >= 13635 @ 0.089527
0.07/0.17 c GLOBAL bounds - >= 13635 @ 0.091042
0.07/0.17 c GLOBAL bounds - >= 13635 @ 0.092535
0.07/0.17 c GLOBAL bounds - >= 13635 @ 0.094394
0.07/0.18 c GLOBAL bounds - >= 13635 @ 0.096815
0.07/0.18 c GLOBAL bounds - >= 13635 @ 0.098075
0.07/0.18 c GLOBAL bounds - >= 13635 @ 0.100268
0.07/0.19 c GLOBAL bounds - >= 13635 @ 0.103341
0.07/0.19 c GLOBAL bounds - >= 13635 @ 0.104361
0.07/0.20 c GLOBAL bounds - >= 13635 @ 0.104555
0.07/0.20 c GLOBAL bounds - >= 13635 @ 0.105309
0.07/0.20 c GLOBAL bounds - >= 13635 @ 0.108106
0.07/0.21 c GLOBAL bounds - >= 13635 @ 0.109109
0.07/0.21 c GLOBAL bounds - >= 13635 @ 0.110445
0.17/0.23 c GLOBAL bounds - >= 13635 @ 0.11513
1.33/1.42 c #Conflicts: 1000 | #Constraints: 1066
1.33/1.42 c GLOBAL bounds - >= 13635 @ 1.23526
5.72/5.86 c #Conflicts: 2000 | #Constraints: 2069
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c #Conflicts: 3000 | #Constraints: 2073
5.72/5.86 c #Conflicts: 4000 | #Constraints: 3073
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c #Conflicts: 5000 | #Constraints: 2474
5.72/5.86 c #Conflicts: 6000 | #Constraints: 3474
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c #Conflicts: 7000 | #Constraints: 2480
5.72/5.86 c #Conflicts: 8000 | #Constraints: 3480
5.72/5.86 c #Conflicts: 9000 | #Constraints: 4480
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c #Conflicts: 10000 | #Constraints: 3183
5.72/5.86 c #Conflicts: 11000 | #Constraints: 4183
5.72/5.86 c #Conflicts: 12000 | #Constraints: 5183
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c #Conflicts: 13000 | #Constraints: 3638
5.72/5.86 c #Conflicts: 14000 | #Constraints: 4638
5.72/5.86 c #Conflicts: 15000 | #Constraints: 5638
5.72/5.86 c INPROCESSING
5.72/5.86 c GARBAGE COLLECT
5.72/5.86 c GLOBAL bounds - >= 22810 @ 5.50411
5.72/5.86 c GLOBAL bounds - >= 22810 @ 5.50559
5.72/5.86 c GLOBAL bounds - >= 22810 @ 5.50569
5.72/5.86 c GLOBAL bounds - >= 22810 @ 5.50643
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.50882
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.50963
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.51057
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.51106
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.51157
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.5124
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.5139
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.51456
5.72/5.87 c GLOBAL bounds - >= 22810 @ 5.51531
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.51623
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.51676
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.51767
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.51853
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.5192
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.51976
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.52055
5.72/5.88 c GLOBAL bounds - >= 22810 @ 5.52055
5.72/5.89 c GLOBAL bounds - >= 22810 @ 5.5213
5.72/5.89 c GLOBAL bounds - >= 22810 @ 5.52275
5.72/5.90 c GLOBAL bounds - >= 22810 @ 5.53051
5.82/5.90 c GLOBAL bounds - >= 22810 @ 5.53237
5.82/5.90 c GLOBAL bounds - >= 22810 @ 5.53329
5.93/6.02 c #Conflicts: 16000 | #Constraints: 3906
5.93/6.02 c GLOBAL bounds - >= 22810 @ 5.65038
6.31/6.40 c #Conflicts: 17000 | #Constraints: 4909
6.31/6.40 c GLOBAL bounds - >= 22810 @ 5.99425
6.31/6.42 c GLOBAL bounds - >= 22810 @ 6.01568
6.31/6.46 c GLOBAL bounds - >= 22810 @ 6.05548
7.11/7.27 c #Conflicts: 18000 | #Constraints: 5918
7.11/7.27 c INPROCESSING
7.11/7.27 c GARBAGE COLLECT
7.11/7.27 c #Conflicts: 19000 | #Constraints: 3916
7.11/7.27 c #Conflicts: 20000 | #Constraints: 4916
7.11/7.27 c GLOBAL bounds - >= 22810 @ 6.80819
7.61/7.70 c #Conflicts: 21000 | #Constraints: 5919
7.61/7.70 c #Conflicts: 22000 | #Constraints: 6919
7.61/7.70 c GLOBAL bounds - >= 22810 @ 7.21396
14.01/14.16 c #Conflicts: 23000 | #Constraints: 7922
14.01/14.16 c #Conflicts: 24000 | #Constraints: 8922
14.01/14.16 c #Conflicts: 25000 | #Constraints: 9922
14.01/14.16 c #Conflicts: 26000 | #Constraints: 10922
14.01/14.16 c #Conflicts: 27000 | #Constraints: 11922
14.01/14.16 c #Conflicts: 28000 | #Constraints: 12922
14.01/14.16 c INPROCESSING
14.01/14.16 c GARBAGE COLLECT
14.01/14.16 c #Conflicts: 29000 | #Constraints: 7127
14.01/14.16 c #Conflicts: 30000 | #Constraints: 8127
14.01/14.16 c #Conflicts: 31000 | #Constraints: 9127
14.01/14.16 c #Conflicts: 32000 | #Constraints: 10127
14.01/14.16 c #Conflicts: 33000 | #Constraints: 11127
14.01/14.16 c INPROCESSING
14.01/14.16 c GARBAGE COLLECT
14.01/14.16 c #Conflicts: 34000 | #Constraints: 6490
14.01/14.16 c #Conflicts: 35000 | #Constraints: 7490
14.01/14.16 c #Conflicts: 36000 | #Constraints: 8490
14.01/14.16 c #Conflicts: 37000 | #Constraints: 9490
14.01/14.16 c #Conflicts: 38000 | #Constraints: 10490
14.01/14.16 c INPROCESSING
14.01/14.16 c GARBAGE COLLECT
14.01/14.16 c #Conflicts: 39000 | #Constraints: 6315
14.01/14.16 c #Conflicts: 40000 | #Constraints: 7315
14.01/14.16 c #Conflicts: 41000 | #Constraints: 8315
14.01/14.16 c #Conflicts: 42000 | #Constraints: 9315
14.01/14.16 c GLOBAL bounds - >= 30731 @ 13.3777
14.01/14.16 c GLOBAL bounds - >= 30731 @ 13.3805
14.01/14.16 c GLOBAL bounds - >= 30731 @ 13.3812
14.01/14.16 c GLOBAL bounds - >= 30731 @ 13.382
14.01/14.16 c GLOBAL bounds - >= 30731 @ 13.3821
14.01/14.17 c GLOBAL bounds - >= 30731 @ 13.3829
14.20/14.30 c INPROCESSING
14.20/14.30 c GARBAGE COLLECT
14.20/14.30 c #Conflicts: 43000 | #Constraints: 5276
14.20/14.30 c GLOBAL bounds - >= 30731 @ 13.5137
14.20/14.30 c GLOBAL bounds - >= 30731 @ 13.5148
14.20/14.30 c GLOBAL bounds - >= 30731 @ 13.5157
14.20/14.30 c GLOBAL bounds - >= 30731 @ 13.5163
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5169
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5177
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5177
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5184
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5189
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5197
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5197
14.20/14.31 c GLOBAL bounds - >= 30731 @ 13.5205
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.521
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5216
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5217
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5227
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5242
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5253
14.20/14.32 c GLOBAL bounds - >= 30731 @ 13.5268
14.20/14.33 c GLOBAL bounds - >= 30731 @ 13.5289
14.20/14.33 c GLOBAL bounds - >= 30731 @ 13.5315
14.39/14.50 c GLOBAL bounds - >= 30731 @ 13.6905
14.79/14.96 c #Conflicts: 44000 | #Constraints: 6319
14.79/14.96 c #Conflicts: 45000 | #Constraints: 7319
14.79/14.96 c GLOBAL bounds - >= 30731 @ 14.1251
20.18/20.30 c #Conflicts: 46000 | #Constraints: 8322
20.18/20.30 c #Conflicts: 47000 | #Constraints: 9322
20.18/20.30 c #Conflicts: 48000 | #Constraints: 10322
20.18/20.30 c INPROCESSING
20.18/20.30 c GARBAGE COLLECT
20.18/20.30 c #Conflicts: 49000 | #Constraints: 6246
20.18/20.30 c #Conflicts: 50000 | #Constraints: 7246
20.18/20.30 c #Conflicts: 51000 | #Constraints: 8246
20.18/20.30 c #Conflicts: 52000 | #Constraints: 9246
20.18/20.30 c #Conflicts: 53000 | #Constraints: 10246
20.18/20.30 c INPROCESSING
20.18/20.30 c GARBAGE COLLECT
20.18/20.30 c #Conflicts: 54000 | #Constraints: 6061
20.18/20.30 c #Conflicts: 55000 | #Constraints: 7061
20.18/20.30 c #Conflicts: 56000 | #Constraints: 8061
20.18/20.30 c #Conflicts: 57000 | #Constraints: 9061
20.18/20.30 c #Conflicts: 58000 | #Constraints: 10061
20.18/20.30 c INPROCESSING
20.18/20.30 c GARBAGE COLLECT
20.18/20.30 c #Conflicts: 59000 | #Constraints: 5729
20.18/20.30 c #Conflicts: 60000 | #Constraints: 6729
20.18/20.30 c #Conflicts: 61000 | #Constraints: 7729
20.18/20.30 c GLOBAL bounds - >= 30731 @ 19.2298
20.77/20.97 c #Conflicts: 62000 | #Constraints: 8732
20.77/20.97 c #Conflicts: 63000 | #Constraints: 9732
20.77/20.97 c #Conflicts: 64000 | #Constraints: 10732
20.77/20.97 c GLOBAL bounds - >= 30731 @ 19.8814
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 65000 | #Constraints: 6206
32.05/32.25 c #Conflicts: 66000 | #Constraints: 7206
32.05/32.25 c #Conflicts: 67000 | #Constraints: 8206
32.05/32.25 c #Conflicts: 68000 | #Constraints: 9206
32.05/32.25 c #Conflicts: 69000 | #Constraints: 10206
32.05/32.25 c #Conflicts: 70000 | #Constraints: 11206
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 71000 | #Constraints: 6498
32.05/32.25 c #Conflicts: 72000 | #Constraints: 7498
32.05/32.25 c #Conflicts: 73000 | #Constraints: 8498
32.05/32.25 c #Conflicts: 74000 | #Constraints: 9498
32.05/32.25 c #Conflicts: 75000 | #Constraints: 10498
32.05/32.25 c #Conflicts: 76000 | #Constraints: 11498
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 77000 | #Constraints: 6595
32.05/32.25 c #Conflicts: 78000 | #Constraints: 7595
32.05/32.25 c #Conflicts: 79000 | #Constraints: 8595
32.05/32.25 c #Conflicts: 80000 | #Constraints: 9595
32.05/32.25 c #Conflicts: 81000 | #Constraints: 10595
32.05/32.25 c #Conflicts: 82000 | #Constraints: 11595
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 83000 | #Constraints: 6494
32.05/32.25 c #Conflicts: 84000 | #Constraints: 7494
32.05/32.25 c #Conflicts: 85000 | #Constraints: 8494
32.05/32.25 c #Conflicts: 86000 | #Constraints: 9494
32.05/32.25 c #Conflicts: 87000 | #Constraints: 10494
32.05/32.25 c #Conflicts: 88000 | #Constraints: 11494
32.05/32.25 c #Conflicts: 89000 | #Constraints: 12494
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 90000 | #Constraints: 7194
32.05/32.25 c #Conflicts: 91000 | #Constraints: 8194
32.05/32.25 c #Conflicts: 92000 | #Constraints: 9194
32.05/32.25 c #Conflicts: 93000 | #Constraints: 10194
32.05/32.25 c #Conflicts: 94000 | #Constraints: 11194
32.05/32.25 c #Conflicts: 95000 | #Constraints: 12194
32.05/32.25 c #Conflicts: 96000 | #Constraints: 13194
32.05/32.25 c INPROCESSING
32.05/32.25 c GARBAGE COLLECT
32.05/32.25 c #Conflicts: 97000 | #Constraints: 7695
32.05/32.25 c #Conflicts: 98000 | #Constraints: 8695
32.05/32.25 c #Conflicts: 99000 | #Constraints: 9695
32.05/32.25 c #Conflicts: 100000 | #Constraints: 10695
32.05/32.25 c GLOBAL bounds - >= 38727 @ 30.6993
32.05/32.25 c GLOBAL bounds - >= 38727 @ 30.702
32.05/32.25 c GLOBAL bounds - >= 38727 @ 30.7027
32.05/32.25 c GLOBAL bounds - >= 38727 @ 30.7034
32.05/32.25 c GLOBAL bounds - >= 38727 @ 30.7034
32.34/32.55 c #Conflicts: 101000 | #Constraints: 11698
32.34/32.55 c #Conflicts: 102000 | #Constraints: 12698
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.9766
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.9766
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.9777
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.9789
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.9808
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.982
32.34/32.55 c GLOBAL bounds - >= 38727 @ 30.983
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9836
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9852
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9863
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9866
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9874
32.34/32.56 c GLOBAL bounds - >= 38727 @ 30.9884
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9895
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9906
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9917
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9928
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9938
32.34/32.57 c GLOBAL bounds - >= 38727 @ 30.9959
32.44/32.60 c GLOBAL bounds - >= 38727 @ 31.0189
32.44/32.63 c GLOBAL bounds - >= 38727 @ 31.0378
32.44/32.63 c GLOBAL bounds - >= 38727 @ 31.0389
32.44/32.69 c GLOBAL bounds - >= 38727 @ 31.0878
32.44/32.69 c GLOBAL bounds - >= 38727 @ 31.0926
32.44/32.70 c GLOBAL bounds - >= 38727 @ 31.0935
32.54/32.70 c GLOBAL bounds - >= 38727 @ 31.0986
32.54/32.70 c GLOBAL bounds - >= 38727 @ 31.1006
32.85/33.10 c INPROCESSING
32.85/33.10 c GARBAGE COLLECT
32.85/33.10 c #Conflicts: 103000 | #Constraints: 7034
32.85/33.10 c GLOBAL bounds - >= 38727 @ 31.4703
47.00/47.23 c #Conflicts: 104000 | #Constraints: 8037
47.00/47.23 c #Conflicts: 105000 | #Constraints: 9037
47.00/47.23 c #Conflicts: 106000 | #Constraints: 10037
47.00/47.23 c #Conflicts: 107000 | #Constraints: 11037
47.00/47.23 c #Conflicts: 108000 | #Constraints: 12037
47.00/47.23 c #Conflicts: 109000 | #Constraints: 13037
47.00/47.23 c #Conflicts: 110000 | #Constraints: 14037
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 111000 | #Constraints: 8134
47.00/47.23 c #Conflicts: 112000 | #Constraints: 9134
47.00/47.23 c #Conflicts: 113000 | #Constraints: 10134
47.00/47.23 c #Conflicts: 114000 | #Constraints: 11134
47.00/47.23 c #Conflicts: 115000 | #Constraints: 12134
47.00/47.23 c #Conflicts: 116000 | #Constraints: 13134
47.00/47.23 c #Conflicts: 117000 | #Constraints: 14134
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 118000 | #Constraints: 8033
47.00/47.23 c #Conflicts: 119000 | #Constraints: 9033
47.00/47.23 c #Conflicts: 120000 | #Constraints: 10033
47.00/47.23 c #Conflicts: 121000 | #Constraints: 11033
47.00/47.23 c #Conflicts: 122000 | #Constraints: 12033
47.00/47.23 c #Conflicts: 123000 | #Constraints: 13033
47.00/47.23 c #Conflicts: 124000 | #Constraints: 14033
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 125000 | #Constraints: 7734
47.00/47.23 c #Conflicts: 126000 | #Constraints: 8734
47.00/47.23 c #Conflicts: 127000 | #Constraints: 9734
47.00/47.23 c #Conflicts: 128000 | #Constraints: 10734
47.00/47.23 c #Conflicts: 129000 | #Constraints: 11734
47.00/47.23 c #Conflicts: 130000 | #Constraints: 12734
47.00/47.23 c #Conflicts: 131000 | #Constraints: 13734
47.00/47.23 c #Conflicts: 132000 | #Constraints: 14734
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 133000 | #Constraints: 8236
47.00/47.23 c #Conflicts: 134000 | #Constraints: 9236
47.00/47.23 c #Conflicts: 135000 | #Constraints: 10236
47.00/47.23 c #Conflicts: 136000 | #Constraints: 11236
47.00/47.23 c #Conflicts: 137000 | #Constraints: 12236
47.00/47.23 c #Conflicts: 138000 | #Constraints: 13236
47.00/47.23 c #Conflicts: 139000 | #Constraints: 14236
47.00/47.23 c #Conflicts: 140000 | #Constraints: 15236
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 141000 | #Constraints: 8536
47.00/47.23 c #Conflicts: 142000 | #Constraints: 9536
47.00/47.23 c #Conflicts: 143000 | #Constraints: 10536
47.00/47.23 c #Conflicts: 144000 | #Constraints: 11536
47.00/47.23 c #Conflicts: 145000 | #Constraints: 12536
47.00/47.23 c #Conflicts: 146000 | #Constraints: 13536
47.00/47.23 c #Conflicts: 147000 | #Constraints: 14536
47.00/47.23 c #Conflicts: 148000 | #Constraints: 15536
47.00/47.23 c INPROCESSING
47.00/47.23 c GARBAGE COLLECT
47.00/47.23 c #Conflicts: 149000 | #Constraints: 8640
47.00/47.23 c #Conflicts: 150000 | #Constraints: 9640
47.00/47.23 c #Conflicts: 151000 | #Constraints: 10640
47.00/47.23 c GLOBAL bounds - >= 38727 @ 44.9813
47.30/47.59 c #Conflicts: 152000 | #Constraints: 11643
47.30/47.59 c GLOBAL bounds - >= 38727 @ 45.3276
47.60/47.80 c #Conflicts: 153000 | #Constraints: 12646
47.60/47.80 c GLOBAL bounds - >= 38727 @ 45.5221
47.60/47.81 c GLOBAL bounds - >= 38727 @ 45.5311
47.70/47.93 c GLOBAL bounds - >= 38727 @ 45.6448
73.62/73.97 c #Conflicts: 154000 | #Constraints: 13655
73.62/73.97 c #Conflicts: 155000 | #Constraints: 14655
73.62/73.97 c #Conflicts: 156000 | #Constraints: 15655
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 157000 | #Constraints: 8548
73.62/73.97 c #Conflicts: 158000 | #Constraints: 9548
73.62/73.97 c #Conflicts: 159000 | #Constraints: 10548
73.62/73.97 c #Conflicts: 160000 | #Constraints: 11548
73.62/73.97 c #Conflicts: 161000 | #Constraints: 12548
73.62/73.97 c #Conflicts: 162000 | #Constraints: 13548
73.62/73.97 c #Conflicts: 163000 | #Constraints: 14548
73.62/73.97 c #Conflicts: 164000 | #Constraints: 15548
73.62/73.97 c #Conflicts: 165000 | #Constraints: 16548
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 166000 | #Constraints: 9245
73.62/73.97 c #Conflicts: 167000 | #Constraints: 10245
73.62/73.97 c #Conflicts: 168000 | #Constraints: 11245
73.62/73.97 c #Conflicts: 169000 | #Constraints: 12245
73.62/73.97 c #Conflicts: 170000 | #Constraints: 13245
73.62/73.97 c #Conflicts: 171000 | #Constraints: 14245
73.62/73.97 c #Conflicts: 172000 | #Constraints: 15245
73.62/73.97 c #Conflicts: 173000 | #Constraints: 16245
73.62/73.97 c #Conflicts: 174000 | #Constraints: 17245
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 175000 | #Constraints: 9756
73.62/73.97 c #Conflicts: 176000 | #Constraints: 10756
73.62/73.97 c #Conflicts: 177000 | #Constraints: 11756
73.62/73.97 c #Conflicts: 178000 | #Constraints: 12756
73.62/73.97 c #Conflicts: 179000 | #Constraints: 13756
73.62/73.97 c #Conflicts: 180000 | #Constraints: 14756
73.62/73.97 c #Conflicts: 181000 | #Constraints: 15756
73.62/73.97 c #Conflicts: 182000 | #Constraints: 16756
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 183000 | #Constraints: 9056
73.62/73.97 c #Conflicts: 184000 | #Constraints: 10056
73.62/73.97 c #Conflicts: 185000 | #Constraints: 11056
73.62/73.97 c #Conflicts: 186000 | #Constraints: 12056
73.62/73.97 c #Conflicts: 187000 | #Constraints: 13056
73.62/73.97 c #Conflicts: 188000 | #Constraints: 14056
73.62/73.97 c #Conflicts: 189000 | #Constraints: 15056
73.62/73.97 c #Conflicts: 190000 | #Constraints: 16056
73.62/73.97 c #Conflicts: 191000 | #Constraints: 17056
73.62/73.97 c #Conflicts: 192000 | #Constraints: 18056
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 193000 | #Constraints: 10159
73.62/73.97 c #Conflicts: 194000 | #Constraints: 11159
73.62/73.97 c #Conflicts: 195000 | #Constraints: 12159
73.62/73.97 c #Conflicts: 196000 | #Constraints: 13159
73.62/73.97 c #Conflicts: 197000 | #Constraints: 14159
73.62/73.97 c #Conflicts: 198000 | #Constraints: 15159
73.62/73.97 c #Conflicts: 199000 | #Constraints: 16159
73.62/73.97 c #Conflicts: 200000 | #Constraints: 17159
73.62/73.97 c #Conflicts: 201000 | #Constraints: 18159
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 202000 | #Constraints: 10057
73.62/73.97 c #Conflicts: 203000 | #Constraints: 11057
73.62/73.97 c #Conflicts: 204000 | #Constraints: 12057
73.62/73.97 c #Conflicts: 205000 | #Constraints: 13057
73.62/73.97 c #Conflicts: 206000 | #Constraints: 14057
73.62/73.97 c #Conflicts: 207000 | #Constraints: 15057
73.62/73.97 c #Conflicts: 208000 | #Constraints: 16057
73.62/73.97 c #Conflicts: 209000 | #Constraints: 17057
73.62/73.97 c #Conflicts: 210000 | #Constraints: 18057
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 211000 | #Constraints: 9754
73.62/73.97 c #Conflicts: 212000 | #Constraints: 10754
73.62/73.97 c #Conflicts: 213000 | #Constraints: 11754
73.62/73.97 c #Conflicts: 214000 | #Constraints: 12754
73.62/73.97 c #Conflicts: 215000 | #Constraints: 13754
73.62/73.97 c #Conflicts: 216000 | #Constraints: 14754
73.62/73.97 c #Conflicts: 217000 | #Constraints: 15754
73.62/73.97 c #Conflicts: 218000 | #Constraints: 16754
73.62/73.97 c #Conflicts: 219000 | #Constraints: 17754
73.62/73.97 c #Conflicts: 220000 | #Constraints: 18754
73.62/73.97 c INPROCESSING
73.62/73.97 c GARBAGE COLLECT
73.62/73.97 c #Conflicts: 221000 | #Constraints: 10257
73.62/73.97 c #Conflicts: 222000 | #Constraints: 11257
73.62/73.97 c #Conflicts: 223000 | #Constraints: 12257
73.62/73.97 c #Conflicts: 224000 | #Constraints: 13257
73.62/73.97 c #Conflicts: 225000 | #Constraints: 14257
73.62/73.97 c #Conflicts: 226000 | #Constraints: 15257
73.62/73.97 c #Conflicts: 227000 | #Constraints: 16257
104.52/104.92 c #Conflicts: 228000 | #Constraints: 17257
104.52/104.92 c #Conflicts: 229000 | #Constraints: 18257
104.52/104.92 c #Conflicts: 230000 | #Constraints: 19257
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 231000 | #Constraints: 10566
104.52/104.92 c #Conflicts: 232000 | #Constraints: 11566
104.52/104.92 c #Conflicts: 233000 | #Constraints: 12566
104.52/104.92 c #Conflicts: 234000 | #Constraints: 13566
104.52/104.92 c #Conflicts: 235000 | #Constraints: 14566
104.52/104.92 c #Conflicts: 236000 | #Constraints: 15566
104.52/104.92 c #Conflicts: 237000 | #Constraints: 16566
104.52/104.92 c #Conflicts: 238000 | #Constraints: 17566
104.52/104.92 c #Conflicts: 239000 | #Constraints: 18566
104.52/104.92 c #Conflicts: 240000 | #Constraints: 19566
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 241000 | #Constraints: 10661
104.52/104.92 c #Conflicts: 242000 | #Constraints: 11661
104.52/104.92 c #Conflicts: 243000 | #Constraints: 12661
104.52/104.92 c #Conflicts: 244000 | #Constraints: 13661
104.52/104.92 c #Conflicts: 245000 | #Constraints: 14661
104.52/104.92 c #Conflicts: 246000 | #Constraints: 15661
104.52/104.92 c #Conflicts: 247000 | #Constraints: 16661
104.52/104.92 c #Conflicts: 248000 | #Constraints: 17661
104.52/104.92 c #Conflicts: 249000 | #Constraints: 18661
104.52/104.92 c #Conflicts: 250000 | #Constraints: 19661
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 251000 | #Constraints: 10563
104.52/104.92 c #Conflicts: 252000 | #Constraints: 11563
104.52/104.92 c #Conflicts: 253000 | #Constraints: 12563
104.52/104.92 c #Conflicts: 254000 | #Constraints: 13563
104.52/104.92 c #Conflicts: 255000 | #Constraints: 14563
104.52/104.92 c #Conflicts: 256000 | #Constraints: 15563
104.52/104.92 c #Conflicts: 257000 | #Constraints: 16563
104.52/104.92 c #Conflicts: 258000 | #Constraints: 17563
104.52/104.92 c #Conflicts: 259000 | #Constraints: 18563
104.52/104.92 c #Conflicts: 260000 | #Constraints: 19563
104.52/104.92 c #Conflicts: 261000 | #Constraints: 20563
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 262000 | #Constraints: 11256
104.52/104.92 c #Conflicts: 263000 | #Constraints: 12256
104.52/104.92 c #Conflicts: 264000 | #Constraints: 13256
104.52/104.92 c #Conflicts: 265000 | #Constraints: 14256
104.52/104.92 c #Conflicts: 266000 | #Constraints: 15256
104.52/104.92 c #Conflicts: 267000 | #Constraints: 16256
104.52/104.92 c #Conflicts: 268000 | #Constraints: 17256
104.52/104.92 c #Conflicts: 269000 | #Constraints: 18256
104.52/104.92 c #Conflicts: 270000 | #Constraints: 19256
104.52/104.92 c #Conflicts: 271000 | #Constraints: 20256
104.52/104.92 c #Conflicts: 272000 | #Constraints: 21256
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 273000 | #Constraints: 11761
104.52/104.92 c #Conflicts: 274000 | #Constraints: 12761
104.52/104.92 c #Conflicts: 275000 | #Constraints: 13761
104.52/104.92 c #Conflicts: 276000 | #Constraints: 14761
104.52/104.92 c #Conflicts: 277000 | #Constraints: 15761
104.52/104.92 c #Conflicts: 278000 | #Constraints: 16761
104.52/104.92 c #Conflicts: 279000 | #Constraints: 17761
104.52/104.92 c #Conflicts: 280000 | #Constraints: 18761
104.52/104.92 c #Conflicts: 281000 | #Constraints: 19761
104.52/104.92 c #Conflicts: 282000 | #Constraints: 20761
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 283000 | #Constraints: 11059
104.52/104.92 c #Conflicts: 284000 | #Constraints: 12059
104.52/104.92 c #Conflicts: 285000 | #Constraints: 13059
104.52/104.92 c #Conflicts: 286000 | #Constraints: 14059
104.52/104.92 c #Conflicts: 287000 | #Constraints: 15059
104.52/104.92 c #Conflicts: 288000 | #Constraints: 16059
104.52/104.92 c #Conflicts: 289000 | #Constraints: 17059
104.52/104.92 c #Conflicts: 290000 | #Constraints: 18059
104.52/104.92 c #Conflicts: 291000 | #Constraints: 19059
104.52/104.92 c #Conflicts: 292000 | #Constraints: 20059
104.52/104.92 c #Conflicts: 293000 | #Constraints: 21059
104.52/104.92 c #Conflicts: 294000 | #Constraints: 22059
104.52/104.92 c INPROCESSING
104.52/104.92 c GARBAGE COLLECT
104.52/104.92 c #Conflicts: 295000 | #Constraints: 12165
104.52/104.92 c #Conflicts: 296000 | #Constraints: 13165
104.52/104.92 c #Conflicts: 297000 | #Constraints: 14165
104.52/104.92 c #Conflicts: 298000 | #Constraints: 15165
104.52/104.92 c #Conflicts: 299000 | #Constraints: 16165
104.52/104.92 c #Conflicts: 300000 | #Constraints: 17165
104.52/104.92 c #Conflicts: 301000 | #Constraints: 18165
104.52/104.92 c #Conflicts: 302000 | #Constraints: 19165
132.34/132.87 c #Conflicts: 303000 | #Constraints: 20165
132.34/132.87 c #Conflicts: 304000 | #Constraints: 21165
132.34/132.87 c #Conflicts: 305000 | #Constraints: 22165
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 306000 | #Constraints: 12065
132.34/132.87 c #Conflicts: 307000 | #Constraints: 13065
132.34/132.87 c #Conflicts: 308000 | #Constraints: 14065
132.34/132.87 c #Conflicts: 309000 | #Constraints: 15065
132.34/132.87 c #Conflicts: 310000 | #Constraints: 16065
132.34/132.87 c #Conflicts: 311000 | #Constraints: 17065
132.34/132.87 c #Conflicts: 312000 | #Constraints: 18065
132.34/132.87 c #Conflicts: 313000 | #Constraints: 19065
132.34/132.87 c #Conflicts: 314000 | #Constraints: 20065
132.34/132.87 c #Conflicts: 315000 | #Constraints: 21065
132.34/132.87 c #Conflicts: 316000 | #Constraints: 22065
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 317000 | #Constraints: 11763
132.34/132.87 c #Conflicts: 318000 | #Constraints: 12763
132.34/132.87 c #Conflicts: 319000 | #Constraints: 13763
132.34/132.87 c #Conflicts: 320000 | #Constraints: 14763
132.34/132.87 c #Conflicts: 321000 | #Constraints: 15763
132.34/132.87 c #Conflicts: 322000 | #Constraints: 16763
132.34/132.87 c #Conflicts: 323000 | #Constraints: 17763
132.34/132.87 c #Conflicts: 324000 | #Constraints: 18763
132.34/132.87 c #Conflicts: 325000 | #Constraints: 19763
132.34/132.87 c #Conflicts: 326000 | #Constraints: 20763
132.34/132.87 c #Conflicts: 327000 | #Constraints: 21763
132.34/132.87 c #Conflicts: 328000 | #Constraints: 22763
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 329000 | #Constraints: 12262
132.34/132.87 c #Conflicts: 330000 | #Constraints: 13262
132.34/132.87 c #Conflicts: 331000 | #Constraints: 14262
132.34/132.87 c #Conflicts: 332000 | #Constraints: 15262
132.34/132.87 c #Conflicts: 333000 | #Constraints: 16262
132.34/132.87 c #Conflicts: 334000 | #Constraints: 17262
132.34/132.87 c #Conflicts: 335000 | #Constraints: 18262
132.34/132.87 c #Conflicts: 336000 | #Constraints: 19262
132.34/132.87 c #Conflicts: 337000 | #Constraints: 20262
132.34/132.87 c #Conflicts: 338000 | #Constraints: 21262
132.34/132.87 c #Conflicts: 339000 | #Constraints: 22262
132.34/132.87 c #Conflicts: 340000 | #Constraints: 23262
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 341000 | #Constraints: 12561
132.34/132.87 c #Conflicts: 342000 | #Constraints: 13561
132.34/132.87 c #Conflicts: 343000 | #Constraints: 14561
132.34/132.87 c #Conflicts: 344000 | #Constraints: 15561
132.34/132.87 c #Conflicts: 345000 | #Constraints: 16561
132.34/132.87 c #Conflicts: 346000 | #Constraints: 17561
132.34/132.87 c #Conflicts: 347000 | #Constraints: 18561
132.34/132.87 c #Conflicts: 348000 | #Constraints: 19561
132.34/132.87 c #Conflicts: 349000 | #Constraints: 20561
132.34/132.87 c #Conflicts: 350000 | #Constraints: 21561
132.34/132.87 c #Conflicts: 351000 | #Constraints: 22561
132.34/132.87 c #Conflicts: 352000 | #Constraints: 23561
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 353000 | #Constraints: 12660
132.34/132.87 c #Conflicts: 354000 | #Constraints: 13660
132.34/132.87 c #Conflicts: 355000 | #Constraints: 14660
132.34/132.87 c #Conflicts: 356000 | #Constraints: 15660
132.34/132.87 c #Conflicts: 357000 | #Constraints: 16660
132.34/132.87 c #Conflicts: 358000 | #Constraints: 17660
132.34/132.87 c #Conflicts: 359000 | #Constraints: 18660
132.34/132.87 c #Conflicts: 360000 | #Constraints: 19660
132.34/132.87 c #Conflicts: 361000 | #Constraints: 20660
132.34/132.87 c #Conflicts: 362000 | #Constraints: 21660
132.34/132.87 c #Conflicts: 363000 | #Constraints: 22660
132.34/132.87 c #Conflicts: 364000 | #Constraints: 23660
132.34/132.87 c INPROCESSING
132.34/132.87 c GARBAGE COLLECT
132.34/132.87 c #Conflicts: 365000 | #Constraints: 12562
132.34/132.87 c #Conflicts: 366000 | #Constraints: 13562
132.34/132.87 c #Conflicts: 367000 | #Constraints: 14562
132.34/132.87 c #Conflicts: 368000 | #Constraints: 15562
132.34/132.87 c #Conflicts: 369000 | #Constraints: 16562
132.34/132.87 c #Conflicts: 370000 | #Constraints: 17562
132.34/132.87 c #Conflicts: 371000 | #Constraints: 18562
132.34/132.87 c #Conflicts: 372000 | #Constraints: 19562
132.34/132.87 c #Conflicts: 373000 | #Constraints: 20562
132.34/132.87 c #Conflicts: 374000 | #Constraints: 21562
132.34/132.87 c #Conflicts: 375000 | #Constraints: 22562
132.34/132.87 c #Conflicts: 376000 | #Constraints: 23562
167.43/168.05 c #Conflicts: 377000 | #Constraints: 24562
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 378000 | #Constraints: 13270
167.43/168.05 c #Conflicts: 379000 | #Constraints: 14270
167.43/168.05 c #Conflicts: 380000 | #Constraints: 15270
167.43/168.05 c #Conflicts: 381000 | #Constraints: 16270
167.43/168.05 c #Conflicts: 382000 | #Constraints: 17270
167.43/168.05 c #Conflicts: 383000 | #Constraints: 18270
167.43/168.05 c #Conflicts: 384000 | #Constraints: 19270
167.43/168.05 c #Conflicts: 385000 | #Constraints: 20270
167.43/168.05 c #Conflicts: 386000 | #Constraints: 21270
167.43/168.05 c #Conflicts: 387000 | #Constraints: 22270
167.43/168.05 c #Conflicts: 388000 | #Constraints: 23270
167.43/168.05 c #Conflicts: 389000 | #Constraints: 24270
167.43/168.05 c #Conflicts: 390000 | #Constraints: 25270
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 391000 | #Constraints: 13775
167.43/168.05 c #Conflicts: 392000 | #Constraints: 14775
167.43/168.05 c #Conflicts: 393000 | #Constraints: 15775
167.43/168.05 c #Conflicts: 394000 | #Constraints: 16775
167.43/168.05 c #Conflicts: 395000 | #Constraints: 17775
167.43/168.05 c #Conflicts: 396000 | #Constraints: 18775
167.43/168.05 c #Conflicts: 397000 | #Constraints: 19775
167.43/168.05 c #Conflicts: 398000 | #Constraints: 20775
167.43/168.05 c #Conflicts: 399000 | #Constraints: 21775
167.43/168.05 c #Conflicts: 400000 | #Constraints: 22775
167.43/168.05 c #Conflicts: 401000 | #Constraints: 23775
167.43/168.05 c #Conflicts: 402000 | #Constraints: 24775
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 403000 | #Constraints: 13077
167.43/168.05 c #Conflicts: 404000 | #Constraints: 14077
167.43/168.05 c #Conflicts: 405000 | #Constraints: 15077
167.43/168.05 c #Conflicts: 406000 | #Constraints: 16077
167.43/168.05 c #Conflicts: 407000 | #Constraints: 17077
167.43/168.05 c #Conflicts: 408000 | #Constraints: 18077
167.43/168.05 c #Conflicts: 409000 | #Constraints: 19077
167.43/168.05 c #Conflicts: 410000 | #Constraints: 20077
167.43/168.05 c #Conflicts: 411000 | #Constraints: 21077
167.43/168.05 c #Conflicts: 412000 | #Constraints: 22077
167.43/168.05 c #Conflicts: 413000 | #Constraints: 23077
167.43/168.05 c #Conflicts: 414000 | #Constraints: 24077
167.43/168.05 c #Conflicts: 415000 | #Constraints: 25077
167.43/168.05 c #Conflicts: 416000 | #Constraints: 26077
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 417000 | #Constraints: 14179
167.43/168.05 c #Conflicts: 418000 | #Constraints: 15179
167.43/168.05 c #Conflicts: 419000 | #Constraints: 16179
167.43/168.05 c #Conflicts: 420000 | #Constraints: 17179
167.43/168.05 c #Conflicts: 421000 | #Constraints: 18179
167.43/168.05 c #Conflicts: 422000 | #Constraints: 19179
167.43/168.05 c #Conflicts: 423000 | #Constraints: 20179
167.43/168.05 c #Conflicts: 424000 | #Constraints: 21179
167.43/168.05 c #Conflicts: 425000 | #Constraints: 22179
167.43/168.05 c #Conflicts: 426000 | #Constraints: 23179
167.43/168.05 c #Conflicts: 427000 | #Constraints: 24179
167.43/168.05 c #Conflicts: 428000 | #Constraints: 25179
167.43/168.05 c #Conflicts: 429000 | #Constraints: 26179
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 430000 | #Constraints: 14087
167.43/168.05 c #Conflicts: 431000 | #Constraints: 15087
167.43/168.05 c #Conflicts: 432000 | #Constraints: 16087
167.43/168.05 c #Conflicts: 433000 | #Constraints: 17087
167.43/168.05 c #Conflicts: 434000 | #Constraints: 18087
167.43/168.05 c #Conflicts: 435000 | #Constraints: 19087
167.43/168.05 c #Conflicts: 436000 | #Constraints: 20087
167.43/168.05 c #Conflicts: 437000 | #Constraints: 21087
167.43/168.05 c #Conflicts: 438000 | #Constraints: 22087
167.43/168.05 c #Conflicts: 439000 | #Constraints: 23087
167.43/168.05 c #Conflicts: 440000 | #Constraints: 24087
167.43/168.05 c #Conflicts: 441000 | #Constraints: 25087
167.43/168.05 c #Conflicts: 442000 | #Constraints: 26087
167.43/168.05 c INPROCESSING
167.43/168.05 c GARBAGE COLLECT
167.43/168.05 c #Conflicts: 443000 | #Constraints: 13789
167.43/168.05 c #Conflicts: 444000 | #Constraints: 14789
167.43/168.05 c #Conflicts: 445000 | #Constraints: 15789
167.43/168.05 c #Conflicts: 446000 | #Constraints: 16789
167.43/168.05 c #Conflicts: 447000 | #Constraints: 17789
167.43/168.05 c #Conflicts: 448000 | #Constraints: 18789
167.43/168.05 c #Conflicts: 449000 | #Constraints: 19789
167.43/168.05 c #Conflicts: 450000 | #Constraints: 20789
167.43/168.05 c #Conflicts: 451000 | #Constraints: 21789
181.87/182.51 c #Conflicts: 452000 | #Constraints: 22789
181.87/182.51 c #Conflicts: 453000 | #Constraints: 23789
181.87/182.51 c #Conflicts: 454000 | #Constraints: 24789
181.87/182.51 c #Conflicts: 455000 | #Constraints: 25789
181.87/182.51 c #Conflicts: 456000 | #Constraints: 26789
181.87/182.51 c INPROCESSING
181.87/182.51 c GARBAGE COLLECT
181.87/182.51 c #Conflicts: 457000 | #Constraints: 14291
181.87/182.51 c #Conflicts: 458000 | #Constraints: 15291
181.87/182.51 c #Conflicts: 459000 | #Constraints: 16291
181.87/182.51 c #Conflicts: 460000 | #Constraints: 17291
181.87/182.51 c #Conflicts: 461000 | #Constraints: 18291
181.87/182.51 c #Conflicts: 462000 | #Constraints: 19291
181.87/182.51 c #Conflicts: 463000 | #Constraints: 20291
181.87/182.51 c #Conflicts: 464000 | #Constraints: 21291
181.87/182.51 c #Conflicts: 465000 | #Constraints: 22291
181.87/182.51 c #Conflicts: 466000 | #Constraints: 23291
181.87/182.51 c #Conflicts: 467000 | #Constraints: 24291
181.87/182.51 c #Conflicts: 468000 | #Constraints: 25291
181.87/182.51 c #Conflicts: 469000 | #Constraints: 26291
181.87/182.51 c #Conflicts: 470000 | #Constraints: 27291
181.87/182.51 c INPROCESSING
181.87/182.51 c GARBAGE COLLECT
181.87/182.51 c #Conflicts: 471000 | #Constraints: 14588
181.87/182.51 c #Conflicts: 472000 | #Constraints: 15588
181.87/182.51 c #Conflicts: 473000 | #Constraints: 16588
181.87/182.51 c #Conflicts: 474000 | #Constraints: 17588
181.87/182.51 c #Conflicts: 475000 | #Constraints: 18588
181.87/182.51 c #Conflicts: 476000 | #Constraints: 19588
181.87/182.51 c GLOBAL bounds - >= 46867 @ 175.933
181.87/182.52 c GLOBAL bounds - >= 46867 @ 175.937
181.87/182.52 c GLOBAL bounds - >= 46867 @ 175.937
181.87/182.52 c GLOBAL bounds - >= 46867 @ 175.938
185.47/186.14 c #Conflicts: 477000 | #Constraints: 20590
185.47/186.14 c #Conflicts: 478000 | #Constraints: 21590
185.47/186.14 c #Conflicts: 479000 | #Constraints: 22590
185.47/186.14 c #Conflicts: 480000 | #Constraints: 23590
185.47/186.14 c #Conflicts: 481000 | #Constraints: 24590
185.47/186.14 c #Conflicts: 482000 | #Constraints: 25590
185.47/186.14 c #Conflicts: 483000 | #Constraints: 26590
185.47/186.14 c #Conflicts: 484000 | #Constraints: 27590
185.47/186.14 c INPROCESSING
185.47/186.14 c GARBAGE COLLECT
185.47/186.14 c #Conflicts: 485000 | #Constraints: 14673
185.47/186.14 c #Conflicts: 486000 | #Constraints: 15673
185.47/186.14 c #Conflicts: 487000 | #Constraints: 16673
185.47/186.14 c #Conflicts: 488000 | #Constraints: 17673
185.47/186.14 c GLOBAL bounds - >= 46867 @ 179.438
185.47/186.14 c GLOBAL bounds - >= 46867 @ 179.439
185.47/186.15 c GLOBAL bounds - >= 46867 @ 179.44
185.47/186.15 c GLOBAL bounds - >= 46867 @ 179.441
185.47/186.15 c GLOBAL bounds - >= 46867 @ 179.443
185.47/186.15 c GLOBAL bounds - >= 46867 @ 179.445
185.47/186.15 c GLOBAL bounds - >= 46867 @ 179.446
185.47/186.15 c GLOBAL bounds 52431 >= 46867 @ 179.447
186.86/187.52 c #Conflicts: 489000 | #Constraints: 18690
186.86/187.52 c #Conflicts: 490000 | #Constraints: 19690
186.86/187.52 c #Conflicts: 491000 | #Constraints: 20690
186.86/187.52 c #Conflicts: 492000 | #Constraints: 21690
186.86/187.52 c #Conflicts: 493000 | #Constraints: 22690
186.86/187.52 c GLOBAL bounds 52431 >= 46867 @ 180.758
186.86/187.52 c GLOBAL bounds 52391 >= 46867 @ 180.758
188.55/189.24 c #Conflicts: 494000 | #Constraints: 23694
188.55/189.24 c #Conflicts: 495000 | #Constraints: 24694
188.55/189.24 c #Conflicts: 496000 | #Constraints: 25694
188.55/189.24 c #Conflicts: 497000 | #Constraints: 26694
188.55/189.24 c #Conflicts: 498000 | #Constraints: 27694
188.55/189.24 c INPROCESSING
188.55/189.24 c GARBAGE COLLECT
188.55/189.24 c GLOBAL bounds 52391 >= 46867 @ 182.382
188.55/189.25 c GLOBAL bounds 52391 >= 46867 @ 182.383
188.55/189.25 c #Conflicts: 499000 | #Constraints: 14568
188.55/189.25 c GLOBAL bounds 52391 >= 46867 @ 182.385
188.55/189.25 c GLOBAL bounds 52254 >= 46867 @ 182.386
188.55/189.25 c GLOBAL bounds 52254 >= 46867 @ 182.387
188.55/189.25 c GLOBAL bounds 52240 >= 46867 @ 182.388
188.75/189.41 c GLOBAL bounds 52240 >= 46867 @ 182.533
188.75/189.41 c GLOBAL bounds 52240 >= 46867 @ 182.534
189.04/189.72 c #Conflicts: 500000 | #Constraints: 15580
189.04/189.72 c GLOBAL bounds 52240 >= 46867 @ 182.83
189.04/189.72 c GLOBAL bounds 52240 >= 46867 @ 182.832
189.04/189.72 c GLOBAL bounds 52240 >= 46867 @ 182.834
189.04/189.73 c GLOBAL bounds 52240 >= 46867 @ 182.834
189.04/189.73 c GLOBAL bounds 52240 >= 46867 @ 182.837
189.04/189.73 c GLOBAL bounds 52240 >= 46867 @ 182.838
189.04/189.73 c GLOBAL bounds 52240 >= 46867 @ 182.84
189.04/189.73 c GLOBAL bounds 52240 >= 46867 @ 182.841
189.04/189.74 c GLOBAL bounds 52240 >= 46867 @ 182.844
189.84/190.51 c #Conflicts: 501000 | #Constraints: 16598
189.84/190.51 c #Conflicts: 502000 | #Constraints: 17598
189.84/190.51 c #Conflicts: 503000 | #Constraints: 18598
189.84/190.51 c GLOBAL bounds 52240 >= 46867 @ 183.577
193.35/194.10 c #Conflicts: 504000 | #Constraints: 19601
193.35/194.10 c #Conflicts: 505000 | #Constraints: 20601
193.35/194.10 c #Conflicts: 506000 | #Constraints: 21601
193.35/194.10 c #Conflicts: 507000 | #Constraints: 22601
193.35/194.10 c #Conflicts: 508000 | #Constraints: 23601
193.35/194.10 c #Conflicts: 509000 | #Constraints: 24601
193.35/194.10 c #Conflicts: 510000 | #Constraints: 25601
193.35/194.10 c #Conflicts: 511000 | #Constraints: 26601
193.35/194.10 c #Conflicts: 512000 | #Constraints: 27601
193.35/194.10 c GLOBAL bounds 52240 >= 46867 @ 187.015
193.53/194.25 c GLOBAL bounds 52240 >= 46867 @ 187.159
194.52/195.20 c #Conflicts: 513000 | #Constraints: 28607
194.52/195.20 c INPROCESSING
194.52/195.20 c GARBAGE COLLECT
194.52/195.20 c #Conflicts: 514000 | #Constraints: 15278
194.52/195.20 c #Conflicts: 515000 | #Constraints: 16278
194.52/195.20 c GLOBAL bounds 52240 >= 46867 @ 188.073
194.52/195.21 c GLOBAL bounds 52240 >= 46867 @ 188.076
202.71/203.42 c #Conflicts: 516000 | #Constraints: 17284
202.71/203.42 c #Conflicts: 517000 | #Constraints: 18284
202.71/203.42 c #Conflicts: 518000 | #Constraints: 19284
202.71/203.42 c #Conflicts: 519000 | #Constraints: 20284
202.71/203.42 c #Conflicts: 520000 | #Constraints: 21284
202.71/203.42 c #Conflicts: 521000 | #Constraints: 22284
202.71/203.42 c #Conflicts: 522000 | #Constraints: 23284
202.71/203.42 c #Conflicts: 523000 | #Constraints: 24284
202.71/203.42 c #Conflicts: 524000 | #Constraints: 25284
202.71/203.42 c #Conflicts: 525000 | #Constraints: 26284
202.71/203.42 c #Conflicts: 526000 | #Constraints: 27284
202.71/203.42 c #Conflicts: 527000 | #Constraints: 28284
202.71/203.42 c #Conflicts: 528000 | #Constraints: 29284
202.71/203.42 c INPROCESSING
202.71/203.42 c GARBAGE COLLECT
202.71/203.42 c #Conflicts: 529000 | #Constraints: 15776
202.71/203.42 c #Conflicts: 530000 | #Constraints: 16776
202.71/203.42 c #Conflicts: 531000 | #Constraints: 17776
202.71/203.42 c #Conflicts: 532000 | #Constraints: 18776
202.71/203.42 c #Conflicts: 533000 | #Constraints: 19776
202.71/203.42 c GLOBAL bounds 52240 >= 46867 @ 195.959
202.71/203.49 c GLOBAL bounds 52240 >= 46867 @ 196.027
232.22/233.05 c #Conflicts: 534000 | #Constraints: 20782
232.22/233.05 c #Conflicts: 535000 | #Constraints: 21782
232.22/233.05 c #Conflicts: 536000 | #Constraints: 22782
232.22/233.05 c #Conflicts: 537000 | #Constraints: 23782
232.22/233.05 c #Conflicts: 538000 | #Constraints: 24782
232.22/233.05 c #Conflicts: 539000 | #Constraints: 25782
232.22/233.05 c #Conflicts: 540000 | #Constraints: 26782
232.22/233.05 c #Conflicts: 541000 | #Constraints: 27782
232.22/233.05 c #Conflicts: 542000 | #Constraints: 28782
232.22/233.05 c INPROCESSING
232.22/233.05 c GARBAGE COLLECT
232.22/233.05 c #Conflicts: 543000 | #Constraints: 15086
232.22/233.05 c #Conflicts: 544000 | #Constraints: 16086
232.22/233.05 c #Conflicts: 545000 | #Constraints: 17086
232.22/233.05 c #Conflicts: 546000 | #Constraints: 18086
232.22/233.05 c #Conflicts: 547000 | #Constraints: 19086
232.22/233.05 c #Conflicts: 548000 | #Constraints: 20086
232.22/233.05 c #Conflicts: 549000 | #Constraints: 21086
232.22/233.05 c #Conflicts: 550000 | #Constraints: 22086
232.22/233.05 c #Conflicts: 551000 | #Constraints: 23086
232.22/233.05 c #Conflicts: 552000 | #Constraints: 24086
232.22/233.05 c #Conflicts: 553000 | #Constraints: 25086
232.22/233.05 c #Conflicts: 554000 | #Constraints: 26086
232.22/233.05 c #Conflicts: 555000 | #Constraints: 27086
232.22/233.05 c #Conflicts: 556000 | #Constraints: 28086
232.22/233.05 c #Conflicts: 557000 | #Constraints: 29086
232.22/233.05 c #Conflicts: 558000 | #Constraints: 30086
232.22/233.05 c INPROCESSING
232.22/233.05 c GARBAGE COLLECT
232.22/233.05 c #Conflicts: 559000 | #Constraints: 16189
232.22/233.05 c #Conflicts: 560000 | #Constraints: 17189
232.22/233.05 c #Conflicts: 561000 | #Constraints: 18189
232.22/233.05 c #Conflicts: 562000 | #Constraints: 19189
232.22/233.05 c #Conflicts: 563000 | #Constraints: 20189
232.22/233.05 c #Conflicts: 564000 | #Constraints: 21189
232.22/233.05 c #Conflicts: 565000 | #Constraints: 22189
232.22/233.05 c #Conflicts: 566000 | #Constraints: 23189
232.22/233.05 c #Conflicts: 567000 | #Constraints: 24189
232.22/233.05 c #Conflicts: 568000 | #Constraints: 25189
232.22/233.05 c #Conflicts: 569000 | #Constraints: 26189
232.22/233.05 c #Conflicts: 570000 | #Constraints: 27189
232.22/233.05 c #Conflicts: 571000 | #Constraints: 28189
232.22/233.05 c #Conflicts: 572000 | #Constraints: 29189
232.22/233.05 c #Conflicts: 573000 | #Constraints: 30189
232.22/233.05 c INPROCESSING
232.22/233.05 c GARBAGE COLLECT
232.22/233.05 c #Conflicts: 574000 | #Constraints: 16090
232.22/233.05 c #Conflicts: 575000 | #Constraints: 17090
232.22/233.05 c #Conflicts: 576000 | #Constraints: 18090
232.22/233.05 c #Conflicts: 577000 | #Constraints: 19090
232.22/233.05 c #Conflicts: 578000 | #Constraints: 20090
232.22/233.05 c #Conflicts: 579000 | #Constraints: 21090
232.22/233.05 c #Conflicts: 580000 | #Constraints: 22090
232.22/233.05 c #Conflicts: 581000 | #Constraints: 23090
232.22/233.05 c #Conflicts: 582000 | #Constraints: 24090
232.22/233.05 c #Conflicts: 583000 | #Constraints: 25090
232.22/233.05 c #Conflicts: 584000 | #Constraints: 26090
232.22/233.05 c #Conflicts: 585000 | #Constraints: 27090
232.22/233.05 c #Conflicts: 586000 | #Constraints: 28090
232.22/233.05 c #Conflicts: 587000 | #Constraints: 29090
232.22/233.05 c #Conflicts: 588000 | #Constraints: 30090
232.22/233.05 c INPROCESSING
232.22/233.05 c GARBAGE COLLECT
232.22/233.05 c #Conflicts: 589000 | #Constraints: 15798
232.22/233.05 c #Conflicts: 590000 | #Constraints: 16798
232.22/233.05 c GLOBAL bounds 52240 >= 46867 @ 224.616
233.10/233.97 c #Conflicts: 591000 | #Constraints: 17801
233.10/233.97 c #Conflicts: 592000 | #Constraints: 18801
233.10/233.97 c #Conflicts: 593000 | #Constraints: 19801
233.10/233.97 c GLOBAL bounds 52240 >= 46867 @ 225.509
254.25/255.12 c #Conflicts: 594000 | #Constraints: 20804
254.25/255.12 c #Conflicts: 595000 | #Constraints: 21804
254.25/255.12 c #Conflicts: 596000 | #Constraints: 22804
254.25/255.12 c #Conflicts: 597000 | #Constraints: 23804
254.25/255.12 c #Conflicts: 598000 | #Constraints: 24804
254.25/255.12 c #Conflicts: 599000 | #Constraints: 25804
254.25/255.12 c #Conflicts: 600000 | #Constraints: 26804
254.25/255.12 c #Conflicts: 601000 | #Constraints: 27804
254.25/255.12 c #Conflicts: 602000 | #Constraints: 28804
254.25/255.12 c #Conflicts: 603000 | #Constraints: 29804
254.25/255.12 c #Conflicts: 604000 | #Constraints: 30804
254.25/255.12 c INPROCESSING
254.25/255.12 c GARBAGE COLLECT
254.25/255.12 c #Conflicts: 605000 | #Constraints: 16303
254.25/255.12 c #Conflicts: 606000 | #Constraints: 17303
254.25/255.12 c #Conflicts: 607000 | #Constraints: 18303
254.25/255.12 c #Conflicts: 608000 | #Constraints: 19303
254.25/255.12 c #Conflicts: 609000 | #Constraints: 20303
254.25/255.12 c #Conflicts: 610000 | #Constraints: 21303
254.25/255.12 c #Conflicts: 611000 | #Constraints: 22303
254.25/255.12 c #Conflicts: 612000 | #Constraints: 23303
254.25/255.12 c #Conflicts: 613000 | #Constraints: 24303
254.25/255.12 c #Conflicts: 614000 | #Constraints: 25303
254.25/255.12 c #Conflicts: 615000 | #Constraints: 26303
254.25/255.12 c #Conflicts: 616000 | #Constraints: 27303
254.25/255.12 c #Conflicts: 617000 | #Constraints: 28303
254.25/255.12 c #Conflicts: 618000 | #Constraints: 29303
254.25/255.12 c #Conflicts: 619000 | #Constraints: 30303
254.25/255.12 c #Conflicts: 620000 | #Constraints: 31303
254.25/255.12 c INPROCESSING
254.25/255.12 c GARBAGE COLLECT
254.25/255.12 c #Conflicts: 621000 | #Constraints: 16596
254.25/255.12 c #Conflicts: 622000 | #Constraints: 17596
254.25/255.12 c #Conflicts: 623000 | #Constraints: 18596
254.25/255.12 c #Conflicts: 624000 | #Constraints: 19596
254.25/255.12 c #Conflicts: 625000 | #Constraints: 20596
254.25/255.12 c #Conflicts: 626000 | #Constraints: 21596
254.25/255.12 c #Conflicts: 627000 | #Constraints: 22596
254.25/255.12 c #Conflicts: 628000 | #Constraints: 23596
254.25/255.12 c #Conflicts: 629000 | #Constraints: 24596
254.25/255.12 c #Conflicts: 630000 | #Constraints: 25596
254.25/255.12 c #Conflicts: 631000 | #Constraints: 26596
254.25/255.12 c #Conflicts: 632000 | #Constraints: 27596
254.25/255.12 c #Conflicts: 633000 | #Constraints: 28596
254.25/255.12 c #Conflicts: 634000 | #Constraints: 29596
254.25/255.12 c #Conflicts: 635000 | #Constraints: 30596
254.25/255.12 c #Conflicts: 636000 | #Constraints: 31596
254.25/255.12 c INPROCESSING
254.25/255.12 c GARBAGE COLLECT
254.25/255.12 c #Conflicts: 637000 | #Constraints: 16696
254.25/255.12 c #Conflicts: 638000 | #Constraints: 17696
254.25/255.12 c #Conflicts: 639000 | #Constraints: 18696
254.25/255.12 c #Conflicts: 640000 | #Constraints: 19696
254.25/255.12 c #Conflicts: 641000 | #Constraints: 20696
254.25/255.12 c #Conflicts: 642000 | #Constraints: 21696
254.25/255.12 c GLOBAL bounds 52240 >= 46867 @ 246.015
267.21/268.13 c #Conflicts: 643000 | #Constraints: 22699
267.21/268.13 c #Conflicts: 644000 | #Constraints: 23699
267.21/268.13 c #Conflicts: 645000 | #Constraints: 24699
267.21/268.13 c #Conflicts: 646000 | #Constraints: 25699
267.21/268.13 c #Conflicts: 647000 | #Constraints: 26699
267.21/268.13 c #Conflicts: 648000 | #Constraints: 27699
267.21/268.13 c #Conflicts: 649000 | #Constraints: 28699
267.21/268.13 c #Conflicts: 650000 | #Constraints: 29699
267.21/268.13 c #Conflicts: 651000 | #Constraints: 30699
267.21/268.13 c #Conflicts: 652000 | #Constraints: 31699
267.21/268.13 c INPROCESSING
267.21/268.13 c GARBAGE COLLECT
267.21/268.13 c #Conflicts: 653000 | #Constraints: 16618
267.21/268.13 c #Conflicts: 654000 | #Constraints: 17618
267.21/268.13 c #Conflicts: 655000 | #Constraints: 18618
267.21/268.13 c #Conflicts: 656000 | #Constraints: 19618
267.21/268.13 c #Conflicts: 657000 | #Constraints: 20618
267.21/268.13 c #Conflicts: 658000 | #Constraints: 21618
267.21/268.13 c #Conflicts: 659000 | #Constraints: 22618
267.21/268.13 c #Conflicts: 660000 | #Constraints: 23618
267.21/268.13 c #Conflicts: 661000 | #Constraints: 24618
267.21/268.13 c #Conflicts: 662000 | #Constraints: 25618
267.21/268.13 c #Conflicts: 663000 | #Constraints: 26618
267.21/268.13 c #Conflicts: 664000 | #Constraints: 27618
267.21/268.13 c #Conflicts: 665000 | #Constraints: 28618
267.21/268.13 c GLOBAL bounds 52240 >= 47059 @ 258.655
267.21/268.14 c GLOBAL bounds 52240 >= 47059 @ 258.658
267.21/268.14 c GLOBAL bounds 52240 >= 47059 @ 258.659
267.21/268.14 c GLOBAL bounds 52240 >= 47059 @ 258.66
267.30/268.30 c #Conflicts: 666000 | #Constraints: 29620
267.30/268.30 c GLOBAL bounds 52240 >= 47059 @ 258.814
267.39/268.30 c GLOBAL bounds 52240 >= 47059 @ 258.815
267.39/268.32 c GLOBAL bounds 52240 >= 47059 @ 258.835
267.39/268.32 c GLOBAL bounds 52240 >= 47059 @ 258.836
267.39/268.32 c GLOBAL bounds 52240 >= 47059 @ 258.839
267.39/268.33 c GLOBAL bounds 52240 >= 47059 @ 258.84
267.39/268.33 c GLOBAL bounds 52240 >= 47059 @ 258.842
267.39/268.33 c GLOBAL bounds 52240 >= 47059 @ 258.843
267.49/268.46 c GLOBAL bounds 52240 >= 47059 @ 258.967
267.49/268.46 c GLOBAL bounds 52240 >= 47059 @ 258.969
268.10/269.02 c #Conflicts: 667000 | #Constraints: 30640
268.10/269.02 c #Conflicts: 668000 | #Constraints: 31640
268.10/269.02 c GLOBAL bounds 52240 >= 47059 @ 259.503
268.10/269.02 c GLOBAL bounds 52240 >= 47059 @ 259.505
268.10/269.03 c GLOBAL bounds 52240 >= 47059 @ 259.507
268.10/269.03 c GLOBAL bounds 52240 >= 47059 @ 259.508
268.20/269.19 c GLOBAL bounds 52240 >= 47059 @ 259.663
268.20/269.19 c GLOBAL bounds 52240 >= 47059 @ 259.664
268.49/269.40 c #Conflicts: 669000 | #Constraints: 32652
268.49/269.40 c GLOBAL bounds 52240 >= 47059 @ 259.864
268.49/269.40 c GLOBAL bounds 52240 >= 47059 @ 259.865
268.49/269.40 c GLOBAL bounds 52240 >= 47059 @ 259.867
268.49/269.41 c GLOBAL bounds 52240 >= 47059 @ 259.87
268.58/269.53 c INPROCESSING
268.58/269.53 c GARBAGE COLLECT
268.58/269.53 c GLOBAL bounds 52240 >= 47059 @ 259.986
268.58/269.53 c GLOBAL bounds 52240 >= 47059 @ 259.986
268.69/269.64 c GLOBAL bounds 52240 >= 47059 @ 260.087
268.79/269.73 c #Conflicts: 670000 | #Constraints: 17335
268.79/269.73 c GLOBAL bounds 52240 >= 47059 @ 260.171
273.09/274.01 c #Conflicts: 671000 | #Constraints: 18338
273.09/274.01 c #Conflicts: 672000 | #Constraints: 19338
273.09/274.01 c #Conflicts: 673000 | #Constraints: 20338
273.09/274.01 c #Conflicts: 674000 | #Constraints: 21338
273.09/274.01 c #Conflicts: 675000 | #Constraints: 22338
273.09/274.01 c #Conflicts: 676000 | #Constraints: 23338
273.09/274.01 c #Conflicts: 677000 | #Constraints: 24338
273.09/274.01 c #Conflicts: 678000 | #Constraints: 25338
273.09/274.01 c #Conflicts: 679000 | #Constraints: 26338
273.09/274.01 c #Conflicts: 680000 | #Constraints: 27338
273.09/274.01 c GLOBAL bounds 52240 >= 47059 @ 264.307
305.57/306.61 c #Conflicts: 681000 | #Constraints: 28338
305.57/306.61 c #Conflicts: 682000 | #Constraints: 29338
305.57/306.61 c #Conflicts: 683000 | #Constraints: 30338
305.57/306.61 c #Conflicts: 684000 | #Constraints: 31338
305.57/306.61 c #Conflicts: 685000 | #Constraints: 32338
305.57/306.61 c #Conflicts: 686000 | #Constraints: 33338
305.57/306.61 c INPROCESSING
305.57/306.61 c GARBAGE COLLECT
305.57/306.61 c #Conflicts: 687000 | #Constraints: 17828
305.57/306.61 c #Conflicts: 688000 | #Constraints: 18828
305.57/306.61 c #Conflicts: 689000 | #Constraints: 19828
305.57/306.61 c #Conflicts: 690000 | #Constraints: 20828
305.57/306.61 c #Conflicts: 691000 | #Constraints: 21828
305.57/306.61 c #Conflicts: 692000 | #Constraints: 22828
305.57/306.61 c #Conflicts: 693000 | #Constraints: 23828
305.57/306.61 c #Conflicts: 694000 | #Constraints: 24828
305.57/306.61 c #Conflicts: 695000 | #Constraints: 25828
305.57/306.61 c #Conflicts: 696000 | #Constraints: 26828
305.57/306.61 c #Conflicts: 697000 | #Constraints: 27828
305.57/306.61 c #Conflicts: 698000 | #Constraints: 28828
305.57/306.61 c #Conflicts: 699000 | #Constraints: 29828
305.57/306.61 c #Conflicts: 700000 | #Constraints: 30828
305.57/306.61 c #Conflicts: 701000 | #Constraints: 31828
305.57/306.61 c #Conflicts: 702000 | #Constraints: 32828
305.57/306.61 c INPROCESSING
305.57/306.61 c GARBAGE COLLECT
305.57/306.61 c #Conflicts: 703000 | #Constraints: 17132
305.57/306.61 c #Conflicts: 704000 | #Constraints: 18132
305.57/306.61 c #Conflicts: 705000 | #Constraints: 19132
305.57/306.61 c #Conflicts: 706000 | #Constraints: 20132
305.57/306.61 c #Conflicts: 707000 | #Constraints: 21132
305.57/306.61 c #Conflicts: 708000 | #Constraints: 22132
305.57/306.61 c #Conflicts: 709000 | #Constraints: 23132
305.57/306.61 c #Conflicts: 710000 | #Constraints: 24132
305.57/306.61 c #Conflicts: 711000 | #Constraints: 25132
305.57/306.61 c #Conflicts: 712000 | #Constraints: 26132
305.57/306.61 c #Conflicts: 713000 | #Constraints: 27132
305.57/306.61 c #Conflicts: 714000 | #Constraints: 28132
305.57/306.61 c #Conflicts: 715000 | #Constraints: 29132
305.57/306.61 c #Conflicts: 716000 | #Constraints: 30132
305.57/306.61 c #Conflicts: 717000 | #Constraints: 31132
305.57/306.61 c #Conflicts: 718000 | #Constraints: 32132
305.57/306.61 c #Conflicts: 719000 | #Constraints: 33132
305.57/306.61 c #Conflicts: 720000 | #Constraints: 34132
305.57/306.61 c INPROCESSING
305.57/306.61 c GARBAGE COLLECT
305.57/306.61 c #Conflicts: 721000 | #Constraints: 18238
305.57/306.61 c #Conflicts: 722000 | #Constraints: 19238
305.57/306.61 c #Conflicts: 723000 | #Constraints: 20238
305.57/306.61 c #Conflicts: 724000 | #Constraints: 21238
305.57/306.61 c #Conflicts: 725000 | #Constraints: 22238
305.57/306.61 c #Conflicts: 726000 | #Constraints: 23238
305.57/306.61 c #Conflicts: 727000 | #Constraints: 24238
305.57/306.61 c #Conflicts: 728000 | #Constraints: 25238
305.57/306.61 c #Conflicts: 729000 | #Constraints: 26238
305.57/306.61 c #Conflicts: 730000 | #Constraints: 27238
305.57/306.61 c #Conflicts: 731000 | #Constraints: 28238
305.57/306.61 c #Conflicts: 732000 | #Constraints: 29238
305.57/306.61 c #Conflicts: 733000 | #Constraints: 30238
305.57/306.61 c #Conflicts: 734000 | #Constraints: 31238
305.57/306.61 c #Conflicts: 735000 | #Constraints: 32238
305.57/306.61 c #Conflicts: 736000 | #Constraints: 33238
305.57/306.61 c #Conflicts: 737000 | #Constraints: 34238
305.57/306.61 c INPROCESSING
305.57/306.61 c GARBAGE COLLECT
305.57/306.61 c #Conflicts: 738000 | #Constraints: 18140
305.57/306.61 c #Conflicts: 739000 | #Constraints: 19140
305.57/306.61 c #Conflicts: 740000 | #Constraints: 20140
305.57/306.61 c #Conflicts: 741000 | #Constraints: 21140
305.57/306.61 c #Conflicts: 742000 | #Constraints: 22140
305.57/306.61 c #Conflicts: 743000 | #Constraints: 23140
305.57/306.61 c #Conflicts: 744000 | #Constraints: 24140
305.57/306.61 c #Conflicts: 745000 | #Constraints: 25140
305.57/306.61 c #Conflicts: 746000 | #Constraints: 26140
305.57/306.61 c #Conflicts: 747000 | #Constraints: 27140
305.57/306.61 c #Conflicts: 748000 | #Constraints: 28140
305.57/306.61 c #Conflicts: 749000 | #Constraints: 29140
305.57/306.61 c #Conflicts: 750000 | #Constraints: 30140
305.57/306.61 c #Conflicts: 751000 | #Constraints: 31140
305.57/306.61 c #Conflicts: 752000 | #Constraints: 32140
305.57/306.61 c #Conflicts: 753000 | #Constraints: 33140
305.57/306.61 c #Conflicts: 754000 | #Constraints: 34140
305.57/306.61 c INPROCESSING
305.57/306.61 c GARBAGE COLLECT
305.57/306.61 c #Conflicts: 755000 | #Constraints: 17845
305.57/306.61 c #Conflicts: 756000 | #Constraints: 18845
320.71/321.86 c #Conflicts: 757000 | #Constraints: 19845
320.71/321.86 c #Conflicts: 758000 | #Constraints: 20845
320.71/321.86 c #Conflicts: 759000 | #Constraints: 21845
320.71/321.86 c #Conflicts: 760000 | #Constraints: 22845
320.71/321.86 c #Conflicts: 761000 | #Constraints: 23845
320.71/321.86 c #Conflicts: 762000 | #Constraints: 24845
320.71/321.86 c #Conflicts: 763000 | #Constraints: 25845
320.71/321.86 c #Conflicts: 764000 | #Constraints: 26845
320.71/321.86 c #Conflicts: 765000 | #Constraints: 27845
320.71/321.86 c #Conflicts: 766000 | #Constraints: 28845
320.71/321.86 c #Conflicts: 767000 | #Constraints: 29845
320.71/321.86 c #Conflicts: 768000 | #Constraints: 30845
320.71/321.86 c #Conflicts: 769000 | #Constraints: 31845
320.71/321.86 c #Conflicts: 770000 | #Constraints: 32845
320.71/321.86 c #Conflicts: 771000 | #Constraints: 33845
320.71/321.86 c #Conflicts: 772000 | #Constraints: 34845
320.71/321.86 c INPROCESSING
320.71/321.86 c GARBAGE COLLECT
320.71/321.86 c #Conflicts: 773000 | #Constraints: 18349
320.71/321.86 c #Conflicts: 774000 | #Constraints: 19349
320.71/321.86 c #Conflicts: 775000 | #Constraints: 20349
320.71/321.86 c #Conflicts: 776000 | #Constraints: 21349
320.71/321.86 c #Conflicts: 777000 | #Constraints: 22349
320.71/321.86 c #Conflicts: 778000 | #Constraints: 23349
320.71/321.86 c #Conflicts: 779000 | #Constraints: 24349
320.71/321.86 c #Conflicts: 780000 | #Constraints: 25349
320.71/321.86 c #Conflicts: 781000 | #Constraints: 26349
320.71/321.86 c #Conflicts: 782000 | #Constraints: 27349
320.71/321.86 c #Conflicts: 783000 | #Constraints: 28349
320.71/321.86 c #Conflicts: 784000 | #Constraints: 29349
320.71/321.86 c #Conflicts: 785000 | #Constraints: 30349
320.71/321.86 c #Conflicts: 786000 | #Constraints: 31349
320.71/321.86 c #Conflicts: 787000 | #Constraints: 32349
320.71/321.86 c #Conflicts: 788000 | #Constraints: 33349
320.71/321.86 c #Conflicts: 789000 | #Constraints: 34349
320.71/321.86 c GLOBAL bounds 52240 >= 47059 @ 310.545
321.51/322.69 c #Conflicts: 790000 | #Constraints: 35352
321.51/322.69 c INPROCESSING
321.51/322.69 c GARBAGE COLLECT
321.51/322.69 c #Conflicts: 791000 | #Constraints: 18648
321.51/322.69 c GLOBAL bounds 52240 >= 47059 @ 311.35
354.41/355.61 c #Conflicts: 792000 | #Constraints: 19651
354.41/355.61 c #Conflicts: 793000 | #Constraints: 20651
354.41/355.61 c #Conflicts: 794000 | #Constraints: 21651
354.41/355.61 c #Conflicts: 795000 | #Constraints: 22651
354.41/355.61 c #Conflicts: 796000 | #Constraints: 23651
354.41/355.61 c #Conflicts: 797000 | #Constraints: 24651
354.41/355.61 c #Conflicts: 798000 | #Constraints: 25651
354.41/355.61 c #Conflicts: 799000 | #Constraints: 26651
354.41/355.61 c #Conflicts: 800000 | #Constraints: 27651
354.41/355.61 c #Conflicts: 801000 | #Constraints: 28651
354.41/355.61 c #Conflicts: 802000 | #Constraints: 29651
354.41/355.61 c #Conflicts: 803000 | #Constraints: 30651
354.41/355.61 c #Conflicts: 804000 | #Constraints: 31651
354.41/355.61 c #Conflicts: 805000 | #Constraints: 32651
354.41/355.61 c #Conflicts: 806000 | #Constraints: 33651
354.41/355.61 c #Conflicts: 807000 | #Constraints: 34651
354.41/355.61 c #Conflicts: 808000 | #Constraints: 35651
354.41/355.61 c INPROCESSING
354.41/355.61 c GARBAGE COLLECT
354.41/355.61 c #Conflicts: 809000 | #Constraints: 18756
354.41/355.61 c #Conflicts: 810000 | #Constraints: 19756
354.41/355.61 c #Conflicts: 811000 | #Constraints: 20756
354.41/355.61 c #Conflicts: 812000 | #Constraints: 21756
354.41/355.61 c #Conflicts: 813000 | #Constraints: 22756
354.41/355.61 c #Conflicts: 814000 | #Constraints: 23756
354.41/355.61 c #Conflicts: 815000 | #Constraints: 24756
354.41/355.61 c #Conflicts: 816000 | #Constraints: 25756
354.41/355.61 c #Conflicts: 817000 | #Constraints: 26756
354.41/355.61 c #Conflicts: 818000 | #Constraints: 27756
354.41/355.61 c #Conflicts: 819000 | #Constraints: 28756
354.41/355.61 c #Conflicts: 820000 | #Constraints: 29756
354.41/355.61 c #Conflicts: 821000 | #Constraints: 30756
354.41/355.61 c #Conflicts: 822000 | #Constraints: 31756
354.41/355.61 c #Conflicts: 823000 | #Constraints: 32756
354.41/355.61 c #Conflicts: 824000 | #Constraints: 33756
354.41/355.61 c #Conflicts: 825000 | #Constraints: 34756
354.41/355.61 c #Conflicts: 826000 | #Constraints: 35756
354.41/355.61 c INPROCESSING
354.41/355.61 c GARBAGE COLLECT
354.41/355.61 c #Conflicts: 827000 | #Constraints: 18654
354.41/355.61 c #Conflicts: 828000 | #Constraints: 19654
354.41/355.61 c #Conflicts: 829000 | #Constraints: 20654
354.41/355.61 c #Conflicts: 830000 | #Constraints: 21654
354.41/355.61 c #Conflicts: 831000 | #Constraints: 22654
354.41/355.61 c #Conflicts: 832000 | #Constraints: 23654
354.41/355.61 c #Conflicts: 833000 | #Constraints: 24654
354.41/355.61 c #Conflicts: 834000 | #Constraints: 25654
354.41/355.61 c #Conflicts: 835000 | #Constraints: 26654
354.41/355.61 c #Conflicts: 836000 | #Constraints: 27654
354.41/355.61 c #Conflicts: 837000 | #Constraints: 28654
354.41/355.61 c #Conflicts: 838000 | #Constraints: 29654
354.41/355.61 c #Conflicts: 839000 | #Constraints: 30654
354.41/355.61 c #Conflicts: 840000 | #Constraints: 31654
354.41/355.61 c #Conflicts: 841000 | #Constraints: 32654
354.41/355.61 c #Conflicts: 842000 | #Constraints: 33654
354.41/355.61 c #Conflicts: 843000 | #Constraints: 34654
354.41/355.61 c #Conflicts: 844000 | #Constraints: 35654
354.41/355.61 c #Conflicts: 845000 | #Constraints: 36654
354.41/355.61 c INPROCESSING
354.41/355.61 c GARBAGE COLLECT
354.41/355.61 c #Conflicts: 846000 | #Constraints: 19352
354.41/355.61 c #Conflicts: 847000 | #Constraints: 20352
354.41/355.61 c #Conflicts: 848000 | #Constraints: 21352
354.41/355.61 c #Conflicts: 849000 | #Constraints: 22352
354.41/355.61 c #Conflicts: 850000 | #Constraints: 23352
354.41/355.61 c #Conflicts: 851000 | #Constraints: 24352
354.41/355.61 c #Conflicts: 852000 | #Constraints: 25352
354.41/355.61 c #Conflicts: 853000 | #Constraints: 26352
354.41/355.61 c #Conflicts: 854000 | #Constraints: 27352
354.41/355.61 c #Conflicts: 855000 | #Constraints: 28352
354.41/355.61 c #Conflicts: 856000 | #Constraints: 29352
354.41/355.61 c #Conflicts: 857000 | #Constraints: 30352
354.41/355.61 c #Conflicts: 858000 | #Constraints: 31352
354.41/355.61 c #Conflicts: 859000 | #Constraints: 32352
354.41/355.61 c #Conflicts: 860000 | #Constraints: 33352
354.41/355.61 c #Conflicts: 861000 | #Constraints: 34352
354.41/355.61 c #Conflicts: 862000 | #Constraints: 35352
354.41/355.61 c #Conflicts: 863000 | #Constraints: 36352
354.41/355.61 c #Conflicts: 864000 | #Constraints: 37352
354.41/355.61 c INPROCESSING
354.41/355.61 c GARBAGE COLLECT
354.41/355.61 c #Conflicts: 865000 | #Constraints: 19860
354.41/355.61 c #Conflicts: 866000 | #Constraints: 20860
354.41/355.61 c #Conflicts: 867000 | #Constraints: 21860
354.41/355.61 c #Conflicts: 868000 | #Constraints: 22860
391.48/392.82 c #Conflicts: 869000 | #Constraints: 23860
391.48/392.82 c #Conflicts: 870000 | #Constraints: 24860
391.48/392.82 c #Conflicts: 871000 | #Constraints: 25860
391.48/392.82 c #Conflicts: 872000 | #Constraints: 26860
391.48/392.82 c #Conflicts: 873000 | #Constraints: 27860
391.48/392.82 c #Conflicts: 874000 | #Constraints: 28860
391.48/392.82 c #Conflicts: 875000 | #Constraints: 29860
391.48/392.82 c #Conflicts: 876000 | #Constraints: 30860
391.48/392.82 c #Conflicts: 877000 | #Constraints: 31860
391.48/392.82 c #Conflicts: 878000 | #Constraints: 32860
391.48/392.82 c #Conflicts: 879000 | #Constraints: 33860
391.48/392.82 c #Conflicts: 880000 | #Constraints: 34860
391.48/392.82 c #Conflicts: 881000 | #Constraints: 35860
391.48/392.82 c #Conflicts: 882000 | #Constraints: 36860
391.48/392.82 c INPROCESSING
391.48/392.82 c GARBAGE COLLECT
391.48/392.82 c #Conflicts: 883000 | #Constraints: 19160
391.48/392.82 c #Conflicts: 884000 | #Constraints: 20160
391.48/392.82 c #Conflicts: 885000 | #Constraints: 21160
391.48/392.82 c #Conflicts: 886000 | #Constraints: 22160
391.48/392.82 c #Conflicts: 887000 | #Constraints: 23160
391.48/392.82 c #Conflicts: 888000 | #Constraints: 24160
391.48/392.82 c #Conflicts: 889000 | #Constraints: 25160
391.48/392.82 c #Conflicts: 890000 | #Constraints: 26160
391.48/392.82 c #Conflicts: 891000 | #Constraints: 27160
391.48/392.82 c #Conflicts: 892000 | #Constraints: 28160
391.48/392.82 c #Conflicts: 893000 | #Constraints: 29160
391.48/392.82 c #Conflicts: 894000 | #Constraints: 30160
391.48/392.82 c #Conflicts: 895000 | #Constraints: 31160
391.48/392.82 c #Conflicts: 896000 | #Constraints: 32160
391.48/392.82 c #Conflicts: 897000 | #Constraints: 33160
391.48/392.82 c #Conflicts: 898000 | #Constraints: 34160
391.48/392.82 c #Conflicts: 899000 | #Constraints: 35160
391.48/392.82 c #Conflicts: 900000 | #Constraints: 36160
391.48/392.82 c #Conflicts: 901000 | #Constraints: 37160
391.48/392.82 c #Conflicts: 902000 | #Constraints: 38160
391.48/392.82 c INPROCESSING
391.48/392.82 c GARBAGE COLLECT
391.48/392.82 c #Conflicts: 903000 | #Constraints: 20263
391.48/392.82 c #Conflicts: 904000 | #Constraints: 21263
391.48/392.82 c #Conflicts: 905000 | #Constraints: 22263
391.48/392.82 c #Conflicts: 906000 | #Constraints: 23263
391.48/392.83 c #Conflicts: 907000 | #Constraints: 24263
391.48/392.83 c #Conflicts: 908000 | #Constraints: 25263
391.48/392.83 c #Conflicts: 909000 | #Constraints: 26263
391.48/392.83 c #Conflicts: 910000 | #Constraints: 27263
391.48/392.83 c #Conflicts: 911000 | #Constraints: 28263
391.48/392.83 c #Conflicts: 912000 | #Constraints: 29263
391.48/392.83 c #Conflicts: 913000 | #Constraints: 30263
391.48/392.83 c #Conflicts: 914000 | #Constraints: 31263
391.48/392.83 c #Conflicts: 915000 | #Constraints: 32263
391.48/392.83 c #Conflicts: 916000 | #Constraints: 33263
391.48/392.83 c #Conflicts: 917000 | #Constraints: 34263
391.48/392.83 c #Conflicts: 918000 | #Constraints: 35263
391.48/392.83 c #Conflicts: 919000 | #Constraints: 36263
391.48/392.83 c #Conflicts: 920000 | #Constraints: 37263
391.48/392.83 c #Conflicts: 921000 | #Constraints: 38263
391.48/392.83 c INPROCESSING
391.48/392.83 c GARBAGE COLLECT
391.48/392.83 c #Conflicts: 922000 | #Constraints: 20167
391.48/392.83 c #Conflicts: 923000 | #Constraints: 21167
391.48/392.83 c #Conflicts: 924000 | #Constraints: 22167
391.48/392.83 c #Conflicts: 925000 | #Constraints: 23167
391.48/392.83 c #Conflicts: 926000 | #Constraints: 24167
391.48/392.83 c #Conflicts: 927000 | #Constraints: 25167
391.48/392.83 c #Conflicts: 928000 | #Constraints: 26167
391.48/392.83 c #Conflicts: 929000 | #Constraints: 27167
391.48/392.83 c #Conflicts: 930000 | #Constraints: 28167
391.48/392.83 c #Conflicts: 931000 | #Constraints: 29167
391.48/392.83 c #Conflicts: 932000 | #Constraints: 30167
391.48/392.83 c #Conflicts: 933000 | #Constraints: 31167
391.48/392.83 c #Conflicts: 934000 | #Constraints: 32167
391.48/392.83 c #Conflicts: 935000 | #Constraints: 33167
391.48/392.83 c #Conflicts: 936000 | #Constraints: 34167
391.48/392.83 c #Conflicts: 937000 | #Constraints: 35167
391.48/392.83 c #Conflicts: 938000 | #Constraints: 36167
391.48/392.83 c #Conflicts: 939000 | #Constraints: 37167
391.48/392.83 c #Conflicts: 940000 | #Constraints: 38167
391.48/392.83 c INPROCESSING
391.48/392.83 c GARBAGE COLLECT
391.48/392.83 c #Conflicts: 941000 | #Constraints: 19867
391.48/392.83 c #Conflicts: 942000 | #Constraints: 20867
391.48/392.83 c #Conflicts: 943000 | #Constraints: 21867
391.48/392.83 c #Conflicts: 944000 | #Constraints: 22867
431.94/433.42 c #Conflicts: 945000 | #Constraints: 23867
431.94/433.42 c #Conflicts: 946000 | #Constraints: 24867
431.94/433.42 c #Conflicts: 947000 | #Constraints: 25867
431.94/433.42 c #Conflicts: 948000 | #Constraints: 26867
431.94/433.42 c #Conflicts: 949000 | #Constraints: 27867
431.94/433.42 c #Conflicts: 950000 | #Constraints: 28867
431.94/433.42 c #Conflicts: 951000 | #Constraints: 29867
431.94/433.42 c #Conflicts: 952000 | #Constraints: 30867
431.94/433.42 c #Conflicts: 953000 | #Constraints: 31867
431.94/433.42 c #Conflicts: 954000 | #Constraints: 32867
431.94/433.42 c #Conflicts: 955000 | #Constraints: 33867
431.94/433.42 c #Conflicts: 956000 | #Constraints: 34867
431.94/433.42 c #Conflicts: 957000 | #Constraints: 35867
431.94/433.42 c #Conflicts: 958000 | #Constraints: 36867
431.94/433.42 c #Conflicts: 959000 | #Constraints: 37867
431.94/433.42 c #Conflicts: 960000 | #Constraints: 38867
431.94/433.42 c INPROCESSING
431.94/433.42 c GARBAGE COLLECT
431.94/433.42 c #Conflicts: 961000 | #Constraints: 20369
431.94/433.42 c #Conflicts: 962000 | #Constraints: 21369
431.94/433.42 c #Conflicts: 963000 | #Constraints: 22369
431.94/433.42 c #Conflicts: 964000 | #Constraints: 23369
431.94/433.42 c #Conflicts: 965000 | #Constraints: 24369
431.94/433.42 c #Conflicts: 966000 | #Constraints: 25369
431.94/433.42 c #Conflicts: 967000 | #Constraints: 26369
431.94/433.42 c #Conflicts: 968000 | #Constraints: 27369
431.94/433.42 c #Conflicts: 969000 | #Constraints: 28369
431.94/433.42 c #Conflicts: 970000 | #Constraints: 29369
431.94/433.42 c #Conflicts: 971000 | #Constraints: 30369
431.94/433.42 c #Conflicts: 972000 | #Constraints: 31369
431.94/433.42 c #Conflicts: 973000 | #Constraints: 32369
431.94/433.42 c #Conflicts: 974000 | #Constraints: 33369
431.94/433.42 c #Conflicts: 975000 | #Constraints: 34369
431.94/433.42 c #Conflicts: 976000 | #Constraints: 35369
431.94/433.42 c #Conflicts: 977000 | #Constraints: 36369
431.94/433.42 c #Conflicts: 978000 | #Constraints: 37369
431.94/433.42 c #Conflicts: 979000 | #Constraints: 38369
431.94/433.42 c #Conflicts: 980000 | #Constraints: 39369
431.94/433.42 c INPROCESSING
431.94/433.42 c GARBAGE COLLECT
431.94/433.42 c #Conflicts: 981000 | #Constraints: 20674
431.94/433.42 c #Conflicts: 982000 | #Constraints: 21674
431.94/433.42 c #Conflicts: 983000 | #Constraints: 22674
431.94/433.42 c #Conflicts: 984000 | #Constraints: 23674
431.94/433.42 c #Conflicts: 985000 | #Constraints: 24674
431.94/433.42 c #Conflicts: 986000 | #Constraints: 25674
431.94/433.42 c #Conflicts: 987000 | #Constraints: 26674
431.94/433.42 c #Conflicts: 988000 | #Constraints: 27674
431.94/433.42 c #Conflicts: 989000 | #Constraints: 28674
431.94/433.42 c #Conflicts: 990000 | #Constraints: 29674
431.94/433.42 c #Conflicts: 991000 | #Constraints: 30674
431.94/433.42 c #Conflicts: 992000 | #Constraints: 31674
431.94/433.42 c #Conflicts: 993000 | #Constraints: 32674
431.94/433.42 c #Conflicts: 994000 | #Constraints: 33674
431.94/433.42 c #Conflicts: 995000 | #Constraints: 34674
431.94/433.42 c #Conflicts: 996000 | #Constraints: 35674
431.94/433.42 c #Conflicts: 997000 | #Constraints: 36674
431.94/433.42 c #Conflicts: 998000 | #Constraints: 37674
431.94/433.42 c #Conflicts: 999000 | #Constraints: 38674
431.94/433.42 c #Conflicts: 1000000 | #Constraints: 39674
431.94/433.42 c INPROCESSING
431.94/433.42 c GARBAGE COLLECT
431.94/433.42 c #Conflicts: 1001000 | #Constraints: 20774
431.94/433.42 c #Conflicts: 1002000 | #Constraints: 21774
431.94/433.42 c #Conflicts: 1003000 | #Constraints: 22774
431.94/433.42 c #Conflicts: 1004000 | #Constraints: 23774
431.94/433.42 c #Conflicts: 1005000 | #Constraints: 24774
431.94/433.42 c #Conflicts: 1006000 | #Constraints: 25774
431.94/433.42 c #Conflicts: 1007000 | #Constraints: 26774
431.94/433.42 c #Conflicts: 1008000 | #Constraints: 27774
431.94/433.42 c #Conflicts: 1009000 | #Constraints: 28774
431.94/433.42 c #Conflicts: 1010000 | #Constraints: 29774
431.94/433.42 c #Conflicts: 1011000 | #Constraints: 30774
431.94/433.42 c #Conflicts: 1012000 | #Constraints: 31774
431.94/433.42 c #Conflicts: 1013000 | #Constraints: 32774
431.94/433.42 c #Conflicts: 1014000 | #Constraints: 33774
431.94/433.42 c #Conflicts: 1015000 | #Constraints: 34774
431.94/433.42 c #Conflicts: 1016000 | #Constraints: 35774
431.94/433.42 c #Conflicts: 1017000 | #Constraints: 36774
431.94/433.42 c #Conflicts: 1018000 | #Constraints: 37774
431.94/433.42 c #Conflicts: 1019000 | #Constraints: 38774
431.94/433.42 c #Conflicts: 1020000 | #Constraints: 39774
431.94/433.42 c INPROCESSING
431.94/433.42 c GARBAGE COLLECT
449.99/451.57 c #Conflicts: 1021000 | #Constraints: 20685
449.99/451.57 c #Conflicts: 1022000 | #Constraints: 21685
449.99/451.57 c #Conflicts: 1023000 | #Constraints: 22685
449.99/451.57 c #Conflicts: 1024000 | #Constraints: 23685
449.99/451.57 c #Conflicts: 1025000 | #Constraints: 24685
449.99/451.57 c #Conflicts: 1026000 | #Constraints: 25685
449.99/451.57 c #Conflicts: 1027000 | #Constraints: 26685
449.99/451.57 c #Conflicts: 1028000 | #Constraints: 27685
449.99/451.57 c #Conflicts: 1029000 | #Constraints: 28685
449.99/451.57 c #Conflicts: 1030000 | #Constraints: 29685
449.99/451.57 c #Conflicts: 1031000 | #Constraints: 30685
449.99/451.57 c #Conflicts: 1032000 | #Constraints: 31685
449.99/451.57 c #Conflicts: 1033000 | #Constraints: 32685
449.99/451.57 c #Conflicts: 1034000 | #Constraints: 33685
449.99/451.57 c #Conflicts: 1035000 | #Constraints: 34685
449.99/451.57 c #Conflicts: 1036000 | #Constraints: 35685
449.99/451.57 c #Conflicts: 1037000 | #Constraints: 36685
449.99/451.57 c #Conflicts: 1038000 | #Constraints: 37685
449.99/451.57 c #Conflicts: 1039000 | #Constraints: 38685
449.99/451.57 c #Conflicts: 1040000 | #Constraints: 39685
449.99/451.57 c #Conflicts: 1041000 | #Constraints: 40685
449.99/451.57 c INPROCESSING
449.99/451.57 c GARBAGE COLLECT
449.99/451.57 c #Conflicts: 1042000 | #Constraints: 21391
449.99/451.57 c #Conflicts: 1043000 | #Constraints: 22391
449.99/451.57 c #Conflicts: 1044000 | #Constraints: 23391
449.99/451.57 c #Conflicts: 1045000 | #Constraints: 24391
449.99/451.57 c #Conflicts: 1046000 | #Constraints: 25391
449.99/451.57 c #Conflicts: 1047000 | #Constraints: 26391
449.99/451.57 c #Conflicts: 1048000 | #Constraints: 27391
449.99/451.57 c #Conflicts: 1049000 | #Constraints: 28391
449.99/451.57 c #Conflicts: 1050000 | #Constraints: 29391
449.99/451.57 c #Conflicts: 1051000 | #Constraints: 30391
449.99/451.57 c #Conflicts: 1052000 | #Constraints: 31391
449.99/451.57 c #Conflicts: 1053000 | #Constraints: 32391
449.99/451.57 c #Conflicts: 1054000 | #Constraints: 33391
449.99/451.57 c #Conflicts: 1055000 | #Constraints: 34391
449.99/451.57 c #Conflicts: 1056000 | #Constraints: 35391
449.99/451.57 c #Conflicts: 1057000 | #Constraints: 36391
449.99/451.57 c #Conflicts: 1058000 | #Constraints: 37391
449.99/451.57 c #Conflicts: 1059000 | #Constraints: 38391
449.99/451.57 c GLOBAL bounds 52240 >= 47267 @ 436.642
449.99/451.57 c GLOBAL bounds 52240 >= 47267 @ 436.646
449.99/451.58 c GLOBAL bounds 52240 >= 47267 @ 436.646
449.99/451.58 c GLOBAL bounds 49490 >= 47267 @ 436.647
451.59/453.16 c #Conflicts: 1060000 | #Constraints: 39394
451.59/453.16 c #Conflicts: 1061000 | #Constraints: 40394
451.59/453.16 c #Conflicts: 1062000 | #Constraints: 41394
451.59/453.16 c INPROCESSING
451.59/453.16 c GARBAGE COLLECT
451.59/453.16 c #Conflicts: 1063000 | #Constraints: 21818
451.59/453.16 c GLOBAL bounds 49490 >= 47267 @ 438.173
451.59/453.16 c GLOBAL bounds 49490 >= 47267 @ 438.174
453.49/455.03 c #Conflicts: 1064000 | #Constraints: 22822
453.49/455.03 c #Conflicts: 1065000 | #Constraints: 23822
453.49/455.03 c #Conflicts: 1066000 | #Constraints: 24822
453.49/455.03 c #Conflicts: 1067000 | #Constraints: 25822
453.49/455.03 c #Conflicts: 1068000 | #Constraints: 26822
453.49/455.03 c #Conflicts: 1069000 | #Constraints: 27822
453.49/455.03 c GLOBAL bounds 49490 >= 47267 @ 439.942
453.49/455.03 c GLOBAL bounds 49490 >= 47267 @ 439.944
453.49/455.04 c GLOBAL bounds 49490 >= 47267 @ 439.945
453.49/455.04 c GLOBAL bounds 49490 >= 47267 @ 439.946
453.49/455.04 c GLOBAL bounds 49490 >= 47267 @ 439.947
453.49/455.04 c GLOBAL bounds 49490 >= 47267 @ 439.948
453.49/455.05 c GLOBAL bounds 49490 >= 47267 @ 439.952
453.49/455.05 c GLOBAL bounds 49490 >= 47267 @ 439.953
453.49/455.05 c GLOBAL bounds 49490 >= 47267 @ 439.959
453.49/455.06 c GLOBAL bounds 49490 >= 47267 @ 439.96
457.36/458.94 c #Conflicts: 1070000 | #Constraints: 28842
457.36/458.94 c #Conflicts: 1071000 | #Constraints: 29842
457.36/458.94 c #Conflicts: 1072000 | #Constraints: 30842
457.36/458.94 c #Conflicts: 1073000 | #Constraints: 31842
457.36/458.94 c #Conflicts: 1074000 | #Constraints: 32842
457.36/458.94 c #Conflicts: 1075000 | #Constraints: 33842
457.36/458.94 c #Conflicts: 1076000 | #Constraints: 34842
457.36/458.94 c #Conflicts: 1077000 | #Constraints: 35842
457.36/458.94 c #Conflicts: 1078000 | #Constraints: 36842
457.36/458.94 c #Conflicts: 1079000 | #Constraints: 37842
457.36/458.94 c #Conflicts: 1080000 | #Constraints: 38842
457.36/458.94 c #Conflicts: 1081000 | #Constraints: 39842
457.36/458.94 c #Conflicts: 1082000 | #Constraints: 40842
457.36/458.94 c INPROCESSING
457.36/458.94 c GARBAGE COLLECT
457.36/458.94 c GLOBAL bounds 49490 >= 47267 @ 443.701
457.36/458.94 c GLOBAL bounds 49490 >= 47267 @ 443.702
457.36/458.95 c GLOBAL bounds 49490 >= 47267 @ 443.708
457.36/458.95 c GLOBAL bounds 49490 >= 47267 @ 443.709
457.36/458.95 c GLOBAL bounds 49490 >= 47267 @ 443.711
457.36/458.96 c GLOBAL bounds 48902 >= 47267 @ 443.712
459.47/461.10 c #Conflicts: 1083000 | #Constraints: 21127
459.47/461.10 c #Conflicts: 1084000 | #Constraints: 22127
459.47/461.10 c #Conflicts: 1085000 | #Constraints: 23127
459.47/461.10 c #Conflicts: 1086000 | #Constraints: 24127
459.47/461.10 c #Conflicts: 1087000 | #Constraints: 25127
459.47/461.10 c #Conflicts: 1088000 | #Constraints: 26127
459.47/461.10 c #Conflicts: 1089000 | #Constraints: 27127
459.47/461.10 c GLOBAL bounds 48902 >= 47267 @ 445.78
459.47/461.10 c GLOBAL bounds 48902 >= 47267 @ 445.781
459.47/461.11 c GLOBAL bounds 48902 >= 47267 @ 445.783
463.05/464.65 c #Conflicts: 1090000 | #Constraints: 28131
463.05/464.65 c #Conflicts: 1091000 | #Constraints: 29131
463.05/464.65 c #Conflicts: 1092000 | #Constraints: 30131
463.05/464.65 c #Conflicts: 1093000 | #Constraints: 31131
463.05/464.65 c #Conflicts: 1094000 | #Constraints: 32131
463.05/464.65 c #Conflicts: 1095000 | #Constraints: 33131
463.05/464.65 c #Conflicts: 1096000 | #Constraints: 34131
463.05/464.65 c #Conflicts: 1097000 | #Constraints: 35131
463.05/464.65 c #Conflicts: 1098000 | #Constraints: 36131
463.05/464.65 c GLOBAL bounds 48902 >= 47267 @ 449.213
467.03/468.61 c #Conflicts: 1099000 | #Constraints: 37134
467.03/468.61 c #Conflicts: 1100000 | #Constraints: 38134
467.03/468.61 c #Conflicts: 1101000 | #Constraints: 39134
467.03/468.61 c #Conflicts: 1102000 | #Constraints: 40134
467.03/468.61 c #Conflicts: 1103000 | #Constraints: 41134
467.03/468.61 c #Conflicts: 1104000 | #Constraints: 42134
467.03/468.61 c INPROCESSING
467.03/468.61 c GARBAGE COLLECT
467.03/468.61 c #Conflicts: 1105000 | #Constraints: 22222
467.03/468.61 c #Conflicts: 1106000 | #Constraints: 23222
467.03/468.61 c #Conflicts: 1107000 | #Constraints: 24222
467.03/468.61 c #Conflicts: 1108000 | #Constraints: 25222
467.03/468.61 c GLOBAL bounds 48902 >= 47267 @ 453.038
505.71/507.43 c #Conflicts: 1109000 | #Constraints: 26225
505.71/507.43 c #Conflicts: 1110000 | #Constraints: 27225
505.71/507.43 c #Conflicts: 1111000 | #Constraints: 28225
505.71/507.43 c #Conflicts: 1112000 | #Constraints: 29225
505.71/507.43 c #Conflicts: 1113000 | #Constraints: 30225
505.71/507.43 c #Conflicts: 1114000 | #Constraints: 31225
505.71/507.43 c #Conflicts: 1115000 | #Constraints: 32225
505.71/507.43 c #Conflicts: 1116000 | #Constraints: 33225
505.71/507.43 c #Conflicts: 1117000 | #Constraints: 34225
505.71/507.43 c #Conflicts: 1118000 | #Constraints: 35225
505.71/507.43 c #Conflicts: 1119000 | #Constraints: 36225
505.71/507.43 c #Conflicts: 1120000 | #Constraints: 37225
505.71/507.43 c #Conflicts: 1121000 | #Constraints: 38225
505.71/507.43 c #Conflicts: 1122000 | #Constraints: 39225
505.71/507.43 c #Conflicts: 1123000 | #Constraints: 40225
505.71/507.43 c #Conflicts: 1124000 | #Constraints: 41225
505.71/507.43 c #Conflicts: 1125000 | #Constraints: 42225
505.71/507.43 c INPROCESSING
505.71/507.43 c GARBAGE COLLECT
505.71/507.43 c #Conflicts: 1126000 | #Constraints: 22150
505.71/507.43 c #Conflicts: 1127000 | #Constraints: 23150
505.71/507.43 c #Conflicts: 1128000 | #Constraints: 24150
505.71/507.43 c #Conflicts: 1129000 | #Constraints: 25150
505.71/507.43 c #Conflicts: 1130000 | #Constraints: 26150
505.71/507.43 c #Conflicts: 1131000 | #Constraints: 27150
505.71/507.43 c #Conflicts: 1132000 | #Constraints: 28150
505.71/507.43 c #Conflicts: 1133000 | #Constraints: 29150
505.71/507.43 c #Conflicts: 1134000 | #Constraints: 30150
505.71/507.43 c #Conflicts: 1135000 | #Constraints: 31150
505.71/507.43 c #Conflicts: 1136000 | #Constraints: 32150
505.71/507.43 c #Conflicts: 1137000 | #Constraints: 33150
505.71/507.43 c #Conflicts: 1138000 | #Constraints: 34150
505.71/507.43 c #Conflicts: 1139000 | #Constraints: 35150
505.71/507.43 c #Conflicts: 1140000 | #Constraints: 36150
505.71/507.43 c #Conflicts: 1141000 | #Constraints: 37150
505.71/507.43 c #Conflicts: 1142000 | #Constraints: 38150
505.71/507.43 c #Conflicts: 1143000 | #Constraints: 39150
505.71/507.43 c #Conflicts: 1144000 | #Constraints: 40150
505.71/507.43 c #Conflicts: 1145000 | #Constraints: 41150
505.71/507.43 c #Conflicts: 1146000 | #Constraints: 42150
505.71/507.43 c INPROCESSING
505.71/507.43 c GARBAGE COLLECT
505.71/507.43 c #Conflicts: 1147000 | #Constraints: 21852
505.71/507.43 c #Conflicts: 1148000 | #Constraints: 22852
505.71/507.43 c #Conflicts: 1149000 | #Constraints: 23852
505.71/507.43 c #Conflicts: 1150000 | #Constraints: 24852
505.71/507.43 c #Conflicts: 1151000 | #Constraints: 25852
505.71/507.43 c #Conflicts: 1152000 | #Constraints: 26852
505.71/507.43 c #Conflicts: 1153000 | #Constraints: 27852
505.71/507.43 c #Conflicts: 1154000 | #Constraints: 28852
505.71/507.43 c #Conflicts: 1155000 | #Constraints: 29852
505.71/507.43 c #Conflicts: 1156000 | #Constraints: 30852
505.71/507.43 c #Conflicts: 1157000 | #Constraints: 31852
505.71/507.43 c #Conflicts: 1158000 | #Constraints: 32852
505.71/507.43 c #Conflicts: 1159000 | #Constraints: 33852
505.71/507.43 c #Conflicts: 1160000 | #Constraints: 34852
505.71/507.43 c #Conflicts: 1161000 | #Constraints: 35852
505.71/507.43 c #Conflicts: 1162000 | #Constraints: 36852
505.71/507.43 c #Conflicts: 1163000 | #Constraints: 37852
505.71/507.43 c #Conflicts: 1164000 | #Constraints: 38852
505.71/507.43 c #Conflicts: 1165000 | #Constraints: 39852
505.71/507.43 c #Conflicts: 1166000 | #Constraints: 40852
505.71/507.43 c #Conflicts: 1167000 | #Constraints: 41852
505.71/507.43 c #Conflicts: 1168000 | #Constraints: 42852
505.71/507.43 c INPROCESSING
505.71/507.43 c GARBAGE COLLECT
505.71/507.43 c #Conflicts: 1169000 | #Constraints: 22361
505.71/507.43 c #Conflicts: 1170000 | #Constraints: 23361
505.71/507.43 c #Conflicts: 1171000 | #Constraints: 24361
505.71/507.43 c #Conflicts: 1172000 | #Constraints: 25361
505.71/507.43 c #Conflicts: 1173000 | #Constraints: 26361
505.71/507.43 c #Conflicts: 1174000 | #Constraints: 27361
505.71/507.43 c #Conflicts: 1175000 | #Constraints: 28361
505.71/507.43 c #Conflicts: 1176000 | #Constraints: 29361
505.71/507.43 c #Conflicts: 1177000 | #Constraints: 30361
505.71/507.43 c #Conflicts: 1178000 | #Constraints: 31361
505.71/507.43 c #Conflicts: 1179000 | #Constraints: 32361
505.71/507.43 c #Conflicts: 1180000 | #Constraints: 33361
505.71/507.43 c #Conflicts: 1181000 | #Constraints: 34361
505.71/507.43 c #Conflicts: 1182000 | #Constraints: 35361
505.71/507.43 c #Conflicts: 1183000 | #Constraints: 36361
505.71/507.43 c #Conflicts: 1184000 | #Constraints: 37361
505.71/507.43 c #Conflicts: 1185000 | #Constraints: 38361
527.36/529.19 c #Conflicts: 1186000 | #Constraints: 39361
527.36/529.19 c #Conflicts: 1187000 | #Constraints: 40361
527.36/529.19 c #Conflicts: 1188000 | #Constraints: 41361
527.36/529.19 c #Conflicts: 1189000 | #Constraints: 42361
527.36/529.19 c #Conflicts: 1190000 | #Constraints: 43361
527.36/529.19 c INPROCESSING
527.36/529.19 c GARBAGE COLLECT
527.36/529.19 c #Conflicts: 1191000 | #Constraints: 22662
527.36/529.19 c #Conflicts: 1192000 | #Constraints: 23662
527.36/529.19 c #Conflicts: 1193000 | #Constraints: 24662
527.36/529.19 c #Conflicts: 1194000 | #Constraints: 25662
527.36/529.19 c #Conflicts: 1195000 | #Constraints: 26662
527.36/529.19 c #Conflicts: 1196000 | #Constraints: 27662
527.36/529.19 c #Conflicts: 1197000 | #Constraints: 28662
527.36/529.19 c #Conflicts: 1198000 | #Constraints: 29662
527.36/529.19 c #Conflicts: 1199000 | #Constraints: 30662
527.36/529.19 c #Conflicts: 1200000 | #Constraints: 31662
527.36/529.19 c #Conflicts: 1201000 | #Constraints: 32662
527.36/529.19 c #Conflicts: 1202000 | #Constraints: 33662
527.36/529.19 c #Conflicts: 1203000 | #Constraints: 34662
527.36/529.19 c #Conflicts: 1204000 | #Constraints: 35662
527.36/529.19 c #Conflicts: 1205000 | #Constraints: 36662
527.36/529.19 c #Conflicts: 1206000 | #Constraints: 37662
527.36/529.19 c #Conflicts: 1207000 | #Constraints: 38662
527.36/529.19 c #Conflicts: 1208000 | #Constraints: 39662
527.36/529.19 c #Conflicts: 1209000 | #Constraints: 40662
527.36/529.19 c #Conflicts: 1210000 | #Constraints: 41662
527.36/529.19 c #Conflicts: 1211000 | #Constraints: 42662
527.36/529.19 c #Conflicts: 1212000 | #Constraints: 43662
527.36/529.19 c INPROCESSING
527.36/529.19 c GARBAGE COLLECT
527.36/529.19 c #Conflicts: 1213000 | #Constraints: 22775
527.36/529.19 c #Conflicts: 1214000 | #Constraints: 23775
527.36/529.19 c #Conflicts: 1215000 | #Constraints: 24775
527.36/529.19 c #Conflicts: 1216000 | #Constraints: 25775
527.36/529.19 c #Conflicts: 1217000 | #Constraints: 26775
527.36/529.19 c #Conflicts: 1218000 | #Constraints: 27775
527.36/529.19 c #Conflicts: 1219000 | #Constraints: 28775
527.36/529.19 c #Conflicts: 1220000 | #Constraints: 29775
527.36/529.19 c GLOBAL bounds 48902 >= 47333 @ 512.042
527.36/529.19 c GLOBAL bounds 48902 >= 47333 @ 512.044
527.36/529.19 c GLOBAL bounds 48902 >= 47333 @ 512.045
527.36/529.19 c GLOBAL bounds 48766 >= 47333 @ 512.047
530.52/532.36 c #Conflicts: 1221000 | #Constraints: 30778
530.52/532.36 c #Conflicts: 1222000 | #Constraints: 31778
530.52/532.36 c #Conflicts: 1223000 | #Constraints: 32778
530.52/532.36 c #Conflicts: 1224000 | #Constraints: 33778
530.52/532.36 c #Conflicts: 1225000 | #Constraints: 34778
530.52/532.36 c #Conflicts: 1226000 | #Constraints: 35778
530.52/532.36 c #Conflicts: 1227000 | #Constraints: 36778
530.52/532.36 c #Conflicts: 1228000 | #Constraints: 37778
530.52/532.36 c #Conflicts: 1229000 | #Constraints: 38778
530.52/532.36 c #Conflicts: 1230000 | #Constraints: 39778
530.52/532.36 c GLOBAL bounds 48766 >= 47333 @ 515.102
530.52/532.36 c GLOBAL bounds 48766 >= 47333 @ 515.103
530.72/532.50 c GLOBAL bounds 48766 >= 47333 @ 515.229
530.72/532.50 c GLOBAL bounds 48766 >= 47333 @ 515.23
530.72/532.54 c GLOBAL bounds 48766 >= 47333 @ 515.264
530.72/532.54 c GLOBAL bounds 48278 >= 47333 @ 515.266
530.72/532.58 c GLOBAL bounds 48278 >= 47333 @ 515.305
530.72/532.58 c GLOBAL bounds 48278 >= 47333 @ 515.306
530.83/532.60 c GLOBAL bounds 48278 >= 47333 @ 515.324
530.83/532.60 c GLOBAL bounds 48278 >= 47333 @ 515.325
560.63/562.59 c #Conflicts: 1231000 | #Constraints: 40797
560.63/562.59 c #Conflicts: 1232000 | #Constraints: 41797
560.63/562.59 c #Conflicts: 1233000 | #Constraints: 42797
560.63/562.59 c #Conflicts: 1234000 | #Constraints: 43797
560.63/562.59 c INPROCESSING
560.63/562.59 c GARBAGE COLLECT
560.63/562.59 c #Conflicts: 1235000 | #Constraints: 22627
560.63/562.59 c #Conflicts: 1236000 | #Constraints: 23627
560.63/562.59 c #Conflicts: 1237000 | #Constraints: 24627
560.63/562.59 c #Conflicts: 1238000 | #Constraints: 25627
560.63/562.59 c #Conflicts: 1239000 | #Constraints: 26627
560.63/562.59 c #Conflicts: 1240000 | #Constraints: 27627
560.63/562.59 c #Conflicts: 1241000 | #Constraints: 28627
560.63/562.59 c #Conflicts: 1242000 | #Constraints: 29627
560.63/562.59 c #Conflicts: 1243000 | #Constraints: 30627
560.63/562.59 c #Conflicts: 1244000 | #Constraints: 31627
560.63/562.59 c #Conflicts: 1245000 | #Constraints: 32627
560.63/562.59 c #Conflicts: 1246000 | #Constraints: 33627
560.63/562.59 c #Conflicts: 1247000 | #Constraints: 34627
560.63/562.59 c #Conflicts: 1248000 | #Constraints: 35627
560.63/562.59 c #Conflicts: 1249000 | #Constraints: 36627
560.63/562.59 c #Conflicts: 1250000 | #Constraints: 37627
560.63/562.59 c #Conflicts: 1251000 | #Constraints: 38627
560.63/562.59 c #Conflicts: 1252000 | #Constraints: 39627
560.63/562.59 c #Conflicts: 1253000 | #Constraints: 40627
560.63/562.59 c #Conflicts: 1254000 | #Constraints: 41627
560.63/562.59 c #Conflicts: 1255000 | #Constraints: 42627
560.63/562.59 c #Conflicts: 1256000 | #Constraints: 43627
560.63/562.59 c #Conflicts: 1257000 | #Constraints: 44627
560.63/562.59 c INPROCESSING
560.63/562.59 c GARBAGE COLLECT
560.63/562.59 c #Conflicts: 1258000 | #Constraints: 23317
560.63/562.59 c #Conflicts: 1259000 | #Constraints: 24317
560.63/562.59 c #Conflicts: 1260000 | #Constraints: 25317
560.63/562.59 c #Conflicts: 1261000 | #Constraints: 26317
560.63/562.59 c #Conflicts: 1262000 | #Constraints: 27317
560.63/562.59 c #Conflicts: 1263000 | #Constraints: 28317
560.63/562.59 c #Conflicts: 1264000 | #Constraints: 29317
560.63/562.59 c #Conflicts: 1265000 | #Constraints: 30317
560.63/562.59 c #Conflicts: 1266000 | #Constraints: 31317
560.63/562.59 c #Conflicts: 1267000 | #Constraints: 32317
560.63/562.59 c #Conflicts: 1268000 | #Constraints: 33317
560.63/562.59 c #Conflicts: 1269000 | #Constraints: 34317
560.63/562.59 c #Conflicts: 1270000 | #Constraints: 35317
560.63/562.59 c #Conflicts: 1271000 | #Constraints: 36317
560.63/562.59 c #Conflicts: 1272000 | #Constraints: 37317
560.63/562.59 c #Conflicts: 1273000 | #Constraints: 38317
560.63/562.59 c #Conflicts: 1274000 | #Constraints: 39317
560.63/562.59 c #Conflicts: 1275000 | #Constraints: 40317
560.63/562.59 c #Conflicts: 1276000 | #Constraints: 41317
560.63/562.59 c #Conflicts: 1277000 | #Constraints: 42317
560.63/562.59 c #Conflicts: 1278000 | #Constraints: 43317
560.63/562.59 c #Conflicts: 1279000 | #Constraints: 44317
560.63/562.59 c #Conflicts: 1280000 | #Constraints: 45317
560.63/562.59 c INPROCESSING
560.63/562.59 c GARBAGE COLLECT
560.63/562.59 c #Conflicts: 1281000 | #Constraints: 23814
560.63/562.59 c #Conflicts: 1282000 | #Constraints: 24814
560.63/562.59 c #Conflicts: 1283000 | #Constraints: 25814
560.63/562.59 c #Conflicts: 1284000 | #Constraints: 26814
560.63/562.59 c #Conflicts: 1285000 | #Constraints: 27814
560.63/562.59 c #Conflicts: 1286000 | #Constraints: 28814
560.63/562.59 c #Conflicts: 1287000 | #Constraints: 29814
560.63/562.59 c #Conflicts: 1288000 | #Constraints: 30814
560.63/562.59 c #Conflicts: 1289000 | #Constraints: 31814
560.63/562.59 c #Conflicts: 1290000 | #Constraints: 32814
560.63/562.59 c #Conflicts: 1291000 | #Constraints: 33814
560.63/562.59 c #Conflicts: 1292000 | #Constraints: 34814
560.63/562.59 c #Conflicts: 1293000 | #Constraints: 35814
560.63/562.59 c #Conflicts: 1294000 | #Constraints: 36814
560.63/562.59 c #Conflicts: 1295000 | #Constraints: 37814
560.63/562.59 c #Conflicts: 1296000 | #Constraints: 38814
560.63/562.59 c #Conflicts: 1297000 | #Constraints: 39814
560.63/562.59 c #Conflicts: 1298000 | #Constraints: 40814
560.63/562.59 c #Conflicts: 1299000 | #Constraints: 41814
560.63/562.59 c #Conflicts: 1300000 | #Constraints: 42814
560.63/562.59 c #Conflicts: 1301000 | #Constraints: 43814
560.63/562.59 c #Conflicts: 1302000 | #Constraints: 44814
560.63/562.59 c INPROCESSING
560.63/562.59 c GARBAGE COLLECT
560.63/562.59 c #Conflicts: 1303000 | #Constraints: 23112
560.63/562.59 c #Conflicts: 1304000 | #Constraints: 24112
560.63/562.59 c #Conflicts: 1305000 | #Constraints: 25112
560.63/562.59 c #Conflicts: 1306000 | #Constraints: 26112
560.63/562.59 c #Conflicts: 1307000 | #Constraints: 27112
590.73/592.76 c #Conflicts: 1308000 | #Constraints: 28112
590.73/592.76 c #Conflicts: 1309000 | #Constraints: 29112
590.73/592.76 c #Conflicts: 1310000 | #Constraints: 30112
590.73/592.76 c #Conflicts: 1311000 | #Constraints: 31112
590.73/592.76 c #Conflicts: 1312000 | #Constraints: 32112
590.73/592.76 c #Conflicts: 1313000 | #Constraints: 33112
590.73/592.76 c #Conflicts: 1314000 | #Constraints: 34112
590.73/592.76 c #Conflicts: 1315000 | #Constraints: 35112
590.73/592.76 c #Conflicts: 1316000 | #Constraints: 36112
590.73/592.76 c #Conflicts: 1317000 | #Constraints: 37112
590.73/592.76 c #Conflicts: 1318000 | #Constraints: 38112
590.73/592.76 c #Conflicts: 1319000 | #Constraints: 39112
590.73/592.76 c #Conflicts: 1320000 | #Constraints: 40112
590.73/592.76 c #Conflicts: 1321000 | #Constraints: 41112
590.73/592.76 c #Conflicts: 1322000 | #Constraints: 42112
590.73/592.76 c #Conflicts: 1323000 | #Constraints: 43112
590.73/592.76 c #Conflicts: 1324000 | #Constraints: 44112
590.73/592.76 c #Conflicts: 1325000 | #Constraints: 45112
590.73/592.76 c #Conflicts: 1326000 | #Constraints: 46112
590.73/592.76 c INPROCESSING
590.73/592.76 c GARBAGE COLLECT
590.73/592.76 c #Conflicts: 1327000 | #Constraints: 24208
590.73/592.76 c #Conflicts: 1328000 | #Constraints: 25208
590.73/592.76 c #Conflicts: 1329000 | #Constraints: 26208
590.73/592.76 c #Conflicts: 1330000 | #Constraints: 27208
590.73/592.76 c #Conflicts: 1331000 | #Constraints: 28208
590.73/592.76 c #Conflicts: 1332000 | #Constraints: 29208
590.73/592.76 c #Conflicts: 1333000 | #Constraints: 30208
590.73/592.76 c #Conflicts: 1334000 | #Constraints: 31208
590.73/592.76 c #Conflicts: 1335000 | #Constraints: 32208
590.73/592.76 c #Conflicts: 1336000 | #Constraints: 33208
590.73/592.76 c #Conflicts: 1337000 | #Constraints: 34208
590.73/592.76 c #Conflicts: 1338000 | #Constraints: 35208
590.73/592.76 c #Conflicts: 1339000 | #Constraints: 36208
590.73/592.76 c #Conflicts: 1340000 | #Constraints: 37208
590.73/592.76 c #Conflicts: 1341000 | #Constraints: 38208
590.73/592.76 c #Conflicts: 1342000 | #Constraints: 39208
590.73/592.76 c #Conflicts: 1343000 | #Constraints: 40208
590.73/592.76 c #Conflicts: 1344000 | #Constraints: 41208
590.73/592.76 c #Conflicts: 1345000 | #Constraints: 42208
590.73/592.76 c #Conflicts: 1346000 | #Constraints: 43208
590.73/592.76 c #Conflicts: 1347000 | #Constraints: 44208
590.73/592.76 c #Conflicts: 1348000 | #Constraints: 45208
590.73/592.76 c #Conflicts: 1349000 | #Constraints: 46208
590.73/592.76 c INPROCESSING
590.73/592.76 c GARBAGE COLLECT
590.73/592.76 c #Conflicts: 1350000 | #Constraints: 24109
590.73/592.76 c #Conflicts: 1351000 | #Constraints: 25109
590.73/592.76 c #Conflicts: 1352000 | #Constraints: 26109
590.73/592.76 c #Conflicts: 1353000 | #Constraints: 27109
590.73/592.76 c #Conflicts: 1354000 | #Constraints: 28109
590.73/592.76 c #Conflicts: 1355000 | #Constraints: 29109
590.73/592.76 c #Conflicts: 1356000 | #Constraints: 30109
590.73/592.76 c #Conflicts: 1357000 | #Constraints: 31109
590.73/592.76 c #Conflicts: 1358000 | #Constraints: 32109
590.73/592.76 c #Conflicts: 1359000 | #Constraints: 33109
590.73/592.76 c #Conflicts: 1360000 | #Constraints: 34109
590.73/592.76 c #Conflicts: 1361000 | #Constraints: 35109
590.73/592.76 c #Conflicts: 1362000 | #Constraints: 36109
590.73/592.76 c #Conflicts: 1363000 | #Constraints: 37109
590.73/592.76 c #Conflicts: 1364000 | #Constraints: 38109
590.73/592.76 c #Conflicts: 1365000 | #Constraints: 39109
590.73/592.76 c #Conflicts: 1366000 | #Constraints: 40109
590.73/592.76 c #Conflicts: 1367000 | #Constraints: 41109
590.73/592.76 c #Conflicts: 1368000 | #Constraints: 42109
590.73/592.76 c #Conflicts: 1369000 | #Constraints: 43109
590.73/592.76 c #Conflicts: 1370000 | #Constraints: 44109
590.73/592.76 c #Conflicts: 1371000 | #Constraints: 45109
590.73/592.76 c #Conflicts: 1372000 | #Constraints: 46109
590.73/592.76 c INPROCESSING
590.73/592.76 c GARBAGE COLLECT
590.73/592.76 c #Conflicts: 1373000 | #Constraints: 23820
590.73/592.76 c #Conflicts: 1374000 | #Constraints: 24820
590.73/592.76 c #Conflicts: 1375000 | #Constraints: 25820
590.73/592.76 c #Conflicts: 1376000 | #Constraints: 26820
590.73/592.76 c #Conflicts: 1377000 | #Constraints: 27820
590.73/592.76 c #Conflicts: 1378000 | #Constraints: 28820
590.73/592.76 c #Conflicts: 1379000 | #Constraints: 29820
590.73/592.76 c #Conflicts: 1380000 | #Constraints: 30820
590.73/592.76 c #Conflicts: 1381000 | #Constraints: 31820
590.73/592.76 c #Conflicts: 1382000 | #Constraints: 32820
590.73/592.76 c #Conflicts: 1383000 | #Constraints: 33820
590.73/592.76 c #Conflicts: 1384000 | #Constraints: 34820
596.31/598.30 c #Conflicts: 1385000 | #Constraints: 35820
596.31/598.30 c #Conflicts: 1386000 | #Constraints: 36820
596.31/598.30 c #Conflicts: 1387000 | #Constraints: 37820
596.31/598.30 c #Conflicts: 1388000 | #Constraints: 38820
596.31/598.30 c #Conflicts: 1389000 | #Constraints: 39820
596.31/598.30 c #Conflicts: 1390000 | #Constraints: 40820
596.31/598.30 c #Conflicts: 1391000 | #Constraints: 41820
596.31/598.30 c #Conflicts: 1392000 | #Constraints: 42820
596.31/598.30 c #Conflicts: 1393000 | #Constraints: 43820
596.31/598.30 c #Conflicts: 1394000 | #Constraints: 44820
596.31/598.30 c #Conflicts: 1395000 | #Constraints: 45820
596.31/598.30 c GLOBAL bounds 48278 >= 47333 @ 578.777
596.31/598.30 c GLOBAL bounds 48278 >= 47333 @ 578.778
596.51/598.51 c GLOBAL bounds 48278 >= 47333 @ 578.975
596.51/598.51 c GLOBAL bounds 48278 >= 47333 @ 578.977
598.71/600.77 c #Conflicts: 1396000 | #Constraints: 46825
598.71/600.77 c INPROCESSING
598.71/600.77 c GARBAGE COLLECT
598.71/600.77 c #Conflicts: 1397000 | #Constraints: 24325
598.71/600.77 c #Conflicts: 1398000 | #Constraints: 25325
598.71/600.77 c #Conflicts: 1399000 | #Constraints: 26325
598.71/600.77 c #Conflicts: 1400000 | #Constraints: 27325
598.71/600.77 c #Conflicts: 1401000 | #Constraints: 28325
598.71/600.77 c #Conflicts: 1402000 | #Constraints: 29325
598.71/600.77 c #Conflicts: 1403000 | #Constraints: 30325
598.71/600.77 c GLOBAL bounds 48278 >= 47333 @ 581.155
598.71/600.77 c GLOBAL bounds 48278 >= 47333 @ 581.156
598.90/600.95 c GLOBAL bounds 48278 >= 47333 @ 581.317
598.90/600.95 c GLOBAL bounds 47351 >= 47333 @ 581.32
599.41/601.45 c #Conflicts: 1404000 | #Constraints: 31334
599.41/601.45 c #Conflicts: 1405000 | #Constraints: 32334
599.41/601.45 c GLOBAL bounds 47351 >= 47333 @ 581.807
599.41/601.45 c GLOBAL bounds 47342 >= 47333 @ 581.808
617.74/619.80 c #Conflicts: 1406000 | #Constraints: 33338
617.74/619.80 c #Conflicts: 1407000 | #Constraints: 34338
617.74/619.80 c #Conflicts: 1408000 | #Constraints: 35338
617.74/619.80 c #Conflicts: 1409000 | #Constraints: 36338
617.74/619.80 c #Conflicts: 1410000 | #Constraints: 37338
617.74/619.80 c #Conflicts: 1411000 | #Constraints: 38338
617.74/619.80 c #Conflicts: 1412000 | #Constraints: 39338
617.74/619.80 c #Conflicts: 1413000 | #Constraints: 40338
617.74/619.80 c #Conflicts: 1414000 | #Constraints: 41338
617.74/619.80 c #Conflicts: 1415000 | #Constraints: 42338
617.74/619.80 c #Conflicts: 1416000 | #Constraints: 43338
617.74/619.80 c #Conflicts: 1417000 | #Constraints: 44338
617.74/619.80 c #Conflicts: 1418000 | #Constraints: 45338
617.74/619.80 c #Conflicts: 1419000 | #Constraints: 46338
617.74/619.80 c #Conflicts: 1420000 | #Constraints: 47338
617.74/619.80 c INPROCESSING
617.74/619.80 c GARBAGE COLLECT
617.74/619.80 c #Conflicts: 1421000 | #Constraints: 22902
617.74/619.80 c #Conflicts: 1422000 | #Constraints: 23902
617.74/619.80 c #Conflicts: 1423000 | #Constraints: 24902
617.74/619.80 c #Conflicts: 1424000 | #Constraints: 25902
617.74/619.80 c #Conflicts: 1425000 | #Constraints: 26902
617.74/619.80 c #Conflicts: 1426000 | #Constraints: 27902
617.74/619.80 c #Conflicts: 1427000 | #Constraints: 28902
617.74/619.80 c #Conflicts: 1428000 | #Constraints: 29902
617.74/619.80 c #Conflicts: 1429000 | #Constraints: 30902
617.74/619.80 c #Conflicts: 1430000 | #Constraints: 31902
617.74/619.80 c #Conflicts: 1431000 | #Constraints: 32902
617.74/619.80 c #Conflicts: 1432000 | #Constraints: 33902
617.74/619.80 c #Conflicts: 1433000 | #Constraints: 34902
617.74/619.80 c #Conflicts: 1434000 | #Constraints: 35902
617.74/619.80 c #Conflicts: 1435000 | #Constraints: 36902
617.74/619.80 c #Conflicts: 1436000 | #Constraints: 37902
617.74/619.80 c #Conflicts: 1437000 | #Constraints: 38902
617.74/619.80 c #Conflicts: 1438000 | #Constraints: 39902
617.74/619.80 c #Conflicts: 1439000 | #Constraints: 40902
617.74/619.80 c #Conflicts: 1440000 | #Constraints: 41902
617.74/619.80 c #Conflicts: 1441000 | #Constraints: 42902
617.74/619.80 c #Conflicts: 1442000 | #Constraints: 43902
617.74/619.80 c #Conflicts: 1443000 | #Constraints: 44902
617.74/619.80 c #Conflicts: 1444000 | #Constraints: 45902
617.74/619.80 c INPROCESSING
617.74/619.80 c GARBAGE COLLECT
617.74/619.80 c #Conflicts: 1445000 | #Constraints: 19007
617.74/619.80 c #Conflicts: 1446000 | #Constraints: 20007
617.74/619.80 c #Conflicts: 1447000 | #Constraints: 21007
617.74/619.80 c GLOBAL bounds 47342 >= 47342 @ 599.628
617.74/619.80 c cpu time 599.629 s
617.74/619.80 c deterministic time 624500 6.24e+05
617.74/619.80 c optimization time 599.488 s
617.74/619.80 c total solve time 0.120739 s
617.74/619.80 c core-guided solve time 0 s
617.74/619.80 c propagation time 0.077885 s
617.74/619.80 c conflict analysis time 0.0045 s
617.74/619.80 c propagations 78440
617.74/619.80 c resolve steps 0
617.74/619.80 c decisions 89916
617.74/619.80 c conflicts 4
617.74/619.80 c restarts 1
617.74/619.80 c inprocessing phases 0
617.74/619.80 c garbage collections 0 ,( -nan )
617.74/619.80 c input clauses 1919 ,( 96.00 )
617.74/619.80 c input cardinalities 0 ,( 0.00 )
617.74/619.80 c input general constraints 80 ,( 4.00 )
617.74/619.80 c input average constraint length 29.44
617.74/619.80 c input average constraint degree 54163.86
617.74/619.80 c learned clauses 93 ,( 100.00 )
617.74/619.80 c learned cardinalities 0 ,( 0.00 )
617.74/619.80 c learned general constraints 0 ,( 0.00 )
617.74/619.80 c learned average constraint length 30.15
617.74/619.80 c learned average constraint degree 1.00
617.74/619.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
617.74/619.80 c counting CF 32, 64, 128, Arb: 81 , 0 , 0 , 0
617.74/619.80 c watched constraints 0 ,( 0.00 )
617.74/619.80 c counting constraints 80 ,( 100.00 )
617.74/619.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 45507 , 0 , 35396 ,( 0 , 35396 )
617.74/619.80 c gcd simplifications 0
617.74/619.80 c detected cardinalities 0
617.74/619.80 c weakened non-implied lits 0
617.74/619.80 c weakened non-implying lits 0
617.74/619.80 c original variables 1152
617.74/619.80 c clausal propagations 39311
617.74/619.80 c cardinality propagations 0
617.74/619.80 c watched propagations 0
617.74/619.80 c counting propagations 2984
617.74/619.80 c watch lookups 143668
617.74/619.80 c watch backjump lookups 0
617.74/619.80 c watch checks 92796
617.74/619.80 c propagation checks 42705
617.74/619.80 c constraint additions 8082
617.74/619.80 c trail pops 168355
617.74/619.80 c formula constraints 1774
617.74/619.80 c learned constraints 93
617.74/619.80 c bound constraints 0
617.74/619.80 c core-guided constraints 0
617.74/619.80 c encountered formula constraints 4
617.74/619.80 c encountered learned constraints 0
617.74/619.80 c encountered bound constraints 0
617.74/619.80 c encountered core-guided constraints 0
617.74/619.80 c LP total time 0.068262 s
617.74/619.80 c LP solve time 0.07 s
617.74/619.80 c LP constraints added 1774
617.74/619.80 c LP constraints removed 0
617.74/619.80 c LP pivots internal 0
617.74/619.80 c LP pivots root 537
617.74/619.80 c LP calls 104
617.74/619.80 c LP optimalities 104
617.74/619.80 c LP no pivot count 103
617.74/619.80 c LP infeasibilities 0
617.74/619.80 c LP valid Farkas constraints 0
617.74/619.80 c LP learned Farkas constraints 0
617.74/619.80 c LP basis resets 0
617.74/619.80 c LP cycling count 0
617.74/619.80 c LP singular count 0
617.74/619.80 c LP no primal count 0
617.74/619.80 c LP no farkas count 0
617.74/619.80 c LP other issue count 0
617.74/619.80 c LP Gomory cuts 0
617.74/619.80 c LP learned cuts 0
617.74/619.80 c LP deleted cuts 0
617.74/619.80 c LP encountered Gomory constraints 0
617.74/619.80 c LP encountered Farkas constraints 0
617.74/619.80 c LP encountered learned Farkas constraints 0
617.74/619.80 c CG auxiliary variables introduced 141
617.74/619.80 c CG solutions found 10
617.74/619.80 c CG cores constructed 93
617.74/619.80 c CG core cardinality constraints returned 0
617.74/619.80 c CG unit cores 0
617.74/619.80 c CG single cores 0
617.74/619.80 c CG blocks removed during cardinality reduction 0
617.74/619.80 c CG first core best 0
617.74/619.80 c CG decision core best 0
617.74/619.80 c CG core reduction tie 0
617.74/619.80 c CG core degree average 0.00
617.74/619.80 c CG core slack average 0.00
617.74/619.80 c CG core upper bound improvements 0
617.74/619.80 c STR number of successful calls 0
617.74/619.80 c STR number of unsuccessful calls 0
617.74/619.80 c STR number of inconclusive calls 0
617.74/619.80 c STR number of successful attempts 0
617.74/619.80 c STR number of unsuccessful attempts 0
617.74/619.80 c STR number of inconclusive attempts 0
617.74/619.80 c STR average degree increase per successful call inf
617.74/619.80 c STR average degree increase per successful attempt inf
617.74/619.80 c STR total number of conflicts for successful attempts 0
617.74/619.80 c STR total number of conflicts for unsuccessful attempts 0
617.74/619.80 c STR total number of conflicts for inconclusive attempts 0
617.74/619.80 c STR average number of conflicts per successful attempt inf
617.74/619.80 c STR average number of conflicts per unsuccessful attempt inf
617.74/619.80 c STR average number of conflicts per inconclusive attempt inf
617.74/619.80 c AVG.sumWPerc 98.24
617.74/619.80 c bigint constraints 0
617.74/619.80 o 47342
617.74/619.80 s OPTIMUM FOUND
617.74/619.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 -x1152
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: 63837 MiB (62918 MiB free)
memory of node 1: 64465 MiB (63428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497101-1751396904/watcher-4497101-1751396904 -o /tmp/evaluation-result-4497101-1751396904/solver-4497101-1751396904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66777 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4497101-1751396904.opb PROOFDIR/proof-4497101-1751396904
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66885, runsolver pid=66882
[startup+0.100068 s]*
/proc/loadavg: 0.54 1.03 1.86 5/255 66887
/proc/meminfo: memFree=129361044/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=63656 memory=13984 CPUtime=0.07 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 1590 0 0 0 5 2 0 0 20 0 1 0 55369516 65183744 3496 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 15914 3496 2400 1147 0 3341 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 67848 KiB
Current children cumulated memory: 17056 KiB
[startup+0.218817 s]*
/proc/loadavg: 0.54 1.03 1.86 5/255 66887
/proc/meminfo: memFree=129350964/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=64396 memory=14880 CPUtime=0.17 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 1789 0 0 0 11 6 0 0 20 0 1 0 55369516 65941504 3720 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 16099 3720 2432 1147 0 3526 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68588 KiB
Current children cumulated memory: 17952 KiB
[startup+0.313216 s]*
/proc/loadavg: 0.54 1.03 1.86 5/255 66887
/proc/meminfo: memFree=129346932/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=64792 memory=15392 CPUtime=0.26 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 1926 0 0 0 20 6 0 0 20 0 1 0 55369516 66347008 3848 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 16198 3848 2432 1147 0 3625 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 68984 KiB
Current children cumulated memory: 18464 KiB
[startup+0.700323 s]
/proc/loadavg: 0.54 1.03 1.86 5/255 66887
/proc/meminfo: memFree=129322740/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=65856 memory=16800 CPUtime=0.63 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 2299 0 0 0 56 7 0 0 20 0 1 0 55369516 67436544 4200 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 16464 4200 2432 1147 0 3891 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 70048 KiB
Current children cumulated memory: 19872 KiB
[startup+1.50036 s]
/proc/loadavg: 0.82 1.08 1.87 5/255 66887
/proc/meminfo: memFree=129268780/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=69168 memory=22552 CPUtime=1.43 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 3231 0 0 0 131 12 0 0 20 0 1 0 55369516 70828032 5638 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 17292 5638 2432 1147 0 4719 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 73360 KiB
Current children cumulated memory: 25624 KiB
[startup+3.11324 s]
/proc/loadavg: 0.82 1.08 1.87 5/255 66887
/proc/meminfo: memFree=128998400/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=71568 memory=25112 CPUtime=3.04 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 3844 0 0 0 285 19 0 0 20 0 1 0 55369516 73285632 6278 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 17892 6278 2432 1147 0 5319 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 75760 KiB
Current children cumulated memory: 28184 KiB
[startup+6.30035 s]
/proc/loadavg: 1.07 1.13 1.88 5/255 66887
/proc/meminfo: memFree=128603724/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=75000 memory=27800 CPUtime=6.21 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 4544 0 0 0 590 31 0 0 20 0 1 0 55369516 76800000 6950 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 18750 6950 2432 1147 0 6177 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 79192 KiB
Current children cumulated memory: 30872 KiB
[startup+12.7004 s]
/proc/loadavg: 1.31 1.18 1.90 5/256 66888
/proc/meminfo: memFree=127844180/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=101336 memory=52276 CPUtime=12.59 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 9636 0 0 0 1198 61 0 0 20 0 1 0 55369516 103768064 13069 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 25334 13069 2432 1147 0 12761 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 105528 KiB
Current children cumulated memory: 55348 KiB
[startup+25.5004 s]
/proc/loadavg: 1.72 1.27 1.92 5/253 66917
/proc/meminfo: memFree=126618868/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=117356 memory=63888 CPUtime=25.37 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 11813 0 0 0 2420 117 0 0 20 0 1 0 55369516 120172544 15972 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 29339 15972 2432 1147 0 16766 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 121548 KiB
Current children cumulated memory: 66960 KiB
[startup+51.1136 s]
/proc/loadavg: 2.68 1.55 1.99 5/258 66938
/proc/meminfo: memFree=123701684/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=130772 memory=76732 CPUtime=50.9 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 14519 0 0 0 4869 221 0 0 20 0 1 0 55369516 133910528 19183 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 32693 19183 2432 1147 0 20120 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 79804 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.94 2.10 5/262 66944
/proc/meminfo: memFree=117464588/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=154756 memory=94788 CPUtime=101.93 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 17993 0 0 0 9815 378 0 0 20 0 1 0 55369516 158470144 23697 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 38689 23697 2432 1147 0 26116 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 158948 KiB
Current children cumulated memory: 97860 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.35 2.24 6/259 66977
/proc/meminfo: memFree=114292120/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=186432 memory=128088 CPUtime=161.74 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 24285 0 0 0 15624 550 0 0 20 0 1 0 55369516 190906368 32022 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 46608 32022 2432 1147 0 34035 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 190624 KiB
Current children cumulated memory: 131160 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.68 2.36 5/258 66979
/proc/meminfo: memFree=108262488/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=218172 memory=138968 CPUtime=221.55 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 27021 0 0 0 21419 736 0 0 20 0 1 0 55369516 223408128 34742 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 54543 34742 2432 1147 0 41970 0
################
# More data... #
################
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 31239 0 0 0 44693 1383 0 0 20 0 1 0 55369516 239513600 40491 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 58475 40491 2432 1147 0 45902 0
Current children cumulated CPU time: 460.76 s
Current children cumulated vsize: 238092 KiB
Current children cumulated memory: 165036 KiB
[startup+522.3 s]
/proc/loadavg: 4.13 3.66 2.89 5/261 67155
/proc/meminfo: memFree=84258448/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=234768 memory=162860 CPUtime=520.56 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 31482 0 0 0 50531 1525 0 0 20 0 1 0 55369516 240402432 40715 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 58692 40715 2432 1147 0 46119 0
Current children cumulated CPU time: 520.56 s
Current children cumulated vsize: 238960 KiB
Current children cumulated memory: 165932 KiB
[startup+582.3 s]
/proc/loadavg: 4.18 3.77 2.97 5/261 67157
/proc/meminfo: memFree=78835608/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=177444 CPUtime=580.37 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35052 0 0 0 56330 1707 0 0 20 0 1 0 55369516 252751872 44361 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44361 2432 1147 0 49134 0
Current children cumulated CPU time: 580.37 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 180516 KiB
[startup+619.959 s]
# the end of solver process 66885 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=599.643 s, system=18.156 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.16 3.77 2.98 5/261 67157
/proc/meminfo: memFree=78396772/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=177444 CPUtime=586.85 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35055 0 0 0 56959 1726 0 0 20 0 1 0 55369516 252751872 44361 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44361 2432 1147 0 49134 0
Current children cumulated CPU time: 586.85 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 180516 KiB
[startup+601.6 s]
/proc/loadavg: 4.20 3.80 3.00 5/261 67157
/proc/meminfo: memFree=77278540/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=177700 CPUtime=599.6 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35064 0 0 0 58194 1766 0 0 20 0 1 0 55369516 252751872 44425 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44425 2432 1147 0 49134 0
Current children cumulated CPU time: 599.6 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 180772 KiB
[startup+608 s]*
/proc/loadavg: 4.18 3.80 3.01 5/261 67157
/proc/meminfo: memFree=76668064/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=179892 CPUtime=605.99 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35090 0 0 0 58815 1784 0 0 20 0 1 0 55369516 252751872 44973 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44973 2432 1147 0 49134 0
Current children cumulated CPU time: 605.99 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 182964 KiB
[startup+614.4 s]
/proc/loadavg: 4.17 3.80 3.01 5/261 67157
/proc/meminfo: memFree=76179644/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=179892 CPUtime=612.36 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35091 0 0 0 59436 1800 0 0 20 0 1 0 55369516 252751872 44973 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44973 2432 1147 0 49134 0
Current children cumulated CPU time: 612.36 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 182964 KiB
[startup+617.6 s]
/proc/loadavg: 4.16 3.81 3.02 5/261 67157
/proc/meminfo: memFree=75964376/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=179892 CPUtime=615.55 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35111 0 0 0 59748 1807 0 0 20 0 1 0 55369516 252751872 44973 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 44973 2432 1147 0 49134 0
Current children cumulated CPU time: 615.55 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 182964 KiB
[startup+619.2 s]
/proc/loadavg: 4.16 3.81 3.02 5/261 67157
/proc/meminfo: memFree=75784764/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=180020 CPUtime=617.15 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35126 0 0 0 59905 1810 0 0 20 0 1 0 55369516 252751872 45005 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 45005 2432 1147 0 49134 0
Current children cumulated CPU time: 617.15 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 183092 KiB
[startup+619.6 s]
/proc/loadavg: 4.16 3.81 3.02 5/261 67157
/proc/meminfo: memFree=75784764/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=180020 CPUtime=617.54 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35126 0 0 0 59943 1811 0 0 20 0 1 0 55369516 252751872 45005 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 45005 2432 1147 0 49134 0
Current children cumulated CPU time: 617.54 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 183092 KiB
[startup+619.8 s]
/proc/loadavg: 4.16 3.81 3.02 5/261 67157
/proc/meminfo: memFree=75784764/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=180020 CPUtime=617.74 cores=4,6
/proc/66887/stat : 66887 (roundingsat) R 66885 66885 66766 0 -1 4194304 35126 0 0 0 59962 1812 0 0 20 0 1 0 55369516 252751872 45005 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 45005 2432 1147 0 49134 0
Current children cumulated CPU time: 617.74 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 183092 KiB
[startup+619.9 s]
/proc/loadavg: 4.16 3.81 3.02 5/261 67157
/proc/meminfo: memFree=75784764/131382112 swapFree=33010684/33010684
[pid=66885] ppid=66882 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66885/stat : 66885 (run-opt-log.sh) S 66882 66885 66766 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 55369515 4292608 768 18446744073709551615 94473036877824 94473037772357 140724233046112 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94473038011408 94473038059152 94473044557824 140724233054497 140724233054692 140724233054692 140724233060294 0
/proc/66885/statm: 1048 768 704 219 0 110 0
[pid=66887] ppid=66885 vsize=246828 memory=180020 CPUtime=617.76 cores=4,6
/proc/66887/stat : 66887 (roundingsat) D 66885 66885 66766 0 -1 4194304 35126 0 0 0 59963 1813 0 0 20 0 1 0 55369516 252751872 45005 18446744073709551615 4227072 8923433 140731366788064 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 23613440 140731366791506 140731366791720 140731366791720 140731366797290 0
/proc/66887/statm: 61707 45005 2432 1147 0 49134 0
Current children cumulated CPU time: 617.76 s
Current children cumulated vsize: 251020 KiB
Current children cumulated memory: 183092 KiB
Child status: 0
Real time (s): 619.959
CPU time (s): 617.799
CPU user time (s): 599.643
CPU system time (s): 18.156
CPU usage (%): 99.6515
Max. virtual memory (cumulated for all children) (KiB): 251020
Max. memory (cumulated for all children) (KiB): 183092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.643
system time used= 18.156
maximum resident set size= 180020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25583440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6064
involuntary context switches= 1271
# summary of solver processes directly reported to runsolver:
# pid: 66885
# total CPU time (s): 617.799
# total CPU user time (s): 599.643
# total CPU system time (s): 18.156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.50275 second user time and 6.44557 second system time
The end
Begin job on nodeC007 at 2025-07-01 21:08:24
IDJOB=4497101
IDBENCH=148153
IDSOLVER=3351
FILE ID=nodeC007/4497101-1751396904
RUNJOBID= nodeC007-1751396901-66777
SLURM_JOB_ID= 9598273
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497101-1751396904/watcher-4497101-1751396904 -o /tmp/evaluation-result-4497101-1751396904/solver-4497101-1751396904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66777 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4497101-1751396904.opb PROOFDIR/proof-4497101-1751396904
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=656664797
nodeC007 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 : 3491.844
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.68
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 : 3491.847
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.68
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.855
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.68
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 : 1198.484
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.68
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.205
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.68
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 : 3491.858
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.68
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.625
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.68
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 : 3700.000
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129387176 kB
MemAvailable: 129768308 kB
Buffers: 3280 kB
Cached: 1187368 kB
SwapCached: 0 kB
Active: 452944 kB
Inactive: 939344 kB
Active(anon): 219676 kB
Inactive(anon): 0 kB
Active(file): 233268 kB
Inactive(file): 939344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 131296 kB
Writeback: 0 kB
AnonPages: 204860 kB
Mapped: 116384 kB
Shmem: 17960 kB
KReclaimable: 96292 kB
Slab: 182520 kB
SReclaimable: 96292 kB
SUnreclaim: 86228 kB
KernelStack: 4096 kB
PageTables: 3584 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 564324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 57344 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC007 at 2025-07-01 21:18:44