0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.05 c #variables 1152 #constraints 1774
0.00/0.05 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.015007
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.017206
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019148
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019158
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.020839
0.00/0.07 c GLOBAL bounds - >= 13635 @ 0.03071
0.00/0.09 c rational objective 47342
0.00/0.09 c GLOBAL bounds - >= 13635 @ 0.049908
0.00/0.09 c GLOBAL bounds - >= 13635 @ 0.05141
0.00/0.10 c GLOBAL bounds - >= 13635 @ 0.053249
0.00/0.10 c GLOBAL bounds - >= 13635 @ 0.054438
0.00/0.10 c GLOBAL bounds - >= 13635 @ 0.056722
0.00/0.11 c GLOBAL bounds - >= 13635 @ 0.057136
0.09/0.11 c GLOBAL bounds - >= 13635 @ 0.058099
0.09/0.11 c GLOBAL bounds - >= 13635 @ 0.058099
0.09/0.12 c GLOBAL bounds - >= 13635 @ 0.060145
0.09/0.12 c GLOBAL bounds - >= 13635 @ 0.062052
0.09/0.12 c GLOBAL bounds - >= 13635 @ 0.063045
0.09/0.12 c GLOBAL bounds - >= 13635 @ 0.065316
0.09/0.13 c GLOBAL bounds - >= 13635 @ 0.067608
0.09/0.13 c GLOBAL bounds - >= 13635 @ 0.069292
0.09/0.13 c GLOBAL bounds - >= 13635 @ 0.071484
0.09/0.14 c GLOBAL bounds - >= 13635 @ 0.07201
0.09/0.14 c GLOBAL bounds - >= 13635 @ 0.073998
0.09/0.14 c GLOBAL bounds - >= 13635 @ 0.076819
0.09/0.14 c GLOBAL bounds - >= 13635 @ 0.079196
0.09/0.15 c GLOBAL bounds - >= 13635 @ 0.080976
0.09/0.15 c GLOBAL bounds - >= 13635 @ 0.082107
0.09/0.15 c GLOBAL bounds - >= 13635 @ 0.083961
0.09/0.16 c GLOBAL bounds - >= 13635 @ 0.084796
0.09/0.16 c GLOBAL bounds - >= 13635 @ 0.084951
0.09/0.17 c GLOBAL bounds - >= 13635 @ 0.086906
0.09/0.17 c GLOBAL bounds - >= 13635 @ 0.087945
0.09/0.17 c GLOBAL bounds - >= 13635 @ 0.089919
0.76/0.81 c #Conflicts: 1000 | #Constraints: 1066
0.76/0.81 c GLOBAL bounds - >= 13635 @ 0.686625
3.36/3.42 c #Conflicts: 2000 | #Constraints: 2069
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c #Conflicts: 3000 | #Constraints: 2073
3.36/3.42 c #Conflicts: 4000 | #Constraints: 3073
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c #Conflicts: 5000 | #Constraints: 2474
3.36/3.42 c #Conflicts: 6000 | #Constraints: 3474
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c #Conflicts: 7000 | #Constraints: 2480
3.36/3.42 c #Conflicts: 8000 | #Constraints: 3480
3.36/3.42 c #Conflicts: 9000 | #Constraints: 4480
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c #Conflicts: 10000 | #Constraints: 3183
3.36/3.42 c #Conflicts: 11000 | #Constraints: 4183
3.36/3.42 c #Conflicts: 12000 | #Constraints: 5183
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c #Conflicts: 13000 | #Constraints: 3638
3.36/3.42 c #Conflicts: 14000 | #Constraints: 4638
3.36/3.42 c #Conflicts: 15000 | #Constraints: 5638
3.36/3.42 c INPROCESSING
3.36/3.42 c GARBAGE COLLECT
3.36/3.42 c GLOBAL bounds - >= 22810 @ 3.2203
3.36/3.42 c GLOBAL bounds - >= 22810 @ 3.22181
3.36/3.42 c GLOBAL bounds - >= 22810 @ 3.22181
3.36/3.42 c GLOBAL bounds - >= 22810 @ 3.22254
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22398
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22476
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22579
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22593
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22679
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.2271
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22779
3.36/3.43 c GLOBAL bounds - >= 22810 @ 3.22838
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.22879
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.22958
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.2299
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23081
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23178
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23178
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23178
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23234
3.36/3.44 c GLOBAL bounds - >= 22810 @ 3.23278
3.36/3.45 c GLOBAL bounds - >= 22810 @ 3.23278
3.36/3.45 c GLOBAL bounds - >= 22810 @ 3.2339
3.36/3.45 c GLOBAL bounds - >= 22810 @ 3.23876
3.36/3.45 c GLOBAL bounds - >= 22810 @ 3.23984
3.36/3.45 c GLOBAL bounds - >= 22810 @ 3.24142
3.46/3.52 c #Conflicts: 16000 | #Constraints: 3906
3.46/3.52 c GLOBAL bounds - >= 22810 @ 3.30223
3.66/3.73 c #Conflicts: 17000 | #Constraints: 4909
3.66/3.73 c GLOBAL bounds - >= 22810 @ 3.49806
3.66/3.74 c GLOBAL bounds - >= 22810 @ 3.50904
3.66/3.77 c GLOBAL bounds - >= 22810 @ 3.52999
4.16/4.23 c #Conflicts: 18000 | #Constraints: 5918
4.16/4.23 c INPROCESSING
4.16/4.23 c GARBAGE COLLECT
4.16/4.23 c #Conflicts: 19000 | #Constraints: 3916
4.16/4.23 c #Conflicts: 20000 | #Constraints: 4916
4.16/4.23 c GLOBAL bounds - >= 22810 @ 3.94919
4.36/4.48 c #Conflicts: 21000 | #Constraints: 5919
4.36/4.48 c #Conflicts: 22000 | #Constraints: 6919
4.36/4.48 c GLOBAL bounds - >= 22810 @ 4.19383
8.15/8.28 c #Conflicts: 23000 | #Constraints: 7922
8.15/8.28 c #Conflicts: 24000 | #Constraints: 8922
8.15/8.28 c #Conflicts: 25000 | #Constraints: 9922
8.15/8.28 c #Conflicts: 26000 | #Constraints: 10922
8.15/8.28 c #Conflicts: 27000 | #Constraints: 11922
8.15/8.28 c #Conflicts: 28000 | #Constraints: 12922
8.15/8.28 c INPROCESSING
8.15/8.28 c GARBAGE COLLECT
8.15/8.28 c #Conflicts: 29000 | #Constraints: 7127
8.15/8.28 c #Conflicts: 30000 | #Constraints: 8127
8.15/8.28 c #Conflicts: 31000 | #Constraints: 9127
8.15/8.28 c #Conflicts: 32000 | #Constraints: 10127
8.15/8.28 c #Conflicts: 33000 | #Constraints: 11127
8.15/8.28 c INPROCESSING
8.15/8.28 c GARBAGE COLLECT
8.15/8.28 c #Conflicts: 34000 | #Constraints: 6490
8.15/8.28 c #Conflicts: 35000 | #Constraints: 7490
8.15/8.28 c #Conflicts: 36000 | #Constraints: 8490
8.15/8.28 c #Conflicts: 37000 | #Constraints: 9490
8.15/8.28 c #Conflicts: 38000 | #Constraints: 10490
8.15/8.28 c INPROCESSING
8.15/8.28 c GARBAGE COLLECT
8.15/8.28 c #Conflicts: 39000 | #Constraints: 6315
8.15/8.28 c #Conflicts: 40000 | #Constraints: 7315
8.15/8.28 c #Conflicts: 41000 | #Constraints: 8315
8.15/8.28 c #Conflicts: 42000 | #Constraints: 9315
8.15/8.28 c GLOBAL bounds - >= 30731 @ 7.82078
8.15/8.29 c GLOBAL bounds - >= 30731 @ 7.82249
8.15/8.29 c GLOBAL bounds - >= 30731 @ 7.82316
8.15/8.29 c GLOBAL bounds - >= 30731 @ 7.82367
8.15/8.29 c GLOBAL bounds - >= 30731 @ 7.82367
8.15/8.29 c GLOBAL bounds - >= 30731 @ 7.82383
8.25/8.37 c INPROCESSING
8.25/8.37 c GARBAGE COLLECT
8.25/8.37 c #Conflicts: 43000 | #Constraints: 5276
8.25/8.37 c GLOBAL bounds - >= 30731 @ 7.90045
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90138
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90267
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90367
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90444
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90499
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90544
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90629
8.25/8.38 c GLOBAL bounds - >= 30731 @ 7.90661
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.90743
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.9079
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.90843
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.90924
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.91029
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.91059
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.9116
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.9129
8.25/8.39 c GLOBAL bounds - >= 30731 @ 7.91342
8.35/8.40 c GLOBAL bounds - >= 30731 @ 7.91342
8.35/8.40 c GLOBAL bounds - >= 30731 @ 7.91497
8.35/8.40 c GLOBAL bounds - >= 30731 @ 7.91718
8.45/8.52 c GLOBAL bounds - >= 30731 @ 8.02814
8.75/8.81 c #Conflicts: 44000 | #Constraints: 6319
8.75/8.81 c #Conflicts: 45000 | #Constraints: 7319
8.75/8.81 c GLOBAL bounds - >= 30731 @ 8.30042
11.74/11.89 c #Conflicts: 46000 | #Constraints: 8322
11.74/11.89 c #Conflicts: 47000 | #Constraints: 9322
11.74/11.89 c #Conflicts: 48000 | #Constraints: 10322
11.74/11.89 c INPROCESSING
11.74/11.89 c GARBAGE COLLECT
11.74/11.89 c #Conflicts: 49000 | #Constraints: 6246
11.74/11.89 c #Conflicts: 50000 | #Constraints: 7246
11.74/11.89 c #Conflicts: 51000 | #Constraints: 8246
11.74/11.89 c #Conflicts: 52000 | #Constraints: 9246
11.74/11.89 c #Conflicts: 53000 | #Constraints: 10246
11.74/11.89 c INPROCESSING
11.74/11.89 c GARBAGE COLLECT
11.74/11.89 c #Conflicts: 54000 | #Constraints: 6061
11.74/11.89 c #Conflicts: 55000 | #Constraints: 7061
11.74/11.89 c #Conflicts: 56000 | #Constraints: 8061
11.74/11.89 c #Conflicts: 57000 | #Constraints: 9061
11.74/11.89 c #Conflicts: 58000 | #Constraints: 10061
11.74/11.89 c INPROCESSING
11.74/11.89 c GARBAGE COLLECT
11.74/11.89 c #Conflicts: 59000 | #Constraints: 5729
11.74/11.89 c #Conflicts: 60000 | #Constraints: 6729
11.74/11.89 c #Conflicts: 61000 | #Constraints: 7729
11.74/11.89 c GLOBAL bounds - >= 30731 @ 11.253
12.24/12.36 c #Conflicts: 62000 | #Constraints: 8732
12.24/12.36 c #Conflicts: 63000 | #Constraints: 9732
12.24/12.36 c #Conflicts: 64000 | #Constraints: 10732
12.24/12.36 c GLOBAL bounds - >= 30731 @ 11.698
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 65000 | #Constraints: 6206
18.81/18.93 c #Conflicts: 66000 | #Constraints: 7206
18.81/18.93 c #Conflicts: 67000 | #Constraints: 8206
18.81/18.93 c #Conflicts: 68000 | #Constraints: 9206
18.81/18.93 c #Conflicts: 69000 | #Constraints: 10206
18.81/18.93 c #Conflicts: 70000 | #Constraints: 11206
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 71000 | #Constraints: 6498
18.81/18.93 c #Conflicts: 72000 | #Constraints: 7498
18.81/18.93 c #Conflicts: 73000 | #Constraints: 8498
18.81/18.93 c #Conflicts: 74000 | #Constraints: 9498
18.81/18.93 c #Conflicts: 75000 | #Constraints: 10498
18.81/18.93 c #Conflicts: 76000 | #Constraints: 11498
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 77000 | #Constraints: 6595
18.81/18.93 c #Conflicts: 78000 | #Constraints: 7595
18.81/18.93 c #Conflicts: 79000 | #Constraints: 8595
18.81/18.93 c #Conflicts: 80000 | #Constraints: 9595
18.81/18.93 c #Conflicts: 81000 | #Constraints: 10595
18.81/18.93 c #Conflicts: 82000 | #Constraints: 11595
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 83000 | #Constraints: 6494
18.81/18.93 c #Conflicts: 84000 | #Constraints: 7494
18.81/18.93 c #Conflicts: 85000 | #Constraints: 8494
18.81/18.93 c #Conflicts: 86000 | #Constraints: 9494
18.81/18.93 c #Conflicts: 87000 | #Constraints: 10494
18.81/18.93 c #Conflicts: 88000 | #Constraints: 11494
18.81/18.93 c #Conflicts: 89000 | #Constraints: 12494
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 90000 | #Constraints: 7194
18.81/18.93 c #Conflicts: 91000 | #Constraints: 8194
18.81/18.93 c #Conflicts: 92000 | #Constraints: 9194
18.81/18.93 c #Conflicts: 93000 | #Constraints: 10194
18.81/18.93 c #Conflicts: 94000 | #Constraints: 11194
18.81/18.93 c #Conflicts: 95000 | #Constraints: 12194
18.81/18.93 c #Conflicts: 96000 | #Constraints: 13194
18.81/18.93 c INPROCESSING
18.81/18.93 c GARBAGE COLLECT
18.81/18.93 c #Conflicts: 97000 | #Constraints: 7695
18.81/18.93 c #Conflicts: 98000 | #Constraints: 8695
18.81/18.93 c #Conflicts: 99000 | #Constraints: 9695
18.81/18.93 c #Conflicts: 100000 | #Constraints: 10695
18.81/18.93 c GLOBAL bounds - >= 38727 @ 18.0532
18.81/18.94 c GLOBAL bounds - >= 38727 @ 18.0547
18.81/18.94 c GLOBAL bounds - >= 38727 @ 18.0552
18.81/18.94 c GLOBAL bounds - >= 38727 @ 18.0552
18.81/18.94 c GLOBAL bounds - >= 38727 @ 18.0562
19.03/19.13 c #Conflicts: 101000 | #Constraints: 11698
19.03/19.13 c #Conflicts: 102000 | #Constraints: 12698
19.03/19.13 c GLOBAL bounds - >= 38727 @ 18.2399
19.03/19.13 c GLOBAL bounds - >= 38727 @ 18.2407
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2417
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2428
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2437
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2445
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2462
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2473
19.03/19.14 c GLOBAL bounds - >= 38727 @ 18.2477
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2481
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2488
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2498
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2507
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2516
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2527
19.03/19.15 c GLOBAL bounds - >= 38727 @ 18.2534
19.03/19.16 c GLOBAL bounds - >= 38727 @ 18.2537
19.03/19.16 c GLOBAL bounds - >= 38727 @ 18.2543
19.03/19.16 c GLOBAL bounds - >= 38727 @ 18.2556
19.03/19.17 c GLOBAL bounds - >= 38727 @ 18.2709
19.12/19.20 c GLOBAL bounds - >= 38727 @ 18.2876
19.12/19.20 c GLOBAL bounds - >= 38727 @ 18.2896
19.12/19.24 c GLOBAL bounds - >= 38727 @ 18.3225
19.12/19.24 c GLOBAL bounds - >= 38727 @ 18.3265
19.12/19.24 c GLOBAL bounds - >= 38727 @ 18.3275
19.12/19.25 c GLOBAL bounds - >= 38727 @ 18.3305
19.12/19.25 c GLOBAL bounds - >= 38727 @ 18.3326
19.32/19.49 c INPROCESSING
19.32/19.49 c GARBAGE COLLECT
19.32/19.49 c #Conflicts: 103000 | #Constraints: 7034
19.32/19.49 c GLOBAL bounds - >= 38727 @ 18.5606
28.01/28.13 c #Conflicts: 104000 | #Constraints: 8037
28.01/28.13 c #Conflicts: 105000 | #Constraints: 9037
28.01/28.13 c #Conflicts: 106000 | #Constraints: 10037
28.01/28.13 c #Conflicts: 107000 | #Constraints: 11037
28.01/28.13 c #Conflicts: 108000 | #Constraints: 12037
28.01/28.13 c #Conflicts: 109000 | #Constraints: 13037
28.01/28.13 c #Conflicts: 110000 | #Constraints: 14037
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 111000 | #Constraints: 8134
28.01/28.13 c #Conflicts: 112000 | #Constraints: 9134
28.01/28.13 c #Conflicts: 113000 | #Constraints: 10134
28.01/28.13 c #Conflicts: 114000 | #Constraints: 11134
28.01/28.13 c #Conflicts: 115000 | #Constraints: 12134
28.01/28.13 c #Conflicts: 116000 | #Constraints: 13134
28.01/28.13 c #Conflicts: 117000 | #Constraints: 14134
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 118000 | #Constraints: 8033
28.01/28.13 c #Conflicts: 119000 | #Constraints: 9033
28.01/28.13 c #Conflicts: 120000 | #Constraints: 10033
28.01/28.13 c #Conflicts: 121000 | #Constraints: 11033
28.01/28.13 c #Conflicts: 122000 | #Constraints: 12033
28.01/28.13 c #Conflicts: 123000 | #Constraints: 13033
28.01/28.13 c #Conflicts: 124000 | #Constraints: 14033
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 125000 | #Constraints: 7734
28.01/28.13 c #Conflicts: 126000 | #Constraints: 8734
28.01/28.13 c #Conflicts: 127000 | #Constraints: 9734
28.01/28.13 c #Conflicts: 128000 | #Constraints: 10734
28.01/28.13 c #Conflicts: 129000 | #Constraints: 11734
28.01/28.13 c #Conflicts: 130000 | #Constraints: 12734
28.01/28.13 c #Conflicts: 131000 | #Constraints: 13734
28.01/28.13 c #Conflicts: 132000 | #Constraints: 14734
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 133000 | #Constraints: 8236
28.01/28.13 c #Conflicts: 134000 | #Constraints: 9236
28.01/28.13 c #Conflicts: 135000 | #Constraints: 10236
28.01/28.13 c #Conflicts: 136000 | #Constraints: 11236
28.01/28.13 c #Conflicts: 137000 | #Constraints: 12236
28.01/28.13 c #Conflicts: 138000 | #Constraints: 13236
28.01/28.13 c #Conflicts: 139000 | #Constraints: 14236
28.01/28.13 c #Conflicts: 140000 | #Constraints: 15236
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 141000 | #Constraints: 8536
28.01/28.13 c #Conflicts: 142000 | #Constraints: 9536
28.01/28.13 c #Conflicts: 143000 | #Constraints: 10536
28.01/28.13 c #Conflicts: 144000 | #Constraints: 11536
28.01/28.13 c #Conflicts: 145000 | #Constraints: 12536
28.01/28.13 c #Conflicts: 146000 | #Constraints: 13536
28.01/28.13 c #Conflicts: 147000 | #Constraints: 14536
28.01/28.13 c #Conflicts: 148000 | #Constraints: 15536
28.01/28.13 c INPROCESSING
28.01/28.13 c GARBAGE COLLECT
28.01/28.13 c #Conflicts: 149000 | #Constraints: 8640
28.01/28.13 c #Conflicts: 150000 | #Constraints: 9640
28.01/28.13 c #Conflicts: 151000 | #Constraints: 10640
28.01/28.13 c GLOBAL bounds - >= 38727 @ 26.8297
28.20/28.34 c #Conflicts: 152000 | #Constraints: 11643
28.20/28.34 c GLOBAL bounds - >= 38727 @ 27.0253
28.30/28.47 c #Conflicts: 153000 | #Constraints: 12646
28.30/28.47 c GLOBAL bounds - >= 38727 @ 27.1534
28.30/28.48 c GLOBAL bounds - >= 38727 @ 27.1613
28.39/28.55 c GLOBAL bounds - >= 38727 @ 27.2278
44.55/44.71 c #Conflicts: 154000 | #Constraints: 13655
44.55/44.71 c #Conflicts: 155000 | #Constraints: 14655
44.55/44.71 c #Conflicts: 156000 | #Constraints: 15655
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 157000 | #Constraints: 8548
44.55/44.71 c #Conflicts: 158000 | #Constraints: 9548
44.55/44.71 c #Conflicts: 159000 | #Constraints: 10548
44.55/44.71 c #Conflicts: 160000 | #Constraints: 11548
44.55/44.71 c #Conflicts: 161000 | #Constraints: 12548
44.55/44.71 c #Conflicts: 162000 | #Constraints: 13548
44.55/44.71 c #Conflicts: 163000 | #Constraints: 14548
44.55/44.71 c #Conflicts: 164000 | #Constraints: 15548
44.55/44.71 c #Conflicts: 165000 | #Constraints: 16548
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 166000 | #Constraints: 9245
44.55/44.71 c #Conflicts: 167000 | #Constraints: 10245
44.55/44.71 c #Conflicts: 168000 | #Constraints: 11245
44.55/44.71 c #Conflicts: 169000 | #Constraints: 12245
44.55/44.71 c #Conflicts: 170000 | #Constraints: 13245
44.55/44.71 c #Conflicts: 171000 | #Constraints: 14245
44.55/44.71 c #Conflicts: 172000 | #Constraints: 15245
44.55/44.71 c #Conflicts: 173000 | #Constraints: 16245
44.55/44.71 c #Conflicts: 174000 | #Constraints: 17245
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 175000 | #Constraints: 9756
44.55/44.71 c #Conflicts: 176000 | #Constraints: 10756
44.55/44.71 c #Conflicts: 177000 | #Constraints: 11756
44.55/44.71 c #Conflicts: 178000 | #Constraints: 12756
44.55/44.71 c #Conflicts: 179000 | #Constraints: 13756
44.55/44.71 c #Conflicts: 180000 | #Constraints: 14756
44.55/44.71 c #Conflicts: 181000 | #Constraints: 15756
44.55/44.71 c #Conflicts: 182000 | #Constraints: 16756
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 183000 | #Constraints: 9056
44.55/44.71 c #Conflicts: 184000 | #Constraints: 10056
44.55/44.71 c #Conflicts: 185000 | #Constraints: 11056
44.55/44.71 c #Conflicts: 186000 | #Constraints: 12056
44.55/44.71 c #Conflicts: 187000 | #Constraints: 13056
44.55/44.71 c #Conflicts: 188000 | #Constraints: 14056
44.55/44.71 c #Conflicts: 189000 | #Constraints: 15056
44.55/44.71 c #Conflicts: 190000 | #Constraints: 16056
44.55/44.71 c #Conflicts: 191000 | #Constraints: 17056
44.55/44.71 c #Conflicts: 192000 | #Constraints: 18056
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 193000 | #Constraints: 10159
44.55/44.71 c #Conflicts: 194000 | #Constraints: 11159
44.55/44.71 c #Conflicts: 195000 | #Constraints: 12159
44.55/44.71 c #Conflicts: 196000 | #Constraints: 13159
44.55/44.71 c #Conflicts: 197000 | #Constraints: 14159
44.55/44.71 c #Conflicts: 198000 | #Constraints: 15159
44.55/44.71 c #Conflicts: 199000 | #Constraints: 16159
44.55/44.71 c #Conflicts: 200000 | #Constraints: 17159
44.55/44.71 c #Conflicts: 201000 | #Constraints: 18159
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 202000 | #Constraints: 10057
44.55/44.71 c #Conflicts: 203000 | #Constraints: 11057
44.55/44.71 c #Conflicts: 204000 | #Constraints: 12057
44.55/44.71 c #Conflicts: 205000 | #Constraints: 13057
44.55/44.71 c #Conflicts: 206000 | #Constraints: 14057
44.55/44.71 c #Conflicts: 207000 | #Constraints: 15057
44.55/44.71 c #Conflicts: 208000 | #Constraints: 16057
44.55/44.71 c #Conflicts: 209000 | #Constraints: 17057
44.55/44.71 c #Conflicts: 210000 | #Constraints: 18057
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 211000 | #Constraints: 9754
44.55/44.71 c #Conflicts: 212000 | #Constraints: 10754
44.55/44.71 c #Conflicts: 213000 | #Constraints: 11754
44.55/44.71 c #Conflicts: 214000 | #Constraints: 12754
44.55/44.71 c #Conflicts: 215000 | #Constraints: 13754
44.55/44.71 c #Conflicts: 216000 | #Constraints: 14754
44.55/44.71 c #Conflicts: 217000 | #Constraints: 15754
44.55/44.71 c #Conflicts: 218000 | #Constraints: 16754
44.55/44.71 c #Conflicts: 219000 | #Constraints: 17754
44.55/44.71 c #Conflicts: 220000 | #Constraints: 18754
44.55/44.71 c INPROCESSING
44.55/44.71 c GARBAGE COLLECT
44.55/44.71 c #Conflicts: 221000 | #Constraints: 10257
44.55/44.71 c #Conflicts: 222000 | #Constraints: 11257
44.55/44.71 c #Conflicts: 223000 | #Constraints: 12257
44.55/44.71 c #Conflicts: 224000 | #Constraints: 13257
44.55/44.71 c #Conflicts: 225000 | #Constraints: 14257
44.55/44.71 c #Conflicts: 226000 | #Constraints: 15257
44.55/44.71 c #Conflicts: 227000 | #Constraints: 16257
64.10/64.34 c #Conflicts: 228000 | #Constraints: 17257
64.10/64.34 c #Conflicts: 229000 | #Constraints: 18257
64.10/64.34 c #Conflicts: 230000 | #Constraints: 19257
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 231000 | #Constraints: 10566
64.10/64.34 c #Conflicts: 232000 | #Constraints: 11566
64.10/64.34 c #Conflicts: 233000 | #Constraints: 12566
64.10/64.34 c #Conflicts: 234000 | #Constraints: 13566
64.10/64.34 c #Conflicts: 235000 | #Constraints: 14566
64.10/64.34 c #Conflicts: 236000 | #Constraints: 15566
64.10/64.34 c #Conflicts: 237000 | #Constraints: 16566
64.10/64.34 c #Conflicts: 238000 | #Constraints: 17566
64.10/64.34 c #Conflicts: 239000 | #Constraints: 18566
64.10/64.34 c #Conflicts: 240000 | #Constraints: 19566
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 241000 | #Constraints: 10661
64.10/64.34 c #Conflicts: 242000 | #Constraints: 11661
64.10/64.34 c #Conflicts: 243000 | #Constraints: 12661
64.10/64.34 c #Conflicts: 244000 | #Constraints: 13661
64.10/64.34 c #Conflicts: 245000 | #Constraints: 14661
64.10/64.34 c #Conflicts: 246000 | #Constraints: 15661
64.10/64.34 c #Conflicts: 247000 | #Constraints: 16661
64.10/64.34 c #Conflicts: 248000 | #Constraints: 17661
64.10/64.34 c #Conflicts: 249000 | #Constraints: 18661
64.10/64.34 c #Conflicts: 250000 | #Constraints: 19661
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 251000 | #Constraints: 10563
64.10/64.34 c #Conflicts: 252000 | #Constraints: 11563
64.10/64.34 c #Conflicts: 253000 | #Constraints: 12563
64.10/64.34 c #Conflicts: 254000 | #Constraints: 13563
64.10/64.34 c #Conflicts: 255000 | #Constraints: 14563
64.10/64.34 c #Conflicts: 256000 | #Constraints: 15563
64.10/64.34 c #Conflicts: 257000 | #Constraints: 16563
64.10/64.34 c #Conflicts: 258000 | #Constraints: 17563
64.10/64.34 c #Conflicts: 259000 | #Constraints: 18563
64.10/64.34 c #Conflicts: 260000 | #Constraints: 19563
64.10/64.34 c #Conflicts: 261000 | #Constraints: 20563
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 262000 | #Constraints: 11256
64.10/64.34 c #Conflicts: 263000 | #Constraints: 12256
64.10/64.34 c #Conflicts: 264000 | #Constraints: 13256
64.10/64.34 c #Conflicts: 265000 | #Constraints: 14256
64.10/64.34 c #Conflicts: 266000 | #Constraints: 15256
64.10/64.34 c #Conflicts: 267000 | #Constraints: 16256
64.10/64.34 c #Conflicts: 268000 | #Constraints: 17256
64.10/64.34 c #Conflicts: 269000 | #Constraints: 18256
64.10/64.34 c #Conflicts: 270000 | #Constraints: 19256
64.10/64.34 c #Conflicts: 271000 | #Constraints: 20256
64.10/64.34 c #Conflicts: 272000 | #Constraints: 21256
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 273000 | #Constraints: 11761
64.10/64.34 c #Conflicts: 274000 | #Constraints: 12761
64.10/64.34 c #Conflicts: 275000 | #Constraints: 13761
64.10/64.34 c #Conflicts: 276000 | #Constraints: 14761
64.10/64.34 c #Conflicts: 277000 | #Constraints: 15761
64.10/64.34 c #Conflicts: 278000 | #Constraints: 16761
64.10/64.34 c #Conflicts: 279000 | #Constraints: 17761
64.10/64.34 c #Conflicts: 280000 | #Constraints: 18761
64.10/64.34 c #Conflicts: 281000 | #Constraints: 19761
64.10/64.34 c #Conflicts: 282000 | #Constraints: 20761
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 283000 | #Constraints: 11059
64.10/64.34 c #Conflicts: 284000 | #Constraints: 12059
64.10/64.34 c #Conflicts: 285000 | #Constraints: 13059
64.10/64.34 c #Conflicts: 286000 | #Constraints: 14059
64.10/64.34 c #Conflicts: 287000 | #Constraints: 15059
64.10/64.34 c #Conflicts: 288000 | #Constraints: 16059
64.10/64.34 c #Conflicts: 289000 | #Constraints: 17059
64.10/64.34 c #Conflicts: 290000 | #Constraints: 18059
64.10/64.34 c #Conflicts: 291000 | #Constraints: 19059
64.10/64.34 c #Conflicts: 292000 | #Constraints: 20059
64.10/64.34 c #Conflicts: 293000 | #Constraints: 21059
64.10/64.34 c #Conflicts: 294000 | #Constraints: 22059
64.10/64.34 c INPROCESSING
64.10/64.34 c GARBAGE COLLECT
64.10/64.34 c #Conflicts: 295000 | #Constraints: 12165
64.10/64.34 c #Conflicts: 296000 | #Constraints: 13165
64.10/64.34 c #Conflicts: 297000 | #Constraints: 14165
64.10/64.34 c #Conflicts: 298000 | #Constraints: 15165
64.10/64.34 c #Conflicts: 299000 | #Constraints: 16165
64.10/64.34 c #Conflicts: 300000 | #Constraints: 17165
64.10/64.34 c #Conflicts: 301000 | #Constraints: 18165
64.10/64.34 c #Conflicts: 302000 | #Constraints: 19165
82.64/82.92 c #Conflicts: 303000 | #Constraints: 20165
82.64/82.92 c #Conflicts: 304000 | #Constraints: 21165
82.64/82.92 c #Conflicts: 305000 | #Constraints: 22165
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 306000 | #Constraints: 12065
82.64/82.92 c #Conflicts: 307000 | #Constraints: 13065
82.64/82.92 c #Conflicts: 308000 | #Constraints: 14065
82.64/82.92 c #Conflicts: 309000 | #Constraints: 15065
82.64/82.92 c #Conflicts: 310000 | #Constraints: 16065
82.64/82.92 c #Conflicts: 311000 | #Constraints: 17065
82.64/82.92 c #Conflicts: 312000 | #Constraints: 18065
82.64/82.92 c #Conflicts: 313000 | #Constraints: 19065
82.64/82.92 c #Conflicts: 314000 | #Constraints: 20065
82.64/82.92 c #Conflicts: 315000 | #Constraints: 21065
82.64/82.92 c #Conflicts: 316000 | #Constraints: 22065
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 317000 | #Constraints: 11763
82.64/82.92 c #Conflicts: 318000 | #Constraints: 12763
82.64/82.92 c #Conflicts: 319000 | #Constraints: 13763
82.64/82.92 c #Conflicts: 320000 | #Constraints: 14763
82.64/82.92 c #Conflicts: 321000 | #Constraints: 15763
82.64/82.92 c #Conflicts: 322000 | #Constraints: 16763
82.64/82.92 c #Conflicts: 323000 | #Constraints: 17763
82.64/82.92 c #Conflicts: 324000 | #Constraints: 18763
82.64/82.92 c #Conflicts: 325000 | #Constraints: 19763
82.64/82.92 c #Conflicts: 326000 | #Constraints: 20763
82.64/82.92 c #Conflicts: 327000 | #Constraints: 21763
82.64/82.92 c #Conflicts: 328000 | #Constraints: 22763
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 329000 | #Constraints: 12262
82.64/82.92 c #Conflicts: 330000 | #Constraints: 13262
82.64/82.92 c #Conflicts: 331000 | #Constraints: 14262
82.64/82.92 c #Conflicts: 332000 | #Constraints: 15262
82.64/82.92 c #Conflicts: 333000 | #Constraints: 16262
82.64/82.92 c #Conflicts: 334000 | #Constraints: 17262
82.64/82.92 c #Conflicts: 335000 | #Constraints: 18262
82.64/82.92 c #Conflicts: 336000 | #Constraints: 19262
82.64/82.92 c #Conflicts: 337000 | #Constraints: 20262
82.64/82.92 c #Conflicts: 338000 | #Constraints: 21262
82.64/82.92 c #Conflicts: 339000 | #Constraints: 22262
82.64/82.92 c #Conflicts: 340000 | #Constraints: 23262
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 341000 | #Constraints: 12561
82.64/82.92 c #Conflicts: 342000 | #Constraints: 13561
82.64/82.92 c #Conflicts: 343000 | #Constraints: 14561
82.64/82.92 c #Conflicts: 344000 | #Constraints: 15561
82.64/82.92 c #Conflicts: 345000 | #Constraints: 16561
82.64/82.92 c #Conflicts: 346000 | #Constraints: 17561
82.64/82.92 c #Conflicts: 347000 | #Constraints: 18561
82.64/82.92 c #Conflicts: 348000 | #Constraints: 19561
82.64/82.92 c #Conflicts: 349000 | #Constraints: 20561
82.64/82.92 c #Conflicts: 350000 | #Constraints: 21561
82.64/82.92 c #Conflicts: 351000 | #Constraints: 22561
82.64/82.92 c #Conflicts: 352000 | #Constraints: 23561
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 353000 | #Constraints: 12660
82.64/82.92 c #Conflicts: 354000 | #Constraints: 13660
82.64/82.92 c #Conflicts: 355000 | #Constraints: 14660
82.64/82.92 c #Conflicts: 356000 | #Constraints: 15660
82.64/82.92 c #Conflicts: 357000 | #Constraints: 16660
82.64/82.92 c #Conflicts: 358000 | #Constraints: 17660
82.64/82.92 c #Conflicts: 359000 | #Constraints: 18660
82.64/82.92 c #Conflicts: 360000 | #Constraints: 19660
82.64/82.92 c #Conflicts: 361000 | #Constraints: 20660
82.64/82.92 c #Conflicts: 362000 | #Constraints: 21660
82.64/82.92 c #Conflicts: 363000 | #Constraints: 22660
82.64/82.92 c #Conflicts: 364000 | #Constraints: 23660
82.64/82.92 c INPROCESSING
82.64/82.92 c GARBAGE COLLECT
82.64/82.92 c #Conflicts: 365000 | #Constraints: 12562
82.64/82.92 c #Conflicts: 366000 | #Constraints: 13562
82.64/82.92 c #Conflicts: 367000 | #Constraints: 14562
82.64/82.92 c #Conflicts: 368000 | #Constraints: 15562
82.64/82.92 c #Conflicts: 369000 | #Constraints: 16562
82.64/82.92 c #Conflicts: 370000 | #Constraints: 17562
82.64/82.92 c #Conflicts: 371000 | #Constraints: 18562
82.64/82.92 c #Conflicts: 372000 | #Constraints: 19562
82.64/82.92 c #Conflicts: 373000 | #Constraints: 20562
82.64/82.92 c #Conflicts: 374000 | #Constraints: 21562
82.64/82.92 c #Conflicts: 375000 | #Constraints: 22562
82.64/82.92 c #Conflicts: 376000 | #Constraints: 23562
106.06/106.42 c #Conflicts: 377000 | #Constraints: 24562
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 378000 | #Constraints: 13270
106.06/106.42 c #Conflicts: 379000 | #Constraints: 14270
106.06/106.42 c #Conflicts: 380000 | #Constraints: 15270
106.06/106.42 c #Conflicts: 381000 | #Constraints: 16270
106.06/106.42 c #Conflicts: 382000 | #Constraints: 17270
106.06/106.42 c #Conflicts: 383000 | #Constraints: 18270
106.06/106.42 c #Conflicts: 384000 | #Constraints: 19270
106.06/106.42 c #Conflicts: 385000 | #Constraints: 20270
106.06/106.42 c #Conflicts: 386000 | #Constraints: 21270
106.06/106.42 c #Conflicts: 387000 | #Constraints: 22270
106.06/106.42 c #Conflicts: 388000 | #Constraints: 23270
106.06/106.42 c #Conflicts: 389000 | #Constraints: 24270
106.06/106.42 c #Conflicts: 390000 | #Constraints: 25270
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 391000 | #Constraints: 13775
106.06/106.42 c #Conflicts: 392000 | #Constraints: 14775
106.06/106.42 c #Conflicts: 393000 | #Constraints: 15775
106.06/106.42 c #Conflicts: 394000 | #Constraints: 16775
106.06/106.42 c #Conflicts: 395000 | #Constraints: 17775
106.06/106.42 c #Conflicts: 396000 | #Constraints: 18775
106.06/106.42 c #Conflicts: 397000 | #Constraints: 19775
106.06/106.42 c #Conflicts: 398000 | #Constraints: 20775
106.06/106.42 c #Conflicts: 399000 | #Constraints: 21775
106.06/106.42 c #Conflicts: 400000 | #Constraints: 22775
106.06/106.42 c #Conflicts: 401000 | #Constraints: 23775
106.06/106.42 c #Conflicts: 402000 | #Constraints: 24775
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 403000 | #Constraints: 13077
106.06/106.42 c #Conflicts: 404000 | #Constraints: 14077
106.06/106.42 c #Conflicts: 405000 | #Constraints: 15077
106.06/106.42 c #Conflicts: 406000 | #Constraints: 16077
106.06/106.42 c #Conflicts: 407000 | #Constraints: 17077
106.06/106.42 c #Conflicts: 408000 | #Constraints: 18077
106.06/106.42 c #Conflicts: 409000 | #Constraints: 19077
106.06/106.42 c #Conflicts: 410000 | #Constraints: 20077
106.06/106.42 c #Conflicts: 411000 | #Constraints: 21077
106.06/106.42 c #Conflicts: 412000 | #Constraints: 22077
106.06/106.42 c #Conflicts: 413000 | #Constraints: 23077
106.06/106.42 c #Conflicts: 414000 | #Constraints: 24077
106.06/106.42 c #Conflicts: 415000 | #Constraints: 25077
106.06/106.42 c #Conflicts: 416000 | #Constraints: 26077
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 417000 | #Constraints: 14179
106.06/106.42 c #Conflicts: 418000 | #Constraints: 15179
106.06/106.42 c #Conflicts: 419000 | #Constraints: 16179
106.06/106.42 c #Conflicts: 420000 | #Constraints: 17179
106.06/106.42 c #Conflicts: 421000 | #Constraints: 18179
106.06/106.42 c #Conflicts: 422000 | #Constraints: 19179
106.06/106.42 c #Conflicts: 423000 | #Constraints: 20179
106.06/106.42 c #Conflicts: 424000 | #Constraints: 21179
106.06/106.42 c #Conflicts: 425000 | #Constraints: 22179
106.06/106.42 c #Conflicts: 426000 | #Constraints: 23179
106.06/106.42 c #Conflicts: 427000 | #Constraints: 24179
106.06/106.42 c #Conflicts: 428000 | #Constraints: 25179
106.06/106.42 c #Conflicts: 429000 | #Constraints: 26179
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 430000 | #Constraints: 14087
106.06/106.42 c #Conflicts: 431000 | #Constraints: 15087
106.06/106.42 c #Conflicts: 432000 | #Constraints: 16087
106.06/106.42 c #Conflicts: 433000 | #Constraints: 17087
106.06/106.42 c #Conflicts: 434000 | #Constraints: 18087
106.06/106.42 c #Conflicts: 435000 | #Constraints: 19087
106.06/106.42 c #Conflicts: 436000 | #Constraints: 20087
106.06/106.42 c #Conflicts: 437000 | #Constraints: 21087
106.06/106.42 c #Conflicts: 438000 | #Constraints: 22087
106.06/106.42 c #Conflicts: 439000 | #Constraints: 23087
106.06/106.42 c #Conflicts: 440000 | #Constraints: 24087
106.06/106.42 c #Conflicts: 441000 | #Constraints: 25087
106.06/106.42 c #Conflicts: 442000 | #Constraints: 26087
106.06/106.42 c INPROCESSING
106.06/106.42 c GARBAGE COLLECT
106.06/106.42 c #Conflicts: 443000 | #Constraints: 13789
106.06/106.42 c #Conflicts: 444000 | #Constraints: 14789
106.06/106.42 c #Conflicts: 445000 | #Constraints: 15789
106.06/106.42 c #Conflicts: 446000 | #Constraints: 16789
106.06/106.42 c #Conflicts: 447000 | #Constraints: 17789
106.06/106.42 c #Conflicts: 448000 | #Constraints: 18789
106.06/106.42 c #Conflicts: 449000 | #Constraints: 19789
106.06/106.42 c #Conflicts: 450000 | #Constraints: 20789
106.06/106.42 c #Conflicts: 451000 | #Constraints: 21789
115.94/116.31 c #Conflicts: 452000 | #Constraints: 22789
115.94/116.31 c #Conflicts: 453000 | #Constraints: 23789
115.94/116.31 c #Conflicts: 454000 | #Constraints: 24789
115.94/116.31 c #Conflicts: 455000 | #Constraints: 25789
115.94/116.31 c #Conflicts: 456000 | #Constraints: 26789
115.94/116.31 c INPROCESSING
115.94/116.31 c GARBAGE COLLECT
115.94/116.31 c #Conflicts: 457000 | #Constraints: 14291
115.94/116.31 c #Conflicts: 458000 | #Constraints: 15291
115.94/116.31 c #Conflicts: 459000 | #Constraints: 16291
115.94/116.31 c #Conflicts: 460000 | #Constraints: 17291
115.94/116.31 c #Conflicts: 461000 | #Constraints: 18291
115.94/116.31 c #Conflicts: 462000 | #Constraints: 19291
115.94/116.31 c #Conflicts: 463000 | #Constraints: 20291
115.94/116.31 c #Conflicts: 464000 | #Constraints: 21291
115.94/116.31 c #Conflicts: 465000 | #Constraints: 22291
115.94/116.31 c #Conflicts: 466000 | #Constraints: 23291
115.94/116.31 c #Conflicts: 467000 | #Constraints: 24291
115.94/116.31 c #Conflicts: 468000 | #Constraints: 25291
115.94/116.31 c #Conflicts: 469000 | #Constraints: 26291
115.94/116.31 c #Conflicts: 470000 | #Constraints: 27291
115.94/116.31 c INPROCESSING
115.94/116.31 c GARBAGE COLLECT
115.94/116.31 c #Conflicts: 471000 | #Constraints: 14588
115.94/116.31 c #Conflicts: 472000 | #Constraints: 15588
115.94/116.31 c #Conflicts: 473000 | #Constraints: 16588
115.94/116.31 c #Conflicts: 474000 | #Constraints: 17588
115.94/116.31 c #Conflicts: 475000 | #Constraints: 18588
115.94/116.31 c #Conflicts: 476000 | #Constraints: 19588
115.94/116.31 c GLOBAL bounds - >= 46867 @ 112.923
115.94/116.31 c GLOBAL bounds - >= 46867 @ 112.926
115.94/116.31 c GLOBAL bounds - >= 46867 @ 112.927
115.94/116.32 c GLOBAL bounds - >= 46867 @ 112.927
118.23/118.60 c #Conflicts: 477000 | #Constraints: 20590
118.23/118.60 c #Conflicts: 478000 | #Constraints: 21590
118.23/118.60 c #Conflicts: 479000 | #Constraints: 22590
118.23/118.60 c #Conflicts: 480000 | #Constraints: 23590
118.23/118.60 c #Conflicts: 481000 | #Constraints: 24590
118.23/118.60 c #Conflicts: 482000 | #Constraints: 25590
118.23/118.60 c #Conflicts: 483000 | #Constraints: 26590
118.23/118.60 c #Conflicts: 484000 | #Constraints: 27590
118.23/118.60 c INPROCESSING
118.23/118.60 c GARBAGE COLLECT
118.23/118.60 c #Conflicts: 485000 | #Constraints: 14673
118.23/118.60 c #Conflicts: 486000 | #Constraints: 15673
118.23/118.60 c #Conflicts: 487000 | #Constraints: 16673
118.23/118.60 c #Conflicts: 488000 | #Constraints: 17673
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.133
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.134
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.135
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.136
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.137
118.23/118.60 c GLOBAL bounds - >= 46867 @ 115.138
118.23/118.61 c GLOBAL bounds - >= 46867 @ 115.139
118.23/118.61 c GLOBAL bounds 52431 >= 46867 @ 115.139
119.03/119.44 c #Conflicts: 489000 | #Constraints: 18690
119.03/119.44 c #Conflicts: 490000 | #Constraints: 19690
119.03/119.44 c #Conflicts: 491000 | #Constraints: 20690
119.03/119.44 c #Conflicts: 492000 | #Constraints: 21690
119.03/119.44 c #Conflicts: 493000 | #Constraints: 22690
119.03/119.44 c GLOBAL bounds 52431 >= 46867 @ 115.937
119.03/119.44 c GLOBAL bounds 52391 >= 46867 @ 115.938
120.13/120.52 c #Conflicts: 494000 | #Constraints: 23694
120.13/120.52 c #Conflicts: 495000 | #Constraints: 24694
120.13/120.52 c #Conflicts: 496000 | #Constraints: 25694
120.13/120.52 c #Conflicts: 497000 | #Constraints: 26694
120.13/120.52 c #Conflicts: 498000 | #Constraints: 27694
120.13/120.52 c INPROCESSING
120.13/120.52 c GARBAGE COLLECT
120.13/120.52 c GLOBAL bounds 52391 >= 46867 @ 116.968
120.13/120.52 c GLOBAL bounds 52391 >= 46867 @ 116.969
120.13/120.52 c #Conflicts: 499000 | #Constraints: 14568
120.13/120.52 c GLOBAL bounds 52391 >= 46867 @ 116.971
120.13/120.52 c GLOBAL bounds 52254 >= 46867 @ 116.972
120.13/120.52 c GLOBAL bounds 52254 >= 46867 @ 116.972
120.13/120.52 c GLOBAL bounds 52240 >= 46867 @ 116.973
120.22/120.61 c GLOBAL bounds 52240 >= 46867 @ 117.053
120.22/120.61 c GLOBAL bounds 52240 >= 46867 @ 117.054
120.32/120.79 c #Conflicts: 500000 | #Constraints: 15580
120.32/120.79 c GLOBAL bounds 52240 >= 46867 @ 117.232
120.32/120.79 c GLOBAL bounds 52240 >= 46867 @ 117.233
120.42/120.80 c GLOBAL bounds 52240 >= 46867 @ 117.234
120.42/120.80 c GLOBAL bounds 52240 >= 46867 @ 117.234
120.42/120.80 c GLOBAL bounds 52240 >= 46867 @ 117.236
120.42/120.80 c GLOBAL bounds 52240 >= 46867 @ 117.237
120.42/120.80 c GLOBAL bounds 52240 >= 46867 @ 117.238
120.42/120.81 c GLOBAL bounds 52240 >= 46867 @ 117.239
120.42/120.81 c GLOBAL bounds 52240 >= 46867 @ 117.24
120.82/121.26 c #Conflicts: 501000 | #Constraints: 16598
120.82/121.26 c #Conflicts: 502000 | #Constraints: 17598
120.82/121.26 c #Conflicts: 503000 | #Constraints: 18598
120.82/121.26 c GLOBAL bounds 52240 >= 46867 @ 117.67
123.11/123.58 c #Conflicts: 504000 | #Constraints: 19601
123.11/123.58 c #Conflicts: 505000 | #Constraints: 20601
123.11/123.58 c #Conflicts: 506000 | #Constraints: 21601
123.11/123.58 c #Conflicts: 507000 | #Constraints: 22601
123.11/123.58 c #Conflicts: 508000 | #Constraints: 23601
123.11/123.58 c #Conflicts: 509000 | #Constraints: 24601
123.11/123.58 c #Conflicts: 510000 | #Constraints: 25601
123.11/123.58 c #Conflicts: 511000 | #Constraints: 26601
123.11/123.58 c #Conflicts: 512000 | #Constraints: 27601
123.11/123.58 c GLOBAL bounds 52240 >= 46867 @ 119.921
123.21/123.68 c GLOBAL bounds 52240 >= 46867 @ 120.015
123.81/124.29 c #Conflicts: 513000 | #Constraints: 28607
123.81/124.29 c INPROCESSING
123.81/124.29 c GARBAGE COLLECT
123.81/124.29 c #Conflicts: 514000 | #Constraints: 15278
123.81/124.29 c #Conflicts: 515000 | #Constraints: 16278
123.81/124.29 c GLOBAL bounds 52240 >= 46867 @ 120.592
123.81/124.29 c GLOBAL bounds 52240 >= 46867 @ 120.593
129.00/129.49 c #Conflicts: 516000 | #Constraints: 17284
129.00/129.49 c #Conflicts: 517000 | #Constraints: 18284
129.00/129.49 c #Conflicts: 518000 | #Constraints: 19284
129.00/129.49 c #Conflicts: 519000 | #Constraints: 20284
129.00/129.49 c #Conflicts: 520000 | #Constraints: 21284
129.00/129.49 c #Conflicts: 521000 | #Constraints: 22284
129.00/129.49 c #Conflicts: 522000 | #Constraints: 23284
129.00/129.49 c #Conflicts: 523000 | #Constraints: 24284
129.00/129.49 c #Conflicts: 524000 | #Constraints: 25284
129.00/129.49 c #Conflicts: 525000 | #Constraints: 26284
129.00/129.49 c #Conflicts: 526000 | #Constraints: 27284
129.00/129.49 c #Conflicts: 527000 | #Constraints: 28284
129.00/129.49 c #Conflicts: 528000 | #Constraints: 29284
129.00/129.49 c INPROCESSING
129.00/129.49 c GARBAGE COLLECT
129.00/129.49 c #Conflicts: 529000 | #Constraints: 15776
129.00/129.49 c #Conflicts: 530000 | #Constraints: 16776
129.00/129.49 c #Conflicts: 531000 | #Constraints: 17776
129.00/129.49 c #Conflicts: 532000 | #Constraints: 18776
129.00/129.49 c #Conflicts: 533000 | #Constraints: 19776
129.00/129.49 c GLOBAL bounds 52240 >= 46867 @ 125.667
129.10/129.54 c GLOBAL bounds 52240 >= 46867 @ 125.712
148.14/148.65 c #Conflicts: 534000 | #Constraints: 20782
148.14/148.65 c #Conflicts: 535000 | #Constraints: 21782
148.14/148.65 c #Conflicts: 536000 | #Constraints: 22782
148.14/148.65 c #Conflicts: 537000 | #Constraints: 23782
148.14/148.65 c #Conflicts: 538000 | #Constraints: 24782
148.14/148.65 c #Conflicts: 539000 | #Constraints: 25782
148.14/148.65 c #Conflicts: 540000 | #Constraints: 26782
148.14/148.65 c #Conflicts: 541000 | #Constraints: 27782
148.14/148.65 c #Conflicts: 542000 | #Constraints: 28782
148.14/148.65 c INPROCESSING
148.14/148.65 c GARBAGE COLLECT
148.14/148.65 c #Conflicts: 543000 | #Constraints: 15086
148.14/148.65 c #Conflicts: 544000 | #Constraints: 16086
148.14/148.65 c #Conflicts: 545000 | #Constraints: 17086
148.14/148.65 c #Conflicts: 546000 | #Constraints: 18086
148.14/148.65 c #Conflicts: 547000 | #Constraints: 19086
148.14/148.65 c #Conflicts: 548000 | #Constraints: 20086
148.14/148.65 c #Conflicts: 549000 | #Constraints: 21086
148.14/148.65 c #Conflicts: 550000 | #Constraints: 22086
148.14/148.65 c #Conflicts: 551000 | #Constraints: 23086
148.14/148.65 c #Conflicts: 552000 | #Constraints: 24086
148.14/148.65 c #Conflicts: 553000 | #Constraints: 25086
148.14/148.65 c #Conflicts: 554000 | #Constraints: 26086
148.14/148.65 c #Conflicts: 555000 | #Constraints: 27086
148.14/148.65 c #Conflicts: 556000 | #Constraints: 28086
148.14/148.65 c #Conflicts: 557000 | #Constraints: 29086
148.14/148.65 c #Conflicts: 558000 | #Constraints: 30086
148.14/148.65 c INPROCESSING
148.14/148.65 c GARBAGE COLLECT
148.14/148.65 c #Conflicts: 559000 | #Constraints: 16189
148.14/148.65 c #Conflicts: 560000 | #Constraints: 17189
148.14/148.65 c #Conflicts: 561000 | #Constraints: 18189
148.14/148.65 c #Conflicts: 562000 | #Constraints: 19189
148.14/148.65 c #Conflicts: 563000 | #Constraints: 20189
148.14/148.65 c #Conflicts: 564000 | #Constraints: 21189
148.14/148.65 c #Conflicts: 565000 | #Constraints: 22189
148.14/148.65 c #Conflicts: 566000 | #Constraints: 23189
148.14/148.65 c #Conflicts: 567000 | #Constraints: 24189
148.14/148.65 c #Conflicts: 568000 | #Constraints: 25189
148.14/148.65 c #Conflicts: 569000 | #Constraints: 26189
148.14/148.65 c #Conflicts: 570000 | #Constraints: 27189
148.14/148.65 c #Conflicts: 571000 | #Constraints: 28189
148.14/148.65 c #Conflicts: 572000 | #Constraints: 29189
148.14/148.65 c #Conflicts: 573000 | #Constraints: 30189
148.14/148.65 c INPROCESSING
148.14/148.65 c GARBAGE COLLECT
148.14/148.65 c #Conflicts: 574000 | #Constraints: 16090
148.14/148.65 c #Conflicts: 575000 | #Constraints: 17090
148.14/148.65 c #Conflicts: 576000 | #Constraints: 18090
148.14/148.65 c #Conflicts: 577000 | #Constraints: 19090
148.14/148.65 c #Conflicts: 578000 | #Constraints: 20090
148.14/148.65 c #Conflicts: 579000 | #Constraints: 21090
148.14/148.65 c #Conflicts: 580000 | #Constraints: 22090
148.14/148.65 c #Conflicts: 581000 | #Constraints: 23090
148.14/148.65 c #Conflicts: 582000 | #Constraints: 24090
148.14/148.65 c #Conflicts: 583000 | #Constraints: 25090
148.14/148.65 c #Conflicts: 584000 | #Constraints: 26090
148.14/148.65 c #Conflicts: 585000 | #Constraints: 27090
148.14/148.65 c #Conflicts: 586000 | #Constraints: 28090
148.14/148.65 c #Conflicts: 587000 | #Constraints: 29090
148.14/148.65 c #Conflicts: 588000 | #Constraints: 30090
148.14/148.65 c INPROCESSING
148.14/148.65 c GARBAGE COLLECT
148.14/148.65 c #Conflicts: 589000 | #Constraints: 15798
148.14/148.65 c #Conflicts: 590000 | #Constraints: 16798
148.14/148.65 c GLOBAL bounds 52240 >= 46867 @ 144.386
148.74/149.21 c #Conflicts: 591000 | #Constraints: 17801
148.74/149.21 c #Conflicts: 592000 | #Constraints: 18801
148.74/149.21 c #Conflicts: 593000 | #Constraints: 19801
148.74/149.21 c GLOBAL bounds 52240 >= 46867 @ 144.927
162.40/162.94 c #Conflicts: 594000 | #Constraints: 20804
162.40/162.94 c #Conflicts: 595000 | #Constraints: 21804
162.40/162.94 c #Conflicts: 596000 | #Constraints: 22804
162.40/162.94 c #Conflicts: 597000 | #Constraints: 23804
162.40/162.94 c #Conflicts: 598000 | #Constraints: 24804
162.40/162.94 c #Conflicts: 599000 | #Constraints: 25804
162.40/162.94 c #Conflicts: 600000 | #Constraints: 26804
162.40/162.94 c #Conflicts: 601000 | #Constraints: 27804
162.40/162.94 c #Conflicts: 602000 | #Constraints: 28804
162.40/162.94 c #Conflicts: 603000 | #Constraints: 29804
162.40/162.94 c #Conflicts: 604000 | #Constraints: 30804
162.40/162.94 c INPROCESSING
162.40/162.94 c GARBAGE COLLECT
162.40/162.94 c #Conflicts: 605000 | #Constraints: 16303
162.40/162.94 c #Conflicts: 606000 | #Constraints: 17303
162.40/162.94 c #Conflicts: 607000 | #Constraints: 18303
162.40/162.94 c #Conflicts: 608000 | #Constraints: 19303
162.40/162.94 c #Conflicts: 609000 | #Constraints: 20303
162.40/162.94 c #Conflicts: 610000 | #Constraints: 21303
162.40/162.94 c #Conflicts: 611000 | #Constraints: 22303
162.40/162.94 c #Conflicts: 612000 | #Constraints: 23303
162.40/162.94 c #Conflicts: 613000 | #Constraints: 24303
162.40/162.94 c #Conflicts: 614000 | #Constraints: 25303
162.40/162.94 c #Conflicts: 615000 | #Constraints: 26303
162.40/162.94 c #Conflicts: 616000 | #Constraints: 27303
162.40/162.94 c #Conflicts: 617000 | #Constraints: 28303
162.40/162.94 c #Conflicts: 618000 | #Constraints: 29303
162.40/162.94 c #Conflicts: 619000 | #Constraints: 30303
162.40/162.94 c #Conflicts: 620000 | #Constraints: 31303
162.40/162.94 c INPROCESSING
162.40/162.94 c GARBAGE COLLECT
162.40/162.94 c #Conflicts: 621000 | #Constraints: 16596
162.40/162.94 c #Conflicts: 622000 | #Constraints: 17596
162.40/162.94 c #Conflicts: 623000 | #Constraints: 18596
162.40/162.94 c #Conflicts: 624000 | #Constraints: 19596
162.40/162.94 c #Conflicts: 625000 | #Constraints: 20596
162.40/162.94 c #Conflicts: 626000 | #Constraints: 21596
162.40/162.94 c #Conflicts: 627000 | #Constraints: 22596
162.40/162.94 c #Conflicts: 628000 | #Constraints: 23596
162.40/162.94 c #Conflicts: 629000 | #Constraints: 24596
162.40/162.94 c #Conflicts: 630000 | #Constraints: 25596
162.40/162.94 c #Conflicts: 631000 | #Constraints: 26596
162.40/162.94 c #Conflicts: 632000 | #Constraints: 27596
162.40/162.94 c #Conflicts: 633000 | #Constraints: 28596
162.40/162.94 c #Conflicts: 634000 | #Constraints: 29596
162.40/162.94 c #Conflicts: 635000 | #Constraints: 30596
162.40/162.94 c #Conflicts: 636000 | #Constraints: 31596
162.40/162.94 c INPROCESSING
162.40/162.94 c GARBAGE COLLECT
162.40/162.94 c #Conflicts: 637000 | #Constraints: 16696
162.40/162.94 c #Conflicts: 638000 | #Constraints: 17696
162.40/162.94 c #Conflicts: 639000 | #Constraints: 18696
162.40/162.94 c #Conflicts: 640000 | #Constraints: 19696
162.40/162.94 c #Conflicts: 641000 | #Constraints: 20696
162.40/162.94 c #Conflicts: 642000 | #Constraints: 21696
162.40/162.94 c GLOBAL bounds 52240 >= 46867 @ 158.333
171.27/171.87 c #Conflicts: 643000 | #Constraints: 22699
171.27/171.87 c #Conflicts: 644000 | #Constraints: 23699
171.27/171.87 c #Conflicts: 645000 | #Constraints: 24699
171.27/171.87 c #Conflicts: 646000 | #Constraints: 25699
171.27/171.87 c #Conflicts: 647000 | #Constraints: 26699
171.27/171.87 c #Conflicts: 648000 | #Constraints: 27699
171.27/171.87 c #Conflicts: 649000 | #Constraints: 28699
171.27/171.87 c #Conflicts: 650000 | #Constraints: 29699
171.27/171.87 c #Conflicts: 651000 | #Constraints: 30699
171.27/171.87 c #Conflicts: 652000 | #Constraints: 31699
171.27/171.87 c INPROCESSING
171.27/171.87 c GARBAGE COLLECT
171.27/171.87 c #Conflicts: 653000 | #Constraints: 16618
171.27/171.87 c #Conflicts: 654000 | #Constraints: 17618
171.27/171.87 c #Conflicts: 655000 | #Constraints: 18618
171.27/171.87 c #Conflicts: 656000 | #Constraints: 19618
171.27/171.87 c #Conflicts: 657000 | #Constraints: 20618
171.27/171.87 c #Conflicts: 658000 | #Constraints: 21618
171.27/171.87 c #Conflicts: 659000 | #Constraints: 22618
171.27/171.87 c #Conflicts: 660000 | #Constraints: 23618
171.27/171.87 c #Conflicts: 661000 | #Constraints: 24618
171.27/171.87 c #Conflicts: 662000 | #Constraints: 25618
171.27/171.87 c #Conflicts: 663000 | #Constraints: 26618
171.27/171.87 c #Conflicts: 664000 | #Constraints: 27618
171.27/171.87 c #Conflicts: 665000 | #Constraints: 28618
171.27/171.87 c GLOBAL bounds 52240 >= 47059 @ 167.091
171.27/171.87 c GLOBAL bounds 52240 >= 47059 @ 167.093
171.27/171.88 c GLOBAL bounds 52240 >= 47059 @ 167.094
171.27/171.88 c GLOBAL bounds 52240 >= 47059 @ 167.095
171.37/171.97 c #Conflicts: 666000 | #Constraints: 29620
171.37/171.97 c GLOBAL bounds 52240 >= 47059 @ 167.189
171.37/171.98 c GLOBAL bounds 52240 >= 47059 @ 167.19
171.37/171.99 c GLOBAL bounds 52240 >= 47059 @ 167.204
171.37/171.99 c GLOBAL bounds 52240 >= 47059 @ 167.205
171.37/172.00 c GLOBAL bounds 52240 >= 47059 @ 167.207
171.37/172.00 c GLOBAL bounds 52240 >= 47059 @ 167.208
171.37/172.00 c GLOBAL bounds 52240 >= 47059 @ 167.21
171.37/172.00 c GLOBAL bounds 52240 >= 47059 @ 167.211
171.47/172.08 c GLOBAL bounds 52240 >= 47059 @ 167.289
171.47/172.08 c GLOBAL bounds 52240 >= 47059 @ 167.29
171.86/172.45 c #Conflicts: 667000 | #Constraints: 30640
171.86/172.45 c #Conflicts: 668000 | #Constraints: 31640
171.86/172.45 c GLOBAL bounds 52240 >= 47059 @ 167.632
171.86/172.45 c GLOBAL bounds 52240 >= 47059 @ 167.633
171.86/172.45 c GLOBAL bounds 52240 >= 47059 @ 167.634
171.86/172.45 c GLOBAL bounds 52240 >= 47059 @ 167.635
171.97/172.56 c GLOBAL bounds 52240 >= 47059 @ 167.738
171.97/172.56 c GLOBAL bounds 52240 >= 47059 @ 167.74
172.16/172.70 c #Conflicts: 669000 | #Constraints: 32652
172.16/172.70 c GLOBAL bounds 52240 >= 47059 @ 167.872
172.16/172.70 c GLOBAL bounds 52240 >= 47059 @ 167.874
172.16/172.71 c GLOBAL bounds 52240 >= 47059 @ 167.876
172.16/172.71 c GLOBAL bounds 52240 >= 47059 @ 167.878
172.27/172.80 c INPROCESSING
172.27/172.80 c GARBAGE COLLECT
172.27/172.80 c GLOBAL bounds 52240 >= 47059 @ 167.968
172.27/172.81 c GLOBAL bounds 52240 >= 47059 @ 167.968
172.27/172.87 c GLOBAL bounds 52240 >= 47059 @ 168.026
172.37/172.93 c #Conflicts: 670000 | #Constraints: 17335
172.37/172.93 c GLOBAL bounds 52240 >= 47059 @ 168.078
175.25/175.80 c #Conflicts: 671000 | #Constraints: 18338
175.25/175.80 c #Conflicts: 672000 | #Constraints: 19338
175.25/175.80 c #Conflicts: 673000 | #Constraints: 20338
175.25/175.80 c #Conflicts: 674000 | #Constraints: 21338
175.25/175.80 c #Conflicts: 675000 | #Constraints: 22338
175.25/175.80 c #Conflicts: 676000 | #Constraints: 23338
175.25/175.80 c #Conflicts: 677000 | #Constraints: 24338
175.25/175.80 c #Conflicts: 678000 | #Constraints: 25338
175.25/175.80 c #Conflicts: 679000 | #Constraints: 26338
175.25/175.80 c #Conflicts: 680000 | #Constraints: 27338
175.25/175.80 c GLOBAL bounds 52240 >= 47059 @ 170.879
196.50/197.14 c #Conflicts: 681000 | #Constraints: 28338
196.50/197.14 c #Conflicts: 682000 | #Constraints: 29338
196.50/197.14 c #Conflicts: 683000 | #Constraints: 30338
196.50/197.14 c #Conflicts: 684000 | #Constraints: 31338
196.50/197.14 c #Conflicts: 685000 | #Constraints: 32338
196.50/197.14 c #Conflicts: 686000 | #Constraints: 33338
196.50/197.14 c INPROCESSING
196.50/197.14 c GARBAGE COLLECT
196.50/197.14 c #Conflicts: 687000 | #Constraints: 17828
196.50/197.14 c #Conflicts: 688000 | #Constraints: 18828
196.50/197.14 c #Conflicts: 689000 | #Constraints: 19828
196.50/197.14 c #Conflicts: 690000 | #Constraints: 20828
196.50/197.14 c #Conflicts: 691000 | #Constraints: 21828
196.50/197.14 c #Conflicts: 692000 | #Constraints: 22828
196.50/197.14 c #Conflicts: 693000 | #Constraints: 23828
196.50/197.14 c #Conflicts: 694000 | #Constraints: 24828
196.50/197.14 c #Conflicts: 695000 | #Constraints: 25828
196.50/197.14 c #Conflicts: 696000 | #Constraints: 26828
196.50/197.14 c #Conflicts: 697000 | #Constraints: 27828
196.50/197.14 c #Conflicts: 698000 | #Constraints: 28828
196.50/197.14 c #Conflicts: 699000 | #Constraints: 29828
196.50/197.14 c #Conflicts: 700000 | #Constraints: 30828
196.50/197.14 c #Conflicts: 701000 | #Constraints: 31828
196.50/197.14 c #Conflicts: 702000 | #Constraints: 32828
196.50/197.14 c INPROCESSING
196.50/197.14 c GARBAGE COLLECT
196.50/197.14 c #Conflicts: 703000 | #Constraints: 17132
196.50/197.14 c #Conflicts: 704000 | #Constraints: 18132
196.50/197.14 c #Conflicts: 705000 | #Constraints: 19132
196.50/197.14 c #Conflicts: 706000 | #Constraints: 20132
196.50/197.14 c #Conflicts: 707000 | #Constraints: 21132
196.50/197.14 c #Conflicts: 708000 | #Constraints: 22132
196.50/197.14 c #Conflicts: 709000 | #Constraints: 23132
196.50/197.14 c #Conflicts: 710000 | #Constraints: 24132
196.50/197.14 c #Conflicts: 711000 | #Constraints: 25132
196.50/197.14 c #Conflicts: 712000 | #Constraints: 26132
196.50/197.14 c #Conflicts: 713000 | #Constraints: 27132
196.50/197.14 c #Conflicts: 714000 | #Constraints: 28132
196.50/197.14 c #Conflicts: 715000 | #Constraints: 29132
196.50/197.14 c #Conflicts: 716000 | #Constraints: 30132
196.50/197.14 c #Conflicts: 717000 | #Constraints: 31132
196.50/197.14 c #Conflicts: 718000 | #Constraints: 32132
196.50/197.14 c #Conflicts: 719000 | #Constraints: 33132
196.50/197.14 c #Conflicts: 720000 | #Constraints: 34132
196.50/197.14 c INPROCESSING
196.50/197.14 c GARBAGE COLLECT
196.50/197.14 c #Conflicts: 721000 | #Constraints: 18238
196.50/197.14 c #Conflicts: 722000 | #Constraints: 19238
196.50/197.14 c #Conflicts: 723000 | #Constraints: 20238
196.50/197.14 c #Conflicts: 724000 | #Constraints: 21238
196.50/197.14 c #Conflicts: 725000 | #Constraints: 22238
196.50/197.14 c #Conflicts: 726000 | #Constraints: 23238
196.50/197.14 c #Conflicts: 727000 | #Constraints: 24238
196.50/197.14 c #Conflicts: 728000 | #Constraints: 25238
196.50/197.14 c #Conflicts: 729000 | #Constraints: 26238
196.50/197.14 c #Conflicts: 730000 | #Constraints: 27238
196.50/197.14 c #Conflicts: 731000 | #Constraints: 28238
196.50/197.14 c #Conflicts: 732000 | #Constraints: 29238
196.50/197.14 c #Conflicts: 733000 | #Constraints: 30238
196.50/197.14 c #Conflicts: 734000 | #Constraints: 31238
196.50/197.14 c #Conflicts: 735000 | #Constraints: 32238
196.50/197.14 c #Conflicts: 736000 | #Constraints: 33238
196.50/197.14 c #Conflicts: 737000 | #Constraints: 34238
196.50/197.14 c INPROCESSING
196.50/197.14 c GARBAGE COLLECT
196.50/197.14 c #Conflicts: 738000 | #Constraints: 18140
196.50/197.14 c #Conflicts: 739000 | #Constraints: 19140
196.50/197.14 c #Conflicts: 740000 | #Constraints: 20140
196.50/197.14 c #Conflicts: 741000 | #Constraints: 21140
196.50/197.14 c #Conflicts: 742000 | #Constraints: 22140
196.50/197.14 c #Conflicts: 743000 | #Constraints: 23140
196.50/197.14 c #Conflicts: 744000 | #Constraints: 24140
196.50/197.14 c #Conflicts: 745000 | #Constraints: 25140
196.50/197.14 c #Conflicts: 746000 | #Constraints: 26140
196.50/197.14 c #Conflicts: 747000 | #Constraints: 27140
196.50/197.14 c #Conflicts: 748000 | #Constraints: 28140
196.50/197.14 c #Conflicts: 749000 | #Constraints: 29140
196.50/197.14 c #Conflicts: 750000 | #Constraints: 30140
196.50/197.14 c #Conflicts: 751000 | #Constraints: 31140
196.50/197.14 c #Conflicts: 752000 | #Constraints: 32140
196.50/197.14 c #Conflicts: 753000 | #Constraints: 33140
196.50/197.14 c #Conflicts: 754000 | #Constraints: 34140
196.50/197.14 c INPROCESSING
196.50/197.14 c GARBAGE COLLECT
196.50/197.14 c #Conflicts: 755000 | #Constraints: 17845
196.50/197.14 c #Conflicts: 756000 | #Constraints: 18845
206.47/207.16 c #Conflicts: 757000 | #Constraints: 19845
206.47/207.16 c #Conflicts: 758000 | #Constraints: 20845
206.47/207.16 c #Conflicts: 759000 | #Constraints: 21845
206.47/207.16 c #Conflicts: 760000 | #Constraints: 22845
206.47/207.16 c #Conflicts: 761000 | #Constraints: 23845
206.47/207.16 c #Conflicts: 762000 | #Constraints: 24845
206.47/207.16 c #Conflicts: 763000 | #Constraints: 25845
206.47/207.16 c #Conflicts: 764000 | #Constraints: 26845
206.47/207.16 c #Conflicts: 765000 | #Constraints: 27845
206.47/207.16 c #Conflicts: 766000 | #Constraints: 28845
206.47/207.16 c #Conflicts: 767000 | #Constraints: 29845
206.47/207.16 c #Conflicts: 768000 | #Constraints: 30845
206.47/207.16 c #Conflicts: 769000 | #Constraints: 31845
206.47/207.16 c #Conflicts: 770000 | #Constraints: 32845
206.47/207.16 c #Conflicts: 771000 | #Constraints: 33845
206.47/207.16 c #Conflicts: 772000 | #Constraints: 34845
206.47/207.16 c INPROCESSING
206.47/207.16 c GARBAGE COLLECT
206.47/207.16 c #Conflicts: 773000 | #Constraints: 18349
206.47/207.16 c #Conflicts: 774000 | #Constraints: 19349
206.47/207.16 c #Conflicts: 775000 | #Constraints: 20349
206.47/207.16 c #Conflicts: 776000 | #Constraints: 21349
206.47/207.16 c #Conflicts: 777000 | #Constraints: 22349
206.47/207.16 c #Conflicts: 778000 | #Constraints: 23349
206.47/207.16 c #Conflicts: 779000 | #Constraints: 24349
206.47/207.16 c #Conflicts: 780000 | #Constraints: 25349
206.47/207.16 c #Conflicts: 781000 | #Constraints: 26349
206.47/207.16 c #Conflicts: 782000 | #Constraints: 27349
206.47/207.16 c #Conflicts: 783000 | #Constraints: 28349
206.47/207.16 c #Conflicts: 784000 | #Constraints: 29349
206.47/207.16 c #Conflicts: 785000 | #Constraints: 30349
206.47/207.16 c #Conflicts: 786000 | #Constraints: 31349
206.47/207.16 c #Conflicts: 787000 | #Constraints: 32349
206.47/207.16 c #Conflicts: 788000 | #Constraints: 33349
206.47/207.16 c #Conflicts: 789000 | #Constraints: 34349
206.47/207.16 c GLOBAL bounds 52240 >= 47059 @ 201.608
207.06/207.73 c #Conflicts: 790000 | #Constraints: 35352
207.06/207.73 c INPROCESSING
207.06/207.73 c GARBAGE COLLECT
207.06/207.73 c #Conflicts: 791000 | #Constraints: 18648
207.06/207.73 c GLOBAL bounds 52240 >= 47059 @ 202.162
229.49/230.29 c #Conflicts: 792000 | #Constraints: 19651
229.49/230.29 c #Conflicts: 793000 | #Constraints: 20651
229.49/230.29 c #Conflicts: 794000 | #Constraints: 21651
229.49/230.29 c #Conflicts: 795000 | #Constraints: 22651
229.49/230.29 c #Conflicts: 796000 | #Constraints: 23651
229.49/230.29 c #Conflicts: 797000 | #Constraints: 24651
229.49/230.29 c #Conflicts: 798000 | #Constraints: 25651
229.49/230.29 c #Conflicts: 799000 | #Constraints: 26651
229.49/230.29 c #Conflicts: 800000 | #Constraints: 27651
229.49/230.29 c #Conflicts: 801000 | #Constraints: 28651
229.49/230.29 c #Conflicts: 802000 | #Constraints: 29651
229.49/230.29 c #Conflicts: 803000 | #Constraints: 30651
229.49/230.29 c #Conflicts: 804000 | #Constraints: 31651
229.49/230.29 c #Conflicts: 805000 | #Constraints: 32651
229.49/230.29 c #Conflicts: 806000 | #Constraints: 33651
229.49/230.29 c #Conflicts: 807000 | #Constraints: 34651
229.49/230.29 c #Conflicts: 808000 | #Constraints: 35651
229.49/230.29 c INPROCESSING
229.49/230.29 c GARBAGE COLLECT
229.49/230.29 c #Conflicts: 809000 | #Constraints: 18756
229.49/230.29 c #Conflicts: 810000 | #Constraints: 19756
229.49/230.29 c #Conflicts: 811000 | #Constraints: 20756
229.49/230.29 c #Conflicts: 812000 | #Constraints: 21756
229.49/230.29 c #Conflicts: 813000 | #Constraints: 22756
229.49/230.29 c #Conflicts: 814000 | #Constraints: 23756
229.49/230.29 c #Conflicts: 815000 | #Constraints: 24756
229.49/230.29 c #Conflicts: 816000 | #Constraints: 25756
229.49/230.29 c #Conflicts: 817000 | #Constraints: 26756
229.49/230.29 c #Conflicts: 818000 | #Constraints: 27756
229.49/230.29 c #Conflicts: 819000 | #Constraints: 28756
229.49/230.29 c #Conflicts: 820000 | #Constraints: 29756
229.49/230.29 c #Conflicts: 821000 | #Constraints: 30756
229.49/230.29 c #Conflicts: 822000 | #Constraints: 31756
229.49/230.29 c #Conflicts: 823000 | #Constraints: 32756
229.49/230.29 c #Conflicts: 824000 | #Constraints: 33756
229.49/230.29 c #Conflicts: 825000 | #Constraints: 34756
229.49/230.29 c #Conflicts: 826000 | #Constraints: 35756
229.49/230.29 c INPROCESSING
229.49/230.29 c GARBAGE COLLECT
229.49/230.29 c #Conflicts: 827000 | #Constraints: 18654
229.49/230.29 c #Conflicts: 828000 | #Constraints: 19654
229.49/230.29 c #Conflicts: 829000 | #Constraints: 20654
229.49/230.29 c #Conflicts: 830000 | #Constraints: 21654
229.49/230.29 c #Conflicts: 831000 | #Constraints: 22654
229.49/230.29 c #Conflicts: 832000 | #Constraints: 23654
229.49/230.29 c #Conflicts: 833000 | #Constraints: 24654
229.49/230.29 c #Conflicts: 834000 | #Constraints: 25654
229.49/230.29 c #Conflicts: 835000 | #Constraints: 26654
229.49/230.29 c #Conflicts: 836000 | #Constraints: 27654
229.49/230.29 c #Conflicts: 837000 | #Constraints: 28654
229.49/230.29 c #Conflicts: 838000 | #Constraints: 29654
229.49/230.29 c #Conflicts: 839000 | #Constraints: 30654
229.49/230.29 c #Conflicts: 840000 | #Constraints: 31654
229.49/230.29 c #Conflicts: 841000 | #Constraints: 32654
229.49/230.29 c #Conflicts: 842000 | #Constraints: 33654
229.49/230.29 c #Conflicts: 843000 | #Constraints: 34654
229.49/230.29 c #Conflicts: 844000 | #Constraints: 35654
229.49/230.29 c #Conflicts: 845000 | #Constraints: 36654
229.49/230.29 c INPROCESSING
229.49/230.29 c GARBAGE COLLECT
229.49/230.29 c #Conflicts: 846000 | #Constraints: 19352
229.49/230.29 c #Conflicts: 847000 | #Constraints: 20352
229.49/230.29 c #Conflicts: 848000 | #Constraints: 21352
229.49/230.29 c #Conflicts: 849000 | #Constraints: 22352
229.49/230.29 c #Conflicts: 850000 | #Constraints: 23352
229.49/230.29 c #Conflicts: 851000 | #Constraints: 24352
229.49/230.29 c #Conflicts: 852000 | #Constraints: 25352
229.49/230.29 c #Conflicts: 853000 | #Constraints: 26352
229.49/230.29 c #Conflicts: 854000 | #Constraints: 27352
229.49/230.29 c #Conflicts: 855000 | #Constraints: 28352
229.49/230.29 c #Conflicts: 856000 | #Constraints: 29352
229.49/230.29 c #Conflicts: 857000 | #Constraints: 30352
229.49/230.29 c #Conflicts: 858000 | #Constraints: 31352
229.49/230.29 c #Conflicts: 859000 | #Constraints: 32352
229.49/230.29 c #Conflicts: 860000 | #Constraints: 33352
229.49/230.29 c #Conflicts: 861000 | #Constraints: 34352
229.49/230.29 c #Conflicts: 862000 | #Constraints: 35352
229.49/230.29 c #Conflicts: 863000 | #Constraints: 36352
229.49/230.29 c #Conflicts: 864000 | #Constraints: 37352
229.49/230.29 c INPROCESSING
229.49/230.29 c GARBAGE COLLECT
229.49/230.29 c #Conflicts: 865000 | #Constraints: 19860
229.49/230.29 c #Conflicts: 866000 | #Constraints: 20860
229.49/230.29 c #Conflicts: 867000 | #Constraints: 21860
229.49/230.29 c #Conflicts: 868000 | #Constraints: 22860
255.40/256.22 c #Conflicts: 869000 | #Constraints: 23860
255.40/256.22 c #Conflicts: 870000 | #Constraints: 24860
255.40/256.22 c #Conflicts: 871000 | #Constraints: 25860
255.40/256.22 c #Conflicts: 872000 | #Constraints: 26860
255.40/256.22 c #Conflicts: 873000 | #Constraints: 27860
255.40/256.22 c #Conflicts: 874000 | #Constraints: 28860
255.40/256.22 c #Conflicts: 875000 | #Constraints: 29860
255.40/256.22 c #Conflicts: 876000 | #Constraints: 30860
255.40/256.22 c #Conflicts: 877000 | #Constraints: 31860
255.40/256.22 c #Conflicts: 878000 | #Constraints: 32860
255.40/256.22 c #Conflicts: 879000 | #Constraints: 33860
255.40/256.22 c #Conflicts: 880000 | #Constraints: 34860
255.40/256.22 c #Conflicts: 881000 | #Constraints: 35860
255.40/256.22 c #Conflicts: 882000 | #Constraints: 36860
255.40/256.22 c INPROCESSING
255.40/256.22 c GARBAGE COLLECT
255.40/256.22 c #Conflicts: 883000 | #Constraints: 19160
255.40/256.22 c #Conflicts: 884000 | #Constraints: 20160
255.40/256.22 c #Conflicts: 885000 | #Constraints: 21160
255.40/256.22 c #Conflicts: 886000 | #Constraints: 22160
255.40/256.22 c #Conflicts: 887000 | #Constraints: 23160
255.40/256.22 c #Conflicts: 888000 | #Constraints: 24160
255.40/256.22 c #Conflicts: 889000 | #Constraints: 25160
255.40/256.22 c #Conflicts: 890000 | #Constraints: 26160
255.40/256.22 c #Conflicts: 891000 | #Constraints: 27160
255.40/256.22 c #Conflicts: 892000 | #Constraints: 28160
255.40/256.22 c #Conflicts: 893000 | #Constraints: 29160
255.40/256.22 c #Conflicts: 894000 | #Constraints: 30160
255.40/256.22 c #Conflicts: 895000 | #Constraints: 31160
255.40/256.22 c #Conflicts: 896000 | #Constraints: 32160
255.40/256.22 c #Conflicts: 897000 | #Constraints: 33160
255.40/256.22 c #Conflicts: 898000 | #Constraints: 34160
255.40/256.22 c #Conflicts: 899000 | #Constraints: 35160
255.40/256.22 c #Conflicts: 900000 | #Constraints: 36160
255.40/256.22 c #Conflicts: 901000 | #Constraints: 37160
255.40/256.22 c #Conflicts: 902000 | #Constraints: 38160
255.40/256.22 c INPROCESSING
255.40/256.22 c GARBAGE COLLECT
255.40/256.22 c #Conflicts: 903000 | #Constraints: 20263
255.40/256.22 c #Conflicts: 904000 | #Constraints: 21263
255.40/256.22 c #Conflicts: 905000 | #Constraints: 22263
255.40/256.22 c #Conflicts: 906000 | #Constraints: 23263
255.40/256.22 c #Conflicts: 907000 | #Constraints: 24263
255.40/256.22 c #Conflicts: 908000 | #Constraints: 25263
255.40/256.22 c #Conflicts: 909000 | #Constraints: 26263
255.40/256.22 c #Conflicts: 910000 | #Constraints: 27263
255.40/256.22 c #Conflicts: 911000 | #Constraints: 28263
255.40/256.22 c #Conflicts: 912000 | #Constraints: 29263
255.40/256.22 c #Conflicts: 913000 | #Constraints: 30263
255.40/256.22 c #Conflicts: 914000 | #Constraints: 31263
255.40/256.22 c #Conflicts: 915000 | #Constraints: 32263
255.40/256.22 c #Conflicts: 916000 | #Constraints: 33263
255.40/256.22 c #Conflicts: 917000 | #Constraints: 34263
255.40/256.22 c #Conflicts: 918000 | #Constraints: 35263
255.40/256.22 c #Conflicts: 919000 | #Constraints: 36263
255.40/256.22 c #Conflicts: 920000 | #Constraints: 37263
255.40/256.22 c #Conflicts: 921000 | #Constraints: 38263
255.40/256.22 c INPROCESSING
255.40/256.22 c GARBAGE COLLECT
255.40/256.22 c #Conflicts: 922000 | #Constraints: 20167
255.40/256.22 c #Conflicts: 923000 | #Constraints: 21167
255.40/256.22 c #Conflicts: 924000 | #Constraints: 22167
255.40/256.22 c #Conflicts: 925000 | #Constraints: 23167
255.40/256.22 c #Conflicts: 926000 | #Constraints: 24167
255.40/256.22 c #Conflicts: 927000 | #Constraints: 25167
255.40/256.22 c #Conflicts: 928000 | #Constraints: 26167
255.40/256.22 c #Conflicts: 929000 | #Constraints: 27167
255.40/256.22 c #Conflicts: 930000 | #Constraints: 28167
255.40/256.22 c #Conflicts: 931000 | #Constraints: 29167
255.40/256.22 c #Conflicts: 932000 | #Constraints: 30167
255.40/256.22 c #Conflicts: 933000 | #Constraints: 31167
255.40/256.22 c #Conflicts: 934000 | #Constraints: 32167
255.40/256.22 c #Conflicts: 935000 | #Constraints: 33167
255.40/256.22 c #Conflicts: 936000 | #Constraints: 34167
255.40/256.22 c #Conflicts: 937000 | #Constraints: 35167
255.40/256.22 c #Conflicts: 938000 | #Constraints: 36167
255.40/256.22 c #Conflicts: 939000 | #Constraints: 37167
255.40/256.22 c #Conflicts: 940000 | #Constraints: 38167
255.40/256.22 c INPROCESSING
255.40/256.22 c GARBAGE COLLECT
255.40/256.22 c #Conflicts: 941000 | #Constraints: 19867
255.40/256.22 c #Conflicts: 942000 | #Constraints: 20867
255.40/256.22 c #Conflicts: 943000 | #Constraints: 21867
255.40/256.22 c #Conflicts: 944000 | #Constraints: 22867
283.61/284.55 c #Conflicts: 945000 | #Constraints: 23867
283.61/284.55 c #Conflicts: 946000 | #Constraints: 24867
283.61/284.55 c #Conflicts: 947000 | #Constraints: 25867
283.61/284.55 c #Conflicts: 948000 | #Constraints: 26867
283.61/284.55 c #Conflicts: 949000 | #Constraints: 27867
283.61/284.55 c #Conflicts: 950000 | #Constraints: 28867
283.61/284.55 c #Conflicts: 951000 | #Constraints: 29867
283.61/284.55 c #Conflicts: 952000 | #Constraints: 30867
283.61/284.55 c #Conflicts: 953000 | #Constraints: 31867
283.61/284.55 c #Conflicts: 954000 | #Constraints: 32867
283.61/284.55 c #Conflicts: 955000 | #Constraints: 33867
283.61/284.55 c #Conflicts: 956000 | #Constraints: 34867
283.61/284.55 c #Conflicts: 957000 | #Constraints: 35867
283.61/284.55 c #Conflicts: 958000 | #Constraints: 36867
283.61/284.55 c #Conflicts: 959000 | #Constraints: 37867
283.61/284.55 c #Conflicts: 960000 | #Constraints: 38867
283.61/284.55 c INPROCESSING
283.61/284.55 c GARBAGE COLLECT
283.61/284.55 c #Conflicts: 961000 | #Constraints: 20369
283.61/284.55 c #Conflicts: 962000 | #Constraints: 21369
283.61/284.55 c #Conflicts: 963000 | #Constraints: 22369
283.61/284.55 c #Conflicts: 964000 | #Constraints: 23369
283.61/284.55 c #Conflicts: 965000 | #Constraints: 24369
283.61/284.55 c #Conflicts: 966000 | #Constraints: 25369
283.61/284.55 c #Conflicts: 967000 | #Constraints: 26369
283.61/284.55 c #Conflicts: 968000 | #Constraints: 27369
283.61/284.55 c #Conflicts: 969000 | #Constraints: 28369
283.61/284.55 c #Conflicts: 970000 | #Constraints: 29369
283.61/284.55 c #Conflicts: 971000 | #Constraints: 30369
283.61/284.55 c #Conflicts: 972000 | #Constraints: 31369
283.61/284.55 c #Conflicts: 973000 | #Constraints: 32369
283.61/284.55 c #Conflicts: 974000 | #Constraints: 33369
283.61/284.55 c #Conflicts: 975000 | #Constraints: 34369
283.61/284.55 c #Conflicts: 976000 | #Constraints: 35369
283.61/284.55 c #Conflicts: 977000 | #Constraints: 36369
283.61/284.55 c #Conflicts: 978000 | #Constraints: 37369
283.61/284.55 c #Conflicts: 979000 | #Constraints: 38369
283.61/284.55 c #Conflicts: 980000 | #Constraints: 39369
283.61/284.55 c INPROCESSING
283.61/284.55 c GARBAGE COLLECT
283.61/284.55 c #Conflicts: 981000 | #Constraints: 20674
283.61/284.55 c #Conflicts: 982000 | #Constraints: 21674
283.61/284.55 c #Conflicts: 983000 | #Constraints: 22674
283.61/284.55 c #Conflicts: 984000 | #Constraints: 23674
283.61/284.55 c #Conflicts: 985000 | #Constraints: 24674
283.61/284.55 c #Conflicts: 986000 | #Constraints: 25674
283.61/284.55 c #Conflicts: 987000 | #Constraints: 26674
283.61/284.55 c #Conflicts: 988000 | #Constraints: 27674
283.61/284.55 c #Conflicts: 989000 | #Constraints: 28674
283.61/284.55 c #Conflicts: 990000 | #Constraints: 29674
283.61/284.55 c #Conflicts: 991000 | #Constraints: 30674
283.61/284.55 c #Conflicts: 992000 | #Constraints: 31674
283.61/284.55 c #Conflicts: 993000 | #Constraints: 32674
283.61/284.55 c #Conflicts: 994000 | #Constraints: 33674
283.61/284.55 c #Conflicts: 995000 | #Constraints: 34674
283.61/284.55 c #Conflicts: 996000 | #Constraints: 35674
283.61/284.55 c #Conflicts: 997000 | #Constraints: 36674
283.61/284.55 c #Conflicts: 998000 | #Constraints: 37674
283.61/284.55 c #Conflicts: 999000 | #Constraints: 38674
283.61/284.55 c #Conflicts: 1000000 | #Constraints: 39674
283.61/284.55 c INPROCESSING
283.61/284.55 c GARBAGE COLLECT
283.61/284.55 c #Conflicts: 1001000 | #Constraints: 20774
283.61/284.55 c #Conflicts: 1002000 | #Constraints: 21774
283.61/284.55 c #Conflicts: 1003000 | #Constraints: 22774
283.61/284.55 c #Conflicts: 1004000 | #Constraints: 23774
283.61/284.55 c #Conflicts: 1005000 | #Constraints: 24774
283.61/284.55 c #Conflicts: 1006000 | #Constraints: 25774
283.61/284.55 c #Conflicts: 1007000 | #Constraints: 26774
283.61/284.55 c #Conflicts: 1008000 | #Constraints: 27774
283.61/284.55 c #Conflicts: 1009000 | #Constraints: 28774
283.61/284.55 c #Conflicts: 1010000 | #Constraints: 29774
283.61/284.55 c #Conflicts: 1011000 | #Constraints: 30774
283.61/284.55 c #Conflicts: 1012000 | #Constraints: 31774
283.61/284.55 c #Conflicts: 1013000 | #Constraints: 32774
283.61/284.55 c #Conflicts: 1014000 | #Constraints: 33774
283.61/284.55 c #Conflicts: 1015000 | #Constraints: 34774
283.61/284.55 c #Conflicts: 1016000 | #Constraints: 35774
283.61/284.55 c #Conflicts: 1017000 | #Constraints: 36774
283.61/284.55 c #Conflicts: 1018000 | #Constraints: 37774
283.61/284.55 c #Conflicts: 1019000 | #Constraints: 38774
283.61/284.55 c #Conflicts: 1020000 | #Constraints: 39774
283.61/284.55 c INPROCESSING
283.61/284.55 c GARBAGE COLLECT
295.98/296.98 c #Conflicts: 1021000 | #Constraints: 20685
295.98/296.98 c #Conflicts: 1022000 | #Constraints: 21685
295.98/296.98 c #Conflicts: 1023000 | #Constraints: 22685
295.98/296.98 c #Conflicts: 1024000 | #Constraints: 23685
295.98/296.98 c #Conflicts: 1025000 | #Constraints: 24685
295.98/296.98 c #Conflicts: 1026000 | #Constraints: 25685
295.98/296.98 c #Conflicts: 1027000 | #Constraints: 26685
295.98/296.98 c #Conflicts: 1028000 | #Constraints: 27685
295.98/296.98 c #Conflicts: 1029000 | #Constraints: 28685
295.98/296.98 c #Conflicts: 1030000 | #Constraints: 29685
295.98/296.98 c #Conflicts: 1031000 | #Constraints: 30685
295.98/296.98 c #Conflicts: 1032000 | #Constraints: 31685
295.98/296.98 c #Conflicts: 1033000 | #Constraints: 32685
295.98/296.98 c #Conflicts: 1034000 | #Constraints: 33685
295.98/296.98 c #Conflicts: 1035000 | #Constraints: 34685
295.98/296.98 c #Conflicts: 1036000 | #Constraints: 35685
295.98/296.98 c #Conflicts: 1037000 | #Constraints: 36685
295.98/296.98 c #Conflicts: 1038000 | #Constraints: 37685
295.98/296.98 c #Conflicts: 1039000 | #Constraints: 38685
295.98/296.98 c #Conflicts: 1040000 | #Constraints: 39685
295.98/296.98 c #Conflicts: 1041000 | #Constraints: 40685
295.98/296.98 c INPROCESSING
295.98/296.98 c GARBAGE COLLECT
295.98/296.98 c #Conflicts: 1042000 | #Constraints: 21391
295.98/296.98 c #Conflicts: 1043000 | #Constraints: 22391
295.98/296.98 c #Conflicts: 1044000 | #Constraints: 23391
295.98/296.98 c #Conflicts: 1045000 | #Constraints: 24391
295.98/296.98 c #Conflicts: 1046000 | #Constraints: 25391
295.98/296.98 c #Conflicts: 1047000 | #Constraints: 26391
295.98/296.98 c #Conflicts: 1048000 | #Constraints: 27391
295.98/296.98 c #Conflicts: 1049000 | #Constraints: 28391
295.98/296.98 c #Conflicts: 1050000 | #Constraints: 29391
295.98/296.98 c #Conflicts: 1051000 | #Constraints: 30391
295.98/296.98 c #Conflicts: 1052000 | #Constraints: 31391
295.98/296.98 c #Conflicts: 1053000 | #Constraints: 32391
295.98/296.98 c #Conflicts: 1054000 | #Constraints: 33391
295.98/296.98 c #Conflicts: 1055000 | #Constraints: 34391
295.98/296.98 c #Conflicts: 1056000 | #Constraints: 35391
295.98/296.98 c #Conflicts: 1057000 | #Constraints: 36391
295.98/296.98 c #Conflicts: 1058000 | #Constraints: 37391
295.98/296.98 c #Conflicts: 1059000 | #Constraints: 38391
295.98/296.98 c GLOBAL bounds 52240 >= 47267 @ 289.788
295.98/296.99 c GLOBAL bounds 52240 >= 47267 @ 289.792
295.98/296.99 c GLOBAL bounds 52240 >= 47267 @ 289.792
295.98/296.99 c GLOBAL bounds 49490 >= 47267 @ 289.792
296.98/297.98 c #Conflicts: 1060000 | #Constraints: 39394
296.98/297.98 c #Conflicts: 1061000 | #Constraints: 40394
296.98/297.98 c #Conflicts: 1062000 | #Constraints: 41394
296.98/297.98 c INPROCESSING
296.98/297.98 c GARBAGE COLLECT
296.98/297.98 c #Conflicts: 1063000 | #Constraints: 21818
296.98/297.98 c GLOBAL bounds 49490 >= 47267 @ 290.759
296.98/297.98 c GLOBAL bounds 49490 >= 47267 @ 290.76
298.18/299.16 c #Conflicts: 1064000 | #Constraints: 22822
298.18/299.16 c #Conflicts: 1065000 | #Constraints: 23822
298.18/299.16 c #Conflicts: 1066000 | #Constraints: 24822
298.18/299.16 c #Conflicts: 1067000 | #Constraints: 25822
298.18/299.16 c #Conflicts: 1068000 | #Constraints: 26822
298.18/299.16 c #Conflicts: 1069000 | #Constraints: 27822
298.18/299.16 c GLOBAL bounds 49490 >= 47267 @ 291.891
298.18/299.16 c GLOBAL bounds 49490 >= 47267 @ 291.892
298.18/299.16 c GLOBAL bounds 49490 >= 47267 @ 291.894
298.18/299.17 c GLOBAL bounds 49490 >= 47267 @ 291.894
298.18/299.17 c GLOBAL bounds 49490 >= 47267 @ 291.897
298.18/299.17 c GLOBAL bounds 49490 >= 47267 @ 291.898
298.18/299.17 c GLOBAL bounds 49490 >= 47267 @ 291.901
298.18/299.17 c GLOBAL bounds 49490 >= 47267 @ 291.902
298.18/299.18 c GLOBAL bounds 49490 >= 47267 @ 291.904
298.18/299.18 c GLOBAL bounds 49490 >= 47267 @ 291.905
300.86/301.85 c #Conflicts: 1070000 | #Constraints: 28842
300.86/301.85 c #Conflicts: 1071000 | #Constraints: 29842
300.86/301.85 c #Conflicts: 1072000 | #Constraints: 30842
300.86/301.85 c #Conflicts: 1073000 | #Constraints: 31842
300.86/301.85 c #Conflicts: 1074000 | #Constraints: 32842
300.86/301.85 c #Conflicts: 1075000 | #Constraints: 33842
300.86/301.85 c #Conflicts: 1076000 | #Constraints: 34842
300.86/301.85 c #Conflicts: 1077000 | #Constraints: 35842
300.86/301.85 c #Conflicts: 1078000 | #Constraints: 36842
300.86/301.85 c #Conflicts: 1079000 | #Constraints: 37842
300.86/301.85 c #Conflicts: 1080000 | #Constraints: 38842
300.86/301.85 c #Conflicts: 1081000 | #Constraints: 39842
300.86/301.85 c #Conflicts: 1082000 | #Constraints: 40842
300.86/301.85 c INPROCESSING
300.86/301.85 c GARBAGE COLLECT
300.86/301.85 c GLOBAL bounds 49490 >= 47267 @ 294.508
300.86/301.85 c GLOBAL bounds 49490 >= 47267 @ 294.509
300.86/301.86 c GLOBAL bounds 49490 >= 47267 @ 294.513
300.86/301.86 c GLOBAL bounds 49490 >= 47267 @ 294.514
300.86/301.86 c GLOBAL bounds 49490 >= 47267 @ 294.516
300.86/301.86 c GLOBAL bounds 48902 >= 47267 @ 294.517
302.07/303.03 c #Conflicts: 1083000 | #Constraints: 21127
302.07/303.03 c #Conflicts: 1084000 | #Constraints: 22127
302.07/303.03 c #Conflicts: 1085000 | #Constraints: 23127
302.07/303.03 c #Conflicts: 1086000 | #Constraints: 24127
302.07/303.03 c #Conflicts: 1087000 | #Constraints: 25127
302.07/303.03 c #Conflicts: 1088000 | #Constraints: 26127
302.07/303.03 c #Conflicts: 1089000 | #Constraints: 27127
302.07/303.03 c GLOBAL bounds 48902 >= 47267 @ 295.635
302.07/303.03 c GLOBAL bounds 48902 >= 47267 @ 295.636
302.07/303.03 c GLOBAL bounds 48902 >= 47267 @ 295.638
304.25/305.23 c #Conflicts: 1090000 | #Constraints: 28131
304.25/305.23 c #Conflicts: 1091000 | #Constraints: 29131
304.25/305.23 c #Conflicts: 1092000 | #Constraints: 30131
304.25/305.23 c #Conflicts: 1093000 | #Constraints: 31131
304.25/305.23 c #Conflicts: 1094000 | #Constraints: 32131
304.25/305.23 c #Conflicts: 1095000 | #Constraints: 33131
304.25/305.23 c #Conflicts: 1096000 | #Constraints: 34131
304.25/305.23 c #Conflicts: 1097000 | #Constraints: 35131
304.25/305.23 c #Conflicts: 1098000 | #Constraints: 36131
304.25/305.23 c GLOBAL bounds 48902 >= 47267 @ 297.777
306.64/307.64 c #Conflicts: 1099000 | #Constraints: 37134
306.64/307.64 c #Conflicts: 1100000 | #Constraints: 38134
306.64/307.64 c #Conflicts: 1101000 | #Constraints: 39134
306.64/307.64 c #Conflicts: 1102000 | #Constraints: 40134
306.64/307.64 c #Conflicts: 1103000 | #Constraints: 41134
306.64/307.64 c #Conflicts: 1104000 | #Constraints: 42134
306.64/307.64 c INPROCESSING
306.64/307.64 c GARBAGE COLLECT
306.64/307.64 c #Conflicts: 1105000 | #Constraints: 22222
306.64/307.64 c #Conflicts: 1106000 | #Constraints: 23222
306.64/307.64 c #Conflicts: 1107000 | #Constraints: 24222
306.64/307.64 c #Conflicts: 1108000 | #Constraints: 25222
306.64/307.64 c GLOBAL bounds 48902 >= 47267 @ 300.139
333.56/334.69 c #Conflicts: 1109000 | #Constraints: 26225
333.56/334.69 c #Conflicts: 1110000 | #Constraints: 27225
333.56/334.69 c #Conflicts: 1111000 | #Constraints: 28225
333.56/334.69 c #Conflicts: 1112000 | #Constraints: 29225
333.56/334.69 c #Conflicts: 1113000 | #Constraints: 30225
333.56/334.69 c #Conflicts: 1114000 | #Constraints: 31225
333.56/334.69 c #Conflicts: 1115000 | #Constraints: 32225
333.56/334.69 c #Conflicts: 1116000 | #Constraints: 33225
333.56/334.69 c #Conflicts: 1117000 | #Constraints: 34225
333.56/334.69 c #Conflicts: 1118000 | #Constraints: 35225
333.56/334.69 c #Conflicts: 1119000 | #Constraints: 36225
333.56/334.69 c #Conflicts: 1120000 | #Constraints: 37225
333.56/334.69 c #Conflicts: 1121000 | #Constraints: 38225
333.56/334.69 c #Conflicts: 1122000 | #Constraints: 39225
333.56/334.69 c #Conflicts: 1123000 | #Constraints: 40225
333.56/334.69 c #Conflicts: 1124000 | #Constraints: 41225
333.56/334.69 c #Conflicts: 1125000 | #Constraints: 42225
333.56/334.69 c INPROCESSING
333.56/334.69 c GARBAGE COLLECT
333.56/334.69 c #Conflicts: 1126000 | #Constraints: 22150
333.56/334.69 c #Conflicts: 1127000 | #Constraints: 23150
333.56/334.69 c #Conflicts: 1128000 | #Constraints: 24150
333.56/334.69 c #Conflicts: 1129000 | #Constraints: 25150
333.56/334.69 c #Conflicts: 1130000 | #Constraints: 26150
333.56/334.69 c #Conflicts: 1131000 | #Constraints: 27150
333.56/334.69 c #Conflicts: 1132000 | #Constraints: 28150
333.56/334.69 c #Conflicts: 1133000 | #Constraints: 29150
333.56/334.69 c #Conflicts: 1134000 | #Constraints: 30150
333.56/334.69 c #Conflicts: 1135000 | #Constraints: 31150
333.56/334.69 c #Conflicts: 1136000 | #Constraints: 32150
333.56/334.69 c #Conflicts: 1137000 | #Constraints: 33150
333.56/334.69 c #Conflicts: 1138000 | #Constraints: 34150
333.56/334.69 c #Conflicts: 1139000 | #Constraints: 35150
333.56/334.69 c #Conflicts: 1140000 | #Constraints: 36150
333.56/334.69 c #Conflicts: 1141000 | #Constraints: 37150
333.56/334.69 c #Conflicts: 1142000 | #Constraints: 38150
333.56/334.69 c #Conflicts: 1143000 | #Constraints: 39150
333.56/334.69 c #Conflicts: 1144000 | #Constraints: 40150
333.56/334.69 c #Conflicts: 1145000 | #Constraints: 41150
333.56/334.69 c #Conflicts: 1146000 | #Constraints: 42150
333.56/334.69 c INPROCESSING
333.56/334.69 c GARBAGE COLLECT
333.56/334.69 c #Conflicts: 1147000 | #Constraints: 21852
333.56/334.69 c #Conflicts: 1148000 | #Constraints: 22852
333.56/334.69 c #Conflicts: 1149000 | #Constraints: 23852
333.56/334.69 c #Conflicts: 1150000 | #Constraints: 24852
333.56/334.69 c #Conflicts: 1151000 | #Constraints: 25852
333.56/334.69 c #Conflicts: 1152000 | #Constraints: 26852
333.56/334.69 c #Conflicts: 1153000 | #Constraints: 27852
333.56/334.69 c #Conflicts: 1154000 | #Constraints: 28852
333.56/334.69 c #Conflicts: 1155000 | #Constraints: 29852
333.56/334.69 c #Conflicts: 1156000 | #Constraints: 30852
333.56/334.69 c #Conflicts: 1157000 | #Constraints: 31852
333.56/334.69 c #Conflicts: 1158000 | #Constraints: 32852
333.56/334.69 c #Conflicts: 1159000 | #Constraints: 33852
333.56/334.69 c #Conflicts: 1160000 | #Constraints: 34852
333.56/334.69 c #Conflicts: 1161000 | #Constraints: 35852
333.56/334.69 c #Conflicts: 1162000 | #Constraints: 36852
333.56/334.69 c #Conflicts: 1163000 | #Constraints: 37852
333.56/334.69 c #Conflicts: 1164000 | #Constraints: 38852
333.56/334.69 c #Conflicts: 1165000 | #Constraints: 39852
333.56/334.69 c #Conflicts: 1166000 | #Constraints: 40852
333.56/334.69 c #Conflicts: 1167000 | #Constraints: 41852
333.56/334.69 c #Conflicts: 1168000 | #Constraints: 42852
333.56/334.69 c INPROCESSING
333.56/334.69 c GARBAGE COLLECT
333.56/334.69 c #Conflicts: 1169000 | #Constraints: 22361
333.56/334.69 c #Conflicts: 1170000 | #Constraints: 23361
333.56/334.69 c #Conflicts: 1171000 | #Constraints: 24361
333.56/334.69 c #Conflicts: 1172000 | #Constraints: 25361
333.56/334.69 c #Conflicts: 1173000 | #Constraints: 26361
333.56/334.69 c #Conflicts: 1174000 | #Constraints: 27361
333.56/334.69 c #Conflicts: 1175000 | #Constraints: 28361
333.56/334.69 c #Conflicts: 1176000 | #Constraints: 29361
333.56/334.69 c #Conflicts: 1177000 | #Constraints: 30361
333.56/334.69 c #Conflicts: 1178000 | #Constraints: 31361
333.56/334.69 c #Conflicts: 1179000 | #Constraints: 32361
333.56/334.69 c #Conflicts: 1180000 | #Constraints: 33361
333.56/334.69 c #Conflicts: 1181000 | #Constraints: 34361
333.56/334.69 c #Conflicts: 1182000 | #Constraints: 35361
333.56/334.69 c #Conflicts: 1183000 | #Constraints: 36361
333.56/334.69 c #Conflicts: 1184000 | #Constraints: 37361
333.56/334.69 c #Conflicts: 1185000 | #Constraints: 38361
349.02/350.16 c #Conflicts: 1186000 | #Constraints: 39361
349.02/350.16 c #Conflicts: 1187000 | #Constraints: 40361
349.02/350.16 c #Conflicts: 1188000 | #Constraints: 41361
349.02/350.16 c #Conflicts: 1189000 | #Constraints: 42361
349.02/350.16 c #Conflicts: 1190000 | #Constraints: 43361
349.02/350.16 c INPROCESSING
349.02/350.16 c GARBAGE COLLECT
349.02/350.16 c #Conflicts: 1191000 | #Constraints: 22662
349.02/350.16 c #Conflicts: 1192000 | #Constraints: 23662
349.02/350.16 c #Conflicts: 1193000 | #Constraints: 24662
349.02/350.16 c #Conflicts: 1194000 | #Constraints: 25662
349.02/350.16 c #Conflicts: 1195000 | #Constraints: 26662
349.02/350.16 c #Conflicts: 1196000 | #Constraints: 27662
349.02/350.16 c #Conflicts: 1197000 | #Constraints: 28662
349.02/350.16 c #Conflicts: 1198000 | #Constraints: 29662
349.02/350.16 c #Conflicts: 1199000 | #Constraints: 30662
349.02/350.16 c #Conflicts: 1200000 | #Constraints: 31662
349.02/350.16 c #Conflicts: 1201000 | #Constraints: 32662
349.02/350.16 c #Conflicts: 1202000 | #Constraints: 33662
349.02/350.16 c #Conflicts: 1203000 | #Constraints: 34662
349.02/350.16 c #Conflicts: 1204000 | #Constraints: 35662
349.02/350.16 c #Conflicts: 1205000 | #Constraints: 36662
349.02/350.16 c #Conflicts: 1206000 | #Constraints: 37662
349.02/350.16 c #Conflicts: 1207000 | #Constraints: 38662
349.02/350.16 c #Conflicts: 1208000 | #Constraints: 39662
349.02/350.16 c #Conflicts: 1209000 | #Constraints: 40662
349.02/350.16 c #Conflicts: 1210000 | #Constraints: 41662
349.02/350.16 c #Conflicts: 1211000 | #Constraints: 42662
349.02/350.16 c #Conflicts: 1212000 | #Constraints: 43662
349.02/350.16 c INPROCESSING
349.02/350.16 c GARBAGE COLLECT
349.02/350.16 c #Conflicts: 1213000 | #Constraints: 22775
349.02/350.16 c #Conflicts: 1214000 | #Constraints: 23775
349.02/350.16 c #Conflicts: 1215000 | #Constraints: 24775
349.02/350.16 c #Conflicts: 1216000 | #Constraints: 25775
349.02/350.16 c #Conflicts: 1217000 | #Constraints: 26775
349.02/350.16 c #Conflicts: 1218000 | #Constraints: 27775
349.02/350.16 c #Conflicts: 1219000 | #Constraints: 28775
349.02/350.16 c #Conflicts: 1220000 | #Constraints: 29775
349.02/350.16 c GLOBAL bounds 48902 >= 47333 @ 341.933
349.02/350.16 c GLOBAL bounds 48902 >= 47333 @ 341.936
349.02/350.16 c GLOBAL bounds 48902 >= 47333 @ 341.936
349.02/350.17 c GLOBAL bounds 48766 >= 47333 @ 341.936
351.11/352.24 c #Conflicts: 1221000 | #Constraints: 30778
351.11/352.24 c #Conflicts: 1222000 | #Constraints: 31778
351.11/352.24 c #Conflicts: 1223000 | #Constraints: 32778
351.11/352.24 c #Conflicts: 1224000 | #Constraints: 33778
351.11/352.24 c #Conflicts: 1225000 | #Constraints: 34778
351.11/352.24 c #Conflicts: 1226000 | #Constraints: 35778
351.11/352.24 c #Conflicts: 1227000 | #Constraints: 36778
351.11/352.24 c #Conflicts: 1228000 | #Constraints: 37778
351.11/352.24 c #Conflicts: 1229000 | #Constraints: 38778
351.11/352.24 c #Conflicts: 1230000 | #Constraints: 39778
351.11/352.24 c GLOBAL bounds 48766 >= 47333 @ 343.958
351.11/352.24 c GLOBAL bounds 48766 >= 47333 @ 343.959
351.20/352.33 c GLOBAL bounds 48766 >= 47333 @ 344.049
351.20/352.33 c GLOBAL bounds 48766 >= 47333 @ 344.05
351.20/352.36 c GLOBAL bounds 48766 >= 47333 @ 344.075
351.20/352.36 c GLOBAL bounds 48278 >= 47333 @ 344.077
351.20/352.39 c GLOBAL bounds 48278 >= 47333 @ 344.102
351.20/352.39 c GLOBAL bounds 48278 >= 47333 @ 344.103
351.30/352.40 c GLOBAL bounds 48278 >= 47333 @ 344.115
351.30/352.41 c GLOBAL bounds 48278 >= 47333 @ 344.117
370.25/371.42 c #Conflicts: 1231000 | #Constraints: 40797
370.25/371.42 c #Conflicts: 1232000 | #Constraints: 41797
370.25/371.42 c #Conflicts: 1233000 | #Constraints: 42797
370.25/371.42 c #Conflicts: 1234000 | #Constraints: 43797
370.25/371.42 c INPROCESSING
370.25/371.42 c GARBAGE COLLECT
370.25/371.42 c #Conflicts: 1235000 | #Constraints: 22627
370.25/371.42 c #Conflicts: 1236000 | #Constraints: 23627
370.25/371.42 c #Conflicts: 1237000 | #Constraints: 24627
370.25/371.42 c #Conflicts: 1238000 | #Constraints: 25627
370.25/371.42 c #Conflicts: 1239000 | #Constraints: 26627
370.25/371.42 c #Conflicts: 1240000 | #Constraints: 27627
370.25/371.42 c #Conflicts: 1241000 | #Constraints: 28627
370.25/371.42 c #Conflicts: 1242000 | #Constraints: 29627
370.25/371.42 c #Conflicts: 1243000 | #Constraints: 30627
370.25/371.42 c #Conflicts: 1244000 | #Constraints: 31627
370.25/371.42 c #Conflicts: 1245000 | #Constraints: 32627
370.25/371.42 c #Conflicts: 1246000 | #Constraints: 33627
370.25/371.42 c #Conflicts: 1247000 | #Constraints: 34627
370.25/371.42 c #Conflicts: 1248000 | #Constraints: 35627
370.25/371.42 c #Conflicts: 1249000 | #Constraints: 36627
370.25/371.42 c #Conflicts: 1250000 | #Constraints: 37627
370.25/371.42 c #Conflicts: 1251000 | #Constraints: 38627
370.25/371.42 c #Conflicts: 1252000 | #Constraints: 39627
370.25/371.42 c #Conflicts: 1253000 | #Constraints: 40627
370.25/371.42 c #Conflicts: 1254000 | #Constraints: 41627
370.25/371.42 c #Conflicts: 1255000 | #Constraints: 42627
370.25/371.42 c #Conflicts: 1256000 | #Constraints: 43627
370.25/371.42 c #Conflicts: 1257000 | #Constraints: 44627
370.25/371.42 c INPROCESSING
370.25/371.42 c GARBAGE COLLECT
370.25/371.42 c #Conflicts: 1258000 | #Constraints: 23317
370.25/371.42 c #Conflicts: 1259000 | #Constraints: 24317
370.25/371.42 c #Conflicts: 1260000 | #Constraints: 25317
370.25/371.42 c #Conflicts: 1261000 | #Constraints: 26317
370.25/371.42 c #Conflicts: 1262000 | #Constraints: 27317
370.25/371.42 c #Conflicts: 1263000 | #Constraints: 28317
370.25/371.42 c #Conflicts: 1264000 | #Constraints: 29317
370.25/371.42 c #Conflicts: 1265000 | #Constraints: 30317
370.25/371.42 c #Conflicts: 1266000 | #Constraints: 31317
370.25/371.42 c #Conflicts: 1267000 | #Constraints: 32317
370.25/371.42 c #Conflicts: 1268000 | #Constraints: 33317
370.25/371.42 c #Conflicts: 1269000 | #Constraints: 34317
370.25/371.43 c #Conflicts: 1270000 | #Constraints: 35317
370.25/371.43 c #Conflicts: 1271000 | #Constraints: 36317
370.25/371.43 c #Conflicts: 1272000 | #Constraints: 37317
370.25/371.43 c #Conflicts: 1273000 | #Constraints: 38317
370.25/371.43 c #Conflicts: 1274000 | #Constraints: 39317
370.25/371.43 c #Conflicts: 1275000 | #Constraints: 40317
370.25/371.43 c #Conflicts: 1276000 | #Constraints: 41317
370.25/371.43 c #Conflicts: 1277000 | #Constraints: 42317
370.25/371.43 c #Conflicts: 1278000 | #Constraints: 43317
370.25/371.43 c #Conflicts: 1279000 | #Constraints: 44317
370.25/371.43 c #Conflicts: 1280000 | #Constraints: 45317
370.25/371.43 c INPROCESSING
370.25/371.43 c GARBAGE COLLECT
370.25/371.43 c #Conflicts: 1281000 | #Constraints: 23814
370.25/371.43 c #Conflicts: 1282000 | #Constraints: 24814
370.25/371.43 c #Conflicts: 1283000 | #Constraints: 25814
370.25/371.43 c #Conflicts: 1284000 | #Constraints: 26814
370.25/371.43 c #Conflicts: 1285000 | #Constraints: 27814
370.25/371.43 c #Conflicts: 1286000 | #Constraints: 28814
370.25/371.43 c #Conflicts: 1287000 | #Constraints: 29814
370.25/371.43 c #Conflicts: 1288000 | #Constraints: 30814
370.25/371.43 c #Conflicts: 1289000 | #Constraints: 31814
370.25/371.43 c #Conflicts: 1290000 | #Constraints: 32814
370.25/371.43 c #Conflicts: 1291000 | #Constraints: 33814
370.25/371.43 c #Conflicts: 1292000 | #Constraints: 34814
370.25/371.43 c #Conflicts: 1293000 | #Constraints: 35814
370.25/371.43 c #Conflicts: 1294000 | #Constraints: 36814
370.25/371.43 c #Conflicts: 1295000 | #Constraints: 37814
370.25/371.43 c #Conflicts: 1296000 | #Constraints: 38814
370.25/371.43 c #Conflicts: 1297000 | #Constraints: 39814
370.25/371.43 c #Conflicts: 1298000 | #Constraints: 40814
370.25/371.43 c #Conflicts: 1299000 | #Constraints: 41814
370.25/371.43 c #Conflicts: 1300000 | #Constraints: 42814
370.25/371.43 c #Conflicts: 1301000 | #Constraints: 43814
370.25/371.43 c #Conflicts: 1302000 | #Constraints: 44814
370.25/371.43 c INPROCESSING
370.25/371.43 c GARBAGE COLLECT
370.25/371.43 c #Conflicts: 1303000 | #Constraints: 23112
370.25/371.43 c #Conflicts: 1304000 | #Constraints: 24112
370.25/371.43 c #Conflicts: 1305000 | #Constraints: 25112
370.25/371.43 c #Conflicts: 1306000 | #Constraints: 26112
370.25/371.43 c #Conflicts: 1307000 | #Constraints: 27112
389.49/390.71 c #Conflicts: 1308000 | #Constraints: 28112
389.49/390.71 c #Conflicts: 1309000 | #Constraints: 29112
389.49/390.71 c #Conflicts: 1310000 | #Constraints: 30112
389.49/390.71 c #Conflicts: 1311000 | #Constraints: 31112
389.49/390.71 c #Conflicts: 1312000 | #Constraints: 32112
389.49/390.71 c #Conflicts: 1313000 | #Constraints: 33112
389.49/390.71 c #Conflicts: 1314000 | #Constraints: 34112
389.49/390.71 c #Conflicts: 1315000 | #Constraints: 35112
389.49/390.71 c #Conflicts: 1316000 | #Constraints: 36112
389.49/390.71 c #Conflicts: 1317000 | #Constraints: 37112
389.49/390.71 c #Conflicts: 1318000 | #Constraints: 38112
389.49/390.71 c #Conflicts: 1319000 | #Constraints: 39112
389.49/390.71 c #Conflicts: 1320000 | #Constraints: 40112
389.49/390.71 c #Conflicts: 1321000 | #Constraints: 41112
389.49/390.71 c #Conflicts: 1322000 | #Constraints: 42112
389.49/390.71 c #Conflicts: 1323000 | #Constraints: 43112
389.49/390.71 c #Conflicts: 1324000 | #Constraints: 44112
389.49/390.71 c #Conflicts: 1325000 | #Constraints: 45112
389.49/390.71 c #Conflicts: 1326000 | #Constraints: 46112
389.49/390.71 c INPROCESSING
389.49/390.71 c GARBAGE COLLECT
389.49/390.71 c #Conflicts: 1327000 | #Constraints: 24208
389.49/390.71 c #Conflicts: 1328000 | #Constraints: 25208
389.49/390.71 c #Conflicts: 1329000 | #Constraints: 26208
389.49/390.71 c #Conflicts: 1330000 | #Constraints: 27208
389.49/390.71 c #Conflicts: 1331000 | #Constraints: 28208
389.49/390.71 c #Conflicts: 1332000 | #Constraints: 29208
389.49/390.71 c #Conflicts: 1333000 | #Constraints: 30208
389.49/390.71 c #Conflicts: 1334000 | #Constraints: 31208
389.49/390.71 c #Conflicts: 1335000 | #Constraints: 32208
389.49/390.71 c #Conflicts: 1336000 | #Constraints: 33208
389.49/390.71 c #Conflicts: 1337000 | #Constraints: 34208
389.49/390.71 c #Conflicts: 1338000 | #Constraints: 35208
389.49/390.71 c #Conflicts: 1339000 | #Constraints: 36208
389.49/390.71 c #Conflicts: 1340000 | #Constraints: 37208
389.49/390.71 c #Conflicts: 1341000 | #Constraints: 38208
389.49/390.71 c #Conflicts: 1342000 | #Constraints: 39208
389.49/390.71 c #Conflicts: 1343000 | #Constraints: 40208
389.49/390.71 c #Conflicts: 1344000 | #Constraints: 41208
389.49/390.71 c #Conflicts: 1345000 | #Constraints: 42208
389.49/390.71 c #Conflicts: 1346000 | #Constraints: 43208
389.49/390.71 c #Conflicts: 1347000 | #Constraints: 44208
389.49/390.71 c #Conflicts: 1348000 | #Constraints: 45208
389.49/390.71 c #Conflicts: 1349000 | #Constraints: 46208
389.49/390.71 c INPROCESSING
389.49/390.71 c GARBAGE COLLECT
389.49/390.71 c #Conflicts: 1350000 | #Constraints: 24109
389.49/390.71 c #Conflicts: 1351000 | #Constraints: 25109
389.49/390.71 c #Conflicts: 1352000 | #Constraints: 26109
389.49/390.71 c #Conflicts: 1353000 | #Constraints: 27109
389.49/390.71 c #Conflicts: 1354000 | #Constraints: 28109
389.49/390.71 c #Conflicts: 1355000 | #Constraints: 29109
389.49/390.71 c #Conflicts: 1356000 | #Constraints: 30109
389.49/390.71 c #Conflicts: 1357000 | #Constraints: 31109
389.49/390.71 c #Conflicts: 1358000 | #Constraints: 32109
389.49/390.71 c #Conflicts: 1359000 | #Constraints: 33109
389.49/390.71 c #Conflicts: 1360000 | #Constraints: 34109
389.49/390.71 c #Conflicts: 1361000 | #Constraints: 35109
389.49/390.71 c #Conflicts: 1362000 | #Constraints: 36109
389.49/390.71 c #Conflicts: 1363000 | #Constraints: 37109
389.49/390.71 c #Conflicts: 1364000 | #Constraints: 38109
389.49/390.71 c #Conflicts: 1365000 | #Constraints: 39109
389.49/390.71 c #Conflicts: 1366000 | #Constraints: 40109
389.49/390.71 c #Conflicts: 1367000 | #Constraints: 41109
389.49/390.71 c #Conflicts: 1368000 | #Constraints: 42109
389.49/390.71 c #Conflicts: 1369000 | #Constraints: 43109
389.49/390.71 c #Conflicts: 1370000 | #Constraints: 44109
389.49/390.71 c #Conflicts: 1371000 | #Constraints: 45109
389.49/390.71 c #Conflicts: 1372000 | #Constraints: 46109
389.49/390.71 c INPROCESSING
389.49/390.71 c GARBAGE COLLECT
389.49/390.71 c #Conflicts: 1373000 | #Constraints: 23820
389.49/390.71 c #Conflicts: 1374000 | #Constraints: 24820
389.49/390.71 c #Conflicts: 1375000 | #Constraints: 25820
389.49/390.71 c #Conflicts: 1376000 | #Constraints: 26820
389.49/390.71 c #Conflicts: 1377000 | #Constraints: 27820
389.49/390.71 c #Conflicts: 1378000 | #Constraints: 28820
389.49/390.71 c #Conflicts: 1379000 | #Constraints: 29820
389.49/390.71 c #Conflicts: 1380000 | #Constraints: 30820
389.49/390.71 c #Conflicts: 1381000 | #Constraints: 31820
389.49/390.71 c #Conflicts: 1382000 | #Constraints: 32820
389.49/390.71 c #Conflicts: 1383000 | #Constraints: 33820
389.49/390.71 c #Conflicts: 1384000 | #Constraints: 34820
393.08/394.37 c #Conflicts: 1385000 | #Constraints: 35820
393.08/394.37 c #Conflicts: 1386000 | #Constraints: 36820
393.08/394.37 c #Conflicts: 1387000 | #Constraints: 37820
393.08/394.37 c #Conflicts: 1388000 | #Constraints: 38820
393.08/394.37 c #Conflicts: 1389000 | #Constraints: 39820
393.08/394.37 c #Conflicts: 1390000 | #Constraints: 40820
393.08/394.37 c #Conflicts: 1391000 | #Constraints: 41820
393.08/394.37 c #Conflicts: 1392000 | #Constraints: 42820
393.08/394.37 c #Conflicts: 1393000 | #Constraints: 43820
393.08/394.37 c #Conflicts: 1394000 | #Constraints: 44820
393.08/394.37 c #Conflicts: 1395000 | #Constraints: 45820
393.08/394.37 c GLOBAL bounds 48278 >= 47333 @ 385.033
393.08/394.37 c GLOBAL bounds 48278 >= 47333 @ 385.034
393.28/394.52 c GLOBAL bounds 48278 >= 47333 @ 385.179
393.28/394.52 c GLOBAL bounds 48278 >= 47333 @ 385.18
394.67/395.97 c #Conflicts: 1396000 | #Constraints: 46825
394.67/395.97 c INPROCESSING
394.67/395.97 c GARBAGE COLLECT
394.67/395.97 c #Conflicts: 1397000 | #Constraints: 24325
394.67/395.97 c #Conflicts: 1398000 | #Constraints: 25325
394.67/395.97 c #Conflicts: 1399000 | #Constraints: 26325
394.67/395.97 c #Conflicts: 1400000 | #Constraints: 27325
394.67/395.97 c #Conflicts: 1401000 | #Constraints: 28325
394.67/395.97 c #Conflicts: 1402000 | #Constraints: 29325
394.67/395.97 c #Conflicts: 1403000 | #Constraints: 30325
394.67/395.97 c GLOBAL bounds 48278 >= 47333 @ 386.583
394.67/395.97 c GLOBAL bounds 48278 >= 47333 @ 386.584
394.79/396.07 c GLOBAL bounds 48278 >= 47333 @ 386.675
394.79/396.07 c GLOBAL bounds 47351 >= 47333 @ 386.677
395.07/396.39 c #Conflicts: 1404000 | #Constraints: 31334
395.07/396.39 c #Conflicts: 1405000 | #Constraints: 32334
395.07/396.39 c GLOBAL bounds 47351 >= 47333 @ 386.98
395.07/396.39 c GLOBAL bounds 47342 >= 47333 @ 386.981
407.03/408.31 c #Conflicts: 1406000 | #Constraints: 33338
407.03/408.31 c #Conflicts: 1407000 | #Constraints: 34338
407.03/408.31 c #Conflicts: 1408000 | #Constraints: 35338
407.03/408.31 c #Conflicts: 1409000 | #Constraints: 36338
407.03/408.31 c #Conflicts: 1410000 | #Constraints: 37338
407.03/408.31 c #Conflicts: 1411000 | #Constraints: 38338
407.03/408.31 c #Conflicts: 1412000 | #Constraints: 39338
407.03/408.31 c #Conflicts: 1413000 | #Constraints: 40338
407.03/408.31 c #Conflicts: 1414000 | #Constraints: 41338
407.03/408.31 c #Conflicts: 1415000 | #Constraints: 42338
407.03/408.31 c #Conflicts: 1416000 | #Constraints: 43338
407.03/408.31 c #Conflicts: 1417000 | #Constraints: 44338
407.03/408.31 c #Conflicts: 1418000 | #Constraints: 45338
407.03/408.31 c #Conflicts: 1419000 | #Constraints: 46338
407.03/408.31 c #Conflicts: 1420000 | #Constraints: 47338
407.03/408.31 c INPROCESSING
407.03/408.31 c GARBAGE COLLECT
407.03/408.31 c #Conflicts: 1421000 | #Constraints: 22902
407.03/408.31 c #Conflicts: 1422000 | #Constraints: 23902
407.03/408.31 c #Conflicts: 1423000 | #Constraints: 24902
407.03/408.31 c #Conflicts: 1424000 | #Constraints: 25902
407.03/408.31 c #Conflicts: 1425000 | #Constraints: 26902
407.03/408.31 c #Conflicts: 1426000 | #Constraints: 27902
407.03/408.31 c #Conflicts: 1427000 | #Constraints: 28902
407.03/408.31 c #Conflicts: 1428000 | #Constraints: 29902
407.03/408.31 c #Conflicts: 1429000 | #Constraints: 30902
407.03/408.31 c #Conflicts: 1430000 | #Constraints: 31902
407.03/408.31 c #Conflicts: 1431000 | #Constraints: 32902
407.03/408.31 c #Conflicts: 1432000 | #Constraints: 33902
407.03/408.31 c #Conflicts: 1433000 | #Constraints: 34902
407.03/408.31 c #Conflicts: 1434000 | #Constraints: 35902
407.03/408.31 c #Conflicts: 1435000 | #Constraints: 36902
407.03/408.31 c #Conflicts: 1436000 | #Constraints: 37902
407.03/408.31 c #Conflicts: 1437000 | #Constraints: 38902
407.03/408.31 c #Conflicts: 1438000 | #Constraints: 39902
407.03/408.31 c #Conflicts: 1439000 | #Constraints: 40902
407.03/408.31 c #Conflicts: 1440000 | #Constraints: 41902
407.03/408.31 c #Conflicts: 1441000 | #Constraints: 42902
407.03/408.31 c #Conflicts: 1442000 | #Constraints: 43902
407.03/408.31 c #Conflicts: 1443000 | #Constraints: 44902
407.03/408.31 c #Conflicts: 1444000 | #Constraints: 45902
407.03/408.31 c INPROCESSING
407.03/408.31 c GARBAGE COLLECT
407.03/408.31 c #Conflicts: 1445000 | #Constraints: 19007
407.03/408.31 c #Conflicts: 1446000 | #Constraints: 20007
407.03/408.31 c #Conflicts: 1447000 | #Constraints: 21007
407.03/408.31 c GLOBAL bounds 47342 >= 47342 @ 398.647
407.03/408.31 c cpu time 398.647 s
407.03/408.31 c deterministic time 624500 6.24e+05
407.03/408.31 c optimization time 398.525 s
407.03/408.31 c total solve time 0.106577 s
407.03/408.31 c core-guided solve time 0 s
407.03/408.31 c propagation time 0.069089 s
407.03/408.31 c conflict analysis time 0.003434 s
407.03/408.31 c propagations 78440
407.03/408.31 c resolve steps 0
407.03/408.31 c decisions 89916
407.03/408.31 c conflicts 4
407.03/408.31 c restarts 1
407.03/408.31 c inprocessing phases 0
407.03/408.31 c garbage collections 0 ,( -nan )
407.03/408.31 c input clauses 1919 ,( 96.00 )
407.03/408.31 c input cardinalities 0 ,( 0.00 )
407.03/408.31 c input general constraints 80 ,( 4.00 )
407.03/408.31 c input average constraint length 29.44
407.03/408.31 c input average constraint degree 54163.86
407.03/408.31 c learned clauses 93 ,( 100.00 )
407.03/408.31 c learned cardinalities 0 ,( 0.00 )
407.03/408.31 c learned general constraints 0 ,( 0.00 )
407.03/408.31 c learned average constraint length 30.15
407.03/408.31 c learned average constraint degree 1.00
407.03/408.31 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
407.03/408.31 c counting CF 32, 64, 128, Arb: 81 , 0 , 0 , 0
407.03/408.31 c watched constraints 0 ,( 0.00 )
407.03/408.31 c counting constraints 80 ,( 100.00 )
407.03/408.31 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 45507 , 0 , 35396 ,( 0 , 35396 )
407.03/408.31 c gcd simplifications 0
407.03/408.31 c detected cardinalities 0
407.03/408.31 c weakened non-implied lits 0
407.03/408.31 c weakened non-implying lits 0
407.03/408.31 c original variables 1152
407.03/408.31 c clausal propagations 39311
407.03/408.31 c cardinality propagations 0
407.03/408.31 c watched propagations 0
407.03/408.31 c counting propagations 2984
407.03/408.31 c watch lookups 143668
407.03/408.31 c watch backjump lookups 0
407.03/408.31 c watch checks 92796
407.03/408.31 c propagation checks 42705
407.03/408.31 c constraint additions 8082
407.03/408.31 c trail pops 168355
407.03/408.31 c formula constraints 1774
407.03/408.31 c learned constraints 93
407.03/408.31 c bound constraints 0
407.03/408.31 c core-guided constraints 0
407.03/408.31 c encountered formula constraints 4
407.03/408.31 c encountered learned constraints 0
407.03/408.31 c encountered bound constraints 0
407.03/408.31 c encountered core-guided constraints 0
407.03/408.31 c LP total time 0.062069 s
407.03/408.31 c LP solve time 0.06 s
407.03/408.31 c LP constraints added 1774
407.03/408.31 c LP constraints removed 0
407.03/408.31 c LP pivots internal 0
407.03/408.31 c LP pivots root 537
407.03/408.31 c LP calls 104
407.03/408.31 c LP optimalities 104
407.03/408.31 c LP no pivot count 103
407.03/408.31 c LP infeasibilities 0
407.03/408.31 c LP valid Farkas constraints 0
407.03/408.31 c LP learned Farkas constraints 0
407.03/408.31 c LP basis resets 0
407.03/408.31 c LP cycling count 0
407.03/408.31 c LP singular count 0
407.03/408.31 c LP no primal count 0
407.03/408.31 c LP no farkas count 0
407.03/408.31 c LP other issue count 0
407.03/408.31 c LP Gomory cuts 0
407.03/408.31 c LP learned cuts 0
407.03/408.31 c LP deleted cuts 0
407.03/408.31 c LP encountered Gomory constraints 0
407.03/408.31 c LP encountered Farkas constraints 0
407.03/408.31 c LP encountered learned Farkas constraints 0
407.03/408.31 c CG auxiliary variables introduced 141
407.03/408.31 c CG solutions found 10
407.03/408.31 c CG cores constructed 93
407.03/408.31 c CG core cardinality constraints returned 0
407.03/408.31 c CG unit cores 0
407.03/408.31 c CG single cores 0
407.03/408.31 c CG blocks removed during cardinality reduction 0
407.03/408.31 c CG first core best 0
407.03/408.31 c CG decision core best 0
407.03/408.31 c CG core reduction tie 0
407.03/408.31 c CG core degree average 0.00
407.03/408.31 c CG core slack average 0.00
407.03/408.31 c CG core upper bound improvements 0
407.03/408.31 c STR number of successful calls 0
407.03/408.31 c STR number of unsuccessful calls 0
407.03/408.31 c STR number of inconclusive calls 0
407.03/408.31 c STR number of successful attempts 0
407.03/408.31 c STR number of unsuccessful attempts 0
407.03/408.31 c STR number of inconclusive attempts 0
407.03/408.31 c STR average degree increase per successful call inf
407.03/408.31 c STR average degree increase per successful attempt inf
407.03/408.31 c STR total number of conflicts for successful attempts 0
407.03/408.31 c STR total number of conflicts for unsuccessful attempts 0
407.03/408.31 c STR total number of conflicts for inconclusive attempts 0
407.03/408.31 c STR average number of conflicts per successful attempt inf
407.03/408.31 c STR average number of conflicts per unsuccessful attempt inf
407.03/408.31 c STR average number of conflicts per inconclusive attempt inf
407.03/408.31 c AVG.sumWPerc 98.24
407.03/408.31 c bigint constraints 0
407.03/408.31 o 47342
407.03/408.31 s OPTIMUM FOUND
407.03/408.31 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 (59257 MiB free)
memory of node 1: 64465 MiB (63805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497100-1751396784/watcher-4497100-1751396784 -o /tmp/evaluation-result-4497100-1751396784/solver-4497100-1751396784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760 run-opt.sh HOME/instance-4497100-1751396784.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56710, runsolver pid=56707
[startup+0.100067 s]*
/proc/loadavg: 3.54 4.09 4.10 5/255 56712
/proc/meminfo: memFree=126011472/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=64060 memory=13976 CPUtime=0.09 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 1657 0 0 0 6 3 0 0 20 0 1 0 55357547 65597440 3494 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 16015 3494 2336 1147 0 3442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68252 KiB
Current children cumulated memory: 16920 KiB
[startup+0.213431 s]*
/proc/loadavg: 3.54 4.09 4.10 5/255 56712
/proc/meminfo: memFree=126006620/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=64588 memory=15000 CPUtime=0.19 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 1869 0 0 0 13 6 0 0 20 0 1 0 55357547 66138112 3750 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 16147 3750 2368 1147 0 3574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68780 KiB
Current children cumulated memory: 17944 KiB
[startup+0.313112 s]*
/proc/loadavg: 3.54 4.09 4.10 5/255 56712
/proc/meminfo: memFree=126005612/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=65380 memory=16024 CPUtime=0.3 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 2131 0 0 0 23 7 0 0 20 0 1 0 55357547 66949120 4006 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 16345 4006 2368 1147 0 3772 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69572 KiB
Current children cumulated memory: 18968 KiB
[startup+0.700327 s]
/proc/loadavg: 3.58 4.09 4.10 5/255 56712
/proc/meminfo: memFree=125997924/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=67524 memory=18968 CPUtime=0.67 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 2873 0 0 0 58 9 0 0 20 0 1 0 55357547 69144576 4742 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 16881 4742 2368 1147 0 4308 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71716 KiB
Current children cumulated memory: 21912 KiB
[startup+1.50037 s]
/proc/loadavg: 3.58 4.09 4.10 5/255 56712
/proc/meminfo: memFree=125991812/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=70924 memory=24052 CPUtime=1.47 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 3624 0 0 0 134 13 0 0 20 0 1 0 55357547 72626176 6013 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 17731 6013 2368 1147 0 5158 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75116 KiB
Current children cumulated memory: 26996 KiB
[startup+3.11282 s]
/proc/loadavg: 3.58 4.09 4.10 5/255 56712
/proc/meminfo: memFree=125943088/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=72536 memory=25716 CPUtime=3.07 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 4048 0 0 0 291 16 0 0 20 0 1 0 55357547 74276864 6429 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 18134 6429 2368 1147 0 5561 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 76728 KiB
Current children cumulated memory: 28660 KiB
[startup+6.30031 s]
/proc/loadavg: 3.61 4.08 4.10 5/255 56712
/proc/meminfo: memFree=125845812/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=100620 memory=51520 CPUtime=6.26 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 9482 0 0 0 592 34 0 0 20 0 1 0 55357547 103034880 12880 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 25155 12880 2368 1147 0 12582 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 104812 KiB
Current children cumulated memory: 54464 KiB
[startup+12.7003 s]
/proc/loadavg: 3.64 4.08 4.09 6/255 56758
/proc/meminfo: memFree=125773408/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=116696 memory=63484 CPUtime=12.64 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 11447 0 0 0 1201 63 0 0 20 0 1 0 55357547 119496704 15871 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 29174 15871 2368 1147 0 16601 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 120888 KiB
Current children cumulated memory: 66428 KiB
[startup+25.5004 s]
/proc/loadavg: 3.77 4.10 4.10 6/255 56759
/proc/meminfo: memFree=125666804/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=119168 memory=66044 CPUtime=25.41 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 12110 0 0 0 2430 111 0 0 20 0 1 0 55357547 122028032 16511 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 29792 16511 2368 1147 0 17219 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 123360 KiB
Current children cumulated memory: 68988 KiB
[startup+51.1131 s]
/proc/loadavg: 3.86 4.08 4.09 6/255 56759
/proc/meminfo: memFree=125399676/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=153888 memory=93184 CPUtime=50.94 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 17342 0 0 0 4918 176 0 0 20 0 1 0 55357547 157581312 23296 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 38472 23296 2368 1147 0 25899 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 158080 KiB
Current children cumulated memory: 96128 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.08 4.09 6/255 56806
/proc/meminfo: memFree=125123192/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=185440 memory=127352 CPUtime=101.98 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 23842 0 0 0 9914 284 0 0 20 0 1 0 55357547 189890560 31838 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 46360 31838 2368 1147 0 33787 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 189632 KiB
Current children cumulated memory: 130296 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/255 56808
/proc/meminfo: memFree=124874248/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=217720 memory=138488 CPUtime=161.8 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 26644 0 0 0 15771 409 0 0 20 0 1 0 55357547 222945280 34622 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 54430 34622 2368 1147 0 41857 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 221912 KiB
Current children cumulated memory: 141432 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56810
/proc/meminfo: memFree=124682904/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=226324 memory=150924 CPUtime=221.62 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 28747 0 0 0 21640 522 0 0 20 0 1 0 55357547 231755776 37731 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 56581 37731 2368 1147 0 44008 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 230516 KiB
Current children cumulated memory: 153868 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/254 56812
/proc/meminfo: memFree=124574956/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=233004 memory=160748 CPUtime=281.42 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 30676 0 0 0 27534 608 0 0 20 0 1 0 55357547 238596096 40187 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 58251 40187 2368 1147 0 45678 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 237196 KiB
Current children cumulated memory: 163692 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/253 56814
/proc/meminfo: memFree=124432240/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=234132 memory=162028 CPUtime=341.24 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 31000 0 0 0 33418 706 0 0 20 0 1 0 55357547 239751168 40507 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 58533 40507 2368 1147 0 45960 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 238324 KiB
Current children cumulated memory: 164972 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124281532/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178740 CPUtime=401.06 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34164 0 0 0 39274 832 0 0 20 0 1 0 55357547 252624896 44685 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44685 2368 1147 0 49103 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181684 KiB
[startup+408.321 s]
# the end of solver process 56710 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=398.652 s, system=8.42065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+403.2 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124269372/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178740 CPUtime=401.95 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34164 0 0 0 39362 833 0 0 20 0 1 0 55357547 252624896 44685 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44685 2368 1147 0 49103 0
Current children cumulated CPU time: 401.95 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181684 KiB
[startup+406.4 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124252404/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178740 CPUtime=405.14 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34175 0 0 0 39677 837 0 0 20 0 1 0 55357547 252624896 44685 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44685 2368 1147 0 49103 0
Current children cumulated CPU time: 405.14 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181684 KiB
[startup+407.2 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124252524/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178740 CPUtime=405.94 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34185 0 0 0 39756 838 0 0 20 0 1 0 55357547 252624896 44685 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44685 2368 1147 0 49103 0
Current children cumulated CPU time: 405.94 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181684 KiB
[startup+408 s]*
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124252776/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178868 CPUtime=406.75 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34196 0 0 0 39835 840 0 0 20 0 1 0 55357547 252624896 44717 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44717 2368 1147 0 49103 0
Current children cumulated CPU time: 406.75 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181812 KiB
[startup+408.2 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124252776/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178868 CPUtime=406.94 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34196 0 0 0 39854 840 0 0 20 0 1 0 55357547 252624896 44717 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44717 2368 1147 0 49103 0
Current children cumulated CPU time: 406.94 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181812 KiB
[startup+408.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/254 56819
/proc/meminfo: memFree=124252776/131382116 swapFree=33010160/33010684
[pid=56710] ppid=56707 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/56710/stat : 56710 (run-opt.sh) S 56707 56710 56593 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 55357546 4292608 736 18446744073709551615 94320580784128 94320581678661 140736621637664 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94320581917712 94320581965456 94320593244160 140736621644141 140736621644264 140736621644264 140736621649866 0
/proc/56710/statm: 1048 736 672 219 0 110 0
[pid=56712] ppid=56710 vsize=246704 memory=178868 CPUtime=407.03 cores=1,3
/proc/56712/stat : 56712 (roundingsat) R 56710 56710 56593 0 -1 4194304 34196 0 0 0 39863 840 0 0 20 0 1 0 55357547 252624896 44717 18446744073709551615 4227072 8923433 140734386400576 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11223040 140734386403746 140734386403880 140734386403880 140734386409450 0
/proc/56712/statm: 61676 44717 2368 1147 0 49103 0
Current children cumulated CPU time: 407.03 s
Current children cumulated vsize: 250896 KiB
Current children cumulated memory: 181812 KiB
Child status: 0
Real time (s): 408.321
CPU time (s): 407.073
CPU user time (s): 398.652
CPU system time (s): 8.42065
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 250896
Max. memory (cumulated for all children) (KiB): 181812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.652
system time used= 8.42065
maximum resident set size= 178868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 423
# summary of solver processes directly reported to runsolver:
# pid: 56710
# total CPU time (s): 407.073
# total CPU user time (s): 398.652
# total CPU system time (s): 8.42065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.01059 second user time and 4.2157 second system time
The end
Begin job on nodeC004 at 2025-07-01 21:06:24
IDJOB=4497100
IDBENCH=148153
IDSOLVER=3350
FILE ID=nodeC004/4497100-1751396784
RUNJOBID= nodeC004-1751396781-56605
SLURM_JOB_ID= 9598272
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497100-1751396784/watcher-4497100-1751396784 -o /tmp/evaluation-result-4497100-1751396784/solver-4497100-1751396784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751396781-56605 --watchdog 3760 run-opt.sh HOME/instance-4497100-1751396784.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cc2b167b604094044d9d141ee486a126
RANDOM SEED=495337209
nodeC004 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 : 3092.813
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.429
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.74
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.437
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
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.74
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 : 2993.032
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.74
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.873
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.74
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.315
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.74
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126016764 kB
MemAvailable: 129796648 kB
Buffers: 2720 kB
Cached: 4530600 kB
SwapCached: 20 kB
Active: 524984 kB
Inactive: 4204824 kB
Active(anon): 208260 kB
Inactive(anon): 6188 kB
Active(file): 316724 kB
Inactive(file): 4198636 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31476 kB
Writeback: 0 kB
AnonPages: 199656 kB
Mapped: 116280 kB
Shmem: 17956 kB
KReclaimable: 208300 kB
Slab: 293488 kB
SReclaimable: 208300 kB
SUnreclaim: 85188 kB
KernelStack: 4096 kB
PageTables: 3576 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 556900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-07-01 21:13:12