0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.66/1.71 c #variables 5048 #constraints 65280
1.66/1.71 c objective is ce32
1.98/2.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.98/2.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.98/2.02 c GLOBAL bounds - >= 0 @ 1.74953
2.07/2.16 c GLOBAL bounds - >= 0 @ 1.88283
2.07/2.17 c GLOBAL bounds - >= 0 @ 1.88787
2.07/2.17 c GLOBAL bounds - >= 0 @ 1.89277
2.07/2.18 c GLOBAL bounds - >= 0 @ 1.8977
2.07/2.20 c GLOBAL bounds - >= 0 @ 1.90841
2.16/2.21 c GLOBAL bounds - >= 0 @ 1.91622
2.16/2.22 c GLOBAL bounds - >= 0 @ 1.92186
2.16/2.22 c GLOBAL bounds - >= 0 @ 1.92671
2.16/2.25 c GLOBAL bounds - >= 0 @ 1.94463
2.16/2.25 c GLOBAL bounds - >= 0 @ 1.95204
2.16/2.27 c GLOBAL bounds - >= 0 @ 1.96385
2.16/2.29 c GLOBAL bounds - >= 0 @ 1.98164
2.26/2.30 c GLOBAL bounds - >= 0 @ 1.99406
2.26/2.32 c GLOBAL bounds - >= 0 @ 2.00831
2.26/2.33 c GLOBAL bounds - >= 0 @ 2.01434
2.26/2.34 c GLOBAL bounds - >= 0 @ 2.02198
2.26/2.35 c GLOBAL bounds - >= 0 @ 2.03708
2.26/2.37 c GLOBAL bounds - >= 0 @ 2.04551
2.26/2.39 c GLOBAL bounds - >= 0 @ 2.05976
2.26/2.40 c GLOBAL bounds - >= 0 @ 2.06435
2.36/2.41 c GLOBAL bounds - >= 0 @ 2.07511
2.36/2.42 c GLOBAL bounds - >= 0 @ 2.08294
2.36/2.44 c GLOBAL bounds - >= 0 @ 2.09422
2.36/2.45 c GLOBAL bounds - >= 0 @ 2.10183
2.36/2.46 c GLOBAL bounds - >= 0 @ 2.11076
2.36/2.47 c GLOBAL bounds - >= 0 @ 2.11849
2.36/2.48 c GLOBAL bounds - >= 0 @ 2.12965
2.36/2.49 c GLOBAL bounds - >= 0 @ 2.13813
2.46/2.50 c GLOBAL bounds - >= 0 @ 2.1449
2.46/2.51 c GLOBAL bounds - >= 0 @ 2.14946
2.46/2.52 c GLOBAL bounds - >= 0 @ 2.15571
2.46/2.54 c GLOBAL bounds - >= 0 @ 2.16801
2.46/2.55 c GLOBAL bounds - >= 0 @ 2.17179
2.46/2.56 c GLOBAL bounds - >= 0 @ 2.17795
2.46/2.56 c GLOBAL bounds - >= 0 @ 2.18326
2.46/2.57 c GLOBAL bounds - >= 0 @ 2.19082
2.46/2.58 c GLOBAL bounds - >= 0 @ 2.19426
2.46/2.59 c GLOBAL bounds - >= 0 @ 2.1987
2.46/2.60 c GLOBAL bounds - >= 0 @ 2.20195
2.56/2.60 c GLOBAL bounds - >= 0 @ 2.20735
2.56/2.61 c GLOBAL bounds - >= 0 @ 2.21284
2.56/2.62 c GLOBAL bounds - >= 0 @ 2.22021
2.56/2.63 c GLOBAL bounds - >= 0 @ 2.22683
2.56/2.64 c GLOBAL bounds - >= 0 @ 2.23742
2.56/2.65 c GLOBAL bounds - >= 0 @ 2.24509
2.56/2.67 c GLOBAL bounds - >= 0 @ 2.25518
2.56/2.68 c GLOBAL bounds - >= 0 @ 2.26649
2.56/2.69 c GLOBAL bounds - >= 0 @ 2.2756
2.66/2.71 c GLOBAL bounds - >= 0 @ 2.28514
2.66/2.72 c GLOBAL bounds - >= 0 @ 2.29476
2.66/2.73 c GLOBAL bounds - >= 0 @ 2.30323
2.66/2.74 c GLOBAL bounds - >= 0 @ 2.31179
2.66/2.75 c GLOBAL bounds - >= 0 @ 2.32091
2.66/2.76 c GLOBAL bounds - >= 0 @ 2.32989
2.66/2.77 c GLOBAL bounds - >= 0 @ 2.33777
2.66/2.78 c GLOBAL bounds - >= 0 @ 2.34502
2.66/2.79 c GLOBAL bounds - >= 0 @ 2.3523
2.75/2.80 c GLOBAL bounds - >= 0 @ 2.3595
2.75/2.81 c GLOBAL bounds - >= 0 @ 2.36551
2.75/2.83 c GLOBAL bounds - >= 0 @ 2.38401
2.75/2.85 c GLOBAL bounds - >= 0 @ 2.39397
2.75/2.87 c GLOBAL bounds - >= 0 @ 2.411
2.75/2.88 c GLOBAL bounds - >= 0 @ 2.41984
2.75/2.89 c GLOBAL bounds - >= 0 @ 2.42871
2.86/2.90 c GLOBAL bounds - >= 0 @ 2.43648
2.86/2.91 c GLOBAL bounds - >= 0 @ 2.44509
2.86/2.92 c GLOBAL bounds - >= 0 @ 2.45186
2.86/2.93 c GLOBAL bounds - >= 0 @ 2.45936
2.86/2.94 c GLOBAL bounds - >= 0 @ 2.46678
2.86/2.95 c GLOBAL bounds - >= 0 @ 2.47315
2.86/2.96 c GLOBAL bounds - >= 0 @ 2.47848
2.86/2.97 c GLOBAL bounds - >= 0 @ 2.48586
2.86/2.98 c GLOBAL bounds - >= 0 @ 2.49122
2.86/2.99 c GLOBAL bounds - >= 0 @ 2.49863
2.86/3.00 c GLOBAL bounds - >= 0 @ 2.50514
2.97/3.01 c GLOBAL bounds - >= 0 @ 2.51081
2.97/3.02 c GLOBAL bounds - >= 0 @ 2.51626
2.97/3.03 c GLOBAL bounds - >= 0 @ 2.52671
2.97/3.04 c GLOBAL bounds - >= 0 @ 2.53621
2.97/3.05 c GLOBAL bounds - >= 0 @ 2.54803
2.97/3.07 c GLOBAL bounds - >= 0 @ 2.55894
2.97/3.08 c GLOBAL bounds - >= 0 @ 2.56811
2.97/3.11 c GLOBAL bounds - >= 0 @ 2.59012
3.07/3.12 c GLOBAL bounds - >= 0 @ 2.60153
3.07/3.14 c GLOBAL bounds - >= 0 @ 2.61443
3.07/3.16 c GLOBAL bounds - >= 0 @ 2.63178
3.07/3.17 c GLOBAL bounds - >= 0 @ 2.64584
3.07/3.19 c GLOBAL bounds - >= 0 @ 2.65833
3.16/3.20 c GLOBAL bounds - >= 0 @ 2.671
3.16/3.22 c GLOBAL bounds - >= 0 @ 2.68445
3.16/3.23 c GLOBAL bounds - >= 0 @ 2.69638
3.16/3.25 c GLOBAL bounds - >= 0 @ 2.70596
3.16/3.26 c GLOBAL bounds - >= 0 @ 2.71742
3.16/3.27 c GLOBAL bounds - >= 0 @ 2.7279
3.16/3.29 c GLOBAL bounds - >= 0 @ 2.73697
3.26/3.31 c GLOBAL bounds - >= 0 @ 2.7575
3.26/3.32 c GLOBAL bounds - >= 0 @ 2.76745
3.26/3.33 c GLOBAL bounds - >= 0 @ 2.77569
3.26/3.35 c GLOBAL bounds - >= 0 @ 2.78487
3.26/3.36 c GLOBAL bounds - >= 0 @ 2.79556
3.26/3.37 c GLOBAL bounds - >= 0 @ 2.80472
3.26/3.38 c GLOBAL bounds - >= 0 @ 2.81285
3.26/3.39 c GLOBAL bounds - >= 0 @ 2.82076
3.35/3.40 c GLOBAL bounds - >= 0 @ 2.82748
3.35/3.42 c GLOBAL bounds - >= 0 @ 2.83528
3.35/3.43 c GLOBAL bounds - >= 0 @ 2.84397
3.35/3.44 c GLOBAL bounds - >= 0 @ 2.85371
3.35/3.45 c GLOBAL bounds - >= 0 @ 2.86241
3.35/3.46 c GLOBAL bounds - >= 0 @ 2.87205
3.35/3.48 c GLOBAL bounds - >= 0 @ 2.87887
3.35/3.49 c GLOBAL bounds - >= 0 @ 2.89057
3.46/3.51 c GLOBAL bounds - >= 0 @ 2.90619
3.46/3.53 c GLOBAL bounds - >= 0 @ 2.92058
3.46/3.54 c GLOBAL bounds - >= 0 @ 2.93553
3.46/3.57 c GLOBAL bounds - >= 0 @ 2.9624
3.46/3.59 c GLOBAL bounds - >= 0 @ 2.9733
3.55/3.60 c GLOBAL bounds - >= 0 @ 2.98279
3.55/3.62 c GLOBAL bounds - >= 0 @ 2.99407
3.55/3.63 c GLOBAL bounds - >= 0 @ 3.00503
3.55/3.64 c GLOBAL bounds - >= 0 @ 3.01644
3.55/3.66 c GLOBAL bounds - >= 0 @ 3.02855
3.55/3.67 c GLOBAL bounds - >= 0 @ 3.03853
3.55/3.69 c GLOBAL bounds - >= 0 @ 3.05029
3.65/3.70 c GLOBAL bounds - >= 0 @ 3.06294
3.65/3.71 c GLOBAL bounds - >= 0 @ 3.07549
3.65/3.73 c GLOBAL bounds - >= 0 @ 3.08328
3.65/3.74 c GLOBAL bounds - >= 0 @ 3.09299
3.65/3.75 c GLOBAL bounds - >= 0 @ 3.10257
3.65/3.76 c GLOBAL bounds - >= 0 @ 3.10999
3.65/3.77 c GLOBAL bounds - >= 0 @ 3.12053
3.65/3.78 c GLOBAL bounds - >= 0 @ 3.12883
3.75/3.80 c GLOBAL bounds - >= 0 @ 3.14022
3.75/3.81 c GLOBAL bounds - >= 0 @ 3.15191
3.75/3.82 c GLOBAL bounds - >= 0 @ 3.16189
3.75/3.84 c GLOBAL bounds - >= 0 @ 3.17477
3.75/3.87 c GLOBAL bounds - >= 0 @ 3.19309
3.75/3.89 c GLOBAL bounds - >= 0 @ 3.20547
3.85/3.90 c GLOBAL bounds - >= 0 @ 3.21763
3.85/3.91 c GLOBAL bounds - >= 0 @ 3.2268
3.85/3.93 c GLOBAL bounds - >= 0 @ 3.23738
3.85/3.94 c GLOBAL bounds - >= 0 @ 3.2466
3.85/3.95 c GLOBAL bounds - >= 0 @ 3.25454
3.85/3.96 c GLOBAL bounds - >= 0 @ 3.26125
3.85/3.98 c GLOBAL bounds - >= 0 @ 3.27292
3.85/3.99 c GLOBAL bounds - >= 0 @ 3.28583
3.85/4.00 c GLOBAL bounds - >= 0 @ 3.29507
3.96/4.02 c GLOBAL bounds - >= 0 @ 3.30626
3.96/4.03 c GLOBAL bounds - >= 0 @ 3.31616
3.96/4.04 c GLOBAL bounds - >= 0 @ 3.3303
3.96/4.06 c GLOBAL bounds - >= 0 @ 3.34061
3.96/4.08 c GLOBAL bounds - >= 0 @ 3.35418
3.96/4.09 c GLOBAL bounds - >= 0 @ 3.36536
4.06/4.12 c GLOBAL bounds - >= 0 @ 3.38735
4.06/4.13 c GLOBAL bounds - >= 0 @ 3.3988
4.06/4.15 c GLOBAL bounds - >= 0 @ 3.41245
4.06/4.16 c GLOBAL bounds - >= 0 @ 3.42488
4.06/4.18 c GLOBAL bounds - >= 0 @ 3.43602
4.06/4.19 c GLOBAL bounds - >= 0 @ 3.44582
4.15/4.20 c GLOBAL bounds - >= 0 @ 3.45794
4.15/4.22 c GLOBAL bounds - >= 0 @ 3.47023
4.15/4.23 c GLOBAL bounds - >= 0 @ 3.48427
4.15/4.25 c GLOBAL bounds - >= 0 @ 3.49896
4.15/4.27 c GLOBAL bounds - >= 0 @ 3.51288
4.15/4.28 c GLOBAL bounds - >= 0 @ 3.52396
4.24/4.30 c GLOBAL bounds - >= 0 @ 3.53723
4.24/4.31 c GLOBAL bounds - >= 0 @ 3.54645
4.24/4.33 c GLOBAL bounds - >= 0 @ 3.55697
4.24/4.34 c GLOBAL bounds - >= 0 @ 3.57321
4.24/4.36 c GLOBAL bounds - >= 0 @ 3.58937
4.24/4.37 c GLOBAL bounds - >= 0 @ 3.60321
4.24/4.39 c GLOBAL bounds - >= 0 @ 3.61487
4.35/4.40 c GLOBAL bounds - >= 0 @ 3.62817
4.35/4.41 c GLOBAL bounds - >= 0 @ 3.63799
4.35/4.43 c GLOBAL bounds - >= 0 @ 3.64902
4.35/4.44 c GLOBAL bounds - >= 0 @ 3.66128
4.35/4.45 c GLOBAL bounds - >= 0 @ 3.67157
4.35/4.47 c GLOBAL bounds - >= 0 @ 3.68175
4.35/4.48 c GLOBAL bounds - >= 0 @ 3.69438
4.35/4.50 c GLOBAL bounds - >= 0 @ 3.70563
4.45/4.51 c GLOBAL bounds - >= 0 @ 3.7179
4.45/4.52 c GLOBAL bounds - >= 0 @ 3.72523
4.45/4.54 c GLOBAL bounds - >= 0 @ 3.73794
4.45/4.56 c GLOBAL bounds - >= 0 @ 3.75383
4.45/4.57 c GLOBAL bounds - >= 0 @ 3.76551
4.45/4.59 c GLOBAL bounds - >= 0 @ 3.7799
4.55/4.62 c GLOBAL bounds - >= 0 @ 3.80442
4.55/4.63 c GLOBAL bounds - >= 0 @ 3.81939
4.55/4.65 c GLOBAL bounds - >= 0 @ 3.83231
4.55/4.66 c GLOBAL bounds - >= 0 @ 3.84593
4.55/4.68 c GLOBAL bounds - >= 0 @ 3.86073
4.55/4.70 c GLOBAL bounds - >= 0 @ 3.8738
4.65/4.71 c GLOBAL bounds - >= 0 @ 3.88623
4.65/4.73 c GLOBAL bounds - >= 0 @ 3.8991
4.65/4.74 c GLOBAL bounds - >= 0 @ 3.91103
4.65/4.75 c GLOBAL bounds - >= 0 @ 3.92073
4.65/4.77 c GLOBAL bounds - >= 0 @ 3.93142
4.65/4.78 c GLOBAL bounds - >= 0 @ 3.94015
4.65/4.80 c GLOBAL bounds - >= 0 @ 3.95115
4.75/4.81 c GLOBAL bounds - >= 0 @ 3.9639
4.75/4.82 c GLOBAL bounds - >= 0 @ 3.97362
4.75/4.84 c GLOBAL bounds - >= 0 @ 3.98467
4.75/4.85 c GLOBAL bounds - >= 0 @ 3.9945
4.75/4.87 c GLOBAL bounds - >= 0 @ 4.0034
4.75/4.88 c GLOBAL bounds - >= 0 @ 4.0127
4.75/4.90 c GLOBAL bounds - >= 0 @ 4.02802
4.85/4.91 c GLOBAL bounds - >= 0 @ 4.04051
4.85/4.92 c GLOBAL bounds - >= 0 @ 4.05224
4.85/4.94 c GLOBAL bounds - >= 0 @ 4.06544
4.85/4.95 c GLOBAL bounds - >= 0 @ 4.07737
4.85/4.97 c GLOBAL bounds - >= 0 @ 4.08908
4.85/4.98 c GLOBAL bounds - >= 0 @ 4.10268
4.85/5.00 c GLOBAL bounds - >= 0 @ 4.11574
4.96/5.01 c GLOBAL bounds - >= 0 @ 4.12814
4.96/5.03 c GLOBAL bounds - >= 0 @ 4.1394
4.96/5.04 c GLOBAL bounds - >= 0 @ 4.15151
4.96/5.05 c GLOBAL bounds - >= 0 @ 4.16351
4.96/5.07 c GLOBAL bounds - >= 0 @ 4.17656
4.96/5.08 c GLOBAL bounds - >= 0 @ 4.18845
4.96/5.10 c GLOBAL bounds - >= 0 @ 4.20063
5.06/5.11 c GLOBAL bounds - >= 0 @ 4.21064
5.06/5.13 c GLOBAL bounds - >= 0 @ 4.22378
5.06/5.14 c GLOBAL bounds - >= 0 @ 4.2348
5.06/5.15 c GLOBAL bounds - >= 0 @ 4.24769
5.06/5.17 c GLOBAL bounds - >= 0 @ 4.25953
5.06/5.18 c GLOBAL bounds - >= 0 @ 4.26738
5.06/5.20 c GLOBAL bounds - >= 0 @ 4.27842
5.15/5.21 c GLOBAL bounds - >= 0 @ 4.28747
5.15/5.22 c GLOBAL bounds - >= 0 @ 4.30016
5.15/5.24 c GLOBAL bounds - >= 0 @ 4.31276
5.15/5.26 c GLOBAL bounds - >= 0 @ 4.32779
5.15/5.28 c GLOBAL bounds - >= 0 @ 4.34283
5.15/5.29 c GLOBAL bounds - >= 0 @ 4.35733
5.25/5.31 c GLOBAL bounds - >= 0 @ 4.37375
5.25/5.34 c GLOBAL bounds - >= 0 @ 4.39756
5.25/5.35 c GLOBAL bounds - >= 0 @ 4.41196
5.25/5.36 c GLOBAL bounds - >= 0 @ 4.42398
5.25/5.38 c GLOBAL bounds - >= 0 @ 4.43844
5.25/5.39 c GLOBAL bounds - >= 0 @ 4.45163
5.34/5.41 c GLOBAL bounds - >= 0 @ 4.46207
5.34/5.42 c GLOBAL bounds - >= 0 @ 4.47164
5.34/5.43 c GLOBAL bounds - >= 0 @ 4.483
5.34/5.45 c GLOBAL bounds - >= 0 @ 4.4924
5.34/5.46 c GLOBAL bounds - >= 0 @ 4.5047
5.34/5.48 c GLOBAL bounds - >= 0 @ 4.51571
5.34/5.49 c GLOBAL bounds - >= 0 @ 4.52797
5.44/5.50 c GLOBAL bounds - >= 0 @ 4.54223
5.44/5.52 c GLOBAL bounds - >= 0 @ 4.55237
5.44/5.53 c GLOBAL bounds - >= 0 @ 4.56297
5.44/5.54 c GLOBAL bounds - >= 0 @ 4.57772
5.44/5.56 c GLOBAL bounds - >= 0 @ 4.5904
5.44/5.58 c GLOBAL bounds - >= 0 @ 4.60415
5.54/5.60 c GLOBAL bounds - >= 0 @ 4.62277
5.54/5.61 c GLOBAL bounds - >= 0 @ 4.63766
5.54/5.63 c GLOBAL bounds - >= 0 @ 4.65368
5.54/5.65 c GLOBAL bounds - >= 0 @ 4.66685
5.54/5.66 c GLOBAL bounds - >= 0 @ 4.68053
5.54/5.67 c GLOBAL bounds - >= 0 @ 4.69417
5.54/5.69 c GLOBAL bounds - >= 0 @ 4.70644
5.64/5.70 c GLOBAL bounds - >= 0 @ 4.71833
5.64/5.72 c GLOBAL bounds - >= 0 @ 4.73114
5.64/5.73 c GLOBAL bounds - >= 0 @ 4.74477
5.64/5.74 c GLOBAL bounds - >= 0 @ 4.75467
5.64/5.76 c GLOBAL bounds - >= 0 @ 4.76815
5.64/5.77 c GLOBAL bounds - >= 0 @ 4.7831
5.64/5.79 c GLOBAL bounds - >= 0 @ 4.79651
5.75/5.81 c GLOBAL bounds - >= 0 @ 4.81227
5.75/5.83 c GLOBAL bounds - >= 0 @ 4.82828
5.75/5.84 c GLOBAL bounds - >= 0 @ 4.84592
5.75/5.86 c GLOBAL bounds - >= 0 @ 4.85879
5.75/5.87 c GLOBAL bounds - >= 0 @ 4.87399
5.75/5.89 c GLOBAL bounds - >= 0 @ 4.8828
5.85/5.90 c GLOBAL bounds - >= 0 @ 4.89399
5.85/5.92 c GLOBAL bounds - >= 0 @ 4.91008
5.85/5.94 c GLOBAL bounds - >= 0 @ 4.92472
5.85/5.95 c GLOBAL bounds - >= 0 @ 4.93798
5.85/5.97 c GLOBAL bounds - >= 0 @ 4.95326
5.85/5.99 c GLOBAL bounds - >= 0 @ 4.97153
5.96/6.01 c GLOBAL bounds - >= 0 @ 4.9882
5.96/6.03 c GLOBAL bounds - >= 0 @ 5.00611
5.96/6.05 c GLOBAL bounds - >= 0 @ 5.02069
5.96/6.06 c GLOBAL bounds - >= 0 @ 5.03568
5.96/6.08 c GLOBAL bounds - >= 0 @ 5.05043
5.96/6.09 c GLOBAL bounds - >= 0 @ 5.06491
6.06/6.11 c GLOBAL bounds - >= 0 @ 5.07972
6.06/6.13 c GLOBAL bounds - >= 0 @ 5.09266
6.06/6.14 c GLOBAL bounds - >= 0 @ 5.10425
6.06/6.16 c GLOBAL bounds - >= 0 @ 5.1171
6.06/6.17 c GLOBAL bounds - >= 0 @ 5.1327
6.06/6.19 c GLOBAL bounds - >= 0 @ 5.14659
6.15/6.21 c GLOBAL bounds - >= 0 @ 5.15746
6.15/6.22 c GLOBAL bounds - >= 0 @ 5.16909
6.15/6.23 c GLOBAL bounds - >= 0 @ 5.17971
6.15/6.25 c GLOBAL bounds - >= 0 @ 5.19226
6.15/6.26 c GLOBAL bounds - >= 0 @ 5.20586
6.15/6.28 c GLOBAL bounds - >= 0 @ 5.21828
6.15/6.29 c GLOBAL bounds - >= 0 @ 5.23094
6.24/6.31 c GLOBAL bounds - >= 0 @ 5.24239
6.24/6.32 c GLOBAL bounds - >= 0 @ 5.25588
6.24/6.34 c GLOBAL bounds - >= 0 @ 5.27057
6.24/6.35 c GLOBAL bounds - >= 0 @ 5.28424
6.24/6.37 c GLOBAL bounds - >= 0 @ 5.29564
6.24/6.38 c GLOBAL bounds - >= 0 @ 5.30927
6.24/6.40 c GLOBAL bounds - >= 0 @ 5.32174
6.34/6.41 c GLOBAL bounds - >= 0 @ 5.33574
6.34/6.43 c GLOBAL bounds - >= 0 @ 5.34744
6.34/6.44 c GLOBAL bounds - >= 0 @ 5.36221
6.34/6.46 c GLOBAL bounds - >= 0 @ 5.37422
6.34/6.47 c GLOBAL bounds - >= 0 @ 5.38768
6.34/6.49 c GLOBAL bounds - >= 0 @ 5.40021
6.44/6.50 c GLOBAL bounds - >= 0 @ 5.41509
6.44/6.51 c GLOBAL bounds - >= 0 @ 5.42863
6.44/6.53 c GLOBAL bounds - >= 0 @ 5.4399
6.44/6.55 c GLOBAL bounds - >= 0 @ 5.45445
6.44/6.57 c GLOBAL bounds - >= 0 @ 5.46968
6.44/6.58 c GLOBAL bounds - >= 0 @ 5.48347
6.54/6.60 c GLOBAL bounds - >= 0 @ 5.49648
6.54/6.62 c GLOBAL bounds - >= 0 @ 5.51082
6.54/6.63 c GLOBAL bounds - >= 0 @ 5.52609
6.54/6.65 c GLOBAL bounds - >= 0 @ 5.53935
6.54/6.67 c GLOBAL bounds - >= 0 @ 5.55417
6.54/6.68 c GLOBAL bounds - >= 0 @ 5.56831
6.64/6.70 c GLOBAL bounds - >= 0 @ 5.58268
6.64/6.71 c GLOBAL bounds - >= 0 @ 5.59581
6.64/6.73 c GLOBAL bounds - >= 0 @ 5.61293
6.64/6.75 c GLOBAL bounds - >= 0 @ 5.62603
6.64/6.76 c GLOBAL bounds - >= 0 @ 5.64016
6.64/6.78 c GLOBAL bounds - >= 0 @ 5.65436
6.64/6.79 c GLOBAL bounds - >= 0 @ 5.66845
6.74/6.81 c GLOBAL bounds - >= 0 @ 5.68242
6.74/6.82 c GLOBAL bounds - >= 0 @ 5.69733
6.74/6.84 c GLOBAL bounds - >= 0 @ 5.71243
6.74/6.85 c GLOBAL bounds - >= 0 @ 5.72729
6.74/6.87 c GLOBAL bounds - >= 0 @ 5.74107
6.74/6.89 c GLOBAL bounds - >= 0 @ 5.753
6.84/6.90 c GLOBAL bounds - >= 0 @ 5.76623
6.84/6.92 c GLOBAL bounds - >= 0 @ 5.77912
6.84/6.93 c GLOBAL bounds - >= 0 @ 5.79106
6.84/6.95 c GLOBAL bounds - >= 0 @ 5.80392
6.84/6.96 c GLOBAL bounds - >= 0 @ 5.81669
6.84/6.98 c GLOBAL bounds - >= 0 @ 5.83149
6.84/6.99 c GLOBAL bounds - >= 0 @ 5.8442
6.84/7.01 c GLOBAL bounds - >= 0 @ 5.85848
6.96/7.02 c GLOBAL bounds - >= 0 @ 5.87167
6.96/7.04 c GLOBAL bounds - >= 0 @ 5.88696
6.96/7.05 c GLOBAL bounds - >= 0 @ 5.90173
6.96/7.07 c GLOBAL bounds - >= 0 @ 5.91361
6.96/7.08 c GLOBAL bounds - >= 0 @ 5.92793
6.96/7.10 c GLOBAL bounds - >= 0 @ 5.94383
7.05/7.11 c GLOBAL bounds - >= 0 @ 5.9573
7.05/7.13 c GLOBAL bounds - >= 0 @ 5.97248
7.05/7.15 c GLOBAL bounds - >= 0 @ 5.98965
7.05/7.17 c GLOBAL bounds - >= 0 @ 6.00313
7.05/7.19 c GLOBAL bounds - >= 0 @ 6.01967
7.14/7.20 c GLOBAL bounds - >= 0 @ 6.03292
7.14/7.22 c GLOBAL bounds - >= 0 @ 6.04714
7.14/7.24 c GLOBAL bounds - >= 0 @ 6.06436
7.14/7.25 c GLOBAL bounds - >= 0 @ 6.07944
7.14/7.27 c GLOBAL bounds - >= 0 @ 6.09695
7.14/7.29 c GLOBAL bounds - >= 0 @ 6.11038
7.25/7.30 c GLOBAL bounds - >= 0 @ 6.12485
7.25/7.32 c GLOBAL bounds - >= 0 @ 6.13969
7.25/7.34 c GLOBAL bounds - >= 0 @ 6.15624
7.25/7.36 c GLOBAL bounds - >= 0 @ 6.17192
7.25/7.37 c GLOBAL bounds - >= 0 @ 6.18627
7.25/7.39 c GLOBAL bounds - >= 0 @ 6.19959
7.34/7.41 c GLOBAL bounds - >= 0 @ 6.21385
7.34/7.42 c GLOBAL bounds - >= 0 @ 6.22938
7.34/7.44 c GLOBAL bounds - >= 0 @ 6.24589
7.34/7.46 c GLOBAL bounds - >= 0 @ 6.26191
7.34/7.48 c GLOBAL bounds - >= 0 @ 6.27826
7.44/7.50 c GLOBAL bounds - >= 0 @ 6.29488
7.44/7.51 c GLOBAL bounds - >= 0 @ 6.30736
7.44/7.53 c GLOBAL bounds - >= 0 @ 6.32183
7.44/7.55 c GLOBAL bounds - >= 0 @ 6.33977
7.44/7.57 c GLOBAL bounds - >= 0 @ 6.35634
7.44/7.58 c GLOBAL bounds - >= 0 @ 6.3744
7.55/7.60 c GLOBAL bounds - >= 0 @ 6.39261
7.55/7.62 c GLOBAL bounds - >= 0 @ 6.40505
7.55/7.64 c GLOBAL bounds - >= 0 @ 6.41967
7.55/7.65 c GLOBAL bounds - >= 0 @ 6.43607
7.55/7.67 c GLOBAL bounds - >= 0 @ 6.45163
7.55/7.69 c GLOBAL bounds - >= 0 @ 6.46617
7.64/7.71 c GLOBAL bounds - >= 0 @ 6.48199
7.64/7.74 c GLOBAL bounds - >= 0 @ 6.50208
7.64/7.76 c GLOBAL bounds - >= 0 @ 6.52292
7.64/7.78 c GLOBAL bounds - >= 0 @ 6.53912
7.74/7.80 c GLOBAL bounds - >= 0 @ 6.55366
7.74/7.82 c GLOBAL bounds - >= 0 @ 6.56778
7.74/7.83 c GLOBAL bounds - >= 0 @ 6.58442
7.74/7.85 c GLOBAL bounds - >= 0 @ 6.60065
7.74/7.87 c GLOBAL bounds - >= 0 @ 6.61481
7.74/7.89 c GLOBAL bounds - >= 0 @ 6.62858
7.84/7.90 c GLOBAL bounds - >= 0 @ 6.64286
7.84/7.92 c GLOBAL bounds - >= 0 @ 6.65782
7.84/7.94 c GLOBAL bounds - >= 0 @ 6.67394
7.84/7.95 c GLOBAL bounds - >= 0 @ 6.69007
7.84/7.97 c GLOBAL bounds - >= 0 @ 6.70298
7.84/7.99 c GLOBAL bounds - >= 0 @ 6.71671
7.84/8.01 c GLOBAL bounds - >= 0 @ 6.73001
7.95/8.03 c GLOBAL bounds - >= 0 @ 6.74673
7.95/8.04 c GLOBAL bounds - >= 0 @ 6.76169
7.95/8.06 c GLOBAL bounds - >= 0 @ 6.77975
7.95/8.08 c GLOBAL bounds - >= 0 @ 6.79423
7.95/8.10 c GLOBAL bounds - >= 0 @ 6.81064
8.06/8.12 c GLOBAL bounds - >= 0 @ 6.82482
8.06/8.14 c GLOBAL bounds - >= 0 @ 6.839
8.06/8.15 c GLOBAL bounds - >= 0 @ 6.8559
8.06/8.17 c GLOBAL bounds - >= 0 @ 6.87083
8.06/8.19 c GLOBAL bounds - >= 0 @ 6.88433
8.14/8.21 c GLOBAL bounds - >= 0 @ 6.89934
8.14/8.22 c GLOBAL bounds - >= 0 @ 6.91487
8.14/8.24 c GLOBAL bounds - >= 0 @ 6.9298
8.14/8.26 c GLOBAL bounds - >= 0 @ 6.94523
8.14/8.27 c GLOBAL bounds - >= 0 @ 6.96089
8.14/8.29 c GLOBAL bounds - >= 0 @ 6.97614
8.24/8.31 c GLOBAL bounds - >= 0 @ 6.98908
8.24/8.32 c GLOBAL bounds - >= 0 @ 7.00076
8.24/8.34 c GLOBAL bounds - >= 0 @ 7.01467
8.24/8.36 c GLOBAL bounds - >= 0 @ 7.03094
8.24/8.37 c GLOBAL bounds - >= 0 @ 7.04653
8.24/8.39 c GLOBAL bounds - >= 0 @ 7.05906
8.34/8.41 c GLOBAL bounds - >= 0 @ 7.07179
8.34/8.42 c GLOBAL bounds - >= 0 @ 7.08759
8.34/8.44 c GLOBAL bounds - >= 0 @ 7.10629
8.34/8.47 c GLOBAL bounds - >= 0 @ 7.12582
8.34/8.49 c GLOBAL bounds - >= 0 @ 7.14203
8.44/8.51 c GLOBAL bounds - >= 0 @ 7.16085
8.44/8.52 c GLOBAL bounds - >= 0 @ 7.1777
8.44/8.54 c GLOBAL bounds - >= 0 @ 7.19576
8.44/8.56 c GLOBAL bounds - >= 0 @ 7.21207
8.44/8.58 c GLOBAL bounds - >= 0 @ 7.23029
8.54/8.60 c GLOBAL bounds - >= 0 @ 7.24442
8.54/8.62 c GLOBAL bounds - >= 0 @ 7.26074
8.54/8.64 c GLOBAL bounds - >= 0 @ 7.27549
8.54/8.65 c GLOBAL bounds - >= 0 @ 7.29235
8.54/8.67 c GLOBAL bounds - >= 0 @ 7.30895
8.54/8.69 c GLOBAL bounds - >= 0 @ 7.32378
8.64/8.70 c GLOBAL bounds - >= 0 @ 7.3399
8.64/8.72 c GLOBAL bounds - >= 0 @ 7.35379
8.64/8.74 c GLOBAL bounds - >= 0 @ 7.36955
8.64/8.75 c GLOBAL bounds - >= 0 @ 7.38328
8.64/8.77 c GLOBAL bounds - >= 0 @ 7.39882
8.64/8.79 c GLOBAL bounds - >= 0 @ 7.41451
8.74/8.81 c GLOBAL bounds - >= 0 @ 7.43341
8.74/8.83 c GLOBAL bounds - >= 0 @ 7.44858
8.74/8.84 c GLOBAL bounds - >= 0 @ 7.46541
8.74/8.86 c GLOBAL bounds - >= 0 @ 7.48138
8.74/8.88 c GLOBAL bounds - >= 0 @ 7.49714
8.84/8.90 c GLOBAL bounds - >= 0 @ 7.51423
8.84/8.91 c GLOBAL bounds - >= 0 @ 7.52905
8.84/8.93 c GLOBAL bounds - >= 0 @ 7.54528
8.84/8.95 c GLOBAL bounds - >= 0 @ 7.56189
8.84/8.97 c GLOBAL bounds - >= 0 @ 7.57804
8.84/8.99 c GLOBAL bounds - >= 0 @ 7.59252
8.84/9.01 c GLOBAL bounds - >= 0 @ 7.60478
8.95/9.02 c GLOBAL bounds - >= 0 @ 7.6213
8.95/9.04 c GLOBAL bounds - >= 0 @ 7.63424
8.95/9.06 c GLOBAL bounds - >= 0 @ 7.6482
8.95/9.08 c GLOBAL bounds - >= 0 @ 7.6619
8.95/9.09 c GLOBAL bounds - >= 0 @ 7.67859
9.05/9.11 c GLOBAL bounds - >= 0 @ 7.69509
9.05/9.13 c GLOBAL bounds - >= 0 @ 7.711
9.05/9.14 c GLOBAL bounds - >= 0 @ 7.72575
9.05/9.16 c GLOBAL bounds - >= 0 @ 7.74192
9.05/9.18 c GLOBAL bounds - >= 0 @ 7.75766
9.05/9.19 c GLOBAL bounds - >= 0 @ 7.77119
9.14/9.22 c GLOBAL bounds - >= 0 @ 7.79083
9.14/9.24 c GLOBAL bounds - >= 0 @ 7.80941
9.14/9.26 c GLOBAL bounds - >= 0 @ 7.8278
9.14/9.28 c GLOBAL bounds - >= 0 @ 7.84368
9.14/9.30 c GLOBAL bounds - >= 0 @ 7.86107
9.24/9.33 c GLOBAL bounds - >= 0 @ 7.89352
9.24/9.35 c GLOBAL bounds - >= 0 @ 7.9119
9.24/9.37 c GLOBAL bounds - >= 0 @ 7.92812
9.24/9.39 c GLOBAL bounds - >= 0 @ 7.94323
9.34/9.40 c GLOBAL bounds - >= 0 @ 7.95928
9.34/9.42 c GLOBAL bounds - >= 0 @ 7.97763
9.34/9.44 c GLOBAL bounds - >= 0 @ 7.99422
9.34/9.46 c GLOBAL bounds - >= 0 @ 8.01154
9.34/9.48 c GLOBAL bounds - >= 0 @ 8.02463
9.34/9.49 c GLOBAL bounds - >= 0 @ 8.03923
9.43/9.51 c GLOBAL bounds - >= 0 @ 8.05546
9.43/9.53 c GLOBAL bounds - >= 0 @ 8.07047
9.43/9.55 c GLOBAL bounds - >= 0 @ 8.08499
9.43/9.56 c GLOBAL bounds - >= 0 @ 8.1006
9.43/9.58 c GLOBAL bounds - >= 0 @ 8.11353
9.43/9.60 c GLOBAL bounds - >= 0 @ 8.12828
9.54/9.61 c GLOBAL bounds - >= 0 @ 8.14539
9.54/9.63 c GLOBAL bounds - >= 0 @ 8.16045
9.54/9.65 c GLOBAL bounds - >= 0 @ 8.17342
9.54/9.66 c GLOBAL bounds - >= 0 @ 8.19063
9.54/9.68 c GLOBAL bounds - >= 0 @ 8.20735
9.64/9.70 c GLOBAL bounds - >= 0 @ 8.22266
9.64/9.72 c GLOBAL bounds - >= 0 @ 8.23869
9.64/9.73 c GLOBAL bounds - >= 0 @ 8.25339
9.64/9.75 c GLOBAL bounds - >= 0 @ 8.26822
9.64/9.77 c GLOBAL bounds - >= 0 @ 8.2844
9.64/9.78 c GLOBAL bounds - >= 0 @ 8.29802
9.74/9.80 c GLOBAL bounds - >= 0 @ 8.31354
9.74/9.82 c GLOBAL bounds - >= 0 @ 8.32922
9.74/9.84 c GLOBAL bounds - >= 0 @ 8.34151
9.74/9.86 c GLOBAL bounds - >= 0 @ 8.3555
9.74/9.87 c GLOBAL bounds - >= 0 @ 8.37164
9.74/9.89 c GLOBAL bounds - >= 0 @ 8.38561
9.84/9.91 c GLOBAL bounds - >= 0 @ 8.40291
9.84/9.93 c GLOBAL bounds - >= 0 @ 8.41628
9.84/9.95 c GLOBAL bounds - >= 0 @ 8.43493
9.84/9.96 c GLOBAL bounds - >= 0 @ 8.44888
9.84/9.98 c GLOBAL bounds - >= 0 @ 8.46313
9.84/10.00 c GLOBAL bounds - >= 0 @ 8.47696
9.94/10.02 c GLOBAL bounds - >= 0 @ 8.49315
9.94/10.03 c GLOBAL bounds - >= 0 @ 8.50706
9.94/10.05 c GLOBAL bounds - >= 0 @ 8.52141
9.94/10.07 c GLOBAL bounds - >= 0 @ 8.53858
9.94/10.09 c GLOBAL bounds - >= 0 @ 8.55361
9.94/10.11 c GLOBAL bounds - >= 0 @ 8.56819
10.05/10.12 c GLOBAL bounds - >= 0 @ 8.58225
10.05/10.14 c GLOBAL bounds - >= 0 @ 8.59907
10.05/10.16 c GLOBAL bounds - >= 0 @ 8.61588
10.05/10.17 c GLOBAL bounds - >= 0 @ 8.62948
10.05/10.19 c GLOBAL bounds - >= 0 @ 8.64427
10.14/10.21 c GLOBAL bounds - >= 0 @ 8.66041
10.14/10.22 c GLOBAL bounds - >= 0 @ 8.67318
10.14/10.24 c GLOBAL bounds - >= 0 @ 8.68786
10.14/10.26 c GLOBAL bounds - >= 0 @ 8.70455
10.14/10.27 c GLOBAL bounds - >= 0 @ 8.71887
10.14/10.29 c GLOBAL bounds - >= 0 @ 8.73363
10.24/10.31 c GLOBAL bounds - >= 0 @ 8.74831
10.24/10.33 c GLOBAL bounds - >= 0 @ 8.76524
10.24/10.35 c GLOBAL bounds - >= 0 @ 8.78125
10.24/10.37 c GLOBAL bounds - >= 0 @ 8.79652
10.24/10.38 c GLOBAL bounds - >= 0 @ 8.81257
10.33/10.40 c GLOBAL bounds - >= 0 @ 8.82699
10.33/10.42 c GLOBAL bounds - >= 0 @ 8.84272
10.33/10.43 c GLOBAL bounds - >= 0 @ 8.85726
10.33/10.45 c GLOBAL bounds - >= 0 @ 8.8704
10.33/10.47 c GLOBAL bounds - >= 0 @ 8.88505
10.33/10.48 c GLOBAL bounds - >= 0 @ 8.89973
10.43/10.50 c GLOBAL bounds - >= 0 @ 8.91566
10.43/10.52 c GLOBAL bounds - >= 0 @ 8.93139
10.43/10.54 c GLOBAL bounds - >= 0 @ 8.94913
10.43/10.56 c GLOBAL bounds - >= 0 @ 8.96745
10.43/10.57 c GLOBAL bounds - >= 0 @ 8.98388
10.43/10.59 c GLOBAL bounds - >= 0 @ 8.99743
10.53/10.61 c GLOBAL bounds - >= 0 @ 9.01316
10.53/10.62 c GLOBAL bounds - >= 0 @ 9.02675
10.53/10.64 c GLOBAL bounds - >= 0 @ 9.04337
10.53/10.66 c GLOBAL bounds - >= 0 @ 9.06017
10.53/10.68 c GLOBAL bounds - >= 0 @ 9.07546
10.53/10.69 c GLOBAL bounds - >= 0 @ 9.08912
10.63/10.71 c GLOBAL bounds - >= 0 @ 9.10379
10.63/10.73 c GLOBAL bounds - >= 0 @ 9.11956
10.63/10.75 c GLOBAL bounds - >= 0 @ 9.135
10.63/10.76 c GLOBAL bounds - >= 0 @ 9.14737
10.63/10.78 c GLOBAL bounds - >= 0 @ 9.16392
10.74/10.80 c GLOBAL bounds - >= 0 @ 9.17746
10.74/10.82 c GLOBAL bounds - >= 0 @ 9.19415
10.74/10.83 c GLOBAL bounds - >= 0 @ 9.21108
10.74/10.85 c GLOBAL bounds - >= 0 @ 9.2226
10.74/10.87 c GLOBAL bounds - >= 0 @ 9.23835
10.74/10.88 c GLOBAL bounds - >= 0 @ 9.25063
10.83/10.90 c GLOBAL bounds - >= 0 @ 9.26654
10.83/10.92 c GLOBAL bounds - >= 0 @ 9.28187
10.83/10.94 c GLOBAL bounds - >= 0 @ 9.29339
10.83/10.95 c GLOBAL bounds - >= 0 @ 9.30823
10.83/10.97 c GLOBAL bounds - >= 0 @ 9.32445
10.83/10.99 c GLOBAL bounds - >= 0 @ 9.34015
10.83/11.01 c GLOBAL bounds - >= 0 @ 9.35477
10.95/11.02 c GLOBAL bounds - >= 0 @ 9.36963
10.95/11.04 c GLOBAL bounds - >= 0 @ 9.38323
10.95/11.06 c GLOBAL bounds - >= 0 @ 9.39957
10.95/11.07 c GLOBAL bounds - >= 0 @ 9.41412
10.95/11.09 c GLOBAL bounds - >= 0 @ 9.43081
10.95/11.11 c GLOBAL bounds - >= 0 @ 9.4437
11.04/11.13 c GLOBAL bounds - >= 0 @ 9.45861
11.04/11.14 c GLOBAL bounds - >= 0 @ 9.47454
11.04/11.16 c GLOBAL bounds - >= 0 @ 9.48752
11.04/11.18 c GLOBAL bounds - >= 0 @ 9.50279
11.04/11.19 c GLOBAL bounds - >= 0 @ 9.51375
11.14/11.21 c GLOBAL bounds - >= 0 @ 9.52638
11.14/11.22 c GLOBAL bounds - >= 0 @ 9.54162
11.14/11.24 c GLOBAL bounds - >= 0 @ 9.55752
11.14/11.26 c GLOBAL bounds - >= 0 @ 9.57022
11.14/11.28 c GLOBAL bounds - >= 0 @ 9.58433
11.14/11.29 c GLOBAL bounds - >= 0 @ 9.59954
11.23/11.31 c GLOBAL bounds - >= 0 @ 9.61291
11.23/11.32 c GLOBAL bounds - >= 0 @ 9.62576
11.23/11.34 c GLOBAL bounds - >= 0 @ 9.64028
11.23/11.36 c GLOBAL bounds - >= 0 @ 9.65322
11.23/11.37 c GLOBAL bounds - >= 0 @ 9.66938
11.23/11.39 c GLOBAL bounds - >= 0 @ 9.68429
11.33/11.41 c GLOBAL bounds - >= 0 @ 9.70198
11.33/11.42 c GLOBAL bounds - >= 0 @ 9.71642
11.33/11.44 c GLOBAL bounds - >= 0 @ 9.73102
11.33/11.46 c GLOBAL bounds - >= 0 @ 9.74788
11.33/11.48 c GLOBAL bounds - >= 0 @ 9.76374
11.33/11.49 c GLOBAL bounds - >= 0 @ 9.77785
11.43/11.51 c GLOBAL bounds - >= 0 @ 9.79225
11.43/11.53 c GLOBAL bounds - >= 0 @ 9.80706
11.43/11.54 c GLOBAL bounds - >= 0 @ 9.82273
11.43/11.56 c GLOBAL bounds - >= 0 @ 9.83883
11.43/11.58 c GLOBAL bounds - >= 0 @ 9.8531
11.43/11.59 c GLOBAL bounds - >= 0 @ 9.86901
11.53/11.61 c GLOBAL bounds - >= 0 @ 9.88226
11.53/11.63 c GLOBAL bounds - >= 0 @ 9.89306
11.53/11.64 c GLOBAL bounds - >= 0 @ 9.90935
11.53/11.66 c GLOBAL bounds - >= 0 @ 9.92209
11.53/11.68 c GLOBAL bounds - >= 0 @ 9.9385
11.63/11.70 c GLOBAL bounds - >= 0 @ 9.95774
11.63/11.72 c GLOBAL bounds - >= 0 @ 9.97516
11.63/11.74 c GLOBAL bounds - >= 0 @ 9.99197
11.63/11.76 c GLOBAL bounds - >= 0 @ 10.0074
11.63/11.77 c GLOBAL bounds - >= 0 @ 10.0224
11.63/11.79 c GLOBAL bounds - >= 0 @ 10.0393
11.73/11.82 c GLOBAL bounds - >= 0 @ 10.0592
11.73/11.84 c GLOBAL bounds - >= 0 @ 10.0814
11.73/11.87 c GLOBAL bounds - >= 0 @ 10.1066
11.73/11.89 c GLOBAL bounds - >= 0 @ 10.1262
11.83/11.91 c GLOBAL bounds - >= 0 @ 10.146
11.83/11.93 c GLOBAL bounds - >= 0 @ 10.1619
11.83/11.95 c GLOBAL bounds - >= 0 @ 10.1749
11.83/11.97 c GLOBAL bounds - >= 0 @ 10.1924
11.83/11.99 c GLOBAL bounds - >= 0 @ 10.2088
11.94/12.01 c GLOBAL bounds - >= 0 @ 10.2274
11.94/12.03 c GLOBAL bounds - >= 0 @ 10.2474
11.94/12.05 c GLOBAL bounds - >= 0 @ 10.2638
11.94/12.07 c GLOBAL bounds - >= 0 @ 10.2805
11.94/12.09 c GLOBAL bounds - >= 0 @ 10.2946
12.05/12.11 c GLOBAL bounds - >= 0 @ 10.3086
12.05/12.13 c GLOBAL bounds - >= 0 @ 10.3246
12.05/12.15 c GLOBAL bounds - >= 0 @ 10.34
12.05/12.17 c GLOBAL bounds - >= 0 @ 10.3575
12.05/12.19 c GLOBAL bounds - >= 0 @ 10.3749
12.13/12.21 c GLOBAL bounds - >= 0 @ 10.3886
12.13/12.22 c GLOBAL bounds - >= 0 @ 10.406
12.13/12.24 c GLOBAL bounds - >= 0 @ 10.4212
12.13/12.26 c GLOBAL bounds - >= 0 @ 10.4332
12.13/12.28 c GLOBAL bounds - >= 0 @ 10.4511
12.23/12.30 c GLOBAL bounds - >= 0 @ 10.4675
12.23/12.32 c GLOBAL bounds - >= 0 @ 10.4856
12.23/12.34 c GLOBAL bounds - >= 0 @ 10.5074
12.23/12.36 c GLOBAL bounds - >= 0 @ 10.5275
12.23/12.39 c GLOBAL bounds - >= 0 @ 10.5495
12.33/12.41 c GLOBAL bounds - >= 0 @ 10.5716
12.33/12.43 c GLOBAL bounds - >= 0 @ 10.5918
12.33/12.45 c GLOBAL bounds - >= 0 @ 10.6093
12.33/12.47 c GLOBAL bounds - >= 0 @ 10.6305
12.33/12.49 c GLOBAL bounds - >= 0 @ 10.6499
12.43/12.51 c GLOBAL bounds - >= 0 @ 10.6687
12.43/12.53 c GLOBAL bounds - >= 0 @ 10.684
12.43/12.55 c GLOBAL bounds - >= 0 @ 10.7008
12.43/12.57 c GLOBAL bounds - >= 0 @ 10.7146
12.43/12.59 c GLOBAL bounds - >= 0 @ 10.7286
12.53/12.60 c GLOBAL bounds - >= 0 @ 10.7432
12.53/12.62 c GLOBAL bounds - >= 0 @ 10.7557
12.53/12.64 c GLOBAL bounds - >= 0 @ 10.773
12.53/12.65 c GLOBAL bounds - >= 0 @ 10.787
12.53/12.67 c GLOBAL bounds - >= 0 @ 10.8022
12.53/12.69 c GLOBAL bounds - >= 0 @ 10.8183
12.63/12.70 c GLOBAL bounds - >= 0 @ 10.8347
12.63/12.72 c GLOBAL bounds - >= 0 @ 10.8487
12.63/12.74 c GLOBAL bounds - >= 0 @ 10.8644
12.63/12.76 c GLOBAL bounds - >= 0 @ 10.8765
12.63/12.77 c GLOBAL bounds - >= 0 @ 10.8896
12.63/12.79 c GLOBAL bounds - >= 0 @ 10.9016
12.73/12.80 c GLOBAL bounds - >= 0 @ 10.9154
12.73/12.82 c GLOBAL bounds - >= 0 @ 10.9313
12.73/12.84 c GLOBAL bounds - >= 0 @ 10.9456
12.73/12.85 c GLOBAL bounds - >= 0 @ 10.9594
12.73/12.87 c GLOBAL bounds - >= 0 @ 10.9784
12.73/12.89 c GLOBAL bounds - >= 0 @ 10.9937
12.83/12.91 c GLOBAL bounds - >= 0 @ 11.0088
12.83/12.93 c GLOBAL bounds - >= 0 @ 11.0259
12.83/12.94 c GLOBAL bounds - >= 0 @ 11.0403
12.83/12.97 c GLOBAL bounds - >= 0 @ 11.0611
12.83/12.99 c GLOBAL bounds - >= 0 @ 11.0854
12.94/13.02 c GLOBAL bounds - >= 0 @ 11.1108
12.94/13.05 c GLOBAL bounds - >= 0 @ 11.1369
12.94/13.07 c GLOBAL bounds - >= 0 @ 11.1589
12.94/13.10 c GLOBAL bounds - >= 0 @ 11.1809
13.04/13.13 c GLOBAL bounds - >= 0 @ 11.2062
13.04/13.15 c GLOBAL bounds - >= 0 @ 11.2269
13.04/13.17 c GLOBAL bounds - >= 0 @ 11.2446
13.04/13.20 c GLOBAL bounds - >= 0 @ 11.2717
13.13/13.22 c GLOBAL bounds - >= 0 @ 11.289
13.13/13.23 c GLOBAL bounds - >= 0 @ 11.305
13.13/13.26 c #Conflicts: 1000 | #Constraints: 67650
13.13/13.26 c GLOBAL bounds - >= 0 @ 11.3234
13.13/13.28 c GLOBAL bounds - >= 0 @ 11.3461
13.23/13.30 c GLOBAL bounds - >= 0 @ 11.3653
13.23/13.32 c GLOBAL bounds - >= 0 @ 11.3859
13.23/13.34 c GLOBAL bounds - >= 0 @ 11.405
13.23/13.36 c GLOBAL bounds - >= 0 @ 11.4216
13.23/13.38 c GLOBAL bounds - >= 0 @ 11.4392
13.32/13.40 c GLOBAL bounds - >= 0 @ 11.4579
13.32/13.42 c GLOBAL bounds - >= 0 @ 11.4734
13.32/13.44 c GLOBAL bounds - >= 0 @ 11.4888
13.32/13.47 c GLOBAL bounds - >= 0 @ 11.5141
13.32/13.49 c GLOBAL bounds - >= 0 @ 11.5292
13.43/13.50 c GLOBAL bounds - >= 0 @ 11.5462
13.43/13.52 c GLOBAL bounds - >= 0 @ 11.5658
13.43/13.54 c GLOBAL bounds - >= 0 @ 11.5839
13.43/13.56 c GLOBAL bounds - >= 0 @ 11.6033
13.43/13.58 c GLOBAL bounds - >= 0 @ 11.6196
13.52/13.60 c GLOBAL bounds - >= 0 @ 11.6339
13.52/13.62 c GLOBAL bounds - >= 0 @ 11.6511
13.52/13.64 c GLOBAL bounds - >= 0 @ 11.6694
13.52/13.66 c GLOBAL bounds - >= 0 @ 11.6855
13.52/13.67 c GLOBAL bounds - >= 0 @ 11.702
13.52/13.69 c GLOBAL bounds - >= 0 @ 11.7166
13.63/13.71 c GLOBAL bounds - >= 0 @ 11.733
13.63/13.73 c GLOBAL bounds - >= 0 @ 11.7475
13.63/13.74 c GLOBAL bounds - >= 0 @ 11.7622
13.63/13.76 c GLOBAL bounds - >= 0 @ 11.7779
13.63/13.77 c GLOBAL bounds - >= 0 @ 11.7933
13.63/13.79 c GLOBAL bounds - >= 0 @ 11.8029
13.72/13.80 c GLOBAL bounds - >= 0 @ 11.8185
13.72/13.82 c GLOBAL bounds - >= 0 @ 11.834
13.72/13.84 c GLOBAL bounds - >= 0 @ 11.8491
13.72/13.85 c GLOBAL bounds - >= 0 @ 11.8623
13.72/13.87 c GLOBAL bounds - >= 0 @ 11.8758
13.72/13.88 c GLOBAL bounds - >= 0 @ 11.891
13.83/13.90 c GLOBAL bounds - >= 0 @ 11.9042
13.83/13.92 c GLOBAL bounds - >= 0 @ 11.9199
13.83/13.93 c GLOBAL bounds - >= 0 @ 11.9339
13.83/13.95 c GLOBAL bounds - >= 0 @ 11.9475
13.83/13.96 c GLOBAL bounds - >= 0 @ 11.9611
13.83/13.98 c GLOBAL bounds - >= 0 @ 11.9735
13.83/13.99 c GLOBAL bounds - >= 0 @ 11.9871
13.94/14.01 c GLOBAL bounds - >= 0 @ 12.0034
13.94/14.03 c GLOBAL bounds - >= 0 @ 12.0178
13.94/14.04 c GLOBAL bounds - >= 0 @ 12.0327
13.94/14.06 c GLOBAL bounds - >= 0 @ 12.0461
13.94/14.07 c GLOBAL bounds - >= 0 @ 12.0606
13.94/14.09 c GLOBAL bounds - >= 0 @ 12.0727
13.94/14.10 c GLOBAL bounds - >= 0 @ 12.0854
14.04/14.12 c GLOBAL bounds - >= 0 @ 12.0972
14.04/14.13 c GLOBAL bounds - >= 0 @ 12.1125
14.04/14.15 c GLOBAL bounds - >= 0 @ 12.1267
14.04/14.16 c GLOBAL bounds - >= 0 @ 12.1384
14.04/14.18 c GLOBAL bounds - >= 0 @ 12.1507
14.04/14.19 c GLOBAL bounds - >= 0 @ 12.1644
14.12/14.21 c GLOBAL bounds - >= 0 @ 12.1768
14.12/14.22 c GLOBAL bounds - >= 0 @ 12.1873
14.12/14.24 c GLOBAL bounds - >= 0 @ 12.1999
14.12/14.25 c GLOBAL bounds - >= 0 @ 12.212
14.12/14.27 c GLOBAL bounds - >= 0 @ 12.226
14.12/14.28 c GLOBAL bounds - >= 0 @ 12.238
14.23/14.30 c GLOBAL bounds - >= 0 @ 12.2513
14.23/14.31 c GLOBAL bounds - >= 0 @ 12.2641
14.23/14.33 c GLOBAL bounds - >= 0 @ 12.2772
14.23/14.35 c GLOBAL bounds - >= 0 @ 12.2942
14.23/14.37 c GLOBAL bounds - >= 0 @ 12.3104
14.23/14.38 c GLOBAL bounds - >= 0 @ 12.3268
14.33/14.40 c GLOBAL bounds - >= 0 @ 12.344
14.33/14.42 c GLOBAL bounds - >= 0 @ 12.3571
14.33/14.43 c GLOBAL bounds - >= 0 @ 12.3715
14.33/14.45 c GLOBAL bounds - >= 0 @ 12.3891
14.33/14.47 c GLOBAL bounds - >= 0 @ 12.4014
14.33/14.49 c GLOBAL bounds - >= 0 @ 12.4179
14.43/14.50 c GLOBAL bounds - >= 0 @ 12.432
14.43/14.52 c GLOBAL bounds - >= 0 @ 12.4466
14.43/14.53 c GLOBAL bounds - >= 0 @ 12.4632
14.43/14.55 c GLOBAL bounds - >= 0 @ 12.4765
14.43/14.59 c GLOBAL bounds - >= 0 @ 12.5061
14.52/14.61 c GLOBAL bounds - >= 0 @ 12.5263
14.52/14.63 c GLOBAL bounds - >= 0 @ 12.5454
14.52/14.65 c GLOBAL bounds - >= 0 @ 12.5657
14.52/14.68 c GLOBAL bounds - >= 0 @ 12.594
14.63/14.70 c GLOBAL bounds - >= 0 @ 12.6132
14.63/14.72 c GLOBAL bounds - >= 0 @ 12.6293
14.63/14.74 c GLOBAL bounds - >= 0 @ 12.6468
14.63/14.76 c GLOBAL bounds - >= 0 @ 12.6615
14.63/14.77 c GLOBAL bounds - >= 0 @ 12.6781
14.63/14.79 c GLOBAL bounds - >= 0 @ 12.6919
14.73/14.82 c GLOBAL bounds - >= 0 @ 12.7167
14.73/14.84 c GLOBAL bounds - >= 0 @ 12.733
14.73/14.85 c GLOBAL bounds - >= 0 @ 12.7487
14.73/14.87 c GLOBAL bounds - >= 0 @ 12.7649
14.73/14.89 c GLOBAL bounds - >= 0 @ 12.7831
14.83/14.91 c GLOBAL bounds - >= 0 @ 12.8008
14.83/14.93 c GLOBAL bounds - >= 0 @ 12.813
14.83/14.95 c GLOBAL bounds - >= 0 @ 12.8298
14.83/14.96 c GLOBAL bounds - >= 0 @ 12.8452
14.83/14.98 c GLOBAL bounds - >= 0 @ 12.8582
14.83/14.99 c GLOBAL bounds - >= 0 @ 12.8707
14.93/15.01 c GLOBAL bounds - >= 0 @ 12.8854
14.93/15.03 c GLOBAL bounds - >= 0 @ 12.9002
14.93/15.04 c GLOBAL bounds - >= 0 @ 12.9138
14.93/15.07 c GLOBAL bounds - >= 0 @ 12.9347
14.93/15.08 c GLOBAL bounds - >= 0 @ 12.9491
14.93/15.10 c GLOBAL bounds - >= 0 @ 12.9606
15.04/15.12 c GLOBAL bounds - >= 0 @ 12.9759
15.04/15.13 c GLOBAL bounds - >= 0 @ 12.9893
15.04/15.15 c GLOBAL bounds - >= 0 @ 13.0042
15.04/15.17 c GLOBAL bounds - >= 0 @ 13.0199
15.04/15.19 c GLOBAL bounds - >= 0 @ 13.0383
15.12/15.21 c GLOBAL bounds - >= 0 @ 13.0558
15.12/15.23 c GLOBAL bounds - >= 0 @ 13.0734
15.12/15.25 c GLOBAL bounds - >= 0 @ 13.0901
15.12/15.26 c GLOBAL bounds - >= 0 @ 13.1015
15.12/15.28 c GLOBAL bounds - >= 0 @ 13.1154
15.22/15.33 c GLOBAL bounds - >= 0 @ 13.145
15.22/15.36 c GLOBAL bounds - >= 0 @ 13.169
15.22/15.38 c GLOBAL bounds - >= 0 @ 13.1863
15.32/15.40 c GLOBAL bounds - >= 0 @ 13.2047
15.32/15.42 c GLOBAL bounds - >= 0 @ 13.2178
15.32/15.43 c GLOBAL bounds - >= 0 @ 13.2314
15.32/15.45 c GLOBAL bounds - >= 0 @ 13.2474
15.32/15.47 c GLOBAL bounds - >= 0 @ 13.2624
15.32/15.48 c GLOBAL bounds - >= 0 @ 13.2735
15.42/15.50 c GLOBAL bounds - >= 0 @ 13.2889
15.42/15.51 c GLOBAL bounds - >= 0 @ 13.3024
15.42/15.53 c GLOBAL bounds - >= 0 @ 13.3181
15.42/15.55 c GLOBAL bounds - >= 0 @ 13.3343
15.42/15.56 c GLOBAL bounds - >= 0 @ 13.3478
15.42/15.58 c GLOBAL bounds - >= 0 @ 13.3622
15.42/15.59 c GLOBAL bounds - >= 0 @ 13.3732
15.52/15.60 c GLOBAL bounds - >= 0 @ 13.3845
15.52/15.62 c GLOBAL bounds - >= 0 @ 13.3975
15.52/15.64 c GLOBAL bounds - >= 0 @ 13.4151
15.52/15.65 c GLOBAL bounds - >= 0 @ 13.4303
15.52/15.66 c GLOBAL bounds - >= 0 @ 13.4445
15.52/15.68 c GLOBAL bounds - >= 0 @ 13.4588
15.52/15.69 c GLOBAL bounds - >= 0 @ 13.4691
15.62/15.71 c GLOBAL bounds - >= 0 @ 13.4802
15.62/15.72 c GLOBAL bounds - >= 0 @ 13.4929
15.62/15.74 c GLOBAL bounds - >= 0 @ 13.5048
15.62/15.75 c GLOBAL bounds - >= 0 @ 13.5144
15.62/15.77 c GLOBAL bounds - >= 0 @ 13.5283
15.62/15.79 c GLOBAL bounds - >= 0 @ 13.5416
15.72/15.80 c GLOBAL bounds - >= 0 @ 13.5521
15.72/15.82 c GLOBAL bounds - >= 0 @ 13.5646
15.72/15.83 c GLOBAL bounds - >= 0 @ 13.5792
15.72/15.85 c GLOBAL bounds - >= 0 @ 13.5888
15.72/15.86 c GLOBAL bounds - >= 0 @ 13.5965
15.72/15.87 c GLOBAL bounds - >= 0 @ 13.6089
15.72/15.88 c GLOBAL bounds - >= 0 @ 13.621
15.72/15.90 c GLOBAL bounds - >= 0 @ 13.6315
15.82/15.91 c GLOBAL bounds - >= 0 @ 13.6426
15.82/15.92 c GLOBAL bounds - >= 0 @ 13.652
15.82/15.93 c GLOBAL bounds - >= 0 @ 13.6594
15.82/15.94 c GLOBAL bounds - >= 0 @ 13.6717
15.82/15.96 c GLOBAL bounds - >= 0 @ 13.6824
15.82/15.97 c GLOBAL bounds - >= 0 @ 13.6926
15.82/15.98 c GLOBAL bounds - >= 0 @ 13.7026
15.82/15.99 c GLOBAL bounds - >= 0 @ 13.7144
15.82/16.00 c GLOBAL bounds - >= 0 @ 13.7227
15.93/16.01 c GLOBAL bounds - >= 0 @ 13.7332
15.93/16.02 c GLOBAL bounds - >= 0 @ 13.7441
15.93/16.04 c GLOBAL bounds - >= 0 @ 13.7531
15.93/16.05 c GLOBAL bounds - >= 0 @ 13.7638
15.93/16.07 c GLOBAL bounds - >= 0 @ 13.7859
15.93/16.09 c GLOBAL bounds - >= 0 @ 13.8027
16.03/16.11 c GLOBAL bounds - >= 0 @ 13.8193
16.03/16.13 c GLOBAL bounds - >= 0 @ 13.8332
16.03/16.15 c GLOBAL bounds - >= 0 @ 13.8487
16.03/16.16 c GLOBAL bounds - >= 0 @ 13.863
16.03/16.18 c GLOBAL bounds - >= 0 @ 13.8749
16.03/16.19 c GLOBAL bounds - >= 0 @ 13.8848
16.12/16.20 c GLOBAL bounds - >= 0 @ 13.8947
16.12/16.22 c GLOBAL bounds - >= 0 @ 13.9071
16.12/16.23 c GLOBAL bounds - >= 0 @ 13.9167
16.12/16.24 c GLOBAL bounds - >= 0 @ 13.9278
16.12/16.25 c GLOBAL bounds - >= 0 @ 13.9403
16.12/16.27 c GLOBAL bounds - >= 0 @ 13.9512
16.12/16.28 c GLOBAL bounds - >= 0 @ 13.9655
16.21/16.30 c GLOBAL bounds - >= 0 @ 13.9808
16.21/16.32 c GLOBAL bounds - >= 0 @ 13.995
16.21/16.33 c GLOBAL bounds - >= 0 @ 14.0056
16.21/16.34 c GLOBAL bounds - >= 0 @ 14.0151
16.21/16.36 c GLOBAL bounds - >= 0 @ 14.0316
16.21/16.38 c GLOBAL bounds - >= 0 @ 14.0484
16.21/16.40 c GLOBAL bounds - >= 0 @ 14.0674
16.32/16.41 c GLOBAL bounds - >= 0 @ 14.0818
16.32/16.43 c GLOBAL bounds - >= 0 @ 14.095
16.32/16.44 c GLOBAL bounds - >= 0 @ 14.1087
16.32/16.47 c GLOBAL bounds - >= 0 @ 14.1342
16.41/16.50 c GLOBAL bounds - >= 0 @ 14.161
16.41/16.53 c GLOBAL bounds - >= 0 @ 14.1815
16.41/16.55 c GLOBAL bounds - >= 0 @ 14.2
16.41/16.59 c GLOBAL bounds - >= 0 @ 14.2285
16.52/16.63 c GLOBAL bounds - >= 0 @ 14.2685
16.52/16.68 c GLOBAL bounds - >= 0 @ 14.311
16.62/16.72 c GLOBAL bounds - >= 0 @ 14.3525
16.62/16.75 c GLOBAL bounds - >= 0 @ 14.3782
16.62/16.77 c GLOBAL bounds - >= 0 @ 14.3947
16.62/16.79 c GLOBAL bounds - >= 0 @ 14.4147
16.72/16.81 c GLOBAL bounds - >= 0 @ 14.4319
16.72/16.83 c GLOBAL bounds - >= 0 @ 14.4549
16.72/16.86 c GLOBAL bounds - >= 0 @ 14.4769
16.72/16.87 c GLOBAL bounds - >= 0 @ 14.4929
16.72/16.89 c GLOBAL bounds - >= 0 @ 14.5054
16.82/16.90 c GLOBAL bounds - >= 0 @ 14.5206
16.82/16.92 c GLOBAL bounds - >= 0 @ 14.5352
16.82/16.93 c GLOBAL bounds - >= 0 @ 14.5463
16.82/16.95 c GLOBAL bounds - >= 0 @ 14.56
16.82/16.96 c GLOBAL bounds - >= 0 @ 14.5715
16.82/16.98 c GLOBAL bounds - >= 0 @ 14.5844
16.82/16.99 c GLOBAL bounds - >= 0 @ 14.5961
16.82/17.00 c GLOBAL bounds - >= 0 @ 14.6074
16.93/17.02 c GLOBAL bounds - >= 0 @ 14.6177
16.93/17.03 c GLOBAL bounds - >= 0 @ 14.626
16.93/17.04 c GLOBAL bounds - >= 0 @ 14.6392
16.93/17.06 c GLOBAL bounds - >= 0 @ 14.6576
16.93/17.07 c GLOBAL bounds - >= 0 @ 14.6665
16.93/17.08 c GLOBAL bounds - >= 0 @ 14.6778
16.93/17.09 c GLOBAL bounds - >= 0 @ 14.6881
16.93/17.11 c GLOBAL bounds - >= 0 @ 14.6986
17.03/17.12 c GLOBAL bounds - >= 0 @ 14.7073
17.03/17.13 c GLOBAL bounds - >= 0 @ 14.717
17.03/17.14 c GLOBAL bounds - >= 0 @ 14.725
17.03/17.15 c GLOBAL bounds - >= 0 @ 14.7345
17.03/17.16 c GLOBAL bounds - >= 0 @ 14.7434
17.03/17.17 c GLOBAL bounds - >= 0 @ 14.7526
17.03/17.18 c GLOBAL bounds - >= 0 @ 14.7595
17.03/17.18 c GLOBAL bounds - >= 0 @ 14.7684
17.03/17.19 c GLOBAL bounds - >= 0 @ 14.7751
17.12/17.20 c GLOBAL bounds - >= 0 @ 14.7822
17.12/17.21 c GLOBAL bounds - >= 0 @ 14.7942
17.12/17.22 c GLOBAL bounds - >= 0 @ 14.8005
17.12/17.23 c GLOBAL bounds - >= 0 @ 14.8062
17.12/17.24 c GLOBAL bounds - >= 0 @ 14.8137
17.12/17.24 c GLOBAL bounds - >= 0 @ 14.8211
17.12/17.25 c GLOBAL bounds - >= 0 @ 14.8287
17.12/17.26 c GLOBAL bounds - >= 0 @ 14.8368
17.12/17.27 c GLOBAL bounds - >= 0 @ 14.8401
17.12/17.28 c GLOBAL bounds - >= 0 @ 14.8494
17.12/17.29 c GLOBAL bounds - >= 0 @ 14.856
17.12/17.30 c GLOBAL bounds - >= 0 @ 14.8644
17.21/17.30 c GLOBAL bounds - >= 0 @ 14.8706
17.21/17.31 c GLOBAL bounds - >= 0 @ 14.8776
17.21/17.32 c GLOBAL bounds - >= 0 @ 14.8834
17.21/17.32 c GLOBAL bounds - >= 0 @ 14.8862
17.21/17.33 c GLOBAL bounds - >= 0 @ 14.8929
17.21/17.34 c GLOBAL bounds - >= 0 @ 14.9028
17.21/17.35 c GLOBAL bounds - >= 0 @ 14.9099
17.21/17.36 c GLOBAL bounds - >= 0 @ 14.9155
17.21/17.37 c GLOBAL bounds - >= 0 @ 14.9213
17.21/17.37 c GLOBAL bounds - >= 0 @ 14.9296
17.21/17.38 c GLOBAL bounds - >= 0 @ 14.9366
17.21/17.39 c GLOBAL bounds - >= 0 @ 14.9428
17.32/17.40 c GLOBAL bounds - >= 0 @ 14.9479
17.32/17.41 c GLOBAL bounds - >= 0 @ 14.9568
17.32/17.41 c GLOBAL bounds - >= 0 @ 14.9648
17.32/17.42 c GLOBAL bounds - >= 0 @ 14.9704
17.32/17.43 c GLOBAL bounds - >= 0 @ 14.9759
17.32/17.48 c GLOBAL bounds - >= 0 @ 15.0233
17.62/17.72 c GLOBAL bounds - >= 0 @ 15.2546
17.62/17.77 c GLOBAL bounds - >= 0 @ 15.2948
18.21/18.33 c #Conflicts: 2000 | #Constraints: 69176
18.21/18.33 c INPROCESSING
18.21/18.33 c GARBAGE COLLECT
18.21/18.33 c GLOBAL bounds - >= 0 @ 15.8357
18.41/18.56 c GLOBAL bounds - >= 0 @ 16.0529
19.81/19.95 c #Conflicts: 3000 | #Constraints: 69192
19.81/19.95 c GLOBAL bounds - >= 0 @ 17.4091
19.92/20.01 c GLOBAL bounds - >= 0 @ 17.4565
19.92/20.05 c GLOBAL bounds - >= 0 @ 17.4885
19.92/20.09 c GLOBAL bounds - >= 0 @ 17.5273
19.92/20.11 c GLOBAL bounds - >= 0 @ 17.5429
20.02/20.13 c GLOBAL bounds - >= 0 @ 17.5618
20.02/20.16 c GLOBAL bounds - >= 0 @ 17.5937
20.02/20.17 c GLOBAL bounds - >= 0 @ 17.6055
20.02/20.19 c GLOBAL bounds - >= 0 @ 17.6181
20.11/20.20 c GLOBAL bounds - >= 0 @ 17.626
20.11/20.21 c GLOBAL bounds - >= 0 @ 17.6404
20.11/20.23 c GLOBAL bounds - >= 0 @ 17.6513
20.11/20.24 c GLOBAL bounds - >= 0 @ 17.6628
20.21/20.32 c GLOBAL bounds - >= 0 @ 17.7386
20.40/20.55 c GLOBAL bounds - >= 0 @ 17.9712
20.70/20.89 c GLOBAL bounds - >= 0 @ 18.2941
21.91/22.08 c #Conflicts: 4000 | #Constraints: 70224
21.91/22.08 c INPROCESSING
21.91/22.08 c GARBAGE COLLECT
21.91/22.08 c GLOBAL bounds - >= 0 @ 19.4506
22.80/23.00 c GLOBAL bounds - >= 0 @ 20.3335
171.95/172.57 c #Conflicts: 5000 | #Constraints: 69635
171.95/172.57 c #Conflicts: 6000 | #Constraints: 70635
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 7000 | #Constraints: 69647
171.95/172.57 c #Conflicts: 8000 | #Constraints: 70647
171.95/172.57 c #Conflicts: 9000 | #Constraints: 71647
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 10000 | #Constraints: 70351
171.95/172.57 c #Conflicts: 11000 | #Constraints: 71351
171.95/172.57 c #Conflicts: 12000 | #Constraints: 72351
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 13000 | #Constraints: 70807
171.95/172.57 c #Conflicts: 14000 | #Constraints: 71807
171.95/172.57 c #Conflicts: 15000 | #Constraints: 72807
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 16000 | #Constraints: 71034
171.95/172.57 c #Conflicts: 17000 | #Constraints: 72034
171.95/172.57 c #Conflicts: 18000 | #Constraints: 73034
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 19000 | #Constraints: 71049
171.95/172.57 c #Conflicts: 20000 | #Constraints: 72049
171.95/172.57 c #Conflicts: 21000 | #Constraints: 73049
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 22000 | #Constraints: 70851
171.95/172.57 c #Conflicts: 23000 | #Constraints: 71851
171.95/172.57 c #Conflicts: 24000 | #Constraints: 72851
171.95/172.57 c #Conflicts: 25000 | #Constraints: 73851
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 26000 | #Constraints: 71449
171.95/172.57 c #Conflicts: 27000 | #Constraints: 72449
171.95/172.57 c #Conflicts: 28000 | #Constraints: 73449
171.95/172.57 c #Conflicts: 29000 | #Constraints: 74449
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 30000 | #Constraints: 71857
171.95/172.57 c #Conflicts: 31000 | #Constraints: 72857
171.95/172.57 c #Conflicts: 32000 | #Constraints: 73857
171.95/172.57 c #Conflicts: 33000 | #Constraints: 74857
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 34000 | #Constraints: 72051
171.95/172.57 c #Conflicts: 35000 | #Constraints: 73051
171.95/172.57 c #Conflicts: 36000 | #Constraints: 74051
171.95/172.57 c #Conflicts: 37000 | #Constraints: 75051
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 38000 | #Constraints: 72062
171.95/172.57 c #Conflicts: 39000 | #Constraints: 73062
171.95/172.57 c #Conflicts: 40000 | #Constraints: 74062
171.95/172.57 c #Conflicts: 41000 | #Constraints: 75062
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 42000 | #Constraints: 71859
171.95/172.57 c #Conflicts: 43000 | #Constraints: 72859
171.95/172.57 c #Conflicts: 44000 | #Constraints: 73859
171.95/172.57 c #Conflicts: 45000 | #Constraints: 74859
171.95/172.57 c #Conflicts: 46000 | #Constraints: 75859
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 47000 | #Constraints: 72454
171.95/172.57 c #Conflicts: 48000 | #Constraints: 73454
171.95/172.57 c #Conflicts: 49000 | #Constraints: 74454
171.95/172.57 c #Conflicts: 50000 | #Constraints: 75454
171.95/172.57 c #Conflicts: 51000 | #Constraints: 76454
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 52000 | #Constraints: 72852
171.95/172.57 c #Conflicts: 53000 | #Constraints: 73852
171.95/172.57 c #Conflicts: 54000 | #Constraints: 74852
171.95/172.57 c #Conflicts: 55000 | #Constraints: 75852
171.95/172.57 c #Conflicts: 56000 | #Constraints: 76852
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 57000 | #Constraints: 73055
171.95/172.57 c #Conflicts: 58000 | #Constraints: 74055
171.95/172.57 c #Conflicts: 59000 | #Constraints: 75055
171.95/172.57 c #Conflicts: 60000 | #Constraints: 76055
171.95/172.57 c #Conflicts: 61000 | #Constraints: 77055
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 62000 | #Constraints: 73059
171.95/172.57 c #Conflicts: 63000 | #Constraints: 74059
171.95/172.57 c #Conflicts: 64000 | #Constraints: 75059
171.95/172.57 c #Conflicts: 65000 | #Constraints: 76059
171.95/172.57 c #Conflicts: 66000 | #Constraints: 77059
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
171.95/172.57 c #Conflicts: 67000 | #Constraints: 72866
171.95/172.57 c #Conflicts: 68000 | #Constraints: 73866
171.95/172.57 c #Conflicts: 69000 | #Constraints: 74866
171.95/172.57 c #Conflicts: 70000 | #Constraints: 75866
171.95/172.57 c #Conflicts: 71000 | #Constraints: 76866
171.95/172.57 c #Conflicts: 72000 | #Constraints: 77866
171.95/172.57 c INPROCESSING
171.95/172.57 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 73000 | #Constraints: 73465
336.90/338.05 c #Conflicts: 74000 | #Constraints: 74465
336.90/338.05 c #Conflicts: 75000 | #Constraints: 75465
336.90/338.05 c #Conflicts: 76000 | #Constraints: 76465
336.90/338.05 c #Conflicts: 77000 | #Constraints: 77465
336.90/338.05 c #Conflicts: 78000 | #Constraints: 78465
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 79000 | #Constraints: 73859
336.90/338.05 c #Conflicts: 80000 | #Constraints: 74859
336.90/338.05 c #Conflicts: 81000 | #Constraints: 75859
336.90/338.05 c #Conflicts: 82000 | #Constraints: 76859
336.90/338.05 c #Conflicts: 83000 | #Constraints: 77859
336.90/338.05 c #Conflicts: 84000 | #Constraints: 78859
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 85000 | #Constraints: 74059
336.90/338.05 c #Conflicts: 86000 | #Constraints: 75059
336.90/338.05 c #Conflicts: 87000 | #Constraints: 76059
336.90/338.05 c #Conflicts: 88000 | #Constraints: 77059
336.90/338.05 c #Conflicts: 89000 | #Constraints: 78059
336.90/338.05 c #Conflicts: 90000 | #Constraints: 79059
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 91000 | #Constraints: 74057
336.90/338.05 c #Conflicts: 92000 | #Constraints: 75057
336.90/338.05 c #Conflicts: 93000 | #Constraints: 76057
336.90/338.05 c #Conflicts: 94000 | #Constraints: 77057
336.90/338.05 c #Conflicts: 95000 | #Constraints: 78057
336.90/338.05 c #Conflicts: 96000 | #Constraints: 79057
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 97000 | #Constraints: 73853
336.90/338.05 c #Conflicts: 98000 | #Constraints: 74853
336.90/338.05 c #Conflicts: 99000 | #Constraints: 75853
336.90/338.05 c #Conflicts: 100000 | #Constraints: 76853
336.90/338.05 c #Conflicts: 101000 | #Constraints: 77853
336.90/338.05 c #Conflicts: 102000 | #Constraints: 78853
336.90/338.05 c #Conflicts: 103000 | #Constraints: 79853
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 104000 | #Constraints: 74451
336.90/338.05 c #Conflicts: 105000 | #Constraints: 75451
336.90/338.05 c #Conflicts: 106000 | #Constraints: 76451
336.90/338.05 c #Conflicts: 107000 | #Constraints: 77451
336.90/338.05 c #Conflicts: 108000 | #Constraints: 78451
336.90/338.05 c #Conflicts: 109000 | #Constraints: 79451
336.90/338.05 c #Conflicts: 110000 | #Constraints: 80451
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 111000 | #Constraints: 74866
336.90/338.05 c #Conflicts: 112000 | #Constraints: 75866
336.90/338.05 c #Conflicts: 113000 | #Constraints: 76866
336.90/338.05 c #Conflicts: 114000 | #Constraints: 77866
336.90/338.05 c #Conflicts: 115000 | #Constraints: 78866
336.90/338.05 c #Conflicts: 116000 | #Constraints: 79866
336.90/338.05 c #Conflicts: 117000 | #Constraints: 80866
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 118000 | #Constraints: 75061
336.90/338.05 c #Conflicts: 119000 | #Constraints: 76061
336.90/338.05 c #Conflicts: 120000 | #Constraints: 77061
336.90/338.05 c #Conflicts: 121000 | #Constraints: 78061
336.90/338.05 c #Conflicts: 122000 | #Constraints: 79061
336.90/338.05 c #Conflicts: 123000 | #Constraints: 80061
336.90/338.05 c #Conflicts: 124000 | #Constraints: 81061
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 125000 | #Constraints: 75065
336.90/338.05 c #Conflicts: 126000 | #Constraints: 76065
336.90/338.05 c #Conflicts: 127000 | #Constraints: 77065
336.90/338.05 c #Conflicts: 128000 | #Constraints: 78065
336.90/338.05 c #Conflicts: 129000 | #Constraints: 79065
336.90/338.05 c #Conflicts: 130000 | #Constraints: 80065
336.90/338.05 c #Conflicts: 131000 | #Constraints: 81065
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 132000 | #Constraints: 74858
336.90/338.05 c #Conflicts: 133000 | #Constraints: 75858
336.90/338.05 c #Conflicts: 134000 | #Constraints: 76858
336.90/338.05 c #Conflicts: 135000 | #Constraints: 77858
336.90/338.05 c #Conflicts: 136000 | #Constraints: 78858
336.90/338.05 c #Conflicts: 137000 | #Constraints: 79858
336.90/338.05 c #Conflicts: 138000 | #Constraints: 80858
336.90/338.05 c #Conflicts: 139000 | #Constraints: 81858
336.90/338.05 c INPROCESSING
336.90/338.05 c GARBAGE COLLECT
336.90/338.05 c #Conflicts: 140000 | #Constraints: 75456
336.90/338.05 c #Conflicts: 141000 | #Constraints: 76456
336.90/338.05 c #Conflicts: 142000 | #Constraints: 77456
336.90/338.05 c #Conflicts: 143000 | #Constraints: 78456
336.90/338.05 c #Conflicts: 144000 | #Constraints: 79456
336.90/338.05 c #Conflicts: 145000 | #Constraints: 80456
513.30/515.09 c #Conflicts: 146000 | #Constraints: 81456
513.30/515.09 c #Conflicts: 147000 | #Constraints: 82456
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 148000 | #Constraints: 75858
513.30/515.09 c #Conflicts: 149000 | #Constraints: 76858
513.30/515.09 c #Conflicts: 150000 | #Constraints: 77858
513.30/515.09 c #Conflicts: 151000 | #Constraints: 78858
513.30/515.09 c #Conflicts: 152000 | #Constraints: 79858
513.30/515.09 c #Conflicts: 153000 | #Constraints: 80858
513.30/515.09 c #Conflicts: 154000 | #Constraints: 81858
513.30/515.09 c #Conflicts: 155000 | #Constraints: 82858
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 156000 | #Constraints: 76059
513.30/515.09 c #Conflicts: 157000 | #Constraints: 77059
513.30/515.09 c #Conflicts: 158000 | #Constraints: 78059
513.30/515.09 c #Conflicts: 159000 | #Constraints: 79059
513.30/515.09 c #Conflicts: 160000 | #Constraints: 80059
513.30/515.09 c #Conflicts: 161000 | #Constraints: 81059
513.30/515.09 c #Conflicts: 162000 | #Constraints: 82059
513.30/515.09 c #Conflicts: 163000 | #Constraints: 83059
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 164000 | #Constraints: 76063
513.30/515.09 c #Conflicts: 165000 | #Constraints: 77063
513.30/515.09 c #Conflicts: 166000 | #Constraints: 78063
513.30/515.09 c #Conflicts: 167000 | #Constraints: 79063
513.30/515.09 c #Conflicts: 168000 | #Constraints: 80063
513.30/515.09 c #Conflicts: 169000 | #Constraints: 81063
513.30/515.09 c #Conflicts: 170000 | #Constraints: 82063
513.30/515.09 c #Conflicts: 171000 | #Constraints: 83063
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 172000 | #Constraints: 75858
513.30/515.09 c #Conflicts: 173000 | #Constraints: 76858
513.30/515.09 c #Conflicts: 174000 | #Constraints: 77858
513.30/515.09 c #Conflicts: 175000 | #Constraints: 78858
513.30/515.09 c #Conflicts: 176000 | #Constraints: 79858
513.30/515.09 c #Conflicts: 177000 | #Constraints: 80858
513.30/515.09 c #Conflicts: 178000 | #Constraints: 81858
513.30/515.09 c #Conflicts: 179000 | #Constraints: 82858
513.30/515.09 c #Conflicts: 180000 | #Constraints: 83858
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 181000 | #Constraints: 76461
513.30/515.09 c #Conflicts: 182000 | #Constraints: 77461
513.30/515.09 c #Conflicts: 183000 | #Constraints: 78461
513.30/515.09 c #Conflicts: 184000 | #Constraints: 79461
513.30/515.09 c #Conflicts: 185000 | #Constraints: 80461
513.30/515.09 c #Conflicts: 186000 | #Constraints: 81461
513.30/515.09 c #Conflicts: 187000 | #Constraints: 82461
513.30/515.09 c #Conflicts: 188000 | #Constraints: 83461
513.30/515.09 c #Conflicts: 189000 | #Constraints: 84461
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 190000 | #Constraints: 76859
513.30/515.09 c #Conflicts: 191000 | #Constraints: 77859
513.30/515.09 c #Conflicts: 192000 | #Constraints: 78859
513.30/515.09 c #Conflicts: 193000 | #Constraints: 79859
513.30/515.09 c #Conflicts: 194000 | #Constraints: 80859
513.30/515.09 c #Conflicts: 195000 | #Constraints: 81859
513.30/515.09 c #Conflicts: 196000 | #Constraints: 82859
513.30/515.09 c #Conflicts: 197000 | #Constraints: 83859
513.30/515.09 c #Conflicts: 198000 | #Constraints: 84859
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 199000 | #Constraints: 77063
513.30/515.09 c #Conflicts: 200000 | #Constraints: 78063
513.30/515.09 c #Conflicts: 201000 | #Constraints: 79063
513.30/515.09 c #Conflicts: 202000 | #Constraints: 80063
513.30/515.09 c #Conflicts: 203000 | #Constraints: 81063
513.30/515.09 c #Conflicts: 204000 | #Constraints: 82063
513.30/515.09 c #Conflicts: 205000 | #Constraints: 83063
513.30/515.09 c #Conflicts: 206000 | #Constraints: 84063
513.30/515.09 c #Conflicts: 207000 | #Constraints: 85063
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 208000 | #Constraints: 77062
513.30/515.09 c #Conflicts: 209000 | #Constraints: 78062
513.30/515.09 c #Conflicts: 210000 | #Constraints: 79062
513.30/515.09 c #Conflicts: 211000 | #Constraints: 80062
513.30/515.09 c #Conflicts: 212000 | #Constraints: 81062
513.30/515.09 c #Conflicts: 213000 | #Constraints: 82062
513.30/515.09 c #Conflicts: 214000 | #Constraints: 83062
513.30/515.09 c #Conflicts: 215000 | #Constraints: 84062
513.30/515.09 c #Conflicts: 216000 | #Constraints: 85062
513.30/515.09 c INPROCESSING
513.30/515.09 c GARBAGE COLLECT
513.30/515.09 c #Conflicts: 217000 | #Constraints: 76862
513.30/515.09 c #Conflicts: 218000 | #Constraints: 77862
708.34/710.74 c #Conflicts: 219000 | #Constraints: 78862
708.34/710.74 c #Conflicts: 220000 | #Constraints: 79862
708.34/710.74 c #Conflicts: 221000 | #Constraints: 80862
708.34/710.74 c #Conflicts: 222000 | #Constraints: 81862
708.34/710.74 c #Conflicts: 223000 | #Constraints: 82862
708.34/710.74 c #Conflicts: 224000 | #Constraints: 83862
708.34/710.74 c #Conflicts: 225000 | #Constraints: 84862
708.34/710.74 c #Conflicts: 226000 | #Constraints: 85862
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 227000 | #Constraints: 77459
708.34/710.74 c #Conflicts: 228000 | #Constraints: 78459
708.34/710.74 c #Conflicts: 229000 | #Constraints: 79459
708.34/710.74 c #Conflicts: 230000 | #Constraints: 80459
708.34/710.74 c #Conflicts: 231000 | #Constraints: 81459
708.34/710.74 c #Conflicts: 232000 | #Constraints: 82459
708.34/710.74 c #Conflicts: 233000 | #Constraints: 83459
708.34/710.74 c #Conflicts: 234000 | #Constraints: 84459
708.34/710.74 c #Conflicts: 235000 | #Constraints: 85459
708.34/710.74 c #Conflicts: 236000 | #Constraints: 86459
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 237000 | #Constraints: 77862
708.34/710.74 c #Conflicts: 238000 | #Constraints: 78862
708.34/710.74 c #Conflicts: 239000 | #Constraints: 79862
708.34/710.74 c #Conflicts: 240000 | #Constraints: 80862
708.34/710.74 c #Conflicts: 241000 | #Constraints: 81862
708.34/710.74 c #Conflicts: 242000 | #Constraints: 82862
708.34/710.74 c #Conflicts: 243000 | #Constraints: 83862
708.34/710.74 c #Conflicts: 244000 | #Constraints: 84862
708.34/710.74 c #Conflicts: 245000 | #Constraints: 85862
708.34/710.74 c #Conflicts: 246000 | #Constraints: 86862
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 247000 | #Constraints: 78065
708.34/710.74 c #Conflicts: 248000 | #Constraints: 79065
708.34/710.74 c #Conflicts: 249000 | #Constraints: 80065
708.34/710.74 c #Conflicts: 250000 | #Constraints: 81065
708.34/710.74 c #Conflicts: 251000 | #Constraints: 82065
708.34/710.74 c #Conflicts: 252000 | #Constraints: 83065
708.34/710.74 c #Conflicts: 253000 | #Constraints: 84065
708.34/710.74 c #Conflicts: 254000 | #Constraints: 85065
708.34/710.74 c #Conflicts: 255000 | #Constraints: 86065
708.34/710.74 c #Conflicts: 256000 | #Constraints: 87065
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 257000 | #Constraints: 78068
708.34/710.74 c #Conflicts: 258000 | #Constraints: 79068
708.34/710.74 c #Conflicts: 259000 | #Constraints: 80068
708.34/710.74 c #Conflicts: 260000 | #Constraints: 81068
708.34/710.74 c #Conflicts: 261000 | #Constraints: 82068
708.34/710.74 c #Conflicts: 262000 | #Constraints: 83068
708.34/710.74 c #Conflicts: 263000 | #Constraints: 84068
708.34/710.74 c #Conflicts: 264000 | #Constraints: 85068
708.34/710.74 c #Conflicts: 265000 | #Constraints: 86068
708.34/710.74 c #Conflicts: 266000 | #Constraints: 87068
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 267000 | #Constraints: 77862
708.34/710.74 c #Conflicts: 268000 | #Constraints: 78862
708.34/710.74 c #Conflicts: 269000 | #Constraints: 79862
708.34/710.74 c #Conflicts: 270000 | #Constraints: 80862
708.34/710.74 c #Conflicts: 271000 | #Constraints: 81862
708.34/710.74 c #Conflicts: 272000 | #Constraints: 82862
708.34/710.74 c #Conflicts: 273000 | #Constraints: 83862
708.34/710.74 c #Conflicts: 274000 | #Constraints: 84862
708.34/710.74 c #Conflicts: 275000 | #Constraints: 85862
708.34/710.74 c #Conflicts: 276000 | #Constraints: 86862
708.34/710.74 c #Conflicts: 277000 | #Constraints: 87862
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 278000 | #Constraints: 78462
708.34/710.74 c #Conflicts: 279000 | #Constraints: 79462
708.34/710.74 c #Conflicts: 280000 | #Constraints: 80462
708.34/710.74 c #Conflicts: 281000 | #Constraints: 81462
708.34/710.74 c #Conflicts: 282000 | #Constraints: 82462
708.34/710.74 c #Conflicts: 283000 | #Constraints: 83462
708.34/710.74 c #Conflicts: 284000 | #Constraints: 84462
708.34/710.74 c #Conflicts: 285000 | #Constraints: 85462
708.34/710.74 c #Conflicts: 286000 | #Constraints: 86462
708.34/710.74 c #Conflicts: 287000 | #Constraints: 87462
708.34/710.74 c #Conflicts: 288000 | #Constraints: 88462
708.34/710.74 c INPROCESSING
708.34/710.74 c GARBAGE COLLECT
708.34/710.74 c #Conflicts: 289000 | #Constraints: 78862
708.34/710.74 c #Conflicts: 290000 | #Constraints: 79862
708.34/710.74 c #Conflicts: 291000 | #Constraints: 80862
708.34/710.74 c #Conflicts: 292000 | #Constraints: 81862
906.18/909.16 c #Conflicts: 293000 | #Constraints: 82862
906.18/909.16 c #Conflicts: 294000 | #Constraints: 83862
906.18/909.16 c #Conflicts: 295000 | #Constraints: 84862
906.18/909.16 c #Conflicts: 296000 | #Constraints: 85862
906.18/909.16 c #Conflicts: 297000 | #Constraints: 86862
906.18/909.16 c #Conflicts: 298000 | #Constraints: 87862
906.18/909.16 c #Conflicts: 299000 | #Constraints: 88862
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 300000 | #Constraints: 79062
906.18/909.16 c #Conflicts: 301000 | #Constraints: 80062
906.18/909.16 c #Conflicts: 302000 | #Constraints: 81062
906.18/909.16 c #Conflicts: 303000 | #Constraints: 82062
906.18/909.16 c #Conflicts: 304000 | #Constraints: 83062
906.18/909.16 c #Conflicts: 305000 | #Constraints: 84062
906.18/909.16 c #Conflicts: 306000 | #Constraints: 85062
906.18/909.16 c #Conflicts: 307000 | #Constraints: 86062
906.18/909.16 c #Conflicts: 308000 | #Constraints: 87062
906.18/909.16 c #Conflicts: 309000 | #Constraints: 88062
906.18/909.16 c #Conflicts: 310000 | #Constraints: 89062
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 311000 | #Constraints: 79061
906.18/909.16 c #Conflicts: 312000 | #Constraints: 80061
906.18/909.16 c #Conflicts: 313000 | #Constraints: 81061
906.18/909.16 c #Conflicts: 314000 | #Constraints: 82061
906.18/909.16 c #Conflicts: 315000 | #Constraints: 83061
906.18/909.16 c #Conflicts: 316000 | #Constraints: 84061
906.18/909.16 c #Conflicts: 317000 | #Constraints: 85061
906.18/909.16 c #Conflicts: 318000 | #Constraints: 86061
906.18/909.16 c #Conflicts: 319000 | #Constraints: 87061
906.18/909.16 c #Conflicts: 320000 | #Constraints: 88061
906.18/909.16 c #Conflicts: 321000 | #Constraints: 89061
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 322000 | #Constraints: 78859
906.18/909.16 c #Conflicts: 323000 | #Constraints: 79859
906.18/909.16 c #Conflicts: 324000 | #Constraints: 80859
906.18/909.16 c #Conflicts: 325000 | #Constraints: 81859
906.18/909.16 c #Conflicts: 326000 | #Constraints: 82859
906.18/909.16 c #Conflicts: 327000 | #Constraints: 83859
906.18/909.16 c #Conflicts: 328000 | #Constraints: 84859
906.18/909.16 c #Conflicts: 329000 | #Constraints: 85859
906.18/909.16 c #Conflicts: 330000 | #Constraints: 86859
906.18/909.16 c #Conflicts: 331000 | #Constraints: 87859
906.18/909.16 c #Conflicts: 332000 | #Constraints: 88859
906.18/909.16 c #Conflicts: 333000 | #Constraints: 89859
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 334000 | #Constraints: 79466
906.18/909.16 c #Conflicts: 335000 | #Constraints: 80466
906.18/909.16 c #Conflicts: 336000 | #Constraints: 81466
906.18/909.16 c #Conflicts: 337000 | #Constraints: 82466
906.18/909.16 c #Conflicts: 338000 | #Constraints: 83466
906.18/909.16 c #Conflicts: 339000 | #Constraints: 84466
906.18/909.16 c #Conflicts: 340000 | #Constraints: 85466
906.18/909.16 c #Conflicts: 341000 | #Constraints: 86466
906.18/909.16 c #Conflicts: 342000 | #Constraints: 87466
906.18/909.16 c #Conflicts: 343000 | #Constraints: 88466
906.18/909.16 c #Conflicts: 344000 | #Constraints: 89466
906.18/909.16 c #Conflicts: 345000 | #Constraints: 90466
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 346000 | #Constraints: 79862
906.18/909.16 c #Conflicts: 347000 | #Constraints: 80862
906.18/909.16 c #Conflicts: 348000 | #Constraints: 81862
906.18/909.16 c #Conflicts: 349000 | #Constraints: 82862
906.18/909.16 c #Conflicts: 350000 | #Constraints: 83862
906.18/909.16 c #Conflicts: 351000 | #Constraints: 84862
906.18/909.16 c #Conflicts: 352000 | #Constraints: 85862
906.18/909.16 c #Conflicts: 353000 | #Constraints: 86862
906.18/909.16 c #Conflicts: 354000 | #Constraints: 87862
906.18/909.16 c #Conflicts: 355000 | #Constraints: 88862
906.18/909.16 c #Conflicts: 356000 | #Constraints: 89862
906.18/909.16 c #Conflicts: 357000 | #Constraints: 90862
906.18/909.16 c INPROCESSING
906.18/909.16 c GARBAGE COLLECT
906.18/909.16 c #Conflicts: 358000 | #Constraints: 80065
906.18/909.16 c #Conflicts: 359000 | #Constraints: 81065
906.18/909.16 c #Conflicts: 360000 | #Constraints: 82065
906.18/909.16 c #Conflicts: 361000 | #Constraints: 83065
906.18/909.16 c #Conflicts: 362000 | #Constraints: 84065
906.18/909.16 c #Conflicts: 363000 | #Constraints: 85065
906.18/909.16 c #Conflicts: 364000 | #Constraints: 86065
906.18/909.16 c #Conflicts: 365000 | #Constraints: 87065
906.18/909.16 c #Conflicts: 366000 | #Constraints: 88065
906.18/909.16 c #Conflicts: 367000 | #Constraints: 89065
1109.98/1113.57 c #Conflicts: 368000 | #Constraints: 90065
1109.98/1113.57 c #Conflicts: 369000 | #Constraints: 91065
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 370000 | #Constraints: 80074
1109.98/1113.57 c #Conflicts: 371000 | #Constraints: 81074
1109.98/1113.57 c #Conflicts: 372000 | #Constraints: 82074
1109.98/1113.57 c #Conflicts: 373000 | #Constraints: 83074
1109.98/1113.57 c #Conflicts: 374000 | #Constraints: 84074
1109.98/1113.57 c #Conflicts: 375000 | #Constraints: 85074
1109.98/1113.57 c #Conflicts: 376000 | #Constraints: 86074
1109.98/1113.57 c #Conflicts: 377000 | #Constraints: 87074
1109.98/1113.57 c #Conflicts: 378000 | #Constraints: 88074
1109.98/1113.57 c #Conflicts: 379000 | #Constraints: 89074
1109.98/1113.57 c #Conflicts: 380000 | #Constraints: 90074
1109.98/1113.57 c #Conflicts: 381000 | #Constraints: 91074
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 382000 | #Constraints: 79868
1109.98/1113.57 c #Conflicts: 383000 | #Constraints: 80868
1109.98/1113.57 c #Conflicts: 384000 | #Constraints: 81868
1109.98/1113.57 c #Conflicts: 385000 | #Constraints: 82868
1109.98/1113.57 c #Conflicts: 386000 | #Constraints: 83868
1109.98/1113.57 c #Conflicts: 387000 | #Constraints: 84868
1109.98/1113.57 c #Conflicts: 388000 | #Constraints: 85868
1109.98/1113.57 c #Conflicts: 389000 | #Constraints: 86868
1109.98/1113.57 c #Conflicts: 390000 | #Constraints: 87868
1109.98/1113.57 c #Conflicts: 391000 | #Constraints: 88868
1109.98/1113.57 c #Conflicts: 392000 | #Constraints: 89868
1109.98/1113.57 c #Conflicts: 393000 | #Constraints: 90868
1109.98/1113.57 c #Conflicts: 394000 | #Constraints: 91868
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 395000 | #Constraints: 80472
1109.98/1113.57 c #Conflicts: 396000 | #Constraints: 81472
1109.98/1113.57 c #Conflicts: 397000 | #Constraints: 82472
1109.98/1113.57 c #Conflicts: 398000 | #Constraints: 83472
1109.98/1113.57 c #Conflicts: 399000 | #Constraints: 84472
1109.98/1113.57 c #Conflicts: 400000 | #Constraints: 85472
1109.98/1113.57 c #Conflicts: 401000 | #Constraints: 86472
1109.98/1113.57 c #Conflicts: 402000 | #Constraints: 87472
1109.98/1113.57 c #Conflicts: 403000 | #Constraints: 88472
1109.98/1113.57 c #Conflicts: 404000 | #Constraints: 89472
1109.98/1113.57 c #Conflicts: 405000 | #Constraints: 90472
1109.98/1113.57 c #Conflicts: 406000 | #Constraints: 91472
1109.98/1113.57 c #Conflicts: 407000 | #Constraints: 92472
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 408000 | #Constraints: 80863
1109.98/1113.57 c #Conflicts: 409000 | #Constraints: 81863
1109.98/1113.57 c #Conflicts: 410000 | #Constraints: 82863
1109.98/1113.57 c #Conflicts: 411000 | #Constraints: 83863
1109.98/1113.57 c #Conflicts: 412000 | #Constraints: 84863
1109.98/1113.57 c #Conflicts: 413000 | #Constraints: 85863
1109.98/1113.57 c #Conflicts: 414000 | #Constraints: 86863
1109.98/1113.57 c #Conflicts: 415000 | #Constraints: 87863
1109.98/1113.57 c #Conflicts: 416000 | #Constraints: 88863
1109.98/1113.57 c #Conflicts: 417000 | #Constraints: 89863
1109.98/1113.57 c #Conflicts: 418000 | #Constraints: 90863
1109.98/1113.57 c #Conflicts: 419000 | #Constraints: 91863
1109.98/1113.57 c #Conflicts: 420000 | #Constraints: 92863
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 421000 | #Constraints: 81063
1109.98/1113.57 c #Conflicts: 422000 | #Constraints: 82063
1109.98/1113.57 c #Conflicts: 423000 | #Constraints: 83063
1109.98/1113.57 c #Conflicts: 424000 | #Constraints: 84063
1109.98/1113.57 c #Conflicts: 425000 | #Constraints: 85063
1109.98/1113.57 c #Conflicts: 426000 | #Constraints: 86063
1109.98/1113.57 c #Conflicts: 427000 | #Constraints: 87063
1109.98/1113.57 c #Conflicts: 428000 | #Constraints: 88063
1109.98/1113.57 c #Conflicts: 429000 | #Constraints: 89063
1109.98/1113.57 c #Conflicts: 430000 | #Constraints: 90063
1109.98/1113.57 c #Conflicts: 431000 | #Constraints: 91063
1109.98/1113.57 c #Conflicts: 432000 | #Constraints: 92063
1109.98/1113.57 c #Conflicts: 433000 | #Constraints: 93063
1109.98/1113.57 c INPROCESSING
1109.98/1113.57 c GARBAGE COLLECT
1109.98/1113.57 c #Conflicts: 434000 | #Constraints: 81071
1109.98/1113.57 c #Conflicts: 435000 | #Constraints: 82071
1109.98/1113.57 c #Conflicts: 436000 | #Constraints: 83071
1109.98/1113.57 c #Conflicts: 437000 | #Constraints: 84071
1109.98/1113.57 c #Conflicts: 438000 | #Constraints: 85071
1109.98/1113.57 c #Conflicts: 439000 | #Constraints: 86071
1109.98/1113.57 c #Conflicts: 440000 | #Constraints: 87071
1109.98/1113.57 c #Conflicts: 441000 | #Constraints: 88071
1109.98/1113.57 c #Conflicts: 442000 | #Constraints: 89071
1316.60/1320.75 c #Conflicts: 443000 | #Constraints: 90071
1316.60/1320.75 c #Conflicts: 444000 | #Constraints: 91071
1316.60/1320.75 c #Conflicts: 445000 | #Constraints: 92071
1316.60/1320.75 c #Conflicts: 446000 | #Constraints: 93071
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 447000 | #Constraints: 80866
1316.60/1320.75 c #Conflicts: 448000 | #Constraints: 81866
1316.60/1320.75 c #Conflicts: 449000 | #Constraints: 82866
1316.60/1320.75 c #Conflicts: 450000 | #Constraints: 83866
1316.60/1320.75 c #Conflicts: 451000 | #Constraints: 84866
1316.60/1320.75 c #Conflicts: 452000 | #Constraints: 85866
1316.60/1320.75 c #Conflicts: 453000 | #Constraints: 86866
1316.60/1320.75 c #Conflicts: 454000 | #Constraints: 87866
1316.60/1320.75 c #Conflicts: 455000 | #Constraints: 88866
1316.60/1320.75 c #Conflicts: 456000 | #Constraints: 89866
1316.60/1320.75 c #Conflicts: 457000 | #Constraints: 90866
1316.60/1320.75 c #Conflicts: 458000 | #Constraints: 91866
1316.60/1320.75 c #Conflicts: 459000 | #Constraints: 92866
1316.60/1320.75 c #Conflicts: 460000 | #Constraints: 93866
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 461000 | #Constraints: 81466
1316.60/1320.75 c #Conflicts: 462000 | #Constraints: 82466
1316.60/1320.75 c #Conflicts: 463000 | #Constraints: 83466
1316.60/1320.75 c #Conflicts: 464000 | #Constraints: 84466
1316.60/1320.75 c #Conflicts: 465000 | #Constraints: 85466
1316.60/1320.75 c #Conflicts: 466000 | #Constraints: 86466
1316.60/1320.75 c #Conflicts: 467000 | #Constraints: 87466
1316.60/1320.75 c #Conflicts: 468000 | #Constraints: 88466
1316.60/1320.75 c #Conflicts: 469000 | #Constraints: 89466
1316.60/1320.75 c #Conflicts: 470000 | #Constraints: 90466
1316.60/1320.75 c #Conflicts: 471000 | #Constraints: 91466
1316.60/1320.75 c #Conflicts: 472000 | #Constraints: 92466
1316.60/1320.75 c #Conflicts: 473000 | #Constraints: 93466
1316.60/1320.75 c #Conflicts: 474000 | #Constraints: 94466
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 475000 | #Constraints: 81873
1316.60/1320.75 c #Conflicts: 476000 | #Constraints: 82873
1316.60/1320.75 c #Conflicts: 477000 | #Constraints: 83873
1316.60/1320.75 c #Conflicts: 478000 | #Constraints: 84873
1316.60/1320.75 c #Conflicts: 479000 | #Constraints: 85873
1316.60/1320.75 c #Conflicts: 480000 | #Constraints: 86873
1316.60/1320.75 c #Conflicts: 481000 | #Constraints: 87873
1316.60/1320.75 c #Conflicts: 482000 | #Constraints: 88873
1316.60/1320.75 c #Conflicts: 483000 | #Constraints: 89873
1316.60/1320.75 c #Conflicts: 484000 | #Constraints: 90873
1316.60/1320.75 c #Conflicts: 485000 | #Constraints: 91873
1316.60/1320.75 c #Conflicts: 486000 | #Constraints: 92873
1316.60/1320.75 c #Conflicts: 487000 | #Constraints: 93873
1316.60/1320.75 c #Conflicts: 488000 | #Constraints: 94873
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 489000 | #Constraints: 82066
1316.60/1320.75 c #Conflicts: 490000 | #Constraints: 83066
1316.60/1320.75 c #Conflicts: 491000 | #Constraints: 84066
1316.60/1320.75 c #Conflicts: 492000 | #Constraints: 85066
1316.60/1320.75 c #Conflicts: 493000 | #Constraints: 86066
1316.60/1320.75 c #Conflicts: 494000 | #Constraints: 87066
1316.60/1320.75 c #Conflicts: 495000 | #Constraints: 88066
1316.60/1320.75 c #Conflicts: 496000 | #Constraints: 89066
1316.60/1320.75 c #Conflicts: 497000 | #Constraints: 90066
1316.60/1320.75 c #Conflicts: 498000 | #Constraints: 91066
1316.60/1320.75 c #Conflicts: 499000 | #Constraints: 92066
1316.60/1320.75 c #Conflicts: 500000 | #Constraints: 93066
1316.60/1320.75 c #Conflicts: 501000 | #Constraints: 94066
1316.60/1320.75 c #Conflicts: 502000 | #Constraints: 95066
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 503000 | #Constraints: 82067
1316.60/1320.75 c #Conflicts: 504000 | #Constraints: 83067
1316.60/1320.75 c #Conflicts: 505000 | #Constraints: 84067
1316.60/1320.75 c #Conflicts: 506000 | #Constraints: 85067
1316.60/1320.75 c #Conflicts: 507000 | #Constraints: 86067
1316.60/1320.75 c #Conflicts: 508000 | #Constraints: 87067
1316.60/1320.75 c #Conflicts: 509000 | #Constraints: 88067
1316.60/1320.75 c #Conflicts: 510000 | #Constraints: 89067
1316.60/1320.75 c #Conflicts: 511000 | #Constraints: 90067
1316.60/1320.75 c #Conflicts: 512000 | #Constraints: 91067
1316.60/1320.75 c #Conflicts: 513000 | #Constraints: 92067
1316.60/1320.75 c #Conflicts: 514000 | #Constraints: 93067
1316.60/1320.75 c #Conflicts: 515000 | #Constraints: 94067
1316.60/1320.75 c #Conflicts: 516000 | #Constraints: 95067
1316.60/1320.75 c INPROCESSING
1316.60/1320.75 c GARBAGE COLLECT
1316.60/1320.75 c #Conflicts: 517000 | #Constraints: 81876
1545.75/1550.54 c #Conflicts: 518000 | #Constraints: 82876
1545.75/1550.54 c #Conflicts: 519000 | #Constraints: 83876
1545.75/1550.54 c #Conflicts: 520000 | #Constraints: 84876
1545.75/1550.54 c #Conflicts: 521000 | #Constraints: 85876
1545.75/1550.54 c #Conflicts: 522000 | #Constraints: 86876
1545.75/1550.54 c #Conflicts: 523000 | #Constraints: 87876
1545.75/1550.54 c #Conflicts: 524000 | #Constraints: 88876
1545.75/1550.54 c #Conflicts: 525000 | #Constraints: 89876
1545.75/1550.54 c #Conflicts: 526000 | #Constraints: 90876
1545.75/1550.54 c #Conflicts: 527000 | #Constraints: 91876
1545.75/1550.54 c #Conflicts: 528000 | #Constraints: 92876
1545.75/1550.54 c #Conflicts: 529000 | #Constraints: 93876
1545.75/1550.54 c #Conflicts: 530000 | #Constraints: 94876
1545.75/1550.54 c #Conflicts: 531000 | #Constraints: 95876
1545.75/1550.54 c INPROCESSING
1545.75/1550.54 c GARBAGE COLLECT
1545.75/1550.54 c #Conflicts: 532000 | #Constraints: 82477
1545.75/1550.54 c #Conflicts: 533000 | #Constraints: 83477
1545.75/1550.54 c #Conflicts: 534000 | #Constraints: 84477
1545.75/1550.54 c #Conflicts: 535000 | #Constraints: 85477
1545.75/1550.54 c #Conflicts: 536000 | #Constraints: 86477
1545.75/1550.54 c #Conflicts: 537000 | #Constraints: 87477
1545.75/1550.54 c #Conflicts: 538000 | #Constraints: 88477
1545.75/1550.54 c #Conflicts: 539000 | #Constraints: 89477
1545.75/1550.54 c #Conflicts: 540000 | #Constraints: 90477
1545.75/1550.54 c #Conflicts: 541000 | #Constraints: 91477
1545.75/1550.54 c #Conflicts: 542000 | #Constraints: 92477
1545.75/1550.54 c #Conflicts: 543000 | #Constraints: 93477
1545.75/1550.54 c #Conflicts: 544000 | #Constraints: 94477
1545.75/1550.54 c #Conflicts: 545000 | #Constraints: 95477
1545.75/1550.54 c #Conflicts: 546000 | #Constraints: 96477
1545.75/1550.54 c INPROCESSING
1545.75/1550.54 c GARBAGE COLLECT
1545.75/1550.54 c #Conflicts: 547000 | #Constraints: 82867
1545.75/1550.54 c #Conflicts: 548000 | #Constraints: 83867
1545.75/1550.54 c #Conflicts: 549000 | #Constraints: 84867
1545.75/1550.54 c #Conflicts: 550000 | #Constraints: 85867
1545.75/1550.54 c #Conflicts: 551000 | #Constraints: 86867
1545.75/1550.54 c #Conflicts: 552000 | #Constraints: 87867
1545.75/1550.54 c #Conflicts: 553000 | #Constraints: 88867
1545.75/1550.54 c #Conflicts: 554000 | #Constraints: 89867
1545.75/1550.54 c #Conflicts: 555000 | #Constraints: 90867
1545.75/1550.54 c #Conflicts: 556000 | #Constraints: 91867
1545.75/1550.54 c #Conflicts: 557000 | #Constraints: 92867
1545.75/1550.54 c #Conflicts: 558000 | #Constraints: 93867
1545.75/1550.54 c #Conflicts: 559000 | #Constraints: 94867
1545.75/1550.54 c #Conflicts: 560000 | #Constraints: 95867
1545.75/1550.54 c #Conflicts: 561000 | #Constraints: 96867
1545.75/1550.54 c INPROCESSING
1545.75/1550.54 c GARBAGE COLLECT
1545.75/1550.54 c #Conflicts: 562000 | #Constraints: 83063
1545.75/1550.54 c #Conflicts: 563000 | #Constraints: 84063
1545.75/1550.54 c #Conflicts: 564000 | #Constraints: 85063
1545.75/1550.54 c #Conflicts: 565000 | #Constraints: 86063
1545.75/1550.54 c #Conflicts: 566000 | #Constraints: 87063
1545.75/1550.54 c #Conflicts: 567000 | #Constraints: 88063
1545.75/1550.54 c #Conflicts: 568000 | #Constraints: 89063
1545.75/1550.54 c #Conflicts: 569000 | #Constraints: 90063
1545.75/1550.54 c #Conflicts: 570000 | #Constraints: 91063
1545.75/1550.54 c #Conflicts: 571000 | #Constraints: 92063
1545.75/1550.54 c #Conflicts: 572000 | #Constraints: 93063
1545.75/1550.54 c #Conflicts: 573000 | #Constraints: 94063
1545.75/1550.54 c #Conflicts: 574000 | #Constraints: 95063
1545.75/1550.54 c #Conflicts: 575000 | #Constraints: 96063
1545.75/1550.54 c #Conflicts: 576000 | #Constraints: 97063
1545.75/1550.54 c INPROCESSING
1545.75/1550.54 c GARBAGE COLLECT
1545.75/1550.54 c #Conflicts: 577000 | #Constraints: 83070
1545.75/1550.54 c #Conflicts: 578000 | #Constraints: 84070
1545.75/1550.54 c #Conflicts: 579000 | #Constraints: 85070
1545.75/1550.54 c #Conflicts: 580000 | #Constraints: 86070
1545.75/1550.54 c #Conflicts: 581000 | #Constraints: 87070
1545.75/1550.54 c #Conflicts: 582000 | #Constraints: 88070
1545.75/1550.54 c #Conflicts: 583000 | #Constraints: 89070
1545.75/1550.54 c #Conflicts: 584000 | #Constraints: 90070
1545.75/1550.54 c #Conflicts: 585000 | #Constraints: 91070
1545.75/1550.54 c #Conflicts: 586000 | #Constraints: 92070
1545.75/1550.54 c #Conflicts: 587000 | #Constraints: 93070
1545.75/1550.54 c #Conflicts: 588000 | #Constraints: 94070
1545.75/1550.54 c #Conflicts: 589000 | #Constraints: 95070
1545.75/1550.54 c #Conflicts: 590000 | #Constraints: 96070
1545.75/1550.54 c #Conflicts: 591000 | #Constraints: 97070
1545.75/1550.54 c INPROCESSING
1545.75/1550.54 c GARBAGE COLLECT
1545.75/1550.54 c #Conflicts: 592000 | #Constraints: 82867
1545.75/1550.54 c #Conflicts: 593000 | #Constraints: 83867
1775.99/1781.40 c #Conflicts: 594000 | #Constraints: 84867
1775.99/1781.40 c #Conflicts: 595000 | #Constraints: 85867
1775.99/1781.40 c #Conflicts: 596000 | #Constraints: 86867
1775.99/1781.40 c #Conflicts: 597000 | #Constraints: 87867
1775.99/1781.40 c #Conflicts: 598000 | #Constraints: 88867
1775.99/1781.40 c #Conflicts: 599000 | #Constraints: 89867
1775.99/1781.40 c #Conflicts: 600000 | #Constraints: 90867
1775.99/1781.40 c #Conflicts: 601000 | #Constraints: 91867
1775.99/1781.40 c #Conflicts: 602000 | #Constraints: 92867
1775.99/1781.40 c #Conflicts: 603000 | #Constraints: 93867
1775.99/1781.40 c #Conflicts: 604000 | #Constraints: 94867
1775.99/1781.40 c #Conflicts: 605000 | #Constraints: 95867
1775.99/1781.40 c #Conflicts: 606000 | #Constraints: 96867
1775.99/1781.40 c #Conflicts: 607000 | #Constraints: 97867
1775.99/1781.40 c INPROCESSING
1775.99/1781.40 c GARBAGE COLLECT
1775.99/1781.40 c #Conflicts: 608000 | #Constraints: 83471
1775.99/1781.40 c #Conflicts: 609000 | #Constraints: 84471
1775.99/1781.40 c #Conflicts: 610000 | #Constraints: 85471
1775.99/1781.40 c #Conflicts: 611000 | #Constraints: 86471
1775.99/1781.40 c #Conflicts: 612000 | #Constraints: 87471
1775.99/1781.40 c #Conflicts: 613000 | #Constraints: 88471
1775.99/1781.40 c #Conflicts: 614000 | #Constraints: 89471
1775.99/1781.40 c #Conflicts: 615000 | #Constraints: 90471
1775.99/1781.40 c #Conflicts: 616000 | #Constraints: 91471
1775.99/1781.40 c #Conflicts: 617000 | #Constraints: 92471
1775.99/1781.40 c #Conflicts: 618000 | #Constraints: 93471
1775.99/1781.40 c #Conflicts: 619000 | #Constraints: 94471
1775.99/1781.40 c #Conflicts: 620000 | #Constraints: 95471
1775.99/1781.40 c #Conflicts: 621000 | #Constraints: 96471
1775.99/1781.40 c #Conflicts: 622000 | #Constraints: 97471
1775.99/1781.40 c #Conflicts: 623000 | #Constraints: 98471
1775.99/1781.40 c INPROCESSING
1775.99/1781.40 c GARBAGE COLLECT
1775.99/1781.40 c #Conflicts: 624000 | #Constraints: 83874
1775.99/1781.40 c #Conflicts: 625000 | #Constraints: 84874
1775.99/1781.40 c #Conflicts: 626000 | #Constraints: 85874
1775.99/1781.40 c #Conflicts: 627000 | #Constraints: 86874
1775.99/1781.40 c #Conflicts: 628000 | #Constraints: 87874
1775.99/1781.40 c #Conflicts: 629000 | #Constraints: 88874
1775.99/1781.40 c #Conflicts: 630000 | #Constraints: 89874
1775.99/1781.40 c #Conflicts: 631000 | #Constraints: 90874
1775.99/1781.40 c #Conflicts: 632000 | #Constraints: 91874
1775.99/1781.40 c #Conflicts: 633000 | #Constraints: 92874
1775.99/1781.40 c #Conflicts: 634000 | #Constraints: 93874
1775.99/1781.40 c #Conflicts: 635000 | #Constraints: 94874
1775.99/1781.40 c #Conflicts: 636000 | #Constraints: 95874
1775.99/1781.40 c #Conflicts: 637000 | #Constraints: 96874
1775.99/1781.40 c #Conflicts: 638000 | #Constraints: 97874
1775.99/1781.40 c #Conflicts: 639000 | #Constraints: 98874
1775.99/1781.40 c INPROCESSING
1775.99/1781.40 c GARBAGE COLLECT
1775.99/1781.40 c #Conflicts: 640000 | #Constraints: 84070
1775.99/1781.40 c #Conflicts: 641000 | #Constraints: 85070
1775.99/1781.40 c #Conflicts: 642000 | #Constraints: 86070
1775.99/1781.40 c #Conflicts: 643000 | #Constraints: 87070
1775.99/1781.40 c #Conflicts: 644000 | #Constraints: 88070
1775.99/1781.40 c #Conflicts: 645000 | #Constraints: 89070
1775.99/1781.40 c #Conflicts: 646000 | #Constraints: 90070
1775.99/1781.40 c #Conflicts: 647000 | #Constraints: 91070
1775.99/1781.40 c #Conflicts: 648000 | #Constraints: 92070
1775.99/1781.40 c #Conflicts: 649000 | #Constraints: 93070
1775.99/1781.40 c #Conflicts: 650000 | #Constraints: 94070
1775.99/1781.40 c #Conflicts: 651000 | #Constraints: 95070
1775.99/1781.40 c #Conflicts: 652000 | #Constraints: 96070
1775.99/1781.40 c #Conflicts: 653000 | #Constraints: 97070
1775.99/1781.40 c #Conflicts: 654000 | #Constraints: 98070
1775.99/1781.40 c #Conflicts: 655000 | #Constraints: 99070
1775.99/1781.40 c INPROCESSING
1775.99/1781.40 c GARBAGE COLLECT
1775.99/1781.40 c #Conflicts: 656000 | #Constraints: 84069
1775.99/1781.40 c #Conflicts: 657000 | #Constraints: 85069
1775.99/1781.40 c #Conflicts: 658000 | #Constraints: 86069
1775.99/1781.40 c #Conflicts: 659000 | #Constraints: 87069
1775.99/1781.40 c #Conflicts: 660000 | #Constraints: 88069
1775.99/1781.40 c #Conflicts: 661000 | #Constraints: 89069
1775.99/1781.40 c #Conflicts: 662000 | #Constraints: 90069
1775.99/1781.40 c #Conflicts: 663000 | #Constraints: 91069
1775.99/1781.40 c #Conflicts: 664000 | #Constraints: 92069
1775.99/1781.40 c #Conflicts: 665000 | #Constraints: 93069
1775.99/1781.40 c #Conflicts: 666000 | #Constraints: 94069
1775.99/1781.40 c #Conflicts: 667000 | #Constraints: 95069
1775.99/1781.40 c #Conflicts: 668000 | #Constraints: 96069
1775.99/1781.40 c #Conflicts: 669000 | #Constraints: 97069
2005.96/2012.10 c #Conflicts: 670000 | #Constraints: 98069
2005.96/2012.10 c #Conflicts: 671000 | #Constraints: 99069
2005.96/2012.10 c INPROCESSING
2005.96/2012.10 c GARBAGE COLLECT
2005.96/2012.10 c #Conflicts: 672000 | #Constraints: 83865
2005.96/2012.10 c #Conflicts: 673000 | #Constraints: 84865
2005.96/2012.10 c #Conflicts: 674000 | #Constraints: 85865
2005.96/2012.10 c #Conflicts: 675000 | #Constraints: 86865
2005.96/2012.10 c #Conflicts: 676000 | #Constraints: 87865
2005.96/2012.10 c #Conflicts: 677000 | #Constraints: 88865
2005.96/2012.10 c #Conflicts: 678000 | #Constraints: 89865
2005.96/2012.10 c #Conflicts: 679000 | #Constraints: 90865
2005.96/2012.10 c #Conflicts: 680000 | #Constraints: 91865
2005.96/2012.10 c #Conflicts: 681000 | #Constraints: 92865
2005.96/2012.10 c #Conflicts: 682000 | #Constraints: 93865
2005.96/2012.10 c #Conflicts: 683000 | #Constraints: 94865
2005.96/2012.10 c #Conflicts: 684000 | #Constraints: 95865
2005.96/2012.10 c #Conflicts: 685000 | #Constraints: 96865
2005.96/2012.10 c #Conflicts: 686000 | #Constraints: 97865
2005.96/2012.10 c #Conflicts: 687000 | #Constraints: 98865
2005.96/2012.10 c #Conflicts: 688000 | #Constraints: 99865
2005.96/2012.10 c INPROCESSING
2005.96/2012.10 c GARBAGE COLLECT
2005.96/2012.10 c #Conflicts: 689000 | #Constraints: 84461
2005.96/2012.10 c #Conflicts: 690000 | #Constraints: 85461
2005.96/2012.10 c #Conflicts: 691000 | #Constraints: 86461
2005.96/2012.10 c #Conflicts: 692000 | #Constraints: 87461
2005.96/2012.10 c #Conflicts: 693000 | #Constraints: 88461
2005.96/2012.10 c #Conflicts: 694000 | #Constraints: 89461
2005.96/2012.10 c #Conflicts: 695000 | #Constraints: 90461
2005.96/2012.10 c #Conflicts: 696000 | #Constraints: 91461
2005.96/2012.10 c #Conflicts: 697000 | #Constraints: 92461
2005.96/2012.10 c #Conflicts: 698000 | #Constraints: 93461
2005.96/2012.10 c #Conflicts: 699000 | #Constraints: 94461
2005.96/2012.10 c #Conflicts: 700000 | #Constraints: 95461
2005.96/2012.10 c #Conflicts: 701000 | #Constraints: 96461
2005.96/2012.10 c #Conflicts: 702000 | #Constraints: 97461
2005.96/2012.10 c #Conflicts: 703000 | #Constraints: 98461
2005.96/2012.10 c #Conflicts: 704000 | #Constraints: 99461
2005.96/2012.10 c #Conflicts: 705000 | #Constraints: 100461
2005.96/2012.10 c INPROCESSING
2005.96/2012.10 c GARBAGE COLLECT
2005.96/2012.10 c #Conflicts: 706000 | #Constraints: 84862
2005.96/2012.10 c #Conflicts: 707000 | #Constraints: 85862
2005.96/2012.10 c #Conflicts: 708000 | #Constraints: 86862
2005.96/2012.10 c #Conflicts: 709000 | #Constraints: 87862
2005.96/2012.10 c #Conflicts: 710000 | #Constraints: 88862
2005.96/2012.10 c #Conflicts: 711000 | #Constraints: 89862
2005.96/2012.10 c #Conflicts: 712000 | #Constraints: 90862
2005.96/2012.10 c #Conflicts: 713000 | #Constraints: 91862
2005.96/2012.10 c #Conflicts: 714000 | #Constraints: 92862
2005.96/2012.10 c #Conflicts: 715000 | #Constraints: 93862
2005.96/2012.10 c #Conflicts: 716000 | #Constraints: 94862
2005.96/2012.10 c #Conflicts: 717000 | #Constraints: 95862
2005.96/2012.10 c #Conflicts: 718000 | #Constraints: 96862
2005.96/2012.10 c #Conflicts: 719000 | #Constraints: 97862
2005.96/2012.10 c #Conflicts: 720000 | #Constraints: 98862
2005.96/2012.10 c #Conflicts: 721000 | #Constraints: 99862
2005.96/2012.10 c #Conflicts: 722000 | #Constraints: 100862
2005.96/2012.10 c INPROCESSING
2005.96/2012.10 c GARBAGE COLLECT
2005.96/2012.10 c #Conflicts: 723000 | #Constraints: 85063
2005.96/2012.10 c #Conflicts: 724000 | #Constraints: 86063
2005.96/2012.10 c #Conflicts: 725000 | #Constraints: 87063
2005.96/2012.10 c #Conflicts: 726000 | #Constraints: 88063
2005.96/2012.10 c #Conflicts: 727000 | #Constraints: 89063
2005.96/2012.10 c #Conflicts: 728000 | #Constraints: 90063
2005.96/2012.10 c #Conflicts: 729000 | #Constraints: 91063
2005.96/2012.10 c #Conflicts: 730000 | #Constraints: 92063
2005.96/2012.10 c #Conflicts: 731000 | #Constraints: 93063
2005.96/2012.10 c #Conflicts: 732000 | #Constraints: 94063
2005.96/2012.10 c #Conflicts: 733000 | #Constraints: 95063
2005.96/2012.10 c #Conflicts: 734000 | #Constraints: 96063
2005.96/2012.10 c #Conflicts: 735000 | #Constraints: 97063
2005.96/2012.10 c #Conflicts: 736000 | #Constraints: 98063
2005.96/2012.10 c #Conflicts: 737000 | #Constraints: 99063
2005.96/2012.10 c #Conflicts: 738000 | #Constraints: 100063
2005.96/2012.10 c #Conflicts: 739000 | #Constraints: 101063
2005.96/2012.10 c INPROCESSING
2005.96/2012.10 c GARBAGE COLLECT
2005.96/2012.10 c #Conflicts: 740000 | #Constraints: 85063
2005.96/2012.10 c #Conflicts: 741000 | #Constraints: 86063
2005.96/2012.10 c #Conflicts: 742000 | #Constraints: 87063
2005.96/2012.10 c #Conflicts: 743000 | #Constraints: 88063
2005.96/2012.10 c #Conflicts: 744000 | #Constraints: 89063
2005.96/2012.10 c #Conflicts: 745000 | #Constraints: 90063
2257.13/2263.90 c #Conflicts: 746000 | #Constraints: 91063
2257.13/2263.90 c #Conflicts: 747000 | #Constraints: 92063
2257.13/2263.90 c #Conflicts: 748000 | #Constraints: 93063
2257.13/2263.90 c #Conflicts: 749000 | #Constraints: 94063
2257.13/2263.90 c #Conflicts: 750000 | #Constraints: 95063
2257.13/2263.90 c #Conflicts: 751000 | #Constraints: 96063
2257.13/2263.90 c #Conflicts: 752000 | #Constraints: 97063
2257.13/2263.90 c #Conflicts: 753000 | #Constraints: 98063
2257.13/2263.90 c #Conflicts: 754000 | #Constraints: 99063
2257.13/2263.90 c #Conflicts: 755000 | #Constraints: 100063
2257.13/2263.90 c #Conflicts: 756000 | #Constraints: 101063
2257.13/2263.90 c INPROCESSING
2257.13/2263.90 c GARBAGE COLLECT
2257.13/2263.90 c #Conflicts: 757000 | #Constraints: 84861
2257.13/2263.90 c #Conflicts: 758000 | #Constraints: 85861
2257.13/2263.90 c #Conflicts: 759000 | #Constraints: 86861
2257.13/2263.90 c #Conflicts: 760000 | #Constraints: 87861
2257.13/2263.90 c #Conflicts: 761000 | #Constraints: 88861
2257.13/2263.90 c #Conflicts: 762000 | #Constraints: 89861
2257.13/2263.90 c #Conflicts: 763000 | #Constraints: 90861
2257.13/2263.90 c #Conflicts: 764000 | #Constraints: 91861
2257.13/2263.90 c #Conflicts: 765000 | #Constraints: 92861
2257.13/2263.90 c #Conflicts: 766000 | #Constraints: 93861
2257.13/2263.90 c #Conflicts: 767000 | #Constraints: 94861
2257.13/2263.90 c #Conflicts: 768000 | #Constraints: 95861
2257.13/2263.90 c #Conflicts: 769000 | #Constraints: 96861
2257.13/2263.90 c #Conflicts: 770000 | #Constraints: 97861
2257.13/2263.90 c #Conflicts: 771000 | #Constraints: 98861
2257.13/2263.90 c #Conflicts: 772000 | #Constraints: 99861
2257.13/2263.90 c #Conflicts: 773000 | #Constraints: 100861
2257.13/2263.90 c #Conflicts: 774000 | #Constraints: 101861
2257.13/2263.90 c INPROCESSING
2257.13/2263.90 c GARBAGE COLLECT
2257.13/2263.90 c #Conflicts: 775000 | #Constraints: 85467
2257.13/2263.90 c #Conflicts: 776000 | #Constraints: 86467
2257.13/2263.90 c #Conflicts: 777000 | #Constraints: 87467
2257.13/2263.90 c #Conflicts: 778000 | #Constraints: 88467
2257.13/2263.90 c #Conflicts: 779000 | #Constraints: 89467
2257.13/2263.90 c #Conflicts: 780000 | #Constraints: 90467
2257.13/2263.90 c #Conflicts: 781000 | #Constraints: 91467
2257.13/2263.90 c #Conflicts: 782000 | #Constraints: 92467
2257.13/2263.90 c #Conflicts: 783000 | #Constraints: 93467
2257.13/2263.90 c #Conflicts: 784000 | #Constraints: 94467
2257.13/2263.90 c #Conflicts: 785000 | #Constraints: 95467
2257.13/2263.90 c #Conflicts: 786000 | #Constraints: 96467
2257.13/2263.90 c #Conflicts: 787000 | #Constraints: 97467
2257.13/2263.90 c #Conflicts: 788000 | #Constraints: 98467
2257.13/2263.90 c #Conflicts: 789000 | #Constraints: 99467
2257.13/2263.90 c #Conflicts: 790000 | #Constraints: 100467
2257.13/2263.90 c #Conflicts: 791000 | #Constraints: 101467
2257.13/2263.90 c #Conflicts: 792000 | #Constraints: 102467
2257.13/2263.90 c INPROCESSING
2257.13/2263.90 c GARBAGE COLLECT
2257.13/2263.90 c #Conflicts: 793000 | #Constraints: 85875
2257.13/2263.90 c #Conflicts: 794000 | #Constraints: 86875
2257.13/2263.90 c #Conflicts: 795000 | #Constraints: 87875
2257.13/2263.90 c #Conflicts: 796000 | #Constraints: 88875
2257.13/2263.90 c #Conflicts: 797000 | #Constraints: 89875
2257.13/2263.90 c #Conflicts: 798000 | #Constraints: 90875
2257.13/2263.90 c #Conflicts: 799000 | #Constraints: 91875
2257.13/2263.90 c #Conflicts: 800000 | #Constraints: 92875
2257.13/2263.90 c #Conflicts: 801000 | #Constraints: 93875
2257.13/2263.90 c #Conflicts: 802000 | #Constraints: 94875
2257.13/2263.90 c #Conflicts: 803000 | #Constraints: 95875
2257.13/2263.90 c #Conflicts: 804000 | #Constraints: 96875
2257.13/2263.90 c #Conflicts: 805000 | #Constraints: 97875
2257.13/2263.90 c #Conflicts: 806000 | #Constraints: 98875
2257.13/2263.90 c #Conflicts: 807000 | #Constraints: 99875
2257.13/2263.90 c #Conflicts: 808000 | #Constraints: 100875
2257.13/2263.90 c #Conflicts: 809000 | #Constraints: 101875
2257.13/2263.90 c #Conflicts: 810000 | #Constraints: 102875
2257.13/2263.90 c INPROCESSING
2257.13/2263.90 c GARBAGE COLLECT
2257.13/2263.90 c #Conflicts: 811000 | #Constraints: 86074
2257.13/2263.90 c #Conflicts: 812000 | #Constraints: 87074
2257.13/2263.90 c #Conflicts: 813000 | #Constraints: 88074
2257.13/2263.90 c #Conflicts: 814000 | #Constraints: 89074
2257.13/2263.90 c #Conflicts: 815000 | #Constraints: 90074
2257.13/2263.90 c #Conflicts: 816000 | #Constraints: 91074
2257.13/2263.90 c #Conflicts: 817000 | #Constraints: 92074
2257.13/2263.90 c #Conflicts: 818000 | #Constraints: 93074
2257.13/2263.90 c #Conflicts: 819000 | #Constraints: 94074
2257.13/2263.90 c #Conflicts: 820000 | #Constraints: 95074
2257.13/2263.90 c #Conflicts: 821000 | #Constraints: 96074
2505.53/2513.08 c #Conflicts: 822000 | #Constraints: 97074
2505.53/2513.08 c #Conflicts: 823000 | #Constraints: 98074
2505.53/2513.08 c #Conflicts: 824000 | #Constraints: 99074
2505.53/2513.08 c #Conflicts: 825000 | #Constraints: 100074
2505.53/2513.08 c #Conflicts: 826000 | #Constraints: 101074
2505.53/2513.08 c #Conflicts: 827000 | #Constraints: 102074
2505.53/2513.08 c #Conflicts: 828000 | #Constraints: 103074
2505.53/2513.08 c INPROCESSING
2505.53/2513.08 c GARBAGE COLLECT
2505.53/2513.08 c #Conflicts: 829000 | #Constraints: 86074
2505.53/2513.08 c #Conflicts: 830000 | #Constraints: 87074
2505.53/2513.08 c #Conflicts: 831000 | #Constraints: 88074
2505.53/2513.08 c #Conflicts: 832000 | #Constraints: 89074
2505.53/2513.08 c #Conflicts: 833000 | #Constraints: 90074
2505.53/2513.08 c #Conflicts: 834000 | #Constraints: 91074
2505.53/2513.08 c #Conflicts: 835000 | #Constraints: 92074
2505.53/2513.08 c #Conflicts: 836000 | #Constraints: 93074
2505.53/2513.08 c #Conflicts: 837000 | #Constraints: 94074
2505.53/2513.08 c #Conflicts: 838000 | #Constraints: 95074
2505.53/2513.08 c #Conflicts: 839000 | #Constraints: 96074
2505.53/2513.08 c #Conflicts: 840000 | #Constraints: 97074
2505.53/2513.08 c #Conflicts: 841000 | #Constraints: 98074
2505.53/2513.08 c #Conflicts: 842000 | #Constraints: 99074
2505.53/2513.08 c #Conflicts: 843000 | #Constraints: 100074
2505.53/2513.08 c #Conflicts: 844000 | #Constraints: 101074
2505.53/2513.08 c #Conflicts: 845000 | #Constraints: 102074
2505.53/2513.08 c #Conflicts: 846000 | #Constraints: 103074
2505.53/2513.08 c INPROCESSING
2505.53/2513.08 c GARBAGE COLLECT
2505.53/2513.08 c #Conflicts: 847000 | #Constraints: 85862
2505.53/2513.08 c #Conflicts: 848000 | #Constraints: 86862
2505.53/2513.08 c #Conflicts: 849000 | #Constraints: 87862
2505.53/2513.08 c #Conflicts: 850000 | #Constraints: 88862
2505.53/2513.08 c #Conflicts: 851000 | #Constraints: 89862
2505.53/2513.08 c #Conflicts: 852000 | #Constraints: 90862
2505.53/2513.08 c #Conflicts: 853000 | #Constraints: 91862
2505.53/2513.08 c #Conflicts: 854000 | #Constraints: 92862
2505.53/2513.08 c #Conflicts: 855000 | #Constraints: 93862
2505.53/2513.08 c #Conflicts: 856000 | #Constraints: 94862
2505.53/2513.08 c #Conflicts: 857000 | #Constraints: 95862
2505.53/2513.08 c #Conflicts: 858000 | #Constraints: 96862
2505.53/2513.08 c #Conflicts: 859000 | #Constraints: 97862
2505.53/2513.08 c #Conflicts: 860000 | #Constraints: 98862
2505.53/2513.08 c #Conflicts: 861000 | #Constraints: 99862
2505.53/2513.08 c #Conflicts: 862000 | #Constraints: 100862
2505.53/2513.08 c #Conflicts: 863000 | #Constraints: 101862
2505.53/2513.08 c #Conflicts: 864000 | #Constraints: 102862
2505.53/2513.08 c #Conflicts: 865000 | #Constraints: 103862
2505.53/2513.08 c INPROCESSING
2505.53/2513.08 c GARBAGE COLLECT
2505.53/2513.08 c #Conflicts: 866000 | #Constraints: 86466
2505.53/2513.08 c #Conflicts: 867000 | #Constraints: 87466
2505.53/2513.08 c #Conflicts: 868000 | #Constraints: 88466
2505.53/2513.08 c #Conflicts: 869000 | #Constraints: 89466
2505.53/2513.08 c #Conflicts: 870000 | #Constraints: 90466
2505.53/2513.08 c #Conflicts: 871000 | #Constraints: 91466
2505.53/2513.08 c #Conflicts: 872000 | #Constraints: 92466
2505.53/2513.08 c #Conflicts: 873000 | #Constraints: 93466
2505.53/2513.08 c #Conflicts: 874000 | #Constraints: 94466
2505.53/2513.08 c #Conflicts: 875000 | #Constraints: 95466
2505.53/2513.08 c #Conflicts: 876000 | #Constraints: 96466
2505.53/2513.08 c #Conflicts: 877000 | #Constraints: 97466
2505.53/2513.08 c #Conflicts: 878000 | #Constraints: 98466
2505.53/2513.08 c #Conflicts: 879000 | #Constraints: 99466
2505.53/2513.08 c #Conflicts: 880000 | #Constraints: 100466
2505.53/2513.08 c #Conflicts: 881000 | #Constraints: 101466
2505.53/2513.08 c #Conflicts: 882000 | #Constraints: 102466
2505.53/2513.08 c #Conflicts: 883000 | #Constraints: 103466
2505.53/2513.08 c #Conflicts: 884000 | #Constraints: 104466
2505.53/2513.08 c INPROCESSING
2505.53/2513.08 c GARBAGE COLLECT
2505.53/2513.08 c #Conflicts: 885000 | #Constraints: 86867
2505.53/2513.08 c #Conflicts: 886000 | #Constraints: 87867
2505.53/2513.08 c #Conflicts: 887000 | #Constraints: 88867
2505.53/2513.08 c #Conflicts: 888000 | #Constraints: 89867
2505.53/2513.08 c #Conflicts: 889000 | #Constraints: 90867
2505.53/2513.08 c #Conflicts: 890000 | #Constraints: 91867
2505.53/2513.08 c #Conflicts: 891000 | #Constraints: 92867
2505.53/2513.08 c #Conflicts: 892000 | #Constraints: 93867
2505.53/2513.08 c #Conflicts: 893000 | #Constraints: 94867
2505.53/2513.08 c #Conflicts: 894000 | #Constraints: 95867
2505.53/2513.08 c #Conflicts: 895000 | #Constraints: 96867
2505.53/2513.08 c #Conflicts: 896000 | #Constraints: 97867
2505.53/2513.08 c #Conflicts: 897000 | #Constraints: 98867
2760.99/2769.27 c #Conflicts: 898000 | #Constraints: 99867
2760.99/2769.27 c #Conflicts: 899000 | #Constraints: 100867
2760.99/2769.27 c #Conflicts: 900000 | #Constraints: 101867
2760.99/2769.27 c #Conflicts: 901000 | #Constraints: 102867
2760.99/2769.27 c #Conflicts: 902000 | #Constraints: 103867
2760.99/2769.27 c #Conflicts: 903000 | #Constraints: 104867
2760.99/2769.27 c INPROCESSING
2760.99/2769.27 c GARBAGE COLLECT
2760.99/2769.27 c #Conflicts: 904000 | #Constraints: 87065
2760.99/2769.27 c #Conflicts: 905000 | #Constraints: 88065
2760.99/2769.27 c #Conflicts: 906000 | #Constraints: 89065
2760.99/2769.27 c #Conflicts: 907000 | #Constraints: 90065
2760.99/2769.27 c #Conflicts: 908000 | #Constraints: 91065
2760.99/2769.27 c #Conflicts: 909000 | #Constraints: 92065
2760.99/2769.27 c #Conflicts: 910000 | #Constraints: 93065
2760.99/2769.27 c #Conflicts: 911000 | #Constraints: 94065
2760.99/2769.27 c #Conflicts: 912000 | #Constraints: 95065
2760.99/2769.27 c #Conflicts: 913000 | #Constraints: 96065
2760.99/2769.27 c #Conflicts: 914000 | #Constraints: 97065
2760.99/2769.27 c #Conflicts: 915000 | #Constraints: 98065
2760.99/2769.27 c #Conflicts: 916000 | #Constraints: 99065
2760.99/2769.27 c #Conflicts: 917000 | #Constraints: 100065
2760.99/2769.27 c #Conflicts: 918000 | #Constraints: 101065
2760.99/2769.27 c #Conflicts: 919000 | #Constraints: 102065
2760.99/2769.27 c #Conflicts: 920000 | #Constraints: 103065
2760.99/2769.27 c #Conflicts: 921000 | #Constraints: 104065
2760.99/2769.27 c #Conflicts: 922000 | #Constraints: 105065
2760.99/2769.27 c INPROCESSING
2760.99/2769.27 c GARBAGE COLLECT
2760.99/2769.27 c #Conflicts: 923000 | #Constraints: 87062
2760.99/2769.27 c #Conflicts: 924000 | #Constraints: 88062
2760.99/2769.27 c #Conflicts: 925000 | #Constraints: 89062
2760.99/2769.27 c #Conflicts: 926000 | #Constraints: 90062
2760.99/2769.27 c #Conflicts: 927000 | #Constraints: 91062
2760.99/2769.27 c #Conflicts: 928000 | #Constraints: 92062
2760.99/2769.27 c #Conflicts: 929000 | #Constraints: 93062
2760.99/2769.27 c #Conflicts: 930000 | #Constraints: 94062
2760.99/2769.27 c #Conflicts: 931000 | #Constraints: 95062
2760.99/2769.27 c #Conflicts: 932000 | #Constraints: 96062
2760.99/2769.27 c #Conflicts: 933000 | #Constraints: 97062
2760.99/2769.27 c #Conflicts: 934000 | #Constraints: 98062
2760.99/2769.27 c #Conflicts: 935000 | #Constraints: 99062
2760.99/2769.27 c #Conflicts: 936000 | #Constraints: 100062
2760.99/2769.27 c #Conflicts: 937000 | #Constraints: 101062
2760.99/2769.27 c #Conflicts: 938000 | #Constraints: 102062
2760.99/2769.27 c #Conflicts: 939000 | #Constraints: 103062
2760.99/2769.27 c #Conflicts: 940000 | #Constraints: 104062
2760.99/2769.27 c #Conflicts: 941000 | #Constraints: 105062
2760.99/2769.27 c INPROCESSING
2760.99/2769.27 c GARBAGE COLLECT
2760.99/2769.27 c #Conflicts: 942000 | #Constraints: 86867
2760.99/2769.27 c #Conflicts: 943000 | #Constraints: 87867
2760.99/2769.27 c #Conflicts: 944000 | #Constraints: 88867
2760.99/2769.27 c #Conflicts: 945000 | #Constraints: 89867
2760.99/2769.27 c #Conflicts: 946000 | #Constraints: 90867
2760.99/2769.27 c #Conflicts: 947000 | #Constraints: 91867
2760.99/2769.27 c #Conflicts: 948000 | #Constraints: 92867
2760.99/2769.27 c #Conflicts: 949000 | #Constraints: 93867
2760.99/2769.27 c #Conflicts: 950000 | #Constraints: 94867
2760.99/2769.27 c #Conflicts: 951000 | #Constraints: 95867
2760.99/2769.27 c #Conflicts: 952000 | #Constraints: 96867
2760.99/2769.27 c #Conflicts: 953000 | #Constraints: 97867
2760.99/2769.27 c #Conflicts: 954000 | #Constraints: 98867
2760.99/2769.27 c #Conflicts: 955000 | #Constraints: 99867
2760.99/2769.27 c #Conflicts: 956000 | #Constraints: 100867
2760.99/2769.27 c #Conflicts: 957000 | #Constraints: 101867
2760.99/2769.27 c #Conflicts: 958000 | #Constraints: 102867
2760.99/2769.27 c #Conflicts: 959000 | #Constraints: 103867
2760.99/2769.27 c #Conflicts: 960000 | #Constraints: 104867
2760.99/2769.27 c #Conflicts: 961000 | #Constraints: 105867
2760.99/2769.27 c INPROCESSING
2760.99/2769.27 c GARBAGE COLLECT
2760.99/2769.27 c #Conflicts: 962000 | #Constraints: 87469
2760.99/2769.27 c #Conflicts: 963000 | #Constraints: 88469
2760.99/2769.27 c #Conflicts: 964000 | #Constraints: 89469
2760.99/2769.27 c #Conflicts: 965000 | #Constraints: 90469
2760.99/2769.27 c #Conflicts: 966000 | #Constraints: 91469
2760.99/2769.27 c #Conflicts: 967000 | #Constraints: 92469
2760.99/2769.27 c #Conflicts: 968000 | #Constraints: 93469
2760.99/2769.27 c #Conflicts: 969000 | #Constraints: 94469
2760.99/2769.27 c #Conflicts: 970000 | #Constraints: 95469
2760.99/2769.27 c #Conflicts: 971000 | #Constraints: 96469
2760.99/2769.27 c #Conflicts: 972000 | #Constraints: 97469
2760.99/2769.27 c #Conflicts: 973000 | #Constraints: 98469
3027.93/3036.94 c #Conflicts: 974000 | #Constraints: 99469
3027.93/3036.94 c #Conflicts: 975000 | #Constraints: 100469
3027.93/3036.94 c #Conflicts: 976000 | #Constraints: 101469
3027.93/3036.94 c #Conflicts: 977000 | #Constraints: 102469
3027.93/3036.94 c #Conflicts: 978000 | #Constraints: 103469
3027.93/3036.94 c #Conflicts: 979000 | #Constraints: 104469
3027.93/3036.94 c #Conflicts: 980000 | #Constraints: 105469
3027.93/3036.94 c #Conflicts: 981000 | #Constraints: 106469
3027.93/3036.94 c INPROCESSING
3027.93/3036.94 c GARBAGE COLLECT
3027.93/3036.94 c #Conflicts: 982000 | #Constraints: 87871
3027.93/3036.94 c #Conflicts: 983000 | #Constraints: 88871
3027.93/3036.94 c #Conflicts: 984000 | #Constraints: 89871
3027.93/3036.94 c #Conflicts: 985000 | #Constraints: 90871
3027.93/3036.94 c #Conflicts: 986000 | #Constraints: 91871
3027.93/3036.94 c #Conflicts: 987000 | #Constraints: 92871
3027.93/3036.94 c #Conflicts: 988000 | #Constraints: 93871
3027.93/3036.94 c #Conflicts: 989000 | #Constraints: 94871
3027.93/3036.94 c #Conflicts: 990000 | #Constraints: 95871
3027.93/3036.94 c #Conflicts: 991000 | #Constraints: 96871
3027.93/3036.94 c #Conflicts: 992000 | #Constraints: 97871
3027.93/3036.94 c #Conflicts: 993000 | #Constraints: 98871
3027.93/3036.94 c #Conflicts: 994000 | #Constraints: 99871
3027.93/3036.94 c #Conflicts: 995000 | #Constraints: 100871
3027.93/3036.94 c #Conflicts: 996000 | #Constraints: 101871
3027.93/3036.94 c #Conflicts: 997000 | #Constraints: 102871
3027.93/3036.94 c #Conflicts: 998000 | #Constraints: 103871
3027.93/3036.94 c #Conflicts: 999000 | #Constraints: 104871
3027.93/3036.94 c #Conflicts: 1000000 | #Constraints: 105871
3027.93/3036.94 c #Conflicts: 1001000 | #Constraints: 106871
3027.93/3036.94 c INPROCESSING
3027.93/3036.94 c GARBAGE COLLECT
3027.93/3036.94 c #Conflicts: 1002000 | #Constraints: 88068
3027.93/3036.94 c #Conflicts: 1003000 | #Constraints: 89068
3027.93/3036.94 c #Conflicts: 1004000 | #Constraints: 90068
3027.93/3036.94 c #Conflicts: 1005000 | #Constraints: 91068
3027.93/3036.94 c #Conflicts: 1006000 | #Constraints: 92068
3027.93/3036.94 c #Conflicts: 1007000 | #Constraints: 93068
3027.93/3036.94 c #Conflicts: 1008000 | #Constraints: 94068
3027.93/3036.94 c #Conflicts: 1009000 | #Constraints: 95068
3027.93/3036.94 c #Conflicts: 1010000 | #Constraints: 96068
3027.93/3036.94 c #Conflicts: 1011000 | #Constraints: 97068
3027.93/3036.94 c #Conflicts: 1012000 | #Constraints: 98068
3027.93/3036.94 c #Conflicts: 1013000 | #Constraints: 99068
3027.93/3036.94 c #Conflicts: 1014000 | #Constraints: 100068
3027.93/3036.94 c #Conflicts: 1015000 | #Constraints: 101068
3027.93/3036.94 c #Conflicts: 1016000 | #Constraints: 102068
3027.93/3036.94 c #Conflicts: 1017000 | #Constraints: 103068
3027.93/3036.94 c #Conflicts: 1018000 | #Constraints: 104068
3027.93/3036.94 c #Conflicts: 1019000 | #Constraints: 105068
3027.93/3036.94 c #Conflicts: 1020000 | #Constraints: 106068
3027.93/3036.94 c #Conflicts: 1021000 | #Constraints: 107068
3027.93/3036.94 c INPROCESSING
3027.93/3036.94 c GARBAGE COLLECT
3027.93/3036.94 c #Conflicts: 1022000 | #Constraints: 88066
3027.93/3036.94 c #Conflicts: 1023000 | #Constraints: 89066
3027.93/3036.94 c #Conflicts: 1024000 | #Constraints: 90066
3027.93/3036.94 c #Conflicts: 1025000 | #Constraints: 91066
3027.93/3036.94 c #Conflicts: 1026000 | #Constraints: 92066
3027.93/3036.94 c #Conflicts: 1027000 | #Constraints: 93066
3027.93/3036.94 c #Conflicts: 1028000 | #Constraints: 94066
3027.93/3036.94 c #Conflicts: 1029000 | #Constraints: 95066
3027.93/3036.94 c #Conflicts: 1030000 | #Constraints: 96066
3027.93/3036.94 c #Conflicts: 1031000 | #Constraints: 97066
3027.93/3036.94 c #Conflicts: 1032000 | #Constraints: 98066
3027.93/3036.94 c #Conflicts: 1033000 | #Constraints: 99066
3027.93/3036.94 c #Conflicts: 1034000 | #Constraints: 100066
3027.93/3036.94 c #Conflicts: 1035000 | #Constraints: 101066
3027.93/3036.94 c #Conflicts: 1036000 | #Constraints: 102066
3027.93/3036.94 c #Conflicts: 1037000 | #Constraints: 103066
3027.93/3036.94 c #Conflicts: 1038000 | #Constraints: 104066
3027.93/3036.94 c #Conflicts: 1039000 | #Constraints: 105066
3027.93/3036.94 c #Conflicts: 1040000 | #Constraints: 106066
3027.93/3036.94 c #Conflicts: 1041000 | #Constraints: 107066
3027.93/3036.94 c INPROCESSING
3027.93/3036.94 c GARBAGE COLLECT
3027.93/3036.94 c #Conflicts: 1042000 | #Constraints: 87869
3027.93/3036.94 c #Conflicts: 1043000 | #Constraints: 88869
3027.93/3036.94 c #Conflicts: 1044000 | #Constraints: 89869
3027.93/3036.94 c #Conflicts: 1045000 | #Constraints: 90869
3027.93/3036.94 c #Conflicts: 1046000 | #Constraints: 91869
3027.93/3036.94 c #Conflicts: 1047000 | #Constraints: 92869
3027.93/3036.94 c #Conflicts: 1048000 | #Constraints: 93869
3027.93/3036.94 c #Conflicts: 1049000 | #Constraints: 94869
3027.93/3036.94 c #Conflicts: 1050000 | #Constraints: 95869
3305.93/3315.70 c #Conflicts: 1051000 | #Constraints: 96869
3305.93/3315.70 c #Conflicts: 1052000 | #Constraints: 97869
3305.93/3315.70 c #Conflicts: 1053000 | #Constraints: 98869
3305.93/3315.70 c #Conflicts: 1054000 | #Constraints: 99869
3305.93/3315.70 c #Conflicts: 1055000 | #Constraints: 100869
3305.93/3315.70 c #Conflicts: 1056000 | #Constraints: 101869
3305.93/3315.70 c #Conflicts: 1057000 | #Constraints: 102869
3305.93/3315.70 c #Conflicts: 1058000 | #Constraints: 103869
3305.93/3315.70 c #Conflicts: 1059000 | #Constraints: 104869
3305.93/3315.70 c #Conflicts: 1060000 | #Constraints: 105869
3305.93/3315.70 c #Conflicts: 1061000 | #Constraints: 106869
3305.93/3315.70 c #Conflicts: 1062000 | #Constraints: 107869
3305.93/3315.70 c INPROCESSING
3305.93/3315.70 c GARBAGE COLLECT
3305.93/3315.70 c #Conflicts: 1063000 | #Constraints: 88471
3305.93/3315.70 c #Conflicts: 1064000 | #Constraints: 89471
3305.93/3315.70 c #Conflicts: 1065000 | #Constraints: 90471
3305.93/3315.70 c #Conflicts: 1066000 | #Constraints: 91471
3305.93/3315.70 c #Conflicts: 1067000 | #Constraints: 92471
3305.93/3315.70 c #Conflicts: 1068000 | #Constraints: 93471
3305.93/3315.70 c #Conflicts: 1069000 | #Constraints: 94471
3305.93/3315.70 c #Conflicts: 1070000 | #Constraints: 95471
3305.93/3315.70 c #Conflicts: 1071000 | #Constraints: 96471
3305.93/3315.70 c #Conflicts: 1072000 | #Constraints: 97471
3305.93/3315.70 c #Conflicts: 1073000 | #Constraints: 98471
3305.93/3315.70 c #Conflicts: 1074000 | #Constraints: 99471
3305.93/3315.70 c #Conflicts: 1075000 | #Constraints: 100471
3305.93/3315.70 c #Conflicts: 1076000 | #Constraints: 101471
3305.93/3315.70 c #Conflicts: 1077000 | #Constraints: 102471
3305.93/3315.70 c #Conflicts: 1078000 | #Constraints: 103471
3305.93/3315.70 c #Conflicts: 1079000 | #Constraints: 104471
3305.93/3315.70 c #Conflicts: 1080000 | #Constraints: 105471
3305.93/3315.70 c #Conflicts: 1081000 | #Constraints: 106471
3305.93/3315.70 c #Conflicts: 1082000 | #Constraints: 107471
3305.93/3315.70 c #Conflicts: 1083000 | #Constraints: 108471
3305.93/3315.70 c INPROCESSING
3305.93/3315.70 c GARBAGE COLLECT
3305.93/3315.70 c #Conflicts: 1084000 | #Constraints: 88873
3305.93/3315.70 c #Conflicts: 1085000 | #Constraints: 89873
3305.93/3315.70 c #Conflicts: 1086000 | #Constraints: 90873
3305.93/3315.70 c #Conflicts: 1087000 | #Constraints: 91873
3305.93/3315.70 c #Conflicts: 1088000 | #Constraints: 92873
3305.93/3315.70 c #Conflicts: 1089000 | #Constraints: 93873
3305.93/3315.70 c #Conflicts: 1090000 | #Constraints: 94873
3305.93/3315.70 c #Conflicts: 1091000 | #Constraints: 95873
3305.93/3315.70 c #Conflicts: 1092000 | #Constraints: 96873
3305.93/3315.70 c #Conflicts: 1093000 | #Constraints: 97873
3305.93/3315.70 c #Conflicts: 1094000 | #Constraints: 98873
3305.93/3315.70 c #Conflicts: 1095000 | #Constraints: 99873
3305.93/3315.70 c #Conflicts: 1096000 | #Constraints: 100873
3305.93/3315.70 c #Conflicts: 1097000 | #Constraints: 101873
3305.93/3315.70 c #Conflicts: 1098000 | #Constraints: 102873
3305.93/3315.70 c #Conflicts: 1099000 | #Constraints: 103873
3305.93/3315.70 c #Conflicts: 1100000 | #Constraints: 104873
3305.93/3315.70 c #Conflicts: 1101000 | #Constraints: 105873
3305.93/3315.70 c #Conflicts: 1102000 | #Constraints: 106873
3305.93/3315.70 c #Conflicts: 1103000 | #Constraints: 107873
3305.93/3315.70 c #Conflicts: 1104000 | #Constraints: 108873
3305.93/3315.70 c INPROCESSING
3305.93/3315.70 c GARBAGE COLLECT
3305.93/3315.70 c #Conflicts: 1105000 | #Constraints: 89087
3305.93/3315.70 c #Conflicts: 1106000 | #Constraints: 90087
3305.93/3315.70 c #Conflicts: 1107000 | #Constraints: 91087
3305.93/3315.70 c #Conflicts: 1108000 | #Constraints: 92087
3305.93/3315.70 c #Conflicts: 1109000 | #Constraints: 93087
3305.93/3315.70 c #Conflicts: 1110000 | #Constraints: 94087
3305.93/3315.70 c #Conflicts: 1111000 | #Constraints: 95087
3305.93/3315.70 c #Conflicts: 1112000 | #Constraints: 96087
3305.93/3315.70 c #Conflicts: 1113000 | #Constraints: 97087
3305.93/3315.70 c #Conflicts: 1114000 | #Constraints: 98087
3305.93/3315.70 c #Conflicts: 1115000 | #Constraints: 99087
3305.93/3315.70 c #Conflicts: 1116000 | #Constraints: 100087
3305.93/3315.70 c #Conflicts: 1117000 | #Constraints: 101087
3305.93/3315.70 c #Conflicts: 1118000 | #Constraints: 102087
3305.93/3315.70 c #Conflicts: 1119000 | #Constraints: 103087
3305.93/3315.70 c #Conflicts: 1120000 | #Constraints: 104087
3305.93/3315.70 c #Conflicts: 1121000 | #Constraints: 105087
3305.93/3315.70 c #Conflicts: 1122000 | #Constraints: 106087
3305.93/3315.70 c #Conflicts: 1123000 | #Constraints: 107087
3305.93/3315.70 c #Conflicts: 1124000 | #Constraints: 108087
3305.93/3315.70 c #Conflicts: 1125000 | #Constraints: 109087
3305.93/3315.70 c INPROCESSING
3305.93/3315.70 c GARBAGE COLLECT
3305.93/3315.70 c #Conflicts: 1126000 | #Constraints: 89073
3586.62/3597.29 c #Conflicts: 1127000 | #Constraints: 90073
3586.62/3597.29 c #Conflicts: 1128000 | #Constraints: 91073
3586.62/3597.29 c #Conflicts: 1129000 | #Constraints: 92073
3586.62/3597.29 c #Conflicts: 1130000 | #Constraints: 93073
3586.62/3597.29 c #Conflicts: 1131000 | #Constraints: 94073
3586.62/3597.29 c #Conflicts: 1132000 | #Constraints: 95073
3586.62/3597.29 c #Conflicts: 1133000 | #Constraints: 96073
3586.62/3597.29 c #Conflicts: 1134000 | #Constraints: 97073
3586.62/3597.29 c #Conflicts: 1135000 | #Constraints: 98073
3586.62/3597.29 c #Conflicts: 1136000 | #Constraints: 99073
3586.62/3597.29 c #Conflicts: 1137000 | #Constraints: 100073
3586.62/3597.29 c #Conflicts: 1138000 | #Constraints: 101073
3586.62/3597.29 c #Conflicts: 1139000 | #Constraints: 102073
3586.62/3597.29 c #Conflicts: 1140000 | #Constraints: 103073
3586.62/3597.29 c #Conflicts: 1141000 | #Constraints: 104073
3586.62/3597.29 c #Conflicts: 1142000 | #Constraints: 105073
3586.62/3597.29 c #Conflicts: 1143000 | #Constraints: 106073
3586.62/3597.29 c #Conflicts: 1144000 | #Constraints: 107073
3586.62/3597.29 c #Conflicts: 1145000 | #Constraints: 108073
3586.62/3597.29 c #Conflicts: 1146000 | #Constraints: 109073
3586.62/3597.29 c INPROCESSING
3586.62/3597.29 c GARBAGE COLLECT
3586.62/3597.29 c #Conflicts: 1147000 | #Constraints: 88862
3586.62/3597.29 c #Conflicts: 1148000 | #Constraints: 89862
3586.62/3597.29 c #Conflicts: 1149000 | #Constraints: 90862
3586.62/3597.29 c #Conflicts: 1150000 | #Constraints: 91862
3586.62/3597.29 c #Conflicts: 1151000 | #Constraints: 92862
3586.62/3597.29 c #Conflicts: 1152000 | #Constraints: 93862
3586.62/3597.29 c #Conflicts: 1153000 | #Constraints: 94862
3586.62/3597.29 c #Conflicts: 1154000 | #Constraints: 95862
3586.62/3597.29 c #Conflicts: 1155000 | #Constraints: 96862
3586.62/3597.29 c #Conflicts: 1156000 | #Constraints: 97862
3586.62/3597.29 c #Conflicts: 1157000 | #Constraints: 98862
3586.62/3597.29 c #Conflicts: 1158000 | #Constraints: 99862
3586.62/3597.29 c #Conflicts: 1159000 | #Constraints: 100862
3586.62/3597.29 c #Conflicts: 1160000 | #Constraints: 101862
3586.62/3597.29 c #Conflicts: 1161000 | #Constraints: 102862
3586.62/3597.29 c #Conflicts: 1162000 | #Constraints: 103862
3586.62/3597.29 c #Conflicts: 1163000 | #Constraints: 104862
3586.62/3597.29 c #Conflicts: 1164000 | #Constraints: 105862
3586.62/3597.29 c #Conflicts: 1165000 | #Constraints: 106862
3586.62/3597.29 c #Conflicts: 1166000 | #Constraints: 107862
3586.62/3597.29 c #Conflicts: 1167000 | #Constraints: 108862
3586.62/3597.29 c #Conflicts: 1168000 | #Constraints: 109862
3586.62/3597.29 c INPROCESSING
3586.62/3597.29 c GARBAGE COLLECT
3586.62/3597.29 c #Conflicts: 1169000 | #Constraints: 89470
3586.62/3597.29 c #Conflicts: 1170000 | #Constraints: 90470
3586.62/3597.29 c #Conflicts: 1171000 | #Constraints: 91470
3586.62/3597.29 c #Conflicts: 1172000 | #Constraints: 92470
3586.62/3597.29 c #Conflicts: 1173000 | #Constraints: 93470
3586.62/3597.29 c #Conflicts: 1174000 | #Constraints: 94470
3586.62/3597.29 c #Conflicts: 1175000 | #Constraints: 95470
3586.62/3597.29 c #Conflicts: 1176000 | #Constraints: 96470
3586.62/3597.29 c #Conflicts: 1177000 | #Constraints: 97470
3586.62/3597.29 c #Conflicts: 1178000 | #Constraints: 98470
3586.62/3597.29 c #Conflicts: 1179000 | #Constraints: 99470
3586.62/3597.29 c #Conflicts: 1180000 | #Constraints: 100470
3586.62/3597.29 c #Conflicts: 1181000 | #Constraints: 101470
3586.62/3597.29 c #Conflicts: 1182000 | #Constraints: 102470
3586.62/3597.29 c #Conflicts: 1183000 | #Constraints: 103470
3586.62/3597.29 c #Conflicts: 1184000 | #Constraints: 104470
3586.62/3597.29 c #Conflicts: 1185000 | #Constraints: 105470
3586.62/3597.29 c #Conflicts: 1186000 | #Constraints: 106470
3586.62/3597.29 c #Conflicts: 1187000 | #Constraints: 107470
3586.62/3597.29 c #Conflicts: 1188000 | #Constraints: 108470
3586.62/3597.29 c #Conflicts: 1189000 | #Constraints: 109470
3586.62/3597.29 c #Conflicts: 1190000 | #Constraints: 110470
3586.62/3597.29 c INPROCESSING
3586.62/3597.29 c GARBAGE COLLECT
3586.62/3597.29 c #Conflicts: 1191000 | #Constraints: 89871
3586.62/3597.29 c #Conflicts: 1192000 | #Constraints: 90871
3586.62/3597.29 c #Conflicts: 1193000 | #Constraints: 91871
3586.62/3597.29 c #Conflicts: 1194000 | #Constraints: 92871
3586.62/3597.29 c #Conflicts: 1195000 | #Constraints: 93871
3586.62/3597.29 c #Conflicts: 1196000 | #Constraints: 94871
3586.62/3597.29 c #Conflicts: 1197000 | #Constraints: 95871
3586.62/3597.29 c #Conflicts: 1198000 | #Constraints: 96871
3586.62/3597.29 c #Conflicts: 1199000 | #Constraints: 97871
3586.62/3597.29 c #Conflicts: 1200000 | #Constraints: 98871
3586.62/3597.29 c #Conflicts: 1201000 | #Constraints: 99871
3586.62/3597.29 c #Conflicts: 1202000 | #Constraints: 100871
3586.62/3597.29 c #Conflicts: 1203000 | #Constraints: 101871
3600.08/3610.70 c #Conflicts: 1204000 | #Constraints: 102871
3600.08/3610.70 c #Conflicts: 1205000 | #Constraints: 103871
3600.08/3610.70 c #Conflicts: 1206000 | #Constraints: 104871
3600.08/3610.70 c cpu time 3550.66 s
3600.08/3610.70 c deterministic time 1 1.00e+00
3600.08/3610.70 c optimization time 3549.14 s
3600.08/3610.70 c total solve time 0 s
3600.08/3610.70 c core-guided solve time 0 s
3600.08/3610.70 c propagation time 0.060528 s
3600.08/3610.70 c conflict analysis time 0 s
3600.08/3610.70 c propagations 0
3600.08/3610.70 c resolve steps 0
3600.08/3610.70 c decisions 0
3600.08/3610.70 c conflicts 0
3600.08/3610.70 c restarts 0
3600.08/3610.70 c inprocessing phases 0
3600.08/3610.70 c garbage collections 0 ,( -nan )
3600.08/3610.70 c input clauses 65280 ,( 100.00 )
3600.08/3610.70 c input cardinalities 0 ,( 0.00 )
3600.08/3610.70 c input general constraints 0 ,( 0.00 )
3600.08/3610.70 c input average constraint length 37.65
3600.08/3610.70 c input average constraint degree 1.00
3600.08/3610.70 c learned clauses 0 ,( 0.00 )
3600.08/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3610.70 c learned general constraints 0 ,( 0.00 )
3600.08/3610.70 c learned average constraint length 0.00
3600.08/3610.70 c learned average constraint degree 0.00
3600.08/3610.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3610.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3610.70 c watched constraints 0 ,( -nan )
3600.08/3610.70 c counting constraints 0 ,( -nan )
3600.08/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3610.70 c gcd simplifications 0
3600.08/3610.70 c detected cardinalities 0
3600.08/3610.70 c weakened non-implied lits 0
3600.08/3610.70 c weakened non-implying lits 0
3600.08/3610.70 c original variables 5048
3600.08/3610.70 c clausal propagations 0
3600.08/3610.70 c cardinality propagations 0
3600.08/3610.70 c watched propagations 0
3600.08/3610.70 c counting propagations 0
3600.08/3610.70 c watch lookups 0
3600.08/3610.70 c watch backjump lookups 0
3600.08/3610.70 c watch checks 0
3600.08/3610.70 c propagation checks 0
3600.08/3610.70 c constraint additions 0
3600.08/3610.70 c trail pops 0
3600.08/3610.70 c formula constraints 65280
3600.08/3610.70 c learned constraints 0
3600.08/3610.70 c bound constraints 0
3600.08/3610.70 c core-guided constraints 0
3600.08/3610.70 c encountered formula constraints 0
3600.08/3610.70 c encountered learned constraints 0
3600.08/3610.70 c encountered bound constraints 0
3600.08/3610.70 c encountered core-guided constraints 0
3600.08/3610.70 c LP total time 0 s
3600.08/3610.70 c LP solve time 0 s
3600.08/3610.70 c LP constraints added 0
3600.08/3610.70 c LP constraints removed 0
3600.08/3610.70 c LP pivots internal 0
3600.08/3610.70 c LP pivots root 0
3600.08/3610.70 c LP calls 0
3600.08/3610.70 c LP optimalities 0
3600.08/3610.70 c LP no pivot count 0
3600.08/3610.70 c LP infeasibilities 0
3600.08/3610.70 c LP valid Farkas constraints 0
3600.08/3610.70 c LP learned Farkas constraints 0
3600.08/3610.70 c LP basis resets 0
3600.08/3610.70 c LP cycling count 0
3600.08/3610.70 c LP singular count 0
3600.08/3610.70 c LP no primal count 0
3600.08/3610.70 c LP no farkas count 0
3600.08/3610.70 c LP other issue count 0
3600.08/3610.70 c LP Gomory cuts 0
3600.08/3610.70 c LP learned cuts 0
3600.08/3610.70 c LP deleted cuts 0
3600.08/3610.70 c LP encountered Gomory constraints 0
3600.08/3610.70 c LP encountered Farkas constraints 0
3600.08/3610.70 c LP encountered learned Farkas constraints 0
3600.08/3610.70 c CG auxiliary variables introduced 0
3600.08/3610.70 c CG solutions found 0
3600.08/3610.70 c CG cores constructed 0
3600.08/3610.70 c CG core cardinality constraints returned 0
3600.08/3610.70 c CG unit cores 0
3600.08/3610.70 c CG single cores 0
3600.08/3610.70 c CG blocks removed during cardinality reduction 0
3600.08/3610.70 c CG first core best 0
3600.08/3610.70 c CG decision core best 0
3600.08/3610.70 c CG core reduction tie 0
3600.08/3610.70 c CG core degree average 0.00
3600.08/3610.70 c CG core slack average 0.00
3600.08/3610.70 c CG core upper bound improvements 0
3600.08/3610.70 c STR number of successful calls 0
3600.08/3610.70 c STR number of unsuccessful calls 0
3600.08/3610.70 c STR number of inconclusive calls 0
3600.08/3610.70 c STR number of successful attempts 0
3600.08/3610.70 c STR number of unsuccessful attempts 0
3600.08/3610.70 c STR number of inconclusive attempts 0
3600.08/3610.70 c STR average degree increase per successful call inf
3600.08/3610.70 c STR average degree increase per successful attempt inf
3600.08/3610.70 c STR total number of conflicts for successful attempts 0
3600.08/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.70 c STR average number of conflicts per successful attempt inf
3600.08/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.70 c AVG.sumWPerc -nan
3600.08/3610.70 c bigint constraints 0
3600.08/3610.70 s UNKNOWN
3600.08/3610.70 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: 63837 MiB (61747 MiB free)
memory of node 1: 64465 MiB (63119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503014-1751440305/watcher-4503014-1751440305 -o /tmp/evaluation-result-4503014-1751440305/solver-4503014-1751440305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60312 --watchdog 3760 run-opt.sh HOME/instance-4503014-1751440305.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
solver pid=60337, runsolver pid=60334
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 3.48 4.15 4.12 5/238 60339
/proc/meminfo: memFree=127836488/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=56492 memory=11576 CPUtime=0.08 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 843 0 0 0 7 1 0 0 20 0 1 0 59709194 57847808 2894 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 14123 2894 1920 1147 0 1550 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60684 KiB
Current children cumulated memory: 14392 KiB
[startup+0.213428 s]*
/proc/loadavg: 3.48 4.15 4.12 5/238 60339
/proc/meminfo: memFree=127820108/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=56648 memory=11832 CPUtime=0.19 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 900 0 0 0 17 2 0 0 20 0 1 0 59709194 58007552 2958 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 14162 2958 1920 1147 0 1589 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60840 KiB
Current children cumulated memory: 14648 KiB
[startup+0.313054 s]*
/proc/loadavg: 3.48 4.15 4.12 5/238 60341
/proc/meminfo: memFree=127787616/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=56940 memory=11960 CPUtime=0.29 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 947 0 0 0 27 2 0 0 20 0 1 0 59709194 58306560 2990 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 14235 2990 1920 1147 0 1662 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 14776 KiB
[startup+0.700329 s]
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127741848/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=57720 memory=14772 CPUtime=0.66 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 1129 0 0 0 61 5 0 0 20 0 1 0 59709194 59105280 3693 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 14430 3693 1920 1147 0 1857 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61912 KiB
Current children cumulated memory: 17588 KiB
[startup+1.50032 s]
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127627192/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=79980 memory=31060 CPUtime=1.46 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 4864 0 0 0 135 11 0 0 20 0 1 0 59709194 81899520 7765 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 19995 7765 2272 1147 0 7422 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 84172 KiB
Current children cumulated memory: 33876 KiB
[startup+3.11296 s]
/proc/loadavg: 3.52 4.15 4.12 5/248 60361
/proc/meminfo: memFree=126817516/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=267480 memory=215300 CPUtime=3.07 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 34837 0 0 0 259 48 0 0 20 0 1 0 59709194 273899520 53825 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 66870 53825 2368 1147 0 54297 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 271672 KiB
Current children cumulated memory: 218116 KiB
[startup+6.30036 s]
/proc/loadavg: 3.52 4.15 4.12 5/255 60374
/proc/meminfo: memFree=126235176/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=330508 memory=280064 CPUtime=6.24 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 46437 0 0 0 523 101 0 0 20 0 1 0 59709194 338440192 70016 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 82627 70016 2368 1147 0 70054 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 334700 KiB
Current children cumulated memory: 282880 KiB
[startup+12.7004 s]
/proc/loadavg: 3.56 4.15 4.12 5/255 60374
/proc/meminfo: memFree=125651880/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=450524 memory=385628 CPUtime=12.63 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 66220 0 0 0 1083 180 0 0 20 0 1 0 59709194 461336576 96407 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 112631 96407 2368 1147 0 100058 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 454716 KiB
Current children cumulated memory: 388444 KiB
[startup+25.5004 s]
/proc/loadavg: 3.66 4.14 4.12 5/255 60374
/proc/meminfo: memFree=122930968/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=767248 memory=635192 CPUtime=25.4 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 112249 0 0 0 2277 263 0 0 20 0 1 0 59709194 785661952 158798 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 191812 158798 2368 1147 0 179239 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 771440 KiB
Current children cumulated memory: 638008 KiB
[startup+51.1132 s]
/proc/loadavg: 3.96 4.17 4.13 5/255 60374
/proc/meminfo: memFree=120122232/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=1036992 memory=879816 CPUtime=50.94 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 161665 0 0 0 4773 321 0 0 20 0 1 0 59709194 1061879808 219954 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 259248 219954 2368 1147 0 246675 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1041184 KiB
Current children cumulated memory: 882632 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/255 60376
/proc/meminfo: memFree=114129412/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=1203836 memory=987180 CPUtime=101.98 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 178842 0 0 0 9795 403 0 0 20 0 1 0 59709194 1232728064 246795 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 300959 246795 2368 1147 0 288386 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1208028 KiB
Current children cumulated memory: 989996 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/255 60378
/proc/meminfo: memFree=112467792/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=1581904 memory=1285468 CPUtime=161.77 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 241134 0 0 0 15666 511 0 0 20 0 1 0 59709194 1619869696 321367 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 395476 321367 2368 1147 0 382903 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1586096 KiB
Current children cumulated memory: 1288284 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/255 60380
/proc/meminfo: memFree=109510556/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=1635216 memory=1349592 CPUtime=221.58 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 253189 0 0 0 21547 611 0 0 20 0 1 0 59709194 1674461184 337398 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 408804 337398 2368 1147 0 396231 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/60339/statm: 892936 789325 2368 1147 0 880363 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 3575936 KiB
Current children cumulated memory: 3160116 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/253 60526
/proc/meminfo: memFree=81641756/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3349040 CPUtime=3152.98 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 602414 0 0 0 310813 4485 0 0 20 0 1 0 59709194 3748171776 837260 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 837260 2368 1147 0 902508 0
Current children cumulated CPU time: 3152.98 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3351856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/253 60528
/proc/meminfo: memFree=81627900/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3349040 CPUtime=3212.8 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 602414 0 0 0 316736 4544 0 0 20 0 1 0 59709194 3748171776 837260 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 837260 2368 1147 0 902508 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3351856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/253 60530
/proc/meminfo: memFree=81444856/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3349040 CPUtime=3272.62 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 602612 0 0 0 322673 4589 0 0 20 0 1 0 59709194 3748171776 837260 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 837260 2368 1147 0 902508 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3351856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/254 60535
/proc/meminfo: memFree=81407036/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3353520 CPUtime=3332.46 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 603805 0 0 0 328600 4646 0 0 20 0 1 0 59709194 3748171776 838380 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 838380 2368 1147 0 902508 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3356336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/254 60537
/proc/meminfo: memFree=81249080/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3353904 CPUtime=3392.28 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 603985 0 0 0 334520 4708 0 0 20 0 1 0 59709194 3748171776 838476 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 838476 2368 1147 0 902508 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3356720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/254 60543
/proc/meminfo: memFree=81229904/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3353904 CPUtime=3452.1 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 604136 0 0 0 340437 4773 0 0 20 0 1 0 59709194 3748171776 838476 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 838476 2368 1147 0 902508 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3356720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 60547
/proc/meminfo: memFree=81028892/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660324 memory=3354160 CPUtime=3511.93 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 604199 0 0 0 346348 4845 0 0 20 0 1 0 59709194 3748171776 838540 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915081 838540 2368 1147 0 902508 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 3664516 KiB
Current children cumulated memory: 3356976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 60549
/proc/meminfo: memFree=80246340/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660836 memory=3355568 CPUtime=3571.76 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 604809 0 0 0 352263 4913 0 0 20 0 1 0 59709194 3748696064 838892 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915209 838892 2368 1147 0 902636 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 3665028 KiB
Current children cumulated memory: 3358384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 60550
/proc/meminfo: memFree=80227020/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660836 memory=3355568 CPUtime=3600.08 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 604809 0 0 0 355066 4942 0 0 20 0 1 0 59709194 3748696064 838892 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915209 838892 2368 1147 0 902636 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3665028 KiB
Current children cumulated memory: 3358384 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 60337 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001066 s, system=0.004246 s
Sleeping 2 seconds
[startup+3610.82 s]
# the end of solver process 60339 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3550.68 s, system=49.5211 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+3610.7 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 60550
/proc/meminfo: memFree=80227020/131382120 swapFree=33010684/33010684
[pid=60337] ppid=60334 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/60337/stat : 60337 (run-opt.sh) S 60334 60337 60299 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59709193 4292608 704 18446744073709551615 94424808288256 94424809182789 140723501785488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94424809421840 94424809469584 94424811634688 140723501787501 140723501787624 140723501787624 140723501793226 0
/proc/60337/statm: 1048 704 640 219 0 110 0
[pid=60339] ppid=60337 vsize=3660836 memory=3355568 CPUtime=3600.08 cores=5,7
/proc/60339/stat : 60339 (roundingsat) R 60337 60337 60299 0 -1 4194304 604809 0 0 0 355066 4942 0 0 20 0 1 0 59709194 3748696064 838892 18446744073709551615 4227072 8923433 140727061591936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39899136 140727061600674 140727061600808 140727061600808 140727061606378 0
/proc/60339/statm: 915209 838892 2368 1147 0 902636 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3665028 KiB
Current children cumulated memory: 3358384 KiB
Child status: 2
Real time (s): 3610.82
CPU time (s): 3600.21
CPU user time (s): 3550.68
CPU system time (s): 49.5211
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 3665028
Max. memory (cumulated for all children) (KiB): 3358384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.68
system time used= 49.5211
maximum resident set size= 3355952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605073
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= 449
involuntary context switches= 2290
# summary of solver processes directly reported to runsolver:
# pid: 60337,60339
# total CPU time (s): 3600.21
# total CPU user time (s): 3550.68
# total CPU system time (s): 49.5211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9737 second user time and 36.4125 second system time
The end
Begin job on nodeC003 at 2025-07-02 09:11:45
IDJOB=4503014
IDBENCH=155403
IDSOLVER=3350
FILE ID=nodeC003/4503014-1751440305
RUNJOBID= nodeC003-1751440305-60312
SLURM_JOB_ID= 9598398
Free space on /tmp= 431872 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503014-1751440305/watcher-4503014-1751440305 -o /tmp/evaluation-result-4503014-1751440305/solver-4503014-1751440305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60312 --watchdog 3760 run-opt.sh HOME/instance-4503014-1751440305.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1719328969
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.164
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.177
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.763
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127889216 kB
MemAvailable: 129896100 kB
Buffers: 3280 kB
Cached: 2805828 kB
SwapCached: 0 kB
Active: 349024 kB
Inactive: 2552304 kB
Active(anon): 110200 kB
Inactive(anon): 0 kB
Active(file): 238824 kB
Inactive(file): 2552304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 157736 kB
Writeback: 0 kB
AnonPages: 95408 kB
Mapped: 103492 kB
Shmem: 17960 kB
KReclaimable: 110764 kB
Slab: 195684 kB
SReclaimable: 110764 kB
SUnreclaim: 84920 kB
KernelStack: 3888 kB
PageTables: 3028 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 357344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431304 MiB
End job on nodeC003 at 2025-07-02 10:11:56