0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 5000 #constraints 1
0.00/0.01 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.005844
0.00/0.02 c GLOBAL bounds - >= -2790976 @ 0.00891
0.00/0.03 c GLOBAL bounds - >= -2790976 @ 0.010936
0.00/0.03 c GLOBAL bounds - >= -2790976 @ 0.012056
0.00/0.04 c GLOBAL bounds - >= -2790976 @ 0.014193
0.00/0.04 c GLOBAL bounds - >= -2790976 @ 0.016386
0.00/0.05 c GLOBAL bounds - >= -2790976 @ 0.01867
0.00/0.05 c GLOBAL bounds - >= -2790976 @ 0.021062
0.00/0.06 c GLOBAL bounds - >= -2790976 @ 0.024097
0.00/0.06 c GLOBAL bounds - >= -2790976 @ 0.025693
0.00/0.07 c GLOBAL bounds - >= -2790976 @ 0.028672
0.00/0.07 c GLOBAL bounds - >= -2790976 @ 0.029651
0.00/0.08 c GLOBAL bounds - >= -2790976 @ 0.032482
0.00/0.08 c GLOBAL bounds - >= -2790976 @ 0.033017
0.00/0.09 c GLOBAL bounds - >= -2790976 @ 0.033984
0.00/0.09 c GLOBAL bounds - >= -2790976 @ 0.037249
0.00/0.10 c GLOBAL bounds - >= -2790976 @ 0.040553
0.09/0.11 c GLOBAL bounds - >= -2790976 @ 0.044867
0.09/0.11 c GLOBAL bounds - >= -2790976 @ 0.045601
0.09/0.12 c GLOBAL bounds - >= -2790976 @ 0.048477
0.09/0.12 c GLOBAL bounds - >= -2790976 @ 0.049957
0.09/0.13 c GLOBAL bounds - >= -2790976 @ 0.051105
0.09/0.13 c GLOBAL bounds - >= -2790976 @ 0.053567
0.09/0.14 c GLOBAL bounds - >= -2790976 @ 0.056771
0.09/0.14 c GLOBAL bounds - >= -2790976 @ 0.058561
0.09/0.15 c GLOBAL bounds - >= -2790976 @ 0.060507
0.09/0.15 c GLOBAL bounds - >= -2790976 @ 0.062925
0.09/0.16 c GLOBAL bounds - >= -2790976 @ 0.064545
0.09/0.17 c GLOBAL bounds - >= -2790976 @ 0.065704
0.09/0.17 c GLOBAL bounds - >= -2790976 @ 0.068124
0.09/0.18 c GLOBAL bounds - >= -2790976 @ 0.071514
0.09/0.18 c GLOBAL bounds - >= -2790976 @ 0.074925
0.09/0.19 c GLOBAL bounds - >= -2790976 @ 0.077519
0.09/0.19 c GLOBAL bounds - >= -2790976 @ 0.078892
0.09/0.20 c GLOBAL bounds - >= -2790976 @ 0.080226
0.09/0.20 c GLOBAL bounds - >= -2790976 @ 0.08368
0.19/0.21 c GLOBAL bounds - >= -2790976 @ 0.087503
0.19/0.21 c GLOBAL bounds - >= -2790976 @ 0.088689
0.19/0.22 c GLOBAL bounds - >= -2790976 @ 0.090158
0.19/0.23 c GLOBAL bounds - >= -2790976 @ 0.092654
0.19/0.23 c GLOBAL bounds - >= -2790976 @ 0.096478
0.19/0.24 c GLOBAL bounds - >= -2790976 @ 0.096848
0.19/0.24 c GLOBAL bounds - >= -2790976 @ 0.099467
0.19/0.25 c GLOBAL bounds - >= -2790976 @ 0.101744
0.19/0.25 c GLOBAL bounds - >= -2790976 @ 0.104461
0.19/0.26 c GLOBAL bounds - >= -2790976 @ 0.105826
0.19/0.26 c GLOBAL bounds - >= -2790976 @ 0.108453
0.19/0.27 c GLOBAL bounds - >= -2790976 @ 0.111426
0.19/0.27 c GLOBAL bounds - >= -2790976 @ 0.113574
0.19/0.28 c GLOBAL bounds - >= -2790976 @ 0.117437
0.19/0.29 c GLOBAL bounds - >= -2790976 @ 0.119582
0.19/0.29 c GLOBAL bounds - >= -2790976 @ 0.122426
0.19/0.30 c GLOBAL bounds - >= -2790976 @ 0.124752
0.19/0.30 c GLOBAL bounds - >= -2790976 @ 0.126369
0.28/0.31 c GLOBAL bounds - >= -2790976 @ 0.129029
0.28/0.31 c GLOBAL bounds - >= -2790976 @ 0.131681
0.28/0.32 c GLOBAL bounds - >= -2790976 @ 0.137024
0.28/0.33 c GLOBAL bounds - >= -2790976 @ 0.13997
0.28/0.34 c GLOBAL bounds - >= -2790976 @ 0.142796
0.28/0.34 c GLOBAL bounds - >= -2790976 @ 0.145733
0.28/0.35 c GLOBAL bounds - >= -2790976 @ 0.150897
0.28/0.36 c GLOBAL bounds - >= -2790976 @ 0.157211
0.28/0.36 c GLOBAL bounds - >= -2790976 @ 0.162358
0.28/0.38 c GLOBAL bounds - >= -2790976 @ 0.17098
0.28/0.38 c GLOBAL bounds - >= -2790976 @ 0.177125
0.28/0.39 c GLOBAL bounds - >= -2790976 @ 0.179323
0.28/0.40 c GLOBAL bounds - >= -2790976 @ 0.183305
0.28/0.41 c GLOBAL bounds - >= -2790976 @ 0.1855
0.39/0.41 c GLOBAL bounds - >= -2790976 @ 0.18721
0.39/0.42 c GLOBAL bounds - >= -2790976 @ 0.188976
0.39/0.43 c GLOBAL bounds - >= -2790976 @ 0.19617
0.39/0.43 c GLOBAL bounds - >= -2790976 @ 0.200277
0.39/0.44 c GLOBAL bounds - >= -2790976 @ 0.204528
0.39/0.45 c GLOBAL bounds - >= -2790976 @ 0.207781
0.39/0.45 c GLOBAL bounds - >= -2790976 @ 0.212055
0.39/0.46 c GLOBAL bounds - >= -2790976 @ 0.215358
0.39/0.46 c GLOBAL bounds - >= -2790976 @ 0.218141
0.39/0.47 c GLOBAL bounds - >= -2790976 @ 0.221991
0.39/0.48 c GLOBAL bounds - >= -2790976 @ 0.22611
0.39/0.49 c GLOBAL bounds - >= -2790976 @ 0.230502
0.39/0.49 c GLOBAL bounds - >= -2790976 @ 0.234187
0.39/0.50 c GLOBAL bounds - >= -2790976 @ 0.23819
0.39/0.51 c GLOBAL bounds - >= -2790976 @ 0.242248
0.49/0.51 c GLOBAL bounds - >= -2790976 @ 0.246974
0.49/0.52 c GLOBAL bounds - >= -2790976 @ 0.251931
0.49/0.53 c GLOBAL bounds - >= -2790976 @ 0.258778
0.49/0.54 c GLOBAL bounds - >= -2790976 @ 0.263681
0.49/0.54 c GLOBAL bounds - >= -2790976 @ 0.268601
0.49/0.55 c GLOBAL bounds - >= -2790976 @ 0.27216
0.49/0.56 c GLOBAL bounds - >= -2790976 @ 0.275092
0.49/0.57 c GLOBAL bounds - >= -2790976 @ 0.280168
0.49/0.57 c GLOBAL bounds - >= -2790976 @ 0.281928
0.49/0.58 c GLOBAL bounds - >= -2790976 @ 0.286692
0.49/0.59 c GLOBAL bounds - >= -2790976 @ 0.291406
0.49/0.60 c GLOBAL bounds - >= -2790976 @ 0.297615
0.58/0.60 c GLOBAL bounds - >= -2790976 @ 0.303436
0.58/0.61 c GLOBAL bounds - >= -2790976 @ 0.308201
0.58/0.62 c GLOBAL bounds - >= -2790976 @ 0.311986
0.58/0.62 c GLOBAL bounds - >= -2790976 @ 0.314868
0.58/0.63 c GLOBAL bounds - >= -2790976 @ 0.319166
0.58/0.64 c GLOBAL bounds - >= -2790976 @ 0.323428
0.58/0.65 c GLOBAL bounds - >= -2790976 @ 0.3297
0.58/0.66 c GLOBAL bounds - >= -2790976 @ 0.336415
0.58/0.67 c GLOBAL bounds - >= -2790976 @ 0.342324
0.58/0.67 c GLOBAL bounds - >= -2790976 @ 0.345244
0.58/0.68 c GLOBAL bounds - >= -2790976 @ 0.353288
0.58/0.69 c GLOBAL bounds - >= -2790976 @ 0.356325
0.68/0.70 c GLOBAL bounds - >= -2790976 @ 0.366478
0.68/0.71 c GLOBAL bounds - >= -2790976 @ 0.375743
0.68/0.72 c GLOBAL bounds - >= -2790976 @ 0.384113
0.68/0.73 c GLOBAL bounds - >= -2790976 @ 0.39238
0.68/0.74 c GLOBAL bounds - >= -2790976 @ 0.400519
0.68/0.75 c GLOBAL bounds - >= -2790976 @ 0.404325
0.68/0.76 c GLOBAL bounds - >= -2790976 @ 0.410252
0.68/0.77 c GLOBAL bounds - >= -2790976 @ 0.415787
0.68/0.77 c GLOBAL bounds - >= -2790976 @ 0.421126
0.68/0.78 c GLOBAL bounds - >= -2790976 @ 0.427762
0.68/0.79 c GLOBAL bounds - >= -2790976 @ 0.433468
0.77/0.80 c GLOBAL bounds - >= -2790976 @ 0.439193
0.77/0.81 c GLOBAL bounds - >= -2790976 @ 0.443004
0.77/0.82 c GLOBAL bounds - >= -2790976 @ 0.445715
0.77/0.83 c GLOBAL bounds - >= -2790976 @ 0.451481
0.77/0.83 c GLOBAL bounds - >= -2790976 @ 0.45692
0.77/0.84 c GLOBAL bounds - >= -2790976 @ 0.460587
0.77/0.85 c GLOBAL bounds - >= -2790976 @ 0.464987
0.77/0.86 c GLOBAL bounds - >= -2790976 @ 0.469953
0.77/0.87 c GLOBAL bounds - >= -2790976 @ 0.476803
0.77/0.88 c GLOBAL bounds - >= -2790976 @ 0.484946
0.77/0.89 c GLOBAL bounds - >= -2790976 @ 0.489815
0.87/0.90 c GLOBAL bounds - >= -2790976 @ 0.50366
0.87/0.95 c GLOBAL bounds - >= -2790976 @ 0.545834
0.87/0.96 c GLOBAL bounds - >= -2790976 @ 0.554078
0.87/0.97 c GLOBAL bounds - >= -2790976 @ 0.561899
0.87/0.98 c GLOBAL bounds - >= -2790976 @ 0.570514
0.87/0.99 c GLOBAL bounds - >= -2790976 @ 0.57818
0.98/1.00 c GLOBAL bounds - >= -2790976 @ 0.586233
0.98/1.01 c GLOBAL bounds - >= -2790976 @ 0.592911
0.98/1.02 c GLOBAL bounds - >= -2790976 @ 0.601308
0.98/1.03 c GLOBAL bounds - >= -2790976 @ 0.607569
0.98/1.04 c GLOBAL bounds - >= -2790976 @ 0.610319
0.98/1.05 c GLOBAL bounds - >= -2790976 @ 0.614692
0.98/1.06 c GLOBAL bounds - >= -2790976 @ 0.621389
0.98/1.07 c GLOBAL bounds - >= -2790976 @ 0.628841
0.98/1.08 c GLOBAL bounds - >= -2790976 @ 0.633444
0.98/1.09 c GLOBAL bounds - >= -2790976 @ 0.640023
0.98/1.10 c GLOBAL bounds - >= -2790976 @ 0.64464
1.08/1.10 c GLOBAL bounds - >= -2790976 @ 0.65031
1.08/1.11 c GLOBAL bounds - >= -2790976 @ 0.654968
1.08/1.12 c GLOBAL bounds - >= -2790976 @ 0.660627
1.08/1.13 c GLOBAL bounds - >= -2790976 @ 0.667303
1.08/1.14 c GLOBAL bounds - >= -2790976 @ 0.672059
1.08/1.15 c GLOBAL bounds - >= -2790976 @ 0.680755
1.08/1.16 c GLOBAL bounds - >= -2790976 @ 0.686506
1.08/1.17 c GLOBAL bounds - >= -2790976 @ 0.6923
1.08/1.18 c GLOBAL bounds - >= -2790976 @ 0.699281
1.08/1.19 c GLOBAL bounds - >= -2790976 @ 0.704173
1.08/1.19 c GLOBAL bounds - >= -2790976 @ 0.709022
1.18/1.20 c GLOBAL bounds - >= -2790976 @ 0.715853
1.18/1.21 c GLOBAL bounds - >= -2790976 @ 0.721709
1.18/1.22 c GLOBAL bounds - >= -2790976 @ 0.728566
1.18/1.23 c GLOBAL bounds - >= -2790976 @ 0.736724
1.18/1.24 c GLOBAL bounds - >= -2790976 @ 0.744524
1.18/1.25 c GLOBAL bounds - >= -2790976 @ 0.749963
1.18/1.26 c GLOBAL bounds - >= -2790976 @ 0.755115
1.18/1.27 c GLOBAL bounds - >= -2790976 @ 0.763146
1.18/1.28 c GLOBAL bounds - >= -2790976 @ 0.768168
1.18/1.29 c GLOBAL bounds - >= -2790976 @ 0.777231
1.28/1.30 c GLOBAL bounds - >= -2790976 @ 0.784338
1.28/1.31 c GLOBAL bounds - >= -2790976 @ 0.792415
1.28/1.32 c GLOBAL bounds - >= -2790976 @ 0.798476
1.28/1.33 c GLOBAL bounds - >= -2790976 @ 0.812329
1.28/1.35 c GLOBAL bounds - >= -2790976 @ 0.825298
1.28/1.37 c GLOBAL bounds - >= -2790976 @ 0.840484
1.37/1.40 c GLOBAL bounds - >= -2790976 @ 0.868151
6.36/6.48 c #Conflicts: 1000 | #Constraints: 1345
6.36/6.48 c GLOBAL bounds - >= -2790976 @ 5.66982
6.46/6.50 c GLOBAL bounds - >= -2790976 @ 5.69363
6.46/6.53 c GLOBAL bounds - >= -2790976 @ 5.71329
6.56/6.65 c GLOBAL bounds - >= -2790976 @ 5.8266
6.56/6.67 c GLOBAL bounds - >= -2790976 @ 5.84598
6.56/6.69 c GLOBAL bounds - >= -2790976 @ 5.86543
6.66/6.72 c GLOBAL bounds - >= -2790976 @ 5.88671
6.66/6.74 c GLOBAL bounds - >= -2790976 @ 5.90894
6.66/6.77 c GLOBAL bounds - >= -2790976 @ 5.93493
6.76/6.80 c GLOBAL bounds - >= -2790976 @ 5.95682
6.76/6.82 c GLOBAL bounds - >= -2790976 @ 5.97879
6.76/6.84 c GLOBAL bounds - >= -2790976 @ 5.99878
6.76/6.88 c GLOBAL bounds - >= -2790976 @ 6.02592
6.86/6.92 c GLOBAL bounds - >= -2790976 @ 6.06482
6.86/6.94 c GLOBAL bounds - >= -2790976 @ 6.08593
6.86/6.96 c GLOBAL bounds - >= -2790976 @ 6.10704
6.86/6.99 c GLOBAL bounds - >= -2790976 @ 6.12906
6.97/7.02 c GLOBAL bounds - >= -2790976 @ 6.16266
6.97/7.06 c GLOBAL bounds - >= -2790976 @ 6.19079
6.97/7.09 c GLOBAL bounds - >= -2790976 @ 6.22245
7.07/7.16 c GLOBAL bounds - >= -2790976 @ 6.28507
7.07/7.19 c GLOBAL bounds - >= -2790976 @ 6.30527
7.16/7.21 c GLOBAL bounds - >= -2790976 @ 6.32881
7.16/7.24 c GLOBAL bounds - >= -2790976 @ 6.3491
7.16/7.26 c GLOBAL bounds - >= -2790976 @ 6.3683
7.25/7.31 c GLOBAL bounds - >= -2790976 @ 6.40626
7.56/7.64 c GLOBAL bounds - >= -2790976 @ 6.71474
7.56/7.69 c GLOBAL bounds - >= -2790976 @ 6.7554
7.66/7.72 c GLOBAL bounds - >= -2790976 @ 6.77996
7.97/8.07 c GLOBAL bounds - >= -2790976 @ 7.08617
8.07/8.11 c GLOBAL bounds - >= -2790976 @ 7.13057
8.07/8.16 c GLOBAL bounds - >= -2790976 @ 7.1735
8.15/8.20 c GLOBAL bounds - >= -2790976 @ 7.21119
8.15/8.24 c GLOBAL bounds - >= -2790976 @ 7.2467
8.15/8.29 c GLOBAL bounds - >= -2790976 @ 7.28511
8.66/8.79 c GLOBAL bounds - >= -2790976 @ 7.7495
8.96/9.03 c GLOBAL bounds - >= -2790976 @ 7.97226
9.15/9.22 c GLOBAL bounds - >= -2790976 @ 8.14577
9.35/9.40 c GLOBAL bounds - >= -2790976 @ 8.31643
9.55/9.65 c GLOBAL bounds - >= -2790976 @ 8.5345
9.76/9.86 c GLOBAL bounds - >= -2790976 @ 8.724
9.96/10.04 c GLOBAL bounds - >= -2790976 @ 8.90279
10.15/10.29 c GLOBAL bounds - >= -2790976 @ 9.1253
10.85/10.93 c GLOBAL bounds - >= -2790976 @ 9.72785
10.85/10.97 c GLOBAL bounds - >= -2790976 @ 9.75837
10.95/11.00 c GLOBAL bounds - >= -2790976 @ 9.78981
10.95/11.04 c GLOBAL bounds - >= -2790976 @ 9.82135
10.95/11.07 c GLOBAL bounds - >= -2790976 @ 9.85389
11.05/11.11 c GLOBAL bounds - >= -2790976 @ 9.88328
11.05/11.14 c GLOBAL bounds - >= -2790976 @ 9.91486
11.05/11.18 c GLOBAL bounds - >= -2790976 @ 9.94537
11.15/11.21 c GLOBAL bounds - >= -2790976 @ 9.97592
11.15/11.25 c GLOBAL bounds - >= -2790976 @ 10.0079
11.25/11.32 c GLOBAL bounds - >= -2790976 @ 10.0696
11.25/11.35 c GLOBAL bounds - >= -2790976 @ 10.1011
11.25/11.38 c GLOBAL bounds - >= -2790976 @ 10.1316
11.35/11.42 c GLOBAL bounds - >= -2790976 @ 10.164
11.35/11.45 c GLOBAL bounds - >= -2790976 @ 10.1925
11.35/11.49 c GLOBAL bounds - >= -2790976 @ 10.225
11.45/11.52 c GLOBAL bounds - >= -2790976 @ 10.2565
11.45/11.56 c GLOBAL bounds - >= -2790976 @ 10.2861
11.54/11.61 c GLOBAL bounds - >= -2790976 @ 10.3331
11.54/11.68 c GLOBAL bounds - >= -2790976 @ 10.3933
11.65/11.72 c GLOBAL bounds - >= -2790976 @ 10.4349
11.65/11.76 c GLOBAL bounds - >= -2790976 @ 10.4687
11.65/11.79 c GLOBAL bounds - >= -2790976 @ 10.4994
11.75/11.83 c GLOBAL bounds - >= -2790976 @ 10.5321
11.75/11.86 c GLOBAL bounds - >= -2790976 @ 10.5608
11.85/11.90 c GLOBAL bounds - >= -2790976 @ 10.5916
11.85/11.95 c GLOBAL bounds - >= -2790976 @ 10.6388
11.85/11.99 c GLOBAL bounds - >= -2790976 @ 10.6706
11.95/12.02 c GLOBAL bounds - >= -2790976 @ 10.7014
11.95/12.06 c GLOBAL bounds - >= -2790976 @ 10.7332
12.06/12.13 c GLOBAL bounds - >= -2790976 @ 10.794
12.06/12.16 c GLOBAL bounds - >= -2790976 @ 10.8249
12.14/12.20 c GLOBAL bounds - >= -2790976 @ 10.8578
12.14/12.29 c GLOBAL bounds - >= -2790976 @ 10.9357
12.24/12.32 c GLOBAL bounds - >= -2790976 @ 10.9724
12.24/12.38 c GLOBAL bounds - >= -2790976 @ 11.0287
12.35/12.47 c GLOBAL bounds - >= -2790976 @ 11.1019
12.44/12.54 c GLOBAL bounds - >= -2790976 @ 11.1729
12.54/12.60 c GLOBAL bounds - >= -2790976 @ 11.2249
21.52/21.66 c #Conflicts: 2000 | #Constraints: 2509
21.52/21.66 c INPROCESSING
21.52/21.66 c GARBAGE COLLECT
21.52/21.66 c #Conflicts: 3000 | #Constraints: 2516
21.52/21.66 c GLOBAL bounds - >= -2790976 @ 19.8355
21.62/21.75 c GLOBAL bounds - >= -2790976 @ 19.9169
21.72/21.83 c GLOBAL bounds - >= -2790976 @ 19.9907
21.82/21.95 c GLOBAL bounds - >= -2790976 @ 20.0998
21.92/22.00 c GLOBAL bounds - >= -2790976 @ 20.1488
21.92/22.06 c GLOBAL bounds - >= -2790976 @ 20.2032
22.03/22.11 c GLOBAL bounds - >= -2790976 @ 20.2503
22.22/22.34 c GLOBAL bounds - >= -2790976 @ 20.4567
22.32/22.40 c GLOBAL bounds - >= -2790976 @ 20.5131
22.32/22.47 c GLOBAL bounds - >= -2790976 @ 20.5708
22.42/22.52 c GLOBAL bounds - >= -2790976 @ 20.6175
22.42/22.57 c GLOBAL bounds - >= -2790976 @ 20.6604
22.52/22.62 c GLOBAL bounds - >= -2790976 @ 20.7077
22.52/22.68 c GLOBAL bounds - >= -2790976 @ 20.7557
22.62/22.73 c GLOBAL bounds - >= -2790976 @ 20.8075
22.62/22.79 c GLOBAL bounds - >= -2790976 @ 20.8615
22.72/22.84 c GLOBAL bounds - >= -2790976 @ 20.9116
22.92/23.08 c GLOBAL bounds - >= -2790976 @ 21.1322
23.02/23.15 c GLOBAL bounds - >= -2790976 @ 21.1902
23.11/23.21 c GLOBAL bounds - >= -2790976 @ 21.246
23.11/23.29 c GLOBAL bounds - >= -2790976 @ 21.3238
23.22/23.34 c GLOBAL bounds - >= -2790976 @ 21.373
23.32/23.41 c GLOBAL bounds - >= -2790976 @ 21.4363
23.32/23.46 c GLOBAL bounds - >= -2790976 @ 21.4797
23.42/23.51 c GLOBAL bounds - >= -2790976 @ 21.522
23.42/23.56 c GLOBAL bounds - >= -2790976 @ 21.5715
23.52/23.66 c GLOBAL bounds - >= -2790976 @ 21.6578
23.62/23.71 c GLOBAL bounds - >= -2790976 @ 21.7019
23.62/23.76 c GLOBAL bounds - >= -2790976 @ 21.7442
23.71/23.82 c GLOBAL bounds - >= -2790976 @ 21.8006
23.71/23.87 c GLOBAL bounds - >= -2790976 @ 21.8446
23.82/23.93 c GLOBAL bounds - >= -2790976 @ 21.9017
23.82/23.98 c GLOBAL bounds - >= -2790976 @ 21.9506
23.92/24.03 c GLOBAL bounds - >= -2790976 @ 21.9944
24.61/24.76 c GLOBAL bounds - >= -2790976 @ 22.6943
25.31/25.40 c GLOBAL bounds - >= -2790976 @ 23.3069
26.71/26.87 c GLOBAL bounds - >= -2790976 @ 24.6823
26.81/26.96 c GLOBAL bounds - >= -2790976 @ 24.7629
26.91/27.06 c GLOBAL bounds - >= -2790976 @ 24.8573
27.20/27.37 c #Conflicts: 4000 | #Constraints: 3594
27.20/27.37 c GLOBAL bounds - >= -2790976 @ 25.1417
27.31/27.43 c GLOBAL bounds - >= -2790976 @ 25.1904
27.31/27.48 c GLOBAL bounds - >= -2790976 @ 25.2396
27.41/27.54 c GLOBAL bounds - >= -2790976 @ 25.296
27.50/27.61 c GLOBAL bounds - >= -2790976 @ 25.3602
27.50/27.66 c GLOBAL bounds - >= -2790976 @ 25.4089
27.61/27.71 c GLOBAL bounds - >= -2790976 @ 25.4598
27.61/27.77 c GLOBAL bounds - >= -2790976 @ 25.5136
27.70/27.83 c GLOBAL bounds - >= -2790976 @ 25.5698
27.70/27.89 c GLOBAL bounds - >= -2790976 @ 25.6243
27.81/27.96 c GLOBAL bounds - >= -2790976 @ 25.6887
27.91/28.02 c GLOBAL bounds - >= -2790976 @ 25.7444
27.91/28.09 c GLOBAL bounds - >= -2790976 @ 25.8182
28.10/28.20 c GLOBAL bounds - >= -2790976 @ 25.9155
28.21/28.36 c GLOBAL bounds - >= -2790976 @ 26.073
28.30/28.42 c GLOBAL bounds - >= -2790976 @ 26.1289
28.40/28.56 c GLOBAL bounds - >= -2790976 @ 26.2505
28.50/28.64 c GLOBAL bounds - >= -2790976 @ 26.3225
28.60/28.75 c GLOBAL bounds - >= -2790976 @ 26.4259
28.71/28.82 c GLOBAL bounds - >= -2790976 @ 26.4929
29.20/29.38 c GLOBAL bounds - >= -2790976 @ 27.021
29.30/29.46 c GLOBAL bounds - >= -2790976 @ 27.0996
30.60/30.71 c INPROCESSING
30.60/30.71 c GARBAGE COLLECT
30.60/30.71 c GLOBAL bounds - >= -2790976 @ 28.2913
30.60/30.76 c GLOBAL bounds - >= -2790976 @ 28.3357
31.50/31.66 c GLOBAL bounds - >= -2790976 @ 29.1884
31.50/31.69 c GLOBAL bounds - >= -2790976 @ 29.2232
31.59/31.73 c GLOBAL bounds - >= -2790976 @ 29.2595
31.59/31.77 c GLOBAL bounds - >= -2790976 @ 29.3001
31.69/31.82 c GLOBAL bounds - >= -2790976 @ 29.3386
31.69/31.87 c GLOBAL bounds - >= -2790976 @ 29.3845
31.79/31.95 c GLOBAL bounds - >= -2790976 @ 29.4587
31.79/31.99 c GLOBAL bounds - >= -2790976 @ 29.4918
31.90/32.02 c GLOBAL bounds - >= -2790976 @ 29.5249
31.90/32.08 c GLOBAL bounds - >= -2790976 @ 29.5769
32.00/32.14 c GLOBAL bounds - >= -2790976 @ 29.6311
32.00/32.19 c GLOBAL bounds - >= -2790976 @ 29.6728
32.09/32.25 c GLOBAL bounds - >= -2790976 @ 29.73
32.09/32.29 c GLOBAL bounds - >= -2790976 @ 29.7725
32.19/32.35 c GLOBAL bounds - >= -2790976 @ 29.8258
32.29/32.40 c GLOBAL bounds - >= -2790976 @ 29.8707
32.39/32.54 c GLOBAL bounds - >= -2790976 @ 30.0013
32.49/32.64 c GLOBAL bounds - >= -2790976 @ 30.0869
32.59/32.78 c GLOBAL bounds - >= -2790976 @ 30.2233
32.69/32.83 c GLOBAL bounds - >= -2790976 @ 30.268
32.79/32.97 c GLOBAL bounds - >= -2790976 @ 30.3951
32.90/33.02 c GLOBAL bounds - >= -2790976 @ 30.444
33.00/33.10 c GLOBAL bounds - >= -2790976 @ 30.5128
33.29/33.47 c GLOBAL bounds - >= -2790976 @ 30.8546
33.39/33.52 c GLOBAL bounds - >= -2790976 @ 30.9038
33.39/33.57 c GLOBAL bounds - >= -2790976 @ 30.9433
33.59/33.77 c GLOBAL bounds - >= -2790976 @ 31.1323
34.29/34.42 c GLOBAL bounds - >= -2790976 @ 31.7505
34.49/34.67 c GLOBAL bounds - >= -2790976 @ 31.99
34.59/34.72 c GLOBAL bounds - >= -2790976 @ 32.0336
34.68/34.83 c GLOBAL bounds - >= -2790976 @ 32.139
34.68/34.87 c GLOBAL bounds - >= -2790976 @ 32.1806
34.78/34.93 c GLOBAL bounds - >= -2790976 @ 32.2252
34.90/35.02 c GLOBAL bounds - >= -2790976 @ 32.323
34.90/35.08 c GLOBAL bounds - >= -2790976 @ 32.3705
35.09/35.28 c GLOBAL bounds - >= -2790976 @ 32.5603
35.19/35.32 c GLOBAL bounds - >= -2790976 @ 32.6003
35.19/35.36 c GLOBAL bounds - >= -2790976 @ 32.6403
35.28/35.45 c GLOBAL bounds - >= -2790976 @ 32.7284
36.18/36.37 c #Conflicts: 5000 | #Constraints: 3120
36.18/36.37 c GLOBAL bounds - >= -2790976 @ 33.6053
36.28/36.45 c GLOBAL bounds - >= -2790976 @ 33.6837
36.38/36.51 c GLOBAL bounds - >= -2790976 @ 33.7423
37.08/37.28 c GLOBAL bounds - >= -2790976 @ 34.4794
39.77/39.93 c GLOBAL bounds - >= -2790976 @ 37.0533
46.26/46.46 c #Conflicts: 6000 | #Constraints: 4130
46.26/46.46 c GLOBAL bounds - >= -2790976 @ 43.2227
77.27/77.52 c INPROCESSING
77.27/77.52 c GARBAGE COLLECT
77.27/77.52 c #Conflicts: 7000 | #Constraints: 3135
77.27/77.52 c #Conflicts: 8000 | #Constraints: 4135
77.27/77.52 c #Conflicts: 9000 | #Constraints: 5135
77.27/77.52 c GLOBAL bounds - >= -2790976 @ 73.493
77.57/77.82 c GLOBAL bounds - >= -2790976 @ 73.7858
84.15/84.47 c INPROCESSING
84.15/84.47 c GARBAGE COLLECT
84.15/84.47 c GLOBAL bounds - >= -2790976 @ 80.1357
84.35/84.64 c GLOBAL bounds - >= -2790976 @ 80.3011
84.46/84.77 c GLOBAL bounds - >= -2790976 @ 80.4217
106.49/106.88 c #Conflicts: 10000 | #Constraints: 3842
106.49/106.88 c #Conflicts: 11000 | #Constraints: 4842
106.49/106.88 c GLOBAL bounds - >= -2790976 @ 102.221
106.69/107.04 c GLOBAL bounds - >= -2790976 @ 102.377
107.88/108.24 c GLOBAL bounds - >= -2790976 @ 103.543
108.59/108.95 c GLOBAL bounds - >= -2790976 @ 104.236
108.69/109.07 c GLOBAL bounds - >= -2790976 @ 104.344
108.89/109.25 c GLOBAL bounds - >= -2790976 @ 104.513
108.99/109.34 c GLOBAL bounds - >= -2790976 @ 104.603
109.09/109.45 c GLOBAL bounds - >= -2790976 @ 104.71
109.19/109.56 c GLOBAL bounds - >= -2790976 @ 104.808
109.28/109.63 c GLOBAL bounds - >= -2790976 @ 104.881
109.39/109.71 c GLOBAL bounds - >= -2790976 @ 104.955
109.39/109.79 c GLOBAL bounds - >= -2790976 @ 105.026
109.58/109.90 c GLOBAL bounds - >= -2790976 @ 105.133
109.58/109.97 c GLOBAL bounds - >= -2790976 @ 105.203
109.69/110.05 c GLOBAL bounds - >= -2790976 @ 105.274
109.79/110.13 c GLOBAL bounds - >= -2790976 @ 105.35
109.89/110.20 c GLOBAL bounds - >= -2790976 @ 105.426
109.98/110.32 c GLOBAL bounds - >= -2790976 @ 105.54
110.08/110.42 c GLOBAL bounds - >= -2790976 @ 105.627
110.18/110.51 c GLOBAL bounds - >= -2790976 @ 105.717
110.18/110.59 c GLOBAL bounds - >= -2790976 @ 105.8
110.38/110.70 c GLOBAL bounds - >= -2790976 @ 105.898
110.38/110.79 c GLOBAL bounds - >= -2790976 @ 105.983
111.68/112.06 c GLOBAL bounds - >= -2790976 @ 107.243
115.47/115.88 c #Conflicts: 12000 | #Constraints: 5890
115.47/115.88 c INPROCESSING
115.47/115.88 c GARBAGE COLLECT
115.47/115.88 c GLOBAL bounds - >= -2790976 @ 110.909
115.57/115.95 c GLOBAL bounds - >= -2790976 @ 110.967
115.68/116.01 c GLOBAL bounds - >= -2790976 @ 111.026
115.68/116.07 c GLOBAL bounds - >= -2790976 @ 111.086
115.77/116.13 c GLOBAL bounds - >= -2790976 @ 111.143
115.87/116.20 c GLOBAL bounds - >= -2790976 @ 111.203
115.87/116.28 c GLOBAL bounds - >= -2790976 @ 111.282
116.07/116.49 c GLOBAL bounds - >= -2790976 @ 111.48
116.17/116.56 c GLOBAL bounds - >= -2790976 @ 111.54
116.27/116.65 c GLOBAL bounds - >= -2790976 @ 111.63
116.46/116.85 c GLOBAL bounds - >= -2790976 @ 111.813
116.57/116.91 c GLOBAL bounds - >= -2790976 @ 111.874
116.57/117.00 c GLOBAL bounds - >= -2790976 @ 111.957
116.87/117.22 c GLOBAL bounds - >= -2790976 @ 112.171
116.97/117.30 c GLOBAL bounds - >= -2790976 @ 112.246
116.97/117.39 c GLOBAL bounds - >= -2790976 @ 112.33
117.26/117.66 c GLOBAL bounds - >= -2790976 @ 112.573
117.37/117.72 c GLOBAL bounds - >= -2790976 @ 112.633
117.37/117.79 c GLOBAL bounds - >= -2790976 @ 112.695
117.46/117.85 c GLOBAL bounds - >= -2790976 @ 112.754
117.56/117.91 c GLOBAL bounds - >= -2790976 @ 112.812
117.77/118.18 c GLOBAL bounds - >= -2790976 @ 113.051
117.86/118.25 c GLOBAL bounds - >= -2790976 @ 113.117
118.16/118.50 c GLOBAL bounds - >= -2790976 @ 113.346
118.36/118.78 c GLOBAL bounds - >= -2790976 @ 113.608
118.56/118.98 c GLOBAL bounds - >= -2790976 @ 113.798
118.86/119.20 c GLOBAL bounds - >= -2790976 @ 114.004
118.86/119.26 c GLOBAL bounds - >= -2790976 @ 114.065
118.96/119.33 c GLOBAL bounds - >= -2790976 @ 114.129
118.96/119.40 c GLOBAL bounds - >= -2790976 @ 114.192
119.36/119.71 c GLOBAL bounds - >= -2790976 @ 114.477
119.46/119.81 c GLOBAL bounds - >= -2790976 @ 114.574
119.66/120.05 c GLOBAL bounds - >= -2790976 @ 114.806
119.85/120.21 c GLOBAL bounds - >= -2790976 @ 114.954
119.96/120.31 c GLOBAL bounds - >= -2790976 @ 115.039
119.96/120.37 c GLOBAL bounds - >= -2790976 @ 115.099
120.15/120.50 c GLOBAL bounds - >= -2790976 @ 115.207
120.15/120.59 c GLOBAL bounds - >= -2790976 @ 115.297
120.36/120.78 c GLOBAL bounds - >= -2790976 @ 115.467
120.56/120.92 c GLOBAL bounds - >= -2790976 @ 115.597
120.66/121.08 c GLOBAL bounds - >= -2790976 @ 115.75
120.85/121.20 c GLOBAL bounds - >= -2790976 @ 115.857
120.85/121.27 c GLOBAL bounds - >= -2790976 @ 115.922
120.96/121.33 c GLOBAL bounds - >= -2790976 @ 115.985
121.05/121.40 c GLOBAL bounds - >= -2790976 @ 116.049
121.05/121.47 c GLOBAL bounds - >= -2790976 @ 116.114
121.16/121.54 c GLOBAL bounds - >= -2790976 @ 116.177
121.25/121.60 c GLOBAL bounds - >= -2790976 @ 116.241
121.45/121.83 c GLOBAL bounds - >= -2790976 @ 116.444
121.45/121.89 c GLOBAL bounds - >= -2790976 @ 116.508
121.55/121.98 c GLOBAL bounds - >= -2790976 @ 116.591
121.76/122.11 c GLOBAL bounds - >= -2790976 @ 116.709
241.03/241.75 c #Conflicts: 13000 | #Constraints: 4444
241.03/241.75 c #Conflicts: 14000 | #Constraints: 5444
241.03/241.75 c #Conflicts: 15000 | #Constraints: 6444
241.03/241.75 c INPROCESSING
241.03/241.75 c GARBAGE COLLECT
241.03/241.75 c #Conflicts: 16000 | #Constraints: 4671
241.03/241.75 c #Conflicts: 17000 | #Constraints: 5671
241.03/241.75 c #Conflicts: 18000 | #Constraints: 6671
241.03/241.75 c INPROCESSING
241.03/241.75 c GARBAGE COLLECT
241.03/241.75 c #Conflicts: 19000 | #Constraints: 4689
241.03/241.75 c #Conflicts: 20000 | #Constraints: 5689
241.03/241.75 c #Conflicts: 21000 | #Constraints: 6689
241.03/241.75 c INPROCESSING
241.03/241.75 c GARBAGE COLLECT
241.03/241.75 c #Conflicts: 22000 | #Constraints: 4495
241.03/241.75 c GLOBAL bounds - >= -2790976 @ 234.173
241.33/242.01 c GLOBAL bounds - >= -2790976 @ 234.42
241.33/242.08 c GLOBAL bounds - >= -2790976 @ 234.492
265.86/266.69 c #Conflicts: 23000 | #Constraints: 5501
265.86/266.69 c #Conflicts: 24000 | #Constraints: 6501
265.86/266.69 c GLOBAL bounds - >= -2790976 @ 258.389
272.45/273.26 c #Conflicts: 25000 | #Constraints: 7503
272.45/273.26 c INPROCESSING
272.45/273.26 c GARBAGE COLLECT
272.45/273.26 c GLOBAL bounds - >= -2790976 @ 264.77
275.14/275.91 c GLOBAL bounds - >= -2790976 @ 267.322
318.92/319.80 c #Conflicts: 26000 | #Constraints: 5110
318.92/319.80 c #Conflicts: 27000 | #Constraints: 6110
318.92/319.80 c #Conflicts: 28000 | #Constraints: 7110
318.92/319.80 c GLOBAL bounds - >= -2790976 @ 310.017
319.02/319.96 c GLOBAL bounds - >= -2790976 @ 310.17
319.12/320.09 c GLOBAL bounds - >= -2790976 @ 310.293
319.32/320.24 c GLOBAL bounds - >= -2790976 @ 310.434
320.72/321.70 c GLOBAL bounds - >= -2790976 @ 311.837
320.91/321.87 c GLOBAL bounds - >= -2790976 @ 312.011
321.12/322.03 c GLOBAL bounds - >= -2790976 @ 312.161
322.51/323.47 c #Conflicts: 29000 | #Constraints: 8124
322.51/323.47 c INPROCESSING
322.51/323.47 c GARBAGE COLLECT
322.51/323.47 c GLOBAL bounds - >= -2790976 @ 313.554
322.81/323.75 c GLOBAL bounds - >= -2790976 @ 313.822
323.12/324.03 c GLOBAL bounds - >= -2790976 @ 314.083
323.21/324.13 c GLOBAL bounds - >= -2790976 @ 314.171
323.31/324.25 c GLOBAL bounds - >= -2790976 @ 314.287
325.70/326.62 c GLOBAL bounds - >= -2790976 @ 316.537
325.80/326.71 c GLOBAL bounds - >= -2790976 @ 316.616
335.19/336.17 c #Conflicts: 30000 | #Constraints: 5538
335.19/336.17 c GLOBAL bounds - >= -2790976 @ 325.71
335.37/336.30 c GLOBAL bounds - >= -2790976 @ 325.842
335.48/336.44 c GLOBAL bounds - >= -2790976 @ 325.976
344.85/345.84 c #Conflicts: 31000 | #Constraints: 6544
344.85/345.84 c GLOBAL bounds - >= -2790976 @ 335.02
344.95/345.97 c GLOBAL bounds - >= -2790976 @ 335.147
345.16/346.16 c GLOBAL bounds - >= -2790976 @ 335.343
501.32/502.78 c #Conflicts: 32000 | #Constraints: 7550
501.32/502.78 c #Conflicts: 33000 | #Constraints: 8550
501.32/502.78 c INPROCESSING
501.32/502.78 c GARBAGE COLLECT
501.32/502.78 c #Conflicts: 34000 | #Constraints: 5752
501.32/502.78 c #Conflicts: 35000 | #Constraints: 6752
501.32/502.78 c #Conflicts: 36000 | #Constraints: 7752
501.32/502.78 c #Conflicts: 37000 | #Constraints: 8752
501.32/502.78 c INPROCESSING
501.32/502.78 c GARBAGE COLLECT
501.32/502.78 c #Conflicts: 38000 | #Constraints: 5752
501.32/502.78 c #Conflicts: 39000 | #Constraints: 6752
501.32/502.78 c #Conflicts: 40000 | #Constraints: 7752
501.32/502.78 c #Conflicts: 41000 | #Constraints: 8752
501.32/502.78 c INPROCESSING
501.32/502.78 c GARBAGE COLLECT
501.32/502.78 c GLOBAL bounds - >= -2790976 @ 489.848
557.96/559.55 c #Conflicts: 42000 | #Constraints: 5558
557.96/559.55 c #Conflicts: 43000 | #Constraints: 6558
557.96/559.55 c #Conflicts: 44000 | #Constraints: 7558
557.96/559.55 c #Conflicts: 45000 | #Constraints: 8558
557.96/559.55 c GLOBAL bounds - >= -2790976 @ 545.512
558.37/559.93 c GLOBAL bounds - >= -2790976 @ 545.881
559.26/560.85 c GLOBAL bounds - >= -2790976 @ 546.78
560.96/562.54 c GLOBAL bounds - >= -2790976 @ 548.421
561.66/563.25 c GLOBAL bounds - >= -2790976 @ 549.124
564.95/566.52 c GLOBAL bounds - >= -2790976 @ 552.311
565.15/566.73 c GLOBAL bounds - >= -2790976 @ 552.513
567.94/569.59 c GLOBAL bounds - >= -2790976 @ 555.254
568.24/569.83 c GLOBAL bounds - >= -2790976 @ 555.487
568.44/570.05 c GLOBAL bounds - >= -2790976 @ 555.688
568.64/570.23 c GLOBAL bounds - >= -2790976 @ 555.869
568.83/570.47 c GLOBAL bounds - >= -2790976 @ 556.102
570.72/572.33 c #Conflicts: 46000 | #Constraints: 9582
570.72/572.33 c GLOBAL bounds - >= -2790976 @ 557.887
579.90/581.55 c INPROCESSING
579.90/581.55 c GARBAGE COLLECT
579.90/581.55 c #Conflicts: 47000 | #Constraints: 6182
579.90/581.55 c GLOBAL bounds - >= -2790976 @ 566.719
653.21/655.06 c #Conflicts: 48000 | #Constraints: 7184
653.21/655.06 c #Conflicts: 49000 | #Constraints: 8184
653.21/655.06 c #Conflicts: 50000 | #Constraints: 9184
653.21/655.06 c #Conflicts: 51000 | #Constraints: 10184
653.21/655.06 c INPROCESSING
653.21/655.06 c GARBAGE COLLECT
653.21/655.06 c #Conflicts: 52000 | #Constraints: 6587
653.21/655.06 c #Conflicts: 53000 | #Constraints: 7587
653.21/655.06 c GLOBAL bounds - >= -2790976 @ 638.338
653.41/655.21 c GLOBAL bounds - >= -2790976 @ 638.481
653.61/655.42 c GLOBAL bounds - >= -2790976 @ 638.687
653.70/655.56 c GLOBAL bounds - >= -2790976 @ 638.82
653.81/655.68 c GLOBAL bounds - >= -2790976 @ 638.935
654.00/655.88 c GLOBAL bounds - >= -2790976 @ 639.128
654.21/656.07 c GLOBAL bounds - >= -2790976 @ 639.307
654.41/656.23 c GLOBAL bounds - >= -2790976 @ 639.467
654.50/656.36 c GLOBAL bounds - >= -2790976 @ 639.593
654.70/656.52 c GLOBAL bounds - >= -2790976 @ 639.737
654.80/656.64 c GLOBAL bounds - >= -2790976 @ 639.862
654.91/656.77 c GLOBAL bounds - >= -2790976 @ 639.986
655.11/656.91 c GLOBAL bounds - >= -2790976 @ 640.109
655.21/657.05 c GLOBAL bounds - >= -2790976 @ 640.248
655.41/657.20 c GLOBAL bounds - >= -2790976 @ 640.382
655.50/657.36 c GLOBAL bounds - >= -2790976 @ 640.539
655.70/657.53 c GLOBAL bounds - >= -2790976 @ 640.698
655.80/657.69 c GLOBAL bounds - >= -2790976 @ 640.855
656.00/657.80 c GLOBAL bounds - >= -2790976 @ 640.955
656.10/657.94 c GLOBAL bounds - >= -2790976 @ 641.093
656.40/658.21 c GLOBAL bounds - >= -2790976 @ 641.35
656.50/658.32 c GLOBAL bounds - >= -2790976 @ 641.449
656.60/658.45 c GLOBAL bounds - >= -2790976 @ 641.584
656.70/658.58 c GLOBAL bounds - >= -2790976 @ 641.706
656.80/658.69 c GLOBAL bounds - >= -2790976 @ 641.809
657.00/658.82 c GLOBAL bounds - >= -2790976 @ 641.939
657.20/659.04 c GLOBAL bounds - >= -2790976 @ 642.136
657.31/659.16 c GLOBAL bounds - >= -2790976 @ 642.26
657.40/659.29 c GLOBAL bounds - >= -2790976 @ 642.386
657.60/659.42 c GLOBAL bounds - >= -2790976 @ 642.505
657.69/659.55 c GLOBAL bounds - >= -2790976 @ 642.625
657.80/659.67 c GLOBAL bounds - >= -2790976 @ 642.748
657.99/659.80 c GLOBAL bounds - >= -2790976 @ 642.872
658.09/659.93 c GLOBAL bounds - >= -2790976 @ 642.996
658.20/660.06 c GLOBAL bounds - >= -2790976 @ 643.119
658.30/660.18 c GLOBAL bounds - >= -2790976 @ 643.234
658.50/660.32 c GLOBAL bounds - >= -2790976 @ 643.367
658.59/660.45 c GLOBAL bounds - >= -2790976 @ 643.488
658.70/660.56 c GLOBAL bounds - >= -2790976 @ 643.587
658.79/660.68 c GLOBAL bounds - >= -2790976 @ 643.706
658.99/660.81 c GLOBAL bounds - >= -2790976 @ 643.831
659.10/660.92 c GLOBAL bounds - >= -2790976 @ 643.931
659.20/661.05 c GLOBAL bounds - >= -2790976 @ 644.055
659.29/661.17 c GLOBAL bounds - >= -2790976 @ 644.176
659.49/661.30 c GLOBAL bounds - >= -2790976 @ 644.299
659.59/661.42 c GLOBAL bounds - >= -2790976 @ 644.42
659.70/661.54 c GLOBAL bounds - >= -2790976 @ 644.531
659.79/661.67 c GLOBAL bounds - >= -2790976 @ 644.654
659.99/661.81 c GLOBAL bounds - >= -2790976 @ 644.789
660.09/661.95 c GLOBAL bounds - >= -2790976 @ 644.923
660.19/662.05 c GLOBAL bounds - >= -2790976 @ 645.024
660.30/662.17 c GLOBAL bounds - >= -2790976 @ 645.136
660.39/662.29 c GLOBAL bounds - >= -2790976 @ 645.253
660.59/662.42 c GLOBAL bounds - >= -2790976 @ 645.378
660.69/662.55 c GLOBAL bounds - >= -2790976 @ 645.501
660.79/662.68 c GLOBAL bounds - >= -2790976 @ 645.632
660.89/662.79 c GLOBAL bounds - >= -2790976 @ 645.735
661.09/662.90 c GLOBAL bounds - >= -2790976 @ 645.847
661.19/663.02 c GLOBAL bounds - >= -2790976 @ 645.958
661.29/663.12 c GLOBAL bounds - >= -2790976 @ 646.058
661.39/663.23 c GLOBAL bounds - >= -2790976 @ 646.159
661.48/663.33 c GLOBAL bounds - >= -2790976 @ 646.262
661.58/663.44 c GLOBAL bounds - >= -2790976 @ 646.364
661.69/663.55 c GLOBAL bounds - >= -2790976 @ 646.476
661.79/663.67 c GLOBAL bounds - >= -2790976 @ 646.588
661.89/663.78 c GLOBAL bounds - >= -2790976 @ 646.696
661.99/663.89 c GLOBAL bounds - >= -2790976 @ 646.805
662.19/664.01 c GLOBAL bounds - >= -2790976 @ 646.916
662.29/664.11 c GLOBAL bounds - >= -2790976 @ 647.018
662.39/664.21 c GLOBAL bounds - >= -2790976 @ 647.118
662.48/664.33 c GLOBAL bounds - >= -2790976 @ 647.227
662.58/664.44 c GLOBAL bounds - >= -2790976 @ 647.339
662.69/664.55 c GLOBAL bounds - >= -2790976 @ 647.447
662.78/664.66 c GLOBAL bounds - >= -2790976 @ 647.548
662.88/664.77 c GLOBAL bounds - >= -2790976 @ 647.654
662.99/664.87 c GLOBAL bounds - >= -2790976 @ 647.755
663.08/664.98 c GLOBAL bounds - >= -2790976 @ 647.853
663.19/665.09 c GLOBAL bounds - >= -2790976 @ 647.962
663.38/665.21 c GLOBAL bounds - >= -2790976 @ 648.071
663.48/665.31 c GLOBAL bounds - >= -2790976 @ 648.174
663.58/665.41 c GLOBAL bounds - >= -2790976 @ 648.275
663.68/665.52 c GLOBAL bounds - >= -2790976 @ 648.376
663.78/665.62 c GLOBAL bounds - >= -2790976 @ 648.474
663.88/665.73 c GLOBAL bounds - >= -2790976 @ 648.587
663.98/665.85 c GLOBAL bounds - >= -2790976 @ 648.696
664.19/666.05 c GLOBAL bounds - >= -2790976 @ 648.891
664.28/666.17 c GLOBAL bounds - >= -2790976 @ 648.999
664.38/666.27 c GLOBAL bounds - >= -2790976 @ 649.1
664.48/666.37 c GLOBAL bounds - >= -2790976 @ 649.201
664.58/666.48 c GLOBAL bounds - >= -2790976 @ 649.3
664.68/666.58 c GLOBAL bounds - >= -2790976 @ 649.399
664.78/666.69 c GLOBAL bounds - >= -2790976 @ 649.51
664.98/666.81 c GLOBAL bounds - >= -2790976 @ 649.62
665.08/666.92 c GLOBAL bounds - >= -2790976 @ 649.727
665.18/667.02 c GLOBAL bounds - >= -2790976 @ 649.822
665.28/667.12 c GLOBAL bounds - >= -2790976 @ 649.918
665.38/667.23 c GLOBAL bounds - >= -2790976 @ 650.026
665.48/667.34 c GLOBAL bounds - >= -2790976 @ 650.132
665.58/667.46 c GLOBAL bounds - >= -2790976 @ 650.239
665.68/667.56 c GLOBAL bounds - >= -2790976 @ 650.336
665.78/667.66 c GLOBAL bounds - >= -2790976 @ 650.436
665.88/667.78 c GLOBAL bounds - >= -2790976 @ 650.549
667.77/669.67 c GLOBAL bounds - >= -2790976 @ 652.377
692.51/694.49 c #Conflicts: 54000 | #Constraints: 8793
692.51/694.49 c #Conflicts: 55000 | #Constraints: 9793
692.51/694.49 c GLOBAL bounds - >= -2790976 @ 676.645
692.91/694.84 c GLOBAL bounds - >= -2790976 @ 676.995
693.11/695.03 c GLOBAL bounds - >= -2790976 @ 677.184
693.30/695.26 c GLOBAL bounds - >= -2790976 @ 677.404
708.26/710.22 c #Conflicts: 56000 | #Constraints: 10801
708.26/710.22 c INPROCESSING
708.26/710.22 c GARBAGE COLLECT
708.26/710.22 c #Conflicts: 57000 | #Constraints: 7000
708.26/710.22 c GLOBAL bounds - >= -2790976 @ 692.121
708.46/710.43 c GLOBAL bounds - >= -2790976 @ 692.326
708.56/710.54 c GLOBAL bounds - >= -2790976 @ 692.439
708.66/710.67 c GLOBAL bounds - >= -2790976 @ 692.561
708.76/710.77 c GLOBAL bounds - >= -2790976 @ 692.662
708.86/710.89 c GLOBAL bounds - >= -2790976 @ 692.777
709.25/711.23 c GLOBAL bounds - >= -2790976 @ 693.113
830.92/833.23 c #Conflicts: 58000 | #Constraints: 8014
830.92/833.23 c #Conflicts: 59000 | #Constraints: 9014
830.92/833.23 c #Conflicts: 60000 | #Constraints: 10014
830.92/833.23 c #Conflicts: 61000 | #Constraints: 11014
830.92/833.23 c INPROCESSING
830.92/833.23 c GARBAGE COLLECT
830.92/833.23 c #Conflicts: 62000 | #Constraints: 7011
830.92/833.23 c #Conflicts: 63000 | #Constraints: 8011
830.92/833.23 c #Conflicts: 64000 | #Constraints: 9011
830.92/833.23 c GLOBAL bounds - >= -2790976 @ 813.66
833.22/835.54 c GLOBAL bounds - >= -2790976 @ 815.953
833.32/835.67 c GLOBAL bounds - >= -2790976 @ 816.079
833.52/835.83 c GLOBAL bounds - >= -2790976 @ 816.237
833.62/835.96 c GLOBAL bounds - >= -2790976 @ 816.359
833.72/836.09 c GLOBAL bounds - >= -2790976 @ 816.478
833.92/836.22 c GLOBAL bounds - >= -2790976 @ 816.608
834.01/836.39 c GLOBAL bounds - >= -2790976 @ 816.766
844.59/846.98 c #Conflicts: 65000 | #Constraints: 10027
844.59/846.98 c GLOBAL bounds - >= -2790976 @ 827.105
969.94/972.60 c #Conflicts: 66000 | #Constraints: 11029
969.94/972.60 c INPROCESSING
969.94/972.60 c GARBAGE COLLECT
969.94/972.60 c #Conflicts: 67000 | #Constraints: 6830
969.94/972.60 c #Conflicts: 68000 | #Constraints: 7830
969.94/972.60 c #Conflicts: 69000 | #Constraints: 8830
969.94/972.60 c #Conflicts: 70000 | #Constraints: 9830
969.94/972.60 c #Conflicts: 71000 | #Constraints: 10830
969.94/972.60 c #Conflicts: 72000 | #Constraints: 11830
969.94/972.60 c INPROCESSING
969.94/972.60 c GARBAGE COLLECT
969.94/972.60 c #Conflicts: 73000 | #Constraints: 7430
969.94/972.60 c GLOBAL bounds - >= -2790976 @ 950.686
970.25/972.95 c GLOBAL bounds - >= -2790976 @ 951.024
971.04/973.75 c GLOBAL bounds - >= -2790976 @ 951.817
996.48/999.26 c #Conflicts: 74000 | #Constraints: 8436
996.48/999.26 c #Conflicts: 75000 | #Constraints: 9436
996.48/999.26 c GLOBAL bounds - >= -2790976 @ 976.736
997.67/1000.49 c GLOBAL bounds - >= -2790976 @ 977.961
997.87/1000.67 c GLOBAL bounds - >= -2790976 @ 978.138
998.57/1001.39 c GLOBAL bounds - >= -2790976 @ 978.848
1009.35/1012.11 c #Conflicts: 76000 | #Constraints: 10444
1009.35/1012.11 c GLOBAL bounds - >= -2790976 @ 989.262
1029.49/1032.33 c #Conflicts: 77000 | #Constraints: 11446
1029.49/1032.33 c GLOBAL bounds - >= -2790976 @ 1008.98
1584.16/1588.54 c #Conflicts: 78000 | #Constraints: 12448
1584.16/1588.54 c INPROCESSING
1584.16/1588.54 c GARBAGE COLLECT
1584.16/1588.54 c #Conflicts: 79000 | #Constraints: 7846
1584.16/1588.54 c #Conflicts: 80000 | #Constraints: 8846
1584.16/1588.54 c #Conflicts: 81000 | #Constraints: 9846
1584.16/1588.54 c #Conflicts: 82000 | #Constraints: 10846
1584.16/1588.54 c #Conflicts: 83000 | #Constraints: 11846
1584.16/1588.54 c #Conflicts: 84000 | #Constraints: 12846
1584.16/1588.54 c INPROCESSING
1584.16/1588.54 c GARBAGE COLLECT
1584.16/1588.54 c #Conflicts: 85000 | #Constraints: 8046
1584.16/1588.54 c #Conflicts: 86000 | #Constraints: 9046
1584.16/1588.54 c #Conflicts: 87000 | #Constraints: 10046
1584.16/1588.54 c #Conflicts: 88000 | #Constraints: 11046
1584.16/1588.54 c #Conflicts: 89000 | #Constraints: 12046
1584.16/1588.54 c #Conflicts: 90000 | #Constraints: 13046
1584.16/1588.54 c INPROCESSING
1584.16/1588.54 c GARBAGE COLLECT
1584.16/1588.54 c #Conflicts: 91000 | #Constraints: 8044
1584.16/1588.54 c #Conflicts: 92000 | #Constraints: 9044
1584.16/1588.54 c #Conflicts: 93000 | #Constraints: 10044
1584.16/1588.54 c #Conflicts: 94000 | #Constraints: 11044
1584.16/1588.54 c #Conflicts: 95000 | #Constraints: 12044
1584.16/1588.54 c #Conflicts: 96000 | #Constraints: 13044
1584.16/1588.54 c INPROCESSING
1584.16/1588.54 c GARBAGE COLLECT
1584.16/1588.54 c #Conflicts: 97000 | #Constraints: 7846
1584.16/1588.54 c #Conflicts: 98000 | #Constraints: 8846
1584.16/1588.54 c #Conflicts: 99000 | #Constraints: 9846
1584.16/1588.54 c #Conflicts: 100000 | #Constraints: 10846
1584.16/1588.54 c #Conflicts: 101000 | #Constraints: 11846
1584.16/1588.54 c #Conflicts: 102000 | #Constraints: 12846
1584.16/1588.54 c #Conflicts: 103000 | #Constraints: 13846
1584.16/1588.54 c INPROCESSING
1584.16/1588.54 c GARBAGE COLLECT
1584.16/1588.54 c #Conflicts: 104000 | #Constraints: 8447
1584.16/1588.54 c #Conflicts: 105000 | #Constraints: 9447
1584.16/1588.54 c #Conflicts: 106000 | #Constraints: 10447
1584.16/1588.54 c #Conflicts: 107000 | #Constraints: 11447
1584.16/1588.54 c GLOBAL bounds - >= -2790976 @ 1559.56
1586.15/1590.58 c GLOBAL bounds - >= -2790976 @ 1561.58
1586.36/1590.73 c GLOBAL bounds - >= -2790976 @ 1561.74
1586.56/1590.90 c GLOBAL bounds - >= -2790976 @ 1561.9
1588.15/1592.58 c GLOBAL bounds - >= -2790976 @ 1563.57
1588.35/1592.74 c GLOBAL bounds - >= -2790976 @ 1563.73
1588.55/1592.90 c GLOBAL bounds - >= -2790976 @ 1563.89
1590.15/1594.51 c GLOBAL bounds - >= -2790976 @ 1565.49
1590.25/1594.67 c GLOBAL bounds - >= -2790976 @ 1565.64
1590.44/1594.82 c GLOBAL bounds - >= -2790976 @ 1565.79
1591.94/1596.37 c GLOBAL bounds - >= -2790976 @ 1567.33
1592.24/1596.62 c GLOBAL bounds - >= -2790976 @ 1567.57
1592.44/1596.81 c GLOBAL bounds - >= -2790976 @ 1567.75
1592.54/1596.98 c GLOBAL bounds - >= -2790976 @ 1567.93
1595.13/1599.51 c GLOBAL bounds - >= -2790976 @ 1570.43
1601.92/1606.37 c #Conflicts: 108000 | #Constraints: 12477
1601.92/1606.37 c GLOBAL bounds - >= -2790976 @ 1577.22
1602.12/1606.56 c GLOBAL bounds - >= -2790976 @ 1577.41
1602.31/1606.75 c GLOBAL bounds - >= -2790976 @ 1577.6
1603.62/1608.05 c GLOBAL bounds - >= -2790976 @ 1578.89
1687.78/1692.41 c #Conflicts: 109000 | #Constraints: 13485
1687.78/1692.41 c #Conflicts: 110000 | #Constraints: 14485
1687.78/1692.41 c INPROCESSING
1687.78/1692.41 c GARBAGE COLLECT
1687.78/1692.41 c #Conflicts: 111000 | #Constraints: 8885
1687.78/1692.41 c #Conflicts: 112000 | #Constraints: 9885
1687.78/1692.41 c #Conflicts: 113000 | #Constraints: 10885
1687.78/1692.41 c GLOBAL bounds - >= -2790976 @ 1662.33
1691.87/1696.55 c GLOBAL bounds - >= -2790976 @ 1666.42
1692.27/1696.98 c GLOBAL bounds - >= -2790976 @ 1666.84
1692.47/1697.19 c GLOBAL bounds - >= -2790976 @ 1667.05
1692.86/1697.52 c GLOBAL bounds - >= -2790976 @ 1667.38
1909.52/1914.88 c #Conflicts: 114000 | #Constraints: 11895
1909.52/1914.88 c #Conflicts: 115000 | #Constraints: 12895
1909.52/1914.88 c #Conflicts: 116000 | #Constraints: 13895
1909.52/1914.88 c #Conflicts: 117000 | #Constraints: 14895
1909.52/1914.88 c INPROCESSING
1909.52/1914.88 c GARBAGE COLLECT
1909.52/1914.88 c #Conflicts: 118000 | #Constraints: 9097
1909.52/1914.88 c #Conflicts: 119000 | #Constraints: 10097
1909.52/1914.88 c #Conflicts: 120000 | #Constraints: 11097
1909.52/1914.88 c #Conflicts: 121000 | #Constraints: 12097
1909.52/1914.88 c #Conflicts: 122000 | #Constraints: 13097
1909.52/1914.88 c #Conflicts: 123000 | #Constraints: 14097
1909.52/1914.88 c #Conflicts: 124000 | #Constraints: 15097
1909.52/1914.88 c INPROCESSING
1909.52/1914.88 c GARBAGE COLLECT
1909.52/1914.88 c #Conflicts: 125000 | #Constraints: 9100
1909.52/1914.88 c GLOBAL bounds - >= -2790976 @ 1882.18
1909.93/1915.27 c GLOBAL bounds - >= -2790976 @ 1882.57
1910.13/1915.42 c GLOBAL bounds - >= -2790976 @ 1882.72
1910.23/1915.59 c GLOBAL bounds - >= -2790976 @ 1882.89
1912.92/1918.23 c GLOBAL bounds - >= -2790976 @ 1885.5
1914.61/1919.93 c GLOBAL bounds - >= -2790976 @ 1887.18
1915.81/1921.12 c GLOBAL bounds - >= -2790976 @ 1888.33
1915.90/1921.24 c GLOBAL bounds - >= -2790976 @ 1888.45
1927.48/1932.85 c #Conflicts: 126000 | #Constraints: 10116
1927.48/1932.85 c GLOBAL bounds - >= -2790976 @ 1899.8
1927.58/1933.00 c GLOBAL bounds - >= -2790976 @ 1899.96
1927.78/1933.14 c GLOBAL bounds - >= -2790976 @ 1900.09
1927.97/1933.34 c GLOBAL bounds - >= -2790976 @ 1900.29
1929.47/1934.86 c GLOBAL bounds - >= -2790976 @ 1901.77
1929.57/1934.99 c GLOBAL bounds - >= -2790976 @ 1901.9
1929.78/1935.19 c GLOBAL bounds - >= -2790976 @ 1902.1
1930.07/1935.49 c GLOBAL bounds - >= -2790976 @ 1902.39
1930.27/1935.61 c GLOBAL bounds - >= -2790976 @ 1902.52
1930.37/1935.76 c GLOBAL bounds - >= -2790976 @ 1902.66
1930.57/1935.90 c GLOBAL bounds - >= -2790976 @ 1902.8
1930.68/1936.04 c GLOBAL bounds - >= -2790976 @ 1902.92
1930.78/1936.17 c GLOBAL bounds - >= -2790976 @ 1903.05
1930.97/1936.31 c GLOBAL bounds - >= -2790976 @ 1903.19
2003.07/2008.64 c #Conflicts: 127000 | #Constraints: 11144
2003.07/2008.64 c #Conflicts: 128000 | #Constraints: 12144
2003.07/2008.64 c #Conflicts: 129000 | #Constraints: 13144
2003.07/2008.64 c #Conflicts: 130000 | #Constraints: 14144
2003.07/2008.64 c #Conflicts: 131000 | #Constraints: 15144
2003.07/2008.64 c GLOBAL bounds - >= -2790976 @ 1974.78
2007.35/2012.91 c GLOBAL bounds - >= -2790976 @ 1979.02
2007.56/2013.17 c GLOBAL bounds - >= -2790976 @ 1979.28
2106.95/2112.88 c INPROCESSING
2106.95/2112.88 c GARBAGE COLLECT
2106.95/2112.88 c #Conflicts: 132000 | #Constraints: 8949
2106.95/2112.88 c #Conflicts: 133000 | #Constraints: 9949
2106.95/2112.88 c #Conflicts: 134000 | #Constraints: 10949
2106.95/2112.88 c #Conflicts: 135000 | #Constraints: 11949
2106.95/2112.88 c #Conflicts: 136000 | #Constraints: 12949
2106.95/2112.88 c #Conflicts: 137000 | #Constraints: 13949
2106.95/2112.88 c GLOBAL bounds - >= -2790976 @ 2077.83
2109.26/2115.17 c GLOBAL bounds - >= -2790976 @ 2080.1
2109.45/2115.38 c GLOBAL bounds - >= -2790976 @ 2080.31
2109.65/2115.59 c GLOBAL bounds - >= -2790976 @ 2080.51
2111.94/2117.82 c GLOBAL bounds - >= -2790976 @ 2082.73
2112.15/2118.01 c GLOBAL bounds - >= -2790976 @ 2082.92
2112.34/2118.20 c GLOBAL bounds - >= -2790976 @ 2083.11
2112.74/2118.65 c GLOBAL bounds - >= -2790976 @ 2083.56
2134.88/2140.81 c #Conflicts: 138000 | #Constraints: 14965
2134.88/2140.81 c #Conflicts: 139000 | #Constraints: 15965
2134.88/2140.81 c INPROCESSING
2134.88/2140.81 c GARBAGE COLLECT
2134.88/2140.81 c GLOBAL bounds - >= -2790976 @ 2105.18
2146.85/2152.85 c #Conflicts: 140000 | #Constraints: 9562
2146.85/2152.85 c GLOBAL bounds - >= -2790976 @ 2117.11
2249.64/2255.99 c #Conflicts: 141000 | #Constraints: 10564
2249.64/2255.99 c #Conflicts: 142000 | #Constraints: 11564
2249.64/2255.99 c #Conflicts: 143000 | #Constraints: 12564
2249.64/2255.99 c #Conflicts: 144000 | #Constraints: 13564
2249.64/2255.99 c #Conflicts: 145000 | #Constraints: 14564
2249.64/2255.99 c #Conflicts: 146000 | #Constraints: 15564
2249.64/2255.99 c #Conflicts: 147000 | #Constraints: 16564
2249.64/2255.99 c INPROCESSING
2249.64/2255.99 c GARBAGE COLLECT
2249.64/2255.99 c GLOBAL bounds - >= -2790976 @ 2218.77
2249.76/2256.09 c GLOBAL bounds - >= -2790976 @ 2218.86
2249.85/2256.19 c GLOBAL bounds - >= -2790976 @ 2218.96
2250.05/2256.39 c GLOBAL bounds - >= -2790976 @ 2219.15
2252.94/2259.22 c GLOBAL bounds - >= -2790976 @ 2221.88
2256.93/2263.25 c GLOBAL bounds - >= -2790976 @ 2225.81
2329.42/2335.98 c #Conflicts: 148000 | #Constraints: 9992
2329.42/2335.98 c #Conflicts: 149000 | #Constraints: 10992
2329.42/2335.98 c #Conflicts: 150000 | #Constraints: 11992
2329.42/2335.98 c #Conflicts: 151000 | #Constraints: 12992
2329.42/2335.98 c #Conflicts: 152000 | #Constraints: 13992
2329.42/2335.98 c GLOBAL bounds - >= -2790976 @ 2297.92
2330.02/2336.57 c GLOBAL bounds - >= -2790976 @ 2298.5
2330.22/2336.72 c GLOBAL bounds - >= -2790976 @ 2298.65
2330.32/2336.88 c GLOBAL bounds - >= -2790976 @ 2298.81
2330.82/2337.38 c GLOBAL bounds - >= -2790976 @ 2299.3
2331.11/2337.60 c GLOBAL bounds - >= -2790976 @ 2299.52
2331.41/2337.94 c GLOBAL bounds - >= -2790976 @ 2299.86
2332.21/2338.75 c GLOBAL bounds - >= -2790976 @ 2300.66
2332.41/2338.97 c GLOBAL bounds - >= -2790976 @ 2300.87
2335.90/2342.47 c GLOBAL bounds - >= -2790976 @ 2304.3
2381.67/2388.33 c #Conflicts: 153000 | #Constraints: 15012
2381.67/2388.33 c #Conflicts: 154000 | #Constraints: 16012
2381.67/2388.33 c #Conflicts: 155000 | #Constraints: 17012
2381.67/2388.33 c INPROCESSING
2381.67/2388.33 c GARBAGE COLLECT
2381.67/2388.33 c GLOBAL bounds - >= -2790976 @ 2349.75
2389.95/2396.63 c #Conflicts: 156000 | #Constraints: 10213
2389.95/2396.63 c GLOBAL bounds - >= -2790976 @ 2357.95
2390.55/2397.27 c GLOBAL bounds - >= -2790976 @ 2358.58
2393.05/2399.72 c GLOBAL bounds - >= -2790976 @ 2361.01
2393.45/2400.11 c GLOBAL bounds - >= -2790976 @ 2361.4
2395.03/2401.75 c #Conflicts: 157000 | #Constraints: 11221
2395.03/2401.75 c GLOBAL bounds - >= -2790976 @ 2363.02
2395.84/2402.51 c GLOBAL bounds - >= -2790976 @ 2363.78
2395.93/2402.67 c GLOBAL bounds - >= -2790976 @ 2363.93
2401.92/2408.63 c GLOBAL bounds - >= -2790976 @ 2369.84
2402.12/2408.80 c GLOBAL bounds - >= -2790976 @ 2370.01
2402.22/2408.92 c GLOBAL bounds - >= -2790976 @ 2370.13
2402.32/2409.04 c GLOBAL bounds - >= -2790976 @ 2370.25
2566.46/2573.66 c #Conflicts: 158000 | #Constraints: 12235
2566.46/2573.66 c #Conflicts: 159000 | #Constraints: 13235
2566.46/2573.66 c #Conflicts: 160000 | #Constraints: 14235
2566.46/2573.66 c #Conflicts: 161000 | #Constraints: 15235
2566.46/2573.66 c #Conflicts: 162000 | #Constraints: 16235
2566.46/2573.66 c #Conflicts: 163000 | #Constraints: 17235
2566.46/2573.66 c INPROCESSING
2566.46/2573.66 c GARBAGE COLLECT
2566.46/2573.66 c #Conflicts: 164000 | #Constraints: 10228
2566.46/2573.66 c #Conflicts: 165000 | #Constraints: 11228
2566.46/2573.66 c #Conflicts: 166000 | #Constraints: 12228
2566.46/2573.66 c #Conflicts: 167000 | #Constraints: 13228
2566.46/2573.66 c #Conflicts: 168000 | #Constraints: 14228
2566.46/2573.66 c #Conflicts: 169000 | #Constraints: 15228
2566.46/2573.66 c #Conflicts: 170000 | #Constraints: 16228
2566.46/2573.66 c GLOBAL bounds - >= -2790976 @ 2533.96
2566.75/2573.97 c GLOBAL bounds - >= -2790976 @ 2534.27
2567.05/2574.20 c GLOBAL bounds - >= -2790976 @ 2534.49
2634.16/2641.51 c #Conflicts: 171000 | #Constraints: 17234
2634.16/2641.51 c INPROCESSING
2634.16/2641.51 c GARBAGE COLLECT
2634.16/2641.51 c #Conflicts: 172000 | #Constraints: 10046
2634.16/2641.51 c #Conflicts: 173000 | #Constraints: 11046
2634.16/2641.51 c #Conflicts: 174000 | #Constraints: 12046
2634.16/2641.51 c GLOBAL bounds - >= -2790976 @ 2601.41
2634.27/2641.65 c GLOBAL bounds - >= -2790976 @ 2601.55
2634.37/2641.78 c GLOBAL bounds - >= -2790976 @ 2601.68
2643.24/2650.64 c #Conflicts: 175000 | #Constraints: 13052
2643.24/2650.64 c GLOBAL bounds - >= -2790976 @ 2610.49
2643.44/2650.84 c GLOBAL bounds - >= -2790976 @ 2610.69
2649.52/2656.97 c GLOBAL bounds - >= -2790976 @ 2616.79
2649.73/2657.12 c GLOBAL bounds - >= -2790976 @ 2616.94
2650.43/2657.87 c #Conflicts: 176000 | #Constraints: 14060
2650.43/2657.87 c GLOBAL bounds - >= -2790976 @ 2617.68
2659.71/2667.19 c GLOBAL bounds - >= -109060 @ 2626.94
2659.80/2667.28 c rational objective -109227
2659.80/2667.28 c Inconsistent constraint found
2659.80/2667.28 c cpu time 2627.03 s
2659.80/2667.28 c deterministic time 22025 2.20e+04
2659.80/2667.28 c optimization time 2627.02 s
2659.80/2667.28 c total solve time 0.010486 s
2659.80/2667.28 c core-guided solve time 0 s
2659.80/2667.28 c propagation time 0.002495 s
2659.80/2667.28 c conflict analysis time 0 s
2659.80/2667.28 c propagations 4793
2659.80/2667.28 c resolve steps 0
2659.80/2667.28 c decisions 922
2659.80/2667.28 c conflicts 0
2659.80/2667.28 c restarts 1
2659.80/2667.28 c inprocessing phases 0
2659.80/2667.28 c garbage collections 0 ,( -nan )
2659.80/2667.28 c input clauses 0 ,( 0.00 )
2659.80/2667.28 c input cardinalities 0 ,( 0.00 )
2659.80/2667.28 c input general constraints 2 ,( 100.00 )
2659.80/2667.28 c input average constraint length 5000.00
2659.80/2667.28 c input average constraint degree 2333206.00
2659.80/2667.28 c learned clauses 0 ,( 0.00 )
2659.80/2667.28 c learned cardinalities 0 ,( 0.00 )
2659.80/2667.28 c learned general constraints 1 ,( 100.00 )
2659.80/2667.28 c learned average constraint length 4836.00
2659.80/2667.28 c learned average constraint degree 871080137200.00
2659.80/2667.28 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2659.80/2667.28 c counting CF 32, 64, 128, Arb: 4 , 0 , 0 , 0
2659.80/2667.28 c watched constraints 0 ,( 0.00 )
2659.80/2667.28 c counting constraints 3 ,( 100.00 )
2659.80/2667.28 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 68 ,( 0 , 68 )
2659.80/2667.28 c gcd simplifications 0
2659.80/2667.28 c detected cardinalities 0
2659.80/2667.28 c weakened non-implied lits 0
2659.80/2667.28 c weakened non-implying lits 0
2659.80/2667.28 c original variables 5000
2659.80/2667.28 c clausal propagations 0
2659.80/2667.28 c cardinality propagations 0
2659.80/2667.28 c watched propagations 0
2659.80/2667.28 c counting propagations 4793
2659.80/2667.28 c watch lookups 592
2659.80/2667.28 c watch backjump lookups 0
2659.80/2667.28 c watch checks 0
2659.80/2667.28 c propagation checks 10000
2659.80/2667.28 c constraint additions 0
2659.80/2667.28 c trail pops 5715
2659.80/2667.28 c formula constraints 1
2659.80/2667.28 c learned constraints 0
2659.80/2667.28 c bound constraints 0
2659.80/2667.28 c core-guided constraints 0
2659.80/2667.28 c encountered formula constraints 0
2659.80/2667.28 c encountered learned constraints 0
2659.80/2667.28 c encountered bound constraints 0
2659.80/2667.28 c encountered core-guided constraints 0
2659.80/2667.28 c LP total time 0.008254 s
2659.80/2667.28 c LP solve time 0 s
2659.80/2667.28 c LP constraints added 2
2659.80/2667.28 c LP constraints removed 0
2659.80/2667.28 c LP pivots internal 1
2659.80/2667.28 c LP pivots root 1
2659.80/2667.28 c LP calls 2
2659.80/2667.28 c LP optimalities 2
2659.80/2667.28 c LP no pivot count 0
2659.80/2667.28 c LP infeasibilities 0
2659.80/2667.28 c LP valid Farkas constraints 0
2659.80/2667.28 c LP learned Farkas constraints 0
2659.80/2667.28 c LP basis resets 0
2659.80/2667.28 c LP cycling count 0
2659.80/2667.28 c LP singular count 0
2659.80/2667.28 c LP no primal count 0
2659.80/2667.28 c LP no farkas count 0
2659.80/2667.28 c LP other issue count 0
2659.80/2667.28 c LP Gomory cuts 1
2659.80/2667.28 c LP learned cuts 0
2659.80/2667.28 c LP deleted cuts 0
2659.80/2667.28 c LP encountered Gomory constraints 0
2659.80/2667.28 c LP encountered Farkas constraints 0
2659.80/2667.28 c LP encountered learned Farkas constraints 0
2659.80/2667.28 c CG auxiliary variables introduced 715
2659.80/2667.28 c CG solutions found 1
2659.80/2667.28 c CG cores constructed 0
2659.80/2667.28 c CG core cardinality constraints returned 0
2659.80/2667.28 c CG unit cores 0
2659.80/2667.28 c CG single cores 0
2659.80/2667.28 c CG blocks removed during cardinality reduction 0
2659.80/2667.28 c CG first core best 0
2659.80/2667.28 c CG decision core best 0
2659.80/2667.28 c CG core reduction tie 0
2659.80/2667.28 c CG core degree average 0.00
2659.80/2667.28 c CG core slack average 0.00
2659.80/2667.28 c CG core upper bound improvements 0
2659.80/2667.28 c STR number of successful calls 0
2659.80/2667.28 c STR number of unsuccessful calls 0
2659.80/2667.28 c STR number of inconclusive calls 0
2659.80/2667.28 c STR number of successful attempts 0
2659.80/2667.28 c STR number of unsuccessful attempts 0
2659.80/2667.28 c STR number of inconclusive attempts 0
2659.80/2667.28 c STR average degree increase per successful call inf
2659.80/2667.28 c STR average degree increase per successful attempt inf
2659.80/2667.28 c STR total number of conflicts for successful attempts 0
2659.80/2667.28 c STR total number of conflicts for unsuccessful attempts 0
2659.80/2667.28 c STR total number of conflicts for inconclusive attempts 0
2659.80/2667.28 c STR average number of conflicts per successful attempt inf
2659.80/2667.28 c STR average number of conflicts per unsuccessful attempt inf
2659.80/2667.28 c STR average number of conflicts per inconclusive attempt inf
2659.80/2667.28 c AVG.sumWPerc 99.67
2659.80/2667.28 c bigint constraints 0
2659.80/2667.28 o -109060
2659.80/2667.28 s OPTIMUM FOUND
2659.80/2667.28 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: 63708 MiB (50136 MiB free)
memory of node 1: 64465 MiB (56986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518042-1751540878/watcher-4518042-1751540878 -o /tmp/evaluation-result-4518042-1751540878/solver-4518042-1751540878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4518042-1751540878.opb
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 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
Current StackSize limit: 8192 KiB
solver pid=77232, runsolver pid=77229
[startup+0.100036 s]*
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109686180/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=63392 memory=15916 CPUtime=0.09 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 1547 0 0 0 4 5 0 0 20 0 1 0 69765626 64913408 3979 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 15848 3979 2336 1147 0 3275 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67584 KiB
Current children cumulated memory: 18988 KiB
[startup+0.205857 s]*
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109676100/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=63528 memory=16172 CPUtime=0.19 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 1588 0 0 0 8 11 0 0 20 0 1 0 69765626 65052672 4043 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 15882 4043 2336 1147 0 3309 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67720 KiB
Current children cumulated memory: 19244 KiB
[startup+0.305252 s]*
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109676100/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=63816 memory=16428 CPUtime=0.28 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 1656 0 0 0 12 16 0 0 20 0 1 0 69765626 65347584 4107 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 15954 4107 2336 1147 0 3381 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68008 KiB
Current children cumulated memory: 19500 KiB
[startup+0.700194 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109675344/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=69108 memory=21420 CPUtime=0.68 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 2926 0 0 0 36 32 0 0 20 0 1 0 69765626 70766592 5355 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 17277 5355 2336 1147 0 4704 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73300 KiB
Current children cumulated memory: 24492 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109665264/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=84148 memory=38104 CPUtime=1.47 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 6537 0 0 0 95 52 0 0 20 0 1 0 69765626 86167552 9526 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 21037 9526 2368 1147 0 8464 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 88340 KiB
Current children cumulated memory: 41176 KiB
[startup+3.10566 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 77234
/proc/meminfo: memFree=109617616/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=136616 memory=86748 CPUtime=3.08 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 16156 0 0 0 246 62 0 0 20 0 1 0 69765626 139894784 21687 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 34154 21687 2368 1147 0 21581 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 140808 KiB
Current children cumulated memory: 89820 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 77234
/proc/meminfo: memFree=109549552/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=253032 memory=180948 CPUtime=6.26 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 35638 0 0 0 549 77 0 0 20 0 1 0 69765626 259104768 45237 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 63258 45237 2368 1147 0 50685 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 257224 KiB
Current children cumulated memory: 184020 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 77234
/proc/meminfo: memFree=109454428/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=295264 memory=243112 CPUtime=12.65 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 44015 0 0 0 1132 133 0 0 20 0 1 0 69765626 302350336 60778 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 73816 60778 2368 1147 0 61243 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 299456 KiB
Current children cumulated memory: 246184 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 77236
/proc/meminfo: memFree=109309388/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=487212 memory=371320 CPUtime=25.41 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 70466 0 0 0 2339 202 0 0 20 0 1 0 69765626 498905088 92830 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 121803 92830 2368 1147 0 109230 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 374392 KiB
[startup+51.1058 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 77236
/proc/meminfo: memFree=109192084/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=579992 memory=459532 CPUtime=50.94 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 82799 0 0 0 4773 321 0 0 20 0 1 0 69765626 593911808 114883 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 144998 114883 2368 1147 0 132425 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 584184 KiB
Current children cumulated memory: 462604 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 77239
/proc/meminfo: memFree=108990916/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=870460 memory=654892 CPUtime=102.01 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 126040 0 0 0 9771 430 0 0 20 0 1 0 69765626 891351040 163723 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 217615 163723 2368 1147 0 205042 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 874652 KiB
Current children cumulated memory: 657964 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 77241
/proc/meminfo: memFree=108881264/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=871228 memory=718628 CPUtime=161.85 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 133824 0 0 0 15615 570 0 0 20 0 1 0 69765626 892137472 179657 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 217807 179657 2368 1147 0 205234 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 875420 KiB
Current children cumulated memory: 721700 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 77246
/proc/meminfo: memFree=108812200/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=1012448 memory=768964 CPUtime=221.68 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 141305 0 0 0 21510 658 0 0 20 0 1 0 69765626 1036746752 192241 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 253112 192241 2368 1147 0 240539 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 322161 0 0 0 246297 3239 0 0 20 0 1 0 69765626 2050654208 458625 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 500648 458625 2368 1147 0 488075 0
Current children cumulated CPU time: 2495.36 s
Current children cumulated vsize: 2006784 KiB
Current children cumulated memory: 1837572 KiB
[startup+2562.3 s]
/proc/loadavg: 2.16 2.69 3.31 3/254 77416
/proc/meminfo: memFree=111488324/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2011296 memory=1849732 CPUtime=2555.19 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 324935 0 0 0 252266 3253 0 0 20 0 1 0 69765626 2059567104 462433 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 502824 462433 2368 1147 0 490251 0
Current children cumulated CPU time: 2555.19 s
Current children cumulated vsize: 2015488 KiB
Current children cumulated memory: 1852804 KiB
[startup+2622.3 s]
/proc/loadavg: 2.10 2.58 3.23 3/254 77419
/proc/meminfo: memFree=111370428/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1968908 CPUtime=2615.02 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343804 0 0 0 258228 3274 0 0 20 0 1 0 69765626 2188288000 492227 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 492227 2368 1147 0 521677 0
Current children cumulated CPU time: 2615.02 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1971980 KiB
[startup+2667.31 s]
# the end of solver process 77232 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2627.04 s, system=32.8865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2636.8 s]
/proc/loadavg: 2.16 2.57 3.21 3/254 77419
/proc/meminfo: memFree=111362552/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1974668 CPUtime=2629.48 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343804 0 0 0 259671 3277 0 0 20 0 1 0 69765626 2188288000 493667 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 493667 2368 1147 0 521677 0
Current children cumulated CPU time: 2629.48 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1977740 KiB
[startup+2649.6 s]
/proc/loadavg: 2.12 2.54 3.19 3/254 77419
/proc/meminfo: memFree=111358336/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1979916 CPUtime=2642.25 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343804 0 0 0 260945 3280 0 0 20 0 1 0 69765626 2188288000 494979 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 494979 2368 1147 0 521677 0
Current children cumulated CPU time: 2642.25 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1982988 KiB
[startup+2656 s]*
/proc/loadavg: 2.11 2.53 3.18 3/254 77419
/proc/meminfo: memFree=111358336/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1979916 CPUtime=2648.63 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343805 0 0 0 261582 3281 0 0 20 0 1 0 69765626 2188288000 494979 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 494979 2368 1147 0 521677 0
Current children cumulated CPU time: 2648.63 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1982988 KiB
[startup+2662.4 s]
/proc/loadavg: 2.10 2.52 3.18 3/254 77420
/proc/meminfo: memFree=111357024/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1982732 CPUtime=2655.01 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343831 0 0 0 262216 3285 0 0 20 0 1 0 69765626 2188288000 495683 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 495683 2368 1147 0 521677 0
Current children cumulated CPU time: 2655.01 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1985804 KiB
[startup+2665.6 s]
/proc/loadavg: 2.10 2.51 3.17 3/254 77420
/proc/meminfo: memFree=111357024/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1982860 CPUtime=2658.21 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343850 0 0 0 262535 3286 0 0 20 0 1 0 69765626 2188288000 495715 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 495715 2368 1147 0 521677 0
Current children cumulated CPU time: 2658.21 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1985932 KiB
[startup+2666.4 s]
/proc/loadavg: 2.10 2.51 3.17 3/254 77420
/proc/meminfo: memFree=111357024/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1982860 CPUtime=2659 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343850 0 0 0 262614 3286 0 0 20 0 1 0 69765626 2188288000 495715 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 495715 2368 1147 0 521677 0
Current children cumulated CPU time: 2659 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1985932 KiB
[startup+2666.8 s]
/proc/loadavg: 2.10 2.51 3.17 3/254 77420
/proc/meminfo: memFree=111357024/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2137000 memory=1982860 CPUtime=2659.4 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343850 0 0 0 262654 3286 0 0 20 0 1 0 69765626 2188288000 495715 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534250 495715 2368 1147 0 521677 0
Current children cumulated CPU time: 2659.4 s
Current children cumulated vsize: 2141192 KiB
Current children cumulated memory: 1985932 KiB
[startup+2667.2 s]
/proc/loadavg: 2.10 2.51 3.17 3/253 77423
/proc/meminfo: memFree=111356804/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=2136680 memory=1982568 CPUtime=2659.8 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343850 0 0 0 262694 3286 0 0 20 0 1 0 69765626 2187960320 495642 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 534170 495642 2368 1147 0 521597 0
Current children cumulated CPU time: 2659.8 s
Current children cumulated vsize: 2140872 KiB
Current children cumulated memory: 1985640 KiB
[startup+2667.3 s]
/proc/loadavg: 2.10 2.51 3.17 3/253 77423
/proc/meminfo: memFree=111356804/131249996 swapFree=33004236/33010684
[pid=77232] ppid=77229 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/77232/stat : 77232 (run-opt.sh) S 77229 77232 75740 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69765625 4292608 768 18446744073709551615 94188726706176 94188727600709 140723996195328 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94188727839760 94188727887504 94188753977344 140723996203373 140723996203496 140723996203496 140723996209098 0
/proc/77232/statm: 1048 768 704 219 0 110 0
[pid=77234] ppid=77232 vsize=1905372 memory=1211200 CPUtime=2659.9 cores=0,2
/proc/77234/stat : 77234 (roundingsat) R 77232 77232 75740 0 -1 4194304 343873 0 0 0 262703 3287 0 0 20 0 1 0 69765626 1951100928 302800 18446744073709551615 4227072 8923433 140734223834064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23117824 140734223837602 140734223837736 140734223837736 140734223843306 0
/proc/77234/statm: 476343 302800 2400 1147 0 463770 0
Current children cumulated CPU time: 2659.9 s
Current children cumulated vsize: 1909564 KiB
Current children cumulated memory: 1214272 KiB
Child status: 0
Real time (s): 2667.31
CPU time (s): 2659.93
CPU user time (s): 2627.04
CPU system time (s): 32.8865
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 2141192
Max. memory (cumulated for all children) (KiB): 1985932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2627.04
system time used= 32.8865
maximum resident set size= 1982860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344102
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 5951
# summary of solver processes directly reported to runsolver:
# pid: 77232
# total CPU time (s): 2659.93
# total CPU user time (s): 2627.04
# total CPU system time (s): 32.8865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4665 second user time and 12.6975 second system time
The end
Begin job on nodeC023 at 2025-07-03 13:07:58
IDJOB=4518042
IDBENCH=176300
IDSOLVER=3350
FILE ID=nodeC023/4518042-1751540878
RUNJOBID= nodeC023-1751531763-75750
SLURM_JOB_ID= 9598675
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/normalized-knapPI_11_1000_1000_5_-23276.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518042-1751540878/watcher-4518042-1751540878 -o /tmp/evaluation-result-4518042-1751540878/solver-4518042-1751540878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75750 --watchdog 3760 run-opt.sh HOME/instance-4518042-1751540878.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9edbaeb473a6b67c870b6379ab80793d
RANDOM SEED=931260017
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.454
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.78
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.882
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.920
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.78
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 : 3657.623
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.78
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.882
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.78
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.975
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.78
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 : 3600.228
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.78
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 109694044 kB
MemAvailable: 125455248 kB
Buffers: 16 kB
Cached: 16505488 kB
SwapCached: 592 kB
Active: 4529124 kB
Inactive: 16300392 kB
Active(anon): 4316964 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16279940 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7460 kB
Writeback: 0 kB
AnonPages: 4326536 kB
Mapped: 112908 kB
Shmem: 13404 kB
KReclaimable: 216684 kB
Slab: 307112 kB
SReclaimable: 216684 kB
SUnreclaim: 90428 kB
KernelStack: 4320 kB
PageTables: 11960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5215412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2588672 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431856 MiB
End job on nodeC023 at 2025-07-03 13:52:25