0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.05/0.13 c #variables 21705 #constraints 4258
0.05/0.14 c objective is ce32
0.05/0.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.16 c GLOBAL bounds - >= 0 @ 0.093899
0.05/0.19 c GLOBAL bounds - >= 0 @ 0.108944
0.46/0.60 c GLOBAL bounds - >= 0 @ 0.492903
1.24/1.37 c GLOBAL bounds - >= 0 @ 1.19517
1.74/1.80 c GLOBAL bounds - >= 0 @ 1.56455
1.94/2.03 c GLOBAL bounds - >= 0 @ 1.77965
2.14/2.28 c GLOBAL bounds - >= 0 @ 2.01084
2.23/2.39 c GLOBAL bounds - >= 0 @ 2.09059
2.43/2.54 c GLOBAL bounds - >= 0 @ 2.22981
2.74/2.80 c GLOBAL bounds - >= 0 @ 2.47868
2.83/2.95 c GLOBAL bounds - >= 0 @ 2.59724
3.04/3.15 c GLOBAL bounds - >= 0 @ 2.74025
3.23/3.37 c GLOBAL bounds - >= 0 @ 2.93596
3.43/3.54 c GLOBAL bounds - >= 0 @ 3.10439
3.73/3.80 c GLOBAL bounds - >= 0 @ 3.34525
3.94/4.06 c GLOBAL bounds - >= 0 @ 3.59081
4.13/4.25 c GLOBAL bounds - >= 0 @ 3.74366
4.43/4.54 c GLOBAL bounds - >= 0 @ 4.02015
4.63/4.73 c GLOBAL bounds - >= 0 @ 4.19249
4.73/4.89 c GLOBAL bounds - >= 0 @ 4.32984
5.04/5.12 c GLOBAL bounds - >= 0 @ 4.53522
6.23/6.32 c #Conflicts: 1000 | #Constraints: 5296
6.23/6.32 c GLOBAL bounds - >= 0 @ 5.64445
7.12/7.24 c GLOBAL bounds - >= 0 @ 6.51219
7.82/7.99 c GLOBAL bounds - >= 0 @ 7.22366
8.22/8.37 c GLOBAL bounds - >= 0 @ 7.57166
8.42/8.57 c GLOBAL bounds - >= 0 @ 7.75075
8.72/8.85 c GLOBAL bounds - >= 0 @ 8.00585
9.12/9.20 c GLOBAL bounds - >= 0 @ 8.33463
9.52/9.63 c GLOBAL bounds - >= 0 @ 8.71097
10.02/10.11 c GLOBAL bounds - >= 0 @ 9.15093
10.32/10.45 c GLOBAL bounds - >= 0 @ 9.47616
10.62/10.74 c GLOBAL bounds - >= 0 @ 9.75163
10.92/11.01 c GLOBAL bounds - >= 0 @ 10.0031
11.21/11.30 c GLOBAL bounds - >= 0 @ 10.257
11.41/11.54 c GLOBAL bounds - >= 0 @ 10.4773
12.51/12.63 c #Conflicts: 2000 | #Constraints: 6324
12.51/12.63 c INPROCESSING
12.51/12.63 c GARBAGE COLLECT
12.51/12.63 c GLOBAL bounds - >= 0 @ 11.5364
13.11/13.29 c GLOBAL bounds - >= 0 @ 12.1727
13.31/13.40 c GLOBAL bounds - >= 0 @ 12.2795
13.71/13.82 c GLOBAL bounds - >= 0 @ 12.6751
16.80/16.93 c GLOBAL bounds - >= 0 @ 15.7529
17.30/17.45 c GLOBAL bounds - >= 0 @ 16.2694
19.49/19.62 c #Conflicts: 3000 | #Constraints: 6341
19.49/19.62 c GLOBAL bounds - >= 0 @ 18.3254
20.00/20.13 c GLOBAL bounds - >= 0 @ 18.8131
20.29/20.44 c GLOBAL bounds - >= 0 @ 19.1012
20.69/20.82 c GLOBAL bounds - >= 0 @ 19.4599
21.00/21.18 c GLOBAL bounds - >= 0 @ 19.8068
21.49/21.68 c GLOBAL bounds - >= 0 @ 20.2733
22.19/22.37 c GLOBAL bounds - >= 0 @ 20.9202
22.68/22.86 c GLOBAL bounds - >= 0 @ 21.3726
23.29/23.40 c GLOBAL bounds - >= 0 @ 21.8726
23.58/23.76 c GLOBAL bounds - >= 0 @ 22.2132
23.99/24.12 c GLOBAL bounds - >= 0 @ 22.5591
24.38/24.55 c GLOBAL bounds - >= 0 @ 22.9654
27.07/27.24 c #Conflicts: 4000 | #Constraints: 7365
27.07/27.24 c INPROCESSING
27.07/27.24 c GARBAGE COLLECT
27.07/27.24 c GLOBAL bounds - >= 0 @ 25.5849
28.37/28.51 c GLOBAL bounds - >= 0 @ 26.8185
29.67/29.85 c GLOBAL bounds - >= 0 @ 28.1184
30.46/30.62 c GLOBAL bounds - >= 0 @ 28.8593
30.97/31.18 c GLOBAL bounds - >= 0 @ 29.3989
32.26/32.47 c #Conflicts: 5000 | #Constraints: 6801
32.26/32.47 c GLOBAL bounds - >= 0 @ 30.6436
32.87/33.10 c GLOBAL bounds - >= 0 @ 31.2561
35.05/35.28 c GLOBAL bounds - >= 0 @ 33.3941
35.55/35.75 c GLOBAL bounds - >= 0 @ 33.8501
36.15/36.34 c GLOBAL bounds - >= 0 @ 34.4147
37.05/37.22 c #Conflicts: 6000 | #Constraints: 7811
37.05/37.22 c GLOBAL bounds - >= 0 @ 35.2591
38.14/38.36 c GLOBAL bounds - >= 0 @ 36.3309
39.85/40.05 c GLOBAL bounds - >= 0 @ 37.9595
40.34/40.52 c GLOBAL bounds - >= 0 @ 38.4121
43.24/43.45 c INPROCESSING
43.24/43.45 c GARBAGE COLLECT
43.24/43.45 c GLOBAL bounds - >= 0 @ 41.304
44.23/44.43 c GLOBAL bounds - >= 0 @ 42.273
44.73/44.99 c #Conflicts: 7000 | #Constraints: 6837
44.73/44.99 c GLOBAL bounds - >= 0 @ 42.8163
45.22/45.44 c GLOBAL bounds - >= 0 @ 43.2528
45.93/46.15 c GLOBAL bounds - >= 0 @ 43.9463
46.93/47.16 c GLOBAL bounds - >= 0 @ 44.9399
47.92/48.17 c GLOBAL bounds - >= 0 @ 45.9291
48.92/49.12 c GLOBAL bounds - >= 0 @ 46.8667
50.01/50.21 c #Conflicts: 8000 | #Constraints: 7849
50.01/50.21 c GLOBAL bounds - >= 0 @ 47.9249
50.71/50.93 c GLOBAL bounds - >= 0 @ 48.599
52.71/52.92 c GLOBAL bounds - >= 0 @ 50.5473
53.31/53.52 c GLOBAL bounds - >= 0 @ 51.1241
54.20/54.42 c GLOBAL bounds - >= 0 @ 51.8463
55.00/55.23 c GLOBAL bounds - >= 0 @ 52.6129
55.59/55.83 c GLOBAL bounds - >= 0 @ 53.1779
56.00/56.26 c GLOBAL bounds - >= 0 @ 53.5718
57.09/57.33 c #Conflicts: 9000 | #Constraints: 8865
57.09/57.33 c GLOBAL bounds - >= 0 @ 54.5899
61.29/61.58 c INPROCESSING
61.29/61.58 c GARBAGE COLLECT
61.29/61.58 c GLOBAL bounds - >= 0 @ 58.7618
62.18/62.47 c GLOBAL bounds - >= 0 @ 59.6256
63.18/63.42 c GLOBAL bounds - >= 0 @ 60.5382
64.07/64.37 c GLOBAL bounds - >= 0 @ 61.4464
64.78/65.07 c #Conflicts: 10000 | #Constraints: 7594
64.78/65.07 c GLOBAL bounds - >= 0 @ 62.1261
66.88/67.19 c GLOBAL bounds - >= 0 @ 64.2023
69.17/69.46 c GLOBAL bounds - >= 0 @ 66.4336
72.65/72.98 c #Conflicts: 11000 | #Constraints: 8600
72.65/72.98 c GLOBAL bounds - >= 0 @ 69.9034
73.25/73.59 c GLOBAL bounds - >= 0 @ 70.4735
74.95/75.21 c GLOBAL bounds - >= 0 @ 72.0325
76.14/76.48 c GLOBAL bounds - >= 0 @ 73.2415
77.04/77.38 c GLOBAL bounds - >= 0 @ 74.0901
80.23/80.58 c #Conflicts: 12000 | #Constraints: 9610
80.23/80.58 c INPROCESSING
80.23/80.58 c GARBAGE COLLECT
80.23/80.58 c GLOBAL bounds - >= 0 @ 77.2521
81.23/81.59 c GLOBAL bounds - >= 0 @ 78.221
82.13/82.40 c GLOBAL bounds - >= 0 @ 79.0003
83.42/83.70 c GLOBAL bounds - >= 0 @ 80.2737
84.12/84.45 c GLOBAL bounds - >= 0 @ 81.0001
85.32/85.65 c GLOBAL bounds - >= 0 @ 82.1677
86.41/86.70 c #Conflicts: 13000 | #Constraints: 8071
86.41/86.70 c GLOBAL bounds - >= 0 @ 83.1893
88.61/88.97 c GLOBAL bounds - >= 0 @ 85.411
92.60/92.96 c #Conflicts: 14000 | #Constraints: 9075
92.60/92.96 c GLOBAL bounds - >= 0 @ 89.3407
93.99/94.37 c GLOBAL bounds - >= 0 @ 90.7251
94.90/95.26 c GLOBAL bounds - >= 0 @ 91.6021
98.88/99.22 c #Conflicts: 15000 | #Constraints: 10081
98.88/99.22 c INPROCESSING
98.88/99.22 c GARBAGE COLLECT
98.88/99.22 c GLOBAL bounds - >= 0 @ 95.5288
106.06/106.48 c #Conflicts: 16000 | #Constraints: 8333
106.06/106.48 c GLOBAL bounds - >= 0 @ 102.694
107.26/107.65 c GLOBAL bounds - >= 0 @ 103.849
120.52/120.90 c #Conflicts: 17000 | #Constraints: 9337
120.52/120.90 c #Conflicts: 18000 | #Constraints: 10337
120.52/120.90 c INPROCESSING
120.52/120.90 c GARBAGE COLLECT
120.52/120.90 c GLOBAL bounds - >= 0 @ 116.998
124.51/124.90 c #Conflicts: 19000 | #Constraints: 8354
124.51/124.90 c GLOBAL bounds - >= 0 @ 120.954
128.31/128.75 c GLOBAL bounds - >= 0 @ 124.73
130.11/130.57 c #Conflicts: 20000 | #Constraints: 9358
130.11/130.57 c GLOBAL bounds - >= 0 @ 126.516
130.90/131.37 c GLOBAL bounds - >= 0 @ 127.282
132.19/132.67 c GLOBAL bounds - >= 0 @ 128.566
133.49/133.96 c GLOBAL bounds - >= 0 @ 129.824
134.49/134.97 c GLOBAL bounds - >= 0 @ 130.802
135.89/136.34 c #Conflicts: 21000 | #Constraints: 10368
135.89/136.34 c GLOBAL bounds - >= 0 @ 132.128
136.59/137.09 c GLOBAL bounds - >= 0 @ 132.848
138.78/139.29 c GLOBAL bounds - >= 0 @ 134.951
142.47/142.96 c INPROCESSING
142.47/142.96 c GARBAGE COLLECT
142.47/142.96 c GLOBAL bounds - >= 0 @ 138.568
143.27/143.70 c GLOBAL bounds - >= 0 @ 139.283
143.96/144.42 c GLOBAL bounds - >= 0 @ 139.969
144.57/145.00 c GLOBAL bounds - >= 0 @ 140.535
145.46/145.92 c #Conflicts: 22000 | #Constraints: 8174
145.46/145.92 c GLOBAL bounds - >= 0 @ 141.423
149.06/149.54 c GLOBAL bounds - >= 0 @ 144.964
149.25/149.71 c GLOBAL bounds - >= 0 @ 145.124
150.05/150.59 c GLOBAL bounds - >= 0 @ 145.973
150.66/151.17 c GLOBAL bounds - >= 0 @ 146.536
151.35/151.80 c #Conflicts: 23000 | #Constraints: 9184
151.35/151.80 c GLOBAL bounds - >= 0 @ 147.134
152.35/152.86 c GLOBAL bounds - >= 0 @ 148.176
153.14/153.61 c GLOBAL bounds - >= 0 @ 148.888
153.84/154.35 c GLOBAL bounds - >= 0 @ 149.602
154.54/155.05 c GLOBAL bounds - >= 0 @ 150.273
155.24/155.73 c GLOBAL bounds - >= 0 @ 150.933
156.23/156.77 c GLOBAL bounds - >= 0 @ 151.958
157.33/157.89 c GLOBAL bounds - >= 0 @ 153.05
158.64/159.17 c #Conflicts: 24000 | #Constraints: 10200
158.64/159.17 c GLOBAL bounds - >= 0 @ 154.295
159.72/160.29 c GLOBAL bounds - >= 0 @ 155.363
163.82/164.34 c GLOBAL bounds - >= 0 @ 159.302
168.70/169.23 c #Conflicts: 25000 | #Constraints: 11206
168.70/169.23 c INPROCESSING
168.70/169.23 c GARBAGE COLLECT
168.70/169.23 c GLOBAL bounds - >= 0 @ 164.117
172.49/173.09 c GLOBAL bounds - >= 0 @ 167.93
173.19/173.70 c GLOBAL bounds - >= 0 @ 168.521
173.89/174.45 c #Conflicts: 26000 | #Constraints: 8814
173.89/174.45 c GLOBAL bounds - >= 0 @ 169.252
175.29/175.81 c GLOBAL bounds - >= 0 @ 170.59
177.58/178.19 c GLOBAL bounds - >= 0 @ 172.94
179.17/179.75 c #Conflicts: 27000 | #Constraints: 9820
179.17/179.75 c GLOBAL bounds - >= 0 @ 174.455
181.27/181.88 c GLOBAL bounds - >= 0 @ 176.548
182.16/182.79 c GLOBAL bounds - >= 0 @ 177.426
190.74/191.33 c #Conflicts: 28000 | #Constraints: 10826
190.74/191.33 c GLOBAL bounds - >= 0 @ 185.793
195.73/196.39 c #Conflicts: 29000 | #Constraints: 11828
195.73/196.39 c INPROCESSING
195.73/196.39 c GARBAGE COLLECT
195.73/196.39 c GLOBAL bounds - >= 0 @ 190.782
197.83/198.48 c GLOBAL bounds - >= 0 @ 192.786
198.92/199.51 c GLOBAL bounds - >= 0 @ 193.783
199.72/200.38 c GLOBAL bounds - >= 0 @ 194.632
214.58/215.24 c #Conflicts: 30000 | #Constraints: 9239
214.58/215.24 c #Conflicts: 31000 | #Constraints: 10239
214.58/215.24 c GLOBAL bounds - >= 0 @ 209.315
217.77/218.43 c #Conflicts: 32000 | #Constraints: 11241
217.77/218.43 c GLOBAL bounds - >= 0 @ 212.432
218.27/218.98 c GLOBAL bounds - >= 0 @ 212.949
220.96/221.66 c GLOBAL bounds - >= 0 @ 215.551
224.95/225.66 c #Conflicts: 33000 | #Constraints: 12247
224.95/225.66 c INPROCESSING
224.95/225.66 c GARBAGE COLLECT
224.95/225.66 c GLOBAL bounds - >= 0 @ 219.447
226.75/227.48 c GLOBAL bounds - >= 0 @ 221.241
230.83/231.50 c #Conflicts: 34000 | #Constraints: 9458
230.83/231.50 c GLOBAL bounds - >= 0 @ 225.216
237.92/238.67 c #Conflicts: 35000 | #Constraints: 10460
237.92/238.67 c GLOBAL bounds - >= 0 @ 232.333
314.42/315.33 c #Conflicts: 36000 | #Constraints: 11462
314.42/315.33 c #Conflicts: 37000 | #Constraints: 12462
314.42/315.33 c INPROCESSING
314.42/315.33 c GARBAGE COLLECT
314.42/315.33 c #Conflicts: 38000 | #Constraints: 9474
314.42/315.33 c #Conflicts: 39000 | #Constraints: 10474
314.42/315.33 c #Conflicts: 40000 | #Constraints: 11474
314.42/315.33 c #Conflicts: 41000 | #Constraints: 12474
314.42/315.33 c INPROCESSING
314.42/315.33 c GARBAGE COLLECT
314.42/315.33 c #Conflicts: 42000 | #Constraints: 9284
314.42/315.33 c #Conflicts: 43000 | #Constraints: 10284
314.42/315.33 c GLOBAL bounds - >= 0 @ 308.543
329.77/330.78 c #Conflicts: 44000 | #Constraints: 11286
329.77/330.78 c #Conflicts: 45000 | #Constraints: 12286
329.77/330.78 c GLOBAL bounds - >= 0 @ 323.89
330.97/331.91 c GLOBAL bounds - >= 0 @ 324.985
332.08/333.04 c GLOBAL bounds - >= 0 @ 326.08
332.96/333.97 c GLOBAL bounds - >= 0 @ 326.979
339.35/340.34 c #Conflicts: 46000 | #Constraints: 13294
339.35/340.34 c INPROCESSING
339.35/340.34 c GARBAGE COLLECT
339.35/340.34 c GLOBAL bounds - >= 0 @ 333.022
344.83/345.83 c #Conflicts: 47000 | #Constraints: 9896
344.83/345.83 c GLOBAL bounds - >= 0 @ 338.397
346.33/347.36 c GLOBAL bounds - >= 0 @ 339.88
348.23/349.26 c GLOBAL bounds - >= 0 @ 341.745
349.03/350.08 c GLOBAL bounds - >= 0 @ 342.547
353.32/354.34 c #Conflicts: 48000 | #Constraints: 10904
353.32/354.34 c GLOBAL bounds - >= 0 @ 346.754
362.50/363.57 c #Conflicts: 49000 | #Constraints: 11906
362.50/363.57 c GLOBAL bounds - >= 0 @ 355.895
363.99/365.05 c GLOBAL bounds - >= 0 @ 357.329
364.69/365.76 c GLOBAL bounds - >= 0 @ 358.019
366.58/367.66 c #Conflicts: 50000 | #Constraints: 12912
366.58/367.66 c GLOBAL bounds - >= 0 @ 359.863
369.17/370.29 c GLOBAL bounds - >= 0 @ 362.425
372.26/373.35 c GLOBAL bounds - >= 0 @ 365.328
380.95/382.08 c #Conflicts: 51000 | #Constraints: 13918
380.95/382.08 c INPROCESSING
380.95/382.08 c GARBAGE COLLECT
380.95/382.08 c GLOBAL bounds - >= 0 @ 373.979
387.13/388.21 c #Conflicts: 52000 | #Constraints: 10299
387.13/388.21 c GLOBAL bounds - >= 0 @ 380.058
398.79/399.96 c #Conflicts: 53000 | #Constraints: 11301
398.79/399.96 c #Conflicts: 54000 | #Constraints: 12301
398.79/399.96 c GLOBAL bounds - >= 0 @ 391.628
412.26/413.45 c #Conflicts: 55000 | #Constraints: 13303
412.26/413.45 c #Conflicts: 56000 | #Constraints: 14303
412.26/413.45 c INPROCESSING
412.26/413.45 c GARBAGE COLLECT
412.26/413.45 c GLOBAL bounds - >= 0 @ 404.923
418.65/419.83 c GLOBAL bounds - >= 0 @ 411.225
429.02/430.23 c #Conflicts: 57000 | #Constraints: 10523
429.02/430.23 c #Conflicts: 58000 | #Constraints: 11523
429.02/430.23 c GLOBAL bounds - >= 0 @ 421.473
438.90/440.12 c #Conflicts: 59000 | #Constraints: 12525
438.90/440.12 c GLOBAL bounds - >= 0 @ 431.285
440.29/441.51 c GLOBAL bounds - >= 0 @ 432.661
441.78/443.04 c #Conflicts: 60000 | #Constraints: 13529
441.78/443.04 c GLOBAL bounds - >= 0 @ 434.18
489.55/490.99 c #Conflicts: 61000 | #Constraints: 14531
489.55/490.99 c INPROCESSING
489.55/490.99 c GARBAGE COLLECT
489.55/490.99 c #Conflicts: 62000 | #Constraints: 10542
489.55/490.99 c #Conflicts: 63000 | #Constraints: 11542
489.55/490.99 c #Conflicts: 64000 | #Constraints: 12542
489.55/490.99 c GLOBAL bounds - >= 0 @ 481.792
493.43/494.82 c GLOBAL bounds - >= 0 @ 485.504
494.93/496.30 c #Conflicts: 65000 | #Constraints: 13546
494.93/496.30 c GLOBAL bounds - >= 0 @ 486.962
496.23/497.67 c GLOBAL bounds - >= 0 @ 488.275
499.02/500.42 c GLOBAL bounds - >= 0 @ 490.978
502.62/504.07 c #Conflicts: 66000 | #Constraints: 14552
502.62/504.07 c GLOBAL bounds - >= 0 @ 494.542
512.08/513.54 c INPROCESSING
512.08/513.54 c GARBAGE COLLECT
512.08/513.54 c #Conflicts: 67000 | #Constraints: 10348
512.08/513.54 c GLOBAL bounds - >= 0 @ 503.872
517.97/519.49 c GLOBAL bounds - >= 0 @ 509.734
529.83/531.34 c #Conflicts: 68000 | #Constraints: 11352
529.83/531.34 c #Conflicts: 69000 | #Constraints: 12352
529.83/531.34 c GLOBAL bounds - >= 0 @ 521.448
531.13/532.61 c GLOBAL bounds - >= 0 @ 522.678
560.24/561.89 c #Conflicts: 70000 | #Constraints: 13356
560.24/561.89 c #Conflicts: 71000 | #Constraints: 14356
560.24/561.89 c #Conflicts: 72000 | #Constraints: 15356
560.24/561.89 c INPROCESSING
560.24/561.89 c GARBAGE COLLECT
560.24/561.89 c #Conflicts: 73000 | #Constraints: 10968
560.24/561.89 c GLOBAL bounds - >= 0 @ 551.635
561.64/563.21 c GLOBAL bounds - >= 0 @ 552.937
564.73/566.38 c #Conflicts: 74000 | #Constraints: 11972
564.73/566.38 c GLOBAL bounds - >= 0 @ 556.03
582.77/584.44 c #Conflicts: 75000 | #Constraints: 12974
582.77/584.44 c #Conflicts: 76000 | #Constraints: 13974
582.77/584.44 c GLOBAL bounds - >= 0 @ 573.846
584.17/585.84 c GLOBAL bounds - >= 0 @ 575.225
592.85/594.52 c #Conflicts: 77000 | #Constraints: 14978
592.85/594.52 c GLOBAL bounds - >= 0 @ 583.771
599.33/601.07 c #Conflicts: 78000 | #Constraints: 15980
599.33/601.07 c INPROCESSING
599.33/601.07 c GARBAGE COLLECT
599.33/601.07 c GLOBAL bounds - >= 0 @ 590.25
601.22/602.90 c GLOBAL bounds - >= 0 @ 592.059
603.12/604.86 c GLOBAL bounds - >= 0 @ 594.007
606.60/608.39 c #Conflicts: 79000 | #Constraints: 11388
606.60/608.39 c GLOBAL bounds - >= 0 @ 597.496
609.00/610.74 c GLOBAL bounds - >= 0 @ 599.814
621.37/623.19 c #Conflicts: 80000 | #Constraints: 12392
621.37/623.19 c #Conflicts: 81000 | #Constraints: 13392
621.37/623.19 c GLOBAL bounds - >= 0 @ 612.166
637.02/638.80 c #Conflicts: 82000 | #Constraints: 14394
637.02/638.80 c #Conflicts: 83000 | #Constraints: 15394
637.02/638.80 c GLOBAL bounds - >= 0 @ 627.608
818.81/821.11 c #Conflicts: 84000 | #Constraints: 16396
818.81/821.11 c INPROCESSING
818.81/821.11 c GARBAGE COLLECT
818.81/821.11 c #Conflicts: 85000 | #Constraints: 11578
818.81/821.11 c #Conflicts: 86000 | #Constraints: 12578
818.81/821.11 c #Conflicts: 87000 | #Constraints: 13578
818.81/821.11 c #Conflicts: 88000 | #Constraints: 14578
818.81/821.11 c #Conflicts: 89000 | #Constraints: 15578
818.81/821.11 c #Conflicts: 90000 | #Constraints: 16578
818.81/821.11 c INPROCESSING
818.81/821.11 c GARBAGE COLLECT
818.81/821.11 c #Conflicts: 91000 | #Constraints: 11602
818.81/821.11 c #Conflicts: 92000 | #Constraints: 12602
818.81/821.11 c #Conflicts: 93000 | #Constraints: 13602
818.81/821.11 c #Conflicts: 94000 | #Constraints: 14602
818.81/821.11 c #Conflicts: 95000 | #Constraints: 15602
818.81/821.11 c #Conflicts: 96000 | #Constraints: 16602
818.81/821.11 c INPROCESSING
818.81/821.11 c GARBAGE COLLECT
818.81/821.11 c #Conflicts: 97000 | #Constraints: 11411
818.81/821.11 c GLOBAL bounds - >= 0 @ 809.145
869.06/871.55 c #Conflicts: 98000 | #Constraints: 12413
869.06/871.55 c #Conflicts: 99000 | #Constraints: 13413
869.06/871.55 c #Conflicts: 100000 | #Constraints: 14413
869.06/871.55 c #Conflicts: 101000 | #Constraints: 15413
869.06/871.55 c #Conflicts: 102000 | #Constraints: 16413
869.06/871.55 c #Conflicts: 103000 | #Constraints: 17413
869.06/871.55 c GLOBAL bounds - >= 0 @ 859.314
886.82/889.39 c INPROCESSING
886.82/889.39 c GARBAGE COLLECT
886.82/889.39 c #Conflicts: 104000 | #Constraints: 12006
886.82/889.39 c GLOBAL bounds - >= 0 @ 876.892
941.96/944.65 c #Conflicts: 105000 | #Constraints: 13008
941.96/944.65 c #Conflicts: 106000 | #Constraints: 14008
941.96/944.65 c #Conflicts: 107000 | #Constraints: 15008
941.96/944.65 c #Conflicts: 108000 | #Constraints: 16008
941.96/944.65 c #Conflicts: 109000 | #Constraints: 17008
941.96/944.65 c #Conflicts: 110000 | #Constraints: 18008
941.96/944.65 c INPROCESSING
941.96/944.65 c GARBAGE COLLECT
941.96/944.65 c #Conflicts: 111000 | #Constraints: 12432
941.96/944.65 c GLOBAL bounds - >= 0 @ 931.467
962.10/964.84 c #Conflicts: 112000 | #Constraints: 13434
962.10/964.84 c #Conflicts: 113000 | #Constraints: 14434
962.10/964.84 c GLOBAL bounds - >= 0 @ 951.428
981.54/984.31 c #Conflicts: 114000 | #Constraints: 15436
981.54/984.31 c #Conflicts: 115000 | #Constraints: 16436
981.54/984.31 c GLOBAL bounds - >= 0 @ 970.697
1047.66/1050.63 c #Conflicts: 116000 | #Constraints: 17438
1047.66/1050.63 c #Conflicts: 117000 | #Constraints: 18438
1047.66/1050.63 c INPROCESSING
1047.66/1050.63 c GARBAGE COLLECT
1047.66/1050.63 c #Conflicts: 118000 | #Constraints: 12593
1047.66/1050.63 c #Conflicts: 119000 | #Constraints: 13593
1047.66/1050.63 c #Conflicts: 120000 | #Constraints: 14593
1047.66/1050.63 c #Conflicts: 121000 | #Constraints: 15593
1047.66/1050.63 c #Conflicts: 122000 | #Constraints: 16593
1047.66/1050.63 c GLOBAL bounds - >= 0 @ 1036.51
1051.06/1054.10 c #Conflicts: 123000 | #Constraints: 17595
1051.06/1054.10 c GLOBAL bounds - >= 0 @ 1039.91
1056.93/1059.95 c #Conflicts: 124000 | #Constraints: 18597
1056.93/1059.95 c GLOBAL bounds - >= 0 @ 1045.66
1064.31/1067.35 c INPROCESSING
1064.31/1067.35 c GARBAGE COLLECT
1064.31/1067.35 c GLOBAL bounds - >= 0 @ 1052.99
1076.87/1079.90 c #Conflicts: 125000 | #Constraints: 12600
1076.87/1079.90 c GLOBAL bounds - >= 0 @ 1065.41
1078.66/1081.74 c #Conflicts: 126000 | #Constraints: 13602
1078.66/1081.74 c GLOBAL bounds - >= 0 @ 1067.22
1086.24/1089.30 c #Conflicts: 127000 | #Constraints: 14604
1086.24/1089.30 c GLOBAL bounds - >= 0 @ 1074.61
1093.32/1096.45 c #Conflicts: 128000 | #Constraints: 15606
1093.32/1096.45 c GLOBAL bounds - >= 0 @ 1081.62
1114.96/1118.15 c #Conflicts: 129000 | #Constraints: 16608
1114.96/1118.15 c #Conflicts: 130000 | #Constraints: 17608
1114.96/1118.15 c GLOBAL bounds - >= 0 @ 1103.16
1117.35/1120.50 c GLOBAL bounds - >= 0 @ 1105.46
1119.05/1122.29 c #Conflicts: 131000 | #Constraints: 18612
1119.05/1122.29 c GLOBAL bounds - >= 0 @ 1107.21
1121.04/1124.28 c GLOBAL bounds - >= 0 @ 1109.16
1127.53/1130.71 c INPROCESSING
1127.53/1130.71 c GARBAGE COLLECT
1127.53/1130.71 c GLOBAL bounds - >= 0 @ 1115.52
1130.32/1133.50 c #Conflicts: 132000 | #Constraints: 12419
1130.32/1133.50 c GLOBAL bounds - >= 0 @ 1118.25
1142.79/1146.08 c #Conflicts: 133000 | #Constraints: 13421
1142.79/1146.08 c GLOBAL bounds - >= 0 @ 1130.69
1148.47/1151.75 c #Conflicts: 134000 | #Constraints: 14423
1148.47/1151.75 c GLOBAL bounds - >= 0 @ 1136.28
1158.64/1161.97 c #Conflicts: 135000 | #Constraints: 15425
1158.64/1161.97 c GLOBAL bounds - >= 0 @ 1146.34
1164.13/1167.46 c #Conflicts: 136000 | #Constraints: 16427
1164.13/1167.46 c GLOBAL bounds - >= 0 @ 1151.75
1189.76/1193.11 c #Conflicts: 137000 | #Constraints: 17429
1189.76/1193.11 c #Conflicts: 138000 | #Constraints: 18429
1189.76/1193.11 c #Conflicts: 139000 | #Constraints: 19429
1189.76/1193.11 c INPROCESSING
1189.76/1193.11 c GARBAGE COLLECT
1189.76/1193.11 c GLOBAL bounds - >= 0 @ 1177.23
1208.71/1212.14 c #Conflicts: 140000 | #Constraints: 13051
1208.71/1212.14 c #Conflicts: 141000 | #Constraints: 14051
1208.71/1212.14 c GLOBAL bounds - >= 0 @ 1196.15
1336.34/1340.17 c #Conflicts: 142000 | #Constraints: 15053
1336.34/1340.17 c #Conflicts: 143000 | #Constraints: 16053
1336.34/1340.17 c #Conflicts: 144000 | #Constraints: 17053
1336.34/1340.17 c #Conflicts: 145000 | #Constraints: 18053
1336.34/1340.17 c #Conflicts: 146000 | #Constraints: 19053
1336.34/1340.17 c #Conflicts: 147000 | #Constraints: 20053
1336.34/1340.17 c INPROCESSING
1336.34/1340.17 c GARBAGE COLLECT
1336.34/1340.17 c #Conflicts: 148000 | #Constraints: 13469
1336.34/1340.17 c #Conflicts: 149000 | #Constraints: 14469
1336.34/1340.17 c #Conflicts: 150000 | #Constraints: 15469
1336.34/1340.17 c #Conflicts: 151000 | #Constraints: 16469
1336.34/1340.17 c #Conflicts: 152000 | #Constraints: 17469
1336.34/1340.17 c GLOBAL bounds - >= 0 @ 1323.25
1479.53/1483.71 c #Conflicts: 153000 | #Constraints: 18471
1479.53/1483.71 c #Conflicts: 154000 | #Constraints: 19471
1479.53/1483.71 c #Conflicts: 155000 | #Constraints: 20471
1479.53/1483.71 c INPROCESSING
1479.53/1483.71 c GARBAGE COLLECT
1479.53/1483.71 c #Conflicts: 156000 | #Constraints: 13689
1479.53/1483.71 c #Conflicts: 157000 | #Constraints: 14689
1479.53/1483.71 c #Conflicts: 158000 | #Constraints: 15689
1479.53/1483.71 c #Conflicts: 159000 | #Constraints: 16689
1479.53/1483.71 c #Conflicts: 160000 | #Constraints: 17689
1479.53/1483.71 c #Conflicts: 161000 | #Constraints: 18689
1479.53/1483.71 c #Conflicts: 162000 | #Constraints: 19689
1479.53/1483.71 c GLOBAL bounds - >= 0 @ 1465.72
1506.35/1510.70 c #Conflicts: 163000 | #Constraints: 20691
1506.35/1510.70 c INPROCESSING
1506.35/1510.70 c GARBAGE COLLECT
1506.35/1510.70 c #Conflicts: 164000 | #Constraints: 13670
1506.35/1510.70 c GLOBAL bounds - >= 0 @ 1492.48
1552.33/1556.70 c #Conflicts: 165000 | #Constraints: 14672
1552.33/1556.70 c #Conflicts: 166000 | #Constraints: 15672
1552.33/1556.70 c #Conflicts: 167000 | #Constraints: 16672
1552.33/1556.70 c #Conflicts: 168000 | #Constraints: 17672
1552.33/1556.70 c #Conflicts: 169000 | #Constraints: 18672
1552.33/1556.70 c GLOBAL bounds - >= 0 @ 1538.21
1554.42/1558.85 c GLOBAL bounds - >= 0 @ 1540.34
1567.38/1571.80 c #Conflicts: 170000 | #Constraints: 19676
1567.38/1571.80 c GLOBAL bounds - >= 0 @ 1553.15
1615.25/1619.88 c #Conflicts: 171000 | #Constraints: 20678
1615.25/1619.88 c INPROCESSING
1615.25/1619.88 c GARBAGE COLLECT
1615.25/1619.88 c #Conflicts: 172000 | #Constraints: 13476
1615.25/1619.88 c #Conflicts: 173000 | #Constraints: 14476
1615.25/1619.88 c #Conflicts: 174000 | #Constraints: 15476
1615.25/1619.88 c #Conflicts: 175000 | #Constraints: 16476
1615.25/1619.88 c GLOBAL bounds - >= 0 @ 1600.72
1618.45/1623.00 c #Conflicts: 176000 | #Constraints: 17478
1618.45/1623.00 c GLOBAL bounds - >= 0 @ 1603.82
1620.64/1625.28 c GLOBAL bounds - >= 0 @ 1606.06
1625.32/1629.92 c GLOBAL bounds - >= 0 @ 1610.64
1666.20/1670.98 c #Conflicts: 177000 | #Constraints: 18484
1666.20/1670.98 c #Conflicts: 178000 | #Constraints: 19484
1666.20/1670.98 c #Conflicts: 179000 | #Constraints: 20484
1666.20/1670.98 c #Conflicts: 180000 | #Constraints: 21484
1666.20/1670.98 c INPROCESSING
1666.20/1670.98 c GARBAGE COLLECT
1666.20/1670.98 c GLOBAL bounds - >= 0 @ 1651.1
1898.34/1903.73 c #Conflicts: 181000 | #Constraints: 14086
1898.34/1903.73 c #Conflicts: 182000 | #Constraints: 15086
1898.34/1903.73 c #Conflicts: 183000 | #Constraints: 16086
1898.34/1903.73 c #Conflicts: 184000 | #Constraints: 17086
1898.34/1903.73 c #Conflicts: 185000 | #Constraints: 18086
1898.34/1903.73 c #Conflicts: 186000 | #Constraints: 19086
1898.34/1903.73 c #Conflicts: 187000 | #Constraints: 20086
1898.34/1903.73 c #Conflicts: 188000 | #Constraints: 21086
1898.34/1903.73 c #Conflicts: 189000 | #Constraints: 22086
1898.34/1903.73 c INPROCESSING
1898.34/1903.73 c GARBAGE COLLECT
1898.34/1903.73 c #Conflicts: 190000 | #Constraints: 14494
1898.34/1903.73 c #Conflicts: 191000 | #Constraints: 15494
1898.34/1903.73 c #Conflicts: 192000 | #Constraints: 16494
1898.34/1903.73 c #Conflicts: 193000 | #Constraints: 17494
1898.34/1903.73 c #Conflicts: 194000 | #Constraints: 18494
1898.34/1903.73 c #Conflicts: 195000 | #Constraints: 19494
1898.34/1903.73 c #Conflicts: 196000 | #Constraints: 20494
1898.34/1903.73 c #Conflicts: 197000 | #Constraints: 21494
1898.34/1903.73 c #Conflicts: 198000 | #Constraints: 22494
1898.34/1903.73 c INPROCESSING
1898.34/1903.73 c GARBAGE COLLECT
1898.34/1903.73 c #Conflicts: 199000 | #Constraints: 14700
1898.34/1903.73 c GLOBAL bounds - >= 0 @ 1882.02
2127.81/2133.80 c #Conflicts: 200000 | #Constraints: 15702
2127.81/2133.80 c #Conflicts: 201000 | #Constraints: 16702
2127.81/2133.80 c #Conflicts: 202000 | #Constraints: 17702
2127.81/2133.80 c #Conflicts: 203000 | #Constraints: 18702
2127.81/2133.80 c #Conflicts: 204000 | #Constraints: 19702
2127.81/2133.80 c #Conflicts: 205000 | #Constraints: 20702
2127.81/2133.80 c #Conflicts: 206000 | #Constraints: 21702
2127.81/2133.80 c #Conflicts: 207000 | #Constraints: 22702
2127.81/2133.80 c INPROCESSING
2127.81/2133.80 c GARBAGE COLLECT
2127.81/2133.80 c #Conflicts: 208000 | #Constraints: 14703
2127.81/2133.80 c #Conflicts: 209000 | #Constraints: 15703
2127.81/2133.80 c #Conflicts: 210000 | #Constraints: 16703
2127.81/2133.80 c #Conflicts: 211000 | #Constraints: 17703
2127.81/2133.80 c #Conflicts: 212000 | #Constraints: 18703
2127.81/2133.80 c #Conflicts: 213000 | #Constraints: 19703
2127.81/2133.80 c #Conflicts: 214000 | #Constraints: 20703
2127.81/2133.80 c #Conflicts: 215000 | #Constraints: 21703
2127.81/2133.80 c #Conflicts: 216000 | #Constraints: 22703
2127.81/2133.80 c INPROCESSING
2127.81/2133.80 c GARBAGE COLLECT
2127.81/2133.80 c #Conflicts: 217000 | #Constraints: 14509
2127.81/2133.80 c #Conflicts: 218000 | #Constraints: 15509
2127.81/2133.80 c GLOBAL bounds - >= 0 @ 2111.06
2350.60/2357.22 c #Conflicts: 219000 | #Constraints: 16511
2350.60/2357.22 c #Conflicts: 220000 | #Constraints: 17511
2350.60/2357.22 c #Conflicts: 221000 | #Constraints: 18511
2350.60/2357.22 c #Conflicts: 222000 | #Constraints: 19511
2350.60/2357.22 c #Conflicts: 223000 | #Constraints: 20511
2350.60/2357.22 c #Conflicts: 224000 | #Constraints: 21511
2350.60/2357.22 c #Conflicts: 225000 | #Constraints: 22511
2350.60/2357.22 c #Conflicts: 226000 | #Constraints: 23511
2350.60/2357.22 c INPROCESSING
2350.60/2357.22 c GARBAGE COLLECT
2350.60/2357.22 c #Conflicts: 227000 | #Constraints: 15116
2350.60/2357.22 c #Conflicts: 228000 | #Constraints: 16116
2350.60/2357.22 c #Conflicts: 229000 | #Constraints: 17116
2350.60/2357.22 c #Conflicts: 230000 | #Constraints: 18116
2350.60/2357.22 c #Conflicts: 231000 | #Constraints: 19116
2350.60/2357.22 c #Conflicts: 232000 | #Constraints: 20116
2350.60/2357.22 c #Conflicts: 233000 | #Constraints: 21116
2350.60/2357.22 c GLOBAL bounds - >= 0 @ 2333.45
2384.01/2390.77 c #Conflicts: 234000 | #Constraints: 22118
2384.01/2390.77 c #Conflicts: 235000 | #Constraints: 23118
2384.01/2390.77 c #Conflicts: 236000 | #Constraints: 24118
2384.01/2390.77 c INPROCESSING
2384.01/2390.77 c GARBAGE COLLECT
2384.01/2390.77 c GLOBAL bounds - >= 0 @ 2366.63
2385.71/2392.41 c GLOBAL bounds - >= 0 @ 2368.24
2389.30/2396.09 c #Conflicts: 237000 | #Constraints: 15509
2389.30/2396.09 c GLOBAL bounds - >= 0 @ 2371.86
2392.49/2399.22 c GLOBAL bounds - >= 0 @ 2374.95
2417.52/2424.35 c #Conflicts: 238000 | #Constraints: 16513
2417.52/2424.35 c #Conflicts: 239000 | #Constraints: 17513
2417.52/2424.35 c #Conflicts: 240000 | #Constraints: 18513
2417.52/2424.35 c GLOBAL bounds - >= 0 @ 2399.88
2442.65/2449.55 c #Conflicts: 241000 | #Constraints: 19515
2442.65/2449.55 c #Conflicts: 242000 | #Constraints: 20515
2442.65/2449.55 c GLOBAL bounds - >= 0 @ 2424.82
2460.91/2467.82 c #Conflicts: 243000 | #Constraints: 21517
2460.91/2467.82 c #Conflicts: 244000 | #Constraints: 22517
2460.91/2467.82 c GLOBAL bounds - >= 0 @ 2442.85
2463.90/2470.82 c GLOBAL bounds - >= 0 @ 2445.78
2470.77/2477.73 c #Conflicts: 245000 | #Constraints: 23521
2470.77/2477.73 c GLOBAL bounds - >= 0 @ 2452.53
2472.77/2479.75 c GLOBAL bounds - >= 0 @ 2454.53
2474.36/2481.38 c GLOBAL bounds - >= 0 @ 2456.13
2559.43/2566.62 c #Conflicts: 246000 | #Constraints: 24527
2559.43/2566.62 c INPROCESSING
2559.43/2566.62 c GARBAGE COLLECT
2559.43/2566.62 c #Conflicts: 247000 | #Constraints: 15691
2559.43/2566.62 c #Conflicts: 248000 | #Constraints: 16691
2559.43/2566.62 c #Conflicts: 249000 | #Constraints: 17691
2559.43/2566.62 c #Conflicts: 250000 | #Constraints: 18691
2559.43/2566.62 c #Conflicts: 251000 | #Constraints: 19691
2559.43/2566.62 c #Conflicts: 252000 | #Constraints: 20691
2559.43/2566.62 c GLOBAL bounds - >= 0 @ 2540.82
2561.03/2568.21 c GLOBAL bounds - >= 0 @ 2542.37
2602.62/2609.92 c #Conflicts: 253000 | #Constraints: 21695
2602.62/2609.92 c #Conflicts: 254000 | #Constraints: 22695
2602.62/2609.92 c #Conflicts: 255000 | #Constraints: 23695
2602.62/2609.92 c GLOBAL bounds - >= 0 @ 2583.49
2642.31/2649.73 c #Conflicts: 256000 | #Constraints: 24697
2642.31/2649.73 c INPROCESSING
2642.31/2649.73 c GARBAGE COLLECT
2642.31/2649.73 c #Conflicts: 257000 | #Constraints: 15688
2642.31/2649.73 c #Conflicts: 258000 | #Constraints: 16688
2642.31/2649.73 c #Conflicts: 259000 | #Constraints: 17688
2642.31/2649.73 c GLOBAL bounds - >= 0 @ 2622.95
2675.62/2683.13 c #Conflicts: 260000 | #Constraints: 18690
2675.62/2683.13 c #Conflicts: 261000 | #Constraints: 19690
2675.62/2683.13 c #Conflicts: 262000 | #Constraints: 20690
2675.62/2683.13 c GLOBAL bounds - >= 0 @ 2655.93
2680.70/2688.28 c #Conflicts: 263000 | #Constraints: 21692
2680.70/2688.28 c GLOBAL bounds - >= 0 @ 2660.98
2700.56/2708.17 c #Conflicts: 264000 | #Constraints: 22694
2700.56/2708.17 c #Conflicts: 265000 | #Constraints: 23694
2700.56/2708.17 c GLOBAL bounds - >= 0 @ 2680.66
2701.05/2708.63 c GLOBAL bounds - >= 0 @ 2681.1
2754.00/2761.77 c #Conflicts: 266000 | #Constraints: 24698
2754.00/2761.77 c INPROCESSING
2754.00/2761.77 c GARBAGE COLLECT
2754.00/2761.77 c #Conflicts: 267000 | #Constraints: 15519
2754.00/2761.77 c #Conflicts: 268000 | #Constraints: 16519
2754.00/2761.77 c #Conflicts: 269000 | #Constraints: 17519
2754.00/2761.77 c #Conflicts: 270000 | #Constraints: 18519
2754.00/2761.77 c #Conflicts: 271000 | #Constraints: 19519
2754.00/2761.77 c GLOBAL bounds - >= 0 @ 2733.9
2923.64/2931.87 c #Conflicts: 272000 | #Constraints: 20521
2923.64/2931.87 c #Conflicts: 273000 | #Constraints: 21521
2923.64/2931.87 c #Conflicts: 274000 | #Constraints: 22521
2923.64/2931.87 c #Conflicts: 275000 | #Constraints: 23521
2923.64/2931.87 c #Conflicts: 276000 | #Constraints: 24521
2923.64/2931.87 c #Conflicts: 277000 | #Constraints: 25521
2923.64/2931.87 c INPROCESSING
2923.64/2931.87 c GARBAGE COLLECT
2923.64/2931.87 c #Conflicts: 278000 | #Constraints: 16136
2923.64/2931.87 c #Conflicts: 279000 | #Constraints: 17136
2923.64/2931.87 c #Conflicts: 280000 | #Constraints: 18136
2923.64/2931.87 c #Conflicts: 281000 | #Constraints: 19136
2923.64/2931.87 c #Conflicts: 282000 | #Constraints: 20136
2923.64/2931.87 c #Conflicts: 283000 | #Constraints: 21136
2923.64/2931.87 c #Conflicts: 284000 | #Constraints: 22136
2923.64/2931.87 c GLOBAL bounds - >= 0 @ 2902.81
3075.21/3083.85 c #Conflicts: 285000 | #Constraints: 23138
3075.21/3083.85 c #Conflicts: 286000 | #Constraints: 24138
3075.21/3083.85 c #Conflicts: 287000 | #Constraints: 25138
3075.21/3083.85 c #Conflicts: 288000 | #Constraints: 26138
3075.21/3083.85 c INPROCESSING
3075.21/3083.85 c GARBAGE COLLECT
3075.21/3083.85 c #Conflicts: 289000 | #Constraints: 16556
3075.21/3083.85 c #Conflicts: 290000 | #Constraints: 17556
3075.21/3083.85 c #Conflicts: 291000 | #Constraints: 18556
3075.21/3083.85 c #Conflicts: 292000 | #Constraints: 19556
3075.21/3083.85 c #Conflicts: 293000 | #Constraints: 20556
3075.21/3083.85 c #Conflicts: 294000 | #Constraints: 21556
3075.21/3083.85 c GLOBAL bounds - >= 0 @ 3053.81
3157.38/3166.21 c #Conflicts: 295000 | #Constraints: 22558
3157.38/3166.21 c #Conflicts: 296000 | #Constraints: 23558
3157.38/3166.21 c #Conflicts: 297000 | #Constraints: 24558
3157.38/3166.21 c #Conflicts: 298000 | #Constraints: 25558
3157.38/3166.21 c #Conflicts: 299000 | #Constraints: 26558
3157.38/3166.21 c INPROCESSING
3157.38/3166.21 c GARBAGE COLLECT
3157.38/3166.21 c GLOBAL bounds - >= 0 @ 3135.3
3166.36/3175.22 c #Conflicts: 300000 | #Constraints: 16759
3166.36/3175.22 c GLOBAL bounds - >= 0 @ 3144.21
3198.17/3207.11 c #Conflicts: 301000 | #Constraints: 17761
3198.17/3207.11 c #Conflicts: 302000 | #Constraints: 18761
3198.17/3207.11 c #Conflicts: 303000 | #Constraints: 19761
3198.17/3207.11 c #Conflicts: 304000 | #Constraints: 20761
3198.17/3207.11 c GLOBAL bounds - >= 0 @ 3175.83
3215.51/3224.58 c #Conflicts: 305000 | #Constraints: 21763
3215.51/3224.58 c GLOBAL bounds - >= 0 @ 3193.15
3270.27/3279.49 c #Conflicts: 306000 | #Constraints: 22765
3270.27/3279.49 c #Conflicts: 307000 | #Constraints: 23765
3270.27/3279.49 c #Conflicts: 308000 | #Constraints: 24765
3270.27/3279.49 c #Conflicts: 309000 | #Constraints: 25765
3270.27/3279.49 c #Conflicts: 310000 | #Constraints: 26765
3270.27/3279.49 c INPROCESSING
3270.27/3279.49 c GARBAGE COLLECT
3270.27/3279.49 c GLOBAL bounds - >= 0 @ 3247.51
3277.64/3286.87 c #Conflicts: 311000 | #Constraints: 16761
3277.64/3286.87 c GLOBAL bounds - >= 0 @ 3254.85
3600.02/3610.11 c #Conflicts: 312000 | #Constraints: 17763
3600.02/3610.11 c #Conflicts: 313000 | #Constraints: 18763
3600.02/3610.11 c #Conflicts: 314000 | #Constraints: 19763
3600.02/3610.11 c #Conflicts: 315000 | #Constraints: 20763
3600.02/3610.11 c #Conflicts: 316000 | #Constraints: 21763
3600.02/3610.11 c #Conflicts: 317000 | #Constraints: 22763
3600.02/3610.11 c #Conflicts: 318000 | #Constraints: 23763
3600.02/3610.11 c #Conflicts: 319000 | #Constraints: 24763
3600.02/3610.11 c #Conflicts: 320000 | #Constraints: 25763
3600.02/3610.11 c #Conflicts: 321000 | #Constraints: 26763
3600.02/3610.11 c INPROCESSING
3600.02/3610.11 c GARBAGE COLLECT
3600.02/3610.11 c #Conflicts: 322000 | #Constraints: 16564
3600.02/3610.11 c #Conflicts: 323000 | #Constraints: 17564
3600.02/3610.11 c #Conflicts: 324000 | #Constraints: 18564
3600.02/3610.11 c #Conflicts: 325000 | #Constraints: 19564
3600.02/3610.11 c #Conflicts: 326000 | #Constraints: 20564
3600.02/3610.11 c #Conflicts: 327000 | #Constraints: 21564
3600.02/3610.11 c #Conflicts: 328000 | #Constraints: 22564
3600.02/3610.11 c #Conflicts: 329000 | #Constraints: 23564
3600.02/3610.11 c #Conflicts: 330000 | #Constraints: 24564
3600.02/3610.11 c #Conflicts: 331000 | #Constraints: 25564
3600.02/3610.11 c #Conflicts: 332000 | #Constraints: 26564
3600.02/3610.11 c cpu time 3576.69 s
3600.02/3610.11 c deterministic time 15 1.50e+01
3600.02/3610.11 c optimization time 3576.61 s
3600.02/3610.11 c total solve time 0 s
3600.02/3610.11 c core-guided solve time 0 s
3600.02/3610.11 c propagation time 0.001773 s
3600.02/3610.11 c conflict analysis time 0 s
3600.02/3610.11 c propagations 14
3600.02/3610.11 c resolve steps 0
3600.02/3610.11 c decisions 0
3600.02/3610.11 c conflicts 0
3600.02/3610.11 c restarts 0
3600.02/3610.11 c inprocessing phases 0
3600.02/3610.11 c garbage collections 0 ,( -nan )
3600.02/3610.11 c input clauses 4257 ,( 99.98 )
3600.02/3610.11 c input cardinalities 1 ,( 0.02 )
3600.02/3610.11 c input general constraints 0 ,( 0.00 )
3600.02/3610.11 c input average constraint length 52.09
3600.02/3610.11 c input average constraint degree 2.53
3600.02/3610.11 c learned clauses 0 ,( 0.00 )
3600.02/3610.11 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.11 c learned general constraints 0 ,( 0.00 )
3600.02/3610.11 c learned average constraint length 0.00
3600.02/3610.11 c learned average constraint degree 0.00
3600.02/3610.11 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.11 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.11 c watched constraints 0 ,( -nan )
3600.02/3610.11 c counting constraints 0 ,( -nan )
3600.02/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.11 c gcd simplifications 0
3600.02/3610.11 c detected cardinalities 0
3600.02/3610.11 c weakened non-implied lits 0
3600.02/3610.11 c weakened non-implying lits 0
3600.02/3610.11 c original variables 21705
3600.02/3610.11 c clausal propagations 0
3600.02/3610.11 c cardinality propagations 0
3600.02/3610.11 c watched propagations 0
3600.02/3610.11 c counting propagations 0
3600.02/3610.11 c watch lookups 0
3600.02/3610.11 c watch backjump lookups 0
3600.02/3610.11 c watch checks 0
3600.02/3610.11 c propagation checks 0
3600.02/3610.11 c constraint additions 0
3600.02/3610.11 c trail pops 0
3600.02/3610.11 c formula constraints 4258
3600.02/3610.11 c learned constraints 0
3600.02/3610.11 c bound constraints 0
3600.02/3610.11 c core-guided constraints 0
3600.02/3610.11 c encountered formula constraints 0
3600.02/3610.11 c encountered learned constraints 0
3600.02/3610.11 c encountered bound constraints 0
3600.02/3610.11 c encountered core-guided constraints 0
3600.02/3610.11 c LP total time 0 s
3600.02/3610.11 c LP solve time 0 s
3600.02/3610.11 c LP constraints added 0
3600.02/3610.11 c LP constraints removed 0
3600.02/3610.11 c LP pivots internal 0
3600.02/3610.11 c LP pivots root 0
3600.02/3610.11 c LP calls 0
3600.02/3610.11 c LP optimalities 0
3600.02/3610.11 c LP no pivot count 0
3600.02/3610.11 c LP infeasibilities 0
3600.02/3610.11 c LP valid Farkas constraints 0
3600.02/3610.11 c LP learned Farkas constraints 0
3600.02/3610.11 c LP basis resets 0
3600.02/3610.11 c LP cycling count 0
3600.02/3610.11 c LP singular count 0
3600.02/3610.11 c LP no primal count 0
3600.02/3610.11 c LP no farkas count 0
3600.02/3610.11 c LP other issue count 0
3600.02/3610.11 c LP Gomory cuts 0
3600.02/3610.11 c LP learned cuts 0
3600.02/3610.11 c LP deleted cuts 0
3600.02/3610.11 c LP encountered Gomory constraints 0
3600.02/3610.11 c LP encountered Farkas constraints 0
3600.02/3610.11 c LP encountered learned Farkas constraints 0
3600.02/3610.11 c CG auxiliary variables introduced 0
3600.02/3610.11 c CG solutions found 0
3600.02/3610.11 c CG cores constructed 0
3600.02/3610.11 c CG core cardinality constraints returned 0
3600.02/3610.11 c CG unit cores 0
3600.02/3610.11 c CG single cores 0
3600.02/3610.11 c CG blocks removed during cardinality reduction 0
3600.02/3610.11 c CG first core best 0
3600.02/3610.11 c CG decision core best 0
3600.02/3610.11 c CG core reduction tie 0
3600.02/3610.11 c CG core degree average 0.00
3600.02/3610.11 c CG core slack average 0.00
3600.02/3610.11 c CG core upper bound improvements 0
3600.02/3610.11 c STR number of successful calls 0
3600.02/3610.11 c STR number of unsuccessful calls 0
3600.02/3610.11 c STR number of inconclusive calls 0
3600.02/3610.11 c STR number of successful attempts 0
3600.02/3610.11 c STR number of unsuccessful attempts 0
3600.02/3610.11 c STR number of inconclusive attempts 0
3600.02/3610.11 c STR average degree increase per successful call inf
3600.02/3610.11 c STR average degree increase per successful attempt inf
3600.02/3610.11 c STR total number of conflicts for successful attempts 0
3600.02/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.11 c STR average number of conflicts per successful attempt inf
3600.02/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.11 c AVG.sumWPerc -nan
3600.02/3610.11 c bigint constraints 0
3600.02/3610.11 s UNKNOWN
3600.02/3610.11 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 (63145 MiB free)
memory of node 1: 64465 MiB (63799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485550-1751311338/watcher-4485550-1751311338 -o /tmp/evaluation-result-4485550-1751311338/solver-4485550-1751311338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41607 --watchdog 3760 run-opt.sh HOME/instance-4485550-1751311338.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42364, runsolver pid=42360
[startup+0.100058 s]*
/proc/loadavg: 4.18 4.14 4.11 3/263 42370
/proc/meminfo: memFree=129965672/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=59932 memory=15100 CPUtime=0.05 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2456 0 0 0 5 0 0 0 20 0 1 0 46812473 61370368 3775 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 14983 3775 1920 1147 0 2410 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 64124 KiB
Current children cumulated memory: 18044 KiB
[startup+0.205619 s]*
/proc/loadavg: 4.18 4.14 4.11 3/263 42372
/proc/meminfo: memFree=129925972/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=85496 memory=37592 CPUtime=0.15 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 7879 0 0 0 11 4 0 0 20 0 1 0 46812473 87547904 9398 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 21374 9398 2336 1147 0 8801 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 40536 KiB
[startup+0.305576 s]*
/proc/loadavg: 4.18 4.14 4.11 3/263 42375
/proc/meminfo: memFree=129915004/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=96828 memory=51428 CPUtime=0.26 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 10304 0 0 0 21 5 0 0 20 0 1 0 46812473 99151872 12857 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 24207 12857 2336 1147 0 11634 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 101020 KiB
Current children cumulated memory: 54372 KiB
[startup+0.70018 s]
/proc/loadavg: 4.18 4.14 4.11 3/263 42384
/proc/meminfo: memFree=129884012/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=136232 memory=88396 CPUtime=0.64 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 17982 0 0 0 56 8 0 0 20 0 1 0 46812473 139501568 22099 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 34058 22099 2368 1147 0 21485 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 140424 KiB
Current children cumulated memory: 91340 KiB
[startup+1.5002 s]
/proc/loadavg: 4.18 4.14 4.11 4/266 42429
/proc/meminfo: memFree=129804864/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=279352 memory=222956 CPUtime=1.44 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 47042 0 0 0 128 16 0 0 20 0 1 0 46812473 286056448 55739 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 69838 55739 2368 1147 0 57265 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 283544 KiB
Current children cumulated memory: 225900 KiB
[startup+3.10565 s]
/proc/loadavg: 4.18 4.14 4.11 5/271 42442
/proc/meminfo: memFree=129241400/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=477552 memory=400424 CPUtime=3.04 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 81699 0 0 0 269 35 0 0 20 0 1 0 46812473 489013248 100106 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 119388 100106 2368 1147 0 106815 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 481744 KiB
Current children cumulated memory: 403368 KiB
[startup+6.30018 s]
/proc/loadavg: 4.17 4.14 4.11 5/270 42442
/proc/meminfo: memFree=128551520/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=929332 memory=750944 CPUtime=6.23 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 148389 0 0 0 562 61 0 0 20 0 1 0 46812473 951635968 187736 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 232333 187736 2368 1147 0 219760 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 933524 KiB
Current children cumulated memory: 753888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.16 4.12 5/270 42442
/proc/meminfo: memFree=128000088/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=1170324 memory=1068596 CPUtime=12.61 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 193625 0 0 0 1159 102 0 0 20 0 1 0 46812473 1198411776 267149 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 292581 267149 2368 1147 0 280008 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1174516 KiB
Current children cumulated memory: 1071540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.16 4.12 5/270 42443
/proc/meminfo: memFree=126854076/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=1932920 memory=1673220 CPUtime=25.38 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 310054 0 0 0 2386 152 0 0 20 0 1 0 46812473 1979310080 418305 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 483230 418305 2368 1147 0 470657 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1937112 KiB
Current children cumulated memory: 1676164 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.15 4.12 5/270 42443
/proc/meminfo: memFree=125512196/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=2470376 memory=2023488 CPUtime=50.92 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 367493 0 0 0 4876 216 0 0 20 0 1 0 46812473 2529665024 505872 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 617594 505872 2368 1147 0 605021 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2474568 KiB
Current children cumulated memory: 2026432 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/270 42446
/proc/meminfo: memFree=124305424/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=3553424 memory=3042884 CPUtime=101.97 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 570825 0 0 0 9856 341 0 0 20 0 1 0 46812473 3638706176 760721 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 888356 760721 2368 1147 0 875783 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3557616 KiB
Current children cumulated memory: 3045828 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/270 42449
/proc/meminfo: memFree=123688184/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=3592216 memory=3226056 CPUtime=161.82 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 598348 0 0 0 15731 451 0 0 20 0 1 0 46812473 3678429184 806514 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 898054 806514 2368 1147 0 885481 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3596408 KiB
Current children cumulated memory: 3229000 KiB
[startup+222.3 s]
/proc/loadavg: 4.49 4.22 4.13 5/269 42451
/proc/meminfo: memFree=123034160/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=4355224 memory=3663312 CPUtime=221.67 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 664804 0 0 0 21612 555 0 0 20 0 1 0 46812473 4459749376 915828 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 1088806 915828 2368 1147 0 1076233 0
################
# More data... #
################
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13734824 memory=10466252 CPUtime=3093.66 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2009691 0 0 0 307207 2159 0 0 20 0 1 0 46812473 14064459776 2616563 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3433706 2616563 2368 1147 0 3421133 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 13739016 KiB
Current children cumulated memory: 10469196 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 42613
/proc/meminfo: memFree=108835148/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13822380 memory=10796520 CPUtime=3153.49 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2050895 0 0 0 313145 2204 0 0 20 0 1 0 46812473 14154117120 2699130 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3455595 2699130 2368 1147 0 3443022 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 13826572 KiB
Current children cumulated memory: 10799464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 42615
/proc/meminfo: memFree=108787760/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13822380 memory=10796520 CPUtime=3213.32 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2051441 0 0 0 319089 2243 0 0 20 0 1 0 46812473 14154117120 2699130 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3455595 2699130 2368 1147 0 3443022 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 13826572 KiB
Current children cumulated memory: 10799464 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 42619
/proc/meminfo: memFree=108625188/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13841836 memory=10937524 CPUtime=3273.16 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2067547 0 0 0 325029 2287 0 0 20 0 1 0 46812473 14174040064 2734381 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3460459 2734381 2368 1147 0 3447886 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 13846028 KiB
Current children cumulated memory: 10940468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 42626
/proc/meminfo: memFree=108639668/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13841836 memory=10937524 CPUtime=3332.97 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2068146 0 0 0 330996 2301 0 0 20 0 1 0 46812473 14174040064 2734381 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3460459 2734381 2368 1147 0 3447886 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 13846028 KiB
Current children cumulated memory: 10940468 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 42628
/proc/meminfo: memFree=108590064/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13845420 memory=10940852 CPUtime=3392.8 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2069663 0 0 0 336973 2307 0 0 20 0 1 0 46812473 14177710080 2735213 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3461355 2735213 2368 1147 0 3448782 0
Current children cumulated CPU time: 3392.8 s
Current children cumulated vsize: 13849612 KiB
Current children cumulated memory: 10943796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 42631
/proc/meminfo: memFree=108481908/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13877676 memory=11046000 CPUtime=3452.62 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2088066 0 0 0 342937 2325 0 0 20 0 1 0 46812473 14210740224 2761500 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3469419 2761500 2368 1147 0 3456846 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 13881868 KiB
Current children cumulated memory: 11048944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 42633
/proc/meminfo: memFree=108459168/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13877676 memory=11046000 CPUtime=3512.46 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2088481 0 0 0 348918 2328 0 0 20 0 1 0 46812473 14210740224 2761500 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3469419 2761500 2368 1147 0 3456846 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 13881868 KiB
Current children cumulated memory: 11048944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/268 42635
/proc/meminfo: memFree=108445888/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13877676 memory=11046000 CPUtime=3572.29 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2089452 0 0 0 354897 2332 0 0 20 0 1 0 46812473 14210740224 2761500 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3469419 2761500 2368 1147 0 3456846 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 13881868 KiB
Current children cumulated memory: 11048944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.08 4.09 4/262 42644
/proc/meminfo: memFree=109998592/131249996 swapFree=33010684/33010684
[pid=42364] ppid=42360 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/42364/stat : 42364 (run-opt.sh) S 42360 42364 41594 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 46812471 4292608 736 18446744073709551615 94508813283328 94508814177861 140732722742176 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94508814416912 94508814464656 94508826984448 140732722747757 140732722747880 140732722747880 140732722753482 0
/proc/42364/statm: 1048 736 672 219 0 110 0
[pid=42366] ppid=42364 vsize=13877676 memory=11046128 CPUtime=3600.02 cores=5,7
/proc/42366/stat : 42366 (roundingsat) R 42364 42364 41594 0 -1 4194304 2089702 0 0 0 357668 2334 0 0 20 0 1 0 46812473 14210740224 2761532 18446744073709551615 4227072 8923433 140723933111904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18579456 140723933120930 140723933121064 140723933121064 140723933126634 0
/proc/42366/statm: 3469419 2761532 2368 1147 0 3456846 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 13881868 KiB
Current children cumulated memory: 11049072 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.11 s]
# the end of solver process 42364 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.003316 s
Sleeping 2 seconds
[startup+3610.49 s]
# the end of solver process 42366 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3576.7 s, system=23.7162 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.4 s]*
/proc/loadavg: 4.08 4.08 4.09 3/258 42661
/proc/meminfo: memFree=128000284/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.003316 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.49
CPU time (s): 3600.41
CPU user time (s): 3576.7
CPU system time (s): 23.7162
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 13881868
Max. memory (cumulated for all children) (KiB): 11049072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.7
system time used= 23.7162
maximum resident set size= 11046384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2089929
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= 545
involuntary context switches= 20171
# summary of solver processes directly reported to runsolver:
# pid: 42364,42366
# total CPU time (s): 3600.41
# total CPU user time (s): 3576.7
# total CPU system time (s): 23.7162
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79242 second user time and 18.1244 second system time
The end
Begin job on nodeC032 at 2025-06-30 21:22:18
IDJOB=4485550
IDBENCH=146800
IDSOLVER=3350
FILE ID=nodeC032/4485550-1751311338
RUNJOBID= nodeC032-1751304114-41607
SLURM_JOB_ID= 9594298
Free space on /tmp= 432044 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485550-1751311338/watcher-4485550-1751311338 -o /tmp/evaluation-result-4485550-1751311338/solver-4485550-1751311338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41607 --watchdog 3760 run-opt.sh HOME/instance-4485550-1751311338.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=272589413
nodeC032 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 : 1245.468
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.69
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.867
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.69
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 : 2553.980
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.69
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 : 2677.724
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.69
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 : 2467.483
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
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.69
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 : 2276.833
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.69
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 : 3590.985
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130011340 kB
MemAvailable: 129796372 kB
Buffers: 3280 kB
Cached: 593188 kB
SwapCached: 0 kB
Active: 321496 kB
Inactive: 339792 kB
Active(anon): 82888 kB
Inactive(anon): 0 kB
Active(file): 238608 kB
Inactive(file): 339792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19824 kB
Writeback: 60 kB
AnonPages: 68064 kB
Mapped: 103344 kB
Shmem: 18068 kB
KReclaimable: 91740 kB
Slab: 177344 kB
SReclaimable: 91740 kB
SUnreclaim: 85604 kB
KernelStack: 4172 kB
PageTables: 3204 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 335356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432032 MiB
End job on nodeC032 at 2025-06-30 22:22:29