0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
2.41/2.67 c #variables 15008 #constraints 65280
2.41/2.67 c objective is ce32
3.02/3.27 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.02/3.27 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.02/3.27 c GLOBAL bounds - >= 0 @ 2.83016
3.32/3.56 c GLOBAL bounds - >= 0 @ 3.1088
3.32/3.58 c GLOBAL bounds - >= 0 @ 3.12682
3.41/3.61 c GLOBAL bounds - >= 0 @ 3.1444
3.41/3.64 c GLOBAL bounds - >= 0 @ 3.16466
3.41/3.67 c GLOBAL bounds - >= 0 @ 3.1839
3.41/3.70 c GLOBAL bounds - >= 0 @ 3.2066
3.52/3.73 c GLOBAL bounds - >= 0 @ 3.23426
3.52/3.76 c GLOBAL bounds - >= 0 @ 3.25383
3.62/3.80 c GLOBAL bounds - >= 0 @ 3.28517
3.62/3.83 c GLOBAL bounds - >= 0 @ 3.30811
3.71/3.98 c GLOBAL bounds - >= 0 @ 3.44395
3.93/4.11 c GLOBAL bounds - >= 0 @ 3.56444
3.93/4.17 c GLOBAL bounds - >= 0 @ 3.60871
4.01/4.21 c GLOBAL bounds - >= 0 @ 3.64528
4.01/4.25 c GLOBAL bounds - >= 0 @ 3.67871
4.11/4.34 c GLOBAL bounds - >= 0 @ 3.75594
4.11/4.37 c GLOBAL bounds - >= 0 @ 3.77632
4.21/4.40 c GLOBAL bounds - >= 0 @ 3.79838
4.21/4.44 c GLOBAL bounds - >= 0 @ 3.82219
4.31/4.50 c GLOBAL bounds - >= 0 @ 3.86649
4.31/4.55 c GLOBAL bounds - >= 0 @ 3.89837
4.31/4.59 c GLOBAL bounds - >= 0 @ 3.93256
4.41/4.62 c GLOBAL bounds - >= 0 @ 3.95726
4.41/4.66 c GLOBAL bounds - >= 0 @ 3.98734
4.51/4.72 c GLOBAL bounds - >= 0 @ 4.03584
4.51/4.76 c GLOBAL bounds - >= 0 @ 4.07173
4.51/4.79 c GLOBAL bounds - >= 0 @ 4.09453
4.61/4.83 c GLOBAL bounds - >= 0 @ 4.12367
4.61/4.86 c GLOBAL bounds - >= 0 @ 4.14112
4.71/4.90 c GLOBAL bounds - >= 0 @ 4.1724
4.71/4.93 c GLOBAL bounds - >= 0 @ 4.1983
4.71/4.99 c GLOBAL bounds - >= 0 @ 4.24547
4.82/5.04 c GLOBAL bounds - >= 0 @ 4.28666
4.82/5.07 c GLOBAL bounds - >= 0 @ 4.30903
4.82/5.10 c GLOBAL bounds - >= 0 @ 4.32746
4.93/5.13 c GLOBAL bounds - >= 0 @ 4.34898
4.93/5.16 c GLOBAL bounds - >= 0 @ 4.36887
4.93/5.19 c GLOBAL bounds - >= 0 @ 4.39562
5.01/5.23 c GLOBAL bounds - >= 0 @ 4.42417
5.01/5.27 c GLOBAL bounds - >= 0 @ 4.45093
5.10/5.33 c GLOBAL bounds - >= 0 @ 4.49716
5.10/5.36 c GLOBAL bounds - >= 0 @ 4.52239
5.10/5.39 c GLOBAL bounds - >= 0 @ 4.54519
5.21/5.43 c GLOBAL bounds - >= 0 @ 4.57083
5.21/5.46 c GLOBAL bounds - >= 0 @ 4.5946
5.21/5.48 c GLOBAL bounds - >= 0 @ 4.6122
5.31/5.51 c GLOBAL bounds - >= 0 @ 4.63167
5.31/5.54 c GLOBAL bounds - >= 0 @ 4.65119
5.31/5.56 c GLOBAL bounds - >= 0 @ 4.668
5.31/5.59 c GLOBAL bounds - >= 0 @ 4.68923
5.41/5.62 c GLOBAL bounds - >= 0 @ 4.70642
5.41/5.64 c GLOBAL bounds - >= 0 @ 4.72853
5.41/5.67 c GLOBAL bounds - >= 0 @ 4.74628
5.51/5.70 c GLOBAL bounds - >= 0 @ 4.762
5.51/5.72 c GLOBAL bounds - >= 0 @ 4.78094
5.51/5.76 c GLOBAL bounds - >= 0 @ 4.80802
5.61/5.82 c GLOBAL bounds - >= 0 @ 4.84074
5.61/5.85 c GLOBAL bounds - >= 0 @ 4.86334
5.61/5.88 c GLOBAL bounds - >= 0 @ 4.87944
5.71/5.91 c GLOBAL bounds - >= 0 @ 4.90577
5.71/5.95 c GLOBAL bounds - >= 0 @ 4.93156
5.71/5.98 c GLOBAL bounds - >= 0 @ 4.95423
5.71/6.01 c GLOBAL bounds - >= 0 @ 4.97379
5.82/6.04 c GLOBAL bounds - >= 0 @ 4.99873
5.82/6.06 c GLOBAL bounds - >= 0 @ 5.01598
5.82/6.09 c GLOBAL bounds - >= 0 @ 5.03242
5.92/6.12 c GLOBAL bounds - >= 0 @ 5.05995
5.92/6.16 c GLOBAL bounds - >= 0 @ 5.08541
5.92/6.19 c GLOBAL bounds - >= 0 @ 5.11378
6.00/6.22 c GLOBAL bounds - >= 0 @ 5.13709
6.00/6.26 c GLOBAL bounds - >= 0 @ 5.16658
6.00/6.30 c GLOBAL bounds - >= 0 @ 5.19352
6.10/6.32 c GLOBAL bounds - >= 0 @ 5.21218
6.10/6.35 c GLOBAL bounds - >= 0 @ 5.22796
6.10/6.38 c GLOBAL bounds - >= 0 @ 5.25114
6.20/6.41 c GLOBAL bounds - >= 0 @ 5.26932
6.20/6.45 c GLOBAL bounds - >= 0 @ 5.2948
6.20/6.48 c GLOBAL bounds - >= 0 @ 5.32062
6.31/6.52 c GLOBAL bounds - >= 0 @ 5.34837
6.31/6.55 c GLOBAL bounds - >= 0 @ 5.36798
6.31/6.58 c GLOBAL bounds - >= 0 @ 5.39114
6.40/6.62 c GLOBAL bounds - >= 0 @ 5.41522
6.40/6.65 c GLOBAL bounds - >= 0 @ 5.43672
6.40/6.68 c GLOBAL bounds - >= 0 @ 5.45687
6.51/6.71 c GLOBAL bounds - >= 0 @ 5.48678
6.51/6.74 c GLOBAL bounds - >= 0 @ 5.5096
6.51/6.78 c GLOBAL bounds - >= 0 @ 5.53352
6.60/6.81 c GLOBAL bounds - >= 0 @ 5.5577
6.60/6.84 c GLOBAL bounds - >= 0 @ 5.57773
6.60/6.87 c GLOBAL bounds - >= 0 @ 5.60085
6.70/6.91 c GLOBAL bounds - >= 0 @ 5.63697
6.70/6.96 c GLOBAL bounds - >= 0 @ 5.67813
6.70/6.99 c GLOBAL bounds - >= 0 @ 5.70308
6.82/7.03 c GLOBAL bounds - >= 0 @ 5.72596
6.82/7.06 c GLOBAL bounds - >= 0 @ 5.74788
6.82/7.09 c GLOBAL bounds - >= 0 @ 5.77315
6.92/7.13 c GLOBAL bounds - >= 0 @ 5.79607
6.92/7.16 c GLOBAL bounds - >= 0 @ 5.82632
7.01/7.20 c GLOBAL bounds - >= 0 @ 5.85841
7.01/7.24 c GLOBAL bounds - >= 0 @ 5.89258
7.01/7.28 c GLOBAL bounds - >= 0 @ 5.9203
7.11/7.32 c GLOBAL bounds - >= 0 @ 5.95066
7.11/7.35 c GLOBAL bounds - >= 0 @ 5.9777
7.20/7.40 c GLOBAL bounds - >= 0 @ 6.01638
7.20/7.44 c GLOBAL bounds - >= 0 @ 6.04872
7.30/7.51 c GLOBAL bounds - >= 0 @ 6.10487
7.30/7.56 c GLOBAL bounds - >= 0 @ 6.15112
7.40/7.60 c GLOBAL bounds - >= 0 @ 6.1789
7.40/7.64 c GLOBAL bounds - >= 0 @ 6.20805
7.50/7.71 c GLOBAL bounds - >= 0 @ 6.26072
7.50/7.75 c GLOBAL bounds - >= 0 @ 6.30388
7.61/7.81 c GLOBAL bounds - >= 0 @ 6.35213
7.61/7.85 c GLOBAL bounds - >= 0 @ 6.38182
7.61/7.88 c GLOBAL bounds - >= 0 @ 6.40583
7.70/7.92 c GLOBAL bounds - >= 0 @ 6.43338
7.70/7.95 c GLOBAL bounds - >= 0 @ 6.45661
7.70/7.98 c GLOBAL bounds - >= 0 @ 6.48459
7.81/8.01 c GLOBAL bounds - >= 0 @ 6.50565
7.81/8.04 c GLOBAL bounds - >= 0 @ 6.52825
7.81/8.07 c GLOBAL bounds - >= 0 @ 6.55085
7.92/8.11 c GLOBAL bounds - >= 0 @ 6.5785
7.92/8.14 c GLOBAL bounds - >= 0 @ 6.60422
7.92/8.17 c GLOBAL bounds - >= 0 @ 6.6284
8.00/8.20 c GLOBAL bounds - >= 0 @ 6.64836
8.00/8.23 c GLOBAL bounds - >= 0 @ 6.66937
8.00/8.26 c GLOBAL bounds - >= 0 @ 6.69225
8.00/8.29 c GLOBAL bounds - >= 0 @ 6.71115
8.10/8.32 c GLOBAL bounds - >= 0 @ 6.73348
8.10/8.35 c GLOBAL bounds - >= 0 @ 6.75245
8.10/8.39 c GLOBAL bounds - >= 0 @ 6.77841
8.20/8.42 c GLOBAL bounds - >= 0 @ 6.80261
8.20/8.45 c GLOBAL bounds - >= 0 @ 6.82883
8.20/8.48 c GLOBAL bounds - >= 0 @ 6.84614
8.30/8.51 c GLOBAL bounds - >= 0 @ 6.86729
8.30/8.55 c GLOBAL bounds - >= 0 @ 6.89641
8.30/8.58 c GLOBAL bounds - >= 0 @ 6.92003
8.40/8.62 c GLOBAL bounds - >= 0 @ 6.94736
8.40/8.66 c GLOBAL bounds - >= 0 @ 6.97432
8.40/8.69 c GLOBAL bounds - >= 0 @ 6.99786
8.50/8.72 c GLOBAL bounds - >= 0 @ 7.02561
8.50/8.76 c GLOBAL bounds - >= 0 @ 7.05944
8.60/8.80 c GLOBAL bounds - >= 0 @ 7.08535
8.60/8.83 c GLOBAL bounds - >= 0 @ 7.10853
8.60/8.86 c GLOBAL bounds - >= 0 @ 7.13728
8.70/8.90 c GLOBAL bounds - >= 0 @ 7.16473
8.70/8.93 c GLOBAL bounds - >= 0 @ 7.18642
8.70/8.96 c GLOBAL bounds - >= 0 @ 7.20754
8.70/8.99 c GLOBAL bounds - >= 0 @ 7.23033
8.81/9.02 c GLOBAL bounds - >= 0 @ 7.257
8.81/9.05 c GLOBAL bounds - >= 0 @ 7.277
8.81/9.09 c GLOBAL bounds - >= 0 @ 7.29675
8.91/9.12 c GLOBAL bounds - >= 0 @ 7.32095
8.91/9.15 c GLOBAL bounds - >= 0 @ 7.34766
8.91/9.19 c GLOBAL bounds - >= 0 @ 7.36921
9.00/9.23 c GLOBAL bounds - >= 0 @ 7.40194
9.00/9.27 c GLOBAL bounds - >= 0 @ 7.43729
9.10/9.30 c GLOBAL bounds - >= 0 @ 7.46293
9.10/9.35 c GLOBAL bounds - >= 0 @ 7.50608
9.10/9.39 c GLOBAL bounds - >= 0 @ 7.53783
9.20/9.42 c GLOBAL bounds - >= 0 @ 7.56914
9.20/9.46 c GLOBAL bounds - >= 0 @ 7.59983
9.29/9.56 c GLOBAL bounds - >= 0 @ 7.67004
9.40/9.60 c GLOBAL bounds - >= 0 @ 7.69684
9.40/9.64 c GLOBAL bounds - >= 0 @ 7.72482
9.40/9.68 c GLOBAL bounds - >= 0 @ 7.75513
9.50/9.72 c GLOBAL bounds - >= 0 @ 7.78916
9.50/9.77 c GLOBAL bounds - >= 0 @ 7.82478
9.59/9.81 c GLOBAL bounds - >= 0 @ 7.8585
9.59/9.85 c GLOBAL bounds - >= 0 @ 7.88849
9.59/9.89 c GLOBAL bounds - >= 0 @ 7.9203
9.69/9.93 c GLOBAL bounds - >= 0 @ 7.94902
9.69/9.97 c GLOBAL bounds - >= 0 @ 7.97712
9.69/10.00 c GLOBAL bounds - >= 0 @ 8.0045
9.80/10.05 c GLOBAL bounds - >= 0 @ 8.04032
9.80/10.09 c GLOBAL bounds - >= 0 @ 8.06717
9.90/10.12 c GLOBAL bounds - >= 0 @ 8.08639
9.90/10.15 c GLOBAL bounds - >= 0 @ 8.11431
10.00/10.20 c GLOBAL bounds - >= 0 @ 8.15026
10.00/10.24 c GLOBAL bounds - >= 0 @ 8.17844
10.00/10.27 c GLOBAL bounds - >= 0 @ 8.20602
10.09/10.30 c GLOBAL bounds - >= 0 @ 8.22831
10.09/10.34 c GLOBAL bounds - >= 0 @ 8.25965
10.09/10.39 c GLOBAL bounds - >= 0 @ 8.30139
10.19/10.44 c GLOBAL bounds - >= 0 @ 8.33997
10.19/10.49 c GLOBAL bounds - >= 0 @ 8.38235
10.29/10.57 c GLOBAL bounds - >= 0 @ 8.44903
10.39/10.61 c GLOBAL bounds - >= 0 @ 8.47797
10.39/10.65 c GLOBAL bounds - >= 0 @ 8.50969
10.49/10.71 c GLOBAL bounds - >= 0 @ 8.55379
10.49/10.75 c GLOBAL bounds - >= 0 @ 8.59062
10.49/10.79 c GLOBAL bounds - >= 0 @ 8.62284
10.59/10.83 c GLOBAL bounds - >= 0 @ 8.65644
10.59/10.87 c GLOBAL bounds - >= 0 @ 8.68503
10.69/10.91 c GLOBAL bounds - >= 0 @ 8.71123
10.69/10.94 c GLOBAL bounds - >= 0 @ 8.73384
10.69/10.97 c GLOBAL bounds - >= 0 @ 8.75959
10.69/11.01 c GLOBAL bounds - >= 0 @ 8.78239
10.80/11.06 c GLOBAL bounds - >= 0 @ 8.8271
10.91/11.11 c GLOBAL bounds - >= 0 @ 8.86784
10.91/11.16 c GLOBAL bounds - >= 0 @ 8.90901
10.99/11.20 c GLOBAL bounds - >= 0 @ 8.94473
10.99/11.25 c GLOBAL bounds - >= 0 @ 8.97927
11.09/11.30 c GLOBAL bounds - >= 0 @ 9.02721
11.09/11.36 c GLOBAL bounds - >= 0 @ 9.0746
11.19/11.41 c GLOBAL bounds - >= 0 @ 9.11101
11.19/11.45 c GLOBAL bounds - >= 0 @ 9.1479
11.19/11.49 c GLOBAL bounds - >= 0 @ 9.17906
11.29/11.54 c GLOBAL bounds - >= 0 @ 9.21727
11.29/11.58 c GLOBAL bounds - >= 0 @ 9.25025
11.39/11.62 c GLOBAL bounds - >= 0 @ 9.28296
11.39/11.66 c GLOBAL bounds - >= 0 @ 9.3135
11.49/11.70 c GLOBAL bounds - >= 0 @ 9.34407
11.49/11.74 c GLOBAL bounds - >= 0 @ 9.3793
11.49/11.78 c GLOBAL bounds - >= 0 @ 9.41546
11.59/11.82 c GLOBAL bounds - >= 0 @ 9.44422
11.59/11.85 c GLOBAL bounds - >= 0 @ 9.47337
11.59/11.89 c GLOBAL bounds - >= 0 @ 9.49824
11.69/11.93 c GLOBAL bounds - >= 0 @ 9.53212
11.69/11.98 c GLOBAL bounds - >= 0 @ 9.57019
11.80/12.02 c GLOBAL bounds - >= 0 @ 9.60164
11.80/12.05 c GLOBAL bounds - >= 0 @ 9.62971
11.80/12.10 c GLOBAL bounds - >= 0 @ 9.66637
11.90/12.14 c GLOBAL bounds - >= 0 @ 9.69776
11.90/12.17 c GLOBAL bounds - >= 0 @ 9.7249
11.99/12.21 c GLOBAL bounds - >= 0 @ 9.75207
11.99/12.24 c GLOBAL bounds - >= 0 @ 9.7772
11.99/12.28 c GLOBAL bounds - >= 0 @ 9.80938
12.08/12.32 c GLOBAL bounds - >= 0 @ 9.84242
12.08/12.36 c GLOBAL bounds - >= 0 @ 9.87473
12.19/12.40 c GLOBAL bounds - >= 0 @ 9.90057
12.19/12.44 c GLOBAL bounds - >= 0 @ 9.93958
12.19/12.49 c GLOBAL bounds - >= 0 @ 9.98198
12.29/12.54 c GLOBAL bounds - >= 0 @ 10.019
12.29/12.58 c GLOBAL bounds - >= 0 @ 10.0454
12.39/12.62 c GLOBAL bounds - >= 0 @ 10.0825
12.39/12.68 c GLOBAL bounds - >= 0 @ 10.1314
12.49/12.71 c GLOBAL bounds - >= 0 @ 10.1599
12.49/12.76 c GLOBAL bounds - >= 0 @ 10.1985
12.58/12.82 c GLOBAL bounds - >= 0 @ 10.2435
12.58/12.86 c GLOBAL bounds - >= 0 @ 10.2794
12.69/12.91 c GLOBAL bounds - >= 0 @ 10.3126
12.69/12.94 c GLOBAL bounds - >= 0 @ 10.3374
12.80/13.03 c GLOBAL bounds - >= 0 @ 10.4125
12.80/13.08 c GLOBAL bounds - >= 0 @ 10.457
12.98/13.23 c GLOBAL bounds - >= 0 @ 10.5939
12.98/13.29 c GLOBAL bounds - >= 0 @ 10.6485
13.49/13.70 c GLOBAL bounds - >= 0 @ 11.0563
13.49/13.76 c GLOBAL bounds - >= 0 @ 11.1046
13.59/13.84 c GLOBAL bounds - >= 0 @ 11.18
13.59/13.89 c GLOBAL bounds - >= 0 @ 11.2232
13.68/13.96 c GLOBAL bounds - >= 0 @ 11.2771
13.80/14.01 c GLOBAL bounds - >= 0 @ 11.3206
13.80/14.07 c GLOBAL bounds - >= 0 @ 11.3723
13.90/14.12 c GLOBAL bounds - >= 0 @ 11.4102
13.90/14.17 c GLOBAL bounds - >= 0 @ 11.4454
13.99/14.22 c GLOBAL bounds - >= 0 @ 11.4917
13.99/14.27 c GLOBAL bounds - >= 0 @ 11.5297
14.09/14.32 c GLOBAL bounds - >= 0 @ 11.568
14.09/14.38 c GLOBAL bounds - >= 0 @ 11.6195
14.18/14.43 c GLOBAL bounds - >= 0 @ 11.6645
14.18/14.48 c GLOBAL bounds - >= 0 @ 11.7067
14.28/14.53 c GLOBAL bounds - >= 0 @ 11.7455
14.28/14.58 c GLOBAL bounds - >= 0 @ 11.7788
14.38/14.63 c GLOBAL bounds - >= 0 @ 11.8288
14.38/14.68 c GLOBAL bounds - >= 0 @ 11.8666
14.48/14.73 c GLOBAL bounds - >= 0 @ 11.9032
14.48/14.77 c GLOBAL bounds - >= 0 @ 11.9415
14.58/14.82 c GLOBAL bounds - >= 0 @ 11.9754
14.58/14.86 c GLOBAL bounds - >= 0 @ 12.008
14.68/14.91 c GLOBAL bounds - >= 0 @ 12.0496
14.68/14.96 c GLOBAL bounds - >= 0 @ 12.0851
14.68/15.01 c GLOBAL bounds - >= 0 @ 12.1222
14.79/15.06 c GLOBAL bounds - >= 0 @ 12.1611
14.79/15.11 c GLOBAL bounds - >= 0 @ 12.2041
14.90/15.15 c GLOBAL bounds - >= 0 @ 12.2452
14.97/15.20 c GLOBAL bounds - >= 0 @ 12.2789
14.97/15.25 c GLOBAL bounds - >= 0 @ 12.3191
14.97/15.29 c GLOBAL bounds - >= 0 @ 12.354
15.07/15.34 c GLOBAL bounds - >= 0 @ 12.3928
15.07/15.39 c GLOBAL bounds - >= 0 @ 12.4354
15.17/15.44 c GLOBAL bounds - >= 0 @ 12.4727
15.17/15.48 c GLOBAL bounds - >= 0 @ 12.5088
15.27/15.52 c GLOBAL bounds - >= 0 @ 12.5377
15.27/15.56 c GLOBAL bounds - >= 0 @ 12.5723
15.37/15.61 c GLOBAL bounds - >= 0 @ 12.6084
15.37/15.65 c GLOBAL bounds - >= 0 @ 12.6423
15.47/15.76 c GLOBAL bounds - >= 0 @ 12.7349
15.57/15.83 c GLOBAL bounds - >= 0 @ 12.7977
15.57/15.89 c GLOBAL bounds - >= 0 @ 12.8383
15.67/15.93 c GLOBAL bounds - >= 0 @ 12.8784
15.67/15.99 c GLOBAL bounds - >= 0 @ 12.9302
15.79/16.04 c GLOBAL bounds - >= 0 @ 12.9665
15.79/16.09 c GLOBAL bounds - >= 0 @ 13.002
15.89/16.13 c GLOBAL bounds - >= 0 @ 13.0429
15.89/16.19 c GLOBAL bounds - >= 0 @ 13.0943
15.97/16.25 c GLOBAL bounds - >= 0 @ 13.1504
16.07/16.30 c GLOBAL bounds - >= 0 @ 13.1956
16.17/16.40 c GLOBAL bounds - >= 0 @ 13.2657
16.17/16.48 c GLOBAL bounds - >= 0 @ 13.3219
16.27/16.53 c GLOBAL bounds - >= 0 @ 13.3651
16.37/16.60 c GLOBAL bounds - >= 0 @ 13.423
16.37/16.66 c GLOBAL bounds - >= 0 @ 13.4734
16.46/16.71 c GLOBAL bounds - >= 0 @ 13.5118
16.46/16.76 c GLOBAL bounds - >= 0 @ 13.5508
16.57/16.81 c GLOBAL bounds - >= 0 @ 13.5982
16.57/16.87 c GLOBAL bounds - >= 0 @ 13.6328
16.67/16.92 c GLOBAL bounds - >= 0 @ 13.6735
16.67/16.96 c GLOBAL bounds - >= 0 @ 13.7129
16.67/17.01 c GLOBAL bounds - >= 0 @ 13.7528
16.78/17.05 c GLOBAL bounds - >= 0 @ 13.79
16.88/17.11 c GLOBAL bounds - >= 0 @ 13.8325
16.88/17.16 c GLOBAL bounds - >= 0 @ 13.8769
16.97/17.21 c GLOBAL bounds - >= 0 @ 13.9123
16.97/17.25 c GLOBAL bounds - >= 0 @ 13.9499
17.07/17.30 c GLOBAL bounds - >= 0 @ 13.9847
17.07/17.34 c GLOBAL bounds - >= 0 @ 14.0216
17.07/17.39 c GLOBAL bounds - >= 0 @ 14.0496
17.17/17.45 c GLOBAL bounds - >= 0 @ 14.0987
17.27/17.50 c GLOBAL bounds - >= 0 @ 14.1437
17.27/17.56 c GLOBAL bounds - >= 0 @ 14.1886
17.36/17.61 c GLOBAL bounds - >= 0 @ 14.2282
17.36/17.66 c GLOBAL bounds - >= 0 @ 14.2717
17.46/17.71 c GLOBAL bounds - >= 0 @ 14.3051
17.46/17.75 c GLOBAL bounds - >= 0 @ 14.3479
17.57/17.80 c GLOBAL bounds - >= 0 @ 14.3882
17.57/17.85 c GLOBAL bounds - >= 0 @ 14.4267
17.67/17.90 c GLOBAL bounds - >= 0 @ 14.4668
17.67/17.95 c GLOBAL bounds - >= 0 @ 14.5064
17.67/18.00 c GLOBAL bounds - >= 0 @ 14.5475
17.78/18.05 c GLOBAL bounds - >= 0 @ 14.5833
17.88/18.12 c GLOBAL bounds - >= 0 @ 14.6421
17.88/18.17 c GLOBAL bounds - >= 0 @ 14.6885
17.96/18.23 c GLOBAL bounds - >= 0 @ 14.7303
17.96/18.28 c GLOBAL bounds - >= 0 @ 14.7759
18.07/18.33 c GLOBAL bounds - >= 0 @ 14.8137
18.07/18.37 c GLOBAL bounds - >= 0 @ 14.8525
18.17/18.42 c GLOBAL bounds - >= 0 @ 14.8907
18.17/18.46 c GLOBAL bounds - >= 0 @ 14.9257
18.27/18.52 c GLOBAL bounds - >= 0 @ 14.9656
18.27/18.56 c GLOBAL bounds - >= 0 @ 14.9986
18.36/18.61 c GLOBAL bounds - >= 0 @ 15.0359
18.36/18.65 c GLOBAL bounds - >= 0 @ 15.0749
18.46/18.70 c GLOBAL bounds - >= 0 @ 15.1111
18.46/18.75 c GLOBAL bounds - >= 0 @ 15.1542
18.57/18.80 c GLOBAL bounds - >= 0 @ 15.1922
18.57/18.84 c GLOBAL bounds - >= 0 @ 15.228
18.57/18.89 c GLOBAL bounds - >= 0 @ 15.273
18.66/18.95 c GLOBAL bounds - >= 0 @ 15.3205
18.66/19.00 c GLOBAL bounds - >= 0 @ 15.361
18.77/19.05 c GLOBAL bounds - >= 0 @ 15.3963
18.77/19.10 c GLOBAL bounds - >= 0 @ 15.4446
18.88/19.15 c GLOBAL bounds - >= 0 @ 15.4908
18.96/19.20 c GLOBAL bounds - >= 0 @ 15.5314
18.96/19.25 c GLOBAL bounds - >= 0 @ 15.5686
19.07/19.30 c GLOBAL bounds - >= 0 @ 15.616
19.07/19.35 c GLOBAL bounds - >= 0 @ 15.6595
19.16/19.41 c GLOBAL bounds - >= 0 @ 15.7027
19.16/19.46 c GLOBAL bounds - >= 0 @ 15.7434
19.26/19.52 c GLOBAL bounds - >= 0 @ 15.7988
19.26/19.58 c GLOBAL bounds - >= 0 @ 15.8476
19.37/19.63 c GLOBAL bounds - >= 0 @ 15.885
19.37/19.67 c GLOBAL bounds - >= 0 @ 15.9181
19.46/19.72 c GLOBAL bounds - >= 0 @ 15.9613
19.46/19.78 c GLOBAL bounds - >= 0 @ 16.0172
19.56/19.84 c GLOBAL bounds - >= 0 @ 16.0715
19.66/19.90 c GLOBAL bounds - >= 0 @ 16.1219
19.66/19.97 c GLOBAL bounds - >= 0 @ 16.1784
19.77/20.03 c GLOBAL bounds - >= 0 @ 16.2297
19.77/20.08 c GLOBAL bounds - >= 0 @ 16.2787
19.88/20.14 c GLOBAL bounds - >= 0 @ 16.3219
19.88/20.19 c GLOBAL bounds - >= 0 @ 16.3686
19.96/20.24 c GLOBAL bounds - >= 0 @ 16.4136
19.96/20.30 c GLOBAL bounds - >= 0 @ 16.4604
20.06/20.35 c GLOBAL bounds - >= 0 @ 16.5106
20.15/20.40 c GLOBAL bounds - >= 0 @ 16.5556
20.15/20.46 c GLOBAL bounds - >= 0 @ 16.6004
20.26/20.51 c GLOBAL bounds - >= 0 @ 16.6455
20.26/20.57 c GLOBAL bounds - >= 0 @ 16.6965
20.36/20.62 c GLOBAL bounds - >= 0 @ 16.7414
20.36/20.67 c GLOBAL bounds - >= 0 @ 16.7814
20.46/20.72 c GLOBAL bounds - >= 0 @ 16.8203
20.46/20.76 c GLOBAL bounds - >= 0 @ 16.855
20.56/20.81 c GLOBAL bounds - >= 0 @ 16.892
20.56/20.85 c GLOBAL bounds - >= 0 @ 16.9364
20.66/20.91 c GLOBAL bounds - >= 0 @ 16.9844
20.66/20.98 c GLOBAL bounds - >= 0 @ 17.0504
20.77/21.04 c GLOBAL bounds - >= 0 @ 17.1019
20.77/21.11 c GLOBAL bounds - >= 0 @ 17.1623
20.87/21.19 c GLOBAL bounds - >= 0 @ 17.2288
20.96/21.26 c GLOBAL bounds - >= 0 @ 17.2951
21.05/21.32 c GLOBAL bounds - >= 0 @ 17.3529
21.05/21.38 c GLOBAL bounds - >= 0 @ 17.4047
21.15/21.44 c GLOBAL bounds - >= 0 @ 17.4565
21.15/21.49 c GLOBAL bounds - >= 0 @ 17.503
21.25/21.54 c GLOBAL bounds - >= 0 @ 17.5456
21.25/21.59 c GLOBAL bounds - >= 0 @ 17.5879
21.36/21.64 c GLOBAL bounds - >= 0 @ 17.6271
21.36/21.68 c GLOBAL bounds - >= 0 @ 17.6711
21.46/21.73 c GLOBAL bounds - >= 0 @ 17.7101
21.46/21.78 c GLOBAL bounds - >= 0 @ 17.7503
21.56/21.82 c GLOBAL bounds - >= 0 @ 17.7873
21.56/21.87 c GLOBAL bounds - >= 0 @ 17.8242
21.66/21.92 c GLOBAL bounds - >= 0 @ 17.8606
21.66/21.97 c GLOBAL bounds - >= 0 @ 17.8994
21.76/22.01 c GLOBAL bounds - >= 0 @ 17.9392
21.76/22.06 c GLOBAL bounds - >= 0 @ 17.9773
21.87/22.12 c GLOBAL bounds - >= 0 @ 18.0275
21.87/22.17 c GLOBAL bounds - >= 0 @ 18.077
21.95/22.23 c GLOBAL bounds - >= 0 @ 18.1199
21.95/22.27 c GLOBAL bounds - >= 0 @ 18.1633
22.05/22.32 c GLOBAL bounds - >= 0 @ 18.2091
22.05/22.37 c GLOBAL bounds - >= 0 @ 18.2476
22.15/22.42 c GLOBAL bounds - >= 0 @ 18.2971
22.15/22.49 c GLOBAL bounds - >= 0 @ 18.3587
22.26/22.55 c GLOBAL bounds - >= 0 @ 18.4027
22.26/22.59 c GLOBAL bounds - >= 0 @ 18.4427
22.35/22.64 c GLOBAL bounds - >= 0 @ 18.4848
22.35/22.69 c GLOBAL bounds - >= 0 @ 18.5322
22.45/22.74 c GLOBAL bounds - >= 0 @ 18.573
22.56/22.81 c GLOBAL bounds - >= 0 @ 18.6292
22.56/22.88 c GLOBAL bounds - >= 0 @ 18.6928
22.65/22.93 c GLOBAL bounds - >= 0 @ 18.7403
22.65/23.00 c GLOBAL bounds - >= 0 @ 18.7965
22.77/23.07 c GLOBAL bounds - >= 0 @ 18.8542
22.87/23.12 c GLOBAL bounds - >= 0 @ 18.9041
22.87/23.18 c GLOBAL bounds - >= 0 @ 18.9502
22.95/23.24 c GLOBAL bounds - >= 0 @ 19.006
22.95/23.29 c GLOBAL bounds - >= 0 @ 19.0511
23.05/23.35 c GLOBAL bounds - >= 0 @ 19.0963
23.15/23.40 c GLOBAL bounds - >= 0 @ 19.1409
23.15/23.46 c GLOBAL bounds - >= 0 @ 19.185
23.25/23.51 c GLOBAL bounds - >= 0 @ 19.2246
23.25/23.57 c GLOBAL bounds - >= 0 @ 19.273
23.35/23.62 c GLOBAL bounds - >= 0 @ 19.3173
23.35/23.67 c GLOBAL bounds - >= 0 @ 19.3605
23.45/23.73 c GLOBAL bounds - >= 0 @ 19.4071
23.45/23.78 c GLOBAL bounds - >= 0 @ 19.4459
23.55/23.83 c GLOBAL bounds - >= 0 @ 19.4895
23.55/23.88 c GLOBAL bounds - >= 0 @ 19.5292
23.65/23.93 c GLOBAL bounds - >= 0 @ 19.5695
23.65/23.98 c GLOBAL bounds - >= 0 @ 19.6141
23.77/24.03 c GLOBAL bounds - >= 0 @ 19.6611
23.77/24.08 c GLOBAL bounds - >= 0 @ 19.7019
23.86/24.13 c GLOBAL bounds - >= 0 @ 19.7472
23.86/24.19 c GLOBAL bounds - >= 0 @ 19.7908
23.95/24.24 c GLOBAL bounds - >= 0 @ 19.8309
23.95/24.29 c GLOBAL bounds - >= 0 @ 19.8734
24.05/24.34 c GLOBAL bounds - >= 0 @ 19.9166
24.05/24.40 c GLOBAL bounds - >= 0 @ 19.964
24.15/24.44 c GLOBAL bounds - >= 0 @ 20.0027
24.25/24.51 c GLOBAL bounds - >= 0 @ 20.0562
24.25/24.57 c GLOBAL bounds - >= 0 @ 20.1046
24.34/24.62 c GLOBAL bounds - >= 0 @ 20.1523
24.34/24.67 c GLOBAL bounds - >= 0 @ 20.1907
24.44/24.73 c GLOBAL bounds - >= 0 @ 20.2413
24.44/24.80 c GLOBAL bounds - >= 0 @ 20.2937
24.55/24.88 c GLOBAL bounds - >= 0 @ 20.3688
24.65/24.97 c GLOBAL bounds - >= 0 @ 20.4416
24.76/25.07 c GLOBAL bounds - >= 0 @ 20.5316
24.86/25.14 c GLOBAL bounds - >= 0 @ 20.5917
24.95/25.21 c GLOBAL bounds - >= 0 @ 20.6479
24.95/25.27 c GLOBAL bounds - >= 0 @ 20.6989
25.05/25.33 c GLOBAL bounds - >= 0 @ 20.7541
25.05/25.40 c GLOBAL bounds - >= 0 @ 20.8091
25.15/25.46 c GLOBAL bounds - >= 0 @ 20.8591
25.25/25.52 c GLOBAL bounds - >= 0 @ 20.9134
25.25/25.57 c GLOBAL bounds - >= 0 @ 20.9585
25.34/25.63 c GLOBAL bounds - >= 0 @ 21.0097
25.34/25.70 c GLOBAL bounds - >= 0 @ 21.0609
25.45/25.75 c GLOBAL bounds - >= 0 @ 21.1113
25.54/25.81 c GLOBAL bounds - >= 0 @ 21.1582
25.54/25.88 c #Conflicts: 1000 | #Constraints: 67220
25.54/25.88 c GLOBAL bounds - >= 0 @ 21.2256
25.64/25.97 c GLOBAL bounds - >= 0 @ 21.2956
25.76/26.08 c GLOBAL bounds - >= 0 @ 21.3992
25.86/26.16 c GLOBAL bounds - >= 0 @ 21.4715
25.94/26.23 c GLOBAL bounds - >= 0 @ 21.531
26.04/26.32 c GLOBAL bounds - >= 0 @ 21.6021
26.14/26.42 c GLOBAL bounds - >= 0 @ 21.691
26.35/26.64 c GLOBAL bounds - >= 0 @ 21.9044
26.44/26.77 c GLOBAL bounds - >= 0 @ 22.0221
26.55/26.85 c GLOBAL bounds - >= 0 @ 22.0839
26.65/26.92 c GLOBAL bounds - >= 0 @ 22.1479
26.65/26.99 c GLOBAL bounds - >= 0 @ 22.2099
26.75/27.07 c GLOBAL bounds - >= 0 @ 22.2861
26.86/27.16 c GLOBAL bounds - >= 0 @ 22.3671
26.94/27.23 c GLOBAL bounds - >= 0 @ 22.4284
27.04/27.30 c GLOBAL bounds - >= 0 @ 22.4923
27.04/27.37 c GLOBAL bounds - >= 0 @ 22.5503
27.14/27.44 c GLOBAL bounds - >= 0 @ 22.6175
27.24/27.50 c GLOBAL bounds - >= 0 @ 22.6741
27.24/27.57 c GLOBAL bounds - >= 0 @ 22.7312
27.34/27.63 c GLOBAL bounds - >= 0 @ 22.7839
27.34/27.69 c GLOBAL bounds - >= 0 @ 22.8357
27.44/27.75 c GLOBAL bounds - >= 0 @ 22.8842
27.54/27.81 c GLOBAL bounds - >= 0 @ 22.9365
27.54/27.87 c GLOBAL bounds - >= 0 @ 22.9959
27.64/27.93 c GLOBAL bounds - >= 0 @ 23.0386
27.64/27.98 c GLOBAL bounds - >= 0 @ 23.0889
27.76/28.04 c GLOBAL bounds - >= 0 @ 23.1383
27.76/28.11 c GLOBAL bounds - >= 0 @ 23.1962
27.86/28.19 c GLOBAL bounds - >= 0 @ 23.2717
27.93/28.26 c GLOBAL bounds - >= 0 @ 23.329
28.04/28.32 c GLOBAL bounds - >= 0 @ 23.3871
28.04/28.38 c GLOBAL bounds - >= 0 @ 23.4393
28.14/28.44 c GLOBAL bounds - >= 0 @ 23.4859
28.24/28.50 c GLOBAL bounds - >= 0 @ 23.5329
28.24/28.56 c GLOBAL bounds - >= 0 @ 23.5809
28.34/28.62 c GLOBAL bounds - >= 0 @ 23.6319
28.34/28.68 c GLOBAL bounds - >= 0 @ 23.6833
28.44/28.73 c GLOBAL bounds - >= 0 @ 23.7312
28.44/28.80 c GLOBAL bounds - >= 0 @ 23.7849
28.53/28.86 c GLOBAL bounds - >= 0 @ 23.8432
28.64/28.92 c GLOBAL bounds - >= 0 @ 23.8923
28.64/28.98 c GLOBAL bounds - >= 0 @ 23.9435
28.75/29.04 c GLOBAL bounds - >= 0 @ 23.9892
28.75/29.09 c GLOBAL bounds - >= 0 @ 24.0336
28.85/29.15 c GLOBAL bounds - >= 0 @ 24.0823
28.94/29.20 c GLOBAL bounds - >= 0 @ 24.1294
28.94/29.26 c GLOBAL bounds - >= 0 @ 24.1752
29.04/29.32 c GLOBAL bounds - >= 0 @ 24.2292
29.04/29.39 c GLOBAL bounds - >= 0 @ 24.2857
29.24/29.50 c GLOBAL bounds - >= 0 @ 24.3796
29.24/29.57 c GLOBAL bounds - >= 0 @ 24.4427
29.33/29.63 c GLOBAL bounds - >= 0 @ 24.4981
29.33/29.69 c GLOBAL bounds - >= 0 @ 24.5491
29.44/29.75 c GLOBAL bounds - >= 0 @ 24.5929
29.53/29.80 c GLOBAL bounds - >= 0 @ 24.6386
29.53/29.85 c GLOBAL bounds - >= 0 @ 24.6873
29.63/29.91 c GLOBAL bounds - >= 0 @ 24.7283
29.63/29.97 c GLOBAL bounds - >= 0 @ 24.7765
29.75/30.04 c GLOBAL bounds - >= 0 @ 24.8401
29.75/30.09 c GLOBAL bounds - >= 0 @ 24.8836
29.85/30.15 c GLOBAL bounds - >= 0 @ 24.9377
29.94/30.21 c GLOBAL bounds - >= 0 @ 24.9851
29.94/30.28 c GLOBAL bounds - >= 0 @ 25.0397
30.04/30.34 c GLOBAL bounds - >= 0 @ 25.0943
30.14/30.41 c GLOBAL bounds - >= 0 @ 25.1518
30.14/30.49 c GLOBAL bounds - >= 0 @ 25.2223
30.24/30.56 c GLOBAL bounds - >= 0 @ 25.2896
30.33/30.63 c GLOBAL bounds - >= 0 @ 25.3409
30.33/30.69 c GLOBAL bounds - >= 0 @ 25.4013
30.43/30.75 c GLOBAL bounds - >= 0 @ 25.4526
30.54/30.80 c GLOBAL bounds - >= 0 @ 25.4961
30.54/30.86 c GLOBAL bounds - >= 0 @ 25.5424
30.63/30.92 c GLOBAL bounds - >= 0 @ 25.5942
30.63/30.98 c GLOBAL bounds - >= 0 @ 25.6445
30.75/31.03 c GLOBAL bounds - >= 0 @ 25.6919
30.75/31.08 c GLOBAL bounds - >= 0 @ 25.7366
30.84/31.14 c GLOBAL bounds - >= 0 @ 25.7815
30.93/31.21 c GLOBAL bounds - >= 0 @ 25.842
30.93/31.27 c GLOBAL bounds - >= 0 @ 25.8982
31.03/31.33 c GLOBAL bounds - >= 0 @ 25.9444
31.03/31.39 c GLOBAL bounds - >= 0 @ 25.9917
31.13/31.45 c GLOBAL bounds - >= 0 @ 26.0447
31.23/31.51 c GLOBAL bounds - >= 0 @ 26.0894
31.23/31.56 c GLOBAL bounds - >= 0 @ 26.1372
31.34/31.62 c GLOBAL bounds - >= 0 @ 26.1865
31.34/31.67 c GLOBAL bounds - >= 0 @ 26.2359
31.43/31.73 c GLOBAL bounds - >= 0 @ 26.2818
31.43/31.79 c GLOBAL bounds - >= 0 @ 26.3307
31.53/31.84 c GLOBAL bounds - >= 0 @ 26.3784
31.63/31.90 c GLOBAL bounds - >= 0 @ 26.4297
31.63/31.96 c GLOBAL bounds - >= 0 @ 26.4802
31.74/32.02 c GLOBAL bounds - >= 0 @ 26.5285
31.74/32.08 c GLOBAL bounds - >= 0 @ 26.5801
31.85/32.13 c GLOBAL bounds - >= 0 @ 26.6298
31.85/32.18 c GLOBAL bounds - >= 0 @ 26.6736
31.93/32.24 c GLOBAL bounds - >= 0 @ 26.7182
31.93/32.30 c GLOBAL bounds - >= 0 @ 26.7642
32.03/32.35 c GLOBAL bounds - >= 0 @ 26.8094
32.13/32.41 c GLOBAL bounds - >= 0 @ 26.8666
32.13/32.47 c GLOBAL bounds - >= 0 @ 26.9197
32.22/32.53 c GLOBAL bounds - >= 0 @ 26.9666
32.22/32.59 c GLOBAL bounds - >= 0 @ 27.0135
32.33/32.64 c GLOBAL bounds - >= 0 @ 27.0588
32.43/32.70 c GLOBAL bounds - >= 0 @ 27.1048
32.43/32.76 c GLOBAL bounds - >= 0 @ 27.1583
32.53/32.81 c GLOBAL bounds - >= 0 @ 27.2046
32.53/32.87 c GLOBAL bounds - >= 0 @ 27.2499
32.63/32.92 c GLOBAL bounds - >= 0 @ 27.2963
32.63/32.98 c GLOBAL bounds - >= 0 @ 27.3446
32.74/33.04 c GLOBAL bounds - >= 0 @ 27.3968
32.74/33.09 c GLOBAL bounds - >= 0 @ 27.4369
32.83/33.15 c GLOBAL bounds - >= 0 @ 27.4865
32.93/33.21 c GLOBAL bounds - >= 0 @ 27.5369
32.93/33.27 c GLOBAL bounds - >= 0 @ 27.5845
33.03/33.32 c GLOBAL bounds - >= 0 @ 27.6327
33.03/33.38 c GLOBAL bounds - >= 0 @ 27.6837
33.13/33.44 c GLOBAL bounds - >= 0 @ 27.7358
33.23/33.55 c GLOBAL bounds - >= 0 @ 27.8384
33.43/33.76 c GLOBAL bounds - >= 0 @ 28.0339
33.52/33.83 c GLOBAL bounds - >= 0 @ 28.0964
33.63/33.95 c GLOBAL bounds - >= 0 @ 28.1973
33.74/34.01 c GLOBAL bounds - >= 0 @ 28.2551
33.74/34.07 c GLOBAL bounds - >= 0 @ 28.3067
33.83/34.13 c GLOBAL bounds - >= 0 @ 28.356
33.92/34.20 c GLOBAL bounds - >= 0 @ 28.4177
33.92/34.27 c GLOBAL bounds - >= 0 @ 28.4726
34.02/34.32 c GLOBAL bounds - >= 0 @ 28.5194
34.02/34.39 c GLOBAL bounds - >= 0 @ 28.5801
34.12/34.46 c GLOBAL bounds - >= 0 @ 28.6416
34.22/34.53 c GLOBAL bounds - >= 0 @ 28.6949
34.32/34.60 c GLOBAL bounds - >= 0 @ 28.7588
34.32/34.67 c GLOBAL bounds - >= 0 @ 28.8148
34.42/34.75 c GLOBAL bounds - >= 0 @ 28.8881
34.52/34.83 c GLOBAL bounds - >= 0 @ 28.9469
34.52/34.89 c GLOBAL bounds - >= 0 @ 29.0092
34.62/34.96 c GLOBAL bounds - >= 0 @ 29.0683
34.74/35.03 c GLOBAL bounds - >= 0 @ 29.1281
34.74/35.09 c GLOBAL bounds - >= 0 @ 29.1834
34.83/35.15 c GLOBAL bounds - >= 0 @ 29.2352
34.92/35.21 c GLOBAL bounds - >= 0 @ 29.2858
34.92/35.29 c GLOBAL bounds - >= 0 @ 29.3508
35.02/35.35 c GLOBAL bounds - >= 0 @ 29.4081
35.11/35.42 c GLOBAL bounds - >= 0 @ 29.4564
35.11/35.48 c GLOBAL bounds - >= 0 @ 29.5085
35.21/35.54 c GLOBAL bounds - >= 0 @ 29.5526
35.21/35.59 c GLOBAL bounds - >= 0 @ 29.5988
35.32/35.65 c GLOBAL bounds - >= 0 @ 29.6458
35.41/35.71 c GLOBAL bounds - >= 0 @ 29.6852
35.41/35.77 c GLOBAL bounds - >= 0 @ 29.7353
35.51/35.83 c GLOBAL bounds - >= 0 @ 29.7821
35.51/35.89 c GLOBAL bounds - >= 0 @ 29.8262
35.62/35.95 c GLOBAL bounds - >= 0 @ 29.8718
35.62/36.00 c GLOBAL bounds - >= 0 @ 29.9216
35.73/36.06 c GLOBAL bounds - >= 0 @ 29.968
35.82/36.11 c GLOBAL bounds - >= 0 @ 30.0103
35.82/36.17 c GLOBAL bounds - >= 0 @ 30.0603
35.91/36.23 c GLOBAL bounds - >= 0 @ 30.101
35.91/36.28 c GLOBAL bounds - >= 0 @ 30.1483
36.01/36.35 c GLOBAL bounds - >= 0 @ 30.1992
36.11/36.42 c GLOBAL bounds - >= 0 @ 30.261
36.11/36.49 c GLOBAL bounds - >= 0 @ 30.3202
36.21/36.57 c GLOBAL bounds - >= 0 @ 30.3935
36.31/36.69 c GLOBAL bounds - >= 0 @ 30.5038
36.51/36.80 c GLOBAL bounds - >= 0 @ 30.6038
36.51/36.87 c GLOBAL bounds - >= 0 @ 30.6708
36.61/37.01 c GLOBAL bounds - >= 0 @ 30.7722
36.82/37.12 c GLOBAL bounds - >= 0 @ 30.8589
36.91/37.22 c GLOBAL bounds - >= 0 @ 30.9396
37.01/37.31 c GLOBAL bounds - >= 0 @ 31.0167
37.01/37.39 c GLOBAL bounds - >= 0 @ 31.088
37.11/37.46 c GLOBAL bounds - >= 0 @ 31.1499
37.20/37.53 c GLOBAL bounds - >= 0 @ 31.2106
37.30/37.60 c GLOBAL bounds - >= 0 @ 31.2717
37.30/37.67 c GLOBAL bounds - >= 0 @ 31.3273
37.40/37.75 c GLOBAL bounds - >= 0 @ 31.3868
37.51/37.82 c GLOBAL bounds - >= 0 @ 31.454
37.61/37.90 c GLOBAL bounds - >= 0 @ 31.5256
37.61/37.97 c GLOBAL bounds - >= 0 @ 31.5812
37.72/38.04 c GLOBAL bounds - >= 0 @ 31.6428
37.72/38.10 c GLOBAL bounds - >= 0 @ 31.6948
37.82/38.16 c GLOBAL bounds - >= 0 @ 31.7471
37.91/38.22 c GLOBAL bounds - >= 0 @ 31.8033
37.91/38.29 c GLOBAL bounds - >= 0 @ 31.8607
38.00/38.36 c GLOBAL bounds - >= 0 @ 31.9193
38.11/38.43 c GLOBAL bounds - >= 0 @ 31.978
38.11/38.50 c GLOBAL bounds - >= 0 @ 32.0332
38.20/38.56 c GLOBAL bounds - >= 0 @ 32.0858
38.30/38.62 c GLOBAL bounds - >= 0 @ 32.1368
38.30/38.68 c GLOBAL bounds - >= 0 @ 32.1833
38.41/38.74 c GLOBAL bounds - >= 0 @ 32.225
38.50/38.80 c GLOBAL bounds - >= 0 @ 32.2807
38.50/38.88 c GLOBAL bounds - >= 0 @ 32.3422
38.60/38.95 c GLOBAL bounds - >= 0 @ 32.4053
38.71/39.03 c GLOBAL bounds - >= 0 @ 32.4729
38.71/39.10 c GLOBAL bounds - >= 0 @ 32.5426
38.82/39.18 c GLOBAL bounds - >= 0 @ 32.6069
38.91/39.26 c GLOBAL bounds - >= 0 @ 32.6716
39.00/39.38 c GLOBAL bounds - >= 0 @ 32.7798
39.11/39.46 c GLOBAL bounds - >= 0 @ 32.8418
39.20/39.52 c GLOBAL bounds - >= 0 @ 32.9025
39.30/39.60 c GLOBAL bounds - >= 0 @ 32.9677
39.30/39.67 c GLOBAL bounds - >= 0 @ 33.0287
39.40/39.77 c GLOBAL bounds - >= 0 @ 33.1219
39.50/39.84 c GLOBAL bounds - >= 0 @ 33.1889
39.60/39.93 c GLOBAL bounds - >= 0 @ 33.2649
39.60/40.00 c GLOBAL bounds - >= 0 @ 33.3211
39.72/40.06 c GLOBAL bounds - >= 0 @ 33.3794
39.81/40.13 c GLOBAL bounds - >= 0 @ 33.429
39.81/40.19 c GLOBAL bounds - >= 0 @ 33.4833
39.90/40.25 c GLOBAL bounds - >= 0 @ 33.5393
40.00/40.32 c GLOBAL bounds - >= 0 @ 33.5929
40.00/40.39 c GLOBAL bounds - >= 0 @ 33.6472
40.10/40.45 c GLOBAL bounds - >= 0 @ 33.7068
40.20/40.51 c GLOBAL bounds - >= 0 @ 33.7601
40.20/40.58 c GLOBAL bounds - >= 0 @ 33.8206
40.30/40.65 c GLOBAL bounds - >= 0 @ 33.8807
40.40/40.71 c GLOBAL bounds - >= 0 @ 33.9338
40.40/40.77 c GLOBAL bounds - >= 0 @ 33.9854
40.50/40.83 c GLOBAL bounds - >= 0 @ 34.0338
40.50/40.89 c GLOBAL bounds - >= 0 @ 34.0864
40.60/40.94 c GLOBAL bounds - >= 0 @ 34.1332
40.60/41.01 c GLOBAL bounds - >= 0 @ 34.1886
40.71/41.06 c GLOBAL bounds - >= 0 @ 34.239
40.81/41.12 c GLOBAL bounds - >= 0 @ 34.2916
40.81/41.18 c GLOBAL bounds - >= 0 @ 34.342
40.89/41.23 c GLOBAL bounds - >= 0 @ 34.3891
40.89/41.29 c GLOBAL bounds - >= 0 @ 34.4392
41.00/41.35 c GLOBAL bounds - >= 0 @ 34.4866
41.10/41.41 c GLOBAL bounds - >= 0 @ 34.546
41.10/41.47 c GLOBAL bounds - >= 0 @ 34.5982
41.20/41.53 c GLOBAL bounds - >= 0 @ 34.6497
41.20/41.59 c GLOBAL bounds - >= 0 @ 34.6996
41.29/41.65 c GLOBAL bounds - >= 0 @ 34.7469
41.40/41.70 c GLOBAL bounds - >= 0 @ 34.7947
41.40/41.76 c GLOBAL bounds - >= 0 @ 34.8417
41.50/41.82 c GLOBAL bounds - >= 0 @ 34.89
41.50/41.87 c GLOBAL bounds - >= 0 @ 34.9428
41.60/41.93 c GLOBAL bounds - >= 0 @ 34.9895
41.60/41.99 c GLOBAL bounds - >= 0 @ 35.0342
41.71/42.04 c GLOBAL bounds - >= 0 @ 35.0844
41.81/42.12 c GLOBAL bounds - >= 0 @ 35.1465
41.81/42.18 c GLOBAL bounds - >= 0 @ 35.2022
41.89/42.25 c GLOBAL bounds - >= 0 @ 35.2574
42.00/42.31 c GLOBAL bounds - >= 0 @ 35.3146
42.00/42.37 c GLOBAL bounds - >= 0 @ 35.367
42.09/42.44 c GLOBAL bounds - >= 0 @ 35.4208
42.09/42.49 c GLOBAL bounds - >= 0 @ 35.4685
42.19/42.55 c GLOBAL bounds - >= 0 @ 35.5232
42.29/42.62 c GLOBAL bounds - >= 0 @ 35.5808
42.39/42.70 c GLOBAL bounds - >= 0 @ 35.6561
42.39/42.78 c GLOBAL bounds - >= 0 @ 35.7349
42.59/42.90 c GLOBAL bounds - >= 0 @ 35.8353
42.59/42.97 c GLOBAL bounds - >= 0 @ 35.9015
42.71/43.11 c GLOBAL bounds - >= 0 @ 36.0222
42.80/43.18 c GLOBAL bounds - >= 0 @ 36.0919
42.89/43.25 c GLOBAL bounds - >= 0 @ 36.1562
42.99/43.32 c GLOBAL bounds - >= 0 @ 36.2108
42.99/43.39 c GLOBAL bounds - >= 0 @ 36.2676
43.09/43.45 c GLOBAL bounds - >= 0 @ 36.3252
43.19/43.52 c GLOBAL bounds - >= 0 @ 36.3823
43.19/43.59 c GLOBAL bounds - >= 0 @ 36.446
43.29/43.65 c GLOBAL bounds - >= 0 @ 36.5033
43.39/43.73 c GLOBAL bounds - >= 0 @ 36.575
43.49/43.80 c GLOBAL bounds - >= 0 @ 36.6354
43.49/43.86 c GLOBAL bounds - >= 0 @ 36.6905
43.59/43.93 c GLOBAL bounds - >= 0 @ 36.7529
43.70/44.02 c GLOBAL bounds - >= 0 @ 36.8291
43.70/44.09 c GLOBAL bounds - >= 0 @ 36.8907
43.80/44.16 c GLOBAL bounds - >= 0 @ 36.9448
43.89/44.23 c GLOBAL bounds - >= 0 @ 37.0047
43.89/44.29 c GLOBAL bounds - >= 0 @ 37.064
43.99/44.36 c GLOBAL bounds - >= 0 @ 37.1224
44.09/44.43 c GLOBAL bounds - >= 0 @ 37.176
44.09/44.49 c GLOBAL bounds - >= 0 @ 37.2271
44.19/44.55 c GLOBAL bounds - >= 0 @ 37.2756
44.28/44.61 c GLOBAL bounds - >= 0 @ 37.33
44.28/44.67 c GLOBAL bounds - >= 0 @ 37.3838
44.39/44.73 c GLOBAL bounds - >= 0 @ 37.4359
44.39/44.78 c GLOBAL bounds - >= 0 @ 37.4843
44.49/44.84 c GLOBAL bounds - >= 0 @ 37.5397
44.59/44.90 c GLOBAL bounds - >= 0 @ 37.5832
44.59/44.95 c GLOBAL bounds - >= 0 @ 37.6321
44.70/45.03 c GLOBAL bounds - >= 0 @ 37.6954
44.70/45.11 c GLOBAL bounds - >= 0 @ 37.7714
44.88/45.20 c GLOBAL bounds - >= 0 @ 37.8459
44.88/45.30 c GLOBAL bounds - >= 0 @ 37.9321
45.09/45.44 c GLOBAL bounds - >= 0 @ 38.062
45.18/45.55 c GLOBAL bounds - >= 0 @ 38.1601
45.28/45.62 c GLOBAL bounds - >= 0 @ 38.2222
45.28/45.69 c GLOBAL bounds - >= 0 @ 38.2817
45.38/45.76 c GLOBAL bounds - >= 0 @ 38.3396
45.48/45.84 c GLOBAL bounds - >= 0 @ 38.4048
45.58/45.91 c GLOBAL bounds - >= 0 @ 38.4628
45.58/45.98 c GLOBAL bounds - >= 0 @ 38.5163
45.70/46.04 c GLOBAL bounds - >= 0 @ 38.5751
45.70/46.11 c GLOBAL bounds - >= 0 @ 38.6297
45.79/46.17 c GLOBAL bounds - >= 0 @ 38.6829
45.88/46.23 c GLOBAL bounds - >= 0 @ 38.7386
45.88/46.30 c GLOBAL bounds - >= 0 @ 38.7926
45.98/46.35 c GLOBAL bounds - >= 0 @ 38.8377
46.08/46.41 c GLOBAL bounds - >= 0 @ 38.8844
46.08/46.47 c GLOBAL bounds - >= 0 @ 38.9338
46.18/46.52 c GLOBAL bounds - >= 0 @ 38.9856
46.18/46.59 c GLOBAL bounds - >= 0 @ 39.0348
46.27/46.64 c GLOBAL bounds - >= 0 @ 39.0861
46.38/46.71 c GLOBAL bounds - >= 0 @ 39.1451
46.38/46.77 c GLOBAL bounds - >= 0 @ 39.198
46.48/46.83 c GLOBAL bounds - >= 0 @ 39.2422
46.48/46.89 c GLOBAL bounds - >= 0 @ 39.29
46.57/46.95 c GLOBAL bounds - >= 0 @ 39.3456
46.57/47.01 c GLOBAL bounds - >= 0 @ 39.3921
46.69/47.06 c GLOBAL bounds - >= 0 @ 39.4413
46.79/47.12 c GLOBAL bounds - >= 0 @ 39.4914
46.79/47.18 c GLOBAL bounds - >= 0 @ 39.5417
46.88/47.24 c GLOBAL bounds - >= 0 @ 39.5976
46.88/47.29 c GLOBAL bounds - >= 0 @ 39.6488
46.98/47.36 c GLOBAL bounds - >= 0 @ 39.7054
47.07/47.42 c GLOBAL bounds - >= 0 @ 39.7611
47.07/47.48 c GLOBAL bounds - >= 0 @ 39.8081
47.17/47.54 c GLOBAL bounds - >= 0 @ 39.8594
47.17/47.59 c GLOBAL bounds - >= 0 @ 39.9081
47.28/47.66 c GLOBAL bounds - >= 0 @ 39.9578
47.38/47.72 c GLOBAL bounds - >= 0 @ 40.0144
47.38/47.79 c GLOBAL bounds - >= 0 @ 40.0693
47.47/47.85 c GLOBAL bounds - >= 0 @ 40.1245
47.58/47.92 c GLOBAL bounds - >= 0 @ 40.1829
47.58/47.99 c GLOBAL bounds - >= 0 @ 40.2462
47.69/48.06 c GLOBAL bounds - >= 0 @ 40.3104
47.79/48.13 c GLOBAL bounds - >= 0 @ 40.3727
47.87/48.21 c GLOBAL bounds - >= 0 @ 40.4369
48.07/48.40 c GLOBAL bounds - >= 0 @ 40.619
48.07/48.49 c GLOBAL bounds - >= 0 @ 40.6978
48.17/48.57 c GLOBAL bounds - >= 0 @ 40.7719
48.27/48.66 c GLOBAL bounds - >= 0 @ 40.8499
48.37/48.74 c GLOBAL bounds - >= 0 @ 40.9205
48.47/48.82 c GLOBAL bounds - >= 0 @ 40.9944
48.57/48.90 c GLOBAL bounds - >= 0 @ 41.0666
48.57/48.97 c GLOBAL bounds - >= 0 @ 41.135
48.68/49.07 c GLOBAL bounds - >= 0 @ 41.2225
48.87/49.23 c GLOBAL bounds - >= 0 @ 41.3774
48.96/49.33 c GLOBAL bounds - >= 0 @ 41.468
49.07/49.42 c GLOBAL bounds - >= 0 @ 41.5482
49.07/49.49 c GLOBAL bounds - >= 0 @ 41.6131
49.16/49.58 c GLOBAL bounds - >= 0 @ 41.6939
49.27/49.65 c GLOBAL bounds - >= 0 @ 41.7493
49.36/49.74 c GLOBAL bounds - >= 0 @ 41.8231
49.47/49.80 c GLOBAL bounds - >= 0 @ 41.8732
49.47/49.87 c GLOBAL bounds - >= 0 @ 41.9298
49.57/49.99 c GLOBAL bounds - >= 0 @ 42.0411
49.68/50.07 c GLOBAL bounds - >= 0 @ 42.1007
49.78/50.13 c GLOBAL bounds - >= 0 @ 42.1555
49.78/50.19 c GLOBAL bounds - >= 0 @ 42.2065
49.87/50.25 c GLOBAL bounds - >= 0 @ 42.2571
49.96/50.31 c GLOBAL bounds - >= 0 @ 42.3109
49.96/50.38 c GLOBAL bounds - >= 0 @ 42.3673
50.06/50.43 c GLOBAL bounds - >= 0 @ 42.4181
50.16/50.50 c GLOBAL bounds - >= 0 @ 42.4751
50.16/50.56 c GLOBAL bounds - >= 0 @ 42.5282
50.27/50.62 c GLOBAL bounds - >= 0 @ 42.572
50.27/50.68 c GLOBAL bounds - >= 0 @ 42.6173
50.37/50.73 c GLOBAL bounds - >= 0 @ 42.6628
50.37/50.79 c GLOBAL bounds - >= 0 @ 42.7104
50.46/50.85 c GLOBAL bounds - >= 0 @ 42.7599
50.57/50.91 c GLOBAL bounds - >= 0 @ 42.8145
50.57/50.97 c GLOBAL bounds - >= 0 @ 42.8619
50.68/51.02 c GLOBAL bounds - >= 0 @ 42.9129
50.68/51.09 c GLOBAL bounds - >= 0 @ 42.9707
50.78/51.15 c GLOBAL bounds - >= 0 @ 43.0255
50.86/51.22 c GLOBAL bounds - >= 0 @ 43.0863
50.86/51.29 c GLOBAL bounds - >= 0 @ 43.1459
50.96/51.36 c GLOBAL bounds - >= 0 @ 43.1999
51.06/51.43 c GLOBAL bounds - >= 0 @ 43.257
51.16/51.50 c GLOBAL bounds - >= 0 @ 43.3217
51.16/51.58 c GLOBAL bounds - >= 0 @ 43.389
51.26/51.65 c GLOBAL bounds - >= 0 @ 43.4545
51.36/51.72 c GLOBAL bounds - >= 0 @ 43.5094
51.36/51.79 c GLOBAL bounds - >= 0 @ 43.5705
51.46/51.87 c GLOBAL bounds - >= 0 @ 43.6355
51.57/51.94 c GLOBAL bounds - >= 0 @ 43.6917
51.57/52.01 c GLOBAL bounds - >= 0 @ 43.7487
51.67/52.08 c GLOBAL bounds - >= 0 @ 43.8171
51.78/52.16 c GLOBAL bounds - >= 0 @ 43.8882
51.86/52.25 c GLOBAL bounds - >= 0 @ 43.9603
51.96/52.34 c GLOBAL bounds - >= 0 @ 44.0421
52.06/52.42 c GLOBAL bounds - >= 0 @ 44.1173
52.16/52.50 c GLOBAL bounds - >= 0 @ 44.187
52.16/52.58 c GLOBAL bounds - >= 0 @ 44.2559
52.26/52.66 c GLOBAL bounds - >= 0 @ 44.3268
52.36/52.74 c GLOBAL bounds - >= 0 @ 44.3916
52.45/52.81 c GLOBAL bounds - >= 0 @ 44.4481
52.45/52.88 c GLOBAL bounds - >= 0 @ 44.511
52.56/52.94 c GLOBAL bounds - >= 0 @ 44.5704
52.68/53.01 c GLOBAL bounds - >= 0 @ 44.6295
52.68/53.08 c GLOBAL bounds - >= 0 @ 44.6903
52.78/53.15 c GLOBAL bounds - >= 0 @ 44.7536
52.86/53.23 c GLOBAL bounds - >= 0 @ 44.8303
52.95/53.32 c GLOBAL bounds - >= 0 @ 44.9084
52.95/53.39 c GLOBAL bounds - >= 0 @ 44.9711
53.06/53.46 c GLOBAL bounds - >= 0 @ 45.0315
53.16/53.53 c GLOBAL bounds - >= 0 @ 45.0902
53.16/53.60 c GLOBAL bounds - >= 0 @ 45.1497
53.26/53.68 c GLOBAL bounds - >= 0 @ 45.2214
53.35/53.75 c GLOBAL bounds - >= 0 @ 45.2902
53.45/53.84 c GLOBAL bounds - >= 0 @ 45.3707
53.55/53.93 c GLOBAL bounds - >= 0 @ 45.4472
55.06/55.40 c #Conflicts: 2000 | #Constraints: 69032
55.06/55.40 c INPROCESSING
55.06/55.40 c GARBAGE COLLECT
55.06/55.40 c GLOBAL bounds - >= 0 @ 46.8938
55.55/55.98 c GLOBAL bounds - >= 0 @ 47.4502
55.67/56.10 c GLOBAL bounds - >= 0 @ 47.5713
55.85/56.29 c GLOBAL bounds - >= 0 @ 47.7483
56.04/56.47 c GLOBAL bounds - >= 0 @ 47.9189
56.94/57.35 c GLOBAL bounds - >= 0 @ 48.7654
57.05/57.45 c GLOBAL bounds - >= 0 @ 48.8604
57.14/57.55 c GLOBAL bounds - >= 0 @ 48.9475
57.25/57.63 c GLOBAL bounds - >= 0 @ 49.0234
57.35/57.70 c GLOBAL bounds - >= 0 @ 49.0864
57.35/57.78 c GLOBAL bounds - >= 0 @ 49.1534
60.93/61.32 c GLOBAL bounds - >= 0 @ 52.6162
63.53/63.93 c #Conflicts: 3000 | #Constraints: 69062
63.53/63.93 c GLOBAL bounds - >= 0 @ 55.1463
65.02/65.45 c GLOBAL bounds - >= 0 @ 56.6183
65.22/65.61 c GLOBAL bounds - >= 0 @ 56.7636
65.53/65.92 c GLOBAL bounds - >= 0 @ 57.0593
67.73/68.15 c GLOBAL bounds - >= 0 @ 59.1956
68.21/68.63 c GLOBAL bounds - >= 0 @ 59.6614
68.31/68.73 c GLOBAL bounds - >= 0 @ 59.7527
68.40/68.82 c #Conflicts: 4000 | #Constraints: 70076
68.40/68.82 c GLOBAL bounds - >= 0 @ 59.8436
68.51/68.92 c GLOBAL bounds - >= 0 @ 59.9371
68.62/69.02 c GLOBAL bounds - >= 0 @ 60.0295
68.62/69.11 c GLOBAL bounds - >= 0 @ 60.1175
68.81/69.21 c GLOBAL bounds - >= 0 @ 60.2124
68.81/69.29 c GLOBAL bounds - >= 0 @ 60.2896
68.91/69.36 c GLOBAL bounds - >= 0 @ 60.3649
69.00/69.44 c GLOBAL bounds - >= 0 @ 60.4437
69.11/69.52 c GLOBAL bounds - >= 0 @ 60.5167
69.21/69.60 c GLOBAL bounds - >= 0 @ 60.5945
69.21/69.68 c GLOBAL bounds - >= 0 @ 60.675
69.31/69.76 c GLOBAL bounds - >= 0 @ 60.75
69.40/69.83 c GLOBAL bounds - >= 0 @ 60.8174
69.40/69.90 c GLOBAL bounds - >= 0 @ 60.882
69.51/69.96 c GLOBAL bounds - >= 0 @ 60.946
69.62/70.03 c GLOBAL bounds - >= 0 @ 61.0122
69.72/70.12 c GLOBAL bounds - >= 0 @ 61.1056
69.81/70.21 c GLOBAL bounds - >= 0 @ 61.1873
69.81/70.29 c GLOBAL bounds - >= 0 @ 61.2633
69.91/70.38 c GLOBAL bounds - >= 0 @ 61.3511
70.10/70.51 c GLOBAL bounds - >= 0 @ 61.4684
70.10/70.59 c GLOBAL bounds - >= 0 @ 61.549
70.31/70.70 c GLOBAL bounds - >= 0 @ 61.6531
70.31/70.78 c GLOBAL bounds - >= 0 @ 61.7296
70.72/71.17 c GLOBAL bounds - >= 0 @ 62.1032
70.90/71.32 c GLOBAL bounds - >= 0 @ 62.242
71.00/71.40 c GLOBAL bounds - >= 0 @ 62.3174
71.00/71.49 c GLOBAL bounds - >= 0 @ 62.4057
71.11/71.57 c GLOBAL bounds - >= 0 @ 62.4829
72.80/73.23 c INPROCESSING
72.80/73.23 c GARBAGE COLLECT
72.80/73.23 c GLOBAL bounds - >= 0 @ 64.1379
72.90/73.34 c GLOBAL bounds - >= 0 @ 64.2337
72.99/73.45 c GLOBAL bounds - >= 0 @ 64.3417
73.10/73.56 c GLOBAL bounds - >= 0 @ 64.4424
73.20/73.64 c GLOBAL bounds - >= 0 @ 64.5244
73.29/73.73 c GLOBAL bounds - >= 0 @ 64.6074
73.39/73.80 c GLOBAL bounds - >= 0 @ 64.6731
73.39/73.87 c GLOBAL bounds - >= 0 @ 64.7418
73.49/73.93 c GLOBAL bounds - >= 0 @ 64.796
73.49/73.99 c GLOBAL bounds - >= 0 @ 64.8538
73.61/74.05 c GLOBAL bounds - >= 0 @ 64.9085
73.61/74.11 c GLOBAL bounds - >= 0 @ 64.9609
73.71/74.17 c GLOBAL bounds - >= 0 @ 65.0166
73.79/74.25 c GLOBAL bounds - >= 0 @ 65.0946
73.90/74.31 c GLOBAL bounds - >= 0 @ 65.1529
73.99/74.44 c GLOBAL bounds - >= 0 @ 65.2818
74.09/74.55 c GLOBAL bounds - >= 0 @ 65.3798
74.19/74.61 c GLOBAL bounds - >= 0 @ 65.4404
74.19/74.67 c GLOBAL bounds - >= 0 @ 65.4964
74.30/74.76 c GLOBAL bounds - >= 0 @ 65.5763
74.39/74.82 c GLOBAL bounds - >= 0 @ 65.6363
74.39/74.88 c GLOBAL bounds - >= 0 @ 65.6914
74.50/74.94 c GLOBAL bounds - >= 0 @ 65.7546
74.61/75.02 c GLOBAL bounds - >= 0 @ 65.8275
74.61/75.08 c GLOBAL bounds - >= 0 @ 65.8812
74.71/75.14 c GLOBAL bounds - >= 0 @ 65.9359
74.71/75.20 c GLOBAL bounds - >= 0 @ 65.9912
74.79/75.26 c GLOBAL bounds - >= 0 @ 66.0493
74.89/75.34 c GLOBAL bounds - >= 0 @ 66.1271
74.99/75.43 c GLOBAL bounds - >= 0 @ 66.2026
75.09/75.58 c GLOBAL bounds - >= 0 @ 66.3489
78.07/78.56 c GLOBAL bounds - >= 0 @ 69.2579
78.47/78.91 c GLOBAL bounds - >= 0 @ 69.5959
78.47/78.99 c GLOBAL bounds - >= 0 @ 69.6673
78.68/79.13 c GLOBAL bounds - >= 0 @ 69.7965
78.87/79.31 c GLOBAL bounds - >= 0 @ 69.9698
79.28/79.72 c GLOBAL bounds - >= 0 @ 70.3563
79.37/79.82 c GLOBAL bounds - >= 0 @ 70.4472
79.47/79.94 c GLOBAL bounds - >= 0 @ 70.5524
79.58/80.02 c GLOBAL bounds - >= 0 @ 70.6271
79.58/80.11 c #Conflicts: 5000 | #Constraints: 69612
79.58/80.11 c GLOBAL bounds - >= 0 @ 70.7055
79.68/80.19 c GLOBAL bounds - >= 0 @ 70.7772
80.07/80.54 c GLOBAL bounds - >= 0 @ 71.108
80.37/80.84 c GLOBAL bounds - >= 0 @ 71.3997
80.47/80.94 c GLOBAL bounds - >= 0 @ 71.4837
80.59/81.03 c GLOBAL bounds - >= 0 @ 71.5664
83.46/83.98 c GLOBAL bounds - >= 0 @ 74.4522
83.57/84.08 c GLOBAL bounds - >= 0 @ 74.545
91.94/92.47 c #Conflicts: 6000 | #Constraints: 70628
91.94/92.47 c GLOBAL bounds - >= 0 @ 82.5809
92.13/92.61 c GLOBAL bounds - >= 0 @ 82.7117
92.13/92.70 c GLOBAL bounds - >= 0 @ 82.7936
92.23/92.79 c GLOBAL bounds - >= 0 @ 82.8803
92.33/92.87 c GLOBAL bounds - >= 0 @ 82.9614
92.43/92.97 c GLOBAL bounds - >= 0 @ 83.0413
92.55/93.05 c GLOBAL bounds - >= 0 @ 83.1218
92.64/93.13 c GLOBAL bounds - >= 0 @ 83.1984
92.74/93.21 c GLOBAL bounds - >= 0 @ 83.2742
92.74/93.29 c GLOBAL bounds - >= 0 @ 83.3463
92.84/93.36 c GLOBAL bounds - >= 0 @ 83.4139
92.93/93.44 c GLOBAL bounds - >= 0 @ 83.4862
93.03/93.51 c GLOBAL bounds - >= 0 @ 83.5557
93.03/93.60 c GLOBAL bounds - >= 0 @ 83.6386
93.14/93.66 c GLOBAL bounds - >= 0 @ 83.7032
93.23/93.75 c GLOBAL bounds - >= 0 @ 83.7814
93.33/93.82 c GLOBAL bounds - >= 0 @ 83.8535
93.33/93.89 c GLOBAL bounds - >= 0 @ 83.9197
93.43/93.95 c GLOBAL bounds - >= 0 @ 83.9822
93.54/94.02 c GLOBAL bounds - >= 0 @ 84.0463
95.43/95.94 c INPROCESSING
95.43/95.94 c GARBAGE COLLECT
95.43/95.94 c GLOBAL bounds - >= 0 @ 85.9568
95.43/96.00 c GLOBAL bounds - >= 0 @ 86.0094
95.54/96.07 c GLOBAL bounds - >= 0 @ 86.0759
95.64/96.13 c GLOBAL bounds - >= 0 @ 86.13
95.64/96.18 c GLOBAL bounds - >= 0 @ 86.1812
95.72/96.23 c GLOBAL bounds - >= 0 @ 86.2305
95.72/96.30 c GLOBAL bounds - >= 0 @ 86.2874
95.83/96.38 c GLOBAL bounds - >= 0 @ 86.3694
95.92/96.44 c GLOBAL bounds - >= 0 @ 86.4277
96.03/96.50 c GLOBAL bounds - >= 0 @ 86.4849
96.03/96.55 c GLOBAL bounds - >= 0 @ 86.532
96.12/96.60 c GLOBAL bounds - >= 0 @ 86.5773
96.12/96.64 c GLOBAL bounds - >= 0 @ 86.621
96.12/96.69 c GLOBAL bounds - >= 0 @ 86.6646
96.23/96.73 c GLOBAL bounds - >= 0 @ 86.7059
96.23/96.79 c GLOBAL bounds - >= 0 @ 86.7597
96.32/96.85 c GLOBAL bounds - >= 0 @ 86.808
96.32/96.90 c GLOBAL bounds - >= 0 @ 86.8506
96.42/96.95 c GLOBAL bounds - >= 0 @ 86.8989
96.42/97.01 c GLOBAL bounds - >= 0 @ 86.9519
96.53/97.08 c GLOBAL bounds - >= 0 @ 87.0139
96.63/97.14 c GLOBAL bounds - >= 0 @ 87.0734
96.71/97.20 c GLOBAL bounds - >= 0 @ 87.1255
96.71/97.25 c GLOBAL bounds - >= 0 @ 87.1767
96.81/97.31 c GLOBAL bounds - >= 0 @ 87.2321
96.81/97.37 c GLOBAL bounds - >= 0 @ 87.286
96.91/97.43 c GLOBAL bounds - >= 0 @ 87.3426
96.91/97.49 c GLOBAL bounds - >= 0 @ 87.3956
97.01/97.54 c GLOBAL bounds - >= 0 @ 87.4456
97.01/97.59 c GLOBAL bounds - >= 0 @ 87.4926
97.11/97.64 c GLOBAL bounds - >= 0 @ 87.5424
97.21/97.70 c GLOBAL bounds - >= 0 @ 87.5957
97.21/97.75 c GLOBAL bounds - >= 0 @ 87.6422
97.31/97.80 c GLOBAL bounds - >= 0 @ 87.6849
97.31/97.84 c GLOBAL bounds - >= 0 @ 87.7272
97.31/97.89 c GLOBAL bounds - >= 0 @ 87.7755
97.41/97.95 c GLOBAL bounds - >= 0 @ 87.8338
97.52/98.01 c GLOBAL bounds - >= 0 @ 87.8885
97.52/98.07 c GLOBAL bounds - >= 0 @ 87.9408
97.63/98.12 c GLOBAL bounds - >= 0 @ 87.9894
97.63/98.19 c GLOBAL bounds - >= 0 @ 88.057
97.71/98.25 c GLOBAL bounds - >= 0 @ 88.1082
97.81/98.30 c GLOBAL bounds - >= 0 @ 88.1612
97.81/98.36 c GLOBAL bounds - >= 0 @ 88.2163
97.91/98.42 c GLOBAL bounds - >= 0 @ 88.2684
97.91/98.47 c GLOBAL bounds - >= 0 @ 88.3156
98.01/98.53 c GLOBAL bounds - >= 0 @ 88.3648
98.01/98.59 c GLOBAL bounds - >= 0 @ 88.4226
98.11/98.64 c GLOBAL bounds - >= 0 @ 88.4737
98.11/98.69 c GLOBAL bounds - >= 0 @ 88.5207
98.21/98.74 c GLOBAL bounds - >= 0 @ 88.5646
98.21/98.79 c GLOBAL bounds - >= 0 @ 88.6078
98.31/98.84 c GLOBAL bounds - >= 0 @ 88.6561
98.31/98.90 c GLOBAL bounds - >= 0 @ 88.7023
98.41/98.95 c GLOBAL bounds - >= 0 @ 88.7506
98.41/99.00 c GLOBAL bounds - >= 0 @ 88.7943
98.52/99.04 c GLOBAL bounds - >= 0 @ 88.837
98.52/99.09 c GLOBAL bounds - >= 0 @ 88.8769
98.62/99.13 c GLOBAL bounds - >= 0 @ 88.9178
98.62/99.18 c GLOBAL bounds - >= 0 @ 88.9556
98.71/99.23 c GLOBAL bounds - >= 0 @ 89.0029
98.71/99.28 c GLOBAL bounds - >= 0 @ 89.0516
98.80/99.33 c GLOBAL bounds - >= 0 @ 89.1
98.80/99.39 c GLOBAL bounds - >= 0 @ 89.1539
98.91/99.45 c GLOBAL bounds - >= 0 @ 89.2162
99.01/99.50 c GLOBAL bounds - >= 0 @ 89.2659
99.01/99.56 c GLOBAL bounds - >= 0 @ 89.3183
99.11/99.61 c GLOBAL bounds - >= 0 @ 89.3659
99.20/99.70 c GLOBAL bounds - >= 0 @ 89.4513
99.20/99.78 c GLOBAL bounds - >= 0 @ 89.5225
99.31/99.84 c GLOBAL bounds - >= 0 @ 89.5755
99.41/99.90 c GLOBAL bounds - >= 0 @ 89.6288
99.41/99.95 c GLOBAL bounds - >= 0 @ 89.6746
99.41/99.99 c GLOBAL bounds - >= 0 @ 89.7133
99.52/100.04 c GLOBAL bounds - >= 0 @ 89.751
99.52/100.08 c GLOBAL bounds - >= 0 @ 89.7935
99.61/100.13 c GLOBAL bounds - >= 0 @ 89.8328
99.61/100.17 c GLOBAL bounds - >= 0 @ 89.8744
99.70/100.22 c GLOBAL bounds - >= 0 @ 89.9186
99.70/100.26 c GLOBAL bounds - >= 0 @ 89.9588
99.80/100.31 c GLOBAL bounds - >= 0 @ 89.9986
99.80/100.35 c GLOBAL bounds - >= 0 @ 90.0384
99.90/100.40 c GLOBAL bounds - >= 0 @ 90.0809
99.90/100.45 c GLOBAL bounds - >= 0 @ 90.1196
99.90/100.49 c GLOBAL bounds - >= 0 @ 90.1603
100.00/100.53 c GLOBAL bounds - >= 0 @ 90.203
100.00/100.58 c GLOBAL bounds - >= 0 @ 90.2413
100.11/100.63 c GLOBAL bounds - >= 0 @ 90.2891
100.11/100.67 c GLOBAL bounds - >= 0 @ 90.3303
100.21/100.71 c GLOBAL bounds - >= 0 @ 90.365
100.21/100.76 c GLOBAL bounds - >= 0 @ 90.4039
100.30/100.80 c GLOBAL bounds - >= 0 @ 90.45
100.30/100.85 c GLOBAL bounds - >= 0 @ 90.4911
100.40/100.90 c GLOBAL bounds - >= 0 @ 90.537
100.40/100.95 c GLOBAL bounds - >= 0 @ 90.5733
100.40/100.99 c GLOBAL bounds - >= 0 @ 90.6142
100.51/101.04 c GLOBAL bounds - >= 0 @ 90.6595
100.51/101.09 c GLOBAL bounds - >= 0 @ 90.704
100.62/101.13 c GLOBAL bounds - >= 0 @ 90.7462
100.62/101.18 c GLOBAL bounds - >= 0 @ 90.7854
100.70/101.23 c GLOBAL bounds - >= 0 @ 90.8372
100.70/101.28 c GLOBAL bounds - >= 0 @ 90.8844
100.80/101.33 c GLOBAL bounds - >= 0 @ 90.9318
100.80/101.38 c GLOBAL bounds - >= 0 @ 90.9711
100.90/101.43 c GLOBAL bounds - >= 0 @ 91.0157
100.90/101.47 c GLOBAL bounds - >= 0 @ 91.0539
101.00/101.51 c GLOBAL bounds - >= 0 @ 91.0934
101.00/101.56 c GLOBAL bounds - >= 0 @ 91.1391
101.09/101.61 c GLOBAL bounds - >= 0 @ 91.1765
101.09/101.66 c GLOBAL bounds - >= 0 @ 91.2296
101.20/101.74 c GLOBAL bounds - >= 0 @ 91.291
101.20/101.78 c GLOBAL bounds - >= 0 @ 91.3388
101.29/101.84 c GLOBAL bounds - >= 0 @ 91.3862
101.29/101.89 c GLOBAL bounds - >= 0 @ 91.4307
101.40/101.94 c GLOBAL bounds - >= 0 @ 91.4781
101.40/101.99 c GLOBAL bounds - >= 0 @ 91.5216
101.51/102.04 c GLOBAL bounds - >= 0 @ 91.5649
101.51/102.09 c GLOBAL bounds - >= 0 @ 91.6112
101.62/102.13 c GLOBAL bounds - >= 0 @ 91.6516
101.62/102.18 c GLOBAL bounds - >= 0 @ 91.6881
101.70/102.22 c GLOBAL bounds - >= 0 @ 91.7268
101.70/102.27 c GLOBAL bounds - >= 0 @ 91.7648
101.80/102.31 c GLOBAL bounds - >= 0 @ 91.8012
101.80/102.35 c GLOBAL bounds - >= 0 @ 91.8469
101.89/102.40 c GLOBAL bounds - >= 0 @ 91.8865
101.89/102.44 c GLOBAL bounds - >= 0 @ 91.9247
101.89/102.48 c GLOBAL bounds - >= 0 @ 91.9691
102.00/102.53 c GLOBAL bounds - >= 0 @ 92.0055
102.00/102.57 c GLOBAL bounds - >= 0 @ 92.0448
102.10/102.61 c GLOBAL bounds - >= 0 @ 92.0808
102.10/102.66 c GLOBAL bounds - >= 0 @ 92.1295
102.20/102.71 c GLOBAL bounds - >= 0 @ 92.169
102.20/102.75 c GLOBAL bounds - >= 0 @ 92.2031
102.20/102.80 c GLOBAL bounds - >= 0 @ 92.2457
102.29/102.84 c GLOBAL bounds - >= 0 @ 92.2871
102.29/102.89 c GLOBAL bounds - >= 0 @ 92.332
102.39/102.94 c GLOBAL bounds - >= 0 @ 92.3772
102.39/102.98 c GLOBAL bounds - >= 0 @ 92.4164
102.51/103.02 c GLOBAL bounds - >= 0 @ 92.4494
102.51/103.06 c GLOBAL bounds - >= 0 @ 92.4873
102.51/103.10 c GLOBAL bounds - >= 0 @ 92.5227
102.61/103.15 c GLOBAL bounds - >= 0 @ 92.5618
102.61/103.19 c GLOBAL bounds - >= 0 @ 92.5962
102.69/103.23 c GLOBAL bounds - >= 0 @ 92.6296
102.69/103.27 c GLOBAL bounds - >= 0 @ 92.666
102.80/103.32 c GLOBAL bounds - >= 0 @ 92.7092
102.80/103.36 c GLOBAL bounds - >= 0 @ 92.7443
102.90/103.40 c GLOBAL bounds - >= 0 @ 92.7848
102.90/103.44 c GLOBAL bounds - >= 0 @ 92.82
102.99/103.51 c GLOBAL bounds - >= 0 @ 92.8817
102.99/103.59 c GLOBAL bounds - >= 0 @ 92.9467
103.20/103.72 c GLOBAL bounds - >= 0 @ 93.0759
103.29/103.81 c GLOBAL bounds - >= 0 @ 93.159
103.29/103.87 c GLOBAL bounds - >= 0 @ 93.2158
103.39/103.93 c GLOBAL bounds - >= 0 @ 93.2717
103.39/104.01 c GLOBAL bounds - >= 0 @ 93.3403
103.50/104.06 c GLOBAL bounds - >= 0 @ 93.3906
103.61/104.12 c GLOBAL bounds - >= 0 @ 93.44
103.61/104.17 c GLOBAL bounds - >= 0 @ 93.4915
103.69/104.24 c GLOBAL bounds - >= 0 @ 93.5568
103.69/104.30 c GLOBAL bounds - >= 0 @ 93.6104
103.79/104.35 c GLOBAL bounds - >= 0 @ 93.6555
103.89/104.40 c GLOBAL bounds - >= 0 @ 93.7025
103.89/104.46 c GLOBAL bounds - >= 0 @ 93.759
103.99/104.51 c GLOBAL bounds - >= 0 @ 93.8081
112.65/113.27 c #Conflicts: 7000 | #Constraints: 69997
112.65/113.27 c #Conflicts: 8000 | #Constraints: 70997
112.65/113.27 c GLOBAL bounds - >= 0 @ 102.355
119.83/120.42 c #Conflicts: 9000 | #Constraints: 71999
119.83/120.42 c GLOBAL bounds - >= 0 @ 109.336
123.44/124.10 c INPROCESSING
123.44/124.10 c GARBAGE COLLECT
123.44/124.10 c GLOBAL bounds - >= 0 @ 112.908
123.82/124.48 c GLOBAL bounds - >= 0 @ 113.253
124.02/124.63 c GLOBAL bounds - >= 0 @ 113.395
124.12/124.73 c GLOBAL bounds - >= 0 @ 113.497
124.22/124.83 c GLOBAL bounds - >= 0 @ 113.593
124.32/124.93 c GLOBAL bounds - >= 0 @ 113.682
124.43/125.01 c GLOBAL bounds - >= 0 @ 113.759
124.43/125.10 c GLOBAL bounds - >= 0 @ 113.847
124.62/125.21 c GLOBAL bounds - >= 0 @ 113.944
124.62/125.27 c GLOBAL bounds - >= 0 @ 114.008
124.72/125.34 c GLOBAL bounds - >= 0 @ 114.075
124.82/125.40 c GLOBAL bounds - >= 0 @ 114.135
124.82/125.47 c GLOBAL bounds - >= 0 @ 114.196
124.91/125.54 c GLOBAL bounds - >= 0 @ 114.27
125.02/125.64 c GLOBAL bounds - >= 0 @ 114.365
125.12/125.70 c GLOBAL bounds - >= 0 @ 114.424
125.12/125.76 c GLOBAL bounds - >= 0 @ 114.48
125.21/125.83 c GLOBAL bounds - >= 0 @ 114.551
125.21/125.89 c GLOBAL bounds - >= 0 @ 114.604
125.32/125.94 c GLOBAL bounds - >= 0 @ 114.658
125.32/126.00 c GLOBAL bounds - >= 0 @ 114.71
125.43/126.05 c GLOBAL bounds - >= 0 @ 114.757
125.43/126.10 c GLOBAL bounds - >= 0 @ 114.812
125.53/126.16 c GLOBAL bounds - >= 0 @ 114.859
125.61/126.21 c GLOBAL bounds - >= 0 @ 114.906
125.61/126.27 c GLOBAL bounds - >= 0 @ 114.967
125.72/126.32 c GLOBAL bounds - >= 0 @ 115.013
125.72/126.37 c GLOBAL bounds - >= 0 @ 115.061
125.82/126.42 c GLOBAL bounds - >= 0 @ 115.104
125.82/126.46 c GLOBAL bounds - >= 0 @ 115.149
125.91/126.53 c GLOBAL bounds - >= 0 @ 115.215
125.91/126.57 c GLOBAL bounds - >= 0 @ 115.254
126.01/126.62 c GLOBAL bounds - >= 0 @ 115.295
126.01/126.67 c GLOBAL bounds - >= 0 @ 115.35
126.12/126.73 c GLOBAL bounds - >= 0 @ 115.402
126.12/126.78 c GLOBAL bounds - >= 0 @ 115.452
126.21/126.83 c GLOBAL bounds - >= 0 @ 115.502
126.21/126.88 c GLOBAL bounds - >= 0 @ 115.54
126.31/126.95 c GLOBAL bounds - >= 0 @ 115.606
126.31/126.99 c GLOBAL bounds - >= 0 @ 115.651
126.43/127.03 c GLOBAL bounds - >= 0 @ 115.688
126.43/127.10 c GLOBAL bounds - >= 0 @ 115.753
126.53/127.16 c GLOBAL bounds - >= 0 @ 115.804
126.61/127.21 c GLOBAL bounds - >= 0 @ 115.851
126.61/127.27 c GLOBAL bounds - >= 0 @ 115.91
126.71/127.32 c GLOBAL bounds - >= 0 @ 115.951
126.71/127.39 c GLOBAL bounds - >= 0 @ 116.022
126.82/127.45 c GLOBAL bounds - >= 0 @ 116.077
126.91/127.50 c GLOBAL bounds - >= 0 @ 116.125
127.02/127.60 c GLOBAL bounds - >= 0 @ 116.222
127.02/127.65 c GLOBAL bounds - >= 0 @ 116.27
127.11/127.71 c GLOBAL bounds - >= 0 @ 116.319
127.11/127.76 c GLOBAL bounds - >= 0 @ 116.368
127.21/127.81 c GLOBAL bounds - >= 0 @ 116.413
127.21/127.86 c GLOBAL bounds - >= 0 @ 116.456
127.31/127.91 c GLOBAL bounds - >= 0 @ 116.5
127.31/127.99 c GLOBAL bounds - >= 0 @ 116.575
127.42/128.04 c GLOBAL bounds - >= 0 @ 116.62
127.52/128.16 c GLOBAL bounds - >= 0 @ 116.743
127.60/128.26 c GLOBAL bounds - >= 0 @ 116.831
127.71/128.33 c GLOBAL bounds - >= 0 @ 116.889
127.81/128.42 c GLOBAL bounds - >= 0 @ 116.976
128.11/128.79 c GLOBAL bounds - >= 0 @ 117.332
128.30/128.90 c GLOBAL bounds - >= 0 @ 117.44
128.30/128.96 c GLOBAL bounds - >= 0 @ 117.492
128.42/129.01 c GLOBAL bounds - >= 0 @ 117.539
128.42/129.05 c GLOBAL bounds - >= 0 @ 117.577
128.42/129.09 c GLOBAL bounds - >= 0 @ 117.613
128.52/129.14 c GLOBAL bounds - >= 0 @ 117.657
128.52/129.19 c GLOBAL bounds - >= 0 @ 117.704
128.60/129.24 c GLOBAL bounds - >= 0 @ 117.744
128.60/129.29 c GLOBAL bounds - >= 0 @ 117.788
128.71/129.34 c GLOBAL bounds - >= 0 @ 117.827
128.71/129.38 c GLOBAL bounds - >= 0 @ 117.868
128.80/129.45 c GLOBAL bounds - >= 0 @ 117.924
128.80/129.49 c GLOBAL bounds - >= 0 @ 117.963
128.91/129.53 c GLOBAL bounds - >= 0 @ 117.998
128.91/129.57 c GLOBAL bounds - >= 0 @ 118.033
129.01/129.61 c GLOBAL bounds - >= 0 @ 118.072
129.01/129.65 c GLOBAL bounds - >= 0 @ 118.111
129.01/129.68 c GLOBAL bounds - >= 0 @ 118.143
129.11/129.72 c GLOBAL bounds - >= 0 @ 118.17
129.11/129.75 c GLOBAL bounds - >= 0 @ 118.201
129.11/129.79 c GLOBAL bounds - >= 0 @ 118.232
129.21/129.84 c GLOBAL bounds - >= 0 @ 118.279
129.31/129.93 c GLOBAL bounds - >= 0 @ 118.354
129.42/130.03 c GLOBAL bounds - >= 0 @ 118.445
129.42/130.09 c GLOBAL bounds - >= 0 @ 118.491
129.51/130.13 c GLOBAL bounds - >= 0 @ 118.527
129.51/130.17 c GLOBAL bounds - >= 0 @ 118.567
129.60/130.23 c GLOBAL bounds - >= 0 @ 118.616
140.56/141.29 c #Conflicts: 10000 | #Constraints: 70895
140.56/141.29 c #Conflicts: 11000 | #Constraints: 71895
140.56/141.29 c GLOBAL bounds - >= 0 @ 129.43
143.75/144.49 c GLOBAL bounds - >= 0 @ 132.502
144.65/145.35 c GLOBAL bounds - >= 0 @ 133.331
145.14/145.83 c GLOBAL bounds - >= 0 @ 133.795
145.36/146.01 c GLOBAL bounds - >= 0 @ 133.961
145.45/146.16 c GLOBAL bounds - >= 0 @ 134.102
149.45/150.13 c #Conflicts: 12000 | #Constraints: 72907
149.45/150.13 c INPROCESSING
149.45/150.13 c GARBAGE COLLECT
149.45/150.13 c GLOBAL bounds - >= 0 @ 138.017
149.53/150.22 c GLOBAL bounds - >= 0 @ 138.107
149.73/150.47 c GLOBAL bounds - >= 0 @ 138.349
151.62/152.39 c GLOBAL bounds - >= 0 @ 140.252
151.82/152.50 c GLOBAL bounds - >= 0 @ 140.36
154.12/154.88 c GLOBAL bounds - >= 0 @ 142.69
154.33/155.09 c GLOBAL bounds - >= 0 @ 142.889
154.43/155.17 c GLOBAL bounds - >= 0 @ 142.952
154.52/155.24 c GLOBAL bounds - >= 0 @ 143.021
157.81/158.56 c #Conflicts: 13000 | #Constraints: 71375
157.81/158.56 c GLOBAL bounds - >= 0 @ 146.275
157.91/158.62 c GLOBAL bounds - >= 0 @ 146.335
158.10/158.80 c GLOBAL bounds - >= 0 @ 146.505
158.21/158.94 c GLOBAL bounds - >= 0 @ 146.638
158.60/159.38 c GLOBAL bounds - >= 0 @ 147.059
159.70/160.47 c GLOBAL bounds - >= 0 @ 148.125
174.15/174.94 c #Conflicts: 14000 | #Constraints: 72387
174.15/174.94 c #Conflicts: 15000 | #Constraints: 73387
174.15/174.94 c INPROCESSING
174.15/174.94 c GARBAGE COLLECT
174.15/174.94 c GLOBAL bounds - >= 0 @ 162.34
174.37/175.18 c GLOBAL bounds - >= 0 @ 162.581
174.45/175.26 c GLOBAL bounds - >= 0 @ 162.659
174.55/175.31 c GLOBAL bounds - >= 0 @ 162.699
174.55/175.37 c GLOBAL bounds - >= 0 @ 162.758
174.65/175.43 c GLOBAL bounds - >= 0 @ 162.819
174.74/175.51 c GLOBAL bounds - >= 0 @ 162.89
174.95/175.77 c GLOBAL bounds - >= 0 @ 163.134
175.15/175.98 c GLOBAL bounds - >= 0 @ 163.337
175.36/176.15 c GLOBAL bounds - >= 0 @ 163.498
175.45/176.22 c GLOBAL bounds - >= 0 @ 163.564
175.45/176.28 c GLOBAL bounds - >= 0 @ 163.617
175.54/176.34 c GLOBAL bounds - >= 0 @ 163.669
175.64/176.47 c GLOBAL bounds - >= 0 @ 163.798
175.74/176.54 c GLOBAL bounds - >= 0 @ 163.873
181.13/181.93 c #Conflicts: 16000 | #Constraints: 71651
181.13/181.93 c GLOBAL bounds - >= 0 @ 169.181
181.24/182.02 c GLOBAL bounds - >= 0 @ 169.272
181.24/182.10 c GLOBAL bounds - >= 0 @ 169.348
181.34/182.18 c GLOBAL bounds - >= 0 @ 169.423
181.43/182.24 c GLOBAL bounds - >= 0 @ 169.481
181.52/182.30 c GLOBAL bounds - >= 0 @ 169.54
181.52/182.35 c GLOBAL bounds - >= 0 @ 169.589
181.63/182.48 c GLOBAL bounds - >= 0 @ 169.721
181.83/182.64 c GLOBAL bounds - >= 0 @ 169.876
181.92/182.78 c GLOBAL bounds - >= 0 @ 170.009
182.24/183.10 c GLOBAL bounds - >= 0 @ 170.325
211.73/212.64 c #Conflicts: 17000 | #Constraints: 72673
211.73/212.64 c #Conflicts: 18000 | #Constraints: 73673
211.73/212.64 c INPROCESSING
211.73/212.64 c GARBAGE COLLECT
211.73/212.64 c #Conflicts: 19000 | #Constraints: 71691
211.73/212.64 c GLOBAL bounds - >= 0 @ 199.402
212.93/213.83 c GLOBAL bounds - >= 0 @ 200.55
213.03/213.94 c GLOBAL bounds - >= 0 @ 200.641
213.33/214.28 c GLOBAL bounds - >= 0 @ 200.965
213.53/214.43 c GLOBAL bounds - >= 0 @ 201.109
213.53/214.48 c GLOBAL bounds - >= 0 @ 201.16
214.24/215.11 c GLOBAL bounds - >= 0 @ 201.783
216.24/217.19 c #Conflicts: 20000 | #Constraints: 72705
216.24/217.19 c GLOBAL bounds - >= 0 @ 203.829
220.40/221.39 c GLOBAL bounds - >= 0 @ 207.922
220.50/221.49 c GLOBAL bounds - >= 0 @ 208.016
225.78/226.74 c #Conflicts: 21000 | #Constraints: 73711
225.78/226.74 c GLOBAL bounds - >= 0 @ 213.1
225.88/226.85 c GLOBAL bounds - >= 0 @ 213.198
227.77/228.73 c GLOBAL bounds - >= 0 @ 215.02
230.67/231.60 c INPROCESSING
230.67/231.60 c GARBAGE COLLECT
230.67/231.60 c GLOBAL bounds - >= 0 @ 217.864
230.87/231.88 c GLOBAL bounds - >= 0 @ 218.129
232.26/233.20 c GLOBAL bounds - >= 0 @ 219.427
232.85/233.83 c GLOBAL bounds - >= 0 @ 220.042
235.06/236.05 c #Conflicts: 22000 | #Constraints: 71526
235.06/236.05 c GLOBAL bounds - >= 0 @ 222.222
246.81/247.80 c #Conflicts: 23000 | #Constraints: 72528
246.81/247.80 c GLOBAL bounds - >= 0 @ 233.589
249.13/250.12 c #Conflicts: 24000 | #Constraints: 73530
249.13/250.12 c GLOBAL bounds - >= 0 @ 235.848
249.51/250.55 c GLOBAL bounds - >= 0 @ 236.273
249.80/250.82 c GLOBAL bounds - >= 0 @ 236.528
250.41/251.50 c GLOBAL bounds - >= 0 @ 237.139
250.69/251.72 c GLOBAL bounds - >= 0 @ 237.337
250.79/251.90 c GLOBAL bounds - >= 0 @ 237.509
250.90/251.99 c GLOBAL bounds - >= 0 @ 237.597
251.01/252.10 c GLOBAL bounds - >= 0 @ 237.703
251.59/252.65 c GLOBAL bounds - >= 0 @ 238.238
385.17/386.70 c #Conflicts: 25000 | #Constraints: 74548
385.17/386.70 c INPROCESSING
385.17/386.70 c GARBAGE COLLECT
385.17/386.70 c #Conflicts: 26000 | #Constraints: 72153
385.17/386.70 c #Conflicts: 27000 | #Constraints: 73153
385.17/386.70 c #Conflicts: 28000 | #Constraints: 74153
385.17/386.70 c #Conflicts: 29000 | #Constraints: 75153
385.17/386.70 c INPROCESSING
385.17/386.70 c GARBAGE COLLECT
385.17/386.70 c #Conflicts: 30000 | #Constraints: 72555
385.17/386.70 c #Conflicts: 31000 | #Constraints: 73555
385.17/386.70 c #Conflicts: 32000 | #Constraints: 74555
385.17/386.70 c #Conflicts: 33000 | #Constraints: 75555
385.17/386.70 c INPROCESSING
385.17/386.70 c GARBAGE COLLECT
385.17/386.70 c #Conflicts: 34000 | #Constraints: 72756
385.17/386.70 c #Conflicts: 35000 | #Constraints: 73756
385.17/386.70 c #Conflicts: 36000 | #Constraints: 74756
385.17/386.70 c #Conflicts: 37000 | #Constraints: 75756
385.17/386.70 c INPROCESSING
385.17/386.70 c GARBAGE COLLECT
385.17/386.70 c GLOBAL bounds - >= 0 @ 368.965
634.36/636.55 c #Conflicts: 38000 | #Constraints: 72765
634.36/636.55 c #Conflicts: 39000 | #Constraints: 73765
634.36/636.55 c #Conflicts: 40000 | #Constraints: 74765
634.36/636.55 c #Conflicts: 41000 | #Constraints: 75765
634.36/636.55 c INPROCESSING
634.36/636.55 c GARBAGE COLLECT
634.36/636.55 c #Conflicts: 42000 | #Constraints: 72570
634.36/636.55 c #Conflicts: 43000 | #Constraints: 73570
634.36/636.55 c #Conflicts: 44000 | #Constraints: 74570
634.36/636.55 c #Conflicts: 45000 | #Constraints: 75570
634.36/636.55 c #Conflicts: 46000 | #Constraints: 76570
634.36/636.55 c INPROCESSING
634.36/636.55 c GARBAGE COLLECT
634.36/636.55 c #Conflicts: 47000 | #Constraints: 73165
634.36/636.55 c #Conflicts: 48000 | #Constraints: 74165
634.36/636.55 c #Conflicts: 49000 | #Constraints: 75165
634.36/636.55 c #Conflicts: 50000 | #Constraints: 76165
634.36/636.55 c #Conflicts: 51000 | #Constraints: 77165
634.36/636.55 c INPROCESSING
634.36/636.55 c GARBAGE COLLECT
634.36/636.55 c #Conflicts: 52000 | #Constraints: 73579
634.36/636.55 c #Conflicts: 53000 | #Constraints: 74579
634.36/636.55 c #Conflicts: 54000 | #Constraints: 75579
634.36/636.55 c #Conflicts: 55000 | #Constraints: 76579
634.36/636.55 c #Conflicts: 56000 | #Constraints: 77579
634.36/636.55 c INPROCESSING
634.36/636.55 c GARBAGE COLLECT
634.36/636.55 c #Conflicts: 57000 | #Constraints: 73777
634.36/636.55 c #Conflicts: 58000 | #Constraints: 74777
634.36/636.55 c #Conflicts: 59000 | #Constraints: 75777
634.36/636.55 c #Conflicts: 60000 | #Constraints: 76777
634.36/636.55 c #Conflicts: 61000 | #Constraints: 77777
634.36/636.55 c INPROCESSING
634.36/636.55 c GARBAGE COLLECT
634.36/636.55 c #Conflicts: 62000 | #Constraints: 73776
634.36/636.55 c GLOBAL bounds - >= 0 @ 612.871
696.19/698.57 c #Conflicts: 63000 | #Constraints: 74778
696.19/698.57 c #Conflicts: 64000 | #Constraints: 75778
696.19/698.57 c #Conflicts: 65000 | #Constraints: 76778
696.19/698.57 c #Conflicts: 66000 | #Constraints: 77778
696.19/698.57 c INPROCESSING
696.19/698.57 c GARBAGE COLLECT
696.19/698.57 c #Conflicts: 67000 | #Constraints: 73585
696.19/698.57 c #Conflicts: 68000 | #Constraints: 74585
696.19/698.57 c #Conflicts: 69000 | #Constraints: 75585
696.19/698.57 c GLOBAL bounds - >= 0 @ 673.077
699.38/701.77 c GLOBAL bounds - >= 0 @ 676.186
1083.90/1087.54 c #Conflicts: 70000 | #Constraints: 76589
1083.90/1087.54 c #Conflicts: 71000 | #Constraints: 77589
1083.90/1087.54 c #Conflicts: 72000 | #Constraints: 78589
1083.90/1087.54 c INPROCESSING
1083.90/1087.54 c GARBAGE COLLECT
1083.90/1087.54 c #Conflicts: 73000 | #Constraints: 74179
1083.90/1087.54 c #Conflicts: 74000 | #Constraints: 75179
1083.90/1087.54 c #Conflicts: 75000 | #Constraints: 76179
1083.90/1087.54 c #Conflicts: 76000 | #Constraints: 77179
1083.90/1087.54 c #Conflicts: 77000 | #Constraints: 78179
1083.90/1087.54 c #Conflicts: 78000 | #Constraints: 79179
1083.90/1087.54 c INPROCESSING
1083.90/1087.54 c GARBAGE COLLECT
1083.90/1087.54 c #Conflicts: 79000 | #Constraints: 74571
1083.90/1087.54 c #Conflicts: 80000 | #Constraints: 75571
1083.90/1087.54 c #Conflicts: 81000 | #Constraints: 76571
1083.90/1087.54 c #Conflicts: 82000 | #Constraints: 77571
1083.90/1087.54 c #Conflicts: 83000 | #Constraints: 78571
1083.90/1087.54 c #Conflicts: 84000 | #Constraints: 79571
1083.90/1087.54 c INPROCESSING
1083.90/1087.54 c GARBAGE COLLECT
1083.90/1087.54 c #Conflicts: 85000 | #Constraints: 74772
1083.90/1087.54 c #Conflicts: 86000 | #Constraints: 75772
1083.90/1087.54 c #Conflicts: 87000 | #Constraints: 76772
1083.90/1087.54 c #Conflicts: 88000 | #Constraints: 77772
1083.90/1087.54 c #Conflicts: 89000 | #Constraints: 78772
1083.90/1087.54 c #Conflicts: 90000 | #Constraints: 79772
1083.90/1087.54 c INPROCESSING
1083.90/1087.54 c GARBAGE COLLECT
1083.90/1087.54 c #Conflicts: 91000 | #Constraints: 74781
1083.90/1087.54 c #Conflicts: 92000 | #Constraints: 75781
1083.90/1087.54 c #Conflicts: 93000 | #Constraints: 76781
1083.90/1087.54 c #Conflicts: 94000 | #Constraints: 77781
1083.90/1087.54 c #Conflicts: 95000 | #Constraints: 78781
1083.90/1087.54 c #Conflicts: 96000 | #Constraints: 79781
1083.90/1087.54 c INPROCESSING
1083.90/1087.54 c GARBAGE COLLECT
1083.90/1087.54 c #Conflicts: 97000 | #Constraints: 74587
1083.90/1087.54 c #Conflicts: 98000 | #Constraints: 75587
1083.90/1087.54 c #Conflicts: 99000 | #Constraints: 76587
1083.90/1087.54 c #Conflicts: 100000 | #Constraints: 77587
1083.90/1087.54 c #Conflicts: 101000 | #Constraints: 78587
1083.90/1087.54 c #Conflicts: 102000 | #Constraints: 79587
1083.90/1087.54 c #Conflicts: 103000 | #Constraints: 80587
1083.90/1087.54 c GLOBAL bounds - >= 0 @ 1054.61
1132.94/1136.76 c INPROCESSING
1132.94/1136.76 c GARBAGE COLLECT
1132.94/1136.76 c #Conflicts: 104000 | #Constraints: 75178
1132.94/1136.76 c #Conflicts: 105000 | #Constraints: 76178
1132.94/1136.76 c #Conflicts: 106000 | #Constraints: 77178
1132.94/1136.76 c #Conflicts: 107000 | #Constraints: 78178
1132.94/1136.76 c GLOBAL bounds - >= 0 @ 1102.88
1149.26/1153.15 c #Conflicts: 108000 | #Constraints: 79180
1149.26/1153.15 c #Conflicts: 109000 | #Constraints: 80180
1149.26/1153.15 c GLOBAL bounds - >= 0 @ 1118.84
1172.09/1176.11 c #Conflicts: 110000 | #Constraints: 81182
1172.09/1176.11 c INPROCESSING
1172.09/1176.11 c GARBAGE COLLECT
1172.09/1176.11 c #Conflicts: 111000 | #Constraints: 75579
1172.09/1176.11 c GLOBAL bounds - >= 0 @ 1141.2
1178.66/1182.66 c GLOBAL bounds - >= 0 @ 1147.63
1187.73/1191.79 c #Conflicts: 112000 | #Constraints: 76583
1187.73/1191.79 c #Conflicts: 113000 | #Constraints: 77583
1187.73/1191.79 c GLOBAL bounds - >= 0 @ 1156.53
1328.28/1332.70 c #Conflicts: 114000 | #Constraints: 78585
1328.28/1332.70 c #Conflicts: 115000 | #Constraints: 79585
1328.28/1332.70 c #Conflicts: 116000 | #Constraints: 80585
1328.28/1332.70 c #Conflicts: 117000 | #Constraints: 81585
1328.28/1332.70 c INPROCESSING
1328.28/1332.70 c GARBAGE COLLECT
1328.28/1332.70 c #Conflicts: 118000 | #Constraints: 75783
1328.28/1332.70 c #Conflicts: 119000 | #Constraints: 76783
1328.28/1332.70 c #Conflicts: 120000 | #Constraints: 77783
1328.28/1332.70 c #Conflicts: 121000 | #Constraints: 78783
1328.28/1332.70 c #Conflicts: 122000 | #Constraints: 79783
1328.28/1332.70 c #Conflicts: 123000 | #Constraints: 80783
1328.28/1332.70 c #Conflicts: 124000 | #Constraints: 81783
1328.28/1332.70 c INPROCESSING
1328.28/1332.70 c GARBAGE COLLECT
1328.28/1332.70 c #Conflicts: 125000 | #Constraints: 75783
1328.28/1332.70 c #Conflicts: 126000 | #Constraints: 76783
1328.28/1332.70 c GLOBAL bounds - >= 0 @ 1294.23
1379.92/1384.51 c #Conflicts: 127000 | #Constraints: 77785
1379.92/1384.51 c #Conflicts: 128000 | #Constraints: 78785
1379.92/1384.51 c #Conflicts: 129000 | #Constraints: 79785
1379.92/1384.51 c #Conflicts: 130000 | #Constraints: 80785
1379.92/1384.51 c #Conflicts: 131000 | #Constraints: 81785
1379.92/1384.51 c INPROCESSING
1379.92/1384.51 c GARBAGE COLLECT
1379.92/1384.51 c GLOBAL bounds - >= 0 @ 1345
1380.23/1384.88 c GLOBAL bounds - >= 0 @ 1345.35
1732.00/1737.80 c #Conflicts: 132000 | #Constraints: 75593
1732.00/1737.80 c #Conflicts: 133000 | #Constraints: 76593
1732.00/1737.80 c #Conflicts: 134000 | #Constraints: 77593
1732.00/1737.80 c #Conflicts: 135000 | #Constraints: 78593
1732.00/1737.80 c #Conflicts: 136000 | #Constraints: 79593
1732.00/1737.80 c #Conflicts: 137000 | #Constraints: 80593
1732.00/1737.80 c #Conflicts: 138000 | #Constraints: 81593
1732.00/1737.80 c #Conflicts: 139000 | #Constraints: 82593
1732.00/1737.80 c INPROCESSING
1732.00/1737.80 c GARBAGE COLLECT
1732.00/1737.80 c #Conflicts: 140000 | #Constraints: 76191
1732.00/1737.80 c #Conflicts: 141000 | #Constraints: 77191
1732.00/1737.80 c #Conflicts: 142000 | #Constraints: 78191
1732.00/1737.80 c #Conflicts: 143000 | #Constraints: 79191
1732.00/1737.80 c #Conflicts: 144000 | #Constraints: 80191
1732.00/1737.80 c #Conflicts: 145000 | #Constraints: 81191
1732.00/1737.80 c #Conflicts: 146000 | #Constraints: 82191
1732.00/1737.80 c #Conflicts: 147000 | #Constraints: 83191
1732.00/1737.80 c INPROCESSING
1732.00/1737.80 c GARBAGE COLLECT
1732.00/1737.80 c #Conflicts: 148000 | #Constraints: 76610
1732.00/1737.80 c #Conflicts: 149000 | #Constraints: 77610
1732.00/1737.80 c #Conflicts: 150000 | #Constraints: 78610
1732.00/1737.80 c #Conflicts: 151000 | #Constraints: 79610
1732.00/1737.80 c #Conflicts: 152000 | #Constraints: 80610
1732.00/1737.80 c #Conflicts: 153000 | #Constraints: 81610
1732.00/1737.80 c #Conflicts: 154000 | #Constraints: 82610
1732.00/1737.80 c #Conflicts: 155000 | #Constraints: 83610
1732.00/1737.80 c INPROCESSING
1732.00/1737.80 c GARBAGE COLLECT
1732.00/1737.80 c #Conflicts: 156000 | #Constraints: 76805
1732.00/1737.80 c #Conflicts: 157000 | #Constraints: 77805
1732.00/1737.80 c #Conflicts: 158000 | #Constraints: 78805
1732.00/1737.80 c #Conflicts: 159000 | #Constraints: 79805
1732.00/1737.80 c #Conflicts: 160000 | #Constraints: 80805
1732.00/1737.80 c #Conflicts: 161000 | #Constraints: 81805
1732.00/1737.80 c #Conflicts: 162000 | #Constraints: 82805
1732.00/1737.80 c #Conflicts: 163000 | #Constraints: 83805
1732.00/1737.80 c INPROCESSING
1732.00/1737.80 c GARBAGE COLLECT
1732.00/1737.80 c #Conflicts: 164000 | #Constraints: 76803
1732.00/1737.80 c GLOBAL bounds - >= 0 @ 1691.3
2644.97/2653.96 c #Conflicts: 165000 | #Constraints: 77805
2644.97/2653.96 c #Conflicts: 166000 | #Constraints: 78805
2644.97/2653.96 c #Conflicts: 167000 | #Constraints: 79805
2644.97/2653.96 c #Conflicts: 168000 | #Constraints: 80805
2644.97/2653.96 c #Conflicts: 169000 | #Constraints: 81805
2644.97/2653.96 c #Conflicts: 170000 | #Constraints: 82805
2644.97/2653.96 c #Conflicts: 171000 | #Constraints: 83805
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 172000 | #Constraints: 76594
2644.97/2653.96 c #Conflicts: 173000 | #Constraints: 77594
2644.97/2653.96 c #Conflicts: 174000 | #Constraints: 78594
2644.97/2653.96 c #Conflicts: 175000 | #Constraints: 79594
2644.97/2653.96 c #Conflicts: 176000 | #Constraints: 80594
2644.97/2653.96 c #Conflicts: 177000 | #Constraints: 81594
2644.97/2653.96 c #Conflicts: 178000 | #Constraints: 82594
2644.97/2653.96 c #Conflicts: 179000 | #Constraints: 83594
2644.97/2653.96 c #Conflicts: 180000 | #Constraints: 84594
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 181000 | #Constraints: 77197
2644.97/2653.96 c #Conflicts: 182000 | #Constraints: 78197
2644.97/2653.96 c #Conflicts: 183000 | #Constraints: 79197
2644.97/2653.96 c #Conflicts: 184000 | #Constraints: 80197
2644.97/2653.96 c #Conflicts: 185000 | #Constraints: 81197
2644.97/2653.96 c #Conflicts: 186000 | #Constraints: 82197
2644.97/2653.96 c #Conflicts: 187000 | #Constraints: 83197
2644.97/2653.96 c #Conflicts: 188000 | #Constraints: 84197
2644.97/2653.96 c #Conflicts: 189000 | #Constraints: 85197
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 190000 | #Constraints: 77600
2644.97/2653.96 c #Conflicts: 191000 | #Constraints: 78600
2644.97/2653.96 c #Conflicts: 192000 | #Constraints: 79600
2644.97/2653.96 c #Conflicts: 193000 | #Constraints: 80600
2644.97/2653.96 c #Conflicts: 194000 | #Constraints: 81600
2644.97/2653.96 c #Conflicts: 195000 | #Constraints: 82600
2644.97/2653.96 c #Conflicts: 196000 | #Constraints: 83600
2644.97/2653.96 c #Conflicts: 197000 | #Constraints: 84600
2644.97/2653.96 c #Conflicts: 198000 | #Constraints: 85600
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 199000 | #Constraints: 77808
2644.97/2653.96 c #Conflicts: 200000 | #Constraints: 78808
2644.97/2653.96 c #Conflicts: 201000 | #Constraints: 79808
2644.97/2653.96 c #Conflicts: 202000 | #Constraints: 80808
2644.97/2653.96 c #Conflicts: 203000 | #Constraints: 81808
2644.97/2653.96 c #Conflicts: 204000 | #Constraints: 82808
2644.97/2653.96 c #Conflicts: 205000 | #Constraints: 83808
2644.97/2653.96 c #Conflicts: 206000 | #Constraints: 84808
2644.97/2653.96 c #Conflicts: 207000 | #Constraints: 85808
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 208000 | #Constraints: 77801
2644.97/2653.96 c #Conflicts: 209000 | #Constraints: 78801
2644.97/2653.96 c #Conflicts: 210000 | #Constraints: 79801
2644.97/2653.96 c #Conflicts: 211000 | #Constraints: 80801
2644.97/2653.96 c #Conflicts: 212000 | #Constraints: 81801
2644.97/2653.96 c #Conflicts: 213000 | #Constraints: 82801
2644.97/2653.96 c #Conflicts: 214000 | #Constraints: 83801
2644.97/2653.96 c #Conflicts: 215000 | #Constraints: 84801
2644.97/2653.96 c #Conflicts: 216000 | #Constraints: 85801
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 217000 | #Constraints: 77600
2644.97/2653.96 c #Conflicts: 218000 | #Constraints: 78600
2644.97/2653.96 c #Conflicts: 219000 | #Constraints: 79600
2644.97/2653.96 c #Conflicts: 220000 | #Constraints: 80600
2644.97/2653.96 c #Conflicts: 221000 | #Constraints: 81600
2644.97/2653.96 c #Conflicts: 222000 | #Constraints: 82600
2644.97/2653.96 c #Conflicts: 223000 | #Constraints: 83600
2644.97/2653.96 c #Conflicts: 224000 | #Constraints: 84600
2644.97/2653.96 c #Conflicts: 225000 | #Constraints: 85600
2644.97/2653.96 c #Conflicts: 226000 | #Constraints: 86600
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 227000 | #Constraints: 78201
2644.97/2653.96 c #Conflicts: 228000 | #Constraints: 79201
2644.97/2653.96 c #Conflicts: 229000 | #Constraints: 80201
2644.97/2653.96 c #Conflicts: 230000 | #Constraints: 81201
2644.97/2653.96 c #Conflicts: 231000 | #Constraints: 82201
2644.97/2653.96 c #Conflicts: 232000 | #Constraints: 83201
2644.97/2653.96 c #Conflicts: 233000 | #Constraints: 84201
2644.97/2653.96 c #Conflicts: 234000 | #Constraints: 85201
2644.97/2653.96 c #Conflicts: 235000 | #Constraints: 86201
2644.97/2653.96 c #Conflicts: 236000 | #Constraints: 87201
2644.97/2653.96 c INPROCESSING
2644.97/2653.96 c GARBAGE COLLECT
2644.97/2653.96 c #Conflicts: 237000 | #Constraints: 78598
2644.97/2653.96 c #Conflicts: 238000 | #Constraints: 79598
3182.87/3194.13 c #Conflicts: 239000 | #Constraints: 80598
3182.87/3194.13 c #Conflicts: 240000 | #Constraints: 81598
3182.87/3194.13 c #Conflicts: 241000 | #Constraints: 82598
3182.87/3194.13 c #Conflicts: 242000 | #Constraints: 83598
3182.87/3194.13 c #Conflicts: 243000 | #Constraints: 84598
3182.87/3194.13 c #Conflicts: 244000 | #Constraints: 85598
3182.87/3194.13 c #Conflicts: 245000 | #Constraints: 86598
3182.87/3194.13 c #Conflicts: 246000 | #Constraints: 87598
3182.87/3194.13 c INPROCESSING
3182.87/3194.13 c GARBAGE COLLECT
3182.87/3194.13 c #Conflicts: 247000 | #Constraints: 78791
3182.87/3194.13 c #Conflicts: 248000 | #Constraints: 79791
3182.87/3194.13 c #Conflicts: 249000 | #Constraints: 80791
3182.87/3194.13 c #Conflicts: 250000 | #Constraints: 81791
3182.87/3194.13 c #Conflicts: 251000 | #Constraints: 82791
3182.87/3194.13 c #Conflicts: 252000 | #Constraints: 83791
3182.87/3194.13 c #Conflicts: 253000 | #Constraints: 84791
3182.87/3194.13 c #Conflicts: 254000 | #Constraints: 85791
3182.87/3194.13 c #Conflicts: 255000 | #Constraints: 86791
3182.87/3194.13 c #Conflicts: 256000 | #Constraints: 87791
3182.87/3194.13 c INPROCESSING
3182.87/3194.13 c GARBAGE COLLECT
3182.87/3194.13 c #Conflicts: 257000 | #Constraints: 78796
3182.87/3194.13 c #Conflicts: 258000 | #Constraints: 79796
3182.87/3194.13 c #Conflicts: 259000 | #Constraints: 80796
3182.87/3194.13 c #Conflicts: 260000 | #Constraints: 81796
3182.87/3194.13 c #Conflicts: 261000 | #Constraints: 82796
3182.87/3194.13 c #Conflicts: 262000 | #Constraints: 83796
3182.87/3194.13 c #Conflicts: 263000 | #Constraints: 84796
3182.87/3194.13 c #Conflicts: 264000 | #Constraints: 85796
3182.87/3194.13 c #Conflicts: 265000 | #Constraints: 86796
3182.87/3194.13 c #Conflicts: 266000 | #Constraints: 87796
3182.87/3194.13 c INPROCESSING
3182.87/3194.13 c GARBAGE COLLECT
3182.87/3194.13 c #Conflicts: 267000 | #Constraints: 78609
3182.87/3194.13 c #Conflicts: 268000 | #Constraints: 79609
3182.87/3194.13 c #Conflicts: 269000 | #Constraints: 80609
3182.87/3194.13 c #Conflicts: 270000 | #Constraints: 81609
3182.87/3194.13 c #Conflicts: 271000 | #Constraints: 82609
3182.87/3194.13 c #Conflicts: 272000 | #Constraints: 83609
3182.87/3194.13 c #Conflicts: 273000 | #Constraints: 84609
3182.87/3194.13 c #Conflicts: 274000 | #Constraints: 85609
3182.87/3194.13 c #Conflicts: 275000 | #Constraints: 86609
3182.87/3194.13 c #Conflicts: 276000 | #Constraints: 87609
3182.87/3194.13 c #Conflicts: 277000 | #Constraints: 88609
3182.87/3194.13 c INPROCESSING
3182.87/3194.13 c GARBAGE COLLECT
3182.87/3194.13 c #Conflicts: 278000 | #Constraints: 79212
3182.87/3194.13 c #Conflicts: 279000 | #Constraints: 80212
3182.87/3194.13 c #Conflicts: 280000 | #Constraints: 81212
3182.87/3194.13 c GLOBAL bounds - >= 0 @ 3118.27
3600.05/3612.73 c #Conflicts: 281000 | #Constraints: 82214
3600.05/3612.73 c #Conflicts: 282000 | #Constraints: 83214
3600.05/3612.73 c #Conflicts: 283000 | #Constraints: 84214
3600.05/3612.73 c #Conflicts: 284000 | #Constraints: 85214
3600.05/3612.73 c #Conflicts: 285000 | #Constraints: 86214
3600.05/3612.73 c #Conflicts: 286000 | #Constraints: 87214
3600.05/3612.73 c #Conflicts: 287000 | #Constraints: 88214
3600.05/3612.73 c #Conflicts: 288000 | #Constraints: 89214
3600.05/3612.73 c INPROCESSING
3600.05/3612.73 c GARBAGE COLLECT
3600.05/3612.73 c #Conflicts: 289000 | #Constraints: 79607
3600.05/3612.73 c #Conflicts: 290000 | #Constraints: 80607
3600.05/3612.73 c #Conflicts: 291000 | #Constraints: 81607
3600.05/3612.73 c #Conflicts: 292000 | #Constraints: 82607
3600.05/3612.73 c #Conflicts: 293000 | #Constraints: 83607
3600.05/3612.73 c #Conflicts: 294000 | #Constraints: 84607
3600.05/3612.73 c #Conflicts: 295000 | #Constraints: 85607
3600.05/3612.73 c #Conflicts: 296000 | #Constraints: 86607
3600.05/3612.73 c #Conflicts: 297000 | #Constraints: 87607
3600.05/3612.73 c #Conflicts: 298000 | #Constraints: 88607
3600.05/3612.73 c #Conflicts: 299000 | #Constraints: 89607
3600.05/3612.73 c INPROCESSING
3600.05/3612.73 c GARBAGE COLLECT
3600.05/3612.73 c #Conflicts: 300000 | #Constraints: 79801
3600.05/3612.73 c #Conflicts: 301000 | #Constraints: 80801
3600.05/3612.73 c #Conflicts: 302000 | #Constraints: 81801
3600.05/3612.73 c #Conflicts: 303000 | #Constraints: 82801
3600.05/3612.73 c #Conflicts: 304000 | #Constraints: 83801
3600.05/3612.73 c #Conflicts: 305000 | #Constraints: 84801
3600.05/3612.73 c #Conflicts: 306000 | #Constraints: 85801
3600.05/3612.73 c #Conflicts: 307000 | #Constraints: 86801
3600.05/3612.73 c #Conflicts: 308000 | #Constraints: 87801
3600.05/3612.73 c #Conflicts: 309000 | #Constraints: 88801
3600.05/3612.73 c #Conflicts: 310000 | #Constraints: 89801
3600.05/3612.73 c INPROCESSING
3600.05/3612.73 c GARBAGE COLLECT
3600.05/3612.73 c #Conflicts: 311000 | #Constraints: 79805
3600.05/3612.73 c #Conflicts: 312000 | #Constraints: 80805
3600.05/3612.73 c #Conflicts: 313000 | #Constraints: 81805
3600.05/3612.73 c #Conflicts: 314000 | #Constraints: 82805
3600.05/3612.73 c #Conflicts: 315000 | #Constraints: 83805
3600.05/3612.73 c #Conflicts: 316000 | #Constraints: 84805
3600.05/3612.73 c cpu time 3528.14 s
3600.05/3612.73 c deterministic time 1 1.00e+00
3600.05/3612.73 c optimization time 3525.82 s
3600.05/3612.73 c total solve time 0 s
3600.05/3612.73 c core-guided solve time 0 s
3600.05/3612.73 c propagation time 0.045923 s
3600.05/3612.73 c conflict analysis time 0 s
3600.05/3612.73 c propagations 0
3600.05/3612.73 c resolve steps 0
3600.05/3612.73 c decisions 0
3600.05/3612.73 c conflicts 0
3600.05/3612.73 c restarts 0
3600.05/3612.73 c inprocessing phases 0
3600.05/3612.73 c garbage collections 0 ,( -nan )
3600.05/3612.73 c input clauses 65280 ,( 100.00 )
3600.05/3612.73 c input cardinalities 0 ,( 0.00 )
3600.05/3612.73 c input general constraints 0 ,( 0.00 )
3600.05/3612.73 c input average constraint length 82.32
3600.05/3612.73 c input average constraint degree 1.00
3600.05/3612.73 c learned clauses 0 ,( 0.00 )
3600.05/3612.73 c learned cardinalities 0 ,( 0.00 )
3600.05/3612.73 c learned general constraints 0 ,( 0.00 )
3600.05/3612.73 c learned average constraint length 0.00
3600.05/3612.73 c learned average constraint degree 0.00
3600.05/3612.73 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3612.73 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3612.73 c watched constraints 0 ,( -nan )
3600.05/3612.73 c counting constraints 0 ,( -nan )
3600.05/3612.73 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3612.73 c gcd simplifications 0
3600.05/3612.73 c detected cardinalities 0
3600.05/3612.73 c weakened non-implied lits 0
3600.05/3612.73 c weakened non-implying lits 0
3600.05/3612.73 c original variables 15008
3600.05/3612.73 c clausal propagations 0
3600.05/3612.73 c cardinality propagations 0
3600.05/3612.73 c watched propagations 0
3600.05/3612.73 c counting propagations 0
3600.05/3612.73 c watch lookups 0
3600.05/3612.73 c watch backjump lookups 0
3600.05/3612.73 c watch checks 0
3600.05/3612.73 c propagation checks 0
3600.05/3612.73 c constraint additions 0
3600.05/3612.73 c trail pops 0
3600.05/3612.73 c formula constraints 65280
3600.05/3612.73 c learned constraints 0
3600.05/3612.73 c bound constraints 0
3600.05/3612.73 c core-guided constraints 0
3600.05/3612.73 c encountered formula constraints 0
3600.05/3612.73 c encountered learned constraints 0
3600.05/3612.73 c encountered bound constraints 0
3600.05/3612.73 c encountered core-guided constraints 0
3600.05/3612.73 c LP total time 0 s
3600.05/3612.73 c LP solve time 0 s
3600.05/3612.73 c LP constraints added 0
3600.05/3612.73 c LP constraints removed 0
3600.05/3612.73 c LP pivots internal 0
3600.05/3612.73 c LP pivots root 0
3600.05/3612.73 c LP calls 0
3600.05/3612.73 c LP optimalities 0
3600.05/3612.73 c LP no pivot count 0
3600.05/3612.73 c LP infeasibilities 0
3600.05/3612.73 c LP valid Farkas constraints 0
3600.05/3612.73 c LP learned Farkas constraints 0
3600.05/3612.73 c LP basis resets 0
3600.05/3612.73 c LP cycling count 0
3600.05/3612.73 c LP singular count 0
3600.05/3612.73 c LP no primal count 0
3600.05/3612.73 c LP no farkas count 0
3600.05/3612.73 c LP other issue count 0
3600.05/3612.73 c LP Gomory cuts 0
3600.05/3612.73 c LP learned cuts 0
3600.05/3612.73 c LP deleted cuts 0
3600.05/3612.73 c LP encountered Gomory constraints 0
3600.05/3612.73 c LP encountered Farkas constraints 0
3600.05/3612.73 c LP encountered learned Farkas constraints 0
3600.05/3612.73 c CG auxiliary variables introduced 0
3600.05/3612.73 c CG solutions found 0
3600.05/3612.73 c CG cores constructed 0
3600.05/3612.73 c CG core cardinality constraints returned 0
3600.05/3612.73 c CG unit cores 0
3600.05/3612.73 c CG single cores 0
3600.05/3612.73 c CG blocks removed during cardinality reduction 0
3600.05/3612.73 c CG first core best 0
3600.05/3612.73 c CG decision core best 0
3600.05/3612.73 c CG core reduction tie 0
3600.05/3612.73 c CG core degree average 0.00
3600.05/3612.73 c CG core slack average 0.00
3600.05/3612.73 c CG core upper bound improvements 0
3600.05/3612.73 c STR number of successful calls 0
3600.05/3612.73 c STR number of unsuccessful calls 0
3600.05/3612.73 c STR number of inconclusive calls 0
3600.05/3612.73 c STR number of successful attempts 0
3600.05/3612.73 c STR number of unsuccessful attempts 0
3600.05/3612.73 c STR number of inconclusive attempts 0
3600.05/3612.73 c STR average degree increase per successful call inf
3600.05/3612.73 c STR average degree increase per successful attempt inf
3600.05/3612.73 c STR total number of conflicts for successful attempts 0
3600.05/3612.73 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3612.73 c STR total number of conflicts for inconclusive attempts 0
3600.05/3612.73 c STR average number of conflicts per successful attempt inf
3600.05/3612.73 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3612.73 c STR average number of conflicts per inconclusive attempt inf
3600.05/3612.73 c AVG.sumWPerc -nan
3600.05/3612.73 c bigint constraints 0
3600.05/3612.73 s UNKNOWN
3600.05/3612.73 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62923 MiB free)
memory of node 1: 64465 MiB (63469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503061-1751454530/watcher-4503061-1751454530 -o /tmp/evaluation-result-4503061-1751454530/solver-4503061-1751454530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751454530-66338 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4503061-1751454530.opb PROOFDIR/proof-4503061-1751454530
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=66396, runsolver pid=66393
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.80 1.55 2.81 4/263 66398
/proc/meminfo: memFree=129425572/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=50796 memory=7424 CPUtime=0 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66396 66396 66325 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 61132446 52015104 1856 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.210359 s]*
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=129416500/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=58076 memory=11212 CPUtime=0.04 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1584 0 0 0 3 1 0 0 20 0 1 0 61132446 59469824 2803 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 14519 2803 1952 1147 0 1946 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 14284 KiB
[startup+0.310133 s]*
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=129411424/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=58076 memory=13304 CPUtime=0.14 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1615 0 0 0 13 1 0 0 20 0 1 0 61132446 59469824 3326 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 14519 3326 1952 1147 0 1946 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 16376 KiB
[startup+0.7003 s]
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=129396556/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=58940 memory=14712 CPUtime=0.52 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1963 0 0 0 49 3 0 0 20 0 1 0 61132446 60354560 3678 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 14735 3678 1952 1147 0 2162 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 63132 KiB
Current children cumulated memory: 17784 KiB
[startup+1.50036 s]
/proc/loadavg: 0.80 1.55 2.81 5/263 66398
/proc/meminfo: memFree=129289072/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=68168 memory=24612 CPUtime=1.32 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 3961 0 0 0 126 6 0 0 20 0 1 0 61132446 69804032 6153 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 17042 6153 1952 1147 0 4469 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 72360 KiB
Current children cumulated memory: 27684 KiB
[startup+3.11347 s]
/proc/loadavg: 1.14 1.61 2.82 5/263 66398
/proc/meminfo: memFree=128724344/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=315472 memory=264948 CPUtime=2.93 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 52790 0 0 0 270 23 0 0 20 0 1 0 61132446 323043328 66237 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 78868 66237 2304 1147 0 66295 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 319664 KiB
Current children cumulated memory: 268020 KiB
[startup+6.30044 s]
/proc/loadavg: 1.14 1.61 2.82 5/263 66398
/proc/meminfo: memFree=128293892/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=490912 memory=419968 CPUtime=6.1 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 78282 0 0 0 519 91 0 0 20 0 1 0 61132446 502693888 104992 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 122728 104992 2336 1147 0 110155 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 495104 KiB
Current children cumulated memory: 423040 KiB
[startup+12.7004 s]
/proc/loadavg: 1.37 1.65 2.83 5/263 66398
/proc/meminfo: memFree=127707088/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=675272 memory=598980 CPUtime=12.49 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 110763 0 0 0 1014 235 0 0 20 0 1 0 61132446 691478528 149745 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 168818 149745 2336 1147 0 156245 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 679464 KiB
Current children cumulated memory: 602052 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.76 2.85 5/263 66398
/proc/meminfo: memFree=126516484/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=1023752 memory=909944 CPUtime=25.25 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 168569 0 0 0 2089 436 0 0 20 0 1 0 61132446 1048322048 227486 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 255938 227486 2336 1147 0 243365 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 1027944 KiB
Current children cumulated memory: 913016 KiB
[startup+51.1138 s]
/proc/loadavg: 2.73 1.96 2.89 5/263 66399
/proc/meminfo: memFree=124585108/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=1695716 memory=1503440 CPUtime=50.78 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 279645 0 0 0 4299 779 0 0 20 0 1 0 61132446 1736413184 375860 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 423929 375860 2336 1147 0 411356 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 1699908 KiB
Current children cumulated memory: 1506512 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.29 2.95 5/262 66402
/proc/meminfo: memFree=121585792/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=2852128 memory=2372360 CPUtime=101.8 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 450381 0 0 0 9179 1001 0 0 20 0 1 0 61132446 2920579072 593090 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 713032 593090 2336 1147 0 700459 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 2856320 KiB
Current children cumulated memory: 2375432 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.67 3.04 5/263 66407
/proc/meminfo: memFree=118676580/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=3335164 memory=2699700 CPUtime=161.59 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 502673 0 0 0 14991 1168 0 0 20 0 1 0 61132446 3415207936 674925 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 833791 674925 2336 1147 0 821218 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 3339356 KiB
Current children cumulated memory: 2702772 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 2.94 3.11 5/263 66409
/proc/meminfo: memFree=115985596/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=3342852 memory=2834356 CPUtime=221.4 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 523225 0 0 0 20880 1260 0 0 20 0 1 0 61132446 3423080448 708589 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 835713 708589 2336 1147 0 823140 0
################
# More data... #
################
Current children cumulated CPU time: 3330.61 s
Current children cumulated vsize: 10201672 KiB
Current children cumulated memory: 8093700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.18 5/262 66604
/proc/meminfo: memFree=2014920/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=10547188 memory=8511876 CPUtime=3390.42 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1697709 0 0 0 332168 6874 0 0 20 0 1 0 61132446 10800320512 2127969 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2636797 2127969 2336 1147 0 2624224 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 10551380 KiB
Current children cumulated memory: 8514948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.29 4.21 4.19 5/262 66606
/proc/meminfo: memFree=1842928/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=10547188 memory=8511876 CPUtime=3450.24 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1698076 0 0 0 338055 6969 0 0 20 0 1 0 61132446 10800320512 2127969 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2636797 2127969 2336 1147 0 2624224 0
Current children cumulated CPU time: 3450.24 s
Current children cumulated vsize: 10551380 KiB
Current children cumulated memory: 8514948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/262 66608
/proc/meminfo: memFree=1980656/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=10570588 memory=8526212 CPUtime=3510.06 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1741654 0 0 0 343941 7065 0 0 20 0 1 0 61132446 10824282112 2131553 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2642647 2131553 2336 1147 0 2630074 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 10574780 KiB
Current children cumulated memory: 8529284 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/262 66610
/proc/meminfo: memFree=1962688/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=10643804 memory=8613892 CPUtime=3569.74 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1791269 0 0 0 349823 7151 0 0 20 0 1 0 61132446 10899255296 2153473 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153473 2336 1147 0 2648378 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 10647996 KiB
Current children cumulated memory: 8616964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.10 4.16 4.17 3/259 66612
/proc/meminfo: memFree=1915464/131382112 swapFree=33010416/33010684
[pid=66396] ppid=66393 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/66396/stat : 66396 (run-opt-log.sh) S 66393 66396 66325 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 61132445 4292608 768 18446744073709551615 94021102231552 94021103126085 140736686617296 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94021103365136 94021103412880 94021115064320 140736686623009 140736686623204 140736686623204 140736686628806 0
/proc/66396/statm: 1048 768 704 219 0 110 0
[pid=66398] ppid=66396 vsize=10643804 memory=8613892 CPUtime=3600.05 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66396 66396 66325 0 -1 4194304 1791381 0 0 0 352814 7191 0 0 20 0 1 0 61132446 10899255296 2153473 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153473 2336 1147 0 2648378 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 10647996 KiB
Current children cumulated memory: 8616964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.71 s]
# the end of solver process 66396 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001344 s, system=0.004042 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.18 4.18 4.18 1/255 66612
/proc/meminfo: memFree=1834840/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.41 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7227 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 9
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
??? kill 66398 sig 9
??? end of watcher thread
[startup+3624.56 s]
# the end of solver process 66398 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3528.2 s, system=73.4053 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]*
/proc/loadavg: 4.10 4.16 4.17 3/257 66612
/proc/meminfo: memFree=1864576/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.13 cores=5,7
/proc/66398/stat : 66398 (roundingsat) R 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7199 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
Current cumulated CPU time of completed processes: 0.005386 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 10643804 KiB
Current children cumulated memory: 8614148 KiB
[startup+3613.6 s]
/proc/loadavg: 4.10 4.16 4.17 2/257 66612
/proc/meminfo: memFree=1844980/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.41 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7227 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
Current cumulated CPU time of completed processes: 0.005386 s
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 10643804 KiB
Current children cumulated memory: 8614148 KiB
[startup+3614.4 s]
/proc/loadavg: 4.18 4.18 4.18 1/255 66612
/proc/meminfo: memFree=1834840/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.41 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7227 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
Current cumulated CPU time of completed processes: 0.005386 s
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 10643804 KiB
Current children cumulated memory: 8614148 KiB
[startup+3614.6 s]
/proc/loadavg: 4.18 4.18 4.18 1/255 66612
/proc/meminfo: memFree=1834840/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.41 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7227 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
Current cumulated CPU time of completed processes: 0.005386 s
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 10643804 KiB
Current children cumulated memory: 8614148 KiB
[startup+3614.7 s]
/proc/loadavg: 4.18 4.18 4.18 1/255 66612
/proc/meminfo: memFree=1834840/131382112 swapFree=33010416/33010684
[pid=66398] ppid=66393 vsize=10643804 memory=8614148 CPUtime=3600.41 cores=5,7
/proc/66398/stat : 66398 (roundingsat) D 66393 66396 66325 0 -1 4194304 1791385 0 1 0 352814 7227 0 0 20 0 1 0 61132446 10899255296 2153537 18446744073709551615 4227072 8923433 140734837102768 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 18436096 140734837111122 140734837111336 140734837111336 140734837116906 0
/proc/66398/statm: 2660951 2153537 2400 1147 0 2648378 0
Current cumulated CPU time of completed processes: 0.005386 s
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 10643804 KiB
Current children cumulated memory: 8614148 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3624.56
CPU time (s): 3601.61
CPU user time (s): 3528.2
CPU system time (s): 73.4053
CPU usage (%): 99.3667
Max. virtual memory (cumulated for all children) (KiB): 10647996
Max. memory (cumulated for all children) (KiB): 8616964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3528.2
system time used= 73.4053
maximum resident set size= 8614148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1791594
page faults= 1
swaps= 0
block input operations= 4168
block output operations= 101373880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136353
involuntary context switches= 11435
# summary of solver processes directly reported to runsolver:
# pid: 66396,66398
# total CPU time (s): 3601.61
# total CPU user time (s): 3528.2
# total CPU system time (s): 73.4053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0795 second user time and 38.8041 second system time
The end
Begin job on nodeC005 at 2025-07-02 13:08:51
IDJOB=4503061
IDBENCH=155404
IDSOLVER=3351
FILE ID=nodeC005/4503061-1751454530
RUNJOBID= nodeC005-1751454530-66338
SLURM_JOB_ID= 9598448
Free space on /tmp= 429396 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503061-1751454530/watcher-4503061-1751454530 -o /tmp/evaluation-result-4503061-1751454530/solver-4503061-1751454530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751454530-66338 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4503061-1751454530.opb PROOFDIR/proof-4503061-1751454530
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=548371877
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1297.010
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.616
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1496.569
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.950
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129426328 kB
MemAvailable: 129843924 kB
Buffers: 2128 kB
Cached: 1207420 kB
SwapCached: 24 kB
Active: 794736 kB
Inactive: 561008 kB
Active(anon): 160972 kB
Inactive(anon): 3164 kB
Active(file): 633764 kB
Inactive(file): 557844 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 99892 kB
Writeback: 4 kB
AnonPages: 149348 kB
Mapped: 114896 kB
Shmem: 17936 kB
KReclaimable: 131228 kB
Slab: 218428 kB
SReclaimable: 131228 kB
SUnreclaim: 87200 kB
KernelStack: 4224 kB
PageTables: 3268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 507408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429388 MiB
End job on nodeC005 at 2025-07-02 14:09:15