0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
2.97/3.10 c #variables 80211 #constraints 279336
2.97/3.10 c objective is ce32
3.08/3.18 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.08/3.18 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.08/3.18 c GLOBAL bounds - >= 0 @ 2.70334
3.16/3.26 c GLOBAL bounds - >= 0 @ 2.73289
3.16/3.26 c GLOBAL bounds - >= 352 @ 2.73323
4.16/4.23 c GLOBAL bounds - >= 352 @ 3.6529
4.25/4.31 c GLOBAL bounds - >= 352 @ 3.68324
4.25/4.31 c GLOBAL bounds - >= 352 @ 3.68625
4.25/4.39 c GLOBAL bounds - >= 352 @ 3.72648
4.25/4.39 c GLOBAL bounds - >= 352 @ 3.72778
4.36/4.47 c GLOBAL bounds - >= 352 @ 3.75601
4.36/4.47 c GLOBAL bounds - >= 352 @ 3.75712
4.46/4.55 c GLOBAL bounds - >= 352 @ 3.79127
4.46/4.55 c GLOBAL bounds - >= 352 @ 3.79267
4.55/4.63 c GLOBAL bounds - >= 352 @ 3.82196
4.55/4.63 c GLOBAL bounds - >= 352 @ 3.82328
4.65/4.71 c GLOBAL bounds - >= 352 @ 3.8582
4.65/4.71 c GLOBAL bounds - >= 352 @ 3.86116
4.65/4.79 c GLOBAL bounds - >= 352 @ 3.89477
4.65/4.79 c GLOBAL bounds - >= 352 @ 3.89584
4.76/4.87 c GLOBAL bounds - >= 352 @ 3.93206
4.76/4.87 c GLOBAL bounds - >= 352 @ 3.93332
4.86/4.95 c GLOBAL bounds - >= 352 @ 3.96163
4.86/4.95 c GLOBAL bounds - >= 352 @ 3.96224
4.97/5.03 c GLOBAL bounds - >= 352 @ 3.98876
5.06/5.12 c GLOBAL bounds - >= 352 @ 4.03622
5.16/5.21 c GLOBAL bounds - >= 352 @ 4.07394
5.16/5.22 c GLOBAL bounds - >= 3080 @ 4.08891
5.16/5.23 c GLOBAL bounds - >= 3080 @ 4.1019
5.25/5.32 c GLOBAL bounds - >= 3080 @ 4.13889
5.25/5.32 c GLOBAL bounds - >= 3080 @ 4.14264
5.35/5.40 c GLOBAL bounds - >= 3080 @ 4.16476
5.35/5.40 c GLOBAL bounds - >= 3080 @ 4.166
5.35/5.48 c GLOBAL bounds - >= 3080 @ 4.20228
5.35/5.48 c GLOBAL bounds - >= 3080 @ 4.20364
5.45/5.56 c GLOBAL bounds - >= 3080 @ 4.22999
5.45/5.56 c GLOBAL bounds - >= 3080 @ 4.23058
5.55/5.64 c GLOBAL bounds - >= 3080 @ 4.25941
5.55/5.64 c GLOBAL bounds - >= 3080 @ 4.2615
5.66/5.72 c GLOBAL bounds - >= 3080 @ 4.29112
5.66/5.73 c GLOBAL bounds - >= 3080 @ 4.2944
5.75/5.81 c GLOBAL bounds - >= 3080 @ 4.32955
5.75/5.81 c GLOBAL bounds - >= 3080 @ 4.33231
5.75/5.89 c GLOBAL bounds - >= 3080 @ 4.36306
5.75/5.89 c GLOBAL bounds - >= 3080 @ 4.36523
5.86/5.97 c GLOBAL bounds - >= 3080 @ 4.39393
5.86/5.98 c GLOBAL bounds - >= 3080 @ 4.39707
5.97/6.06 c GLOBAL bounds - >= 3080 @ 4.42639
6.06/6.13 c GLOBAL bounds - >= 3080 @ 4.45267
6.15/6.21 c GLOBAL bounds - >= 3080 @ 4.48372
6.25/6.31 c GLOBAL bounds - >= 3080 @ 4.52809
6.35/6.40 c GLOBAL bounds - >= 3080 @ 4.58347
6.45/6.50 c GLOBAL bounds - >= 3080 @ 4.63759
6.45/6.53 c GLOBAL bounds - >= 4785 @ 4.66446
6.45/6.54 c GLOBAL bounds - >= 4785 @ 4.6753
6.55/6.62 c GLOBAL bounds - >= 4785 @ 4.70265
6.55/6.62 c GLOBAL bounds - >= 4785 @ 4.70489
6.65/6.70 c GLOBAL bounds - >= 4785 @ 4.73363
6.65/6.70 c GLOBAL bounds - >= 4785 @ 4.73585
6.65/6.78 c GLOBAL bounds - >= 4785 @ 4.76312
6.65/6.78 c GLOBAL bounds - >= 4785 @ 4.76636
6.75/6.86 c GLOBAL bounds - >= 4785 @ 4.79829
6.75/6.87 c GLOBAL bounds - >= 4785 @ 4.80179
6.85/6.95 c GLOBAL bounds - >= 4785 @ 4.83929
6.85/6.95 c GLOBAL bounds - >= 4785 @ 4.84366
6.96/7.03 c GLOBAL bounds - >= 4785 @ 4.874
6.96/7.04 c GLOBAL bounds - >= 4785 @ 4.87535
7.06/7.11 c GLOBAL bounds - >= 4785 @ 4.90778
7.06/7.12 c GLOBAL bounds - >= 4785 @ 4.9102
7.06/7.20 c GLOBAL bounds - >= 4785 @ 4.94248
7.15/7.20 c GLOBAL bounds - >= 4785 @ 4.94659
7.15/7.28 c GLOBAL bounds - >= 4785 @ 4.97009
7.15/7.28 c GLOBAL bounds - >= 4785 @ 4.97206
7.24/7.36 c GLOBAL bounds - >= 4785 @ 4.99789
7.35/7.46 c GLOBAL bounds - >= 4785 @ 5.04631
7.45/7.56 c GLOBAL bounds - >= 4785 @ 5.10274
7.55/7.61 c GLOBAL bounds - >= 7513 @ 5.15052
7.55/7.64 c GLOBAL bounds - >= 7513 @ 5.17297
7.65/7.72 c GLOBAL bounds - >= 7513 @ 5.19631
7.65/7.73 c GLOBAL bounds - >= 7513 @ 5.19814
7.74/7.80 c GLOBAL bounds - >= 7513 @ 5.22591
7.74/7.81 c GLOBAL bounds - >= 7513 @ 5.22792
7.74/7.89 c GLOBAL bounds - >= 7513 @ 5.26426
7.85/7.90 c GLOBAL bounds - >= 7513 @ 5.26777
7.85/7.98 c GLOBAL bounds - >= 7513 @ 5.298
7.85/7.99 c GLOBAL bounds - >= 7513 @ 5.30028
7.96/8.07 c GLOBAL bounds - >= 7513 @ 5.32814
7.96/8.08 c GLOBAL bounds - >= 7513 @ 5.33784
8.06/8.17 c GLOBAL bounds - >= 7513 @ 5.37844
8.06/8.18 c GLOBAL bounds - >= 7513 @ 5.3821
8.14/8.26 c GLOBAL bounds - >= 7513 @ 5.4084
8.14/8.27 c GLOBAL bounds - >= 7513 @ 5.41472
8.25/8.36 c GLOBAL bounds - >= 7513 @ 5.44873
8.25/8.37 c GLOBAL bounds - >= 7513 @ 5.45653
8.34/8.45 c GLOBAL bounds - >= 7513 @ 5.48162
8.34/8.46 c GLOBAL bounds - >= 7513 @ 5.48591
8.45/8.54 c GLOBAL bounds - >= 7513 @ 5.51778
8.54/8.63 c GLOBAL bounds - >= 7513 @ 5.54951
8.64/8.75 c GLOBAL bounds - >= 7513 @ 5.59413
8.84/8.91 c GLOBAL bounds - >= 7513 @ 5.70225
8.96/9.05 c GLOBAL bounds - >= 7513 @ 5.79291
9.06/9.12 c GLOBAL bounds - >= 9219 @ 5.86302
9.06/9.14 c GLOBAL bounds - >= 9219 @ 5.87591
9.06/9.15 c GLOBAL bounds - >= 9219 @ 5.87879
9.06/9.16 c GLOBAL bounds - >= 9219 @ 5.88288
9.14/9.24 c GLOBAL bounds - >= 9219 @ 5.91459
9.14/9.25 c GLOBAL bounds - >= 9219 @ 5.91782
9.24/9.32 c GLOBAL bounds - >= 9219 @ 5.9412
9.24/9.33 c GLOBAL bounds - >= 9219 @ 5.94324
9.34/9.41 c GLOBAL bounds - >= 9219 @ 5.97574
9.34/9.42 c GLOBAL bounds - >= 9219 @ 5.98088
9.44/9.53 c GLOBAL bounds - >= 9219 @ 6.0202
9.44/9.54 c GLOBAL bounds - >= 9219 @ 6.02573
9.55/9.63 c GLOBAL bounds - >= 9219 @ 6.06473
9.55/9.64 c GLOBAL bounds - >= 9219 @ 6.07015
9.64/9.72 c GLOBAL bounds - >= 9219 @ 6.10988
9.64/9.73 c GLOBAL bounds - >= 9219 @ 6.11481
9.75/9.81 c GLOBAL bounds - >= 9219 @ 6.14712
9.75/9.83 c GLOBAL bounds - >= 9219 @ 6.15246
9.84/9.91 c GLOBAL bounds - >= 9219 @ 6.18174
9.84/9.92 c GLOBAL bounds - >= 9219 @ 6.19025
9.84/10.01 c GLOBAL bounds - >= 9219 @ 6.21812
9.96/10.02 c GLOBAL bounds - >= 9219 @ 6.22451
9.96/10.10 c GLOBAL bounds - >= 9219 @ 6.25287
10.05/10.18 c GLOBAL bounds - >= 9219 @ 6.2865
10.15/10.26 c GLOBAL bounds - >= 9219 @ 6.31685
10.24/10.34 c GLOBAL bounds - >= 9219 @ 6.34565
10.35/10.42 c GLOBAL bounds - >= 9219 @ 6.36454
10.44/10.51 c GLOBAL bounds - >= 9219 @ 6.40742
10.74/10.84 c GLOBAL bounds - >= 9219 @ 6.67763
10.95/11.04 c GLOBAL bounds - >= 9905 @ 6.87131
10.95/11.06 c GLOBAL bounds - >= 9905 @ 6.8894
10.95/11.07 c GLOBAL bounds - >= 9905 @ 6.89406
10.95/11.08 c GLOBAL bounds - >= 9905 @ 6.89624
10.95/11.10 c GLOBAL bounds - >= 9905 @ 6.90232
11.05/11.18 c GLOBAL bounds - >= 9905 @ 6.92956
11.05/11.20 c GLOBAL bounds - >= 9905 @ 6.93749
11.14/11.28 c GLOBAL bounds - >= 9905 @ 6.97071
11.14/11.30 c GLOBAL bounds - >= 9905 @ 6.97813
11.24/11.38 c GLOBAL bounds - >= 9905 @ 7.00879
11.24/11.39 c GLOBAL bounds - >= 9905 @ 7.01341
11.34/11.47 c GLOBAL bounds - >= 9905 @ 7.05186
11.34/11.49 c GLOBAL bounds - >= 9905 @ 7.06097
11.44/11.57 c GLOBAL bounds - >= 9905 @ 7.09373
11.44/11.58 c GLOBAL bounds - >= 9905 @ 7.09865
11.54/11.67 c GLOBAL bounds - >= 9905 @ 7.13128
11.54/11.68 c GLOBAL bounds - >= 9905 @ 7.13535
11.64/11.76 c GLOBAL bounds - >= 9905 @ 7.16522
11.64/11.77 c GLOBAL bounds - >= 9905 @ 7.17269
11.73/11.86 c GLOBAL bounds - >= 9905 @ 7.21134
11.73/11.87 c GLOBAL bounds - >= 9905 @ 7.21981
11.84/11.95 c GLOBAL bounds - >= 9905 @ 7.24773
11.84/11.96 c GLOBAL bounds - >= 9905 @ 7.25262
11.96/12.05 c GLOBAL bounds - >= 9905 @ 7.28433
12.05/12.13 c GLOBAL bounds - >= 9905 @ 7.31044
12.14/12.20 c GLOBAL bounds - >= 9905 @ 7.34163
12.14/12.29 c GLOBAL bounds - >= 9905 @ 7.38254
12.54/12.65 c GLOBAL bounds - >= 9905 @ 7.64973
12.74/12.87 c GLOBAL bounds - >= 9905 @ 7.81173
13.05/13.15 c GLOBAL bounds - >= 9905 @ 8.02559
13.33/13.41 c GLOBAL bounds - >= 9905 @ 8.23395
13.44/13.50 c GLOBAL bounds - >= 9905 @ 8.27224
13.54/13.68 c GLOBAL bounds - >= 10929 @ 8.44258
13.64/13.72 c GLOBAL bounds - >= 10929 @ 8.47123
13.64/13.73 c GLOBAL bounds - >= 10929 @ 8.47526
13.73/13.80 c GLOBAL bounds - >= 10929 @ 8.51087
13.73/13.82 c GLOBAL bounds - >= 10929 @ 8.51719
13.73/13.89 c GLOBAL bounds - >= 10929 @ 8.54757
13.84/13.91 c GLOBAL bounds - >= 10929 @ 8.55223
13.84/13.99 c GLOBAL bounds - >= 10929 @ 8.58696
13.84/14.00 c GLOBAL bounds - >= 10929 @ 8.59544
13.95/14.09 c GLOBAL bounds - >= 10929 @ 8.63033
13.95/14.10 c GLOBAL bounds - >= 10929 @ 8.64
14.04/14.18 c GLOBAL bounds - >= 10929 @ 8.67327
14.14/14.20 c GLOBAL bounds - >= 10929 @ 8.6795
14.14/14.28 c GLOBAL bounds - >= 10929 @ 8.71306
14.14/14.29 c GLOBAL bounds - >= 10929 @ 8.71726
15.23/15.33 c #Conflicts: 1000 | #Constraints: 1247
15.23/15.33 c GLOBAL bounds - >= 10929 @ 9.64916
15.23/15.34 c GLOBAL bounds - >= 10929 @ 9.65298
15.43/15.56 c GLOBAL bounds - >= 10929 @ 9.82626
15.43/15.58 c GLOBAL bounds - >= 10929 @ 9.83217
15.63/15.73 c GLOBAL bounds - >= 10929 @ 9.94113
15.63/15.75 c GLOBAL bounds - >= 10929 @ 9.95197
15.73/15.82 c GLOBAL bounds - >= 10929 @ 9.98176
15.83/15.90 c GLOBAL bounds - >= 10929 @ 10.0121
15.83/15.99 c GLOBAL bounds - >= 10929 @ 10.0465
16.33/16.48 c GLOBAL bounds - >= 10933 @ 10.5194
16.43/16.50 c GLOBAL bounds - >= 10933 @ 10.5335
16.43/16.58 c GLOBAL bounds - >= 10933 @ 10.5652
16.53/16.60 c GLOBAL bounds - >= 10933 @ 10.5731
16.53/16.68 c GLOBAL bounds - >= 10933 @ 10.6058
16.53/16.69 c GLOBAL bounds - >= 10933 @ 10.61
16.63/16.78 c GLOBAL bounds - >= 10933 @ 10.6401
16.63/16.79 c GLOBAL bounds - >= 10933 @ 10.6478
16.73/16.87 c GLOBAL bounds - >= 10933 @ 10.6786
16.73/16.89 c GLOBAL bounds - >= 10933 @ 10.6867
16.83/16.98 c GLOBAL bounds - >= 10933 @ 10.7142
16.83/17.00 c GLOBAL bounds - >= 10933 @ 10.7265
16.94/17.08 c GLOBAL bounds - >= 10933 @ 10.7554
16.94/17.09 c GLOBAL bounds - >= 10933 @ 10.7587
17.04/17.18 c GLOBAL bounds - >= 10933 @ 10.7905
17.04/17.20 c GLOBAL bounds - >= 10933 @ 10.8021
17.13/17.28 c GLOBAL bounds - >= 10933 @ 10.8464
17.13/17.29 c GLOBAL bounds - >= 10933 @ 10.8514
17.22/17.37 c GLOBAL bounds - >= 10933 @ 10.8847
17.32/17.40 c GLOBAL bounds - >= 10933 @ 10.8995
17.32/17.49 c GLOBAL bounds - >= 10933 @ 10.9281
17.42/17.57 c GLOBAL bounds - >= 10933 @ 10.9628
17.52/17.66 c GLOBAL bounds - >= 10933 @ 11.0005
17.63/17.75 c GLOBAL bounds - >= 10933 @ 11.0466
17.73/17.83 c GLOBAL bounds - >= 10933 @ 11.0753
17.83/17.91 c GLOBAL bounds - >= 10933 @ 11.1078
17.83/18.00 c GLOBAL bounds - >= 10933 @ 11.1399
17.93/18.08 c GLOBAL bounds - >= 10933 @ 11.166
18.13/18.25 c GLOBAL bounds - >= 10933 @ 11.2946
18.22/18.36 c GLOBAL bounds - >= 10933 @ 11.3427
19.12/19.21 c GLOBAL bounds - >= 10933 @ 12.1171
19.12/19.21 c GLOBAL bounds - >= 10933 @ 12.1175
19.12/19.22 c GLOBAL bounds - >= 10933 @ 12.1259
19.12/19.23 c GLOBAL bounds - >= 10933 @ 12.1314
19.12/19.24 c GLOBAL bounds - >= 10933 @ 12.1349
19.12/19.26 c GLOBAL bounds - >= 10933 @ 12.1411
19.12/19.27 c GLOBAL bounds - >= 10933 @ 12.1505
19.12/19.28 c GLOBAL bounds - >= 10933 @ 12.1545
19.32/19.46 c GLOBAL bounds - >= 10933 @ 12.2731
19.32/19.46 c GLOBAL bounds - >= 10933 @ 12.2757
19.42/19.55 c GLOBAL bounds - >= 10933 @ 12.3131
19.42/19.56 c GLOBAL bounds - >= 10933 @ 12.3165
19.52/19.64 c GLOBAL bounds - >= 10933 @ 12.3501
19.52/19.65 c GLOBAL bounds - >= 10933 @ 12.357
19.62/19.74 c GLOBAL bounds - >= 10933 @ 12.3889
19.62/19.75 c GLOBAL bounds - >= 10933 @ 12.3965
19.72/19.83 c GLOBAL bounds - >= 10933 @ 12.4297
19.72/19.85 c GLOBAL bounds - >= 10933 @ 12.4358
19.82/19.93 c GLOBAL bounds - >= 10933 @ 12.4727
19.82/19.95 c GLOBAL bounds - >= 10933 @ 12.4767
19.93/20.03 c GLOBAL bounds - >= 10933 @ 12.5118
19.93/20.04 c GLOBAL bounds - >= 10933 @ 12.5185
20.03/20.12 c GLOBAL bounds - >= 10933 @ 12.5497
20.03/20.14 c GLOBAL bounds - >= 10933 @ 12.5595
20.12/20.23 c GLOBAL bounds - >= 10933 @ 12.5914
20.12/20.24 c GLOBAL bounds - >= 10933 @ 12.5986
20.22/20.32 c GLOBAL bounds - >= 10933 @ 12.6309
20.32/20.40 c GLOBAL bounds - >= 10933 @ 12.6544
20.32/20.48 c GLOBAL bounds - >= 10933 @ 12.6846
20.42/20.57 c GLOBAL bounds - >= 10933 @ 12.7263
20.52/20.64 c GLOBAL bounds - >= 10933 @ 12.7429
20.61/20.73 c GLOBAL bounds - >= 10933 @ 12.7713
20.72/20.81 c GLOBAL bounds - >= 10933 @ 12.7989
20.72/20.89 c GLOBAL bounds - >= 10933 @ 12.8334
20.82/20.97 c GLOBAL bounds - >= 10933 @ 12.8695
21.81/21.96 c #Conflicts: 2000 | #Constraints: 2342
21.81/21.96 c INPROCESSING
21.81/21.96 c GARBAGE COLLECT
21.81/21.96 c GLOBAL bounds - >= 10933 @ 13.7867
22.03/22.15 c GLOBAL bounds - >= 10933 @ 13.9242
22.61/22.72 c GLOBAL bounds - >= 10933 @ 14.4321
23.03/23.19 c GLOBAL bounds - >= 11275 @ 14.898
23.12/23.22 c GLOBAL bounds - >= 11275 @ 14.928
23.12/23.24 c GLOBAL bounds - >= 11275 @ 14.9343
23.12/23.25 c GLOBAL bounds - >= 11275 @ 14.9386
23.12/23.26 c GLOBAL bounds - >= 11275 @ 14.9474
23.12/23.27 c GLOBAL bounds - >= 11275 @ 14.9526
23.12/23.28 c GLOBAL bounds - >= 11275 @ 14.9566
23.12/23.29 c GLOBAL bounds - >= 11275 @ 14.9629
23.32/23.49 c GLOBAL bounds - >= 11275 @ 15.1069
23.41/23.50 c GLOBAL bounds - >= 11275 @ 15.1126
23.41/23.58 c GLOBAL bounds - >= 11275 @ 15.1462
23.41/23.60 c GLOBAL bounds - >= 11275 @ 15.1514
23.51/23.68 c GLOBAL bounds - >= 11275 @ 15.1747
23.51/23.69 c GLOBAL bounds - >= 11275 @ 15.1779
23.61/23.77 c GLOBAL bounds - >= 11275 @ 15.2071
23.61/23.78 c GLOBAL bounds - >= 11275 @ 15.2131
23.71/23.86 c GLOBAL bounds - >= 11275 @ 15.2459
23.71/23.88 c GLOBAL bounds - >= 11275 @ 15.2519
23.81/23.96 c GLOBAL bounds - >= 11275 @ 15.2829
23.81/23.97 c GLOBAL bounds - >= 11275 @ 15.2901
23.93/24.05 c GLOBAL bounds - >= 11275 @ 15.3256
23.93/24.06 c GLOBAL bounds - >= 11275 @ 15.3308
24.03/24.15 c GLOBAL bounds - >= 11275 @ 15.3626
24.03/24.16 c GLOBAL bounds - >= 11275 @ 15.3691
24.11/24.24 c GLOBAL bounds - >= 11275 @ 15.4007
24.11/24.26 c GLOBAL bounds - >= 11275 @ 15.4047
24.21/24.34 c GLOBAL bounds - >= 11275 @ 15.4291
24.31/24.43 c GLOBAL bounds - >= 11275 @ 15.4621
24.41/24.52 c GLOBAL bounds - >= 11275 @ 15.5039
24.51/24.61 c GLOBAL bounds - >= 11275 @ 15.5429
24.61/24.71 c GLOBAL bounds - >= 11275 @ 15.5948
27.20/27.32 c #Conflicts: 3000 | #Constraints: 2336
27.20/27.32 c GLOBAL bounds - >= 11277 @ 18.0654
27.20/27.33 c GLOBAL bounds - >= 11277 @ 18.0774
27.20/27.35 c GLOBAL bounds - >= 11277 @ 18.0852
27.20/27.36 c GLOBAL bounds - >= 11277 @ 18.0901
27.30/27.44 c GLOBAL bounds - >= 11277 @ 18.1306
27.30/27.45 c GLOBAL bounds - >= 11277 @ 18.1391
27.40/27.53 c GLOBAL bounds - >= 11277 @ 18.1758
27.40/27.55 c GLOBAL bounds - >= 11277 @ 18.1834
27.50/27.63 c GLOBAL bounds - >= 11277 @ 18.2102
27.50/27.64 c GLOBAL bounds - >= 11277 @ 18.2146
27.60/27.73 c GLOBAL bounds - >= 11277 @ 18.2447
27.60/27.74 c GLOBAL bounds - >= 11277 @ 18.2498
27.70/27.82 c GLOBAL bounds - >= 11277 @ 18.282
27.70/27.83 c GLOBAL bounds - >= 11277 @ 18.2888
27.80/27.93 c GLOBAL bounds - >= 11277 @ 18.3339
27.80/27.94 c GLOBAL bounds - >= 11277 @ 18.3395
27.92/28.02 c GLOBAL bounds - >= 11277 @ 18.3729
27.92/28.03 c GLOBAL bounds - >= 11277 @ 18.3773
28.01/28.11 c GLOBAL bounds - >= 11277 @ 18.4122
28.01/28.12 c GLOBAL bounds - >= 11277 @ 18.4194
28.10/28.23 c GLOBAL bounds - >= 11277 @ 18.4727
28.10/28.24 c GLOBAL bounds - >= 11277 @ 18.4778
28.20/28.35 c GLOBAL bounds - >= 11277 @ 18.535
28.30/28.46 c GLOBAL bounds - >= 11277 @ 18.5975
28.50/28.62 c GLOBAL bounds - >= 11277 @ 18.7074
28.60/28.74 c GLOBAL bounds - >= 11277 @ 18.7824
28.70/28.87 c GLOBAL bounds - >= 11277 @ 18.8628
28.70/28.87 c GLOBAL bounds - >= 11277 @ 18.8634
28.70/28.89 c GLOBAL bounds - >= 11277 @ 18.8759
28.80/28.90 c GLOBAL bounds - >= 11277 @ 18.8842
28.80/28.91 c GLOBAL bounds - >= 11277 @ 18.889
28.80/29.01 c GLOBAL bounds - >= 11277 @ 18.9346
28.91/29.02 c GLOBAL bounds - >= 11277 @ 18.9406
28.91/29.10 c GLOBAL bounds - >= 11277 @ 18.9654
29.01/29.11 c GLOBAL bounds - >= 11277 @ 18.9708
29.01/29.19 c GLOBAL bounds - >= 11277 @ 18.993
29.10/29.21 c GLOBAL bounds - >= 11277 @ 18.9982
29.10/29.29 c GLOBAL bounds - >= 11277 @ 19.0254
29.20/29.30 c GLOBAL bounds - >= 11277 @ 19.0305
29.20/29.38 c GLOBAL bounds - >= 11277 @ 19.0574
29.20/29.39 c GLOBAL bounds - >= 11277 @ 19.0632
29.29/29.47 c GLOBAL bounds - >= 11277 @ 19.0885
29.29/29.48 c GLOBAL bounds - >= 11277 @ 19.0955
29.40/29.57 c GLOBAL bounds - >= 11277 @ 19.1223
29.40/29.58 c GLOBAL bounds - >= 11277 @ 19.1275
29.50/29.67 c GLOBAL bounds - >= 11277 @ 19.1602
29.50/29.68 c GLOBAL bounds - >= 11277 @ 19.1663
29.60/29.76 c GLOBAL bounds - >= 11277 @ 19.1979
29.60/29.78 c GLOBAL bounds - >= 11277 @ 19.2039
29.70/29.86 c GLOBAL bounds - >= 11277 @ 19.2455
29.80/29.94 c GLOBAL bounds - >= 11277 @ 19.2763
29.92/30.02 c GLOBAL bounds - >= 11277 @ 19.3106
29.92/30.10 c GLOBAL bounds - >= 11277 @ 19.3444
30.01/30.19 c GLOBAL bounds - >= 11277 @ 19.385
30.10/30.28 c GLOBAL bounds - >= 11277 @ 19.4179
30.20/30.38 c GLOBAL bounds - >= 11277 @ 19.4669
30.30/30.49 c GLOBAL bounds - >= 11277 @ 19.5277
30.50/30.60 c GLOBAL bounds - >= 11277 @ 19.597
31.59/31.77 c #Conflicts: 4000 | #Constraints: 3381
31.59/31.77 c GLOBAL bounds - >= 11277 @ 20.6731
33.19/33.39 c INPROCESSING
33.19/33.39 c GARBAGE COLLECT
33.19/33.39 c GLOBAL bounds - >= 11279 @ 22.2696
33.29/33.41 c GLOBAL bounds - >= 11279 @ 22.2872
33.29/33.42 c GLOBAL bounds - >= 11279 @ 22.2931
33.29/33.43 c GLOBAL bounds - >= 11279 @ 22.2984
33.29/33.44 c GLOBAL bounds - >= 11279 @ 22.3032
33.39/33.52 c GLOBAL bounds - >= 11279 @ 22.3298
33.39/33.53 c GLOBAL bounds - >= 11279 @ 22.336
33.49/33.61 c GLOBAL bounds - >= 11279 @ 22.3635
33.49/33.62 c GLOBAL bounds - >= 11279 @ 22.3692
33.59/33.70 c GLOBAL bounds - >= 11279 @ 22.3937
33.59/33.71 c GLOBAL bounds - >= 11279 @ 22.4012
33.59/33.79 c GLOBAL bounds - >= 11279 @ 22.4273
33.69/33.80 c GLOBAL bounds - >= 11279 @ 22.4369
33.69/33.89 c GLOBAL bounds - >= 11279 @ 22.4712
33.79/33.90 c GLOBAL bounds - >= 11279 @ 22.4756
33.79/33.98 c GLOBAL bounds - >= 11279 @ 22.5073
33.79/34.00 c GLOBAL bounds - >= 11279 @ 22.5147
33.90/34.08 c GLOBAL bounds - >= 11279 @ 22.5456
33.90/34.09 c GLOBAL bounds - >= 11279 @ 22.5527
34.00/34.19 c GLOBAL bounds - >= 11279 @ 22.5938
34.09/34.20 c GLOBAL bounds - >= 11279 @ 22.6023
34.09/34.28 c GLOBAL bounds - >= 11279 @ 22.6446
34.19/34.30 c GLOBAL bounds - >= 11279 @ 22.6509
34.19/34.38 c GLOBAL bounds - >= 11279 @ 22.6851
34.28/34.46 c GLOBAL bounds - >= 11279 @ 22.7101
34.39/34.55 c GLOBAL bounds - >= 11279 @ 22.7496
34.49/34.63 c GLOBAL bounds - >= 11279 @ 22.7935
34.59/34.71 c GLOBAL bounds - >= 11279 @ 22.8324
34.69/34.80 c GLOBAL bounds - >= 11279 @ 22.859
34.69/34.88 c GLOBAL bounds - >= 11279 @ 22.8973
34.78/34.96 c GLOBAL bounds - >= 11279 @ 22.9332
34.90/35.05 c GLOBAL bounds - >= 11279 @ 22.9736
35.00/35.13 c GLOBAL bounds - >= 11279 @ 22.9997
35.19/35.38 c GLOBAL bounds - >= 11279 @ 23.1971
357.49/358.67 c #Conflicts: 5000 | #Constraints: 2840
357.49/358.67 c #Conflicts: 6000 | #Constraints: 3840
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 7000 | #Constraints: 2847
357.49/358.67 c #Conflicts: 8000 | #Constraints: 3847
357.49/358.67 c #Conflicts: 9000 | #Constraints: 4847
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 10000 | #Constraints: 3562
357.49/358.67 c #Conflicts: 11000 | #Constraints: 4562
357.49/358.67 c #Conflicts: 12000 | #Constraints: 5562
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 13000 | #Constraints: 4018
357.49/358.67 c #Conflicts: 14000 | #Constraints: 5018
357.49/358.67 c #Conflicts: 15000 | #Constraints: 6018
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 16000 | #Constraints: 4244
357.49/358.67 c #Conflicts: 17000 | #Constraints: 5244
357.49/358.67 c #Conflicts: 18000 | #Constraints: 6244
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 19000 | #Constraints: 4259
357.49/358.67 c #Conflicts: 20000 | #Constraints: 5259
357.49/358.67 c #Conflicts: 21000 | #Constraints: 6259
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 22000 | #Constraints: 4067
357.49/358.67 c #Conflicts: 23000 | #Constraints: 5067
357.49/358.67 c #Conflicts: 24000 | #Constraints: 6067
357.49/358.67 c #Conflicts: 25000 | #Constraints: 7067
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 26000 | #Constraints: 4673
357.49/358.67 c #Conflicts: 27000 | #Constraints: 5673
357.49/358.67 c #Conflicts: 28000 | #Constraints: 6673
357.49/358.67 c #Conflicts: 29000 | #Constraints: 7673
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 30000 | #Constraints: 5071
357.49/358.67 c #Conflicts: 31000 | #Constraints: 6071
357.49/358.67 c #Conflicts: 32000 | #Constraints: 7071
357.49/358.67 c #Conflicts: 33000 | #Constraints: 8071
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 34000 | #Constraints: 5264
357.49/358.67 c #Conflicts: 35000 | #Constraints: 6264
357.49/358.67 c #Conflicts: 36000 | #Constraints: 7264
357.49/358.67 c #Conflicts: 37000 | #Constraints: 8264
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 38000 | #Constraints: 5266
357.49/358.67 c #Conflicts: 39000 | #Constraints: 6266
357.49/358.67 c #Conflicts: 40000 | #Constraints: 7266
357.49/358.67 c #Conflicts: 41000 | #Constraints: 8266
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 42000 | #Constraints: 5064
357.49/358.67 c #Conflicts: 43000 | #Constraints: 6064
357.49/358.67 c #Conflicts: 44000 | #Constraints: 7064
357.49/358.67 c #Conflicts: 45000 | #Constraints: 8064
357.49/358.67 c #Conflicts: 46000 | #Constraints: 9064
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 47000 | #Constraints: 5658
357.49/358.67 c #Conflicts: 48000 | #Constraints: 6658
357.49/358.67 c #Conflicts: 49000 | #Constraints: 7658
357.49/358.67 c #Conflicts: 50000 | #Constraints: 8658
357.49/358.67 c #Conflicts: 51000 | #Constraints: 9658
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 52000 | #Constraints: 6067
357.49/358.67 c #Conflicts: 53000 | #Constraints: 7067
357.49/358.67 c #Conflicts: 54000 | #Constraints: 8067
357.49/358.67 c #Conflicts: 55000 | #Constraints: 9067
357.49/358.67 c #Conflicts: 56000 | #Constraints: 10067
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 57000 | #Constraints: 6263
357.49/358.67 c #Conflicts: 58000 | #Constraints: 7263
357.49/358.67 c #Conflicts: 59000 | #Constraints: 8263
357.49/358.67 c #Conflicts: 60000 | #Constraints: 9263
357.49/358.67 c #Conflicts: 61000 | #Constraints: 10263
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 62000 | #Constraints: 6265
357.49/358.67 c #Conflicts: 63000 | #Constraints: 7265
357.49/358.67 c #Conflicts: 64000 | #Constraints: 8265
357.49/358.67 c #Conflicts: 65000 | #Constraints: 9265
357.49/358.67 c #Conflicts: 66000 | #Constraints: 10265
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
357.49/358.67 c #Conflicts: 67000 | #Constraints: 6061
357.49/358.67 c #Conflicts: 68000 | #Constraints: 7061
357.49/358.67 c #Conflicts: 69000 | #Constraints: 8061
357.49/358.67 c #Conflicts: 70000 | #Constraints: 9061
357.49/358.67 c #Conflicts: 71000 | #Constraints: 10061
357.49/358.67 c #Conflicts: 72000 | #Constraints: 11061
357.49/358.67 c INPROCESSING
357.49/358.67 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 73000 | #Constraints: 6674
656.14/658.59 c #Conflicts: 74000 | #Constraints: 7674
656.14/658.59 c #Conflicts: 75000 | #Constraints: 8674
656.14/658.59 c #Conflicts: 76000 | #Constraints: 9674
656.14/658.59 c #Conflicts: 77000 | #Constraints: 10674
656.14/658.59 c #Conflicts: 78000 | #Constraints: 11674
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 79000 | #Constraints: 7071
656.14/658.59 c #Conflicts: 80000 | #Constraints: 8071
656.14/658.59 c #Conflicts: 81000 | #Constraints: 9071
656.14/658.59 c #Conflicts: 82000 | #Constraints: 10071
656.14/658.59 c #Conflicts: 83000 | #Constraints: 11071
656.14/658.59 c #Conflicts: 84000 | #Constraints: 12071
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 85000 | #Constraints: 7265
656.14/658.59 c #Conflicts: 86000 | #Constraints: 8265
656.14/658.59 c #Conflicts: 87000 | #Constraints: 9265
656.14/658.59 c #Conflicts: 88000 | #Constraints: 10265
656.14/658.59 c #Conflicts: 89000 | #Constraints: 11265
656.14/658.59 c #Conflicts: 90000 | #Constraints: 12265
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 91000 | #Constraints: 7264
656.14/658.59 c #Conflicts: 92000 | #Constraints: 8264
656.14/658.59 c #Conflicts: 93000 | #Constraints: 9264
656.14/658.59 c #Conflicts: 94000 | #Constraints: 10264
656.14/658.59 c #Conflicts: 95000 | #Constraints: 11264
656.14/658.59 c #Conflicts: 96000 | #Constraints: 12264
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 97000 | #Constraints: 7067
656.14/658.59 c #Conflicts: 98000 | #Constraints: 8067
656.14/658.59 c #Conflicts: 99000 | #Constraints: 9067
656.14/658.59 c #Conflicts: 100000 | #Constraints: 10067
656.14/658.59 c #Conflicts: 101000 | #Constraints: 11067
656.14/658.59 c #Conflicts: 102000 | #Constraints: 12067
656.14/658.59 c #Conflicts: 103000 | #Constraints: 13067
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 104000 | #Constraints: 7661
656.14/658.59 c #Conflicts: 105000 | #Constraints: 8661
656.14/658.59 c #Conflicts: 106000 | #Constraints: 9661
656.14/658.59 c #Conflicts: 107000 | #Constraints: 10661
656.14/658.59 c #Conflicts: 108000 | #Constraints: 11661
656.14/658.59 c #Conflicts: 109000 | #Constraints: 12661
656.14/658.59 c #Conflicts: 110000 | #Constraints: 13661
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 111000 | #Constraints: 8081
656.14/658.59 c #Conflicts: 112000 | #Constraints: 9081
656.14/658.59 c #Conflicts: 113000 | #Constraints: 10081
656.14/658.59 c #Conflicts: 114000 | #Constraints: 11081
656.14/658.59 c #Conflicts: 115000 | #Constraints: 12081
656.14/658.59 c #Conflicts: 116000 | #Constraints: 13081
656.14/658.59 c #Conflicts: 117000 | #Constraints: 14081
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 118000 | #Constraints: 8288
656.14/658.59 c #Conflicts: 119000 | #Constraints: 9288
656.14/658.59 c #Conflicts: 120000 | #Constraints: 10288
656.14/658.59 c #Conflicts: 121000 | #Constraints: 11288
656.14/658.59 c #Conflicts: 122000 | #Constraints: 12288
656.14/658.59 c #Conflicts: 123000 | #Constraints: 13288
656.14/658.59 c #Conflicts: 124000 | #Constraints: 14288
656.14/658.59 c INPROCESSING
656.14/658.59 c GARBAGE COLLECT
656.14/658.59 c #Conflicts: 125000 | #Constraints: 8296
656.14/658.59 c GLOBAL bounds - >= 11281 @ 635.617
656.25/658.61 c GLOBAL bounds - >= 11281 @ 635.63
656.25/658.62 c GLOBAL bounds - >= 11281 @ 635.634
656.25/658.63 c GLOBAL bounds - >= 11281 @ 635.638
656.25/658.64 c GLOBAL bounds - >= 11281 @ 635.643
656.25/658.65 c GLOBAL bounds - >= 11281 @ 635.647
656.25/658.66 c GLOBAL bounds - >= 11281 @ 635.652
656.25/658.68 c GLOBAL bounds - >= 11281 @ 635.657
656.34/658.71 c GLOBAL bounds - >= 11281 @ 635.67
656.34/658.73 c GLOBAL bounds - >= 11281 @ 635.681
656.34/658.74 c GLOBAL bounds - >= 11281 @ 635.69
656.44/658.87 c GLOBAL bounds - >= 11281 @ 635.77
656.44/658.88 c GLOBAL bounds - >= 11281 @ 635.775
657.04/659.41 c GLOBAL bounds - >= 11281 @ 636.232
657.04/659.42 c GLOBAL bounds - >= 11281 @ 636.235
657.34/659.76 c GLOBAL bounds - >= 11281 @ 636.519
657.34/659.77 c GLOBAL bounds - >= 11281 @ 636.521
657.44/659.90 c GLOBAL bounds - >= 11281 @ 636.598
657.54/659.91 c GLOBAL bounds - >= 11281 @ 636.605
657.75/660.19 c GLOBAL bounds - >= 11281 @ 636.834
657.84/660.20 c GLOBAL bounds - >= 11281 @ 636.84
657.84/660.29 c GLOBAL bounds - >= 11281 @ 636.878
657.93/660.30 c GLOBAL bounds - >= 11281 @ 636.885
657.93/660.38 c GLOBAL bounds - >= 11281 @ 636.919
657.93/660.39 c GLOBAL bounds - >= 11281 @ 636.924
658.03/660.47 c GLOBAL bounds - >= 11281 @ 636.95
658.03/660.48 c GLOBAL bounds - >= 11281 @ 636.957
658.13/660.57 c GLOBAL bounds - >= 11281 @ 636.991
658.13/660.58 c GLOBAL bounds - >= 11281 @ 636.999
658.23/660.67 c GLOBAL bounds - >= 11281 @ 637.028
658.34/660.75 c GLOBAL bounds - >= 11281 @ 637.059
658.44/660.83 c GLOBAL bounds - >= 11281 @ 637.092
658.53/660.93 c GLOBAL bounds - >= 11281 @ 637.136
658.64/661.03 c GLOBAL bounds - >= 11281 @ 637.184
658.74/661.13 c GLOBAL bounds - >= 11281 @ 637.246
658.83/661.23 c GLOBAL bounds - >= 11281 @ 637.292
658.93/661.33 c GLOBAL bounds - >= 11281 @ 637.338
661.74/664.12 c #Conflicts: 126000 | #Constraints: 9324
661.74/664.12 c GLOBAL bounds - >= 11281 @ 640.052
661.74/664.13 c GLOBAL bounds - >= 11281 @ 640.055
661.74/664.14 c GLOBAL bounds - >= 11281 @ 640.064
661.74/664.15 c GLOBAL bounds - >= 11281 @ 640.069
661.74/664.16 c GLOBAL bounds - >= 11281 @ 640.076
661.74/664.18 c GLOBAL bounds - >= 11281 @ 640.082
661.74/664.19 c GLOBAL bounds - >= 11281 @ 640.086
661.74/664.20 c GLOBAL bounds - >= 11281 @ 640.09
661.83/664.21 c GLOBAL bounds - >= 11281 @ 640.094
662.23/664.62 c GLOBAL bounds - >= 11281 @ 640.458
662.23/664.63 c GLOBAL bounds - >= 11281 @ 640.462
662.33/664.71 c GLOBAL bounds - >= 11281 @ 640.487
662.33/664.73 c GLOBAL bounds - >= 11281 @ 640.492
662.43/664.81 c GLOBAL bounds - >= 11281 @ 640.525
662.43/664.82 c GLOBAL bounds - >= 11281 @ 640.531
662.53/664.90 c GLOBAL bounds - >= 11281 @ 640.56
662.53/664.91 c GLOBAL bounds - >= 11281 @ 640.565
662.53/665.00 c GLOBAL bounds - >= 11281 @ 640.594
662.64/665.01 c GLOBAL bounds - >= 11281 @ 640.599
662.64/665.09 c GLOBAL bounds - >= 11281 @ 640.616
662.64/665.10 c GLOBAL bounds - >= 11281 @ 640.621
662.74/665.19 c GLOBAL bounds - >= 11281 @ 640.658
662.83/665.20 c GLOBAL bounds - >= 11281 @ 640.663
662.83/665.29 c GLOBAL bounds - >= 11281 @ 640.695
662.93/665.30 c GLOBAL bounds - >= 11281 @ 640.701
662.93/665.38 c GLOBAL bounds - >= 11281 @ 640.736
662.93/665.40 c GLOBAL bounds - >= 11281 @ 640.742
663.02/665.48 c GLOBAL bounds - >= 11281 @ 640.783
663.12/665.57 c GLOBAL bounds - >= 11281 @ 640.827
663.22/665.67 c GLOBAL bounds - >= 11281 @ 640.863
663.32/665.76 c GLOBAL bounds - >= 11281 @ 640.909
663.42/665.86 c GLOBAL bounds - >= 11281 @ 640.958
663.52/665.96 c GLOBAL bounds - >= 11281 @ 640.998
663.64/666.05 c GLOBAL bounds - >= 11281 @ 641.042
663.74/666.16 c GLOBAL bounds - >= 11281 @ 641.09
663.82/666.26 c GLOBAL bounds - >= 11281 @ 641.145
663.92/666.36 c GLOBAL bounds - >= 11281 @ 641.179
664.02/666.45 c GLOBAL bounds - >= 11281 @ 641.22
664.12/666.54 c GLOBAL bounds - >= 11281 @ 641.267
664.22/666.63 c GLOBAL bounds - >= 11281 @ 641.301
664.32/666.73 c GLOBAL bounds - >= 11281 @ 641.36
664.52/666.91 c GLOBAL bounds - >= 11281 @ 641.489
671.40/673.86 c #Conflicts: 127000 | #Constraints: 10368
671.40/673.86 c #Conflicts: 128000 | #Constraints: 11368
671.40/673.86 c GLOBAL bounds - >= 11281 @ 648.258
695.84/698.30 c #Conflicts: 129000 | #Constraints: 12368
695.84/698.30 c #Conflicts: 130000 | #Constraints: 13368
695.84/698.30 c #Conflicts: 131000 | #Constraints: 14368
695.84/698.30 c INPROCESSING
695.84/698.30 c GARBAGE COLLECT
695.84/698.30 c #Conflicts: 132000 | #Constraints: 8135
695.84/698.30 c GLOBAL bounds - >= 11281 @ 672.277
695.84/698.30 c GLOBAL bounds - >= 11281 @ 672.279
695.84/698.31 c GLOBAL bounds - >= 11281 @ 672.287
695.84/698.32 c GLOBAL bounds - >= 11281 @ 672.29
695.84/698.34 c GLOBAL bounds - >= 11281 @ 672.293
695.84/698.35 c GLOBAL bounds - >= 11281 @ 672.296
695.84/698.36 c GLOBAL bounds - >= 11281 @ 672.3
695.84/698.37 c GLOBAL bounds - >= 11281 @ 672.306
695.84/698.38 c GLOBAL bounds - >= 11281 @ 672.31
695.84/698.39 c GLOBAL bounds - >= 11281 @ 672.313
695.94/698.48 c GLOBAL bounds - >= 11281 @ 672.356
695.94/698.49 c GLOBAL bounds - >= 11281 @ 672.363
696.04/698.59 c GLOBAL bounds - >= 11281 @ 672.416
696.14/698.60 c GLOBAL bounds - >= 11281 @ 672.423
696.14/698.69 c GLOBAL bounds - >= 11281 @ 672.462
696.24/698.70 c GLOBAL bounds - >= 11281 @ 672.471
696.34/698.82 c GLOBAL bounds - >= 11281 @ 672.547
696.34/698.83 c GLOBAL bounds - >= 11281 @ 672.551
696.65/699.12 c GLOBAL bounds - >= 11281 @ 672.786
696.65/699.13 c GLOBAL bounds - >= 11281 @ 672.79
696.73/699.22 c GLOBAL bounds - >= 11281 @ 672.828
696.73/699.23 c GLOBAL bounds - >= 11281 @ 672.833
696.84/699.32 c GLOBAL bounds - >= 11281 @ 672.877
696.84/699.34 c GLOBAL bounds - >= 11281 @ 672.883
696.93/699.43 c GLOBAL bounds - >= 11281 @ 672.921
696.93/699.44 c GLOBAL bounds - >= 11281 @ 672.926
697.03/699.56 c GLOBAL bounds - >= 11281 @ 673.004
697.03/699.57 c GLOBAL bounds - >= 11281 @ 673.011
697.13/699.65 c GLOBAL bounds - >= 11281 @ 673.044
697.23/699.75 c GLOBAL bounds - >= 11281 @ 673.078
1122.27/1126.14 c #Conflicts: 133000 | #Constraints: 9151
1122.27/1126.14 c #Conflicts: 134000 | #Constraints: 10151
1122.27/1126.14 c #Conflicts: 135000 | #Constraints: 11151
1122.27/1126.14 c #Conflicts: 136000 | #Constraints: 12151
1122.27/1126.14 c #Conflicts: 137000 | #Constraints: 13151
1122.27/1126.14 c #Conflicts: 138000 | #Constraints: 14151
1122.27/1126.14 c #Conflicts: 139000 | #Constraints: 15151
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 140000 | #Constraints: 8740
1122.27/1126.14 c #Conflicts: 141000 | #Constraints: 9740
1122.27/1126.14 c #Conflicts: 142000 | #Constraints: 10740
1122.27/1126.14 c #Conflicts: 143000 | #Constraints: 11740
1122.27/1126.14 c #Conflicts: 144000 | #Constraints: 12740
1122.27/1126.14 c #Conflicts: 145000 | #Constraints: 13740
1122.27/1126.14 c #Conflicts: 146000 | #Constraints: 14740
1122.27/1126.14 c #Conflicts: 147000 | #Constraints: 15740
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 148000 | #Constraints: 9148
1122.27/1126.14 c #Conflicts: 149000 | #Constraints: 10148
1122.27/1126.14 c #Conflicts: 150000 | #Constraints: 11148
1122.27/1126.14 c #Conflicts: 151000 | #Constraints: 12148
1122.27/1126.14 c #Conflicts: 152000 | #Constraints: 13148
1122.27/1126.14 c #Conflicts: 153000 | #Constraints: 14148
1122.27/1126.14 c #Conflicts: 154000 | #Constraints: 15148
1122.27/1126.14 c #Conflicts: 155000 | #Constraints: 16148
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 156000 | #Constraints: 9344
1122.27/1126.14 c #Conflicts: 157000 | #Constraints: 10344
1122.27/1126.14 c #Conflicts: 158000 | #Constraints: 11344
1122.27/1126.14 c #Conflicts: 159000 | #Constraints: 12344
1122.27/1126.14 c #Conflicts: 160000 | #Constraints: 13344
1122.27/1126.14 c #Conflicts: 161000 | #Constraints: 14344
1122.27/1126.14 c #Conflicts: 162000 | #Constraints: 15344
1122.27/1126.14 c #Conflicts: 163000 | #Constraints: 16344
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 164000 | #Constraints: 9346
1122.27/1126.14 c #Conflicts: 165000 | #Constraints: 10346
1122.27/1126.14 c #Conflicts: 166000 | #Constraints: 11346
1122.27/1126.14 c #Conflicts: 167000 | #Constraints: 12346
1122.27/1126.14 c #Conflicts: 168000 | #Constraints: 13346
1122.27/1126.14 c #Conflicts: 169000 | #Constraints: 14346
1122.27/1126.14 c #Conflicts: 170000 | #Constraints: 15346
1122.27/1126.14 c #Conflicts: 171000 | #Constraints: 16346
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 172000 | #Constraints: 9140
1122.27/1126.14 c #Conflicts: 173000 | #Constraints: 10140
1122.27/1126.14 c #Conflicts: 174000 | #Constraints: 11140
1122.27/1126.14 c #Conflicts: 175000 | #Constraints: 12140
1122.27/1126.14 c #Conflicts: 176000 | #Constraints: 13140
1122.27/1126.14 c #Conflicts: 177000 | #Constraints: 14140
1122.27/1126.14 c #Conflicts: 178000 | #Constraints: 15140
1122.27/1126.14 c #Conflicts: 179000 | #Constraints: 16140
1122.27/1126.14 c #Conflicts: 180000 | #Constraints: 17140
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 181000 | #Constraints: 9744
1122.27/1126.14 c #Conflicts: 182000 | #Constraints: 10744
1122.27/1126.14 c #Conflicts: 183000 | #Constraints: 11744
1122.27/1126.14 c #Conflicts: 184000 | #Constraints: 12744
1122.27/1126.14 c #Conflicts: 185000 | #Constraints: 13744
1122.27/1126.14 c #Conflicts: 186000 | #Constraints: 14744
1122.27/1126.14 c #Conflicts: 187000 | #Constraints: 15744
1122.27/1126.14 c #Conflicts: 188000 | #Constraints: 16744
1122.27/1126.14 c #Conflicts: 189000 | #Constraints: 17744
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 190000 | #Constraints: 10148
1122.27/1126.14 c #Conflicts: 191000 | #Constraints: 11148
1122.27/1126.14 c #Conflicts: 192000 | #Constraints: 12148
1122.27/1126.14 c #Conflicts: 193000 | #Constraints: 13148
1122.27/1126.14 c #Conflicts: 194000 | #Constraints: 14148
1122.27/1126.14 c #Conflicts: 195000 | #Constraints: 15148
1122.27/1126.14 c #Conflicts: 196000 | #Constraints: 16148
1122.27/1126.14 c #Conflicts: 197000 | #Constraints: 17148
1122.27/1126.14 c #Conflicts: 198000 | #Constraints: 18148
1122.27/1126.14 c INPROCESSING
1122.27/1126.14 c GARBAGE COLLECT
1122.27/1126.14 c #Conflicts: 199000 | #Constraints: 10350
1122.27/1126.14 c #Conflicts: 200000 | #Constraints: 11350
1122.27/1126.14 c #Conflicts: 201000 | #Constraints: 12350
1122.27/1126.14 c #Conflicts: 202000 | #Constraints: 13350
1122.27/1126.14 c #Conflicts: 203000 | #Constraints: 14350
1122.27/1126.14 c #Conflicts: 204000 | #Constraints: 15350
1122.27/1126.14 c #Conflicts: 205000 | #Constraints: 16350
1122.27/1126.14 c #Conflicts: 206000 | #Constraints: 17350
1654.13/1659.80 c #Conflicts: 207000 | #Constraints: 18350
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 208000 | #Constraints: 10345
1654.13/1659.80 c #Conflicts: 209000 | #Constraints: 11345
1654.13/1659.80 c #Conflicts: 210000 | #Constraints: 12345
1654.13/1659.80 c #Conflicts: 211000 | #Constraints: 13345
1654.13/1659.80 c #Conflicts: 212000 | #Constraints: 14345
1654.13/1659.80 c #Conflicts: 213000 | #Constraints: 15345
1654.13/1659.80 c #Conflicts: 214000 | #Constraints: 16345
1654.13/1659.80 c #Conflicts: 215000 | #Constraints: 17345
1654.13/1659.80 c #Conflicts: 216000 | #Constraints: 18345
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 217000 | #Constraints: 10141
1654.13/1659.80 c #Conflicts: 218000 | #Constraints: 11141
1654.13/1659.80 c #Conflicts: 219000 | #Constraints: 12141
1654.13/1659.80 c #Conflicts: 220000 | #Constraints: 13141
1654.13/1659.80 c #Conflicts: 221000 | #Constraints: 14141
1654.13/1659.80 c #Conflicts: 222000 | #Constraints: 15141
1654.13/1659.80 c #Conflicts: 223000 | #Constraints: 16141
1654.13/1659.80 c #Conflicts: 224000 | #Constraints: 17141
1654.13/1659.80 c #Conflicts: 225000 | #Constraints: 18141
1654.13/1659.80 c #Conflicts: 226000 | #Constraints: 19141
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 227000 | #Constraints: 10747
1654.13/1659.80 c #Conflicts: 228000 | #Constraints: 11747
1654.13/1659.80 c #Conflicts: 229000 | #Constraints: 12747
1654.13/1659.80 c #Conflicts: 230000 | #Constraints: 13747
1654.13/1659.80 c #Conflicts: 231000 | #Constraints: 14747
1654.13/1659.80 c #Conflicts: 232000 | #Constraints: 15747
1654.13/1659.80 c #Conflicts: 233000 | #Constraints: 16747
1654.13/1659.80 c #Conflicts: 234000 | #Constraints: 17747
1654.13/1659.80 c #Conflicts: 235000 | #Constraints: 18747
1654.13/1659.80 c #Conflicts: 236000 | #Constraints: 19747
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 237000 | #Constraints: 11145
1654.13/1659.80 c #Conflicts: 238000 | #Constraints: 12145
1654.13/1659.80 c #Conflicts: 239000 | #Constraints: 13145
1654.13/1659.80 c #Conflicts: 240000 | #Constraints: 14145
1654.13/1659.80 c #Conflicts: 241000 | #Constraints: 15145
1654.13/1659.80 c #Conflicts: 242000 | #Constraints: 16145
1654.13/1659.80 c #Conflicts: 243000 | #Constraints: 17145
1654.13/1659.80 c #Conflicts: 244000 | #Constraints: 18145
1654.13/1659.80 c #Conflicts: 245000 | #Constraints: 19145
1654.13/1659.80 c #Conflicts: 246000 | #Constraints: 20145
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 247000 | #Constraints: 11341
1654.13/1659.80 c #Conflicts: 248000 | #Constraints: 12341
1654.13/1659.80 c #Conflicts: 249000 | #Constraints: 13341
1654.13/1659.80 c #Conflicts: 250000 | #Constraints: 14341
1654.13/1659.80 c #Conflicts: 251000 | #Constraints: 15341
1654.13/1659.80 c #Conflicts: 252000 | #Constraints: 16341
1654.13/1659.80 c #Conflicts: 253000 | #Constraints: 17341
1654.13/1659.80 c #Conflicts: 254000 | #Constraints: 18341
1654.13/1659.80 c #Conflicts: 255000 | #Constraints: 19341
1654.13/1659.80 c #Conflicts: 256000 | #Constraints: 20341
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 257000 | #Constraints: 11338
1654.13/1659.80 c #Conflicts: 258000 | #Constraints: 12338
1654.13/1659.80 c #Conflicts: 259000 | #Constraints: 13338
1654.13/1659.80 c #Conflicts: 260000 | #Constraints: 14338
1654.13/1659.80 c #Conflicts: 261000 | #Constraints: 15338
1654.13/1659.80 c #Conflicts: 262000 | #Constraints: 16338
1654.13/1659.80 c #Conflicts: 263000 | #Constraints: 17338
1654.13/1659.80 c #Conflicts: 264000 | #Constraints: 18338
1654.13/1659.80 c #Conflicts: 265000 | #Constraints: 19338
1654.13/1659.80 c #Conflicts: 266000 | #Constraints: 20338
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 267000 | #Constraints: 11137
1654.13/1659.80 c #Conflicts: 268000 | #Constraints: 12137
1654.13/1659.80 c #Conflicts: 269000 | #Constraints: 13137
1654.13/1659.80 c #Conflicts: 270000 | #Constraints: 14137
1654.13/1659.80 c #Conflicts: 271000 | #Constraints: 15137
1654.13/1659.80 c #Conflicts: 272000 | #Constraints: 16137
1654.13/1659.80 c #Conflicts: 273000 | #Constraints: 17137
1654.13/1659.80 c #Conflicts: 274000 | #Constraints: 18137
1654.13/1659.80 c #Conflicts: 275000 | #Constraints: 19137
1654.13/1659.80 c #Conflicts: 276000 | #Constraints: 20137
1654.13/1659.80 c #Conflicts: 277000 | #Constraints: 21137
1654.13/1659.80 c INPROCESSING
1654.13/1659.80 c GARBAGE COLLECT
1654.13/1659.80 c #Conflicts: 278000 | #Constraints: 11730
1654.13/1659.80 c #Conflicts: 279000 | #Constraints: 12730
1654.13/1659.80 c #Conflicts: 280000 | #Constraints: 13730
1796.57/1802.78 c #Conflicts: 281000 | #Constraints: 14730
1796.57/1802.78 c #Conflicts: 282000 | #Constraints: 15730
1796.57/1802.78 c #Conflicts: 283000 | #Constraints: 16730
1796.57/1802.78 c #Conflicts: 284000 | #Constraints: 17730
1796.57/1802.78 c #Conflicts: 285000 | #Constraints: 18730
1796.57/1802.78 c #Conflicts: 286000 | #Constraints: 19730
1796.57/1802.78 c #Conflicts: 287000 | #Constraints: 20730
1796.57/1802.78 c #Conflicts: 288000 | #Constraints: 21730
1796.57/1802.78 c INPROCESSING
1796.57/1802.78 c GARBAGE COLLECT
1796.57/1802.78 c #Conflicts: 289000 | #Constraints: 12135
1796.57/1802.78 c #Conflicts: 290000 | #Constraints: 13135
1796.57/1802.78 c #Conflicts: 291000 | #Constraints: 14135
1796.57/1802.78 c #Conflicts: 292000 | #Constraints: 15135
1796.57/1802.78 c #Conflicts: 293000 | #Constraints: 16135
1796.57/1802.78 c #Conflicts: 294000 | #Constraints: 17135
1796.57/1802.78 c #Conflicts: 295000 | #Constraints: 18135
1796.57/1802.78 c #Conflicts: 296000 | #Constraints: 19135
1796.57/1802.78 c #Conflicts: 297000 | #Constraints: 20135
1796.57/1802.78 c #Conflicts: 298000 | #Constraints: 21135
1796.57/1802.78 c #Conflicts: 299000 | #Constraints: 22135
1796.57/1802.78 c INPROCESSING
1796.57/1802.78 c GARBAGE COLLECT
1796.57/1802.78 c #Conflicts: 300000 | #Constraints: 12350
1796.57/1802.78 c #Conflicts: 301000 | #Constraints: 13350
1796.57/1802.78 c #Conflicts: 302000 | #Constraints: 14350
1796.57/1802.78 c #Conflicts: 303000 | #Constraints: 15350
1796.57/1802.78 c GLOBAL bounds - >= 11282 @ 1762.98
1796.67/1802.81 c GLOBAL bounds - >= 11282 @ 1763
1796.67/1802.82 c GLOBAL bounds - >= 11282 @ 1763.01
1796.77/1802.90 c GLOBAL bounds - >= 11282 @ 1763.05
1796.77/1802.92 c GLOBAL bounds - >= 11282 @ 1763.05
1796.77/1803.00 c GLOBAL bounds - >= 11282 @ 1763.09
1796.89/1803.02 c GLOBAL bounds - >= 11282 @ 1763.09
1796.89/1803.10 c GLOBAL bounds - >= 11282 @ 1763.13
1796.99/1803.13 c GLOBAL bounds - >= 11282 @ 1763.14
1797.07/1803.22 c GLOBAL bounds - >= 11282 @ 1763.18
1797.07/1803.23 c GLOBAL bounds - >= 11282 @ 1763.19
1797.18/1803.32 c GLOBAL bounds - >= 11282 @ 1763.22
1797.18/1803.34 c GLOBAL bounds - >= 11282 @ 1763.23
1797.27/1803.43 c GLOBAL bounds - >= 11282 @ 1763.27
1797.27/1803.44 c GLOBAL bounds - >= 11282 @ 1763.27
1797.38/1803.53 c GLOBAL bounds - >= 11282 @ 1763.32
1797.38/1803.55 c GLOBAL bounds - >= 11282 @ 1763.32
1797.47/1803.64 c GLOBAL bounds - >= 11282 @ 1763.36
1797.47/1803.66 c GLOBAL bounds - >= 11282 @ 1763.37
1797.57/1803.75 c GLOBAL bounds - >= 11282 @ 1763.42
1797.57/1803.76 c GLOBAL bounds - >= 11282 @ 1763.43
1797.67/1803.85 c GLOBAL bounds - >= 11282 @ 1763.47
1797.77/1803.94 c GLOBAL bounds - >= 11282 @ 1763.5
1797.89/1804.03 c GLOBAL bounds - >= 11282 @ 1763.55
1797.99/1804.14 c GLOBAL bounds - >= 11282 @ 1763.6
1798.07/1804.28 c GLOBAL bounds - >= 11282 @ 1763.7
1798.18/1804.39 c GLOBAL bounds - >= 11282 @ 1763.76
1798.37/1804.51 c GLOBAL bounds - >= 11282 @ 1763.82
1798.77/1804.98 c #Conflicts: 304000 | #Constraints: 16378
1798.77/1804.98 c GLOBAL bounds - >= 11282 @ 1764.24
2201.78/2209.34 c #Conflicts: 305000 | #Constraints: 17378
2201.78/2209.34 c #Conflicts: 306000 | #Constraints: 18378
2201.78/2209.34 c #Conflicts: 307000 | #Constraints: 19378
2201.78/2209.34 c #Conflicts: 308000 | #Constraints: 20378
2201.78/2209.34 c #Conflicts: 309000 | #Constraints: 21378
2201.78/2209.34 c #Conflicts: 310000 | #Constraints: 22378
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 311000 | #Constraints: 12366
2201.78/2209.34 c #Conflicts: 312000 | #Constraints: 13366
2201.78/2209.34 c #Conflicts: 313000 | #Constraints: 14366
2201.78/2209.34 c #Conflicts: 314000 | #Constraints: 15366
2201.78/2209.34 c #Conflicts: 315000 | #Constraints: 16366
2201.78/2209.34 c #Conflicts: 316000 | #Constraints: 17366
2201.78/2209.34 c #Conflicts: 317000 | #Constraints: 18366
2201.78/2209.34 c #Conflicts: 318000 | #Constraints: 19366
2201.78/2209.34 c #Conflicts: 319000 | #Constraints: 20366
2201.78/2209.34 c #Conflicts: 320000 | #Constraints: 21366
2201.78/2209.34 c #Conflicts: 321000 | #Constraints: 22366
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 322000 | #Constraints: 12169
2201.78/2209.34 c #Conflicts: 323000 | #Constraints: 13169
2201.78/2209.34 c #Conflicts: 324000 | #Constraints: 14169
2201.78/2209.34 c #Conflicts: 325000 | #Constraints: 15169
2201.78/2209.34 c #Conflicts: 326000 | #Constraints: 16169
2201.78/2209.34 c #Conflicts: 327000 | #Constraints: 17169
2201.78/2209.34 c #Conflicts: 328000 | #Constraints: 18169
2201.78/2209.34 c #Conflicts: 329000 | #Constraints: 19169
2201.78/2209.34 c #Conflicts: 330000 | #Constraints: 20169
2201.78/2209.34 c #Conflicts: 331000 | #Constraints: 21169
2201.78/2209.34 c #Conflicts: 332000 | #Constraints: 22169
2201.78/2209.34 c #Conflicts: 333000 | #Constraints: 23169
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 334000 | #Constraints: 12766
2201.78/2209.34 c #Conflicts: 335000 | #Constraints: 13766
2201.78/2209.34 c #Conflicts: 336000 | #Constraints: 14766
2201.78/2209.34 c #Conflicts: 337000 | #Constraints: 15766
2201.78/2209.34 c #Conflicts: 338000 | #Constraints: 16766
2201.78/2209.34 c #Conflicts: 339000 | #Constraints: 17766
2201.78/2209.34 c #Conflicts: 340000 | #Constraints: 18766
2201.78/2209.34 c #Conflicts: 341000 | #Constraints: 19766
2201.78/2209.34 c #Conflicts: 342000 | #Constraints: 20766
2201.78/2209.34 c #Conflicts: 343000 | #Constraints: 21766
2201.78/2209.34 c #Conflicts: 344000 | #Constraints: 22766
2201.78/2209.34 c #Conflicts: 345000 | #Constraints: 23766
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 346000 | #Constraints: 13157
2201.78/2209.34 c #Conflicts: 347000 | #Constraints: 14157
2201.78/2209.34 c #Conflicts: 348000 | #Constraints: 15157
2201.78/2209.34 c #Conflicts: 349000 | #Constraints: 16157
2201.78/2209.34 c #Conflicts: 350000 | #Constraints: 17157
2201.78/2209.34 c #Conflicts: 351000 | #Constraints: 18157
2201.78/2209.34 c #Conflicts: 352000 | #Constraints: 19157
2201.78/2209.34 c #Conflicts: 353000 | #Constraints: 20157
2201.78/2209.34 c #Conflicts: 354000 | #Constraints: 21157
2201.78/2209.34 c #Conflicts: 355000 | #Constraints: 22157
2201.78/2209.34 c #Conflicts: 356000 | #Constraints: 23157
2201.78/2209.34 c #Conflicts: 357000 | #Constraints: 24157
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 358000 | #Constraints: 13355
2201.78/2209.34 c #Conflicts: 359000 | #Constraints: 14355
2201.78/2209.34 c #Conflicts: 360000 | #Constraints: 15355
2201.78/2209.34 c #Conflicts: 361000 | #Constraints: 16355
2201.78/2209.34 c #Conflicts: 362000 | #Constraints: 17355
2201.78/2209.34 c #Conflicts: 363000 | #Constraints: 18355
2201.78/2209.34 c #Conflicts: 364000 | #Constraints: 19355
2201.78/2209.34 c #Conflicts: 365000 | #Constraints: 20355
2201.78/2209.34 c #Conflicts: 366000 | #Constraints: 21355
2201.78/2209.34 c #Conflicts: 367000 | #Constraints: 22355
2201.78/2209.34 c #Conflicts: 368000 | #Constraints: 23355
2201.78/2209.34 c #Conflicts: 369000 | #Constraints: 24355
2201.78/2209.34 c INPROCESSING
2201.78/2209.34 c GARBAGE COLLECT
2201.78/2209.34 c #Conflicts: 370000 | #Constraints: 13355
2201.78/2209.34 c #Conflicts: 371000 | #Constraints: 14355
2201.78/2209.34 c #Conflicts: 372000 | #Constraints: 15355
2201.78/2209.34 c #Conflicts: 373000 | #Constraints: 16355
2201.78/2209.34 c #Conflicts: 374000 | #Constraints: 17355
2201.78/2209.34 c #Conflicts: 375000 | #Constraints: 18355
2201.78/2209.34 c #Conflicts: 376000 | #Constraints: 19355
2201.78/2209.34 c #Conflicts: 377000 | #Constraints: 20355
2201.78/2209.34 c #Conflicts: 378000 | #Constraints: 21355
2201.78/2209.34 c #Conflicts: 379000 | #Constraints: 22355
2586.70/2595.58 c #Conflicts: 380000 | #Constraints: 23355
2586.70/2595.58 c #Conflicts: 381000 | #Constraints: 24355
2586.70/2595.58 c INPROCESSING
2586.70/2595.58 c GARBAGE COLLECT
2586.70/2595.58 c #Conflicts: 382000 | #Constraints: 13151
2586.70/2595.58 c #Conflicts: 383000 | #Constraints: 14151
2586.70/2595.58 c #Conflicts: 384000 | #Constraints: 15151
2586.70/2595.58 c #Conflicts: 385000 | #Constraints: 16151
2586.70/2595.58 c #Conflicts: 386000 | #Constraints: 17151
2586.70/2595.58 c #Conflicts: 387000 | #Constraints: 18151
2586.70/2595.58 c #Conflicts: 388000 | #Constraints: 19151
2586.70/2595.58 c #Conflicts: 389000 | #Constraints: 20151
2586.70/2595.58 c #Conflicts: 390000 | #Constraints: 21151
2586.70/2595.58 c #Conflicts: 391000 | #Constraints: 22151
2586.70/2595.58 c #Conflicts: 392000 | #Constraints: 23151
2586.70/2595.58 c #Conflicts: 393000 | #Constraints: 24151
2586.70/2595.58 c #Conflicts: 394000 | #Constraints: 25151
2586.70/2595.58 c INPROCESSING
2586.70/2595.58 c GARBAGE COLLECT
2586.70/2595.58 c #Conflicts: 395000 | #Constraints: 13770
2586.70/2595.58 c #Conflicts: 396000 | #Constraints: 14770
2586.70/2595.58 c #Conflicts: 397000 | #Constraints: 15770
2586.70/2595.58 c #Conflicts: 398000 | #Constraints: 16770
2586.70/2595.58 c #Conflicts: 399000 | #Constraints: 17770
2586.70/2595.58 c #Conflicts: 400000 | #Constraints: 18770
2586.70/2595.58 c #Conflicts: 401000 | #Constraints: 19770
2586.70/2595.58 c #Conflicts: 402000 | #Constraints: 20770
2586.70/2595.58 c #Conflicts: 403000 | #Constraints: 21770
2586.70/2595.58 c #Conflicts: 404000 | #Constraints: 22770
2586.70/2595.58 c #Conflicts: 405000 | #Constraints: 23770
2586.70/2595.58 c #Conflicts: 406000 | #Constraints: 24770
2586.70/2595.58 c #Conflicts: 407000 | #Constraints: 25770
2586.70/2595.58 c INPROCESSING
2586.70/2595.58 c GARBAGE COLLECT
2586.70/2595.58 c #Conflicts: 408000 | #Constraints: 14168
2586.70/2595.58 c #Conflicts: 409000 | #Constraints: 15168
2586.70/2595.58 c #Conflicts: 410000 | #Constraints: 16168
2586.70/2595.58 c #Conflicts: 411000 | #Constraints: 17168
2586.70/2595.58 c #Conflicts: 412000 | #Constraints: 18168
2586.70/2595.58 c #Conflicts: 413000 | #Constraints: 19168
2586.70/2595.58 c #Conflicts: 414000 | #Constraints: 20168
2586.70/2595.58 c #Conflicts: 415000 | #Constraints: 21168
2586.70/2595.58 c #Conflicts: 416000 | #Constraints: 22168
2586.70/2595.58 c #Conflicts: 417000 | #Constraints: 23168
2586.70/2595.58 c #Conflicts: 418000 | #Constraints: 24168
2586.70/2595.58 c #Conflicts: 419000 | #Constraints: 25168
2586.70/2595.58 c #Conflicts: 420000 | #Constraints: 26168
2586.70/2595.58 c INPROCESSING
2586.70/2595.58 c GARBAGE COLLECT
2586.70/2595.58 c #Conflicts: 421000 | #Constraints: 14371
2586.70/2595.58 c #Conflicts: 422000 | #Constraints: 15371
2586.70/2595.58 c #Conflicts: 423000 | #Constraints: 16371
2586.70/2595.58 c #Conflicts: 424000 | #Constraints: 17371
2586.70/2595.58 c #Conflicts: 425000 | #Constraints: 18371
2586.70/2595.58 c #Conflicts: 426000 | #Constraints: 19371
2586.70/2595.58 c #Conflicts: 427000 | #Constraints: 20371
2586.70/2595.58 c #Conflicts: 428000 | #Constraints: 21371
2586.70/2595.58 c #Conflicts: 429000 | #Constraints: 22371
2586.70/2595.58 c #Conflicts: 430000 | #Constraints: 23371
2586.70/2595.58 c #Conflicts: 431000 | #Constraints: 24371
2586.70/2595.58 c #Conflicts: 432000 | #Constraints: 25371
2586.70/2595.58 c #Conflicts: 433000 | #Constraints: 26371
2586.70/2595.58 c INPROCESSING
2586.70/2595.58 c GARBAGE COLLECT
2586.70/2595.58 c #Conflicts: 434000 | #Constraints: 14361
2586.70/2595.58 c #Conflicts: 435000 | #Constraints: 15361
2586.70/2595.59 c #Conflicts: 436000 | #Constraints: 16361
2586.70/2595.59 c #Conflicts: 437000 | #Constraints: 17361
2586.70/2595.59 c #Conflicts: 438000 | #Constraints: 18361
2586.70/2595.59 c #Conflicts: 439000 | #Constraints: 19361
2586.70/2595.59 c #Conflicts: 440000 | #Constraints: 20361
2586.70/2595.59 c #Conflicts: 441000 | #Constraints: 21361
2586.70/2595.59 c #Conflicts: 442000 | #Constraints: 22361
2586.70/2595.59 c #Conflicts: 443000 | #Constraints: 23361
2586.70/2595.59 c #Conflicts: 444000 | #Constraints: 24361
2586.70/2595.59 c #Conflicts: 445000 | #Constraints: 25361
2586.70/2595.59 c #Conflicts: 446000 | #Constraints: 26361
2586.70/2595.59 c INPROCESSING
2586.70/2595.59 c GARBAGE COLLECT
2586.70/2595.59 c #Conflicts: 447000 | #Constraints: 14166
2586.70/2595.59 c #Conflicts: 448000 | #Constraints: 15166
2586.70/2595.59 c #Conflicts: 449000 | #Constraints: 16166
2586.70/2595.59 c #Conflicts: 450000 | #Constraints: 17166
2586.70/2595.59 c #Conflicts: 451000 | #Constraints: 18166
2586.70/2595.59 c #Conflicts: 452000 | #Constraints: 19166
2586.70/2595.59 c #Conflicts: 453000 | #Constraints: 20166
2586.70/2595.59 c #Conflicts: 454000 | #Constraints: 21166
2995.33/3005.79 c #Conflicts: 455000 | #Constraints: 22166
2995.33/3005.79 c #Conflicts: 456000 | #Constraints: 23166
2995.33/3005.79 c #Conflicts: 457000 | #Constraints: 24166
2995.33/3005.79 c #Conflicts: 458000 | #Constraints: 25166
2995.33/3005.79 c #Conflicts: 459000 | #Constraints: 26166
2995.33/3005.79 c #Conflicts: 460000 | #Constraints: 27166
2995.33/3005.79 c INPROCESSING
2995.33/3005.79 c GARBAGE COLLECT
2995.33/3005.79 c #Conflicts: 461000 | #Constraints: 14761
2995.33/3005.79 c #Conflicts: 462000 | #Constraints: 15761
2995.33/3005.79 c #Conflicts: 463000 | #Constraints: 16761
2995.33/3005.79 c #Conflicts: 464000 | #Constraints: 17761
2995.33/3005.79 c #Conflicts: 465000 | #Constraints: 18761
2995.33/3005.79 c #Conflicts: 466000 | #Constraints: 19761
2995.33/3005.79 c #Conflicts: 467000 | #Constraints: 20761
2995.33/3005.79 c #Conflicts: 468000 | #Constraints: 21761
2995.33/3005.79 c #Conflicts: 469000 | #Constraints: 22761
2995.33/3005.79 c #Conflicts: 470000 | #Constraints: 23761
2995.33/3005.79 c #Conflicts: 471000 | #Constraints: 24761
2995.33/3005.79 c #Conflicts: 472000 | #Constraints: 25761
2995.33/3005.79 c #Conflicts: 473000 | #Constraints: 26761
2995.33/3005.79 c #Conflicts: 474000 | #Constraints: 27761
2995.33/3005.79 c INPROCESSING
2995.33/3005.79 c GARBAGE COLLECT
2995.33/3005.79 c #Conflicts: 475000 | #Constraints: 15158
2995.33/3005.79 c #Conflicts: 476000 | #Constraints: 16158
2995.33/3005.79 c #Conflicts: 477000 | #Constraints: 17158
2995.33/3005.79 c #Conflicts: 478000 | #Constraints: 18158
2995.33/3005.79 c #Conflicts: 479000 | #Constraints: 19158
2995.33/3005.79 c #Conflicts: 480000 | #Constraints: 20158
2995.33/3005.79 c #Conflicts: 481000 | #Constraints: 21158
2995.33/3005.79 c #Conflicts: 482000 | #Constraints: 22158
2995.33/3005.79 c #Conflicts: 483000 | #Constraints: 23158
2995.33/3005.79 c #Conflicts: 484000 | #Constraints: 24158
2995.33/3005.79 c #Conflicts: 485000 | #Constraints: 25158
2995.33/3005.79 c #Conflicts: 486000 | #Constraints: 26158
2995.33/3005.79 c #Conflicts: 487000 | #Constraints: 27158
2995.33/3005.79 c #Conflicts: 488000 | #Constraints: 28158
2995.33/3005.79 c INPROCESSING
2995.33/3005.79 c GARBAGE COLLECT
2995.33/3005.79 c #Conflicts: 489000 | #Constraints: 15365
2995.33/3005.79 c #Conflicts: 490000 | #Constraints: 16365
2995.33/3005.79 c #Conflicts: 491000 | #Constraints: 17365
2995.33/3005.79 c #Conflicts: 492000 | #Constraints: 18365
2995.33/3005.79 c #Conflicts: 493000 | #Constraints: 19365
2995.33/3005.79 c #Conflicts: 494000 | #Constraints: 20365
2995.33/3005.79 c #Conflicts: 495000 | #Constraints: 21365
2995.33/3005.79 c #Conflicts: 496000 | #Constraints: 22365
2995.33/3005.79 c #Conflicts: 497000 | #Constraints: 23365
2995.33/3005.79 c #Conflicts: 498000 | #Constraints: 24365
2995.33/3005.79 c #Conflicts: 499000 | #Constraints: 25365
2995.33/3005.79 c #Conflicts: 500000 | #Constraints: 26365
2995.33/3005.79 c #Conflicts: 501000 | #Constraints: 27365
2995.33/3005.79 c #Conflicts: 502000 | #Constraints: 28365
2995.33/3005.79 c INPROCESSING
2995.33/3005.79 c GARBAGE COLLECT
2995.33/3005.79 c #Conflicts: 503000 | #Constraints: 15374
2995.33/3005.79 c #Conflicts: 504000 | #Constraints: 16374
2995.33/3005.79 c #Conflicts: 505000 | #Constraints: 17374
2995.33/3005.79 c #Conflicts: 506000 | #Constraints: 18374
2995.33/3005.79 c #Conflicts: 507000 | #Constraints: 19374
2995.33/3005.79 c #Conflicts: 508000 | #Constraints: 20374
2995.33/3005.79 c #Conflicts: 509000 | #Constraints: 21374
2995.33/3005.79 c #Conflicts: 510000 | #Constraints: 22374
2995.33/3005.79 c #Conflicts: 511000 | #Constraints: 23374
2995.33/3005.79 c #Conflicts: 512000 | #Constraints: 24374
2995.33/3005.79 c #Conflicts: 513000 | #Constraints: 25374
2995.33/3005.79 c #Conflicts: 514000 | #Constraints: 26374
2995.33/3005.79 c #Conflicts: 515000 | #Constraints: 27374
2995.33/3005.79 c #Conflicts: 516000 | #Constraints: 28374
2995.33/3005.79 c INPROCESSING
2995.33/3005.79 c GARBAGE COLLECT
2995.33/3005.79 c #Conflicts: 517000 | #Constraints: 15168
2995.33/3005.79 c #Conflicts: 518000 | #Constraints: 16168
2995.33/3005.79 c #Conflicts: 519000 | #Constraints: 17168
2995.33/3005.79 c #Conflicts: 520000 | #Constraints: 18168
2995.33/3005.79 c #Conflicts: 521000 | #Constraints: 19168
2995.33/3005.79 c #Conflicts: 522000 | #Constraints: 20168
2995.33/3005.79 c #Conflicts: 523000 | #Constraints: 21168
2995.33/3005.79 c #Conflicts: 524000 | #Constraints: 22168
2995.33/3005.79 c #Conflicts: 525000 | #Constraints: 23168
2995.33/3005.79 c #Conflicts: 526000 | #Constraints: 24168
2995.33/3005.79 c #Conflicts: 527000 | #Constraints: 25168
2995.33/3005.79 c #Conflicts: 528000 | #Constraints: 26168
2995.33/3005.79 c #Conflicts: 529000 | #Constraints: 27168
2995.33/3005.79 c #Conflicts: 530000 | #Constraints: 28168
3411.39/3423.42 c #Conflicts: 531000 | #Constraints: 29168
3411.39/3423.42 c INPROCESSING
3411.39/3423.42 c GARBAGE COLLECT
3411.39/3423.42 c #Conflicts: 532000 | #Constraints: 15761
3411.39/3423.42 c #Conflicts: 533000 | #Constraints: 16761
3411.39/3423.42 c #Conflicts: 534000 | #Constraints: 17761
3411.39/3423.42 c #Conflicts: 535000 | #Constraints: 18761
3411.39/3423.42 c #Conflicts: 536000 | #Constraints: 19761
3411.39/3423.42 c #Conflicts: 537000 | #Constraints: 20761
3411.39/3423.42 c #Conflicts: 538000 | #Constraints: 21761
3411.39/3423.42 c #Conflicts: 539000 | #Constraints: 22761
3411.39/3423.42 c #Conflicts: 540000 | #Constraints: 23761
3411.39/3423.42 c #Conflicts: 541000 | #Constraints: 24761
3411.39/3423.42 c #Conflicts: 542000 | #Constraints: 25761
3411.39/3423.42 c #Conflicts: 543000 | #Constraints: 26761
3411.39/3423.42 c #Conflicts: 544000 | #Constraints: 27761
3411.39/3423.42 c #Conflicts: 545000 | #Constraints: 28761
3411.39/3423.42 c #Conflicts: 546000 | #Constraints: 29761
3411.39/3423.42 c INPROCESSING
3411.39/3423.42 c GARBAGE COLLECT
3411.39/3423.42 c #Conflicts: 547000 | #Constraints: 16160
3411.39/3423.42 c #Conflicts: 548000 | #Constraints: 17160
3411.39/3423.42 c #Conflicts: 549000 | #Constraints: 18160
3411.39/3423.42 c #Conflicts: 550000 | #Constraints: 19160
3411.39/3423.42 c #Conflicts: 551000 | #Constraints: 20160
3411.39/3423.42 c #Conflicts: 552000 | #Constraints: 21160
3411.39/3423.42 c #Conflicts: 553000 | #Constraints: 22160
3411.39/3423.42 c #Conflicts: 554000 | #Constraints: 23160
3411.39/3423.42 c #Conflicts: 555000 | #Constraints: 24160
3411.39/3423.42 c #Conflicts: 556000 | #Constraints: 25160
3411.39/3423.42 c #Conflicts: 557000 | #Constraints: 26160
3411.39/3423.42 c #Conflicts: 558000 | #Constraints: 27160
3411.39/3423.42 c #Conflicts: 559000 | #Constraints: 28160
3411.39/3423.42 c #Conflicts: 560000 | #Constraints: 29160
3411.39/3423.42 c #Conflicts: 561000 | #Constraints: 30160
3411.39/3423.42 c INPROCESSING
3411.39/3423.42 c GARBAGE COLLECT
3411.39/3423.42 c #Conflicts: 562000 | #Constraints: 16357
3411.39/3423.42 c #Conflicts: 563000 | #Constraints: 17357
3411.39/3423.42 c #Conflicts: 564000 | #Constraints: 18357
3411.39/3423.42 c #Conflicts: 565000 | #Constraints: 19357
3411.39/3423.42 c #Conflicts: 566000 | #Constraints: 20357
3411.39/3423.42 c #Conflicts: 567000 | #Constraints: 21357
3411.39/3423.42 c #Conflicts: 568000 | #Constraints: 22357
3411.39/3423.42 c #Conflicts: 569000 | #Constraints: 23357
3411.39/3423.42 c #Conflicts: 570000 | #Constraints: 24357
3411.39/3423.42 c #Conflicts: 571000 | #Constraints: 25357
3411.39/3423.42 c #Conflicts: 572000 | #Constraints: 26357
3411.39/3423.42 c #Conflicts: 573000 | #Constraints: 27357
3411.39/3423.42 c #Conflicts: 574000 | #Constraints: 28357
3411.39/3423.42 c #Conflicts: 575000 | #Constraints: 29357
3411.39/3423.42 c #Conflicts: 576000 | #Constraints: 30357
3411.39/3423.42 c INPROCESSING
3411.39/3423.42 c GARBAGE COLLECT
3411.39/3423.42 c #Conflicts: 577000 | #Constraints: 16375
3411.39/3423.42 c #Conflicts: 578000 | #Constraints: 17375
3411.39/3423.42 c #Conflicts: 579000 | #Constraints: 18375
3411.39/3423.42 c #Conflicts: 580000 | #Constraints: 19375
3411.39/3423.42 c #Conflicts: 581000 | #Constraints: 20375
3411.39/3423.42 c #Conflicts: 582000 | #Constraints: 21375
3411.39/3423.42 c #Conflicts: 583000 | #Constraints: 22375
3411.39/3423.42 c #Conflicts: 584000 | #Constraints: 23375
3411.39/3423.42 c #Conflicts: 585000 | #Constraints: 24375
3411.39/3423.42 c #Conflicts: 586000 | #Constraints: 25375
3411.39/3423.42 c #Conflicts: 587000 | #Constraints: 26375
3411.39/3423.42 c #Conflicts: 588000 | #Constraints: 27375
3411.39/3423.42 c #Conflicts: 589000 | #Constraints: 28375
3411.39/3423.42 c #Conflicts: 590000 | #Constraints: 29375
3411.39/3423.42 c #Conflicts: 591000 | #Constraints: 30375
3411.39/3423.42 c INPROCESSING
3411.39/3423.42 c GARBAGE COLLECT
3411.39/3423.42 c #Conflicts: 592000 | #Constraints: 16174
3411.39/3423.42 c #Conflicts: 593000 | #Constraints: 17174
3411.39/3423.42 c #Conflicts: 594000 | #Constraints: 18174
3411.39/3423.42 c #Conflicts: 595000 | #Constraints: 19174
3411.39/3423.42 c #Conflicts: 596000 | #Constraints: 20174
3411.39/3423.42 c #Conflicts: 597000 | #Constraints: 21174
3411.39/3423.42 c #Conflicts: 598000 | #Constraints: 22174
3411.39/3423.42 c #Conflicts: 599000 | #Constraints: 23174
3411.39/3423.42 c #Conflicts: 600000 | #Constraints: 24174
3411.39/3423.42 c #Conflicts: 601000 | #Constraints: 25174
3411.39/3423.42 c #Conflicts: 602000 | #Constraints: 26174
3411.39/3423.42 c #Conflicts: 603000 | #Constraints: 27174
3411.39/3423.42 c #Conflicts: 604000 | #Constraints: 28174
3411.39/3423.42 c #Conflicts: 605000 | #Constraints: 29174
3411.39/3423.42 c #Conflicts: 606000 | #Constraints: 30174
3601.57/3614.37 c #Conflicts: 607000 | #Constraints: 31174
3601.57/3614.37 c INPROCESSING
3601.57/3614.37 c GARBAGE COLLECT
3601.57/3614.37 c #Conflicts: 608000 | #Constraints: 16777
3601.57/3614.37 c #Conflicts: 609000 | #Constraints: 17777
3601.57/3614.37 c #Conflicts: 610000 | #Constraints: 18777
3601.57/3614.37 c #Conflicts: 611000 | #Constraints: 19777
3601.57/3614.37 c #Conflicts: 612000 | #Constraints: 20777
3601.57/3614.37 c #Conflicts: 613000 | #Constraints: 21777
3601.57/3614.37 c #Conflicts: 614000 | #Constraints: 22777
3601.57/3614.37 c #Conflicts: 615000 | #Constraints: 23777
3601.57/3614.37 c #Conflicts: 616000 | #Constraints: 24777
3601.57/3614.37 c #Conflicts: 617000 | #Constraints: 25777
3601.57/3614.37 c #Conflicts: 618000 | #Constraints: 26777
3601.57/3614.37 c #Conflicts: 619000 | #Constraints: 27777
3601.57/3614.37 c #Conflicts: 620000 | #Constraints: 28777
3601.57/3614.37 c #Conflicts: 621000 | #Constraints: 29777
3601.57/3614.37 c #Conflicts: 622000 | #Constraints: 30777
3601.57/3614.37 c #Conflicts: 623000 | #Constraints: 31777
3601.57/3614.37 c INPROCESSING
3601.57/3614.37 c GARBAGE COLLECT
3601.57/3614.37 c #Conflicts: 624000 | #Constraints: 17172
3601.57/3614.37 c #Conflicts: 625000 | #Constraints: 18172
3601.57/3614.37 c #Conflicts: 626000 | #Constraints: 19172
3601.57/3614.37 c #Conflicts: 627000 | #Constraints: 20172
3601.57/3614.37 c #Conflicts: 628000 | #Constraints: 21172
3601.57/3614.37 c #Conflicts: 629000 | #Constraints: 22172
3601.57/3614.37 c #Conflicts: 630000 | #Constraints: 23172
3601.57/3614.37 c #Conflicts: 631000 | #Constraints: 24172
3601.57/3614.37 c #Conflicts: 632000 | #Constraints: 25172
3601.57/3614.37 c #Conflicts: 633000 | #Constraints: 26172
3601.57/3614.37 c #Conflicts: 634000 | #Constraints: 27172
3601.57/3614.37 c #Conflicts: 635000 | #Constraints: 28172
3601.57/3614.37 c #Conflicts: 636000 | #Constraints: 29172
3601.57/3614.37 c #Conflicts: 637000 | #Constraints: 30172
3601.57/3614.37 c #Conflicts: 638000 | #Constraints: 31172
3601.57/3614.37 c #Conflicts: 639000 | #Constraints: 32172
3601.57/3614.37 c INPROCESSING
3601.57/3614.37 c GARBAGE COLLECT
3601.57/3614.37 c cpu time 3538.14 s
3601.57/3614.37 c deterministic time 18880210 1.89e+07
3601.57/3614.37 c optimization time 3533.52 s
3601.57/3614.37 c total solve time 1.97892 s
3601.57/3614.37 c core-guided solve time 0 s
3601.57/3614.37 c propagation time 1.16272 s
3601.57/3614.37 c conflict analysis time 0.149977 s
3601.57/3614.37 c propagations 2731225
3601.57/3614.37 c resolve steps 13561
3601.57/3614.37 c decisions 4003757
3601.57/3614.37 c conflicts 554
3601.57/3614.37 c restarts 5
3601.57/3614.37 c inprocessing phases 0
3601.57/3614.37 c garbage collections 0 ,( -nan )
3601.57/3614.37 c input clauses 279652 ,( 99.96 )
3601.57/3614.37 c input cardinalities 0 ,( 0.00 )
3601.57/3614.37 c input general constraints 118 ,( 0.04 )
3601.57/3614.37 c input average constraint length 6.56
3601.57/3614.37 c input average constraint degree 1218.03
3601.57/3614.37 c learned clauses 598 ,( 100.00 )
3601.57/3614.37 c learned cardinalities 0 ,( 0.00 )
3601.57/3614.37 c learned general constraints 0 ,( 0.00 )
3601.57/3614.37 c learned average constraint length 45.97
3601.57/3614.37 c learned average constraint degree 1.00
3601.57/3614.37 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3601.57/3614.37 c counting CF 32, 64, 128, Arb: 119 , 0 , 0 , 0
3601.57/3614.37 c watched constraints 0 ,( 0.00 )
3601.57/3614.37 c counting constraints 118 ,( 100.00 )
3601.57/3614.37 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1612242 , 0 , 335882 ,( 0 , 335882 )
3601.57/3614.37 c gcd simplifications 0
3601.57/3614.37 c detected cardinalities 0
3601.57/3614.37 c weakened non-implied lits 0
3601.57/3614.37 c weakened non-implying lits 0
3601.57/3614.37 c original variables 80211
3601.57/3614.37 c clausal propagations 1511645
3601.57/3614.37 c cardinality propagations 0
3601.57/3614.37 c watched propagations 0
3601.57/3614.37 c counting propagations 13766
3601.57/3614.37 c watch lookups 2354145
3601.57/3614.37 c watch backjump lookups 0
3601.57/3614.37 c watch checks 1432169
3601.57/3614.37 c propagation checks 1539545
3601.57/3614.37 c constraint additions 124321
3601.57/3614.37 c trail pops 6692047
3601.57/3614.37 c formula constraints 279336
3601.57/3614.37 c learned constraints 598
3601.57/3614.37 c bound constraints 0
3601.57/3614.37 c core-guided constraints 0
3601.57/3614.37 c encountered formula constraints 13745
3601.57/3614.37 c encountered learned constraints 370
3601.57/3614.37 c encountered bound constraints 0
3601.57/3614.37 c encountered core-guided constraints 0
3601.57/3614.37 c LP total time 0.914682 s
3601.57/3614.37 c LP solve time 0.79 s
3601.57/3614.37 c LP constraints added 279336
3601.57/3614.37 c LP constraints removed 0
3601.57/3614.37 c LP pivots internal 2000
3601.57/3614.37 c LP pivots root 1000
3601.57/3614.37 c LP calls 2
3601.57/3614.37 c LP optimalities 0
3601.57/3614.37 c LP no pivot count 0
3601.57/3614.37 c LP infeasibilities 0
3601.57/3614.37 c LP valid Farkas constraints 0
3601.57/3614.37 c LP learned Farkas constraints 0
3601.57/3614.37 c LP basis resets 0
3601.57/3614.37 c LP cycling count 0
3601.57/3614.37 c LP singular count 0
3601.57/3614.37 c LP no primal count 0
3601.57/3614.37 c LP no farkas count 0
3601.57/3614.37 c LP other issue count 0
3601.57/3614.37 c LP Gomory cuts 0
3601.57/3614.37 c LP learned cuts 0
3601.57/3614.37 c LP deleted cuts 0
3601.57/3614.37 c LP encountered Gomory constraints 0
3601.57/3614.37 c LP encountered Farkas constraints 0
3601.57/3614.37 c LP encountered learned Farkas constraints 0
3601.57/3614.37 c CG auxiliary variables introduced 138
3601.57/3614.37 c CG solutions found 0
3601.57/3614.37 c CG cores constructed 217
3601.57/3614.37 c CG core cardinality constraints returned 0
3601.57/3614.37 c CG unit cores 0
3601.57/3614.37 c CG single cores 0
3601.57/3614.37 c CG blocks removed during cardinality reduction 0
3601.57/3614.37 c CG first core best 0
3601.57/3614.37 c CG decision core best 0
3601.57/3614.37 c CG core reduction tie 0
3601.57/3614.37 c CG core degree average 0.00
3601.57/3614.37 c CG core slack average 0.00
3601.57/3614.37 c CG core upper bound improvements 0
3601.57/3614.37 c STR number of successful calls 0
3601.57/3614.37 c STR number of unsuccessful calls 0
3601.57/3614.37 c STR number of inconclusive calls 0
3601.57/3614.37 c STR number of successful attempts 0
3601.57/3614.37 c STR number of unsuccessful attempts 0
3601.57/3614.37 c STR number of inconclusive attempts 0
3601.57/3614.37 c STR average degree increase per successful call inf
3601.57/3614.37 c STR average degree increase per successful attempt inf
3601.57/3614.37 c STR total number of conflicts for successful attempts 0
3601.57/3614.37 c STR total number of conflicts for unsuccessful attempts 0
3601.57/3614.37 c STR total number of conflicts for inconclusive attempts 0
3601.57/3614.37 c STR average number of conflicts per successful attempt inf
3601.57/3614.37 c STR average number of conflicts per unsuccessful attempt inf
3601.57/3614.37 c STR average number of conflicts per inconclusive attempt inf
3601.57/3614.37 c AVG.sumWPerc 99.76
3601.57/3614.37 c bigint constraints 0
3601.57/3614.37 s UNKNOWN
3601.57/3614.37 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62257 MiB free)
memory of node 1: 64465 MiB (63190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506551-1751505019/watcher-4506551-1751505019 -o /tmp/evaluation-result-4506551-1751505019/solver-4506551-1751505019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69616 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506551-1751505019.opb PROOFDIR/proof-4506551-1751505019
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70069, runsolver pid=70066
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128449124/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=72564 memory=27676 CPUtime=0.08 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 3550 0 0 0 6 2 0 0 20 0 1 0 66181109 74305536 6919 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 18141 6919 1952 1147 0 5568 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 30748 KiB
[startup+0.210566 s]*
/proc/loadavg: 4.12 4.11 4.09 6/260 70071
/proc/meminfo: memFree=128432744/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=73692 memory=28828 CPUtime=0.19 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 3833 0 0 0 15 4 0 0 20 0 1 0 66181109 75460608 7207 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 18423 7207 1952 1147 0 5850 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77884 KiB
Current children cumulated memory: 31900 KiB
[startup+0.310681 s]*
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128367972/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=74724 memory=29852 CPUtime=0.29 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 4101 0 0 0 23 6 0 0 20 0 1 0 66181109 76517376 7463 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 18681 7463 1952 1147 0 6108 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 32924 KiB
[startup+0.700408 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128325068/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=77304 memory=32412 CPUtime=0.67 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 4715 0 0 0 58 9 0 0 20 0 1 0 66181109 79159296 8103 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 19326 8103 1952 1147 0 6753 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81496 KiB
Current children cumulated memory: 35484 KiB
[startup+1.50039 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 70071
/proc/meminfo: memFree=128282992/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=90392 memory=46316 CPUtime=1.47 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 7219 0 0 0 126 21 0 0 20 0 1 0 66181109 92561408 11579 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 22598 11579 1952 1147 0 10025 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94584 KiB
Current children cumulated memory: 49388 KiB
[startup+3.11353 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 70085
/proc/meminfo: memFree=128321584/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=440848 memory=271596 CPUtime=3.08 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 26177 0 0 0 264 44 0 0 20 0 1 0 66181109 451428352 67899 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 110212 67899 2304 1147 0 97639 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 445040 KiB
Current children cumulated memory: 274668 KiB
[startup+6.30036 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 70101
/proc/meminfo: memFree=128011276/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=591300 memory=398264 CPUtime=6.25 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 47790 0 0 0 452 173 0 0 20 0 1 0 66181109 605491200 99566 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 147825 99566 2368 1147 0 135252 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 595492 KiB
Current children cumulated memory: 401336 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 70118
/proc/meminfo: memFree=127130200/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=814688 memory=612360 CPUtime=12.64 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 86548 0 0 0 769 495 0 0 20 0 1 0 66181109 834240512 153090 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 203672 153090 2368 1147 0 191099 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 818880 KiB
Current children cumulated memory: 615432 KiB
[startup+25.5005 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 70119
/proc/meminfo: memFree=125931736/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=1174608 memory=916600 CPUtime=25.41 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 138585 0 0 0 1637 904 0 0 20 0 1 0 66181109 1202798592 229150 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 293652 229150 2368 1147 0 281079 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1178800 KiB
Current children cumulated memory: 919672 KiB
[startup+51.1137 s]
/proc/loadavg: 4.12 4.10 4.09 5/261 70121
/proc/meminfo: memFree=122733028/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=1660460 memory=1321936 CPUtime=50.95 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 215887 0 0 0 3862 1233 0 0 20 0 1 0 66181109 1700311040 330484 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 415115 330484 2368 1147 0 402542 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1664652 KiB
Current children cumulated memory: 1325008 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 70123
/proc/meminfo: memFree=116446564/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=1660460 memory=1378404 CPUtime=101.99 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 223890 0 0 0 8897 1302 0 0 20 0 1 0 66181109 1700311040 344601 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 415115 344601 2368 1147 0 402542 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1664652 KiB
Current children cumulated memory: 1381476 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 70126
/proc/meminfo: memFree=110044928/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=2323328 memory=1849504 CPUtime=161.82 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 324855 0 0 0 14783 1399 0 0 20 0 1 0 66181109 2379087872 462376 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 580832 462376 2368 1147 0 568259 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2327520 KiB
Current children cumulated memory: 1852576 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/263 70128
/proc/meminfo: memFree=103371884/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=2540148 memory=1910428 CPUtime=221.64 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 333427 0 0 0 20674 1490 0 0 20 0 1 0 66181109 2601111552 477607 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.24 5/281 70333
/proc/meminfo: memFree=1521672/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6137372 CPUtime=3270.86 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2168894 0 0 0 321313 5773 0 0 20 0 1 0 66181109 7723827200 1534343 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1534343 2368 1147 0 1873127 0
Current children cumulated CPU time: 3270.86 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6140444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.20 4.24 5/281 70337
/proc/meminfo: memFree=1394212/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6137500 CPUtime=3330.67 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2243920 0 0 0 327187 5880 0 0 20 0 1 0 66181109 7723827200 1534375 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1534375 2368 1147 0 1873127 0
Current children cumulated CPU time: 3330.67 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6140572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.46 4.26 4.25 5/280 70339
/proc/meminfo: memFree=1675232/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6137628 CPUtime=3390.36 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2423010 0 0 0 333032 6004 0 0 20 0 1 0 66181109 7723827200 1534407 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1534407 2368 1147 0 1873127 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6140700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.84 4.41 4.31 5/275 70341
/proc/meminfo: memFree=1649644/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6137628 CPUtime=3450.12 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2460265 0 0 0 338918 6094 0 0 20 0 1 0 66181109 7723827200 1534407 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1534407 2368 1147 0 1873127 0
Current children cumulated CPU time: 3450.12 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6140700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.47 4.38 4.30 5/262 70343
/proc/meminfo: memFree=1463944/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6166232 CPUtime=3509.91 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2624382 0 0 0 344799 6192 0 0 20 0 1 0 66181109 7723827200 1541558 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1541558 2368 1147 0 1873127 0
Current children cumulated CPU time: 3509.91 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6169304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.35 4.36 4.30 5/261 70350
/proc/meminfo: memFree=1640892/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6166232 CPUtime=3569.69 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2693716 0 0 0 350686 6283 0 0 20 0 1 0 66181109 7723827200 1541558 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1541558 2368 1147 0 1873127 0
Current children cumulated CPU time: 3569.69 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6169304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.21 4.32 4.28 6/254 70359
/proc/meminfo: memFree=11711004/131382120 swapFree=33010160/33010684
[pid=70069] ppid=70066 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/70069/stat : 70069 (run-opt-log.sh) S 70066 70069 69604 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 66181108 4292608 768 18446744073709551615 94201102811136 94201103705669 140724374467712 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94201103944720 94201103992464 94201115869184 140724374477089 140724374477284 140724374477284 140724374482886 0
/proc/70069/statm: 1048 768 704 219 0 110 0
[pid=70071] ppid=70069 vsize=7542800 memory=6226656 CPUtime=3600.08 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70069 70069 69604 0 -1 4194304 2801164 0 0 0 353664 6344 0 0 20 0 1 0 66181109 7723827200 1556664 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1556664 2368 1147 0 1873127 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7546992 KiB
Current children cumulated memory: 6229728 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.81 s]
# the end of solver process 70069 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.003936 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.44 4.37 4.30 8/252 70378
/proc/meminfo: memFree=11722960/131382120 swapFree=33010160/33010684
[pid=70071] ppid=70066 vsize=7542800 memory=6227040 CPUtime=3601.65 cores=1,3
/proc/70071/stat : 70071 (roundingsat) D 70066 70069 69604 0 -1 4194304 2821579 0 1 0 353814 6351 0 0 20 0 1 0 66181109 7723827200 1556760 18446744073709551615 4227072 8923433 140725030405776 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 9
/proc/70071/statm: 1885700 1556760 2464 1147 0 1873127 0
??? kill 70071 sig 9
??? end of watcher thread
[startup+3615.21 s]
# the end of solver process 70071 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3538.14 s, system=63.871 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.44 4.37 4.30 3/252 70378
/proc/meminfo: memFree=11711252/131382120 swapFree=33010160/33010684
[pid=70071] ppid=70066 vsize=7542800 memory=6226656 CPUtime=3600.87 cores=1,3
/proc/70071/stat : 70071 (roundingsat) R 70066 70069 69604 0 -1 4194304 2802186 0 0 0 353743 6344 0 0 20 0 1 0 66181109 7723827200 1556664 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1556664 2368 1147 0 1873127 0
Current cumulated CPU time of completed processes: 0.003936 s
Current children cumulated CPU time: 3600.87 s
Current children cumulated vsize: 7542800 KiB
Current children cumulated memory: 6226656 KiB
[startup+3614.4 s]
/proc/loadavg: 4.44 4.37 4.30 6/252 70378
/proc/meminfo: memFree=11713500/131382120 swapFree=33010160/33010684
[pid=70071] ppid=70066 vsize=7542800 memory=6227040 CPUtime=3601.63 cores=1,3
/proc/70071/stat : 70071 (roundingsat) D 70066 70069 69604 0 -1 4194304 2821579 0 1 0 353813 6350 0 0 20 0 1 0 66181109 7723827200 1556760 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1556760 2464 1147 0 1873127 0
Current cumulated CPU time of completed processes: 0.003936 s
Current children cumulated CPU time: 3601.63 s
Current children cumulated vsize: 7542800 KiB
Current children cumulated memory: 6227040 KiB
[startup+3614.8 s]
/proc/loadavg: 4.44 4.37 4.30 6/252 70378
/proc/meminfo: memFree=11713500/131382120 swapFree=33010160/33010684
[pid=70071] ppid=70066 vsize=7542800 memory=6227040 CPUtime=3601.65 cores=1,3
/proc/70071/stat : 70071 (roundingsat) D 70066 70069 69604 0 -1 4194304 2821579 0 1 0 353814 6351 0 0 20 0 1 0 66181109 7723827200 1556760 18446744073709551615 4227072 8923433 140725030405776 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32874496 140725030410578 140725030410792 140725030410792 140725030416362 0
/proc/70071/statm: 1885700 1556760 2464 1147 0 1873127 0
Current cumulated CPU time of completed processes: 0.003936 s
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 7542800 KiB
Current children cumulated memory: 6227040 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.21
CPU time (s): 3602.02
CPU user time (s): 3538.14
CPU system time (s): 63.871
CPU usage (%): 99.635
Max. virtual memory (cumulated for all children) (KiB): 7546992
Max. memory (cumulated for all children) (KiB): 6229728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.14
system time used= 63.871
maximum resident set size= 6227040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2821790
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 113773976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9279
involuntary context switches= 13220
# summary of solver processes directly reported to runsolver:
# pid: 70069,70071
# total CPU time (s): 3602.02
# total CPU user time (s): 3538.14
# total CPU system time (s): 63.871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2951 second user time and 40.0868 second system time
The end
Begin job on nodeC008 at 2025-07-03 03:10:20
IDJOB=4506551
IDBENCH=158225
IDSOLVER=3351
FILE ID=nodeC008/4506551-1751505019
RUNJOBID= nodeC008-1751501401-69616
SLURM_JOB_ID= 9598586
Free space on /tmp= 432544 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506551-1751505019/watcher-4506551-1751505019 -o /tmp/evaluation-result-4506551-1751505019/solver-4506551-1751505019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751501401-69616 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4506551-1751505019.opb PROOFDIR/proof-4506551-1751505019
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f70baaa733a2b1f4b72e17201e681e78
RANDOM SEED=454567091
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1995.353
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.695
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.503
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.857
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3393.572
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.392
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128474596 kB
MemAvailable: 129574084 kB
Buffers: 2144 kB
Cached: 1895572 kB
SwapCached: 16 kB
Active: 632244 kB
Inactive: 1664020 kB
Active(anon): 379924 kB
Inactive(anon): 36568 kB
Active(file): 252320 kB
Inactive(file): 1627452 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 294900 kB
Writeback: 0 kB
AnonPages: 401816 kB
Mapped: 114468 kB
Shmem: 17920 kB
KReclaimable: 118688 kB
Slab: 203452 kB
SReclaimable: 118688 kB
SUnreclaim: 84764 kB
KernelStack: 4192 kB
PageTables: 3944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 774556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432532 MiB
End job on nodeC008 at 2025-07-03 04:10:35