0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 3300 #constraints 2573
0.00/0.02 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= -1407 @ 0.012058
0.00/0.04 c GLOBAL bounds - >= -1407 @ 0.017384
0.00/0.04 c GLOBAL bounds - >= -1407 @ 0.017937
0.00/0.04 c GLOBAL bounds - >= -1407 @ 0.018668
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.020369
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.021367
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.023358
0.00/0.05 c GLOBAL bounds - >= -1407 @ 0.025282
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.02635
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.028345
0.00/0.06 c GLOBAL bounds - >= -1407 @ 0.029773
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.032461
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.034323
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.037228
0.00/0.07 c GLOBAL bounds - >= -1407 @ 0.038265
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.039325
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.040321
0.00/0.08 c GLOBAL bounds - >= -1407 @ 0.043235
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.044225
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.045311
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.047307
0.00/0.09 c GLOBAL bounds - >= -1407 @ 0.048305
0.09/0.10 c GLOBAL bounds - >= -1407 @ 0.050306
0.09/0.10 c GLOBAL bounds - >= -1407 @ 0.051384
0.09/0.11 c GLOBAL bounds - >= -1407 @ 0.053506
0.09/0.11 c GLOBAL bounds - >= -1407 @ 0.055601
0.09/0.11 c GLOBAL bounds - >= -1407 @ 0.056883
0.09/0.12 c GLOBAL bounds - >= -1407 @ 0.059361
0.09/0.12 c GLOBAL bounds - >= -1407 @ 0.061358
0.09/0.12 c GLOBAL bounds - >= -1407 @ 0.063747
0.09/0.13 c GLOBAL bounds - >= -1407 @ 0.066918
0.09/0.13 c GLOBAL bounds - >= -1407 @ 0.069279
0.09/0.13 c GLOBAL bounds - >= -1407 @ 0.071867
0.09/0.14 c GLOBAL bounds - >= -1407 @ 0.074825
0.09/0.14 c GLOBAL bounds - >= -1407 @ 0.07733
0.09/0.14 c GLOBAL bounds - >= -1407 @ 0.080437
0.09/0.15 c GLOBAL bounds - >= -1407 @ 0.08189
0.09/0.15 c GLOBAL bounds - >= -1407 @ 0.084315
0.09/0.15 c GLOBAL bounds - >= -1407 @ 0.086545
0.09/0.16 c GLOBAL bounds - >= -1407 @ 0.088311
0.09/0.16 c GLOBAL bounds - >= -1407 @ 0.089545
0.09/0.16 c GLOBAL bounds - >= -1407 @ 0.091795
0.09/0.17 c GLOBAL bounds - >= -1407 @ 0.093299
0.09/0.17 c GLOBAL bounds - >= -1407 @ 0.096754
0.09/0.18 c GLOBAL bounds - >= -1407 @ 0.100262
0.09/0.18 c GLOBAL bounds - >= -1407 @ 0.101772
0.09/0.18 c GLOBAL bounds - >= -1407 @ 0.104343
0.09/0.19 c GLOBAL bounds - >= -1407 @ 0.106274
0.09/0.19 c GLOBAL bounds - >= -1407 @ 0.108606
0.09/0.19 c GLOBAL bounds - >= -1407 @ 0.111152
0.09/0.20 c GLOBAL bounds - >= -1407 @ 0.114803
0.09/0.20 c GLOBAL bounds - >= -1407 @ 0.117491
0.09/0.20 c GLOBAL bounds - >= -1407 @ 0.119253
0.19/0.21 c GLOBAL bounds - >= -1407 @ 0.120837
0.19/0.21 c GLOBAL bounds - >= -1407 @ 0.123554
0.19/0.22 c GLOBAL bounds - >= -1407 @ 0.126464
0.19/0.22 c GLOBAL bounds - >= -1407 @ 0.127225
0.19/0.22 c GLOBAL bounds - >= -1407 @ 0.129782
0.19/0.23 c GLOBAL bounds - >= -1407 @ 0.132582
0.19/0.23 c GLOBAL bounds - >= -1407 @ 0.135209
0.19/0.24 c GLOBAL bounds - >= -1407 @ 0.138917
0.19/0.24 c GLOBAL bounds - >= -1407 @ 0.141065
0.19/0.24 c GLOBAL bounds - >= -1407 @ 0.142191
0.19/0.25 c GLOBAL bounds - >= -1407 @ 0.143533
0.19/0.25 c GLOBAL bounds - >= -1407 @ 0.146374
0.19/0.26 c GLOBAL bounds - >= -1407 @ 0.148417
0.19/0.26 c GLOBAL bounds - >= -1407 @ 0.151404
0.19/0.26 c GLOBAL bounds - >= -1407 @ 0.153294
0.19/0.27 c GLOBAL bounds - >= -1407 @ 0.163093
0.19/0.29 c GLOBAL bounds - >= -1407 @ 0.172392
0.19/0.30 c GLOBAL bounds - >= -1407 @ 0.18283
0.29/0.31 c GLOBAL bounds - >= -1407 @ 0.191051
0.29/0.32 c GLOBAL bounds - >= -1407 @ 0.199025
0.29/0.33 c GLOBAL bounds - >= -1407 @ 0.207593
0.29/0.34 c GLOBAL bounds - >= -1407 @ 0.220759
0.29/0.36 c GLOBAL bounds - >= -1407 @ 0.230018
0.29/0.37 c GLOBAL bounds - >= -1407 @ 0.238968
0.29/0.37 c GLOBAL bounds - >= -1407 @ 0.2457
0.29/0.38 c GLOBAL bounds - >= -1407 @ 0.253715
0.29/0.39 c GLOBAL bounds - >= -1407 @ 0.26059
0.29/0.40 c GLOBAL bounds - >= -1407 @ 0.269543
0.39/0.41 c GLOBAL bounds - >= -1407 @ 0.277427
0.39/0.42 c GLOBAL bounds - >= -1407 @ 0.28635
0.39/0.43 c GLOBAL bounds - >= -1407 @ 0.291566
0.39/0.44 c GLOBAL bounds - >= -1407 @ 0.29983
0.39/0.44 c GLOBAL bounds - >= -1407 @ 0.305693
0.39/0.45 c GLOBAL bounds - >= -1407 @ 0.311575
0.39/0.46 c GLOBAL bounds - >= -1407 @ 0.316583
0.39/0.46 c GLOBAL bounds - >= -1407 @ 0.321426
0.39/0.47 c GLOBAL bounds - >= -1407 @ 0.326349
0.39/0.48 c GLOBAL bounds - >= -1407 @ 0.331989
0.39/0.49 c GLOBAL bounds - >= -1407 @ 0.338596
0.39/0.49 c GLOBAL bounds - >= -1407 @ 0.34234
0.39/0.50 c GLOBAL bounds - >= -1407 @ 0.348898
0.39/0.51 c GLOBAL bounds - >= -1407 @ 0.352681
0.49/0.51 c GLOBAL bounds - >= -1407 @ 0.357464
0.49/0.52 c GLOBAL bounds - >= -1407 @ 0.364113
0.49/0.53 c GLOBAL bounds - >= -1407 @ 0.369971
0.49/0.53 c GLOBAL bounds - >= -1407 @ 0.375577
0.49/0.54 c GLOBAL bounds - >= -1407 @ 0.380407
0.49/0.55 c GLOBAL bounds - >= -1407 @ 0.387056
0.49/0.55 c GLOBAL bounds - >= -1407 @ 0.390857
0.49/0.56 c GLOBAL bounds - >= -1407 @ 0.397665
0.49/0.57 c GLOBAL bounds - >= -1407 @ 0.404444
0.49/0.57 c GLOBAL bounds - >= -1407 @ 0.411235
0.49/0.58 c GLOBAL bounds - >= -1407 @ 0.416414
0.49/0.59 c GLOBAL bounds - >= -1407 @ 0.422323
0.49/0.59 c GLOBAL bounds - >= -1407 @ 0.426245
0.49/0.60 c GLOBAL bounds - >= -1407 @ 0.43299
0.58/0.61 c GLOBAL bounds - >= -1407 @ 0.43896
0.58/0.61 c GLOBAL bounds - >= -1407 @ 0.444053
0.58/0.62 c GLOBAL bounds - >= -1407 @ 0.45002
0.58/0.63 c GLOBAL bounds - >= -1407 @ 0.457558
0.58/0.64 c GLOBAL bounds - >= -1407 @ 0.463316
0.58/0.65 c GLOBAL bounds - >= -1407 @ 0.471865
0.58/0.66 c GLOBAL bounds - >= -1407 @ 0.478774
0.58/0.67 c GLOBAL bounds - >= -1407 @ 0.486068
0.58/0.68 c GLOBAL bounds - >= -1407 @ 0.494006
0.58/0.69 c GLOBAL bounds - >= -1407 @ 0.500774
0.67/0.70 c GLOBAL bounds - >= -1407 @ 0.508193
0.67/0.71 c GLOBAL bounds - >= -1407 @ 0.517591
0.67/0.73 c GLOBAL bounds - >= -1407 @ 0.541335
0.67/0.76 c GLOBAL bounds - >= -1407 @ 0.573011
0.78/0.80 c GLOBAL bounds - >= -1407 @ 0.602226
0.78/0.84 c GLOBAL bounds - >= -1407 @ 0.646246
0.78/0.88 c GLOBAL bounds - >= -1407 @ 0.67988
0.87/0.93 c GLOBAL bounds - >= -1407 @ 0.730433
0.87/0.97 c GLOBAL bounds - >= -1407 @ 0.765103
0.98/1.04 c GLOBAL bounds - >= -1407 @ 0.825085
0.98/1.09 c GLOBAL bounds - >= -1407 @ 0.873334
1.08/1.14 c GLOBAL bounds - >= -1407 @ 0.918743
1.08/1.19 c GLOBAL bounds - >= -1407 @ 0.968112
1.17/1.26 c GLOBAL bounds - >= -1407 @ 1.04021
1.28/1.32 c GLOBAL bounds - >= -1407 @ 1.09564
1.28/1.40 c GLOBAL bounds - >= -1407 @ 1.16379
1.37/1.47 c GLOBAL bounds - >= -1407 @ 1.23257
1.47/1.53 c #Conflicts: 1000 | #Constraints: 3357
1.47/1.53 c GLOBAL bounds - >= -1407 @ 1.29207
1.57/1.60 c GLOBAL bounds - >= -1407 @ 1.34553
1.57/1.66 c GLOBAL bounds - >= -1407 @ 1.40124
1.68/1.75 c GLOBAL bounds - >= -1407 @ 1.48991
1.77/1.81 c GLOBAL bounds - >= -1407 @ 1.55232
1.77/1.87 c GLOBAL bounds - >= -1407 @ 1.61159
3.98/4.08 c #Conflicts: 2000 | #Constraints: 4369
3.98/4.08 c INPROCESSING
3.98/4.08 c GARBAGE COLLECT
3.98/4.08 c #Conflicts: 3000 | #Constraints: 4404
3.98/4.08 c GLOBAL bounds - >= -1407 @ 3.74659
5.97/6.07 c #Conflicts: 4000 | #Constraints: 5406
5.97/6.07 c INPROCESSING
5.97/6.07 c GARBAGE COLLECT
5.97/6.07 c #Conflicts: 5000 | #Constraints: 4817
5.97/6.07 c GLOBAL bounds - >= -1407 @ 5.69416
7.26/7.33 c #Conflicts: 6000 | #Constraints: 5819
7.26/7.33 c INPROCESSING
7.26/7.33 c GARBAGE COLLECT
7.26/7.33 c #Conflicts: 7000 | #Constraints: 4825
7.26/7.33 c GLOBAL bounds - >= -1407 @ 6.92399
8.25/8.36 c #Conflicts: 8000 | #Constraints: 5827
8.25/8.36 c GLOBAL bounds - >= -1407 @ 7.93284
11.44/11.55 c #Conflicts: 9000 | #Constraints: 6829
11.44/11.55 c INPROCESSING
11.44/11.55 c GARBAGE COLLECT
11.44/11.55 c #Conflicts: 10000 | #Constraints: 5532
11.44/11.55 c GLOBAL bounds - >= -1407 @ 11.034
11.64/11.76 c GLOBAL bounds - >= -1407 @ 11.2423
11.95/12.05 c GLOBAL bounds - >= -1407 @ 11.5288
12.15/12.26 c GLOBAL bounds - >= -1407 @ 11.7327
12.34/12.45 c #Conflicts: 11000 | #Constraints: 6540
12.34/12.45 c GLOBAL bounds - >= -1407 @ 11.9186
13.35/13.40 c GLOBAL bounds - >= -1407 @ 12.8578
13.74/13.89 c GLOBAL bounds - >= -1407 @ 13.3334
14.34/14.45 c #Conflicts: 12000 | #Constraints: 7546
14.34/14.45 c INPROCESSING
14.34/14.45 c GARBAGE COLLECT
14.34/14.45 c GLOBAL bounds - >= -1407 @ 13.8895
14.54/14.67 c GLOBAL bounds - >= -1407 @ 14.1004
14.73/14.87 c GLOBAL bounds - >= -1407 @ 14.2985
14.83/15.00 c GLOBAL bounds - >= -1407 @ 14.4253
15.05/15.13 c GLOBAL bounds - >= -1407 @ 14.5534
15.24/15.37 c GLOBAL bounds - >= -1407 @ 14.7957
15.43/15.52 c GLOBAL bounds - >= -1407 @ 14.9433
15.53/15.69 c GLOBAL bounds - >= -1407 @ 15.111
15.84/15.98 c #Conflicts: 13000 | #Constraints: 6018
15.84/15.98 c GLOBAL bounds - >= -1407 @ 15.3878
16.13/16.25 c GLOBAL bounds - >= -1407 @ 15.6575
16.44/16.52 c GLOBAL bounds - >= -1407 @ 15.9222
16.63/16.70 c GLOBAL bounds - >= -1407 @ 16.0956
16.83/16.96 c GLOBAL bounds - >= -1407 @ 16.3506
17.13/17.23 c GLOBAL bounds - >= -1407 @ 16.6155
17.43/17.51 c GLOBAL bounds - >= -1407 @ 16.884
17.63/17.70 c GLOBAL bounds - >= -1407 @ 17.0733
17.94/18.00 c #Conflicts: 14000 | #Constraints: 7034
17.94/18.00 c GLOBAL bounds - >= -1407 @ 17.3725
18.13/18.20 c GLOBAL bounds - >= -1407 @ 17.5661
18.23/18.39 c GLOBAL bounds - >= -1407 @ 17.7553
18.42/18.59 c GLOBAL bounds - >= -1407 @ 17.9513
18.83/18.91 c GLOBAL bounds - >= -1407 @ 18.2612
19.03/19.11 c GLOBAL bounds - >= -1407 @ 18.4584
19.23/19.31 c GLOBAL bounds - >= -1407 @ 18.6611
19.43/19.54 c GLOBAL bounds - >= -1407 @ 18.881
19.93/20.07 c #Conflicts: 15000 | #Constraints: 8050
19.93/20.07 c INPROCESSING
19.93/20.07 c GARBAGE COLLECT
19.93/20.07 c GLOBAL bounds - >= -1407 @ 19.4051
20.12/20.21 c GLOBAL bounds - >= -1407 @ 19.5437
20.22/20.37 c GLOBAL bounds - >= -1407 @ 19.7023
20.73/20.81 c GLOBAL bounds - >= -1407 @ 20.1323
20.82/20.99 c GLOBAL bounds - >= -1407 @ 20.308
21.02/21.18 c GLOBAL bounds - >= -1407 @ 20.4943
21.22/21.35 c GLOBAL bounds - >= -1407 @ 20.6645
21.42/21.52 c #Conflicts: 16000 | #Constraints: 6305
21.42/21.52 c GLOBAL bounds - >= -1407 @ 20.8356
21.62/21.70 c GLOBAL bounds - >= -1407 @ 21.0108
21.82/21.96 c GLOBAL bounds - >= -1407 @ 21.2699
22.12/22.20 c GLOBAL bounds - >= -1407 @ 21.5063
22.32/22.42 c GLOBAL bounds - >= -1407 @ 21.7236
22.51/22.64 c GLOBAL bounds - >= -1407 @ 21.939
22.82/22.96 c #Conflicts: 17000 | #Constraints: 7317
22.82/22.96 c GLOBAL bounds - >= -1407 @ 22.2606
23.02/23.17 c GLOBAL bounds - >= -1407 @ 22.4694
23.31/23.40 c GLOBAL bounds - >= -1407 @ 22.6868
23.52/23.62 c GLOBAL bounds - >= -1407 @ 22.9025
23.72/23.82 c GLOBAL bounds - >= -1407 @ 23.1071
23.92/24.03 c GLOBAL bounds - >= -1407 @ 23.3162
24.11/24.26 c GLOBAL bounds - >= -1407 @ 23.5318
24.32/24.49 c #Conflicts: 18000 | #Constraints: 8331
24.32/24.49 c GLOBAL bounds - >= -1407 @ 23.7641
24.61/24.73 c GLOBAL bounds - >= -1407 @ 24.0003
25.61/25.73 c INPROCESSING
25.61/25.73 c GARBAGE COLLECT
25.61/25.73 c GLOBAL bounds - >= -1407 @ 24.9874
26.01/26.15 c #Conflicts: 19000 | #Constraints: 6333
26.01/26.15 c GLOBAL bounds - >= -1407 @ 25.3992
26.30/26.45 c GLOBAL bounds - >= -1407 @ 25.6958
28.60/28.78 c #Conflicts: 20000 | #Constraints: 7337
28.60/28.78 c #Conflicts: 21000 | #Constraints: 8337
28.60/28.78 c GLOBAL bounds - >= -1407 @ 27.9906
30.20/30.33 c INPROCESSING
30.20/30.33 c GARBAGE COLLECT
30.20/30.33 c #Conflicts: 22000 | #Constraints: 6127
30.20/30.33 c GLOBAL bounds - >= -1407 @ 29.5304
30.69/30.85 c #Conflicts: 23000 | #Constraints: 7129
30.69/30.85 c GLOBAL bounds - >= -1407 @ 30.0262
30.99/31.10 c GLOBAL bounds - >= -1407 @ 30.2652
31.18/31.30 c GLOBAL bounds - >= -1407 @ 30.4512
32.48/32.63 c #Conflicts: 24000 | #Constraints: 8135
32.48/32.63 c GLOBAL bounds - >= -1407 @ 31.758
32.77/32.97 c GLOBAL bounds - >= -1407 @ 32.0953
32.98/33.19 c GLOBAL bounds - >= -1407 @ 32.3052
33.37/33.53 c GLOBAL bounds - >= -1407 @ 32.6434
33.58/33.73 c GLOBAL bounds - >= -1407 @ 32.85
33.78/33.98 c #Conflicts: 25000 | #Constraints: 9145
33.78/33.98 c GLOBAL bounds - >= -1407 @ 33.0914
34.17/34.34 c GLOBAL bounds - >= -1407 @ 33.4404
34.77/34.94 c INPROCESSING
34.77/34.94 c GARBAGE COLLECT
34.77/34.94 c GLOBAL bounds - >= -1407 @ 34.0384
35.07/35.20 c GLOBAL bounds - >= -1407 @ 34.2831
35.36/35.52 c GLOBAL bounds - >= -1407 @ 34.5987
35.57/35.77 c GLOBAL bounds - >= -1407 @ 34.8453
36.06/36.22 c #Conflicts: 26000 | #Constraints: 6744
36.06/36.22 c GLOBAL bounds - >= -1407 @ 35.289
36.37/36.50 c GLOBAL bounds - >= -1407 @ 35.5697
37.16/37.38 c #Conflicts: 27000 | #Constraints: 7748
37.16/37.38 c GLOBAL bounds - >= -1407 @ 36.4433
37.76/38.00 c GLOBAL bounds - >= -1407 @ 37.0523
38.06/38.26 c #Conflicts: 28000 | #Constraints: 8752
38.06/38.26 c GLOBAL bounds - >= -1407 @ 37.3063
38.36/38.50 c GLOBAL bounds - >= -1407 @ 37.5456
38.66/38.82 c GLOBAL bounds - >= -1407 @ 37.8525
38.86/39.06 c GLOBAL bounds - >= -1407 @ 38.0979
39.16/39.35 c GLOBAL bounds - >= -1407 @ 38.3782
39.86/40.01 c #Conflicts: 29000 | #Constraints: 9762
39.86/40.01 c INPROCESSING
39.86/40.01 c GARBAGE COLLECT
39.86/40.01 c GLOBAL bounds - >= -1407 @ 39.0253
40.06/40.28 c GLOBAL bounds - >= -1407 @ 39.2944
40.35/40.54 c GLOBAL bounds - >= -1407 @ 39.5524
40.55/40.72 c GLOBAL bounds - >= -1407 @ 39.7287
40.76/40.99 c GLOBAL bounds - >= -1407 @ 39.9917
41.25/41.47 c #Conflicts: 30000 | #Constraints: 7186
41.25/41.47 c GLOBAL bounds - >= -1407 @ 40.4656
42.75/42.96 c #Conflicts: 31000 | #Constraints: 8188
42.75/42.96 c GLOBAL bounds - >= -1407 @ 41.9205
46.64/46.89 c #Conflicts: 32000 | #Constraints: 9190
46.64/46.89 c #Conflicts: 33000 | #Constraints: 10190
46.64/46.89 c INPROCESSING
46.64/46.89 c GARBAGE COLLECT
46.64/46.89 c #Conflicts: 34000 | #Constraints: 7465
46.64/46.89 c GLOBAL bounds - >= -1407 @ 45.7835
47.03/47.26 c #Conflicts: 35000 | #Constraints: 8467
47.03/47.26 c GLOBAL bounds - >= -1407 @ 46.1486
47.34/47.51 c GLOBAL bounds - >= -1407 @ 46.398
47.63/47.88 c GLOBAL bounds - >= -1407 @ 46.7622
48.04/48.20 c GLOBAL bounds - >= -1407 @ 47.0801
48.84/49.03 c #Conflicts: 36000 | #Constraints: 9475
48.84/49.03 c GLOBAL bounds - >= -1407 @ 47.8896
52.72/52.97 c #Conflicts: 37000 | #Constraints: 10477
52.72/52.97 c INPROCESSING
52.72/52.97 c GARBAGE COLLECT
52.72/52.97 c #Conflicts: 38000 | #Constraints: 7513
52.72/52.97 c #Conflicts: 39000 | #Constraints: 8513
52.72/52.97 c #Conflicts: 40000 | #Constraints: 9513
52.72/52.97 c GLOBAL bounds - >= -1407 @ 51.7876
53.02/53.27 c GLOBAL bounds - >= -1407 @ 52.0879
53.42/53.62 c #Conflicts: 41000 | #Constraints: 10517
53.42/53.62 c GLOBAL bounds - >= -1407 @ 52.4338
54.42/54.65 c INPROCESSING
54.42/54.65 c GARBAGE COLLECT
54.42/54.65 c GLOBAL bounds - >= -1407 @ 53.4471
54.71/54.91 c #Conflicts: 42000 | #Constraints: 7341
54.71/54.91 c GLOBAL bounds - >= -1407 @ 53.7022
54.83/55.01 c GLOBAL bounds - >= -1407 @ 53.7996
55.02/55.20 c GLOBAL bounds - >= -1407 @ 53.9874
55.82/56.06 c #Conflicts: 43000 | #Constraints: 8347
55.82/56.06 c GLOBAL bounds - >= -1407 @ 54.8298
56.11/56.30 c GLOBAL bounds - >= -1407 @ 55.0701
56.41/56.63 c GLOBAL bounds - >= -1407 @ 55.3952
56.61/56.85 c GLOBAL bounds - >= -1407 @ 55.6029
56.92/57.17 c #Conflicts: 44000 | #Constraints: 9355
56.92/57.17 c GLOBAL bounds - >= -1407 @ 55.9261
57.22/57.40 c GLOBAL bounds - >= -1407 @ 56.1458
57.51/57.73 c GLOBAL bounds - >= -1407 @ 56.4713
58.41/58.67 c #Conflicts: 45000 | #Constraints: 10361
58.41/58.67 c GLOBAL bounds - >= -1407 @ 57.3894
58.92/59.14 c #Conflicts: 46000 | #Constraints: 11363
58.92/59.14 c GLOBAL bounds - >= -1407 @ 57.8111
64.69/64.98 c INPROCESSING
64.69/64.98 c GARBAGE COLLECT
64.69/64.98 c #Conflicts: 47000 | #Constraints: 7973
64.69/64.98 c #Conflicts: 48000 | #Constraints: 8973
64.69/64.98 c #Conflicts: 49000 | #Constraints: 9973
64.69/64.98 c #Conflicts: 50000 | #Constraints: 10973
64.69/64.98 c #Conflicts: 51000 | #Constraints: 11973
64.69/64.98 c INPROCESSING
64.69/64.98 c GARBAGE COLLECT
64.69/64.98 c GLOBAL bounds - >= -1407 @ 63.5585
65.09/65.35 c GLOBAL bounds - >= -1407 @ 63.9193
65.19/65.44 c GLOBAL bounds - >= -1407 @ 64.0151
67.48/67.71 c #Conflicts: 52000 | #Constraints: 8395
67.48/67.71 c #Conflicts: 53000 | #Constraints: 9395
67.48/67.71 c GLOBAL bounds - >= -1407 @ 66.2454
68.89/69.14 c #Conflicts: 54000 | #Constraints: 10397
68.89/69.14 c GLOBAL bounds - >= -1407 @ 67.6635
69.28/69.55 c GLOBAL bounds - >= -1407 @ 68.0677
69.68/69.98 c GLOBAL bounds - >= -1407 @ 68.4879
69.98/70.27 c #Conflicts: 55000 | #Constraints: 11403
69.98/70.27 c GLOBAL bounds - >= -1407 @ 68.7762
70.27/70.57 c GLOBAL bounds - >= -1407 @ 69.0727
70.58/70.87 c GLOBAL bounds - >= -1407 @ 69.3691
72.07/72.31 c #Conflicts: 56000 | #Constraints: 12409
72.07/72.31 c INPROCESSING
72.07/72.31 c GARBAGE COLLECT
72.07/72.31 c GLOBAL bounds - >= -1407 @ 70.7944
72.37/72.63 c GLOBAL bounds - >= -1407 @ 71.112
72.97/73.21 c #Conflicts: 57000 | #Constraints: 8577
72.97/73.21 c GLOBAL bounds - >= -1407 @ 71.6693
74.06/74.32 c #Conflicts: 58000 | #Constraints: 9579
74.06/74.32 c GLOBAL bounds - >= -1407 @ 72.7729
74.96/75.20 c GLOBAL bounds - >= -1407 @ 73.6379
75.26/75.59 c GLOBAL bounds - >= -1407 @ 74.0278
75.57/75.85 c GLOBAL bounds - >= -1407 @ 74.2875
75.96/76.27 c #Conflicts: 59000 | #Constraints: 10587
75.96/76.27 c GLOBAL bounds - >= -1407 @ 74.6976
76.26/76.55 c GLOBAL bounds - >= -1407 @ 74.9669
76.56/76.85 c GLOBAL bounds - >= -1407 @ 75.2639
76.76/77.01 c GLOBAL bounds - >= -1407 @ 75.4182
78.46/78.78 c #Conflicts: 60000 | #Constraints: 11595
78.46/78.78 c GLOBAL bounds - >= -1407 @ 77.1734
80.55/80.87 c #Conflicts: 61000 | #Constraints: 12597
80.55/80.87 c INPROCESSING
80.55/80.87 c GARBAGE COLLECT
80.55/80.87 c GLOBAL bounds - >= -1407 @ 79.232
82.05/82.39 c #Conflicts: 62000 | #Constraints: 8605
82.05/82.39 c GLOBAL bounds - >= -1407 @ 80.7388
82.34/82.62 c GLOBAL bounds - >= -1407 @ 80.9604
82.64/82.96 c GLOBAL bounds - >= -1407 @ 81.2917
82.94/83.20 c GLOBAL bounds - >= -1407 @ 81.5275
83.14/83.43 c #Conflicts: 63000 | #Constraints: 9613
83.14/83.43 c GLOBAL bounds - >= -1407 @ 81.7598
83.44/83.70 c GLOBAL bounds - >= -1407 @ 82.0208
83.85/84.16 c GLOBAL bounds - >= -1407 @ 82.4644
84.23/84.50 c GLOBAL bounds - >= -1407 @ 82.8002
85.54/85.87 c #Conflicts: 64000 | #Constraints: 10621
85.54/85.87 c #Conflicts: 65000 | #Constraints: 11621
85.54/85.87 c GLOBAL bounds - >= -1407 @ 84.1542
87.24/87.52 c #Conflicts: 66000 | #Constraints: 12623
87.24/87.52 c INPROCESSING
87.24/87.52 c GARBAGE COLLECT
87.24/87.52 c #Conflicts: 67000 | #Constraints: 8446
87.24/87.52 c GLOBAL bounds - >= -1407 @ 85.7841
88.43/88.70 c #Conflicts: 68000 | #Constraints: 9448
88.43/88.70 c GLOBAL bounds - >= -1407 @ 86.955
89.12/89.43 c #Conflicts: 69000 | #Constraints: 10450
89.12/89.43 c GLOBAL bounds - >= -1407 @ 87.676
89.53/89.88 c GLOBAL bounds - >= -1407 @ 88.1183
90.82/91.15 c #Conflicts: 70000 | #Constraints: 11454
90.82/91.15 c GLOBAL bounds - >= -1407 @ 89.3678
92.73/93.09 c #Conflicts: 71000 | #Constraints: 12456
92.73/93.09 c GLOBAL bounds - >= -1407 @ 91.2797
93.72/94.05 c #Conflicts: 72000 | #Constraints: 13458
93.72/94.05 c INPROCESSING
93.72/94.05 c GARBAGE COLLECT
93.72/94.05 c GLOBAL bounds - >= -1407 @ 92.2309
94.01/94.31 c GLOBAL bounds - >= -1407 @ 92.4854
94.21/94.57 c GLOBAL bounds - >= -1407 @ 92.7404
94.51/94.85 c GLOBAL bounds - >= -1407 @ 93.0059
94.92/95.26 c GLOBAL bounds - >= -1407 @ 93.4154
95.21/95.54 c #Conflicts: 73000 | #Constraints: 9070
95.21/95.54 c GLOBAL bounds - >= -1407 @ 93.6915
95.60/95.90 c GLOBAL bounds - >= -1407 @ 94.0422
96.81/97.13 c GLOBAL bounds - >= -1407 @ 95.2513
96.91/97.26 c GLOBAL bounds - >= -1407 @ 95.3838
97.30/97.64 c #Conflicts: 74000 | #Constraints: 10078
97.30/97.64 c GLOBAL bounds - >= -1407 @ 95.7595
97.71/98.02 c GLOBAL bounds - >= -1407 @ 96.1343
98.01/98.37 c GLOBAL bounds - >= -1407 @ 96.4843
98.40/98.78 c GLOBAL bounds - >= -1407 @ 96.8847
98.80/99.11 c GLOBAL bounds - >= -1407 @ 97.2098
99.10/99.43 c #Conflicts: 75000 | #Constraints: 11088
99.10/99.43 c GLOBAL bounds - >= -1407 @ 97.5292
99.40/99.74 c GLOBAL bounds - >= -1407 @ 97.8353
100.10/100.41 c GLOBAL bounds - >= -1407 @ 98.4965
100.99/101.36 c #Conflicts: 76000 | #Constraints: 12094
100.99/101.36 c GLOBAL bounds - >= -1407 @ 99.4354
101.40/101.78 c GLOBAL bounds - >= -1407 @ 99.86
102.09/102.42 c GLOBAL bounds - >= -1407 @ 100.486
102.49/102.89 c #Conflicts: 77000 | #Constraints: 13100
102.49/102.89 c GLOBAL bounds - >= -1407 @ 100.955
103.09/103.44 c GLOBAL bounds - >= -1407 @ 101.5
103.59/103.96 c GLOBAL bounds - >= -1407 @ 102.011
104.18/104.53 c GLOBAL bounds - >= -1407 @ 102.57
104.99/105.36 c #Conflicts: 78000 | #Constraints: 14108
104.99/105.36 c INPROCESSING
104.99/105.36 c GARBAGE COLLECT
104.99/105.36 c GLOBAL bounds - >= -1407 @ 103.399
105.38/105.77 c GLOBAL bounds - >= -1407 @ 103.795
105.79/106.18 c GLOBAL bounds - >= -1407 @ 104.201
106.08/106.46 c GLOBAL bounds - >= -1407 @ 104.482
106.58/106.96 c #Conflicts: 79000 | #Constraints: 9479
106.58/106.96 c GLOBAL bounds - >= -1407 @ 104.972
106.98/107.36 c GLOBAL bounds - >= -1407 @ 105.365
107.38/107.76 c GLOBAL bounds - >= -1407 @ 105.76
108.88/109.27 c #Conflicts: 80000 | #Constraints: 10485
108.88/109.27 c GLOBAL bounds - >= -1407 @ 107.244
109.08/109.40 c GLOBAL bounds - >= -1407 @ 107.38
109.47/109.83 c #Conflicts: 81000 | #Constraints: 11489
109.47/109.83 c GLOBAL bounds - >= -1407 @ 107.8
109.57/110.00 c GLOBAL bounds - >= -1407 @ 107.963
113.66/114.00 c #Conflicts: 82000 | #Constraints: 12493
113.66/114.00 c #Conflicts: 83000 | #Constraints: 13493
113.66/114.00 c GLOBAL bounds - >= -1407 @ 111.931
114.86/115.27 c #Conflicts: 84000 | #Constraints: 14495
114.86/115.27 c INPROCESSING
114.86/115.27 c GARBAGE COLLECT
114.86/115.27 c GLOBAL bounds - >= -1407 @ 113.187
114.96/115.37 c GLOBAL bounds - >= -1407 @ 113.284
115.25/115.64 c GLOBAL bounds - >= -1407 @ 113.556
115.76/116.15 c GLOBAL bounds - >= -1407 @ 114.06
115.96/116.37 c #Conflicts: 85000 | #Constraints: 9738
115.96/116.37 c GLOBAL bounds - >= -1407 @ 114.272
116.25/116.68 c GLOBAL bounds - >= -1407 @ 114.576
117.05/117.41 c #Conflicts: 86000 | #Constraints: 10742
117.05/117.41 c GLOBAL bounds - >= -1407 @ 115.305
117.66/118.08 c #Conflicts: 87000 | #Constraints: 11744
117.66/118.08 c GLOBAL bounds - >= -1407 @ 115.966
118.85/119.20 c #Conflicts: 88000 | #Constraints: 12746
118.85/119.20 c GLOBAL bounds - >= -1407 @ 117.066
118.95/119.35 c GLOBAL bounds - >= -1407 @ 117.215
120.15/120.53 c #Conflicts: 89000 | #Constraints: 13750
120.15/120.53 c GLOBAL bounds - >= -1407 @ 118.375
121.75/122.14 c #Conflicts: 90000 | #Constraints: 14752
121.75/122.14 c INPROCESSING
121.75/122.14 c GARBAGE COLLECT
121.75/122.14 c #Conflicts: 91000 | #Constraints: 9768
121.75/122.14 c GLOBAL bounds - >= -1407 @ 119.957
121.94/122.30 c GLOBAL bounds - >= -1407 @ 120.12
127.23/127.66 c #Conflicts: 92000 | #Constraints: 10772
127.23/127.66 c #Conflicts: 93000 | #Constraints: 11772
127.23/127.66 c #Conflicts: 94000 | #Constraints: 12772
127.23/127.66 c #Conflicts: 95000 | #Constraints: 13772
127.23/127.66 c #Conflicts: 96000 | #Constraints: 14772
127.23/127.66 c INPROCESSING
127.23/127.66 c GARBAGE COLLECT
127.23/127.66 c #Conflicts: 97000 | #Constraints: 9589
127.23/127.66 c #Conflicts: 98000 | #Constraints: 10589
127.23/127.66 c GLOBAL bounds - >= -1407 @ 125.388
127.92/128.32 c #Conflicts: 99000 | #Constraints: 11591
127.92/128.32 c GLOBAL bounds - >= -1407 @ 126.044
128.73/129.17 c #Conflicts: 100000 | #Constraints: 12593
128.73/129.17 c GLOBAL bounds - >= -1407 @ 126.882
131.12/131.53 c #Conflicts: 101000 | #Constraints: 13595
131.12/131.53 c #Conflicts: 102000 | #Constraints: 14595
131.12/131.53 c #Conflicts: 103000 | #Constraints: 15595
131.12/131.53 c INPROCESSING
131.12/131.53 c GARBAGE COLLECT
131.12/131.53 c GLOBAL bounds - >= -1407 @ 129.22
134.91/135.33 c #Conflicts: 104000 | #Constraints: 10219
134.91/135.33 c #Conflicts: 105000 | #Constraints: 11219
134.91/135.33 c #Conflicts: 106000 | #Constraints: 12219
134.91/135.33 c #Conflicts: 107000 | #Constraints: 13219
134.91/135.33 c #Conflicts: 108000 | #Constraints: 14219
134.91/135.33 c #Conflicts: 109000 | #Constraints: 15219
134.91/135.33 c GLOBAL bounds - >= -1407 @ 132.946
137.20/137.60 c #Conflicts: 110000 | #Constraints: 16221
137.20/137.60 c INPROCESSING
137.20/137.60 c GARBAGE COLLECT
137.20/137.60 c GLOBAL bounds - >= -1407 @ 135.185
138.10/138.56 c #Conflicts: 111000 | #Constraints: 10629
138.10/138.56 c GLOBAL bounds - >= -1407 @ 136.131
140.30/140.71 c #Conflicts: 112000 | #Constraints: 11631
140.30/140.71 c #Conflicts: 113000 | #Constraints: 12631
140.30/140.71 c GLOBAL bounds - >= -1407 @ 138.25
140.79/141.23 c #Conflicts: 114000 | #Constraints: 13633
140.79/141.23 c GLOBAL bounds - >= -1407 @ 138.758
141.39/141.81 c GLOBAL bounds - >= -1407 @ 139.33
141.89/142.35 c GLOBAL bounds - >= -1407 @ 139.863
142.49/142.92 c #Conflicts: 115000 | #Constraints: 14639
142.49/142.92 c GLOBAL bounds - >= -1407 @ 140.433
145.69/146.19 c #Conflicts: 116000 | #Constraints: 15641
145.69/146.19 c #Conflicts: 117000 | #Constraints: 16641
145.69/146.19 c INPROCESSING
145.69/146.19 c GARBAGE COLLECT
145.69/146.19 c #Conflicts: 118000 | #Constraints: 10834
145.69/146.19 c GLOBAL bounds - >= -1407 @ 143.663
145.98/146.45 c #Conflicts: 119000 | #Constraints: 11836
145.98/146.45 c GLOBAL bounds - >= -1407 @ 143.911
146.27/146.70 c GLOBAL bounds - >= -1407 @ 144.165
146.59/147.08 c GLOBAL bounds - >= -1407 @ 144.539
147.28/147.75 c GLOBAL bounds - >= -1407 @ 145.196
147.58/148.02 c #Conflicts: 120000 | #Constraints: 12844
147.58/148.02 c GLOBAL bounds - >= -1407 @ 145.466
147.88/148.39 c GLOBAL bounds - >= -1407 @ 145.825
149.27/149.79 c #Conflicts: 121000 | #Constraints: 13848
149.27/149.79 c GLOBAL bounds - >= -1407 @ 147.212
149.77/150.21 c GLOBAL bounds - >= -1407 @ 147.625
150.87/151.36 c #Conflicts: 122000 | #Constraints: 14852
150.87/151.36 c GLOBAL bounds - >= -1407 @ 148.769
154.26/154.79 c #Conflicts: 123000 | #Constraints: 15854
154.26/154.79 c #Conflicts: 124000 | #Constraints: 16854
154.26/154.79 c INPROCESSING
154.26/154.79 c GARBAGE COLLECT
154.26/154.79 c GLOBAL bounds - >= -1407 @ 152.163
154.75/155.29 c GLOBAL bounds - >= -1407 @ 152.649
155.16/155.60 c #Conflicts: 125000 | #Constraints: 10795
155.16/155.60 c GLOBAL bounds - >= -1407 @ 152.957
155.26/155.79 c GLOBAL bounds - >= -1407 @ 153.144
157.25/157.75 c #Conflicts: 126000 | #Constraints: 11799
157.25/157.75 c #Conflicts: 127000 | #Constraints: 12799
157.25/157.75 c #Conflicts: 128000 | #Constraints: 13799
157.25/157.75 c GLOBAL bounds - >= -1407 @ 155.072
157.45/157.96 c GLOBAL bounds - >= -1407 @ 155.284
161.34/161.80 c #Conflicts: 129000 | #Constraints: 14803
161.34/161.80 c #Conflicts: 130000 | #Constraints: 15803
161.34/161.80 c #Conflicts: 131000 | #Constraints: 16803
161.34/161.80 c GLOBAL bounds - >= -1407 @ 159.066
162.13/162.67 c INPROCESSING
162.13/162.67 c GARBAGE COLLECT
162.13/162.67 c GLOBAL bounds - >= -1407 @ 159.931
162.54/163.07 c #Conflicts: 132000 | #Constraints: 10536
162.54/163.07 c GLOBAL bounds - >= -1407 @ 160.333
162.64/163.18 c GLOBAL bounds - >= -1407 @ 160.433
163.13/163.62 c GLOBAL bounds - >= -1407 @ 160.875
163.33/163.87 c GLOBAL bounds - >= -1407 @ 161.113
163.64/164.16 c #Conflicts: 133000 | #Constraints: 11544
163.64/164.16 c GLOBAL bounds - >= -1407 @ 161.402
163.73/164.28 c GLOBAL bounds - >= -1407 @ 161.514
164.24/164.77 c GLOBAL bounds - >= -1407 @ 162.006
164.83/165.35 c GLOBAL bounds - >= -1407 @ 162.572
167.53/168.06 c #Conflicts: 134000 | #Constraints: 12552
167.53/168.06 c #Conflicts: 135000 | #Constraints: 13552
167.53/168.06 c GLOBAL bounds - >= -1407 @ 165.252
168.92/169.41 c #Conflicts: 136000 | #Constraints: 14554
168.92/169.41 c GLOBAL bounds - >= -1407 @ 166.586
170.41/170.91 c #Conflicts: 137000 | #Constraints: 15556
170.41/170.91 c GLOBAL bounds - >= -1407 @ 168.076
170.62/171.18 c GLOBAL bounds - >= -1407 @ 168.351
174.21/174.71 c #Conflicts: 138000 | #Constraints: 16560
174.21/174.71 c #Conflicts: 139000 | #Constraints: 17560
174.21/174.71 c INPROCESSING
174.21/174.71 c GARBAGE COLLECT
174.21/174.71 c GLOBAL bounds - >= -1407 @ 171.835
174.30/174.81 c GLOBAL bounds - >= -1407 @ 171.929
175.20/175.77 c #Conflicts: 140000 | #Constraints: 11183
175.20/175.77 c GLOBAL bounds - >= -1407 @ 172.875
175.51/176.02 c GLOBAL bounds - >= -1407 @ 173.126
175.80/176.38 c GLOBAL bounds - >= -1407 @ 173.477
175.91/176.49 c GLOBAL bounds - >= -1407 @ 173.582
176.10/176.62 c GLOBAL bounds - >= -1407 @ 173.715
180.19/180.79 c #Conflicts: 141000 | #Constraints: 12193
180.19/180.79 c #Conflicts: 142000 | #Constraints: 13193
180.19/180.79 c GLOBAL bounds - >= -1407 @ 177.85
180.78/181.36 c GLOBAL bounds - >= -1407 @ 178.414
181.19/181.70 c GLOBAL bounds - >= -1407 @ 178.749
181.49/182.07 c GLOBAL bounds - >= -1407 @ 179.11
181.88/182.46 c GLOBAL bounds - >= -1407 @ 179.494
182.39/182.99 c #Conflicts: 143000 | #Constraints: 14203
182.39/182.99 c GLOBAL bounds - >= -1407 @ 180.009
183.38/183.95 c GLOBAL bounds - >= -1407 @ 180.958
183.78/184.38 c GLOBAL bounds - >= -1407 @ 181.388
183.98/184.58 c GLOBAL bounds - >= -1407 @ 181.582
184.28/184.88 c #Conflicts: 144000 | #Constraints: 15211
184.28/184.88 c GLOBAL bounds - >= -1407 @ 181.876
184.48/185.08 c GLOBAL bounds - >= -1407 @ 182.072
184.88/185.46 c GLOBAL bounds - >= -1407 @ 182.451
186.28/186.88 c #Conflicts: 145000 | #Constraints: 16217
186.28/186.88 c GLOBAL bounds - >= -1407 @ 183.852
186.67/187.22 c GLOBAL bounds - >= -1407 @ 184.188
186.97/187.53 c GLOBAL bounds - >= -1407 @ 184.495
187.48/188.03 c GLOBAL bounds - >= -1407 @ 184.987
187.67/188.20 c GLOBAL bounds - >= -1407 @ 185.156
187.97/188.58 c GLOBAL bounds - >= -1407 @ 185.533
188.17/188.75 c GLOBAL bounds - >= -1407 @ 185.702
188.58/189.13 c GLOBAL bounds - >= -1407 @ 186.074
191.86/192.42 c #Conflicts: 146000 | #Constraints: 17233
191.86/192.42 c #Conflicts: 147000 | #Constraints: 18233
191.86/192.42 c INPROCESSING
191.86/192.42 c GARBAGE COLLECT
191.86/192.42 c GLOBAL bounds - >= -1407 @ 189.327
194.26/194.89 c #Conflicts: 148000 | #Constraints: 11625
194.26/194.89 c GLOBAL bounds - >= -1407 @ 191.781
200.14/200.77 c #Conflicts: 149000 | #Constraints: 12627
200.14/200.77 c #Conflicts: 150000 | #Constraints: 13627
200.14/200.77 c GLOBAL bounds - >= -1407 @ 197.64
202.73/203.39 c #Conflicts: 151000 | #Constraints: 14629
202.73/203.39 c GLOBAL bounds - >= -1407 @ 200.242
227.47/228.14 c #Conflicts: 152000 | #Constraints: 15631
227.47/228.14 c #Conflicts: 153000 | #Constraints: 16631
227.47/228.14 c #Conflicts: 154000 | #Constraints: 17631
227.47/228.14 c #Conflicts: 155000 | #Constraints: 18631
227.47/228.14 c INPROCESSING
227.47/228.14 c GARBAGE COLLECT
227.47/228.14 c GLOBAL bounds - >= -1407 @ 224.876
228.16/228.84 c GLOBAL bounds - >= -1407 @ 225.573
229.85/230.50 c #Conflicts: 156000 | #Constraints: 11851
229.85/230.50 c GLOBAL bounds - >= -1407 @ 227.223
230.85/231.55 c GLOBAL bounds - >= -1407 @ 228.258
231.35/232.01 c #Conflicts: 157000 | #Constraints: 12855
231.35/232.01 c GLOBAL bounds - >= -1407 @ 228.714
231.95/232.69 c GLOBAL bounds - >= -1407 @ 229.386
232.24/232.94 c GLOBAL bounds - >= -1407 @ 229.63
232.46/233.11 c GLOBAL bounds - >= -1407 @ 229.797
232.75/233.46 c GLOBAL bounds - >= -1407 @ 230.14
233.55/234.25 c #Conflicts: 158000 | #Constraints: 13865
233.55/234.25 c GLOBAL bounds - >= -1407 @ 230.923
240.02/240.74 c #Conflicts: 159000 | #Constraints: 14867
240.02/240.74 c #Conflicts: 160000 | #Constraints: 15867
240.02/240.74 c GLOBAL bounds - >= -1407 @ 237.384
240.73/241.49 c GLOBAL bounds - >= -1407 @ 238.12
241.92/242.67 c #Conflicts: 161000 | #Constraints: 16871
241.92/242.67 c GLOBAL bounds - >= -1407 @ 239.287
246.41/247.14 c #Conflicts: 162000 | #Constraints: 17873
246.41/247.14 c GLOBAL bounds - >= -1407 @ 243.737
263.76/264.56 c #Conflicts: 163000 | #Constraints: 18875
263.76/264.56 c INPROCESSING
263.76/264.56 c GARBAGE COLLECT
263.76/264.56 c #Conflicts: 164000 | #Constraints: 11874
263.76/264.56 c #Conflicts: 165000 | #Constraints: 12874
263.76/264.56 c #Conflicts: 166000 | #Constraints: 13874
263.76/264.56 c #Conflicts: 167000 | #Constraints: 14874
263.76/264.56 c #Conflicts: 168000 | #Constraints: 15874
263.76/264.56 c GLOBAL bounds - >= -1407 @ 261.027
263.96/264.73 c #Conflicts: 169000 | #Constraints: 16876
263.96/264.73 c GLOBAL bounds - >= -1407 @ 261.196
264.46/265.26 c GLOBAL bounds - >= -1407 @ 261.713
266.45/267.26 c #Conflicts: 170000 | #Constraints: 17880
266.45/267.26 c GLOBAL bounds - >= -1407 @ 263.691
284.31/285.17 c #Conflicts: 171000 | #Constraints: 18882
284.31/285.17 c INPROCESSING
284.31/285.17 c GARBAGE COLLECT
284.31/285.17 c #Conflicts: 172000 | #Constraints: 11700
284.31/285.17 c #Conflicts: 173000 | #Constraints: 12700
284.31/285.17 c #Conflicts: 174000 | #Constraints: 13700
284.31/285.17 c #Conflicts: 175000 | #Constraints: 14700
284.31/285.17 c #Conflicts: 176000 | #Constraints: 15700
284.31/285.17 c #Conflicts: 177000 | #Constraints: 16700
284.31/285.17 c #Conflicts: 178000 | #Constraints: 17700
284.31/285.17 c #Conflicts: 179000 | #Constraints: 18700
284.31/285.17 c #Conflicts: 180000 | #Constraints: 19700
284.31/285.17 c INPROCESSING
284.31/285.17 c GARBAGE COLLECT
284.31/285.17 c #Conflicts: 181000 | #Constraints: 12311
284.31/285.17 c GLOBAL bounds - >= -1407 @ 281.404
290.89/291.79 c #Conflicts: 182000 | #Constraints: 13313
290.89/291.79 c #Conflicts: 183000 | #Constraints: 14313
290.89/291.79 c #Conflicts: 184000 | #Constraints: 15313
290.89/291.79 c #Conflicts: 185000 | #Constraints: 16313
290.89/291.79 c #Conflicts: 186000 | #Constraints: 17313
290.89/291.79 c GLOBAL bounds - >= -1407 @ 287.942
291.09/291.93 c #Conflicts: 187000 | #Constraints: 18315
291.09/291.93 c GLOBAL bounds - >= -1407 @ 288.079
309.24/310.12 c #Conflicts: 188000 | #Constraints: 19317
309.24/310.12 c #Conflicts: 189000 | #Constraints: 20317
309.24/310.12 c INPROCESSING
309.24/310.12 c GARBAGE COLLECT
309.24/310.12 c #Conflicts: 190000 | #Constraints: 12731
309.24/310.12 c #Conflicts: 191000 | #Constraints: 13731
309.24/310.12 c #Conflicts: 192000 | #Constraints: 14731
309.24/310.12 c #Conflicts: 193000 | #Constraints: 15731
309.24/310.12 c GLOBAL bounds - >= -1407 @ 306.146
324.30/325.28 c #Conflicts: 194000 | #Constraints: 16733
324.30/325.28 c #Conflicts: 195000 | #Constraints: 17733
324.30/325.28 c #Conflicts: 196000 | #Constraints: 18733
324.30/325.28 c #Conflicts: 197000 | #Constraints: 19733
324.30/325.28 c #Conflicts: 198000 | #Constraints: 20733
324.30/325.28 c INPROCESSING
324.30/325.28 c GARBAGE COLLECT
324.30/325.28 c #Conflicts: 199000 | #Constraints: 12965
324.30/325.28 c #Conflicts: 200000 | #Constraints: 13965
324.30/325.28 c #Conflicts: 201000 | #Constraints: 14965
324.30/325.28 c #Conflicts: 202000 | #Constraints: 15965
324.30/325.28 c #Conflicts: 203000 | #Constraints: 16965
324.30/325.28 c #Conflicts: 204000 | #Constraints: 17965
324.30/325.28 c #Conflicts: 205000 | #Constraints: 18965
324.30/325.28 c #Conflicts: 206000 | #Constraints: 19965
324.30/325.28 c #Conflicts: 207000 | #Constraints: 20965
324.30/325.28 c INPROCESSING
324.30/325.28 c GARBAGE COLLECT
324.30/325.28 c #Conflicts: 208000 | #Constraints: 12990
324.30/325.28 c #Conflicts: 209000 | #Constraints: 13990
324.30/325.28 c #Conflicts: 210000 | #Constraints: 14990
324.30/325.28 c #Conflicts: 211000 | #Constraints: 15990
324.30/325.28 c GLOBAL bounds - >= -1407 @ 321.042
324.49/325.43 c GLOBAL bounds - >= -1407 @ 321.194
336.27/337.26 c #Conflicts: 212000 | #Constraints: 16994
336.27/337.26 c #Conflicts: 213000 | #Constraints: 17994
336.27/337.26 c #Conflicts: 214000 | #Constraints: 18994
336.27/337.26 c #Conflicts: 215000 | #Constraints: 19994
336.27/337.26 c #Conflicts: 216000 | #Constraints: 20994
336.27/337.26 c INPROCESSING
336.27/337.26 c GARBAGE COLLECT
336.27/337.26 c #Conflicts: 217000 | #Constraints: 12790
336.27/337.26 c #Conflicts: 218000 | #Constraints: 13790
336.27/337.26 c #Conflicts: 219000 | #Constraints: 14790
336.27/337.26 c #Conflicts: 220000 | #Constraints: 15790
336.27/337.26 c #Conflicts: 221000 | #Constraints: 16790
336.27/337.26 c #Conflicts: 222000 | #Constraints: 17790
336.27/337.26 c #Conflicts: 223000 | #Constraints: 18790
336.27/337.26 c #Conflicts: 224000 | #Constraints: 19790
336.27/337.26 c #Conflicts: 225000 | #Constraints: 20790
336.27/337.26 c #Conflicts: 226000 | #Constraints: 21790
336.27/337.26 c INPROCESSING
336.27/337.26 c GARBAGE COLLECT
336.27/337.26 c GLOBAL bounds - >= -1407 @ 332.888
336.46/337.42 c GLOBAL bounds - >= -1407 @ 333.051
337.16/338.15 c #Conflicts: 227000 | #Constraints: 13396
337.16/338.15 c GLOBAL bounds - >= -1407 @ 333.762
337.26/338.27 c GLOBAL bounds - >= -1407 @ 333.875
354.22/355.20 c #Conflicts: 228000 | #Constraints: 14400
354.22/355.20 c #Conflicts: 229000 | #Constraints: 15400
354.22/355.20 c #Conflicts: 230000 | #Constraints: 16400
354.22/355.20 c #Conflicts: 231000 | #Constraints: 17400
354.22/355.20 c #Conflicts: 232000 | #Constraints: 18400
354.22/355.20 c #Conflicts: 233000 | #Constraints: 19400
354.22/355.20 c #Conflicts: 234000 | #Constraints: 20400
354.22/355.20 c #Conflicts: 235000 | #Constraints: 21400
354.22/355.20 c #Conflicts: 236000 | #Constraints: 22400
354.22/355.20 c INPROCESSING
354.22/355.20 c GARBAGE COLLECT
354.22/355.20 c #Conflicts: 237000 | #Constraints: 13810
354.22/355.20 c #Conflicts: 238000 | #Constraints: 14810
354.22/355.20 c #Conflicts: 239000 | #Constraints: 15810
354.22/355.20 c #Conflicts: 240000 | #Constraints: 16810
354.22/355.20 c #Conflicts: 241000 | #Constraints: 17810
354.22/355.20 c #Conflicts: 242000 | #Constraints: 18810
354.22/355.20 c #Conflicts: 243000 | #Constraints: 19810
354.22/355.20 c #Conflicts: 244000 | #Constraints: 20810
354.22/355.20 c GLOBAL bounds - >= -1407 @ 350.556
362.29/363.34 c #Conflicts: 245000 | #Constraints: 21812
362.29/363.34 c #Conflicts: 246000 | #Constraints: 22812
362.29/363.34 c INPROCESSING
362.29/363.34 c GARBAGE COLLECT
362.29/363.34 c #Conflicts: 247000 | #Constraints: 14014
362.29/363.34 c #Conflicts: 248000 | #Constraints: 15014
362.29/363.34 c GLOBAL bounds - >= -1407 @ 358.632
363.19/364.23 c #Conflicts: 249000 | #Constraints: 16016
363.19/364.23 c GLOBAL bounds - >= -1407 @ 359.507
365.19/366.29 c #Conflicts: 250000 | #Constraints: 17018
365.19/366.29 c GLOBAL bounds - >= -1407 @ 361.541
365.59/366.68 c GLOBAL bounds - >= -1407 @ 361.925
365.88/366.97 c #Conflicts: 251000 | #Constraints: 18022
365.88/366.97 c GLOBAL bounds - >= -1407 @ 362.21
366.39/367.40 c GLOBAL bounds - >= -1407 @ 362.639
366.58/367.69 c GLOBAL bounds - >= -1407 @ 362.918
366.88/367.98 c GLOBAL bounds - >= -1407 @ 363.204
367.48/368.52 c #Conflicts: 252000 | #Constraints: 19030
367.48/368.52 c GLOBAL bounds - >= -1407 @ 363.741
367.78/368.89 c GLOBAL bounds - >= -1407 @ 364.108
368.18/369.26 c GLOBAL bounds - >= -1407 @ 364.465
368.58/369.69 c GLOBAL bounds - >= -1407 @ 364.889
368.98/370.09 c #Conflicts: 253000 | #Constraints: 20038
368.98/370.09 c GLOBAL bounds - >= -1407 @ 365.279
369.98/371.07 c GLOBAL bounds - >= -1407 @ 366.252
370.17/371.21 c GLOBAL bounds - >= -1407 @ 366.39
372.46/373.53 c #Conflicts: 254000 | #Constraints: 21044
372.46/373.53 c #Conflicts: 255000 | #Constraints: 22044
372.46/373.53 c GLOBAL bounds - >= -1407 @ 368.674
372.97/374.01 c GLOBAL bounds - >= -1407 @ 369.14
374.97/376.04 c #Conflicts: 256000 | #Constraints: 23048
374.97/376.04 c INPROCESSING
374.97/376.04 c GARBAGE COLLECT
374.97/376.04 c GLOBAL bounds - >= -1407 @ 371.146
375.07/376.13 c GLOBAL bounds - >= -1407 @ 371.234
376.36/377.47 c #Conflicts: 257000 | #Constraints: 14004
376.36/377.47 c #Conflicts: 258000 | #Constraints: 15004
376.36/377.47 c GLOBAL bounds - >= -1407 @ 372.56
378.35/379.43 c #Conflicts: 259000 | #Constraints: 16006
378.35/379.43 c #Conflicts: 260000 | #Constraints: 17006
378.35/379.43 c GLOBAL bounds - >= -1407 @ 374.508
380.85/381.91 c #Conflicts: 261000 | #Constraints: 18008
380.85/381.91 c #Conflicts: 262000 | #Constraints: 19008
380.85/381.91 c GLOBAL bounds - >= -1407 @ 376.96
381.44/382.50 c GLOBAL bounds - >= -1407 @ 377.541
381.74/382.80 c GLOBAL bounds - >= -1407 @ 377.84
382.14/383.21 c #Conflicts: 263000 | #Constraints: 20014
382.14/383.21 c GLOBAL bounds - >= -1407 @ 378.236
391.51/392.65 c #Conflicts: 264000 | #Constraints: 21016
391.51/392.65 c #Conflicts: 265000 | #Constraints: 22016
391.51/392.65 c GLOBAL bounds - >= -1407 @ 387.614
391.92/393.02 c GLOBAL bounds - >= -1407 @ 387.977
394.02/395.19 c #Conflicts: 266000 | #Constraints: 23020
394.02/395.19 c INPROCESSING
394.02/395.19 c GARBAGE COLLECT
394.02/395.19 c GLOBAL bounds - >= -1407 @ 390.131
394.50/395.64 c #Conflicts: 267000 | #Constraints: 13764
394.50/395.64 c GLOBAL bounds - >= -1407 @ 390.571
400.69/401.88 c #Conflicts: 268000 | #Constraints: 14766
400.69/401.88 c #Conflicts: 269000 | #Constraints: 15766
400.69/401.88 c GLOBAL bounds - >= -1407 @ 396.761
402.39/403.57 c #Conflicts: 270000 | #Constraints: 16768
402.39/403.57 c GLOBAL bounds - >= -1407 @ 398.419
430.82/432.05 c #Conflicts: 271000 | #Constraints: 17770
430.82/432.05 c #Conflicts: 272000 | #Constraints: 18770
430.82/432.05 c #Conflicts: 273000 | #Constraints: 19770
430.82/432.05 c #Conflicts: 274000 | #Constraints: 20770
430.82/432.05 c #Conflicts: 275000 | #Constraints: 21770
430.82/432.05 c #Conflicts: 276000 | #Constraints: 22770
430.82/432.05 c #Conflicts: 277000 | #Constraints: 23770
430.82/432.05 c INPROCESSING
430.82/432.05 c GARBAGE COLLECT
430.82/432.05 c GLOBAL bounds - >= -1407 @ 426.751
430.91/432.18 c GLOBAL bounds - >= -1407 @ 426.872
487.45/488.83 c #Conflicts: 278000 | #Constraints: 14365
487.45/488.83 c #Conflicts: 279000 | #Constraints: 15365
487.45/488.83 c #Conflicts: 280000 | #Constraints: 16365
487.45/488.83 c #Conflicts: 281000 | #Constraints: 17365
487.45/488.83 c #Conflicts: 282000 | #Constraints: 18365
487.45/488.83 c #Conflicts: 283000 | #Constraints: 19365
487.45/488.83 c #Conflicts: 284000 | #Constraints: 20365
487.45/488.83 c #Conflicts: 285000 | #Constraints: 21365
487.45/488.83 c #Conflicts: 286000 | #Constraints: 22365
487.45/488.83 c #Conflicts: 287000 | #Constraints: 23365
487.45/488.83 c #Conflicts: 288000 | #Constraints: 24365
487.45/488.83 c INPROCESSING
487.45/488.83 c GARBAGE COLLECT
487.45/488.83 c #Conflicts: 289000 | #Constraints: 14747
487.45/488.83 c GLOBAL bounds - >= -1407 @ 483.255
487.75/489.15 c GLOBAL bounds - >= -1407 @ 483.578
495.92/497.30 c #Conflicts: 290000 | #Constraints: 15751
495.92/497.30 c #Conflicts: 291000 | #Constraints: 16751
495.92/497.30 c #Conflicts: 292000 | #Constraints: 17751
495.92/497.30 c GLOBAL bounds - >= -1407 @ 491.673
496.02/497.42 c GLOBAL bounds - >= -1407 @ 491.79
496.32/497.70 c GLOBAL bounds - >= -1407 @ 492.06
503.41/504.89 c #Conflicts: 293000 | #Constraints: 18757
503.41/504.89 c #Conflicts: 294000 | #Constraints: 19757
503.41/504.89 c #Conflicts: 295000 | #Constraints: 20757
503.41/504.89 c GLOBAL bounds - >= -1407 @ 499.205
510.39/511.87 c #Conflicts: 296000 | #Constraints: 21759
510.39/511.87 c #Conflicts: 297000 | #Constraints: 22759
510.39/511.87 c #Conflicts: 298000 | #Constraints: 23759
510.39/511.87 c GLOBAL bounds - >= -1407 @ 506.12
514.07/515.51 c #Conflicts: 299000 | #Constraints: 24761
514.07/515.51 c INPROCESSING
514.07/515.51 c GARBAGE COLLECT
514.07/515.51 c GLOBAL bounds - >= -1407 @ 509.719
514.28/515.71 c GLOBAL bounds - >= -1407 @ 509.919
524.05/525.58 c #Conflicts: 300000 | #Constraints: 15029
524.05/525.58 c #Conflicts: 301000 | #Constraints: 16029
524.05/525.58 c #Conflicts: 302000 | #Constraints: 17029
524.05/525.58 c #Conflicts: 303000 | #Constraints: 18029
524.05/525.58 c GLOBAL bounds - >= -1407 @ 519.711
524.24/525.72 c GLOBAL bounds - >= -1407 @ 519.853
577.99/579.62 c #Conflicts: 304000 | #Constraints: 19033
577.99/579.62 c #Conflicts: 305000 | #Constraints: 20033
577.99/579.62 c #Conflicts: 306000 | #Constraints: 21033
577.99/579.62 c #Conflicts: 307000 | #Constraints: 22033
577.99/579.62 c #Conflicts: 308000 | #Constraints: 23033
577.99/579.62 c #Conflicts: 309000 | #Constraints: 24033
577.99/579.62 c #Conflicts: 310000 | #Constraints: 25033
577.99/579.62 c INPROCESSING
577.99/579.62 c GARBAGE COLLECT
577.99/579.62 c #Conflicts: 311000 | #Constraints: 15007
577.99/579.62 c #Conflicts: 312000 | #Constraints: 16007
577.99/579.62 c #Conflicts: 313000 | #Constraints: 17007
577.99/579.62 c #Conflicts: 314000 | #Constraints: 18007
577.99/579.62 c GLOBAL bounds - >= -1407 @ 573.485
615.59/617.36 c #Conflicts: 315000 | #Constraints: 19009
615.59/617.36 c #Conflicts: 316000 | #Constraints: 20009
615.59/617.36 c #Conflicts: 317000 | #Constraints: 21009
615.59/617.36 c #Conflicts: 318000 | #Constraints: 22009
615.59/617.36 c #Conflicts: 319000 | #Constraints: 23009
615.59/617.36 c #Conflicts: 320000 | #Constraints: 24009
615.59/617.36 c #Conflicts: 321000 | #Constraints: 25009
615.59/617.36 c INPROCESSING
615.59/617.36 c GARBAGE COLLECT
615.59/617.36 c #Conflicts: 322000 | #Constraints: 14841
615.59/617.36 c #Conflicts: 323000 | #Constraints: 15841
615.59/617.36 c #Conflicts: 324000 | #Constraints: 16841
615.59/617.36 c #Conflicts: 325000 | #Constraints: 17841
615.59/617.36 c #Conflicts: 326000 | #Constraints: 18841
615.59/617.36 c GLOBAL bounds - >= -1407 @ 611.007
615.78/617.55 c GLOBAL bounds - >= -1407 @ 611.189
1349.80/1353.61 c #Conflicts: 327000 | #Constraints: 19845
1349.80/1353.61 c #Conflicts: 328000 | #Constraints: 20845
1349.80/1353.61 c #Conflicts: 329000 | #Constraints: 21845
1349.80/1353.61 c #Conflicts: 330000 | #Constraints: 22845
1349.80/1353.61 c #Conflicts: 331000 | #Constraints: 23845
1349.80/1353.61 c #Conflicts: 332000 | #Constraints: 24845
1349.80/1353.61 c #Conflicts: 333000 | #Constraints: 25845
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 334000 | #Constraints: 15425
1349.80/1353.61 c #Conflicts: 335000 | #Constraints: 16425
1349.80/1353.61 c #Conflicts: 336000 | #Constraints: 17425
1349.80/1353.61 c #Conflicts: 337000 | #Constraints: 18425
1349.80/1353.61 c #Conflicts: 338000 | #Constraints: 19425
1349.80/1353.61 c #Conflicts: 339000 | #Constraints: 20425
1349.80/1353.61 c #Conflicts: 340000 | #Constraints: 21425
1349.80/1353.61 c #Conflicts: 341000 | #Constraints: 22425
1349.80/1353.61 c #Conflicts: 342000 | #Constraints: 23425
1349.80/1353.61 c #Conflicts: 343000 | #Constraints: 24425
1349.80/1353.61 c #Conflicts: 344000 | #Constraints: 25425
1349.80/1353.61 c #Conflicts: 345000 | #Constraints: 26425
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 346000 | #Constraints: 15794
1349.80/1353.61 c #Conflicts: 347000 | #Constraints: 16794
1349.80/1353.61 c #Conflicts: 348000 | #Constraints: 17794
1349.80/1353.61 c #Conflicts: 349000 | #Constraints: 18794
1349.80/1353.61 c #Conflicts: 350000 | #Constraints: 19794
1349.80/1353.61 c #Conflicts: 351000 | #Constraints: 20794
1349.80/1353.61 c #Conflicts: 352000 | #Constraints: 21794
1349.80/1353.61 c #Conflicts: 353000 | #Constraints: 22794
1349.80/1353.61 c #Conflicts: 354000 | #Constraints: 23794
1349.80/1353.61 c #Conflicts: 355000 | #Constraints: 24794
1349.80/1353.61 c #Conflicts: 356000 | #Constraints: 25794
1349.80/1353.61 c #Conflicts: 357000 | #Constraints: 26794
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 358000 | #Constraints: 15992
1349.80/1353.61 c #Conflicts: 359000 | #Constraints: 16992
1349.80/1353.61 c #Conflicts: 360000 | #Constraints: 17992
1349.80/1353.61 c #Conflicts: 361000 | #Constraints: 18992
1349.80/1353.61 c #Conflicts: 362000 | #Constraints: 19992
1349.80/1353.61 c #Conflicts: 363000 | #Constraints: 20992
1349.80/1353.61 c #Conflicts: 364000 | #Constraints: 21992
1349.80/1353.61 c #Conflicts: 365000 | #Constraints: 22992
1349.80/1353.61 c #Conflicts: 366000 | #Constraints: 23992
1349.80/1353.61 c #Conflicts: 367000 | #Constraints: 24992
1349.80/1353.61 c #Conflicts: 368000 | #Constraints: 25992
1349.80/1353.61 c #Conflicts: 369000 | #Constraints: 26992
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 370000 | #Constraints: 15994
1349.80/1353.61 c #Conflicts: 371000 | #Constraints: 16994
1349.80/1353.61 c #Conflicts: 372000 | #Constraints: 17994
1349.80/1353.61 c #Conflicts: 373000 | #Constraints: 18994
1349.80/1353.61 c #Conflicts: 374000 | #Constraints: 19994
1349.80/1353.61 c #Conflicts: 375000 | #Constraints: 20994
1349.80/1353.61 c #Conflicts: 376000 | #Constraints: 21994
1349.80/1353.61 c #Conflicts: 377000 | #Constraints: 22994
1349.80/1353.61 c #Conflicts: 378000 | #Constraints: 23994
1349.80/1353.61 c #Conflicts: 379000 | #Constraints: 24994
1349.80/1353.61 c #Conflicts: 380000 | #Constraints: 25994
1349.80/1353.61 c #Conflicts: 381000 | #Constraints: 26994
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 382000 | #Constraints: 15784
1349.80/1353.61 c #Conflicts: 383000 | #Constraints: 16784
1349.80/1353.61 c #Conflicts: 384000 | #Constraints: 17784
1349.80/1353.61 c #Conflicts: 385000 | #Constraints: 18784
1349.80/1353.61 c #Conflicts: 386000 | #Constraints: 19784
1349.80/1353.61 c #Conflicts: 387000 | #Constraints: 20784
1349.80/1353.61 c #Conflicts: 388000 | #Constraints: 21784
1349.80/1353.61 c #Conflicts: 389000 | #Constraints: 22784
1349.80/1353.61 c #Conflicts: 390000 | #Constraints: 23784
1349.80/1353.61 c #Conflicts: 391000 | #Constraints: 24784
1349.80/1353.61 c #Conflicts: 392000 | #Constraints: 25784
1349.80/1353.61 c #Conflicts: 393000 | #Constraints: 26784
1349.80/1353.61 c #Conflicts: 394000 | #Constraints: 27784
1349.80/1353.61 c INPROCESSING
1349.80/1353.61 c GARBAGE COLLECT
1349.80/1353.61 c #Conflicts: 395000 | #Constraints: 16368
1349.80/1353.61 c #Conflicts: 396000 | #Constraints: 17368
1349.80/1353.61 c #Conflicts: 397000 | #Constraints: 18368
1349.80/1353.61 c #Conflicts: 398000 | #Constraints: 19368
1349.80/1353.61 c #Conflicts: 399000 | #Constraints: 20368
1349.80/1353.61 c #Conflicts: 400000 | #Constraints: 21368
1349.80/1353.61 c #Conflicts: 401000 | #Constraints: 22368
1878.32/1883.60 c #Conflicts: 402000 | #Constraints: 23368
1878.32/1883.60 c #Conflicts: 403000 | #Constraints: 24368
1878.32/1883.60 c #Conflicts: 404000 | #Constraints: 25368
1878.32/1883.60 c #Conflicts: 405000 | #Constraints: 26368
1878.32/1883.60 c #Conflicts: 406000 | #Constraints: 27368
1878.32/1883.60 c #Conflicts: 407000 | #Constraints: 28368
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 408000 | #Constraints: 16763
1878.32/1883.60 c #Conflicts: 409000 | #Constraints: 17763
1878.32/1883.60 c #Conflicts: 410000 | #Constraints: 18763
1878.32/1883.60 c #Conflicts: 411000 | #Constraints: 19763
1878.32/1883.60 c #Conflicts: 412000 | #Constraints: 20763
1878.32/1883.60 c #Conflicts: 413000 | #Constraints: 21763
1878.32/1883.60 c #Conflicts: 414000 | #Constraints: 22763
1878.32/1883.60 c #Conflicts: 415000 | #Constraints: 23763
1878.32/1883.60 c #Conflicts: 416000 | #Constraints: 24763
1878.32/1883.60 c #Conflicts: 417000 | #Constraints: 25763
1878.32/1883.60 c #Conflicts: 418000 | #Constraints: 26763
1878.32/1883.60 c #Conflicts: 419000 | #Constraints: 27763
1878.32/1883.60 c #Conflicts: 420000 | #Constraints: 28763
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 421000 | #Constraints: 16962
1878.32/1883.60 c #Conflicts: 422000 | #Constraints: 17962
1878.32/1883.60 c #Conflicts: 423000 | #Constraints: 18962
1878.32/1883.60 c #Conflicts: 424000 | #Constraints: 19962
1878.32/1883.60 c #Conflicts: 425000 | #Constraints: 20962
1878.32/1883.60 c #Conflicts: 426000 | #Constraints: 21962
1878.32/1883.60 c #Conflicts: 427000 | #Constraints: 22962
1878.32/1883.60 c #Conflicts: 428000 | #Constraints: 23962
1878.32/1883.60 c #Conflicts: 429000 | #Constraints: 24962
1878.32/1883.60 c #Conflicts: 430000 | #Constraints: 25962
1878.32/1883.60 c #Conflicts: 431000 | #Constraints: 26962
1878.32/1883.60 c #Conflicts: 432000 | #Constraints: 27962
1878.32/1883.60 c #Conflicts: 433000 | #Constraints: 28962
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 434000 | #Constraints: 16981
1878.32/1883.60 c #Conflicts: 435000 | #Constraints: 17981
1878.32/1883.60 c #Conflicts: 436000 | #Constraints: 18981
1878.32/1883.60 c #Conflicts: 437000 | #Constraints: 19981
1878.32/1883.60 c #Conflicts: 438000 | #Constraints: 20981
1878.32/1883.60 c #Conflicts: 439000 | #Constraints: 21981
1878.32/1883.60 c #Conflicts: 440000 | #Constraints: 22981
1878.32/1883.60 c #Conflicts: 441000 | #Constraints: 23981
1878.32/1883.60 c #Conflicts: 442000 | #Constraints: 24981
1878.32/1883.60 c #Conflicts: 443000 | #Constraints: 25981
1878.32/1883.60 c #Conflicts: 444000 | #Constraints: 26981
1878.32/1883.60 c #Conflicts: 445000 | #Constraints: 27981
1878.32/1883.60 c #Conflicts: 446000 | #Constraints: 28981
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 447000 | #Constraints: 16763
1878.32/1883.60 c #Conflicts: 448000 | #Constraints: 17763
1878.32/1883.60 c #Conflicts: 449000 | #Constraints: 18763
1878.32/1883.60 c #Conflicts: 450000 | #Constraints: 19763
1878.32/1883.60 c #Conflicts: 451000 | #Constraints: 20763
1878.32/1883.60 c #Conflicts: 452000 | #Constraints: 21763
1878.32/1883.60 c #Conflicts: 453000 | #Constraints: 22763
1878.32/1883.60 c #Conflicts: 454000 | #Constraints: 23763
1878.32/1883.60 c #Conflicts: 455000 | #Constraints: 24763
1878.32/1883.60 c #Conflicts: 456000 | #Constraints: 25763
1878.32/1883.60 c #Conflicts: 457000 | #Constraints: 26763
1878.32/1883.60 c #Conflicts: 458000 | #Constraints: 27763
1878.32/1883.60 c #Conflicts: 459000 | #Constraints: 28763
1878.32/1883.60 c #Conflicts: 460000 | #Constraints: 29763
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 461000 | #Constraints: 17368
1878.32/1883.60 c #Conflicts: 462000 | #Constraints: 18368
1878.32/1883.60 c #Conflicts: 463000 | #Constraints: 19368
1878.32/1883.60 c #Conflicts: 464000 | #Constraints: 20368
1878.32/1883.60 c #Conflicts: 465000 | #Constraints: 21368
1878.32/1883.60 c #Conflicts: 466000 | #Constraints: 22368
1878.32/1883.60 c #Conflicts: 467000 | #Constraints: 23368
1878.32/1883.60 c #Conflicts: 468000 | #Constraints: 24368
1878.32/1883.60 c #Conflicts: 469000 | #Constraints: 25368
1878.32/1883.60 c #Conflicts: 470000 | #Constraints: 26368
1878.32/1883.60 c #Conflicts: 471000 | #Constraints: 27368
1878.32/1883.60 c #Conflicts: 472000 | #Constraints: 28368
1878.32/1883.60 c #Conflicts: 473000 | #Constraints: 29368
1878.32/1883.60 c #Conflicts: 474000 | #Constraints: 30368
1878.32/1883.60 c INPROCESSING
1878.32/1883.60 c GARBAGE COLLECT
1878.32/1883.60 c #Conflicts: 475000 | #Constraints: 17755
1878.32/1883.60 c #Conflicts: 476000 | #Constraints: 18755
2369.61/2376.22 c #Conflicts: 477000 | #Constraints: 19755
2369.61/2376.22 c #Conflicts: 478000 | #Constraints: 20755
2369.61/2376.22 c #Conflicts: 479000 | #Constraints: 21755
2369.61/2376.22 c #Conflicts: 480000 | #Constraints: 22755
2369.61/2376.22 c #Conflicts: 481000 | #Constraints: 23755
2369.61/2376.22 c #Conflicts: 482000 | #Constraints: 24755
2369.61/2376.22 c #Conflicts: 483000 | #Constraints: 25755
2369.61/2376.22 c #Conflicts: 484000 | #Constraints: 26755
2369.61/2376.22 c #Conflicts: 485000 | #Constraints: 27755
2369.61/2376.22 c #Conflicts: 486000 | #Constraints: 28755
2369.61/2376.22 c #Conflicts: 487000 | #Constraints: 29755
2369.61/2376.22 c #Conflicts: 488000 | #Constraints: 30755
2369.61/2376.22 c INPROCESSING
2369.61/2376.22 c GARBAGE COLLECT
2369.61/2376.22 c #Conflicts: 489000 | #Constraints: 17963
2369.61/2376.22 c #Conflicts: 490000 | #Constraints: 18963
2369.61/2376.22 c #Conflicts: 491000 | #Constraints: 19963
2369.61/2376.22 c #Conflicts: 492000 | #Constraints: 20963
2369.61/2376.22 c #Conflicts: 493000 | #Constraints: 21963
2369.61/2376.22 c #Conflicts: 494000 | #Constraints: 22963
2369.61/2376.22 c #Conflicts: 495000 | #Constraints: 23963
2369.61/2376.22 c #Conflicts: 496000 | #Constraints: 24963
2369.61/2376.22 c #Conflicts: 497000 | #Constraints: 25963
2369.61/2376.22 c #Conflicts: 498000 | #Constraints: 26963
2369.61/2376.22 c #Conflicts: 499000 | #Constraints: 27963
2369.61/2376.22 c #Conflicts: 500000 | #Constraints: 28963
2369.61/2376.22 c #Conflicts: 501000 | #Constraints: 29963
2369.61/2376.22 c #Conflicts: 502000 | #Constraints: 30963
2369.61/2376.22 c INPROCESSING
2369.61/2376.22 c GARBAGE COLLECT
2369.61/2376.22 c #Conflicts: 503000 | #Constraints: 17969
2369.61/2376.22 c #Conflicts: 504000 | #Constraints: 18969
2369.61/2376.22 c #Conflicts: 505000 | #Constraints: 19969
2369.61/2376.22 c #Conflicts: 506000 | #Constraints: 20969
2369.61/2376.22 c #Conflicts: 507000 | #Constraints: 21969
2369.61/2376.22 c #Conflicts: 508000 | #Constraints: 22969
2369.61/2376.22 c #Conflicts: 509000 | #Constraints: 23969
2369.61/2376.22 c #Conflicts: 510000 | #Constraints: 24969
2369.61/2376.22 c #Conflicts: 511000 | #Constraints: 25969
2369.61/2376.22 c #Conflicts: 512000 | #Constraints: 26969
2369.61/2376.22 c #Conflicts: 513000 | #Constraints: 27969
2369.61/2376.22 c #Conflicts: 514000 | #Constraints: 28969
2369.61/2376.22 c #Conflicts: 515000 | #Constraints: 29969
2369.61/2376.22 c #Conflicts: 516000 | #Constraints: 30969
2369.61/2376.22 c INPROCESSING
2369.61/2376.22 c GARBAGE COLLECT
2369.61/2376.22 c #Conflicts: 517000 | #Constraints: 17775
2369.61/2376.22 c #Conflicts: 518000 | #Constraints: 18775
2369.61/2376.22 c #Conflicts: 519000 | #Constraints: 19775
2369.61/2376.22 c #Conflicts: 520000 | #Constraints: 20775
2369.61/2376.22 c #Conflicts: 521000 | #Constraints: 21775
2369.61/2376.22 c #Conflicts: 522000 | #Constraints: 22775
2369.61/2376.22 c #Conflicts: 523000 | #Constraints: 23775
2369.61/2376.22 c #Conflicts: 524000 | #Constraints: 24775
2369.61/2376.22 c #Conflicts: 525000 | #Constraints: 25775
2369.61/2376.22 c #Conflicts: 526000 | #Constraints: 26775
2369.61/2376.22 c #Conflicts: 527000 | #Constraints: 27775
2369.61/2376.22 c #Conflicts: 528000 | #Constraints: 28775
2369.61/2376.22 c #Conflicts: 529000 | #Constraints: 29775
2369.61/2376.22 c #Conflicts: 530000 | #Constraints: 30775
2369.61/2376.22 c #Conflicts: 531000 | #Constraints: 31775
2369.61/2376.22 c INPROCESSING
2369.61/2376.22 c GARBAGE COLLECT
2369.61/2376.22 c #Conflicts: 532000 | #Constraints: 18384
2369.61/2376.22 c #Conflicts: 533000 | #Constraints: 19384
2369.61/2376.22 c #Conflicts: 534000 | #Constraints: 20384
2369.61/2376.22 c #Conflicts: 535000 | #Constraints: 21384
2369.61/2376.22 c #Conflicts: 536000 | #Constraints: 22384
2369.61/2376.22 c #Conflicts: 537000 | #Constraints: 23384
2369.61/2376.22 c #Conflicts: 538000 | #Constraints: 24384
2369.61/2376.22 c #Conflicts: 539000 | #Constraints: 25384
2369.61/2376.22 c #Conflicts: 540000 | #Constraints: 26384
2369.61/2376.22 c #Conflicts: 541000 | #Constraints: 27384
2369.61/2376.22 c #Conflicts: 542000 | #Constraints: 28384
2369.61/2376.22 c #Conflicts: 543000 | #Constraints: 29384
2369.61/2376.22 c #Conflicts: 544000 | #Constraints: 30384
2369.61/2376.22 c #Conflicts: 545000 | #Constraints: 31384
2369.61/2376.22 c #Conflicts: 546000 | #Constraints: 32384
2369.61/2376.22 c INPROCESSING
2369.61/2376.22 c GARBAGE COLLECT
2369.61/2376.22 c #Conflicts: 547000 | #Constraints: 18790
2369.61/2376.22 c #Conflicts: 548000 | #Constraints: 19790
2369.61/2376.22 c #Conflicts: 549000 | #Constraints: 20790
2369.61/2376.22 c #Conflicts: 550000 | #Constraints: 21790
2369.61/2376.22 c #Conflicts: 551000 | #Constraints: 22790
2369.61/2376.22 c #Conflicts: 552000 | #Constraints: 23790
2983.28/2991.67 c #Conflicts: 553000 | #Constraints: 24790
2983.28/2991.67 c #Conflicts: 554000 | #Constraints: 25790
2983.28/2991.67 c #Conflicts: 555000 | #Constraints: 26790
2983.28/2991.67 c #Conflicts: 556000 | #Constraints: 27790
2983.28/2991.67 c #Conflicts: 557000 | #Constraints: 28790
2983.28/2991.67 c #Conflicts: 558000 | #Constraints: 29790
2983.28/2991.67 c #Conflicts: 559000 | #Constraints: 30790
2983.28/2991.67 c #Conflicts: 560000 | #Constraints: 31790
2983.28/2991.67 c #Conflicts: 561000 | #Constraints: 32790
2983.28/2991.67 c INPROCESSING
2983.28/2991.67 c GARBAGE COLLECT
2983.28/2991.67 c #Conflicts: 562000 | #Constraints: 18982
2983.28/2991.67 c #Conflicts: 563000 | #Constraints: 19982
2983.28/2991.67 c #Conflicts: 564000 | #Constraints: 20982
2983.28/2991.67 c #Conflicts: 565000 | #Constraints: 21982
2983.28/2991.67 c #Conflicts: 566000 | #Constraints: 22982
2983.28/2991.67 c #Conflicts: 567000 | #Constraints: 23982
2983.28/2991.67 c #Conflicts: 568000 | #Constraints: 24982
2983.28/2991.67 c #Conflicts: 569000 | #Constraints: 25982
2983.28/2991.67 c #Conflicts: 570000 | #Constraints: 26982
2983.28/2991.67 c #Conflicts: 571000 | #Constraints: 27982
2983.28/2991.67 c #Conflicts: 572000 | #Constraints: 28982
2983.28/2991.67 c #Conflicts: 573000 | #Constraints: 29982
2983.28/2991.67 c #Conflicts: 574000 | #Constraints: 30982
2983.28/2991.67 c #Conflicts: 575000 | #Constraints: 31982
2983.28/2991.67 c #Conflicts: 576000 | #Constraints: 32982
2983.28/2991.67 c INPROCESSING
2983.28/2991.67 c GARBAGE COLLECT
2983.28/2991.67 c #Conflicts: 577000 | #Constraints: 18985
2983.28/2991.67 c #Conflicts: 578000 | #Constraints: 19985
2983.28/2991.67 c #Conflicts: 579000 | #Constraints: 20985
2983.28/2991.67 c #Conflicts: 580000 | #Constraints: 21985
2983.28/2991.67 c #Conflicts: 581000 | #Constraints: 22985
2983.28/2991.67 c #Conflicts: 582000 | #Constraints: 23985
2983.28/2991.67 c #Conflicts: 583000 | #Constraints: 24985
2983.28/2991.67 c #Conflicts: 584000 | #Constraints: 25985
2983.28/2991.67 c #Conflicts: 585000 | #Constraints: 26985
2983.28/2991.67 c #Conflicts: 586000 | #Constraints: 27985
2983.28/2991.67 c #Conflicts: 587000 | #Constraints: 28985
2983.28/2991.67 c #Conflicts: 588000 | #Constraints: 29985
2983.28/2991.67 c #Conflicts: 589000 | #Constraints: 30985
2983.28/2991.67 c #Conflicts: 590000 | #Constraints: 31985
2983.28/2991.67 c #Conflicts: 591000 | #Constraints: 32985
2983.28/2991.67 c INPROCESSING
2983.28/2991.67 c GARBAGE COLLECT
2983.28/2991.67 c #Conflicts: 592000 | #Constraints: 18774
2983.28/2991.67 c #Conflicts: 593000 | #Constraints: 19774
2983.28/2991.67 c #Conflicts: 594000 | #Constraints: 20774
2983.28/2991.67 c #Conflicts: 595000 | #Constraints: 21774
2983.28/2991.67 c #Conflicts: 596000 | #Constraints: 22774
2983.28/2991.67 c #Conflicts: 597000 | #Constraints: 23774
2983.28/2991.67 c #Conflicts: 598000 | #Constraints: 24774
2983.28/2991.67 c #Conflicts: 599000 | #Constraints: 25774
2983.28/2991.67 c #Conflicts: 600000 | #Constraints: 26774
2983.28/2991.67 c #Conflicts: 601000 | #Constraints: 27774
2983.28/2991.67 c #Conflicts: 602000 | #Constraints: 28774
2983.28/2991.67 c #Conflicts: 603000 | #Constraints: 29774
2983.28/2991.67 c #Conflicts: 604000 | #Constraints: 30774
2983.28/2991.67 c #Conflicts: 605000 | #Constraints: 31774
2983.28/2991.67 c #Conflicts: 606000 | #Constraints: 32774
2983.28/2991.67 c #Conflicts: 607000 | #Constraints: 33774
2983.28/2991.67 c INPROCESSING
2983.28/2991.67 c GARBAGE COLLECT
2983.28/2991.67 c #Conflicts: 608000 | #Constraints: 19370
2983.28/2991.67 c #Conflicts: 609000 | #Constraints: 20370
2983.28/2991.67 c #Conflicts: 610000 | #Constraints: 21370
2983.28/2991.67 c #Conflicts: 611000 | #Constraints: 22370
2983.28/2991.67 c #Conflicts: 612000 | #Constraints: 23370
2983.28/2991.67 c #Conflicts: 613000 | #Constraints: 24370
2983.28/2991.67 c #Conflicts: 614000 | #Constraints: 25370
2983.28/2991.67 c #Conflicts: 615000 | #Constraints: 26370
2983.28/2991.67 c #Conflicts: 616000 | #Constraints: 27370
2983.28/2991.67 c #Conflicts: 617000 | #Constraints: 28370
2983.28/2991.67 c #Conflicts: 618000 | #Constraints: 29370
2983.28/2991.67 c #Conflicts: 619000 | #Constraints: 30370
2983.28/2991.67 c #Conflicts: 620000 | #Constraints: 31370
2983.28/2991.67 c #Conflicts: 621000 | #Constraints: 32370
2983.28/2991.67 c #Conflicts: 622000 | #Constraints: 33370
2983.28/2991.67 c #Conflicts: 623000 | #Constraints: 34370
2983.28/2991.67 c INPROCESSING
2983.28/2991.67 c GARBAGE COLLECT
2983.28/2991.67 c #Conflicts: 624000 | #Constraints: 19780
2983.28/2991.67 c #Conflicts: 625000 | #Constraints: 20780
2983.28/2991.67 c #Conflicts: 626000 | #Constraints: 21780
2983.28/2991.67 c #Conflicts: 627000 | #Constraints: 22780
2983.28/2991.67 c #Conflicts: 628000 | #Constraints: 23780
3438.03/3447.63 c #Conflicts: 629000 | #Constraints: 24780
3438.03/3447.63 c #Conflicts: 630000 | #Constraints: 25780
3438.03/3447.63 c #Conflicts: 631000 | #Constraints: 26780
3438.03/3447.63 c #Conflicts: 632000 | #Constraints: 27780
3438.03/3447.63 c #Conflicts: 633000 | #Constraints: 28780
3438.03/3447.63 c #Conflicts: 634000 | #Constraints: 29780
3438.03/3447.63 c #Conflicts: 635000 | #Constraints: 30780
3438.03/3447.63 c #Conflicts: 636000 | #Constraints: 31780
3438.03/3447.63 c #Conflicts: 637000 | #Constraints: 32780
3438.03/3447.63 c #Conflicts: 638000 | #Constraints: 33780
3438.03/3447.63 c #Conflicts: 639000 | #Constraints: 34780
3438.03/3447.63 c INPROCESSING
3438.03/3447.63 c GARBAGE COLLECT
3438.03/3447.63 c #Conflicts: 640000 | #Constraints: 19985
3438.03/3447.63 c #Conflicts: 641000 | #Constraints: 20985
3438.03/3447.63 c #Conflicts: 642000 | #Constraints: 21985
3438.03/3447.63 c #Conflicts: 643000 | #Constraints: 22985
3438.03/3447.63 c #Conflicts: 644000 | #Constraints: 23985
3438.03/3447.63 c #Conflicts: 645000 | #Constraints: 24985
3438.03/3447.63 c #Conflicts: 646000 | #Constraints: 25985
3438.03/3447.63 c #Conflicts: 647000 | #Constraints: 26985
3438.03/3447.63 c #Conflicts: 648000 | #Constraints: 27985
3438.03/3447.63 c #Conflicts: 649000 | #Constraints: 28985
3438.03/3447.63 c #Conflicts: 650000 | #Constraints: 29985
3438.03/3447.63 c #Conflicts: 651000 | #Constraints: 30985
3438.03/3447.63 c #Conflicts: 652000 | #Constraints: 31985
3438.03/3447.63 c #Conflicts: 653000 | #Constraints: 32985
3438.03/3447.63 c #Conflicts: 654000 | #Constraints: 33985
3438.03/3447.63 c #Conflicts: 655000 | #Constraints: 34985
3438.03/3447.63 c INPROCESSING
3438.03/3447.63 c GARBAGE COLLECT
3438.03/3447.63 c #Conflicts: 656000 | #Constraints: 19974
3438.03/3447.63 c #Conflicts: 657000 | #Constraints: 20974
3438.03/3447.63 c #Conflicts: 658000 | #Constraints: 21974
3438.03/3447.63 c #Conflicts: 659000 | #Constraints: 22974
3438.03/3447.63 c #Conflicts: 660000 | #Constraints: 23974
3438.03/3447.63 c #Conflicts: 661000 | #Constraints: 24974
3438.03/3447.63 c #Conflicts: 662000 | #Constraints: 25974
3438.03/3447.63 c #Conflicts: 663000 | #Constraints: 26974
3438.03/3447.63 c #Conflicts: 664000 | #Constraints: 27974
3438.03/3447.63 c #Conflicts: 665000 | #Constraints: 28974
3438.03/3447.63 c #Conflicts: 666000 | #Constraints: 29974
3438.03/3447.63 c #Conflicts: 667000 | #Constraints: 30974
3438.03/3447.63 c #Conflicts: 668000 | #Constraints: 31974
3438.03/3447.63 c #Conflicts: 669000 | #Constraints: 32974
3438.03/3447.63 c #Conflicts: 670000 | #Constraints: 33974
3438.03/3447.63 c #Conflicts: 671000 | #Constraints: 34974
3438.03/3447.63 c INPROCESSING
3438.03/3447.63 c GARBAGE COLLECT
3438.03/3447.63 c #Conflicts: 672000 | #Constraints: 19780
3438.03/3447.63 c #Conflicts: 673000 | #Constraints: 20780
3438.03/3447.63 c #Conflicts: 674000 | #Constraints: 21780
3438.03/3447.63 c #Conflicts: 675000 | #Constraints: 22780
3438.03/3447.63 c #Conflicts: 676000 | #Constraints: 23780
3438.03/3447.63 c #Conflicts: 677000 | #Constraints: 24780
3438.03/3447.63 c #Conflicts: 678000 | #Constraints: 25780
3438.03/3447.63 c #Conflicts: 679000 | #Constraints: 26780
3438.03/3447.63 c #Conflicts: 680000 | #Constraints: 27780
3438.03/3447.63 c #Conflicts: 681000 | #Constraints: 28780
3438.03/3447.63 c #Conflicts: 682000 | #Constraints: 29780
3438.03/3447.63 c #Conflicts: 683000 | #Constraints: 30780
3438.03/3447.63 c #Conflicts: 684000 | #Constraints: 31780
3438.03/3447.63 c GLOBAL bounds - >= -1407 @ 3430.8
3438.23/3447.87 c GLOBAL bounds - >= -1407 @ 3431.04
3439.02/3448.67 c #Conflicts: 685000 | #Constraints: 32784
3439.02/3448.67 c GLOBAL bounds - >= -1407 @ 3431.83
3600.02/3610.13 c #Conflicts: 686000 | #Constraints: 33786
3600.02/3610.13 c #Conflicts: 687000 | #Constraints: 34786
3600.02/3610.13 c #Conflicts: 688000 | #Constraints: 35786
3600.02/3610.13 c INPROCESSING
3600.02/3610.13 c GARBAGE COLLECT
3600.02/3610.13 c #Conflicts: 689000 | #Constraints: 20375
3600.02/3610.13 c #Conflicts: 690000 | #Constraints: 21375
3600.02/3610.13 c #Conflicts: 691000 | #Constraints: 22375
3600.02/3610.13 c #Conflicts: 692000 | #Constraints: 23375
3600.02/3610.13 c #Conflicts: 693000 | #Constraints: 24375
3600.02/3610.13 c #Conflicts: 694000 | #Constraints: 25375
3600.02/3610.13 c #Conflicts: 695000 | #Constraints: 26375
3600.02/3610.13 c #Conflicts: 696000 | #Constraints: 27375
3600.02/3610.13 c #Conflicts: 697000 | #Constraints: 28375
3600.02/3610.13 c #Conflicts: 698000 | #Constraints: 29375
3600.02/3610.13 c #Conflicts: 699000 | #Constraints: 30375
3600.02/3610.13 c #Conflicts: 700000 | #Constraints: 31375
3600.02/3610.13 c #Conflicts: 701000 | #Constraints: 32375
3600.02/3610.13 c #Conflicts: 702000 | #Constraints: 33375
3600.02/3610.13 c #Conflicts: 703000 | #Constraints: 34375
3600.02/3610.13 c #Conflicts: 704000 | #Constraints: 35375
3600.02/3610.13 c cpu time 3592.61 s
3600.02/3610.13 c deterministic time 2 2.00e+00
3600.02/3610.13 c optimization time 3592.6 s
3600.02/3610.13 c total solve time 0 s
3600.02/3610.13 c core-guided solve time 0 s
3600.02/3610.13 c propagation time 0.0007 s
3600.02/3610.13 c conflict analysis time 0 s
3600.02/3610.13 c propagations 1
3600.02/3610.13 c resolve steps 0
3600.02/3610.13 c decisions 0
3600.02/3610.13 c conflicts 0
3600.02/3610.13 c restarts 0
3600.02/3610.13 c inprocessing phases 0
3600.02/3610.13 c garbage collections 0 ,( -nan )
3600.02/3610.13 c input clauses 1953 ,( 75.90 )
3600.02/3610.13 c input cardinalities 620 ,( 24.10 )
3600.02/3610.13 c input general constraints 0 ,( 0.00 )
3600.02/3610.13 c input average constraint length 6.19
3600.02/3610.13 c input average constraint degree 3.03
3600.02/3610.13 c learned clauses 0 ,( 0.00 )
3600.02/3610.13 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.13 c learned general constraints 0 ,( 0.00 )
3600.02/3610.13 c learned average constraint length 0.00
3600.02/3610.13 c learned average constraint degree 0.00
3600.02/3610.13 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.13 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.13 c watched constraints 0 ,( -nan )
3600.02/3610.13 c counting constraints 0 ,( -nan )
3600.02/3610.13 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.13 c gcd simplifications 0
3600.02/3610.13 c detected cardinalities 0
3600.02/3610.13 c weakened non-implied lits 0
3600.02/3610.13 c weakened non-implying lits 0
3600.02/3610.13 c original variables 3300
3600.02/3610.13 c clausal propagations 0
3600.02/3610.13 c cardinality propagations 0
3600.02/3610.13 c watched propagations 0
3600.02/3610.13 c counting propagations 0
3600.02/3610.13 c watch lookups 0
3600.02/3610.13 c watch backjump lookups 0
3600.02/3610.13 c watch checks 0
3600.02/3610.13 c propagation checks 0
3600.02/3610.13 c constraint additions 0
3600.02/3610.13 c trail pops 0
3600.02/3610.13 c formula constraints 2573
3600.02/3610.13 c learned constraints 0
3600.02/3610.13 c bound constraints 0
3600.02/3610.13 c core-guided constraints 0
3600.02/3610.13 c encountered formula constraints 0
3600.02/3610.13 c encountered learned constraints 0
3600.02/3610.13 c encountered bound constraints 0
3600.02/3610.13 c encountered core-guided constraints 0
3600.02/3610.13 c LP total time 0 s
3600.02/3610.13 c LP solve time 0 s
3600.02/3610.13 c LP constraints added 0
3600.02/3610.13 c LP constraints removed 0
3600.02/3610.13 c LP pivots internal 0
3600.02/3610.13 c LP pivots root 0
3600.02/3610.13 c LP calls 0
3600.02/3610.13 c LP optimalities 0
3600.02/3610.13 c LP no pivot count 0
3600.02/3610.13 c LP infeasibilities 0
3600.02/3610.13 c LP valid Farkas constraints 0
3600.02/3610.13 c LP learned Farkas constraints 0
3600.02/3610.13 c LP basis resets 0
3600.02/3610.13 c LP cycling count 0
3600.02/3610.13 c LP singular count 0
3600.02/3610.13 c LP no primal count 0
3600.02/3610.13 c LP no farkas count 0
3600.02/3610.13 c LP other issue count 0
3600.02/3610.13 c LP Gomory cuts 0
3600.02/3610.13 c LP learned cuts 0
3600.02/3610.13 c LP deleted cuts 0
3600.02/3610.13 c LP encountered Gomory constraints 0
3600.02/3610.13 c LP encountered Farkas constraints 0
3600.02/3610.13 c LP encountered learned Farkas constraints 0
3600.02/3610.13 c CG auxiliary variables introduced 0
3600.02/3610.13 c CG solutions found 0
3600.02/3610.13 c CG cores constructed 0
3600.02/3610.13 c CG core cardinality constraints returned 0
3600.02/3610.13 c CG unit cores 0
3600.02/3610.13 c CG single cores 0
3600.02/3610.13 c CG blocks removed during cardinality reduction 0
3600.02/3610.13 c CG first core best 0
3600.02/3610.13 c CG decision core best 0
3600.02/3610.13 c CG core reduction tie 0
3600.02/3610.13 c CG core degree average 0.00
3600.02/3610.13 c CG core slack average 0.00
3600.02/3610.13 c CG core upper bound improvements 0
3600.02/3610.13 c STR number of successful calls 0
3600.02/3610.13 c STR number of unsuccessful calls 0
3600.02/3610.13 c STR number of inconclusive calls 0
3600.02/3610.13 c STR number of successful attempts 0
3600.02/3610.13 c STR number of unsuccessful attempts 0
3600.02/3610.13 c STR number of inconclusive attempts 0
3600.02/3610.13 c STR average degree increase per successful call inf
3600.02/3610.13 c STR average degree increase per successful attempt inf
3600.02/3610.13 c STR total number of conflicts for successful attempts 0
3600.02/3610.13 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.13 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.13 c STR average number of conflicts per successful attempt inf
3600.02/3610.13 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.13 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.13 c AVG.sumWPerc -nan
3600.02/3610.13 c bigint constraints 0
3600.02/3610.13 s UNKNOWN
3600.02/3610.13 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: 63708 MiB (62649 MiB free)
memory of node 1: 64465 MiB (63632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484078-1751283664/watcher-4484078-1751283664 -o /tmp/evaluation-result-4484078-1751283664/solver-4484078-1751283664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760 run-opt.sh HOME/instance-4484078-1751283664.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37943, runsolver pid=37940
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129292280/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=66768 memory=17088 CPUtime=0.09 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 2727 0 0 0 5 4 0 0 20 0 1 0 44044009 68370432 4272 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 16692 4272 2368 1147 0 4119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70960 KiB
Current children cumulated memory: 19904 KiB
[startup+0.205496 s]*
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129289256/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=68360 memory=19392 CPUtime=0.19 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 3306 0 0 0 12 7 0 0 20 0 1 0 44044009 70000640 4848 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 17090 4848 2368 1147 0 4517 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72552 KiB
Current children cumulated memory: 22208 KiB
[startup+0.305174 s]*
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129281128/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=71528 memory=24780 CPUtime=0.29 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 4142 0 0 0 19 10 0 0 20 0 1 0 44044009 73244672 6195 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 17882 6195 2368 1147 0 5309 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75720 KiB
Current children cumulated memory: 27596 KiB
[startup+0.700168 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129251076/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=91252 memory=44860 CPUtime=0.67 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 8638 0 0 0 50 17 0 0 20 0 1 0 44044009 93442048 11215 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 22813 11215 2368 1147 0 10240 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 95444 KiB
Current children cumulated memory: 47676 KiB
[startup+1.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129199540/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=186048 memory=117436 CPUtime=1.47 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 23718 0 0 0 125 22 0 0 20 0 1 0 44044009 190513152 29359 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 46512 29359 2368 1147 0 33939 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 190240 KiB
Current children cumulated memory: 120252 KiB
[startup+3.10542 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=129065596/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=206328 memory=149936 CPUtime=3.08 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 28270 0 0 0 280 28 0 0 20 0 1 0 44044009 211279872 37484 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 51582 37484 2368 1147 0 39009 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210520 KiB
Current children cumulated memory: 152752 KiB
[startup+6.3002 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 37945
/proc/meminfo: memFree=128928160/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=320304 memory=247612 CPUtime=6.27 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 47076 0 0 0 591 36 0 0 20 0 1 0 44044009 327991296 61903 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 80076 61903 2368 1147 0 67503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 324496 KiB
Current children cumulated memory: 250428 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 37945
/proc/meminfo: memFree=128712852/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=530988 memory=370924 CPUtime=12.65 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 73320 0 0 0 1216 49 0 0 20 0 1 0 44044009 543731712 92731 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 132747 92731 2368 1147 0 120174 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 535180 KiB
Current children cumulated memory: 373740 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 37945
/proc/meminfo: memFree=128423232/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=550956 memory=446216 CPUtime=25.41 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 83456 0 0 0 2475 66 0 0 20 0 1 0 44044009 564178944 111554 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 137739 111554 2368 1147 0 125166 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 555148 KiB
Current children cumulated memory: 449032 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 37993
/proc/meminfo: memFree=128351032/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=635676 memory=484112 CPUtime=50.94 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 90904 0 0 0 4994 100 0 0 20 0 1 0 44044009 650932224 121028 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 158919 121028 2368 1147 0 146346 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 639868 KiB
Current children cumulated memory: 486928 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/270 37994
/proc/meminfo: memFree=127953044/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=936492 memory=721832 CPUtime=101.99 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 141655 0 0 0 10036 163 0 0 20 0 1 0 44044009 958967808 180458 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 234123 180458 2368 1147 0 221550 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 940684 KiB
Current children cumulated memory: 724648 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 37996
/proc/meminfo: memFree=127724952/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=944428 memory=813280 CPUtime=161.84 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 156335 0 0 0 15956 228 0 0 20 0 1 0 44044009 967094272 203320 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 236107 203320 2368 1147 0 223534 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 948620 KiB
Current children cumulated memory: 816096 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/269 37999
/proc/meminfo: memFree=127562784/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1096404 memory=884988 CPUtime=221.67 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 165123 0 0 0 21906 261 0 0 20 0 1 0 44044009 1122717696 221247 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 274101 221247 2368 1147 0 261528 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/37945/statm: 492317 455304 2368 1147 0 479744 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1973460 KiB
Current children cumulated memory: 1824032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 38151
/proc/meminfo: memFree=125106240/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969268 memory=1821216 CPUtime=3153.5 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295013 0 0 0 314650 700 0 0 20 0 1 0 44044009 2016530432 455304 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492317 455304 2368 1147 0 479744 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 1973460 KiB
Current children cumulated memory: 1824032 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 38153
/proc/meminfo: memFree=125105796/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969268 memory=1821216 CPUtime=3213.34 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295108 0 0 0 320630 704 0 0 20 0 1 0 44044009 2016530432 455304 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492317 455304 2368 1147 0 479744 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 1973460 KiB
Current children cumulated memory: 1824032 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 38155
/proc/meminfo: memFree=125097032/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969780 memory=1833924 CPUtime=3273.18 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295229 0 0 0 326608 710 0 0 20 0 1 0 44044009 2017054720 458481 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492445 458481 2368 1147 0 479872 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 1973972 KiB
Current children cumulated memory: 1836740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 38157
/proc/meminfo: memFree=125097088/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969780 memory=1833924 CPUtime=3333.02 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295229 0 0 0 332587 715 0 0 20 0 1 0 44044009 2017054720 458481 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492445 458481 2368 1147 0 479872 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 1973972 KiB
Current children cumulated memory: 1836740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 38159
/proc/meminfo: memFree=125095912/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969780 memory=1833924 CPUtime=3392.85 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295360 0 0 0 338563 722 0 0 20 0 1 0 44044009 2017054720 458481 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492445 458481 2368 1147 0 479872 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 1973972 KiB
Current children cumulated memory: 1836740 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 38168
/proc/meminfo: memFree=125066064/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1969780 memory=1833924 CPUtime=3452.68 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295473 0 0 0 344539 729 0 0 20 0 1 0 44044009 2017054720 458481 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 492445 458481 2368 1147 0 479872 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 1973972 KiB
Current children cumulated memory: 1836740 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 38170
/proc/meminfo: memFree=125023348/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1972340 memory=1843500 CPUtime=3512.49 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295817 0 0 0 350512 737 0 0 20 0 1 0 44044009 2019676160 460875 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 493085 460875 2368 1147 0 480512 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 1976532 KiB
Current children cumulated memory: 1846316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 38172
/proc/meminfo: memFree=124997480/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1972340 memory=1843500 CPUtime=3572.31 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 295817 0 0 0 356489 742 0 0 20 0 1 0 44044009 2019676160 460875 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 493085 460875 2368 1147 0 480512 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 1976532 KiB
Current children cumulated memory: 1846316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 4/265 38201
/proc/meminfo: memFree=127155356/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1995892 memory=1856300 CPUtime=3600.02 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 299039 0 0 0 359258 744 0 0 20 0 1 0 44044009 2043793408 464075 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 498973 464075 2368 1147 0 486400 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2000084 KiB
Current children cumulated memory: 1859116 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 37943 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.001925 s
Sleeping 2 seconds
[startup+3610.14 s]
# the end of solver process 37945 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3592.62 s, system=7.45761 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
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 4/265 38201
/proc/meminfo: memFree=127155356/131249988 swapFree=33010684/33010684
[pid=37943] ppid=37940 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/37943/stat : 37943 (run-opt.sh) S 37940 37943 37500 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 44044009 4292608 704 18446744073709551615 94865661644800 94865662539333 140727449092128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94865662778384 94865662826128 94865671016448 140727449098605 140727449098728 140727449098728 140727449104330 0
/proc/37943/statm: 1048 704 672 219 0 110 0
[pid=37945] ppid=37943 vsize=1995892 memory=1856300 CPUtime=3600.02 cores=4,6
/proc/37945/stat : 37945 (roundingsat) R 37943 37943 37500 0 -1 4194304 299039 0 0 0 359258 744 0 0 20 0 1 0 44044009 2043793408 464075 18446744073709551615 4227072 8923433 140733473098352 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40808448 140733473106338 140733473106472 140733473106472 140733473112042 0
/proc/37945/statm: 498973 464075 2368 1147 0 486400 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2000084 KiB
Current children cumulated memory: 1859116 KiB
Child status: 2
Real time (s): 3610.14
CPU time (s): 3600.07
CPU user time (s): 3592.62
CPU system time (s): 7.45761
CPU usage (%): 99.7212
Max. virtual memory (cumulated for all children) (KiB): 2000084
Max. memory (cumulated for all children) (KiB): 1859116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.62
system time used= 7.45761
maximum resident set size= 1856556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299265
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= 224
involuntary context switches= 19530
# summary of solver processes directly reported to runsolver:
# pid: 37943,37945
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.62
# total CPU system time (s): 7.45761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33452 second user time and 16.842 second system time
The end
Begin job on nodeC020 at 2025-06-30 13:41:04
IDJOB=4484078
IDBENCH=146649
IDSOLVER=3350
FILE ID=nodeC020/4484078-1751283664
RUNJOBID= nodeC020-1751280053-37511
SLURM_JOB_ID= 9594223
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484078-1751283664/watcher-4484078-1751283664 -o /tmp/evaluation-result-4484078-1751283664/solver-4484078-1751283664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37511 --watchdog 3760 run-opt.sh HOME/instance-4484078-1751283664.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=485727809
nodeC020 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.918
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.79
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.822
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.79
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 : 3632.253
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.79
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.79
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.278
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.79
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 : 3600.301
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.79
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.896
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129317340 kB
MemAvailable: 129485080 kB
Buffers: 3280 kB
Cached: 973168 kB
SwapCached: 0 kB
Active: 621020 kB
Inactive: 665860 kB
Active(anon): 328496 kB
Inactive(anon): 0 kB
Active(file): 292524 kB
Inactive(file): 665860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 36748 kB
Writeback: 4 kB
AnonPages: 313264 kB
Mapped: 116280 kB
Shmem: 18056 kB
KReclaimable: 97188 kB
Slab: 183820 kB
SReclaimable: 97188 kB
SUnreclaim: 86632 kB
KernelStack: 4304 kB
PageTables: 3796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 732484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 141312 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC020 at 2025-06-30 14:41:15