0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.57/1.63 c #variables 80211 #constraints 279336
1.57/1.63 c objective is ce32
1.57/1.64 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.57/1.64 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.57/1.64 c GLOBAL bounds - >= 0 @ 1.32676
1.67/1.72 c GLOBAL bounds - >= 0 @ 1.36041
1.67/1.72 c GLOBAL bounds - >= 352 @ 1.36103
2.58/2.69 c GLOBAL bounds - >= 352 @ 2.28044
2.67/2.76 c GLOBAL bounds - >= 352 @ 2.30948
2.67/2.77 c GLOBAL bounds - >= 352 @ 2.30981
2.77/2.84 c GLOBAL bounds - >= 352 @ 2.34272
2.77/2.84 c GLOBAL bounds - >= 352 @ 2.34419
2.87/2.92 c GLOBAL bounds - >= 352 @ 2.37467
2.87/2.92 c GLOBAL bounds - >= 352 @ 2.37552
2.87/3.00 c GLOBAL bounds - >= 352 @ 2.40511
2.87/3.00 c GLOBAL bounds - >= 352 @ 2.40662
2.97/3.08 c GLOBAL bounds - >= 352 @ 2.43155
2.97/3.08 c GLOBAL bounds - >= 352 @ 2.43423
3.08/3.16 c GLOBAL bounds - >= 352 @ 2.46014
3.08/3.16 c GLOBAL bounds - >= 352 @ 2.46149
3.17/3.23 c GLOBAL bounds - >= 352 @ 2.49223
3.17/3.24 c GLOBAL bounds - >= 352 @ 2.49317
3.27/3.31 c GLOBAL bounds - >= 352 @ 2.52303
3.27/3.32 c GLOBAL bounds - >= 352 @ 2.52511
3.27/3.39 c GLOBAL bounds - >= 352 @ 2.56341
3.37/3.40 c GLOBAL bounds - >= 352 @ 2.56601
3.37/3.47 c GLOBAL bounds - >= 352 @ 2.59301
3.47/3.57 c GLOBAL bounds - >= 352 @ 2.63567
3.57/3.65 c GLOBAL bounds - >= 352 @ 2.67367
3.57/3.67 c GLOBAL bounds - >= 3080 @ 2.68851
3.57/3.68 c GLOBAL bounds - >= 3080 @ 2.69665
3.67/3.76 c GLOBAL bounds - >= 3080 @ 2.72908
3.67/3.76 c GLOBAL bounds - >= 3080 @ 2.7296
3.77/3.84 c GLOBAL bounds - >= 3080 @ 2.76102
3.77/3.84 c GLOBAL bounds - >= 3080 @ 2.7636
3.87/3.92 c GLOBAL bounds - >= 3080 @ 2.79195
3.87/3.93 c GLOBAL bounds - >= 3080 @ 2.79575
3.97/4.00 c GLOBAL bounds - >= 3080 @ 2.82499
3.97/4.01 c GLOBAL bounds - >= 3080 @ 2.82869
3.97/4.08 c GLOBAL bounds - >= 3080 @ 2.86286
3.97/4.09 c GLOBAL bounds - >= 3080 @ 2.86463
4.08/4.16 c GLOBAL bounds - >= 3080 @ 2.89888
4.08/4.17 c GLOBAL bounds - >= 3080 @ 2.90319
4.17/4.25 c GLOBAL bounds - >= 3080 @ 2.92914
4.17/4.25 c GLOBAL bounds - >= 3080 @ 2.93295
4.27/4.33 c GLOBAL bounds - >= 3080 @ 2.95978
4.27/4.33 c GLOBAL bounds - >= 3080 @ 2.96209
4.37/4.41 c GLOBAL bounds - >= 3080 @ 2.99205
4.37/4.42 c GLOBAL bounds - >= 3080 @ 2.99399
4.37/4.49 c GLOBAL bounds - >= 3080 @ 3.01906
4.47/4.57 c GLOBAL bounds - >= 3080 @ 3.05027
4.56/4.64 c GLOBAL bounds - >= 3080 @ 3.07544
4.67/4.74 c GLOBAL bounds - >= 3080 @ 3.12158
4.76/4.82 c GLOBAL bounds - >= 3080 @ 3.17173
4.87/4.92 c GLOBAL bounds - >= 3080 @ 3.21918
4.87/4.95 c GLOBAL bounds - >= 4785 @ 3.24322
4.87/4.96 c GLOBAL bounds - >= 4785 @ 3.25446
4.97/5.04 c GLOBAL bounds - >= 4785 @ 3.28503
4.97/5.04 c GLOBAL bounds - >= 4785 @ 3.28751
5.08/5.12 c GLOBAL bounds - >= 4785 @ 3.31324
5.08/5.12 c GLOBAL bounds - >= 4785 @ 3.31535
5.08/5.20 c GLOBAL bounds - >= 4785 @ 3.34568
5.16/5.20 c GLOBAL bounds - >= 4785 @ 3.3477
5.16/5.28 c GLOBAL bounds - >= 4785 @ 3.37803
5.16/5.28 c GLOBAL bounds - >= 4785 @ 3.38054
5.27/5.36 c GLOBAL bounds - >= 4785 @ 3.42281
5.27/5.36 c GLOBAL bounds - >= 4785 @ 3.42649
5.36/5.44 c GLOBAL bounds - >= 4785 @ 3.45299
5.36/5.45 c GLOBAL bounds - >= 4785 @ 3.45499
5.47/5.52 c GLOBAL bounds - >= 4785 @ 3.47938
5.47/5.53 c GLOBAL bounds - >= 4785 @ 3.48236
5.57/5.61 c GLOBAL bounds - >= 4785 @ 3.51361
5.57/5.61 c GLOBAL bounds - >= 4785 @ 3.51829
5.57/5.69 c GLOBAL bounds - >= 4785 @ 3.54874
5.57/5.70 c GLOBAL bounds - >= 4785 @ 3.55236
5.67/5.77 c GLOBAL bounds - >= 4785 @ 3.57837
5.76/5.87 c GLOBAL bounds - >= 4785 @ 3.62237
5.86/5.97 c GLOBAL bounds - >= 4785 @ 3.66645
5.97/6.02 c GLOBAL bounds - >= 7513 @ 3.71316
5.97/6.04 c GLOBAL bounds - >= 7513 @ 3.73611
6.07/6.12 c GLOBAL bounds - >= 7513 @ 3.7621
6.07/6.13 c GLOBAL bounds - >= 7513 @ 3.76817
6.16/6.20 c GLOBAL bounds - >= 7513 @ 3.79502
6.16/6.21 c GLOBAL bounds - >= 7513 @ 3.80158
6.16/6.29 c GLOBAL bounds - >= 7513 @ 3.83107
6.26/6.30 c GLOBAL bounds - >= 7513 @ 3.83585
6.26/6.37 c GLOBAL bounds - >= 7513 @ 3.86545
6.26/6.38 c GLOBAL bounds - >= 7513 @ 3.86804
6.37/6.46 c GLOBAL bounds - >= 7513 @ 3.89646
6.37/6.47 c GLOBAL bounds - >= 7513 @ 3.90479
6.46/6.55 c GLOBAL bounds - >= 7513 @ 3.92648
6.46/6.56 c GLOBAL bounds - >= 7513 @ 3.93077
6.57/6.64 c GLOBAL bounds - >= 7513 @ 3.95839
6.57/6.65 c GLOBAL bounds - >= 7513 @ 3.96165
6.67/6.73 c GLOBAL bounds - >= 7513 @ 3.994
6.67/6.74 c GLOBAL bounds - >= 7513 @ 3.99776
6.76/6.82 c GLOBAL bounds - >= 7513 @ 4.03036
6.76/6.83 c GLOBAL bounds - >= 7513 @ 4.0384
6.86/6.91 c GLOBAL bounds - >= 7513 @ 4.07215
6.86/6.99 c GLOBAL bounds - >= 7513 @ 4.09305
7.07/7.11 c GLOBAL bounds - >= 7513 @ 4.1491
7.16/7.27 c GLOBAL bounds - >= 7513 @ 4.25107
7.36/7.40 c GLOBAL bounds - >= 7513 @ 4.33502
7.36/7.46 c GLOBAL bounds - >= 9219 @ 4.39787
7.36/7.48 c GLOBAL bounds - >= 9219 @ 4.41086
7.36/7.49 c GLOBAL bounds - >= 9219 @ 4.41725
7.47/7.50 c GLOBAL bounds - >= 9219 @ 4.42436
7.47/7.58 c GLOBAL bounds - >= 9219 @ 4.44956
7.47/7.59 c GLOBAL bounds - >= 9219 @ 4.45424
7.56/7.67 c GLOBAL bounds - >= 9219 @ 4.48507
7.56/7.68 c GLOBAL bounds - >= 9219 @ 4.48623
7.66/7.76 c GLOBAL bounds - >= 9219 @ 4.51266
7.66/7.77 c GLOBAL bounds - >= 9219 @ 4.51776
7.76/7.87 c GLOBAL bounds - >= 9219 @ 4.56256
7.76/7.88 c GLOBAL bounds - >= 9219 @ 4.56938
7.86/7.96 c GLOBAL bounds - >= 9219 @ 4.599
7.86/7.97 c GLOBAL bounds - >= 9219 @ 4.60641
7.96/8.05 c GLOBAL bounds - >= 9219 @ 4.63819
7.96/8.07 c GLOBAL bounds - >= 9219 @ 4.64305
8.07/8.15 c GLOBAL bounds - >= 9219 @ 4.67361
8.07/8.16 c GLOBAL bounds - >= 9219 @ 4.68119
8.16/8.24 c GLOBAL bounds - >= 9219 @ 4.71301
8.16/8.25 c GLOBAL bounds - >= 9219 @ 4.7189
8.26/8.33 c GLOBAL bounds - >= 9219 @ 4.75071
8.26/8.35 c GLOBAL bounds - >= 9219 @ 4.75857
8.36/8.43 c GLOBAL bounds - >= 9219 @ 4.7944
8.46/8.50 c GLOBAL bounds - >= 9219 @ 4.81806
8.46/8.59 c GLOBAL bounds - >= 9219 @ 4.85244
8.56/8.67 c GLOBAL bounds - >= 9219 @ 4.87571
8.66/8.75 c GLOBAL bounds - >= 9219 @ 4.90438
8.76/8.84 c GLOBAL bounds - >= 9219 @ 4.94038
9.06/9.13 c GLOBAL bounds - >= 9219 @ 5.18715
9.25/9.30 c GLOBAL bounds - >= 9905 @ 5.35532
9.25/9.33 c GLOBAL bounds - >= 9905 @ 5.37038
9.25/9.34 c GLOBAL bounds - >= 9905 @ 5.37322
9.25/9.35 c GLOBAL bounds - >= 9905 @ 5.37937
9.25/9.36 c GLOBAL bounds - >= 9905 @ 5.38594
9.36/9.44 c GLOBAL bounds - >= 9905 @ 5.42036
9.36/9.46 c GLOBAL bounds - >= 9905 @ 5.42524
9.46/9.54 c GLOBAL bounds - >= 9905 @ 5.45279
9.46/9.55 c GLOBAL bounds - >= 9905 @ 5.46007
9.55/9.63 c GLOBAL bounds - >= 9905 @ 5.4889
9.55/9.64 c GLOBAL bounds - >= 9905 @ 5.4959
9.66/9.72 c GLOBAL bounds - >= 9905 @ 5.53184
9.66/9.74 c GLOBAL bounds - >= 9905 @ 5.53657
9.76/9.82 c GLOBAL bounds - >= 9905 @ 5.56943
9.76/9.83 c GLOBAL bounds - >= 9905 @ 5.57699
9.86/9.91 c GLOBAL bounds - >= 9905 @ 5.60887
9.86/9.92 c GLOBAL bounds - >= 9905 @ 5.61373
9.96/10.00 c GLOBAL bounds - >= 9905 @ 5.64353
9.96/10.01 c GLOBAL bounds - >= 9905 @ 5.6512
9.96/10.09 c GLOBAL bounds - >= 9905 @ 5.67634
10.06/10.11 c GLOBAL bounds - >= 9905 @ 5.68154
10.06/10.19 c GLOBAL bounds - >= 9905 @ 5.70747
10.16/10.20 c GLOBAL bounds - >= 9905 @ 5.71212
10.16/10.28 c GLOBAL bounds - >= 9905 @ 5.73813
10.26/10.36 c GLOBAL bounds - >= 9905 @ 5.76291
10.36/10.44 c GLOBAL bounds - >= 9905 @ 5.78716
10.45/10.52 c GLOBAL bounds - >= 9905 @ 5.81799
10.76/10.86 c GLOBAL bounds - >= 9905 @ 6.07457
10.96/11.06 c GLOBAL bounds - >= 9905 @ 6.22754
11.26/11.32 c GLOBAL bounds - >= 9905 @ 6.42928
11.45/11.57 c GLOBAL bounds - >= 9905 @ 6.62523
11.56/11.65 c GLOBAL bounds - >= 9905 @ 6.66383
11.76/11.81 c GLOBAL bounds - >= 10929 @ 6.81686
11.76/11.85 c GLOBAL bounds - >= 10929 @ 6.84486
11.76/11.86 c GLOBAL bounds - >= 10929 @ 6.84857
11.85/11.94 c GLOBAL bounds - >= 10929 @ 6.878
11.85/11.95 c GLOBAL bounds - >= 10929 @ 6.88458
11.96/12.03 c GLOBAL bounds - >= 10929 @ 6.90995
11.96/12.04 c GLOBAL bounds - >= 10929 @ 6.91538
12.06/12.12 c GLOBAL bounds - >= 10929 @ 6.95153
12.06/12.13 c GLOBAL bounds - >= 10929 @ 6.95556
12.15/12.22 c GLOBAL bounds - >= 10929 @ 6.99246
12.15/12.23 c GLOBAL bounds - >= 10929 @ 6.99694
12.25/12.31 c GLOBAL bounds - >= 10929 @ 7.02928
12.25/12.33 c GLOBAL bounds - >= 10929 @ 7.03756
12.35/12.41 c GLOBAL bounds - >= 10929 @ 7.07151
12.35/12.42 c GLOBAL bounds - >= 10929 @ 7.07873
13.15/13.22 c #Conflicts: 1000 | #Constraints: 1247
13.15/13.22 c GLOBAL bounds - >= 10929 @ 7.79297
13.15/13.23 c GLOBAL bounds - >= 10929 @ 7.79559
13.35/13.44 c GLOBAL bounds - >= 10929 @ 7.94973
13.35/13.45 c GLOBAL bounds - >= 10929 @ 7.9556
13.54/13.60 c GLOBAL bounds - >= 10929 @ 8.04703
13.54/13.61 c GLOBAL bounds - >= 10929 @ 8.05386
13.54/13.69 c GLOBAL bounds - >= 10929 @ 8.08412
13.65/13.77 c GLOBAL bounds - >= 10929 @ 8.11774
13.75/13.86 c GLOBAL bounds - >= 10929 @ 8.1518
14.15/14.28 c GLOBAL bounds - >= 10933 @ 8.56045
14.25/14.30 c GLOBAL bounds - >= 10933 @ 8.57363
14.25/14.38 c GLOBAL bounds - >= 10933 @ 8.60677
14.25/14.39 c GLOBAL bounds - >= 10933 @ 8.61403
14.34/14.47 c GLOBAL bounds - >= 10933 @ 8.64128
14.34/14.48 c GLOBAL bounds - >= 10933 @ 8.64792
14.45/14.56 c GLOBAL bounds - >= 10933 @ 8.67029
14.45/14.58 c GLOBAL bounds - >= 10933 @ 8.67334
14.55/14.66 c GLOBAL bounds - >= 10933 @ 8.70987
14.55/14.68 c GLOBAL bounds - >= 10933 @ 8.7199
14.65/14.76 c GLOBAL bounds - >= 10933 @ 8.76
14.65/14.78 c GLOBAL bounds - >= 10933 @ 8.76878
14.74/14.86 c GLOBAL bounds - >= 10933 @ 8.80092
14.74/14.87 c GLOBAL bounds - >= 10933 @ 8.80796
14.84/14.95 c GLOBAL bounds - >= 10933 @ 8.83569
14.84/14.97 c GLOBAL bounds - >= 10933 @ 8.84454
14.95/15.05 c GLOBAL bounds - >= 10933 @ 8.87476
14.95/15.07 c GLOBAL bounds - >= 10933 @ 8.88058
15.05/15.15 c GLOBAL bounds - >= 10933 @ 8.91091
15.05/15.18 c GLOBAL bounds - >= 10933 @ 8.92461
15.14/15.26 c GLOBAL bounds - >= 10933 @ 8.95831
15.25/15.34 c GLOBAL bounds - >= 10933 @ 9.00158
15.34/15.43 c GLOBAL bounds - >= 10933 @ 9.03708
15.44/15.51 c GLOBAL bounds - >= 10933 @ 9.06822
15.44/15.59 c GLOBAL bounds - >= 10933 @ 9.0949
15.54/15.67 c GLOBAL bounds - >= 10933 @ 9.12231
15.64/15.75 c GLOBAL bounds - >= 10933 @ 9.15603
15.74/15.83 c GLOBAL bounds - >= 10933 @ 9.18976
15.84/16.00 c GLOBAL bounds - >= 10933 @ 9.29973
15.95/16.10 c GLOBAL bounds - >= 10933 @ 9.35301
16.73/16.88 c GLOBAL bounds - >= 10933 @ 10.0478
16.73/16.88 c GLOBAL bounds - >= 10933 @ 10.0482
16.73/16.89 c GLOBAL bounds - >= 10933 @ 10.0586
16.84/16.90 c GLOBAL bounds - >= 10933 @ 10.0635
16.84/16.91 c GLOBAL bounds - >= 10933 @ 10.0679
16.84/16.93 c GLOBAL bounds - >= 10933 @ 10.0764
16.84/16.94 c GLOBAL bounds - >= 10933 @ 10.081
16.84/16.95 c GLOBAL bounds - >= 10933 @ 10.087
17.05/17.12 c GLOBAL bounds - >= 10933 @ 10.1993
17.05/17.12 c GLOBAL bounds - >= 10933 @ 10.2019
17.13/17.20 c GLOBAL bounds - >= 10933 @ 10.2282
17.13/17.22 c GLOBAL bounds - >= 10933 @ 10.2333
17.24/17.30 c GLOBAL bounds - >= 10933 @ 10.2696
17.24/17.31 c GLOBAL bounds - >= 10933 @ 10.2743
17.24/17.39 c GLOBAL bounds - >= 10933 @ 10.3038
17.33/17.40 c GLOBAL bounds - >= 10933 @ 10.3102
17.33/17.48 c GLOBAL bounds - >= 10933 @ 10.3368
17.44/17.50 c GLOBAL bounds - >= 10933 @ 10.3431
17.44/17.58 c GLOBAL bounds - >= 10933 @ 10.3667
17.44/17.59 c GLOBAL bounds - >= 10933 @ 10.3732
17.53/17.67 c GLOBAL bounds - >= 10933 @ 10.4005
17.53/17.69 c GLOBAL bounds - >= 10933 @ 10.4106
17.63/17.77 c GLOBAL bounds - >= 10933 @ 10.4414
17.63/17.79 c GLOBAL bounds - >= 10933 @ 10.4521
17.73/17.87 c GLOBAL bounds - >= 10933 @ 10.4806
17.73/17.88 c GLOBAL bounds - >= 10933 @ 10.4861
17.83/17.96 c GLOBAL bounds - >= 10933 @ 10.5183
17.94/18.04 c GLOBAL bounds - >= 10933 @ 10.5463
18.04/18.12 c GLOBAL bounds - >= 10933 @ 10.5719
18.13/18.20 c GLOBAL bounds - >= 10933 @ 10.6023
18.13/18.28 c GLOBAL bounds - >= 10933 @ 10.6251
18.24/18.37 c GLOBAL bounds - >= 10933 @ 10.6532
18.33/18.45 c GLOBAL bounds - >= 10933 @ 10.6846
18.43/18.53 c GLOBAL bounds - >= 10933 @ 10.7118
18.53/18.61 c GLOBAL bounds - >= 10933 @ 10.7439
19.43/19.53 c #Conflicts: 2000 | #Constraints: 2342
19.43/19.53 c INPROCESSING
19.43/19.53 c GARBAGE COLLECT
19.43/19.53 c GLOBAL bounds - >= 10933 @ 11.599
19.63/19.71 c GLOBAL bounds - >= 10933 @ 11.7197
20.13/20.23 c GLOBAL bounds - >= 10933 @ 12.1764
20.53/20.65 c GLOBAL bounds - >= 11275 @ 12.5982
20.53/20.69 c GLOBAL bounds - >= 11275 @ 12.6219
20.63/20.70 c GLOBAL bounds - >= 11275 @ 12.6271
20.63/20.71 c GLOBAL bounds - >= 11275 @ 12.6351
20.63/20.73 c GLOBAL bounds - >= 11275 @ 12.6378
20.63/20.74 c GLOBAL bounds - >= 11275 @ 12.6435
20.63/20.75 c GLOBAL bounds - >= 11275 @ 12.6525
20.63/20.77 c GLOBAL bounds - >= 11275 @ 12.6578
20.83/20.93 c GLOBAL bounds - >= 11275 @ 12.7772
20.83/20.94 c GLOBAL bounds - >= 11275 @ 12.784
20.93/21.02 c GLOBAL bounds - >= 11275 @ 12.8095
20.93/21.04 c GLOBAL bounds - >= 11275 @ 12.8168
21.03/21.12 c GLOBAL bounds - >= 11275 @ 12.8356
21.03/21.13 c GLOBAL bounds - >= 11275 @ 12.8399
21.13/21.21 c GLOBAL bounds - >= 11275 @ 12.8668
21.13/21.22 c GLOBAL bounds - >= 11275 @ 12.8715
21.22/21.31 c GLOBAL bounds - >= 11275 @ 12.9063
21.22/21.32 c GLOBAL bounds - >= 11275 @ 12.9112
21.32/21.40 c GLOBAL bounds - >= 11275 @ 12.935
21.32/21.41 c GLOBAL bounds - >= 11275 @ 12.941
21.43/21.50 c GLOBAL bounds - >= 11275 @ 12.9795
21.43/21.51 c GLOBAL bounds - >= 11275 @ 12.9877
21.43/21.59 c GLOBAL bounds - >= 11275 @ 13.024
21.52/21.61 c GLOBAL bounds - >= 11275 @ 13.0299
21.52/21.69 c GLOBAL bounds - >= 11275 @ 13.0657
21.63/21.70 c GLOBAL bounds - >= 11275 @ 13.0724
21.63/21.79 c GLOBAL bounds - >= 11275 @ 13.1106
21.72/21.87 c GLOBAL bounds - >= 11275 @ 13.1444
21.82/21.97 c GLOBAL bounds - >= 11275 @ 13.1844
21.93/22.05 c GLOBAL bounds - >= 11275 @ 13.2218
22.03/22.15 c GLOBAL bounds - >= 11275 @ 13.2716
24.32/24.47 c #Conflicts: 3000 | #Constraints: 2336
24.32/24.47 c GLOBAL bounds - >= 11277 @ 15.4657
24.32/24.49 c GLOBAL bounds - >= 11277 @ 15.4744
24.42/24.50 c GLOBAL bounds - >= 11277 @ 15.4813
24.42/24.51 c GLOBAL bounds - >= 11277 @ 15.4854
24.42/24.59 c GLOBAL bounds - >= 11277 @ 15.5172
24.52/24.61 c GLOBAL bounds - >= 11277 @ 15.5247
24.52/24.69 c GLOBAL bounds - >= 11277 @ 15.5592
24.61/24.70 c GLOBAL bounds - >= 11277 @ 15.5654
24.61/24.78 c GLOBAL bounds - >= 11277 @ 15.6
24.72/24.80 c GLOBAL bounds - >= 11277 @ 15.6105
24.72/24.88 c GLOBAL bounds - >= 11277 @ 15.6458
24.82/24.90 c GLOBAL bounds - >= 11277 @ 15.6509
24.82/24.98 c GLOBAL bounds - >= 11277 @ 15.6784
24.82/24.99 c GLOBAL bounds - >= 11277 @ 15.6851
24.92/25.08 c GLOBAL bounds - >= 11277 @ 15.7336
24.92/25.10 c GLOBAL bounds - >= 11277 @ 15.7404
25.02/25.18 c GLOBAL bounds - >= 11277 @ 15.777
25.02/25.19 c GLOBAL bounds - >= 11277 @ 15.7844
25.11/25.27 c GLOBAL bounds - >= 11277 @ 15.8078
25.11/25.28 c GLOBAL bounds - >= 11277 @ 15.813
25.22/25.38 c GLOBAL bounds - >= 11277 @ 15.8703
25.32/25.40 c GLOBAL bounds - >= 11277 @ 15.8798
25.41/25.51 c GLOBAL bounds - >= 11277 @ 15.9397
25.51/25.62 c GLOBAL bounds - >= 11277 @ 16.0016
25.62/25.76 c GLOBAL bounds - >= 11277 @ 16.1042
25.71/25.88 c GLOBAL bounds - >= 11277 @ 16.1801
25.91/26.01 c GLOBAL bounds - >= 11277 @ 16.2594
25.91/26.01 c GLOBAL bounds - >= 11277 @ 16.2599
25.91/26.03 c GLOBAL bounds - >= 11277 @ 16.271
25.91/26.04 c GLOBAL bounds - >= 11277 @ 16.2776
25.91/26.06 c GLOBAL bounds - >= 11277 @ 16.285
26.02/26.15 c GLOBAL bounds - >= 11277 @ 16.3219
26.02/26.16 c GLOBAL bounds - >= 11277 @ 16.3248
26.11/26.24 c GLOBAL bounds - >= 11277 @ 16.357
26.11/26.25 c GLOBAL bounds - >= 11277 @ 16.3617
26.21/26.33 c GLOBAL bounds - >= 11277 @ 16.4007
26.21/26.35 c GLOBAL bounds - >= 11277 @ 16.4044
26.31/26.43 c GLOBAL bounds - >= 11277 @ 16.4282
26.31/26.44 c GLOBAL bounds - >= 11277 @ 16.4334
26.40/26.52 c GLOBAL bounds - >= 11277 @ 16.4703
26.40/26.53 c GLOBAL bounds - >= 11277 @ 16.4784
26.51/26.61 c GLOBAL bounds - >= 11277 @ 16.5095
26.51/26.62 c GLOBAL bounds - >= 11277 @ 16.5142
26.61/26.71 c GLOBAL bounds - >= 11277 @ 16.5442
26.61/26.72 c GLOBAL bounds - >= 11277 @ 16.5525
26.70/26.80 c GLOBAL bounds - >= 11277 @ 16.58
26.70/26.82 c GLOBAL bounds - >= 11277 @ 16.5863
26.80/26.90 c GLOBAL bounds - >= 11277 @ 16.6204
26.80/26.91 c GLOBAL bounds - >= 11277 @ 16.6276
26.80/26.99 c GLOBAL bounds - >= 11277 @ 16.6687
26.92/27.08 c GLOBAL bounds - >= 11277 @ 16.6997
27.01/27.16 c GLOBAL bounds - >= 11277 @ 16.7314
27.11/27.24 c GLOBAL bounds - >= 11277 @ 16.7713
27.21/27.32 c GLOBAL bounds - >= 11277 @ 16.799
27.31/27.41 c GLOBAL bounds - >= 11277 @ 16.8326
27.40/27.51 c GLOBAL bounds - >= 11277 @ 16.887
27.51/27.62 c GLOBAL bounds - >= 11277 @ 16.9367
27.60/27.72 c GLOBAL bounds - >= 11277 @ 17.0024
28.51/28.65 c #Conflicts: 4000 | #Constraints: 3381
28.51/28.65 c GLOBAL bounds - >= 11277 @ 17.8453
30.01/30.17 c INPROCESSING
30.01/30.17 c GARBAGE COLLECT
30.01/30.17 c GLOBAL bounds - >= 11279 @ 19.3421
30.01/30.19 c GLOBAL bounds - >= 11279 @ 19.3587
30.10/30.20 c GLOBAL bounds - >= 11279 @ 19.3632
30.10/30.21 c GLOBAL bounds - >= 11279 @ 19.3689
30.10/30.22 c GLOBAL bounds - >= 11279 @ 19.3727
30.20/30.30 c GLOBAL bounds - >= 11279 @ 19.4035
30.20/30.31 c GLOBAL bounds - >= 11279 @ 19.4131
30.20/30.39 c GLOBAL bounds - >= 11279 @ 19.4459
30.29/30.40 c GLOBAL bounds - >= 11279 @ 19.4484
30.29/30.48 c GLOBAL bounds - >= 11279 @ 19.4744
30.29/30.49 c GLOBAL bounds - >= 11279 @ 19.4818
30.40/30.57 c GLOBAL bounds - >= 11279 @ 19.51
30.40/30.59 c GLOBAL bounds - >= 11279 @ 19.5163
30.50/30.67 c GLOBAL bounds - >= 11279 @ 19.552
30.50/30.68 c GLOBAL bounds - >= 11279 @ 19.5589
30.60/30.76 c GLOBAL bounds - >= 11279 @ 19.5883
30.60/30.78 c GLOBAL bounds - >= 11279 @ 19.5957
30.70/30.86 c GLOBAL bounds - >= 11279 @ 19.6262
30.70/30.87 c GLOBAL bounds - >= 11279 @ 19.6316
30.79/30.96 c GLOBAL bounds - >= 11279 @ 19.6691
30.79/30.97 c GLOBAL bounds - >= 11279 @ 19.6767
30.91/31.05 c GLOBAL bounds - >= 11279 @ 19.7008
30.91/31.07 c GLOBAL bounds - >= 11279 @ 19.7058
31.00/31.15 c GLOBAL bounds - >= 11279 @ 19.7338
31.09/31.23 c GLOBAL bounds - >= 11279 @ 19.767
31.20/31.32 c GLOBAL bounds - >= 11279 @ 19.8025
31.30/31.40 c GLOBAL bounds - >= 11279 @ 19.8333
31.30/31.48 c GLOBAL bounds - >= 11279 @ 19.8625
31.39/31.56 c GLOBAL bounds - >= 11279 @ 19.8884
31.49/31.64 c GLOBAL bounds - >= 11279 @ 19.9195
31.59/31.73 c GLOBAL bounds - >= 11279 @ 19.9546
31.70/31.81 c GLOBAL bounds - >= 11279 @ 19.9864
31.70/31.89 c GLOBAL bounds - >= 11279 @ 20.0136
31.99/32.12 c GLOBAL bounds - >= 11279 @ 20.1973
253.11/253.93 c #Conflicts: 5000 | #Constraints: 2840
253.11/253.93 c #Conflicts: 6000 | #Constraints: 3840
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 7000 | #Constraints: 2847
253.11/253.93 c #Conflicts: 8000 | #Constraints: 3847
253.11/253.93 c #Conflicts: 9000 | #Constraints: 4847
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 10000 | #Constraints: 3562
253.11/253.93 c #Conflicts: 11000 | #Constraints: 4562
253.11/253.93 c #Conflicts: 12000 | #Constraints: 5562
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 13000 | #Constraints: 4018
253.11/253.93 c #Conflicts: 14000 | #Constraints: 5018
253.11/253.93 c #Conflicts: 15000 | #Constraints: 6018
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 16000 | #Constraints: 4244
253.11/253.93 c #Conflicts: 17000 | #Constraints: 5244
253.11/253.93 c #Conflicts: 18000 | #Constraints: 6244
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 19000 | #Constraints: 4259
253.11/253.93 c #Conflicts: 20000 | #Constraints: 5259
253.11/253.93 c #Conflicts: 21000 | #Constraints: 6259
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 22000 | #Constraints: 4067
253.11/253.93 c #Conflicts: 23000 | #Constraints: 5067
253.11/253.93 c #Conflicts: 24000 | #Constraints: 6067
253.11/253.93 c #Conflicts: 25000 | #Constraints: 7067
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 26000 | #Constraints: 4673
253.11/253.93 c #Conflicts: 27000 | #Constraints: 5673
253.11/253.93 c #Conflicts: 28000 | #Constraints: 6673
253.11/253.93 c #Conflicts: 29000 | #Constraints: 7673
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 30000 | #Constraints: 5071
253.11/253.93 c #Conflicts: 31000 | #Constraints: 6071
253.11/253.93 c #Conflicts: 32000 | #Constraints: 7071
253.11/253.93 c #Conflicts: 33000 | #Constraints: 8071
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 34000 | #Constraints: 5264
253.11/253.93 c #Conflicts: 35000 | #Constraints: 6264
253.11/253.93 c #Conflicts: 36000 | #Constraints: 7264
253.11/253.93 c #Conflicts: 37000 | #Constraints: 8264
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 38000 | #Constraints: 5266
253.11/253.93 c #Conflicts: 39000 | #Constraints: 6266
253.11/253.93 c #Conflicts: 40000 | #Constraints: 7266
253.11/253.93 c #Conflicts: 41000 | #Constraints: 8266
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 42000 | #Constraints: 5064
253.11/253.93 c #Conflicts: 43000 | #Constraints: 6064
253.11/253.93 c #Conflicts: 44000 | #Constraints: 7064
253.11/253.93 c #Conflicts: 45000 | #Constraints: 8064
253.11/253.93 c #Conflicts: 46000 | #Constraints: 9064
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 47000 | #Constraints: 5658
253.11/253.93 c #Conflicts: 48000 | #Constraints: 6658
253.11/253.93 c #Conflicts: 49000 | #Constraints: 7658
253.11/253.93 c #Conflicts: 50000 | #Constraints: 8658
253.11/253.93 c #Conflicts: 51000 | #Constraints: 9658
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 52000 | #Constraints: 6067
253.11/253.93 c #Conflicts: 53000 | #Constraints: 7067
253.11/253.93 c #Conflicts: 54000 | #Constraints: 8067
253.11/253.93 c #Conflicts: 55000 | #Constraints: 9067
253.11/253.93 c #Conflicts: 56000 | #Constraints: 10067
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 57000 | #Constraints: 6263
253.11/253.93 c #Conflicts: 58000 | #Constraints: 7263
253.11/253.93 c #Conflicts: 59000 | #Constraints: 8263
253.11/253.93 c #Conflicts: 60000 | #Constraints: 9263
253.11/253.93 c #Conflicts: 61000 | #Constraints: 10263
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 62000 | #Constraints: 6265
253.11/253.93 c #Conflicts: 63000 | #Constraints: 7265
253.11/253.93 c #Conflicts: 64000 | #Constraints: 8265
253.11/253.93 c #Conflicts: 65000 | #Constraints: 9265
253.11/253.93 c #Conflicts: 66000 | #Constraints: 10265
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
253.11/253.93 c #Conflicts: 67000 | #Constraints: 6061
253.11/253.93 c #Conflicts: 68000 | #Constraints: 7061
253.11/253.93 c #Conflicts: 69000 | #Constraints: 8061
253.11/253.93 c #Conflicts: 70000 | #Constraints: 9061
253.11/253.93 c #Conflicts: 71000 | #Constraints: 10061
253.11/253.93 c #Conflicts: 72000 | #Constraints: 11061
253.11/253.93 c INPROCESSING
253.11/253.93 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 73000 | #Constraints: 6674
475.32/476.84 c #Conflicts: 74000 | #Constraints: 7674
475.32/476.84 c #Conflicts: 75000 | #Constraints: 8674
475.32/476.84 c #Conflicts: 76000 | #Constraints: 9674
475.32/476.84 c #Conflicts: 77000 | #Constraints: 10674
475.32/476.84 c #Conflicts: 78000 | #Constraints: 11674
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 79000 | #Constraints: 7071
475.32/476.84 c #Conflicts: 80000 | #Constraints: 8071
475.32/476.84 c #Conflicts: 81000 | #Constraints: 9071
475.32/476.84 c #Conflicts: 82000 | #Constraints: 10071
475.32/476.84 c #Conflicts: 83000 | #Constraints: 11071
475.32/476.84 c #Conflicts: 84000 | #Constraints: 12071
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 85000 | #Constraints: 7265
475.32/476.84 c #Conflicts: 86000 | #Constraints: 8265
475.32/476.84 c #Conflicts: 87000 | #Constraints: 9265
475.32/476.84 c #Conflicts: 88000 | #Constraints: 10265
475.32/476.84 c #Conflicts: 89000 | #Constraints: 11265
475.32/476.84 c #Conflicts: 90000 | #Constraints: 12265
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 91000 | #Constraints: 7264
475.32/476.84 c #Conflicts: 92000 | #Constraints: 8264
475.32/476.84 c #Conflicts: 93000 | #Constraints: 9264
475.32/476.84 c #Conflicts: 94000 | #Constraints: 10264
475.32/476.84 c #Conflicts: 95000 | #Constraints: 11264
475.32/476.84 c #Conflicts: 96000 | #Constraints: 12264
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 97000 | #Constraints: 7067
475.32/476.84 c #Conflicts: 98000 | #Constraints: 8067
475.32/476.84 c #Conflicts: 99000 | #Constraints: 9067
475.32/476.84 c #Conflicts: 100000 | #Constraints: 10067
475.32/476.84 c #Conflicts: 101000 | #Constraints: 11067
475.32/476.84 c #Conflicts: 102000 | #Constraints: 12067
475.32/476.84 c #Conflicts: 103000 | #Constraints: 13067
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 104000 | #Constraints: 7661
475.32/476.84 c #Conflicts: 105000 | #Constraints: 8661
475.32/476.84 c #Conflicts: 106000 | #Constraints: 9661
475.32/476.84 c #Conflicts: 107000 | #Constraints: 10661
475.32/476.84 c #Conflicts: 108000 | #Constraints: 11661
475.32/476.84 c #Conflicts: 109000 | #Constraints: 12661
475.32/476.84 c #Conflicts: 110000 | #Constraints: 13661
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 111000 | #Constraints: 8081
475.32/476.84 c #Conflicts: 112000 | #Constraints: 9081
475.32/476.84 c #Conflicts: 113000 | #Constraints: 10081
475.32/476.84 c #Conflicts: 114000 | #Constraints: 11081
475.32/476.84 c #Conflicts: 115000 | #Constraints: 12081
475.32/476.84 c #Conflicts: 116000 | #Constraints: 13081
475.32/476.84 c #Conflicts: 117000 | #Constraints: 14081
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 118000 | #Constraints: 8288
475.32/476.84 c #Conflicts: 119000 | #Constraints: 9288
475.32/476.84 c #Conflicts: 120000 | #Constraints: 10288
475.32/476.84 c #Conflicts: 121000 | #Constraints: 11288
475.32/476.84 c #Conflicts: 122000 | #Constraints: 12288
475.32/476.84 c #Conflicts: 123000 | #Constraints: 13288
475.32/476.84 c #Conflicts: 124000 | #Constraints: 14288
475.32/476.84 c INPROCESSING
475.32/476.84 c GARBAGE COLLECT
475.32/476.84 c #Conflicts: 125000 | #Constraints: 8296
475.32/476.84 c GLOBAL bounds - >= 11281 @ 461.697
475.32/476.87 c GLOBAL bounds - >= 11281 @ 461.71
475.32/476.88 c GLOBAL bounds - >= 11281 @ 461.714
475.32/476.89 c GLOBAL bounds - >= 11281 @ 461.723
475.42/476.90 c GLOBAL bounds - >= 11281 @ 461.726
475.42/476.92 c GLOBAL bounds - >= 11281 @ 461.733
475.42/476.93 c GLOBAL bounds - >= 11281 @ 461.738
475.42/476.94 c GLOBAL bounds - >= 11281 @ 461.748
475.42/476.98 c GLOBAL bounds - >= 11281 @ 461.765
475.52/477.00 c GLOBAL bounds - >= 11281 @ 461.773
475.52/477.02 c GLOBAL bounds - >= 11281 @ 461.775
475.62/477.14 c GLOBAL bounds - >= 11281 @ 461.849
475.62/477.15 c GLOBAL bounds - >= 11281 @ 461.852
476.02/477.57 c GLOBAL bounds - >= 11281 @ 462.216
476.02/477.59 c GLOBAL bounds - >= 11281 @ 462.223
476.42/477.90 c GLOBAL bounds - >= 11281 @ 462.489
476.42/477.92 c GLOBAL bounds - >= 11281 @ 462.495
476.52/478.04 c GLOBAL bounds - >= 11281 @ 462.564
476.52/478.05 c GLOBAL bounds - >= 11281 @ 462.569
476.82/478.30 c GLOBAL bounds - >= 11281 @ 462.763
476.82/478.32 c GLOBAL bounds - >= 11281 @ 462.77
476.92/478.40 c GLOBAL bounds - >= 11281 @ 462.802
476.92/478.41 c GLOBAL bounds - >= 11281 @ 462.81
476.92/478.49 c GLOBAL bounds - >= 11281 @ 462.834
477.01/478.51 c GLOBAL bounds - >= 11281 @ 462.84
477.01/478.59 c GLOBAL bounds - >= 11281 @ 462.868
477.11/478.60 c GLOBAL bounds - >= 11281 @ 462.874
477.11/478.68 c GLOBAL bounds - >= 11281 @ 462.91
477.21/478.70 c GLOBAL bounds - >= 11281 @ 462.917
477.21/478.78 c GLOBAL bounds - >= 11281 @ 462.952
477.32/478.86 c GLOBAL bounds - >= 11281 @ 462.983
477.41/478.95 c GLOBAL bounds - >= 11281 @ 463.017
477.52/479.04 c GLOBAL bounds - >= 11281 @ 463.05
477.61/479.14 c GLOBAL bounds - >= 11281 @ 463.096
477.72/479.24 c GLOBAL bounds - >= 11281 @ 463.148
477.81/479.34 c GLOBAL bounds - >= 11281 @ 463.19
477.91/479.44 c GLOBAL bounds - >= 11281 @ 463.231
480.10/481.69 c #Conflicts: 126000 | #Constraints: 9324
480.10/481.69 c GLOBAL bounds - >= 11281 @ 465.427
480.10/481.69 c GLOBAL bounds - >= 11281 @ 465.43
480.20/481.71 c GLOBAL bounds - >= 11281 @ 465.439
480.20/481.72 c GLOBAL bounds - >= 11281 @ 465.445
480.20/481.74 c GLOBAL bounds - >= 11281 @ 465.454
480.20/481.75 c GLOBAL bounds - >= 11281 @ 465.463
480.20/481.76 c GLOBAL bounds - >= 11281 @ 465.47
480.20/481.77 c GLOBAL bounds - >= 11281 @ 465.474
480.20/481.78 c GLOBAL bounds - >= 11281 @ 465.48
480.61/482.17 c GLOBAL bounds - >= 11281 @ 465.814
480.61/482.18 c GLOBAL bounds - >= 11281 @ 465.822
480.70/482.26 c GLOBAL bounds - >= 11281 @ 465.863
480.70/482.28 c GLOBAL bounds - >= 11281 @ 465.867
480.80/482.36 c GLOBAL bounds - >= 11281 @ 465.898
480.80/482.37 c GLOBAL bounds - >= 11281 @ 465.906
480.90/482.45 c GLOBAL bounds - >= 11281 @ 465.932
480.90/482.47 c GLOBAL bounds - >= 11281 @ 465.94
481.01/482.55 c GLOBAL bounds - >= 11281 @ 465.963
481.01/482.56 c GLOBAL bounds - >= 11281 @ 465.967
481.10/482.64 c GLOBAL bounds - >= 11281 @ 465.999
481.10/482.65 c GLOBAL bounds - >= 11281 @ 466.003
481.20/482.74 c GLOBAL bounds - >= 11281 @ 466.041
481.20/482.75 c GLOBAL bounds - >= 11281 @ 466.048
481.30/482.83 c GLOBAL bounds - >= 11281 @ 466.081
481.30/482.85 c GLOBAL bounds - >= 11281 @ 466.084
481.40/482.93 c GLOBAL bounds - >= 11281 @ 466.123
481.40/482.94 c GLOBAL bounds - >= 11281 @ 466.128
481.50/483.02 c GLOBAL bounds - >= 11281 @ 466.166
481.61/483.11 c GLOBAL bounds - >= 11281 @ 466.209
481.70/483.21 c GLOBAL bounds - >= 11281 @ 466.247
481.80/483.30 c GLOBAL bounds - >= 11281 @ 466.286
481.80/483.40 c GLOBAL bounds - >= 11281 @ 466.332
482.00/483.50 c GLOBAL bounds - >= 11281 @ 466.371
482.00/483.59 c GLOBAL bounds - >= 11281 @ 466.404
482.10/483.69 c GLOBAL bounds - >= 11281 @ 466.456
482.20/483.79 c GLOBAL bounds - >= 11281 @ 466.515
482.29/483.89 c GLOBAL bounds - >= 11281 @ 466.556
482.40/483.98 c GLOBAL bounds - >= 11281 @ 466.596
482.50/484.07 c GLOBAL bounds - >= 11281 @ 466.636
482.60/484.16 c GLOBAL bounds - >= 11281 @ 466.676
482.69/484.26 c GLOBAL bounds - >= 11281 @ 466.729
482.89/484.44 c GLOBAL bounds - >= 11281 @ 466.849
488.48/490.01 c #Conflicts: 127000 | #Constraints: 10368
488.48/490.01 c #Conflicts: 128000 | #Constraints: 11368
488.48/490.01 c GLOBAL bounds - >= 11281 @ 472.298
506.22/507.80 c #Conflicts: 129000 | #Constraints: 12368
506.22/507.80 c #Conflicts: 130000 | #Constraints: 13368
506.22/507.80 c #Conflicts: 131000 | #Constraints: 14368
506.22/507.80 c INPROCESSING
506.22/507.80 c GARBAGE COLLECT
506.22/507.80 c #Conflicts: 132000 | #Constraints: 8135
506.22/507.80 c GLOBAL bounds - >= 11281 @ 489.943
506.22/507.80 c GLOBAL bounds - >= 11281 @ 489.944
506.22/507.82 c GLOBAL bounds - >= 11281 @ 489.957
506.22/507.83 c GLOBAL bounds - >= 11281 @ 489.962
506.22/507.84 c GLOBAL bounds - >= 11281 @ 489.964
506.22/507.85 c GLOBAL bounds - >= 11281 @ 489.968
506.22/507.86 c GLOBAL bounds - >= 11281 @ 489.974
506.22/507.87 c GLOBAL bounds - >= 11281 @ 489.979
506.22/507.89 c GLOBAL bounds - >= 11281 @ 489.986
506.32/507.90 c GLOBAL bounds - >= 11281 @ 489.993
506.32/507.98 c GLOBAL bounds - >= 11281 @ 490.044
506.32/508.00 c GLOBAL bounds - >= 11281 @ 490.051
506.42/508.09 c GLOBAL bounds - >= 11281 @ 490.103
506.52/508.10 c GLOBAL bounds - >= 11281 @ 490.107
506.52/508.18 c GLOBAL bounds - >= 11281 @ 490.138
506.62/508.20 c GLOBAL bounds - >= 11281 @ 490.145
506.72/508.31 c GLOBAL bounds - >= 11281 @ 490.21
506.72/508.32 c GLOBAL bounds - >= 11281 @ 490.217
506.92/508.55 c GLOBAL bounds - >= 11281 @ 490.405
506.92/508.56 c GLOBAL bounds - >= 11281 @ 490.413
507.02/508.65 c GLOBAL bounds - >= 11281 @ 490.455
507.02/508.66 c GLOBAL bounds - >= 11281 @ 490.458
507.12/508.76 c GLOBAL bounds - >= 11281 @ 490.508
507.12/508.77 c GLOBAL bounds - >= 11281 @ 490.512
507.22/508.86 c GLOBAL bounds - >= 11281 @ 490.553
507.22/508.87 c GLOBAL bounds - >= 11281 @ 490.56
507.31/508.99 c GLOBAL bounds - >= 11281 @ 490.625
507.42/509.00 c GLOBAL bounds - >= 11281 @ 490.631
507.42/509.08 c GLOBAL bounds - >= 11281 @ 490.667
507.52/509.17 c GLOBAL bounds - >= 11281 @ 490.702
843.82/846.52 c #Conflicts: 133000 | #Constraints: 9151
843.82/846.52 c #Conflicts: 134000 | #Constraints: 10151
843.82/846.52 c #Conflicts: 135000 | #Constraints: 11151
843.82/846.52 c #Conflicts: 136000 | #Constraints: 12151
843.82/846.52 c #Conflicts: 137000 | #Constraints: 13151
843.82/846.52 c #Conflicts: 138000 | #Constraints: 14151
843.82/846.52 c #Conflicts: 139000 | #Constraints: 15151
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 140000 | #Constraints: 8740
843.82/846.52 c #Conflicts: 141000 | #Constraints: 9740
843.82/846.52 c #Conflicts: 142000 | #Constraints: 10740
843.82/846.52 c #Conflicts: 143000 | #Constraints: 11740
843.82/846.52 c #Conflicts: 144000 | #Constraints: 12740
843.82/846.52 c #Conflicts: 145000 | #Constraints: 13740
843.82/846.52 c #Conflicts: 146000 | #Constraints: 14740
843.82/846.52 c #Conflicts: 147000 | #Constraints: 15740
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 148000 | #Constraints: 9148
843.82/846.52 c #Conflicts: 149000 | #Constraints: 10148
843.82/846.52 c #Conflicts: 150000 | #Constraints: 11148
843.82/846.52 c #Conflicts: 151000 | #Constraints: 12148
843.82/846.52 c #Conflicts: 152000 | #Constraints: 13148
843.82/846.52 c #Conflicts: 153000 | #Constraints: 14148
843.82/846.52 c #Conflicts: 154000 | #Constraints: 15148
843.82/846.52 c #Conflicts: 155000 | #Constraints: 16148
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 156000 | #Constraints: 9344
843.82/846.52 c #Conflicts: 157000 | #Constraints: 10344
843.82/846.52 c #Conflicts: 158000 | #Constraints: 11344
843.82/846.52 c #Conflicts: 159000 | #Constraints: 12344
843.82/846.52 c #Conflicts: 160000 | #Constraints: 13344
843.82/846.52 c #Conflicts: 161000 | #Constraints: 14344
843.82/846.52 c #Conflicts: 162000 | #Constraints: 15344
843.82/846.52 c #Conflicts: 163000 | #Constraints: 16344
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 164000 | #Constraints: 9346
843.82/846.52 c #Conflicts: 165000 | #Constraints: 10346
843.82/846.52 c #Conflicts: 166000 | #Constraints: 11346
843.82/846.52 c #Conflicts: 167000 | #Constraints: 12346
843.82/846.52 c #Conflicts: 168000 | #Constraints: 13346
843.82/846.52 c #Conflicts: 169000 | #Constraints: 14346
843.82/846.52 c #Conflicts: 170000 | #Constraints: 15346
843.82/846.52 c #Conflicts: 171000 | #Constraints: 16346
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 172000 | #Constraints: 9140
843.82/846.52 c #Conflicts: 173000 | #Constraints: 10140
843.82/846.52 c #Conflicts: 174000 | #Constraints: 11140
843.82/846.52 c #Conflicts: 175000 | #Constraints: 12140
843.82/846.52 c #Conflicts: 176000 | #Constraints: 13140
843.82/846.52 c #Conflicts: 177000 | #Constraints: 14140
843.82/846.52 c #Conflicts: 178000 | #Constraints: 15140
843.82/846.52 c #Conflicts: 179000 | #Constraints: 16140
843.82/846.52 c #Conflicts: 180000 | #Constraints: 17140
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 181000 | #Constraints: 9744
843.82/846.52 c #Conflicts: 182000 | #Constraints: 10744
843.82/846.52 c #Conflicts: 183000 | #Constraints: 11744
843.82/846.52 c #Conflicts: 184000 | #Constraints: 12744
843.82/846.52 c #Conflicts: 185000 | #Constraints: 13744
843.82/846.52 c #Conflicts: 186000 | #Constraints: 14744
843.82/846.52 c #Conflicts: 187000 | #Constraints: 15744
843.82/846.52 c #Conflicts: 188000 | #Constraints: 16744
843.82/846.52 c #Conflicts: 189000 | #Constraints: 17744
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 190000 | #Constraints: 10148
843.82/846.52 c #Conflicts: 191000 | #Constraints: 11148
843.82/846.52 c #Conflicts: 192000 | #Constraints: 12148
843.82/846.52 c #Conflicts: 193000 | #Constraints: 13148
843.82/846.52 c #Conflicts: 194000 | #Constraints: 14148
843.82/846.52 c #Conflicts: 195000 | #Constraints: 15148
843.82/846.52 c #Conflicts: 196000 | #Constraints: 16148
843.82/846.52 c #Conflicts: 197000 | #Constraints: 17148
843.82/846.52 c #Conflicts: 198000 | #Constraints: 18148
843.82/846.52 c INPROCESSING
843.82/846.52 c GARBAGE COLLECT
843.82/846.52 c #Conflicts: 199000 | #Constraints: 10350
843.82/846.52 c #Conflicts: 200000 | #Constraints: 11350
843.82/846.52 c #Conflicts: 201000 | #Constraints: 12350
843.82/846.52 c #Conflicts: 202000 | #Constraints: 13350
843.82/846.52 c #Conflicts: 203000 | #Constraints: 14350
843.82/846.52 c #Conflicts: 204000 | #Constraints: 15350
843.82/846.52 c #Conflicts: 205000 | #Constraints: 16350
843.82/846.52 c #Conflicts: 206000 | #Constraints: 17350
1303.85/1308.04 c #Conflicts: 207000 | #Constraints: 18350
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 208000 | #Constraints: 10345
1303.85/1308.04 c #Conflicts: 209000 | #Constraints: 11345
1303.85/1308.04 c #Conflicts: 210000 | #Constraints: 12345
1303.85/1308.04 c #Conflicts: 211000 | #Constraints: 13345
1303.85/1308.04 c #Conflicts: 212000 | #Constraints: 14345
1303.85/1308.04 c #Conflicts: 213000 | #Constraints: 15345
1303.85/1308.04 c #Conflicts: 214000 | #Constraints: 16345
1303.85/1308.04 c #Conflicts: 215000 | #Constraints: 17345
1303.85/1308.04 c #Conflicts: 216000 | #Constraints: 18345
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 217000 | #Constraints: 10141
1303.85/1308.04 c #Conflicts: 218000 | #Constraints: 11141
1303.85/1308.04 c #Conflicts: 219000 | #Constraints: 12141
1303.85/1308.04 c #Conflicts: 220000 | #Constraints: 13141
1303.85/1308.04 c #Conflicts: 221000 | #Constraints: 14141
1303.85/1308.04 c #Conflicts: 222000 | #Constraints: 15141
1303.85/1308.04 c #Conflicts: 223000 | #Constraints: 16141
1303.85/1308.04 c #Conflicts: 224000 | #Constraints: 17141
1303.85/1308.04 c #Conflicts: 225000 | #Constraints: 18141
1303.85/1308.04 c #Conflicts: 226000 | #Constraints: 19141
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 227000 | #Constraints: 10747
1303.85/1308.04 c #Conflicts: 228000 | #Constraints: 11747
1303.85/1308.04 c #Conflicts: 229000 | #Constraints: 12747
1303.85/1308.04 c #Conflicts: 230000 | #Constraints: 13747
1303.85/1308.04 c #Conflicts: 231000 | #Constraints: 14747
1303.85/1308.04 c #Conflicts: 232000 | #Constraints: 15747
1303.85/1308.04 c #Conflicts: 233000 | #Constraints: 16747
1303.85/1308.04 c #Conflicts: 234000 | #Constraints: 17747
1303.85/1308.04 c #Conflicts: 235000 | #Constraints: 18747
1303.85/1308.04 c #Conflicts: 236000 | #Constraints: 19747
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 237000 | #Constraints: 11145
1303.85/1308.04 c #Conflicts: 238000 | #Constraints: 12145
1303.85/1308.04 c #Conflicts: 239000 | #Constraints: 13145
1303.85/1308.04 c #Conflicts: 240000 | #Constraints: 14145
1303.85/1308.04 c #Conflicts: 241000 | #Constraints: 15145
1303.85/1308.04 c #Conflicts: 242000 | #Constraints: 16145
1303.85/1308.04 c #Conflicts: 243000 | #Constraints: 17145
1303.85/1308.04 c #Conflicts: 244000 | #Constraints: 18145
1303.85/1308.04 c #Conflicts: 245000 | #Constraints: 19145
1303.85/1308.04 c #Conflicts: 246000 | #Constraints: 20145
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 247000 | #Constraints: 11341
1303.85/1308.04 c #Conflicts: 248000 | #Constraints: 12341
1303.85/1308.04 c #Conflicts: 249000 | #Constraints: 13341
1303.85/1308.04 c #Conflicts: 250000 | #Constraints: 14341
1303.85/1308.04 c #Conflicts: 251000 | #Constraints: 15341
1303.85/1308.04 c #Conflicts: 252000 | #Constraints: 16341
1303.85/1308.04 c #Conflicts: 253000 | #Constraints: 17341
1303.85/1308.04 c #Conflicts: 254000 | #Constraints: 18341
1303.85/1308.04 c #Conflicts: 255000 | #Constraints: 19341
1303.85/1308.04 c #Conflicts: 256000 | #Constraints: 20341
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 257000 | #Constraints: 11338
1303.85/1308.04 c #Conflicts: 258000 | #Constraints: 12338
1303.85/1308.04 c #Conflicts: 259000 | #Constraints: 13338
1303.85/1308.04 c #Conflicts: 260000 | #Constraints: 14338
1303.85/1308.04 c #Conflicts: 261000 | #Constraints: 15338
1303.85/1308.04 c #Conflicts: 262000 | #Constraints: 16338
1303.85/1308.04 c #Conflicts: 263000 | #Constraints: 17338
1303.85/1308.04 c #Conflicts: 264000 | #Constraints: 18338
1303.85/1308.04 c #Conflicts: 265000 | #Constraints: 19338
1303.85/1308.04 c #Conflicts: 266000 | #Constraints: 20338
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 267000 | #Constraints: 11137
1303.85/1308.04 c #Conflicts: 268000 | #Constraints: 12137
1303.85/1308.04 c #Conflicts: 269000 | #Constraints: 13137
1303.85/1308.04 c #Conflicts: 270000 | #Constraints: 14137
1303.85/1308.04 c #Conflicts: 271000 | #Constraints: 15137
1303.85/1308.04 c #Conflicts: 272000 | #Constraints: 16137
1303.85/1308.04 c #Conflicts: 273000 | #Constraints: 17137
1303.85/1308.04 c #Conflicts: 274000 | #Constraints: 18137
1303.85/1308.04 c #Conflicts: 275000 | #Constraints: 19137
1303.85/1308.04 c #Conflicts: 276000 | #Constraints: 20137
1303.85/1308.04 c #Conflicts: 277000 | #Constraints: 21137
1303.85/1308.04 c INPROCESSING
1303.85/1308.04 c GARBAGE COLLECT
1303.85/1308.04 c #Conflicts: 278000 | #Constraints: 11730
1303.85/1308.04 c #Conflicts: 279000 | #Constraints: 12730
1303.85/1308.04 c #Conflicts: 280000 | #Constraints: 13730
1411.32/1415.82 c #Conflicts: 281000 | #Constraints: 14730
1411.32/1415.82 c #Conflicts: 282000 | #Constraints: 15730
1411.32/1415.82 c #Conflicts: 283000 | #Constraints: 16730
1411.32/1415.82 c #Conflicts: 284000 | #Constraints: 17730
1411.32/1415.82 c #Conflicts: 285000 | #Constraints: 18730
1411.32/1415.82 c #Conflicts: 286000 | #Constraints: 19730
1411.32/1415.82 c #Conflicts: 287000 | #Constraints: 20730
1411.32/1415.82 c #Conflicts: 288000 | #Constraints: 21730
1411.32/1415.82 c INPROCESSING
1411.32/1415.82 c GARBAGE COLLECT
1411.32/1415.82 c #Conflicts: 289000 | #Constraints: 12135
1411.32/1415.82 c #Conflicts: 290000 | #Constraints: 13135
1411.32/1415.82 c #Conflicts: 291000 | #Constraints: 14135
1411.32/1415.82 c #Conflicts: 292000 | #Constraints: 15135
1411.32/1415.82 c #Conflicts: 293000 | #Constraints: 16135
1411.32/1415.82 c #Conflicts: 294000 | #Constraints: 17135
1411.32/1415.82 c #Conflicts: 295000 | #Constraints: 18135
1411.32/1415.82 c #Conflicts: 296000 | #Constraints: 19135
1411.32/1415.82 c #Conflicts: 297000 | #Constraints: 20135
1411.32/1415.82 c #Conflicts: 298000 | #Constraints: 21135
1411.32/1415.82 c #Conflicts: 299000 | #Constraints: 22135
1411.32/1415.82 c INPROCESSING
1411.32/1415.82 c GARBAGE COLLECT
1411.32/1415.82 c #Conflicts: 300000 | #Constraints: 12350
1411.32/1415.82 c #Conflicts: 301000 | #Constraints: 13350
1411.32/1415.82 c #Conflicts: 302000 | #Constraints: 14350
1411.32/1415.82 c #Conflicts: 303000 | #Constraints: 15350
1411.32/1415.82 c GLOBAL bounds - >= 11282 @ 1392.48
1411.32/1415.85 c GLOBAL bounds - >= 11282 @ 1392.5
1411.32/1415.86 c GLOBAL bounds - >= 11282 @ 1392.5
1411.41/1415.95 c GLOBAL bounds - >= 11282 @ 1392.54
1411.41/1415.96 c GLOBAL bounds - >= 11282 @ 1392.55
1411.52/1416.05 c GLOBAL bounds - >= 11282 @ 1392.59
1411.52/1416.06 c GLOBAL bounds - >= 11282 @ 1392.6
1411.61/1416.15 c GLOBAL bounds - >= 11282 @ 1392.63
1411.61/1416.18 c GLOBAL bounds - >= 11282 @ 1392.65
1411.71/1416.26 c GLOBAL bounds - >= 11282 @ 1392.69
1411.71/1416.27 c GLOBAL bounds - >= 11282 @ 1392.7
1411.81/1416.36 c GLOBAL bounds - >= 11282 @ 1392.74
1411.81/1416.38 c GLOBAL bounds - >= 11282 @ 1392.75
1411.92/1416.46 c GLOBAL bounds - >= 11282 @ 1392.78
1411.92/1416.48 c GLOBAL bounds - >= 11282 @ 1392.79
1412.01/1416.57 c GLOBAL bounds - >= 11282 @ 1392.83
1412.01/1416.58 c GLOBAL bounds - >= 11282 @ 1392.84
1412.11/1416.67 c GLOBAL bounds - >= 11282 @ 1392.87
1412.11/1416.69 c GLOBAL bounds - >= 11282 @ 1392.87
1412.21/1416.77 c GLOBAL bounds - >= 11282 @ 1392.9
1412.21/1416.79 c GLOBAL bounds - >= 11282 @ 1392.91
1412.31/1416.88 c GLOBAL bounds - >= 11282 @ 1392.95
1412.41/1416.97 c GLOBAL bounds - >= 11282 @ 1392.98
1412.51/1417.06 c GLOBAL bounds - >= 11282 @ 1393.03
1412.62/1417.17 c GLOBAL bounds - >= 11282 @ 1393.09
1412.81/1417.30 c GLOBAL bounds - >= 11282 @ 1393.17
1412.91/1417.41 c GLOBAL bounds - >= 11282 @ 1393.23
1413.01/1417.52 c GLOBAL bounds - >= 11282 @ 1393.29
1413.40/1417.96 c #Conflicts: 304000 | #Constraints: 16378
1413.40/1417.96 c GLOBAL bounds - >= 11282 @ 1393.67
1700.43/1705.79 c #Conflicts: 305000 | #Constraints: 17378
1700.43/1705.79 c #Conflicts: 306000 | #Constraints: 18378
1700.43/1705.79 c #Conflicts: 307000 | #Constraints: 19378
1700.43/1705.79 c #Conflicts: 308000 | #Constraints: 20378
1700.43/1705.79 c #Conflicts: 309000 | #Constraints: 21378
1700.43/1705.79 c #Conflicts: 310000 | #Constraints: 22378
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 311000 | #Constraints: 12366
1700.43/1705.79 c #Conflicts: 312000 | #Constraints: 13366
1700.43/1705.79 c #Conflicts: 313000 | #Constraints: 14366
1700.43/1705.79 c #Conflicts: 314000 | #Constraints: 15366
1700.43/1705.79 c #Conflicts: 315000 | #Constraints: 16366
1700.43/1705.79 c #Conflicts: 316000 | #Constraints: 17366
1700.43/1705.79 c #Conflicts: 317000 | #Constraints: 18366
1700.43/1705.79 c #Conflicts: 318000 | #Constraints: 19366
1700.43/1705.79 c #Conflicts: 319000 | #Constraints: 20366
1700.43/1705.79 c #Conflicts: 320000 | #Constraints: 21366
1700.43/1705.79 c #Conflicts: 321000 | #Constraints: 22366
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 322000 | #Constraints: 12169
1700.43/1705.79 c #Conflicts: 323000 | #Constraints: 13169
1700.43/1705.79 c #Conflicts: 324000 | #Constraints: 14169
1700.43/1705.79 c #Conflicts: 325000 | #Constraints: 15169
1700.43/1705.79 c #Conflicts: 326000 | #Constraints: 16169
1700.43/1705.79 c #Conflicts: 327000 | #Constraints: 17169
1700.43/1705.79 c #Conflicts: 328000 | #Constraints: 18169
1700.43/1705.79 c #Conflicts: 329000 | #Constraints: 19169
1700.43/1705.79 c #Conflicts: 330000 | #Constraints: 20169
1700.43/1705.79 c #Conflicts: 331000 | #Constraints: 21169
1700.43/1705.79 c #Conflicts: 332000 | #Constraints: 22169
1700.43/1705.79 c #Conflicts: 333000 | #Constraints: 23169
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 334000 | #Constraints: 12766
1700.43/1705.79 c #Conflicts: 335000 | #Constraints: 13766
1700.43/1705.79 c #Conflicts: 336000 | #Constraints: 14766
1700.43/1705.79 c #Conflicts: 337000 | #Constraints: 15766
1700.43/1705.79 c #Conflicts: 338000 | #Constraints: 16766
1700.43/1705.79 c #Conflicts: 339000 | #Constraints: 17766
1700.43/1705.79 c #Conflicts: 340000 | #Constraints: 18766
1700.43/1705.79 c #Conflicts: 341000 | #Constraints: 19766
1700.43/1705.79 c #Conflicts: 342000 | #Constraints: 20766
1700.43/1705.79 c #Conflicts: 343000 | #Constraints: 21766
1700.43/1705.79 c #Conflicts: 344000 | #Constraints: 22766
1700.43/1705.79 c #Conflicts: 345000 | #Constraints: 23766
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 346000 | #Constraints: 13157
1700.43/1705.79 c #Conflicts: 347000 | #Constraints: 14157
1700.43/1705.79 c #Conflicts: 348000 | #Constraints: 15157
1700.43/1705.79 c #Conflicts: 349000 | #Constraints: 16157
1700.43/1705.79 c #Conflicts: 350000 | #Constraints: 17157
1700.43/1705.79 c #Conflicts: 351000 | #Constraints: 18157
1700.43/1705.79 c #Conflicts: 352000 | #Constraints: 19157
1700.43/1705.79 c #Conflicts: 353000 | #Constraints: 20157
1700.43/1705.79 c #Conflicts: 354000 | #Constraints: 21157
1700.43/1705.79 c #Conflicts: 355000 | #Constraints: 22157
1700.43/1705.79 c #Conflicts: 356000 | #Constraints: 23157
1700.43/1705.79 c #Conflicts: 357000 | #Constraints: 24157
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 358000 | #Constraints: 13355
1700.43/1705.79 c #Conflicts: 359000 | #Constraints: 14355
1700.43/1705.79 c #Conflicts: 360000 | #Constraints: 15355
1700.43/1705.79 c #Conflicts: 361000 | #Constraints: 16355
1700.43/1705.79 c #Conflicts: 362000 | #Constraints: 17355
1700.43/1705.79 c #Conflicts: 363000 | #Constraints: 18355
1700.43/1705.79 c #Conflicts: 364000 | #Constraints: 19355
1700.43/1705.79 c #Conflicts: 365000 | #Constraints: 20355
1700.43/1705.79 c #Conflicts: 366000 | #Constraints: 21355
1700.43/1705.79 c #Conflicts: 367000 | #Constraints: 22355
1700.43/1705.79 c #Conflicts: 368000 | #Constraints: 23355
1700.43/1705.79 c #Conflicts: 369000 | #Constraints: 24355
1700.43/1705.79 c INPROCESSING
1700.43/1705.79 c GARBAGE COLLECT
1700.43/1705.79 c #Conflicts: 370000 | #Constraints: 13355
1700.43/1705.79 c #Conflicts: 371000 | #Constraints: 14355
1700.43/1705.79 c #Conflicts: 372000 | #Constraints: 15355
1700.43/1705.79 c #Conflicts: 373000 | #Constraints: 16355
1700.43/1705.79 c #Conflicts: 374000 | #Constraints: 17355
1700.43/1705.79 c #Conflicts: 375000 | #Constraints: 18355
1700.43/1705.79 c #Conflicts: 376000 | #Constraints: 19355
1700.43/1705.79 c #Conflicts: 377000 | #Constraints: 20355
1700.43/1705.79 c #Conflicts: 378000 | #Constraints: 21355
1700.43/1705.79 c #Conflicts: 379000 | #Constraints: 22355
1986.95/1993.01 c #Conflicts: 380000 | #Constraints: 23355
1986.95/1993.01 c #Conflicts: 381000 | #Constraints: 24355
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 382000 | #Constraints: 13151
1986.95/1993.01 c #Conflicts: 383000 | #Constraints: 14151
1986.95/1993.01 c #Conflicts: 384000 | #Constraints: 15151
1986.95/1993.01 c #Conflicts: 385000 | #Constraints: 16151
1986.95/1993.01 c #Conflicts: 386000 | #Constraints: 17151
1986.95/1993.01 c #Conflicts: 387000 | #Constraints: 18151
1986.95/1993.01 c #Conflicts: 388000 | #Constraints: 19151
1986.95/1993.01 c #Conflicts: 389000 | #Constraints: 20151
1986.95/1993.01 c #Conflicts: 390000 | #Constraints: 21151
1986.95/1993.01 c #Conflicts: 391000 | #Constraints: 22151
1986.95/1993.01 c #Conflicts: 392000 | #Constraints: 23151
1986.95/1993.01 c #Conflicts: 393000 | #Constraints: 24151
1986.95/1993.01 c #Conflicts: 394000 | #Constraints: 25151
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 395000 | #Constraints: 13770
1986.95/1993.01 c #Conflicts: 396000 | #Constraints: 14770
1986.95/1993.01 c #Conflicts: 397000 | #Constraints: 15770
1986.95/1993.01 c #Conflicts: 398000 | #Constraints: 16770
1986.95/1993.01 c #Conflicts: 399000 | #Constraints: 17770
1986.95/1993.01 c #Conflicts: 400000 | #Constraints: 18770
1986.95/1993.01 c #Conflicts: 401000 | #Constraints: 19770
1986.95/1993.01 c #Conflicts: 402000 | #Constraints: 20770
1986.95/1993.01 c #Conflicts: 403000 | #Constraints: 21770
1986.95/1993.01 c #Conflicts: 404000 | #Constraints: 22770
1986.95/1993.01 c #Conflicts: 405000 | #Constraints: 23770
1986.95/1993.01 c #Conflicts: 406000 | #Constraints: 24770
1986.95/1993.01 c #Conflicts: 407000 | #Constraints: 25770
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 408000 | #Constraints: 14168
1986.95/1993.01 c #Conflicts: 409000 | #Constraints: 15168
1986.95/1993.01 c #Conflicts: 410000 | #Constraints: 16168
1986.95/1993.01 c #Conflicts: 411000 | #Constraints: 17168
1986.95/1993.01 c #Conflicts: 412000 | #Constraints: 18168
1986.95/1993.01 c #Conflicts: 413000 | #Constraints: 19168
1986.95/1993.01 c #Conflicts: 414000 | #Constraints: 20168
1986.95/1993.01 c #Conflicts: 415000 | #Constraints: 21168
1986.95/1993.01 c #Conflicts: 416000 | #Constraints: 22168
1986.95/1993.01 c #Conflicts: 417000 | #Constraints: 23168
1986.95/1993.01 c #Conflicts: 418000 | #Constraints: 24168
1986.95/1993.01 c #Conflicts: 419000 | #Constraints: 25168
1986.95/1993.01 c #Conflicts: 420000 | #Constraints: 26168
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 421000 | #Constraints: 14371
1986.95/1993.01 c #Conflicts: 422000 | #Constraints: 15371
1986.95/1993.01 c #Conflicts: 423000 | #Constraints: 16371
1986.95/1993.01 c #Conflicts: 424000 | #Constraints: 17371
1986.95/1993.01 c #Conflicts: 425000 | #Constraints: 18371
1986.95/1993.01 c #Conflicts: 426000 | #Constraints: 19371
1986.95/1993.01 c #Conflicts: 427000 | #Constraints: 20371
1986.95/1993.01 c #Conflicts: 428000 | #Constraints: 21371
1986.95/1993.01 c #Conflicts: 429000 | #Constraints: 22371
1986.95/1993.01 c #Conflicts: 430000 | #Constraints: 23371
1986.95/1993.01 c #Conflicts: 431000 | #Constraints: 24371
1986.95/1993.01 c #Conflicts: 432000 | #Constraints: 25371
1986.95/1993.01 c #Conflicts: 433000 | #Constraints: 26371
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 434000 | #Constraints: 14361
1986.95/1993.01 c #Conflicts: 435000 | #Constraints: 15361
1986.95/1993.01 c #Conflicts: 436000 | #Constraints: 16361
1986.95/1993.01 c #Conflicts: 437000 | #Constraints: 17361
1986.95/1993.01 c #Conflicts: 438000 | #Constraints: 18361
1986.95/1993.01 c #Conflicts: 439000 | #Constraints: 19361
1986.95/1993.01 c #Conflicts: 440000 | #Constraints: 20361
1986.95/1993.01 c #Conflicts: 441000 | #Constraints: 21361
1986.95/1993.01 c #Conflicts: 442000 | #Constraints: 22361
1986.95/1993.01 c #Conflicts: 443000 | #Constraints: 23361
1986.95/1993.01 c #Conflicts: 444000 | #Constraints: 24361
1986.95/1993.01 c #Conflicts: 445000 | #Constraints: 25361
1986.95/1993.01 c #Conflicts: 446000 | #Constraints: 26361
1986.95/1993.01 c INPROCESSING
1986.95/1993.01 c GARBAGE COLLECT
1986.95/1993.01 c #Conflicts: 447000 | #Constraints: 14166
1986.95/1993.01 c #Conflicts: 448000 | #Constraints: 15166
1986.95/1993.01 c #Conflicts: 449000 | #Constraints: 16166
1986.95/1993.01 c #Conflicts: 450000 | #Constraints: 17166
1986.95/1993.01 c #Conflicts: 451000 | #Constraints: 18166
1986.95/1993.01 c #Conflicts: 452000 | #Constraints: 19166
1986.95/1993.01 c #Conflicts: 453000 | #Constraints: 20166
1986.95/1993.01 c #Conflicts: 454000 | #Constraints: 21166
2290.59/2297.54 c #Conflicts: 455000 | #Constraints: 22166
2290.59/2297.54 c #Conflicts: 456000 | #Constraints: 23166
2290.59/2297.54 c #Conflicts: 457000 | #Constraints: 24166
2290.59/2297.54 c #Conflicts: 458000 | #Constraints: 25166
2290.59/2297.54 c #Conflicts: 459000 | #Constraints: 26166
2290.59/2297.54 c #Conflicts: 460000 | #Constraints: 27166
2290.59/2297.54 c INPROCESSING
2290.59/2297.54 c GARBAGE COLLECT
2290.59/2297.54 c #Conflicts: 461000 | #Constraints: 14761
2290.59/2297.54 c #Conflicts: 462000 | #Constraints: 15761
2290.59/2297.54 c #Conflicts: 463000 | #Constraints: 16761
2290.59/2297.54 c #Conflicts: 464000 | #Constraints: 17761
2290.59/2297.54 c #Conflicts: 465000 | #Constraints: 18761
2290.59/2297.54 c #Conflicts: 466000 | #Constraints: 19761
2290.59/2297.54 c #Conflicts: 467000 | #Constraints: 20761
2290.59/2297.54 c #Conflicts: 468000 | #Constraints: 21761
2290.59/2297.54 c #Conflicts: 469000 | #Constraints: 22761
2290.59/2297.54 c #Conflicts: 470000 | #Constraints: 23761
2290.59/2297.54 c #Conflicts: 471000 | #Constraints: 24761
2290.59/2297.54 c #Conflicts: 472000 | #Constraints: 25761
2290.59/2297.54 c #Conflicts: 473000 | #Constraints: 26761
2290.59/2297.54 c #Conflicts: 474000 | #Constraints: 27761
2290.59/2297.54 c INPROCESSING
2290.59/2297.54 c GARBAGE COLLECT
2290.59/2297.54 c #Conflicts: 475000 | #Constraints: 15158
2290.59/2297.54 c #Conflicts: 476000 | #Constraints: 16158
2290.59/2297.54 c #Conflicts: 477000 | #Constraints: 17158
2290.59/2297.54 c #Conflicts: 478000 | #Constraints: 18158
2290.59/2297.54 c #Conflicts: 479000 | #Constraints: 19158
2290.59/2297.54 c #Conflicts: 480000 | #Constraints: 20158
2290.59/2297.54 c #Conflicts: 481000 | #Constraints: 21158
2290.59/2297.54 c #Conflicts: 482000 | #Constraints: 22158
2290.59/2297.54 c #Conflicts: 483000 | #Constraints: 23158
2290.59/2297.54 c #Conflicts: 484000 | #Constraints: 24158
2290.59/2297.54 c #Conflicts: 485000 | #Constraints: 25158
2290.59/2297.54 c #Conflicts: 486000 | #Constraints: 26158
2290.59/2297.54 c #Conflicts: 487000 | #Constraints: 27158
2290.59/2297.54 c #Conflicts: 488000 | #Constraints: 28158
2290.59/2297.54 c INPROCESSING
2290.59/2297.54 c GARBAGE COLLECT
2290.59/2297.54 c #Conflicts: 489000 | #Constraints: 15365
2290.59/2297.54 c #Conflicts: 490000 | #Constraints: 16365
2290.59/2297.54 c #Conflicts: 491000 | #Constraints: 17365
2290.59/2297.54 c #Conflicts: 492000 | #Constraints: 18365
2290.59/2297.54 c #Conflicts: 493000 | #Constraints: 19365
2290.59/2297.54 c #Conflicts: 494000 | #Constraints: 20365
2290.59/2297.54 c #Conflicts: 495000 | #Constraints: 21365
2290.59/2297.54 c #Conflicts: 496000 | #Constraints: 22365
2290.59/2297.54 c #Conflicts: 497000 | #Constraints: 23365
2290.59/2297.54 c #Conflicts: 498000 | #Constraints: 24365
2290.59/2297.54 c #Conflicts: 499000 | #Constraints: 25365
2290.59/2297.54 c #Conflicts: 500000 | #Constraints: 26365
2290.59/2297.54 c #Conflicts: 501000 | #Constraints: 27365
2290.59/2297.54 c #Conflicts: 502000 | #Constraints: 28365
2290.59/2297.54 c INPROCESSING
2290.59/2297.54 c GARBAGE COLLECT
2290.59/2297.54 c #Conflicts: 503000 | #Constraints: 15374
2290.59/2297.54 c #Conflicts: 504000 | #Constraints: 16374
2290.59/2297.54 c #Conflicts: 505000 | #Constraints: 17374
2290.59/2297.54 c #Conflicts: 506000 | #Constraints: 18374
2290.59/2297.54 c #Conflicts: 507000 | #Constraints: 19374
2290.59/2297.54 c #Conflicts: 508000 | #Constraints: 20374
2290.59/2297.54 c #Conflicts: 509000 | #Constraints: 21374
2290.59/2297.54 c #Conflicts: 510000 | #Constraints: 22374
2290.59/2297.54 c #Conflicts: 511000 | #Constraints: 23374
2290.59/2297.54 c #Conflicts: 512000 | #Constraints: 24374
2290.59/2297.54 c #Conflicts: 513000 | #Constraints: 25374
2290.59/2297.54 c #Conflicts: 514000 | #Constraints: 26374
2290.59/2297.54 c #Conflicts: 515000 | #Constraints: 27374
2290.59/2297.54 c #Conflicts: 516000 | #Constraints: 28374
2290.59/2297.54 c INPROCESSING
2290.59/2297.54 c GARBAGE COLLECT
2290.59/2297.54 c #Conflicts: 517000 | #Constraints: 15168
2290.59/2297.54 c #Conflicts: 518000 | #Constraints: 16168
2290.59/2297.54 c #Conflicts: 519000 | #Constraints: 17168
2290.59/2297.54 c #Conflicts: 520000 | #Constraints: 18168
2290.59/2297.54 c #Conflicts: 521000 | #Constraints: 19168
2290.59/2297.54 c #Conflicts: 522000 | #Constraints: 20168
2290.59/2297.54 c #Conflicts: 523000 | #Constraints: 21168
2290.59/2297.54 c #Conflicts: 524000 | #Constraints: 22168
2290.59/2297.54 c #Conflicts: 525000 | #Constraints: 23168
2290.59/2297.54 c #Conflicts: 526000 | #Constraints: 24168
2290.59/2297.54 c #Conflicts: 527000 | #Constraints: 25168
2290.59/2297.54 c #Conflicts: 528000 | #Constraints: 26168
2290.59/2297.54 c #Conflicts: 529000 | #Constraints: 27168
2290.59/2297.54 c #Conflicts: 530000 | #Constraints: 28168
2596.66/2604.47 c #Conflicts: 531000 | #Constraints: 29168
2596.66/2604.47 c INPROCESSING
2596.66/2604.47 c GARBAGE COLLECT
2596.66/2604.47 c #Conflicts: 532000 | #Constraints: 15761
2596.66/2604.47 c #Conflicts: 533000 | #Constraints: 16761
2596.66/2604.47 c #Conflicts: 534000 | #Constraints: 17761
2596.66/2604.47 c #Conflicts: 535000 | #Constraints: 18761
2596.66/2604.47 c #Conflicts: 536000 | #Constraints: 19761
2596.66/2604.47 c #Conflicts: 537000 | #Constraints: 20761
2596.66/2604.47 c #Conflicts: 538000 | #Constraints: 21761
2596.66/2604.47 c #Conflicts: 539000 | #Constraints: 22761
2596.66/2604.47 c #Conflicts: 540000 | #Constraints: 23761
2596.66/2604.47 c #Conflicts: 541000 | #Constraints: 24761
2596.66/2604.47 c #Conflicts: 542000 | #Constraints: 25761
2596.66/2604.47 c #Conflicts: 543000 | #Constraints: 26761
2596.66/2604.47 c #Conflicts: 544000 | #Constraints: 27761
2596.66/2604.47 c #Conflicts: 545000 | #Constraints: 28761
2596.66/2604.47 c #Conflicts: 546000 | #Constraints: 29761
2596.66/2604.47 c INPROCESSING
2596.66/2604.47 c GARBAGE COLLECT
2596.66/2604.47 c #Conflicts: 547000 | #Constraints: 16160
2596.66/2604.47 c #Conflicts: 548000 | #Constraints: 17160
2596.66/2604.47 c #Conflicts: 549000 | #Constraints: 18160
2596.66/2604.47 c #Conflicts: 550000 | #Constraints: 19160
2596.66/2604.47 c #Conflicts: 551000 | #Constraints: 20160
2596.66/2604.47 c #Conflicts: 552000 | #Constraints: 21160
2596.66/2604.47 c #Conflicts: 553000 | #Constraints: 22160
2596.66/2604.47 c #Conflicts: 554000 | #Constraints: 23160
2596.66/2604.47 c #Conflicts: 555000 | #Constraints: 24160
2596.66/2604.47 c #Conflicts: 556000 | #Constraints: 25160
2596.66/2604.47 c #Conflicts: 557000 | #Constraints: 26160
2596.66/2604.47 c #Conflicts: 558000 | #Constraints: 27160
2596.66/2604.47 c #Conflicts: 559000 | #Constraints: 28160
2596.66/2604.47 c #Conflicts: 560000 | #Constraints: 29160
2596.66/2604.47 c #Conflicts: 561000 | #Constraints: 30160
2596.66/2604.47 c INPROCESSING
2596.66/2604.47 c GARBAGE COLLECT
2596.66/2604.47 c #Conflicts: 562000 | #Constraints: 16357
2596.66/2604.47 c #Conflicts: 563000 | #Constraints: 17357
2596.66/2604.47 c #Conflicts: 564000 | #Constraints: 18357
2596.66/2604.47 c #Conflicts: 565000 | #Constraints: 19357
2596.66/2604.47 c #Conflicts: 566000 | #Constraints: 20357
2596.66/2604.47 c #Conflicts: 567000 | #Constraints: 21357
2596.66/2604.47 c #Conflicts: 568000 | #Constraints: 22357
2596.66/2604.47 c #Conflicts: 569000 | #Constraints: 23357
2596.66/2604.47 c #Conflicts: 570000 | #Constraints: 24357
2596.66/2604.47 c #Conflicts: 571000 | #Constraints: 25357
2596.66/2604.47 c #Conflicts: 572000 | #Constraints: 26357
2596.66/2604.47 c #Conflicts: 573000 | #Constraints: 27357
2596.66/2604.47 c #Conflicts: 574000 | #Constraints: 28357
2596.66/2604.47 c #Conflicts: 575000 | #Constraints: 29357
2596.66/2604.47 c #Conflicts: 576000 | #Constraints: 30357
2596.66/2604.47 c INPROCESSING
2596.66/2604.47 c GARBAGE COLLECT
2596.66/2604.47 c #Conflicts: 577000 | #Constraints: 16375
2596.66/2604.47 c #Conflicts: 578000 | #Constraints: 17375
2596.66/2604.47 c #Conflicts: 579000 | #Constraints: 18375
2596.66/2604.47 c #Conflicts: 580000 | #Constraints: 19375
2596.66/2604.47 c #Conflicts: 581000 | #Constraints: 20375
2596.66/2604.47 c #Conflicts: 582000 | #Constraints: 21375
2596.66/2604.47 c #Conflicts: 583000 | #Constraints: 22375
2596.66/2604.47 c #Conflicts: 584000 | #Constraints: 23375
2596.66/2604.47 c #Conflicts: 585000 | #Constraints: 24375
2596.66/2604.47 c #Conflicts: 586000 | #Constraints: 25375
2596.66/2604.47 c #Conflicts: 587000 | #Constraints: 26375
2596.66/2604.47 c #Conflicts: 588000 | #Constraints: 27375
2596.66/2604.47 c #Conflicts: 589000 | #Constraints: 28375
2596.66/2604.47 c #Conflicts: 590000 | #Constraints: 29375
2596.66/2604.47 c #Conflicts: 591000 | #Constraints: 30375
2596.66/2604.47 c INPROCESSING
2596.66/2604.47 c GARBAGE COLLECT
2596.66/2604.47 c #Conflicts: 592000 | #Constraints: 16174
2596.66/2604.47 c #Conflicts: 593000 | #Constraints: 17174
2596.66/2604.47 c #Conflicts: 594000 | #Constraints: 18174
2596.66/2604.47 c #Conflicts: 595000 | #Constraints: 19174
2596.66/2604.47 c #Conflicts: 596000 | #Constraints: 20174
2596.66/2604.47 c #Conflicts: 597000 | #Constraints: 21174
2596.66/2604.47 c #Conflicts: 598000 | #Constraints: 22174
2596.66/2604.47 c #Conflicts: 599000 | #Constraints: 23174
2596.66/2604.47 c #Conflicts: 600000 | #Constraints: 24174
2596.66/2604.47 c #Conflicts: 601000 | #Constraints: 25174
2596.66/2604.47 c #Conflicts: 602000 | #Constraints: 26174
2596.66/2604.47 c #Conflicts: 603000 | #Constraints: 27174
2596.66/2604.47 c #Conflicts: 604000 | #Constraints: 28174
2596.66/2604.47 c #Conflicts: 605000 | #Constraints: 29174
2596.66/2604.47 c #Conflicts: 606000 | #Constraints: 30174
2933.72/2942.44 c #Conflicts: 607000 | #Constraints: 31174
2933.72/2942.44 c INPROCESSING
2933.72/2942.44 c GARBAGE COLLECT
2933.72/2942.44 c #Conflicts: 608000 | #Constraints: 16777
2933.72/2942.44 c #Conflicts: 609000 | #Constraints: 17777
2933.72/2942.44 c #Conflicts: 610000 | #Constraints: 18777
2933.72/2942.44 c #Conflicts: 611000 | #Constraints: 19777
2933.72/2942.44 c #Conflicts: 612000 | #Constraints: 20777
2933.72/2942.44 c #Conflicts: 613000 | #Constraints: 21777
2933.72/2942.44 c #Conflicts: 614000 | #Constraints: 22777
2933.72/2942.44 c #Conflicts: 615000 | #Constraints: 23777
2933.72/2942.44 c #Conflicts: 616000 | #Constraints: 24777
2933.72/2942.44 c #Conflicts: 617000 | #Constraints: 25777
2933.72/2942.44 c #Conflicts: 618000 | #Constraints: 26777
2933.72/2942.44 c #Conflicts: 619000 | #Constraints: 27777
2933.72/2942.44 c #Conflicts: 620000 | #Constraints: 28777
2933.72/2942.44 c #Conflicts: 621000 | #Constraints: 29777
2933.72/2942.44 c #Conflicts: 622000 | #Constraints: 30777
2933.72/2942.44 c #Conflicts: 623000 | #Constraints: 31777
2933.72/2942.44 c INPROCESSING
2933.72/2942.44 c GARBAGE COLLECT
2933.72/2942.44 c #Conflicts: 624000 | #Constraints: 17172
2933.72/2942.44 c #Conflicts: 625000 | #Constraints: 18172
2933.72/2942.44 c #Conflicts: 626000 | #Constraints: 19172
2933.72/2942.44 c #Conflicts: 627000 | #Constraints: 20172
2933.72/2942.44 c #Conflicts: 628000 | #Constraints: 21172
2933.72/2942.44 c #Conflicts: 629000 | #Constraints: 22172
2933.72/2942.44 c #Conflicts: 630000 | #Constraints: 23172
2933.72/2942.44 c #Conflicts: 631000 | #Constraints: 24172
2933.72/2942.44 c #Conflicts: 632000 | #Constraints: 25172
2933.72/2942.44 c #Conflicts: 633000 | #Constraints: 26172
2933.72/2942.44 c #Conflicts: 634000 | #Constraints: 27172
2933.72/2942.44 c #Conflicts: 635000 | #Constraints: 28172
2933.72/2942.44 c #Conflicts: 636000 | #Constraints: 29172
2933.72/2942.44 c #Conflicts: 637000 | #Constraints: 30172
2933.72/2942.44 c #Conflicts: 638000 | #Constraints: 31172
2933.72/2942.44 c #Conflicts: 639000 | #Constraints: 32172
2933.72/2942.44 c INPROCESSING
2933.72/2942.44 c GARBAGE COLLECT
2933.72/2942.44 c #Conflicts: 640000 | #Constraints: 17387
2933.72/2942.44 c #Conflicts: 641000 | #Constraints: 18387
2933.72/2942.44 c #Conflicts: 642000 | #Constraints: 19387
2933.72/2942.44 c #Conflicts: 643000 | #Constraints: 20387
2933.72/2942.44 c #Conflicts: 644000 | #Constraints: 21387
2933.72/2942.44 c #Conflicts: 645000 | #Constraints: 22387
2933.72/2942.44 c #Conflicts: 646000 | #Constraints: 23387
2933.72/2942.44 c #Conflicts: 647000 | #Constraints: 24387
2933.72/2942.44 c #Conflicts: 648000 | #Constraints: 25387
2933.72/2942.44 c #Conflicts: 649000 | #Constraints: 26387
2933.72/2942.44 c #Conflicts: 650000 | #Constraints: 27387
2933.72/2942.44 c #Conflicts: 651000 | #Constraints: 28387
2933.72/2942.44 c #Conflicts: 652000 | #Constraints: 29387
2933.72/2942.44 c #Conflicts: 653000 | #Constraints: 30387
2933.72/2942.44 c #Conflicts: 654000 | #Constraints: 31387
2933.72/2942.44 c #Conflicts: 655000 | #Constraints: 32387
2933.72/2942.44 c INPROCESSING
2933.72/2942.44 c GARBAGE COLLECT
2933.72/2942.44 c #Conflicts: 656000 | #Constraints: 17379
2933.72/2942.44 c #Conflicts: 657000 | #Constraints: 18379
2933.72/2942.44 c #Conflicts: 658000 | #Constraints: 19379
2933.72/2942.44 c #Conflicts: 659000 | #Constraints: 20379
2933.72/2942.44 c #Conflicts: 660000 | #Constraints: 21379
2933.72/2942.44 c #Conflicts: 661000 | #Constraints: 22379
2933.72/2942.44 c #Conflicts: 662000 | #Constraints: 23379
2933.72/2942.44 c #Conflicts: 663000 | #Constraints: 24379
2933.72/2942.44 c #Conflicts: 664000 | #Constraints: 25379
2933.72/2942.44 c #Conflicts: 665000 | #Constraints: 26379
2933.72/2942.44 c #Conflicts: 666000 | #Constraints: 27379
2933.72/2942.44 c #Conflicts: 667000 | #Constraints: 28379
2933.72/2942.44 c #Conflicts: 668000 | #Constraints: 29379
2933.72/2942.44 c #Conflicts: 669000 | #Constraints: 30379
2933.72/2942.44 c #Conflicts: 670000 | #Constraints: 31379
2933.72/2942.44 c #Conflicts: 671000 | #Constraints: 32379
2933.72/2942.44 c INPROCESSING
2933.72/2942.44 c GARBAGE COLLECT
2933.72/2942.44 c #Conflicts: 672000 | #Constraints: 17193
2933.72/2942.44 c #Conflicts: 673000 | #Constraints: 18193
2933.72/2942.44 c #Conflicts: 674000 | #Constraints: 19193
2933.72/2942.44 c #Conflicts: 675000 | #Constraints: 20193
2933.72/2942.44 c #Conflicts: 676000 | #Constraints: 21193
2933.72/2942.44 c #Conflicts: 677000 | #Constraints: 22193
2933.72/2942.44 c #Conflicts: 678000 | #Constraints: 23193
2933.72/2942.44 c #Conflicts: 679000 | #Constraints: 24193
2933.72/2942.44 c #Conflicts: 680000 | #Constraints: 25193
2933.72/2942.44 c #Conflicts: 681000 | #Constraints: 26193
3236.77/3246.39 c #Conflicts: 682000 | #Constraints: 27193
3236.77/3246.39 c #Conflicts: 683000 | #Constraints: 28193
3236.77/3246.39 c #Conflicts: 684000 | #Constraints: 29193
3236.77/3246.39 c #Conflicts: 685000 | #Constraints: 30193
3236.77/3246.39 c #Conflicts: 686000 | #Constraints: 31193
3236.77/3246.39 c #Conflicts: 687000 | #Constraints: 32193
3236.77/3246.39 c #Conflicts: 688000 | #Constraints: 33193
3236.77/3246.39 c INPROCESSING
3236.77/3246.39 c GARBAGE COLLECT
3236.77/3246.39 c #Conflicts: 689000 | #Constraints: 17776
3236.77/3246.39 c #Conflicts: 690000 | #Constraints: 18776
3236.77/3246.39 c #Conflicts: 691000 | #Constraints: 19776
3236.77/3246.39 c #Conflicts: 692000 | #Constraints: 20776
3236.77/3246.39 c #Conflicts: 693000 | #Constraints: 21776
3236.77/3246.39 c #Conflicts: 694000 | #Constraints: 22776
3236.77/3246.39 c #Conflicts: 695000 | #Constraints: 23776
3236.77/3246.39 c #Conflicts: 696000 | #Constraints: 24776
3236.77/3246.39 c #Conflicts: 697000 | #Constraints: 25776
3236.77/3246.39 c #Conflicts: 698000 | #Constraints: 26776
3236.77/3246.39 c #Conflicts: 699000 | #Constraints: 27776
3236.77/3246.39 c #Conflicts: 700000 | #Constraints: 28776
3236.77/3246.39 c #Conflicts: 701000 | #Constraints: 29776
3236.77/3246.39 c #Conflicts: 702000 | #Constraints: 30776
3236.77/3246.39 c #Conflicts: 703000 | #Constraints: 31776
3236.77/3246.39 c #Conflicts: 704000 | #Constraints: 32776
3236.77/3246.39 c #Conflicts: 705000 | #Constraints: 33776
3236.77/3246.39 c INPROCESSING
3236.77/3246.39 c GARBAGE COLLECT
3236.77/3246.39 c #Conflicts: 706000 | #Constraints: 18181
3236.77/3246.39 c #Conflicts: 707000 | #Constraints: 19181
3236.77/3246.39 c #Conflicts: 708000 | #Constraints: 20181
3236.77/3246.39 c #Conflicts: 709000 | #Constraints: 21181
3236.77/3246.39 c #Conflicts: 710000 | #Constraints: 22181
3236.77/3246.39 c #Conflicts: 711000 | #Constraints: 23181
3236.77/3246.39 c #Conflicts: 712000 | #Constraints: 24181
3236.77/3246.39 c #Conflicts: 713000 | #Constraints: 25181
3236.77/3246.39 c #Conflicts: 714000 | #Constraints: 26181
3236.77/3246.39 c #Conflicts: 715000 | #Constraints: 27181
3236.77/3246.39 c #Conflicts: 716000 | #Constraints: 28181
3236.77/3246.39 c #Conflicts: 717000 | #Constraints: 29181
3236.77/3246.39 c #Conflicts: 718000 | #Constraints: 30181
3236.77/3246.39 c #Conflicts: 719000 | #Constraints: 31181
3236.77/3246.39 c #Conflicts: 720000 | #Constraints: 32181
3236.77/3246.39 c #Conflicts: 721000 | #Constraints: 33181
3236.77/3246.39 c #Conflicts: 722000 | #Constraints: 34181
3236.77/3246.39 c INPROCESSING
3236.77/3246.39 c GARBAGE COLLECT
3236.77/3246.39 c #Conflicts: 723000 | #Constraints: 18373
3236.77/3246.39 c #Conflicts: 724000 | #Constraints: 19373
3236.77/3246.39 c #Conflicts: 725000 | #Constraints: 20373
3236.77/3246.39 c #Conflicts: 726000 | #Constraints: 21373
3236.77/3246.39 c #Conflicts: 727000 | #Constraints: 22373
3236.77/3246.39 c #Conflicts: 728000 | #Constraints: 23373
3236.77/3246.39 c #Conflicts: 729000 | #Constraints: 24373
3236.77/3246.39 c #Conflicts: 730000 | #Constraints: 25373
3236.77/3246.39 c #Conflicts: 731000 | #Constraints: 26373
3236.77/3246.39 c #Conflicts: 732000 | #Constraints: 27373
3236.77/3246.39 c #Conflicts: 733000 | #Constraints: 28373
3236.77/3246.39 c #Conflicts: 734000 | #Constraints: 29373
3236.77/3246.39 c #Conflicts: 735000 | #Constraints: 30373
3236.77/3246.39 c #Conflicts: 736000 | #Constraints: 31373
3236.77/3246.39 c #Conflicts: 737000 | #Constraints: 32373
3236.77/3246.39 c #Conflicts: 738000 | #Constraints: 33373
3236.77/3246.39 c #Conflicts: 739000 | #Constraints: 34373
3236.77/3246.39 c INPROCESSING
3236.77/3246.39 c GARBAGE COLLECT
3236.77/3246.39 c #Conflicts: 740000 | #Constraints: 18364
3236.77/3246.39 c #Conflicts: 741000 | #Constraints: 19364
3236.77/3246.39 c #Conflicts: 742000 | #Constraints: 20364
3236.77/3246.39 c #Conflicts: 743000 | #Constraints: 21364
3236.77/3246.39 c #Conflicts: 744000 | #Constraints: 22364
3236.77/3246.39 c #Conflicts: 745000 | #Constraints: 23364
3236.77/3246.39 c #Conflicts: 746000 | #Constraints: 24364
3236.77/3246.39 c #Conflicts: 747000 | #Constraints: 25364
3236.77/3246.39 c #Conflicts: 748000 | #Constraints: 26364
3236.77/3246.39 c #Conflicts: 749000 | #Constraints: 27364
3236.77/3246.39 c #Conflicts: 750000 | #Constraints: 28364
3236.77/3246.39 c #Conflicts: 751000 | #Constraints: 29364
3236.77/3246.39 c #Conflicts: 752000 | #Constraints: 30364
3236.77/3246.39 c #Conflicts: 753000 | #Constraints: 31364
3236.77/3246.39 c #Conflicts: 754000 | #Constraints: 32364
3236.77/3246.39 c #Conflicts: 755000 | #Constraints: 33364
3236.77/3246.39 c #Conflicts: 756000 | #Constraints: 34364
3236.77/3246.39 c INPROCESSING
3236.77/3246.39 c GARBAGE COLLECT
3236.77/3246.39 c #Conflicts: 757000 | #Constraints: 18159
3540.73/3551.14 c #Conflicts: 758000 | #Constraints: 19159
3540.73/3551.14 c #Conflicts: 759000 | #Constraints: 20159
3540.73/3551.14 c #Conflicts: 760000 | #Constraints: 21159
3540.73/3551.14 c #Conflicts: 761000 | #Constraints: 22159
3540.73/3551.14 c #Conflicts: 762000 | #Constraints: 23159
3540.73/3551.14 c #Conflicts: 763000 | #Constraints: 24159
3540.73/3551.14 c #Conflicts: 764000 | #Constraints: 25159
3540.73/3551.14 c #Conflicts: 765000 | #Constraints: 26159
3540.73/3551.14 c #Conflicts: 766000 | #Constraints: 27159
3540.73/3551.14 c #Conflicts: 767000 | #Constraints: 28159
3540.73/3551.14 c #Conflicts: 768000 | #Constraints: 29159
3540.73/3551.14 c #Conflicts: 769000 | #Constraints: 30159
3540.73/3551.14 c #Conflicts: 770000 | #Constraints: 31159
3540.73/3551.14 c #Conflicts: 771000 | #Constraints: 32159
3540.73/3551.14 c #Conflicts: 772000 | #Constraints: 33159
3540.73/3551.14 c #Conflicts: 773000 | #Constraints: 34159
3540.73/3551.14 c #Conflicts: 774000 | #Constraints: 35159
3540.73/3551.14 c INPROCESSING
3540.73/3551.14 c GARBAGE COLLECT
3540.73/3551.14 c #Conflicts: 775000 | #Constraints: 18756
3540.73/3551.14 c #Conflicts: 776000 | #Constraints: 19756
3540.73/3551.14 c #Conflicts: 777000 | #Constraints: 20756
3540.73/3551.14 c #Conflicts: 778000 | #Constraints: 21756
3540.73/3551.14 c #Conflicts: 779000 | #Constraints: 22756
3540.73/3551.14 c #Conflicts: 780000 | #Constraints: 23756
3540.73/3551.14 c #Conflicts: 781000 | #Constraints: 24756
3540.73/3551.14 c #Conflicts: 782000 | #Constraints: 25756
3540.73/3551.14 c #Conflicts: 783000 | #Constraints: 26756
3540.73/3551.14 c #Conflicts: 784000 | #Constraints: 27756
3540.73/3551.14 c #Conflicts: 785000 | #Constraints: 28756
3540.73/3551.14 c #Conflicts: 786000 | #Constraints: 29756
3540.73/3551.14 c #Conflicts: 787000 | #Constraints: 30756
3540.73/3551.14 c #Conflicts: 788000 | #Constraints: 31756
3540.73/3551.14 c #Conflicts: 789000 | #Constraints: 32756
3540.73/3551.14 c #Conflicts: 790000 | #Constraints: 33756
3540.73/3551.14 c #Conflicts: 791000 | #Constraints: 34756
3540.73/3551.14 c #Conflicts: 792000 | #Constraints: 35756
3540.73/3551.14 c INPROCESSING
3540.73/3551.14 c GARBAGE COLLECT
3540.73/3551.14 c #Conflicts: 793000 | #Constraints: 19157
3540.73/3551.14 c #Conflicts: 794000 | #Constraints: 20157
3540.73/3551.14 c #Conflicts: 795000 | #Constraints: 21157
3540.73/3551.14 c #Conflicts: 796000 | #Constraints: 22157
3540.73/3551.14 c #Conflicts: 797000 | #Constraints: 23157
3540.73/3551.14 c #Conflicts: 798000 | #Constraints: 24157
3540.73/3551.14 c #Conflicts: 799000 | #Constraints: 25157
3540.73/3551.14 c #Conflicts: 800000 | #Constraints: 26157
3540.73/3551.14 c #Conflicts: 801000 | #Constraints: 27157
3540.73/3551.14 c #Conflicts: 802000 | #Constraints: 28157
3540.73/3551.14 c #Conflicts: 803000 | #Constraints: 29157
3540.73/3551.14 c #Conflicts: 804000 | #Constraints: 30157
3540.73/3551.14 c #Conflicts: 805000 | #Constraints: 31157
3540.73/3551.14 c #Conflicts: 806000 | #Constraints: 32157
3540.73/3551.14 c #Conflicts: 807000 | #Constraints: 33157
3540.73/3551.14 c #Conflicts: 808000 | #Constraints: 34157
3540.73/3551.14 c #Conflicts: 809000 | #Constraints: 35157
3540.73/3551.14 c #Conflicts: 810000 | #Constraints: 36157
3540.73/3551.14 c INPROCESSING
3540.73/3551.14 c GARBAGE COLLECT
3540.73/3551.14 c #Conflicts: 811000 | #Constraints: 19360
3540.73/3551.14 c #Conflicts: 812000 | #Constraints: 20360
3540.73/3551.14 c #Conflicts: 813000 | #Constraints: 21360
3540.73/3551.14 c #Conflicts: 814000 | #Constraints: 22360
3540.73/3551.14 c #Conflicts: 815000 | #Constraints: 23360
3540.73/3551.14 c #Conflicts: 816000 | #Constraints: 24360
3540.73/3551.14 c #Conflicts: 817000 | #Constraints: 25360
3540.73/3551.14 c #Conflicts: 818000 | #Constraints: 26360
3540.73/3551.14 c #Conflicts: 819000 | #Constraints: 27360
3540.73/3551.14 c #Conflicts: 820000 | #Constraints: 28360
3540.73/3551.14 c #Conflicts: 821000 | #Constraints: 29360
3540.73/3551.14 c #Conflicts: 822000 | #Constraints: 30360
3540.73/3551.14 c #Conflicts: 823000 | #Constraints: 31360
3540.73/3551.14 c #Conflicts: 824000 | #Constraints: 32360
3540.73/3551.14 c #Conflicts: 825000 | #Constraints: 33360
3540.73/3551.14 c #Conflicts: 826000 | #Constraints: 34360
3540.73/3551.14 c #Conflicts: 827000 | #Constraints: 35360
3540.73/3551.14 c #Conflicts: 828000 | #Constraints: 36360
3540.73/3551.14 c INPROCESSING
3540.73/3551.14 c GARBAGE COLLECT
3540.73/3551.14 c #Conflicts: 829000 | #Constraints: 19363
3540.73/3551.14 c #Conflicts: 830000 | #Constraints: 20363
3540.73/3551.14 c #Conflicts: 831000 | #Constraints: 21363
3540.73/3551.14 c #Conflicts: 832000 | #Constraints: 22363
3540.73/3551.14 c #Conflicts: 833000 | #Constraints: 23363
3600.06/3610.60 c #Conflicts: 834000 | #Constraints: 24363
3600.06/3610.60 c #Conflicts: 835000 | #Constraints: 25363
3600.06/3610.60 c #Conflicts: 836000 | #Constraints: 26363
3600.06/3610.60 c #Conflicts: 837000 | #Constraints: 27363
3600.06/3610.60 c #Conflicts: 838000 | #Constraints: 28363
3600.06/3610.60 c #Conflicts: 839000 | #Constraints: 29363
3600.06/3610.60 c #Conflicts: 840000 | #Constraints: 30363
3600.06/3610.60 c #Conflicts: 841000 | #Constraints: 31363
3600.06/3610.60 c #Conflicts: 842000 | #Constraints: 32363
3600.06/3610.60 c #Conflicts: 843000 | #Constraints: 33363
3600.06/3610.60 c #Conflicts: 844000 | #Constraints: 34363
3600.06/3610.60 c #Conflicts: 845000 | #Constraints: 35363
3600.06/3610.60 c #Conflicts: 846000 | #Constraints: 36363
3600.06/3610.60 c INPROCESSING
3600.06/3610.60 c GARBAGE COLLECT
3600.06/3610.60 c #Conflicts: 847000 | #Constraints: 19166
3600.06/3610.60 c #Conflicts: 848000 | #Constraints: 20166
3600.06/3610.60 c cpu time 3568.12 s
3600.06/3610.60 c deterministic time 18880210 1.89e+07
3600.06/3610.60 c optimization time 3564.77 s
3600.06/3610.60 c total solve time 2.03813 s
3600.06/3610.60 c core-guided solve time 0 s
3600.06/3610.60 c propagation time 1.11537 s
3600.06/3610.60 c conflict analysis time 0.177468 s
3600.06/3610.60 c propagations 2731225
3600.06/3610.60 c resolve steps 13561
3600.06/3610.60 c decisions 4003757
3600.06/3610.60 c conflicts 554
3600.06/3610.60 c restarts 5
3600.06/3610.60 c inprocessing phases 0
3600.06/3610.60 c garbage collections 0 ,( -nan )
3600.06/3610.60 c input clauses 279652 ,( 99.96 )
3600.06/3610.60 c input cardinalities 0 ,( 0.00 )
3600.06/3610.60 c input general constraints 118 ,( 0.04 )
3600.06/3610.60 c input average constraint length 6.56
3600.06/3610.60 c input average constraint degree 1218.03
3600.06/3610.60 c learned clauses 598 ,( 100.00 )
3600.06/3610.60 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.60 c learned general constraints 0 ,( 0.00 )
3600.06/3610.60 c learned average constraint length 45.97
3600.06/3610.60 c learned average constraint degree 1.00
3600.06/3610.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3610.60 c counting CF 32, 64, 128, Arb: 119 , 0 , 0 , 0
3600.06/3610.60 c watched constraints 0 ,( 0.00 )
3600.06/3610.60 c counting constraints 118 ,( 100.00 )
3600.06/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1612242 , 0 , 335882 ,( 0 , 335882 )
3600.06/3610.60 c gcd simplifications 0
3600.06/3610.60 c detected cardinalities 0
3600.06/3610.60 c weakened non-implied lits 0
3600.06/3610.60 c weakened non-implying lits 0
3600.06/3610.60 c original variables 80211
3600.06/3610.60 c clausal propagations 1511645
3600.06/3610.60 c cardinality propagations 0
3600.06/3610.60 c watched propagations 0
3600.06/3610.60 c counting propagations 13766
3600.06/3610.60 c watch lookups 2354145
3600.06/3610.60 c watch backjump lookups 0
3600.06/3610.60 c watch checks 1432169
3600.06/3610.60 c propagation checks 1539545
3600.06/3610.60 c constraint additions 124321
3600.06/3610.60 c trail pops 6692047
3600.06/3610.60 c formula constraints 279336
3600.06/3610.60 c learned constraints 598
3600.06/3610.60 c bound constraints 0
3600.06/3610.60 c core-guided constraints 0
3600.06/3610.60 c encountered formula constraints 13745
3600.06/3610.60 c encountered learned constraints 370
3600.06/3610.60 c encountered bound constraints 0
3600.06/3610.60 c encountered core-guided constraints 0
3600.06/3610.60 c LP total time 0.91313 s
3600.06/3610.60 c LP solve time 0.8 s
3600.06/3610.60 c LP constraints added 279336
3600.06/3610.60 c LP constraints removed 0
3600.06/3610.60 c LP pivots internal 2000
3600.06/3610.60 c LP pivots root 1000
3600.06/3610.60 c LP calls 2
3600.06/3610.60 c LP optimalities 0
3600.06/3610.60 c LP no pivot count 0
3600.06/3610.60 c LP infeasibilities 0
3600.06/3610.60 c LP valid Farkas constraints 0
3600.06/3610.60 c LP learned Farkas constraints 0
3600.06/3610.60 c LP basis resets 0
3600.06/3610.60 c LP cycling count 0
3600.06/3610.60 c LP singular count 0
3600.06/3610.60 c LP no primal count 0
3600.06/3610.60 c LP no farkas count 0
3600.06/3610.60 c LP other issue count 0
3600.06/3610.60 c LP Gomory cuts 0
3600.06/3610.60 c LP learned cuts 0
3600.06/3610.60 c LP deleted cuts 0
3600.06/3610.60 c LP encountered Gomory constraints 0
3600.06/3610.60 c LP encountered Farkas constraints 0
3600.06/3610.60 c LP encountered learned Farkas constraints 0
3600.06/3610.60 c CG auxiliary variables introduced 138
3600.06/3610.60 c CG solutions found 0
3600.06/3610.60 c CG cores constructed 217
3600.06/3610.60 c CG core cardinality constraints returned 0
3600.06/3610.60 c CG unit cores 0
3600.06/3610.60 c CG single cores 0
3600.06/3610.60 c CG blocks removed during cardinality reduction 0
3600.06/3610.60 c CG first core best 0
3600.06/3610.60 c CG decision core best 0
3600.06/3610.60 c CG core reduction tie 0
3600.06/3610.60 c CG core degree average 0.00
3600.06/3610.60 c CG core slack average 0.00
3600.06/3610.60 c CG core upper bound improvements 0
3600.06/3610.60 c STR number of successful calls 0
3600.06/3610.60 c STR number of unsuccessful calls 0
3600.06/3610.60 c STR number of inconclusive calls 0
3600.06/3610.60 c STR number of successful attempts 0
3600.06/3610.60 c STR number of unsuccessful attempts 0
3600.06/3610.60 c STR number of inconclusive attempts 0
3600.06/3610.60 c STR average degree increase per successful call inf
3600.06/3610.60 c STR average degree increase per successful attempt inf
3600.06/3610.60 c STR total number of conflicts for successful attempts 0
3600.06/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.60 c STR average number of conflicts per successful attempt inf
3600.06/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.60 c AVG.sumWPerc 99.76
3600.06/3610.60 c bigint constraints 0
3600.06/3610.60 s UNKNOWN
3600.06/3610.60 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: 63665 MiB (47481 MiB free)
memory of node 1: 64507 MiB (55612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506550-1751506465/watcher-4506550-1751506465 -o /tmp/evaluation-result-4506550-1751506465/solver-4506550-1751506465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4506550-1751506465.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=71483, runsolver pid=71480
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105568652/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=72952 memory=28152 CPUtime=0.09 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 3672 0 0 0 6 3 0 0 20 0 1 0 66324222 74702848 7038 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 18238 7038 1920 1147 0 5665 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77144 KiB
Current children cumulated memory: 31224 KiB
[startup+0.205541 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105568652/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=74080 memory=29176 CPUtime=0.19 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 3931 0 0 0 15 4 0 0 20 0 1 0 66324222 75857920 7294 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 18520 7294 1920 1147 0 5947 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78272 KiB
Current children cumulated memory: 32248 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105568652/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=75976 memory=32676 CPUtime=0.29 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 4306 0 0 0 23 6 0 0 20 0 1 0 66324222 77799424 8169 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 18994 8169 1920 1147 0 6421 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80168 KiB
Current children cumulated memory: 35748 KiB
[startup+0.700203 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105565124/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=84248 memory=40740 CPUtime=0.68 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 6556 0 0 0 56 12 0 0 20 0 1 0 66324222 86269952 10185 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 21062 10185 1920 1147 0 8489 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 43812 KiB
[startup+1.50022 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105551544/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=265376 memory=215476 CPUtime=1.48 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 17095 0 0 0 122 26 0 0 20 0 1 0 66324222 271745024 53869 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 66344 53869 2240 1147 0 53771 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 269568 KiB
Current children cumulated memory: 218548 KiB
[startup+3.10542 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 71485
/proc/meminfo: memFree=105232440/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=553200 memory=369544 CPUtime=3.08 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 40195 0 0 0 244 64 0 0 20 0 1 0 66324222 566476800 92386 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 138300 92386 2368 1147 0 125727 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 557392 KiB
Current children cumulated memory: 372616 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 71485
/proc/meminfo: memFree=105212720/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=611728 memory=422324 CPUtime=6.26 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 50119 0 0 0 383 243 0 0 20 0 1 0 66324222 626409472 105581 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 152932 105581 2368 1147 0 140359 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 615920 KiB
Current children cumulated memory: 425396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 71485
/proc/meminfo: memFree=105007316/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=826120 memory=640696 CPUtime=12.65 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 85806 0 0 0 734 531 0 0 20 0 1 0 66324222 845946880 160174 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 206530 160174 2368 1147 0 193957 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 830312 KiB
Current children cumulated memory: 643768 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 71486
/proc/meminfo: memFree=104415304/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=1492676 memory=1174180 CPUtime=25.41 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 191091 0 0 0 1593 948 0 0 20 0 1 0 66324222 1528500224 293545 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 373169 293545 2368 1147 0 360596 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1496868 KiB
Current children cumulated memory: 1177252 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 71486
/proc/meminfo: memFree=104152036/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=1633448 memory=1298680 CPUtime=50.94 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 208953 0 0 0 3904 1190 0 0 20 0 1 0 66324222 1672650752 324670 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 408362 324670 2368 1147 0 395789 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1637640 KiB
Current children cumulated memory: 1301752 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 71488
/proc/meminfo: memFree=103539672/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=2285436 memory=1753032 CPUtime=101.98 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 307703 0 0 0 8976 1222 0 0 20 0 1 0 66324222 2340286464 438258 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 571359 438258 2368 1147 0 558786 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2289628 KiB
Current children cumulated memory: 1756104 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 71490
/proc/meminfo: memFree=103144376/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=2505980 memory=1882096 CPUtime=161.8 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 325216 0 0 0 14936 1244 0 0 20 0 1 0 66324222 2566123520 470524 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 626495 470524 2368 1147 0 613922 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2510172 KiB
Current children cumulated memory: 1885168 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 71494
/proc/meminfo: memFree=102708196/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=2510588 memory=2041684 CPUtime=221.61 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 346752 0 0 0 20897 1264 0 0 20 0 1 0 66324222 2570842112 510421 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 627647 510421 2368 1147 0 615074 0
################
# More data... #
################
/proc/71485/statm: 2092683 1566518 2368 1147 0 2080110 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6269144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/267 71830
/proc/meminfo: memFree=107574112/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6266072 CPUtime=3093.17 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1143329 0 0 0 306387 2930 0 0 20 0 1 0 66324222 8571629568 1566518 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1566518 2368 1147 0 2080110 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6269144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 71833
/proc/meminfo: memFree=107547612/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6266072 CPUtime=3153 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1143533 0 0 0 312353 2947 0 0 20 0 1 0 66324222 8571629568 1566518 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1566518 2368 1147 0 2080110 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6269144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.39 4.22 4.14 5/269 71836
/proc/meminfo: memFree=107556344/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6266072 CPUtime=3212.84 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1144850 0 0 0 318306 2978 0 0 20 0 1 0 66324222 8571629568 1566518 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1566518 2368 1147 0 2080110 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6269144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.21 4.14 5/269 71841
/proc/meminfo: memFree=107400624/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6269912 CPUtime=3272.67 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1145038 0 0 0 324245 3022 0 0 20 0 1 0 66324222 8571629568 1567478 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1567478 2368 1147 0 2080110 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6272984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/269 71843
/proc/meminfo: memFree=106992808/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6537772 CPUtime=3332.51 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1178041 0 0 0 330185 3066 0 0 20 0 1 0 66324222 8571629568 1634443 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1634443 2368 1147 0 2080110 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6540844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/269 71845
/proc/meminfo: memFree=106854196/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6570924 CPUtime=3392.34 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1178246 0 0 0 336143 3091 0 0 20 0 1 0 66324222 8571629568 1642731 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1642731 2368 1147 0 2080110 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6573996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/268 71847
/proc/meminfo: memFree=106817140/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6598572 CPUtime=3452.17 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1178557 0 0 0 342097 3120 0 0 20 0 1 0 66324222 8571629568 1649643 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1649643 2368 1147 0 2080110 0
Current children cumulated CPU time: 3452.17 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6601644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/268 71853
/proc/meminfo: memFree=106735128/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6631852 CPUtime=3512.01 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1178876 0 0 0 348043 3158 0 0 20 0 1 0 66324222 8571629568 1657963 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1657963 2368 1147 0 2080110 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6634924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/268 71855
/proc/meminfo: memFree=106691232/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6664876 CPUtime=3571.84 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1179169 0 0 0 354004 3180 0 0 20 0 1 0 66324222 8571629568 1666219 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1666219 2368 1147 0 2080110 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6667948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.14 4.11 5/268 71857
/proc/meminfo: memFree=106659540/131249996 swapFree=33010160/33010684
[pid=71483] ppid=71480 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71483/stat : 71483 (run-opt.sh) S 71480 71483 70763 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66324221 4292608 768 18446744073709551615 94470612705280 94470613599813 140730266913488 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94470613838864 94470613886608 94470615654400 140730266917229 140730266917352 140730266917352 140730266922954 0
/proc/71483/statm: 1048 768 704 219 0 110 0
[pid=71485] ppid=71483 vsize=8370732 memory=6681644 CPUtime=3600.06 cores=5,7
/proc/71485/stat : 71485 (roundingsat) R 71483 71483 70763 0 -1 4194304 1179245 0 0 0 356812 3194 0 0 20 0 1 0 66324222 8571629568 1670411 18446744073709551615 4227072 8923433 140735941217840 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 23261184 140735941224866 140735941225000 140735941225000 140735941230570 0
/proc/71485/statm: 2092683 1670411 2368 1147 0 2080110 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 8374924 KiB
Current children cumulated memory: 6684716 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 71483 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.002413 s
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 71485 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3568.14 s, system=32.0414 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.7
CPU time (s): 3600.18
CPU user time (s): 3568.14
CPU system time (s): 32.0414
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 8374924
Max. memory (cumulated for all children) (KiB): 6684716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.14
system time used= 32.0414
maximum resident set size= 6682028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1179520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 553
involuntary context switches= 19060
# summary of solver processes directly reported to runsolver:
# pid: 71483,71485
# total CPU time (s): 3600.18
# total CPU user time (s): 3568.14
# total CPU system time (s): 32.0414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36853 second user time and 16.2628 second system time
The end
Begin job on nodeC021 at 2025-07-03 03:34:25
IDJOB=4506550
IDBENCH=158225
IDSOLVER=3350
FILE ID=nodeC021/4506550-1751506465
RUNJOBID= nodeC021-1751500681-70776
SLURM_JOB_ID= 9598584
Free space on /tmp= 430620 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped3.G.recomb10-0.01-3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506550-1751506465/watcher-4506550-1751506465 -o /tmp/evaluation-result-4506550-1751506465/solver-4506550-1751506465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751500681-70776 --watchdog 3760 run-opt.sh HOME/instance-4506550-1751506465.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f70baaa733a2b1f4b72e17201e681e78
RANDOM SEED=969669528
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.545
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.856
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.782
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.743
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.419
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 105568412 kB
MemAvailable: 109713672 kB
Buffers: 2128 kB
Cached: 4883424 kB
SwapCached: 20 kB
Active: 20373444 kB
Inactive: 4404688 kB
Active(anon): 19899696 kB
Inactive(anon): 10924 kB
Active(file): 473748 kB
Inactive(file): 4393764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27708 kB
Writeback: 8 kB
AnonPages: 19895008 kB
Mapped: 115356 kB
Shmem: 18040 kB
KReclaimable: 233576 kB
Slab: 325552 kB
SReclaimable: 233576 kB
SUnreclaim: 91976 kB
KernelStack: 4320 kB
PageTables: 45704 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 23508868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3303424 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430872 MiB
End job on nodeC021 at 2025-07-03 04:34:36