0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.26/0.33 c #variables 2025 #constraints 61821
0.26/0.33 c objective is ce32
0.26/0.34 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.26/0.34 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.26/0.34 c GLOBAL bounds - >= -326 @ 0.243519
0.26/0.34 c GLOBAL bounds - >= -326 @ 0.243847
0.26/0.34 c GLOBAL bounds - >= -326 @ 0.244827
0.26/0.35 c GLOBAL bounds - >= -326 @ 0.244827
0.26/0.35 c GLOBAL bounds - >= -326 @ 0.24588
0.26/0.35 c GLOBAL bounds - >= -326 @ 0.247707
0.26/0.35 c GLOBAL bounds - >= -326 @ 0.248544
0.26/0.35 c GLOBAL bounds - >= -326 @ 0.248787
0.26/0.36 c GLOBAL bounds - >= -326 @ 0.248787
0.26/0.36 c GLOBAL bounds - >= -326 @ 0.249312
0.26/0.36 c GLOBAL bounds - >= -326 @ 0.249741
0.26/0.36 c GLOBAL bounds - >= -326 @ 0.251072
0.26/0.36 c GLOBAL bounds - >= -326 @ 0.251722
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.251722
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.251801
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.25268
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.25268
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.25268
0.26/0.37 c GLOBAL bounds - >= -326 @ 0.25268
0.26/0.38 c GLOBAL bounds - >= -326 @ 0.253336
0.26/0.38 c GLOBAL bounds - >= -326 @ 0.255169
0.26/0.38 c GLOBAL bounds - >= -326 @ 0.256061
0.26/0.38 c GLOBAL bounds - >= -326 @ 0.256604
0.26/0.38 c GLOBAL bounds - >= -326 @ 0.256604
0.26/0.39 c GLOBAL bounds - >= -326 @ 0.25757
0.26/0.39 c GLOBAL bounds - >= -326 @ 0.258564
0.26/0.39 c GLOBAL bounds - >= -326 @ 0.258564
0.26/0.39 c GLOBAL bounds - >= -326 @ 0.258881
0.26/0.39 c GLOBAL bounds - >= -326 @ 0.26053
0.26/0.40 c GLOBAL bounds - >= -326 @ 0.261608
0.26/0.40 c GLOBAL bounds - >= -326 @ 0.262526
0.26/0.40 c GLOBAL bounds - >= -326 @ 0.263521
0.26/0.40 c GLOBAL bounds - >= -326 @ 0.265239
0.26/0.40 c GLOBAL bounds - >= -326 @ 0.266125
0.26/0.41 c GLOBAL bounds - >= -326 @ 0.266478
0.36/0.41 c GLOBAL bounds - >= -326 @ 0.266478
0.36/0.41 c GLOBAL bounds - >= -326 @ 0.266478
0.36/0.41 c GLOBAL bounds - >= -326 @ 0.266478
0.36/0.41 c GLOBAL bounds - >= -326 @ 0.266581
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.268369
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.269404
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.269404
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.269404
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.270376
0.36/0.42 c GLOBAL bounds - >= -326 @ 0.271371
0.36/0.43 c GLOBAL bounds - >= -326 @ 0.27168
0.36/0.43 c GLOBAL bounds - >= -326 @ 0.272358
0.36/0.43 c GLOBAL bounds - >= -326 @ 0.272454
0.36/0.43 c GLOBAL bounds - >= -326 @ 0.273394
0.36/0.43 c GLOBAL bounds - >= -326 @ 0.274332
0.36/0.44 c GLOBAL bounds - >= -326 @ 0.276204
0.36/0.44 c GLOBAL bounds - >= -326 @ 0.277143
0.36/0.44 c GLOBAL bounds - >= -326 @ 0.27732
0.36/0.44 c GLOBAL bounds - >= -326 @ 0.278019
0.36/0.44 c GLOBAL bounds - >= -326 @ 0.278941
0.36/0.45 c GLOBAL bounds - >= -326 @ 0.279296
0.36/0.45 c GLOBAL bounds - >= -326 @ 0.280283
0.36/0.45 c GLOBAL bounds - >= -326 @ 0.280283
0.36/0.45 c GLOBAL bounds - >= -326 @ 0.281688
0.36/0.45 c GLOBAL bounds - >= -326 @ 0.282227
0.36/0.46 c GLOBAL bounds - >= -326 @ 0.282623
0.36/0.46 c GLOBAL bounds - >= -326 @ 0.283212
0.36/0.46 c GLOBAL bounds - >= -326 @ 0.283212
0.36/0.46 c GLOBAL bounds - >= -326 @ 0.283212
0.36/0.46 c GLOBAL bounds - >= -326 @ 0.283449
0.36/0.47 c GLOBAL bounds - >= -326 @ 0.284374
0.36/0.47 c GLOBAL bounds - >= -326 @ 0.286163
0.36/0.47 c GLOBAL bounds - >= -326 @ 0.286163
0.36/0.47 c GLOBAL bounds - >= -326 @ 0.286313
0.36/0.47 c GLOBAL bounds - >= -326 @ 0.287144
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.287205
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.288128
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.288128
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.288128
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.289805
0.36/0.48 c GLOBAL bounds - >= -326 @ 0.291723
0.36/0.49 c GLOBAL bounds - >= -326 @ 0.292638
0.36/0.49 c GLOBAL bounds - >= -326 @ 0.294096
0.36/0.49 c GLOBAL bounds - >= -326 @ 0.295095
0.36/0.49 c GLOBAL bounds - >= -326 @ 0.296093
0.36/0.49 c GLOBAL bounds - >= -326 @ 0.297256
0.36/0.50 c GLOBAL bounds - >= -326 @ 0.298148
0.36/0.50 c GLOBAL bounds - >= -326 @ 0.299086
0.36/0.50 c GLOBAL bounds - >= -326 @ 0.300082
0.36/0.50 c GLOBAL bounds - >= -326 @ 0.300082
0.36/0.50 c GLOBAL bounds - >= -326 @ 0.300812
0.46/0.51 c GLOBAL bounds - >= -326 @ 0.301042
0.46/0.51 c GLOBAL bounds - >= -326 @ 0.302033
0.46/0.51 c GLOBAL bounds - >= -326 @ 0.30252
0.46/0.51 c GLOBAL bounds - >= -326 @ 0.303398
0.46/0.51 c GLOBAL bounds - >= -326 @ 0.304291
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.305186
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.306068
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.307972
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.308003
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.308776
0.46/0.52 c GLOBAL bounds - >= -326 @ 0.308992
0.46/0.53 c GLOBAL bounds - >= -326 @ 0.309554
0.46/0.53 c GLOBAL bounds - >= -326 @ 0.311439
0.46/0.53 c GLOBAL bounds - >= -326 @ 0.311975
0.46/0.53 c GLOBAL bounds - >= -326 @ 0.312205
0.46/0.53 c GLOBAL bounds - >= -326 @ 0.312966
0.46/0.54 c GLOBAL bounds - >= -326 @ 0.313923
0.46/0.54 c GLOBAL bounds - >= -326 @ 0.31484
0.46/0.54 c GLOBAL bounds - >= -326 @ 0.316754
0.46/0.54 c GLOBAL bounds - >= -326 @ 0.318722
0.46/0.54 c GLOBAL bounds - >= -326 @ 0.320582
0.46/0.55 c GLOBAL bounds - >= -326 @ 0.320952
0.46/0.55 c GLOBAL bounds - >= -326 @ 0.321351
0.46/0.55 c GLOBAL bounds - >= -326 @ 0.322942
0.46/0.55 c GLOBAL bounds - >= -326 @ 0.322942
0.46/0.55 c GLOBAL bounds - >= -326 @ 0.323965
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.324934
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.326725
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.326928
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.3275
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.32832
0.46/0.56 c GLOBAL bounds - >= -326 @ 0.330191
0.46/0.57 c GLOBAL bounds - >= -326 @ 0.331038
0.46/0.57 c GLOBAL bounds - >= -326 @ 0.331909
0.46/0.57 c GLOBAL bounds - >= -326 @ 0.331909
0.46/0.57 c GLOBAL bounds - >= -326 @ 0.331909
0.46/0.57 c GLOBAL bounds - >= -326 @ 0.331909
0.46/0.58 c GLOBAL bounds - >= -326 @ 0.333377
0.46/0.58 c GLOBAL bounds - >= -326 @ 0.333879
0.46/0.58 c GLOBAL bounds - >= -326 @ 0.334873
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62544
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62559
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62563
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62565
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62568
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6257
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62573
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62575
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62578
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62581
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62583
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62586
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62588
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62591
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62593
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62596
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62598
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62601
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62604
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62606
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62609
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62611
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62613
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62616
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62618
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6262
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62623
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62625
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62627
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6263
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62632
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62634
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62637
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62639
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62641
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62644
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62646
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62648
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62651
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62653
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62654
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62668
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62672
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62676
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62678
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62681
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62683
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62686
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62688
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62691
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62693
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62697
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62699
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62702
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62705
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62708
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6271
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62713
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62715
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62718
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62721
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62723
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62726
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62729
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62731
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62734
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62736
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62739
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62741
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62748
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62751
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62753
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62755
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62758
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6276
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62763
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62765
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62767
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.6277
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62772
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62775
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62782
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62784
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62787
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62789
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62792
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62821
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62825
1.75/1.89 c GLOBAL bounds - >= -326 @ 1.62828
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.62889
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.62889
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.62988
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.62988
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63088
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63088
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63088
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63088
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63226
1.85/1.90 c GLOBAL bounds - >= -326 @ 1.63236
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63386
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63386
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63386
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63386
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63452
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.6347
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63481
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63481
1.85/1.91 c GLOBAL bounds - >= -326 @ 1.63568
1.85/1.92 c GLOBAL bounds - >= -326 @ 1.6368
1.85/1.92 c GLOBAL bounds - >= -326 @ 1.63748
1.85/1.92 c GLOBAL bounds - >= -326 @ 1.6388
1.85/1.92 c GLOBAL bounds - >= -326 @ 1.6388
1.85/1.92 c GLOBAL bounds - >= -326 @ 1.6392
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64005
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64193
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64289
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64378
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64478
1.85/1.93 c GLOBAL bounds - >= -326 @ 1.64478
1.85/1.95 c GLOBAL bounds - >= -326 @ 1.65374
1.85/1.95 c GLOBAL bounds - >= -326 @ 1.65772
1.85/1.96 c GLOBAL bounds - >= -326 @ 1.65772
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66355
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66409
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66414
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66419
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66423
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66427
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66431
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66435
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66439
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66443
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66446
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.6645
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66453
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66456
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66462
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66466
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66472
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.6657
1.85/1.96 c GLOBAL bounds - >= -270 @ 1.66572
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66669
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66679
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66864
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66873
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66969
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.66969
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.67068
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.67068
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.67068
1.85/1.97 c GLOBAL bounds - >= -270 @ 1.67068
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67167
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67167
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67236
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.6726
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67367
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67373
1.85/1.98 c GLOBAL bounds - >= -270 @ 1.67466
1.85/1.99 c GLOBAL bounds - >= -270 @ 1.67466
1.85/1.99 c GLOBAL bounds - >= -270 @ 1.67654
1.85/1.99 c GLOBAL bounds - >= -270 @ 1.67861
1.85/1.99 c GLOBAL bounds - >= -270 @ 1.68058
1.85/1.99 c GLOBAL bounds - >= -270 @ 1.68064
1.85/2.00 c GLOBAL bounds - >= -270 @ 1.68163
1.85/2.00 c GLOBAL bounds - >= -270 @ 1.68163
1.85/2.00 c GLOBAL bounds - >= -270 @ 1.68304
1.95/2.00 c GLOBAL bounds - >= -270 @ 1.68407
1.95/2.00 c GLOBAL bounds - >= -270 @ 1.68458
1.95/2.01 c GLOBAL bounds - >= -270 @ 1.68511
1.95/2.01 c GLOBAL bounds - >= -270 @ 1.68558
1.95/2.01 c GLOBAL bounds - >= -270 @ 1.68594
1.95/2.01 c GLOBAL bounds - >= -270 @ 1.68657
1.95/2.01 c GLOBAL bounds - >= -270 @ 1.68676
1.95/2.02 c GLOBAL bounds - >= -270 @ 1.68756
1.95/2.02 c GLOBAL bounds - >= -270 @ 1.68856
1.95/2.02 c GLOBAL bounds - >= -270 @ 1.69055
1.95/2.02 c GLOBAL bounds - >= -270 @ 1.69155
1.95/2.03 c GLOBAL bounds - >= -270 @ 1.69254
1.95/2.03 c GLOBAL bounds - >= -270 @ 1.69354
1.95/2.03 c GLOBAL bounds - >= -270 @ 1.69454
1.95/2.03 c GLOBAL bounds - >= -270 @ 1.69466
1.95/2.03 c GLOBAL bounds - >= -270 @ 1.69553
1.95/2.04 c GLOBAL bounds - >= -270 @ 1.69658
1.95/2.05 c GLOBAL bounds - >= -270 @ 1.70853
1.95/2.05 c GLOBAL bounds - >= -270 @ 1.70949
1.95/2.07 c GLOBAL bounds - >= -270 @ 1.72507
2.05/2.14 c #Conflicts: 1000 | #Constraints: 1731
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79486
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79558
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79563
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79567
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79572
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79584
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79587
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79589
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.7959
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79607
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79613
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79619
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79627
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79635
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79646
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79653
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79659
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79665
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79671
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79676
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79681
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79686
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79691
2.05/2.14 c GLOBAL bounds - >= -246 @ 1.79696
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79701
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79707
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79716
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.7973
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79735
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79738
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79741
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.79948
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.7997
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80069
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80086
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80281
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80297
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80492
2.05/2.15 c GLOBAL bounds - >= -246 @ 1.80504
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.80704
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.8072
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.80922
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.80942
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.81145
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.81162
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.81216
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.81216
2.05/2.16 c GLOBAL bounds - >= -246 @ 1.81383
2.05/2.17 c GLOBAL bounds - >= -246 @ 1.81403
2.05/2.17 c GLOBAL bounds - >= -246 @ 1.81515
2.05/2.17 c GLOBAL bounds - >= -246 @ 1.81707
2.05/2.17 c GLOBAL bounds - >= -246 @ 1.81815
2.05/2.17 c GLOBAL bounds - >= -246 @ 1.82006
2.05/2.18 c GLOBAL bounds - >= -246 @ 1.82114
2.05/2.18 c GLOBAL bounds - >= -246 @ 1.82222
2.05/2.18 c GLOBAL bounds - >= -246 @ 1.82416
2.05/2.18 c GLOBAL bounds - >= -246 @ 1.82513
2.05/2.18 c GLOBAL bounds - >= -246 @ 1.82741
2.05/2.19 c GLOBAL bounds - >= -246 @ 1.82837
2.05/2.19 c GLOBAL bounds - >= -246 @ 1.83011
2.05/2.19 c GLOBAL bounds - >= -246 @ 1.83111
2.05/2.19 c GLOBAL bounds - >= -246 @ 1.83111
2.05/2.19 c GLOBAL bounds - >= -246 @ 1.83111
2.15/2.20 c GLOBAL bounds - >= -246 @ 1.83275
2.15/2.20 c GLOBAL bounds - >= -246 @ 1.8341
2.15/2.21 c #Conflicts: 2000 | #Constraints: 2793
2.15/2.21 c INPROCESSING
2.15/2.21 c GARBAGE COLLECT
2.15/2.21 c GLOBAL bounds - >= -246 @ 1.84264
2.15/2.21 c GLOBAL bounds - >= -246 @ 1.84407
2.15/2.21 c GLOBAL bounds - >= -246 @ 1.84507
2.15/2.22 c GLOBAL bounds - >= -246 @ 1.84606
2.15/2.22 c GLOBAL bounds - >= -246 @ 1.84706
2.15/2.23 c GLOBAL bounds - >= -246 @ 1.85603
2.15/2.23 c GLOBAL bounds - >= -246 @ 1.85703
2.65/2.74 c #Conflicts: 3000 | #Constraints: 2765
2.65/2.74 c #Conflicts: 4000 | #Constraints: 3765
2.65/2.74 c INPROCESSING
2.65/2.74 c GARBAGE COLLECT
2.65/2.74 c #Conflicts: 5000 | #Constraints: 3169
2.65/2.74 c #Conflicts: 6000 | #Constraints: 4169
2.65/2.74 c INPROCESSING
2.65/2.74 c GARBAGE COLLECT
2.65/2.74 c #Conflicts: 7000 | #Constraints: 3174
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34177
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.3428
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34289
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34296
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34312
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.3432
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34326
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34337
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34344
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34358
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34364
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34369
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34378
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.3439
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34398
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34404
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.3441
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34419
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34427
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34434
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34441
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34456
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34468
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34484
2.65/2.74 c GLOBAL bounds - >= -222 @ 2.34495
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34658
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34658
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34659
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34659
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34759
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34759
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34859
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34882
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34958
2.65/2.75 c GLOBAL bounds - >= -222 @ 2.34958
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.34958
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.34958
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35042
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35067
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35167
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35191
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35296
2.65/2.76 c GLOBAL bounds - >= -222 @ 2.35321
2.65/2.77 c GLOBAL bounds - >= -222 @ 2.35456
2.65/2.77 c GLOBAL bounds - >= -222 @ 2.35641
2.65/2.77 c GLOBAL bounds - >= -222 @ 2.35755
2.65/2.77 c GLOBAL bounds - >= -222 @ 2.35871
2.65/2.77 c GLOBAL bounds - >= -222 @ 2.3597
2.65/2.78 c GLOBAL bounds - >= -222 @ 2.36154
2.65/2.78 c GLOBAL bounds - >= -222 @ 2.36154
2.65/2.78 c GLOBAL bounds - >= -222 @ 2.36177
2.65/2.78 c GLOBAL bounds - >= -222 @ 2.36304
2.65/2.78 c GLOBAL bounds - >= -222 @ 2.36353
2.65/2.79 c GLOBAL bounds - >= -222 @ 2.36403
2.65/2.79 c GLOBAL bounds - >= -222 @ 2.36453
2.65/2.79 c GLOBAL bounds - >= -222 @ 2.36453
2.75/2.80 c #Conflicts: 8000 | #Constraints: 4227
2.75/2.80 c GLOBAL bounds - >= -222 @ 2.37051
2.75/2.80 c GLOBAL bounds - >= -222 @ 2.3725
2.75/2.80 c GLOBAL bounds - >= -222 @ 2.37287
2.75/2.81 c GLOBAL bounds - >= -222 @ 2.3753
2.75/2.81 c GLOBAL bounds - >= -222 @ 2.37549
2.75/2.83 c GLOBAL bounds - >= -222 @ 2.39245
2.75/2.83 c GLOBAL bounds - >= -222 @ 2.39345
2.75/2.83 c GLOBAL bounds - >= -222 @ 2.39544
8.23/8.33 c #Conflicts: 9000 | #Constraints: 5227
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 10000 | #Constraints: 3920
8.23/8.33 c #Conflicts: 11000 | #Constraints: 4920
8.23/8.33 c #Conflicts: 12000 | #Constraints: 5920
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 13000 | #Constraints: 4374
8.23/8.33 c #Conflicts: 14000 | #Constraints: 5374
8.23/8.33 c #Conflicts: 15000 | #Constraints: 6374
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 16000 | #Constraints: 4601
8.23/8.33 c #Conflicts: 17000 | #Constraints: 5601
8.23/8.33 c #Conflicts: 18000 | #Constraints: 6601
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 19000 | #Constraints: 4614
8.23/8.33 c #Conflicts: 20000 | #Constraints: 5614
8.23/8.33 c #Conflicts: 21000 | #Constraints: 6614
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 22000 | #Constraints: 4420
8.23/8.33 c #Conflicts: 23000 | #Constraints: 5420
8.23/8.33 c #Conflicts: 24000 | #Constraints: 6420
8.23/8.33 c #Conflicts: 25000 | #Constraints: 7420
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 26000 | #Constraints: 5025
8.23/8.33 c #Conflicts: 27000 | #Constraints: 6025
8.23/8.33 c #Conflicts: 28000 | #Constraints: 7025
8.23/8.33 c #Conflicts: 29000 | #Constraints: 8025
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 30000 | #Constraints: 5425
8.23/8.33 c #Conflicts: 31000 | #Constraints: 6425
8.23/8.33 c #Conflicts: 32000 | #Constraints: 7425
8.23/8.33 c #Conflicts: 33000 | #Constraints: 8425
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 34000 | #Constraints: 5627
8.23/8.33 c #Conflicts: 35000 | #Constraints: 6627
8.23/8.33 c #Conflicts: 36000 | #Constraints: 7627
8.23/8.33 c #Conflicts: 37000 | #Constraints: 8627
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 38000 | #Constraints: 5629
8.23/8.33 c #Conflicts: 39000 | #Constraints: 6629
8.23/8.33 c #Conflicts: 40000 | #Constraints: 7629
8.23/8.33 c #Conflicts: 41000 | #Constraints: 8629
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 42000 | #Constraints: 5428
8.23/8.33 c #Conflicts: 43000 | #Constraints: 6428
8.23/8.33 c #Conflicts: 44000 | #Constraints: 7428
8.23/8.33 c #Conflicts: 45000 | #Constraints: 8428
8.23/8.33 c #Conflicts: 46000 | #Constraints: 9428
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 47000 | #Constraints: 6029
8.23/8.33 c #Conflicts: 48000 | #Constraints: 7029
8.23/8.33 c #Conflicts: 49000 | #Constraints: 8029
8.23/8.33 c #Conflicts: 50000 | #Constraints: 9029
8.23/8.33 c #Conflicts: 51000 | #Constraints: 10029
8.23/8.33 c INPROCESSING
8.23/8.33 c GARBAGE COLLECT
8.23/8.33 c #Conflicts: 52000 | #Constraints: 6429
8.23/8.33 c #Conflicts: 53000 | #Constraints: 7429
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72454
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.726
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72609
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72664
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72674
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.727
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.33 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72701
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72715
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72723
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72731
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72742
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.7275
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72759
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72767
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72775
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72803
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72823
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.72843
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73075
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73117
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73299
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73299
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73299
8.23/8.34 c GLOBAL bounds - >= -199 @ 7.73299
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73502
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73521
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73636
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73655
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73698
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73719
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73798
8.23/8.35 c GLOBAL bounds - >= -199 @ 7.73798
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.73889
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.73915
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.74093
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.74093
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.74093
8.23/8.36 c GLOBAL bounds - >= -199 @ 7.7421
8.23/8.37 c GLOBAL bounds - >= -199 @ 7.74319
8.23/8.37 c GLOBAL bounds - >= -199 @ 7.74492
8.23/8.37 c GLOBAL bounds - >= -199 @ 7.74592
8.23/8.37 c GLOBAL bounds - >= -199 @ 7.74592
8.23/8.38 c GLOBAL bounds - >= -199 @ 7.75013
8.23/8.38 c GLOBAL bounds - >= -199 @ 7.7519
8.23/8.38 c GLOBAL bounds - >= -199 @ 7.7529
8.23/8.39 c GLOBAL bounds - >= -199 @ 7.75678
8.23/8.39 c GLOBAL bounds - >= -199 @ 7.76088
8.23/8.39 c GLOBAL bounds - >= -199 @ 7.76279
8.32/8.40 c GLOBAL bounds - >= -199 @ 7.76501
8.32/8.41 c GLOBAL bounds - >= -199 @ 7.77394
8.32/8.41 c GLOBAL bounds - >= -199 @ 7.77584
8.32/8.42 c GLOBAL bounds - >= -199 @ 7.78853
8.32/8.44 c GLOBAL bounds - >= -199 @ 7.80829
8.32/8.48 c #Conflicts: 54000 | #Constraints: 8480
8.32/8.48 c GLOBAL bounds - >= -199 @ 7.84365
8.32/8.48 c GLOBAL bounds - >= -199 @ 7.84366
8.32/8.49 c GLOBAL bounds - >= -199 @ 7.84964
8.63/8.76 c #Conflicts: 55000 | #Constraints: 9480
8.63/8.76 c #Conflicts: 56000 | #Constraints: 10480
8.63/8.76 c INPROCESSING
8.63/8.76 c GARBAGE COLLECT
8.63/8.76 c GLOBAL bounds - >= -199 @ 8.11386
8.63/8.76 c GLOBAL bounds - >= -199 @ 8.11486
8.63/8.77 c GLOBAL bounds - >= -199 @ 8.11586
19.10/19.24 c #Conflicts: 57000 | #Constraints: 6676
19.10/19.24 c #Conflicts: 58000 | #Constraints: 7676
19.10/19.24 c #Conflicts: 59000 | #Constraints: 8676
19.10/19.24 c #Conflicts: 60000 | #Constraints: 9676
19.10/19.24 c #Conflicts: 61000 | #Constraints: 10676
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 62000 | #Constraints: 6676
19.10/19.24 c #Conflicts: 63000 | #Constraints: 7676
19.10/19.24 c #Conflicts: 64000 | #Constraints: 8676
19.10/19.24 c #Conflicts: 65000 | #Constraints: 9676
19.10/19.24 c #Conflicts: 66000 | #Constraints: 10676
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 67000 | #Constraints: 6474
19.10/19.24 c #Conflicts: 68000 | #Constraints: 7474
19.10/19.24 c #Conflicts: 69000 | #Constraints: 8474
19.10/19.24 c #Conflicts: 70000 | #Constraints: 9474
19.10/19.24 c #Conflicts: 71000 | #Constraints: 10474
19.10/19.24 c #Conflicts: 72000 | #Constraints: 11474
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 73000 | #Constraints: 7073
19.10/19.24 c #Conflicts: 74000 | #Constraints: 8073
19.10/19.24 c #Conflicts: 75000 | #Constraints: 9073
19.10/19.24 c #Conflicts: 76000 | #Constraints: 10073
19.10/19.24 c #Conflicts: 77000 | #Constraints: 11073
19.10/19.24 c #Conflicts: 78000 | #Constraints: 12073
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 79000 | #Constraints: 7476
19.10/19.24 c #Conflicts: 80000 | #Constraints: 8476
19.10/19.24 c #Conflicts: 81000 | #Constraints: 9476
19.10/19.24 c #Conflicts: 82000 | #Constraints: 10476
19.10/19.24 c #Conflicts: 83000 | #Constraints: 11476
19.10/19.24 c #Conflicts: 84000 | #Constraints: 12476
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 85000 | #Constraints: 7673
19.10/19.24 c #Conflicts: 86000 | #Constraints: 8673
19.10/19.24 c #Conflicts: 87000 | #Constraints: 9673
19.10/19.24 c #Conflicts: 88000 | #Constraints: 10673
19.10/19.24 c #Conflicts: 89000 | #Constraints: 11673
19.10/19.24 c #Conflicts: 90000 | #Constraints: 12673
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 91000 | #Constraints: 7672
19.10/19.24 c #Conflicts: 92000 | #Constraints: 8672
19.10/19.24 c #Conflicts: 93000 | #Constraints: 9672
19.10/19.24 c #Conflicts: 94000 | #Constraints: 10672
19.10/19.24 c #Conflicts: 95000 | #Constraints: 11672
19.10/19.24 c #Conflicts: 96000 | #Constraints: 12672
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 97000 | #Constraints: 7478
19.10/19.24 c #Conflicts: 98000 | #Constraints: 8478
19.10/19.24 c #Conflicts: 99000 | #Constraints: 9478
19.10/19.24 c #Conflicts: 100000 | #Constraints: 10478
19.10/19.24 c #Conflicts: 101000 | #Constraints: 11478
19.10/19.24 c #Conflicts: 102000 | #Constraints: 12478
19.10/19.24 c #Conflicts: 103000 | #Constraints: 13478
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 104000 | #Constraints: 8078
19.10/19.24 c #Conflicts: 105000 | #Constraints: 9078
19.10/19.24 c #Conflicts: 106000 | #Constraints: 10078
19.10/19.24 c #Conflicts: 107000 | #Constraints: 11078
19.10/19.24 c #Conflicts: 108000 | #Constraints: 12078
19.10/19.24 c #Conflicts: 109000 | #Constraints: 13078
19.10/19.24 c #Conflicts: 110000 | #Constraints: 14078
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 111000 | #Constraints: 8481
19.10/19.24 c #Conflicts: 112000 | #Constraints: 9481
19.10/19.24 c #Conflicts: 113000 | #Constraints: 10481
19.10/19.24 c #Conflicts: 114000 | #Constraints: 11481
19.10/19.24 c #Conflicts: 115000 | #Constraints: 12481
19.10/19.24 c #Conflicts: 116000 | #Constraints: 13481
19.10/19.24 c #Conflicts: 117000 | #Constraints: 14481
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 118000 | #Constraints: 8683
19.10/19.24 c #Conflicts: 119000 | #Constraints: 9683
19.10/19.24 c #Conflicts: 120000 | #Constraints: 10683
19.10/19.24 c #Conflicts: 121000 | #Constraints: 11683
19.10/19.24 c #Conflicts: 122000 | #Constraints: 12683
19.10/19.24 c #Conflicts: 123000 | #Constraints: 13683
19.10/19.24 c #Conflicts: 124000 | #Constraints: 14683
19.10/19.24 c INPROCESSING
19.10/19.24 c GARBAGE COLLECT
19.10/19.24 c #Conflicts: 125000 | #Constraints: 8686
19.10/19.24 c #Conflicts: 126000 | #Constraints: 9686
19.10/19.24 c #Conflicts: 127000 | #Constraints: 10686
19.10/19.24 c #Conflicts: 128000 | #Constraints: 11686
19.90/20.10 c #Conflicts: 129000 | #Constraints: 12686
19.90/20.10 c #Conflicts: 130000 | #Constraints: 13686
19.90/20.10 c #Conflicts: 131000 | #Constraints: 14686
19.90/20.10 c INPROCESSING
19.90/20.10 c GARBAGE COLLECT
19.90/20.10 c #Conflicts: 132000 | #Constraints: 8485
19.90/20.10 c GLOBAL bounds - >= -199 @ 19.1402
19.90/20.10 c GLOBAL bounds - >= -199 @ 19.1421
22.38/22.52 c #Conflicts: 133000 | #Constraints: 9485
22.38/22.52 c #Conflicts: 134000 | #Constraints: 10485
22.38/22.52 c #Conflicts: 135000 | #Constraints: 11485
22.38/22.52 c #Conflicts: 136000 | #Constraints: 12485
22.38/22.52 c #Conflicts: 137000 | #Constraints: 13485
22.38/22.52 c #Conflicts: 138000 | #Constraints: 14485
22.38/22.52 c #Conflicts: 139000 | #Constraints: 15485
22.38/22.52 c INPROCESSING
22.38/22.52 c GARBAGE COLLECT
22.38/22.52 c #Conflicts: 140000 | #Constraints: 9081
22.38/22.52 c #Conflicts: 141000 | #Constraints: 10081
22.38/22.52 c #Conflicts: 142000 | #Constraints: 11081
22.38/22.52 c #Conflicts: 143000 | #Constraints: 12081
22.38/22.52 c #Conflicts: 144000 | #Constraints: 13081
22.38/22.52 c #Conflicts: 145000 | #Constraints: 14081
22.38/22.52 c #Conflicts: 146000 | #Constraints: 15081
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5146
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5167
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5168
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5169
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5173
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5173
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5174
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5176
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5177
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5178
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5179
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.518
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5181
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5182
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5186
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5188
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.519
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5193
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5197
22.38/22.52 c GLOBAL bounds - >= -190 @ 21.5199
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5201
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5204
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5206
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5209
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.521
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5212
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5214
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5234
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5237
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5251
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.5253
22.38/22.53 c GLOBAL bounds - >= -190 @ 21.527
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5272
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5282
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5282
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5292
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5292
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5312
22.38/22.54 c GLOBAL bounds - >= -190 @ 21.5312
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5325
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5328
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5354
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5357
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5374
22.38/22.55 c GLOBAL bounds - >= -190 @ 21.5377
22.38/22.56 c GLOBAL bounds - >= -190 @ 21.5403
22.38/22.56 c GLOBAL bounds - >= -190 @ 21.5412
22.38/22.56 c GLOBAL bounds - >= -190 @ 21.5448
22.38/22.57 c GLOBAL bounds - >= -190 @ 21.5466
22.38/22.57 c GLOBAL bounds - >= -190 @ 21.5482
22.38/22.57 c GLOBAL bounds - >= -190 @ 21.5502
22.38/22.57 c GLOBAL bounds - >= -190 @ 21.5515
22.38/22.58 c GLOBAL bounds - >= -190 @ 21.5541
22.38/22.58 c GLOBAL bounds - >= -190 @ 21.5603
22.38/22.59 c GLOBAL bounds - >= -190 @ 21.562
22.38/22.59 c GLOBAL bounds - >= -190 @ 21.5641
22.38/22.59 c GLOBAL bounds - >= -190 @ 21.5665
22.38/22.60 c GLOBAL bounds - >= -190 @ 21.5672
22.49/22.60 c GLOBAL bounds - >= -190 @ 21.5691
22.49/22.60 c GLOBAL bounds - >= -190 @ 21.5701
22.49/22.60 c GLOBAL bounds - >= -190 @ 21.5701
22.49/22.61 c GLOBAL bounds - >= -190 @ 21.5721
22.49/22.61 c GLOBAL bounds - >= -190 @ 21.5761
22.49/22.61 c GLOBAL bounds - >= -190 @ 21.5783
22.49/22.65 c GLOBAL bounds - >= -190 @ 21.616
22.58/22.74 c #Conflicts: 147000 | #Constraints: 16142
22.58/22.74 c INPROCESSING
22.58/22.74 c GARBAGE COLLECT
22.58/22.74 c GLOBAL bounds - >= -190 @ 21.6977
22.58/22.75 c GLOBAL bounds - >= -190 @ 21.7062
22.58/22.75 c GLOBAL bounds - >= -190 @ 21.7077
23.48/23.65 c #Conflicts: 148000 | #Constraints: 9526
23.48/23.65 c #Conflicts: 149000 | #Constraints: 10526
23.48/23.65 c #Conflicts: 150000 | #Constraints: 11526
23.48/23.65 c #Conflicts: 151000 | #Constraints: 12526
23.48/23.65 c #Conflicts: 152000 | #Constraints: 13526
23.48/23.65 c #Conflicts: 153000 | #Constraints: 14526
23.48/23.65 c GLOBAL bounds - >= -190 @ 22.5884
23.48/23.66 c GLOBAL bounds - >= -190 @ 22.5931
25.77/25.97 c #Conflicts: 154000 | #Constraints: 15526
25.77/25.97 c #Conflicts: 155000 | #Constraints: 16526
25.77/25.97 c INPROCESSING
25.77/25.97 c GARBAGE COLLECT
25.77/25.97 c #Conflicts: 156000 | #Constraints: 9726
25.77/25.97 c #Conflicts: 157000 | #Constraints: 10726
25.77/25.97 c #Conflicts: 158000 | #Constraints: 11726
25.77/25.97 c #Conflicts: 159000 | #Constraints: 12726
25.77/25.97 c #Conflicts: 160000 | #Constraints: 13726
25.77/25.97 c #Conflicts: 161000 | #Constraints: 14726
25.77/25.97 c #Conflicts: 162000 | #Constraints: 15726
25.77/25.97 c #Conflicts: 163000 | #Constraints: 16726
25.77/25.97 c INPROCESSING
25.77/25.97 c GARBAGE COLLECT
25.77/25.97 c #Conflicts: 164000 | #Constraints: 9725
25.77/25.97 c #Conflicts: 165000 | #Constraints: 10725
25.77/25.97 c #Conflicts: 166000 | #Constraints: 11725
25.77/25.97 c #Conflicts: 167000 | #Constraints: 12725
25.77/25.97 c GLOBAL bounds - >= -190 @ 24.8435
39.13/39.33 c #Conflicts: 168000 | #Constraints: 13725
39.13/39.33 c #Conflicts: 169000 | #Constraints: 14725
39.13/39.33 c #Conflicts: 170000 | #Constraints: 15725
39.13/39.33 c #Conflicts: 171000 | #Constraints: 16725
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 172000 | #Constraints: 9527
39.13/39.33 c #Conflicts: 173000 | #Constraints: 10527
39.13/39.33 c #Conflicts: 174000 | #Constraints: 11527
39.13/39.33 c #Conflicts: 175000 | #Constraints: 12527
39.13/39.33 c #Conflicts: 176000 | #Constraints: 13527
39.13/39.33 c #Conflicts: 177000 | #Constraints: 14527
39.13/39.33 c #Conflicts: 178000 | #Constraints: 15527
39.13/39.33 c #Conflicts: 179000 | #Constraints: 16527
39.13/39.33 c #Conflicts: 180000 | #Constraints: 17527
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 181000 | #Constraints: 10129
39.13/39.33 c #Conflicts: 182000 | #Constraints: 11129
39.13/39.33 c #Conflicts: 183000 | #Constraints: 12129
39.13/39.33 c #Conflicts: 184000 | #Constraints: 13129
39.13/39.33 c #Conflicts: 185000 | #Constraints: 14129
39.13/39.33 c #Conflicts: 186000 | #Constraints: 15129
39.13/39.33 c #Conflicts: 187000 | #Constraints: 16129
39.13/39.33 c #Conflicts: 188000 | #Constraints: 17129
39.13/39.33 c #Conflicts: 189000 | #Constraints: 18129
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 190000 | #Constraints: 10531
39.13/39.33 c #Conflicts: 191000 | #Constraints: 11531
39.13/39.33 c #Conflicts: 192000 | #Constraints: 12531
39.13/39.33 c #Conflicts: 193000 | #Constraints: 13531
39.13/39.33 c #Conflicts: 194000 | #Constraints: 14531
39.13/39.33 c #Conflicts: 195000 | #Constraints: 15531
39.13/39.33 c #Conflicts: 196000 | #Constraints: 16531
39.13/39.33 c #Conflicts: 197000 | #Constraints: 17531
39.13/39.33 c #Conflicts: 198000 | #Constraints: 18531
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 199000 | #Constraints: 10730
39.13/39.33 c #Conflicts: 200000 | #Constraints: 11730
39.13/39.33 c #Conflicts: 201000 | #Constraints: 12730
39.13/39.33 c #Conflicts: 202000 | #Constraints: 13730
39.13/39.33 c #Conflicts: 203000 | #Constraints: 14730
39.13/39.33 c #Conflicts: 204000 | #Constraints: 15730
39.13/39.33 c #Conflicts: 205000 | #Constraints: 16730
39.13/39.33 c #Conflicts: 206000 | #Constraints: 17730
39.13/39.33 c #Conflicts: 207000 | #Constraints: 18730
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 208000 | #Constraints: 10727
39.13/39.33 c #Conflicts: 209000 | #Constraints: 11727
39.13/39.33 c #Conflicts: 210000 | #Constraints: 12727
39.13/39.33 c #Conflicts: 211000 | #Constraints: 13727
39.13/39.33 c #Conflicts: 212000 | #Constraints: 14727
39.13/39.33 c #Conflicts: 213000 | #Constraints: 15727
39.13/39.33 c #Conflicts: 214000 | #Constraints: 16727
39.13/39.33 c #Conflicts: 215000 | #Constraints: 17727
39.13/39.33 c #Conflicts: 216000 | #Constraints: 18727
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 217000 | #Constraints: 10533
39.13/39.33 c #Conflicts: 218000 | #Constraints: 11533
39.13/39.33 c #Conflicts: 219000 | #Constraints: 12533
39.13/39.33 c #Conflicts: 220000 | #Constraints: 13533
39.13/39.33 c #Conflicts: 221000 | #Constraints: 14533
39.13/39.33 c #Conflicts: 222000 | #Constraints: 15533
39.13/39.33 c #Conflicts: 223000 | #Constraints: 16533
39.13/39.33 c #Conflicts: 224000 | #Constraints: 17533
39.13/39.33 c #Conflicts: 225000 | #Constraints: 18533
39.13/39.33 c #Conflicts: 226000 | #Constraints: 19533
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 227000 | #Constraints: 11134
39.13/39.33 c #Conflicts: 228000 | #Constraints: 12134
39.13/39.33 c #Conflicts: 229000 | #Constraints: 13134
39.13/39.33 c #Conflicts: 230000 | #Constraints: 14134
39.13/39.33 c #Conflicts: 231000 | #Constraints: 15134
39.13/39.33 c #Conflicts: 232000 | #Constraints: 16134
39.13/39.33 c #Conflicts: 233000 | #Constraints: 17134
39.13/39.33 c #Conflicts: 234000 | #Constraints: 18134
39.13/39.33 c #Conflicts: 235000 | #Constraints: 19134
39.13/39.33 c #Conflicts: 236000 | #Constraints: 20134
39.13/39.33 c INPROCESSING
39.13/39.33 c GARBAGE COLLECT
39.13/39.33 c #Conflicts: 237000 | #Constraints: 11533
39.13/39.33 c #Conflicts: 238000 | #Constraints: 12533
39.13/39.33 c #Conflicts: 239000 | #Constraints: 13533
39.13/39.33 c #Conflicts: 240000 | #Constraints: 14533
39.13/39.33 c #Conflicts: 241000 | #Constraints: 15533
53.59/53.83 c #Conflicts: 242000 | #Constraints: 16533
53.59/53.83 c #Conflicts: 243000 | #Constraints: 17533
53.59/53.83 c #Conflicts: 244000 | #Constraints: 18533
53.59/53.83 c #Conflicts: 245000 | #Constraints: 19533
53.59/53.83 c #Conflicts: 246000 | #Constraints: 20533
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 247000 | #Constraints: 11731
53.59/53.83 c #Conflicts: 248000 | #Constraints: 12731
53.59/53.83 c #Conflicts: 249000 | #Constraints: 13731
53.59/53.83 c #Conflicts: 250000 | #Constraints: 14731
53.59/53.83 c #Conflicts: 251000 | #Constraints: 15731
53.59/53.83 c #Conflicts: 252000 | #Constraints: 16731
53.59/53.83 c #Conflicts: 253000 | #Constraints: 17731
53.59/53.83 c #Conflicts: 254000 | #Constraints: 18731
53.59/53.83 c #Conflicts: 255000 | #Constraints: 19731
53.59/53.83 c #Conflicts: 256000 | #Constraints: 20731
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 257000 | #Constraints: 11734
53.59/53.83 c #Conflicts: 258000 | #Constraints: 12734
53.59/53.83 c #Conflicts: 259000 | #Constraints: 13734
53.59/53.83 c #Conflicts: 260000 | #Constraints: 14734
53.59/53.83 c #Conflicts: 261000 | #Constraints: 15734
53.59/53.83 c #Conflicts: 262000 | #Constraints: 16734
53.59/53.83 c #Conflicts: 263000 | #Constraints: 17734
53.59/53.83 c #Conflicts: 264000 | #Constraints: 18734
53.59/53.83 c #Conflicts: 265000 | #Constraints: 19734
53.59/53.83 c #Conflicts: 266000 | #Constraints: 20734
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 267000 | #Constraints: 11540
53.59/53.83 c #Conflicts: 268000 | #Constraints: 12540
53.59/53.83 c #Conflicts: 269000 | #Constraints: 13540
53.59/53.83 c #Conflicts: 270000 | #Constraints: 14540
53.59/53.83 c #Conflicts: 271000 | #Constraints: 15540
53.59/53.83 c #Conflicts: 272000 | #Constraints: 16540
53.59/53.83 c #Conflicts: 273000 | #Constraints: 17540
53.59/53.83 c #Conflicts: 274000 | #Constraints: 18540
53.59/53.83 c #Conflicts: 275000 | #Constraints: 19540
53.59/53.83 c #Conflicts: 276000 | #Constraints: 20540
53.59/53.83 c #Conflicts: 277000 | #Constraints: 21540
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 278000 | #Constraints: 12136
53.59/53.83 c #Conflicts: 279000 | #Constraints: 13136
53.59/53.83 c #Conflicts: 280000 | #Constraints: 14136
53.59/53.83 c #Conflicts: 281000 | #Constraints: 15136
53.59/53.83 c #Conflicts: 282000 | #Constraints: 16136
53.59/53.83 c #Conflicts: 283000 | #Constraints: 17136
53.59/53.83 c #Conflicts: 284000 | #Constraints: 18136
53.59/53.83 c #Conflicts: 285000 | #Constraints: 19136
53.59/53.83 c #Conflicts: 286000 | #Constraints: 20136
53.59/53.83 c #Conflicts: 287000 | #Constraints: 21136
53.59/53.83 c #Conflicts: 288000 | #Constraints: 22136
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 289000 | #Constraints: 12539
53.59/53.83 c #Conflicts: 290000 | #Constraints: 13539
53.59/53.83 c #Conflicts: 291000 | #Constraints: 14539
53.59/53.83 c #Conflicts: 292000 | #Constraints: 15539
53.59/53.83 c #Conflicts: 293000 | #Constraints: 16539
53.59/53.83 c #Conflicts: 294000 | #Constraints: 17539
53.59/53.83 c #Conflicts: 295000 | #Constraints: 18539
53.59/53.83 c #Conflicts: 296000 | #Constraints: 19539
53.59/53.83 c #Conflicts: 297000 | #Constraints: 20539
53.59/53.83 c #Conflicts: 298000 | #Constraints: 21539
53.59/53.83 c #Conflicts: 299000 | #Constraints: 22539
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 300000 | #Constraints: 12737
53.59/53.83 c #Conflicts: 301000 | #Constraints: 13737
53.59/53.83 c #Conflicts: 302000 | #Constraints: 14737
53.59/53.83 c #Conflicts: 303000 | #Constraints: 15737
53.59/53.83 c #Conflicts: 304000 | #Constraints: 16737
53.59/53.83 c #Conflicts: 305000 | #Constraints: 17737
53.59/53.83 c #Conflicts: 306000 | #Constraints: 18737
53.59/53.83 c #Conflicts: 307000 | #Constraints: 19737
53.59/53.83 c #Conflicts: 308000 | #Constraints: 20737
53.59/53.83 c #Conflicts: 309000 | #Constraints: 21737
53.59/53.83 c #Conflicts: 310000 | #Constraints: 22737
53.59/53.83 c INPROCESSING
53.59/53.83 c GARBAGE COLLECT
53.59/53.83 c #Conflicts: 311000 | #Constraints: 12737
53.59/53.83 c #Conflicts: 312000 | #Constraints: 13737
53.59/53.83 c #Conflicts: 313000 | #Constraints: 14737
53.59/53.83 c #Conflicts: 314000 | #Constraints: 15737
53.59/53.83 c #Conflicts: 315000 | #Constraints: 16737
53.59/53.83 c #Conflicts: 316000 | #Constraints: 17737
58.78/59.04 c #Conflicts: 317000 | #Constraints: 18737
58.78/59.04 c #Conflicts: 318000 | #Constraints: 19737
58.78/59.04 c #Conflicts: 319000 | #Constraints: 20737
58.78/59.04 c #Conflicts: 320000 | #Constraints: 21737
58.78/59.04 c #Conflicts: 321000 | #Constraints: 22737
58.78/59.04 c INPROCESSING
58.78/59.04 c GARBAGE COLLECT
58.78/59.04 c #Conflicts: 322000 | #Constraints: 12538
58.78/59.04 c #Conflicts: 323000 | #Constraints: 13538
58.78/59.04 c #Conflicts: 324000 | #Constraints: 14538
58.78/59.04 c #Conflicts: 325000 | #Constraints: 15538
58.78/59.04 c #Conflicts: 326000 | #Constraints: 16538
58.78/59.04 c #Conflicts: 327000 | #Constraints: 17538
58.78/59.04 c #Conflicts: 328000 | #Constraints: 18538
58.78/59.04 c #Conflicts: 329000 | #Constraints: 19538
58.78/59.04 c #Conflicts: 330000 | #Constraints: 20538
58.78/59.04 c #Conflicts: 331000 | #Constraints: 21538
58.78/59.04 c #Conflicts: 332000 | #Constraints: 22538
58.78/59.04 c #Conflicts: 333000 | #Constraints: 23538
58.78/59.04 c INPROCESSING
58.78/59.04 c GARBAGE COLLECT
58.78/59.04 c #Conflicts: 334000 | #Constraints: 13141
58.78/59.04 c #Conflicts: 335000 | #Constraints: 14141
58.78/59.04 c #Conflicts: 336000 | #Constraints: 15141
58.78/59.04 c #Conflicts: 337000 | #Constraints: 16141
58.78/59.04 c #Conflicts: 338000 | #Constraints: 17141
58.78/59.04 c #Conflicts: 339000 | #Constraints: 18141
58.78/59.04 c #Conflicts: 340000 | #Constraints: 19141
58.78/59.04 c #Conflicts: 341000 | #Constraints: 20141
58.78/59.04 c #Conflicts: 342000 | #Constraints: 21141
58.78/59.04 c GLOBAL bounds - >= -184 @ 57.2448
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2471
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2471
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2477
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2479
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2481
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2482
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2482
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2483
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2483
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2483
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2486
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2488
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2491
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2493
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2497
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2499
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2501
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2504
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2506
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2508
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.251
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2512
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2515
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2517
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.252
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2523
58.78/59.05 c GLOBAL bounds - >= -184 @ 57.2527
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2553
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2555
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2572
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2576
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2592
58.78/59.06 c GLOBAL bounds - >= -184 @ 57.2595
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.261
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2612
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2629
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2631
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2642
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2642
58.78/59.07 c GLOBAL bounds - >= -184 @ 57.2659
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2663
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2679
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2682
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2698
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2701
58.78/59.08 c GLOBAL bounds - >= -184 @ 57.2729
58.78/59.09 c GLOBAL bounds - >= -184 @ 57.2746
58.78/59.09 c GLOBAL bounds - >= -184 @ 57.2762
58.78/59.09 c GLOBAL bounds - >= -184 @ 57.2772
58.78/59.09 c GLOBAL bounds - >= -184 @ 57.2782
58.78/59.10 c GLOBAL bounds - >= -184 @ 57.2795
58.78/59.10 c GLOBAL bounds - >= -184 @ 57.2822
58.88/59.10 c GLOBAL bounds - >= -184 @ 57.2832
58.88/59.11 c GLOBAL bounds - >= -184 @ 57.285
58.88/59.11 c GLOBAL bounds - >= -184 @ 57.2891
58.88/59.11 c GLOBAL bounds - >= -184 @ 57.2918
58.88/59.12 c GLOBAL bounds - >= -184 @ 57.2968
58.88/59.12 c GLOBAL bounds - >= -184 @ 57.2991
58.88/59.13 c GLOBAL bounds - >= -184 @ 57.3011
58.88/59.13 c GLOBAL bounds - >= -184 @ 57.3041
58.88/59.13 c GLOBAL bounds - >= -184 @ 57.3061
58.88/59.14 c GLOBAL bounds - >= -184 @ 57.3101
58.88/59.14 c GLOBAL bounds - >= -184 @ 57.3121
58.88/59.18 c GLOBAL bounds - >= -184 @ 57.3462
58.88/59.18 c GLOBAL bounds - >= -184 @ 57.3487
59.07/59.37 c #Conflicts: 343000 | #Constraints: 22188
59.07/59.37 c GLOBAL bounds - >= -184 @ 57.5361
59.07/59.37 c GLOBAL bounds - >= -184 @ 57.5391
59.18/59.40 c GLOBAL bounds - >= -184 @ 57.5595
59.18/59.45 c GLOBAL bounds - >= -184 @ 57.614
59.18/59.46 c GLOBAL bounds - >= -184 @ 57.6152
68.35/68.60 c #Conflicts: 344000 | #Constraints: 23191
68.35/68.60 c #Conflicts: 345000 | #Constraints: 24191
68.35/68.60 c INPROCESSING
68.35/68.60 c GARBAGE COLLECT
68.35/68.60 c #Conflicts: 346000 | #Constraints: 13579
68.35/68.60 c #Conflicts: 347000 | #Constraints: 14579
68.35/68.60 c #Conflicts: 348000 | #Constraints: 15579
68.35/68.60 c #Conflicts: 349000 | #Constraints: 16579
68.35/68.60 c #Conflicts: 350000 | #Constraints: 17579
68.35/68.60 c #Conflicts: 351000 | #Constraints: 18579
68.35/68.60 c #Conflicts: 352000 | #Constraints: 19579
68.35/68.60 c #Conflicts: 353000 | #Constraints: 20579
68.35/68.60 c #Conflicts: 354000 | #Constraints: 21579
68.35/68.60 c #Conflicts: 355000 | #Constraints: 22579
68.35/68.60 c #Conflicts: 356000 | #Constraints: 23579
68.35/68.60 c #Conflicts: 357000 | #Constraints: 24579
68.35/68.60 c INPROCESSING
68.35/68.60 c GARBAGE COLLECT
68.35/68.60 c #Conflicts: 358000 | #Constraints: 13782
68.35/68.60 c #Conflicts: 359000 | #Constraints: 14782
68.35/68.60 c #Conflicts: 360000 | #Constraints: 15782
68.35/68.60 c #Conflicts: 361000 | #Constraints: 16782
68.35/68.60 c #Conflicts: 362000 | #Constraints: 17782
68.35/68.60 c #Conflicts: 363000 | #Constraints: 18782
68.35/68.60 c #Conflicts: 364000 | #Constraints: 19782
68.35/68.60 c #Conflicts: 365000 | #Constraints: 20782
68.35/68.60 c #Conflicts: 366000 | #Constraints: 21782
68.35/68.60 c #Conflicts: 367000 | #Constraints: 22782
68.35/68.60 c #Conflicts: 368000 | #Constraints: 23782
68.35/68.60 c #Conflicts: 369000 | #Constraints: 24782
68.35/68.60 c INPROCESSING
68.35/68.60 c GARBAGE COLLECT
68.35/68.60 c #Conflicts: 370000 | #Constraints: 13781
68.35/68.60 c #Conflicts: 371000 | #Constraints: 14781
68.35/68.60 c #Conflicts: 372000 | #Constraints: 15781
68.35/68.60 c #Conflicts: 373000 | #Constraints: 16781
68.35/68.60 c #Conflicts: 374000 | #Constraints: 17781
68.35/68.60 c #Conflicts: 375000 | #Constraints: 18781
68.35/68.60 c #Conflicts: 376000 | #Constraints: 19781
68.35/68.60 c #Conflicts: 377000 | #Constraints: 20781
68.35/68.60 c #Conflicts: 378000 | #Constraints: 21781
68.35/68.60 c #Conflicts: 379000 | #Constraints: 22781
68.35/68.60 c #Conflicts: 380000 | #Constraints: 23781
68.35/68.60 c #Conflicts: 381000 | #Constraints: 24781
68.35/68.60 c INPROCESSING
68.35/68.60 c GARBAGE COLLECT
68.35/68.60 c #Conflicts: 382000 | #Constraints: 13580
68.35/68.60 c #Conflicts: 383000 | #Constraints: 14580
68.35/68.60 c #Conflicts: 384000 | #Constraints: 15580
68.35/68.60 c #Conflicts: 385000 | #Constraints: 16580
68.35/68.60 c GLOBAL bounds - >= -184 @ 66.5987
68.35/68.61 c GLOBAL bounds - >= -184 @ 66.6003
68.35/68.67 c GLOBAL bounds - >= -184 @ 66.6662
68.35/68.68 c GLOBAL bounds - >= -184 @ 66.6692
84.89/85.25 c #Conflicts: 386000 | #Constraints: 17580
84.89/85.25 c #Conflicts: 387000 | #Constraints: 18580
84.89/85.25 c #Conflicts: 388000 | #Constraints: 19580
84.89/85.25 c #Conflicts: 389000 | #Constraints: 20580
84.89/85.25 c #Conflicts: 390000 | #Constraints: 21580
84.89/85.25 c #Conflicts: 391000 | #Constraints: 22580
84.89/85.25 c #Conflicts: 392000 | #Constraints: 23580
84.89/85.25 c #Conflicts: 393000 | #Constraints: 24580
84.89/85.25 c #Conflicts: 394000 | #Constraints: 25580
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
84.89/85.25 c #Conflicts: 395000 | #Constraints: 14177
84.89/85.25 c #Conflicts: 396000 | #Constraints: 15177
84.89/85.25 c #Conflicts: 397000 | #Constraints: 16177
84.89/85.25 c #Conflicts: 398000 | #Constraints: 17177
84.89/85.25 c #Conflicts: 399000 | #Constraints: 18177
84.89/85.25 c #Conflicts: 400000 | #Constraints: 19177
84.89/85.25 c #Conflicts: 401000 | #Constraints: 20177
84.89/85.25 c #Conflicts: 402000 | #Constraints: 21177
84.89/85.25 c #Conflicts: 403000 | #Constraints: 22177
84.89/85.25 c #Conflicts: 404000 | #Constraints: 23177
84.89/85.25 c #Conflicts: 405000 | #Constraints: 24177
84.89/85.25 c #Conflicts: 406000 | #Constraints: 25177
84.89/85.25 c #Conflicts: 407000 | #Constraints: 26177
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
84.89/85.25 c #Conflicts: 408000 | #Constraints: 14579
84.89/85.25 c #Conflicts: 409000 | #Constraints: 15579
84.89/85.25 c #Conflicts: 410000 | #Constraints: 16579
84.89/85.25 c #Conflicts: 411000 | #Constraints: 17579
84.89/85.25 c #Conflicts: 412000 | #Constraints: 18579
84.89/85.25 c #Conflicts: 413000 | #Constraints: 19579
84.89/85.25 c #Conflicts: 414000 | #Constraints: 20579
84.89/85.25 c #Conflicts: 415000 | #Constraints: 21579
84.89/85.25 c #Conflicts: 416000 | #Constraints: 22579
84.89/85.25 c #Conflicts: 417000 | #Constraints: 23579
84.89/85.25 c #Conflicts: 418000 | #Constraints: 24579
84.89/85.25 c #Conflicts: 419000 | #Constraints: 25579
84.89/85.25 c #Conflicts: 420000 | #Constraints: 26579
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
84.89/85.25 c #Conflicts: 421000 | #Constraints: 14781
84.89/85.25 c #Conflicts: 422000 | #Constraints: 15781
84.89/85.25 c #Conflicts: 423000 | #Constraints: 16781
84.89/85.25 c #Conflicts: 424000 | #Constraints: 17781
84.89/85.25 c #Conflicts: 425000 | #Constraints: 18781
84.89/85.25 c #Conflicts: 426000 | #Constraints: 19781
84.89/85.25 c #Conflicts: 427000 | #Constraints: 20781
84.89/85.25 c #Conflicts: 428000 | #Constraints: 21781
84.89/85.25 c #Conflicts: 429000 | #Constraints: 22781
84.89/85.25 c #Conflicts: 430000 | #Constraints: 23781
84.89/85.25 c #Conflicts: 431000 | #Constraints: 24781
84.89/85.25 c #Conflicts: 432000 | #Constraints: 25781
84.89/85.25 c #Conflicts: 433000 | #Constraints: 26781
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
84.89/85.25 c #Conflicts: 434000 | #Constraints: 14781
84.89/85.25 c #Conflicts: 435000 | #Constraints: 15781
84.89/85.25 c #Conflicts: 436000 | #Constraints: 16781
84.89/85.25 c #Conflicts: 437000 | #Constraints: 17781
84.89/85.25 c #Conflicts: 438000 | #Constraints: 18781
84.89/85.25 c #Conflicts: 439000 | #Constraints: 19781
84.89/85.25 c #Conflicts: 440000 | #Constraints: 20781
84.89/85.25 c #Conflicts: 441000 | #Constraints: 21781
84.89/85.25 c #Conflicts: 442000 | #Constraints: 22781
84.89/85.25 c #Conflicts: 443000 | #Constraints: 23781
84.89/85.25 c #Conflicts: 444000 | #Constraints: 24781
84.89/85.25 c #Conflicts: 445000 | #Constraints: 25781
84.89/85.25 c #Conflicts: 446000 | #Constraints: 26781
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
84.89/85.25 c #Conflicts: 447000 | #Constraints: 14581
84.89/85.25 c #Conflicts: 448000 | #Constraints: 15581
84.89/85.25 c #Conflicts: 449000 | #Constraints: 16581
84.89/85.25 c #Conflicts: 450000 | #Constraints: 17581
84.89/85.25 c #Conflicts: 451000 | #Constraints: 18581
84.89/85.25 c #Conflicts: 452000 | #Constraints: 19581
84.89/85.25 c #Conflicts: 453000 | #Constraints: 20581
84.89/85.25 c #Conflicts: 454000 | #Constraints: 21581
84.89/85.25 c #Conflicts: 455000 | #Constraints: 22581
84.89/85.25 c #Conflicts: 456000 | #Constraints: 23581
84.89/85.25 c #Conflicts: 457000 | #Constraints: 24581
84.89/85.25 c #Conflicts: 458000 | #Constraints: 25581
84.89/85.25 c #Conflicts: 459000 | #Constraints: 26581
84.89/85.25 c #Conflicts: 460000 | #Constraints: 27581
84.89/85.25 c INPROCESSING
84.89/85.25 c GARBAGE COLLECT
87.29/87.64 c #Conflicts: 461000 | #Constraints: 15178
87.29/87.64 c #Conflicts: 462000 | #Constraints: 16178
87.29/87.64 c #Conflicts: 463000 | #Constraints: 17178
87.29/87.64 c #Conflicts: 464000 | #Constraints: 18178
87.29/87.64 c #Conflicts: 465000 | #Constraints: 19178
87.29/87.64 c #Conflicts: 466000 | #Constraints: 20178
87.29/87.64 c #Conflicts: 467000 | #Constraints: 21178
87.29/87.64 c #Conflicts: 468000 | #Constraints: 22178
87.29/87.64 c #Conflicts: 469000 | #Constraints: 23178
87.29/87.64 c #Conflicts: 470000 | #Constraints: 24178
87.29/87.64 c #Conflicts: 471000 | #Constraints: 25178
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2655
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2686
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2687
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2689
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2691
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2692
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2699
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2702
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2704
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2707
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2709
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2711
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2714
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2718
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2718
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2719
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.272
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2721
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2724
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2726
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2728
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2731
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2733
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2735
87.29/87.64 c GLOBAL bounds - >= -182 @ 85.2738
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.274
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2742
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2744
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2748
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2748
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2749
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2771
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2771
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2771
87.29/87.65 c GLOBAL bounds - >= -182 @ 85.2775
87.29/87.66 c GLOBAL bounds - >= -182 @ 85.2792
87.29/87.66 c GLOBAL bounds - >= -182 @ 85.2794
87.29/87.66 c GLOBAL bounds - >= -182 @ 85.2813
87.29/87.66 c GLOBAL bounds - >= -182 @ 85.2817
87.29/87.66 c GLOBAL bounds - >= -182 @ 85.2834
87.29/87.66 c GLOBAL bounds -153 >= -182 @ 85.2852
87.29/87.67 c GLOBAL bounds -153 >= -182 @ 85.286
87.29/87.67 c GLOBAL bounds -158 >= -182 @ 85.2873
87.29/87.67 c GLOBAL bounds -158 >= -182 @ 85.2922
87.29/87.67 c GLOBAL bounds -158 >= -182 @ 85.2926
87.39/87.76 c #Conflicts: 472000 | #Constraints: 26216
87.39/87.76 c GLOBAL bounds -158 >= -182 @ 85.3802
87.39/87.76 c GLOBAL bounds -161 >= -182 @ 85.3817
87.39/87.79 c GLOBAL bounds -161 >= -182 @ 85.4057
87.39/87.79 c GLOBAL bounds -161 >= -182 @ 85.4058
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4078
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4082
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4108
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4111
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4128
87.49/87.80 c GLOBAL bounds -161 >= -182 @ 85.4131
87.49/87.81 c GLOBAL bounds -161 >= -182 @ 85.4226
87.49/87.82 c GLOBAL bounds -161 >= -182 @ 85.4258
87.49/87.83 c GLOBAL bounds -161 >= -182 @ 85.4346
87.49/87.83 c GLOBAL bounds -161 >= -182 @ 85.4376
87.49/87.84 c GLOBAL bounds -161 >= -182 @ 85.4386
87.49/87.84 c GLOBAL bounds -161 >= -182 @ 85.4396
87.49/87.84 c GLOBAL bounds -161 >= -182 @ 85.4421
87.49/87.85 c GLOBAL bounds -161 >= -182 @ 85.4436
87.49/87.85 c GLOBAL bounds -161 >= -182 @ 85.4436
87.79/88.17 c #Conflicts: 473000 | #Constraints: 27222
87.79/88.17 c #Conflicts: 474000 | #Constraints: 28222
87.79/88.17 c INPROCESSING
87.79/88.17 c GARBAGE COLLECT
87.79/88.17 c GLOBAL bounds -161 >= -182 @ 85.7606
87.79/88.17 c GLOBAL bounds -161 >= -182 @ 85.7622
87.79/88.18 c GLOBAL bounds -161 >= -182 @ 85.7676
104.23/104.68 c #Conflicts: 475000 | #Constraints: 15471
104.23/104.68 c #Conflicts: 476000 | #Constraints: 16471
104.23/104.68 c #Conflicts: 477000 | #Constraints: 17471
104.23/104.68 c #Conflicts: 478000 | #Constraints: 18471
104.23/104.68 c #Conflicts: 479000 | #Constraints: 19471
104.23/104.68 c #Conflicts: 480000 | #Constraints: 20471
104.23/104.68 c #Conflicts: 481000 | #Constraints: 21471
104.23/104.68 c #Conflicts: 482000 | #Constraints: 22471
104.23/104.68 c #Conflicts: 483000 | #Constraints: 23471
104.23/104.68 c #Conflicts: 484000 | #Constraints: 24471
104.23/104.68 c #Conflicts: 485000 | #Constraints: 25471
104.23/104.68 c #Conflicts: 486000 | #Constraints: 26471
104.23/104.68 c #Conflicts: 487000 | #Constraints: 27471
104.23/104.68 c #Conflicts: 488000 | #Constraints: 28471
104.23/104.68 c INPROCESSING
104.23/104.68 c GARBAGE COLLECT
104.23/104.68 c #Conflicts: 489000 | #Constraints: 15676
104.23/104.68 c #Conflicts: 490000 | #Constraints: 16676
104.23/104.68 c #Conflicts: 491000 | #Constraints: 17676
104.23/104.68 c #Conflicts: 492000 | #Constraints: 18676
104.23/104.68 c #Conflicts: 493000 | #Constraints: 19676
104.23/104.68 c #Conflicts: 494000 | #Constraints: 20676
104.23/104.68 c #Conflicts: 495000 | #Constraints: 21676
104.23/104.68 c #Conflicts: 496000 | #Constraints: 22676
104.23/104.68 c #Conflicts: 497000 | #Constraints: 23676
104.23/104.68 c #Conflicts: 498000 | #Constraints: 24676
104.23/104.68 c #Conflicts: 499000 | #Constraints: 25676
104.23/104.68 c #Conflicts: 500000 | #Constraints: 26676
104.23/104.68 c #Conflicts: 501000 | #Constraints: 27676
104.23/104.68 c #Conflicts: 502000 | #Constraints: 28676
104.23/104.68 c INPROCESSING
104.23/104.68 c GARBAGE COLLECT
104.23/104.68 c #Conflicts: 503000 | #Constraints: 15678
104.23/104.68 c #Conflicts: 504000 | #Constraints: 16678
104.23/104.68 c #Conflicts: 505000 | #Constraints: 17678
104.23/104.68 c #Conflicts: 506000 | #Constraints: 18678
104.23/104.68 c #Conflicts: 507000 | #Constraints: 19678
104.23/104.68 c #Conflicts: 508000 | #Constraints: 20678
104.23/104.68 c #Conflicts: 509000 | #Constraints: 21678
104.23/104.68 c #Conflicts: 510000 | #Constraints: 22678
104.23/104.68 c #Conflicts: 511000 | #Constraints: 23678
104.23/104.68 c #Conflicts: 512000 | #Constraints: 24678
104.23/104.68 c #Conflicts: 513000 | #Constraints: 25678
104.23/104.68 c #Conflicts: 514000 | #Constraints: 26678
104.23/104.68 c #Conflicts: 515000 | #Constraints: 27678
104.23/104.68 c #Conflicts: 516000 | #Constraints: 28678
104.23/104.68 c INPROCESSING
104.23/104.68 c GARBAGE COLLECT
104.23/104.68 c #Conflicts: 517000 | #Constraints: 15471
104.23/104.68 c #Conflicts: 518000 | #Constraints: 16471
104.23/104.68 c #Conflicts: 519000 | #Constraints: 17471
104.23/104.68 c #Conflicts: 520000 | #Constraints: 18471
104.23/104.68 c #Conflicts: 521000 | #Constraints: 19471
104.23/104.68 c #Conflicts: 522000 | #Constraints: 20471
104.23/104.68 c #Conflicts: 523000 | #Constraints: 21471
104.23/104.68 c #Conflicts: 524000 | #Constraints: 22471
104.23/104.68 c #Conflicts: 525000 | #Constraints: 23471
104.23/104.68 c #Conflicts: 526000 | #Constraints: 24471
104.23/104.68 c #Conflicts: 527000 | #Constraints: 25471
104.23/104.68 c #Conflicts: 528000 | #Constraints: 26471
104.23/104.68 c #Conflicts: 529000 | #Constraints: 27471
104.23/104.68 c #Conflicts: 530000 | #Constraints: 28471
104.23/104.68 c #Conflicts: 531000 | #Constraints: 29471
104.23/104.68 c INPROCESSING
104.23/104.68 c GARBAGE COLLECT
104.23/104.68 c #Conflicts: 532000 | #Constraints: 16069
104.23/104.68 c #Conflicts: 533000 | #Constraints: 17069
104.23/104.68 c #Conflicts: 534000 | #Constraints: 18069
104.23/104.68 c #Conflicts: 535000 | #Constraints: 19069
104.23/104.68 c #Conflicts: 536000 | #Constraints: 20069
104.23/104.68 c #Conflicts: 537000 | #Constraints: 21069
104.23/104.68 c #Conflicts: 538000 | #Constraints: 22069
104.23/104.68 c #Conflicts: 539000 | #Constraints: 23069
104.23/104.68 c #Conflicts: 540000 | #Constraints: 24069
104.23/104.68 c #Conflicts: 541000 | #Constraints: 25069
104.23/104.68 c #Conflicts: 542000 | #Constraints: 26069
104.23/104.68 c #Conflicts: 543000 | #Constraints: 27069
104.23/104.68 c #Conflicts: 544000 | #Constraints: 28069
104.23/104.68 c #Conflicts: 545000 | #Constraints: 29069
104.23/104.68 c #Conflicts: 546000 | #Constraints: 30069
104.23/104.68 c INPROCESSING
104.23/104.68 c GARBAGE COLLECT
104.23/104.68 c #Conflicts: 547000 | #Constraints: 16476
104.23/104.68 c #Conflicts: 548000 | #Constraints: 17476
104.23/104.68 c #Conflicts: 549000 | #Constraints: 18476
104.23/104.68 c #Conflicts: 550000 | #Constraints: 19476
120.81/121.36 c #Conflicts: 551000 | #Constraints: 20476
120.81/121.36 c #Conflicts: 552000 | #Constraints: 21476
120.81/121.36 c #Conflicts: 553000 | #Constraints: 22476
120.81/121.36 c #Conflicts: 554000 | #Constraints: 23476
120.81/121.36 c #Conflicts: 555000 | #Constraints: 24476
120.81/121.36 c #Conflicts: 556000 | #Constraints: 25476
120.81/121.36 c #Conflicts: 557000 | #Constraints: 26476
120.81/121.36 c #Conflicts: 558000 | #Constraints: 27476
120.81/121.36 c #Conflicts: 559000 | #Constraints: 28476
120.81/121.36 c #Conflicts: 560000 | #Constraints: 29476
120.81/121.36 c #Conflicts: 561000 | #Constraints: 30476
120.81/121.36 c INPROCESSING
120.81/121.36 c GARBAGE COLLECT
120.81/121.36 c #Conflicts: 562000 | #Constraints: 16677
120.81/121.36 c #Conflicts: 563000 | #Constraints: 17677
120.81/121.36 c #Conflicts: 564000 | #Constraints: 18677
120.81/121.36 c #Conflicts: 565000 | #Constraints: 19677
120.81/121.36 c #Conflicts: 566000 | #Constraints: 20677
120.81/121.36 c #Conflicts: 567000 | #Constraints: 21677
120.81/121.36 c #Conflicts: 568000 | #Constraints: 22677
120.81/121.36 c #Conflicts: 569000 | #Constraints: 23677
120.81/121.36 c #Conflicts: 570000 | #Constraints: 24677
120.81/121.36 c #Conflicts: 571000 | #Constraints: 25677
120.81/121.36 c #Conflicts: 572000 | #Constraints: 26677
120.81/121.36 c #Conflicts: 573000 | #Constraints: 27677
120.81/121.36 c #Conflicts: 574000 | #Constraints: 28677
120.81/121.36 c #Conflicts: 575000 | #Constraints: 29677
120.81/121.36 c #Conflicts: 576000 | #Constraints: 30677
120.81/121.36 c INPROCESSING
120.81/121.36 c GARBAGE COLLECT
120.81/121.36 c #Conflicts: 577000 | #Constraints: 16683
120.81/121.36 c #Conflicts: 578000 | #Constraints: 17683
120.81/121.36 c #Conflicts: 579000 | #Constraints: 18683
120.81/121.36 c #Conflicts: 580000 | #Constraints: 19683
120.81/121.36 c #Conflicts: 581000 | #Constraints: 20683
120.81/121.36 c #Conflicts: 582000 | #Constraints: 21683
120.81/121.36 c #Conflicts: 583000 | #Constraints: 22683
120.81/121.36 c #Conflicts: 584000 | #Constraints: 23683
120.81/121.36 c #Conflicts: 585000 | #Constraints: 24683
120.81/121.36 c #Conflicts: 586000 | #Constraints: 25683
120.81/121.36 c #Conflicts: 587000 | #Constraints: 26683
120.81/121.36 c #Conflicts: 588000 | #Constraints: 27683
120.81/121.36 c #Conflicts: 589000 | #Constraints: 28683
120.81/121.36 c #Conflicts: 590000 | #Constraints: 29683
120.81/121.36 c #Conflicts: 591000 | #Constraints: 30683
120.81/121.36 c INPROCESSING
120.81/121.36 c GARBAGE COLLECT
120.81/121.36 c #Conflicts: 592000 | #Constraints: 16477
120.81/121.36 c #Conflicts: 593000 | #Constraints: 17477
120.81/121.36 c #Conflicts: 594000 | #Constraints: 18477
120.81/121.36 c #Conflicts: 595000 | #Constraints: 19477
120.81/121.36 c #Conflicts: 596000 | #Constraints: 20477
120.81/121.36 c #Conflicts: 597000 | #Constraints: 21477
120.81/121.36 c #Conflicts: 598000 | #Constraints: 22477
120.81/121.36 c #Conflicts: 599000 | #Constraints: 23477
120.81/121.36 c #Conflicts: 600000 | #Constraints: 24477
120.81/121.36 c #Conflicts: 601000 | #Constraints: 25477
120.81/121.36 c #Conflicts: 602000 | #Constraints: 26477
120.81/121.36 c #Conflicts: 603000 | #Constraints: 27477
120.81/121.36 c #Conflicts: 604000 | #Constraints: 28477
120.81/121.36 c #Conflicts: 605000 | #Constraints: 29477
120.81/121.36 c #Conflicts: 606000 | #Constraints: 30477
120.81/121.36 c #Conflicts: 607000 | #Constraints: 31477
120.81/121.36 c INPROCESSING
120.81/121.36 c GARBAGE COLLECT
120.81/121.36 c #Conflicts: 608000 | #Constraints: 17074
120.81/121.36 c #Conflicts: 609000 | #Constraints: 18074
120.81/121.36 c #Conflicts: 610000 | #Constraints: 19074
120.81/121.36 c #Conflicts: 611000 | #Constraints: 20074
120.81/121.36 c #Conflicts: 612000 | #Constraints: 21074
120.81/121.36 c #Conflicts: 613000 | #Constraints: 22074
120.81/121.36 c #Conflicts: 614000 | #Constraints: 23074
120.81/121.36 c #Conflicts: 615000 | #Constraints: 24074
120.81/121.36 c #Conflicts: 616000 | #Constraints: 25074
120.81/121.36 c #Conflicts: 617000 | #Constraints: 26074
120.81/121.36 c #Conflicts: 618000 | #Constraints: 27074
120.81/121.36 c #Conflicts: 619000 | #Constraints: 28074
120.81/121.36 c #Conflicts: 620000 | #Constraints: 29074
120.81/121.36 c #Conflicts: 621000 | #Constraints: 30074
120.81/121.36 c #Conflicts: 622000 | #Constraints: 31074
120.81/121.36 c #Conflicts: 623000 | #Constraints: 32074
120.81/121.36 c INPROCESSING
120.81/121.36 c GARBAGE COLLECT
120.81/121.36 c #Conflicts: 624000 | #Constraints: 17478
120.81/121.36 c #Conflicts: 625000 | #Constraints: 18478
120.81/121.36 c #Conflicts: 626000 | #Constraints: 19478
138.65/139.20 c #Conflicts: 627000 | #Constraints: 20478
138.65/139.20 c #Conflicts: 628000 | #Constraints: 21478
138.65/139.20 c #Conflicts: 629000 | #Constraints: 22478
138.65/139.20 c #Conflicts: 630000 | #Constraints: 23478
138.65/139.20 c #Conflicts: 631000 | #Constraints: 24478
138.65/139.20 c #Conflicts: 632000 | #Constraints: 25478
138.65/139.20 c #Conflicts: 633000 | #Constraints: 26478
138.65/139.20 c #Conflicts: 634000 | #Constraints: 27478
138.65/139.20 c #Conflicts: 635000 | #Constraints: 28478
138.65/139.20 c #Conflicts: 636000 | #Constraints: 29478
138.65/139.20 c #Conflicts: 637000 | #Constraints: 30478
138.65/139.20 c #Conflicts: 638000 | #Constraints: 31478
138.65/139.20 c #Conflicts: 639000 | #Constraints: 32478
138.65/139.20 c INPROCESSING
138.65/139.20 c GARBAGE COLLECT
138.65/139.20 c #Conflicts: 640000 | #Constraints: 17677
138.65/139.20 c #Conflicts: 641000 | #Constraints: 18677
138.65/139.20 c #Conflicts: 642000 | #Constraints: 19677
138.65/139.20 c #Conflicts: 643000 | #Constraints: 20677
138.65/139.20 c #Conflicts: 644000 | #Constraints: 21677
138.65/139.20 c #Conflicts: 645000 | #Constraints: 22677
138.65/139.20 c #Conflicts: 646000 | #Constraints: 23677
138.65/139.20 c #Conflicts: 647000 | #Constraints: 24677
138.65/139.20 c #Conflicts: 648000 | #Constraints: 25677
138.65/139.20 c #Conflicts: 649000 | #Constraints: 26677
138.65/139.20 c #Conflicts: 650000 | #Constraints: 27677
138.65/139.20 c #Conflicts: 651000 | #Constraints: 28677
138.65/139.20 c #Conflicts: 652000 | #Constraints: 29677
138.65/139.20 c #Conflicts: 653000 | #Constraints: 30677
138.65/139.20 c #Conflicts: 654000 | #Constraints: 31677
138.65/139.20 c #Conflicts: 655000 | #Constraints: 32677
138.65/139.20 c INPROCESSING
138.65/139.20 c GARBAGE COLLECT
138.65/139.20 c #Conflicts: 656000 | #Constraints: 17675
138.65/139.20 c #Conflicts: 657000 | #Constraints: 18675
138.65/139.20 c #Conflicts: 658000 | #Constraints: 19675
138.65/139.20 c #Conflicts: 659000 | #Constraints: 20675
138.65/139.20 c #Conflicts: 660000 | #Constraints: 21675
138.65/139.20 c #Conflicts: 661000 | #Constraints: 22675
138.65/139.20 c #Conflicts: 662000 | #Constraints: 23675
138.65/139.20 c #Conflicts: 663000 | #Constraints: 24675
138.65/139.20 c #Conflicts: 664000 | #Constraints: 25675
138.65/139.20 c #Conflicts: 665000 | #Constraints: 26675
138.65/139.20 c #Conflicts: 666000 | #Constraints: 27675
138.65/139.20 c #Conflicts: 667000 | #Constraints: 28675
138.65/139.20 c #Conflicts: 668000 | #Constraints: 29675
138.65/139.20 c #Conflicts: 669000 | #Constraints: 30675
138.65/139.20 c #Conflicts: 670000 | #Constraints: 31675
138.65/139.20 c #Conflicts: 671000 | #Constraints: 32675
138.65/139.20 c INPROCESSING
138.65/139.20 c GARBAGE COLLECT
138.65/139.20 c #Conflicts: 672000 | #Constraints: 17478
138.65/139.20 c #Conflicts: 673000 | #Constraints: 18478
138.65/139.20 c #Conflicts: 674000 | #Constraints: 19478
138.65/139.20 c #Conflicts: 675000 | #Constraints: 20478
138.65/139.20 c #Conflicts: 676000 | #Constraints: 21478
138.65/139.20 c #Conflicts: 677000 | #Constraints: 22478
138.65/139.20 c #Conflicts: 678000 | #Constraints: 23478
138.65/139.20 c #Conflicts: 679000 | #Constraints: 24478
138.65/139.20 c #Conflicts: 680000 | #Constraints: 25478
138.65/139.20 c #Conflicts: 681000 | #Constraints: 26478
138.65/139.20 c #Conflicts: 682000 | #Constraints: 27478
138.65/139.20 c #Conflicts: 683000 | #Constraints: 28478
138.65/139.20 c #Conflicts: 684000 | #Constraints: 29478
138.65/139.20 c #Conflicts: 685000 | #Constraints: 30478
138.65/139.20 c #Conflicts: 686000 | #Constraints: 31478
138.65/139.20 c #Conflicts: 687000 | #Constraints: 32478
138.65/139.20 c #Conflicts: 688000 | #Constraints: 33478
138.65/139.20 c INPROCESSING
138.65/139.20 c GARBAGE COLLECT
138.65/139.20 c #Conflicts: 689000 | #Constraints: 18077
138.65/139.20 c #Conflicts: 690000 | #Constraints: 19077
138.65/139.20 c #Conflicts: 691000 | #Constraints: 20077
138.65/139.20 c #Conflicts: 692000 | #Constraints: 21077
138.65/139.20 c #Conflicts: 693000 | #Constraints: 22077
138.65/139.20 c #Conflicts: 694000 | #Constraints: 23077
138.65/139.20 c #Conflicts: 695000 | #Constraints: 24077
138.65/139.20 c #Conflicts: 696000 | #Constraints: 25077
138.65/139.20 c #Conflicts: 697000 | #Constraints: 26077
138.65/139.20 c #Conflicts: 698000 | #Constraints: 27077
138.65/139.20 c #Conflicts: 699000 | #Constraints: 28077
138.65/139.20 c #Conflicts: 700000 | #Constraints: 29077
138.65/139.20 c #Conflicts: 701000 | #Constraints: 30077
138.65/139.20 c #Conflicts: 702000 | #Constraints: 31077
145.13/145.70 c #Conflicts: 703000 | #Constraints: 32077
145.13/145.70 c #Conflicts: 704000 | #Constraints: 33077
145.13/145.70 c #Conflicts: 705000 | #Constraints: 34077
145.13/145.70 c INPROCESSING
145.13/145.70 c GARBAGE COLLECT
145.13/145.70 c #Conflicts: 706000 | #Constraints: 18477
145.13/145.70 c #Conflicts: 707000 | #Constraints: 19477
145.13/145.70 c #Conflicts: 708000 | #Constraints: 20477
145.13/145.70 c #Conflicts: 709000 | #Constraints: 21477
145.13/145.70 c #Conflicts: 710000 | #Constraints: 22477
145.13/145.70 c #Conflicts: 711000 | #Constraints: 23477
145.13/145.70 c #Conflicts: 712000 | #Constraints: 24477
145.13/145.70 c #Conflicts: 713000 | #Constraints: 25477
145.13/145.70 c #Conflicts: 714000 | #Constraints: 26477
145.13/145.70 c #Conflicts: 715000 | #Constraints: 27477
145.13/145.70 c #Conflicts: 716000 | #Constraints: 28477
145.13/145.70 c #Conflicts: 717000 | #Constraints: 29477
145.13/145.70 c #Conflicts: 718000 | #Constraints: 30477
145.13/145.70 c #Conflicts: 719000 | #Constraints: 31477
145.13/145.70 c #Conflicts: 720000 | #Constraints: 32477
145.13/145.70 c #Conflicts: 721000 | #Constraints: 33477
145.13/145.70 c #Conflicts: 722000 | #Constraints: 34477
145.13/145.70 c INPROCESSING
145.13/145.70 c GARBAGE COLLECT
145.13/145.70 c #Conflicts: 723000 | #Constraints: 18681
145.13/145.70 c #Conflicts: 724000 | #Constraints: 19681
145.13/145.70 c #Conflicts: 725000 | #Constraints: 20681
145.13/145.70 c #Conflicts: 726000 | #Constraints: 21681
145.13/145.70 c #Conflicts: 727000 | #Constraints: 22681
145.13/145.70 c #Conflicts: 728000 | #Constraints: 23681
145.13/145.70 c #Conflicts: 729000 | #Constraints: 24681
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.079
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.082
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.082
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.082
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.083
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.083
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.083
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.70 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.084
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.085
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.087
145.13/145.71 c GLOBAL bounds -161 >= -174 @ 142.088
145.13/145.72 c GLOBAL bounds -161 >= -174 @ 142.09
145.13/145.72 c GLOBAL bounds -161 >= -174 @ 142.09
145.13/145.72 c GLOBAL bounds -161 >= -174 @ 142.09
145.13/145.72 c GLOBAL bounds -161 >= -174 @ 142.091
145.13/145.76 c GLOBAL bounds -161 >= -174 @ 142.128
145.13/145.76 c GLOBAL bounds -161 >= -174 @ 142.129
145.23/145.86 c #Conflicts: 730000 | #Constraints: 25698
145.23/145.86 c GLOBAL bounds -161 >= -174 @ 142.228
145.23/145.86 c GLOBAL bounds -161 >= -174 @ 142.228
145.23/145.86 c GLOBAL bounds -161 >= -174 @ 142.232
145.23/145.86 c GLOBAL bounds -161 >= -174 @ 142.233
145.23/145.89 c GLOBAL bounds -161 >= -174 @ 142.253
145.23/145.89 c GLOBAL bounds -161 >= -174 @ 142.254
145.23/145.89 c GLOBAL bounds -161 >= -174 @ 142.255
145.23/145.89 c GLOBAL bounds -161 >= -174 @ 142.255
145.63/146.26 c #Conflicts: 731000 | #Constraints: 26702
145.63/146.26 c #Conflicts: 732000 | #Constraints: 27702
145.63/146.26 c GLOBAL bounds -161 >= -174 @ 142.614
145.63/146.27 c GLOBAL bounds -161 >= -174 @ 142.617
145.63/146.28 c GLOBAL bounds -161 >= -174 @ 142.629
145.63/146.28 c GLOBAL bounds -161 >= -174 @ 142.63
145.73/146.33 c GLOBAL bounds -161 >= -174 @ 142.672
149.42/150.05 c #Conflicts: 733000 | #Constraints: 28702
149.42/150.05 c #Conflicts: 734000 | #Constraints: 29702
149.42/150.05 c #Conflicts: 735000 | #Constraints: 30702
149.42/150.05 c #Conflicts: 736000 | #Constraints: 31702
149.42/150.05 c #Conflicts: 737000 | #Constraints: 32702
149.42/150.05 c #Conflicts: 738000 | #Constraints: 33702
149.42/150.05 c #Conflicts: 739000 | #Constraints: 34702
149.42/150.05 c INPROCESSING
149.42/150.05 c GARBAGE COLLECT
149.42/150.05 c #Conflicts: 740000 | #Constraints: 18699
149.42/150.05 c #Conflicts: 741000 | #Constraints: 19699
149.42/150.05 c #Conflicts: 742000 | #Constraints: 20699
149.42/150.05 c #Conflicts: 743000 | #Constraints: 21699
149.42/150.05 c #Conflicts: 744000 | #Constraints: 22699
149.42/150.05 c #Conflicts: 745000 | #Constraints: 23699
149.42/150.05 c #Conflicts: 746000 | #Constraints: 24699
149.42/150.05 c #Conflicts: 747000 | #Constraints: 25699
149.42/150.05 c #Conflicts: 748000 | #Constraints: 26699
149.42/150.05 c GLOBAL bounds -161 >= -174 @ 146.327
149.42/150.05 c GLOBAL bounds -161 >= -174 @ 146.33
149.72/150.30 c #Conflicts: 749000 | #Constraints: 27699
149.72/150.30 c GLOBAL bounds -161 >= -174 @ 146.57
149.72/150.30 c GLOBAL bounds -161 >= -174 @ 146.571
149.72/150.34 c GLOBAL bounds -161 >= -174 @ 146.608
171.35/172.08 c #Conflicts: 750000 | #Constraints: 28699
171.35/172.08 c #Conflicts: 751000 | #Constraints: 29699
171.35/172.08 c #Conflicts: 752000 | #Constraints: 30699
171.35/172.08 c #Conflicts: 753000 | #Constraints: 31699
171.35/172.08 c #Conflicts: 754000 | #Constraints: 32699
171.35/172.08 c #Conflicts: 755000 | #Constraints: 33699
171.35/172.08 c #Conflicts: 756000 | #Constraints: 34699
171.35/172.08 c INPROCESSING
171.35/172.08 c GARBAGE COLLECT
171.35/172.08 c #Conflicts: 757000 | #Constraints: 18498
171.35/172.08 c #Conflicts: 758000 | #Constraints: 19498
171.35/172.08 c #Conflicts: 759000 | #Constraints: 20498
171.35/172.08 c #Conflicts: 760000 | #Constraints: 21498
171.35/172.08 c #Conflicts: 761000 | #Constraints: 22498
171.35/172.08 c #Conflicts: 762000 | #Constraints: 23498
171.35/172.08 c #Conflicts: 763000 | #Constraints: 24498
171.35/172.08 c #Conflicts: 764000 | #Constraints: 25498
171.35/172.08 c #Conflicts: 765000 | #Constraints: 26498
171.35/172.08 c #Conflicts: 766000 | #Constraints: 27498
171.35/172.08 c #Conflicts: 767000 | #Constraints: 28498
171.35/172.08 c #Conflicts: 768000 | #Constraints: 29498
171.35/172.08 c #Conflicts: 769000 | #Constraints: 30498
171.35/172.08 c #Conflicts: 770000 | #Constraints: 31498
171.35/172.08 c #Conflicts: 771000 | #Constraints: 32498
171.35/172.08 c #Conflicts: 772000 | #Constraints: 33498
171.35/172.08 c #Conflicts: 773000 | #Constraints: 34498
171.35/172.08 c #Conflicts: 774000 | #Constraints: 35498
171.35/172.08 c INPROCESSING
171.35/172.08 c GARBAGE COLLECT
171.35/172.08 c #Conflicts: 775000 | #Constraints: 19096
171.35/172.08 c #Conflicts: 776000 | #Constraints: 20096
171.35/172.08 c #Conflicts: 777000 | #Constraints: 21096
171.35/172.08 c #Conflicts: 778000 | #Constraints: 22096
171.35/172.08 c #Conflicts: 779000 | #Constraints: 23096
171.35/172.08 c #Conflicts: 780000 | #Constraints: 24096
171.35/172.08 c #Conflicts: 781000 | #Constraints: 25096
171.35/172.08 c #Conflicts: 782000 | #Constraints: 26096
171.35/172.08 c #Conflicts: 783000 | #Constraints: 27096
171.35/172.08 c #Conflicts: 784000 | #Constraints: 28096
171.35/172.08 c #Conflicts: 785000 | #Constraints: 29096
171.35/172.08 c #Conflicts: 786000 | #Constraints: 30096
171.35/172.08 c #Conflicts: 787000 | #Constraints: 31096
171.35/172.08 c #Conflicts: 788000 | #Constraints: 32096
171.35/172.08 c #Conflicts: 789000 | #Constraints: 33096
171.35/172.08 c #Conflicts: 790000 | #Constraints: 34096
171.35/172.08 c #Conflicts: 791000 | #Constraints: 35096
171.35/172.08 c #Conflicts: 792000 | #Constraints: 36096
171.35/172.08 c INPROCESSING
171.35/172.08 c GARBAGE COLLECT
171.35/172.08 c #Conflicts: 793000 | #Constraints: 19495
171.35/172.08 c #Conflicts: 794000 | #Constraints: 20495
171.35/172.08 c #Conflicts: 795000 | #Constraints: 21495
171.35/172.08 c #Conflicts: 796000 | #Constraints: 22495
171.35/172.08 c #Conflicts: 797000 | #Constraints: 23495
171.35/172.08 c #Conflicts: 798000 | #Constraints: 24495
171.35/172.08 c #Conflicts: 799000 | #Constraints: 25495
171.35/172.08 c #Conflicts: 800000 | #Constraints: 26495
171.35/172.08 c #Conflicts: 801000 | #Constraints: 27495
171.35/172.08 c #Conflicts: 802000 | #Constraints: 28495
171.35/172.08 c #Conflicts: 803000 | #Constraints: 29495
171.35/172.08 c #Conflicts: 804000 | #Constraints: 30495
171.35/172.08 c #Conflicts: 805000 | #Constraints: 31495
171.35/172.08 c #Conflicts: 806000 | #Constraints: 32495
171.35/172.08 c #Conflicts: 807000 | #Constraints: 33495
171.35/172.08 c #Conflicts: 808000 | #Constraints: 34495
171.35/172.08 c #Conflicts: 809000 | #Constraints: 35495
171.35/172.08 c #Conflicts: 810000 | #Constraints: 36495
171.35/172.08 c INPROCESSING
171.35/172.08 c GARBAGE COLLECT
171.35/172.08 c #Conflicts: 811000 | #Constraints: 19698
171.35/172.08 c #Conflicts: 812000 | #Constraints: 20698
171.35/172.08 c #Conflicts: 813000 | #Constraints: 21698
171.35/172.08 c #Conflicts: 814000 | #Constraints: 22698
171.35/172.08 c #Conflicts: 815000 | #Constraints: 23698
171.35/172.08 c #Conflicts: 816000 | #Constraints: 24698
171.35/172.08 c #Conflicts: 817000 | #Constraints: 25698
171.35/172.08 c #Conflicts: 818000 | #Constraints: 26698
171.35/172.08 c #Conflicts: 819000 | #Constraints: 27698
171.35/172.08 c #Conflicts: 820000 | #Constraints: 28698
171.35/172.08 c #Conflicts: 821000 | #Constraints: 29698
171.35/172.08 c #Conflicts: 822000 | #Constraints: 30698
171.35/172.08 c #Conflicts: 823000 | #Constraints: 31698
171.35/172.08 c #Conflicts: 824000 | #Constraints: 32698
171.35/172.08 c #Conflicts: 825000 | #Constraints: 33698
171.35/172.08 c #Conflicts: 826000 | #Constraints: 34698
192.49/193.22 c #Conflicts: 827000 | #Constraints: 35698
192.49/193.22 c #Conflicts: 828000 | #Constraints: 36698
192.49/193.22 c INPROCESSING
192.49/193.22 c GARBAGE COLLECT
192.49/193.22 c #Conflicts: 829000 | #Constraints: 19700
192.49/193.22 c #Conflicts: 830000 | #Constraints: 20700
192.49/193.22 c #Conflicts: 831000 | #Constraints: 21700
192.49/193.22 c #Conflicts: 832000 | #Constraints: 22700
192.49/193.22 c #Conflicts: 833000 | #Constraints: 23700
192.49/193.22 c #Conflicts: 834000 | #Constraints: 24700
192.49/193.22 c #Conflicts: 835000 | #Constraints: 25700
192.49/193.22 c #Conflicts: 836000 | #Constraints: 26700
192.49/193.22 c #Conflicts: 837000 | #Constraints: 27700
192.49/193.22 c #Conflicts: 838000 | #Constraints: 28700
192.49/193.22 c #Conflicts: 839000 | #Constraints: 29700
192.49/193.22 c #Conflicts: 840000 | #Constraints: 30700
192.49/193.22 c #Conflicts: 841000 | #Constraints: 31700
192.49/193.22 c #Conflicts: 842000 | #Constraints: 32700
192.49/193.22 c #Conflicts: 843000 | #Constraints: 33700
192.49/193.22 c #Conflicts: 844000 | #Constraints: 34700
192.49/193.22 c #Conflicts: 845000 | #Constraints: 35700
192.49/193.22 c #Conflicts: 846000 | #Constraints: 36700
192.49/193.22 c INPROCESSING
192.49/193.22 c GARBAGE COLLECT
192.49/193.22 c #Conflicts: 847000 | #Constraints: 19502
192.49/193.22 c #Conflicts: 848000 | #Constraints: 20502
192.49/193.22 c #Conflicts: 849000 | #Constraints: 21502
192.49/193.22 c #Conflicts: 850000 | #Constraints: 22502
192.49/193.22 c #Conflicts: 851000 | #Constraints: 23502
192.49/193.22 c #Conflicts: 852000 | #Constraints: 24502
192.49/193.22 c #Conflicts: 853000 | #Constraints: 25502
192.49/193.22 c #Conflicts: 854000 | #Constraints: 26502
192.49/193.22 c #Conflicts: 855000 | #Constraints: 27502
192.49/193.22 c #Conflicts: 856000 | #Constraints: 28502
192.49/193.22 c #Conflicts: 857000 | #Constraints: 29502
192.49/193.22 c #Conflicts: 858000 | #Constraints: 30502
192.49/193.22 c #Conflicts: 859000 | #Constraints: 31502
192.49/193.22 c #Conflicts: 860000 | #Constraints: 32502
192.49/193.22 c #Conflicts: 861000 | #Constraints: 33502
192.49/193.22 c #Conflicts: 862000 | #Constraints: 34502
192.49/193.22 c #Conflicts: 863000 | #Constraints: 35502
192.49/193.22 c #Conflicts: 864000 | #Constraints: 36502
192.49/193.22 c #Conflicts: 865000 | #Constraints: 37502
192.49/193.22 c INPROCESSING
192.49/193.22 c GARBAGE COLLECT
192.49/193.22 c #Conflicts: 866000 | #Constraints: 20103
192.49/193.22 c #Conflicts: 867000 | #Constraints: 21103
192.49/193.22 c #Conflicts: 868000 | #Constraints: 22103
192.49/193.22 c #Conflicts: 869000 | #Constraints: 23103
192.49/193.22 c #Conflicts: 870000 | #Constraints: 24103
192.49/193.22 c #Conflicts: 871000 | #Constraints: 25103
192.49/193.22 c #Conflicts: 872000 | #Constraints: 26103
192.49/193.22 c #Conflicts: 873000 | #Constraints: 27103
192.49/193.22 c #Conflicts: 874000 | #Constraints: 28103
192.49/193.22 c #Conflicts: 875000 | #Constraints: 29103
192.49/193.22 c #Conflicts: 876000 | #Constraints: 30103
192.49/193.22 c #Conflicts: 877000 | #Constraints: 31103
192.49/193.22 c #Conflicts: 878000 | #Constraints: 32103
192.49/193.22 c #Conflicts: 879000 | #Constraints: 33103
192.49/193.22 c #Conflicts: 880000 | #Constraints: 34103
192.49/193.22 c #Conflicts: 881000 | #Constraints: 35103
192.49/193.22 c #Conflicts: 882000 | #Constraints: 36103
192.49/193.22 c #Conflicts: 883000 | #Constraints: 37103
192.49/193.22 c #Conflicts: 884000 | #Constraints: 38103
192.49/193.22 c INPROCESSING
192.49/193.22 c GARBAGE COLLECT
192.49/193.22 c #Conflicts: 885000 | #Constraints: 20498
192.49/193.22 c #Conflicts: 886000 | #Constraints: 21498
192.49/193.22 c #Conflicts: 887000 | #Constraints: 22498
192.49/193.22 c #Conflicts: 888000 | #Constraints: 23498
192.49/193.22 c #Conflicts: 889000 | #Constraints: 24498
192.49/193.22 c #Conflicts: 890000 | #Constraints: 25498
192.49/193.22 c #Conflicts: 891000 | #Constraints: 26498
192.49/193.22 c #Conflicts: 892000 | #Constraints: 27498
192.49/193.22 c #Conflicts: 893000 | #Constraints: 28498
192.49/193.22 c #Conflicts: 894000 | #Constraints: 29498
192.49/193.22 c #Conflicts: 895000 | #Constraints: 30498
192.49/193.22 c #Conflicts: 896000 | #Constraints: 31498
192.49/193.22 c #Conflicts: 897000 | #Constraints: 32498
192.49/193.22 c #Conflicts: 898000 | #Constraints: 33498
192.49/193.22 c #Conflicts: 899000 | #Constraints: 34498
192.49/193.22 c #Conflicts: 900000 | #Constraints: 35498
192.49/193.22 c #Conflicts: 901000 | #Constraints: 36498
192.49/193.22 c #Conflicts: 902000 | #Constraints: 37498
213.23/214.10 c #Conflicts: 903000 | #Constraints: 38498
213.23/214.10 c INPROCESSING
213.23/214.10 c GARBAGE COLLECT
213.23/214.10 c #Conflicts: 904000 | #Constraints: 20699
213.23/214.10 c #Conflicts: 905000 | #Constraints: 21699
213.23/214.10 c #Conflicts: 906000 | #Constraints: 22699
213.23/214.10 c #Conflicts: 907000 | #Constraints: 23699
213.23/214.10 c #Conflicts: 908000 | #Constraints: 24699
213.23/214.10 c #Conflicts: 909000 | #Constraints: 25699
213.23/214.10 c #Conflicts: 910000 | #Constraints: 26699
213.23/214.10 c #Conflicts: 911000 | #Constraints: 27699
213.23/214.10 c #Conflicts: 912000 | #Constraints: 28699
213.23/214.10 c #Conflicts: 913000 | #Constraints: 29699
213.23/214.10 c #Conflicts: 914000 | #Constraints: 30699
213.23/214.10 c #Conflicts: 915000 | #Constraints: 31699
213.23/214.10 c #Conflicts: 916000 | #Constraints: 32699
213.23/214.10 c #Conflicts: 917000 | #Constraints: 33699
213.23/214.10 c #Conflicts: 918000 | #Constraints: 34699
213.23/214.10 c #Conflicts: 919000 | #Constraints: 35699
213.23/214.10 c #Conflicts: 920000 | #Constraints: 36699
213.23/214.10 c #Conflicts: 921000 | #Constraints: 37699
213.23/214.10 c #Conflicts: 922000 | #Constraints: 38699
213.23/214.10 c INPROCESSING
213.23/214.10 c GARBAGE COLLECT
213.23/214.10 c #Conflicts: 923000 | #Constraints: 20701
213.23/214.10 c #Conflicts: 924000 | #Constraints: 21701
213.23/214.10 c #Conflicts: 925000 | #Constraints: 22701
213.23/214.10 c #Conflicts: 926000 | #Constraints: 23701
213.23/214.10 c #Conflicts: 927000 | #Constraints: 24701
213.23/214.10 c #Conflicts: 928000 | #Constraints: 25701
213.23/214.10 c #Conflicts: 929000 | #Constraints: 26701
213.23/214.10 c #Conflicts: 930000 | #Constraints: 27701
213.23/214.10 c #Conflicts: 931000 | #Constraints: 28701
213.23/214.10 c #Conflicts: 932000 | #Constraints: 29701
213.23/214.10 c #Conflicts: 933000 | #Constraints: 30701
213.23/214.10 c #Conflicts: 934000 | #Constraints: 31701
213.23/214.10 c #Conflicts: 935000 | #Constraints: 32701
213.23/214.10 c #Conflicts: 936000 | #Constraints: 33701
213.23/214.10 c #Conflicts: 937000 | #Constraints: 34701
213.23/214.10 c #Conflicts: 938000 | #Constraints: 35701
213.23/214.10 c #Conflicts: 939000 | #Constraints: 36701
213.23/214.10 c #Conflicts: 940000 | #Constraints: 37701
213.23/214.10 c #Conflicts: 941000 | #Constraints: 38701
213.23/214.10 c INPROCESSING
213.23/214.10 c GARBAGE COLLECT
213.23/214.10 c #Conflicts: 942000 | #Constraints: 20501
213.23/214.10 c #Conflicts: 943000 | #Constraints: 21501
213.23/214.10 c #Conflicts: 944000 | #Constraints: 22501
213.23/214.10 c #Conflicts: 945000 | #Constraints: 23501
213.23/214.10 c #Conflicts: 946000 | #Constraints: 24501
213.23/214.10 c #Conflicts: 947000 | #Constraints: 25501
213.23/214.10 c #Conflicts: 948000 | #Constraints: 26501
213.23/214.10 c #Conflicts: 949000 | #Constraints: 27501
213.23/214.10 c #Conflicts: 950000 | #Constraints: 28501
213.23/214.10 c #Conflicts: 951000 | #Constraints: 29501
213.23/214.10 c #Conflicts: 952000 | #Constraints: 30501
213.23/214.10 c #Conflicts: 953000 | #Constraints: 31501
213.23/214.10 c #Conflicts: 954000 | #Constraints: 32501
213.23/214.10 c #Conflicts: 955000 | #Constraints: 33501
213.23/214.10 c #Conflicts: 956000 | #Constraints: 34501
213.23/214.10 c #Conflicts: 957000 | #Constraints: 35501
213.23/214.10 c #Conflicts: 958000 | #Constraints: 36501
213.23/214.10 c #Conflicts: 959000 | #Constraints: 37501
213.23/214.10 c #Conflicts: 960000 | #Constraints: 38501
213.23/214.10 c #Conflicts: 961000 | #Constraints: 39501
213.23/214.10 c INPROCESSING
213.23/214.10 c GARBAGE COLLECT
213.23/214.10 c #Conflicts: 962000 | #Constraints: 21101
213.23/214.10 c #Conflicts: 963000 | #Constraints: 22101
213.23/214.10 c #Conflicts: 964000 | #Constraints: 23101
213.23/214.10 c #Conflicts: 965000 | #Constraints: 24101
213.23/214.10 c #Conflicts: 966000 | #Constraints: 25101
213.23/214.10 c #Conflicts: 967000 | #Constraints: 26101
213.23/214.10 c #Conflicts: 968000 | #Constraints: 27101
213.23/214.10 c #Conflicts: 969000 | #Constraints: 28101
213.23/214.10 c #Conflicts: 970000 | #Constraints: 29101
213.23/214.10 c #Conflicts: 971000 | #Constraints: 30101
213.23/214.10 c #Conflicts: 972000 | #Constraints: 31101
213.23/214.10 c #Conflicts: 973000 | #Constraints: 32101
213.23/214.10 c #Conflicts: 974000 | #Constraints: 33101
213.23/214.10 c #Conflicts: 975000 | #Constraints: 34101
213.23/214.10 c #Conflicts: 976000 | #Constraints: 35101
213.23/214.10 c #Conflicts: 977000 | #Constraints: 36101
213.23/214.10 c GLOBAL bounds -161 >= -171 @ 209.367
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.371
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.372
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.372
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.372
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.373
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.373
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.374
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.374
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.374
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.375
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.375
213.33/214.11 c GLOBAL bounds -161 >= -171 @ 209.379
213.33/214.12 c GLOBAL bounds -161 >= -171 @ 209.38
213.33/214.12 c GLOBAL bounds -161 >= -171 @ 209.382
213.33/214.12 c GLOBAL bounds -161 >= -171 @ 209.383
213.33/214.12 c GLOBAL bounds -161 >= -171 @ 209.385
213.33/214.12 c GLOBAL bounds -166 >= -171 @ 209.385
213.33/214.13 c GLOBAL bounds -166 >= -171 @ 209.387
213.33/214.13 c GLOBAL bounds -166 >= -171 @ 209.388
213.33/214.13 c GLOBAL bounds -166 >= -171 @ 209.39
213.33/214.13 c GLOBAL bounds -166 >= -171 @ 209.39
213.33/214.14 c GLOBAL bounds -166 >= -171 @ 209.394
213.33/214.14 c GLOBAL bounds -167 >= -171 @ 209.395
213.33/214.15 c GLOBAL bounds -167 >= -171 @ 209.404
213.33/214.15 c GLOBAL bounds -167 >= -171 @ 209.404
216.71/217.52 c #Conflicts: 978000 | #Constraints: 37120
216.71/217.52 c #Conflicts: 979000 | #Constraints: 38120
216.71/217.52 c #Conflicts: 980000 | #Constraints: 39120
216.71/217.52 c #Conflicts: 981000 | #Constraints: 40120
216.71/217.52 c INPROCESSING
216.71/217.52 c GARBAGE COLLECT
216.71/217.52 c #Conflicts: 982000 | #Constraints: 21505
216.71/217.52 c #Conflicts: 983000 | #Constraints: 22505
216.71/217.52 c #Conflicts: 984000 | #Constraints: 23505
216.71/217.52 c #Conflicts: 985000 | #Constraints: 24505
216.71/217.52 c #Conflicts: 986000 | #Constraints: 25505
216.71/217.52 c #Conflicts: 987000 | #Constraints: 26505
216.71/217.52 c #Conflicts: 988000 | #Constraints: 27505
216.71/217.52 c #Conflicts: 989000 | #Constraints: 28505
216.71/217.52 c #Conflicts: 990000 | #Constraints: 29505
216.71/217.52 c #Conflicts: 991000 | #Constraints: 30505
216.71/217.52 c #Conflicts: 992000 | #Constraints: 31505
216.71/217.52 c #Conflicts: 993000 | #Constraints: 32505
216.71/217.52 c #Conflicts: 994000 | #Constraints: 33505
216.71/217.52 c #Conflicts: 995000 | #Constraints: 34505
216.71/217.52 c GLOBAL bounds -167 >= -171 @ 212.708
216.71/217.53 c GLOBAL bounds -167 >= -171 @ 212.709
218.01/218.81 c #Conflicts: 996000 | #Constraints: 35506
218.01/218.81 c #Conflicts: 997000 | #Constraints: 36506
218.01/218.81 c #Conflicts: 998000 | #Constraints: 37506
218.01/218.81 c #Conflicts: 999000 | #Constraints: 38506
218.01/218.81 c #Conflicts: 1000000 | #Constraints: 39506
218.01/218.81 c #Conflicts: 1001000 | #Constraints: 40506
218.01/218.81 c INPROCESSING
218.01/218.81 c GARBAGE COLLECT
218.01/218.81 c #Conflicts: 1002000 | #Constraints: 21705
218.01/218.81 c GLOBAL bounds -167 >= -171 @ 213.961
218.01/218.81 c GLOBAL bounds -167 >= -171 @ 213.962
218.01/218.81 c GLOBAL bounds -167 >= -171 @ 213.963
218.01/218.81 c GLOBAL bounds -167 >= -171 @ 213.963
232.57/233.48 c #Conflicts: 1003000 | #Constraints: 22707
232.57/233.48 c #Conflicts: 1004000 | #Constraints: 23707
232.57/233.48 c #Conflicts: 1005000 | #Constraints: 24707
232.57/233.48 c #Conflicts: 1006000 | #Constraints: 25707
232.57/233.48 c #Conflicts: 1007000 | #Constraints: 26707
232.57/233.48 c #Conflicts: 1008000 | #Constraints: 27707
232.57/233.48 c #Conflicts: 1009000 | #Constraints: 28707
232.57/233.48 c #Conflicts: 1010000 | #Constraints: 29707
232.57/233.48 c #Conflicts: 1011000 | #Constraints: 30707
232.57/233.48 c #Conflicts: 1012000 | #Constraints: 31707
232.57/233.48 c #Conflicts: 1013000 | #Constraints: 32707
232.57/233.48 c #Conflicts: 1014000 | #Constraints: 33707
232.57/233.48 c #Conflicts: 1015000 | #Constraints: 34707
232.57/233.48 c #Conflicts: 1016000 | #Constraints: 35707
232.57/233.48 c #Conflicts: 1017000 | #Constraints: 36707
232.57/233.48 c #Conflicts: 1018000 | #Constraints: 37707
232.57/233.48 c #Conflicts: 1019000 | #Constraints: 38707
232.57/233.48 c #Conflicts: 1020000 | #Constraints: 39707
232.57/233.48 c #Conflicts: 1021000 | #Constraints: 40707
232.57/233.48 c INPROCESSING
232.57/233.48 c GARBAGE COLLECT
232.57/233.48 c #Conflicts: 1022000 | #Constraints: 21709
232.57/233.48 c #Conflicts: 1023000 | #Constraints: 22709
232.57/233.48 c #Conflicts: 1024000 | #Constraints: 23709
232.57/233.48 c #Conflicts: 1025000 | #Constraints: 24709
232.57/233.48 c #Conflicts: 1026000 | #Constraints: 25709
232.57/233.48 c #Conflicts: 1027000 | #Constraints: 26709
232.57/233.48 c #Conflicts: 1028000 | #Constraints: 27709
232.57/233.48 c #Conflicts: 1029000 | #Constraints: 28709
232.57/233.48 c #Conflicts: 1030000 | #Constraints: 29709
232.57/233.48 c #Conflicts: 1031000 | #Constraints: 30709
232.57/233.48 c #Conflicts: 1032000 | #Constraints: 31709
232.57/233.48 c #Conflicts: 1033000 | #Constraints: 32709
232.57/233.48 c #Conflicts: 1034000 | #Constraints: 33709
232.57/233.48 c #Conflicts: 1035000 | #Constraints: 34709
232.57/233.48 c #Conflicts: 1036000 | #Constraints: 35709
232.57/233.48 c #Conflicts: 1037000 | #Constraints: 36709
232.57/233.48 c #Conflicts: 1038000 | #Constraints: 37709
232.57/233.48 c #Conflicts: 1039000 | #Constraints: 38709
232.57/233.48 c #Conflicts: 1040000 | #Constraints: 39709
232.57/233.48 c #Conflicts: 1041000 | #Constraints: 40709
232.57/233.48 c INPROCESSING
232.57/233.48 c GARBAGE COLLECT
232.57/233.48 c #Conflicts: 1042000 | #Constraints: 21508
232.57/233.48 c #Conflicts: 1043000 | #Constraints: 22508
232.57/233.48 c #Conflicts: 1044000 | #Constraints: 23508
232.57/233.48 c #Conflicts: 1045000 | #Constraints: 24508
232.57/233.48 c #Conflicts: 1046000 | #Constraints: 25508
232.57/233.48 c #Conflicts: 1047000 | #Constraints: 26508
232.57/233.48 c #Conflicts: 1048000 | #Constraints: 27508
232.57/233.48 c #Conflicts: 1049000 | #Constraints: 28508
232.57/233.48 c #Conflicts: 1050000 | #Constraints: 29508
232.57/233.48 c #Conflicts: 1051000 | #Constraints: 30508
232.57/233.48 c #Conflicts: 1052000 | #Constraints: 31508
232.57/233.48 c #Conflicts: 1053000 | #Constraints: 32508
232.57/233.48 c #Conflicts: 1054000 | #Constraints: 33508
232.57/233.48 c #Conflicts: 1055000 | #Constraints: 34508
232.57/233.48 c #Conflicts: 1056000 | #Constraints: 35508
232.57/233.48 c #Conflicts: 1057000 | #Constraints: 36508
232.57/233.48 c #Conflicts: 1058000 | #Constraints: 37508
232.57/233.48 c #Conflicts: 1059000 | #Constraints: 38508
232.57/233.48 c #Conflicts: 1060000 | #Constraints: 39508
232.57/233.48 c #Conflicts: 1061000 | #Constraints: 40508
232.57/233.48 c #Conflicts: 1062000 | #Constraints: 41508
232.57/233.48 c INPROCESSING
232.57/233.48 c GARBAGE COLLECT
232.57/233.48 c #Conflicts: 1063000 | #Constraints: 22109
232.57/233.48 c #Conflicts: 1064000 | #Constraints: 23109
232.57/233.48 c #Conflicts: 1065000 | #Constraints: 24109
232.57/233.48 c #Conflicts: 1066000 | #Constraints: 25109
232.57/233.48 c #Conflicts: 1067000 | #Constraints: 26109
232.57/233.48 c #Conflicts: 1068000 | #Constraints: 27109
232.57/233.48 c #Conflicts: 1069000 | #Constraints: 28109
232.57/233.48 c #Conflicts: 1070000 | #Constraints: 29109
232.57/233.48 c #Conflicts: 1071000 | #Constraints: 30109
232.57/233.48 c #Conflicts: 1072000 | #Constraints: 31109
232.57/233.48 c #Conflicts: 1073000 | #Constraints: 32109
232.57/233.48 c #Conflicts: 1074000 | #Constraints: 33109
232.57/233.48 c #Conflicts: 1075000 | #Constraints: 34109
232.57/233.48 c #Conflicts: 1076000 | #Constraints: 35109
232.57/233.48 c #Conflicts: 1077000 | #Constraints: 36109
232.57/233.48 c #Conflicts: 1078000 | #Constraints: 37109
232.57/233.48 c #Conflicts: 1079000 | #Constraints: 38109
247.83/248.76 c #Conflicts: 1080000 | #Constraints: 39109
247.83/248.76 c #Conflicts: 1081000 | #Constraints: 40109
247.83/248.76 c #Conflicts: 1082000 | #Constraints: 41109
247.83/248.76 c #Conflicts: 1083000 | #Constraints: 42109
247.83/248.76 c INPROCESSING
247.83/248.76 c GARBAGE COLLECT
247.83/248.76 c #Conflicts: 1084000 | #Constraints: 22504
247.83/248.76 c #Conflicts: 1085000 | #Constraints: 23504
247.83/248.76 c #Conflicts: 1086000 | #Constraints: 24504
247.83/248.76 c #Conflicts: 1087000 | #Constraints: 25504
247.83/248.76 c #Conflicts: 1088000 | #Constraints: 26504
247.83/248.76 c #Conflicts: 1089000 | #Constraints: 27504
247.83/248.76 c #Conflicts: 1090000 | #Constraints: 28504
247.83/248.76 c #Conflicts: 1091000 | #Constraints: 29504
247.83/248.76 c #Conflicts: 1092000 | #Constraints: 30504
247.83/248.76 c #Conflicts: 1093000 | #Constraints: 31504
247.83/248.76 c #Conflicts: 1094000 | #Constraints: 32504
247.83/248.76 c #Conflicts: 1095000 | #Constraints: 33504
247.83/248.76 c #Conflicts: 1096000 | #Constraints: 34504
247.83/248.76 c #Conflicts: 1097000 | #Constraints: 35504
247.83/248.76 c #Conflicts: 1098000 | #Constraints: 36504
247.83/248.76 c #Conflicts: 1099000 | #Constraints: 37504
247.83/248.76 c #Conflicts: 1100000 | #Constraints: 38504
247.83/248.76 c #Conflicts: 1101000 | #Constraints: 39504
247.83/248.76 c #Conflicts: 1102000 | #Constraints: 40504
247.83/248.76 c #Conflicts: 1103000 | #Constraints: 41504
247.83/248.76 c #Conflicts: 1104000 | #Constraints: 42504
247.83/248.76 c INPROCESSING
247.83/248.76 c GARBAGE COLLECT
247.83/248.76 c #Conflicts: 1105000 | #Constraints: 22706
247.83/248.76 c #Conflicts: 1106000 | #Constraints: 23706
247.83/248.76 c #Conflicts: 1107000 | #Constraints: 24706
247.83/248.76 c #Conflicts: 1108000 | #Constraints: 25706
247.83/248.76 c #Conflicts: 1109000 | #Constraints: 26706
247.83/248.76 c #Conflicts: 1110000 | #Constraints: 27706
247.83/248.76 c #Conflicts: 1111000 | #Constraints: 28706
247.83/248.76 c #Conflicts: 1112000 | #Constraints: 29706
247.83/248.76 c #Conflicts: 1113000 | #Constraints: 30706
247.83/248.76 c #Conflicts: 1114000 | #Constraints: 31706
247.83/248.76 c #Conflicts: 1115000 | #Constraints: 32706
247.83/248.76 c #Conflicts: 1116000 | #Constraints: 33706
247.83/248.76 c #Conflicts: 1117000 | #Constraints: 34706
247.83/248.76 c #Conflicts: 1118000 | #Constraints: 35706
247.83/248.76 c #Conflicts: 1119000 | #Constraints: 36706
247.83/248.76 c #Conflicts: 1120000 | #Constraints: 37706
247.83/248.76 c #Conflicts: 1121000 | #Constraints: 38706
247.83/248.76 c #Conflicts: 1122000 | #Constraints: 39706
247.83/248.76 c #Conflicts: 1123000 | #Constraints: 40706
247.83/248.76 c #Conflicts: 1124000 | #Constraints: 41706
247.83/248.76 c #Conflicts: 1125000 | #Constraints: 42706
247.83/248.76 c INPROCESSING
247.83/248.76 c GARBAGE COLLECT
247.83/248.76 c #Conflicts: 1126000 | #Constraints: 22704
247.83/248.76 c #Conflicts: 1127000 | #Constraints: 23704
247.83/248.76 c #Conflicts: 1128000 | #Constraints: 24704
247.83/248.76 c #Conflicts: 1129000 | #Constraints: 25704
247.83/248.76 c #Conflicts: 1130000 | #Constraints: 26704
247.83/248.76 c #Conflicts: 1131000 | #Constraints: 27704
247.83/248.76 c #Conflicts: 1132000 | #Constraints: 28704
247.83/248.76 c #Conflicts: 1133000 | #Constraints: 29704
247.83/248.76 c #Conflicts: 1134000 | #Constraints: 30704
247.83/248.76 c #Conflicts: 1135000 | #Constraints: 31704
247.83/248.76 c #Conflicts: 1136000 | #Constraints: 32704
247.83/248.76 c #Conflicts: 1137000 | #Constraints: 33704
247.83/248.76 c #Conflicts: 1138000 | #Constraints: 34704
247.83/248.76 c #Conflicts: 1139000 | #Constraints: 35704
247.83/248.76 c #Conflicts: 1140000 | #Constraints: 36704
247.83/248.76 c #Conflicts: 1141000 | #Constraints: 37704
247.83/248.76 c #Conflicts: 1142000 | #Constraints: 38704
247.83/248.76 c #Conflicts: 1143000 | #Constraints: 39704
247.83/248.76 c #Conflicts: 1144000 | #Constraints: 40704
247.83/248.76 c #Conflicts: 1145000 | #Constraints: 41704
247.83/248.76 c #Conflicts: 1146000 | #Constraints: 42704
247.83/248.76 c INPROCESSING
247.83/248.76 c GARBAGE COLLECT
247.83/248.76 c #Conflicts: 1147000 | #Constraints: 20877
247.83/248.76 c #Conflicts: 1148000 | #Constraints: 21877
247.83/248.76 c #Conflicts: 1149000 | #Constraints: 22877
247.83/248.76 c #Conflicts: 1150000 | #Constraints: 23877
247.83/248.76 c #Conflicts: 1151000 | #Constraints: 24877
247.83/248.76 c #Conflicts: 1152000 | #Constraints: 25877
247.83/248.76 c #Conflicts: 1153000 | #Constraints: 26877
247.83/248.76 c #Conflicts: 1154000 | #Constraints: 27877
247.83/248.76 c #Conflicts: 1155000 | #Constraints: 28877
247.83/248.76 c #Conflicts: 1156000 | #Constraints: 29877
263.28/264.29 c #Conflicts: 1157000 | #Constraints: 30877
263.28/264.29 c #Conflicts: 1158000 | #Constraints: 31877
263.28/264.29 c #Conflicts: 1159000 | #Constraints: 32877
263.28/264.29 c #Conflicts: 1160000 | #Constraints: 33877
263.28/264.29 c #Conflicts: 1161000 | #Constraints: 34877
263.28/264.29 c #Conflicts: 1162000 | #Constraints: 35877
263.28/264.29 c #Conflicts: 1163000 | #Constraints: 36877
263.28/264.29 c #Conflicts: 1164000 | #Constraints: 37877
263.28/264.29 c #Conflicts: 1165000 | #Constraints: 38877
263.28/264.29 c #Conflicts: 1166000 | #Constraints: 39877
263.28/264.29 c #Conflicts: 1167000 | #Constraints: 40877
263.28/264.29 c #Conflicts: 1168000 | #Constraints: 41877
263.28/264.29 c INPROCESSING
263.28/264.29 c GARBAGE COLLECT
263.28/264.29 c #Conflicts: 1169000 | #Constraints: 22290
263.28/264.29 c #Conflicts: 1170000 | #Constraints: 23290
263.28/264.29 c #Conflicts: 1171000 | #Constraints: 24290
263.28/264.29 c #Conflicts: 1172000 | #Constraints: 25290
263.28/264.29 c #Conflicts: 1173000 | #Constraints: 26290
263.28/264.29 c #Conflicts: 1174000 | #Constraints: 27290
263.28/264.29 c #Conflicts: 1175000 | #Constraints: 28290
263.28/264.29 c #Conflicts: 1176000 | #Constraints: 29290
263.28/264.29 c #Conflicts: 1177000 | #Constraints: 30290
263.28/264.29 c #Conflicts: 1178000 | #Constraints: 31290
263.28/264.29 c #Conflicts: 1179000 | #Constraints: 32290
263.28/264.29 c #Conflicts: 1180000 | #Constraints: 33290
263.28/264.29 c #Conflicts: 1181000 | #Constraints: 34290
263.28/264.29 c #Conflicts: 1182000 | #Constraints: 35290
263.28/264.29 c #Conflicts: 1183000 | #Constraints: 36290
263.28/264.29 c #Conflicts: 1184000 | #Constraints: 37290
263.28/264.29 c #Conflicts: 1185000 | #Constraints: 38290
263.28/264.29 c #Conflicts: 1186000 | #Constraints: 39290
263.28/264.29 c #Conflicts: 1187000 | #Constraints: 40290
263.28/264.29 c #Conflicts: 1188000 | #Constraints: 41290
263.28/264.29 c #Conflicts: 1189000 | #Constraints: 42290
263.28/264.29 c #Conflicts: 1190000 | #Constraints: 43290
263.28/264.29 c INPROCESSING
263.28/264.29 c GARBAGE COLLECT
263.28/264.29 c #Conflicts: 1191000 | #Constraints: 23097
263.28/264.29 c #Conflicts: 1192000 | #Constraints: 24097
263.28/264.29 c #Conflicts: 1193000 | #Constraints: 25097
263.28/264.29 c #Conflicts: 1194000 | #Constraints: 26097
263.28/264.29 c #Conflicts: 1195000 | #Constraints: 27097
263.28/264.29 c #Conflicts: 1196000 | #Constraints: 28097
263.28/264.29 c #Conflicts: 1197000 | #Constraints: 29097
263.28/264.29 c #Conflicts: 1198000 | #Constraints: 30097
263.28/264.29 c #Conflicts: 1199000 | #Constraints: 31097
263.28/264.29 c #Conflicts: 1200000 | #Constraints: 32097
263.28/264.29 c #Conflicts: 1201000 | #Constraints: 33097
263.28/264.29 c #Conflicts: 1202000 | #Constraints: 34097
263.28/264.29 c #Conflicts: 1203000 | #Constraints: 35097
263.28/264.29 c #Conflicts: 1204000 | #Constraints: 36097
263.28/264.29 c #Conflicts: 1205000 | #Constraints: 37097
263.28/264.29 c #Conflicts: 1206000 | #Constraints: 38097
263.28/264.29 c #Conflicts: 1207000 | #Constraints: 39097
263.28/264.29 c #Conflicts: 1208000 | #Constraints: 40097
263.28/264.29 c #Conflicts: 1209000 | #Constraints: 41097
263.28/264.29 c #Conflicts: 1210000 | #Constraints: 42097
263.28/264.29 c #Conflicts: 1211000 | #Constraints: 43097
263.28/264.29 c #Conflicts: 1212000 | #Constraints: 44097
263.28/264.29 c INPROCESSING
263.28/264.29 c GARBAGE COLLECT
263.28/264.29 c #Conflicts: 1213000 | #Constraints: 23501
263.28/264.29 c #Conflicts: 1214000 | #Constraints: 24501
263.28/264.29 c #Conflicts: 1215000 | #Constraints: 25501
263.28/264.29 c #Conflicts: 1216000 | #Constraints: 26501
263.28/264.29 c #Conflicts: 1217000 | #Constraints: 27501
263.28/264.29 c #Conflicts: 1218000 | #Constraints: 28501
263.28/264.29 c #Conflicts: 1219000 | #Constraints: 29501
263.28/264.29 c #Conflicts: 1220000 | #Constraints: 30501
263.28/264.29 c #Conflicts: 1221000 | #Constraints: 31501
263.28/264.29 c #Conflicts: 1222000 | #Constraints: 32501
263.28/264.29 c #Conflicts: 1223000 | #Constraints: 33501
263.28/264.29 c #Conflicts: 1224000 | #Constraints: 34501
263.28/264.29 c #Conflicts: 1225000 | #Constraints: 35501
263.28/264.29 c #Conflicts: 1226000 | #Constraints: 36501
263.28/264.29 c #Conflicts: 1227000 | #Constraints: 37501
263.28/264.29 c #Conflicts: 1228000 | #Constraints: 38501
263.28/264.29 c #Conflicts: 1229000 | #Constraints: 39501
263.28/264.29 c #Conflicts: 1230000 | #Constraints: 40501
263.28/264.29 c #Conflicts: 1231000 | #Constraints: 41501
263.28/264.29 c #Conflicts: 1232000 | #Constraints: 42501
268.96/269.97 c #Conflicts: 1233000 | #Constraints: 43501
268.96/269.97 c #Conflicts: 1234000 | #Constraints: 44501
268.96/269.97 c INPROCESSING
268.96/269.97 c GARBAGE COLLECT
268.96/269.97 c #Conflicts: 1235000 | #Constraints: 21762
268.96/269.97 c #Conflicts: 1236000 | #Constraints: 22762
268.96/269.97 c #Conflicts: 1237000 | #Constraints: 23762
268.96/269.97 c #Conflicts: 1238000 | #Constraints: 24762
268.96/269.97 c #Conflicts: 1239000 | #Constraints: 25762
268.96/269.97 c #Conflicts: 1240000 | #Constraints: 26762
268.96/269.97 c #Conflicts: 1241000 | #Constraints: 27762
268.96/269.97 c #Conflicts: 1242000 | #Constraints: 28762
268.96/269.97 c #Conflicts: 1243000 | #Constraints: 29762
268.96/269.97 c #Conflicts: 1244000 | #Constraints: 30762
268.96/269.97 c #Conflicts: 1245000 | #Constraints: 31762
268.96/269.97 c #Conflicts: 1246000 | #Constraints: 32762
268.96/269.97 c #Conflicts: 1247000 | #Constraints: 33762
268.96/269.97 c #Conflicts: 1248000 | #Constraints: 34762
268.96/269.97 c #Conflicts: 1249000 | #Constraints: 35762
268.96/269.97 c #Conflicts: 1250000 | #Constraints: 36762
268.96/269.97 c #Conflicts: 1251000 | #Constraints: 37762
268.96/269.97 c #Conflicts: 1252000 | #Constraints: 38762
268.96/269.97 c #Conflicts: 1253000 | #Constraints: 39762
268.96/269.97 c #Conflicts: 1254000 | #Constraints: 40762
268.96/269.97 c #Conflicts: 1255000 | #Constraints: 41762
268.96/269.97 c #Conflicts: 1256000 | #Constraints: 42762
268.96/269.97 c INPROCESSING
268.96/269.97 c GARBAGE COLLECT
268.96/269.97 c #Conflicts: 1257000 | #Constraints: 15618
268.96/269.97 c GLOBAL bounds -167 >= -167 @ 264.143
268.96/269.97 c cpu time 264.143 s
268.96/269.97 c deterministic time 2503827 2.50e+06
268.96/269.97 c optimization time 262.57 s
268.96/269.97 c total solve time 1.3439 s
268.96/269.97 c core-guided solve time 0 s
268.96/269.97 c propagation time 1.29833 s
268.96/269.97 c conflict analysis time 0.011285 s
268.96/269.97 c propagations 275348
268.96/269.97 c resolve steps 0
268.96/269.97 c decisions 20613
268.96/269.97 c conflicts 172
268.96/269.97 c restarts 2
268.96/269.97 c inprocessing phases 0
268.96/269.97 c garbage collections 0 ,( -nan )
268.96/269.97 c input clauses 62399 ,( 99.83 )
268.96/269.97 c input cardinalities 0 ,( 0.00 )
268.96/269.97 c input general constraints 108 ,( 0.17 )
268.96/269.97 c input average constraint length 3.22
268.96/269.97 c input average constraint degree 1.39
268.96/269.97 c learned clauses 236 ,( 100.00 )
268.96/269.97 c learned cardinalities 0 ,( 0.00 )
268.96/269.97 c learned general constraints 0 ,( 0.00 )
268.96/269.97 c learned average constraint length 5.10
268.96/269.97 c learned average constraint degree 1.00
268.96/269.97 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
268.96/269.97 c counting CF 32, 64, 128, Arb: 109 , 0 , 0 , 0
268.96/269.97 c watched constraints 0 ,( 0.00 )
268.96/269.97 c counting constraints 108 ,( 100.00 )
268.96/269.97 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 380755 , 0 , 406798 ,( 0 , 406798 )
268.96/269.97 c gcd simplifications 0
268.96/269.97 c detected cardinalities 0
268.96/269.97 c weakened non-implied lits 0
268.96/269.97 c weakened non-implying lits 0
268.96/269.97 c original variables 2025
268.96/269.97 c clausal propagations 133345
268.96/269.97 c cardinality propagations 0
268.96/269.97 c watched propagations 0
268.96/269.97 c counting propagations 16689
268.96/269.97 c watch lookups 1417382
268.96/269.97 c watch backjump lookups 0
268.96/269.97 c watch checks 337243
268.96/269.97 c propagation checks 150446
268.96/269.97 c constraint additions 3661
268.96/269.97 c trail pops 296133
268.96/269.97 c formula constraints 61821
268.96/269.97 c learned constraints 236
268.96/269.97 c bound constraints 0
268.96/269.97 c core-guided constraints 0
268.96/269.97 c encountered formula constraints 90
268.96/269.97 c encountered learned constraints 21
268.96/269.97 c encountered bound constraints 0
268.96/269.97 c encountered core-guided constraints 0
268.96/269.97 c LP total time 1.29056 s
268.96/269.97 c LP solve time 1.27 s
268.96/269.97 c LP constraints added 61821
268.96/269.97 c LP constraints removed 0
268.96/269.97 c LP pivots internal 2000
268.96/269.97 c LP pivots root 1000
268.96/269.97 c LP calls 2
268.96/269.97 c LP optimalities 0
268.96/269.97 c LP no pivot count 0
268.96/269.97 c LP infeasibilities 0
268.96/269.97 c LP valid Farkas constraints 0
268.96/269.97 c LP learned Farkas constraints 0
268.96/269.97 c LP basis resets 0
268.96/269.97 c LP cycling count 0
268.96/269.97 c LP singular count 0
268.96/269.97 c LP no primal count 0
268.96/269.97 c LP no farkas count 0
268.96/269.97 c LP other issue count 0
268.96/269.97 c LP Gomory cuts 0
268.96/269.97 c LP learned cuts 0
268.96/269.97 c LP deleted cuts 0
268.96/269.97 c LP encountered Gomory constraints 0
268.96/269.97 c LP encountered Farkas constraints 0
268.96/269.97 c LP encountered learned Farkas constraints 0
268.96/269.97 c CG auxiliary variables introduced 193
268.96/269.97 c CG solutions found 5
268.96/269.97 c CG cores constructed 389
268.96/269.97 c CG core cardinality constraints returned 0
268.96/269.97 c CG unit cores 0
268.96/269.97 c CG single cores 0
268.96/269.97 c CG blocks removed during cardinality reduction 0
268.96/269.97 c CG first core best 0
268.96/269.97 c CG decision core best 0
268.96/269.97 c CG core reduction tie 0
268.96/269.97 c CG core degree average 0.00
268.96/269.97 c CG core slack average 0.00
268.96/269.97 c CG core upper bound improvements 0
268.96/269.97 c STR number of successful calls 0
268.96/269.97 c STR number of unsuccessful calls 0
268.96/269.97 c STR number of inconclusive calls 0
268.96/269.97 c STR number of successful attempts 0
268.96/269.97 c STR number of unsuccessful attempts 0
268.96/269.97 c STR number of inconclusive attempts 0
268.96/269.97 c STR average degree increase per successful call inf
268.96/269.97 c STR average degree increase per successful attempt inf
268.96/269.97 c STR total number of conflicts for successful attempts 0
268.96/269.97 c STR total number of conflicts for unsuccessful attempts 0
268.96/269.97 c STR total number of conflicts for inconclusive attempts 0
268.96/269.97 c STR average number of conflicts per successful attempt inf
268.96/269.97 c STR average number of conflicts per unsuccessful attempt inf
268.96/269.97 c STR average number of conflicts per inconclusive attempt inf
268.96/269.97 c AVG.sumWPerc 82.83
268.96/269.97 c bigint constraints 0
268.96/269.97 o -167
268.96/269.97 s OPTIMUM FOUND
268.96/269.97 v x1 x2 x3 x4 x5 -x6 x7 -x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 -x18 x19 -x20 -x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 -x38 x39 x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 x64 x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x81 x82 -x83 x84 -x85 x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 x96 -x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 x152 x153 -x154 x155 -x156 x157 x158 x159 x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 -x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 x218 x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 x229 x230 x231 -x232 -x233 x234 -x235 x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 x248 x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 x260 x261 x262 -x263 x264 x265 x266 x267 x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 x305 x306 -x307 -x308 -x309 x310 x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 x321 -x322 -x323 x324 x325 x326 x327 -x328 x329 -x330 -x331 -x332 -x333 x334 x335 -x336 x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 x415 x416 -x417 x418 -x419 x420 -x421 -x422 x423 -x424 x425 -x426 -x427 x428 -x429 x430 -x431 x432 -x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 -x442 x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 -x462 -x463 -x464 x465 -x466 x467 -x468 x469 -x470 x471 -x472 x473 -x474 -x475 x476 -x477 -x478 x479 -x480 x481 x482 -x483 -x484 -x485 x486 x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 x500 x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 x549 x550 -x551 -x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x560 x561 -x562 -x563 x564 -x565 x566 -x567 x568 -x569 -x570 x571 -x572 x573 x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 -x584 x585 x586 -x587 x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 x601 -x602 x603 -x604 x605 -x606 -x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 x625 -x626 -x627 -x628 -x629 x630 -x631 x632 -x633 -x634 x635 -x636 x637 -x638 x639 -x640 x641 -x642 x643 -x644 -x645 -x646 x647 -x648 -x649 x650 -x651 -x652 x653 -x654 x655 -x656 -x657 x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 x687 x688 -x689 x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 x760 x761 -x762 x763 -x764 -x765 x766 -x767 -x768 x769 x770 -x771 x772 -x773 x774 -x775 x776 -x777 -x778 x779 -x780 x781 -x782 x783 -x784 x785 -x786 x787 -x788 -x789 x790 x791 -x792 -x793 -x794 -x795 -x796 x797 x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 x817 -x818 x819 -x820 -x821 x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 x830 -x831 x832 -x833 -x834 -x835 x836 x837 -x838 x839 -x840 x841 -x842 -x843 -x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 -x853 x854 -x855 -x856 -x857 x858 x859 -x860 x861 -x862 x863 -x864 -x865 -x866 x867 -x868 x869 x870 -x871 -x872 x873 -x874 x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 x899 -x900 -x901 x902 -x903 x904 -x905 x906 x907 x908 -x909 -x910 -x911 x912 -x913 x914 x915 -x916 -x917 x918 -x919 x920 x921 -x922 -x923 x924 -x925 x926 x927 -x928 x929 -x930 -x931 -x932 x933 -x934 x935 x936 x937 -x938 x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 x948 -x949 x950 -x951 -x952 x953 x954 -x955 -x956 x957 x958 -x959 -x960 x961 -x962 x963 -x964 x965 -x966 x967 x968 -x969 -x970 x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 -x1008 -x1009 x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 -x1055 x1056 -x1057 x1058 -x1059 -x1060 x1061 x1062 -x1063 x1064 -x1065 -x1066 x1067 -x1068 x1069 x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 -x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 x1093 x1094 -x1095 x1096 -x1097 x1098 x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 x1112 x1113 -x1114 x1115 -x1116 x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 x1169 -x1170 x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 x1228 -x1229 -x1230 -x1231 x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 -x1264 -x1265 x1266 -x1267 x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 x1318 -x1319 -x1320 x1321 -x1322 -x1323 x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 -x1331 -x1332 x1333 x1334 -x1335 x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 -x1352 x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 x1362 -x1363 x1364 -x1365 -x1366 x1367 x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 x1377 x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 x1416 -x1417 x1418 -x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 -x1433 x1434 -x1435 x1436 -x1437 x1438 -x1439 x1440 -x1441 x1442 -x1443 x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 -x1454 x1455 x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 x1503 x1504 x1505 -x1506 x1507 -x1508 x1509 x1510 -x1511 -x1512 x1513 x1514 -x1515 -x1516 x1517 x1518 x1519 -x1520 x1521 -x1522 x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 x1543 -x1544 -x1545 x1546 x1547 -x1548 x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 x1579 x1580 -x1581 -x1582 x1583 -x1584 x1585 -x1586 x1587 -x1588 x1589 -x1590 x1591 -x1592 x1593 -x1594 x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 x1611 -x1612 x1613 -x1614 x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 x1622 x1623 -x1624 x1625 -x1626 x1627 -x1628 x1629 -x1630 x1631 x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 x1649 -x1650 x1651 -x1652 x1653 -x1654 x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 x1695 x1696 -x1697 x1698 -x1699 x1700 -x1701 x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 -x1716 x1717 -x1718 x1719 -x1720 x1721 x1722 -x1723 x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 x1761 x1762 -x1763 x1764 -x1765 -x1766 x1767 -x1768 x1769 -x1770 x1771 -x1772 x1773 -x1774 -x1775 -x1776 x1777 x1778 -x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 -x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 x1832 -x1833 -x1834 x1835 x1836 -x1837 x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 x1887 -x1888 -x1889 x1890 -x1891 x1892 x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 x1908 -x1909 x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 x1928 -x1929 x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937 x1938 x1939 -x1940 -x1941 x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 x1986 -x1987 -x1988 x1989 -x1990 x1991 -x1992 x1993 x1994 -x1995 x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 x2008 -x2009 -x2010 x2011 x2012 -x2013 x2014 -x2015 x2016 x2017 -x2018 -x2019 x2020 x2021 -x2022 -x2023 -x2024 x2025
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62590 MiB free)
memory of node 1: 64465 MiB (63773 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499581-1751418180/watcher-4499581-1751418180 -o /tmp/evaluation-result-4499581-1751418180/solver-4499581-1751418180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751418180-60166 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499581-1751418180.opb PROOFDIR/proof-4499581-1751418180
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60209, runsolver pid=60206
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.45 0.91 1.35 5/269 60228
/proc/meminfo: memFree=129392252/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=58000 memory=13088 CPUtime=0.06 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 1101 0 0 0 5 1 0 0 20 0 1 0 57495581 59392000 3272 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 14500 3272 1952 1147 0 1927 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62192 KiB
Current children cumulated memory: 16160 KiB
[startup+0.205667 s]*
/proc/loadavg: 0.45 0.91 1.35 6/269 60228
/proc/meminfo: memFree=129376376/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=62164 memory=17632 CPUtime=0.16 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 2383 0 0 0 13 3 0 0 20 0 1 0 57495581 63655936 4408 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 15541 4408 1952 1147 0 2968 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66356 KiB
Current children cumulated memory: 20704 KiB
[startup+0.305751 s]*
/proc/loadavg: 0.45 0.91 1.35 5/269 60228
/proc/meminfo: memFree=129303792/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=101988 memory=49408 CPUtime=0.26 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 6609 0 0 0 21 5 0 0 20 0 1 0 57495581 104435712 12352 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 25497 12352 2240 1147 0 12924 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 106180 KiB
Current children cumulated memory: 52480 KiB
[startup+0.700218 s]
/proc/loadavg: 0.45 0.91 1.35 5/269 60228
/proc/meminfo: memFree=129263212/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=91376 CPUtime=0.65 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12389 0 0 0 44 21 0 0 20 0 1 0 57495581 143290368 22844 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 22844 2368 1147 0 22410 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 94448 KiB
[startup+1.50022 s]
/proc/loadavg: 0.45 0.91 1.35 5/269 60228
/proc/meminfo: memFree=129130336/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=91376 CPUtime=1.45 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12389 0 0 0 123 22 0 0 20 0 1 0 57495581 143290368 22844 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 22844 2368 1147 0 22410 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 94448 KiB
[startup+3.10544 s]
/proc/loadavg: 0.45 0.91 1.35 5/269 60228
/proc/meminfo: memFree=129074532/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=92400 CPUtime=3.05 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12657 0 0 0 265 40 0 0 20 0 1 0 57495581 143290368 23100 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 23100 2400 1147 0 22410 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 95472 KiB
[startup+6.30014 s]
/proc/loadavg: 0.74 0.96 1.37 5/270 60229
/proc/meminfo: memFree=129041516/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=95236 CPUtime=6.23 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12842 0 0 0 574 49 0 0 20 0 1 0 57495581 143290368 23809 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 23809 2400 1147 0 22410 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 98308 KiB
[startup+12.7001 s]
/proc/loadavg: 1.00 1.01 1.38 5/270 60229
/proc/meminfo: memFree=128906304/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=95236 CPUtime=12.61 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12856 0 0 0 1192 69 0 0 20 0 1 0 57495581 143290368 23809 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 23809 2400 1147 0 22410 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 98308 KiB
[startup+25.5002 s]
/proc/loadavg: 1.74 1.17 1.43 5/270 60230
/proc/meminfo: memFree=128689552/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=139932 memory=95492 CPUtime=25.37 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 12930 0 0 0 2439 98 0 0 20 0 1 0 57495581 143290368 23873 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 34983 23873 2400 1147 0 22410 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 144124 KiB
Current children cumulated memory: 98564 KiB
[startup+51.1055 s]
/proc/loadavg: 2.51 1.40 1.50 5/270 60230
/proc/meminfo: memFree=128352440/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=146736 memory=101680 CPUtime=50.91 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 13452 0 0 0 4945 146 0 0 20 0 1 0 57495581 150257664 25420 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 36684 25420 2400 1147 0 24111 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 150928 KiB
Current children cumulated memory: 104752 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.82 1.64 5/270 60232
/proc/meminfo: memFree=127782648/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=148780 memory=104468 CPUtime=101.95 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14351 0 0 0 9958 237 0 0 20 0 1 0 57495581 152350720 26117 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 37195 26117 2400 1147 0 24622 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 152972 KiB
Current children cumulated memory: 107540 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.23 1.79 5/265 60262
/proc/meminfo: memFree=127420020/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=159840 memory=113428 CPUtime=161.68 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14522 0 0 0 15839 329 0 0 20 0 1 0 57495581 163676160 28357 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 39960 28357 2400 1147 0 27387 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 164032 KiB
Current children cumulated memory: 116500 KiB
[startup+222.3 s]
/proc/loadavg: 3.42 2.42 1.89 4/265 60274
/proc/meminfo: memFree=127246348/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=159840 memory=117004 CPUtime=221.5 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14529 0 0 0 21738 412 0 0 20 0 1 0 57495581 163676160 29251 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 39960 29251 2400 1147 0 27387 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 164032 KiB
Current children cumulated memory: 120076 KiB
[startup+270.027 s]
# the end of solver process 60209 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=264.153 s, system=4.90877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 3.36 2.44 1.90 4/265 60274
/proc/meminfo: memFree=127206008/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=159840 memory=117004 CPUtime=229.57 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14529 0 0 0 22530 427 0 0 20 0 1 0 57495581 163676160 29251 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 39960 29251 2400 1147 0 27387 0
Current children cumulated CPU time: 229.57 s
Current children cumulated vsize: 164032 KiB
Current children cumulated memory: 120076 KiB
[startup+256 s]*
/proc/loadavg: 3.29 2.50 1.94 4/265 60280
/proc/meminfo: memFree=127015016/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=159840 memory=117004 CPUtime=255.11 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14556 0 0 0 25043 468 0 0 20 0 1 0 57495581 163676160 29251 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 39960 29251 2400 1147 0 27387 0
Current children cumulated CPU time: 255.11 s
Current children cumulated vsize: 164032 KiB
Current children cumulated memory: 120076 KiB
[startup+262.4 s]
/proc/loadavg: 3.27 2.51 1.94 4/265 60280
/proc/meminfo: memFree=126981108/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=159840 memory=117004 CPUtime=261.48 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14556 0 0 0 25669 479 0 0 20 0 1 0 57495581 163676160 29251 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 39960 29251 2400 1147 0 27387 0
Current children cumulated CPU time: 261.48 s
Current children cumulated vsize: 164032 KiB
Current children cumulated memory: 120076 KiB
[startup+265.6 s]
/proc/loadavg: 3.25 2.52 1.95 4/265 60280
/proc/meminfo: memFree=126965004/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=160172 memory=117260 CPUtime=264.67 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14639 0 0 0 25984 483 0 0 20 0 1 0 57495581 164016128 29315 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 40043 29315 2400 1147 0 27470 0
Current children cumulated CPU time: 264.67 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 120332 KiB
[startup+267.2 s]
/proc/loadavg: 3.25 2.52 1.95 4/265 60280
/proc/meminfo: memFree=126948916/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=160172 memory=117260 CPUtime=266.27 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14639 0 0 0 26141 486 0 0 20 0 1 0 57495581 164016128 29315 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 40043 29315 2400 1147 0 27470 0
Current children cumulated CPU time: 266.27 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 120332 KiB
[startup+268.8 s]
/proc/loadavg: 3.25 2.52 1.95 4/266 60282
/proc/meminfo: memFree=126948664/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=160172 memory=117260 CPUtime=267.87 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14639 0 0 0 26298 489 0 0 20 0 1 0 57495581 164016128 29315 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 40043 29315 2400 1147 0 27470 0
Current children cumulated CPU time: 267.87 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 120332 KiB
[startup+269.6 s]
/proc/loadavg: 3.25 2.52 1.95 4/266 60282
/proc/meminfo: memFree=126924724/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=160172 memory=117260 CPUtime=268.66 cores=4,6
/proc/60217/stat : 60217 (roundingsat) R 60209 60209 59515 0 -1 4194304 14639 0 0 0 26377 489 0 0 20 0 1 0 57495581 164016128 29315 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 40043 29315 2400 1147 0 27470 0
Current children cumulated CPU time: 268.66 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 120332 KiB
[startup+270 s]*
/proc/loadavg: 3.23 2.53 1.95 3/266 60282
/proc/meminfo: memFree=126922544/131249988 swapFree=33010672/33010684
[pid=60209] ppid=60206 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/60209/stat : 60209 (run-opt-log.sh) S 60206 60209 59515 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 57495580 4292608 768 18446744073709551615 94546404954112 94546405848645 140731651856192 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94546406087696 94546406135440 94546438332416 140731651864865 140731651865060 140731651865060 140731651870662 0
/proc/60209/statm: 1048 768 704 219 0 110 0
[pid=60217] ppid=60209 vsize=160172 memory=117260 CPUtime=269.04 cores=4,6
/proc/60217/stat : 60217 (roundingsat) D 60209 60209 59515 0 -1 4194304 14639 0 0 0 26414 490 0 0 20 0 1 0 57495581 164016128 29315 18446744073709551615 4227072 8923433 140723674815296 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 41590784 140723674818898 140723674819112 140723674819112 140723674824682 0
/proc/60217/statm: 40043 29315 2400 1147 0 27470 0
Current children cumulated CPU time: 269.04 s
Current children cumulated vsize: 164364 KiB
Current children cumulated memory: 120332 KiB
Child status: 0
Real time (s): 270.027
CPU time (s): 269.061
CPU user time (s): 264.153
CPU system time (s): 4.90877
CPU usage (%): 99.6423
Max. virtual memory (cumulated for all children) (KiB): 164364
Max. memory (cumulated for all children) (KiB): 120332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.153
system time used= 4.90877
maximum resident set size= 117260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1615040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1104
involuntary context switches= 1823
# summary of solver processes directly reported to runsolver:
# pid: 60209
# total CPU time (s): 269.061
# total CPU user time (s): 264.153
# total CPU system time (s): 4.90877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.51363 second user time and 1.24083 second system time
The end
Begin job on nodeC020 at 2025-07-02 03:03:00
IDJOB=4499581
IDBENCH=148784
IDSOLVER=3351
FILE ID=nodeC020/4499581-1751418180
RUNJOBID= nodeC020-1751418180-60166
SLURM_JOB_ID= 9598327
Free space on /tmp= 432424 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-250-false-45-90-4-2000opt.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4499581-1751418180/watcher-4499581-1751418180 -o /tmp/evaluation-result-4499581-1751418180/solver-4499581-1751418180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751418180-60166 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4499581-1751418180.opb PROOFDIR/proof-4499581-1751418180
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 244d2960852ad966f69f423720fc1906
RANDOM SEED=1404611157
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.485
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1198.914
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.548
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.871
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2086.101
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2329.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129381592 kB
MemAvailable: 129683592 kB
Buffers: 2128 kB
Cached: 1106140 kB
SwapCached: 8 kB
Active: 517448 kB
Inactive: 668372 kB
Active(anon): 73088 kB
Inactive(anon): 22512 kB
Active(file): 444360 kB
Inactive(file): 645860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36612 kB
Writeback: 0 kB
AnonPages: 80592 kB
Mapped: 103780 kB
Shmem: 18048 kB
KReclaimable: 102040 kB
Slab: 190884 kB
SReclaimable: 102040 kB
SUnreclaim: 88844 kB
KernelStack: 4052 kB
PageTables: 2600 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 343612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432396 MiB
End job on nodeC020 at 2025-07-02 03:07:30