0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.17/0.30 c #variables 40451 #constraints 40949
0.17/0.30 c objective is ce32
0.27/0.32 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.27/0.32 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.27/0.32 c GLOBAL bounds - >= -14671668 @ 0.245441
0.27/0.37 c GLOBAL bounds - >= -14671668 @ 0.272568
0.38/0.43 c GLOBAL bounds - >= -14671668 @ 0.292392
0.38/0.48 c GLOBAL bounds - >= -14671668 @ 0.319116
0.48/0.53 c GLOBAL bounds - >= -14671668 @ 0.348086
0.48/0.58 c GLOBAL bounds - >= -14671668 @ 0.371011
0.56/0.63 c GLOBAL bounds - >= -14671668 @ 0.399734
0.56/0.68 c GLOBAL bounds - >= -14671668 @ 0.42355
0.66/0.73 c GLOBAL bounds - >= -14671668 @ 0.445401
0.66/0.78 c GLOBAL bounds - >= -14671668 @ 0.475242
0.76/0.83 c GLOBAL bounds - >= -14671668 @ 0.507028
0.76/0.88 c GLOBAL bounds - >= -14671668 @ 0.538015
0.86/0.93 c GLOBAL bounds - >= -14671668 @ 0.566878
0.86/0.99 c GLOBAL bounds - >= -14671668 @ 0.597818
0.96/1.04 c GLOBAL bounds - >= -14671668 @ 0.625673
0.96/1.09 c GLOBAL bounds - >= -14671668 @ 0.653746
1.06/1.14 c GLOBAL bounds - >= -14671668 @ 0.678734
1.06/1.19 c GLOBAL bounds - >= -14671668 @ 0.708774
1.16/1.24 c GLOBAL bounds - >= -14671668 @ 0.734701
1.16/1.29 c GLOBAL bounds - >= -14671668 @ 0.764578
1.26/1.34 c GLOBAL bounds - >= -14671668 @ 0.793605
1.36/1.40 c GLOBAL bounds - >= -14671668 @ 0.820579
1.36/1.45 c GLOBAL bounds - >= -14671668 @ 0.8495
1.46/1.50 c GLOBAL bounds - >= -14671668 @ 0.876626
1.46/1.55 c GLOBAL bounds - >= -14671668 @ 0.901672
1.56/1.60 c GLOBAL bounds - >= -14671668 @ 0.930082
1.56/1.65 c GLOBAL bounds - >= -14671668 @ 0.950053
1.65/1.70 c GLOBAL bounds - >= -14671668 @ 0.974177
1.65/1.75 c GLOBAL bounds - >= -14671668 @ 0.9972
1.76/1.80 c GLOBAL bounds - >= -14671668 @ 1.02633
1.76/1.86 c GLOBAL bounds - >= -14671668 @ 1.05136
1.85/1.91 c GLOBAL bounds - >= -14671668 @ 1.0779
1.85/1.96 c GLOBAL bounds - >= -14671668 @ 1.10231
1.96/2.01 c GLOBAL bounds - >= -14671668 @ 1.12566
1.96/2.06 c GLOBAL bounds - >= -14671668 @ 1.15117
2.06/2.11 c GLOBAL bounds - >= -14671668 @ 1.1756
2.06/2.18 c GLOBAL bounds - >= -14671668 @ 1.21265
2.16/2.23 c GLOBAL bounds - >= -14671668 @ 1.24479
2.16/2.28 c GLOBAL bounds - >= -14671668 @ 1.27437
2.25/2.37 c GLOBAL bounds - >= -14671668 @ 1.3432
2.36/2.41 c GLOBAL bounds - >= -14671668 @ 1.36887
2.36/2.48 c GLOBAL bounds - >= -14671668 @ 1.4203
2.46/2.54 c GLOBAL bounds - >= -14671668 @ 1.45552
2.56/2.60 c GLOBAL bounds - >= -14671668 @ 1.49857
2.56/2.66 c GLOBAL bounds - >= -14671668 @ 1.53318
2.66/2.73 c GLOBAL bounds - >= -14671668 @ 1.57596
2.76/2.80 c GLOBAL bounds - >= -14671668 @ 1.62582
2.85/2.99 c GLOBAL bounds - >= -14671668 @ 1.78676
2.96/3.04 c GLOBAL bounds - >= -14671668 @ 1.81859
3.06/3.12 c GLOBAL bounds - >= -14671668 @ 1.8734
3.15/3.21 c GLOBAL bounds - >= -14671668 @ 1.94416
3.25/3.30 c GLOBAL bounds - >= -14671668 @ 2.01537
3.35/3.40 c GLOBAL bounds - >= -14671668 @ 2.08221
3.35/3.48 c GLOBAL bounds - >= -14671668 @ 2.13508
3.46/3.54 c GLOBAL bounds - >= -14671668 @ 2.17183
3.56/3.60 c GLOBAL bounds - >= -14671668 @ 2.20219
3.56/3.66 c GLOBAL bounds - >= -14671668 @ 2.2377
3.65/3.72 c GLOBAL bounds - >= -14671668 @ 2.26753
3.65/3.79 c GLOBAL bounds - >= -14671668 @ 2.31329
3.75/3.86 c GLOBAL bounds - >= -14671668 @ 2.36841
3.85/3.97 c GLOBAL bounds - >= -14671668 @ 2.44881
3.96/4.03 c GLOBAL bounds - >= -14671668 @ 2.49212
3.96/4.09 c GLOBAL bounds - >= -14671668 @ 2.52735
4.06/4.16 c GLOBAL bounds - >= -14671668 @ 2.55995
4.15/4.22 c GLOBAL bounds - >= -14671668 @ 2.60009
4.25/4.35 c GLOBAL bounds - >= -14671668 @ 2.70092
4.35/4.41 c GLOBAL bounds - >= -14671668 @ 2.73852
4.35/4.47 c GLOBAL bounds - >= -14671668 @ 2.77898
4.46/4.56 c GLOBAL bounds - >= -14671668 @ 2.84672
4.55/4.64 c GLOBAL bounds - >= -14671668 @ 2.90045
4.65/4.70 c GLOBAL bounds - >= -14671668 @ 2.93455
4.65/4.78 c GLOBAL bounds - >= -14671668 @ 2.99235
4.75/4.86 c GLOBAL bounds - >= -14671668 @ 3.04348
4.95/5.07 c GLOBAL bounds - >= -14671668 @ 3.22503
5.05/5.14 c GLOBAL bounds - >= -14671668 @ 3.26807
5.25/5.35 c GLOBAL bounds - >= -14671668 @ 3.44452
5.35/5.43 c GLOBAL bounds - >= -14671668 @ 3.49529
5.55/5.64 c GLOBAL bounds - >= -14671668 @ 3.67326
5.64/5.77 c GLOBAL bounds - >= -14671668 @ 3.7869
5.75/5.85 c GLOBAL bounds - >= -14671668 @ 3.83769
5.84/5.96 c GLOBAL bounds - >= -14671668 @ 3.92183
5.95/6.09 c GLOBAL bounds - >= -14671668 @ 4.02737
6.05/6.17 c GLOBAL bounds - >= -14671668 @ 4.07884
6.14/6.24 c GLOBAL bounds - >= -14671668 @ 4.11671
6.25/6.30 c GLOBAL bounds - >= -14671668 @ 4.15888
6.25/6.37 c GLOBAL bounds - >= -14671668 @ 4.20559
6.34/6.44 c GLOBAL bounds - >= -14671668 @ 4.25664
6.45/6.54 c GLOBAL bounds - >= -14671668 @ 4.32248
6.95/7.00 c GLOBAL bounds - >= -14671668 @ 4.74431
7.05/7.12 c GLOBAL bounds - >= -14671668 @ 4.83729
7.24/7.33 c GLOBAL bounds - >= -14671668 @ 5.02494
7.44/7.50 c GLOBAL bounds - >= -14671668 @ 5.16981
7.44/7.57 c GLOBAL bounds - >= -14671668 @ 5.21911
10.73/10.87 c GLOBAL bounds - >= -14671668 @ 8.43813
13.13/13.28 c GLOBAL bounds - >= -14671668 @ 10.7719
17.61/17.78 c GLOBAL bounds - >= -14671668 @ 15.1897
17.92/18.01 c GLOBAL bounds - >= -14671668 @ 15.3907
18.12/18.27 c GLOBAL bounds - >= -14671668 @ 15.6265
18.31/18.40 c GLOBAL bounds - >= -14671668 @ 15.7354
18.41/18.55 c GLOBAL bounds - >= -14671668 @ 15.8589
18.61/18.71 c GLOBAL bounds - >= -14671668 @ 15.9867
20.50/20.63 c GLOBAL bounds - >= -14671668 @ 17.8523
23.80/23.97 c GLOBAL bounds - >= -14671668 @ 21.1238
24.00/24.12 c GLOBAL bounds - >= -14671668 @ 21.2559
26.08/26.22 c GLOBAL bounds - >= -14671668 @ 23.3117
26.28/26.40 c GLOBAL bounds - >= -14671668 @ 23.46
26.38/26.54 c GLOBAL bounds - >= -14671668 @ 23.5763
26.49/26.66 c GLOBAL bounds - >= -14671668 @ 23.6703
26.68/26.80 c GLOBAL bounds - >= -14671668 @ 23.7836
26.79/26.94 c GLOBAL bounds - >= -14671668 @ 23.8911
26.89/27.10 c GLOBAL bounds - >= -14671668 @ 24.0257
27.08/27.25 c GLOBAL bounds - >= -14671668 @ 24.1523
27.19/27.39 c GLOBAL bounds - >= -14671668 @ 24.2706
27.38/27.53 c GLOBAL bounds - >= -14671668 @ 24.3772
27.48/27.67 c GLOBAL bounds - >= -14671668 @ 24.4907
27.69/27.81 c GLOBAL bounds - >= -14671668 @ 24.6021
27.78/27.97 c GLOBAL bounds - >= -14671668 @ 24.7406
28.09/28.21 c GLOBAL bounds - >= -14671668 @ 24.9515
28.28/28.40 c GLOBAL bounds - >= -14671668 @ 25.1233
28.58/28.73 c GLOBAL bounds - >= -14671668 @ 25.4185
28.68/28.88 c GLOBAL bounds - >= -14671668 @ 25.5429
28.88/29.00 c GLOBAL bounds - >= -14671668 @ 25.6408
28.99/29.15 c GLOBAL bounds - >= -14671668 @ 25.7604
29.08/29.29 c GLOBAL bounds - >= -14671668 @ 25.8758
29.28/29.42 c GLOBAL bounds - >= -14671668 @ 25.9852
30.88/31.01 c GLOBAL bounds - >= -14671668 @ 27.5275
32.27/32.42 c GLOBAL bounds - >= -14671668 @ 28.9022
42.24/42.43 c #Conflicts: 1000 | #Constraints: 1689
42.24/42.43 c GLOBAL bounds - >= -14671668 @ 38.7618
42.44/42.66 c GLOBAL bounds - >= -14671668 @ 38.965
42.84/43.05 c GLOBAL bounds - >= -14671668 @ 39.3327
43.13/43.31 c GLOBAL bounds - >= -14671668 @ 39.5629
43.34/43.54 c GLOBAL bounds - >= -14671668 @ 39.7528
43.54/43.73 c GLOBAL bounds - >= -14671668 @ 39.9299
43.74/43.93 c GLOBAL bounds - >= -14671668 @ 40.0998
50.22/50.48 c GLOBAL bounds - >= -14671668 @ 46.4424
53.60/53.80 c GLOBAL bounds - >= -14671668 @ 49.6776
53.81/54.07 c GLOBAL bounds - >= -14671668 @ 49.9205
54.11/54.30 c GLOBAL bounds - >= -14671668 @ 50.1285
54.31/54.57 c GLOBAL bounds - >= -14671668 @ 50.3657
54.60/54.82 c GLOBAL bounds - >= -14671668 @ 50.6017
54.80/55.09 c GLOBAL bounds - >= -14671668 @ 50.8406
55.10/55.39 c GLOBAL bounds - >= -14671668 @ 51.111
55.40/55.66 c GLOBAL bounds - >= -14671668 @ 51.358
55.90/56.12 c GLOBAL bounds - >= -14671668 @ 51.787
56.20/56.46 c GLOBAL bounds - >= -14671668 @ 52.0961
56.50/56.75 c GLOBAL bounds - >= -14671668 @ 52.3641
56.80/57.02 c GLOBAL bounds - >= -14671668 @ 52.605
57.09/57.31 c GLOBAL bounds - >= -14671668 @ 52.8665
57.49/57.70 c GLOBAL bounds - >= -14671668 @ 53.2334
57.80/58.04 c GLOBAL bounds - >= -14671668 @ 53.5499
58.10/58.35 c GLOBAL bounds - >= -14671668 @ 53.8238
58.39/58.69 c GLOBAL bounds - >= -14671668 @ 54.1375
58.69/58.93 c GLOBAL bounds - >= -14671668 @ 54.3508
73.95/74.29 c #Conflicts: 2000 | #Constraints: 2741
73.95/74.29 c INPROCESSING
73.95/74.29 c GARBAGE COLLECT
73.95/74.29 c GLOBAL bounds - >= -14671668 @ 69.508
74.24/74.55 c GLOBAL bounds - >= -14671668 @ 69.7397
74.55/74.83 c GLOBAL bounds - >= -14671668 @ 69.9934
74.85/75.10 c GLOBAL bounds - >= -14671668 @ 70.2437
75.04/75.34 c GLOBAL bounds - >= -14671668 @ 70.4578
75.34/75.61 c GLOBAL bounds - >= -14671668 @ 70.6975
76.64/76.99 c GLOBAL bounds - >= -14671668 @ 72.0508
76.94/77.24 c GLOBAL bounds - >= -14671668 @ 72.2754
77.24/77.51 c GLOBAL bounds - >= -14671668 @ 72.5276
77.44/77.73 c GLOBAL bounds - >= -14671668 @ 72.7135
77.74/78.04 c GLOBAL bounds - >= -14671668 @ 72.9955
77.94/78.28 c GLOBAL bounds - >= -14671668 @ 73.219
78.23/78.52 c GLOBAL bounds - >= -14671668 @ 73.426
78.53/78.87 c GLOBAL bounds - >= -14671668 @ 73.7592
79.84/80.14 c GLOBAL bounds - >= -14671668 @ 74.9348
80.13/80.41 c GLOBAL bounds - >= -14671668 @ 75.1815
80.53/80.86 c GLOBAL bounds - >= -14671668 @ 75.5995
80.83/81.12 c GLOBAL bounds - >= -14671668 @ 75.8377
81.03/81.39 c GLOBAL bounds - >= -14671668 @ 76.0923
97.28/97.69 c GLOBAL bounds - >= -14671668 @ 92.1588
106.16/106.56 c GLOBAL bounds - >= -14671668 @ 100.946
106.55/106.95 c GLOBAL bounds - >= -14671668 @ 101.311
106.95/107.30 c GLOBAL bounds - >= -14671668 @ 101.637
107.36/107.70 c GLOBAL bounds - >= -14671668 @ 102.011
107.66/108.05 c GLOBAL bounds - >= -14671668 @ 102.32
108.05/108.40 c GLOBAL bounds - >= -14671668 @ 102.638
108.35/108.72 c GLOBAL bounds - >= -14671668 @ 102.932
109.05/109.45 c GLOBAL bounds - >= -14671668 @ 103.629
109.45/109.85 c GLOBAL bounds - >= -14671668 @ 104.003
109.85/110.29 c GLOBAL bounds - >= -14671668 @ 104.413
110.34/110.75 c #Conflicts: 3000 | #Constraints: 2825
110.34/110.75 c GLOBAL bounds - >= -14671668 @ 104.847
112.25/112.66 c GLOBAL bounds - >= -14671668 @ 106.697
113.04/113.48 c GLOBAL bounds - >= -14671668 @ 107.467
113.44/113.83 c GLOBAL bounds - >= -14671668 @ 107.801
113.75/114.17 c GLOBAL bounds - >= -14671668 @ 108.116
114.14/114.51 c GLOBAL bounds - >= -14671668 @ 108.432
114.44/114.85 c GLOBAL bounds - >= -14671668 @ 108.744
115.14/115.50 c GLOBAL bounds - >= -14671668 @ 109.35
115.43/115.84 c GLOBAL bounds - >= -14671668 @ 109.658
115.84/116.21 c GLOBAL bounds - >= -14671668 @ 110.001
116.23/116.65 c GLOBAL bounds - >= -14671668 @ 110.414
116.53/117.00 c GLOBAL bounds - >= -14671668 @ 110.734
116.94/117.35 c GLOBAL bounds - >= -14671668 @ 111.052
117.53/117.99 c GLOBAL bounds - >= -14671668 @ 111.663
118.63/119.09 c GLOBAL bounds - >= -14671668 @ 112.729
120.42/120.84 c GLOBAL bounds - >= -14671668 @ 114.421
121.12/121.52 c GLOBAL bounds - >= -14671668 @ 115.064
121.42/121.88 c GLOBAL bounds - >= -14671668 @ 115.402
121.82/122.24 c GLOBAL bounds - >= -14671668 @ 115.728
122.52/122.90 c GLOBAL bounds - >= -14671668 @ 116.352
140.58/141.08 c GLOBAL bounds - >= -14671668 @ 134.328
144.58/145.10 c GLOBAL bounds - >= -14671668 @ 138.269
145.07/145.56 c GLOBAL bounds - >= -14671668 @ 138.702
147.26/147.75 c GLOBAL bounds - >= -14671668 @ 140.851
147.76/148.20 c GLOBAL bounds - >= -14671668 @ 141.275
149.16/149.67 c GLOBAL bounds - >= -14671668 @ 142.684
149.66/150.11 c GLOBAL bounds - >= -14671668 @ 143.084
150.05/150.52 c GLOBAL bounds - >= -14671668 @ 143.458
157.54/158.05 c GLOBAL bounds - >= -14671668 @ 150.76
158.74/159.25 c GLOBAL bounds - >= -14671668 @ 151.926
171.91/172.40 c #Conflicts: 4000 | #Constraints: 3885
171.91/172.40 c INPROCESSING
171.91/172.40 c GARBAGE COLLECT
171.91/172.40 c GLOBAL bounds - >= -14671668 @ 164.904
177.59/178.15 c GLOBAL bounds - >= -14671668 @ 170.536
177.89/178.46 c GLOBAL bounds - >= -14671668 @ 170.811
178.29/178.88 c GLOBAL bounds - >= -14671668 @ 171.213
178.68/179.25 c GLOBAL bounds - >= -14671668 @ 171.558
178.99/179.59 c GLOBAL bounds - >= -14671668 @ 171.879
192.95/193.56 c GLOBAL bounds - >= -14671668 @ 185.668
193.36/193.99 c GLOBAL bounds - >= -14671668 @ 186.069
195.25/195.85 c GLOBAL bounds - >= -14671668 @ 187.886
195.65/196.24 c GLOBAL bounds - >= -14671668 @ 188.247
196.24/196.80 c GLOBAL bounds - >= -14671668 @ 188.776
197.45/198.09 c GLOBAL bounds - >= -14671668 @ 190.006
220.99/221.61 c #Conflicts: 5000 | #Constraints: 3301
220.99/221.61 c GLOBAL bounds - >= -14671668 @ 213.243
221.79/222.41 c GLOBAL bounds - >= -14671668 @ 214.004
222.29/222.92 c GLOBAL bounds - >= -14671668 @ 214.485
222.78/223.49 c GLOBAL bounds - >= -14671668 @ 215.032
223.28/223.98 c GLOBAL bounds - >= -14671668 @ 215.492
223.88/224.54 c GLOBAL bounds - >= -14671668 @ 216.034
229.47/230.13 c GLOBAL bounds - >= -14671668 @ 221.523
229.97/230.63 c GLOBAL bounds - >= -14671668 @ 222.001
230.77/231.48 c GLOBAL bounds - >= -14671668 @ 222.806
235.65/236.38 c #Conflicts: 6000 | #Constraints: 4319
235.65/236.38 c GLOBAL bounds - >= -14671668 @ 227.643
236.25/236.93 c GLOBAL bounds - >= -14671668 @ 228.162
236.75/237.44 c GLOBAL bounds - >= -14671668 @ 228.655
237.55/238.25 c GLOBAL bounds - >= -14671668 @ 229.432
238.45/239.12 c GLOBAL bounds - >= -14671668 @ 230.276
243.64/244.35 c GLOBAL bounds - >= -14671668 @ 235.426
244.24/244.91 c GLOBAL bounds - >= -14671668 @ 235.961
244.93/245.61 c GLOBAL bounds - >= -14671668 @ 236.616
245.53/246.29 c GLOBAL bounds - >= -14671668 @ 237.282
246.13/246.82 c GLOBAL bounds - >= -14671668 @ 237.793
255.21/255.98 c INPROCESSING
255.21/255.98 c GARBAGE COLLECT
255.21/255.98 c GLOBAL bounds - >= -14671668 @ 246.811
255.61/256.35 c GLOBAL bounds - >= -14671668 @ 247.139
256.11/256.83 c GLOBAL bounds - >= -14671668 @ 247.597
256.42/257.17 c GLOBAL bounds - >= -14671668 @ 247.907
256.81/257.52 c GLOBAL bounds - >= -14671668 @ 248.224
257.10/257.83 c GLOBAL bounds - >= -14671668 @ 248.515
263.49/264.25 c GLOBAL bounds - >= -14671668 @ 254.871
265.29/266.02 c GLOBAL bounds - >= -14671668 @ 256.599
265.59/266.35 c GLOBAL bounds - >= -14671668 @ 256.914
291.52/292.33 c #Conflicts: 7000 | #Constraints: 3372
291.52/292.33 c GLOBAL bounds - >= -14671668 @ 282.701
292.02/292.83 c GLOBAL bounds - >= -14671668 @ 283.165
292.42/293.29 c GLOBAL bounds - >= -14671668 @ 283.607
294.52/295.34 c GLOBAL bounds - >= -14671668 @ 285.598
295.01/295.81 c GLOBAL bounds - >= -14671668 @ 286.038
295.42/296.27 c GLOBAL bounds - >= -14671668 @ 286.466
295.91/296.74 c GLOBAL bounds - >= -14671668 @ 286.92
296.31/297.19 c GLOBAL bounds - >= -14671668 @ 287.339
308.88/309.74 c #Conflicts: 8000 | #Constraints: 4388
308.88/309.74 c GLOBAL bounds - >= -14671668 @ 299.723
309.47/310.31 c GLOBAL bounds - >= -14671668 @ 300.277
316.36/317.21 c GLOBAL bounds - >= -14671668 @ 307.073
319.05/319.97 c GLOBAL bounds - >= -14671668 @ 309.793
323.35/324.23 c GLOBAL bounds - >= -14671668 @ 314.008
324.04/324.94 c GLOBAL bounds - >= -14671668 @ 314.678
324.64/325.58 c GLOBAL bounds - >= -14671668 @ 315.288
325.24/326.19 c GLOBAL bounds - >= -14671668 @ 315.88
325.85/326.78 c GLOBAL bounds - >= -14671668 @ 316.446
327.94/328.81 c GLOBAL bounds - >= -14671668 @ 318.421
328.44/329.34 c GLOBAL bounds - >= -14671668 @ 318.926
328.94/329.85 c GLOBAL bounds - >= -14671668 @ 319.414
329.53/330.47 c GLOBAL bounds - >= -14671668 @ 320.02
330.23/331.19 c GLOBAL bounds - >= -14671668 @ 320.712
341.30/342.29 c #Conflicts: 9000 | #Constraints: 5416
341.30/342.29 c GLOBAL bounds - >= -14671668 @ 331.678
342.00/342.93 c GLOBAL bounds - >= -14671668 @ 332.297
342.90/343.82 c GLOBAL bounds - >= -14671668 @ 333.155
349.09/350.01 c INPROCESSING
349.09/350.01 c GARBAGE COLLECT
349.09/350.01 c GLOBAL bounds - >= -14671668 @ 339.262
361.16/362.15 c GLOBAL bounds - >= -14671668 @ 351.227
361.75/362.78 c GLOBAL bounds - >= -14671668 @ 351.819
362.25/363.21 c GLOBAL bounds - >= -14671668 @ 352.228
362.65/363.60 c GLOBAL bounds - >= -14671668 @ 352.594
363.35/364.33 c GLOBAL bounds - >= -14671668 @ 353.296
364.16/365.14 c GLOBAL bounds - >= -14671668 @ 354.083
364.95/365.98 c GLOBAL bounds - >= -14671668 @ 354.897
365.94/366.98 c GLOBAL bounds - >= -14671668 @ 355.866
366.44/367.42 c GLOBAL bounds - >= -14671668 @ 356.282
366.84/367.84 c GLOBAL bounds - >= -14671668 @ 356.684
367.24/368.28 c GLOBAL bounds - >= -14671668 @ 357.098
368.04/369.04 c GLOBAL bounds - >= -14671668 @ 357.835
368.54/369.54 c GLOBAL bounds - >= -14671668 @ 358.32
369.14/370.14 c GLOBAL bounds - >= -14671668 @ 358.886
374.83/375.87 c GLOBAL bounds - >= -14671668 @ 364.49
375.32/376.32 c GLOBAL bounds - >= -14671668 @ 364.913
375.92/376.94 c GLOBAL bounds - >= -14671668 @ 365.503
387.49/388.53 c #Conflicts: 10000 | #Constraints: 4153
387.49/388.53 c GLOBAL bounds - >= -14671668 @ 376.974
388.49/389.58 c GLOBAL bounds - >= -14671668 @ 377.991
389.49/390.57 c GLOBAL bounds - >= -14671668 @ 378.947
390.09/391.13 c GLOBAL bounds - >= -14671668 @ 379.487
390.59/391.68 c GLOBAL bounds - >= -14671668 @ 380.017
391.68/392.70 c GLOBAL bounds - >= -14671668 @ 381.004
392.18/393.22 c GLOBAL bounds - >= -14671668 @ 381.505
413.23/414.37 c GLOBAL bounds - >= -14671668 @ 402.436
413.83/414.90 c GLOBAL bounds - >= -14671668 @ 402.931
434.37/435.60 c #Conflicts: 11000 | #Constraints: 5171
434.37/435.60 c GLOBAL bounds - >= -14671668 @ 423.409
435.67/436.84 c GLOBAL bounds - >= -14671668 @ 424.622
436.37/437.53 c GLOBAL bounds - >= -14671668 @ 425.283
444.25/445.49 c GLOBAL bounds - >= -14671668 @ 433.14
444.75/446.00 c GLOBAL bounds - >= -14671668 @ 433.622
464.00/465.26 c GLOBAL bounds - >= -14671668 @ 452.672
464.60/465.83 c GLOBAL bounds - >= -14671668 @ 453.211
465.10/466.36 c GLOBAL bounds - >= -14671668 @ 453.708
469.38/470.66 c GLOBAL bounds - >= -14671668 @ 457.954
469.99/471.27 c GLOBAL bounds - >= -14671668 @ 458.525
470.69/471.97 c GLOBAL bounds - >= -14671668 @ 459.175
525.95/527.30 c #Conflicts: 12000 | #Constraints: 6193
525.95/527.30 c INPROCESSING
525.95/527.30 c GARBAGE COLLECT
525.95/527.30 c GLOBAL bounds - >= -14671668 @ 513.552
528.25/529.60 c GLOBAL bounds - >= -14671668 @ 515.808
529.55/530.96 c GLOBAL bounds - >= -14671668 @ 517.133
530.05/531.49 c GLOBAL bounds - >= -14671668 @ 517.637
530.44/531.83 c GLOBAL bounds - >= -14671668 @ 517.949
538.63/540.09 c GLOBAL bounds - >= -14671668 @ 526.103
539.23/540.63 c GLOBAL bounds - >= -14671668 @ 526.615
540.52/541.97 c GLOBAL bounds - >= -14671668 @ 527.899
541.02/542.48 c GLOBAL bounds - >= -14671668 @ 528.384
541.52/542.90 c GLOBAL bounds - >= -14671668 @ 528.784
541.92/543.39 c GLOBAL bounds - >= -14671668 @ 529.252
544.41/545.88 c GLOBAL bounds - >= -14671668 @ 531.703
552.80/554.27 c GLOBAL bounds - >= -14671668 @ 539.765
553.19/554.63 c GLOBAL bounds - >= -14671668 @ 540.104
553.49/555.00 c GLOBAL bounds - >= -14671668 @ 540.444
553.98/555.46 c GLOBAL bounds - >= -14671668 @ 540.871
554.39/555.82 c GLOBAL bounds - >= -14671668 @ 541.206
554.69/556.16 c GLOBAL bounds - >= -14671668 @ 541.52
555.08/556.55 c GLOBAL bounds - >= -14671668 @ 541.88
555.48/556.92 c GLOBAL bounds - >= -14671668 @ 542.223
555.98/557.42 c GLOBAL bounds - >= -14671668 @ 542.681
583.42/584.98 c #Conflicts: 13000 | #Constraints: 4727
583.42/584.98 c #Conflicts: 14000 | #Constraints: 5727
583.42/584.98 c GLOBAL bounds - >= -14671668 @ 570.002
605.95/607.59 c #Conflicts: 15000 | #Constraints: 6729
605.95/607.59 c INPROCESSING
605.95/607.59 c GARBAGE COLLECT
605.95/607.59 c GLOBAL bounds - >= -14671668 @ 592.428
683.46/685.20 c #Conflicts: 16000 | #Constraints: 4931
683.46/685.20 c #Conflicts: 17000 | #Constraints: 5931
683.46/685.20 c #Conflicts: 18000 | #Constraints: 6931
683.46/685.20 c INPROCESSING
683.46/685.20 c GARBAGE COLLECT
683.46/685.20 c GLOBAL bounds - >= -14671668 @ 669.61
683.76/685.59 c GLOBAL bounds - >= -14671668 @ 669.981
685.27/687.02 c GLOBAL bounds - >= -14671668 @ 671.367
694.03/695.88 c GLOBAL bounds - >= -14671668 @ 680.069
733.94/735.81 c #Conflicts: 19000 | #Constraints: 4944
733.94/735.81 c #Conflicts: 20000 | #Constraints: 5944
733.94/735.81 c GLOBAL bounds - >= -14671668 @ 719.491
738.43/740.35 c GLOBAL bounds - >= -14671668 @ 723.961
771.15/773.17 c #Conflicts: 21000 | #Constraints: 6948
771.15/773.17 c GLOBAL bounds - >= -14671668 @ 756.478
796.08/798.13 c INPROCESSING
796.08/798.13 c GARBAGE COLLECT
796.08/798.13 c GLOBAL bounds - >= -14671668 @ 781.237
811.33/813.44 c #Conflicts: 22000 | #Constraints: 4746
811.33/813.44 c GLOBAL bounds - >= -14671668 @ 796.427
811.73/813.85 c GLOBAL bounds - >= -14671668 @ 796.798
813.62/815.73 c GLOBAL bounds - >= -14671668 @ 798.618
813.93/816.05 c GLOBAL bounds - >= -14671668 @ 798.92
814.22/816.36 c GLOBAL bounds - >= -14671668 @ 799.199
814.53/816.69 c GLOBAL bounds - >= -14671668 @ 799.504
814.93/817.00 c GLOBAL bounds - >= -14671668 @ 799.796
815.52/817.62 c GLOBAL bounds - >= -14671668 @ 800.389
815.82/817.99 c GLOBAL bounds - >= -14671668 @ 800.731
816.21/818.38 c GLOBAL bounds - >= -14671668 @ 801.089
816.72/818.82 c GLOBAL bounds - >= -14671668 @ 801.508
817.02/819.16 c GLOBAL bounds - >= -14671668 @ 801.809
817.72/819.83 c GLOBAL bounds - >= -14671668 @ 802.457
819.31/821.46 c GLOBAL bounds - >= -14671668 @ 804.05
821.00/823.12 c GLOBAL bounds - >= -14671668 @ 805.692
821.70/823.88 c GLOBAL bounds - >= -14671668 @ 806.411
825.29/827.44 c GLOBAL bounds - >= -14671668 @ 809.907
825.68/827.80 c GLOBAL bounds - >= -14671668 @ 810.246
825.99/828.19 c GLOBAL bounds - >= -14671668 @ 810.611
826.58/828.73 c GLOBAL bounds - >= -14671668 @ 811.132
827.09/829.25 c GLOBAL bounds - >= -14671668 @ 811.625
841.24/843.40 c GLOBAL bounds - >= -14671668 @ 825.6
841.54/843.78 c GLOBAL bounds - >= -14671668 @ 825.954
841.94/844.19 c GLOBAL bounds - >= -14671668 @ 826.334
842.95/845.16 c GLOBAL bounds - >= -14671668 @ 827.282
901.28/903.68 c #Conflicts: 23000 | #Constraints: 5796
901.28/903.68 c GLOBAL bounds - >= -14671668 @ 885.052
910.85/913.24 c GLOBAL bounds - >= -14671668 @ 894.515
914.55/916.93 c GLOBAL bounds - >= -14671668 @ 898.159
955.05/957.53 c #Conflicts: 24000 | #Constraints: 6802
955.05/957.53 c GLOBAL bounds - >= -14671668 @ 938.436
974.00/976.54 c GLOBAL bounds - >= -14671668 @ 957.285
974.80/977.31 c GLOBAL bounds - >= -14671668 @ 958.03
975.29/977.83 c GLOBAL bounds - >= -14671668 @ 958.519
1005.62/1008.23 c #Conflicts: 25000 | #Constraints: 7810
1005.62/1008.23 c INPROCESSING
1005.62/1008.23 c GARBAGE COLLECT
1005.62/1008.23 c GLOBAL bounds - >= -14671668 @ 988.606
1005.91/1008.51 c GLOBAL bounds - >= -14671668 @ 988.852
1073.14/1075.96 c #Conflicts: 26000 | #Constraints: 5437
1073.14/1075.96 c #Conflicts: 27000 | #Constraints: 6437
1073.14/1075.96 c GLOBAL bounds - >= -14671668 @ 1055.71
1073.73/1076.56 c GLOBAL bounds - >= -14671668 @ 1056.29
1080.42/1083.22 c GLOBAL bounds - >= -14671668 @ 1062.87
1094.88/1097.74 c GLOBAL bounds - >= -14671668 @ 1077.28
1095.68/1098.59 c GLOBAL bounds - >= -14671668 @ 1078.1
1096.48/1099.35 c GLOBAL bounds - >= -14671668 @ 1078.84
1100.57/1103.48 c GLOBAL bounds - >= -14671668 @ 1082.91
1101.17/1104.03 c GLOBAL bounds - >= -14671668 @ 1083.44
1101.67/1104.55 c GLOBAL bounds - >= -14671668 @ 1083.93
1102.27/1105.14 c GLOBAL bounds - >= -14671668 @ 1084.49
1102.97/1105.87 c GLOBAL bounds - >= -14671668 @ 1085.19
1103.56/1106.42 c GLOBAL bounds - >= -14671668 @ 1085.72
1104.07/1106.98 c GLOBAL bounds - >= -14671668 @ 1086.25
1104.66/1107.51 c GLOBAL bounds - >= -14671668 @ 1086.76
1145.85/1148.80 c #Conflicts: 28000 | #Constraints: 7465
1145.85/1148.80 c GLOBAL bounds - >= -14671668 @ 1127.51
1150.84/1153.89 c GLOBAL bounds - >= -14671668 @ 1132.51
1151.44/1154.44 c GLOBAL bounds - >= -14671668 @ 1133.04
1152.04/1155.04 c GLOBAL bounds - >= -14671668 @ 1133.61
1152.53/1155.59 c GLOBAL bounds - >= -14671668 @ 1134.14
1153.14/1156.13 c GLOBAL bounds - >= -14671668 @ 1134.65
1153.73/1156.74 c GLOBAL bounds - >= -14671668 @ 1135.24
1167.20/1170.22 c #Conflicts: 29000 | #Constraints: 8479
1167.20/1170.22 c INPROCESSING
1167.20/1170.22 c GARBAGE COLLECT
1167.20/1170.22 c GLOBAL bounds - >= -14671668 @ 1148.54
1167.40/1170.49 c GLOBAL bounds - >= -14671668 @ 1148.79
1167.71/1170.77 c GLOBAL bounds - >= -14671668 @ 1149.04
1168.00/1171.03 c GLOBAL bounds - >= -14671668 @ 1149.28
1186.06/1189.17 c GLOBAL bounds - >= -14671668 @ 1167.25
1196.83/1199.94 c GLOBAL bounds - >= -14671668 @ 1177.89
1197.22/1200.35 c GLOBAL bounds - >= -14671668 @ 1178.28
1257.87/1261.19 c #Conflicts: 30000 | #Constraints: 5889
1257.87/1261.19 c #Conflicts: 31000 | #Constraints: 6889
1257.87/1261.19 c GLOBAL bounds - >= -14671668 @ 1238.57
1258.27/1261.58 c GLOBAL bounds - >= -14671668 @ 1238.93
1258.78/1262.08 c GLOBAL bounds - >= -14671668 @ 1239.41
1259.47/1262.71 c GLOBAL bounds - >= -14671668 @ 1240.02
1267.04/1270.30 c GLOBAL bounds - >= -14671668 @ 1247.55
1280.72/1284.05 c GLOBAL bounds - >= -14671668 @ 1261.13
1281.12/1284.47 c GLOBAL bounds - >= -14671668 @ 1261.51
1281.51/1284.88 c GLOBAL bounds - >= -14671668 @ 1261.9
1281.91/1285.28 c GLOBAL bounds - >= -14671668 @ 1262.28
1282.41/1285.73 c GLOBAL bounds - >= -14671668 @ 1262.7
1282.82/1286.14 c GLOBAL bounds - >= -14671668 @ 1263.08
1283.21/1286.54 c GLOBAL bounds - >= -14671668 @ 1263.46
1320.72/1324.15 c #Conflicts: 32000 | #Constraints: 7913
1320.72/1324.15 c GLOBAL bounds - >= -14671668 @ 1300.78
1321.22/1324.67 c GLOBAL bounds - >= -14671668 @ 1301.27
1321.72/1325.20 c GLOBAL bounds - >= -14671668 @ 1301.76
1322.92/1326.30 c GLOBAL bounds - >= -14671668 @ 1302.84
1323.41/1326.85 c GLOBAL bounds - >= -14671668 @ 1303.36
1323.91/1327.32 c GLOBAL bounds - >= -14671668 @ 1303.8
1348.75/1352.28 c #Conflicts: 33000 | #Constraints: 8925
1348.75/1352.28 c INPROCESSING
1348.75/1352.28 c GARBAGE COLLECT
1348.75/1352.28 c GLOBAL bounds - >= -14671668 @ 1328.51
1349.14/1352.65 c GLOBAL bounds - >= -14671668 @ 1328.87
1349.44/1352.96 c GLOBAL bounds - >= -14671668 @ 1329.15
1350.54/1354.02 c GLOBAL bounds - >= -14671668 @ 1330.18
1351.44/1354.97 c GLOBAL bounds - >= -14671668 @ 1331.12
1352.34/1355.87 c GLOBAL bounds - >= -14671668 @ 1332
1352.84/1356.35 c GLOBAL bounds - >= -14671668 @ 1332.46
1353.03/1356.60 c GLOBAL bounds - >= -14671668 @ 1332.69
1353.33/1356.83 c GLOBAL bounds - >= -14671668 @ 1332.91
1358.53/1362.06 c GLOBAL bounds - >= -14671668 @ 1338.08
1365.70/1369.20 c GLOBAL bounds - >= -14671668 @ 1345.15
1370.90/1374.43 c GLOBAL bounds - >= -14671668 @ 1350.34
1371.19/1374.74 c GLOBAL bounds - >= -14671668 @ 1350.63
1371.69/1375.24 c GLOBAL bounds - >= -14671668 @ 1351.11
1372.60/1376.17 c GLOBAL bounds - >= -14671668 @ 1352.02
1416.97/1420.62 c #Conflicts: 34000 | #Constraints: 6141
1416.97/1420.62 c GLOBAL bounds - >= -14671668 @ 1396.18
1514.14/1518.10 c #Conflicts: 35000 | #Constraints: 7143
1514.14/1518.10 c #Conflicts: 36000 | #Constraints: 8143
1514.14/1518.10 c GLOBAL bounds - >= -14671668 @ 1493.08
1523.71/1527.66 c GLOBAL bounds - >= -14671668 @ 1502.55
1524.70/1528.67 c GLOBAL bounds - >= -14671668 @ 1503.55
1526.70/1530.60 c GLOBAL bounds - >= -14671668 @ 1505.46
1527.89/1531.80 c GLOBAL bounds - >= -14671668 @ 1506.64
1561.02/1565.07 c #Conflicts: 37000 | #Constraints: 9153
1561.02/1565.07 c GLOBAL bounds - >= -14671668 @ 1539.53
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 38000 | #Constraints: 6161
3600.08/3609.12 c #Conflicts: 39000 | #Constraints: 7161
3600.08/3609.12 c #Conflicts: 40000 | #Constraints: 8161
3600.08/3609.12 c #Conflicts: 41000 | #Constraints: 9161
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 42000 | #Constraints: 5963
3600.08/3609.12 c #Conflicts: 43000 | #Constraints: 6963
3600.08/3609.12 c #Conflicts: 44000 | #Constraints: 7963
3600.08/3609.12 c #Conflicts: 45000 | #Constraints: 8963
3600.08/3609.12 c #Conflicts: 46000 | #Constraints: 9963
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 47000 | #Constraints: 6554
3600.08/3609.12 c #Conflicts: 48000 | #Constraints: 7554
3600.08/3609.12 c #Conflicts: 49000 | #Constraints: 8554
3600.08/3609.12 c #Conflicts: 50000 | #Constraints: 9554
3600.08/3609.12 c #Conflicts: 51000 | #Constraints: 10554
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 52000 | #Constraints: 6970
3600.08/3609.12 c #Conflicts: 53000 | #Constraints: 7970
3600.08/3609.12 c #Conflicts: 54000 | #Constraints: 8970
3600.08/3609.12 c #Conflicts: 55000 | #Constraints: 9970
3600.08/3609.12 c #Conflicts: 56000 | #Constraints: 10970
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 57000 | #Constraints: 7173
3600.08/3609.12 c #Conflicts: 58000 | #Constraints: 8173
3600.08/3609.12 c #Conflicts: 59000 | #Constraints: 9173
3600.08/3609.12 c #Conflicts: 60000 | #Constraints: 10173
3600.08/3609.12 c #Conflicts: 61000 | #Constraints: 11173
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 62000 | #Constraints: 7181
3600.08/3609.12 c #Conflicts: 63000 | #Constraints: 8181
3600.08/3609.12 c #Conflicts: 64000 | #Constraints: 9181
3600.08/3609.12 c #Conflicts: 65000 | #Constraints: 10181
3600.08/3609.12 c #Conflicts: 66000 | #Constraints: 11181
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 67000 | #Constraints: 7018
3600.08/3609.12 c #Conflicts: 68000 | #Constraints: 8018
3600.08/3609.12 c #Conflicts: 69000 | #Constraints: 9018
3600.08/3609.12 c #Conflicts: 70000 | #Constraints: 10018
3600.08/3609.12 c #Conflicts: 71000 | #Constraints: 11018
3600.08/3609.12 c #Conflicts: 72000 | #Constraints: 12018
3600.08/3609.12 c INPROCESSING
3600.08/3609.12 c GARBAGE COLLECT
3600.08/3609.12 c #Conflicts: 73000 | #Constraints: 7609
3600.08/3609.12 c #Conflicts: 74000 | #Constraints: 8609
3600.08/3609.12 c #Conflicts: 75000 | #Constraints: 9609
3600.08/3609.12 c #Conflicts: 76000 | #Constraints: 10609
3600.08/3609.12 c cpu time 3570.37 s
3600.08/3609.12 c deterministic time 126 1.26e+02
3600.08/3609.12 c optimization time 3570.15 s
3600.08/3609.12 c total solve time 0 s
3600.08/3609.12 c core-guided solve time 0 s
3600.08/3609.12 c propagation time 0.013626 s
3600.08/3609.12 c conflict analysis time 0 s
3600.08/3609.12 c propagations 125
3600.08/3609.12 c resolve steps 0
3600.08/3609.12 c decisions 0
3600.08/3609.12 c conflicts 0
3600.08/3609.12 c restarts 0
3600.08/3609.12 c inprocessing phases 0
3600.08/3609.12 c garbage collections 0 ,( -nan )
3600.08/3609.12 c input clauses 40395 ,( 98.65 )
3600.08/3609.12 c input cardinalities 553 ,( 1.35 )
3600.08/3609.12 c input general constraints 1 ,( 0.00 )
3600.08/3609.12 c input average constraint length 5.42
3600.08/3609.12 c input average constraint degree 5.67
3600.08/3609.12 c learned clauses 0 ,( 0.00 )
3600.08/3609.12 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.12 c learned general constraints 0 ,( 0.00 )
3600.08/3609.12 c learned average constraint length 0.00
3600.08/3609.12 c learned average constraint degree 0.00
3600.08/3609.12 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.12 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.08/3609.12 c watched constraints 0 ,( 0.00 )
3600.08/3609.12 c counting constraints 1 ,( 100.00 )
3600.08/3609.12 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.12 c gcd simplifications 0
3600.08/3609.12 c detected cardinalities 0
3600.08/3609.12 c weakened non-implied lits 0
3600.08/3609.12 c weakened non-implying lits 0
3600.08/3609.12 c original variables 40451
3600.08/3609.12 c clausal propagations 0
3600.08/3609.12 c cardinality propagations 0
3600.08/3609.12 c watched propagations 0
3600.08/3609.12 c counting propagations 0
3600.08/3609.12 c watch lookups 0
3600.08/3609.12 c watch backjump lookups 0
3600.08/3609.12 c watch checks 0
3600.08/3609.12 c propagation checks 0
3600.08/3609.12 c constraint additions 0
3600.08/3609.12 c trail pops 0
3600.08/3609.12 c formula constraints 40949
3600.08/3609.12 c learned constraints 0
3600.08/3609.12 c bound constraints 0
3600.08/3609.12 c core-guided constraints 0
3600.08/3609.12 c encountered formula constraints 0
3600.08/3609.12 c encountered learned constraints 0
3600.08/3609.12 c encountered bound constraints 0
3600.08/3609.12 c encountered core-guided constraints 0
3600.08/3609.12 c LP total time 0 s
3600.08/3609.12 c LP solve time 0 s
3600.08/3609.12 c LP constraints added 0
3600.08/3609.12 c LP constraints removed 0
3600.08/3609.12 c LP pivots internal 0
3600.08/3609.12 c LP pivots root 0
3600.08/3609.12 c LP calls 0
3600.08/3609.12 c LP optimalities 0
3600.08/3609.12 c LP no pivot count 0
3600.08/3609.12 c LP infeasibilities 0
3600.08/3609.12 c LP valid Farkas constraints 0
3600.08/3609.12 c LP learned Farkas constraints 0
3600.08/3609.12 c LP basis resets 0
3600.08/3609.12 c LP cycling count 0
3600.08/3609.12 c LP singular count 0
3600.08/3609.12 c LP no primal count 0
3600.08/3609.12 c LP no farkas count 0
3600.08/3609.12 c LP other issue count 0
3600.08/3609.12 c LP Gomory cuts 0
3600.08/3609.12 c LP learned cuts 0
3600.08/3609.12 c LP deleted cuts 0
3600.08/3609.12 c LP encountered Gomory constraints 0
3600.08/3609.12 c LP encountered Farkas constraints 0
3600.08/3609.12 c LP encountered learned Farkas constraints 0
3600.08/3609.12 c CG auxiliary variables introduced 0
3600.08/3609.12 c CG solutions found 0
3600.08/3609.12 c CG cores constructed 0
3600.08/3609.12 c CG core cardinality constraints returned 0
3600.08/3609.12 c CG unit cores 0
3600.08/3609.12 c CG single cores 0
3600.08/3609.12 c CG blocks removed during cardinality reduction 0
3600.08/3609.12 c CG first core best 0
3600.08/3609.12 c CG decision core best 0
3600.08/3609.12 c CG core reduction tie 0
3600.08/3609.12 c CG core degree average 0.00
3600.08/3609.12 c CG core slack average 0.00
3600.08/3609.12 c CG core upper bound improvements 0
3600.08/3609.12 c STR number of successful calls 0
3600.08/3609.12 c STR number of unsuccessful calls 0
3600.08/3609.12 c STR number of inconclusive calls 0
3600.08/3609.12 c STR number of successful attempts 0
3600.08/3609.12 c STR number of unsuccessful attempts 0
3600.08/3609.12 c STR number of inconclusive attempts 0
3600.08/3609.12 c STR average degree increase per successful call inf
3600.08/3609.12 c STR average degree increase per successful attempt inf
3600.08/3609.12 c STR total number of conflicts for successful attempts 0
3600.08/3609.12 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.12 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.12 c STR average number of conflicts per successful attempt inf
3600.08/3609.12 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.12 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.12 c AVG.sumWPerc 99.95
3600.08/3609.12 c bigint constraints 0
3600.08/3609.12 s UNKNOWN
3600.08/3609.12 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 (62799 MiB free)
memory of node 1: 64465 MiB (63880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505723-1751497800/watcher-4505723-1751497800 -o /tmp/evaluation-result-4505723-1751497800/solver-4505723-1751497800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505723-1751497800.opb PROOFDIR/proof-4505723-1751497800
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71457, runsolver pid=71450
[startup+0.100058 s]*
/proc/loadavg: 0.95 1.23 2.25 4/262 71468
/proc/meminfo: memFree=129683140/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=66192 memory=21464 CPUtime=0.06 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 4225 0 0 0 5 1 0 0 20 0 1 0 65457579 67780608 5366 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 16548 5366 1952 1147 0 3975 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 70384 KiB
Current children cumulated memory: 24536 KiB
[startup+0.205368 s]*
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129515912/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=81644 memory=39500 CPUtime=0.17 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 8892 0 0 0 14 3 0 0 20 0 1 0 65457579 83603456 9875 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 20411 9875 2240 1147 0 7838 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 85836 KiB
Current children cumulated memory: 42572 KiB
[startup+0.306129 s]*
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129364624/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=127424 memory=75032 CPUtime=0.27 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 11833 0 0 0 22 5 0 0 20 0 1 0 65457579 130482176 18758 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 31856 18758 2272 1147 0 19283 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 131616 KiB
Current children cumulated memory: 78104 KiB
[startup+0.700143 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129353032/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=134784 memory=80536 CPUtime=0.66 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 13170 0 0 0 42 24 0 0 20 0 1 0 65457579 138018816 20134 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 33696 20134 2304 1147 0 21123 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 138976 KiB
Current children cumulated memory: 83608 KiB
[startup+1.50015 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=129302632/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=142172 memory=86084 CPUtime=1.46 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 13532 0 0 0 87 59 0 0 20 0 1 0 65457579 145584128 21521 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 35543 21521 2304 1147 0 22970 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 146364 KiB
Current children cumulated memory: 89156 KiB
[startup+3.10519 s]
/proc/loadavg: 1.19 1.28 2.26 6/268 71482
/proc/meminfo: memFree=128374424/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=172340 memory=109652 CPUtime=3.06 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 14319 0 0 0 185 121 0 0 20 0 1 0 65457579 176476160 27413 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 43085 27413 2304 1147 0 30512 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 176532 KiB
Current children cumulated memory: 112724 KiB
[startup+6.30015 s]
/proc/loadavg: 1.50 1.34 2.27 6/268 71482
/proc/meminfo: memFree=128028376/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=205120 memory=138876 CPUtime=6.25 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 16524 0 0 0 415 210 0 0 20 0 1 0 65457579 210042880 34719 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 51280 34719 2304 1147 0 38707 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 209312 KiB
Current children cumulated memory: 141948 KiB
[startup+12.7001 s]
/proc/loadavg: 1.70 1.39 2.28 6/270 71484
/proc/meminfo: memFree=127631988/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=349536 memory=268336 CPUtime=12.62 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 33539 0 0 0 1021 241 0 0 20 0 1 0 65457579 357924864 67084 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 87384 67084 2336 1147 0 74811 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 353728 KiB
Current children cumulated memory: 271408 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.49 2.31 6/270 71484
/proc/meminfo: memFree=126808936/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=476120 memory=408080 CPUtime=25.39 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 44969 0 0 0 2260 279 0 0 20 0 1 0 65457579 487546880 102020 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 119030 102020 2336 1147 0 106457 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 480312 KiB
Current children cumulated memory: 411152 KiB
[startup+51.1053 s]
/proc/loadavg: 2.94 1.75 2.37 6/271 71486
/proc/meminfo: memFree=125616340/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=1233632 memory=922044 CPUtime=50.92 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 137697 0 0 0 4704 388 0 0 20 0 1 0 65457579 1263239168 230511 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 308408 230511 2336 1147 0 295835 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1237824 KiB
Current children cumulated memory: 925116 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 2.11 2.46 6/271 71493
/proc/meminfo: memFree=123668520/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=1677776 memory=1467832 CPUtime=101.97 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 247664 0 0 0 9671 526 0 0 20 0 1 0 65457579 1718042624 366958 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 419444 366958 2336 1147 0 406871 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1681968 KiB
Current children cumulated memory: 1470904 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.47 2.56 6/272 71498
/proc/meminfo: memFree=121287800/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=2725616 memory=2168392 CPUtime=161.83 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 366635 0 0 0 15492 691 0 0 20 0 1 0 65457579 2791030784 542098 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 681404 542098 2336 1147 0 668831 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2729808 KiB
Current children cumulated memory: 2171464 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.77 2.66 6/272 71500
/proc/meminfo: memFree=117877960/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=2918736 memory=2419864 CPUtime=221.69 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 421863 0 0 0 21389 780 0 0 20 0 1 0 65457579 2988785664 604966 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
################
# More data... #
################
/proc/71460/statm: 1843298 1799495 2336 1147 0 1830725 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 7377384 KiB
Current children cumulated memory: 7201052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/273 71667
/proc/meminfo: memFree=59592512/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7373192 memory=7214108 CPUtime=3154.37 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1191998 0 0 0 312613 2824 0 0 20 0 1 0 65457579 7550148608 1803527 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1843298 1803527 2336 1147 0 1830725 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 7377384 KiB
Current children cumulated memory: 7217180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.04 6/273 71668
/proc/meminfo: memFree=58545620/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7373192 memory=7214108 CPUtime=3214.22 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1192545 0 0 0 318572 2850 0 0 20 0 1 0 65457579 7550148608 1803527 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1843298 1803527 2336 1147 0 1830725 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 7377384 KiB
Current children cumulated memory: 7217180 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/273 71670
/proc/meminfo: memFree=57680056/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7373192 memory=7214108 CPUtime=3274.08 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1195158 0 0 0 324547 2861 0 0 20 0 1 0 65457579 7550148608 1803527 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1843298 1803527 2336 1147 0 1830725 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 7377384 KiB
Current children cumulated memory: 7217180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/274 71673
/proc/meminfo: memFree=57159592/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7373192 memory=7214108 CPUtime=3333.93 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1195941 0 0 0 330521 2872 0 0 20 0 1 0 65457579 7550148608 1803527 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1843298 1803527 2336 1147 0 1830725 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 7377384 KiB
Current children cumulated memory: 7217180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/273 71675
/proc/meminfo: memFree=56735928/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7378828 memory=7253988 CPUtime=3393.79 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1199378 0 0 0 336481 2898 0 0 20 0 1 0 65457579 7555919872 1813497 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1844707 1813497 2336 1147 0 1832134 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 7383020 KiB
Current children cumulated memory: 7257060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/272 71677
/proc/meminfo: memFree=56349720/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7378828 memory=7253988 CPUtime=3453.63 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1200296 0 0 0 342440 2923 0 0 20 0 1 0 65457579 7555919872 1813497 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1844707 1813497 2336 1147 0 1832134 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 7383020 KiB
Current children cumulated memory: 7257060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/272 71679
/proc/meminfo: memFree=55952432/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7378828 memory=7253988 CPUtime=3513.49 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1202468 0 0 0 348408 2941 0 0 20 0 1 0 65457579 7555919872 1813497 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1844707 1813497 2336 1147 0 1832134 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 7383020 KiB
Current children cumulated memory: 7257060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.06 6/272 71681
/proc/meminfo: memFree=55694732/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7381644 memory=7255396 CPUtime=3573.34 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1204199 0 0 0 354370 2964 0 0 20 0 1 0 65457579 7558803456 1813849 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1845411 1813849 2336 1147 0 1832838 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 7385836 KiB
Current children cumulated memory: 7258468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.10 4.11 4.06 6/273 71684
/proc/meminfo: memFree=55506944/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7381644 memory=7255396 CPUtime=3600.08 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1206188 0 0 0 357035 2973 0 0 20 0 1 0 65457579 7558803456 1813849 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1845411 1813849 2336 1147 0 1832838 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7385836 KiB
Current children cumulated memory: 7258468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 71457 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000668 s, system=0.002003 s
[startup+3609.18 s]
# the end of solver process 71460 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.39 s, system=29.7578 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+3609.11 s]
/proc/loadavg: 4.10 4.11 4.06 6/273 71684
/proc/meminfo: memFree=55506944/131249988 swapFree=33010160/33010684
[pid=71457] ppid=71450 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71457/stat : 71457 (run-opt-log.sh) S 71450 71457 71409 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 65457577 4292608 768 18446744073709551615 94185008119808 94185009014341 140725080592176 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94185009253392 94185009301136 94185021313024 140725080594721 140725080594916 140725080594916 140725080600518 0
/proc/71457/statm: 1048 768 704 219 0 110 0
[pid=71460] ppid=71457 vsize=7381644 memory=7255396 CPUtime=3600.08 cores=1,3
/proc/71460/stat : 71460 (roundingsat) R 71457 71457 71409 0 -1 4194304 1206188 0 0 0 357035 2973 0 0 20 0 1 0 65457579 7558803456 1813849 18446744073709551615 4227072 8923433 140729538298512 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 28745728 140729538304338 140729538304552 140729538304552 140729538310122 0
/proc/71460/statm: 1845411 1813849 2336 1147 0 1832838 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7385836 KiB
Current children cumulated memory: 7258468 KiB
Child status: 2
Real time (s): 3609.18
CPU time (s): 3600.15
CPU user time (s): 3570.39
CPU system time (s): 29.7578
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 7385836
Max. memory (cumulated for all children) (KiB): 7258468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.39
system time used= 29.7578
maximum resident set size= 7255780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1206442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21374272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 599
involuntary context switches= 8435
# summary of solver processes directly reported to runsolver:
# pid: 71457,71460
# total CPU time (s): 3600.15
# total CPU user time (s): 3570.39
# total CPU system time (s): 29.7578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1942 second user time and 14.7377 second system time
The end
Begin job on nodeC020 at 2025-07-03 01:10:00
IDJOB=4505723
IDBENCH=156875
IDSOLVER=3351
FILE ID=nodeC020/4505723-1751497800
RUNJOBID= nodeC020-1751497800-71421
SLURM_JOB_ID= 9598575
Free space on /tmp= 432024 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505723-1751497800/watcher-4505723-1751497800 -o /tmp/evaluation-result-4505723-1751497800/solver-4505723-1751497800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751497800-71421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4505723-1751497800.opb PROOFDIR/proof-4505723-1751497800
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b261ca8837cd3a85e5e1f3e7a937d60a
RANDOM SEED=1814754515
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.970
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 : 3597.542
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 : 3600.938
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 : 3599.912
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 : 3746.461
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 : 3599.905
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.899
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 : 3666.134
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: 129756588 kB
MemAvailable: 129693484 kB
Buffers: 2128 kB
Cached: 735724 kB
SwapCached: 12 kB
Active: 629704 kB
Inactive: 200268 kB
Active(anon): 85076 kB
Inactive(anon): 25084 kB
Active(file): 544628 kB
Inactive(file): 175184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 48276 kB
Writeback: 0 kB
AnonPages: 95256 kB
Mapped: 103108 kB
Shmem: 18040 kB
KReclaimable: 112648 kB
Slab: 202152 kB
SReclaimable: 112648 kB
SUnreclaim: 89504 kB
KernelStack: 4024 kB
PageTables: 2400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 358240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 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= 431952 MiB
End job on nodeC020 at 2025-07-03 02:10:09