0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
2.04/3.26 c #variables 79993 #constraints 307974
2.04/3.26 c objective is ce32
2.14/3.34 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.14/3.34 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.14/3.34 c GLOBAL bounds - >= 0 @ 1.87265
2.24/3.42 c GLOBAL bounds - >= 0 @ 1.89982
2.24/3.42 c GLOBAL bounds - >= 346 @ 1.90071
3.23/4.48 c GLOBAL bounds - >= 346 @ 2.90261
3.34/4.56 c GLOBAL bounds - >= 346 @ 2.93335
3.34/4.56 c GLOBAL bounds - >= 346 @ 2.93573
3.44/4.64 c GLOBAL bounds - >= 346 @ 2.97186
3.44/4.65 c GLOBAL bounds - >= 346 @ 2.97361
3.53/4.73 c GLOBAL bounds - >= 346 @ 3.00341
3.53/4.73 c GLOBAL bounds - >= 346 @ 3.00447
3.63/4.81 c GLOBAL bounds - >= 346 @ 3.04071
3.63/4.82 c GLOBAL bounds - >= 346 @ 3.04434
3.63/4.89 c GLOBAL bounds - >= 346 @ 3.07088
3.73/4.90 c GLOBAL bounds - >= 346 @ 3.07262
3.73/4.98 c GLOBAL bounds - >= 346 @ 3.10643
3.73/4.98 c GLOBAL bounds - >= 346 @ 3.10935
3.83/5.06 c GLOBAL bounds - >= 346 @ 3.14203
3.83/5.07 c GLOBAL bounds - >= 346 @ 3.14494
3.94/5.15 c GLOBAL bounds - >= 346 @ 3.18468
3.94/5.15 c GLOBAL bounds - >= 346 @ 3.18784
4.03/5.23 c GLOBAL bounds - >= 346 @ 3.22282
4.03/5.24 c GLOBAL bounds - >= 346 @ 3.22593
4.13/5.32 c GLOBAL bounds - >= 346 @ 3.26188
4.23/5.40 c GLOBAL bounds - >= 346 @ 3.30232
4.23/5.48 c GLOBAL bounds - >= 346 @ 3.34074
4.33/5.50 c GLOBAL bounds - >= 3074 @ 3.35858
4.33/5.51 c GLOBAL bounds - >= 3074 @ 3.3694
4.33/5.52 c GLOBAL bounds - >= 3074 @ 3.37031
4.33/5.59 c GLOBAL bounds - >= 3074 @ 3.39857
4.43/5.60 c GLOBAL bounds - >= 3074 @ 3.40188
4.43/5.68 c GLOBAL bounds - >= 3074 @ 3.43715
4.43/5.68 c GLOBAL bounds - >= 3074 @ 3.43958
4.53/5.76 c GLOBAL bounds - >= 3074 @ 3.47164
4.53/5.77 c GLOBAL bounds - >= 3074 @ 3.47524
4.63/5.85 c GLOBAL bounds - >= 3074 @ 3.5071
4.63/5.85 c GLOBAL bounds - >= 3074 @ 3.50789
4.73/5.93 c GLOBAL bounds - >= 3074 @ 3.54878
4.73/5.94 c GLOBAL bounds - >= 3074 @ 3.55248
4.83/6.02 c GLOBAL bounds - >= 3074 @ 3.59029
4.83/6.02 c GLOBAL bounds - >= 3074 @ 3.59268
4.93/6.10 c GLOBAL bounds - >= 3074 @ 3.62186
4.93/6.11 c GLOBAL bounds - >= 3074 @ 3.62555
4.93/6.19 c GLOBAL bounds - >= 3074 @ 3.65182
5.03/6.20 c GLOBAL bounds - >= 3074 @ 3.65396
5.03/6.28 c GLOBAL bounds - >= 3074 @ 3.68882
5.03/6.28 c GLOBAL bounds - >= 3074 @ 3.69193
5.12/6.36 c GLOBAL bounds - >= 3074 @ 3.72486
5.22/6.44 c GLOBAL bounds - >= 3074 @ 3.75045
5.33/6.52 c GLOBAL bounds - >= 3074 @ 3.78651
5.43/6.60 c GLOBAL bounds - >= 3074 @ 3.81694
5.43/6.69 c GLOBAL bounds - >= 3074 @ 3.84929
5.53/6.77 c GLOBAL bounds - >= 3074 @ 3.88975
5.63/6.81 c GLOBAL bounds - >= 5120 @ 3.92405
5.63/6.83 c GLOBAL bounds - >= 5120 @ 3.93369
5.63/6.83 c GLOBAL bounds - >= 5120 @ 3.9373
5.72/6.91 c GLOBAL bounds - >= 5120 @ 3.96816
5.72/6.91 c GLOBAL bounds - >= 5120 @ 3.97126
5.72/6.99 c GLOBAL bounds - >= 5120 @ 3.99698
5.72/6.99 c GLOBAL bounds - >= 5120 @ 4.00254
5.83/7.07 c GLOBAL bounds - >= 5120 @ 4.02626
5.83/7.08 c GLOBAL bounds - >= 5120 @ 4.0302
5.93/7.15 c GLOBAL bounds - >= 5120 @ 4.0575
5.93/7.16 c GLOBAL bounds - >= 5120 @ 4.05936
6.03/7.24 c GLOBAL bounds - >= 5120 @ 4.09301
6.03/7.24 c GLOBAL bounds - >= 5120 @ 4.09849
6.13/7.32 c GLOBAL bounds - >= 5120 @ 4.1343
6.13/7.33 c GLOBAL bounds - >= 5120 @ 4.13768
6.23/7.41 c GLOBAL bounds - >= 5120 @ 4.17149
6.23/7.42 c GLOBAL bounds - >= 5120 @ 4.17757
6.32/7.50 c GLOBAL bounds - >= 5120 @ 4.21407
6.32/7.51 c GLOBAL bounds - >= 5120 @ 4.21796
6.32/7.59 c GLOBAL bounds - >= 5120 @ 4.243
6.43/7.60 c GLOBAL bounds - >= 5120 @ 4.24668
6.43/7.68 c GLOBAL bounds - >= 5120 @ 4.27682
6.53/7.76 c GLOBAL bounds - >= 5120 @ 4.31441
6.62/7.85 c GLOBAL bounds - >= 5120 @ 4.35715
6.73/7.96 c GLOBAL bounds - >= 5120 @ 4.41942
6.83/8.05 c GLOBAL bounds - >= 5120 @ 4.47079
6.94/8.15 c GLOBAL bounds - >= 5120 @ 4.51645
7.02/8.25 c GLOBAL bounds - >= 5120 @ 4.58161
7.13/8.31 c GLOBAL bounds - >= 6826 @ 4.6302
7.13/8.33 c GLOBAL bounds - >= 6826 @ 4.646
7.22/8.40 c GLOBAL bounds - >= 6826 @ 4.67875
7.22/8.41 c GLOBAL bounds - >= 6826 @ 4.68175
7.22/8.49 c GLOBAL bounds - >= 6826 @ 4.70973
7.33/8.50 c GLOBAL bounds - >= 6826 @ 4.7148
7.33/8.58 c GLOBAL bounds - >= 6826 @ 4.74565
7.33/8.59 c GLOBAL bounds - >= 6826 @ 4.75258
7.42/8.67 c GLOBAL bounds - >= 6826 @ 4.7872
7.42/8.68 c GLOBAL bounds - >= 6826 @ 4.7903
7.52/8.77 c GLOBAL bounds - >= 6826 @ 4.82413
7.52/8.78 c GLOBAL bounds - >= 6826 @ 4.83337
7.62/8.86 c GLOBAL bounds - >= 6826 @ 4.86412
7.62/8.88 c GLOBAL bounds - >= 6826 @ 4.872
7.73/8.96 c GLOBAL bounds - >= 6826 @ 4.90548
7.73/8.97 c GLOBAL bounds - >= 6826 @ 4.91039
7.83/9.06 c GLOBAL bounds - >= 6826 @ 4.94103
7.83/9.07 c GLOBAL bounds - >= 6826 @ 4.94409
7.93/9.15 c GLOBAL bounds - >= 6826 @ 4.97797
7.93/9.16 c GLOBAL bounds - >= 6826 @ 4.98244
8.02/9.25 c GLOBAL bounds - >= 6826 @ 5.02129
8.12/9.36 c GLOBAL bounds - >= 6826 @ 5.08638
8.22/9.48 c GLOBAL bounds - >= 6826 @ 5.15274
8.32/9.55 c GLOBAL bounds - >= 9214 @ 5.22165
8.32/9.59 c GLOBAL bounds - >= 9214 @ 5.25009
8.42/9.67 c GLOBAL bounds - >= 9214 @ 5.27383
8.42/9.68 c GLOBAL bounds - >= 9214 @ 5.27799
8.52/9.76 c GLOBAL bounds - >= 9214 @ 5.30237
8.52/9.77 c GLOBAL bounds - >= 9214 @ 5.30727
8.62/9.85 c GLOBAL bounds - >= 9214 @ 5.34116
8.62/9.87 c GLOBAL bounds - >= 9214 @ 5.34696
8.72/9.95 c GLOBAL bounds - >= 9214 @ 5.3766
8.72/9.96 c GLOBAL bounds - >= 9214 @ 5.38221
8.83/10.05 c GLOBAL bounds - >= 9214 @ 5.41757
8.83/10.06 c GLOBAL bounds - >= 9214 @ 5.425
8.93/10.14 c GLOBAL bounds - >= 9214 @ 5.45946
8.93/10.16 c GLOBAL bounds - >= 9214 @ 5.46693
9.02/10.24 c GLOBAL bounds - >= 9214 @ 5.49631
9.02/10.25 c GLOBAL bounds - >= 9214 @ 5.50013
9.12/10.34 c GLOBAL bounds - >= 9214 @ 5.53819
9.12/10.35 c GLOBAL bounds - >= 9214 @ 5.54411
9.22/10.43 c GLOBAL bounds - >= 9214 @ 5.58207
9.22/10.45 c GLOBAL bounds - >= 9214 @ 5.58814
9.32/10.53 c GLOBAL bounds - >= 9214 @ 5.62363
9.42/10.64 c GLOBAL bounds - >= 9214 @ 5.6616
9.52/10.77 c GLOBAL bounds - >= 9214 @ 5.73748
9.72/10.92 c GLOBAL bounds - >= 9214 @ 5.82927
9.82/11.05 c GLOBAL bounds - >= 9214 @ 5.9058
9.92/11.17 c GLOBAL bounds - >= 9214 @ 5.97068
10.12/11.30 c GLOBAL bounds - >= 9214 @ 6.0357
10.22/11.42 c GLOBAL bounds - >= 9214 @ 6.11459
10.22/11.49 c GLOBAL bounds - >= 10578 @ 6.17777
10.32/11.51 c GLOBAL bounds - >= 10578 @ 6.1914
10.32/11.52 c GLOBAL bounds - >= 10578 @ 6.19432
10.32/11.53 c GLOBAL bounds - >= 10578 @ 6.20201
10.42/11.61 c GLOBAL bounds - >= 10578 @ 6.22727
10.42/11.62 c GLOBAL bounds - >= 10578 @ 6.23284
10.52/11.71 c GLOBAL bounds - >= 10578 @ 6.26654
10.52/11.72 c GLOBAL bounds - >= 10578 @ 6.26943
10.62/11.80 c GLOBAL bounds - >= 10578 @ 6.29004
10.62/11.81 c GLOBAL bounds - >= 10578 @ 6.29872
10.72/11.90 c GLOBAL bounds - >= 10578 @ 6.33493
10.72/11.91 c GLOBAL bounds - >= 10578 @ 6.3401
10.72/11.99 c GLOBAL bounds - >= 10578 @ 6.37689
10.82/12.01 c GLOBAL bounds - >= 10578 @ 6.38258
10.82/12.09 c GLOBAL bounds - >= 10578 @ 6.41119
10.92/12.10 c GLOBAL bounds - >= 10578 @ 6.41687
10.92/12.18 c GLOBAL bounds - >= 10578 @ 6.45032
11.01/12.20 c GLOBAL bounds - >= 10578 @ 6.45571
11.01/12.28 c GLOBAL bounds - >= 10578 @ 6.48257
11.01/12.29 c GLOBAL bounds - >= 10578 @ 6.49026
11.12/12.38 c GLOBAL bounds - >= 10578 @ 6.518
11.12/12.39 c GLOBAL bounds - >= 10578 @ 6.5269
11.21/12.47 c GLOBAL bounds - >= 10578 @ 6.56083
11.31/12.55 c GLOBAL bounds - >= 10578 @ 6.59364
11.41/12.63 c GLOBAL bounds - >= 10578 @ 6.62326
11.51/12.71 c GLOBAL bounds - >= 10578 @ 6.65224
11.61/12.85 c GLOBAL bounds - >= 10578 @ 6.74074
11.72/12.99 c GLOBAL bounds - >= 10578 @ 6.83506
11.92/13.14 c GLOBAL bounds - >= 10578 @ 6.92718
12.02/13.25 c GLOBAL bounds - >= 11262 @ 7.01355
12.02/13.28 c GLOBAL bounds - >= 11262 @ 7.03489
12.02/13.29 c GLOBAL bounds - >= 11262 @ 7.03686
12.11/13.37 c GLOBAL bounds - >= 11262 @ 7.06252
12.11/13.38 c GLOBAL bounds - >= 11262 @ 7.07126
12.21/13.47 c GLOBAL bounds - >= 11262 @ 7.10675
12.21/13.48 c GLOBAL bounds - >= 11262 @ 7.11171
12.32/13.57 c GLOBAL bounds - >= 11262 @ 7.15063
12.32/13.59 c GLOBAL bounds - >= 11262 @ 7.15836
12.41/13.67 c GLOBAL bounds - >= 11262 @ 7.18721
12.41/13.68 c GLOBAL bounds - >= 11262 @ 7.19418
12.51/13.76 c GLOBAL bounds - >= 11262 @ 7.22291
12.51/13.78 c GLOBAL bounds - >= 11262 @ 7.23529
12.61/13.86 c GLOBAL bounds - >= 11262 @ 7.26997
12.61/13.87 c GLOBAL bounds - >= 11262 @ 7.27437
12.71/13.96 c GLOBAL bounds - >= 11262 @ 7.31494
12.71/13.97 c GLOBAL bounds - >= 11262 @ 7.32263
12.82/14.05 c GLOBAL bounds - >= 11262 @ 7.35967
12.82/14.07 c GLOBAL bounds - >= 11262 @ 7.36504
12.92/14.15 c GLOBAL bounds - >= 11262 @ 7.40365
12.92/14.16 c GLOBAL bounds - >= 11262 @ 7.40992
13.01/14.25 c GLOBAL bounds - >= 11262 @ 7.43952
13.11/14.33 c GLOBAL bounds - >= 11262 @ 7.46978
13.21/14.40 c GLOBAL bounds - >= 11262 @ 7.49768
13.21/14.49 c GLOBAL bounds - >= 11262 @ 7.5221
13.31/14.56 c GLOBAL bounds - >= 11262 @ 7.54971
13.41/14.67 c GLOBAL bounds - >= 11262 @ 7.60622
13.61/14.85 c GLOBAL bounds - >= 11262 @ 7.7308
13.92/15.11 c GLOBAL bounds - >= 11262 @ 7.92709
14.01/15.25 c GLOBAL bounds - >= 11262 @ 8.02501
14.10/15.33 c GLOBAL bounds - >= 12285 @ 8.10163
14.10/15.36 c GLOBAL bounds - >= 12285 @ 8.1313
14.10/15.37 c GLOBAL bounds - >= 12285 @ 8.13807
14.10/15.38 c GLOBAL bounds - >= 12285 @ 8.14129
14.10/15.39 c GLOBAL bounds - >= 12285 @ 8.14617
14.21/15.40 c GLOBAL bounds - >= 12285 @ 8.14924
14.21/15.42 c GLOBAL bounds - >= 12285 @ 8.15221
14.31/15.54 c GLOBAL bounds - >= 12285 @ 8.23672
14.31/15.55 c GLOBAL bounds - >= 12285 @ 8.24291
14.41/15.64 c GLOBAL bounds - >= 12285 @ 8.27229
14.41/15.65 c GLOBAL bounds - >= 12285 @ 8.27801
14.51/15.73 c GLOBAL bounds - >= 12285 @ 8.30266
14.51/15.74 c GLOBAL bounds - >= 12285 @ 8.30675
14.61/15.82 c GLOBAL bounds - >= 12285 @ 8.33064
14.61/15.83 c GLOBAL bounds - >= 12285 @ 8.33711
14.71/15.91 c GLOBAL bounds - >= 12285 @ 8.36868
14.71/15.93 c GLOBAL bounds - >= 12285 @ 8.37368
14.81/16.01 c GLOBAL bounds - >= 12285 @ 8.40454
14.81/16.02 c GLOBAL bounds - >= 12285 @ 8.41217
14.91/16.11 c GLOBAL bounds - >= 12285 @ 8.44118
14.91/16.12 c GLOBAL bounds - >= 12285 @ 8.4464
15.01/16.20 c GLOBAL bounds - >= 12285 @ 8.47953
15.01/16.22 c GLOBAL bounds - >= 12285 @ 8.48738
15.11/16.30 c GLOBAL bounds - >= 12285 @ 8.5164
15.11/16.32 c GLOBAL bounds - >= 12285 @ 8.52179
15.20/16.40 c GLOBAL bounds - >= 12285 @ 8.55077
15.20/16.48 c GLOBAL bounds - >= 12285 @ 8.57995
15.30/16.56 c GLOBAL bounds - >= 12285 @ 8.60376
15.41/16.64 c GLOBAL bounds - >= 12285 @ 8.63321
15.51/16.74 c GLOBAL bounds - >= 12285 @ 8.69066
15.60/16.84 c GLOBAL bounds - >= 12285 @ 8.73134
15.71/16.94 c GLOBAL bounds - >= 12285 @ 8.77863
15.81/17.05 c GLOBAL bounds - >= 12285 @ 8.83672
15.91/17.14 c GLOBAL bounds - >= 12285 @ 8.87288
16.01/17.25 c GLOBAL bounds - >= 12285 @ 8.94354
16.11/17.34 c GLOBAL bounds - >= 12285 @ 8.98869
16.60/17.81 c GLOBAL bounds - >= 12289 @ 9.43598
16.60/17.83 c GLOBAL bounds - >= 12289 @ 9.45457
16.60/17.85 c GLOBAL bounds - >= 12289 @ 9.46196
16.60/17.86 c GLOBAL bounds - >= 12289 @ 9.4686
17.70/18.91 c #Conflicts: 1000 | #Constraints: 1311
17.70/18.91 c GLOBAL bounds - >= 12289 @ 10.4067
17.70/18.92 c GLOBAL bounds - >= 12289 @ 10.4124
17.81/19.00 c GLOBAL bounds - >= 12289 @ 10.4412
17.81/19.02 c GLOBAL bounds - >= 12289 @ 10.45
17.91/19.15 c GLOBAL bounds - >= 12289 @ 10.5228
17.91/19.16 c GLOBAL bounds - >= 12289 @ 10.5303
18.20/19.45 c GLOBAL bounds - >= 12289 @ 10.7615
18.20/19.47 c GLOBAL bounds - >= 12289 @ 10.7646
18.30/19.55 c GLOBAL bounds - >= 12289 @ 10.7966
18.30/19.56 c GLOBAL bounds - >= 12289 @ 10.8007
18.40/19.65 c GLOBAL bounds - >= 12289 @ 10.8318
18.40/19.66 c GLOBAL bounds - >= 12289 @ 10.8385
18.50/19.74 c GLOBAL bounds - >= 12289 @ 10.8725
18.50/19.75 c GLOBAL bounds - >= 12289 @ 10.8795
18.60/19.83 c GLOBAL bounds - >= 12289 @ 10.9092
18.60/19.85 c GLOBAL bounds - >= 12289 @ 10.9144
18.70/19.93 c GLOBAL bounds - >= 12289 @ 10.9492
18.70/19.94 c GLOBAL bounds - >= 12289 @ 10.956
18.81/20.03 c GLOBAL bounds - >= 12289 @ 10.9893
18.90/20.11 c GLOBAL bounds - >= 12289 @ 11.0212
19.00/20.20 c GLOBAL bounds - >= 12289 @ 11.0579
19.00/20.28 c GLOBAL bounds - >= 12289 @ 11.0858
19.10/20.36 c GLOBAL bounds - >= 12289 @ 11.1082
19.30/20.55 c GLOBAL bounds - >= 12289 @ 11.2408
19.40/20.64 c GLOBAL bounds - >= 12289 @ 11.2811
19.50/20.73 c GLOBAL bounds - >= 12289 @ 11.3195
177.83/179.44 c #Conflicts: 2000 | #Constraints: 2345
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 3000 | #Constraints: 2333
177.83/179.44 c #Conflicts: 4000 | #Constraints: 3333
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 5000 | #Constraints: 2750
177.83/179.44 c #Conflicts: 6000 | #Constraints: 3750
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 7000 | #Constraints: 2768
177.83/179.44 c #Conflicts: 8000 | #Constraints: 3768
177.83/179.44 c #Conflicts: 9000 | #Constraints: 4768
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 10000 | #Constraints: 3479
177.83/179.44 c #Conflicts: 11000 | #Constraints: 4479
177.83/179.44 c #Conflicts: 12000 | #Constraints: 5479
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 13000 | #Constraints: 3935
177.83/179.44 c #Conflicts: 14000 | #Constraints: 4935
177.83/179.44 c #Conflicts: 15000 | #Constraints: 5935
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 16000 | #Constraints: 4165
177.83/179.44 c #Conflicts: 17000 | #Constraints: 5165
177.83/179.44 c #Conflicts: 18000 | #Constraints: 6165
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 19000 | #Constraints: 4183
177.83/179.44 c #Conflicts: 20000 | #Constraints: 5183
177.83/179.44 c #Conflicts: 21000 | #Constraints: 6183
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 22000 | #Constraints: 3982
177.83/179.44 c #Conflicts: 23000 | #Constraints: 4982
177.83/179.44 c #Conflicts: 24000 | #Constraints: 5982
177.83/179.44 c #Conflicts: 25000 | #Constraints: 6982
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 26000 | #Constraints: 4584
177.83/179.44 c #Conflicts: 27000 | #Constraints: 5584
177.83/179.44 c #Conflicts: 28000 | #Constraints: 6584
177.83/179.44 c #Conflicts: 29000 | #Constraints: 7584
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 30000 | #Constraints: 4993
177.83/179.44 c #Conflicts: 31000 | #Constraints: 5993
177.83/179.44 c #Conflicts: 32000 | #Constraints: 6993
177.83/179.44 c #Conflicts: 33000 | #Constraints: 7993
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 34000 | #Constraints: 5192
177.83/179.44 c #Conflicts: 35000 | #Constraints: 6192
177.83/179.44 c #Conflicts: 36000 | #Constraints: 7192
177.83/179.44 c #Conflicts: 37000 | #Constraints: 8192
177.83/179.44 c INPROCESSING
177.83/179.44 c GARBAGE COLLECT
177.83/179.44 c #Conflicts: 38000 | #Constraints: 5192
177.83/179.44 c GLOBAL bounds - >= 12291 @ 166.868
177.83/179.47 c GLOBAL bounds - >= 12291 @ 166.885
177.83/179.48 c GLOBAL bounds - >= 12291 @ 166.889
177.83/179.49 c GLOBAL bounds - >= 12291 @ 166.892
177.92/179.57 c GLOBAL bounds - >= 12291 @ 166.923
177.92/179.58 c GLOBAL bounds - >= 12291 @ 166.932
178.03/179.67 c GLOBAL bounds - >= 12291 @ 166.97
178.03/179.68 c GLOBAL bounds - >= 12291 @ 166.974
178.12/179.76 c GLOBAL bounds - >= 12291 @ 167.005
178.12/179.78 c GLOBAL bounds - >= 12291 @ 167.014
178.22/179.86 c GLOBAL bounds - >= 12291 @ 167.049
178.22/179.87 c GLOBAL bounds - >= 12291 @ 167.053
178.32/179.96 c GLOBAL bounds - >= 12291 @ 167.082
178.32/179.97 c GLOBAL bounds - >= 12291 @ 167.086
178.43/180.05 c GLOBAL bounds - >= 12291 @ 167.124
178.43/180.07 c GLOBAL bounds - >= 12291 @ 167.13
178.53/180.15 c GLOBAL bounds - >= 12291 @ 167.166
178.53/180.16 c GLOBAL bounds - >= 12291 @ 167.174
178.62/180.25 c GLOBAL bounds - >= 12291 @ 167.203
178.62/180.26 c GLOBAL bounds - >= 12291 @ 167.213
178.72/180.35 c GLOBAL bounds - >= 12291 @ 167.244
178.72/180.36 c GLOBAL bounds - >= 12291 @ 167.249
178.82/180.44 c GLOBAL bounds - >= 12291 @ 167.285
178.92/180.52 c GLOBAL bounds - >= 12291 @ 167.32
179.02/180.61 c GLOBAL bounds - >= 12291 @ 167.357
179.12/180.71 c GLOBAL bounds - >= 12291 @ 167.409
179.22/180.87 c GLOBAL bounds - >= 12291 @ 167.516
179.32/181.00 c GLOBAL bounds - >= 12291 @ 167.59
179.62/181.22 c GLOBAL bounds - >= 12291 @ 167.766
181.52/183.12 c #Conflicts: 39000 | #Constraints: 6244
181.52/183.12 c GLOBAL bounds - >= 12291 @ 169.584
181.82/183.46 c GLOBAL bounds - >= 12291 @ 169.871
201.86/203.50 c #Conflicts: 40000 | #Constraints: 7244
201.86/203.50 c #Conflicts: 41000 | #Constraints: 8244
201.86/203.50 c INPROCESSING
201.86/203.50 c GARBAGE COLLECT
201.86/203.50 c #Conflicts: 42000 | #Constraints: 5011
201.86/203.50 c #Conflicts: 43000 | #Constraints: 6011
201.86/203.50 c #Conflicts: 44000 | #Constraints: 7011
201.86/203.50 c #Conflicts: 45000 | #Constraints: 8011
201.86/203.50 c GLOBAL bounds - >= 12291 @ 189.469
227.20/228.99 c #Conflicts: 46000 | #Constraints: 9011
227.20/228.99 c INPROCESSING
227.20/228.99 c GARBAGE COLLECT
227.20/228.99 c #Conflicts: 47000 | #Constraints: 5613
227.20/228.99 c #Conflicts: 48000 | #Constraints: 6613
227.20/228.99 c #Conflicts: 49000 | #Constraints: 7613
227.20/228.99 c #Conflicts: 50000 | #Constraints: 8613
227.20/228.99 c #Conflicts: 51000 | #Constraints: 9613
227.20/228.99 c INPROCESSING
227.20/228.99 c GARBAGE COLLECT
227.20/228.99 c #Conflicts: 52000 | #Constraints: 6028
227.20/228.99 c GLOBAL bounds - >= 13314 @ 214.537
227.31/229.03 c GLOBAL bounds - >= 13314 @ 214.57
227.31/229.04 c GLOBAL bounds - >= 13314 @ 214.576
227.31/229.05 c GLOBAL bounds - >= 13314 @ 214.583
227.31/229.06 c GLOBAL bounds - >= 13314 @ 214.587
227.31/229.08 c GLOBAL bounds - >= 13314 @ 214.589
227.41/229.15 c GLOBAL bounds - >= 13314 @ 214.619
227.41/229.17 c GLOBAL bounds - >= 13314 @ 214.625
227.50/229.25 c GLOBAL bounds - >= 13314 @ 214.648
227.50/229.26 c GLOBAL bounds - >= 13314 @ 214.655
227.60/229.34 c GLOBAL bounds - >= 13314 @ 214.682
227.60/229.35 c GLOBAL bounds - >= 13314 @ 214.689
227.70/229.43 c GLOBAL bounds - >= 13314 @ 214.718
227.70/229.45 c GLOBAL bounds - >= 13314 @ 214.724
227.80/229.53 c GLOBAL bounds - >= 13314 @ 214.763
227.80/229.54 c GLOBAL bounds - >= 13314 @ 214.769
227.90/229.63 c GLOBAL bounds - >= 13314 @ 214.798
227.90/229.64 c GLOBAL bounds - >= 13314 @ 214.805
228.01/229.73 c GLOBAL bounds - >= 13314 @ 214.837
228.01/229.74 c GLOBAL bounds - >= 13314 @ 214.847
228.10/229.83 c GLOBAL bounds - >= 13314 @ 214.881
228.10/229.84 c GLOBAL bounds - >= 13314 @ 214.89
228.21/229.93 c GLOBAL bounds - >= 13314 @ 214.921
228.21/229.95 c GLOBAL bounds - >= 13314 @ 214.933
228.31/230.03 c GLOBAL bounds - >= 13314 @ 214.972
228.41/230.11 c GLOBAL bounds - >= 13314 @ 214.996
228.50/230.21 c GLOBAL bounds - >= 13314 @ 215.038
228.60/230.30 c GLOBAL bounds - >= 13314 @ 215.083
228.60/230.39 c GLOBAL bounds - >= 13314 @ 215.129
228.80/230.56 c GLOBAL bounds - >= 13314 @ 215.244
229.01/230.70 c GLOBAL bounds - >= 13314 @ 215.32
229.01/230.78 c GLOBAL bounds - >= 13314 @ 215.341
229.10/230.88 c GLOBAL bounds - >= 13314 @ 215.392
229.20/230.97 c GLOBAL bounds - >= 13314 @ 215.428
229.30/231.07 c GLOBAL bounds - >= 13314 @ 215.479
229.50/231.22 c GLOBAL bounds - >= 13314 @ 215.58
229.60/231.37 c GLOBAL bounds - >= 13314 @ 215.672
232.30/234.09 c #Conflicts: 53000 | #Constraints: 7058
232.30/234.09 c GLOBAL bounds - >= 13655 @ 218.351
232.40/234.11 c GLOBAL bounds - >= 13655 @ 218.372
232.40/234.12 c GLOBAL bounds - >= 13655 @ 218.378
232.40/234.13 c GLOBAL bounds - >= 13655 @ 218.383
232.49/234.21 c GLOBAL bounds - >= 13655 @ 218.417
232.49/234.23 c GLOBAL bounds - >= 13655 @ 218.422
232.59/234.31 c GLOBAL bounds - >= 13655 @ 218.46
232.59/234.32 c GLOBAL bounds - >= 13655 @ 218.466
232.69/234.40 c GLOBAL bounds - >= 13655 @ 218.495
232.69/234.41 c GLOBAL bounds - >= 13655 @ 218.502
232.69/234.49 c GLOBAL bounds - >= 13655 @ 218.531
232.79/234.51 c GLOBAL bounds - >= 13655 @ 218.54
232.79/234.58 c GLOBAL bounds - >= 13655 @ 218.564
232.90/234.60 c GLOBAL bounds - >= 13655 @ 218.571
232.90/234.68 c GLOBAL bounds - >= 13655 @ 218.6
232.90/234.69 c GLOBAL bounds - >= 13655 @ 218.606
232.99/234.77 c GLOBAL bounds - >= 13655 @ 218.632
232.99/234.78 c GLOBAL bounds - >= 13655 @ 218.637
233.09/234.86 c GLOBAL bounds - >= 13655 @ 218.671
233.09/234.88 c GLOBAL bounds - >= 13655 @ 218.678
233.19/234.96 c GLOBAL bounds - >= 13655 @ 218.705
233.19/234.97 c GLOBAL bounds - >= 13655 @ 218.709
233.30/235.06 c GLOBAL bounds - >= 13655 @ 218.74
233.40/235.14 c GLOBAL bounds - >= 13655 @ 218.771
233.49/235.22 c GLOBAL bounds - >= 13655 @ 218.8
233.59/235.31 c GLOBAL bounds - >= 13655 @ 218.831
233.59/235.39 c GLOBAL bounds - >= 13655 @ 218.867
233.69/235.47 c GLOBAL bounds - >= 13655 @ 218.906
233.79/235.56 c GLOBAL bounds - >= 13655 @ 218.94
233.89/235.65 c GLOBAL bounds - >= 13655 @ 218.978
233.99/235.74 c GLOBAL bounds - >= 13655 @ 219.018
234.09/235.82 c GLOBAL bounds - >= 13655 @ 219.052
234.19/235.91 c GLOBAL bounds - >= 13655 @ 219.094
234.19/236.00 c GLOBAL bounds - >= 13655 @ 219.131
234.69/236.45 c GLOBAL bounds - >= 13655 @ 219.528
236.99/238.77 c #Conflicts: 54000 | #Constraints: 8100
236.99/238.77 c GLOBAL bounds - >= 13655 @ 221.737
513.17/515.67 c #Conflicts: 55000 | #Constraints: 9100
513.17/515.67 c #Conflicts: 56000 | #Constraints: 10100
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 57000 | #Constraints: 6281
513.17/515.67 c #Conflicts: 58000 | #Constraints: 7281
513.17/515.67 c #Conflicts: 59000 | #Constraints: 8281
513.17/515.67 c #Conflicts: 60000 | #Constraints: 9281
513.17/515.67 c #Conflicts: 61000 | #Constraints: 10281
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 62000 | #Constraints: 6276
513.17/515.67 c #Conflicts: 63000 | #Constraints: 7276
513.17/515.67 c #Conflicts: 64000 | #Constraints: 8276
513.17/515.67 c #Conflicts: 65000 | #Constraints: 9276
513.17/515.67 c #Conflicts: 66000 | #Constraints: 10276
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 67000 | #Constraints: 6083
513.17/515.67 c #Conflicts: 68000 | #Constraints: 7083
513.17/515.67 c #Conflicts: 69000 | #Constraints: 8083
513.17/515.67 c #Conflicts: 70000 | #Constraints: 9083
513.17/515.67 c #Conflicts: 71000 | #Constraints: 10083
513.17/515.67 c #Conflicts: 72000 | #Constraints: 11083
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 73000 | #Constraints: 6696
513.17/515.67 c #Conflicts: 74000 | #Constraints: 7696
513.17/515.67 c #Conflicts: 75000 | #Constraints: 8696
513.17/515.67 c #Conflicts: 76000 | #Constraints: 9696
513.17/515.67 c #Conflicts: 77000 | #Constraints: 10696
513.17/515.67 c #Conflicts: 78000 | #Constraints: 11696
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 79000 | #Constraints: 7096
513.17/515.67 c #Conflicts: 80000 | #Constraints: 8096
513.17/515.67 c #Conflicts: 81000 | #Constraints: 9096
513.17/515.67 c #Conflicts: 82000 | #Constraints: 10096
513.17/515.67 c #Conflicts: 83000 | #Constraints: 11096
513.17/515.67 c #Conflicts: 84000 | #Constraints: 12096
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 85000 | #Constraints: 7280
513.17/515.67 c #Conflicts: 86000 | #Constraints: 8280
513.17/515.67 c #Conflicts: 87000 | #Constraints: 9280
513.17/515.67 c #Conflicts: 88000 | #Constraints: 10280
513.17/515.67 c #Conflicts: 89000 | #Constraints: 11280
513.17/515.67 c #Conflicts: 90000 | #Constraints: 12280
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 91000 | #Constraints: 7305
513.17/515.67 c #Conflicts: 92000 | #Constraints: 8305
513.17/515.67 c #Conflicts: 93000 | #Constraints: 9305
513.17/515.67 c #Conflicts: 94000 | #Constraints: 10305
513.17/515.67 c #Conflicts: 95000 | #Constraints: 11305
513.17/515.67 c #Conflicts: 96000 | #Constraints: 12305
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 97000 | #Constraints: 7100
513.17/515.67 c #Conflicts: 98000 | #Constraints: 8100
513.17/515.67 c #Conflicts: 99000 | #Constraints: 9100
513.17/515.67 c #Conflicts: 100000 | #Constraints: 10100
513.17/515.67 c #Conflicts: 101000 | #Constraints: 11100
513.17/515.67 c #Conflicts: 102000 | #Constraints: 12100
513.17/515.67 c #Conflicts: 103000 | #Constraints: 13100
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 104000 | #Constraints: 7679
513.17/515.67 c #Conflicts: 105000 | #Constraints: 8679
513.17/515.67 c #Conflicts: 106000 | #Constraints: 9679
513.17/515.67 c #Conflicts: 107000 | #Constraints: 10679
513.17/515.67 c #Conflicts: 108000 | #Constraints: 11679
513.17/515.67 c #Conflicts: 109000 | #Constraints: 12679
513.17/515.67 c #Conflicts: 110000 | #Constraints: 13679
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 111000 | #Constraints: 8083
513.17/515.67 c #Conflicts: 112000 | #Constraints: 9083
513.17/515.67 c #Conflicts: 113000 | #Constraints: 10083
513.17/515.67 c #Conflicts: 114000 | #Constraints: 11083
513.17/515.67 c #Conflicts: 115000 | #Constraints: 12083
513.17/515.67 c #Conflicts: 116000 | #Constraints: 13083
513.17/515.67 c #Conflicts: 117000 | #Constraints: 14083
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 118000 | #Constraints: 8297
513.17/515.67 c #Conflicts: 119000 | #Constraints: 9297
513.17/515.67 c #Conflicts: 120000 | #Constraints: 10297
513.17/515.67 c #Conflicts: 121000 | #Constraints: 11297
513.17/515.67 c #Conflicts: 122000 | #Constraints: 12297
513.17/515.67 c #Conflicts: 123000 | #Constraints: 13297
513.17/515.67 c #Conflicts: 124000 | #Constraints: 14297
513.17/515.67 c INPROCESSING
513.17/515.67 c GARBAGE COLLECT
513.17/515.67 c #Conflicts: 125000 | #Constraints: 8288
513.17/515.67 c #Conflicts: 126000 | #Constraints: 9288
818.28/821.63 c #Conflicts: 127000 | #Constraints: 10288
818.28/821.63 c #Conflicts: 128000 | #Constraints: 11288
818.28/821.63 c #Conflicts: 129000 | #Constraints: 12288
818.28/821.63 c #Conflicts: 130000 | #Constraints: 13288
818.28/821.63 c #Conflicts: 131000 | #Constraints: 14288
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 132000 | #Constraints: 8079
818.28/821.63 c #Conflicts: 133000 | #Constraints: 9079
818.28/821.63 c #Conflicts: 134000 | #Constraints: 10079
818.28/821.63 c #Conflicts: 135000 | #Constraints: 11079
818.28/821.63 c #Conflicts: 136000 | #Constraints: 12079
818.28/821.63 c #Conflicts: 137000 | #Constraints: 13079
818.28/821.63 c #Conflicts: 138000 | #Constraints: 14079
818.28/821.63 c #Conflicts: 139000 | #Constraints: 15079
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 140000 | #Constraints: 8692
818.28/821.63 c #Conflicts: 141000 | #Constraints: 9692
818.28/821.63 c #Conflicts: 142000 | #Constraints: 10692
818.28/821.63 c #Conflicts: 143000 | #Constraints: 11692
818.28/821.63 c #Conflicts: 144000 | #Constraints: 12692
818.28/821.63 c #Conflicts: 145000 | #Constraints: 13692
818.28/821.63 c #Conflicts: 146000 | #Constraints: 14692
818.28/821.63 c #Conflicts: 147000 | #Constraints: 15692
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 148000 | #Constraints: 9104
818.28/821.63 c #Conflicts: 149000 | #Constraints: 10104
818.28/821.63 c #Conflicts: 150000 | #Constraints: 11104
818.28/821.63 c #Conflicts: 151000 | #Constraints: 12104
818.28/821.63 c #Conflicts: 152000 | #Constraints: 13104
818.28/821.63 c #Conflicts: 153000 | #Constraints: 14104
818.28/821.63 c #Conflicts: 154000 | #Constraints: 15104
818.28/821.63 c #Conflicts: 155000 | #Constraints: 16104
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 156000 | #Constraints: 9303
818.28/821.63 c #Conflicts: 157000 | #Constraints: 10303
818.28/821.63 c #Conflicts: 158000 | #Constraints: 11303
818.28/821.63 c #Conflicts: 159000 | #Constraints: 12303
818.28/821.63 c #Conflicts: 160000 | #Constraints: 13303
818.28/821.63 c #Conflicts: 161000 | #Constraints: 14303
818.28/821.63 c #Conflicts: 162000 | #Constraints: 15303
818.28/821.63 c #Conflicts: 163000 | #Constraints: 16303
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 164000 | #Constraints: 9293
818.28/821.63 c #Conflicts: 165000 | #Constraints: 10293
818.28/821.63 c #Conflicts: 166000 | #Constraints: 11293
818.28/821.63 c #Conflicts: 167000 | #Constraints: 12293
818.28/821.63 c #Conflicts: 168000 | #Constraints: 13293
818.28/821.63 c #Conflicts: 169000 | #Constraints: 14293
818.28/821.63 c #Conflicts: 170000 | #Constraints: 15293
818.28/821.63 c #Conflicts: 171000 | #Constraints: 16293
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 172000 | #Constraints: 9092
818.28/821.63 c #Conflicts: 173000 | #Constraints: 10092
818.28/821.63 c #Conflicts: 174000 | #Constraints: 11092
818.28/821.63 c #Conflicts: 175000 | #Constraints: 12092
818.28/821.63 c #Conflicts: 176000 | #Constraints: 13092
818.28/821.63 c #Conflicts: 177000 | #Constraints: 14092
818.28/821.63 c #Conflicts: 178000 | #Constraints: 15092
818.28/821.63 c #Conflicts: 179000 | #Constraints: 16092
818.28/821.63 c #Conflicts: 180000 | #Constraints: 17092
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 181000 | #Constraints: 9691
818.28/821.63 c #Conflicts: 182000 | #Constraints: 10691
818.28/821.63 c #Conflicts: 183000 | #Constraints: 11691
818.28/821.63 c #Conflicts: 184000 | #Constraints: 12691
818.28/821.63 c #Conflicts: 185000 | #Constraints: 13691
818.28/821.63 c #Conflicts: 186000 | #Constraints: 14691
818.28/821.63 c #Conflicts: 187000 | #Constraints: 15691
818.28/821.63 c #Conflicts: 188000 | #Constraints: 16691
818.28/821.63 c #Conflicts: 189000 | #Constraints: 17691
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 190000 | #Constraints: 10086
818.28/821.63 c #Conflicts: 191000 | #Constraints: 11086
818.28/821.63 c #Conflicts: 192000 | #Constraints: 12086
818.28/821.63 c #Conflicts: 193000 | #Constraints: 13086
818.28/821.63 c #Conflicts: 194000 | #Constraints: 14086
818.28/821.63 c #Conflicts: 195000 | #Constraints: 15086
818.28/821.63 c #Conflicts: 196000 | #Constraints: 16086
818.28/821.63 c #Conflicts: 197000 | #Constraints: 17086
818.28/821.63 c #Conflicts: 198000 | #Constraints: 18086
818.28/821.63 c INPROCESSING
818.28/821.63 c GARBAGE COLLECT
818.28/821.63 c #Conflicts: 199000 | #Constraints: 10314
1164.05/1168.49 c #Conflicts: 200000 | #Constraints: 11314
1164.05/1168.49 c #Conflicts: 201000 | #Constraints: 12314
1164.05/1168.49 c #Conflicts: 202000 | #Constraints: 13314
1164.05/1168.49 c #Conflicts: 203000 | #Constraints: 14314
1164.05/1168.49 c #Conflicts: 204000 | #Constraints: 15314
1164.05/1168.49 c #Conflicts: 205000 | #Constraints: 16314
1164.05/1168.49 c #Conflicts: 206000 | #Constraints: 17314
1164.05/1168.49 c #Conflicts: 207000 | #Constraints: 18314
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c #Conflicts: 208000 | #Constraints: 10307
1164.05/1168.49 c #Conflicts: 209000 | #Constraints: 11307
1164.05/1168.49 c #Conflicts: 210000 | #Constraints: 12307
1164.05/1168.49 c #Conflicts: 211000 | #Constraints: 13307
1164.05/1168.49 c #Conflicts: 212000 | #Constraints: 14307
1164.05/1168.49 c #Conflicts: 213000 | #Constraints: 15307
1164.05/1168.49 c #Conflicts: 214000 | #Constraints: 16307
1164.05/1168.49 c #Conflicts: 215000 | #Constraints: 17307
1164.05/1168.49 c #Conflicts: 216000 | #Constraints: 18307
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c #Conflicts: 217000 | #Constraints: 10109
1164.05/1168.49 c #Conflicts: 218000 | #Constraints: 11109
1164.05/1168.49 c #Conflicts: 219000 | #Constraints: 12109
1164.05/1168.49 c #Conflicts: 220000 | #Constraints: 13109
1164.05/1168.49 c #Conflicts: 221000 | #Constraints: 14109
1164.05/1168.49 c #Conflicts: 222000 | #Constraints: 15109
1164.05/1168.49 c #Conflicts: 223000 | #Constraints: 16109
1164.05/1168.49 c #Conflicts: 224000 | #Constraints: 17109
1164.05/1168.49 c #Conflicts: 225000 | #Constraints: 18109
1164.05/1168.49 c #Conflicts: 226000 | #Constraints: 19109
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c #Conflicts: 227000 | #Constraints: 10746
1164.05/1168.49 c #Conflicts: 228000 | #Constraints: 11746
1164.05/1168.49 c #Conflicts: 229000 | #Constraints: 12746
1164.05/1168.49 c #Conflicts: 230000 | #Constraints: 13746
1164.05/1168.49 c #Conflicts: 231000 | #Constraints: 14746
1164.05/1168.49 c #Conflicts: 232000 | #Constraints: 15746
1164.05/1168.49 c #Conflicts: 233000 | #Constraints: 16746
1164.05/1168.49 c #Conflicts: 234000 | #Constraints: 17746
1164.05/1168.49 c #Conflicts: 235000 | #Constraints: 18746
1164.05/1168.49 c #Conflicts: 236000 | #Constraints: 19746
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c #Conflicts: 237000 | #Constraints: 11137
1164.05/1168.49 c #Conflicts: 238000 | #Constraints: 12137
1164.05/1168.49 c #Conflicts: 239000 | #Constraints: 13137
1164.05/1168.49 c #Conflicts: 240000 | #Constraints: 14137
1164.05/1168.49 c #Conflicts: 241000 | #Constraints: 15137
1164.05/1168.49 c #Conflicts: 242000 | #Constraints: 16137
1164.05/1168.49 c #Conflicts: 243000 | #Constraints: 17137
1164.05/1168.49 c #Conflicts: 244000 | #Constraints: 18137
1164.05/1168.49 c #Conflicts: 245000 | #Constraints: 19137
1164.05/1168.49 c #Conflicts: 246000 | #Constraints: 20137
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c #Conflicts: 247000 | #Constraints: 11353
1164.05/1168.49 c #Conflicts: 248000 | #Constraints: 12353
1164.05/1168.49 c #Conflicts: 249000 | #Constraints: 13353
1164.05/1168.49 c #Conflicts: 250000 | #Constraints: 14353
1164.05/1168.49 c #Conflicts: 251000 | #Constraints: 15353
1164.05/1168.49 c #Conflicts: 252000 | #Constraints: 16353
1164.05/1168.49 c #Conflicts: 253000 | #Constraints: 17353
1164.05/1168.49 c #Conflicts: 254000 | #Constraints: 18353
1164.05/1168.49 c #Conflicts: 255000 | #Constraints: 19353
1164.05/1168.49 c #Conflicts: 256000 | #Constraints: 20353
1164.05/1168.49 c INPROCESSING
1164.05/1168.49 c GARBAGE COLLECT
1164.05/1168.49 c GLOBAL bounds - >= 13656 @ 1133.31
1164.15/1168.51 c GLOBAL bounds - >= 13656 @ 1133.32
1164.15/1168.53 c GLOBAL bounds - >= 13656 @ 1133.33
1164.34/1168.79 c GLOBAL bounds - >= 13656 @ 1133.54
1164.45/1168.80 c GLOBAL bounds - >= 13656 @ 1133.54
1164.45/1168.88 c GLOBAL bounds - >= 13656 @ 1133.58
1164.55/1168.90 c GLOBAL bounds - >= 13656 @ 1133.58
1164.55/1168.98 c GLOBAL bounds - >= 13656 @ 1133.61
1164.55/1168.99 c GLOBAL bounds - >= 13656 @ 1133.62
1164.65/1169.09 c GLOBAL bounds - >= 13656 @ 1133.66
1164.75/1169.11 c GLOBAL bounds - >= 13656 @ 1133.67
1164.75/1169.19 c GLOBAL bounds - >= 13656 @ 1133.71
1164.85/1169.20 c GLOBAL bounds - >= 13656 @ 1133.72
1164.85/1169.29 c GLOBAL bounds - >= 13656 @ 1133.75
1164.95/1169.30 c GLOBAL bounds - >= 13656 @ 1133.76
1164.95/1169.39 c GLOBAL bounds - >= 13656 @ 1133.8
1165.05/1169.40 c GLOBAL bounds - >= 13656 @ 1133.81
1165.05/1169.49 c GLOBAL bounds - >= 13656 @ 1133.84
1165.14/1169.50 c GLOBAL bounds - >= 13656 @ 1133.85
1165.14/1169.58 c GLOBAL bounds - >= 13656 @ 1133.88
1165.24/1169.60 c GLOBAL bounds - >= 13656 @ 1133.89
1165.24/1169.68 c GLOBAL bounds - >= 13656 @ 1133.92
1165.35/1169.76 c GLOBAL bounds - >= 13656 @ 1133.95
1165.44/1169.84 c GLOBAL bounds - >= 13656 @ 1133.98
1165.54/1169.98 c GLOBAL bounds - >= 13656 @ 1134.08
1172.22/1176.61 c #Conflicts: 257000 | #Constraints: 11367
1172.22/1176.61 c #Conflicts: 258000 | #Constraints: 12367
1172.22/1176.61 c GLOBAL bounds - >= 13656 @ 1140.52
1172.43/1176.89 c GLOBAL bounds - >= 13656 @ 1140.74
1172.83/1177.26 c GLOBAL bounds - >= 13656 @ 1141.06
1175.22/1179.65 c #Conflicts: 259000 | #Constraints: 13367
1175.22/1179.65 c GLOBAL bounds - >= 13998 @ 1143.4
1175.22/1179.69 c GLOBAL bounds - >= 13998 @ 1143.43
1175.32/1179.70 c GLOBAL bounds - >= 13998 @ 1143.44
1175.32/1179.71 c GLOBAL bounds - >= 13998 @ 1143.44
1175.32/1179.73 c GLOBAL bounds - >= 13998 @ 1143.45
1175.32/1179.75 c GLOBAL bounds - >= 13998 @ 1143.46
1175.32/1179.76 c GLOBAL bounds - >= 13998 @ 1143.47
1175.41/1179.88 c GLOBAL bounds - >= 13998 @ 1143.53
1175.41/1179.89 c GLOBAL bounds - >= 13998 @ 1143.54
1175.52/1179.97 c GLOBAL bounds - >= 13998 @ 1143.58
1175.52/1179.99 c GLOBAL bounds - >= 13998 @ 1143.59
1175.62/1180.07 c GLOBAL bounds - >= 13998 @ 1143.63
1175.62/1180.09 c GLOBAL bounds - >= 13998 @ 1143.64
1175.72/1180.17 c GLOBAL bounds - >= 13998 @ 1143.66
1175.72/1180.18 c GLOBAL bounds - >= 13998 @ 1143.67
1175.82/1180.26 c GLOBAL bounds - >= 13998 @ 1143.69
1175.82/1180.28 c GLOBAL bounds - >= 13998 @ 1143.7
1175.92/1180.36 c GLOBAL bounds - >= 13998 @ 1143.73
1175.92/1180.37 c GLOBAL bounds - >= 13998 @ 1143.74
1176.02/1180.46 c GLOBAL bounds - >= 13998 @ 1143.77
1176.02/1180.47 c GLOBAL bounds - >= 13998 @ 1143.78
1176.12/1180.56 c GLOBAL bounds - >= 13998 @ 1143.81
1176.12/1180.57 c GLOBAL bounds - >= 13998 @ 1143.82
1176.22/1180.66 c GLOBAL bounds - >= 13998 @ 1143.85
1176.22/1180.67 c GLOBAL bounds - >= 13998 @ 1143.86
1176.32/1180.76 c GLOBAL bounds - >= 13998 @ 1143.89
1176.41/1180.84 c GLOBAL bounds - >= 13998 @ 1143.93
1176.51/1180.93 c GLOBAL bounds - >= 13998 @ 1143.96
1176.62/1181.01 c GLOBAL bounds - >= 13998 @ 1144
1176.72/1181.10 c GLOBAL bounds - >= 13998 @ 1144.03
1176.72/1181.19 c GLOBAL bounds - >= 13998 @ 1144.07
1176.81/1181.28 c GLOBAL bounds - >= 13998 @ 1144.1
1176.91/1181.38 c GLOBAL bounds - >= 13998 @ 1144.16
1177.91/1182.31 c GLOBAL bounds - >= 13998 @ 1145.02
1178.00/1182.47 c GLOBAL bounds - >= 13998 @ 1145.14
1180.40/1184.82 c #Conflicts: 260000 | #Constraints: 14396
1180.40/1184.82 c GLOBAL bounds - >= 13998 @ 1147.37
1497.86/1503.22 c #Conflicts: 261000 | #Constraints: 15396
1497.86/1503.22 c #Conflicts: 262000 | #Constraints: 16396
1497.86/1503.22 c #Conflicts: 263000 | #Constraints: 17396
1497.86/1503.22 c #Conflicts: 264000 | #Constraints: 18396
1497.86/1503.22 c #Conflicts: 265000 | #Constraints: 19396
1497.86/1503.22 c #Conflicts: 266000 | #Constraints: 20396
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 267000 | #Constraints: 11159
1497.86/1503.22 c #Conflicts: 268000 | #Constraints: 12159
1497.86/1503.22 c #Conflicts: 269000 | #Constraints: 13159
1497.86/1503.22 c #Conflicts: 270000 | #Constraints: 14159
1497.86/1503.22 c #Conflicts: 271000 | #Constraints: 15159
1497.86/1503.22 c #Conflicts: 272000 | #Constraints: 16159
1497.86/1503.22 c #Conflicts: 273000 | #Constraints: 17159
1497.86/1503.22 c #Conflicts: 274000 | #Constraints: 18159
1497.86/1503.22 c #Conflicts: 275000 | #Constraints: 19159
1497.86/1503.22 c #Conflicts: 276000 | #Constraints: 20159
1497.86/1503.22 c #Conflicts: 277000 | #Constraints: 21159
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 278000 | #Constraints: 11745
1497.86/1503.22 c #Conflicts: 279000 | #Constraints: 12745
1497.86/1503.22 c #Conflicts: 280000 | #Constraints: 13745
1497.86/1503.22 c #Conflicts: 281000 | #Constraints: 14745
1497.86/1503.22 c #Conflicts: 282000 | #Constraints: 15745
1497.86/1503.22 c #Conflicts: 283000 | #Constraints: 16745
1497.86/1503.22 c #Conflicts: 284000 | #Constraints: 17745
1497.86/1503.22 c #Conflicts: 285000 | #Constraints: 18745
1497.86/1503.22 c #Conflicts: 286000 | #Constraints: 19745
1497.86/1503.22 c #Conflicts: 287000 | #Constraints: 20745
1497.86/1503.22 c #Conflicts: 288000 | #Constraints: 21745
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 289000 | #Constraints: 12144
1497.86/1503.22 c #Conflicts: 290000 | #Constraints: 13144
1497.86/1503.22 c #Conflicts: 291000 | #Constraints: 14144
1497.86/1503.22 c #Conflicts: 292000 | #Constraints: 15144
1497.86/1503.22 c #Conflicts: 293000 | #Constraints: 16144
1497.86/1503.22 c #Conflicts: 294000 | #Constraints: 17144
1497.86/1503.22 c #Conflicts: 295000 | #Constraints: 18144
1497.86/1503.22 c #Conflicts: 296000 | #Constraints: 19144
1497.86/1503.22 c #Conflicts: 297000 | #Constraints: 20144
1497.86/1503.22 c #Conflicts: 298000 | #Constraints: 21144
1497.86/1503.22 c #Conflicts: 299000 | #Constraints: 22144
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 300000 | #Constraints: 12335
1497.86/1503.22 c #Conflicts: 301000 | #Constraints: 13335
1497.86/1503.22 c #Conflicts: 302000 | #Constraints: 14335
1497.86/1503.22 c #Conflicts: 303000 | #Constraints: 15335
1497.86/1503.22 c #Conflicts: 304000 | #Constraints: 16335
1497.86/1503.22 c #Conflicts: 305000 | #Constraints: 17335
1497.86/1503.22 c #Conflicts: 306000 | #Constraints: 18335
1497.86/1503.22 c #Conflicts: 307000 | #Constraints: 19335
1497.86/1503.22 c #Conflicts: 308000 | #Constraints: 20335
1497.86/1503.22 c #Conflicts: 309000 | #Constraints: 21335
1497.86/1503.22 c #Conflicts: 310000 | #Constraints: 22335
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 311000 | #Constraints: 12348
1497.86/1503.22 c #Conflicts: 312000 | #Constraints: 13348
1497.86/1503.22 c #Conflicts: 313000 | #Constraints: 14348
1497.86/1503.22 c #Conflicts: 314000 | #Constraints: 15348
1497.86/1503.22 c #Conflicts: 315000 | #Constraints: 16348
1497.86/1503.22 c #Conflicts: 316000 | #Constraints: 17348
1497.86/1503.22 c #Conflicts: 317000 | #Constraints: 18348
1497.86/1503.22 c #Conflicts: 318000 | #Constraints: 19348
1497.86/1503.22 c #Conflicts: 319000 | #Constraints: 20348
1497.86/1503.22 c #Conflicts: 320000 | #Constraints: 21348
1497.86/1503.22 c #Conflicts: 321000 | #Constraints: 22348
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 322000 | #Constraints: 12147
1497.86/1503.22 c #Conflicts: 323000 | #Constraints: 13147
1497.86/1503.22 c #Conflicts: 324000 | #Constraints: 14147
1497.86/1503.22 c #Conflicts: 325000 | #Constraints: 15147
1497.86/1503.22 c #Conflicts: 326000 | #Constraints: 16147
1497.86/1503.22 c #Conflicts: 327000 | #Constraints: 17147
1497.86/1503.22 c #Conflicts: 328000 | #Constraints: 18147
1497.86/1503.22 c #Conflicts: 329000 | #Constraints: 19147
1497.86/1503.22 c #Conflicts: 330000 | #Constraints: 20147
1497.86/1503.22 c #Conflicts: 331000 | #Constraints: 21147
1497.86/1503.22 c #Conflicts: 332000 | #Constraints: 22147
1497.86/1503.22 c #Conflicts: 333000 | #Constraints: 23147
1497.86/1503.22 c INPROCESSING
1497.86/1503.22 c GARBAGE COLLECT
1497.86/1503.22 c #Conflicts: 334000 | #Constraints: 12741
1497.86/1503.22 c #Conflicts: 335000 | #Constraints: 13741
1908.34/1914.88 c #Conflicts: 336000 | #Constraints: 14741
1908.34/1914.88 c #Conflicts: 337000 | #Constraints: 15741
1908.34/1914.88 c #Conflicts: 338000 | #Constraints: 16741
1908.34/1914.88 c #Conflicts: 339000 | #Constraints: 17741
1908.34/1914.88 c #Conflicts: 340000 | #Constraints: 18741
1908.34/1914.88 c #Conflicts: 341000 | #Constraints: 19741
1908.34/1914.88 c #Conflicts: 342000 | #Constraints: 20741
1908.34/1914.88 c #Conflicts: 343000 | #Constraints: 21741
1908.34/1914.88 c #Conflicts: 344000 | #Constraints: 22741
1908.34/1914.88 c #Conflicts: 345000 | #Constraints: 23741
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 346000 | #Constraints: 13133
1908.34/1914.88 c #Conflicts: 347000 | #Constraints: 14133
1908.34/1914.88 c #Conflicts: 348000 | #Constraints: 15133
1908.34/1914.88 c #Conflicts: 349000 | #Constraints: 16133
1908.34/1914.88 c #Conflicts: 350000 | #Constraints: 17133
1908.34/1914.88 c #Conflicts: 351000 | #Constraints: 18133
1908.34/1914.88 c #Conflicts: 352000 | #Constraints: 19133
1908.34/1914.88 c #Conflicts: 353000 | #Constraints: 20133
1908.34/1914.88 c #Conflicts: 354000 | #Constraints: 21133
1908.34/1914.88 c #Conflicts: 355000 | #Constraints: 22133
1908.34/1914.88 c #Conflicts: 356000 | #Constraints: 23133
1908.34/1914.88 c #Conflicts: 357000 | #Constraints: 24133
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 358000 | #Constraints: 13336
1908.34/1914.88 c #Conflicts: 359000 | #Constraints: 14336
1908.34/1914.88 c #Conflicts: 360000 | #Constraints: 15336
1908.34/1914.88 c #Conflicts: 361000 | #Constraints: 16336
1908.34/1914.88 c #Conflicts: 362000 | #Constraints: 17336
1908.34/1914.88 c #Conflicts: 363000 | #Constraints: 18336
1908.34/1914.88 c #Conflicts: 364000 | #Constraints: 19336
1908.34/1914.88 c #Conflicts: 365000 | #Constraints: 20336
1908.34/1914.88 c #Conflicts: 366000 | #Constraints: 21336
1908.34/1914.88 c #Conflicts: 367000 | #Constraints: 22336
1908.34/1914.88 c #Conflicts: 368000 | #Constraints: 23336
1908.34/1914.88 c #Conflicts: 369000 | #Constraints: 24336
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 370000 | #Constraints: 13335
1908.34/1914.88 c #Conflicts: 371000 | #Constraints: 14335
1908.34/1914.88 c #Conflicts: 372000 | #Constraints: 15335
1908.34/1914.88 c #Conflicts: 373000 | #Constraints: 16335
1908.34/1914.88 c #Conflicts: 374000 | #Constraints: 17335
1908.34/1914.88 c #Conflicts: 375000 | #Constraints: 18335
1908.34/1914.88 c #Conflicts: 376000 | #Constraints: 19335
1908.34/1914.88 c #Conflicts: 377000 | #Constraints: 20335
1908.34/1914.88 c #Conflicts: 378000 | #Constraints: 21335
1908.34/1914.88 c #Conflicts: 379000 | #Constraints: 22335
1908.34/1914.88 c #Conflicts: 380000 | #Constraints: 23335
1908.34/1914.88 c #Conflicts: 381000 | #Constraints: 24335
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 382000 | #Constraints: 13140
1908.34/1914.88 c #Conflicts: 383000 | #Constraints: 14140
1908.34/1914.88 c #Conflicts: 384000 | #Constraints: 15140
1908.34/1914.88 c #Conflicts: 385000 | #Constraints: 16140
1908.34/1914.88 c #Conflicts: 386000 | #Constraints: 17140
1908.34/1914.88 c #Conflicts: 387000 | #Constraints: 18140
1908.34/1914.88 c #Conflicts: 388000 | #Constraints: 19140
1908.34/1914.88 c #Conflicts: 389000 | #Constraints: 20140
1908.34/1914.88 c #Conflicts: 390000 | #Constraints: 21140
1908.34/1914.88 c #Conflicts: 391000 | #Constraints: 22140
1908.34/1914.88 c #Conflicts: 392000 | #Constraints: 23140
1908.34/1914.88 c #Conflicts: 393000 | #Constraints: 24140
1908.34/1914.88 c #Conflicts: 394000 | #Constraints: 25140
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 395000 | #Constraints: 13743
1908.34/1914.88 c #Conflicts: 396000 | #Constraints: 14743
1908.34/1914.88 c #Conflicts: 397000 | #Constraints: 15743
1908.34/1914.88 c #Conflicts: 398000 | #Constraints: 16743
1908.34/1914.88 c #Conflicts: 399000 | #Constraints: 17743
1908.34/1914.88 c #Conflicts: 400000 | #Constraints: 18743
1908.34/1914.88 c #Conflicts: 401000 | #Constraints: 19743
1908.34/1914.88 c #Conflicts: 402000 | #Constraints: 20743
1908.34/1914.88 c #Conflicts: 403000 | #Constraints: 21743
1908.34/1914.88 c #Conflicts: 404000 | #Constraints: 22743
1908.34/1914.88 c #Conflicts: 405000 | #Constraints: 23743
1908.34/1914.88 c #Conflicts: 406000 | #Constraints: 24743
1908.34/1914.88 c #Conflicts: 407000 | #Constraints: 25743
1908.34/1914.88 c INPROCESSING
1908.34/1914.88 c GARBAGE COLLECT
1908.34/1914.88 c #Conflicts: 408000 | #Constraints: 14165
1908.34/1914.88 c #Conflicts: 409000 | #Constraints: 15165
1908.34/1914.88 c #Conflicts: 410000 | #Constraints: 16165
2433.00/2440.86 c #Conflicts: 411000 | #Constraints: 17165
2433.00/2440.86 c #Conflicts: 412000 | #Constraints: 18165
2433.00/2440.86 c #Conflicts: 413000 | #Constraints: 19165
2433.00/2440.86 c #Conflicts: 414000 | #Constraints: 20165
2433.00/2440.86 c #Conflicts: 415000 | #Constraints: 21165
2433.00/2440.86 c #Conflicts: 416000 | #Constraints: 22165
2433.00/2440.86 c #Conflicts: 417000 | #Constraints: 23165
2433.00/2440.86 c #Conflicts: 418000 | #Constraints: 24165
2433.00/2440.86 c #Conflicts: 419000 | #Constraints: 25165
2433.00/2440.86 c #Conflicts: 420000 | #Constraints: 26165
2433.00/2440.86 c INPROCESSING
2433.00/2440.86 c GARBAGE COLLECT
2433.00/2440.86 c #Conflicts: 421000 | #Constraints: 14366
2433.00/2440.86 c #Conflicts: 422000 | #Constraints: 15366
2433.00/2440.86 c #Conflicts: 423000 | #Constraints: 16366
2433.00/2440.86 c #Conflicts: 424000 | #Constraints: 17366
2433.00/2440.86 c #Conflicts: 425000 | #Constraints: 18366
2433.00/2440.86 c #Conflicts: 426000 | #Constraints: 19366
2433.00/2440.86 c #Conflicts: 427000 | #Constraints: 20366
2433.00/2440.86 c #Conflicts: 428000 | #Constraints: 21366
2433.00/2440.86 c #Conflicts: 429000 | #Constraints: 22366
2433.00/2440.86 c #Conflicts: 430000 | #Constraints: 23366
2433.00/2440.86 c #Conflicts: 431000 | #Constraints: 24366
2433.00/2440.86 c #Conflicts: 432000 | #Constraints: 25366
2433.00/2440.86 c #Conflicts: 433000 | #Constraints: 26366
2433.00/2440.86 c INPROCESSING
2433.00/2440.86 c GARBAGE COLLECT
2433.00/2440.86 c #Conflicts: 434000 | #Constraints: 14362
2433.00/2440.86 c #Conflicts: 435000 | #Constraints: 15362
2433.00/2440.86 c #Conflicts: 436000 | #Constraints: 16362
2433.00/2440.86 c #Conflicts: 437000 | #Constraints: 17362
2433.00/2440.86 c #Conflicts: 438000 | #Constraints: 18362
2433.00/2440.86 c #Conflicts: 439000 | #Constraints: 19362
2433.00/2440.86 c #Conflicts: 440000 | #Constraints: 20362
2433.00/2440.86 c #Conflicts: 441000 | #Constraints: 21362
2433.00/2440.86 c #Conflicts: 442000 | #Constraints: 22362
2433.00/2440.86 c #Conflicts: 443000 | #Constraints: 23362
2433.00/2440.86 c #Conflicts: 444000 | #Constraints: 24362
2433.00/2440.86 c #Conflicts: 445000 | #Constraints: 25362
2433.00/2440.86 c #Conflicts: 446000 | #Constraints: 26362
2433.00/2440.86 c INPROCESSING
2433.00/2440.86 c GARBAGE COLLECT
2433.00/2440.86 c #Conflicts: 447000 | #Constraints: 14169
2433.00/2440.86 c #Conflicts: 448000 | #Constraints: 15169
2433.00/2440.86 c #Conflicts: 449000 | #Constraints: 16169
2433.00/2440.86 c #Conflicts: 450000 | #Constraints: 17169
2433.00/2440.86 c #Conflicts: 451000 | #Constraints: 18169
2433.00/2440.86 c #Conflicts: 452000 | #Constraints: 19169
2433.00/2440.86 c #Conflicts: 453000 | #Constraints: 20169
2433.00/2440.86 c #Conflicts: 454000 | #Constraints: 21169
2433.00/2440.86 c #Conflicts: 455000 | #Constraints: 22169
2433.00/2440.86 c #Conflicts: 456000 | #Constraints: 23169
2433.00/2440.86 c #Conflicts: 457000 | #Constraints: 24169
2433.00/2440.86 c #Conflicts: 458000 | #Constraints: 25169
2433.00/2440.86 c #Conflicts: 459000 | #Constraints: 26169
2433.00/2440.86 c #Conflicts: 460000 | #Constraints: 27169
2433.00/2440.86 c INPROCESSING
2433.00/2440.86 c GARBAGE COLLECT
2433.00/2440.86 c #Conflicts: 461000 | #Constraints: 14764
2433.00/2440.86 c #Conflicts: 462000 | #Constraints: 15764
2433.00/2440.86 c #Conflicts: 463000 | #Constraints: 16764
2433.00/2440.86 c #Conflicts: 464000 | #Constraints: 17764
2433.00/2440.86 c #Conflicts: 465000 | #Constraints: 18764
2433.00/2440.86 c #Conflicts: 466000 | #Constraints: 19764
2433.00/2440.86 c #Conflicts: 467000 | #Constraints: 20764
2433.00/2440.86 c #Conflicts: 468000 | #Constraints: 21764
2433.00/2440.86 c #Conflicts: 469000 | #Constraints: 22764
2433.00/2440.86 c #Conflicts: 470000 | #Constraints: 23764
2433.00/2440.86 c #Conflicts: 471000 | #Constraints: 24764
2433.00/2440.86 c #Conflicts: 472000 | #Constraints: 25764
2433.00/2440.86 c #Conflicts: 473000 | #Constraints: 26764
2433.00/2440.86 c #Conflicts: 474000 | #Constraints: 27764
2433.00/2440.86 c INPROCESSING
2433.00/2440.86 c GARBAGE COLLECT
2433.00/2440.86 c #Conflicts: 475000 | #Constraints: 15167
2433.00/2440.86 c #Conflicts: 476000 | #Constraints: 16167
2433.00/2440.86 c #Conflicts: 477000 | #Constraints: 17167
2433.00/2440.86 c #Conflicts: 478000 | #Constraints: 18167
2433.00/2440.86 c #Conflicts: 479000 | #Constraints: 19167
2433.00/2440.86 c #Conflicts: 480000 | #Constraints: 20167
2433.00/2440.86 c #Conflicts: 481000 | #Constraints: 21167
2433.00/2440.86 c #Conflicts: 482000 | #Constraints: 22167
2433.00/2440.86 c #Conflicts: 483000 | #Constraints: 23167
2433.00/2440.86 c #Conflicts: 484000 | #Constraints: 24167
2433.00/2440.86 c #Conflicts: 485000 | #Constraints: 25167
3047.62/3057.04 c #Conflicts: 486000 | #Constraints: 26167
3047.62/3057.04 c #Conflicts: 487000 | #Constraints: 27167
3047.62/3057.04 c #Conflicts: 488000 | #Constraints: 28167
3047.62/3057.04 c INPROCESSING
3047.62/3057.04 c GARBAGE COLLECT
3047.62/3057.04 c #Conflicts: 489000 | #Constraints: 15361
3047.62/3057.04 c #Conflicts: 490000 | #Constraints: 16361
3047.62/3057.04 c #Conflicts: 491000 | #Constraints: 17361
3047.62/3057.04 c #Conflicts: 492000 | #Constraints: 18361
3047.62/3057.04 c #Conflicts: 493000 | #Constraints: 19361
3047.62/3057.04 c #Conflicts: 494000 | #Constraints: 20361
3047.62/3057.04 c #Conflicts: 495000 | #Constraints: 21361
3047.62/3057.04 c #Conflicts: 496000 | #Constraints: 22361
3047.62/3057.04 c #Conflicts: 497000 | #Constraints: 23361
3047.62/3057.04 c #Conflicts: 498000 | #Constraints: 24361
3047.62/3057.04 c #Conflicts: 499000 | #Constraints: 25361
3047.62/3057.04 c #Conflicts: 500000 | #Constraints: 26361
3047.62/3057.04 c #Conflicts: 501000 | #Constraints: 27361
3047.62/3057.04 c #Conflicts: 502000 | #Constraints: 28361
3047.62/3057.04 c INPROCESSING
3047.62/3057.04 c GARBAGE COLLECT
3047.62/3057.04 c #Conflicts: 503000 | #Constraints: 15360
3047.62/3057.04 c #Conflicts: 504000 | #Constraints: 16360
3047.62/3057.04 c #Conflicts: 505000 | #Constraints: 17360
3047.62/3057.04 c #Conflicts: 506000 | #Constraints: 18360
3047.62/3057.04 c #Conflicts: 507000 | #Constraints: 19360
3047.62/3057.04 c #Conflicts: 508000 | #Constraints: 20360
3047.62/3057.04 c #Conflicts: 509000 | #Constraints: 21360
3047.62/3057.04 c #Conflicts: 510000 | #Constraints: 22360
3047.62/3057.04 c #Conflicts: 511000 | #Constraints: 23360
3047.62/3057.04 c #Conflicts: 512000 | #Constraints: 24360
3047.62/3057.04 c #Conflicts: 513000 | #Constraints: 25360
3047.62/3057.04 c #Conflicts: 514000 | #Constraints: 26360
3047.62/3057.04 c #Conflicts: 515000 | #Constraints: 27360
3047.62/3057.04 c #Conflicts: 516000 | #Constraints: 28360
3047.62/3057.04 c INPROCESSING
3047.62/3057.04 c GARBAGE COLLECT
3047.62/3057.04 c #Conflicts: 517000 | #Constraints: 15167
3047.62/3057.04 c #Conflicts: 518000 | #Constraints: 16167
3047.62/3057.04 c #Conflicts: 519000 | #Constraints: 17167
3047.62/3057.04 c #Conflicts: 520000 | #Constraints: 18167
3047.62/3057.04 c #Conflicts: 521000 | #Constraints: 19167
3047.62/3057.04 c #Conflicts: 522000 | #Constraints: 20167
3047.62/3057.04 c #Conflicts: 523000 | #Constraints: 21167
3047.62/3057.04 c #Conflicts: 524000 | #Constraints: 22167
3047.62/3057.04 c #Conflicts: 525000 | #Constraints: 23167
3047.62/3057.04 c #Conflicts: 526000 | #Constraints: 24167
3047.62/3057.04 c #Conflicts: 527000 | #Constraints: 25167
3047.62/3057.04 c #Conflicts: 528000 | #Constraints: 26167
3047.62/3057.04 c #Conflicts: 529000 | #Constraints: 27167
3047.62/3057.04 c #Conflicts: 530000 | #Constraints: 28167
3047.62/3057.04 c #Conflicts: 531000 | #Constraints: 29167
3047.62/3057.04 c INPROCESSING
3047.62/3057.04 c GARBAGE COLLECT
3047.62/3057.04 c #Conflicts: 532000 | #Constraints: 15769
3047.62/3057.04 c #Conflicts: 533000 | #Constraints: 16769
3047.62/3057.04 c #Conflicts: 534000 | #Constraints: 17769
3047.62/3057.04 c #Conflicts: 535000 | #Constraints: 18769
3047.62/3057.04 c #Conflicts: 536000 | #Constraints: 19769
3047.62/3057.04 c #Conflicts: 537000 | #Constraints: 20769
3047.62/3057.04 c #Conflicts: 538000 | #Constraints: 21769
3047.62/3057.04 c #Conflicts: 539000 | #Constraints: 22769
3047.62/3057.04 c #Conflicts: 540000 | #Constraints: 23769
3047.62/3057.04 c #Conflicts: 541000 | #Constraints: 24769
3047.62/3057.04 c #Conflicts: 542000 | #Constraints: 25769
3047.62/3057.04 c #Conflicts: 543000 | #Constraints: 26769
3047.62/3057.04 c #Conflicts: 544000 | #Constraints: 27769
3047.62/3057.04 c #Conflicts: 545000 | #Constraints: 28769
3047.62/3057.04 c #Conflicts: 546000 | #Constraints: 29769
3047.62/3057.04 c INPROCESSING
3047.62/3057.04 c GARBAGE COLLECT
3047.62/3057.04 c #Conflicts: 547000 | #Constraints: 16167
3047.62/3057.04 c #Conflicts: 548000 | #Constraints: 17167
3047.62/3057.04 c #Conflicts: 549000 | #Constraints: 18167
3047.62/3057.04 c #Conflicts: 550000 | #Constraints: 19167
3047.62/3057.04 c #Conflicts: 551000 | #Constraints: 20167
3047.62/3057.04 c #Conflicts: 552000 | #Constraints: 21167
3047.62/3057.04 c #Conflicts: 553000 | #Constraints: 22167
3047.62/3057.04 c #Conflicts: 554000 | #Constraints: 23167
3047.62/3057.04 c #Conflicts: 555000 | #Constraints: 24167
3047.62/3057.04 c #Conflicts: 556000 | #Constraints: 25167
3047.62/3057.04 c #Conflicts: 557000 | #Constraints: 26167
3047.62/3057.04 c #Conflicts: 558000 | #Constraints: 27167
3047.62/3057.04 c #Conflicts: 559000 | #Constraints: 28167
3047.62/3057.04 c #Conflicts: 560000 | #Constraints: 29167
3047.62/3057.04 c #Conflicts: 561000 | #Constraints: 30167
3251.50/3261.47 c INPROCESSING
3251.50/3261.47 c GARBAGE COLLECT
3251.50/3261.47 c #Conflicts: 562000 | #Constraints: 16375
3251.50/3261.47 c #Conflicts: 563000 | #Constraints: 17375
3251.50/3261.47 c #Conflicts: 564000 | #Constraints: 18375
3251.50/3261.47 c #Conflicts: 565000 | #Constraints: 19375
3251.50/3261.47 c #Conflicts: 566000 | #Constraints: 20375
3251.50/3261.47 c #Conflicts: 567000 | #Constraints: 21375
3251.50/3261.47 c #Conflicts: 568000 | #Constraints: 22375
3251.50/3261.47 c #Conflicts: 569000 | #Constraints: 23375
3251.50/3261.47 c #Conflicts: 570000 | #Constraints: 24375
3251.50/3261.47 c #Conflicts: 571000 | #Constraints: 25375
3251.50/3261.47 c #Conflicts: 572000 | #Constraints: 26375
3251.50/3261.47 c #Conflicts: 573000 | #Constraints: 27375
3251.50/3261.47 c #Conflicts: 574000 | #Constraints: 28375
3251.50/3261.47 c #Conflicts: 575000 | #Constraints: 29375
3251.50/3261.47 c #Conflicts: 576000 | #Constraints: 30375
3251.50/3261.47 c INPROCESSING
3251.50/3261.47 c GARBAGE COLLECT
3251.50/3261.47 c #Conflicts: 577000 | #Constraints: 16403
3251.50/3261.47 c #Conflicts: 578000 | #Constraints: 17403
3251.50/3261.47 c #Conflicts: 579000 | #Constraints: 18403
3251.50/3261.47 c #Conflicts: 580000 | #Constraints: 19403
3251.50/3261.47 c #Conflicts: 581000 | #Constraints: 20403
3251.50/3261.47 c #Conflicts: 582000 | #Constraints: 21403
3251.50/3261.47 c #Conflicts: 583000 | #Constraints: 22403
3251.50/3261.47 c #Conflicts: 584000 | #Constraints: 23403
3251.50/3261.47 c #Conflicts: 585000 | #Constraints: 24403
3251.50/3261.47 c #Conflicts: 586000 | #Constraints: 25403
3251.50/3261.47 c #Conflicts: 587000 | #Constraints: 26403
3251.50/3261.47 c #Conflicts: 588000 | #Constraints: 27403
3251.50/3261.47 c #Conflicts: 589000 | #Constraints: 28403
3251.50/3261.47 c #Conflicts: 590000 | #Constraints: 29403
3251.50/3261.47 c GLOBAL bounds - >= 14680 @ 3193.71
3251.60/3261.51 c GLOBAL bounds - >= 14680 @ 3193.74
3251.60/3261.52 c GLOBAL bounds - >= 14680 @ 3193.74
3251.60/3261.53 c GLOBAL bounds - >= 14680 @ 3193.75
3251.60/3261.54 c GLOBAL bounds - >= 14680 @ 3193.75
3251.60/3261.55 c GLOBAL bounds - >= 14680 @ 3193.76
3251.99/3261.92 c GLOBAL bounds - >= 14680 @ 3194.07
3251.99/3261.94 c GLOBAL bounds - >= 14680 @ 3194.08
3252.10/3262.08 c GLOBAL bounds - >= 14680 @ 3194.16
3252.10/3262.09 c GLOBAL bounds - >= 14680 @ 3194.16
3252.20/3262.17 c GLOBAL bounds - >= 14680 @ 3194.2
3252.20/3262.19 c GLOBAL bounds - >= 14680 @ 3194.21
3252.29/3262.27 c GLOBAL bounds - >= 14680 @ 3194.24
3252.29/3262.28 c GLOBAL bounds - >= 14680 @ 3194.24
3252.39/3262.37 c GLOBAL bounds - >= 14680 @ 3194.28
3252.39/3262.39 c GLOBAL bounds - >= 14680 @ 3194.29
3252.49/3262.47 c GLOBAL bounds - >= 14680 @ 3194.32
3252.49/3262.49 c GLOBAL bounds - >= 14680 @ 3194.33
3252.59/3262.58 c GLOBAL bounds - >= 14680 @ 3194.37
3252.59/3262.59 c GLOBAL bounds - >= 14680 @ 3194.37
3252.69/3262.69 c GLOBAL bounds - >= 14680 @ 3194.43
3252.79/3262.70 c GLOBAL bounds - >= 14680 @ 3194.43
3252.89/3262.85 c GLOBAL bounds - >= 14680 @ 3194.53
3252.89/3262.87 c GLOBAL bounds - >= 14680 @ 3194.54
3252.99/3262.95 c GLOBAL bounds - >= 14680 @ 3194.57
3253.09/3263.04 c GLOBAL bounds - >= 14680 @ 3194.61
3253.49/3263.45 c GLOBAL bounds - >= 14680 @ 3194.96
3409.39/3419.73 c #Conflicts: 591000 | #Constraints: 30416
3409.39/3419.73 c INPROCESSING
3409.39/3419.73 c GARBAGE COLLECT
3409.39/3419.73 c #Conflicts: 592000 | #Constraints: 16178
3409.39/3419.73 c #Conflicts: 593000 | #Constraints: 17178
3409.39/3419.73 c #Conflicts: 594000 | #Constraints: 18178
3409.39/3419.73 c #Conflicts: 595000 | #Constraints: 19178
3409.39/3419.73 c #Conflicts: 596000 | #Constraints: 20178
3409.39/3419.73 c #Conflicts: 597000 | #Constraints: 21178
3409.39/3419.73 c #Conflicts: 598000 | #Constraints: 22178
3409.39/3419.73 c #Conflicts: 599000 | #Constraints: 23178
3409.39/3419.73 c #Conflicts: 600000 | #Constraints: 24178
3409.39/3419.73 c #Conflicts: 601000 | #Constraints: 25178
3409.39/3419.73 c #Conflicts: 602000 | #Constraints: 26178
3409.39/3419.73 c #Conflicts: 603000 | #Constraints: 27178
3409.39/3419.73 c #Conflicts: 604000 | #Constraints: 28178
3409.39/3419.73 c #Conflicts: 605000 | #Constraints: 29178
3409.39/3419.73 c #Conflicts: 606000 | #Constraints: 30178
3409.39/3419.73 c #Conflicts: 607000 | #Constraints: 31178
3409.39/3419.73 c INPROCESSING
3409.39/3419.73 c GARBAGE COLLECT
3409.39/3419.73 c #Conflicts: 608000 | #Constraints: 16767
3409.39/3419.73 c #Conflicts: 609000 | #Constraints: 17767
3409.39/3419.73 c #Conflicts: 610000 | #Constraints: 18767
3409.39/3419.73 c #Conflicts: 611000 | #Constraints: 19767
3409.39/3419.73 c #Conflicts: 612000 | #Constraints: 20767
3409.39/3419.73 c #Conflicts: 613000 | #Constraints: 21767
3409.39/3419.73 c #Conflicts: 614000 | #Constraints: 22767
3409.39/3419.73 c #Conflicts: 615000 | #Constraints: 23767
3409.39/3419.73 c #Conflicts: 616000 | #Constraints: 24767
3409.39/3419.73 c #Conflicts: 617000 | #Constraints: 25767
3409.39/3419.73 c #Conflicts: 618000 | #Constraints: 26767
3409.39/3419.73 c #Conflicts: 619000 | #Constraints: 27767
3409.39/3419.73 c #Conflicts: 620000 | #Constraints: 28767
3409.39/3419.73 c #Conflicts: 621000 | #Constraints: 29767
3409.39/3419.73 c #Conflicts: 622000 | #Constraints: 30767
3409.39/3419.73 c #Conflicts: 623000 | #Constraints: 31767
3409.39/3419.73 c INPROCESSING
3409.39/3419.73 c GARBAGE COLLECT
3409.39/3419.73 c #Conflicts: 624000 | #Constraints: 17160
3409.39/3419.73 c GLOBAL bounds - >= 14683 @ 3348.65
3409.39/3419.75 c GLOBAL bounds - >= 14683 @ 3348.67
3409.39/3419.76 c GLOBAL bounds - >= 14683 @ 3348.67
3409.70/3420.02 c GLOBAL bounds - >= 14683 @ 3348.88
3409.70/3420.04 c GLOBAL bounds - >= 14683 @ 3348.89
3409.80/3420.13 c GLOBAL bounds - >= 14683 @ 3348.92
3409.80/3420.14 c GLOBAL bounds - >= 14683 @ 3348.93
3409.90/3420.24 c GLOBAL bounds - >= 14683 @ 3348.97
3409.90/3420.25 c GLOBAL bounds - >= 14683 @ 3348.98
3410.49/3420.82 c GLOBAL bounds - >= 14683 @ 3349.5
3410.49/3420.84 c GLOBAL bounds - >= 14683 @ 3349.51
3410.59/3420.92 c GLOBAL bounds - >= 14683 @ 3349.54
3410.59/3420.94 c GLOBAL bounds - >= 14683 @ 3349.55
3416.08/3426.47 c #Conflicts: 625000 | #Constraints: 18166
3416.08/3426.47 c GLOBAL bounds - >= 14683 @ 3354.92
3416.08/3426.48 c GLOBAL bounds - >= 14683 @ 3354.92
3416.18/3426.56 c GLOBAL bounds - >= 14683 @ 3354.95
3416.18/3426.57 c GLOBAL bounds - >= 14683 @ 3354.96
3416.27/3426.66 c GLOBAL bounds - >= 14683 @ 3354.99
3416.27/3426.67 c GLOBAL bounds - >= 14683 @ 3355
3416.37/3426.75 c GLOBAL bounds - >= 14683 @ 3355.03
3416.37/3426.77 c GLOBAL bounds - >= 14683 @ 3355.04
3416.47/3426.85 c GLOBAL bounds - >= 14683 @ 3355.07
3416.57/3426.93 c GLOBAL bounds - >= 14683 @ 3355.11
3416.68/3427.02 c GLOBAL bounds - >= 14683 @ 3355.14
3416.97/3427.34 c GLOBAL bounds - >= 14683 @ 3355.4
3418.27/3428.68 c #Conflicts: 626000 | #Constraints: 19170
3418.27/3428.68 c GLOBAL bounds - >= 14683 @ 3356.66
3418.87/3429.22 c GLOBAL bounds - >= 14683 @ 3357.15
3418.97/3429.31 c GLOBAL bounds - >= 14683 @ 3357.19
3418.97/3429.32 c GLOBAL bounds - >= 14683 @ 3357.19
3418.97/3429.34 c GLOBAL bounds - >= 14683 @ 3357.2
3418.97/3429.35 c GLOBAL bounds - >= 14683 @ 3357.21
3418.97/3429.36 c GLOBAL bounds - >= 14683 @ 3357.21
3418.97/3429.37 c GLOBAL bounds - >= 14683 @ 3357.21
3418.97/3429.38 c GLOBAL bounds - >= 14683 @ 3357.22
3419.07/3429.41 c GLOBAL bounds - >= 14683 @ 3357.24
3419.17/3429.51 c GLOBAL bounds - >= 14683 @ 3357.29
3419.17/3429.53 c GLOBAL bounds - >= 14683 @ 3357.3
3419.27/3429.62 c GLOBAL bounds - >= 14683 @ 3357.33
3419.27/3429.63 c GLOBAL bounds - >= 14683 @ 3357.33
3419.37/3429.72 c GLOBAL bounds - >= 14683 @ 3357.37
3419.37/3429.73 c GLOBAL bounds - >= 14683 @ 3357.37
3419.47/3429.82 c GLOBAL bounds - >= 14683 @ 3357.41
3419.47/3429.85 c GLOBAL bounds - >= 14683 @ 3357.43
3419.57/3429.94 c GLOBAL bounds - >= 14683 @ 3357.46
3419.57/3429.95 c GLOBAL bounds - >= 14683 @ 3357.47
3419.67/3430.04 c GLOBAL bounds - >= 14683 @ 3357.51
3419.67/3430.06 c GLOBAL bounds - >= 14683 @ 3357.52
3419.77/3430.14 c GLOBAL bounds - >= 14683 @ 3357.56
3419.77/3430.16 c GLOBAL bounds - >= 14683 @ 3357.57
3419.87/3430.25 c GLOBAL bounds - >= 14683 @ 3357.6
3419.87/3430.26 c GLOBAL bounds - >= 14683 @ 3357.61
3419.97/3430.35 c GLOBAL bounds - >= 14683 @ 3357.64
3419.97/3430.36 c GLOBAL bounds - >= 14683 @ 3357.65
3420.06/3430.45 c GLOBAL bounds - >= 14683 @ 3357.68
3420.17/3430.53 c GLOBAL bounds - >= 14683 @ 3357.72
3420.27/3430.62 c GLOBAL bounds - >= 14683 @ 3357.75
3420.37/3430.71 c GLOBAL bounds - >= 14683 @ 3357.79
3420.37/3430.79 c GLOBAL bounds - >= 14683 @ 3357.82
3420.47/3430.88 c GLOBAL bounds - >= 14683 @ 3357.85
3420.57/3430.97 c GLOBAL bounds - >= 14683 @ 3357.89
3420.67/3431.06 c GLOBAL bounds - >= 14683 @ 3357.92
3420.77/3431.17 c GLOBAL bounds - >= 14683 @ 3357.99
3420.97/3431.31 c GLOBAL bounds - >= 14683 @ 3358.07
3421.07/3431.40 c GLOBAL bounds - >= 14683 @ 3358.13
3421.07/3431.40 c GLOBAL bounds - >= 14683 @ 3358.13
3421.07/3431.42 c GLOBAL bounds - >= 14683 @ 3358.13
3421.07/3431.43 c GLOBAL bounds - >= 14683 @ 3358.14
3421.07/3431.44 c GLOBAL bounds - >= 14683 @ 3358.14
3421.07/3431.46 c GLOBAL bounds - >= 14683 @ 3358.15
3421.17/3431.54 c GLOBAL bounds - >= 14683 @ 3358.18
3421.17/3431.56 c GLOBAL bounds - >= 14683 @ 3358.18
3421.27/3431.64 c GLOBAL bounds - >= 14683 @ 3358.21
3421.27/3431.65 c GLOBAL bounds - >= 14683 @ 3358.21
3421.36/3431.74 c GLOBAL bounds - >= 14683 @ 3358.25
3421.36/3431.75 c GLOBAL bounds - >= 14683 @ 3358.26
3421.46/3431.84 c GLOBAL bounds - >= 14683 @ 3358.29
3421.46/3431.85 c GLOBAL bounds - >= 14683 @ 3358.3
3421.56/3431.93 c GLOBAL bounds - >= 14683 @ 3358.34
3421.56/3431.95 c GLOBAL bounds - >= 14683 @ 3358.34
3421.67/3432.03 c GLOBAL bounds - >= 14683 @ 3358.38
3421.67/3432.04 c GLOBAL bounds - >= 14683 @ 3358.39
3421.77/3432.13 c GLOBAL bounds - >= 14683 @ 3358.42
3421.77/3432.14 c GLOBAL bounds - >= 14683 @ 3358.42
3421.87/3432.22 c GLOBAL bounds - >= 14683 @ 3358.46
3421.87/3432.24 c GLOBAL bounds - >= 14683 @ 3358.47
3421.97/3432.32 c GLOBAL bounds - >= 14683 @ 3358.51
3421.97/3432.34 c GLOBAL bounds - >= 14683 @ 3358.52
3422.06/3432.43 c GLOBAL bounds - >= 14683 @ 3358.54
3422.17/3432.51 c GLOBAL bounds - >= 14683 @ 3358.59
3422.17/3432.59 c GLOBAL bounds - >= 14683 @ 3358.62
3422.26/3432.67 c GLOBAL bounds - >= 14683 @ 3358.66
3422.36/3432.76 c GLOBAL bounds - >= 14683 @ 3358.68
3422.46/3432.84 c GLOBAL bounds - >= 14683 @ 3358.71
3422.56/3432.93 c GLOBAL bounds - >= 14683 @ 3358.75
3422.66/3433.03 c GLOBAL bounds - >= 14683 @ 3358.8
3422.77/3433.18 c GLOBAL bounds - >= 14683 @ 3358.89
3422.96/3433.30 c GLOBAL bounds - >= 14683 @ 3358.96
3422.96/3433.30 c GLOBAL bounds - >= 14683 @ 3358.96
3422.96/3433.32 c GLOBAL bounds - >= 14683 @ 3358.97
3422.96/3433.33 c GLOBAL bounds - >= 14683 @ 3358.97
3422.96/3433.34 c GLOBAL bounds - >= 14683 @ 3358.98
3422.96/3433.35 c GLOBAL bounds - >= 14683 @ 3358.98
3423.06/3433.45 c GLOBAL bounds - >= 14683 @ 3359.03
3423.06/3433.46 c GLOBAL bounds - >= 14683 @ 3359.03
3423.16/3433.54 c GLOBAL bounds - >= 14683 @ 3359.06
3423.16/3433.57 c GLOBAL bounds - >= 14683 @ 3359.08
3423.26/3433.66 c GLOBAL bounds - >= 14683 @ 3359.12
3423.26/3433.68 c GLOBAL bounds - >= 14683 @ 3359.13
3423.36/3433.76 c GLOBAL bounds - >= 14683 @ 3359.17
3423.36/3433.77 c GLOBAL bounds - >= 14683 @ 3359.17
3423.46/3433.86 c GLOBAL bounds - >= 14683 @ 3359.2
3423.46/3433.87 c GLOBAL bounds - >= 14683 @ 3359.21
3423.56/3433.95 c GLOBAL bounds - >= 14683 @ 3359.25
3423.56/3433.97 c GLOBAL bounds - >= 14683 @ 3359.25
3423.67/3434.05 c GLOBAL bounds - >= 14683 @ 3359.28
3423.67/3434.06 c GLOBAL bounds - >= 14683 @ 3359.28
3423.77/3434.15 c GLOBAL bounds - >= 14683 @ 3359.32
3423.77/3434.16 c GLOBAL bounds - >= 14683 @ 3359.33
3423.86/3434.25 c GLOBAL bounds - >= 14683 @ 3359.36
3423.86/3434.26 c GLOBAL bounds - >= 14683 @ 3359.37
3423.96/3434.35 c GLOBAL bounds - >= 14683 @ 3359.41
3424.06/3434.43 c GLOBAL bounds - >= 14683 @ 3359.45
3424.16/3434.53 c GLOBAL bounds - >= 14683 @ 3359.49
3424.26/3434.63 c GLOBAL bounds - >= 14683 @ 3359.55
3424.36/3434.72 c GLOBAL bounds - >= 14683 @ 3359.58
3424.46/3434.81 c GLOBAL bounds - >= 14683 @ 3359.61
3424.56/3434.90 c GLOBAL bounds - >= 14683 @ 3359.65
3424.66/3435.01 c GLOBAL bounds - >= 14683 @ 3359.7
3424.66/3435.09 c GLOBAL bounds - >= 14683 @ 3359.74
3428.45/3438.86 c #Conflicts: 627000 | #Constraints: 20251
3428.45/3438.86 c GLOBAL bounds - >= 14683 @ 3363.38
3600.01/3610.82 c #Conflicts: 628000 | #Constraints: 21251
3600.01/3610.82 c #Conflicts: 629000 | #Constraints: 22251
3600.01/3610.82 c #Conflicts: 630000 | #Constraints: 23251
3600.01/3610.82 c #Conflicts: 631000 | #Constraints: 24251
3600.01/3610.82 c #Conflicts: 632000 | #Constraints: 25251
3600.01/3610.82 c #Conflicts: 633000 | #Constraints: 26251
3600.01/3610.82 c #Conflicts: 634000 | #Constraints: 27251
3600.01/3610.82 c #Conflicts: 635000 | #Constraints: 28251
3600.01/3610.82 c #Conflicts: 636000 | #Constraints: 29251
3600.01/3610.82 c #Conflicts: 637000 | #Constraints: 30251
3600.01/3610.82 c #Conflicts: 638000 | #Constraints: 31251
3600.01/3610.82 c #Conflicts: 639000 | #Constraints: 32251
3600.01/3610.82 c INPROCESSING
3600.01/3610.82 c GARBAGE COLLECT
3600.01/3610.82 c #Conflicts: 640000 | #Constraints: 17440
3600.01/3610.82 c #Conflicts: 641000 | #Constraints: 18440
3600.01/3610.82 c #Conflicts: 642000 | #Constraints: 19440
3600.01/3610.82 c #Conflicts: 643000 | #Constraints: 20440
3600.01/3610.82 c #Conflicts: 644000 | #Constraints: 21440
3600.01/3610.82 c #Conflicts: 645000 | #Constraints: 22440
3600.01/3610.82 c #Conflicts: 646000 | #Constraints: 23440
3600.01/3610.82 c #Conflicts: 647000 | #Constraints: 24440
3600.01/3610.82 c #Conflicts: 648000 | #Constraints: 25440
3600.01/3610.82 c #Conflicts: 649000 | #Constraints: 26440
3600.01/3610.82 c #Conflicts: 650000 | #Constraints: 27440
3600.01/3610.82 c #Conflicts: 651000 | #Constraints: 28440
3600.01/3610.82 c #Conflicts: 652000 | #Constraints: 29440
3600.01/3610.82 c #Conflicts: 653000 | #Constraints: 30440
3600.01/3610.82 c #Conflicts: 654000 | #Constraints: 31440
3600.01/3610.82 c #Conflicts: 655000 | #Constraints: 32440
3600.01/3610.82 c INPROCESSING
3600.01/3610.82 c GARBAGE COLLECT
3600.01/3610.82 c #Conflicts: 656000 | #Constraints: 17440
3600.01/3610.82 c #Conflicts: 657000 | #Constraints: 18440
3600.01/3610.82 c #Conflicts: 658000 | #Constraints: 19440
3600.01/3610.82 c #Conflicts: 659000 | #Constraints: 20440
3600.01/3610.82 c #Conflicts: 660000 | #Constraints: 21440
3600.01/3610.82 c #Conflicts: 661000 | #Constraints: 22440
3600.01/3610.82 c #Conflicts: 662000 | #Constraints: 23440
3600.01/3610.82 c #Conflicts: 663000 | #Constraints: 24440
3600.01/3610.82 c #Conflicts: 664000 | #Constraints: 25440
3600.01/3610.82 c #Conflicts: 665000 | #Constraints: 26440
3600.01/3610.82 c #Conflicts: 666000 | #Constraints: 27440
3600.01/3610.82 c #Conflicts: 667000 | #Constraints: 28440
3600.01/3610.82 c cpu time 3532 s
3600.01/3610.82 c deterministic time 24332285 2.43e+07
3600.01/3610.82 c optimization time 3527.91 s
3600.01/3610.82 c total solve time 2.29372 s
3600.01/3610.82 c core-guided solve time 0 s
3600.01/3610.82 c propagation time 1.25708 s
3600.01/3610.82 c conflict analysis time 0.212464 s
3600.01/3610.82 c propagations 3963382
3600.01/3610.82 c resolve steps 18236
3600.01/3610.82 c decisions 4352651
3600.01/3610.82 c conflicts 644
3600.01/3610.82 c restarts 5
3600.01/3610.82 c inprocessing phases 0
3600.01/3610.82 c garbage collections 0 ,( -nan )
3600.01/3610.82 c input clauses 308317 ,( 99.95 )
3600.01/3610.82 c input cardinalities 0 ,( 0.00 )
3600.01/3610.82 c input general constraints 150 ,( 0.05 )
3600.01/3610.82 c input average constraint length 7.26
3600.01/3610.82 c input average constraint degree 1295.75
3600.01/3610.82 c learned clauses 706 ,( 100.00 )
3600.01/3610.82 c learned cardinalities 0 ,( 0.00 )
3600.01/3610.82 c learned general constraints 0 ,( 0.00 )
3600.01/3610.82 c learned average constraint length 55.02
3600.01/3610.82 c learned average constraint degree 1.00
3600.01/3610.82 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.82 c counting CF 32, 64, 128, Arb: 151 , 0 , 0 , 0
3600.01/3610.82 c watched constraints 0 ,( 0.00 )
3600.01/3610.82 c counting constraints 150 ,( 100.00 )
3600.01/3610.82 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2389917 , 0 , 460969 ,( 0 , 460969 )
3600.01/3610.82 c gcd simplifications 0
3600.01/3610.82 c detected cardinalities 0
3600.01/3610.82 c weakened non-implied lits 0
3600.01/3610.82 c weakened non-implying lits 0
3600.01/3610.82 c original variables 79993
3600.01/3610.82 c clausal propagations 2270763
3600.01/3610.82 c cardinality propagations 0
3600.01/3610.82 c watched propagations 0
3600.01/3610.82 c counting propagations 19220
3600.01/3610.82 c watch lookups 3424567
3600.01/3610.82 c watch backjump lookups 0
3600.01/3610.82 c watch checks 1851135
3600.01/3610.82 c propagation checks 2305887
3600.01/3610.82 c constraint additions 155068
3600.01/3610.82 c trail pops 8276594
3600.01/3610.82 c formula constraints 307974
3600.01/3610.82 c learned constraints 706
3600.01/3610.82 c bound constraints 0
3600.01/3610.82 c core-guided constraints 0
3600.01/3610.82 c encountered formula constraints 18373
3600.01/3610.82 c encountered learned constraints 507
3600.01/3610.82 c encountered bound constraints 0
3600.01/3610.82 c encountered core-guided constraints 0
3600.01/3610.82 c LP total time 0.999353 s
3600.01/3610.82 c LP solve time 0.87 s
3600.01/3610.82 c LP constraints added 307974
3600.01/3610.82 c LP constraints removed 0
3600.01/3610.82 c LP pivots internal 2000
3600.01/3610.82 c LP pivots root 1000
3600.01/3610.82 c LP calls 2
3600.01/3610.82 c LP optimalities 0
3600.01/3610.82 c LP no pivot count 0
3600.01/3610.82 c LP infeasibilities 0
3600.01/3610.82 c LP valid Farkas constraints 0
3600.01/3610.82 c LP learned Farkas constraints 0
3600.01/3610.82 c LP basis resets 0
3600.01/3610.82 c LP cycling count 0
3600.01/3610.82 c LP singular count 0
3600.01/3610.82 c LP no primal count 0
3600.01/3610.82 c LP no farkas count 0
3600.01/3610.82 c LP other issue count 0
3600.01/3610.82 c LP Gomory cuts 0
3600.01/3610.82 c LP learned cuts 0
3600.01/3610.82 c LP deleted cuts 0
3600.01/3610.82 c LP encountered Gomory constraints 0
3600.01/3610.82 c LP encountered Farkas constraints 0
3600.01/3610.82 c LP encountered learned Farkas constraints 0
3600.01/3610.82 c CG auxiliary variables introduced 149
3600.01/3610.82 c CG solutions found 0
3600.01/3610.82 c CG cores constructed 232
3600.01/3610.82 c CG core cardinality constraints returned 0
3600.01/3610.82 c CG unit cores 0
3600.01/3610.82 c CG single cores 0
3600.01/3610.82 c CG blocks removed during cardinality reduction 0
3600.01/3610.82 c CG first core best 0
3600.01/3610.82 c CG decision core best 0
3600.01/3610.82 c CG core reduction tie 0
3600.01/3610.82 c CG core degree average 0.00
3600.01/3610.82 c CG core slack average 0.00
3600.01/3610.82 c CG core upper bound improvements 0
3600.01/3610.82 c STR number of successful calls 0
3600.01/3610.82 c STR number of unsuccessful calls 0
3600.01/3610.82 c STR number of inconclusive calls 0
3600.01/3610.82 c STR number of successful attempts 0
3600.01/3610.82 c STR number of unsuccessful attempts 0
3600.01/3610.82 c STR number of inconclusive attempts 0
3600.01/3610.82 c STR average degree increase per successful call inf
3600.01/3610.82 c STR average degree increase per successful attempt inf
3600.01/3610.82 c STR total number of conflicts for successful attempts 0
3600.01/3610.82 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.82 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.82 c STR average number of conflicts per successful attempt inf
3600.01/3610.82 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.82 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.82 c AVG.sumWPerc 99.76
3600.01/3610.82 c bigint constraints 0
3600.01/3610.82 s UNKNOWN
3600.01/3610.82 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (33662 MiB free)
memory of node 1: 64465 MiB (49292 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506643-1751505027/watcher-4506643-1751505027 -o /tmp/evaluation-result-4506643-1751505027/solver-4506643-1751505027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506643-1751505027.opb PROOFDIR/proof-4506643-1751505027
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=72297, runsolver pid=72294
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.15 4.11 3/274 72299
/proc/meminfo: memFree=84933356/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72297 72297 71409 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 66180257 52015104 1920 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.205328 s]*
/proc/loadavg: 4.12 4.15 4.11 3/274 72299
/proc/meminfo: memFree=84933356/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72297 72297 71409 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 66180257 52015104 1920 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.304616 s]*
/proc/loadavg: 4.12 4.15 4.11 3/274 72299
/proc/meminfo: memFree=84917516/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72297 72297 71409 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 66180257 52015104 1920 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+0.700232 s]
/proc/loadavg: 4.12 4.15 4.11 3/274 72299
/proc/meminfo: memFree=84909956/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72297 72297 71409 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 66180257 52015104 1920 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.15 4.11 5/274 72299
/proc/meminfo: memFree=84875284/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=80508 memory=37644 CPUtime=0.34 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 6448 0 0 0 29 5 0 0 20 0 1 0 66180257 82440192 9411 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 20127 9411 2048 1147 0 7554 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 40716 KiB
[startup+3.10557 s]
/proc/loadavg: 4.12 4.15 4.11 5/280 72319
/proc/meminfo: memFree=99377660/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=562212 memory=256212 CPUtime=1.94 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 24576 0 0 0 167 27 0 0 20 0 1 0 66180257 575705088 64053 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 140553 64053 2336 1147 0 127980 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 566404 KiB
Current children cumulated memory: 259284 KiB
heavy processes:
[startup+6.30017 s]
/proc/loadavg: 4.11 4.15 4.11 5/280 72319
/proc/meminfo: memFree=98914652/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=602828 memory=425420 CPUtime=5.12 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 46546 0 0 0 369 143 0 0 20 0 1 0 66180257 617295872 106355 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 150707 106355 2432 1147 0 138134 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 607020 KiB
Current children cumulated memory: 428492 KiB
[startup+12.7001 s]
/proc/loadavg: 4.18 4.16 4.11 5/280 72319
/proc/meminfo: memFree=97630684/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=740736 memory=547464 CPUtime=11.51 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 66338 0 0 0 664 487 0 0 20 0 1 0 66180257 758513664 136866 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 185184 136866 2432 1147 0 172611 0
Current children cumulated CPU time: 11.51 s
Current children cumulated vsize: 744928 KiB
Current children cumulated memory: 550536 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.11 5/280 72320
/proc/meminfo: memFree=96524928/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=1187724 memory=930788 CPUtime=24.29 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 135608 0 0 0 1597 832 0 0 20 0 1 0 66180257 1216229376 232697 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 296931 232697 2432 1147 0 284358 0
Current children cumulated CPU time: 24.29 s
Current children cumulated vsize: 1191916 KiB
Current children cumulated memory: 933860 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.14 4.10 5/279 72321
/proc/meminfo: memFree=93974020/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=1671956 memory=1350208 CPUtime=49.84 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 212991 0 0 0 4088 896 0 0 20 0 1 0 66180257 1712082944 337552 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 417989 337552 2432 1147 0 405416 0
Current children cumulated CPU time: 49.84 s
Current children cumulated vsize: 1676148 KiB
Current children cumulated memory: 1353280 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/282 72325
/proc/meminfo: memFree=89439736/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=1673812 memory=1383984 CPUtime=100.91 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 218187 0 0 0 9114 977 0 0 20 0 1 0 66180257 1713983488 345996 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 418453 345996 2432 1147 0 405880 0
Current children cumulated CPU time: 100.91 s
Current children cumulated vsize: 1678004 KiB
Current children cumulated memory: 1387056 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/282 72332
/proc/meminfo: memFree=82706608/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=2565476 memory=1966528 CPUtime=160.76 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 335829 0 0 0 15000 1076 0 0 20 0 1 0 66180257 2627047424 491632 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 641369 491632 2432 1147 0 628796 0
Current children cumulated CPU time: 160.76 s
Current children cumulated vsize: 2569668 KiB
Current children cumulated memory: 1969600 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/282 72336
/proc/meminfo: memFree=77996632/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=2567120 memory=1968704 CPUtime=220.62 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 336467 0 0 0 20794 1268 0 0 20 0 1 0 66180257 2628730880 492176 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
################
# More data... #
################
Current children cumulated memory: 6256880 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.19 4.13 5/274 72604
/proc/meminfo: memFree=3117972/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6256240 CPUtime=3332.19 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2735463 0 0 0 327272 5947 0 0 20 0 1 0 66180257 7618441216 1564060 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1564060 2432 1147 0 1847398 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6259312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/273 72606
/proc/meminfo: memFree=1174672/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6256496 CPUtime=3392.03 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2735711 0 0 0 333153 6050 0 0 20 0 1 0 66180257 7618441216 1564124 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1564124 2432 1147 0 1847398 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6259568 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.13 5/274 72609
/proc/meminfo: memFree=1292496/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6257008 CPUtime=3451.89 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2735901 0 0 0 338633 6556 0 0 20 0 1 0 66180257 7618441216 1564252 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1564252 2432 1147 0 1847398 0
Current children cumulated CPU time: 3451.89 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6260080 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/274 72611
/proc/meminfo: memFree=1298296/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6257648 CPUtime=3511.74 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2736480 0 0 0 344514 6660 0 0 20 0 1 0 66180257 7618441216 1564412 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1564412 2432 1147 0 1847398 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6260720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.00 4.14 4.12 4/267 72643
/proc/meminfo: memFree=71892184/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6258544 CPUtime=3571.58 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2736618 0 0 0 350404 6754 0 0 20 0 1 0 66180257 7618441216 1564636 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1564636 2432 1147 0 1847398 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6261616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 3.78 4.08 4.10 4/266 72644
/proc/meminfo: memFree=71180484/131249988 swapFree=33010160/33010684
[pid=72297] ppid=72294 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/72297/stat : 72297 (run-opt-log.sh) S 72294 72297 71409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66180256 4292608 768 18446744073709551615 93999997804544 93999998699077 140721778791312 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93999998938128 93999998985872 94000010686464 140721778792737 140721778792932 140721778792932 140721778798534 0
/proc/72297/statm: 1048 768 704 219 0 110 0
[pid=72299] ppid=72297 vsize=7439884 memory=6261616 CPUtime=3600.01 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72297 72297 71409 0 -1 4194304 2736643 0 0 0 353200 6801 0 0 20 0 1 0 66180257 7618441216 1565404 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1565404 2432 1147 0 1847398 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 7444076 KiB
Current children cumulated memory: 6264688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 72297 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001183 s, system=0.001175 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 3.71 4.06 4.09 3/265 72644
/proc/meminfo: memFree=71160324/131249988 swapFree=33010160/33010684
[pid=72299] ppid=72294 vsize=7439884 memory=6265968 CPUtime=3600.51 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72294 72297 71409 0 -1 4194304 2736647 0 1 0 353200 6851 0 0 20 0 1 0 66180257 7618441216 1566492 18446744073709551615 4227072 8923433 140721541986080 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 9
/proc/72299/statm: 1859971 1566492 2496 1147 0 1847398 0
??? kill 72299 sig 9
??? end of watcher thread
[startup+3616.36 s]
# the end of solver process 72299 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3532.01 s, system=68.9567 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 3.71 4.06 4.09 4/265 72644
/proc/meminfo: memFree=71172348/131249988 swapFree=33010160/33010684
[pid=72299] ppid=72294 vsize=7439884 memory=6261872 CPUtime=3600.38 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72294 72297 71409 0 -1 4194304 2736647 0 1 0 353200 6838 0 0 20 0 1 0 66180257 7618441216 1565468 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1565468 2496 1147 0 1847398 0
Current cumulated CPU time of completed processes: 0.002358 s
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 7439884 KiB
Current children cumulated memory: 6261872 KiB
[startup+3612 s]*
/proc/loadavg: 3.71 4.06 4.09 3/265 72644
/proc/meminfo: memFree=71155520/131249988 swapFree=33010160/33010684
[pid=72299] ppid=72294 vsize=7439884 memory=6261872 CPUtime=3600.45 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72294 72297 71409 0 -1 4194304 2736647 0 1 0 353200 6845 0 0 20 0 1 0 66180257 7618441216 1565468 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1565468 2496 1147 0 1847398 0
Current cumulated CPU time of completed processes: 0.002358 s
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 7439884 KiB
Current children cumulated memory: 6261872 KiB
[startup+3612.4 s]
/proc/loadavg: 3.71 4.06 4.09 3/265 72644
/proc/meminfo: memFree=71155520/131249988 swapFree=33010160/33010684
[pid=72299] ppid=72294 vsize=7439884 memory=6265968 CPUtime=3600.48 cores=1,3
/proc/72299/stat : 72299 (roundingsat) D 72294 72297 71409 0 -1 4194304 2736647 0 1 0 353200 6848 0 0 20 0 1 0 66180257 7618441216 1566492 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1566492 2496 1147 0 1847398 0
Current cumulated CPU time of completed processes: 0.002358 s
Current children cumulated CPU time: 3600.48 s
Current children cumulated vsize: 7439884 KiB
Current children cumulated memory: 6265968 KiB
[startup+3612.8 s]
/proc/loadavg: 3.71 4.06 4.09 3/265 72644
/proc/meminfo: memFree=71155520/131249988 swapFree=33010160/33010684
[pid=72299] ppid=72294 vsize=7439884 memory=6265968 CPUtime=3600.51 cores=1,3
/proc/72299/stat : 72299 (roundingsat) R 72294 72297 71409 0 -1 4194304 2736647 0 1 0 353200 6851 0 0 20 0 1 0 66180257 7618441216 1566492 18446744073709551615 4227072 8923433 140721541986080 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42012672 140721541990738 140721541990952 140721541990952 140721541996522 0
/proc/72299/statm: 1859971 1566492 2496 1147 0 1847398 0
Current cumulated CPU time of completed processes: 0.002358 s
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 7439884 KiB
Current children cumulated memory: 6265968 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3616.36
CPU time (s): 3600.97
CPU user time (s): 3532.01
CPU system time (s): 68.9567
CPU usage (%): 99.5745
Max. virtual memory (cumulated for all children) (KiB): 7444076
Max. memory (cumulated for all children) (KiB): 6265968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.01
system time used= 68.9567
maximum resident set size= 6265968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2736853
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 130986632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117584
involuntary context switches= 8399
# summary of solver processes directly reported to runsolver:
# pid: 72297,72299
# total CPU time (s): 3600.97
# total CPU user time (s): 3532.01
# total CPU system time (s): 68.9567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36188 second user time and 16.4722 second system time
The end
Begin job on nodeC020 at 2025-07-03 03:10:27
IDJOB=4506643
IDBENCH=158251
IDSOLVER=3351
FILE ID=nodeC020/4506643-1751505027
RUNJOBID= nodeC020-1751497800-71421
SLURM_JOB_ID= 9598575
Free space on /tmp= 431620 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-4.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506643-1751505027/watcher-4506643-1751505027 -o /tmp/evaluation-result-4506643-1751505027/solver-4506643-1751505027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506643-1751505027.opb PROOFDIR/proof-4506643-1751505027
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a611e721b3043835272268c4e4584094
RANDOM SEED=1049208496
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.884
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.881
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.226
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.006
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3595.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 84945928 kB
MemAvailable: 123475876 kB
Buffers: 2128 kB
Cached: 39288224 kB
SwapCached: 12 kB
Active: 6601240 kB
Inactive: 38752592 kB
Active(anon): 6056500 kB
Inactive(anon): 25084 kB
Active(file): 544740 kB
Inactive(file): 38727508 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 6992380 kB
Writeback: 20 kB
AnonPages: 6066108 kB
Mapped: 113740 kB
Shmem: 18040 kB
KReclaimable: 193880 kB
Slab: 502940 kB
SReclaimable: 193880 kB
SUnreclaim: 309060 kB
KernelStack: 4416 kB
PageTables: 16776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 7698868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150728 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1486848 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-03 04:10:43