0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.58/1.61 c #variables 79993 #constraints 307974
1.58/1.61 c objective is ce32
1.58/1.63 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.58/1.63 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.58/1.63 c GLOBAL bounds - >= 0 @ 1.29524
1.67/1.70 c GLOBAL bounds - >= 0 @ 1.32346
1.67/1.71 c GLOBAL bounds - >= 346 @ 1.32439
2.67/2.77 c GLOBAL bounds - >= 346 @ 2.3397
2.77/2.85 c GLOBAL bounds - >= 346 @ 2.35784
2.77/2.86 c GLOBAL bounds - >= 346 @ 2.36097
2.86/2.93 c GLOBAL bounds - >= 346 @ 2.39258
2.86/2.94 c GLOBAL bounds - >= 346 @ 2.39448
2.97/3.01 c GLOBAL bounds - >= 346 @ 2.42178
2.97/3.02 c GLOBAL bounds - >= 346 @ 2.42387
2.97/3.09 c GLOBAL bounds - >= 346 @ 2.45838
2.97/3.10 c GLOBAL bounds - >= 346 @ 2.46133
3.08/3.18 c GLOBAL bounds - >= 346 @ 2.48656
3.08/3.18 c GLOBAL bounds - >= 346 @ 2.49078
3.17/3.26 c GLOBAL bounds - >= 346 @ 2.51256
3.17/3.26 c GLOBAL bounds - >= 346 @ 2.51652
3.26/3.34 c GLOBAL bounds - >= 346 @ 2.54168
3.26/3.34 c GLOBAL bounds - >= 346 @ 2.54576
3.36/3.42 c GLOBAL bounds - >= 346 @ 2.57597
3.36/3.43 c GLOBAL bounds - >= 346 @ 2.58009
3.46/3.50 c GLOBAL bounds - >= 346 @ 2.60835
3.46/3.51 c GLOBAL bounds - >= 346 @ 2.61249
3.46/3.58 c GLOBAL bounds - >= 346 @ 2.64412
3.56/3.67 c GLOBAL bounds - >= 346 @ 2.68649
3.67/3.75 c GLOBAL bounds - >= 346 @ 2.72414
3.67/3.77 c GLOBAL bounds - >= 3074 @ 2.74055
3.67/3.78 c GLOBAL bounds - >= 3074 @ 2.75214
3.67/3.79 c GLOBAL bounds - >= 3074 @ 2.75379
3.76/3.86 c GLOBAL bounds - >= 3074 @ 2.78816
3.76/3.87 c GLOBAL bounds - >= 3074 @ 2.79279
3.86/3.94 c GLOBAL bounds - >= 3074 @ 2.82556
3.86/3.95 c GLOBAL bounds - >= 3074 @ 2.82877
3.98/4.03 c GLOBAL bounds - >= 3074 @ 2.85516
3.98/4.03 c GLOBAL bounds - >= 3074 @ 2.85806
4.07/4.11 c GLOBAL bounds - >= 3074 @ 2.88347
4.07/4.11 c GLOBAL bounds - >= 3074 @ 2.88552
4.07/4.19 c GLOBAL bounds - >= 3074 @ 2.91366
4.16/4.20 c GLOBAL bounds - >= 3074 @ 2.91654
4.16/4.27 c GLOBAL bounds - >= 3074 @ 2.94959
4.16/4.28 c GLOBAL bounds - >= 3074 @ 2.95166
4.26/4.36 c GLOBAL bounds - >= 3074 @ 2.97645
4.26/4.37 c GLOBAL bounds - >= 3074 @ 2.97886
4.36/4.44 c GLOBAL bounds - >= 3074 @ 3.01399
4.36/4.45 c GLOBAL bounds - >= 3074 @ 3.01529
4.47/4.53 c GLOBAL bounds - >= 3074 @ 3.04057
4.47/4.53 c GLOBAL bounds - >= 3074 @ 3.04485
4.56/4.61 c GLOBAL bounds - >= 3074 @ 3.07022
4.56/4.68 c GLOBAL bounds - >= 3074 @ 3.10017
4.66/4.76 c GLOBAL bounds - >= 3074 @ 3.1292
4.76/4.85 c GLOBAL bounds - >= 3074 @ 3.16446
4.86/4.93 c GLOBAL bounds - >= 3074 @ 3.20207
4.97/5.02 c GLOBAL bounds - >= 3074 @ 3.24073
4.97/5.05 c GLOBAL bounds - >= 5120 @ 3.27411
4.97/5.07 c GLOBAL bounds - >= 5120 @ 3.28445
4.97/5.07 c GLOBAL bounds - >= 5120 @ 3.28731
5.07/5.15 c GLOBAL bounds - >= 5120 @ 3.31387
5.07/5.15 c GLOBAL bounds - >= 5120 @ 3.31627
5.16/5.23 c GLOBAL bounds - >= 5120 @ 3.34602
5.16/5.24 c GLOBAL bounds - >= 5120 @ 3.34942
5.27/5.31 c GLOBAL bounds - >= 5120 @ 3.37804
5.27/5.32 c GLOBAL bounds - >= 5120 @ 3.38246
5.27/5.39 c GLOBAL bounds - >= 5120 @ 3.40615
5.36/5.40 c GLOBAL bounds - >= 5120 @ 3.40983
5.36/5.47 c GLOBAL bounds - >= 5120 @ 3.43808
5.36/5.48 c GLOBAL bounds - >= 5120 @ 3.44353
5.47/5.56 c GLOBAL bounds - >= 5120 @ 3.47605
5.47/5.57 c GLOBAL bounds - >= 5120 @ 3.48058
5.56/5.64 c GLOBAL bounds - >= 5120 @ 3.50304
5.56/5.65 c GLOBAL bounds - >= 5120 @ 3.50581
5.66/5.73 c GLOBAL bounds - >= 5120 @ 3.54043
5.66/5.74 c GLOBAL bounds - >= 5120 @ 3.54237
5.76/5.82 c GLOBAL bounds - >= 5120 @ 3.5745
5.76/5.82 c GLOBAL bounds - >= 5120 @ 3.57863
5.86/5.90 c GLOBAL bounds - >= 5120 @ 3.60729
5.86/5.98 c GLOBAL bounds - >= 5120 @ 3.62922
5.97/6.06 c GLOBAL bounds - >= 5120 @ 3.67333
6.07/6.16 c GLOBAL bounds - >= 5120 @ 3.72312
6.16/6.25 c GLOBAL bounds - >= 5120 @ 3.77361
6.27/6.34 c GLOBAL bounds - >= 5120 @ 3.81598
6.37/6.44 c GLOBAL bounds - >= 5120 @ 3.86432
6.37/6.49 c GLOBAL bounds - >= 6826 @ 3.90596
6.46/6.51 c GLOBAL bounds - >= 6826 @ 3.92058
6.46/6.58 c GLOBAL bounds - >= 6826 @ 3.9577
6.46/6.59 c GLOBAL bounds - >= 6826 @ 3.9609
6.56/6.67 c GLOBAL bounds - >= 6826 @ 3.99376
6.56/6.68 c GLOBAL bounds - >= 6826 @ 3.99743
6.66/6.75 c GLOBAL bounds - >= 6826 @ 4.02552
6.66/6.76 c GLOBAL bounds - >= 6826 @ 4.02685
6.76/6.84 c GLOBAL bounds - >= 6826 @ 4.05656
6.76/6.85 c GLOBAL bounds - >= 6826 @ 4.06279
6.86/6.93 c GLOBAL bounds - >= 6826 @ 4.09873
6.86/6.95 c GLOBAL bounds - >= 6826 @ 4.10455
6.97/7.03 c GLOBAL bounds - >= 6826 @ 4.1315
6.97/7.04 c GLOBAL bounds - >= 6826 @ 4.13672
7.07/7.12 c GLOBAL bounds - >= 6826 @ 4.16625
7.07/7.13 c GLOBAL bounds - >= 6826 @ 4.17352
7.16/7.21 c GLOBAL bounds - >= 6826 @ 4.20278
7.16/7.22 c GLOBAL bounds - >= 6826 @ 4.20844
7.26/7.30 c GLOBAL bounds - >= 6826 @ 4.22867
7.26/7.31 c GLOBAL bounds - >= 6826 @ 4.23548
7.26/7.39 c GLOBAL bounds - >= 6826 @ 4.25706
7.46/7.50 c GLOBAL bounds - >= 6826 @ 4.31647
7.56/7.60 c GLOBAL bounds - >= 6826 @ 4.36861
7.56/7.66 c GLOBAL bounds - >= 9214 @ 4.42256
7.56/7.69 c GLOBAL bounds - >= 9214 @ 4.44993
7.66/7.77 c GLOBAL bounds - >= 9214 @ 4.47493
7.66/7.78 c GLOBAL bounds - >= 9214 @ 4.48086
7.76/7.86 c GLOBAL bounds - >= 9214 @ 4.50967
7.76/7.87 c GLOBAL bounds - >= 9214 @ 4.51793
7.86/7.95 c GLOBAL bounds - >= 9214 @ 4.55345
7.86/7.96 c GLOBAL bounds - >= 9214 @ 4.5572
7.96/8.04 c GLOBAL bounds - >= 9214 @ 4.59266
7.96/8.05 c GLOBAL bounds - >= 9214 @ 4.59859
8.06/8.13 c GLOBAL bounds - >= 9214 @ 4.62397
8.06/8.14 c GLOBAL bounds - >= 9214 @ 4.62793
8.16/8.22 c GLOBAL bounds - >= 9214 @ 4.66048
8.16/8.23 c GLOBAL bounds - >= 9214 @ 4.66449
8.26/8.31 c GLOBAL bounds - >= 9214 @ 4.69167
8.26/8.33 c GLOBAL bounds - >= 9214 @ 4.69867
8.35/8.41 c GLOBAL bounds - >= 9214 @ 4.73423
8.35/8.42 c GLOBAL bounds - >= 9214 @ 4.74339
8.45/8.50 c GLOBAL bounds - >= 9214 @ 4.76964
8.45/8.51 c GLOBAL bounds - >= 9214 @ 4.77773
8.45/8.59 c GLOBAL bounds - >= 9214 @ 4.80171
8.56/8.69 c GLOBAL bounds - >= 9214 @ 4.84771
8.76/8.81 c GLOBAL bounds - >= 9214 @ 4.9184
8.86/8.95 c GLOBAL bounds - >= 9214 @ 4.99076
8.97/9.07 c GLOBAL bounds - >= 9214 @ 5.05401
9.06/9.18 c GLOBAL bounds - >= 9214 @ 5.12056
9.26/9.30 c GLOBAL bounds - >= 9214 @ 5.18483
9.35/9.42 c GLOBAL bounds - >= 9214 @ 5.25506
9.35/9.48 c GLOBAL bounds - >= 10578 @ 5.31355
9.46/9.50 c GLOBAL bounds - >= 10578 @ 5.32523
9.46/9.51 c GLOBAL bounds - >= 10578 @ 5.32788
9.46/9.52 c GLOBAL bounds - >= 10578 @ 5.33188
9.55/9.60 c GLOBAL bounds - >= 10578 @ 5.35783
9.55/9.61 c GLOBAL bounds - >= 10578 @ 5.36242
9.55/9.69 c GLOBAL bounds - >= 10578 @ 5.38517
9.66/9.70 c GLOBAL bounds - >= 10578 @ 5.39323
9.66/9.78 c GLOBAL bounds - >= 10578 @ 5.42289
9.66/9.79 c GLOBAL bounds - >= 10578 @ 5.4295
9.76/9.88 c GLOBAL bounds - >= 10578 @ 5.45685
9.76/9.89 c GLOBAL bounds - >= 10578 @ 5.46302
9.85/9.97 c GLOBAL bounds - >= 10578 @ 5.49022
9.85/9.98 c GLOBAL bounds - >= 10578 @ 5.49467
9.96/10.06 c GLOBAL bounds - >= 10578 @ 5.53217
9.96/10.07 c GLOBAL bounds - >= 10578 @ 5.5379
10.06/10.15 c GLOBAL bounds - >= 10578 @ 5.56464
10.06/10.16 c GLOBAL bounds - >= 10578 @ 5.57286
10.16/10.24 c GLOBAL bounds - >= 10578 @ 5.60156
10.16/10.26 c GLOBAL bounds - >= 10578 @ 5.60947
10.25/10.34 c GLOBAL bounds - >= 10578 @ 5.63957
10.25/10.35 c GLOBAL bounds - >= 10578 @ 5.64722
10.35/10.43 c GLOBAL bounds - >= 10578 @ 5.6655
10.45/10.51 c GLOBAL bounds - >= 10578 @ 5.68952
10.45/10.59 c GLOBAL bounds - >= 10578 @ 5.71772
10.56/10.67 c GLOBAL bounds - >= 10578 @ 5.75202
10.75/10.80 c GLOBAL bounds - >= 10578 @ 5.82062
10.86/10.93 c GLOBAL bounds - >= 10578 @ 5.90518
10.96/11.07 c GLOBAL bounds - >= 10578 @ 5.99154
11.06/11.17 c GLOBAL bounds - >= 11262 @ 6.07092
11.15/11.20 c GLOBAL bounds - >= 11262 @ 6.09229
11.15/11.21 c GLOBAL bounds - >= 11262 @ 6.09985
11.15/11.29 c GLOBAL bounds - >= 11262 @ 6.12797
11.26/11.31 c GLOBAL bounds - >= 11262 @ 6.1349
11.26/11.39 c GLOBAL bounds - >= 11262 @ 6.15958
11.35/11.40 c GLOBAL bounds - >= 11262 @ 6.16627
11.35/11.49 c GLOBAL bounds - >= 11262 @ 6.19049
11.45/11.50 c GLOBAL bounds - >= 11262 @ 6.19768
11.45/11.58 c GLOBAL bounds - >= 11262 @ 6.22834
11.55/11.60 c GLOBAL bounds - >= 11262 @ 6.2345
11.55/11.67 c GLOBAL bounds - >= 11262 @ 6.25815
11.55/11.69 c GLOBAL bounds - >= 11262 @ 6.26386
11.65/11.77 c GLOBAL bounds - >= 11262 @ 6.29051
11.65/11.78 c GLOBAL bounds - >= 11262 @ 6.29693
11.75/11.86 c GLOBAL bounds - >= 11262 @ 6.32372
11.75/11.88 c GLOBAL bounds - >= 11262 @ 6.33303
11.86/11.96 c GLOBAL bounds - >= 11262 @ 6.37197
11.86/11.97 c GLOBAL bounds - >= 11262 @ 6.37809
11.96/12.05 c GLOBAL bounds - >= 11262 @ 6.41602
11.96/12.06 c GLOBAL bounds - >= 11262 @ 6.42403
12.06/12.14 c GLOBAL bounds - >= 11262 @ 6.45191
12.15/12.22 c GLOBAL bounds - >= 11262 @ 6.47597
12.25/12.30 c GLOBAL bounds - >= 11262 @ 6.50032
12.25/12.38 c GLOBAL bounds - >= 11262 @ 6.53597
12.35/12.46 c GLOBAL bounds - >= 11262 @ 6.56839
12.46/12.56 c GLOBAL bounds - >= 11262 @ 6.62217
12.65/12.73 c GLOBAL bounds - >= 11262 @ 6.72978
12.85/12.97 c GLOBAL bounds - >= 11262 @ 6.90906
13.06/13.10 c GLOBAL bounds - >= 11262 @ 6.99197
13.06/13.17 c GLOBAL bounds - >= 12285 @ 7.05988
13.15/13.20 c GLOBAL bounds - >= 12285 @ 7.08641
13.15/13.21 c GLOBAL bounds - >= 12285 @ 7.09376
13.15/13.23 c GLOBAL bounds - >= 12285 @ 7.09916
13.15/13.24 c GLOBAL bounds - >= 12285 @ 7.10393
13.15/13.25 c GLOBAL bounds - >= 12285 @ 7.10997
13.15/13.26 c GLOBAL bounds - >= 12285 @ 7.11561
13.25/13.38 c GLOBAL bounds - >= 12285 @ 7.18323
13.25/13.39 c GLOBAL bounds - >= 12285 @ 7.18638
13.35/13.47 c GLOBAL bounds - >= 12285 @ 7.2137
13.35/13.48 c GLOBAL bounds - >= 12285 @ 7.22129
13.45/13.56 c GLOBAL bounds - >= 12285 @ 7.25023
13.45/13.57 c GLOBAL bounds - >= 12285 @ 7.2545
13.55/13.65 c GLOBAL bounds - >= 12285 @ 7.27801
13.55/13.66 c GLOBAL bounds - >= 12285 @ 7.28464
13.64/13.74 c GLOBAL bounds - >= 12285 @ 7.31537
13.64/13.75 c GLOBAL bounds - >= 12285 @ 7.32134
13.75/13.83 c GLOBAL bounds - >= 12285 @ 7.34871
13.75/13.85 c GLOBAL bounds - >= 12285 @ 7.35128
13.85/13.93 c GLOBAL bounds - >= 12285 @ 7.3831
13.85/13.94 c GLOBAL bounds - >= 12285 @ 7.3893
13.96/14.02 c GLOBAL bounds - >= 12285 @ 7.41695
13.96/14.04 c GLOBAL bounds - >= 12285 @ 7.42404
14.06/14.12 c GLOBAL bounds - >= 12285 @ 7.45692
14.06/14.13 c GLOBAL bounds - >= 12285 @ 7.46529
14.15/14.21 c GLOBAL bounds - >= 12285 @ 7.50396
14.15/14.29 c GLOBAL bounds - >= 12285 @ 7.52682
14.24/14.37 c GLOBAL bounds - >= 12285 @ 7.5504
14.35/14.45 c GLOBAL bounds - >= 12285 @ 7.57885
14.44/14.55 c GLOBAL bounds - >= 12285 @ 7.62519
14.54/14.64 c GLOBAL bounds - >= 12285 @ 7.66451
14.65/14.73 c GLOBAL bounds - >= 12285 @ 7.7089
14.75/14.84 c GLOBAL bounds - >= 12285 @ 7.7684
14.85/14.92 c GLOBAL bounds - >= 12285 @ 7.80168
14.95/15.04 c GLOBAL bounds - >= 12285 @ 7.86589
15.05/15.12 c GLOBAL bounds - >= 12285 @ 7.89903
15.45/15.51 c GLOBAL bounds - >= 12289 @ 8.26853
15.45/15.54 c GLOBAL bounds - >= 12289 @ 8.28743
15.45/15.55 c GLOBAL bounds - >= 12289 @ 8.29564
15.45/15.57 c GLOBAL bounds - >= 12289 @ 8.30215
16.24/16.36 c #Conflicts: 1000 | #Constraints: 1311
16.24/16.36 c GLOBAL bounds - >= 12289 @ 8.98687
16.24/16.38 c GLOBAL bounds - >= 12289 @ 8.99167
16.35/16.46 c GLOBAL bounds - >= 12289 @ 9.02068
16.35/16.47 c GLOBAL bounds - >= 12289 @ 9.02357
16.45/16.59 c GLOBAL bounds - >= 12289 @ 9.10032
16.55/16.61 c GLOBAL bounds - >= 12289 @ 9.10653
16.75/16.86 c GLOBAL bounds - >= 12289 @ 9.2906
16.75/16.87 c GLOBAL bounds - >= 12289 @ 9.29551
16.84/16.95 c GLOBAL bounds - >= 12289 @ 9.32484
16.84/16.97 c GLOBAL bounds - >= 12289 @ 9.33228
16.95/17.05 c GLOBAL bounds - >= 12289 @ 9.36251
16.95/17.06 c GLOBAL bounds - >= 12289 @ 9.36716
17.05/17.14 c GLOBAL bounds - >= 12289 @ 9.39563
17.05/17.15 c GLOBAL bounds - >= 12289 @ 9.40396
17.14/17.23 c GLOBAL bounds - >= 12289 @ 9.43015
17.14/17.25 c GLOBAL bounds - >= 12289 @ 9.43707
17.25/17.33 c GLOBAL bounds - >= 12289 @ 9.47316
17.25/17.34 c GLOBAL bounds - >= 12289 @ 9.478
17.34/17.42 c GLOBAL bounds - >= 12289 @ 9.50307
17.45/17.50 c GLOBAL bounds - >= 12289 @ 9.53071
17.45/17.58 c GLOBAL bounds - >= 12289 @ 9.56912
17.54/17.66 c GLOBAL bounds - >= 12289 @ 9.60183
17.64/17.75 c GLOBAL bounds - >= 12289 @ 9.6358
17.84/17.93 c GLOBAL bounds - >= 12289 @ 9.7553
17.95/18.01 c GLOBAL bounds - >= 12289 @ 9.78911
18.05/18.10 c GLOBAL bounds - >= 12289 @ 9.83423
128.88/129.22 c #Conflicts: 2000 | #Constraints: 2345
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 3000 | #Constraints: 2333
128.88/129.22 c #Conflicts: 4000 | #Constraints: 3333
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 5000 | #Constraints: 2750
128.88/129.22 c #Conflicts: 6000 | #Constraints: 3750
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 7000 | #Constraints: 2768
128.88/129.22 c #Conflicts: 8000 | #Constraints: 3768
128.88/129.22 c #Conflicts: 9000 | #Constraints: 4768
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 10000 | #Constraints: 3479
128.88/129.22 c #Conflicts: 11000 | #Constraints: 4479
128.88/129.22 c #Conflicts: 12000 | #Constraints: 5479
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 13000 | #Constraints: 3935
128.88/129.22 c #Conflicts: 14000 | #Constraints: 4935
128.88/129.22 c #Conflicts: 15000 | #Constraints: 5935
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 16000 | #Constraints: 4165
128.88/129.22 c #Conflicts: 17000 | #Constraints: 5165
128.88/129.22 c #Conflicts: 18000 | #Constraints: 6165
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 19000 | #Constraints: 4183
128.88/129.22 c #Conflicts: 20000 | #Constraints: 5183
128.88/129.22 c #Conflicts: 21000 | #Constraints: 6183
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 22000 | #Constraints: 3982
128.88/129.22 c #Conflicts: 23000 | #Constraints: 4982
128.88/129.22 c #Conflicts: 24000 | #Constraints: 5982
128.88/129.22 c #Conflicts: 25000 | #Constraints: 6982
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 26000 | #Constraints: 4584
128.88/129.22 c #Conflicts: 27000 | #Constraints: 5584
128.88/129.22 c #Conflicts: 28000 | #Constraints: 6584
128.88/129.22 c #Conflicts: 29000 | #Constraints: 7584
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 30000 | #Constraints: 4993
128.88/129.22 c #Conflicts: 31000 | #Constraints: 5993
128.88/129.22 c #Conflicts: 32000 | #Constraints: 6993
128.88/129.22 c #Conflicts: 33000 | #Constraints: 7993
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 34000 | #Constraints: 5192
128.88/129.22 c #Conflicts: 35000 | #Constraints: 6192
128.88/129.22 c #Conflicts: 36000 | #Constraints: 7192
128.88/129.22 c #Conflicts: 37000 | #Constraints: 8192
128.88/129.22 c INPROCESSING
128.88/129.22 c GARBAGE COLLECT
128.88/129.22 c #Conflicts: 38000 | #Constraints: 5192
128.88/129.22 c GLOBAL bounds - >= 12291 @ 119.686
128.88/129.25 c GLOBAL bounds - >= 12291 @ 119.703
128.88/129.26 c GLOBAL bounds - >= 12291 @ 119.709
128.88/129.27 c GLOBAL bounds - >= 12291 @ 119.715
128.98/129.35 c GLOBAL bounds - >= 12291 @ 119.758
128.98/129.36 c GLOBAL bounds - >= 12291 @ 119.764
129.08/129.44 c GLOBAL bounds - >= 12291 @ 119.793
129.08/129.46 c GLOBAL bounds - >= 12291 @ 119.801
129.18/129.54 c GLOBAL bounds - >= 12291 @ 119.827
129.18/129.55 c GLOBAL bounds - >= 12291 @ 119.838
129.28/129.63 c GLOBAL bounds - >= 12291 @ 119.868
129.28/129.65 c GLOBAL bounds - >= 12291 @ 119.871
129.37/129.73 c GLOBAL bounds - >= 12291 @ 119.898
129.37/129.74 c GLOBAL bounds - >= 12291 @ 119.903
129.48/129.82 c GLOBAL bounds - >= 12291 @ 119.933
129.48/129.83 c GLOBAL bounds - >= 12291 @ 119.94
129.58/129.91 c GLOBAL bounds - >= 12291 @ 119.971
129.58/129.93 c GLOBAL bounds - >= 12291 @ 119.978
129.68/130.01 c GLOBAL bounds - >= 12291 @ 120.008
129.68/130.02 c GLOBAL bounds - >= 12291 @ 120.017
129.79/130.10 c GLOBAL bounds - >= 12291 @ 120.041
129.79/130.11 c GLOBAL bounds - >= 12291 @ 120.045
129.79/130.19 c GLOBAL bounds - >= 12291 @ 120.068
129.88/130.27 c GLOBAL bounds - >= 12291 @ 120.1
129.98/130.36 c GLOBAL bounds - >= 12291 @ 120.132
130.08/130.45 c GLOBAL bounds - >= 12291 @ 120.178
130.27/130.60 c GLOBAL bounds - >= 12291 @ 120.283
130.38/130.73 c GLOBAL bounds - >= 12291 @ 120.356
130.58/130.93 c GLOBAL bounds - >= 12291 @ 120.515
132.27/132.61 c #Conflicts: 39000 | #Constraints: 6244
132.27/132.61 c GLOBAL bounds - >= 12291 @ 122.126
132.58/132.93 c GLOBAL bounds - >= 12291 @ 122.391
145.54/145.92 c #Conflicts: 40000 | #Constraints: 7244
145.54/145.92 c #Conflicts: 41000 | #Constraints: 8244
145.54/145.92 c INPROCESSING
145.54/145.92 c GARBAGE COLLECT
145.54/145.92 c #Conflicts: 42000 | #Constraints: 5011
145.54/145.92 c #Conflicts: 43000 | #Constraints: 6011
145.54/145.92 c #Conflicts: 44000 | #Constraints: 7011
145.54/145.92 c #Conflicts: 45000 | #Constraints: 8011
145.54/145.92 c GLOBAL bounds - >= 12291 @ 135.249
163.00/163.49 c #Conflicts: 46000 | #Constraints: 9011
163.00/163.49 c INPROCESSING
163.00/163.49 c GARBAGE COLLECT
163.00/163.49 c #Conflicts: 47000 | #Constraints: 5613
163.00/163.49 c #Conflicts: 48000 | #Constraints: 6613
163.00/163.49 c #Conflicts: 49000 | #Constraints: 7613
163.00/163.49 c #Conflicts: 50000 | #Constraints: 8613
163.00/163.49 c #Conflicts: 51000 | #Constraints: 9613
163.00/163.49 c INPROCESSING
163.00/163.49 c GARBAGE COLLECT
163.00/163.49 c #Conflicts: 52000 | #Constraints: 6028
163.00/163.49 c GLOBAL bounds - >= 13314 @ 152.723
163.10/163.53 c GLOBAL bounds - >= 13314 @ 152.749
163.10/163.54 c GLOBAL bounds - >= 13314 @ 152.757
163.10/163.55 c GLOBAL bounds - >= 13314 @ 152.765
163.10/163.57 c GLOBAL bounds - >= 13314 @ 152.769
163.10/163.58 c GLOBAL bounds - >= 13314 @ 152.775
163.20/163.66 c GLOBAL bounds - >= 13314 @ 152.802
163.20/163.67 c GLOBAL bounds - >= 13314 @ 152.813
163.30/163.75 c GLOBAL bounds - >= 13314 @ 152.84
163.30/163.76 c GLOBAL bounds - >= 13314 @ 152.846
163.40/163.84 c GLOBAL bounds - >= 13314 @ 152.873
163.40/163.86 c GLOBAL bounds - >= 13314 @ 152.882
163.50/163.93 c GLOBAL bounds - >= 13314 @ 152.916
163.50/163.95 c GLOBAL bounds - >= 13314 @ 152.925
163.61/164.03 c GLOBAL bounds - >= 13314 @ 152.952
163.61/164.04 c GLOBAL bounds - >= 13314 @ 152.957
163.70/164.12 c GLOBAL bounds - >= 13314 @ 152.985
163.70/164.14 c GLOBAL bounds - >= 13314 @ 152.994
163.80/164.22 c GLOBAL bounds - >= 13314 @ 153.025
163.80/164.23 c GLOBAL bounds - >= 13314 @ 153.033
163.90/164.31 c GLOBAL bounds - >= 13314 @ 153.065
163.90/164.33 c GLOBAL bounds - >= 13314 @ 153.075
164.00/164.41 c GLOBAL bounds - >= 13314 @ 153.107
164.00/164.43 c GLOBAL bounds - >= 13314 @ 153.119
164.10/164.51 c GLOBAL bounds - >= 13314 @ 153.155
164.10/164.59 c GLOBAL bounds - >= 13314 @ 153.182
164.20/164.68 c GLOBAL bounds - >= 13314 @ 153.227
164.30/164.78 c GLOBAL bounds - >= 13314 @ 153.264
164.40/164.87 c GLOBAL bounds - >= 13314 @ 153.309
164.60/165.02 c GLOBAL bounds - >= 13314 @ 153.412
164.70/165.15 c GLOBAL bounds - >= 13314 @ 153.49
164.80/165.24 c GLOBAL bounds - >= 13314 @ 153.52
164.90/165.33 c GLOBAL bounds - >= 13314 @ 153.569
164.99/165.42 c GLOBAL bounds - >= 13314 @ 153.602
165.09/165.52 c GLOBAL bounds - >= 13314 @ 153.66
165.20/165.66 c GLOBAL bounds - >= 13314 @ 153.755
165.40/165.80 c GLOBAL bounds - >= 13314 @ 153.846
167.79/168.25 c #Conflicts: 53000 | #Constraints: 7058
167.79/168.25 c GLOBAL bounds - >= 13655 @ 156.255
167.79/168.27 c GLOBAL bounds - >= 13655 @ 156.273
167.79/168.29 c GLOBAL bounds - >= 13655 @ 156.28
167.88/168.30 c GLOBAL bounds - >= 13655 @ 156.293
167.88/168.38 c GLOBAL bounds - >= 13655 @ 156.318
167.88/168.39 c GLOBAL bounds - >= 13655 @ 156.322
167.99/168.47 c GLOBAL bounds - >= 13655 @ 156.354
167.99/168.49 c GLOBAL bounds - >= 13655 @ 156.358
168.09/168.57 c GLOBAL bounds - >= 13655 @ 156.383
168.09/168.58 c GLOBAL bounds - >= 13655 @ 156.391
168.19/168.66 c GLOBAL bounds - >= 13655 @ 156.428
168.19/168.67 c GLOBAL bounds - >= 13655 @ 156.435
168.29/168.75 c GLOBAL bounds - >= 13655 @ 156.462
168.29/168.77 c GLOBAL bounds - >= 13655 @ 156.469
168.39/168.84 c GLOBAL bounds - >= 13655 @ 156.495
168.39/168.86 c GLOBAL bounds - >= 13655 @ 156.502
168.49/168.94 c GLOBAL bounds - >= 13655 @ 156.537
168.49/168.95 c GLOBAL bounds - >= 13655 @ 156.543
168.59/169.03 c GLOBAL bounds - >= 13655 @ 156.571
168.59/169.04 c GLOBAL bounds - >= 13655 @ 156.579
168.69/169.12 c GLOBAL bounds - >= 13655 @ 156.608
168.69/169.14 c GLOBAL bounds - >= 13655 @ 156.612
168.78/169.22 c GLOBAL bounds - >= 13655 @ 156.649
168.89/169.30 c GLOBAL bounds - >= 13655 @ 156.678
168.89/169.38 c GLOBAL bounds - >= 13655 @ 156.705
168.99/169.46 c GLOBAL bounds - >= 13655 @ 156.736
169.08/169.54 c GLOBAL bounds - >= 13655 @ 156.766
169.19/169.62 c GLOBAL bounds - >= 13655 @ 156.794
169.28/169.70 c GLOBAL bounds - >= 13655 @ 156.833
169.28/169.79 c GLOBAL bounds - >= 13655 @ 156.872
169.39/169.88 c GLOBAL bounds - >= 13655 @ 156.909
169.48/169.96 c GLOBAL bounds - >= 13655 @ 156.945
169.59/170.05 c GLOBAL bounds - >= 13655 @ 156.982
169.70/170.14 c GLOBAL bounds - >= 13655 @ 157.021
170.08/170.56 c GLOBAL bounds - >= 13655 @ 157.382
171.58/172.02 c #Conflicts: 54000 | #Constraints: 8100
171.58/172.02 c GLOBAL bounds - >= 13655 @ 158.768
342.18/343.09 c #Conflicts: 55000 | #Constraints: 9100
342.18/343.09 c #Conflicts: 56000 | #Constraints: 10100
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 57000 | #Constraints: 6281
342.18/343.09 c #Conflicts: 58000 | #Constraints: 7281
342.18/343.09 c #Conflicts: 59000 | #Constraints: 8281
342.18/343.09 c #Conflicts: 60000 | #Constraints: 9281
342.18/343.09 c #Conflicts: 61000 | #Constraints: 10281
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 62000 | #Constraints: 6276
342.18/343.09 c #Conflicts: 63000 | #Constraints: 7276
342.18/343.09 c #Conflicts: 64000 | #Constraints: 8276
342.18/343.09 c #Conflicts: 65000 | #Constraints: 9276
342.18/343.09 c #Conflicts: 66000 | #Constraints: 10276
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 67000 | #Constraints: 6083
342.18/343.09 c #Conflicts: 68000 | #Constraints: 7083
342.18/343.09 c #Conflicts: 69000 | #Constraints: 8083
342.18/343.09 c #Conflicts: 70000 | #Constraints: 9083
342.18/343.09 c #Conflicts: 71000 | #Constraints: 10083
342.18/343.09 c #Conflicts: 72000 | #Constraints: 11083
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 73000 | #Constraints: 6696
342.18/343.09 c #Conflicts: 74000 | #Constraints: 7696
342.18/343.09 c #Conflicts: 75000 | #Constraints: 8696
342.18/343.09 c #Conflicts: 76000 | #Constraints: 9696
342.18/343.09 c #Conflicts: 77000 | #Constraints: 10696
342.18/343.09 c #Conflicts: 78000 | #Constraints: 11696
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 79000 | #Constraints: 7096
342.18/343.09 c #Conflicts: 80000 | #Constraints: 8096
342.18/343.09 c #Conflicts: 81000 | #Constraints: 9096
342.18/343.09 c #Conflicts: 82000 | #Constraints: 10096
342.18/343.09 c #Conflicts: 83000 | #Constraints: 11096
342.18/343.09 c #Conflicts: 84000 | #Constraints: 12096
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 85000 | #Constraints: 7280
342.18/343.09 c #Conflicts: 86000 | #Constraints: 8280
342.18/343.09 c #Conflicts: 87000 | #Constraints: 9280
342.18/343.09 c #Conflicts: 88000 | #Constraints: 10280
342.18/343.09 c #Conflicts: 89000 | #Constraints: 11280
342.18/343.09 c #Conflicts: 90000 | #Constraints: 12280
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 91000 | #Constraints: 7305
342.18/343.09 c #Conflicts: 92000 | #Constraints: 8305
342.18/343.09 c #Conflicts: 93000 | #Constraints: 9305
342.18/343.09 c #Conflicts: 94000 | #Constraints: 10305
342.18/343.09 c #Conflicts: 95000 | #Constraints: 11305
342.18/343.09 c #Conflicts: 96000 | #Constraints: 12305
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 97000 | #Constraints: 7100
342.18/343.09 c #Conflicts: 98000 | #Constraints: 8100
342.18/343.09 c #Conflicts: 99000 | #Constraints: 9100
342.18/343.09 c #Conflicts: 100000 | #Constraints: 10100
342.18/343.09 c #Conflicts: 101000 | #Constraints: 11100
342.18/343.09 c #Conflicts: 102000 | #Constraints: 12100
342.18/343.09 c #Conflicts: 103000 | #Constraints: 13100
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 104000 | #Constraints: 7679
342.18/343.09 c #Conflicts: 105000 | #Constraints: 8679
342.18/343.09 c #Conflicts: 106000 | #Constraints: 9679
342.18/343.09 c #Conflicts: 107000 | #Constraints: 10679
342.18/343.09 c #Conflicts: 108000 | #Constraints: 11679
342.18/343.09 c #Conflicts: 109000 | #Constraints: 12679
342.18/343.09 c #Conflicts: 110000 | #Constraints: 13679
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 111000 | #Constraints: 8083
342.18/343.09 c #Conflicts: 112000 | #Constraints: 9083
342.18/343.09 c #Conflicts: 113000 | #Constraints: 10083
342.18/343.09 c #Conflicts: 114000 | #Constraints: 11083
342.18/343.09 c #Conflicts: 115000 | #Constraints: 12083
342.18/343.09 c #Conflicts: 116000 | #Constraints: 13083
342.18/343.09 c #Conflicts: 117000 | #Constraints: 14083
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 118000 | #Constraints: 8297
342.18/343.09 c #Conflicts: 119000 | #Constraints: 9297
342.18/343.09 c #Conflicts: 120000 | #Constraints: 10297
342.18/343.09 c #Conflicts: 121000 | #Constraints: 11297
342.18/343.09 c #Conflicts: 122000 | #Constraints: 12297
342.18/343.09 c #Conflicts: 123000 | #Constraints: 13297
342.18/343.09 c #Conflicts: 124000 | #Constraints: 14297
342.18/343.09 c INPROCESSING
342.18/343.09 c GARBAGE COLLECT
342.18/343.09 c #Conflicts: 125000 | #Constraints: 8288
342.18/343.09 c #Conflicts: 126000 | #Constraints: 9288
537.31/538.66 c #Conflicts: 127000 | #Constraints: 10288
537.31/538.66 c #Conflicts: 128000 | #Constraints: 11288
537.31/538.66 c #Conflicts: 129000 | #Constraints: 12288
537.31/538.66 c #Conflicts: 130000 | #Constraints: 13288
537.31/538.66 c #Conflicts: 131000 | #Constraints: 14288
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 132000 | #Constraints: 8079
537.31/538.66 c #Conflicts: 133000 | #Constraints: 9079
537.31/538.66 c #Conflicts: 134000 | #Constraints: 10079
537.31/538.66 c #Conflicts: 135000 | #Constraints: 11079
537.31/538.66 c #Conflicts: 136000 | #Constraints: 12079
537.31/538.66 c #Conflicts: 137000 | #Constraints: 13079
537.31/538.66 c #Conflicts: 138000 | #Constraints: 14079
537.31/538.66 c #Conflicts: 139000 | #Constraints: 15079
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 140000 | #Constraints: 8692
537.31/538.66 c #Conflicts: 141000 | #Constraints: 9692
537.31/538.66 c #Conflicts: 142000 | #Constraints: 10692
537.31/538.66 c #Conflicts: 143000 | #Constraints: 11692
537.31/538.66 c #Conflicts: 144000 | #Constraints: 12692
537.31/538.66 c #Conflicts: 145000 | #Constraints: 13692
537.31/538.66 c #Conflicts: 146000 | #Constraints: 14692
537.31/538.66 c #Conflicts: 147000 | #Constraints: 15692
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 148000 | #Constraints: 9104
537.31/538.66 c #Conflicts: 149000 | #Constraints: 10104
537.31/538.66 c #Conflicts: 150000 | #Constraints: 11104
537.31/538.66 c #Conflicts: 151000 | #Constraints: 12104
537.31/538.66 c #Conflicts: 152000 | #Constraints: 13104
537.31/538.66 c #Conflicts: 153000 | #Constraints: 14104
537.31/538.66 c #Conflicts: 154000 | #Constraints: 15104
537.31/538.66 c #Conflicts: 155000 | #Constraints: 16104
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 156000 | #Constraints: 9303
537.31/538.66 c #Conflicts: 157000 | #Constraints: 10303
537.31/538.66 c #Conflicts: 158000 | #Constraints: 11303
537.31/538.66 c #Conflicts: 159000 | #Constraints: 12303
537.31/538.66 c #Conflicts: 160000 | #Constraints: 13303
537.31/538.66 c #Conflicts: 161000 | #Constraints: 14303
537.31/538.66 c #Conflicts: 162000 | #Constraints: 15303
537.31/538.66 c #Conflicts: 163000 | #Constraints: 16303
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 164000 | #Constraints: 9293
537.31/538.66 c #Conflicts: 165000 | #Constraints: 10293
537.31/538.66 c #Conflicts: 166000 | #Constraints: 11293
537.31/538.66 c #Conflicts: 167000 | #Constraints: 12293
537.31/538.66 c #Conflicts: 168000 | #Constraints: 13293
537.31/538.66 c #Conflicts: 169000 | #Constraints: 14293
537.31/538.66 c #Conflicts: 170000 | #Constraints: 15293
537.31/538.66 c #Conflicts: 171000 | #Constraints: 16293
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 172000 | #Constraints: 9092
537.31/538.66 c #Conflicts: 173000 | #Constraints: 10092
537.31/538.66 c #Conflicts: 174000 | #Constraints: 11092
537.31/538.66 c #Conflicts: 175000 | #Constraints: 12092
537.31/538.66 c #Conflicts: 176000 | #Constraints: 13092
537.31/538.66 c #Conflicts: 177000 | #Constraints: 14092
537.31/538.66 c #Conflicts: 178000 | #Constraints: 15092
537.31/538.66 c #Conflicts: 179000 | #Constraints: 16092
537.31/538.66 c #Conflicts: 180000 | #Constraints: 17092
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 181000 | #Constraints: 9691
537.31/538.66 c #Conflicts: 182000 | #Constraints: 10691
537.31/538.66 c #Conflicts: 183000 | #Constraints: 11691
537.31/538.66 c #Conflicts: 184000 | #Constraints: 12691
537.31/538.66 c #Conflicts: 185000 | #Constraints: 13691
537.31/538.66 c #Conflicts: 186000 | #Constraints: 14691
537.31/538.66 c #Conflicts: 187000 | #Constraints: 15691
537.31/538.66 c #Conflicts: 188000 | #Constraints: 16691
537.31/538.66 c #Conflicts: 189000 | #Constraints: 17691
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 190000 | #Constraints: 10086
537.31/538.66 c #Conflicts: 191000 | #Constraints: 11086
537.31/538.66 c #Conflicts: 192000 | #Constraints: 12086
537.31/538.66 c #Conflicts: 193000 | #Constraints: 13086
537.31/538.66 c #Conflicts: 194000 | #Constraints: 14086
537.31/538.66 c #Conflicts: 195000 | #Constraints: 15086
537.31/538.66 c #Conflicts: 196000 | #Constraints: 16086
537.31/538.66 c #Conflicts: 197000 | #Constraints: 17086
537.31/538.66 c #Conflicts: 198000 | #Constraints: 18086
537.31/538.66 c INPROCESSING
537.31/538.66 c GARBAGE COLLECT
537.31/538.66 c #Conflicts: 199000 | #Constraints: 10314
782.62/784.54 c #Conflicts: 200000 | #Constraints: 11314
782.62/784.54 c #Conflicts: 201000 | #Constraints: 12314
782.62/784.54 c #Conflicts: 202000 | #Constraints: 13314
782.62/784.54 c #Conflicts: 203000 | #Constraints: 14314
782.62/784.54 c #Conflicts: 204000 | #Constraints: 15314
782.62/784.54 c #Conflicts: 205000 | #Constraints: 16314
782.62/784.54 c #Conflicts: 206000 | #Constraints: 17314
782.62/784.54 c #Conflicts: 207000 | #Constraints: 18314
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c #Conflicts: 208000 | #Constraints: 10307
782.62/784.54 c #Conflicts: 209000 | #Constraints: 11307
782.62/784.54 c #Conflicts: 210000 | #Constraints: 12307
782.62/784.54 c #Conflicts: 211000 | #Constraints: 13307
782.62/784.54 c #Conflicts: 212000 | #Constraints: 14307
782.62/784.54 c #Conflicts: 213000 | #Constraints: 15307
782.62/784.54 c #Conflicts: 214000 | #Constraints: 16307
782.62/784.54 c #Conflicts: 215000 | #Constraints: 17307
782.62/784.54 c #Conflicts: 216000 | #Constraints: 18307
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c #Conflicts: 217000 | #Constraints: 10109
782.62/784.54 c #Conflicts: 218000 | #Constraints: 11109
782.62/784.54 c #Conflicts: 219000 | #Constraints: 12109
782.62/784.54 c #Conflicts: 220000 | #Constraints: 13109
782.62/784.54 c #Conflicts: 221000 | #Constraints: 14109
782.62/784.54 c #Conflicts: 222000 | #Constraints: 15109
782.62/784.54 c #Conflicts: 223000 | #Constraints: 16109
782.62/784.54 c #Conflicts: 224000 | #Constraints: 17109
782.62/784.54 c #Conflicts: 225000 | #Constraints: 18109
782.62/784.54 c #Conflicts: 226000 | #Constraints: 19109
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c #Conflicts: 227000 | #Constraints: 10746
782.62/784.54 c #Conflicts: 228000 | #Constraints: 11746
782.62/784.54 c #Conflicts: 229000 | #Constraints: 12746
782.62/784.54 c #Conflicts: 230000 | #Constraints: 13746
782.62/784.54 c #Conflicts: 231000 | #Constraints: 14746
782.62/784.54 c #Conflicts: 232000 | #Constraints: 15746
782.62/784.54 c #Conflicts: 233000 | #Constraints: 16746
782.62/784.54 c #Conflicts: 234000 | #Constraints: 17746
782.62/784.54 c #Conflicts: 235000 | #Constraints: 18746
782.62/784.54 c #Conflicts: 236000 | #Constraints: 19746
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c #Conflicts: 237000 | #Constraints: 11137
782.62/784.54 c #Conflicts: 238000 | #Constraints: 12137
782.62/784.54 c #Conflicts: 239000 | #Constraints: 13137
782.62/784.54 c #Conflicts: 240000 | #Constraints: 14137
782.62/784.54 c #Conflicts: 241000 | #Constraints: 15137
782.62/784.54 c #Conflicts: 242000 | #Constraints: 16137
782.62/784.54 c #Conflicts: 243000 | #Constraints: 17137
782.62/784.54 c #Conflicts: 244000 | #Constraints: 18137
782.62/784.54 c #Conflicts: 245000 | #Constraints: 19137
782.62/784.54 c #Conflicts: 246000 | #Constraints: 20137
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c #Conflicts: 247000 | #Constraints: 11353
782.62/784.54 c #Conflicts: 248000 | #Constraints: 12353
782.62/784.54 c #Conflicts: 249000 | #Constraints: 13353
782.62/784.54 c #Conflicts: 250000 | #Constraints: 14353
782.62/784.54 c #Conflicts: 251000 | #Constraints: 15353
782.62/784.54 c #Conflicts: 252000 | #Constraints: 16353
782.62/784.54 c #Conflicts: 253000 | #Constraints: 17353
782.62/784.54 c #Conflicts: 254000 | #Constraints: 18353
782.62/784.54 c #Conflicts: 255000 | #Constraints: 19353
782.62/784.54 c #Conflicts: 256000 | #Constraints: 20353
782.62/784.54 c INPROCESSING
782.62/784.54 c GARBAGE COLLECT
782.62/784.54 c GLOBAL bounds - >= 13656 @ 766.701
782.62/784.56 c GLOBAL bounds - >= 13656 @ 766.712
782.62/784.58 c GLOBAL bounds - >= 13656 @ 766.721
782.91/784.82 c GLOBAL bounds - >= 13656 @ 766.909
782.91/784.83 c GLOBAL bounds - >= 13656 @ 766.913
783.01/784.91 c GLOBAL bounds - >= 13656 @ 766.942
783.01/784.92 c GLOBAL bounds - >= 13656 @ 766.948
783.12/785.01 c GLOBAL bounds - >= 13656 @ 766.972
783.12/785.02 c GLOBAL bounds - >= 13656 @ 766.98
783.22/785.12 c GLOBAL bounds - >= 13656 @ 767.031
783.22/785.13 c GLOBAL bounds - >= 13656 @ 767.039
783.31/785.21 c GLOBAL bounds - >= 13656 @ 767.075
783.31/785.23 c GLOBAL bounds - >= 13656 @ 767.083
783.41/785.31 c GLOBAL bounds - >= 13656 @ 767.11
783.41/785.32 c GLOBAL bounds - >= 13656 @ 767.118
783.51/785.41 c GLOBAL bounds - >= 13656 @ 767.149
783.51/785.42 c GLOBAL bounds - >= 13656 @ 767.157
783.61/785.50 c GLOBAL bounds - >= 13656 @ 767.191
783.61/785.52 c GLOBAL bounds - >= 13656 @ 767.198
783.61/785.59 c GLOBAL bounds - >= 13656 @ 767.232
783.71/785.61 c GLOBAL bounds - >= 13656 @ 767.242
783.71/785.69 c GLOBAL bounds - >= 13656 @ 767.272
783.81/785.77 c GLOBAL bounds - >= 13656 @ 767.298
783.91/785.85 c GLOBAL bounds - >= 13656 @ 767.337
784.01/785.99 c GLOBAL bounds - >= 13656 @ 767.425
788.80/790.75 c #Conflicts: 257000 | #Constraints: 11367
788.80/790.75 c #Conflicts: 258000 | #Constraints: 12367
788.80/790.75 c GLOBAL bounds - >= 13656 @ 772.089
789.10/791.01 c GLOBAL bounds - >= 13656 @ 772.297
789.40/791.36 c GLOBAL bounds - >= 13656 @ 772.595
791.39/793.33 c #Conflicts: 259000 | #Constraints: 13367
791.39/793.33 c GLOBAL bounds - >= 13998 @ 774.545
791.39/793.37 c GLOBAL bounds - >= 13998 @ 774.57
791.39/793.38 c GLOBAL bounds - >= 13998 @ 774.575
791.39/793.39 c GLOBAL bounds - >= 13998 @ 774.582
791.49/793.41 c GLOBAL bounds - >= 13998 @ 774.587
791.49/793.43 c GLOBAL bounds - >= 13998 @ 774.595
791.49/793.44 c GLOBAL bounds - >= 13998 @ 774.601
791.59/793.56 c GLOBAL bounds - >= 13998 @ 774.661
791.59/793.57 c GLOBAL bounds - >= 13998 @ 774.665
791.69/793.65 c GLOBAL bounds - >= 13998 @ 774.696
791.69/793.67 c GLOBAL bounds - >= 13998 @ 774.707
791.79/793.75 c GLOBAL bounds - >= 13998 @ 774.74
791.79/793.77 c GLOBAL bounds - >= 13998 @ 774.747
791.89/793.85 c GLOBAL bounds - >= 13998 @ 774.779
791.89/793.86 c GLOBAL bounds - >= 13998 @ 774.785
791.99/793.94 c GLOBAL bounds - >= 13998 @ 774.809
791.99/793.95 c GLOBAL bounds - >= 13998 @ 774.816
792.10/794.04 c GLOBAL bounds - >= 13998 @ 774.846
792.10/794.05 c GLOBAL bounds - >= 13998 @ 774.852
792.19/794.13 c GLOBAL bounds - >= 13998 @ 774.887
792.19/794.15 c GLOBAL bounds - >= 13998 @ 774.895
792.29/794.23 c GLOBAL bounds - >= 13998 @ 774.927
792.29/794.24 c GLOBAL bounds - >= 13998 @ 774.933
792.39/794.33 c GLOBAL bounds - >= 13998 @ 774.967
792.39/794.34 c GLOBAL bounds - >= 13998 @ 774.977
792.49/794.43 c GLOBAL bounds - >= 13998 @ 775.009
792.59/794.51 c GLOBAL bounds - >= 13998 @ 775.042
792.59/794.59 c GLOBAL bounds - >= 13998 @ 775.078
792.69/794.68 c GLOBAL bounds - >= 13998 @ 775.118
792.79/794.76 c GLOBAL bounds - >= 13998 @ 775.16
792.89/794.85 c GLOBAL bounds - >= 13998 @ 775.193
792.99/794.94 c GLOBAL bounds - >= 13998 @ 775.219
793.09/795.04 c GLOBAL bounds - >= 13998 @ 775.272
793.89/795.89 c GLOBAL bounds - >= 13998 @ 776.042
794.09/796.05 c GLOBAL bounds - >= 13998 @ 776.151
795.88/797.88 c #Conflicts: 260000 | #Constraints: 14396
795.88/797.88 c GLOBAL bounds - >= 13998 @ 777.887
1015.16/1017.65 c #Conflicts: 261000 | #Constraints: 15396
1015.16/1017.65 c #Conflicts: 262000 | #Constraints: 16396
1015.16/1017.65 c #Conflicts: 263000 | #Constraints: 17396
1015.16/1017.65 c #Conflicts: 264000 | #Constraints: 18396
1015.16/1017.65 c #Conflicts: 265000 | #Constraints: 19396
1015.16/1017.65 c #Conflicts: 266000 | #Constraints: 20396
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 267000 | #Constraints: 11159
1015.16/1017.65 c #Conflicts: 268000 | #Constraints: 12159
1015.16/1017.65 c #Conflicts: 269000 | #Constraints: 13159
1015.16/1017.65 c #Conflicts: 270000 | #Constraints: 14159
1015.16/1017.65 c #Conflicts: 271000 | #Constraints: 15159
1015.16/1017.65 c #Conflicts: 272000 | #Constraints: 16159
1015.16/1017.65 c #Conflicts: 273000 | #Constraints: 17159
1015.16/1017.65 c #Conflicts: 274000 | #Constraints: 18159
1015.16/1017.65 c #Conflicts: 275000 | #Constraints: 19159
1015.16/1017.65 c #Conflicts: 276000 | #Constraints: 20159
1015.16/1017.65 c #Conflicts: 277000 | #Constraints: 21159
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 278000 | #Constraints: 11745
1015.16/1017.65 c #Conflicts: 279000 | #Constraints: 12745
1015.16/1017.65 c #Conflicts: 280000 | #Constraints: 13745
1015.16/1017.65 c #Conflicts: 281000 | #Constraints: 14745
1015.16/1017.65 c #Conflicts: 282000 | #Constraints: 15745
1015.16/1017.65 c #Conflicts: 283000 | #Constraints: 16745
1015.16/1017.65 c #Conflicts: 284000 | #Constraints: 17745
1015.16/1017.65 c #Conflicts: 285000 | #Constraints: 18745
1015.16/1017.65 c #Conflicts: 286000 | #Constraints: 19745
1015.16/1017.65 c #Conflicts: 287000 | #Constraints: 20745
1015.16/1017.65 c #Conflicts: 288000 | #Constraints: 21745
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 289000 | #Constraints: 12144
1015.16/1017.65 c #Conflicts: 290000 | #Constraints: 13144
1015.16/1017.65 c #Conflicts: 291000 | #Constraints: 14144
1015.16/1017.65 c #Conflicts: 292000 | #Constraints: 15144
1015.16/1017.65 c #Conflicts: 293000 | #Constraints: 16144
1015.16/1017.65 c #Conflicts: 294000 | #Constraints: 17144
1015.16/1017.65 c #Conflicts: 295000 | #Constraints: 18144
1015.16/1017.65 c #Conflicts: 296000 | #Constraints: 19144
1015.16/1017.65 c #Conflicts: 297000 | #Constraints: 20144
1015.16/1017.65 c #Conflicts: 298000 | #Constraints: 21144
1015.16/1017.65 c #Conflicts: 299000 | #Constraints: 22144
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 300000 | #Constraints: 12335
1015.16/1017.65 c #Conflicts: 301000 | #Constraints: 13335
1015.16/1017.65 c #Conflicts: 302000 | #Constraints: 14335
1015.16/1017.65 c #Conflicts: 303000 | #Constraints: 15335
1015.16/1017.65 c #Conflicts: 304000 | #Constraints: 16335
1015.16/1017.65 c #Conflicts: 305000 | #Constraints: 17335
1015.16/1017.65 c #Conflicts: 306000 | #Constraints: 18335
1015.16/1017.65 c #Conflicts: 307000 | #Constraints: 19335
1015.16/1017.65 c #Conflicts: 308000 | #Constraints: 20335
1015.16/1017.65 c #Conflicts: 309000 | #Constraints: 21335
1015.16/1017.65 c #Conflicts: 310000 | #Constraints: 22335
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 311000 | #Constraints: 12348
1015.16/1017.65 c #Conflicts: 312000 | #Constraints: 13348
1015.16/1017.65 c #Conflicts: 313000 | #Constraints: 14348
1015.16/1017.65 c #Conflicts: 314000 | #Constraints: 15348
1015.16/1017.65 c #Conflicts: 315000 | #Constraints: 16348
1015.16/1017.65 c #Conflicts: 316000 | #Constraints: 17348
1015.16/1017.65 c #Conflicts: 317000 | #Constraints: 18348
1015.16/1017.65 c #Conflicts: 318000 | #Constraints: 19348
1015.16/1017.65 c #Conflicts: 319000 | #Constraints: 20348
1015.16/1017.65 c #Conflicts: 320000 | #Constraints: 21348
1015.16/1017.65 c #Conflicts: 321000 | #Constraints: 22348
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 322000 | #Constraints: 12147
1015.16/1017.65 c #Conflicts: 323000 | #Constraints: 13147
1015.16/1017.65 c #Conflicts: 324000 | #Constraints: 14147
1015.16/1017.65 c #Conflicts: 325000 | #Constraints: 15147
1015.16/1017.65 c #Conflicts: 326000 | #Constraints: 16147
1015.16/1017.65 c #Conflicts: 327000 | #Constraints: 17147
1015.16/1017.65 c #Conflicts: 328000 | #Constraints: 18147
1015.16/1017.65 c #Conflicts: 329000 | #Constraints: 19147
1015.16/1017.65 c #Conflicts: 330000 | #Constraints: 20147
1015.16/1017.65 c #Conflicts: 331000 | #Constraints: 21147
1015.16/1017.65 c #Conflicts: 332000 | #Constraints: 22147
1015.16/1017.65 c #Conflicts: 333000 | #Constraints: 23147
1015.16/1017.65 c INPROCESSING
1015.16/1017.65 c GARBAGE COLLECT
1015.16/1017.65 c #Conflicts: 334000 | #Constraints: 12741
1015.16/1017.65 c #Conflicts: 335000 | #Constraints: 13741
1339.56/1342.86 c #Conflicts: 336000 | #Constraints: 14741
1339.56/1342.86 c #Conflicts: 337000 | #Constraints: 15741
1339.56/1342.86 c #Conflicts: 338000 | #Constraints: 16741
1339.56/1342.86 c #Conflicts: 339000 | #Constraints: 17741
1339.56/1342.86 c #Conflicts: 340000 | #Constraints: 18741
1339.56/1342.86 c #Conflicts: 341000 | #Constraints: 19741
1339.56/1342.86 c #Conflicts: 342000 | #Constraints: 20741
1339.56/1342.86 c #Conflicts: 343000 | #Constraints: 21741
1339.56/1342.86 c #Conflicts: 344000 | #Constraints: 22741
1339.56/1342.86 c #Conflicts: 345000 | #Constraints: 23741
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 346000 | #Constraints: 13133
1339.56/1342.86 c #Conflicts: 347000 | #Constraints: 14133
1339.56/1342.86 c #Conflicts: 348000 | #Constraints: 15133
1339.56/1342.86 c #Conflicts: 349000 | #Constraints: 16133
1339.56/1342.86 c #Conflicts: 350000 | #Constraints: 17133
1339.56/1342.86 c #Conflicts: 351000 | #Constraints: 18133
1339.56/1342.86 c #Conflicts: 352000 | #Constraints: 19133
1339.56/1342.86 c #Conflicts: 353000 | #Constraints: 20133
1339.56/1342.86 c #Conflicts: 354000 | #Constraints: 21133
1339.56/1342.86 c #Conflicts: 355000 | #Constraints: 22133
1339.56/1342.86 c #Conflicts: 356000 | #Constraints: 23133
1339.56/1342.86 c #Conflicts: 357000 | #Constraints: 24133
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 358000 | #Constraints: 13336
1339.56/1342.86 c #Conflicts: 359000 | #Constraints: 14336
1339.56/1342.86 c #Conflicts: 360000 | #Constraints: 15336
1339.56/1342.86 c #Conflicts: 361000 | #Constraints: 16336
1339.56/1342.86 c #Conflicts: 362000 | #Constraints: 17336
1339.56/1342.86 c #Conflicts: 363000 | #Constraints: 18336
1339.56/1342.86 c #Conflicts: 364000 | #Constraints: 19336
1339.56/1342.86 c #Conflicts: 365000 | #Constraints: 20336
1339.56/1342.86 c #Conflicts: 366000 | #Constraints: 21336
1339.56/1342.86 c #Conflicts: 367000 | #Constraints: 22336
1339.56/1342.86 c #Conflicts: 368000 | #Constraints: 23336
1339.56/1342.86 c #Conflicts: 369000 | #Constraints: 24336
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 370000 | #Constraints: 13335
1339.56/1342.86 c #Conflicts: 371000 | #Constraints: 14335
1339.56/1342.86 c #Conflicts: 372000 | #Constraints: 15335
1339.56/1342.86 c #Conflicts: 373000 | #Constraints: 16335
1339.56/1342.86 c #Conflicts: 374000 | #Constraints: 17335
1339.56/1342.86 c #Conflicts: 375000 | #Constraints: 18335
1339.56/1342.86 c #Conflicts: 376000 | #Constraints: 19335
1339.56/1342.86 c #Conflicts: 377000 | #Constraints: 20335
1339.56/1342.86 c #Conflicts: 378000 | #Constraints: 21335
1339.56/1342.86 c #Conflicts: 379000 | #Constraints: 22335
1339.56/1342.86 c #Conflicts: 380000 | #Constraints: 23335
1339.56/1342.86 c #Conflicts: 381000 | #Constraints: 24335
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 382000 | #Constraints: 13140
1339.56/1342.86 c #Conflicts: 383000 | #Constraints: 14140
1339.56/1342.86 c #Conflicts: 384000 | #Constraints: 15140
1339.56/1342.86 c #Conflicts: 385000 | #Constraints: 16140
1339.56/1342.86 c #Conflicts: 386000 | #Constraints: 17140
1339.56/1342.86 c #Conflicts: 387000 | #Constraints: 18140
1339.56/1342.86 c #Conflicts: 388000 | #Constraints: 19140
1339.56/1342.86 c #Conflicts: 389000 | #Constraints: 20140
1339.56/1342.86 c #Conflicts: 390000 | #Constraints: 21140
1339.56/1342.86 c #Conflicts: 391000 | #Constraints: 22140
1339.56/1342.86 c #Conflicts: 392000 | #Constraints: 23140
1339.56/1342.86 c #Conflicts: 393000 | #Constraints: 24140
1339.56/1342.86 c #Conflicts: 394000 | #Constraints: 25140
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 395000 | #Constraints: 13743
1339.56/1342.86 c #Conflicts: 396000 | #Constraints: 14743
1339.56/1342.86 c #Conflicts: 397000 | #Constraints: 15743
1339.56/1342.86 c #Conflicts: 398000 | #Constraints: 16743
1339.56/1342.86 c #Conflicts: 399000 | #Constraints: 17743
1339.56/1342.86 c #Conflicts: 400000 | #Constraints: 18743
1339.56/1342.86 c #Conflicts: 401000 | #Constraints: 19743
1339.56/1342.86 c #Conflicts: 402000 | #Constraints: 20743
1339.56/1342.86 c #Conflicts: 403000 | #Constraints: 21743
1339.56/1342.86 c #Conflicts: 404000 | #Constraints: 22743
1339.56/1342.86 c #Conflicts: 405000 | #Constraints: 23743
1339.56/1342.86 c #Conflicts: 406000 | #Constraints: 24743
1339.56/1342.86 c #Conflicts: 407000 | #Constraints: 25743
1339.56/1342.86 c INPROCESSING
1339.56/1342.86 c GARBAGE COLLECT
1339.56/1342.86 c #Conflicts: 408000 | #Constraints: 14165
1339.56/1342.86 c #Conflicts: 409000 | #Constraints: 15165
1339.56/1342.86 c #Conflicts: 410000 | #Constraints: 16165
1777.49/1781.82 c #Conflicts: 411000 | #Constraints: 17165
1777.49/1781.82 c #Conflicts: 412000 | #Constraints: 18165
1777.49/1781.82 c #Conflicts: 413000 | #Constraints: 19165
1777.49/1781.82 c #Conflicts: 414000 | #Constraints: 20165
1777.49/1781.82 c #Conflicts: 415000 | #Constraints: 21165
1777.49/1781.82 c #Conflicts: 416000 | #Constraints: 22165
1777.49/1781.82 c #Conflicts: 417000 | #Constraints: 23165
1777.49/1781.82 c #Conflicts: 418000 | #Constraints: 24165
1777.49/1781.82 c #Conflicts: 419000 | #Constraints: 25165
1777.49/1781.82 c #Conflicts: 420000 | #Constraints: 26165
1777.49/1781.82 c INPROCESSING
1777.49/1781.82 c GARBAGE COLLECT
1777.49/1781.82 c #Conflicts: 421000 | #Constraints: 14366
1777.49/1781.82 c #Conflicts: 422000 | #Constraints: 15366
1777.49/1781.82 c #Conflicts: 423000 | #Constraints: 16366
1777.49/1781.82 c #Conflicts: 424000 | #Constraints: 17366
1777.49/1781.82 c #Conflicts: 425000 | #Constraints: 18366
1777.49/1781.82 c #Conflicts: 426000 | #Constraints: 19366
1777.49/1781.82 c #Conflicts: 427000 | #Constraints: 20366
1777.49/1781.82 c #Conflicts: 428000 | #Constraints: 21366
1777.49/1781.82 c #Conflicts: 429000 | #Constraints: 22366
1777.49/1781.82 c #Conflicts: 430000 | #Constraints: 23366
1777.49/1781.82 c #Conflicts: 431000 | #Constraints: 24366
1777.49/1781.82 c #Conflicts: 432000 | #Constraints: 25366
1777.49/1781.82 c #Conflicts: 433000 | #Constraints: 26366
1777.49/1781.82 c INPROCESSING
1777.49/1781.82 c GARBAGE COLLECT
1777.49/1781.82 c #Conflicts: 434000 | #Constraints: 14362
1777.49/1781.82 c #Conflicts: 435000 | #Constraints: 15362
1777.49/1781.82 c #Conflicts: 436000 | #Constraints: 16362
1777.49/1781.82 c #Conflicts: 437000 | #Constraints: 17362
1777.49/1781.82 c #Conflicts: 438000 | #Constraints: 18362
1777.49/1781.82 c #Conflicts: 439000 | #Constraints: 19362
1777.49/1781.82 c #Conflicts: 440000 | #Constraints: 20362
1777.49/1781.82 c #Conflicts: 441000 | #Constraints: 21362
1777.49/1781.82 c #Conflicts: 442000 | #Constraints: 22362
1777.49/1781.82 c #Conflicts: 443000 | #Constraints: 23362
1777.49/1781.82 c #Conflicts: 444000 | #Constraints: 24362
1777.49/1781.82 c #Conflicts: 445000 | #Constraints: 25362
1777.49/1781.82 c #Conflicts: 446000 | #Constraints: 26362
1777.49/1781.82 c INPROCESSING
1777.49/1781.82 c GARBAGE COLLECT
1777.49/1781.82 c #Conflicts: 447000 | #Constraints: 14169
1777.49/1781.82 c #Conflicts: 448000 | #Constraints: 15169
1777.49/1781.82 c #Conflicts: 449000 | #Constraints: 16169
1777.49/1781.82 c #Conflicts: 450000 | #Constraints: 17169
1777.49/1781.82 c #Conflicts: 451000 | #Constraints: 18169
1777.49/1781.82 c #Conflicts: 452000 | #Constraints: 19169
1777.49/1781.82 c #Conflicts: 453000 | #Constraints: 20169
1777.49/1781.82 c #Conflicts: 454000 | #Constraints: 21169
1777.49/1781.82 c #Conflicts: 455000 | #Constraints: 22169
1777.49/1781.82 c #Conflicts: 456000 | #Constraints: 23169
1777.49/1781.82 c #Conflicts: 457000 | #Constraints: 24169
1777.49/1781.82 c #Conflicts: 458000 | #Constraints: 25169
1777.49/1781.82 c #Conflicts: 459000 | #Constraints: 26169
1777.49/1781.82 c #Conflicts: 460000 | #Constraints: 27169
1777.49/1781.82 c INPROCESSING
1777.49/1781.82 c GARBAGE COLLECT
1777.49/1781.82 c #Conflicts: 461000 | #Constraints: 14764
1777.49/1781.82 c #Conflicts: 462000 | #Constraints: 15764
1777.49/1781.82 c #Conflicts: 463000 | #Constraints: 16764
1777.49/1781.82 c #Conflicts: 464000 | #Constraints: 17764
1777.49/1781.82 c #Conflicts: 465000 | #Constraints: 18764
1777.49/1781.82 c #Conflicts: 466000 | #Constraints: 19764
1777.49/1781.82 c #Conflicts: 467000 | #Constraints: 20764
1777.49/1781.82 c #Conflicts: 468000 | #Constraints: 21764
1777.49/1781.82 c #Conflicts: 469000 | #Constraints: 22764
1777.49/1781.82 c #Conflicts: 470000 | #Constraints: 23764
1777.49/1781.82 c #Conflicts: 471000 | #Constraints: 24764
1777.49/1781.82 c #Conflicts: 472000 | #Constraints: 25764
1777.49/1781.82 c #Conflicts: 473000 | #Constraints: 26764
1777.49/1781.82 c #Conflicts: 474000 | #Constraints: 27764
1777.49/1781.82 c INPROCESSING
1777.49/1781.82 c GARBAGE COLLECT
1777.49/1781.82 c #Conflicts: 475000 | #Constraints: 15167
1777.49/1781.82 c #Conflicts: 476000 | #Constraints: 16167
1777.49/1781.82 c #Conflicts: 477000 | #Constraints: 17167
1777.49/1781.82 c #Conflicts: 478000 | #Constraints: 18167
1777.49/1781.82 c #Conflicts: 479000 | #Constraints: 19167
1777.49/1781.82 c #Conflicts: 480000 | #Constraints: 20167
1777.49/1781.82 c #Conflicts: 481000 | #Constraints: 21167
1777.49/1781.82 c #Conflicts: 482000 | #Constraints: 22167
1777.49/1781.82 c #Conflicts: 483000 | #Constraints: 23167
1777.49/1781.82 c #Conflicts: 484000 | #Constraints: 24167
1777.49/1781.82 c #Conflicts: 485000 | #Constraints: 25167
2240.36/2245.83 c #Conflicts: 486000 | #Constraints: 26167
2240.36/2245.83 c #Conflicts: 487000 | #Constraints: 27167
2240.36/2245.83 c #Conflicts: 488000 | #Constraints: 28167
2240.36/2245.83 c INPROCESSING
2240.36/2245.83 c GARBAGE COLLECT
2240.36/2245.83 c #Conflicts: 489000 | #Constraints: 15361
2240.36/2245.83 c #Conflicts: 490000 | #Constraints: 16361
2240.36/2245.83 c #Conflicts: 491000 | #Constraints: 17361
2240.36/2245.83 c #Conflicts: 492000 | #Constraints: 18361
2240.36/2245.83 c #Conflicts: 493000 | #Constraints: 19361
2240.36/2245.83 c #Conflicts: 494000 | #Constraints: 20361
2240.36/2245.83 c #Conflicts: 495000 | #Constraints: 21361
2240.36/2245.83 c #Conflicts: 496000 | #Constraints: 22361
2240.36/2245.83 c #Conflicts: 497000 | #Constraints: 23361
2240.36/2245.83 c #Conflicts: 498000 | #Constraints: 24361
2240.36/2245.83 c #Conflicts: 499000 | #Constraints: 25361
2240.36/2245.83 c #Conflicts: 500000 | #Constraints: 26361
2240.36/2245.83 c #Conflicts: 501000 | #Constraints: 27361
2240.36/2245.83 c #Conflicts: 502000 | #Constraints: 28361
2240.36/2245.83 c INPROCESSING
2240.36/2245.83 c GARBAGE COLLECT
2240.36/2245.83 c #Conflicts: 503000 | #Constraints: 15360
2240.36/2245.83 c #Conflicts: 504000 | #Constraints: 16360
2240.36/2245.83 c #Conflicts: 505000 | #Constraints: 17360
2240.36/2245.83 c #Conflicts: 506000 | #Constraints: 18360
2240.36/2245.83 c #Conflicts: 507000 | #Constraints: 19360
2240.36/2245.83 c #Conflicts: 508000 | #Constraints: 20360
2240.36/2245.83 c #Conflicts: 509000 | #Constraints: 21360
2240.36/2245.83 c #Conflicts: 510000 | #Constraints: 22360
2240.36/2245.83 c #Conflicts: 511000 | #Constraints: 23360
2240.36/2245.83 c #Conflicts: 512000 | #Constraints: 24360
2240.36/2245.83 c #Conflicts: 513000 | #Constraints: 25360
2240.36/2245.83 c #Conflicts: 514000 | #Constraints: 26360
2240.36/2245.83 c #Conflicts: 515000 | #Constraints: 27360
2240.36/2245.83 c #Conflicts: 516000 | #Constraints: 28360
2240.36/2245.83 c INPROCESSING
2240.36/2245.83 c GARBAGE COLLECT
2240.36/2245.83 c #Conflicts: 517000 | #Constraints: 15167
2240.36/2245.83 c #Conflicts: 518000 | #Constraints: 16167
2240.36/2245.83 c #Conflicts: 519000 | #Constraints: 17167
2240.36/2245.83 c #Conflicts: 520000 | #Constraints: 18167
2240.36/2245.83 c #Conflicts: 521000 | #Constraints: 19167
2240.36/2245.83 c #Conflicts: 522000 | #Constraints: 20167
2240.36/2245.83 c #Conflicts: 523000 | #Constraints: 21167
2240.36/2245.83 c #Conflicts: 524000 | #Constraints: 22167
2240.36/2245.83 c #Conflicts: 525000 | #Constraints: 23167
2240.36/2245.83 c #Conflicts: 526000 | #Constraints: 24167
2240.36/2245.83 c #Conflicts: 527000 | #Constraints: 25167
2240.36/2245.83 c #Conflicts: 528000 | #Constraints: 26167
2240.36/2245.83 c #Conflicts: 529000 | #Constraints: 27167
2240.36/2245.83 c #Conflicts: 530000 | #Constraints: 28167
2240.36/2245.83 c #Conflicts: 531000 | #Constraints: 29167
2240.36/2245.83 c INPROCESSING
2240.36/2245.83 c GARBAGE COLLECT
2240.36/2245.83 c #Conflicts: 532000 | #Constraints: 15769
2240.36/2245.83 c #Conflicts: 533000 | #Constraints: 16769
2240.36/2245.83 c #Conflicts: 534000 | #Constraints: 17769
2240.36/2245.83 c #Conflicts: 535000 | #Constraints: 18769
2240.36/2245.83 c #Conflicts: 536000 | #Constraints: 19769
2240.36/2245.83 c #Conflicts: 537000 | #Constraints: 20769
2240.36/2245.83 c #Conflicts: 538000 | #Constraints: 21769
2240.36/2245.83 c #Conflicts: 539000 | #Constraints: 22769
2240.36/2245.83 c #Conflicts: 540000 | #Constraints: 23769
2240.36/2245.83 c #Conflicts: 541000 | #Constraints: 24769
2240.36/2245.83 c #Conflicts: 542000 | #Constraints: 25769
2240.36/2245.83 c #Conflicts: 543000 | #Constraints: 26769
2240.36/2245.83 c #Conflicts: 544000 | #Constraints: 27769
2240.36/2245.83 c #Conflicts: 545000 | #Constraints: 28769
2240.36/2245.83 c #Conflicts: 546000 | #Constraints: 29769
2240.36/2245.83 c INPROCESSING
2240.36/2245.83 c GARBAGE COLLECT
2240.36/2245.83 c #Conflicts: 547000 | #Constraints: 16167
2240.36/2245.83 c #Conflicts: 548000 | #Constraints: 17167
2240.36/2245.83 c #Conflicts: 549000 | #Constraints: 18167
2240.36/2245.83 c #Conflicts: 550000 | #Constraints: 19167
2240.36/2245.83 c #Conflicts: 551000 | #Constraints: 20167
2240.36/2245.83 c #Conflicts: 552000 | #Constraints: 21167
2240.36/2245.83 c #Conflicts: 553000 | #Constraints: 22167
2240.36/2245.83 c #Conflicts: 554000 | #Constraints: 23167
2240.36/2245.83 c #Conflicts: 555000 | #Constraints: 24167
2240.36/2245.83 c #Conflicts: 556000 | #Constraints: 25167
2240.36/2245.83 c #Conflicts: 557000 | #Constraints: 26167
2240.36/2245.83 c #Conflicts: 558000 | #Constraints: 27167
2240.36/2245.83 c #Conflicts: 559000 | #Constraints: 28167
2240.36/2245.83 c #Conflicts: 560000 | #Constraints: 29167
2240.36/2245.83 c #Conflicts: 561000 | #Constraints: 30167
2394.88/2400.70 c INPROCESSING
2394.88/2400.70 c GARBAGE COLLECT
2394.88/2400.70 c #Conflicts: 562000 | #Constraints: 16375
2394.88/2400.70 c #Conflicts: 563000 | #Constraints: 17375
2394.88/2400.70 c #Conflicts: 564000 | #Constraints: 18375
2394.88/2400.70 c #Conflicts: 565000 | #Constraints: 19375
2394.88/2400.70 c #Conflicts: 566000 | #Constraints: 20375
2394.88/2400.70 c #Conflicts: 567000 | #Constraints: 21375
2394.88/2400.70 c #Conflicts: 568000 | #Constraints: 22375
2394.88/2400.70 c #Conflicts: 569000 | #Constraints: 23375
2394.88/2400.70 c #Conflicts: 570000 | #Constraints: 24375
2394.88/2400.70 c #Conflicts: 571000 | #Constraints: 25375
2394.88/2400.70 c #Conflicts: 572000 | #Constraints: 26375
2394.88/2400.70 c #Conflicts: 573000 | #Constraints: 27375
2394.88/2400.70 c #Conflicts: 574000 | #Constraints: 28375
2394.88/2400.70 c #Conflicts: 575000 | #Constraints: 29375
2394.88/2400.70 c #Conflicts: 576000 | #Constraints: 30375
2394.88/2400.70 c INPROCESSING
2394.88/2400.70 c GARBAGE COLLECT
2394.88/2400.70 c #Conflicts: 577000 | #Constraints: 16403
2394.88/2400.70 c #Conflicts: 578000 | #Constraints: 17403
2394.88/2400.70 c #Conflicts: 579000 | #Constraints: 18403
2394.88/2400.70 c #Conflicts: 580000 | #Constraints: 19403
2394.88/2400.70 c #Conflicts: 581000 | #Constraints: 20403
2394.88/2400.70 c #Conflicts: 582000 | #Constraints: 21403
2394.88/2400.70 c #Conflicts: 583000 | #Constraints: 22403
2394.88/2400.70 c #Conflicts: 584000 | #Constraints: 23403
2394.88/2400.70 c #Conflicts: 585000 | #Constraints: 24403
2394.88/2400.70 c #Conflicts: 586000 | #Constraints: 25403
2394.88/2400.70 c #Conflicts: 587000 | #Constraints: 26403
2394.88/2400.70 c #Conflicts: 588000 | #Constraints: 27403
2394.88/2400.70 c #Conflicts: 589000 | #Constraints: 28403
2394.88/2400.70 c #Conflicts: 590000 | #Constraints: 29403
2394.88/2400.70 c GLOBAL bounds - >= 14680 @ 2371
2394.88/2400.73 c GLOBAL bounds - >= 14680 @ 2371.03
2394.88/2400.75 c GLOBAL bounds - >= 14680 @ 2371.03
2394.88/2400.76 c GLOBAL bounds - >= 14680 @ 2371.04
2394.88/2400.77 c GLOBAL bounds - >= 14680 @ 2371.04
2394.88/2400.78 c GLOBAL bounds - >= 14680 @ 2371.05
2395.28/2401.11 c GLOBAL bounds - >= 14680 @ 2371.32
2395.28/2401.13 c GLOBAL bounds - >= 14680 @ 2371.33
2395.38/2401.26 c GLOBAL bounds - >= 14680 @ 2371.41
2395.38/2401.27 c GLOBAL bounds - >= 14680 @ 2371.42
2395.47/2401.35 c GLOBAL bounds - >= 14680 @ 2371.45
2395.47/2401.37 c GLOBAL bounds - >= 14680 @ 2371.46
2395.58/2401.45 c GLOBAL bounds - >= 14680 @ 2371.49
2395.58/2401.46 c GLOBAL bounds - >= 14680 @ 2371.5
2395.67/2401.55 c GLOBAL bounds - >= 14680 @ 2371.54
2395.67/2401.57 c GLOBAL bounds - >= 14680 @ 2371.54
2395.78/2401.65 c GLOBAL bounds - >= 14680 @ 2371.57
2395.78/2401.66 c GLOBAL bounds - >= 14680 @ 2371.58
2395.88/2401.75 c GLOBAL bounds - >= 14680 @ 2371.62
2395.88/2401.76 c GLOBAL bounds - >= 14680 @ 2371.63
2395.98/2401.86 c GLOBAL bounds - >= 14680 @ 2371.68
2395.98/2401.87 c GLOBAL bounds - >= 14680 @ 2371.69
2396.18/2402.02 c GLOBAL bounds - >= 14680 @ 2371.78
2396.18/2402.03 c GLOBAL bounds - >= 14680 @ 2371.79
2396.28/2402.11 c GLOBAL bounds - >= 14680 @ 2371.83
2396.38/2402.20 c GLOBAL bounds - >= 14680 @ 2371.86
2396.67/2402.58 c GLOBAL bounds - >= 14680 @ 2372.19
2508.51/2514.60 c #Conflicts: 591000 | #Constraints: 30416
2508.51/2514.60 c INPROCESSING
2508.51/2514.60 c GARBAGE COLLECT
2508.51/2514.60 c #Conflicts: 592000 | #Constraints: 16178
2508.51/2514.60 c #Conflicts: 593000 | #Constraints: 17178
2508.51/2514.60 c #Conflicts: 594000 | #Constraints: 18178
2508.51/2514.60 c #Conflicts: 595000 | #Constraints: 19178
2508.51/2514.60 c #Conflicts: 596000 | #Constraints: 20178
2508.51/2514.60 c #Conflicts: 597000 | #Constraints: 21178
2508.51/2514.60 c #Conflicts: 598000 | #Constraints: 22178
2508.51/2514.60 c #Conflicts: 599000 | #Constraints: 23178
2508.51/2514.60 c #Conflicts: 600000 | #Constraints: 24178
2508.51/2514.60 c #Conflicts: 601000 | #Constraints: 25178
2508.51/2514.60 c #Conflicts: 602000 | #Constraints: 26178
2508.51/2514.60 c #Conflicts: 603000 | #Constraints: 27178
2508.51/2514.60 c #Conflicts: 604000 | #Constraints: 28178
2508.51/2514.60 c #Conflicts: 605000 | #Constraints: 29178
2508.51/2514.60 c #Conflicts: 606000 | #Constraints: 30178
2508.51/2514.60 c #Conflicts: 607000 | #Constraints: 31178
2508.51/2514.60 c INPROCESSING
2508.51/2514.60 c GARBAGE COLLECT
2508.51/2514.60 c #Conflicts: 608000 | #Constraints: 16767
2508.51/2514.60 c #Conflicts: 609000 | #Constraints: 17767
2508.51/2514.60 c #Conflicts: 610000 | #Constraints: 18767
2508.51/2514.60 c #Conflicts: 611000 | #Constraints: 19767
2508.51/2514.60 c #Conflicts: 612000 | #Constraints: 20767
2508.51/2514.60 c #Conflicts: 613000 | #Constraints: 21767
2508.51/2514.60 c #Conflicts: 614000 | #Constraints: 22767
2508.51/2514.60 c #Conflicts: 615000 | #Constraints: 23767
2508.51/2514.60 c #Conflicts: 616000 | #Constraints: 24767
2508.51/2514.60 c #Conflicts: 617000 | #Constraints: 25767
2508.51/2514.60 c #Conflicts: 618000 | #Constraints: 26767
2508.51/2514.60 c #Conflicts: 619000 | #Constraints: 27767
2508.51/2514.60 c #Conflicts: 620000 | #Constraints: 28767
2508.51/2514.60 c #Conflicts: 621000 | #Constraints: 29767
2508.51/2514.60 c #Conflicts: 622000 | #Constraints: 30767
2508.51/2514.60 c #Conflicts: 623000 | #Constraints: 31767
2508.51/2514.60 c INPROCESSING
2508.51/2514.60 c GARBAGE COLLECT
2508.51/2514.60 c #Conflicts: 624000 | #Constraints: 17160
2508.51/2514.60 c GLOBAL bounds - >= 14683 @ 2483.48
2508.51/2514.62 c GLOBAL bounds - >= 14683 @ 2483.49
2508.51/2514.64 c GLOBAL bounds - >= 14683 @ 2483.5
2508.71/2514.88 c GLOBAL bounds - >= 14683 @ 2483.69
2508.71/2514.89 c GLOBAL bounds - >= 14683 @ 2483.7
2508.81/2514.98 c GLOBAL bounds - >= 14683 @ 2483.73
2508.81/2514.99 c GLOBAL bounds - >= 14683 @ 2483.74
2508.91/2515.09 c GLOBAL bounds - >= 14683 @ 2483.79
2509.01/2515.10 c GLOBAL bounds - >= 14683 @ 2483.8
2509.40/2515.56 c GLOBAL bounds - >= 14683 @ 2484.2
2509.40/2515.57 c GLOBAL bounds - >= 14683 @ 2484.21
2509.51/2515.65 c GLOBAL bounds - >= 14683 @ 2484.24
2509.51/2515.67 c GLOBAL bounds - >= 14683 @ 2484.24
2513.59/2519.76 c #Conflicts: 625000 | #Constraints: 18166
2513.59/2519.76 c GLOBAL bounds - >= 14683 @ 2488.2
2513.59/2519.77 c GLOBAL bounds - >= 14683 @ 2488.21
2513.69/2519.85 c GLOBAL bounds - >= 14683 @ 2488.24
2513.69/2519.87 c GLOBAL bounds - >= 14683 @ 2488.25
2513.79/2519.95 c GLOBAL bounds - >= 14683 @ 2488.28
2513.79/2519.96 c GLOBAL bounds - >= 14683 @ 2488.28
2513.90/2520.04 c GLOBAL bounds - >= 14683 @ 2488.31
2513.90/2520.06 c GLOBAL bounds - >= 14683 @ 2488.32
2514.00/2520.14 c GLOBAL bounds - >= 14683 @ 2488.34
2514.09/2520.22 c GLOBAL bounds - >= 14683 @ 2488.38
2514.19/2520.31 c GLOBAL bounds - >= 14683 @ 2488.42
2514.50/2520.60 c GLOBAL bounds - >= 14683 @ 2488.66
2515.59/2521.75 c #Conflicts: 626000 | #Constraints: 19170
2515.59/2521.75 c GLOBAL bounds - >= 14683 @ 2489.74
2516.09/2522.25 c GLOBAL bounds - >= 14683 @ 2490.18
2516.19/2522.34 c GLOBAL bounds - >= 14683 @ 2490.23
2516.19/2522.34 c GLOBAL bounds - >= 14683 @ 2490.23
2516.19/2522.36 c GLOBAL bounds - >= 14683 @ 2490.24
2516.19/2522.37 c GLOBAL bounds - >= 14683 @ 2490.24
2516.19/2522.38 c GLOBAL bounds - >= 14683 @ 2490.24
2516.19/2522.39 c GLOBAL bounds - >= 14683 @ 2490.25
2516.29/2522.40 c GLOBAL bounds - >= 14683 @ 2490.26
2516.29/2522.43 c GLOBAL bounds - >= 14683 @ 2490.28
2516.38/2522.52 c GLOBAL bounds - >= 14683 @ 2490.32
2516.38/2522.55 c GLOBAL bounds - >= 14683 @ 2490.33
2516.49/2522.63 c GLOBAL bounds - >= 14683 @ 2490.36
2516.49/2522.65 c GLOBAL bounds - >= 14683 @ 2490.37
2516.59/2522.73 c GLOBAL bounds - >= 14683 @ 2490.41
2516.59/2522.75 c GLOBAL bounds - >= 14683 @ 2490.42
2516.69/2522.83 c GLOBAL bounds - >= 14683 @ 2490.46
2516.69/2522.85 c GLOBAL bounds - >= 14683 @ 2490.47
2516.78/2522.94 c GLOBAL bounds - >= 14683 @ 2490.5
2516.78/2522.95 c GLOBAL bounds - >= 14683 @ 2490.51
2516.89/2523.04 c GLOBAL bounds - >= 14683 @ 2490.55
2516.89/2523.05 c GLOBAL bounds - >= 14683 @ 2490.56
2516.99/2523.14 c GLOBAL bounds - >= 14683 @ 2490.59
2516.99/2523.15 c GLOBAL bounds - >= 14683 @ 2490.6
2517.09/2523.24 c GLOBAL bounds - >= 14683 @ 2490.63
2517.09/2523.25 c GLOBAL bounds - >= 14683 @ 2490.64
2517.18/2523.34 c GLOBAL bounds - >= 14683 @ 2490.67
2517.18/2523.35 c GLOBAL bounds - >= 14683 @ 2490.67
2517.28/2523.43 c GLOBAL bounds - >= 14683 @ 2490.71
2517.38/2523.52 c GLOBAL bounds - >= 14683 @ 2490.74
2517.49/2523.60 c GLOBAL bounds - >= 14683 @ 2490.79
2517.49/2523.69 c GLOBAL bounds - >= 14683 @ 2490.83
2517.59/2523.77 c GLOBAL bounds - >= 14683 @ 2490.86
2517.68/2523.86 c GLOBAL bounds - >= 14683 @ 2490.9
2517.79/2523.95 c GLOBAL bounds - >= 14683 @ 2490.94
2517.89/2524.04 c GLOBAL bounds - >= 14683 @ 2490.98
2517.99/2524.15 c GLOBAL bounds - >= 14683 @ 2491.04
2518.09/2524.27 c GLOBAL bounds - >= 14683 @ 2491.12
2518.19/2524.37 c GLOBAL bounds - >= 14683 @ 2491.18
2518.19/2524.37 c GLOBAL bounds - >= 14683 @ 2491.18
2518.19/2524.39 c GLOBAL bounds - >= 14683 @ 2491.19
2518.28/2524.40 c GLOBAL bounds - >= 14683 @ 2491.19
2518.28/2524.41 c GLOBAL bounds - >= 14683 @ 2491.2
2518.28/2524.42 c GLOBAL bounds - >= 14683 @ 2491.21
2518.39/2524.50 c GLOBAL bounds - >= 14683 @ 2491.23
2518.39/2524.52 c GLOBAL bounds - >= 14683 @ 2491.24
2518.48/2524.60 c GLOBAL bounds - >= 14683 @ 2491.27
2518.48/2524.62 c GLOBAL bounds - >= 14683 @ 2491.28
2518.59/2524.70 c GLOBAL bounds - >= 14683 @ 2491.31
2518.59/2524.71 c GLOBAL bounds - >= 14683 @ 2491.32
2518.59/2524.80 c GLOBAL bounds - >= 14683 @ 2491.35
2518.68/2524.81 c GLOBAL bounds - >= 14683 @ 2491.36
2518.68/2524.89 c GLOBAL bounds - >= 14683 @ 2491.39
2518.78/2524.91 c GLOBAL bounds - >= 14683 @ 2491.4
2518.78/2524.99 c GLOBAL bounds - >= 14683 @ 2491.43
2518.78/2525.00 c GLOBAL bounds - >= 14683 @ 2491.44
2518.89/2525.08 c GLOBAL bounds - >= 14683 @ 2491.47
2518.89/2525.10 c GLOBAL bounds - >= 14683 @ 2491.48
2518.99/2525.18 c GLOBAL bounds - >= 14683 @ 2491.51
2518.99/2525.19 c GLOBAL bounds - >= 14683 @ 2491.52
2519.09/2525.28 c GLOBAL bounds - >= 14683 @ 2491.55
2519.18/2525.30 c GLOBAL bounds - >= 14683 @ 2491.56
2519.18/2525.38 c GLOBAL bounds - >= 14683 @ 2491.59
2519.28/2525.46 c GLOBAL bounds - >= 14683 @ 2491.62
2519.39/2525.54 c GLOBAL bounds - >= 14683 @ 2491.65
2519.49/2525.63 c GLOBAL bounds - >= 14683 @ 2491.67
2519.59/2525.71 c GLOBAL bounds - >= 14683 @ 2491.7
2519.59/2525.80 c GLOBAL bounds - >= 14683 @ 2491.73
2519.69/2525.88 c GLOBAL bounds - >= 14683 @ 2491.76
2519.78/2525.98 c GLOBAL bounds - >= 14683 @ 2491.8
2519.99/2526.12 c GLOBAL bounds - >= 14683 @ 2491.89
2520.09/2526.23 c GLOBAL bounds - >= 14683 @ 2491.97
2520.09/2526.24 c GLOBAL bounds - >= 14683 @ 2491.97
2520.09/2526.25 c GLOBAL bounds - >= 14683 @ 2491.98
2520.09/2526.26 c GLOBAL bounds - >= 14683 @ 2491.98
2520.09/2526.27 c GLOBAL bounds - >= 14683 @ 2491.99
2520.09/2526.29 c GLOBAL bounds - >= 14683 @ 2492
2520.18/2526.38 c GLOBAL bounds - >= 14683 @ 2492.04
2520.18/2526.39 c GLOBAL bounds - >= 14683 @ 2492.05
2520.28/2526.47 c GLOBAL bounds - >= 14683 @ 2492.08
2520.38/2526.50 c GLOBAL bounds - >= 14683 @ 2492.08
2520.38/2526.59 c GLOBAL bounds - >= 14683 @ 2492.13
2520.48/2526.61 c GLOBAL bounds - >= 14683 @ 2492.14
2520.48/2526.69 c GLOBAL bounds - >= 14683 @ 2492.17
2520.58/2526.70 c GLOBAL bounds - >= 14683 @ 2492.18
2520.58/2526.78 c GLOBAL bounds - >= 14683 @ 2492.21
2520.68/2526.80 c GLOBAL bounds - >= 14683 @ 2492.22
2520.68/2526.88 c GLOBAL bounds - >= 14683 @ 2492.26
2520.68/2526.89 c GLOBAL bounds - >= 14683 @ 2492.27
2520.78/2526.97 c GLOBAL bounds - >= 14683 @ 2492.3
2520.78/2526.99 c GLOBAL bounds - >= 14683 @ 2492.3
2520.88/2527.07 c GLOBAL bounds - >= 14683 @ 2492.33
2520.88/2527.08 c GLOBAL bounds - >= 14683 @ 2492.33
2520.99/2527.16 c GLOBAL bounds - >= 14683 @ 2492.37
2520.99/2527.18 c GLOBAL bounds - >= 14683 @ 2492.37
2521.08/2527.26 c GLOBAL bounds - >= 14683 @ 2492.4
2521.18/2527.35 c GLOBAL bounds - >= 14683 @ 2492.44
2521.28/2527.43 c GLOBAL bounds - >= 14683 @ 2492.47
2521.37/2527.54 c GLOBAL bounds - >= 14683 @ 2492.51
2521.47/2527.62 c GLOBAL bounds - >= 14683 @ 2492.55
2521.58/2527.71 c GLOBAL bounds - >= 14683 @ 2492.58
2521.68/2527.80 c GLOBAL bounds - >= 14683 @ 2492.62
2521.78/2527.90 c GLOBAL bounds - >= 14683 @ 2492.66
2521.78/2527.98 c GLOBAL bounds - >= 14683 @ 2492.69
2524.67/2530.88 c #Conflicts: 627000 | #Constraints: 20251
2524.67/2530.88 c GLOBAL bounds - >= 14683 @ 2495.47
2761.00/2767.74 c #Conflicts: 628000 | #Constraints: 21251
2761.00/2767.74 c #Conflicts: 629000 | #Constraints: 22251
2761.00/2767.74 c #Conflicts: 630000 | #Constraints: 23251
2761.00/2767.74 c #Conflicts: 631000 | #Constraints: 24251
2761.00/2767.74 c #Conflicts: 632000 | #Constraints: 25251
2761.00/2767.74 c #Conflicts: 633000 | #Constraints: 26251
2761.00/2767.74 c #Conflicts: 634000 | #Constraints: 27251
2761.00/2767.74 c #Conflicts: 635000 | #Constraints: 28251
2761.00/2767.74 c #Conflicts: 636000 | #Constraints: 29251
2761.00/2767.74 c #Conflicts: 637000 | #Constraints: 30251
2761.00/2767.74 c #Conflicts: 638000 | #Constraints: 31251
2761.00/2767.74 c #Conflicts: 639000 | #Constraints: 32251
2761.00/2767.74 c INPROCESSING
2761.00/2767.74 c GARBAGE COLLECT
2761.00/2767.74 c #Conflicts: 640000 | #Constraints: 17440
2761.00/2767.74 c #Conflicts: 641000 | #Constraints: 18440
2761.00/2767.74 c #Conflicts: 642000 | #Constraints: 19440
2761.00/2767.74 c #Conflicts: 643000 | #Constraints: 20440
2761.00/2767.74 c #Conflicts: 644000 | #Constraints: 21440
2761.00/2767.74 c #Conflicts: 645000 | #Constraints: 22440
2761.00/2767.74 c #Conflicts: 646000 | #Constraints: 23440
2761.00/2767.74 c #Conflicts: 647000 | #Constraints: 24440
2761.00/2767.74 c #Conflicts: 648000 | #Constraints: 25440
2761.00/2767.74 c #Conflicts: 649000 | #Constraints: 26440
2761.00/2767.74 c #Conflicts: 650000 | #Constraints: 27440
2761.00/2767.74 c #Conflicts: 651000 | #Constraints: 28440
2761.00/2767.74 c #Conflicts: 652000 | #Constraints: 29440
2761.00/2767.74 c #Conflicts: 653000 | #Constraints: 30440
2761.00/2767.74 c #Conflicts: 654000 | #Constraints: 31440
2761.00/2767.74 c #Conflicts: 655000 | #Constraints: 32440
2761.00/2767.74 c INPROCESSING
2761.00/2767.74 c GARBAGE COLLECT
2761.00/2767.74 c #Conflicts: 656000 | #Constraints: 17440
2761.00/2767.74 c #Conflicts: 657000 | #Constraints: 18440
2761.00/2767.74 c #Conflicts: 658000 | #Constraints: 19440
2761.00/2767.74 c #Conflicts: 659000 | #Constraints: 20440
2761.00/2767.74 c #Conflicts: 660000 | #Constraints: 21440
2761.00/2767.74 c #Conflicts: 661000 | #Constraints: 22440
2761.00/2767.74 c #Conflicts: 662000 | #Constraints: 23440
2761.00/2767.74 c #Conflicts: 663000 | #Constraints: 24440
2761.00/2767.74 c #Conflicts: 664000 | #Constraints: 25440
2761.00/2767.74 c #Conflicts: 665000 | #Constraints: 26440
2761.00/2767.74 c #Conflicts: 666000 | #Constraints: 27440
2761.00/2767.74 c #Conflicts: 667000 | #Constraints: 28440
2761.00/2767.74 c #Conflicts: 668000 | #Constraints: 29440
2761.00/2767.74 c #Conflicts: 669000 | #Constraints: 30440
2761.00/2767.74 c #Conflicts: 670000 | #Constraints: 31440
2761.00/2767.74 c #Conflicts: 671000 | #Constraints: 32440
2761.00/2767.74 c INPROCESSING
2761.00/2767.74 c GARBAGE COLLECT
2761.00/2767.74 c #Conflicts: 672000 | #Constraints: 17238
2761.00/2767.74 c #Conflicts: 673000 | #Constraints: 18238
2761.00/2767.74 c #Conflicts: 674000 | #Constraints: 19238
2761.00/2767.74 c #Conflicts: 675000 | #Constraints: 20238
2761.00/2767.74 c #Conflicts: 676000 | #Constraints: 21238
2761.00/2767.74 c #Conflicts: 677000 | #Constraints: 22238
2761.00/2767.74 c #Conflicts: 678000 | #Constraints: 23238
2761.00/2767.74 c #Conflicts: 679000 | #Constraints: 24238
2761.00/2767.74 c #Conflicts: 680000 | #Constraints: 25238
2761.00/2767.74 c #Conflicts: 681000 | #Constraints: 26238
2761.00/2767.74 c #Conflicts: 682000 | #Constraints: 27238
2761.00/2767.74 c #Conflicts: 683000 | #Constraints: 28238
2761.00/2767.74 c #Conflicts: 684000 | #Constraints: 29238
2761.00/2767.74 c #Conflicts: 685000 | #Constraints: 30238
2761.00/2767.74 c #Conflicts: 686000 | #Constraints: 31238
2761.00/2767.74 c #Conflicts: 687000 | #Constraints: 32238
2761.00/2767.74 c #Conflicts: 688000 | #Constraints: 33238
2761.00/2767.74 c INPROCESSING
2761.00/2767.74 c GARBAGE COLLECT
2761.00/2767.74 c #Conflicts: 689000 | #Constraints: 17838
2761.00/2767.74 c #Conflicts: 690000 | #Constraints: 18838
2761.00/2767.74 c #Conflicts: 691000 | #Constraints: 19838
2761.00/2767.74 c #Conflicts: 692000 | #Constraints: 20838
2761.00/2767.74 c #Conflicts: 693000 | #Constraints: 21838
2761.00/2767.74 c #Conflicts: 694000 | #Constraints: 22838
2761.00/2767.74 c #Conflicts: 695000 | #Constraints: 23838
2761.00/2767.74 c #Conflicts: 696000 | #Constraints: 24838
2761.00/2767.74 c #Conflicts: 697000 | #Constraints: 25838
2761.00/2767.74 c #Conflicts: 698000 | #Constraints: 26838
2761.00/2767.74 c #Conflicts: 699000 | #Constraints: 27838
2761.00/2767.74 c #Conflicts: 700000 | #Constraints: 28838
2761.00/2767.74 c #Conflicts: 701000 | #Constraints: 29838
2761.00/2767.74 c #Conflicts: 702000 | #Constraints: 30838
2761.00/2767.74 c #Conflicts: 703000 | #Constraints: 31838
2761.00/2767.74 c #Conflicts: 704000 | #Constraints: 32838
2768.69/2775.47 c #Conflicts: 705000 | #Constraints: 33838
2768.69/2775.47 c INPROCESSING
2768.69/2775.47 c GARBAGE COLLECT
2768.69/2775.47 c GLOBAL bounds - >= 14684 @ 2738.39
2768.69/2775.49 c GLOBAL bounds - >= 14684 @ 2738.4
2768.79/2775.50 c GLOBAL bounds - >= 14684 @ 2738.4
2768.79/2775.51 c GLOBAL bounds - >= 14684 @ 2738.41
2768.79/2775.59 c GLOBAL bounds - >= 14684 @ 2738.44
2768.89/2775.60 c GLOBAL bounds - >= 14684 @ 2738.44
2768.89/2775.69 c GLOBAL bounds - >= 14684 @ 2738.48
2768.99/2775.70 c GLOBAL bounds - >= 14684 @ 2738.49
2768.99/2775.78 c GLOBAL bounds - >= 14684 @ 2738.52
2768.99/2775.79 c GLOBAL bounds - >= 14684 @ 2738.53
2769.09/2775.87 c GLOBAL bounds - >= 14684 @ 2738.56
2769.09/2775.88 c GLOBAL bounds - >= 14684 @ 2738.57
2769.19/2775.97 c GLOBAL bounds - >= 14684 @ 2738.6
2769.19/2775.98 c GLOBAL bounds - >= 14684 @ 2738.61
2769.29/2776.06 c GLOBAL bounds - >= 14684 @ 2738.64
2769.29/2776.07 c GLOBAL bounds - >= 14684 @ 2738.65
2769.39/2776.16 c GLOBAL bounds - >= 14684 @ 2738.68
2769.39/2776.17 c GLOBAL bounds - >= 14684 @ 2738.69
2769.49/2776.25 c GLOBAL bounds - >= 14684 @ 2738.72
2769.49/2776.27 c GLOBAL bounds - >= 14684 @ 2738.72
2769.59/2776.35 c GLOBAL bounds - >= 14684 @ 2738.76
2769.59/2776.36 c GLOBAL bounds - >= 14684 @ 2738.76
2769.69/2776.44 c GLOBAL bounds - >= 14684 @ 2738.79
2769.79/2776.53 c GLOBAL bounds - >= 14684 @ 2738.84
2769.89/2776.62 c GLOBAL bounds - >= 14684 @ 2738.88
2769.99/2776.70 c GLOBAL bounds - >= 14684 @ 2738.93
2769.99/2776.79 c GLOBAL bounds - >= 14684 @ 2738.95
2770.09/2776.88 c GLOBAL bounds - >= 14684 @ 2738.99
2770.19/2776.97 c GLOBAL bounds - >= 14684 @ 2739.04
2770.29/2777.10 c GLOBAL bounds - >= 14684 @ 2739.12
2770.58/2777.32 c GLOBAL bounds - >= 14684 @ 2739.29
2770.69/2777.42 c GLOBAL bounds - >= 14684 @ 2739.34
2797.63/2804.47 c #Conflicts: 706000 | #Constraints: 18293
2797.63/2804.47 c #Conflicts: 707000 | #Constraints: 19293
2797.63/2804.47 c #Conflicts: 708000 | #Constraints: 20293
2797.63/2804.47 c #Conflicts: 709000 | #Constraints: 21293
2797.63/2804.47 c #Conflicts: 710000 | #Constraints: 22293
2797.63/2804.47 c #Conflicts: 711000 | #Constraints: 23293
2797.63/2804.47 c #Conflicts: 712000 | #Constraints: 24293
2797.63/2804.47 c #Conflicts: 713000 | #Constraints: 25293
2797.63/2804.47 c #Conflicts: 714000 | #Constraints: 26293
2797.63/2804.47 c #Conflicts: 715000 | #Constraints: 27293
2797.63/2804.47 c #Conflicts: 716000 | #Constraints: 28293
2797.63/2804.47 c GLOBAL bounds - >= 14684 @ 2766.16
2797.63/2804.48 c GLOBAL bounds - >= 14684 @ 2766.16
2797.63/2804.50 c GLOBAL bounds - >= 14684 @ 2766.17
2797.72/2804.51 c GLOBAL bounds - >= 14684 @ 2766.18
2797.72/2804.52 c GLOBAL bounds - >= 14684 @ 2766.18
2797.72/2804.53 c GLOBAL bounds - >= 14684 @ 2766.19
2801.22/2808.01 c #Conflicts: 717000 | #Constraints: 29296
2801.22/2808.01 c GLOBAL bounds - >= 14684 @ 2769.59
2801.22/2808.02 c GLOBAL bounds - >= 14684 @ 2769.6
2801.32/2808.11 c GLOBAL bounds - >= 14684 @ 2769.63
2801.32/2808.12 c GLOBAL bounds - >= 14684 @ 2769.63
2801.42/2808.20 c GLOBAL bounds - >= 14684 @ 2769.67
2801.42/2808.22 c GLOBAL bounds - >= 14684 @ 2769.68
2801.52/2808.31 c GLOBAL bounds - >= 14684 @ 2769.71
2801.52/2808.32 c GLOBAL bounds - >= 14684 @ 2769.71
2801.61/2808.40 c GLOBAL bounds - >= 14684 @ 2769.74
2801.61/2808.42 c GLOBAL bounds - >= 14684 @ 2769.75
2801.72/2808.50 c GLOBAL bounds - >= 14684 @ 2769.78
2801.72/2808.52 c GLOBAL bounds - >= 14684 @ 2769.79
2801.81/2808.60 c GLOBAL bounds - >= 14684 @ 2769.83
2801.81/2808.61 c GLOBAL bounds - >= 14684 @ 2769.84
2801.91/2808.70 c GLOBAL bounds - >= 14684 @ 2769.87
2801.91/2808.71 c GLOBAL bounds - >= 14684 @ 2769.87
2801.91/2808.79 c GLOBAL bounds - >= 14684 @ 2769.92
2802.01/2808.81 c GLOBAL bounds - >= 14684 @ 2769.92
2802.01/2808.89 c GLOBAL bounds - >= 14684 @ 2769.96
2802.11/2808.98 c GLOBAL bounds - >= 14684 @ 2769.99
2802.22/2809.06 c GLOBAL bounds - >= 14684 @ 2770.03
2802.32/2809.14 c GLOBAL bounds - >= 14684 @ 2770.06
2802.41/2809.23 c GLOBAL bounds - >= 14684 @ 2770.09
2802.51/2809.33 c GLOBAL bounds - >= 14684 @ 2770.14
2802.61/2809.47 c GLOBAL bounds - >= 14684 @ 2770.23
2802.72/2809.56 c GLOBAL bounds - >= 14684 @ 2770.26
2802.81/2809.68 c GLOBAL bounds - >= 14684 @ 2770.32
2803.01/2809.82 c GLOBAL bounds - >= 14684 @ 2770.41
2940.79/2947.96 c #Conflicts: 718000 | #Constraints: 30308
2940.79/2947.96 c #Conflicts: 719000 | #Constraints: 31308
2940.79/2947.96 c #Conflicts: 720000 | #Constraints: 32308
2940.79/2947.96 c #Conflicts: 721000 | #Constraints: 33308
2940.79/2947.96 c #Conflicts: 722000 | #Constraints: 34308
2940.79/2947.96 c INPROCESSING
2940.79/2947.96 c GARBAGE COLLECT
2940.79/2947.96 c #Conflicts: 723000 | #Constraints: 18510
2940.79/2947.96 c #Conflicts: 724000 | #Constraints: 19510
2940.79/2947.96 c #Conflicts: 725000 | #Constraints: 20510
2940.79/2947.96 c #Conflicts: 726000 | #Constraints: 21510
2940.79/2947.96 c #Conflicts: 727000 | #Constraints: 22510
2940.79/2947.96 c #Conflicts: 728000 | #Constraints: 23510
2940.79/2947.96 c #Conflicts: 729000 | #Constraints: 24510
2940.79/2947.96 c #Conflicts: 730000 | #Constraints: 25510
2940.79/2947.96 c #Conflicts: 731000 | #Constraints: 26510
2940.79/2947.96 c #Conflicts: 732000 | #Constraints: 27510
2940.79/2947.96 c #Conflicts: 733000 | #Constraints: 28510
2940.79/2947.96 c #Conflicts: 734000 | #Constraints: 29510
2940.79/2947.96 c #Conflicts: 735000 | #Constraints: 30510
2940.79/2947.96 c #Conflicts: 736000 | #Constraints: 31510
2940.79/2947.96 c #Conflicts: 737000 | #Constraints: 32510
2940.79/2947.96 c #Conflicts: 738000 | #Constraints: 33510
2940.79/2947.96 c #Conflicts: 739000 | #Constraints: 34510
2940.79/2947.96 c INPROCESSING
2940.79/2947.96 c GARBAGE COLLECT
2940.79/2947.96 c #Conflicts: 740000 | #Constraints: 18477
2940.79/2947.96 c #Conflicts: 741000 | #Constraints: 19477
2940.79/2947.96 c #Conflicts: 742000 | #Constraints: 20477
2940.79/2947.96 c #Conflicts: 743000 | #Constraints: 21477
2940.79/2947.96 c #Conflicts: 744000 | #Constraints: 22477
2940.79/2947.96 c #Conflicts: 745000 | #Constraints: 23477
2940.79/2947.96 c #Conflicts: 746000 | #Constraints: 24477
2940.79/2947.96 c #Conflicts: 747000 | #Constraints: 25477
2940.79/2947.96 c #Conflicts: 748000 | #Constraints: 26477
2940.79/2947.96 c #Conflicts: 749000 | #Constraints: 27477
2940.79/2947.96 c #Conflicts: 750000 | #Constraints: 28477
2940.79/2947.96 c #Conflicts: 751000 | #Constraints: 29477
2940.79/2947.96 c #Conflicts: 752000 | #Constraints: 30477
2940.79/2947.96 c #Conflicts: 753000 | #Constraints: 31477
2940.79/2947.96 c #Conflicts: 754000 | #Constraints: 32477
2940.79/2947.96 c #Conflicts: 755000 | #Constraints: 33477
2940.79/2947.96 c #Conflicts: 756000 | #Constraints: 34477
2940.79/2947.96 c INPROCESSING
2940.79/2947.96 c GARBAGE COLLECT
2940.79/2947.96 c #Conflicts: 757000 | #Constraints: 18257
2940.79/2947.96 c #Conflicts: 758000 | #Constraints: 19257
2940.79/2947.96 c #Conflicts: 759000 | #Constraints: 20257
2940.79/2947.96 c #Conflicts: 760000 | #Constraints: 21257
2940.79/2947.96 c #Conflicts: 761000 | #Constraints: 22257
2940.79/2947.96 c #Conflicts: 762000 | #Constraints: 23257
2940.79/2947.96 c #Conflicts: 763000 | #Constraints: 24257
2940.79/2947.96 c #Conflicts: 764000 | #Constraints: 25257
2940.79/2947.96 c #Conflicts: 765000 | #Constraints: 26257
2940.79/2947.96 c GLOBAL bounds - >= 14684 @ 2907.26
2940.79/2947.96 c GLOBAL bounds - >= 14684 @ 2907.27
2940.79/2947.98 c GLOBAL bounds - >= 14684 @ 2907.29
2940.79/2947.99 c GLOBAL bounds - >= 14684 @ 2907.29
2940.89/2948.01 c GLOBAL bounds - >= 14684 @ 2907.3
2940.89/2948.02 c GLOBAL bounds - >= 14684 @ 2907.3
2940.89/2948.04 c GLOBAL bounds - >= 14684 @ 2907.32
2940.89/2948.06 c GLOBAL bounds - >= 14684 @ 2907.33
2940.89/2948.08 c GLOBAL bounds - >= 14684 @ 2907.34
2940.89/2948.09 c GLOBAL bounds - >= 14684 @ 2907.34
2940.99/2948.18 c GLOBAL bounds - >= 14684 @ 2907.38
2940.99/2948.19 c GLOBAL bounds - >= 14684 @ 2907.38
2943.38/2950.56 c #Conflicts: 766000 | #Constraints: 27265
2943.38/2950.56 c GLOBAL bounds - >= 14684 @ 2909.68
2943.38/2950.58 c GLOBAL bounds - >= 14684 @ 2909.69
2943.48/2950.66 c GLOBAL bounds - >= 14684 @ 2909.73
2943.48/2950.67 c GLOBAL bounds - >= 14684 @ 2909.74
2943.58/2950.76 c GLOBAL bounds - >= 14684 @ 2909.77
2943.58/2950.77 c GLOBAL bounds - >= 14684 @ 2909.78
2943.68/2950.85 c GLOBAL bounds - >= 14684 @ 2909.81
2943.68/2950.87 c GLOBAL bounds - >= 14684 @ 2909.82
2943.78/2950.95 c GLOBAL bounds - >= 14684 @ 2909.86
2943.78/2950.96 c GLOBAL bounds - >= 14684 @ 2909.87
2943.88/2951.05 c GLOBAL bounds - >= 14684 @ 2909.9
2943.88/2951.06 c GLOBAL bounds - >= 14684 @ 2909.91
2943.98/2951.15 c GLOBAL bounds - >= 14684 @ 2909.94
2943.98/2951.16 c GLOBAL bounds - >= 14684 @ 2909.95
2944.08/2951.24 c GLOBAL bounds - >= 14684 @ 2909.99
2944.08/2951.26 c GLOBAL bounds - >= 14684 @ 2909.99
2944.18/2951.34 c GLOBAL bounds - >= 14684 @ 2910.02
2944.28/2951.43 c GLOBAL bounds - >= 14684 @ 2910.06
2944.38/2951.51 c GLOBAL bounds - >= 14684 @ 2910.09
2944.48/2951.60 c GLOBAL bounds - >= 14684 @ 2910.13
2944.48/2951.68 c GLOBAL bounds - >= 14684 @ 2910.17
2944.58/2951.77 c GLOBAL bounds - >= 14684 @ 2910.2
2944.77/2951.92 c GLOBAL bounds - >= 14684 @ 2910.29
2944.88/2952.04 c GLOBAL bounds - >= 14684 @ 2910.36
3213.83/3221.68 c #Conflicts: 767000 | #Constraints: 28273
3213.83/3221.68 c #Conflicts: 768000 | #Constraints: 29273
3213.83/3221.68 c #Conflicts: 769000 | #Constraints: 30273
3213.83/3221.68 c #Conflicts: 770000 | #Constraints: 31273
3213.83/3221.68 c #Conflicts: 771000 | #Constraints: 32273
3213.83/3221.68 c #Conflicts: 772000 | #Constraints: 33273
3213.83/3221.68 c #Conflicts: 773000 | #Constraints: 34273
3213.83/3221.68 c #Conflicts: 774000 | #Constraints: 35273
3213.83/3221.68 c INPROCESSING
3213.83/3221.68 c GARBAGE COLLECT
3213.83/3221.68 c #Conflicts: 775000 | #Constraints: 18863
3213.83/3221.68 c #Conflicts: 776000 | #Constraints: 19863
3213.83/3221.68 c #Conflicts: 777000 | #Constraints: 20863
3213.83/3221.68 c #Conflicts: 778000 | #Constraints: 21863
3213.83/3221.68 c #Conflicts: 779000 | #Constraints: 22863
3213.83/3221.68 c #Conflicts: 780000 | #Constraints: 23863
3213.83/3221.68 c #Conflicts: 781000 | #Constraints: 24863
3213.83/3221.68 c #Conflicts: 782000 | #Constraints: 25863
3213.83/3221.68 c #Conflicts: 783000 | #Constraints: 26863
3213.83/3221.68 c #Conflicts: 784000 | #Constraints: 27863
3213.83/3221.68 c #Conflicts: 785000 | #Constraints: 28863
3213.83/3221.68 c #Conflicts: 786000 | #Constraints: 29863
3213.83/3221.68 c #Conflicts: 787000 | #Constraints: 30863
3213.83/3221.68 c #Conflicts: 788000 | #Constraints: 31863
3213.83/3221.68 c #Conflicts: 789000 | #Constraints: 32863
3213.83/3221.68 c #Conflicts: 790000 | #Constraints: 33863
3213.83/3221.68 c #Conflicts: 791000 | #Constraints: 34863
3213.83/3221.68 c #Conflicts: 792000 | #Constraints: 35863
3213.83/3221.68 c INPROCESSING
3213.83/3221.68 c GARBAGE COLLECT
3213.83/3221.68 c #Conflicts: 793000 | #Constraints: 19270
3213.83/3221.68 c #Conflicts: 794000 | #Constraints: 20270
3213.83/3221.68 c #Conflicts: 795000 | #Constraints: 21270
3213.83/3221.68 c #Conflicts: 796000 | #Constraints: 22270
3213.83/3221.68 c #Conflicts: 797000 | #Constraints: 23270
3213.83/3221.68 c #Conflicts: 798000 | #Constraints: 24270
3213.83/3221.68 c #Conflicts: 799000 | #Constraints: 25270
3213.83/3221.68 c #Conflicts: 800000 | #Constraints: 26270
3213.83/3221.68 c #Conflicts: 801000 | #Constraints: 27270
3213.83/3221.68 c #Conflicts: 802000 | #Constraints: 28270
3213.83/3221.68 c #Conflicts: 803000 | #Constraints: 29270
3213.83/3221.68 c #Conflicts: 804000 | #Constraints: 30270
3213.83/3221.68 c #Conflicts: 805000 | #Constraints: 31270
3213.83/3221.68 c #Conflicts: 806000 | #Constraints: 32270
3213.83/3221.68 c #Conflicts: 807000 | #Constraints: 33270
3213.83/3221.68 c #Conflicts: 808000 | #Constraints: 34270
3213.83/3221.68 c #Conflicts: 809000 | #Constraints: 35270
3213.83/3221.68 c #Conflicts: 810000 | #Constraints: 36270
3213.83/3221.68 c INPROCESSING
3213.83/3221.68 c GARBAGE COLLECT
3213.83/3221.68 c #Conflicts: 811000 | #Constraints: 19462
3213.83/3221.68 c #Conflicts: 812000 | #Constraints: 20462
3213.83/3221.68 c #Conflicts: 813000 | #Constraints: 21462
3213.83/3221.68 c #Conflicts: 814000 | #Constraints: 22462
3213.83/3221.68 c #Conflicts: 815000 | #Constraints: 23462
3213.83/3221.68 c #Conflicts: 816000 | #Constraints: 24462
3213.83/3221.68 c #Conflicts: 817000 | #Constraints: 25462
3213.83/3221.68 c #Conflicts: 818000 | #Constraints: 26462
3213.83/3221.68 c #Conflicts: 819000 | #Constraints: 27462
3213.83/3221.68 c #Conflicts: 820000 | #Constraints: 28462
3213.83/3221.68 c #Conflicts: 821000 | #Constraints: 29462
3213.83/3221.68 c #Conflicts: 822000 | #Constraints: 30462
3213.83/3221.68 c #Conflicts: 823000 | #Constraints: 31462
3213.83/3221.68 c #Conflicts: 824000 | #Constraints: 32462
3213.83/3221.68 c #Conflicts: 825000 | #Constraints: 33462
3213.83/3221.68 c #Conflicts: 826000 | #Constraints: 34462
3213.83/3221.68 c #Conflicts: 827000 | #Constraints: 35462
3213.83/3221.68 c #Conflicts: 828000 | #Constraints: 36462
3213.83/3221.68 c INPROCESSING
3213.83/3221.68 c GARBAGE COLLECT
3213.83/3221.68 c #Conflicts: 829000 | #Constraints: 19470
3213.83/3221.68 c #Conflicts: 830000 | #Constraints: 20470
3213.83/3221.68 c #Conflicts: 831000 | #Constraints: 21470
3213.83/3221.68 c #Conflicts: 832000 | #Constraints: 22470
3213.83/3221.68 c #Conflicts: 833000 | #Constraints: 23470
3213.83/3221.68 c #Conflicts: 834000 | #Constraints: 24470
3213.83/3221.68 c #Conflicts: 835000 | #Constraints: 25470
3213.83/3221.68 c #Conflicts: 836000 | #Constraints: 26470
3213.83/3221.68 c #Conflicts: 837000 | #Constraints: 27470
3213.83/3221.68 c #Conflicts: 838000 | #Constraints: 28470
3213.83/3221.68 c #Conflicts: 839000 | #Constraints: 29470
3213.83/3221.68 c #Conflicts: 840000 | #Constraints: 30470
3213.83/3221.68 c #Conflicts: 841000 | #Constraints: 31470
3213.83/3221.68 c #Conflicts: 842000 | #Constraints: 32470
3213.83/3221.68 c #Conflicts: 843000 | #Constraints: 33470
3452.54/3460.93 c #Conflicts: 844000 | #Constraints: 34470
3452.54/3460.93 c #Conflicts: 845000 | #Constraints: 35470
3452.54/3460.93 c #Conflicts: 846000 | #Constraints: 36470
3452.54/3460.93 c INPROCESSING
3452.54/3460.93 c GARBAGE COLLECT
3452.54/3460.93 c #Conflicts: 847000 | #Constraints: 19265
3452.54/3460.93 c #Conflicts: 848000 | #Constraints: 20265
3452.54/3460.93 c #Conflicts: 849000 | #Constraints: 21265
3452.54/3460.93 c #Conflicts: 850000 | #Constraints: 22265
3452.54/3460.93 c #Conflicts: 851000 | #Constraints: 23265
3452.54/3460.93 c #Conflicts: 852000 | #Constraints: 24265
3452.54/3460.93 c #Conflicts: 853000 | #Constraints: 25265
3452.54/3460.93 c #Conflicts: 854000 | #Constraints: 26265
3452.54/3460.93 c #Conflicts: 855000 | #Constraints: 27265
3452.54/3460.93 c #Conflicts: 856000 | #Constraints: 28265
3452.54/3460.93 c #Conflicts: 857000 | #Constraints: 29265
3452.54/3460.93 c #Conflicts: 858000 | #Constraints: 30265
3452.54/3460.93 c #Conflicts: 859000 | #Constraints: 31265
3452.54/3460.93 c #Conflicts: 860000 | #Constraints: 32265
3452.54/3460.93 c #Conflicts: 861000 | #Constraints: 33265
3452.54/3460.93 c #Conflicts: 862000 | #Constraints: 34265
3452.54/3460.93 c #Conflicts: 863000 | #Constraints: 35265
3452.54/3460.93 c #Conflicts: 864000 | #Constraints: 36265
3452.54/3460.93 c #Conflicts: 865000 | #Constraints: 37265
3452.54/3460.93 c INPROCESSING
3452.54/3460.93 c GARBAGE COLLECT
3452.54/3460.93 c #Conflicts: 866000 | #Constraints: 19862
3452.54/3460.93 c #Conflicts: 867000 | #Constraints: 20862
3452.54/3460.93 c #Conflicts: 868000 | #Constraints: 21862
3452.54/3460.93 c #Conflicts: 869000 | #Constraints: 22862
3452.54/3460.93 c #Conflicts: 870000 | #Constraints: 23862
3452.54/3460.93 c #Conflicts: 871000 | #Constraints: 24862
3452.54/3460.93 c #Conflicts: 872000 | #Constraints: 25862
3452.54/3460.93 c #Conflicts: 873000 | #Constraints: 26862
3452.54/3460.93 c #Conflicts: 874000 | #Constraints: 27862
3452.54/3460.93 c #Conflicts: 875000 | #Constraints: 28862
3452.54/3460.93 c #Conflicts: 876000 | #Constraints: 29862
3452.54/3460.93 c #Conflicts: 877000 | #Constraints: 30862
3452.54/3460.93 c #Conflicts: 878000 | #Constraints: 31862
3452.54/3460.93 c #Conflicts: 879000 | #Constraints: 32862
3452.54/3460.93 c #Conflicts: 880000 | #Constraints: 33862
3452.54/3460.93 c #Conflicts: 881000 | #Constraints: 34862
3452.54/3460.93 c #Conflicts: 882000 | #Constraints: 35862
3452.54/3460.93 c #Conflicts: 883000 | #Constraints: 36862
3452.54/3460.93 c #Conflicts: 884000 | #Constraints: 37862
3452.54/3460.93 c INPROCESSING
3452.54/3460.93 c GARBAGE COLLECT
3452.54/3460.93 c #Conflicts: 885000 | #Constraints: 20279
3452.54/3460.93 c #Conflicts: 886000 | #Constraints: 21279
3452.54/3460.93 c #Conflicts: 887000 | #Constraints: 22279
3452.54/3460.93 c #Conflicts: 888000 | #Constraints: 23279
3452.54/3460.93 c #Conflicts: 889000 | #Constraints: 24279
3452.54/3460.93 c #Conflicts: 890000 | #Constraints: 25279
3452.54/3460.93 c #Conflicts: 891000 | #Constraints: 26279
3452.54/3460.93 c #Conflicts: 892000 | #Constraints: 27279
3452.54/3460.93 c #Conflicts: 893000 | #Constraints: 28279
3452.54/3460.93 c #Conflicts: 894000 | #Constraints: 29279
3452.54/3460.93 c #Conflicts: 895000 | #Constraints: 30279
3452.54/3460.93 c #Conflicts: 896000 | #Constraints: 31279
3452.54/3460.93 c #Conflicts: 897000 | #Constraints: 32279
3452.54/3460.93 c #Conflicts: 898000 | #Constraints: 33279
3452.54/3460.93 c #Conflicts: 899000 | #Constraints: 34279
3452.54/3460.93 c #Conflicts: 900000 | #Constraints: 35279
3452.54/3460.93 c #Conflicts: 901000 | #Constraints: 36279
3452.54/3460.93 c #Conflicts: 902000 | #Constraints: 37279
3452.54/3460.93 c #Conflicts: 903000 | #Constraints: 38279
3452.54/3460.93 c INPROCESSING
3452.54/3460.93 c GARBAGE COLLECT
3452.54/3460.93 c #Conflicts: 904000 | #Constraints: 20480
3452.54/3460.93 c #Conflicts: 905000 | #Constraints: 21480
3452.54/3460.93 c #Conflicts: 906000 | #Constraints: 22480
3452.54/3460.93 c #Conflicts: 907000 | #Constraints: 23480
3452.54/3460.93 c #Conflicts: 908000 | #Constraints: 24480
3452.54/3460.93 c #Conflicts: 909000 | #Constraints: 25480
3452.54/3460.93 c #Conflicts: 910000 | #Constraints: 26480
3452.54/3460.93 c #Conflicts: 911000 | #Constraints: 27480
3452.54/3460.93 c #Conflicts: 912000 | #Constraints: 28480
3452.54/3460.93 c #Conflicts: 913000 | #Constraints: 29480
3452.54/3460.93 c #Conflicts: 914000 | #Constraints: 30480
3452.54/3460.93 c #Conflicts: 915000 | #Constraints: 31480
3452.54/3460.93 c #Conflicts: 916000 | #Constraints: 32480
3452.54/3460.93 c #Conflicts: 917000 | #Constraints: 33480
3452.54/3460.93 c #Conflicts: 918000 | #Constraints: 34480
3452.54/3460.93 c #Conflicts: 919000 | #Constraints: 35480
3600.05/3608.80 c #Conflicts: 920000 | #Constraints: 36480
3600.05/3608.80 c #Conflicts: 921000 | #Constraints: 37480
3600.05/3608.80 c #Conflicts: 922000 | #Constraints: 38480
3600.05/3608.80 c INPROCESSING
3600.05/3608.80 c GARBAGE COLLECT
3600.05/3608.80 c #Conflicts: 923000 | #Constraints: 20487
3600.05/3608.80 c #Conflicts: 924000 | #Constraints: 21487
3600.05/3608.80 c #Conflicts: 925000 | #Constraints: 22487
3600.05/3608.80 c #Conflicts: 926000 | #Constraints: 23487
3600.05/3608.80 c #Conflicts: 927000 | #Constraints: 24487
3600.05/3608.80 c #Conflicts: 928000 | #Constraints: 25487
3600.05/3608.80 c #Conflicts: 929000 | #Constraints: 26487
3600.05/3608.80 c #Conflicts: 930000 | #Constraints: 27487
3600.05/3608.80 c #Conflicts: 931000 | #Constraints: 28487
3600.05/3608.80 c #Conflicts: 932000 | #Constraints: 29487
3600.05/3608.80 c #Conflicts: 933000 | #Constraints: 30487
3600.05/3608.80 c #Conflicts: 934000 | #Constraints: 31487
3600.05/3608.80 c #Conflicts: 935000 | #Constraints: 32487
3600.05/3608.80 c #Conflicts: 936000 | #Constraints: 33487
3600.05/3608.80 c #Conflicts: 937000 | #Constraints: 34487
3600.05/3608.80 c #Conflicts: 938000 | #Constraints: 35487
3600.05/3608.80 c #Conflicts: 939000 | #Constraints: 36487
3600.05/3608.80 c #Conflicts: 940000 | #Constraints: 37487
3600.05/3608.80 c #Conflicts: 941000 | #Constraints: 38487
3600.05/3608.80 c INPROCESSING
3600.05/3608.80 c GARBAGE COLLECT
3600.05/3608.80 c #Conflicts: 942000 | #Constraints: 20309
3600.05/3608.80 c #Conflicts: 943000 | #Constraints: 21309
3600.05/3608.80 c #Conflicts: 944000 | #Constraints: 22309
3600.05/3608.80 c #Conflicts: 945000 | #Constraints: 23309
3600.05/3608.80 c #Conflicts: 946000 | #Constraints: 24309
3600.05/3608.80 c #Conflicts: 947000 | #Constraints: 25309
3600.05/3608.80 c #Conflicts: 948000 | #Constraints: 26309
3600.05/3608.80 c #Conflicts: 949000 | #Constraints: 27309
3600.05/3608.80 c #Conflicts: 950000 | #Constraints: 28309
3600.05/3608.80 c #Conflicts: 951000 | #Constraints: 29309
3600.05/3608.80 c #Conflicts: 952000 | #Constraints: 30309
3600.05/3608.80 c #Conflicts: 953000 | #Constraints: 31309
3600.05/3608.80 c #Conflicts: 954000 | #Constraints: 32309
3600.05/3608.80 c #Conflicts: 955000 | #Constraints: 33309
3600.05/3608.80 c #Conflicts: 956000 | #Constraints: 34309
3600.05/3608.80 c #Conflicts: 957000 | #Constraints: 35309
3600.05/3608.80 c #Conflicts: 958000 | #Constraints: 36309
3600.05/3608.80 c #Conflicts: 959000 | #Constraints: 37309
3600.05/3608.80 c #Conflicts: 960000 | #Constraints: 38309
3600.05/3608.80 c #Conflicts: 961000 | #Constraints: 39309
3600.05/3608.80 c INPROCESSING
3600.05/3608.80 c GARBAGE COLLECT
3600.05/3608.80 c #Conflicts: 962000 | #Constraints: 20909
3600.05/3608.80 c #Conflicts: 963000 | #Constraints: 21909
3600.05/3608.80 c cpu time 3561.01 s
3600.05/3608.80 c deterministic time 29783346 2.98e+07
3600.05/3608.80 c optimization time 3557.11 s
3600.05/3608.80 c total solve time 2.61598 s
3600.05/3608.80 c core-guided solve time 0 s
3600.05/3608.80 c propagation time 1.39771 s
3600.05/3608.80 c conflict analysis time 0.272525 s
3600.05/3608.80 c propagations 4841078
3600.05/3608.80 c resolve steps 23907
3600.05/3608.80 c decisions 5224763
3600.05/3608.80 c conflicts 813
3600.05/3608.80 c restarts 6
3600.05/3608.80 c inprocessing phases 0
3600.05/3608.80 c garbage collections 0 ,( -nan )
3600.05/3608.80 c input clauses 308370 ,( 99.95 )
3600.05/3608.80 c input cardinalities 0 ,( 0.00 )
3600.05/3608.80 c input general constraints 153 ,( 0.05 )
3600.05/3608.80 c input average constraint length 7.38
3600.05/3608.80 c input average constraint degree 1317.82
3600.05/3608.80 c learned clauses 879 ,( 100.00 )
3600.05/3608.80 c learned cardinalities 0 ,( 0.00 )
3600.05/3608.80 c learned general constraints 0 ,( 0.00 )
3600.05/3608.80 c learned average constraint length 61.32
3600.05/3608.80 c learned average constraint degree 1.00
3600.05/3608.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3608.80 c counting CF 32, 64, 128, Arb: 154 , 0 , 0 , 0
3600.05/3608.80 c watched constraints 0 ,( 0.00 )
3600.05/3608.80 c counting constraints 153 ,( 100.00 )
3600.05/3608.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2916956 , 0 , 602933 ,( 0 , 602933 )
3600.05/3608.80 c gcd simplifications 0
3600.05/3608.80 c detected cardinalities 0
3600.05/3608.80 c weakened non-implied lits 0
3600.05/3608.80 c weakened non-implying lits 0
3600.05/3608.80 c original variables 79993
3600.05/3608.80 c clausal propagations 2777441
3600.05/3608.80 c cardinality propagations 0
3600.05/3608.80 c watched propagations 0
3600.05/3608.80 c counting propagations 24513
3600.05/3608.80 c watch lookups 4289524
3600.05/3608.80 c watch backjump lookups 0
3600.05/3608.80 c watch checks 2352936
3600.05/3608.80 c propagation checks 2824189
3600.05/3608.80 c constraint additions 221284
3600.05/3608.80 c trail pops 10026571
3600.05/3608.80 c formula constraints 307974
3600.05/3608.80 c learned constraints 879
3600.05/3608.80 c bound constraints 0
3600.05/3608.80 c core-guided constraints 0
3600.05/3608.80 c encountered formula constraints 24027
3600.05/3608.80 c encountered learned constraints 693
3600.05/3608.80 c encountered bound constraints 0
3600.05/3608.80 c encountered core-guided constraints 0
3600.05/3608.80 c LP total time 1.01002 s
3600.05/3608.80 c LP solve time 0.87 s
3600.05/3608.80 c LP constraints added 307974
3600.05/3608.80 c LP constraints removed 0
3600.05/3608.80 c LP pivots internal 2000
3600.05/3608.80 c LP pivots root 1000
3600.05/3608.80 c LP calls 2
3600.05/3608.80 c LP optimalities 0
3600.05/3608.80 c LP no pivot count 0
3600.05/3608.80 c LP infeasibilities 0
3600.05/3608.80 c LP valid Farkas constraints 0
3600.05/3608.80 c LP learned Farkas constraints 0
3600.05/3608.80 c LP basis resets 0
3600.05/3608.80 c LP cycling count 0
3600.05/3608.80 c LP singular count 0
3600.05/3608.80 c LP no primal count 0
3600.05/3608.80 c LP no farkas count 0
3600.05/3608.80 c LP other issue count 0
3600.05/3608.80 c LP Gomory cuts 0
3600.05/3608.80 c LP learned cuts 0
3600.05/3608.80 c LP deleted cuts 0
3600.05/3608.80 c LP encountered Gomory constraints 0
3600.05/3608.80 c LP encountered Farkas constraints 0
3600.05/3608.80 c LP encountered learned Farkas constraints 0
3600.05/3608.80 c CG auxiliary variables introduced 163
3600.05/3608.80 c CG solutions found 0
3600.05/3608.80 c CG cores constructed 274
3600.05/3608.80 c CG core cardinality constraints returned 0
3600.05/3608.80 c CG unit cores 0
3600.05/3608.80 c CG single cores 0
3600.05/3608.80 c CG blocks removed during cardinality reduction 0
3600.05/3608.80 c CG first core best 0
3600.05/3608.80 c CG decision core best 0
3600.05/3608.80 c CG core reduction tie 0
3600.05/3608.80 c CG core degree average 0.00
3600.05/3608.80 c CG core slack average 0.00
3600.05/3608.80 c CG core upper bound improvements 0
3600.05/3608.80 c STR number of successful calls 0
3600.05/3608.80 c STR number of unsuccessful calls 0
3600.05/3608.80 c STR number of inconclusive calls 0
3600.05/3608.80 c STR number of successful attempts 0
3600.05/3608.80 c STR number of unsuccessful attempts 0
3600.05/3608.80 c STR number of inconclusive attempts 0
3600.05/3608.80 c STR average degree increase per successful call inf
3600.05/3608.80 c STR average degree increase per successful attempt inf
3600.05/3608.80 c STR total number of conflicts for successful attempts 0
3600.05/3608.80 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3608.80 c STR total number of conflicts for inconclusive attempts 0
3600.05/3608.80 c STR average number of conflicts per successful attempt inf
3600.05/3608.80 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3608.80 c STR average number of conflicts per inconclusive attempt inf
3600.05/3608.80 c AVG.sumWPerc 99.76
3600.05/3608.80 c bigint constraints 0
3600.05/3608.80 s UNKNOWN
3600.05/3608.80 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: 63665 MiB (58451 MiB free)
memory of node 1: 64507 MiB (57944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506642-1751507904/watcher-4506642-1751507904 -o /tmp/evaluation-result-4506642-1751507904/solver-4506642-1751507904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70775 --watchdog 3760 run-opt.sh HOME/instance-4506642-1751507904.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71660, runsolver pid=71656
[startup+0.100062 s]*
/proc/loadavg: 4.07 4.08 4.09 4/265 71676
/proc/meminfo: memFree=119189928/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=72944 memory=27008 CPUtime=0.08 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 4425 0 0 0 6 2 0 0 20 0 1 0 66468078 74694656 6752 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 18236 6752 1920 1147 0 5663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77136 KiB
Current children cumulated memory: 29952 KiB
[startup+0.205529 s]*
/proc/loadavg: 4.07 4.08 4.09 4/265 71682
/proc/meminfo: memFree=119311928/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=74740 memory=31916 CPUtime=0.19 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 5128 0 0 0 14 5 0 0 20 0 1 0 66468078 76533760 7979 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 18685 7979 1920 1147 0 6112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78932 KiB
Current children cumulated memory: 34860 KiB
[startup+0.305526 s]*
/proc/loadavg: 4.07 4.08 4.09 5/265 71682
/proc/meminfo: memFree=119303940/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=76668 memory=33580 CPUtime=0.29 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 5554 0 0 0 22 7 0 0 20 0 1 0 66468078 78508032 8395 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 19167 8395 1920 1147 0 6594 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80860 KiB
Current children cumulated memory: 36524 KiB
[startup+0.700206 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 71682
/proc/meminfo: memFree=119276472/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=89552 memory=42668 CPUtime=0.67 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 8163 0 0 0 55 12 0 0 20 0 1 0 66468078 91701248 10667 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 22388 10667 1920 1147 0 9815 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93744 KiB
Current children cumulated memory: 45612 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 71693
/proc/meminfo: memFree=119206916/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=551680 memory=302904 CPUtime=1.47 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 21637 0 0 0 118 29 0 0 20 0 1 0 66468078 564920320 75726 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 137920 75726 2272 1147 0 125347 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 555872 KiB
Current children cumulated memory: 305848 KiB
[startup+3.10539 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 71693
/proc/meminfo: memFree=118815480/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=581620 memory=400188 CPUtime=3.08 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 43209 0 0 0 246 62 0 0 20 0 1 0 66468078 595578880 100047 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 145405 100047 2368 1147 0 132832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 585812 KiB
Current children cumulated memory: 403132 KiB
[startup+6.3002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 71693
/proc/meminfo: memFree=117966976/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=606472 memory=428008 CPUtime=6.27 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 46381 0 0 0 380 247 0 0 20 0 1 0 66468078 621027328 107002 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 151618 107002 2368 1147 0 139045 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 610664 KiB
Current children cumulated memory: 430952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 71693
/proc/meminfo: memFree=117780968/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=807380 memory=616864 CPUtime=12.65 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 81854 0 0 0 671 594 0 0 20 0 1 0 66468078 826757120 154216 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 201845 154216 2400 1147 0 189272 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 811572 KiB
Current children cumulated memory: 619808 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/268 71693
/proc/meminfo: memFree=117065052/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=1515244 memory=1223668 CPUtime=25.42 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 195735 0 0 0 1697 845 0 0 20 0 1 0 66468078 1551609856 305917 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 378811 305917 2400 1147 0 366238 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1519436 KiB
Current children cumulated memory: 1226612 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 71693
/proc/meminfo: memFree=116474072/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=1652368 memory=1355792 CPUtime=50.97 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 214476 0 0 0 4225 872 0 0 20 0 1 0 66468078 1692024832 338948 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 413092 338948 2400 1147 0 400519 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1656560 KiB
Current children cumulated memory: 1358736 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 71695
/proc/meminfo: memFree=114065680/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=2534372 memory=1940212 CPUtime=102.04 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 331450 0 0 0 9290 914 0 0 20 0 1 0 66468078 2595196928 485053 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 633593 485053 2400 1147 0 621020 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2538564 KiB
Current children cumulated memory: 1943156 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 71709
/proc/meminfo: memFree=113853584/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=2536640 memory=1943028 CPUtime=161.9 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 332162 0 0 0 15153 1037 0 0 20 0 1 0 66468078 2597519360 485757 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 634160 485757 2400 1147 0 621587 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 2540832 KiB
Current children cumulated memory: 1945972 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 71757
/proc/meminfo: memFree=116025104/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=2536640 memory=2055328 CPUtime=221.76 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 346989 0 0 0 20856 1320 0 0 20 0 1 0 66468078 2597519360 513832 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 634160 513832 2400 1147 0 621587 0
################
# More data... #
################
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6338128 CPUtime=3094.82 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1150855 0 0 0 305920 3562 0 0 20 0 1 0 66468078 8483831808 1584532 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1584532 2400 1147 0 2058675 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6341072 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 71947
/proc/meminfo: memFree=112342904/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6338128 CPUtime=3154.67 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1150864 0 0 0 311857 3610 0 0 20 0 1 0 66468078 8483831808 1584532 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1584532 2400 1147 0 2058675 0
Current children cumulated CPU time: 3154.67 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6341072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 71950
/proc/meminfo: memFree=112338788/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6338128 CPUtime=3214.53 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1150880 0 0 0 317821 3632 0 0 20 0 1 0 66468078 8483831808 1584532 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1584532 2400 1147 0 2058675 0
Current children cumulated CPU time: 3214.53 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6341072 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 71953
/proc/meminfo: memFree=112328960/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6338128 CPUtime=3274.38 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1150897 0 0 0 323758 3680 0 0 20 0 1 0 66468078 8483831808 1584532 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1584532 2400 1147 0 2058675 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6341072 KiB
[startup+3342.3 s]
/proc/loadavg: 3.58 3.95 4.04 4/261 71985
/proc/meminfo: memFree=119089464/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6339024 CPUtime=3334.23 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1150935 0 0 0 329693 3730 0 0 20 0 1 0 66468078 8483831808 1584756 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1584756 2400 1147 0 2058675 0
Current children cumulated CPU time: 3334.23 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6341968 KiB
[startup+3402.3 s]
/proc/loadavg: 3.32 3.81 3.99 4/262 71992
/proc/meminfo: memFree=119048064/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6381688 CPUtime=3394.08 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1158603 0 0 0 335636 3772 0 0 20 0 1 0 66468078 8483831808 1595422 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1595422 2400 1147 0 2058675 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6384632 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.68 3.93 4/262 71994
/proc/meminfo: memFree=118902816/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6534260 CPUtime=3453.93 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1176290 0 0 0 341562 3831 0 0 20 0 1 0 66468078 8483831808 1633565 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1633565 2400 1147 0 2058675 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6537204 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.57 3.87 4/263 71998
/proc/meminfo: memFree=118901636/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6534388 CPUtime=3513.77 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1176365 0 0 0 347508 3869 0 0 20 0 1 0 66468078 8483831808 1633597 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1633597 2400 1147 0 2058675 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6537332 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.48 3.82 4/263 72000
/proc/meminfo: memFree=118899624/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6534388 CPUtime=3573.62 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1176498 0 0 0 353469 3893 0 0 20 0 1 0 66468078 8483831808 1633597 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1633597 2400 1147 0 2058675 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6537332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.15 3.45 3.80 4/263 72001
/proc/meminfo: memFree=118898488/131249996 swapFree=33010160/33010684
[pid=71660] ppid=71656 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/71660/stat : 71660 (run-opt.sh) S 71656 71660 70763 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 66468077 4292608 736 18446744073709551615 94618137657344 94618138551877 140721186184800 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94618138790928 94618138838672 94618159996928 140721186191725 140721186191848 140721186191848 140721186197450 0
/proc/71660/statm: 1048 736 672 219 0 110 0
[pid=71664] ppid=71660 vsize=8284992 memory=6534388 CPUtime=3600.05 cores=1,3
/proc/71664/stat : 71664 (roundingsat) R 71660 71660 70763 0 -1 4194304 1176522 0 0 0 356100 3905 0 0 20 0 1 0 66468078 8483831808 1633597 18446744073709551615 4227072 8923433 140735429229184 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 15933440 140735429233058 140735429233192 140735429233192 140735429238762 0
/proc/71664/statm: 2071248 1633597 2400 1147 0 2058675 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8289184 KiB
Current children cumulated memory: 6537332 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.8 s]
# the end of solver process 71660 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002392 s
Sleeping 2 seconds
[startup+3609.06 s]
# the end of solver process 71664 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3561.01 s, system=39.3042 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.01 s]*
/proc/loadavg: 3.15 3.45 3.80 4/262 72001
/proc/meminfo: memFree=124488244/131249996 swapFree=33010160/33010684
Current cumulated CPU time of completed processes: 0.002392 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3609.06
CPU time (s): 3600.32
CPU user time (s): 3561.01
CPU system time (s): 39.3042
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 8289184
Max. memory (cumulated for all children) (KiB): 6537332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.01
system time used= 39.3042
maximum resident set size= 6534644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1176793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200
involuntary context switches= 5601
# summary of solver processes directly reported to runsolver:
# pid: 71660,71664
# total CPU time (s): 3600.32
# total CPU user time (s): 3561.01
# total CPU system time (s): 39.3042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24949 second user time and 17.3247 second system time
The end
Begin job on nodeC021 at 2025-07-03 03:58:24
IDJOB=4506642
IDBENCH=158251
IDSOLVER=3350
FILE ID=nodeC021/4506642-1751507904
RUNJOBID= nodeC021-1751500681-70775
SLURM_JOB_ID= 9598584
Free space on /tmp= 430760 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506642-1751507904/watcher-4506642-1751507904 -o /tmp/evaluation-result-4506642-1751507904/solver-4506642-1751507904 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70775 --watchdog 3760 run-opt.sh HOME/instance-4506642-1751507904.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a611e721b3043835272268c4e4584094
RANDOM SEED=891442332
nodeC021 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.785
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.56
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 : 3682.960
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.56
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 : 3377.417
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.56
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 : 3599.799
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.56
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 : 3597.599
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.56
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 : 3599.977
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.56
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 : 3599.388
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.56
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 : 3604.117
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 119185700 kB
MemAvailable: 123187272 kB
Buffers: 2128 kB
Cached: 4739720 kB
SwapCached: 20 kB
Active: 6967684 kB
Inactive: 4260984 kB
Active(anon): 6493936 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4250060 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26540 kB
Writeback: 0 kB
AnonPages: 6489176 kB
Mapped: 113752 kB
Shmem: 18040 kB
KReclaimable: 233608 kB
Slab: 325272 kB
SReclaimable: 233608 kB
SUnreclaim: 91664 kB
KernelStack: 4288 kB
PageTables: 16124 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7577500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 952320 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430916 MiB
End job on nodeC021 at 2025-07-03 04:58:33