0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 5000 #constraints 1
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -2790976 @ 0.004861
0.00/0.02 c GLOBAL bounds - >= -2790976 @ 0.007664
0.00/0.03 c GLOBAL bounds - >= -2790976 @ 0.010923
0.00/0.04 c GLOBAL bounds - >= -2790976 @ 0.015356
0.00/0.04 c GLOBAL bounds - >= -2790976 @ 0.019982
0.00/0.05 c GLOBAL bounds - >= -2790976 @ 0.021792
0.00/0.06 c GLOBAL bounds - >= -2790976 @ 0.024184
0.00/0.06 c GLOBAL bounds - >= -2790976 @ 0.028838
0.00/0.07 c GLOBAL bounds - >= -2790976 @ 0.030798
0.00/0.08 c GLOBAL bounds - >= -2790976 @ 0.035233
0.00/0.08 c GLOBAL bounds - >= -2790976 @ 0.039889
0.00/0.09 c GLOBAL bounds - >= -2790976 @ 0.043989
0.00/0.10 c GLOBAL bounds - >= -2790976 @ 0.045845
0.08/0.10 c GLOBAL bounds - >= -2790976 @ 0.048698
0.08/0.11 c GLOBAL bounds - >= -2790976 @ 0.053056
0.08/0.12 c GLOBAL bounds - >= -2790976 @ 0.055859
0.08/0.12 c GLOBAL bounds - >= -2790976 @ 0.058702
0.08/0.13 c GLOBAL bounds - >= -2790976 @ 0.062121
0.08/0.14 c GLOBAL bounds - >= -2790976 @ 0.068798
0.08/0.14 c GLOBAL bounds - >= -2790976 @ 0.070728
0.08/0.15 c GLOBAL bounds - >= -2790976 @ 0.073572
0.08/0.16 c GLOBAL bounds - >= -2790976 @ 0.074956
0.08/0.16 c GLOBAL bounds - >= -2790976 @ 0.078819
0.08/0.17 c GLOBAL bounds - >= -2790976 @ 0.080707
0.08/0.18 c GLOBAL bounds - >= -2790976 @ 0.084576
0.08/0.19 c GLOBAL bounds - >= -2790976 @ 0.088984
0.08/0.19 c GLOBAL bounds - >= -2790976 @ 0.093842
0.08/0.20 c GLOBAL bounds - >= -2790976 @ 0.097732
0.08/0.21 c GLOBAL bounds - >= -2790976 @ 0.103373
0.19/0.21 c GLOBAL bounds - >= -2790976 @ 0.105542
0.19/0.22 c GLOBAL bounds - >= -2790976 @ 0.109443
0.19/0.23 c GLOBAL bounds - >= -2790976 @ 0.113895
0.19/0.23 c GLOBAL bounds - >= -2790976 @ 0.118691
0.19/0.24 c GLOBAL bounds - >= -2790976 @ 0.122671
0.19/0.25 c GLOBAL bounds - >= -2790976 @ 0.128401
0.19/0.25 c GLOBAL bounds - >= -2790976 @ 0.132513
0.19/0.26 c GLOBAL bounds - >= -2790976 @ 0.13713
0.19/0.27 c GLOBAL bounds - >= -2790976 @ 0.141038
0.19/0.27 c GLOBAL bounds - >= -2790976 @ 0.14431
0.19/0.28 c GLOBAL bounds - >= -2790976 @ 0.14894
0.19/0.29 c GLOBAL bounds - >= -2790976 @ 0.153763
0.19/0.30 c GLOBAL bounds - >= -2790976 @ 0.156708
0.19/0.30 c GLOBAL bounds - >= -2790976 @ 0.161658
0.29/0.31 c GLOBAL bounds - >= -2790976 @ 0.165654
0.29/0.32 c GLOBAL bounds - >= -2790976 @ 0.168575
0.29/0.32 c GLOBAL bounds - >= -2790976 @ 0.172584
0.29/0.33 c GLOBAL bounds - >= -2790976 @ 0.175533
0.29/0.34 c GLOBAL bounds - >= -2790976 @ 0.178507
0.29/0.34 c GLOBAL bounds - >= -2790976 @ 0.18246
0.29/0.35 c GLOBAL bounds - >= -2790976 @ 0.18725
0.29/0.36 c GLOBAL bounds - >= -2790976 @ 0.190418
0.29/0.36 c GLOBAL bounds - >= -2790976 @ 0.193405
0.29/0.37 c GLOBAL bounds - >= -2790976 @ 0.198396
0.29/0.38 c GLOBAL bounds - >= -2790976 @ 0.202237
0.29/0.39 c GLOBAL bounds - >= -2790976 @ 0.207415
0.29/0.39 c GLOBAL bounds - >= -2790976 @ 0.211437
0.39/0.41 c GLOBAL bounds - >= -2790976 @ 0.221193
0.39/0.41 c GLOBAL bounds - >= -2790976 @ 0.225617
0.39/0.42 c GLOBAL bounds - >= -2790976 @ 0.230859
0.39/0.43 c GLOBAL bounds - >= -2790976 @ 0.234102
0.39/0.44 c GLOBAL bounds - >= -2790976 @ 0.240925
0.39/0.45 c GLOBAL bounds - >= -2790976 @ 0.248408
0.39/0.46 c GLOBAL bounds - >= -2790976 @ 0.25538
0.39/0.47 c GLOBAL bounds - >= -2790976 @ 0.267327
0.39/0.48 c GLOBAL bounds - >= -2790976 @ 0.273934
0.39/0.49 c GLOBAL bounds - >= -2790976 @ 0.276416
0.39/0.50 c GLOBAL bounds - >= -2790976 @ 0.282786
0.48/0.51 c GLOBAL bounds - >= -2790976 @ 0.28939
0.48/0.52 c GLOBAL bounds - >= -2790976 @ 0.294997
0.48/0.52 c GLOBAL bounds - >= -2790976 @ 0.300581
0.48/0.54 c GLOBAL bounds - >= -2790976 @ 0.306736
0.48/0.54 c GLOBAL bounds - >= -2790976 @ 0.311063
0.48/0.55 c GLOBAL bounds - >= -2790976 @ 0.31672
0.48/0.56 c GLOBAL bounds - >= -2790976 @ 0.321757
0.48/0.57 c GLOBAL bounds - >= -2790976 @ 0.326126
0.48/0.57 c GLOBAL bounds - >= -2790976 @ 0.328924
0.48/0.58 c GLOBAL bounds - >= -2790976 @ 0.332905
0.48/0.59 c GLOBAL bounds - >= -2790976 @ 0.337398
0.48/0.60 c GLOBAL bounds - >= -2790976 @ 0.344293
0.58/0.61 c GLOBAL bounds - >= -2790976 @ 0.349074
0.58/0.61 c GLOBAL bounds - >= -2790976 @ 0.355853
0.58/0.62 c GLOBAL bounds - >= -2790976 @ 0.358879
0.58/0.63 c GLOBAL bounds - >= -2790976 @ 0.365427
0.58/0.64 c GLOBAL bounds - >= -2790976 @ 0.370286
0.58/0.65 c GLOBAL bounds - >= -2790976 @ 0.37786
0.58/0.66 c GLOBAL bounds - >= -2790976 @ 0.384355
0.58/0.67 c GLOBAL bounds - >= -2790976 @ 0.390423
0.58/0.68 c GLOBAL bounds - >= -2790976 @ 0.396471
0.58/0.69 c GLOBAL bounds - >= -2790976 @ 0.402977
0.67/0.70 c GLOBAL bounds - >= -2790976 @ 0.410991
0.67/0.71 c GLOBAL bounds - >= -2790976 @ 0.41991
0.67/0.72 c GLOBAL bounds - >= -2790976 @ 0.423421
0.67/0.73 c GLOBAL bounds - >= -2790976 @ 0.430187
0.67/0.73 c GLOBAL bounds - >= -2790976 @ 0.437375
0.67/0.75 c GLOBAL bounds - >= -2790976 @ 0.444895
0.67/0.75 c GLOBAL bounds - >= -2790976 @ 0.449166
0.67/0.76 c GLOBAL bounds - >= -2790976 @ 0.455345
0.67/0.77 c GLOBAL bounds - >= -2790976 @ 0.462533
0.67/0.78 c GLOBAL bounds - >= -2790976 @ 0.467795
0.67/0.79 c GLOBAL bounds - >= -2790976 @ 0.474698
0.78/0.80 c GLOBAL bounds - >= -2790976 @ 0.481621
0.78/0.81 c GLOBAL bounds - >= -2790976 @ 0.486541
0.78/0.82 c GLOBAL bounds - >= -2790976 @ 0.494145
0.78/0.83 c GLOBAL bounds - >= -2790976 @ 0.497639
0.78/0.84 c GLOBAL bounds - >= -2790976 @ 0.50394
0.78/0.85 c GLOBAL bounds - >= -2790976 @ 0.512986
0.78/0.86 c GLOBAL bounds - >= -2790976 @ 0.51848
0.78/0.87 c GLOBAL bounds - >= -2790976 @ 0.527742
0.78/0.88 c GLOBAL bounds - >= -2790976 @ 0.540109
0.78/0.89 c GLOBAL bounds - >= -2790976 @ 0.548552
0.88/0.91 c GLOBAL bounds - >= -2790976 @ 0.559285
0.88/0.92 c GLOBAL bounds - >= -2790976 @ 0.569194
0.88/0.93 c GLOBAL bounds - >= -2790976 @ 0.576612
0.88/0.94 c GLOBAL bounds - >= -2790976 @ 0.583342
0.88/0.95 c GLOBAL bounds - >= -2790976 @ 0.588943
0.88/0.96 c GLOBAL bounds - >= -2790976 @ 0.594351
0.88/0.97 c GLOBAL bounds - >= -2790976 @ 0.602625
0.88/0.98 c GLOBAL bounds - >= -2790976 @ 0.611204
0.88/0.99 c GLOBAL bounds - >= -2790976 @ 0.620468
0.88/1.00 c GLOBAL bounds - >= -2790976 @ 0.628087
0.98/1.01 c GLOBAL bounds - >= -2790976 @ 0.636455
0.98/1.02 c GLOBAL bounds - >= -2790976 @ 0.645638
0.98/1.03 c GLOBAL bounds - >= -2790976 @ 0.652578
0.98/1.04 c GLOBAL bounds - >= -2790976 @ 0.659959
0.98/1.05 c GLOBAL bounds - >= -2790976 @ 0.665853
0.98/1.06 c GLOBAL bounds - >= -2790976 @ 0.673441
0.98/1.07 c GLOBAL bounds - >= -2790976 @ 0.680102
0.98/1.08 c GLOBAL bounds - >= -2790976 @ 0.687705
0.98/1.09 c GLOBAL bounds - >= -2790976 @ 0.694773
1.07/1.12 c GLOBAL bounds - >= -2790976 @ 0.715832
1.07/1.19 c GLOBAL bounds - >= -2790976 @ 0.782796
1.17/1.20 c GLOBAL bounds - >= -2790976 @ 0.789826
1.17/1.21 c GLOBAL bounds - >= -2790976 @ 0.799455
1.17/1.23 c GLOBAL bounds - >= -2790976 @ 0.810092
1.17/1.24 c GLOBAL bounds - >= -2790976 @ 0.821827
1.17/1.25 c GLOBAL bounds - >= -2790976 @ 0.832467
1.17/1.26 c GLOBAL bounds - >= -2790976 @ 0.84075
1.17/1.27 c GLOBAL bounds - >= -2790976 @ 0.850671
1.17/1.29 c GLOBAL bounds - >= -2790976 @ 0.860717
1.27/1.30 c GLOBAL bounds - >= -2790976 @ 0.867964
1.27/1.31 c GLOBAL bounds - >= -2790976 @ 0.875089
1.27/1.32 c GLOBAL bounds - >= -2790976 @ 0.885486
1.27/1.33 c GLOBAL bounds - >= -2790976 @ 0.893949
1.27/1.34 c GLOBAL bounds - >= -2790976 @ 0.900063
1.27/1.35 c GLOBAL bounds - >= -2790976 @ 0.908033
1.27/1.36 c GLOBAL bounds - >= -2790976 @ 0.914129
1.27/1.37 c GLOBAL bounds - >= -2790976 @ 0.92124
1.27/1.38 c GLOBAL bounds - >= -2790976 @ 0.928743
1.27/1.39 c GLOBAL bounds - >= -2790976 @ 0.936428
1.37/1.40 c GLOBAL bounds - >= -2790976 @ 0.944313
1.37/1.42 c GLOBAL bounds - >= -2790976 @ 0.949305
1.37/1.43 c GLOBAL bounds - >= -2790976 @ 0.959927
1.37/1.44 c GLOBAL bounds - >= -2790976 @ 0.966528
1.37/1.45 c GLOBAL bounds - >= -2790976 @ 0.97732
1.37/1.46 c GLOBAL bounds - >= -2790976 @ 0.987127
1.37/1.47 c GLOBAL bounds - >= -2790976 @ 0.995926
1.37/1.48 c GLOBAL bounds - >= -2790976 @ 1.00368
1.37/1.49 c GLOBAL bounds - >= -2790976 @ 1.01147
1.47/1.50 c GLOBAL bounds - >= -2790976 @ 1.01966
1.47/1.52 c GLOBAL bounds - >= -2790976 @ 1.02687
1.47/1.53 c GLOBAL bounds - >= -2790976 @ 1.0361
1.47/1.54 c GLOBAL bounds - >= -2790976 @ 1.04694
1.47/1.55 c GLOBAL bounds - >= -2790976 @ 1.05581
1.47/1.57 c GLOBAL bounds - >= -2790976 @ 1.0626
1.47/1.58 c GLOBAL bounds - >= -2790976 @ 1.06997
1.47/1.59 c GLOBAL bounds - >= -2790976 @ 1.07634
1.57/1.60 c GLOBAL bounds - >= -2790976 @ 1.08751
1.57/1.61 c GLOBAL bounds - >= -2790976 @ 1.09363
1.57/1.62 c GLOBAL bounds - >= -2790976 @ 1.10403
1.57/1.63 c GLOBAL bounds - >= -2790976 @ 1.11341
1.57/1.65 c GLOBAL bounds - >= -2790976 @ 1.12883
1.57/1.68 c GLOBAL bounds - >= -2790976 @ 1.14671
1.67/1.70 c GLOBAL bounds - >= -2790976 @ 1.16367
1.67/1.74 c GLOBAL bounds - >= -2790976 @ 1.19923
8.06/8.15 c #Conflicts: 1000 | #Constraints: 1345
8.06/8.15 c GLOBAL bounds - >= -2790976 @ 7.2664
8.06/8.17 c GLOBAL bounds - >= -2790976 @ 7.2906
8.16/8.20 c GLOBAL bounds - >= -2790976 @ 7.3138
8.25/8.35 c GLOBAL bounds - >= -2790976 @ 7.46487
8.25/8.38 c GLOBAL bounds - >= -2790976 @ 7.48575
8.35/8.41 c GLOBAL bounds - >= -2790976 @ 7.5089
8.35/8.43 c GLOBAL bounds - >= -2790976 @ 7.531
8.35/8.46 c GLOBAL bounds - >= -2790976 @ 7.55105
8.35/8.49 c GLOBAL bounds - >= -2790976 @ 7.57751
8.45/8.52 c GLOBAL bounds - >= -2790976 @ 7.60027
8.45/8.54 c GLOBAL bounds - >= -2790976 @ 7.62265
8.45/8.57 c GLOBAL bounds - >= -2790976 @ 7.64702
8.55/8.60 c GLOBAL bounds - >= -2790976 @ 7.6782
8.55/8.65 c GLOBAL bounds - >= -2790976 @ 7.71651
8.55/8.67 c GLOBAL bounds - >= -2790976 @ 7.73838
8.65/8.70 c GLOBAL bounds - >= -2790976 @ 7.75926
8.65/8.73 c GLOBAL bounds - >= -2790976 @ 7.78403
8.65/8.77 c GLOBAL bounds - >= -2790976 @ 7.82061
8.75/8.80 c GLOBAL bounds - >= -2790976 @ 7.85418
8.75/8.84 c GLOBAL bounds - >= -2790976 @ 7.88752
8.85/8.93 c GLOBAL bounds - >= -2790976 @ 7.96732
8.85/8.95 c GLOBAL bounds - >= -2790976 @ 7.99191
8.85/8.98 c GLOBAL bounds - >= -2790976 @ 8.01385
8.96/9.01 c GLOBAL bounds - >= -2790976 @ 8.03371
8.96/9.03 c GLOBAL bounds - >= -2790976 @ 8.05659
8.96/9.08 c GLOBAL bounds - >= -2790976 @ 8.10343
9.45/9.51 c GLOBAL bounds - >= -2790976 @ 8.49338
9.45/9.56 c GLOBAL bounds - >= -2790976 @ 8.53617
9.55/9.60 c GLOBAL bounds - >= -2790976 @ 8.57001
9.95/10.04 c GLOBAL bounds - >= -2790976 @ 8.97464
9.95/10.09 c GLOBAL bounds - >= -2790976 @ 9.02116
10.06/10.15 c GLOBAL bounds - >= -2790976 @ 9.07042
10.06/10.19 c GLOBAL bounds - >= -2790976 @ 9.11301
10.15/10.24 c GLOBAL bounds - >= -2790976 @ 9.15717
10.15/10.29 c GLOBAL bounds - >= -2790976 @ 9.19832
10.84/10.96 c GLOBAL bounds - >= -2790976 @ 9.81673
11.15/11.26 c GLOBAL bounds - >= -2790976 @ 10.0895
11.35/11.49 c GLOBAL bounds - >= -2790976 @ 10.3098
11.64/11.73 c GLOBAL bounds - >= -2790976 @ 10.5362
11.95/12.04 c GLOBAL bounds - >= -2790976 @ 10.8175
12.24/12.30 c GLOBAL bounds - >= -2790976 @ 11.0611
12.44/12.53 c GLOBAL bounds - >= -2790976 @ 11.2785
12.74/12.85 c GLOBAL bounds - >= -2790976 @ 11.5662
13.64/13.72 c GLOBAL bounds - >= -2790976 @ 12.3831
13.64/13.76 c GLOBAL bounds - >= -2790976 @ 12.4156
13.64/13.79 c GLOBAL bounds - >= -2790976 @ 12.4509
13.74/13.83 c GLOBAL bounds - >= -2790976 @ 12.4823
13.74/13.87 c GLOBAL bounds - >= -2790976 @ 12.5175
13.84/13.90 c GLOBAL bounds - >= -2790976 @ 12.5524
13.84/13.94 c GLOBAL bounds - >= -2790976 @ 12.5862
13.84/13.97 c GLOBAL bounds - >= -2790976 @ 12.6205
13.94/14.01 c GLOBAL bounds - >= -2790976 @ 12.655
13.94/14.05 c GLOBAL bounds - >= -2790976 @ 12.6825
14.04/14.12 c GLOBAL bounds - >= -2790976 @ 12.7449
14.04/14.16 c GLOBAL bounds - >= -2790976 @ 12.7754
14.04/14.20 c GLOBAL bounds - >= -2790976 @ 12.8078
14.13/14.23 c GLOBAL bounds - >= -2790976 @ 12.8412
14.13/14.27 c GLOBAL bounds - >= -2790976 @ 12.8736
14.24/14.30 c GLOBAL bounds - >= -2790976 @ 12.905
14.24/14.34 c GLOBAL bounds - >= -2790976 @ 12.9383
14.24/14.38 c GLOBAL bounds - >= -2790976 @ 12.9727
14.34/14.44 c GLOBAL bounds - >= -2790976 @ 13.0236
14.43/14.51 c GLOBAL bounds - >= -2790976 @ 13.088
14.43/14.56 c GLOBAL bounds - >= -2790976 @ 13.1347
14.54/14.60 c GLOBAL bounds - >= -2790976 @ 13.1656
14.54/14.63 c GLOBAL bounds - >= -2790976 @ 13.1984
14.54/14.67 c GLOBAL bounds - >= -2790976 @ 13.2321
14.64/14.71 c GLOBAL bounds - >= -2790976 @ 13.2628
14.64/14.74 c GLOBAL bounds - >= -2790976 @ 13.2965
14.74/14.80 c GLOBAL bounds - >= -2790976 @ 13.3509
14.74/14.84 c GLOBAL bounds - >= -2790976 @ 13.3877
14.74/14.88 c GLOBAL bounds - >= -2790976 @ 13.4211
14.83/14.91 c GLOBAL bounds - >= -2790976 @ 13.4544
14.83/14.99 c GLOBAL bounds - >= -2790976 @ 13.5244
14.94/15.03 c GLOBAL bounds - >= -2790976 @ 13.5585
14.94/15.07 c GLOBAL bounds - >= -2790976 @ 13.5885
15.04/15.17 c GLOBAL bounds - >= -2790976 @ 13.6793
15.14/15.21 c GLOBAL bounds - >= -2790976 @ 13.7173
15.14/15.28 c GLOBAL bounds - >= -2790976 @ 13.7732
15.23/15.37 c GLOBAL bounds - >= -2790976 @ 13.856
15.33/15.46 c GLOBAL bounds - >= -2790976 @ 13.9366
15.44/15.52 c GLOBAL bounds - >= -2790976 @ 13.993
26.41/26.50 c #Conflicts: 2000 | #Constraints: 2509
26.41/26.50 c INPROCESSING
26.41/26.50 c GARBAGE COLLECT
26.41/26.50 c #Conflicts: 3000 | #Constraints: 2516
26.41/26.50 c GLOBAL bounds - >= -2790976 @ 24.4577
26.50/26.60 c GLOBAL bounds - >= -2790976 @ 24.5508
26.60/26.70 c GLOBAL bounds - >= -2790976 @ 24.6344
26.70/26.83 c GLOBAL bounds - >= -2790976 @ 24.7601
26.70/26.89 c GLOBAL bounds - >= -2790976 @ 24.8099
26.80/26.95 c GLOBAL bounds - >= -2790976 @ 24.8678
26.91/27.01 c GLOBAL bounds - >= -2790976 @ 24.9221
27.10/27.27 c GLOBAL bounds - >= -2790976 @ 25.1677
27.20/27.34 c GLOBAL bounds - >= -2790976 @ 25.2294
27.31/27.42 c GLOBAL bounds - >= -2790976 @ 25.2967
27.31/27.47 c GLOBAL bounds - >= -2790976 @ 25.3489
27.40/27.52 c GLOBAL bounds - >= -2790976 @ 25.3912
27.40/27.58 c GLOBAL bounds - >= -2790976 @ 25.4453
27.50/27.64 c GLOBAL bounds - >= -2790976 @ 25.4944
27.50/27.69 c GLOBAL bounds - >= -2790976 @ 25.5508
27.60/27.75 c GLOBAL bounds - >= -2790976 @ 25.604
27.70/27.81 c GLOBAL bounds - >= -2790976 @ 25.6569
27.90/28.10 c GLOBAL bounds - >= -2790976 @ 25.9288
28.01/28.17 c GLOBAL bounds - >= -2790976 @ 25.9955
28.10/28.24 c GLOBAL bounds - >= -2790976 @ 26.0579
28.20/28.33 c GLOBAL bounds - >= -2790976 @ 26.1408
28.20/28.39 c GLOBAL bounds - >= -2790976 @ 26.1913
28.30/28.46 c GLOBAL bounds - >= -2790976 @ 26.2623
28.40/28.51 c GLOBAL bounds - >= -2790976 @ 26.3116
28.40/28.56 c GLOBAL bounds - >= -2790976 @ 26.3576
28.49/28.62 c GLOBAL bounds - >= -2790976 @ 26.4116
28.60/28.73 c GLOBAL bounds - >= -2790976 @ 26.5117
28.60/28.78 c GLOBAL bounds - >= -2790976 @ 26.5608
28.70/28.83 c GLOBAL bounds - >= -2790976 @ 26.6031
28.79/28.90 c GLOBAL bounds - >= -2790976 @ 26.6587
28.79/28.95 c GLOBAL bounds - >= -2790976 @ 26.7084
28.90/29.02 c GLOBAL bounds - >= -2790976 @ 26.7756
28.90/29.07 c GLOBAL bounds - >= -2790976 @ 26.8257
29.01/29.13 c GLOBAL bounds - >= -2790976 @ 26.8735
29.90/30.03 c GLOBAL bounds - >= -2790976 @ 27.726
30.69/30.81 c GLOBAL bounds - >= -2790976 @ 28.48
32.39/32.58 c GLOBAL bounds - >= -2790976 @ 30.1285
32.49/32.68 c GLOBAL bounds - >= -2790976 @ 30.2195
32.58/32.79 c GLOBAL bounds - >= -2790976 @ 30.331
32.99/33.15 c #Conflicts: 4000 | #Constraints: 3594
32.99/33.15 c GLOBAL bounds - >= -2790976 @ 30.6692
33.08/33.21 c GLOBAL bounds - >= -2790976 @ 30.7201
33.08/33.26 c GLOBAL bounds - >= -2790976 @ 30.7734
33.19/33.33 c GLOBAL bounds - >= -2790976 @ 30.8317
33.28/33.40 c GLOBAL bounds - >= -2790976 @ 30.8966
33.28/33.45 c GLOBAL bounds - >= -2790976 @ 30.9485
33.39/33.51 c GLOBAL bounds - >= -2790976 @ 31.0006
33.39/33.57 c GLOBAL bounds - >= -2790976 @ 31.0591
33.48/33.63 c GLOBAL bounds - >= -2790976 @ 31.1201
33.48/33.69 c GLOBAL bounds - >= -2790976 @ 31.181
33.58/33.76 c GLOBAL bounds - >= -2790976 @ 31.2454
33.68/33.83 c GLOBAL bounds - >= -2790976 @ 31.3025
33.78/33.91 c GLOBAL bounds - >= -2790976 @ 31.3825
33.89/34.02 c GLOBAL bounds - >= -2790976 @ 31.4871
34.08/34.21 c GLOBAL bounds - >= -2790976 @ 31.6623
34.08/34.28 c GLOBAL bounds - >= -2790976 @ 31.7215
34.29/34.42 c GLOBAL bounds - >= -2790976 @ 31.8592
34.38/34.51 c GLOBAL bounds - >= -2790976 @ 31.9438
34.48/34.64 c GLOBAL bounds - >= -2790976 @ 32.0651
34.58/34.72 c GLOBAL bounds - >= -2790976 @ 32.1416
35.18/35.39 c GLOBAL bounds - >= -2790976 @ 32.7754
35.28/35.48 c GLOBAL bounds - >= -2790976 @ 32.8613
36.78/36.98 c INPROCESSING
36.78/36.98 c GARBAGE COLLECT
36.78/36.98 c GLOBAL bounds - >= -2790976 @ 34.278
36.88/37.03 c GLOBAL bounds - >= -2790976 @ 34.3266
37.88/38.10 c GLOBAL bounds - >= -2790976 @ 35.3489
37.98/38.14 c GLOBAL bounds - >= -2790976 @ 35.3857
37.98/38.18 c GLOBAL bounds - >= -2790976 @ 35.4219
38.07/38.22 c GLOBAL bounds - >= -2790976 @ 35.4637
38.07/38.27 c GLOBAL bounds - >= -2790976 @ 35.503
38.17/38.32 c GLOBAL bounds - >= -2790976 @ 35.5545
38.27/38.41 c GLOBAL bounds - >= -2790976 @ 35.6414
38.27/38.45 c GLOBAL bounds - >= -2790976 @ 35.677
38.27/38.49 c GLOBAL bounds - >= -2790976 @ 35.7099
38.37/38.55 c GLOBAL bounds - >= -2790976 @ 35.7622
38.47/38.61 c GLOBAL bounds - >= -2790976 @ 35.8234
38.47/38.66 c GLOBAL bounds - >= -2790976 @ 35.8719
38.57/38.73 c GLOBAL bounds - >= -2790976 @ 35.9329
38.57/38.78 c GLOBAL bounds - >= -2790976 @ 35.9798
38.67/38.84 c GLOBAL bounds - >= -2790976 @ 36.0362
38.77/38.90 c GLOBAL bounds - >= -2790976 @ 36.0844
38.88/39.06 c GLOBAL bounds - >= -2790976 @ 36.2346
38.97/39.16 c GLOBAL bounds - >= -2790976 @ 36.3333
39.16/39.32 c GLOBAL bounds - >= -2790976 @ 36.479
39.16/39.37 c GLOBAL bounds - >= -2790976 @ 36.5282
39.37/39.52 c GLOBAL bounds - >= -2790976 @ 36.6595
39.37/39.58 c GLOBAL bounds - >= -2790976 @ 36.7167
39.46/39.67 c GLOBAL bounds - >= -2790976 @ 36.7967
39.87/40.08 c GLOBAL bounds - >= -2790976 @ 37.1866
39.97/40.14 c GLOBAL bounds - >= -2790976 @ 37.2393
39.97/40.19 c GLOBAL bounds - >= -2790976 @ 37.2806
40.27/40.41 c GLOBAL bounds - >= -2790976 @ 37.4967
40.97/41.16 c GLOBAL bounds - >= -2790976 @ 38.2006
41.26/41.46 c GLOBAL bounds - >= -2790976 @ 38.4958
41.36/41.51 c GLOBAL bounds - >= -2790976 @ 38.543
41.47/41.63 c GLOBAL bounds - >= -2790976 @ 38.6541
41.47/41.68 c GLOBAL bounds - >= -2790976 @ 38.6977
41.57/41.74 c GLOBAL bounds - >= -2790976 @ 38.7479
41.66/41.84 c GLOBAL bounds - >= -2790976 @ 38.8488
41.76/41.90 c GLOBAL bounds - >= -2790976 @ 38.9006
41.97/42.13 c GLOBAL bounds - >= -2790976 @ 39.1229
41.97/42.18 c GLOBAL bounds - >= -2790976 @ 39.1618
42.06/42.22 c GLOBAL bounds - >= -2790976 @ 39.2008
42.16/42.32 c GLOBAL bounds - >= -2790976 @ 39.2917
43.16/43.38 c #Conflicts: 5000 | #Constraints: 3120
43.16/43.38 c GLOBAL bounds - >= -2790976 @ 40.3058
43.26/43.47 c GLOBAL bounds - >= -2790976 @ 40.3893
43.36/43.54 c GLOBAL bounds - >= -2790976 @ 40.454
44.25/44.40 c GLOBAL bounds - >= -2790976 @ 41.2788
47.35/47.52 c GLOBAL bounds - >= -2790976 @ 44.3103
54.63/54.89 c #Conflicts: 6000 | #Constraints: 4130
54.63/54.89 c GLOBAL bounds - >= -2790976 @ 51.2701
89.23/89.55 c INPROCESSING
89.23/89.55 c GARBAGE COLLECT
89.23/89.55 c #Conflicts: 7000 | #Constraints: 3135
89.23/89.55 c #Conflicts: 8000 | #Constraints: 4135
89.23/89.55 c #Conflicts: 9000 | #Constraints: 5135
89.23/89.55 c GLOBAL bounds - >= -2790976 @ 84.9958
89.52/89.87 c GLOBAL bounds - >= -2790976 @ 85.2992
96.71/97.06 c INPROCESSING
96.71/97.06 c GARBAGE COLLECT
96.71/97.06 c GLOBAL bounds - >= -2790976 @ 92.155
96.90/97.24 c GLOBAL bounds - >= -2790976 @ 92.3171
97.10/97.40 c GLOBAL bounds - >= -2790976 @ 92.4752
122.33/122.75 c #Conflicts: 10000 | #Constraints: 3842
122.33/122.75 c #Conflicts: 11000 | #Constraints: 4842
122.33/122.75 c GLOBAL bounds - >= -2790976 @ 117.37
122.53/122.92 c GLOBAL bounds - >= -2790976 @ 117.535
123.82/124.27 c GLOBAL bounds - >= -2790976 @ 118.86
124.63/125.07 c GLOBAL bounds - >= -2790976 @ 119.628
124.73/125.19 c GLOBAL bounds - >= -2790976 @ 119.744
124.92/125.37 c GLOBAL bounds - >= -2790976 @ 119.923
125.02/125.47 c GLOBAL bounds - >= -2790976 @ 120.017
125.12/125.59 c GLOBAL bounds - >= -2790976 @ 120.138
125.32/125.70 c GLOBAL bounds - >= -2790976 @ 120.242
125.32/125.78 c GLOBAL bounds - >= -2790976 @ 120.313
125.41/125.86 c GLOBAL bounds - >= -2790976 @ 120.387
125.52/125.94 c GLOBAL bounds - >= -2790976 @ 120.46
125.63/126.05 c GLOBAL bounds - >= -2790976 @ 120.571
125.72/126.13 c GLOBAL bounds - >= -2790976 @ 120.648
125.82/126.21 c GLOBAL bounds - >= -2790976 @ 120.719
125.82/126.29 c GLOBAL bounds - >= -2790976 @ 120.796
125.92/126.37 c GLOBAL bounds - >= -2790976 @ 120.872
126.12/126.50 c GLOBAL bounds - >= -2790976 @ 120.994
126.12/126.59 c GLOBAL bounds - >= -2790976 @ 121.084
126.21/126.69 c GLOBAL bounds - >= -2790976 @ 121.176
126.32/126.78 c GLOBAL bounds - >= -2790976 @ 121.263
126.42/126.89 c GLOBAL bounds - >= -2790976 @ 121.368
126.51/126.98 c GLOBAL bounds - >= -2790976 @ 121.456
128.21/128.61 c GLOBAL bounds - >= -2790976 @ 123.055
132.40/132.84 c #Conflicts: 12000 | #Constraints: 5890
132.40/132.84 c INPROCESSING
132.40/132.84 c GARBAGE COLLECT
132.40/132.84 c GLOBAL bounds - >= -2790976 @ 127.123
132.50/132.91 c GLOBAL bounds - >= -2790976 @ 127.185
132.50/132.97 c GLOBAL bounds - >= -2790976 @ 127.248
132.60/133.04 c GLOBAL bounds - >= -2790976 @ 127.306
132.70/133.10 c GLOBAL bounds - >= -2790976 @ 127.366
132.70/133.17 c GLOBAL bounds - >= -2790976 @ 127.428
132.79/133.26 c GLOBAL bounds - >= -2790976 @ 127.509
133.00/133.49 c GLOBAL bounds - >= -2790976 @ 127.731
133.10/133.56 c GLOBAL bounds - >= -2790976 @ 127.792
133.20/133.66 c GLOBAL bounds - >= -2790976 @ 127.883
133.40/133.88 c GLOBAL bounds - >= -2790976 @ 128.091
133.49/133.94 c GLOBAL bounds - >= -2790976 @ 128.152
133.60/134.03 c GLOBAL bounds - >= -2790976 @ 128.24
133.80/134.29 c GLOBAL bounds - >= -2790976 @ 128.479
133.89/134.37 c GLOBAL bounds - >= -2790976 @ 128.554
134.00/134.47 c GLOBAL bounds - >= -2790976 @ 128.646
134.29/134.76 c GLOBAL bounds - >= -2790976 @ 128.917
134.39/134.82 c GLOBAL bounds - >= -2790976 @ 128.977
134.39/134.89 c GLOBAL bounds - >= -2790976 @ 129.041
134.49/134.96 c GLOBAL bounds - >= -2790976 @ 129.106
134.60/135.02 c GLOBAL bounds - >= -2790976 @ 129.171
134.89/135.31 c GLOBAL bounds - >= -2790976 @ 129.443
134.89/135.39 c GLOBAL bounds - >= -2790976 @ 129.51
135.19/135.67 c GLOBAL bounds - >= -2790976 @ 129.776
135.49/135.99 c GLOBAL bounds - >= -2790976 @ 130.072
135.79/136.21 c GLOBAL bounds - >= -2790976 @ 130.279
135.99/136.45 c GLOBAL bounds - >= -2790976 @ 130.504
136.09/136.52 c GLOBAL bounds - >= -2790976 @ 130.57
136.09/136.59 c GLOBAL bounds - >= -2790976 @ 130.631
136.19/136.65 c GLOBAL bounds - >= -2790976 @ 130.694
136.59/137.01 c GLOBAL bounds - >= -2790976 @ 131.014
136.70/137.11 c GLOBAL bounds - >= -2790976 @ 131.111
136.89/137.39 c GLOBAL bounds - >= -2790976 @ 131.36
137.09/137.57 c GLOBAL bounds - >= -2790976 @ 131.529
137.18/137.67 c GLOBAL bounds - >= -2790976 @ 131.622
137.29/137.73 c GLOBAL bounds - >= -2790976 @ 131.69
137.38/137.87 c GLOBAL bounds - >= -2790976 @ 131.816
137.48/137.97 c GLOBAL bounds - >= -2790976 @ 131.914
137.69/138.18 c GLOBAL bounds - >= -2790976 @ 132.098
137.89/138.34 c GLOBAL bounds - >= -2790976 @ 132.247
138.08/138.51 c GLOBAL bounds - >= -2790976 @ 132.409
138.18/138.64 c GLOBAL bounds - >= -2790976 @ 132.525
138.28/138.71 c GLOBAL bounds - >= -2790976 @ 132.591
138.28/138.78 c GLOBAL bounds - >= -2790976 @ 132.655
138.39/138.85 c GLOBAL bounds - >= -2790976 @ 132.719
138.48/138.92 c GLOBAL bounds - >= -2790976 @ 132.784
138.48/138.99 c GLOBAL bounds - >= -2790976 @ 132.847
138.59/139.06 c GLOBAL bounds - >= -2790976 @ 132.914
138.88/139.30 c GLOBAL bounds - >= -2790976 @ 133.14
138.88/139.37 c GLOBAL bounds - >= -2790976 @ 133.204
138.98/139.47 c GLOBAL bounds - >= -2790976 @ 133.294
139.18/139.60 c GLOBAL bounds - >= -2790976 @ 133.422
274.76/275.66 c #Conflicts: 13000 | #Constraints: 4444
274.76/275.66 c #Conflicts: 14000 | #Constraints: 5444
274.76/275.66 c #Conflicts: 15000 | #Constraints: 6444
274.76/275.66 c INPROCESSING
274.76/275.66 c GARBAGE COLLECT
274.76/275.66 c #Conflicts: 16000 | #Constraints: 4671
274.76/275.66 c #Conflicts: 17000 | #Constraints: 5671
274.76/275.66 c #Conflicts: 18000 | #Constraints: 6671
274.76/275.66 c INPROCESSING
274.76/275.66 c GARBAGE COLLECT
274.76/275.66 c #Conflicts: 19000 | #Constraints: 4689
274.76/275.66 c #Conflicts: 20000 | #Constraints: 5689
274.76/275.66 c #Conflicts: 21000 | #Constraints: 6689
274.76/275.66 c INPROCESSING
274.76/275.66 c GARBAGE COLLECT
274.76/275.66 c #Conflicts: 22000 | #Constraints: 4495
274.76/275.66 c GLOBAL bounds - >= -2790976 @ 266.491
275.06/275.94 c GLOBAL bounds - >= -2790976 @ 266.759
275.17/276.02 c GLOBAL bounds - >= -2790976 @ 266.836
302.58/303.56 c #Conflicts: 23000 | #Constraints: 5501
302.58/303.56 c #Conflicts: 24000 | #Constraints: 6501
302.58/303.56 c GLOBAL bounds - >= -2790976 @ 293.479
309.86/310.86 c #Conflicts: 25000 | #Constraints: 7503
309.86/310.86 c INPROCESSING
309.86/310.86 c GARBAGE COLLECT
309.86/310.86 c GLOBAL bounds - >= -2790976 @ 300.563
312.65/313.68 c GLOBAL bounds - >= -2790976 @ 303.287
360.90/362.01 c #Conflicts: 26000 | #Constraints: 5110
360.90/362.01 c #Conflicts: 27000 | #Constraints: 6110
360.90/362.01 c #Conflicts: 28000 | #Constraints: 7110
360.90/362.01 c GLOBAL bounds - >= -2790976 @ 350.306
361.01/362.18 c GLOBAL bounds - >= -2790976 @ 350.472
361.20/362.31 c GLOBAL bounds - >= -2790976 @ 350.598
361.30/362.46 c GLOBAL bounds - >= -2790976 @ 350.743
363.00/364.10 c GLOBAL bounds - >= -2790976 @ 352.323
363.19/364.30 c GLOBAL bounds - >= -2790976 @ 352.507
363.28/364.48 c GLOBAL bounds - >= -2790976 @ 352.661
364.88/366.06 c #Conflicts: 29000 | #Constraints: 8124
364.88/366.06 c INPROCESSING
364.88/366.06 c GARBAGE COLLECT
364.88/366.06 c GLOBAL bounds - >= -2790976 @ 354.203
365.18/366.38 c GLOBAL bounds - >= -2790976 @ 354.51
365.58/366.71 c GLOBAL bounds - >= -2790976 @ 354.825
365.67/366.81 c GLOBAL bounds - >= -2790976 @ 354.918
365.78/366.94 c GLOBAL bounds - >= -2790976 @ 355.046
368.67/369.86 c GLOBAL bounds - >= -2790976 @ 357.818
368.76/369.94 c GLOBAL bounds - >= -2790976 @ 357.901
379.94/381.16 c #Conflicts: 30000 | #Constraints: 5538
379.94/381.16 c GLOBAL bounds - >= -2790976 @ 368.673
380.14/381.30 c GLOBAL bounds - >= -2790976 @ 368.808
380.23/381.45 c GLOBAL bounds - >= -2790976 @ 368.95
391.20/392.46 c #Conflicts: 31000 | #Constraints: 6544
391.20/392.46 c GLOBAL bounds - >= -2790976 @ 379.489
391.40/392.60 c GLOBAL bounds - >= -2790976 @ 379.62
391.60/392.81 c GLOBAL bounds - >= -2790976 @ 379.825
569.77/571.55 c #Conflicts: 32000 | #Constraints: 7550
569.77/571.55 c #Conflicts: 33000 | #Constraints: 8550
569.77/571.55 c INPROCESSING
569.77/571.55 c GARBAGE COLLECT
569.77/571.55 c #Conflicts: 34000 | #Constraints: 5752
569.77/571.55 c #Conflicts: 35000 | #Constraints: 6752
569.77/571.55 c #Conflicts: 36000 | #Constraints: 7752
569.77/571.55 c #Conflicts: 37000 | #Constraints: 8752
569.77/571.55 c INPROCESSING
569.77/571.55 c GARBAGE COLLECT
569.77/571.55 c #Conflicts: 38000 | #Constraints: 5752
569.77/571.55 c #Conflicts: 39000 | #Constraints: 6752
569.77/571.55 c #Conflicts: 40000 | #Constraints: 7752
569.77/571.55 c #Conflicts: 41000 | #Constraints: 8752
569.77/571.55 c INPROCESSING
569.77/571.55 c GARBAGE COLLECT
569.77/571.55 c GLOBAL bounds - >= -2790976 @ 555.659
632.78/634.70 c #Conflicts: 42000 | #Constraints: 5558
632.78/634.70 c #Conflicts: 43000 | #Constraints: 6558
632.78/634.70 c #Conflicts: 44000 | #Constraints: 7558
632.78/634.70 c #Conflicts: 45000 | #Constraints: 8558
632.78/634.70 c GLOBAL bounds - >= -2790976 @ 617.484
633.08/635.10 c GLOBAL bounds - >= -2790976 @ 617.871
634.18/636.13 c GLOBAL bounds - >= -2790976 @ 618.883
635.97/637.99 c GLOBAL bounds - >= -2790976 @ 620.687
636.77/638.76 c GLOBAL bounds - >= -2790976 @ 621.448
640.46/642.48 c GLOBAL bounds - >= -2790976 @ 625.064
640.76/642.70 c GLOBAL bounds - >= -2790976 @ 625.279
644.25/646.22 c GLOBAL bounds - >= -2790976 @ 628.673
644.45/646.48 c GLOBAL bounds - >= -2790976 @ 628.922
644.75/646.71 c GLOBAL bounds - >= -2790976 @ 629.14
644.95/646.90 c GLOBAL bounds - >= -2790976 @ 629.33
645.15/647.16 c GLOBAL bounds - >= -2790976 @ 629.576
647.24/649.27 c #Conflicts: 46000 | #Constraints: 9582
647.24/649.27 c GLOBAL bounds - >= -2790976 @ 631.6
657.41/659.43 c INPROCESSING
657.41/659.43 c GARBAGE COLLECT
657.41/659.43 c #Conflicts: 47000 | #Constraints: 6182
657.41/659.43 c GLOBAL bounds - >= -2790976 @ 641.32
739.17/741.40 c #Conflicts: 48000 | #Constraints: 7184
739.17/741.40 c #Conflicts: 49000 | #Constraints: 8184
739.17/741.40 c #Conflicts: 50000 | #Constraints: 9184
739.17/741.40 c #Conflicts: 51000 | #Constraints: 10184
739.17/741.40 c INPROCESSING
739.17/741.40 c GARBAGE COLLECT
739.17/741.40 c #Conflicts: 52000 | #Constraints: 6587
739.17/741.40 c #Conflicts: 53000 | #Constraints: 7587
739.17/741.40 c GLOBAL bounds - >= -2790976 @ 721.038
739.28/741.55 c GLOBAL bounds - >= -2790976 @ 721.19
739.47/741.79 c GLOBAL bounds - >= -2790976 @ 721.413
739.68/741.93 c GLOBAL bounds - >= -2790976 @ 721.556
739.78/742.05 c GLOBAL bounds - >= -2790976 @ 721.677
739.97/742.27 c GLOBAL bounds - >= -2790976 @ 721.883
740.18/742.47 c GLOBAL bounds - >= -2790976 @ 722.086
740.37/742.65 c GLOBAL bounds - >= -2790976 @ 722.255
740.48/742.79 c GLOBAL bounds - >= -2790976 @ 722.385
740.68/742.95 c GLOBAL bounds - >= -2790976 @ 722.539
740.78/743.08 c GLOBAL bounds - >= -2790976 @ 722.669
740.97/743.21 c GLOBAL bounds - >= -2790976 @ 722.796
741.07/743.35 c GLOBAL bounds - >= -2790976 @ 722.928
741.27/743.51 c GLOBAL bounds - >= -2790976 @ 723.075
741.37/743.66 c GLOBAL bounds - >= -2790976 @ 723.218
741.57/743.84 c GLOBAL bounds - >= -2790976 @ 723.38
741.77/744.01 c GLOBAL bounds - >= -2790976 @ 723.549
741.87/744.19 c GLOBAL bounds - >= -2790976 @ 723.718
742.07/744.30 c GLOBAL bounds - >= -2790976 @ 723.823
742.17/744.45 c GLOBAL bounds - >= -2790976 @ 723.97
742.47/744.73 c GLOBAL bounds - >= -2790976 @ 724.239
742.57/744.84 c GLOBAL bounds - >= -2790976 @ 724.345
742.67/744.98 c GLOBAL bounds - >= -2790976 @ 724.485
742.87/745.12 c GLOBAL bounds - >= -2790976 @ 724.61
742.96/745.23 c GLOBAL bounds - >= -2790976 @ 724.715
743.07/745.37 c GLOBAL bounds - >= -2790976 @ 724.85
743.36/745.60 c GLOBAL bounds - >= -2790976 @ 725.071
743.47/745.73 c GLOBAL bounds - >= -2790976 @ 725.196
743.56/745.86 c GLOBAL bounds - >= -2790976 @ 725.318
743.67/746.00 c GLOBAL bounds - >= -2790976 @ 725.447
743.86/746.13 c GLOBAL bounds - >= -2790976 @ 725.575
743.96/746.26 c GLOBAL bounds - >= -2790976 @ 725.698
744.07/746.39 c GLOBAL bounds - >= -2790976 @ 725.827
744.26/746.53 c GLOBAL bounds - >= -2790976 @ 725.954
744.37/746.66 c GLOBAL bounds - >= -2790976 @ 726.08
744.46/746.79 c GLOBAL bounds - >= -2790976 @ 726.209
744.66/746.94 c GLOBAL bounds - >= -2790976 @ 726.355
744.77/747.07 c GLOBAL bounds - >= -2790976 @ 726.479
744.86/747.18 c GLOBAL bounds - >= -2790976 @ 726.583
745.06/747.31 c GLOBAL bounds - >= -2790976 @ 726.709
745.16/747.45 c GLOBAL bounds - >= -2790976 @ 726.845
745.26/747.56 c GLOBAL bounds - >= -2790976 @ 726.95
745.36/747.69 c GLOBAL bounds - >= -2790976 @ 727.076
745.56/747.82 c GLOBAL bounds - >= -2790976 @ 727.2
745.66/747.95 c GLOBAL bounds - >= -2790976 @ 727.323
745.76/748.08 c GLOBAL bounds - >= -2790976 @ 727.45
745.96/748.20 c GLOBAL bounds - >= -2790976 @ 727.568
746.06/748.33 c GLOBAL bounds - >= -2790976 @ 727.692
746.16/748.48 c GLOBAL bounds - >= -2790976 @ 727.835
746.36/748.63 c GLOBAL bounds - >= -2790976 @ 727.979
746.46/748.74 c GLOBAL bounds - >= -2790976 @ 728.081
746.55/748.86 c GLOBAL bounds - >= -2790976 @ 728.196
746.66/748.98 c GLOBAL bounds - >= -2790976 @ 728.316
746.86/749.12 c GLOBAL bounds - >= -2790976 @ 728.447
746.95/749.25 c GLOBAL bounds - >= -2790976 @ 728.574
747.05/749.39 c GLOBAL bounds - >= -2790976 @ 728.711
747.26/749.50 c GLOBAL bounds - >= -2790976 @ 728.816
747.35/749.62 c GLOBAL bounds - >= -2790976 @ 728.929
747.46/749.74 c GLOBAL bounds - >= -2790976 @ 729.043
747.55/749.85 c GLOBAL bounds - >= -2790976 @ 729.147
747.65/749.96 c GLOBAL bounds - >= -2790976 @ 729.253
747.76/750.06 c GLOBAL bounds - >= -2790976 @ 729.357
747.86/750.17 c GLOBAL bounds - >= -2790976 @ 729.46
747.95/750.29 c GLOBAL bounds - >= -2790976 @ 729.573
748.15/750.41 c GLOBAL bounds - >= -2790976 @ 729.687
748.26/750.53 c GLOBAL bounds - >= -2790976 @ 729.799
748.35/750.64 c GLOBAL bounds - >= -2790976 @ 729.914
748.45/750.76 c GLOBAL bounds - >= -2790976 @ 730.025
748.55/750.87 c GLOBAL bounds - >= -2790976 @ 730.125
748.65/750.98 c GLOBAL bounds - >= -2790976 @ 730.227
748.76/751.09 c GLOBAL bounds - >= -2790976 @ 730.344
748.94/751.21 c GLOBAL bounds - >= -2790976 @ 730.455
749.05/751.33 c GLOBAL bounds - >= -2790976 @ 730.569
749.15/751.43 c GLOBAL bounds - >= -2790976 @ 730.67
749.25/751.55 c GLOBAL bounds - >= -2790976 @ 730.785
749.35/751.66 c GLOBAL bounds - >= -2790976 @ 730.889
749.45/751.76 c GLOBAL bounds - >= -2790976 @ 730.99
749.55/751.88 c GLOBAL bounds - >= -2790976 @ 731.105
749.65/752.00 c GLOBAL bounds - >= -2790976 @ 731.216
749.85/752.10 c GLOBAL bounds - >= -2790976 @ 731.315
749.95/752.21 c GLOBAL bounds - >= -2790976 @ 731.418
750.04/752.32 c GLOBAL bounds - >= -2790976 @ 731.519
750.15/752.42 c GLOBAL bounds - >= -2790976 @ 731.621
750.24/752.54 c GLOBAL bounds - >= -2790976 @ 731.73
750.35/752.66 c GLOBAL bounds - >= -2790976 @ 731.843
750.54/752.87 c GLOBAL bounds - >= -2790976 @ 732.048
750.65/752.99 c GLOBAL bounds - >= -2790976 @ 732.16
750.75/753.09 c GLOBAL bounds - >= -2790976 @ 732.262
750.94/753.20 c GLOBAL bounds - >= -2790976 @ 732.362
751.05/753.31 c GLOBAL bounds - >= -2790976 @ 732.46
751.14/753.41 c GLOBAL bounds - >= -2790976 @ 732.562
751.25/753.53 c GLOBAL bounds - >= -2790976 @ 732.672
751.34/753.64 c GLOBAL bounds - >= -2790976 @ 732.786
751.44/753.76 c GLOBAL bounds - >= -2790976 @ 732.893
751.55/753.86 c GLOBAL bounds - >= -2790976 @ 732.995
751.64/753.97 c GLOBAL bounds - >= -2790976 @ 733.097
751.75/754.08 c GLOBAL bounds - >= -2790976 @ 733.208
751.94/754.20 c GLOBAL bounds - >= -2790976 @ 733.319
752.04/754.32 c GLOBAL bounds - >= -2790976 @ 733.433
752.14/754.42 c GLOBAL bounds - >= -2790976 @ 733.531
752.24/754.53 c GLOBAL bounds - >= -2790976 @ 733.63
752.34/754.65 c GLOBAL bounds - >= -2790976 @ 733.743
754.44/756.73 c GLOBAL bounds - >= -2790976 @ 735.751
781.96/784.32 c #Conflicts: 54000 | #Constraints: 8793
781.96/784.32 c #Conflicts: 55000 | #Constraints: 9793
781.96/784.32 c GLOBAL bounds - >= -2790976 @ 762.701
782.25/784.68 c GLOBAL bounds - >= -2790976 @ 763.061
782.46/784.88 c GLOBAL bounds - >= -2790976 @ 763.252
782.76/785.11 c GLOBAL bounds - >= -2790976 @ 763.481
799.01/801.43 c #Conflicts: 56000 | #Constraints: 10801
799.01/801.43 c INPROCESSING
799.01/801.43 c GARBAGE COLLECT
799.01/801.43 c #Conflicts: 57000 | #Constraints: 7000
799.01/801.43 c GLOBAL bounds - >= -2790976 @ 779.493
799.21/801.66 c GLOBAL bounds - >= -2790976 @ 779.71
799.31/801.78 c GLOBAL bounds - >= -2790976 @ 779.827
799.51/801.91 c GLOBAL bounds - >= -2790976 @ 779.954
799.62/802.01 c GLOBAL bounds - >= -2790976 @ 780.056
799.72/802.13 c GLOBAL bounds - >= -2790976 @ 780.172
800.11/802.52 c GLOBAL bounds - >= -2790976 @ 780.549
933.03/935.87 c #Conflicts: 58000 | #Constraints: 8014
933.03/935.87 c #Conflicts: 59000 | #Constraints: 9014
933.03/935.87 c #Conflicts: 60000 | #Constraints: 10014
933.03/935.87 c #Conflicts: 61000 | #Constraints: 11014
933.03/935.87 c INPROCESSING
933.03/935.87 c GARBAGE COLLECT
933.03/935.87 c #Conflicts: 62000 | #Constraints: 7011
933.03/935.87 c #Conflicts: 63000 | #Constraints: 8011
933.03/935.87 c #Conflicts: 64000 | #Constraints: 9011
933.03/935.87 c GLOBAL bounds - >= -2790976 @ 911.957
935.52/938.38 c GLOBAL bounds - >= -2790976 @ 914.437
935.72/938.52 c GLOBAL bounds - >= -2790976 @ 914.57
935.82/938.69 c GLOBAL bounds - >= -2790976 @ 914.738
936.02/938.82 c GLOBAL bounds - >= -2790976 @ 914.862
936.11/938.95 c GLOBAL bounds - >= -2790976 @ 914.99
936.22/939.09 c GLOBAL bounds - >= -2790976 @ 915.128
936.42/939.26 c GLOBAL bounds - >= -2790976 @ 915.292
948.38/951.20 c #Conflicts: 65000 | #Constraints: 10027
948.38/951.20 c GLOBAL bounds - >= -2790976 @ 926.926
1086.20/1089.45 c #Conflicts: 66000 | #Constraints: 11029
1086.20/1089.45 c INPROCESSING
1086.20/1089.45 c GARBAGE COLLECT
1086.20/1089.45 c #Conflicts: 67000 | #Constraints: 6830
1086.20/1089.45 c #Conflicts: 68000 | #Constraints: 7830
1086.20/1089.45 c #Conflicts: 69000 | #Constraints: 8830
1086.20/1089.45 c #Conflicts: 70000 | #Constraints: 9830
1086.20/1089.45 c #Conflicts: 71000 | #Constraints: 10830
1086.20/1089.45 c #Conflicts: 72000 | #Constraints: 11830
1086.20/1089.45 c INPROCESSING
1086.20/1089.45 c GARBAGE COLLECT
1086.20/1089.45 c #Conflicts: 73000 | #Constraints: 7430
1086.20/1089.45 c GLOBAL bounds - >= -2790976 @ 1062.7
1086.49/1089.79 c GLOBAL bounds - >= -2790976 @ 1063.04
1087.38/1090.66 c GLOBAL bounds - >= -2790976 @ 1063.9
1115.12/1118.40 c #Conflicts: 74000 | #Constraints: 8436
1115.12/1118.40 c #Conflicts: 75000 | #Constraints: 9436
1115.12/1118.40 c GLOBAL bounds - >= -2790976 @ 1090.99
1116.41/1119.70 c GLOBAL bounds - >= -2790976 @ 1092.28
1116.51/1119.88 c GLOBAL bounds - >= -2790976 @ 1092.46
1117.30/1120.64 c GLOBAL bounds - >= -2790976 @ 1093.2
1128.88/1132.22 c #Conflicts: 76000 | #Constraints: 10444
1128.88/1132.22 c GLOBAL bounds - >= -2790976 @ 1104.48
1150.62/1154.09 c #Conflicts: 77000 | #Constraints: 11446
1150.62/1154.09 c GLOBAL bounds - >= -2790976 @ 1125.8
1753.77/1759.07 c #Conflicts: 78000 | #Constraints: 12448
1753.77/1759.07 c INPROCESSING
1753.77/1759.07 c GARBAGE COLLECT
1753.77/1759.07 c #Conflicts: 79000 | #Constraints: 7846
1753.77/1759.07 c #Conflicts: 80000 | #Constraints: 8846
1753.77/1759.07 c #Conflicts: 81000 | #Constraints: 9846
1753.77/1759.07 c #Conflicts: 82000 | #Constraints: 10846
1753.77/1759.07 c #Conflicts: 83000 | #Constraints: 11846
1753.77/1759.07 c #Conflicts: 84000 | #Constraints: 12846
1753.77/1759.07 c INPROCESSING
1753.77/1759.07 c GARBAGE COLLECT
1753.77/1759.07 c #Conflicts: 85000 | #Constraints: 8046
1753.77/1759.07 c #Conflicts: 86000 | #Constraints: 9046
1753.77/1759.07 c #Conflicts: 87000 | #Constraints: 10046
1753.77/1759.07 c #Conflicts: 88000 | #Constraints: 11046
1753.77/1759.07 c #Conflicts: 89000 | #Constraints: 12046
1753.77/1759.07 c #Conflicts: 90000 | #Constraints: 13046
1753.77/1759.07 c INPROCESSING
1753.77/1759.07 c GARBAGE COLLECT
1753.77/1759.07 c #Conflicts: 91000 | #Constraints: 8044
1753.77/1759.07 c #Conflicts: 92000 | #Constraints: 9044
1753.77/1759.07 c #Conflicts: 93000 | #Constraints: 10044
1753.77/1759.07 c #Conflicts: 94000 | #Constraints: 11044
1753.77/1759.07 c #Conflicts: 95000 | #Constraints: 12044
1753.77/1759.07 c #Conflicts: 96000 | #Constraints: 13044
1753.77/1759.07 c INPROCESSING
1753.77/1759.07 c GARBAGE COLLECT
1753.77/1759.07 c #Conflicts: 97000 | #Constraints: 7846
1753.77/1759.07 c #Conflicts: 98000 | #Constraints: 8846
1753.77/1759.07 c #Conflicts: 99000 | #Constraints: 9846
1753.77/1759.07 c #Conflicts: 100000 | #Constraints: 10846
1753.77/1759.07 c #Conflicts: 101000 | #Constraints: 11846
1753.77/1759.07 c #Conflicts: 102000 | #Constraints: 12846
1753.77/1759.07 c #Conflicts: 103000 | #Constraints: 13846
1753.77/1759.07 c INPROCESSING
1753.77/1759.07 c GARBAGE COLLECT
1753.77/1759.07 c #Conflicts: 104000 | #Constraints: 8447
1753.77/1759.07 c #Conflicts: 105000 | #Constraints: 9447
1753.77/1759.07 c #Conflicts: 106000 | #Constraints: 10447
1753.77/1759.07 c #Conflicts: 107000 | #Constraints: 11447
1753.77/1759.07 c GLOBAL bounds - >= -2790976 @ 1723.34
1755.85/1761.13 c GLOBAL bounds - >= -2790976 @ 1725.38
1755.95/1761.29 c GLOBAL bounds - >= -2790976 @ 1725.54
1756.16/1761.47 c GLOBAL bounds - >= -2790976 @ 1725.71
1757.85/1763.17 c GLOBAL bounds - >= -2790976 @ 1727.4
1758.05/1763.34 c GLOBAL bounds - >= -2790976 @ 1727.56
1758.25/1763.50 c GLOBAL bounds - >= -2790976 @ 1727.73
1759.85/1765.14 c GLOBAL bounds - >= -2790976 @ 1729.35
1760.04/1765.30 c GLOBAL bounds - >= -2790976 @ 1729.51
1760.14/1765.46 c GLOBAL bounds - >= -2790976 @ 1729.67
1761.75/1767.05 c GLOBAL bounds - >= -2790976 @ 1731.24
1762.03/1767.31 c GLOBAL bounds - >= -2790976 @ 1731.49
1762.14/1767.49 c GLOBAL bounds - >= -2790976 @ 1731.67
1762.34/1767.68 c GLOBAL bounds - >= -2790976 @ 1731.85
1765.63/1770.97 c GLOBAL bounds - >= -2790976 @ 1735.11
1773.40/1778.75 c #Conflicts: 108000 | #Constraints: 12477
1773.40/1778.75 c GLOBAL bounds - >= -2790976 @ 1742.77
1773.60/1778.95 c GLOBAL bounds - >= -2790976 @ 1742.96
1773.80/1779.15 c GLOBAL bounds - >= -2790976 @ 1743.15
1775.20/1780.58 c GLOBAL bounds - >= -2790976 @ 1744.56
1867.73/1873.34 c #Conflicts: 109000 | #Constraints: 13485
1867.73/1873.34 c #Conflicts: 110000 | #Constraints: 14485
1867.73/1873.34 c INPROCESSING
1867.73/1873.34 c GARBAGE COLLECT
1867.73/1873.34 c #Conflicts: 111000 | #Constraints: 8885
1867.73/1873.34 c #Conflicts: 112000 | #Constraints: 9885
1867.73/1873.34 c #Conflicts: 113000 | #Constraints: 10885
1867.73/1873.34 c GLOBAL bounds - >= -2790976 @ 1836.11
1872.22/1877.83 c GLOBAL bounds - >= -2790976 @ 1840.53
1872.62/1878.27 c GLOBAL bounds - >= -2790976 @ 1840.98
1872.82/1878.48 c GLOBAL bounds - >= -2790976 @ 1841.18
1873.22/1878.82 c GLOBAL bounds - >= -2790976 @ 1841.52
2115.52/2121.83 c #Conflicts: 114000 | #Constraints: 11895
2115.52/2121.83 c #Conflicts: 115000 | #Constraints: 12895
2115.52/2121.83 c #Conflicts: 116000 | #Constraints: 13895
2115.52/2121.83 c #Conflicts: 117000 | #Constraints: 14895
2115.52/2121.83 c INPROCESSING
2115.52/2121.83 c GARBAGE COLLECT
2115.52/2121.83 c #Conflicts: 118000 | #Constraints: 9097
2115.52/2121.83 c #Conflicts: 119000 | #Constraints: 10097
2115.52/2121.83 c #Conflicts: 120000 | #Constraints: 11097
2115.52/2121.83 c #Conflicts: 121000 | #Constraints: 12097
2115.52/2121.83 c #Conflicts: 122000 | #Constraints: 13097
2115.52/2121.83 c #Conflicts: 123000 | #Constraints: 14097
2115.52/2121.83 c #Conflicts: 124000 | #Constraints: 15097
2115.52/2121.83 c INPROCESSING
2115.52/2121.83 c GARBAGE COLLECT
2115.52/2121.83 c #Conflicts: 125000 | #Constraints: 9100
2115.52/2121.83 c GLOBAL bounds - >= -2790976 @ 2081.26
2115.93/2122.26 c GLOBAL bounds - >= -2790976 @ 2081.68
2116.12/2122.42 c GLOBAL bounds - >= -2790976 @ 2081.84
2116.32/2122.60 c GLOBAL bounds - >= -2790976 @ 2082.02
2119.41/2125.74 c GLOBAL bounds - >= -2790976 @ 2085.14
2121.31/2127.67 c GLOBAL bounds - >= -2790976 @ 2087.03
2122.71/2129.02 c GLOBAL bounds - >= -2790976 @ 2088.33
2122.81/2129.14 c GLOBAL bounds - >= -2790976 @ 2088.46
2135.78/2142.11 c #Conflicts: 126000 | #Constraints: 10116
2135.78/2142.11 c GLOBAL bounds - >= -2790976 @ 2101.16
2135.87/2142.27 c GLOBAL bounds - >= -2790976 @ 2101.32
2136.07/2142.42 c GLOBAL bounds - >= -2790976 @ 2101.47
2136.27/2142.65 c GLOBAL bounds - >= -2790976 @ 2101.69
2137.86/2144.22 c GLOBAL bounds - >= -2790976 @ 2103.23
2137.96/2144.36 c GLOBAL bounds - >= -2790976 @ 2103.36
2138.16/2144.57 c GLOBAL bounds - >= -2790976 @ 2103.57
2138.56/2144.90 c GLOBAL bounds - >= -2790976 @ 2103.9
2138.67/2145.03 c GLOBAL bounds - >= -2790976 @ 2104.03
2138.77/2145.18 c GLOBAL bounds - >= -2790976 @ 2104.18
2138.96/2145.33 c GLOBAL bounds - >= -2790976 @ 2104.31
2139.06/2145.47 c GLOBAL bounds - >= -2790976 @ 2104.45
2139.26/2145.61 c GLOBAL bounds - >= -2790976 @ 2104.59
2139.36/2145.75 c GLOBAL bounds - >= -2790976 @ 2104.73
2222.60/2229.20 c #Conflicts: 127000 | #Constraints: 11144
2222.60/2229.20 c #Conflicts: 128000 | #Constraints: 12144
2222.60/2229.20 c #Conflicts: 129000 | #Constraints: 13144
2222.60/2229.20 c #Conflicts: 130000 | #Constraints: 14144
2222.60/2229.20 c #Conflicts: 131000 | #Constraints: 15144
2222.60/2229.20 c GLOBAL bounds - >= -2790976 @ 2187.11
2227.39/2234.06 c GLOBAL bounds - >= -2790976 @ 2191.93
2227.69/2234.33 c GLOBAL bounds - >= -2790976 @ 2192.2
2340.72/2347.72 c INPROCESSING
2340.72/2347.72 c GARBAGE COLLECT
2340.72/2347.72 c #Conflicts: 132000 | #Constraints: 8949
2340.72/2347.72 c #Conflicts: 133000 | #Constraints: 9949
2340.72/2347.72 c #Conflicts: 134000 | #Constraints: 10949
2340.72/2347.72 c #Conflicts: 135000 | #Constraints: 11949
2340.72/2347.72 c #Conflicts: 136000 | #Constraints: 12949
2340.72/2347.72 c #Conflicts: 137000 | #Constraints: 13949
2340.72/2347.72 c GLOBAL bounds - >= -2790976 @ 2303.93
2343.01/2350.09 c GLOBAL bounds - >= -2790976 @ 2306.28
2343.31/2350.31 c GLOBAL bounds - >= -2790976 @ 2306.49
2343.51/2350.52 c GLOBAL bounds - >= -2790976 @ 2306.71
2345.80/2352.85 c GLOBAL bounds - >= -2790976 @ 2309.01
2346.01/2353.04 c GLOBAL bounds - >= -2790976 @ 2309.2
2346.21/2353.23 c GLOBAL bounds - >= -2790976 @ 2309.4
2346.70/2353.71 c GLOBAL bounds - >= -2790976 @ 2309.87
2371.43/2378.56 c #Conflicts: 138000 | #Constraints: 14965
2371.43/2378.56 c #Conflicts: 139000 | #Constraints: 15965
2371.43/2378.56 c INPROCESSING
2371.43/2378.56 c GARBAGE COLLECT
2371.43/2378.56 c GLOBAL bounds - >= -2790976 @ 2334.1
2385.99/2393.11 c #Conflicts: 140000 | #Constraints: 9562
2385.99/2393.11 c GLOBAL bounds - >= -2790976 @ 2348.45
2498.75/2506.26 c #Conflicts: 141000 | #Constraints: 10564
2498.75/2506.26 c #Conflicts: 142000 | #Constraints: 11564
2498.75/2506.26 c #Conflicts: 143000 | #Constraints: 12564
2498.75/2506.26 c #Conflicts: 144000 | #Constraints: 13564
2498.75/2506.26 c #Conflicts: 145000 | #Constraints: 14564
2498.75/2506.26 c #Conflicts: 146000 | #Constraints: 15564
2498.75/2506.26 c #Conflicts: 147000 | #Constraints: 16564
2498.75/2506.26 c INPROCESSING
2498.75/2506.26 c GARBAGE COLLECT
2498.75/2506.26 c GLOBAL bounds - >= -2790976 @ 2459.74
2498.85/2506.36 c GLOBAL bounds - >= -2790976 @ 2459.84
2498.94/2506.47 c GLOBAL bounds - >= -2790976 @ 2459.95
2499.25/2506.72 c GLOBAL bounds - >= -2790976 @ 2460.19
2502.44/2509.93 c GLOBAL bounds - >= -2790976 @ 2463.31
2506.82/2514.36 c GLOBAL bounds - >= -2790976 @ 2467.58
2587.79/2595.57 c #Conflicts: 148000 | #Constraints: 9992
2587.79/2595.57 c #Conflicts: 149000 | #Constraints: 10992
2587.79/2595.57 c #Conflicts: 150000 | #Constraints: 11992
2587.79/2595.57 c #Conflicts: 151000 | #Constraints: 12992
2587.79/2595.57 c #Conflicts: 152000 | #Constraints: 13992
2587.79/2595.57 c GLOBAL bounds - >= -2790976 @ 2547.91
2588.49/2596.22 c GLOBAL bounds - >= -2790976 @ 2548.55
2588.59/2596.37 c GLOBAL bounds - >= -2790976 @ 2548.7
2588.79/2596.54 c GLOBAL bounds - >= -2790976 @ 2548.86
2589.29/2597.08 c GLOBAL bounds - >= -2790976 @ 2549.39
2589.58/2597.32 c GLOBAL bounds - >= -2790976 @ 2549.63
2589.88/2597.69 c GLOBAL bounds - >= -2790976 @ 2550
2590.78/2598.57 c GLOBAL bounds - >= -2790976 @ 2550.88
2591.08/2598.80 c GLOBAL bounds - >= -2790976 @ 2551.1
2594.87/2602.66 c GLOBAL bounds - >= -2790976 @ 2554.84
2648.32/2656.24 c #Conflicts: 153000 | #Constraints: 15012
2648.32/2656.24 c #Conflicts: 154000 | #Constraints: 16012
2648.32/2656.24 c #Conflicts: 155000 | #Constraints: 17012
2648.32/2656.24 c INPROCESSING
2648.32/2656.24 c GARBAGE COLLECT
2648.32/2656.24 c GLOBAL bounds - >= -2790976 @ 2607.81
2657.99/2665.90 c #Conflicts: 156000 | #Constraints: 10213
2657.99/2665.90 c GLOBAL bounds - >= -2790976 @ 2617.33
2658.69/2666.61 c GLOBAL bounds - >= -2790976 @ 2618.04
2661.49/2669.42 c GLOBAL bounds - >= -2790976 @ 2620.81
2661.88/2669.85 c GLOBAL bounds - >= -2790976 @ 2621.24
2663.77/2671.74 c #Conflicts: 157000 | #Constraints: 11221
2663.77/2671.74 c GLOBAL bounds - >= -2790976 @ 2623.11
2664.57/2672.58 c GLOBAL bounds - >= -2790976 @ 2623.94
2664.77/2672.74 c GLOBAL bounds - >= -2790976 @ 2624.1
2671.95/2680.00 c GLOBAL bounds - >= -2790976 @ 2631.26
2672.16/2680.18 c GLOBAL bounds - >= -2790976 @ 2631.44
2672.35/2680.30 c GLOBAL bounds - >= -2790976 @ 2631.56
2672.45/2680.43 c GLOBAL bounds - >= -2790976 @ 2631.69
2867.01/2875.50 c #Conflicts: 158000 | #Constraints: 12235
2867.01/2875.50 c #Conflicts: 159000 | #Constraints: 13235
2867.01/2875.50 c #Conflicts: 160000 | #Constraints: 14235
2867.01/2875.50 c #Conflicts: 161000 | #Constraints: 15235
2867.01/2875.50 c #Conflicts: 162000 | #Constraints: 16235
2867.01/2875.50 c #Conflicts: 163000 | #Constraints: 17235
2867.01/2875.50 c INPROCESSING
2867.01/2875.50 c GARBAGE COLLECT
2867.01/2875.50 c #Conflicts: 164000 | #Constraints: 10228
2867.01/2875.50 c #Conflicts: 165000 | #Constraints: 11228
2867.01/2875.50 c #Conflicts: 166000 | #Constraints: 12228
2867.01/2875.50 c #Conflicts: 167000 | #Constraints: 13228
2867.01/2875.50 c #Conflicts: 168000 | #Constraints: 14228
2867.01/2875.50 c #Conflicts: 169000 | #Constraints: 15228
2867.01/2875.50 c #Conflicts: 170000 | #Constraints: 16228
2867.01/2875.50 c GLOBAL bounds - >= -2790976 @ 2824.93
2867.31/2875.82 c GLOBAL bounds - >= -2790976 @ 2825.25
2867.51/2876.05 c GLOBAL bounds - >= -2790976 @ 2825.48
2945.63/2954.42 c #Conflicts: 171000 | #Constraints: 17234
2945.63/2954.42 c INPROCESSING
2945.63/2954.42 c GARBAGE COLLECT
2945.63/2954.42 c #Conflicts: 172000 | #Constraints: 10046
2945.63/2954.42 c #Conflicts: 173000 | #Constraints: 11046
2945.63/2954.42 c #Conflicts: 174000 | #Constraints: 12046
2945.63/2954.42 c GLOBAL bounds - >= -2790976 @ 2903.07
2945.73/2954.56 c GLOBAL bounds - >= -2790976 @ 2903.22
2945.93/2954.70 c GLOBAL bounds - >= -2790976 @ 2903.35
2956.61/2965.49 c #Conflicts: 175000 | #Constraints: 13052
2956.61/2965.49 c GLOBAL bounds - >= -2790976 @ 2914.02
2956.91/2965.71 c GLOBAL bounds - >= -2790976 @ 2914.23
2963.89/2972.72 c GLOBAL bounds - >= -2790976 @ 2921.19
2963.99/2972.88 c GLOBAL bounds - >= -2790976 @ 2921.35
2964.98/2973.80 c #Conflicts: 176000 | #Constraints: 14060
2964.98/2973.80 c GLOBAL bounds - >= -2790976 @ 2922.27
2976.35/2985.20 c GLOBAL bounds - >= -109060 @ 2933.56
2976.35/2985.28 c rational objective -109227
2976.45/2985.30 c Inconsistent constraint found
2976.45/2985.30 c cpu time 2933.65 s
2976.45/2985.30 c deterministic time 22025 2.20e+04
2976.45/2985.30 c optimization time 2933.63 s
2976.45/2985.30 c total solve time 0.016719 s
2976.45/2985.30 c core-guided solve time 0 s
2976.45/2985.30 c propagation time 0.002379 s
2976.45/2985.30 c conflict analysis time 0 s
2976.45/2985.30 c propagations 4793
2976.45/2985.30 c resolve steps 0
2976.45/2985.30 c decisions 922
2976.45/2985.30 c conflicts 0
2976.45/2985.30 c restarts 1
2976.45/2985.30 c inprocessing phases 0
2976.45/2985.30 c garbage collections 0 ,( -nan )
2976.45/2985.30 c input clauses 0 ,( 0.00 )
2976.45/2985.30 c input cardinalities 0 ,( 0.00 )
2976.45/2985.30 c input general constraints 2 ,( 100.00 )
2976.45/2985.30 c input average constraint length 5000.00
2976.45/2985.30 c input average constraint degree 2333206.00
2976.45/2985.30 c learned clauses 0 ,( 0.00 )
2976.45/2985.30 c learned cardinalities 0 ,( 0.00 )
2976.45/2985.30 c learned general constraints 1 ,( 100.00 )
2976.45/2985.30 c learned average constraint length 4836.00
2976.45/2985.30 c learned average constraint degree 871080137200.00
2976.45/2985.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2976.45/2985.30 c counting CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
2976.45/2985.30 c watched constraints 0 ,( 0.00 )
2976.45/2985.30 c counting constraints 3 ,( 100.00 )
2976.45/2985.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 68 ,( 0 , 68 )
2976.45/2985.30 c gcd simplifications 0
2976.45/2985.30 c detected cardinalities 0
2976.45/2985.30 c weakened non-implied lits 0
2976.45/2985.30 c weakened non-implying lits 0
2976.45/2985.30 c original variables 5000
2976.45/2985.30 c clausal propagations 0
2976.45/2985.30 c cardinality propagations 0
2976.45/2985.30 c watched propagations 0
2976.45/2985.30 c counting propagations 4793
2976.45/2985.30 c watch lookups 592
2976.45/2985.30 c watch backjump lookups 0
2976.45/2985.30 c watch checks 0
2976.45/2985.30 c propagation checks 10000
2976.45/2985.30 c constraint additions 0
2976.45/2985.30 c trail pops 5715
2976.45/2985.30 c formula constraints 1
2976.45/2985.30 c learned constraints 0
2976.45/2985.30 c bound constraints 0
2976.45/2985.30 c core-guided constraints 0
2976.45/2985.30 c encountered formula constraints 0
2976.45/2985.30 c encountered learned constraints 0
2976.45/2985.30 c encountered bound constraints 0
2976.45/2985.30 c encountered core-guided constraints 0
2976.45/2985.30 c LP total time 0.015058 s
2976.45/2985.30 c LP solve time 0.01 s
2976.45/2985.30 c LP constraints added 2
2976.45/2985.30 c LP constraints removed 0
2976.45/2985.30 c LP pivots internal 1
2976.45/2985.30 c LP pivots root 1
2976.45/2985.30 c LP calls 2
2976.45/2985.30 c LP optimalities 2
2976.45/2985.30 c LP no pivot count 0
2976.45/2985.30 c LP infeasibilities 0
2976.45/2985.30 c LP valid Farkas constraints 0
2976.45/2985.30 c LP learned Farkas constraints 0
2976.45/2985.30 c LP basis resets 0
2976.45/2985.30 c LP cycling count 0
2976.45/2985.30 c LP singular count 0
2976.45/2985.30 c LP no primal count 0
2976.45/2985.30 c LP no farkas count 0
2976.45/2985.30 c LP other issue count 0
2976.45/2985.30 c LP Gomory cuts 1
2976.45/2985.30 c LP learned cuts 0
2976.45/2985.30 c LP deleted cuts 0
2976.45/2985.30 c LP encountered Gomory constraints 0
2976.45/2985.30 c LP encountered Farkas constraints 0
2976.45/2985.30 c LP encountered learned Farkas constraints 0
2976.45/2985.30 c CG auxiliary variables introduced 715
2976.45/2985.30 c CG solutions found 1
2976.45/2985.30 c CG cores constructed 0
2976.45/2985.30 c CG core cardinality constraints returned 0
2976.45/2985.30 c CG unit cores 0
2976.45/2985.30 c CG single cores 0
2976.45/2985.30 c CG blocks removed during cardinality reduction 0
2976.45/2985.30 c CG first core best 0
2976.45/2985.30 c CG decision core best 0
2976.45/2985.30 c CG core reduction tie 0
2976.45/2985.30 c CG core degree average 0.00
2976.45/2985.30 c CG core slack average 0.00
2976.45/2985.30 c CG core upper bound improvements 0
2976.45/2985.30 c STR number of successful calls 0
2976.45/2985.30 c STR number of unsuccessful calls 0
2976.45/2985.30 c STR number of inconclusive calls 0
2976.45/2985.30 c STR number of successful attempts 0
2976.45/2985.30 c STR number of unsuccessful attempts 0
2976.45/2985.30 c STR number of inconclusive attempts 0
2976.45/2985.30 c STR average degree increase per successful call inf
2976.45/2985.30 c STR average degree increase per successful attempt inf
2976.45/2985.30 c STR total number of conflicts for successful attempts 0
2976.45/2985.30 c STR total number of conflicts for unsuccessful attempts 0
2976.45/2985.30 c STR total number of conflicts for inconclusive attempts 0
2976.45/2985.30 c STR average number of conflicts per successful attempt inf
2976.45/2985.30 c STR average number of conflicts per unsuccessful attempt inf
2976.45/2985.30 c STR average number of conflicts per inconclusive attempt inf
2976.45/2985.30 c AVG.sumWPerc 99.67
2976.45/2985.30 c bigint constraints 0
2976.45/2985.30 o -109060
2976.45/2985.30 s OPTIMUM FOUND
2976.45/2985.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 x1295 -x1296 x1297 -x1298 -x1299 x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 x1367 -x1368 -x1369 x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 -x1457 x1458 -x1459 x1460 -x1461 -x1462 -x1463 x1464 -x1465 x1466 x1467 x1468 -x1469 x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 x1537 x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 -x1592 x1593 -x1594 x1595 -x1596 -x1597 x1598 -x1599 -x1600 x1601 -x1602 -x1603 x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 x1618 x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 x1702 x1703 -x1704 -x1705 -x1706 x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 x1756 -x1757 -x1758 x1759 -x1760 x1761 -x1762 x1763 -x1764 x1765 x1766 -x1767 -x1768 x1769 x1770 -x1771 x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 x1779 x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 x1868 -x1869 x1870 -x1871 x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 x1911 -x1912 x1913 -x1914 -x1915 -x1916 x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 x1964 -x1965 -x1966 -x1967 x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 x1979 -x1980 x1981 x1982 x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (53666 MiB free)
memory of node 1: 64507 MiB (60063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518043-1751541352/watcher-4518043-1751541352 -o /tmp/evaluation-result-4518043-1751541352/solver-4518043-1751541352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76784 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518043-1751541352.opb PROOFDIR/proof-4518043-1751541352
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=77637, runsolver pid=77634
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116455608/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=63628 memory=15992 CPUtime=0.08 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 1581 0 0 0 4 4 0 0 20 0 1 0 69812929 65155072 3998 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 15907 3998 2304 1147 0 3334 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67820 KiB
Current children cumulated memory: 18808 KiB
[startup+0.20587 s]*
/proc/loadavg: 4.10 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116455608/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=63628 memory=15992 CPUtime=0.19 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 1601 0 0 0 10 9 0 0 20 0 1 0 69812929 65155072 3998 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 15907 3998 2304 1147 0 3334 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67820 KiB
Current children cumulated memory: 18808 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.10 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116455608/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=63764 memory=16248 CPUtime=0.29 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 1645 0 0 0 16 13 0 0 20 0 1 0 69812929 65294336 4062 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 15941 4062 2304 1147 0 3368 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67956 KiB
Current children cumulated memory: 19064 KiB
[startup+0.700179 s]
/proc/loadavg: 4.09 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116455104/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=66260 memory=20088 CPUtime=0.67 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 2607 0 0 0 40 27 0 0 20 0 1 0 69812929 67850240 5022 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 16565 5022 2304 1147 0 3992 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70452 KiB
Current children cumulated memory: 22904 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116451400/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=77296 memory=28408 CPUtime=1.47 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 4706 0 0 0 101 46 0 0 20 0 1 0 69812929 79151104 7102 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 19324 7102 2304 1147 0 6751 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81488 KiB
Current children cumulated memory: 31224 KiB
[startup+3.10581 s]
/proc/loadavg: 4.09 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116330056/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=129668 memory=73384 CPUtime=3.08 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 14362 0 0 0 247 61 0 0 20 0 1 0 69812929 132780032 18346 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 32417 18346 2336 1147 0 19844 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133860 KiB
Current children cumulated memory: 76200 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116221260/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=190112 memory=133756 CPUtime=6.26 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 25369 0 0 0 550 76 0 0 20 0 1 0 69812929 194674688 33439 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 47528 33439 2336 1147 0 34955 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 194304 KiB
Current children cumulated memory: 136572 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/275 77639
/proc/meminfo: memFree=116012724/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=292484 memory=224036 CPUtime=12.64 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 42323 0 0 0 1142 122 0 0 20 0 1 0 69812929 299503616 56009 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 73121 56009 2336 1147 0 60548 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 296676 KiB
Current children cumulated memory: 226852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/275 77639
/proc/meminfo: memFree=115639768/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=485676 memory=333780 CPUtime=25.41 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 65689 0 0 0 2348 193 0 0 20 0 1 0 69812929 497332224 83445 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 121419 83445 2336 1147 0 108846 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 489868 KiB
Current children cumulated memory: 336596 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 77640
/proc/meminfo: memFree=115193144/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=490860 memory=415400 CPUtime=50.94 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 76388 0 0 0 4771 323 0 0 20 0 1 0 69812929 502640640 103850 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 122715 103850 2336 1147 0 110142 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 495052 KiB
Current children cumulated memory: 418216 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/274 77642
/proc/meminfo: memFree=114362664/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=871552 memory=655360 CPUtime=101.99 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 126163 0 0 0 9731 468 0 0 20 0 1 0 69812929 892469248 163840 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 217888 163840 2336 1147 0 205315 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 875744 KiB
Current children cumulated memory: 658176 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 77644
/proc/meminfo: memFree=113505888/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=871552 memory=718004 CPUtime=161.81 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 133680 0 0 0 15534 647 0 0 20 0 1 0 69812929 892469248 179501 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 217888 179501 2336 1147 0 205315 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 875744 KiB
Current children cumulated memory: 720820 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 77649
/proc/meminfo: memFree=112548848/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=1012516 memory=758204 CPUtime=221.63 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 139645 0 0 0 21433 730 0 0 20 0 1 0 69812929 1036816384 189551 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 253129 189551 2336 1147 0 240556 0
################
# More data... #
################
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 317374 0 0 0 269293 4125 0 0 20 0 1 0 69812929 2028503040 445440 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 495240 445440 2336 1147 0 482667 0
Current children cumulated CPU time: 2734.18 s
Current children cumulated vsize: 1985152 KiB
Current children cumulated memory: 1784576 KiB
[startup+2802.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/275 77931
/proc/meminfo: memFree=104150864/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2004260 memory=1828976 CPUtime=2794.02 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 324822 0 0 0 275233 4169 0 0 20 0 1 0 69812929 2052362240 457244 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 501065 457244 2336 1147 0 488492 0
Current children cumulated CPU time: 2794.02 s
Current children cumulated vsize: 2008452 KiB
Current children cumulated memory: 1831792 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/275 77933
/proc/meminfo: memFree=103117852/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2013988 memory=1841008 CPUtime=2853.84 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 327386 0 0 0 281181 4203 0 0 20 0 1 0 69812929 2062323712 460252 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 503497 460252 2336 1147 0 490924 0
Current children cumulated CPU time: 2853.84 s
Current children cumulated vsize: 2018180 KiB
Current children cumulated memory: 1843824 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/276 77939
/proc/meminfo: memFree=101921292/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136360 memory=1945612 CPUtime=2913.67 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 346668 0 0 0 287124 4243 0 0 20 0 1 0 69812929 2187632640 486403 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534090 486403 2336 1147 0 521517 0
Current children cumulated CPU time: 2913.67 s
Current children cumulated vsize: 2140552 KiB
Current children cumulated memory: 1948428 KiB
[startup+2982.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/274 77986
/proc/meminfo: memFree=109265204/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136360 memory=1956364 CPUtime=2973.46 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 346744 0 0 0 293068 4278 0 0 20 0 1 0 69812929 2187632640 489091 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534090 489091 2336 1147 0 521517 0
Current children cumulated CPU time: 2973.46 s
Current children cumulated vsize: 2140552 KiB
Current children cumulated memory: 1959180 KiB
[startup+2998.03 s]
# the end of solver process 77637 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2933.66 s, system=42.8355 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2982.4 s]
/proc/loadavg: 4.04 4.10 4.09 5/274 77986
/proc/meminfo: memFree=109265204/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136360 memory=1956364 CPUtime=2973.56 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 346748 0 0 0 293078 4278 0 0 20 0 1 0 69812929 2187632640 489091 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534090 489091 2336 1147 0 521517 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 2140552 KiB
Current children cumulated memory: 1959180 KiB
[startup+2988.8 s]
/proc/loadavg: 4.04 4.10 4.09 4/274 77987
/proc/meminfo: memFree=109147668/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1956516 CPUtime=2976.45 cores=0,2
/proc/77639/stat : 77639 (roundingsat) D 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4280 0 0 20 0 1 0 69812929 2187304960 489129 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489129 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.45 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1959332 KiB
[startup+2992 s]*
/proc/loadavg: 4.12 4.12 4.09 4/274 77987
/proc/meminfo: memFree=109071500/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1956516 CPUtime=2976.45 cores=0,2
/proc/77639/stat : 77639 (roundingsat) D 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4280 0 0 20 0 1 0 69812929 2187304960 489129 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489129 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.45 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1959332 KiB
[startup+2995.2 s]
/proc/loadavg: 4.12 4.12 4.09 4/274 77987
/proc/meminfo: memFree=108998164/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1959460 CPUtime=2976.45 cores=0,2
/proc/77639/stat : 77639 (roundingsat) D 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4280 0 0 20 0 1 0 69812929 2187304960 489865 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489865 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.45 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1962276 KiB
[startup+2996.8 s]
/proc/loadavg: 4.11 4.11 4.09 4/274 77987
/proc/meminfo: memFree=108985312/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1959460 CPUtime=2976.45 cores=0,2
/proc/77639/stat : 77639 (roundingsat) D 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4280 0 0 20 0 1 0 69812929 2187304960 489865 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489865 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.45 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1962276 KiB
[startup+2997.6 s]
/proc/loadavg: 4.11 4.11 4.09 4/274 77987
/proc/meminfo: memFree=108971984/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1959460 CPUtime=2976.45 cores=0,2
/proc/77639/stat : 77639 (roundingsat) D 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4280 0 0 20 0 1 0 69812929 2187304960 489865 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489865 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.45 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1962276 KiB
[startup+2998 s]*
/proc/loadavg: 4.11 4.11 4.09 5/274 77987
/proc/meminfo: memFree=108974088/131249996 swapFree=33003468/33010684
[pid=77637] ppid=77634 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/77637/stat : 77637 (run-opt-log.sh) S 77634 77637 76774 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 69812929 4292608 704 18446744073709551615 94628046741504 94628047636037 140722030639264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94628047875088 94628047922832 94628070649856 140722030647585 140722030647780 140722030647780 140722030653382 0
/proc/77637/statm: 1048 704 640 219 0 110 0
[pid=77639] ppid=77637 vsize=2136040 memory=1959460 CPUtime=2976.46 cores=0,2
/proc/77639/stat : 77639 (roundingsat) R 77637 77637 76774 0 -1 4194304 346804 0 0 0 293365 4281 0 0 20 0 1 0 69812929 2187304960 489865 18446744073709551615 4227072 8923433 140727884356080 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 35823616 140727884360018 140727884360232 140727884360232 140727884365802 0
/proc/77639/statm: 534010 489865 2400 1147 0 521437 0
Current children cumulated CPU time: 2976.46 s
Current children cumulated vsize: 2140232 KiB
Current children cumulated memory: 1962276 KiB
Child status: 0
Real time (s): 2998.03
CPU time (s): 2976.5
CPU user time (s): 2933.66
CPU system time (s): 42.8355
CPU usage (%): 99.2816
Max. virtual memory (cumulated for all children) (KiB): 2140552
Max. memory (cumulated for all children) (KiB): 1962276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2933.66
system time used= 42.8355
maximum resident set size= 1959460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24252440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1833
involuntary context switches= 4664
# summary of solver processes directly reported to runsolver:
# pid: 77637
# total CPU time (s): 2976.5
# total CPU user time (s): 2933.66
# total CPU system time (s): 42.8355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09058 second user time and 14.0216 second system time
The end
Begin job on nodeC021 at 2025-07-03 13:15:52
IDJOB=4518043
IDBENCH=176300
IDSOLVER=3351
FILE ID=nodeC021/4518043-1751541352
RUNJOBID= nodeC021-1751536445-76784
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/normalized-knapPI_11_1000_1000_5_-23276.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518043-1751541352/watcher-4518043-1751541352 -o /tmp/evaluation-result-4518043-1751541352/solver-4518043-1751541352 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76784 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518043-1751541352.opb PROOFDIR/proof-4518043-1751541352
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9edbaeb473a6b67c870b6379ab80793d
RANDOM SEED=676174722
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.210
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.295
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.453
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116459696 kB
MemAvailable: 125580848 kB
Buffers: 1056 kB
Cached: 9855384 kB
SwapCached: 32 kB
Active: 4663776 kB
Inactive: 9393004 kB
Active(anon): 4172892 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 9352060 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63712 kB
Writeback: 0 kB
AnonPages: 4203032 kB
Mapped: 113092 kB
Shmem: 13452 kB
KReclaimable: 234496 kB
Slab: 328544 kB
SReclaimable: 234496 kB
SUnreclaim: 94048 kB
KernelStack: 4432 kB
PageTables: 11968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5296224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1953792 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430932 MiB
End job on nodeC021 at 2025-07-03 14:05:51